Συμπλεκτικός πίνακας

Στα μαθηματικά, ένας συμπλεκτικός πίνακας είναι ένας $2n\times 2n$ πίνακας $M$ με πραγματικές καταχωρήσεις που ικανοποιεί τη συνθήκη

όπου $M^{\text{T}}$ υποδηλώνει την αντιμετάθεση του $M$ και $\mathrm{\Omega }$ είναι ένας σταθερός $2n\times 2n$ αντιστρέψιμος, λοξός συμμετρικός πίνακας. Ο ορισμός αυτός μπορεί να επεκταθεί σε πίνακες $2n\times 2n$ με καταχωρήσεις σε άλλα σώματα, όπως οι μιγαδικοί αριθμοί, τα πεπερασμένα σώματα, οι p-adic αριθμοί και τα σώματα συναρτήσεων.

Συνήθως το $\mathrm{\Omega }$ επιλέγεται να είναι ο Σύνθετος πίνακας

$\mathrm{\Omega }=\left[\begin{array}{cc}0& I_n\\ -I_n& 0\end{array}\right],$

όπου $I_n$ είναι ο $n\times n$ ταυτοτικός πίνακας. Ο πίνακας $\mathrm{\Omega }$ έχει Ορίζουσα $+1$ και ο αντίστροφός του είναι ${\mathrm{\Omega }}^{-1}={\mathrm{\Omega }}^{\text{T}}=-\mathrm{\Omega }$.

Ιδιότητες

Γεννήτριες για συμπλεκτικούς πίνακες

Κάθε συμπλεκτικός πίνακας έχει ορίζουσα $+1$, και οι $2n\times 2n$ συμπλεκτικοί πίνακες με πραγματικές καταχωρήσεις σχηματίζουν μια υποομάδα της γενικής γραμμικής ομάδας $\mathrm{G}\mathrm{L}(2n;ℝ)$ υπό πολλαπλασιασμό πινάκων, δεδομένου ότι η συμπλεκτικότητα είναι μια ιδιότητα σταθερή υπό πολλαπλασιασμό πινάκων. Τοπολογικά, αυτή η συμπλεκτική ομάδα είναι μια συνδεδεμένη μη συμπαγής πραγματική ομάδα Λι πραγματικής διάστασης $n(2n+1)$, και συμβολίζεται $\mathrm{S}\mathrm{p}(2n;ℝ)$. Η συμπλεκτική ομάδα μπορεί να οριστεί ως το σύνολο των γραμμικών μετασχηματισμών που διατηρούν τη συμπλεκτική μορφή ενός πραγματικού συμπλεκτικού διανυσματικού χώρου.

Αυτή η συμπλεκτική ομάδα έχει ένα διακεκριμένο σύνολο γεννητόρων, το οποίο μπορεί να χρησιμοποιηθεί για την εύρεση όλων των πιθανών συμπλεκτικών πινάκων. Αυτό περιλαμβάνει τα ακόλουθα σύνολα

$\begin{array}{cc}D(n)=& \{\left(\begin{array}{cc}A& 0\\ 0& (A^T{)}^{-1}\end{array}\right):A\in \text{GL}(n;ℝ)\}\\ N(n)=& \{\left(\begin{array}{cc}{I}_n& B\\ 0& I_n\end{array}\right):B\in \text{Sym}(n;ℝ)\}\end{array}$

όπου $\text{Sym}(n;ℝ)$ είναι το σύνολο των $n\times n$ συμμετρικὠν πινάκων. Τότε, το $\mathrm{S}\mathrm{p}(2n;ℝ)$ παράγεται από το σύνολο ^{p. 2} $\{\mathrm{\Omega }\}\cup D(n)\cup N(n)$ των πινάκων. Με άλλα λόγια, οποιοσδήποτε συμπλεκτικός πίνακας μπορεί να κατασκευαστεί πολλαπλασιάζοντας πίνακες στα $D(n)$ και $N(n)$ μαζί, μαζί με κάποια δύναμη του $\mathrm{\Omega }$.

Αντιστρέψιμος πίνακας

Κάθε συμπλεκτικός πίνακας είναι αντιστρέψιμος με τον αντιστρέψιμο πίνακα να δίνεται από τη σχέση

