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

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

όπου  υποδηλώνει την αντιμετάθεση του  και  είναι ένας σταθερός  αντιστρέψιμος, λοξός συμμετρικός πίνακας. Ο ορισμός αυτός μπορεί να επεκταθεί σε πίνακες  με καταχωρήσεις σε άλλα σώματα, όπως οι μιγαδικοί αριθμοί, τα πεπερασμένα σώματα, οι p-adic αριθμοί και τα σώματα συναρτήσεων.

Συνήθως το  επιλέγεται να είναι ο Σύνθετος πίνακας

όπου  είναι ο  ταυτοτικός πίνακας. Ο πίνακας  έχει Ορίζουσα  και ο αντίστροφός του είναι .

 Ιδιότητες 

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

Κάθε συμπλεκτικός πίνακας έχει ορίζουσα , και οι  συμπλεκτικοί πίνακες με πραγματικές καταχωρήσεις σχηματίζουν μια υποομάδα της γενικής γραμμικής ομάδας  υπό πολλαπλασιασμό πινάκων, δεδομένου ότι η συμπλεκτικότητα είναι μια ιδιότητα σταθερή υπό πολλαπλασιασμό πινάκων. Τοπολογικά, αυτή η συμπλεκτική ομάδα είναι μια συνδεδεμένη μη συμπαγής πραγματική ομάδα Λι πραγματικής διάστασης , και συμβολίζεται . Η συμπλεκτική ομάδα μπορεί να οριστεί ως το σύνολο των γραμμικών μετασχηματισμών που διατηρούν τη συμπλεκτική μορφή ενός πραγματικού συμπλεκτικού διανυσματικού χώρου.

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

όπου  είναι το σύνολο των  συμμετρικὠν πινάκων. Τότε, το  παράγεται από το σύνολο p. 2

των πινάκων. Με άλλα λόγια, οποιοσδήποτε συμπλεκτικός πίνακας μπορεί να κατασκευαστεί πολλαπλασιάζοντας πίνακες στα  και  μαζί, μαζί με κάποια δύναμη του .

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

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

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

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

Since  και  we have that .

Όταν το υποκείμενο σώμα είναι πραγματικό ή μιγαδικό, μπορεί κανείς να το δείξει αυτό με την παραγοντοποίηση της ανισότητας .

 Σύνθετη μορφή συμπλεκτικών πινάκων 
Ας υποθέσουμε ότι το Ω δίνεται στην τυπική μορφή και έστω ότι  είναι ένας  Σύνθετος πίνακας που δίνεται από τη σχέση

όπου  είναι  πίνακες. Η συνθήκη για να είναι η  συμπλεκτική είναι ισοδύναμη με τις δύο ακόλουθες ισοδύναμες συνθήκες  symmetric, and  symmetric, and  Η δεύτερη συνθήκη προκύπτει από το γεγονός ότι αν η  είναι συμπλεκτική, τότε η  είναι επίσης συμπλεκτική. Όταν  αυτές οι συνθήκες ανάγονται στη μοναδική συνθήκη . Έτσι, ένας πίνακας  είναι συμπλεκτικός αν έχει μοναδιαία ορίζουσα.

 Αντιστρέψιμος πίνακας του συνθετικού πίνακα 
Με το  σε τυπική μορφή, ο Αντιστρέψιμος του  δίνεται από τη σχέση

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

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

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

Ένας συμπλεκτικός μετασχηματισμός είναι τότε ένας γραμμικός μετασχηματισμός  που διατηρεί το , δηλαδή.

Καθορίζοντας μια βάση για το , το  μπορεί να γραφεί ως ένας πίνακας  και το  ως ένας πίνακας . Η συνθήκη ότι ο  είναι ένας συμπλεκτικός μετασχηματισμός είναι ακριβώς η συνθήκη ότι ο M είναι ένας συμπλεκτικός πίνακας:

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

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

 Ο πίνακας Ω 

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

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

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

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

Δεδομένης μιας ερμιτιανής δομής σε έναν διανυσματικό χώρο, οι  και  συνδέονται μέσω

όπου  είναι η μετρική. Το ότι το  και το  έχουν συνήθως την ίδια έκφραση συντεταγμένων (μέχρι ένα συνολικό πρόσημο) είναι απλά συνέπεια του γεγονότος ότι η μετρική g είναι συνήθως ο ταυτοτικός πίνακας.

 Διαγωνοποίηση και ανάλυση 
 Για κάθε θετικά ορισμένο συμμετρικό πραγματικό συμπλεκτικό πίνακα  υπάρχει  στο  τέτοιος ώστε

 όπου τα διαγώνια στοιχεία του  είναι οι ιδιοτιμές του .

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

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

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

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

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

 Εφαρμογές 

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

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






 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).


 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.
 .
 Ran Raz. On the complexity of matrix product. In Proceedings of the thirty-fourth annual ACM symposium on Theory of computing. ACM Press, 2002. .
 Robinson, Sara, Toward an Optimal Algorithm for Matrix Multiplication, SIAM News 38(9), November 2005. PDF


 Δείτε επίσης 

 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

 Παραπομπές 






Κατηγορία:Αριθμητική γραμμική άλγεβρα
Κατηγορία:Γραμμική άλγεβρα
Κατηγορία:Θεωρήματα της γραμμικής άλγεβρας
Κατηγορία:Πίνακες (μαθηματικά)
Κατηγορία:Κατανομές
Κατηγορία:Διαφορική τοπολογία
Κατηγορία:Διαφορική γεωμετρία