Talk:Symplectic matrix

Latest comment: 4 years ago by JayBeeEll in topic Essential question needs to be addressed

J vs. Ω

edit

On 19 april 2005, User:Fropuff changed the notation from J to Ω to "avoid confusion with complex structure". I rather want to change the notation back; we want to confuse the two, right? Unless we're trying to reserve J for the 2x2 case only, and Ω for the nxn case? linas 23:35, 18 March 2006 (UTC)Reply

Never mind, I just hacked this article to say that the 2x2 matrix is called J. I wanted to link to this article from an article having J in it. linas 23:41, 18 March 2006 (UTC)Reply

No, we don't! These are two very different things and should be distinguished. In particular, one could easily choose a basis for which Ω2 ≠ −1, whereas this is an essential quality of a complex structure. Moreover, J should be understood as a linear transformation wheres Ω is a bilinear form. Given a hermitian structure on a vector space, J and Ω are related via

 

That J and Ω have the same coordinate expression (up to an overall sign) is simply a consequence of the fact that g is usually to be the identity matrix. -- Fropuff 23:57, 18 March 2006 (UTC)Reply

Excellent point. Since the distinction is all too easily missed, I copied this into the article. FYI, the article on Hermitian manifold defines this, but with a lower-case &oemga; instead. (and no minus sign). 67.100.217.178 04:33, 30 March 2006 (UTC)Reply

Opening lines with definition are ambiguous. It is left unclear what is the actual requirement of matrix Ω in the rest of the article: does the sentence "Note that Ω has determinant +1 and has an inverse giv...." refer to the general non-singular, skew-symmetric Ω, or just to the cases of Ω following the "Typically..."? Can this be clarified? (All 2n×2n, nonsingular, skew-symmetric matrices have determinant >0, but only those of these with orthonormal columns possess the other parts of the property. Are we to assume that all cases under discussion, not only the "Typically..." ones, also use an Ω matrix that has orthonormal columns?) —Preceding unsigned comment added by 83.217.170.175 (talk) 21:21, 29 March 2010 (UTC)Reply

definition

edit

In the case of complex matrix M, is   replaced by   (conjugate transpose) as is usually the case with complex analogues for real matrices? Just a small clarification that the article needs. 71.208.184.209 (talk) 06:12, 8 November 2010 (UTC)Reply

Overall quality and merger

edit

In its present form this article is not helpful and mathematically not sound. The dimension of a group is not well defined and the statement "An example of a group of symplectic matrices is the group of three symplectic 2x2-matrices consisting in the identity matrix, the upper triagonal matrix and the lower triangular matrix, each with entries 0 and 1." is not correct. In view of the existence of an article on the symplectic group, I'd say one should merge the two. — Preceding unsigned comment added by 62.198.81.12 (talk) 20:20, 24 October 2016 (UTC)Reply

Ferraro et. al. 2005 Section 1.3.

edit

Is it book, or article? Do this article have title? Jumpow (talk) 21:17, 9 May 2017 (UTC)Reply

We probably should ask UtherSB (talk · contribs), I think he added the text that uses that reference (see diff).
For what it's worth, the article Symplectic group references
Ferraro, Alessandro; Olivares, Stefano; Paris, Matteo G. A. (March 2005), Gaussian states in continuous variable quantum information, arXiv.org.
Probably the same source. – Tea2min (talk) 05:38, 10 May 2017 (UTC)Reply

Essential question needs to be addressed

edit

The article defines a symplectic matrix in terms of a fixed choice of skew-symmetric matrix 𝝮. It also mentions a common choice for 𝝮, and later in the article mentions a common alternative choice for 𝝮.

But the article never addresses the essential question of whether the concept of a symplectic matrix depends on the choice of 𝝮, or whether the same set of matrices is defined to be symplectic regardless of which skew-symmetric matrix 𝝮 is used in the definition.

I hope someone knowledgeable on this subject will address this essential question in the article.71.37.182.254 (talk) 19:28, 9 November 2020 (UTC)Reply

The answer is "yes, it depends"; this is addressed obliquely in the (completely unsourced) section Symplectic_matrix#The_matrix_Ω. It would be good to find sources for that section, which might incidentally guide making the answer to your question more explicit in the text. --JBL (talk) 19:44, 9 November 2020 (UTC)Reply