$M^{-1}={\mathrm{\Omega }}^{-1}{M}^{\text{T}}\mathrm{\Omega }.$

Επιπλέον, το γινόμενο δύο συμπλεκτικών πινάκων είναι, και πάλι, ένας συμπλεκτικός πίνακας. Αυτό δίνει στο σύνολο όλων των συμπλεκτικών πινάκων τη δομή μιας ομάδας. Υπάρχει μια φυσική δομή πολλαπλότητας σε αυτή την ομάδα που την μετατρέπει σε μια (πραγματική ή μιγαδική) ομάδα Λι που ονομάζεται συμπλεκτική ομάδα.

Ιδιότητες ορίζουσας

Από τον ορισμό προκύπτει εύκολα ότι η ορίζουσα οποιουδήποτε συμπλεκτικού πίνακα είναι ±1. Στην πραγματικότητα, αποδεικνύεται ότι η ορίζουσα είναι πάντα +1 για οποιοδήποτε σώμα. Ένας τρόπος για να το δούμε αυτό είναι μέσω της χρήσης της Pfaffian και της ταυτότητας

$\text{Pf}(M^{\text{T}}\mathrm{\Omega }M)=\det (M)\text{Pf}(\mathrm{\Omega }).$ Since $M^{\text{T}}\mathrm{\Omega }M=\mathrm{\Omega }$ και $\text{Pf}(\mathrm{\Omega })\ne 0$ we have that $\det (M)=1$.

Όταν το υποκείμενο σώμα είναι πραγματικό ή μιγαδικό, μπορεί κανείς να το δείξει αυτό με την παραγοντοποίηση της ανισότητας $\det (M^{\text{T}}M+I)\ge 1$.

Σύνθετη μορφή συμπλεκτικών πινάκων

Ας υποθέσουμε ότι το Ω δίνεται στην τυπική μορφή και έστω ότι $M$ είναι ένας $2n\times 2n$ Σύνθετος πίνακας που δίνεται από τη σχέση

$M=\left(\begin{array}{cc}A& B\\ C& D\end{array}\right)$

όπου

$A,B,C,D$

είναι

$n\times n$

πίνακες. Η συνθήκη για να είναι η

$M$

συμπλεκτική είναι ισοδύναμη με τις δύο ακόλουθες ισοδύναμες συνθήκες

$A^{\text{T}}C,B^{\text{T}}D$

symmetric, and

$A^{\text{T}}D-C^{\text{T}}B=I$

$A{B}^{\text{T}},C{D}^{\text{T}}$

symmetric, and

$A{D}^{\text{T}}-B{C}^{\text{T}}=I$

Η δεύτερη συνθήκη προκύπτει από το γεγονός ότι αν η

$M$

είναι συμπλεκτική, τότε η

$M^T$

είναι επίσης συμπλεκτική. Όταν

$n=1$

αυτές οι συνθήκες ανάγονται στη μοναδική συνθήκη

$\det (M)=1$

. Έτσι, ένας πίνακας

$2\times 2$

είναι συμπλεκτικός αν έχει μοναδιαία ορίζουσα.

Αντιστρέψιμος πίνακας του συνθετικού πίνακα

Με το $\mathrm{\Omega }$ σε τυπική μορφή, ο Αντιστρέψιμος του $M$ δίνεται από τη σχέση

$M^{-1}={\mathrm{\Omega }}^{-1}{M}^{\text{T}}\mathrm{\Omega }=\left(\begin{array}{cc}{D}^{\text{T}}& -B^{\text{T}}\\ -C^{\text{T}}& A^{\text{T}}\end{array}\right).$

Η ομάδα έχει διάσταση $n(2n+1)$. Αυτό μπορεί να γίνει αντιληπτό παρατηρώντας ότι $(M^{\text{T}}\mathrm{\Omega }M{)}^{\text{T}}=-M^{\text{T}}\mathrm{\Omega }M$ είναι αντισυμμετρική. Αφού ο χώρος των αντισυμμετρικών πινάκων έχει διάσταση $(\genfrac{}{}{0ex}{}{2n}{2}),$ η ταυτότητα $M^{\text{T}}\mathrm{\Omega }M=\mathrm{\Omega }$ επιβάλλει $(\genfrac{}{}{0ex}{}{2n}{2})$ περιορισμούς στους $(2n{)}^2$ συντελεστές του $M$ και αφήνει τον $M$ με $n(2n+1)$ ανεξάρτητους συντελεστές.

