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

Από testwiki
Αναθεώρηση ως προς 18:49, 7 Σεπτεμβρίου 2024 από τον imported>Projethomere (Νέα σελίδα: Στη θεωρία των τυχαίων πινάκων<ref>{{Cite book|title=Random Matrices|first=Alexei|last=Borodin|first2=Ivan|last2=Corwin|publisher=American Mathematical Soc.|isbn=978-1-4704-5280-3|date=2019-10-30|url=https://books.google.gr/books?id=zrVFxAEACAAJ&printsec=frontcover&hl=el#v=onepage&q&f=false}}</ref>, τα '''κυκλικά σύνολα''' είναι μέτρα σε χώρους Ορθομοναδιαίος πίνακας|ορθομοναδια...)
(διαφορά) ← Παλαιότερη αναθεώρηση | Τελευταία αναθεώρηση (διαφορά) | Νεότερη αναθεώρηση → (διαφορά)
Μετάβαση στην πλοήγηση Πήδηση στην αναζήτηση

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

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

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

UR=(011001100110)UT(011001100110).

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

p(θ1,,θn)=1Zn,β1k<jn|eiθkeiθj|β

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

Zn,β=(2π)nΓ(βn/2+1)(Γ(β/2+1))n,

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

Γενικεύσεις

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

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

p(θ1,,θm)=C1k<jm(cosθkcosθj)2,

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

p(θ1,,θm)=C1im(1σcosθi)1k<jm(cosθkcosθj)2.

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

p(θ1,,θm)=C1im(1cos2θi)1k<jm(cosθkcosθj)2.

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

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

Υπολογισμοί

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

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

Δείτε επίσης

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

Παραπομπές

Πρότυπο:Reflist

Πρότυπο:Authority control Πρότυπο:Portal bar