Μετάβαση στο περιεχόμενο

Κυκλικό σύνολο

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια

Στη θεωρία των τυχαίων πινάκων[1], τα κυκλικά σύνολα είναι μέτρα σε χώρους ορθομοναδιαίων πινάκων που εισήγαγε ο Φρίμαν Ντάισον ως τροποποιήσεις των Γκαουσιανών συνόλων πινάκων[2]. Τα τρία κύρια παραδείγματα είναι το κυκλικό ορθογώνιο σύνολο (COE) σε συμμετρικούς ορθομοναδιαίους πίνακες, το κυκλικό ορθομοναδιαίο σύνολο (CUE) σε μοναδιαίους πίνακες και το κυκλικό συμπλεκτικό σύνολο (CSE) σε αυτοδυϊκούς ορθομοναδιαίους τετραγωνικούς πίνακες.

Διανομές πιθανοτήτων

[Επεξεργασία | επεξεργασία κώδικα]

Η κατανομή του ορθομοναδιαίου κυκλικού συνόλου CUE(n) είναι το μέτρο Χάαρ στην μοναδιαία ομάδα[3] U(n). Αν το U είναι ένα τυχαίο στοιχείο του CUE(n), τότε το UTU είναι ένα τυχαίο στοιχείο του COE(n)- αν το U είναι ένα τυχαίο στοιχείο του CUE(2n), τότε το URU είναι ένα τυχαίο στοιχείο του CSE(n), όπου

Κάθε στοιχείο ενός κυκλικού συνόλου είναι ένας ορθομοναδιαίος πίνακας, οπότε έχει ιδιοτιμές στον μοναδιαίο κύκλο: με για k=1,2,... n, όπου τα είναι επίσης γνωστά ως ιδιογωνίες ή ιδιοφάσεις. Στο CSE κάθε μία από αυτές τις n ιδιοτιμές εμφανίζεται δύο φορές. Οι κατανομές έχουν πυκνότητες ως προς τις ιδιογωνίες, οι οποίες δίνονται από τη σχέση

στο (συμμετροποιημένη έκδοση), όπου β=1 για COE, β=2 για CUE και β=4 για CSE. Η σταθερά κανονικοποίησης Zn,β δίνεται από τη σχέση

όπως μπορεί να επαληθευτεί μέσω του ολοκληρωτικού τύπου του Σέλμπεργκ ή του ολοκληρωτικού τύπου του Γουέιλ για συμπαγείς ομάδες Λι.

Γενικεύσεις του κυκλικού συνόλου περιορίζουν τα στοιχεία του πίνακα U σε πραγματικούς αριθμούς [έτσι ώστε το U να ανήκει στην ορθογώνια ομάδα O(n)] ή σε πραγματικούς τετραγωνικούς αριθμούς [έτσι ώστε το U να ανήκει στη συμπλεκτική ομάδα Sp(2n). Το μέτρο Χάαρ στην ορθογώνια ομάδα παράγει το κυκλικό πραγματικό σύνολο (CRE) και το μέτρο Χάαρ στη συμπλεκτική ομάδα παράγει το κυκλικό τεταρτοταγές σύνολο (CQE).

Οι ιδιοτιμές των ορθογώνιων πινάκων έρχονται σε μιγαδικά συζυγή ζεύγη και , ενδεχομένως συμπληρωμένα από ιδιοτιμές σταθερές στο +1 ή στο -1. Για n=2m ζυγές και det U=1, δεν υπάρχουν σταθερές ιδιοτιμές και οι φάσεις θk έχουν κατανομή πιθανότητας[4]

με C μια απροσδιόριστη σταθερά κανονικοποίησης. Για n=2m+1 περιττό υπάρχει μία σταθερή ιδιοτιμή σ=det U ίση με ±1. Οι φάσεις έχουν κατανομή

Για n=2m+2 ζυγές και det U=-1 υπάρχει ένα ζεύγος ιδιοτιμών σταθερών στο +1 και -1, ενώ οι φάσεις έχουν κατανομή

Αυτή είναι επίσης η κατανομή των ιδιοτιμών ενός πίνακα στον Sp(2m).

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

Οι μέσοι όροι των γινομένων των στοιχείων των πινάκων στα κυκλικά σύνολα μπορούν να υπολογιστούν χρησιμοποιώντας τις συναρτήσεις Βαϊνγκάρτεν . Για μεγάλες διαστάσεις του πίνακα αυτοί οι υπολογισμοί γίνονται ανέφικτοι και μια αριθμητική μέθοδος είναι πλεονεκτική. Υπάρχουν αποδοτικοί αλγόριθμοι για τη δημιουργία τυχαίων πινάκων στα κυκλικά σύνολα, παραδείγματος χάριν με την εκτέλεση μιας QR ανάλυσης σε έναν πίνακα Ζινίμπρ.[5]

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

[Επεξεργασία | επεξεργασία κώδικα]
  1. Borodin, Alexei· Corwin, Ivan (30 Οκτωβρίου 2019). Random Matrices. American Mathematical Soc. ISBN 978-1-4704-5280-3. 
  2. F.M. Dyson (1962). «The threefold way. Algebraic structure of symmetry groups and ensembles in quantum mechanics». Journal of Mathematical Physics 3 (6): 1199. doi:10.1063/1.1703863. Bibcode1962JMP.....3.1199D. 
  3. «Unitary group - Encyclopedia of Mathematics». encyclopediaofmath.org. Ανακτήθηκε στις 7 Σεπτεμβρίου 2024. 
  4. V.L. Girko (1985). «Distribution of eigenvalues and eigenvectors of orthogonal random matrices». Ukrainian Mathematical Journal 37 (5): 457. doi:10.1007/bf01061167. 
  5. F. Mezzadri (2007). «How to generate random matrices from the classical compact groups». Notices of the AMS 54: 592. Bibcode2006math.ph...9050M. https://www.ams.org/notices/200705/fea-mezzadri-web.pdf.