Συμλεκτικοί μετασχηματισμοί

Στην αφηρημένη διατύπωση της γραμμικής άλγεβρας, οι πίνακες αντικαθίστανται από γραμμικούς μετασχηματισμούς διανυσματικών χώρων πεπερασμένων διαστάσεων. Το αφηρημένο ανάλογο ενός συμπλεκτικού πίνακα είναι ένας συμπλεκτικός μετασχηματισμός ενός συμπλεκτικού διανυσματικού χώρου. Εν συντομία, ένας συμπλεκτικός διανυσματικός χώρος $(V,\omega )$ είναι ένας $2n$-διάστατος διανυσματικός χώρος $V$ εξοπλισμένος με μια μη εκφυλισμένη, λοξά συμμετρική διγραμμική μορφή $\omega$ που ονομάζεται συμπλεκτική μορφή.

Ένας συμπλεκτικός μετασχηματισμός είναι τότε ένας γραμμικός μετασχηματισμός $L:V\to V$ που διατηρεί το $\omega$, δηλαδή.

$\omega (Lu,Lv)=\omega (u,v).$

Καθορίζοντας μια βάση για το $V$, το $\omega$ μπορεί να γραφεί ως ένας πίνακας $\mathrm{\Omega }$ και το $L$ ως ένας πίνακας $M$. Η συνθήκη ότι ο $L$ είναι ένας συμπλεκτικός μετασχηματισμός είναι ακριβώς η συνθήκη ότι ο M είναι ένας συμπλεκτικός πίνακας:

$M^{\text{T}}\mathrm{\Omega }M=\mathrm{\Omega }.$

Υπό μια αλλαγή της βάσης, που αντιπροσωπεύεται από έναν πίνακα A, έχουμε

$\mathrm{\Omega }\mapsto A^{\text{T}}\mathrm{\Omega }A$

$M\mapsto A^{-1}MA.$

Μπορούμε πάντα να φέρουμε το $\mathrm{\Omega }$ είτε στην τυπική μορφή που δίνεται στην εισαγωγή είτε στη διαγώνια μορφή που περιγράφεται παρακάτω με κατάλληλη επιλογή του A.

Ο πίνακας Ω

Οι συμπλεκτικοί πίνακες ορίζονται σε σχέση με έναν σταθερό αντιστρέψιμο πίνακα, λοξό-συμμετρικό πίνακα $\mathrm{\Omega }$. Όπως εξηγήθηκε στην προηγούμενη ενότητα, ο $\mathrm{\Omega }$ μπορεί να θεωρηθεί ως η αναπαράσταση συντεταγμένων μιας μη εκφυλισμένης λοξής συμμετρικής διγραμμικής μορφής. Είναι βασικό αποτέλεσμα της γραμμικής άλγεβρας ότι δύο τέτοιοι πίνακες διαφέρουν μεταξύ τους με μια αλλαγή βάσης.

Η πιο συνηθισμένη εναλλακτική λύση στην τυπική $\mathrm{\Omega }$ που δίνεται παραπάνω είναι η διαγώνια σύνθετη μορφή

$\mathrm{\Omega }=\left[\begin{array}{ccc}\begin{array}{cc}0& 1\\ -1& 0\end{array}& & 0\\ & \ddots & \\ 0& & \begin{array}{cc}0& 1\\ -1& 0\end{array}\end{array}\right].$

Αυτή η επιλογή διαφέρει από την προηγούμενη με μια μετάθεση των διανυσμάτων βάσης.

Μερικές φορές χρησιμοποιείται ο συμβολισμός $J$ αντί του $\mathrm{\Omega }$ για τον λοξό-συμμετρικό πίνακα. Αυτή είναι μια ιδιαίτερα ατυχής επιλογή καθώς οδηγεί σε σύγχυση με την έννοια της σύνθετης δομής, η οποία συχνά έχει την ίδια έκφραση συντεταγμένων με το $\mathrm{\Omega }$ αλλά αντιπροσωπεύει μια πολύ διαφορετική δομή. Μια σύνθετη δομή $J$ είναι η αναπαράσταση συντεταγμένων ενός γραμμικού μετασχηματισμού που σχηματίζει τετράγωνο με $-I_n$, ενώ $\mathrm{\Omega }$ είναι η αναπαράσταση συντεταγμένων μιας μη εκφυλισμένης λοξής-συμμετρικής διγραμμικής μορφής. Θα μπορούσε κανείς εύκολα να επιλέξει βάσεις στις οποίες το $J$ δεν είναι λοξό-συμμετρικό ή το $\mathrm{\Omega }$ δεν τετραγωνίζει το $-I_n$.

