Συμπλεκτικός πίνακας
Στα μαθηματικά, ένας συμπλεκτικός πίνακας είναι ένας πίνακας με πραγματικές καταχωρήσεις που ικανοποιεί τη συνθήκη
-
(
)
όπου υποδηλώνει την αντιμετάθεση του και είναι ένας σταθερός αντιστρέψιμος, λοξός συμμετρικός πίνακας. Ο ορισμός αυτός μπορεί να επεκταθεί σε πίνακες με καταχωρήσεις σε άλλα σώματα, όπως οι μιγαδικοί αριθμοί, τα πεπερασμένα σώματα, οι p-adic αριθμοί[1] και τα σώματα συναρτήσεων.
Συνήθως το επιλέγεται να είναι ο Σύνθετος πίνακας
όπου είναι ο ταυτοτικός πίνακας. Ο πίνακας έχει Ορίζουσα και ο αντίστροφός του είναι .
Ιδιότητες
[Επεξεργασία | επεξεργασία κώδικα]Γεννήτριες για συμπλεκτικούς πίνακες
[Επεξεργασία | επεξεργασία κώδικα]Κάθε συμπλεκτικός πίνακας έχει ορίζουσα , και οι συμπλεκτικοί πίνακες με πραγματικές καταχωρήσεις σχηματίζουν μια υποομάδα της γενικής γραμμικής ομάδας υπό πολλαπλασιασμό πινάκων, δεδομένου ότι η συμπλεκτικότητα είναι μια ιδιότητα σταθερή υπό πολλαπλασιασμό πινάκων. Τοπολογικά, αυτή η συμπλεκτική ομάδα είναι μια συνδεδεμένη μη συμπαγής πραγματική ομάδα Λι πραγματικής διάστασης , και συμβολίζεται . Η συμπλεκτική ομάδα μπορεί να οριστεί ως το σύνολο των γραμμικών μετασχηματισμών που διατηρούν τη συμπλεκτική μορφή ενός πραγματικού συμπλεκτικού διανυσματικού χώρου.
Αυτή η συμπλεκτική ομάδα έχει ένα διακεκριμένο σύνολο γεννητόρων, το οποίο μπορεί να χρησιμοποιηθεί για την εύρεση όλων των πιθανών συμπλεκτικών πινάκων. Αυτό περιλαμβάνει τα ακόλουθα σύνολα
όπου είναι το σύνολο των συμμετρικὠν πινάκων. Τότε, το παράγεται από το σύνολο [2]p. 2 των πινάκων. Με άλλα λόγια, οποιοσδήποτε συμπλεκτικός πίνακας μπορεί να κατασκευαστεί πολλαπλασιάζοντας πίνακες στα και μαζί, μαζί με κάποια δύναμη του .
Αντιστρέψιμος πίνακας
[Επεξεργασία | επεξεργασία κώδικα]Κάθε συμπλεκτικός πίνακας είναι αντιστρέψιμος με τον αντιστρέψιμο πίνακα να δίνεται από τη σχέση
Επιπλέον, το γινόμενο δύο συμπλεκτικών πινάκων είναι, και πάλι, ένας συμπλεκτικός πίνακας. Αυτό δίνει στο σύνολο όλων των συμπλεκτικών πινάκων τη δομή μιας ομάδας. Υπάρχει μια φυσική δομή πολλαπλότητας σε αυτή την ομάδα που την μετατρέπει σε μια (πραγματική ή μιγαδική) ομάδα Λι που ονομάζεται συμπλεκτική ομάδα.
Ιδιότητες ορίζουσας
[Επεξεργασία | επεξεργασία κώδικα]Από τον ορισμό προκύπτει εύκολα ότι η ορίζουσα οποιουδήποτε συμπλεκτικού πίνακα είναι ±1. Στην πραγματικότητα, αποδεικνύεται ότι η ορίζουσα είναι πάντα +1 για οποιοδήποτε σώμα. Ένας τρόπος για να το δούμε αυτό είναι μέσω της χρήσης της Pfaffian και της ταυτότητας
Since και we have that .
Όταν το υποκείμενο σώμα είναι πραγματικό ή μιγαδικό, μπορεί κανείς να το δείξει αυτό με την παραγοντοποίηση της ανισότητας .[3]
Σύνθετη μορφή συμπλεκτικών πινάκων
[Επεξεργασία | επεξεργασία κώδικα]Ας υποθέσουμε ότι το Ω δίνεται στην τυπική μορφή και έστω ότι είναι ένας Σύνθετος πίνακας που δίνεται από τη σχέση
όπου είναι πίνακες. Η συνθήκη για να είναι η συμπλεκτική είναι ισοδύναμη με τις δύο ακόλουθες ισοδύναμες συνθήκες [4]
symmetric, and
symmetric, and
Η δεύτερη συνθήκη προκύπτει από το γεγονός ότι αν η είναι συμπλεκτική, τότε η είναι επίσης συμπλεκτική. Όταν αυτές οι συνθήκες ανάγονται στη μοναδική συνθήκη . Έτσι, ένας πίνακας είναι συμπλεκτικός αν έχει μοναδιαία ορίζουσα.
Αντιστρέψιμος πίνακας του συνθετικού πίνακα
[Επεξεργασία | επεξεργασία κώδικα]Με το σε τυπική μορφή, ο Αντιστρέψιμος του δίνεται από τη σχέση
Η ομάδα έχει διάσταση . Αυτό μπορεί να γίνει αντιληπτό παρατηρώντας ότι είναι αντισυμμετρική. Αφού ο χώρος των αντισυμμετρικών πινάκων έχει διάσταση η ταυτότητα επιβάλλει περιορισμούς στους συντελεστές του και αφήνει τον με ανεξάρτητους συντελεστές.
Συμλεκτικοί μετασχηματισμοί
[Επεξεργασία | επεξεργασία κώδικα]Στην αφηρημένη διατύπωση της γραμμικής άλγεβρας, οι πίνακες αντικαθίστανται από γραμμικούς μετασχηματισμούς διανυσματικών χώρων πεπερασμένων διαστάσεων. Το αφηρημένο ανάλογο ενός συμπλεκτικού πίνακα είναι ένας συμπλεκτικός μετασχηματισμός ενός συμπλεκτικού διανυσματικού χώρου. Εν συντομία, ένας συμπλεκτικός διανυσματικός χώρος είναι ένας -διάστατος διανυσματικός χώρος εξοπλισμένος με μια μη εκφυλισμένη, λοξά συμμετρική διγραμμική μορφή που ονομάζεται συμπλεκτική μορφή.
Ένας συμπλεκτικός μετασχηματισμός είναι τότε ένας γραμμικός μετασχηματισμός που διατηρεί το , δηλαδή.
Καθορίζοντας μια βάση για το , το μπορεί να γραφεί ως ένας πίνακας και το ως ένας πίνακας . Η συνθήκη ότι ο είναι ένας συμπλεκτικός μετασχηματισμός είναι ακριβώς η συνθήκη ότι ο M είναι ένας συμπλεκτικός πίνακας:
Υπό μια αλλαγή της βάσης, που αντιπροσωπεύεται από έναν πίνακα A, έχουμε
Μπορούμε πάντα να φέρουμε το είτε στην τυπική μορφή που δίνεται στην εισαγωγή είτε στη διαγώνια μορφή που περιγράφεται παρακάτω με κατάλληλη επιλογή του A.
Ο πίνακας Ω
[Επεξεργασία | επεξεργασία κώδικα]Οι συμπλεκτικοί πίνακες ορίζονται σε σχέση με έναν σταθερό αντιστρέψιμο πίνακα, λοξό-συμμετρικό πίνακα . Όπως εξηγήθηκε στην προηγούμενη ενότητα, ο μπορεί να θεωρηθεί ως η αναπαράσταση συντεταγμένων μιας μη εκφυλισμένης λοξής συμμετρικής διγραμμικής μορφής. Είναι βασικό αποτέλεσμα της γραμμικής άλγεβρας ότι δύο τέτοιοι πίνακες διαφέρουν μεταξύ τους με μια αλλαγή βάσης.
Η πιο συνηθισμένη εναλλακτική λύση στην τυπική που δίνεται παραπάνω είναι η διαγώνια σύνθετη μορφή
Αυτή η επιλογή διαφέρει από την προηγούμενη με μια μετάθεση των διανυσμάτων βάσης.
Μερικές φορές χρησιμοποιείται ο συμβολισμός αντί του για τον λοξό-συμμετρικό πίνακα. Αυτή είναι μια ιδιαίτερα ατυχής επιλογή καθώς οδηγεί σε σύγχυση με την έννοια της σύνθετης δομής, η οποία συχνά έχει την ίδια έκφραση συντεταγμένων με το αλλά αντιπροσωπεύει μια πολύ διαφορετική δομή. Μια σύνθετη δομή είναι η αναπαράσταση συντεταγμένων ενός γραμμικού μετασχηματισμού που σχηματίζει τετράγωνο με , ενώ είναι η αναπαράσταση συντεταγμένων μιας μη εκφυλισμένης λοξής-συμμετρικής διγραμμικής μορφής. Θα μπορούσε κανείς εύκολα να επιλέξει βάσεις στις οποίες το δεν είναι λοξό-συμμετρικό ή το δεν τετραγωνίζει το .
Δεδομένης μιας ερμιτιανής δομής σε έναν διανυσματικό χώρο, οι και συνδέονται μέσω
όπου είναι η μετρική. Το ότι το και το έχουν συνήθως την ίδια έκφραση συντεταγμένων (μέχρι ένα συνολικό πρόσημο) είναι απλά συνέπεια του γεγονότος ότι η μετρική g είναι συνήθως ο ταυτοτικός πίνακας.
Διαγωνοποίηση και ανάλυση
[Επεξεργασία | επεξεργασία κώδικα]- Για κάθε θετικά ορισμένο συμμετρικό πραγματικό συμπλεκτικό πίνακα S υπάρχει U στο τέτοιος ώστε
- Κάθε πραγματικός συμπλεκτικός πίνακας S έχει πολική αναλύση της μορφής:[5]
- για και
- Κάθε πραγματικός συμπλεκτικός πίνακας μπορεί να αναλυθεί ως γινόμενο τριών πινάκων:
|
( ) |
έτσι ώστε O και O' να είναι και οι δύο συμπλεκτικοί και ορθογώνιοι πίνακες και D να είναι θετικά ορισμένος και διαγώνιος πίνακας.[6] Αυτή η ανάλυση είναι στενά συνδεδεμένη με την ανάλυση της μοναδιαίας τιμής ενός πίνακα και είναι γνωστή ως αποσύνθεση « Όιλερ “ ή ” Μπλοχ-Μεσσίας ».
Μιγαδικοί πίνακες
[Επεξεργασία | επεξεργασία κώδικα]Αν αντίθετα ο Μ είναι ένας 2n × 2n πίνακας με μιγαδικές καταχωρήσεις, ο ορισμός δεν είναι τυποποιημένος σε όλη τη βιβλιογραφία. Πολλοί συγγραφείς [7] προσαρμόζουν τον παραπάνω ορισμό στο
-
(
)
όπου M* δηλώνει τη συζυγή μεταφορά του M. Στην περίπτωση αυτή, η ορίζουσα μπορεί να μην είναι 1, αλλά θα έχει απόλυτη τιμή 1. Στην περίπτωση 2×2 (n=1), ο M θα είναι το γινόμενο ενός πραγματικού συμπλεκτικού πίνακα και ενός μιγαδικού αριθμού με απόλυτη τιμή 1.
Άλλοι συγγραφείς [8] διατηρούν τον ορισμό (1) για τους μιγαδικούς πίνακες και ονομάζουν τους πίνακες που ικανοποιούν το (3) συζυγείς συμπλεκτικούς.
Εφαρμογές
[Επεξεργασία | επεξεργασία κώδικα]Οι μετασχηματισμοί που περιγράφονται από συμπλεκτικούς πίνακες παίζουν σημαντικό ρόλο στην κβαντική οπτική και στην κβαντική θεωρία πληροφοριών συνεχούς μεταβολής. Παραδείγματος χάριν, οι συμπλεκτικοί πίνακες μπορούν να χρησιμοποιηθούν για να περιγράψουν Γκαουσιανούς ( Μπογκολιούμποφ) μετασχηματισμούς μιας κβαντικής κατάστασης του φωτός[9] . Με τη σειρά της, η ανάλυση Μπλοχ-Μεσσίας (2) σημαίνει ότι ένας τέτοιος αυθαίρετος Γκαουσιανός μετασχηματισμός μπορεί να αναπαρασταθεί ως ένα σύνολο δύο παθητικών γραμμικών-οπτικών συμβολομέτρων (που αντιστοιχούν σε ορθογώνιους πίνακες Ο και Ο' ) που παρεμβάλλονται από ένα στρώμα ενεργών μη γραμμικών μετασχηματισμών συμπίεσης (που δίνονται με βάση τον πίνακα D).[10] Στην πραγματικότητα, μπορεί κανείς να παρακάμψει την ανάγκη για τέτοιους εν σειρά ενεργούς μετασχηματισμούς συμπίεσης, εάν οι συμπιεσμένες καταστάσεις κενού δύο τρόπων είναι διαθέσιμες μόνο ως προηγούμενος πόρος [11].
Δημοσιεύσεις
[Επεξεργασία | επεξεργασία κώδικα]- Μαυρογιάννης, Ν. Σ. (Μαΐου 2016). «Μία εισαγωγή στους μιγαδικούς αριθμούς». Εκθέτης Φύλλα Μαθηματικής Παιδείας (16): 1-8. http://ekthetis.gr/Ekthetis016.pdf.
- Bronshtein, I. N.· Semendyayev, K. A. (29 Ιουνίου 2013). Handbook of Mathematics. Springer Science & Business Media. ISBN 978-3-662-21982-9.
- Belevitch V (1950). «Theory of 2n-terminal networks with applications to conference telephony». Electrical Communication 27: 231–244.
- Bareiss, E. H. (1969), «Numerical solution of linear equations with Toeplitz and vector Toeplitz matrices», Numerische Mathematik 13 (5): 404–424, doi:
- Goldreich, O.; Tal, A. (2018), «Matrix rigidity of random Toeplitz matrices», Computational Complexity 27 (2): 305–350, doi:
- 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).
- Broad, William J. (8 Αυγούστου 2015). «29 U.S. Scientists Praise Iran Nuclear Deal in Letter to Obama». The New York Times. Ανακτήθηκε στις 9 Αυγούστου 2015.
- Brockman, John (1996). «Chap. 9 The Pattern-Recognizer». Digerati: Encounters with the Cyber Elite. HardWired. ISBN 978-1888869040. Αρχειοθετήθηκε από το πρωτότυπο στις 7 Οκτωβρίου 1999.
- 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.
- Press, William H.; Flannery, Brian P.; Teukolsky, Saul A.; Vetterling, William T. (2007), Numerical Recipes: The Art of Scientific Computing (3rd έκδοση), Cambridge University Press, ISBN 978-0-521-88068-8.
- 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:10.1145/509907.509932.
- Robinson, Sara, Toward an Optimal Algorithm for Matrix Multiplication, SIAM News 38(9), November 2005. PDF
- Cvijović, Djurdje; Klinowski, Jacek (1997). «Continued-fraction expansions for the Riemann zeta function and polylogarithms». Proc. Amer. Math. Soc. 125 (9): 2543–2550. doi: .
Δείτε επίσης
[Επεξεργασία | επεξεργασία κώδικα]- 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
Παραπομπές
[Επεξεργασία | επεξεργασία κώδικα]- ↑ Internet Archive, Kurt (1981). P-adic numbers and their functions. Cambridge [Eng.] ; New York : Cambridge University Press. ISBN 978-0-521-23102-2.
- ↑ Habermann, Katharina, 1966- (2006). Introduction to symplectic Dirac operators. Springer. ISBN 978-3-540-33421-7. OCLC 262692314.
- ↑ Rim, Donsub (2017). «An elementary proof that symplectic matrices have determinant one». Adv. Dyn. Syst. Appl. 12 (1): 15–20. doi: .
- ↑ de Gosson, Maurice. «Introduction to Symplectic Mechanics: Lectures I-II-III» (PDF).
- ↑ 5,0 5,1 de Gosson, Maurice A. (2011). Symplectic Methods in Harmonic Analysis and in Mathematical Physics - Springer (στα Αγγλικά). doi:10.1007/978-3-7643-9992-4. ISBN 978-3-7643-9991-7.
- ↑ Ferraro, Alessandro; Olivares, Stefano; Paris, Matteo G. A. (31 March 2005). «Gaussian states in continuous variable quantum information». arXiv:quant-ph/0503237.
- ↑ Xu, H. G. (July 15, 2003). «An SVD-like matrix decomposition and its applications». Linear Algebra and Its Applications 368: 1–24. doi:. https://archive.org/details/sim_linear-algebra-and-its-applications_2003-07-15_368_0/page/1.
- ↑ Mackey, D. S.; Mackey, N. (2003). On the Determinant of Symplectic Matrices (Numerical Analysis Report 422). Manchester, England: Manchester Centre for Computational Mathematics.
- ↑ Weedbrook, Christian; Pirandola, Stefano; García-Patrón, Raúl; Cerf, Nicolas J.; Ralph, Timothy C.; Shapiro, Jeffrey H.; Lloyd, Seth (2012). «Gaussian quantum information». Reviews of Modern Physics 84 (2): 621–669. doi: . Bibcode: 2012RvMP...84..621W.
- ↑ Braunstein, Samuel L. (2005). «Squeezing as an irreducible resource». Physical Review A 71 (5): 055801. doi: . Bibcode: 2005PhRvA..71e5801B.
- ↑ Chakhmakhchyan, Levon; Cerf, Nicolas (2018). «Simulating arbitrary Gaussian circuits with linear optics». Physical Review A 98 (6): 062314. doi: . Bibcode: 2018PhRvA..98f2314C.
- Ozluk, A.E. (1982), Pair Correlation of Zeros of Dirichlet L-functions, Ph. D. Dissertation, Ann Arbor: Univ. of Michigan
- Katz, Nicholas M.; Sarnak, Peter (1999), «Zeroes of zeta functions and symmetry», Bulletin of the American Mathematical Society, New Series 36 (1): 1–26, doi: , ISSN 0002-9904
- Bernstein, Dennis S. (2009). Matrix Mathematics: Theory, Facts, and Formulas (2nd έκδοση). Princeton University Press. ISBN 978-0691140391 – μέσω Google Books.
- Petersen, Kaare Brandt· Pedersen, Michael Syskind (15 Νοεμβρίου 2012). «The Matrix Cookbook» (PDF). σελίδες 17–23.