Talk:Unitary matrix

message: A unitary matrix in which all entries are real is an orthogonal matrix. 
--> Isn't it an orthonormal matrix, rather than just orthogonal? — Preceding unsigned comment added by Ohthere1 (talk • contribs) 16:11, 17 February 2012 (UTC)
replies: text: In the math world, a real unitary matrix is called an "orthogonal matrix".  Maybe that's not the best choice of terms, but that's just the way it is.  I have seen an engineering text use the term "orthonormal matrix".  I don't know if that was the author's personal usage, or if it is common among engineers.  Gsspradlin (talk) 19:21, 25 July 2013 (UTC)
thread_title:  orthonormal vs. orthogonal 

message: The previous discussion about symbol conventions has been inactive for years now, so here is a new discussion about this perhaps least important issue with the article.
The articles conjugate transpose, hermitian adjoint, normal matrix, unitary group, and others, all use the * notation.
If you look at the history of this article, the “H” notation was first used, followed by * and “dagger” in a senseless flip-flop.
In math departments on the US East Coast, so far as I have seen, * notation is standard. 
Kreyszig; Friedberg, Insel, & Spence; Demmel; and Plato, use *.
Gilbert Strang uses "H". Wolfram MathWorld uses "H," as you can see for yourself. However, the explanation they give for not using * is not very strong (especially since it seems to deny any conceptual connection to complex conjugation): "Note that because *  is sometimes used to denote the complex conjugate, special care must be taken not to confuse notations from different sources." 
Chapter 2 of Applied Functional Analysis, 2E by Oden and Demkowicz offers a decent explanation of dual spaces and adjoints. From where I stand, the bottom line is that * makes sense for conjugate transpose because the conjugate transpose gives a matrix for the Hermitian adjoint of our operator. If our original operator is T from V to W, then the adjoint is a linear operator from W* to V*, the dual spaces. In the case of complex inner product spaces, if we want the duality pairing (.,.) to properly generalize the Hermitian inner product, we take the dual basis to be the antilinear functionals, so that (.,.) is sesquilinear as the inner product is.
Star is well-established for conjugate transpose via the adjoint/dual explanation above. "H" makes a great deal of sense, but has not really caught on so far as I can see. Dagger is ambiguous. In numerical linear algebra, for instance, A^dagger often indicates the Moore-Penrose pseudoinverse.
-Undiskedste (talk) 17:57, 26 August 2012 (UTC)
thread_title:  Symbol conventions, redux 

message: In addition to the alteration of the notation in the article, I've made a number of edits to remove redundancies and improve readability.
In particular, I have changed the body so that much of what was previously within math tags is now written in the normal way. All such changes were made because there was no reason to have each U stand out from the text; similarly for short equations such as U * = U -1. Other equations remained unchanged.
This article could still use a LOT of improvement, but my interest at the moment was only in making it not as bad as it was before.
-Undiskedste (talk) 18:30, 26 August 2012 (UTC)
thread_title:  Recent Edits 

message: I've corrected the article to change "positive n" to "nonnegative n" when talking about the group of nxn unitary matrices, on the presumption that 0 was excluded simply due to the author's unfamiliarity with degenerate matrices. Hurkyl (talk) 22:55, 7 November 2014 (UTC)
replies: text: Wikipedia understands something different under a degenerate matrix. Do you want to define U(0) as just the trivial group consisting of an empty matrix? I see no point in this, it will just confuse readers if you don't state the case explicitly, and doesn't add anything as all statements on unitary matrices will be trivial for n=0. --Roentgenium111 (talk) 13:26, 22 April 2015 (UTC)
thread_title:  0x0 matrices 

message: It seems to me that there is a mistake in the "general expression of a 2 × 2 unitary matrix" under section "Elementary constructions". To my understanding, Pauli Matrices do not fit into this form, even they are widely recognized to be unitary matrices (https://en.wikipedia.org/wiki/Pauli_matrices). I suspect that the general is restricted to a specific determinant value, but as chemist I prefer do not edit the main article.
Regards, HRS  — Preceding unsigned comment added by 163.10.18.83 (talk) 16:52, 17 December 2015 (UTC)
replies: text: The Pauli matrices are a special instance of the general 2x2 expression. Call the elementary 2x2 expression reported in the Wikipedia page by U(a,b,φ). Hence we have: σ1=U(0,1,0), σ2=U(0,-i,0), σ3=U(i,0,-π/2).  — Preceding unsigned comment added by Paolostar (talk • contribs) 08:30, 23 December 2015 (UTC)
thread_title:  Error in "Elementary constructions" section 

message: Changed angle variable name of first determinant from \theta to \varphi to get determinant consistency in this section.. had to divide-by-two the second existing use of \varphi. Replacing the first use of var \theta with \varphi also gets rid of the double inconsistent use of \theta. TBond (talk) 05:56, 17 June 2017 (UTC)
thread_title:  Determinant angle variable name changes in "2 × 2 unitary matrix" section 

message: There are some areas in the article where the mathematics is incorrect. As an example, see the '2x2 unitary matrix' subsection of 'Elementary constructions'. The displayed equation on line 7 of this subsection is incorrect (under the assumption that \varphi is such that \mathrm{det}(U)=e^{i\varphi}). One can very easily see that the determinant of the matrix
\left[\begin{matrix}e^{i\varphi_1}\cos\theta & e^{i\varphi_2}\sin\theta \\ -e^{-i\varphi_2}\sin\theta & e^{-i\varphi_1}\cos\theta \end{matrix}\right]
is 1. Thus, the matrix
U=e^{i\varphi / 2}\left[\begin{matrix}e^{i\varphi_1}\cos\theta & e^{i\varphi_2}\sin\theta \\ -e^{-i\varphi_2}\sin\theta & e^{-i\varphi_1}\cos\theta \end{matrix}\right]
has determinant e^{i\varphi / 2} and not e^{i\varphi}. I suspect it's a consequence of multiple edits over time with little care for consistency. I would also like to remind editors that wikipedia is not a place to post 'original research'. Whilst these are elementary exercises and it may be tempting to quickly work something out on paper and type it up in an article, this should never be done in wikipedia for precisely the reason that mistakes such as what I have highlighted can creep in. Whilst citations aren't necessarily expected for every piece of mathematics (as doing so would render the article unreadable), all mathematical material should at least in theory be referenceable to a respectable source such as a textbook.
As a side note, I thoroughly dislike the use of \varphi alongside \varphi_1 and \varphi_2 on line 7. They are independent variables and it seems completely arbitrary to me that we use two Greek letters \varphi and \theta to label four independent variables. As it is written, one might be confused as to whether \varphi_1 and \varphi_2 bear any relation to \varphi. --Iteraf (talk) 16:34, 12 July 2018 (UTC)
thread_title:  Incorrect mathematics -- Please check carefully 

message: The asterisk is used in this article to denote the conjugate transpose of a matrix. Which is exactly as it should be.
Unfortunately, the asterisk is *also* used in this article to denote complex conjugate. 
That is ordinarily a common choice for complex conjugate, but it directly conflicts with the above notation for 1x1 matrices (for which it would mean the conjugate reciprocal complex number).
I don't know much about typography, but surely <math> provides for an overbar to denote complex conjugation?  
If all else fails, conj(z) is another common notation for the complex conjugate of z. 2601:200:C000:1A0:ED02:FEE6:7128:44D8 (talk) 03:15, 28 December 2022 (UTC)
thread_title:  Notation in article clashes with itself