Δεδομένης μιας ερμιτιανής δομής σε έναν διανυσματικό χώρο, οι $J$ και $\mathrm{\Omega }$ συνδέονται μέσω

${\mathrm{\Omega }}_{ab}=-g_{ac}{J^c}_b$

όπου $g_{ac}$ είναι η μετρική. Το ότι το $J$ και το $\mathrm{\Omega }$ έχουν συνήθως την ίδια έκφραση συντεταγμένων (μέχρι ένα συνολικό πρόσημο) είναι απλά συνέπεια του γεγονότος ότι η μετρική g είναι συνήθως ο ταυτοτικός πίνακας.

Διαγωνοποίηση και ανάλυση

• Για κάθε θετικά ορισμένο συμμετρικό πραγματικό συμπλεκτικό πίνακα Πρότυπο:Math υπάρχει Πρότυπο:Math στο $\mathrm{U}(2n,ℝ)=\mathrm{O}(2n)$ τέτοιος ώστε

$S=U^{\text{T}}DU\text{for}D=\mathrm{diag}({\lambda }_1,\dots ,{\lambda }_n,{\lambda }_1^{-1},\dots ,{\lambda }_n^{-1}),$
όπου τα διαγώνια στοιχεία του Πρότυπο:Math είναι οι ιδιοτιμές του Πρότυπο:Math.

• Κάθε πραγματικός συμπλεκτικός πίνακας Πρότυπο:Math έχει πολική αναλύση της μορφής:

$S=UR$ για $U\in \mathrm{Sp}(2n,ℝ)\cap \mathrm{U}(2n,ℝ)$ και $R\in \mathrm{Sp}(2n,ℝ)\cap {\mathrm{Sym}}_{+}(2n,ℝ).$

• Κάθε πραγματικός συμπλεκτικός πίνακας μπορεί να αναλυθεί ως γινόμενο τριών πινάκων:Πρότυπο:NumBlk έτσι ώστε Πρότυπο:Math και Πρότυπο:Math να είναι και οι δύο συμπλεκτικοί και ορθογώνιοι πίνακες και Πρότυπο:Math να είναι θετικά ορισμένος και διαγώνιος πίνακας. Αυτή η ανάλυση είναι στενά συνδεδεμένη με την ανάλυση της μοναδιαίας τιμής ενός πίνακα και είναι γνωστή ως αποσύνθεση « Όιλερ “ ή ” Μπλοχ-Μεσσίας ».

Μιγαδικοί πίνακες

Αν αντίθετα ο Μ είναι ένας Πρότυπο:Nowrap πίνακας με μιγαδικές καταχωρήσεις, ο ορισμός δεν είναι τυποποιημένος σε όλη τη βιβλιογραφία. Πολλοί συγγραφείς προσαρμόζουν τον παραπάνω ορισμό στο Πρότυπο:NumBlk όπου M^* δηλώνει τη συζυγή μεταφορά του M. Στην περίπτωση αυτή, η ορίζουσα μπορεί να μην είναι 1, αλλά θα έχει απόλυτη τιμή 1. Στην περίπτωση 2×2 (n=1), ο M θα είναι το γινόμενο ενός πραγματικού συμπλεκτικού πίνακα και ενός μιγαδικού αριθμού με απόλυτη τιμή 1.

Άλλοι συγγραφείς διατηρούν τον ορισμό (Πρότυπο:EquationNote) για τους μιγαδικούς πίνακες και ονομάζουν τους πίνακες που ικανοποιούν το (Πρότυπο:EquationNote) συζυγείς συμπλεκτικούς.

Εφαρμογές

Οι μετασχηματισμοί που περιγράφονται από συμπλεκτικούς πίνακες παίζουν σημαντικό ρόλο στην κβαντική οπτική και στην κβαντική θεωρία πληροφοριών συνεχούς μεταβολής. Παραδείγματος χάριν, οι συμπλεκτικοί πίνακες μπορούν να χρησιμοποιηθούν για να περιγράψουν Γκαουσιανούς ( Μπογκολιούμποφ) μετασχηματισμούς μιας κβαντικής κατάστασης του φωτός . Με τη σειρά της, η ανάλυση Μπλοχ-Μεσσίας (Πρότυπο:EquationNote) σημαίνει ότι ένας τέτοιος αυθαίρετος Γκαουσιανός μετασχηματισμός μπορεί να αναπαρασταθεί ως ένα σύνολο δύο παθητικών γραμμικών-οπτικών συμβολομέτρων (που αντιστοιχούν σε ορθογώνιους πίνακες Ο και Ο' ) που παρεμβάλλονται από ένα στρώμα ενεργών μη γραμμικών μετασχηματισμών συμπίεσης (που δίνονται με βάση τον πίνακα D). Στην πραγματικότητα, μπορεί κανείς να παρακάμψει την ανάγκη για τέτοιους εν σειρά ενεργούς μετασχηματισμούς συμπίεσης, εάν οι συμπιεσμένες καταστάσεις κενού δύο τρόπων είναι διαθέσιμες μόνο ως προηγούμενος πόρος .

Δημοσιεύσεις

• Πρότυπο:Cite journal
• Πρότυπο:Cite book
• Πρότυπο:Cite journal
• Πρότυπο:Citation
• Πρότυπο:Citation
• Diodorus Siculus, Bibliotheca Historica. Vol. 1–2. Immanel Bekker. Ludwig Dindorf. Friedrich Vogel. in aedibus B. G. Teubneri. Leipzig. 1888–1890. Greek text available at the Perseus Digital Library.
• O. C. Zienkiewicz, R. L. Taylor, J. Z. Zhu : The Finite Element Method: Its Basis and Fundamentals, Butterworth-Heinemann (2005).
• Πρότυπο:Cite web
• Πρότυπο:Cite book
• Knuth, D.E., The Art of Computer Programming Volume 2: Seminumerical Algorithms. Addison-Wesley Professional; 3 edition (November 14, 1997). ISBN 978-0-201-89684-8. pp. 501.
• Πρότυπο:Citation.
• Ran Raz. On the complexity of matrix product. In Proceedings of the thirty-fourth annual ACM symposium on Theory of computing. ACM Press, 2002. Πρότυπο:Doi.
• Robinson, Sara, Toward an Optimal Algorithm for Matrix Multiplication, SIAM News 38(9), November 2005. PDF
• Πρότυπο:Cite journal

Δείτε επίσης

• Field Arithmetic
• Πραγματικό προβολικό επίπεδο
• Μιγαδικός αριθμός
• Αντιερμιτιανός πίνακας
• Μέγιστος κοινός διαιρέτης
• Υπολογιστική βιολογία
• Ελάσσων (γραμμική άλγεβρα)
• Προβολή (γραμμική άλγεβρα)
• Συμμετρικός πίνακας
• Παραμετρικές εξισώσεις
• Πολλαπλασιασμός πινάκων
• Επαναλαμβανόμενη συνάρτηση
• Ιδιοτιμές και ιδιοδιανύσματα
• Κανονική κατανομή
• Θεωρία πιθανοτήτων
• High performance algorithms for reduction to condensed (Hessenberg, tridiagonal, bidiagonal) form

Εξωτερικοί σύνδεσμοι

• English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο
• Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου
• Matrix calculator
• Matrix Analysis
• Complex-Valued Matrix Derivatives: With Applications in Signal Processing ...
• Exercises of Matrices and Linear Algebra
• Eigenvalue Distribution of Large Random Matrices
• Quantum Probability and Spectral Analysis of Graphs.
• Symplectic Methods in Harmonic Analysis and in Mathematical Physics...
• Structure of Dynamical Systems: A Symplectic View of Physics
• Limit Theorems in Probability, Statistics and Number Theory: In Honor of ...
• The Semicircle Law, Free Random Variables and Entropy....
• Symplectic Methods for the Symplectic Eigenproblem

Παραπομπές

• Πρότυπο:Citation
• Πρότυπο:Citation
• Πρότυπο:Cite book
• Πρότυπο:Cite web