Εθνικο Μετσ οβιο Πολυτεχνειο Σχολη Εφαρμοσ μενων Μαθηματικων και Φυσ ικων Επισ τημων Τομεασ Φυσ ικησ ΤΟ ΠΡΟΒΛΗΜΑ ΜΙΓΑΔΙΚΗΣ ΔΡΑΣΗΣ ΣΤΗΝ ΚΒΑΝΤΙΚΗ ΘΕΩΡΙΑ ΠΕΔΙΟΥ ΠΛΕΓΜΑΤΟΣ Στρατος Ковальков Παπαουης Διατμηματικο Προγραμμα Μεταπτυχιακων Σπουων Φυσ ικη και Τεχνολογικες Εφαρμογεσ επιβλέπων Κονσ ταντινος Ν. Αναγνωσ τοπουλοσ Αναπληρωτής Καθηγητής ακαημαϊκό έτος 2012 2013 Εθνικο Κεντρο Ερευνασ Φυσ ικων Επισ τημων Δημοκριτοσ
Contents 1 Θεωρία βαθμωτού πείου 1 1.1 Φορμαλισ μός................................................... 1 1.1.1 Συμβολισ μός εσ ωτερικού γινομένου πείων.............................. 1 1.2 Διαότες (σ υναρτήσ εις Green)......................................... 3 1.3 Θεωρία βαθμωτού πείου σ ε πλέγμα (ομαλοποίησ η).............................. 3 1.3.1 Το πλέγμα N (l), Λ.......................................... 4 1.3.1.1 εσ ωτερικό γινόμενο σ το πλέγμα............................ 4 1.3.1.2 τελεσ τές παραγώγου σ το πλέγμα.............................. 5 1.3.2 Συνοριακές σ υνθήκες πεπερασ μένου πλέγματος........................... 5 1.3.2.1 standard boundary conditions............................... 5 1.3.2.2 periodic boundary conditions................................ 6 1.3.2.3 helicoid boundary conditions................................ 6 1.4 Discrete Fourier Transform.......................................... 8 1.4.1 Βασ ικές ιιότητες ιακριτού μετασ χηματισ μού Fourier σ ε πλέγμα.................. 8 1.4.1.1 linearity............................................ 8 1.4.1.2 translation and modulation................................. 9 1.4.1.3 scaling............................................ 9 1.4.1.4 conjucation.......................................... 10 1.4.2 Θεωρήματα ιακριτού μετασ χηματισ μού Fourier σ ε πλέγμα...................... 11 1.4.2.1 Plancherel-Parseval theorem................................ 11 1.4.2.2 circular convolusion theorem................................ 11 2 Το πρόβλημα της μιγαικής ράσ ης σ ε θεωρίες πείου 13 2.1 Το πρόβλημα της μιγαικής ράσ ης...................................... 13 2.2 Κβαντική Χρωμουναμική........................................... 14 2.2.1 Υψηλή πυκνότητα μέσ ου, χαμηλή θερμοκρασ ία............................ 15 2.3 Σχετικισ τικό αέριο Bose (φαινόμενο Silver-Blaze).............................. 15 2.3.1 Μέθοος μιγαικής angevin..................................... 16 2.3.2 efschetz thimbles........................................... 16 2.3.2.1 The thimble(s)........................................ 17 2.3.2.2 Εφαρμογή σ τη θεωρία πείου................................ 18 2.3.3 Δυϊκές μέθοοι............................................. 18 2.3.3.1 Αναπαράσ τασ η ροής..................................... 18 2.3.3.2 Αλγόριθμος worm...................................... 20 3 Δυναμική angevin 23 3.1 Συνεχής υναμική angevin.......................................... 23 3.1.1 φ R και S R........................................... 23 3.1.2 φ F και S R............................................ 24 3.1.2.1 Άλγεβρα βαθμωτών φ F................................. 24 3.1.2.2 Εξίσ ωσ η angevin...................................... 26 3.1.3 φ F και S G........................................... 27 3.2 Εξίσ ωσ η Fökker-Planck............................................ 28 3.2.1 Το σ ύμβολο Dirac της κατανομής................................... 30 3.2.2 Εξαγωγή της εξίσ ωσ ης Fökker-Planck................................ 31 i
Contents 3.2.3 Η κατάσ τασ η ισ ορροπίας για τ και το Feynman path integral................. 35 3.2.3.1 Ενείξεις από εξίσ ωσ η angevin.............................. 35 3.2.3.2 Στατική κατανομή Fökker-Planck.............................. 36 3.2.3.3 Θεωρία βαθμωτού πείου φ (F G), θορύβου η F και ράσ ης S[φ] G..... 38 3.3 Διακριτή υναμική angevin.......................................... 40 3.3.1 Μεταβλητό βήμα χρόνου angevin ɛ n................................. 41 3.3.1.1 η μέσ η ολίσ θησ η ɛ 1 M................................... 41 4 Σχετικισ τικό αέριο Bose 43 4.1 Δυναμική angevin σ το σ χετικισ τικό αέριο Bose............................... 43 4.1.1 Δράσ η S σ το πλέγμα..................................... 43 4.1.2 Εξισ ώσ εις angevin του σ χετικισ τικού αερίου Bose......................... 44 4.1.2.1 Συντελεσ τές ολίσ θησ ης K ab................................. 45 4.1.2.2 Παρατηρήσ ιμα μεγέθη (n a, ρ a )............................... 46 4.2 Εξομοίωσ η υναμικής angevin σ χετικισ τικού αερίου Bose......................... 47 4.2.1 Initialization.............................................. 47 4.2.2 angevin evolution........................................... 48 4.2.3 Finalization............................................... 49 4.3 Αποτελέσ ματα.................................................. 49 ii
1 Θεωρία βαθμωτού πείου 1.1 Φορμαλισ μός 1.1.1 Συμβολισμός εσωτερικού γινομένου πείων Για κάθε πείο φ και ψ σ υμβολίζουμε το εσ ωτερικό γινόμενο σ υνοπτικά ως ψ φ d dim x ψ x x φ, (1.1.1) όπου για κάθε πείο φ, η αναπαράσ τασ η θέσ ης σ υμβολίζεται με φ(x) x φ. Ο σ υμβολισ μός αυτός σ έβεται τις ιιότητες του εσ ωτερικού γινομένου πείων με πιο χαρακτηρισ τική από όλες την φ x φ (x). Για κάθε ερμητιανό τελεσ τή πείων A (A = A ή Aψ φ ψ A φ = ψ Aφ ) έχει νόημα ο σ υμβολισ μός ψ A φ d dim x d dim y ψ y y A x x φ. (1.1.2) Παρ όλη την ομοιότητα με το φορμαλισ μό Dirac ε θα γράφουμε ποτέ μεμονωμένα bra ή ket σ ύμβολα σ ε ότι αφορά τα πεία καθεαυτά. Ο μετασ χηματισ μός Fourier εξακολουθεί και μπορεί να γράφεται p φ = d dim x p x x φ, (1.1.3) όπου x p exp(ıp α x α ) είναι ο πυρήνας μετασ χηματισ μού Fourier. Από ιιότητες του μετασ χηματισ μού Fourier, για παράειγμα αυτή της σ υνέλιξης x φψ = x φ x ψ ενώ p φψ = p φ p ψ, (1.1.4) αναεικνύεται πως το νόημα που ίνεται σ το περιεχόμενο του σ υμβολισ μού εξαρτάται από την αναπαράσ τασ η σ την οποία αναγράφεται ή αναπτύσ σ εται όταν αυτή εν περιλαμβάνεται. Το σ ύμβολο της σ υνάρτησ ης έλτα του Dirac προκύπτει με σ υνεπή τρόπο ως x y (x y), αφού σ την ορολογία τη σ υναρτησ ιακής ανάλυσ ης η έλτα σ υνάρτησ η είναι όντως η αναπαράσ τασ η σ τη θέσ η της... θέσ ης, x φ φ(x) = d dim y(x y)φ(y) d dim x x y y φ, (1.1.5) το οποίο είναι σ ε απόλυτη σ υμφωνία με τον υιοθετημένο φορμαλισ μό. Στην περίπτωσ η των πραγματικών πείων το εσ ωτερικό γινόμενο είναι τετριμμένο, επομένως το σ ύμβολο μπορεί να επεκταθεί σ ε ένα γενικό σ ύμβολο ολοκλήρωσ ης ως προς την επιθυμητή αναπαράσ τασ η του (κατάλληλα ερμηνευόμενου) περιεχομένου. Στην αναπαράσ τασ η θέσ ης που χρησ ιμοποιείται αποκλεισ τικά σ ε αυτήν την εργασ ία, για κάθε O σ υνάρτησ η πείων, O(φ) d dim xo(φ(x)) (1.1.6) Γράφοντας ψ φ = ψ φ ο σ υμβολισ μός αυτός μπορεί να επεκταθεί σ ε τυχούσ ας άλγεβρας πεία. Εφίσ ταται προσ οχή ιότι, εν είναι όλα τα σ ύμβολα αναλλοίωτα αναπαράσ τασ ης. Πιο σ υγκεκριμένα το αποτέλεσ μα της ολοκλήρωσ ης είναι αναλλοίωτο της αναπαράσ τασ ης όταν αυτή τελείται κατά ζεύγη μεταβλητών, όπως σ ε όλα τα παραείγματα που ακολουθούν για φ R. 1
1 Θεωρία βαθμωτού πείου continuum/thermodynamic limit notation lattice regularization φ(x)................................................. x φ................................................. φ x φ (x)................................................. φ x................................................. d N xψ (x)φ(x)............................... A = A d N x = ψ x x φ............................... A(x, y)............................................ x A y............................................ l N A xy d N za(x, z)b(z, y).................... d N z x A z z B y = y A B x.................... l N A xz B zy z d N x d N yψ (x)a(x, y)φ(y)......... d N x d N y ψ x x A y y φ = ψ A φ......... l N ψ xa xy φ y x y (x y)............................................. x y............................................. l N x φ x ψ xφ x l N xy φ R d N xf(φ(x))........................................ f(φ)........................................ l N f(φ x ) x d N xψ(x)φ(x)................................... ψφ = ψ φ................................... l N ψ x φ x x d N x d N yψ(x)a(x, y)φ(y)..................... ψaφ = ψ A φ..................... l N ψ x A xy φ y x y d N x d N yψ(x)a(y, y)φ(x).............. A ψφ = A ψφ = ψ A φ = ψφ A = ψφ A.......................... A ψ φ = A ψ φ = ψ A φ = ψ A φ = ψ φ A = ψ φ A............ l N x d N xφ(x)a(x, x)ψ(x).................................. φaψ.................................. d N xa(x, y)φ(y)................................ A(x)φ = x A φ................................ d N xa(x, x)........................................... A........................................... d N x d N x d N x ψ x A yy φ x y ψ x A xx φ x x A xy φ y d N ya(x, y)b(y, x).......................... AB = A B.......................... A xy B yx x y d N ya(x, x)b(y, y).................... A B = A B = A B.................... A xx B yy d N ya(x, x)b(x, x)............................... AB............................... l N x d N za(x, z)b(z, y)......................... A(x)B(y) = x A B y......................... τ F [φ(τ)] = φ(τ) F [φ(τ)] τ φ(τ) d N x φ(x, τ) τ φ(x, τ) F [φ(τ)]............ τ φ(τ) φ(τ) F [φ(τ)]............ l N x x y l N z y x A xx A xx B xx A xz B zy τ φ x(τ) φ x (τ) F [φ(τ)] 2
1.2 Διαότες (σ υναρτήσ εις Green) 1.2 Διαότες (σ υναρτήσ εις Green) Μια θεωρία (πραγματικού) βαθμωτού πείου φ μεταφρασ μένη σ τον ευκλείειο χωροχρόνο ορίζεται αποκλεισ τικά από τις σ υναρτήσ εις σ υσ χετισ μού n σ ημείων (ή σ υναρτήσ εις Green) φ (y 1 ) φ (y m )(φ(x 1 ) φ(x n ), οι οποίες υπολογίζονται μέσ ω του σ υναρτησ ιακού της ράσ ης n m x i φ φ y j 1 n m Dφ exp( S[φ]) φ(x i ) φ (y j ), (1.2.1) Z i=1 j=1 i=1 j=1 Z Dφ exp( S[φ]), (1.2.2) είναι η σ υνάρτησ η επιμερισ μού (ορολογία ανεισ μένη από την αναλογία ευκλείειας κβαντικής θεωρίας πείου με τη σ τατισ τική μηχανική). 1 Η γραφή αυτή είναι καθαρά φορμαλισ τική, καθώς ούτε η σ υνάρτησ η επιμερισ μού, ούτε οποιοήποτε path integral γενικά εν είναι καλά ορισ μένο (άπειρο), αλλά μόνο ο σ υνυασ μός τους για την παραγωγή αναμενόμενων τιμών για το τυχόν μέγεθος O είναι καλά ορισ μένος, O[φ] 1 DφO[φ] exp( S[φ]). (1.2.3) Z Για μια κλασ σ ική πηγή ξ ορίζεται η γεννήτρια σ υνάρτησ η, ( ) 1 Z[ξ] exp ( ξ φ + φ ξ ) = 2 n m n=0 m=0 i=1 j=1 1 d dim x i ij n m d dim y j ξ x i x i φ φ y j y j ξ, (1.2.4) Εναλλακτικά οι σ υναρτήσ εις Green μπορούν να γραφούν ως σ υναρτησ ιακές παράγωγοι της γεννήτριας κατανομής. n m n+m m n x i φ φ y j = Z[0] Z[0]. (1.2.5) m n y i=1 j=1 j=1 j ξ ξ x i=1 i y j ξ ξ x i j=1 i=1 i=1 j=1 1.3 Θεωρία βαθμωτού πείου σ ε πλέγμα (ομαλοποίησ η) Η πλεγματοποίησ η του (Ευκλείειου) χωροχρόνου αποτελεί ένα μηχανισ μό ομαλοποίησ ης μιας (οποιαήποτε γενικά) κβαντικής θεωρίας πείου, προς πρότυπο μη ιαταρακτικής επανακανονικοποίησ ης της εν λόγω θεωρίας. Δύο όρια του πλέγματος οηγούν σ την κλασ σ ική θεωρία: όριο σ υνεχούς l 0 Στο όριο του σ υνεχούς, η θεωρία ορισ μένη πάνω σ το πλέγμα οφείλει να σ υγκλίνει σ τη θεωρία του σ υνεχούς που μελετάται, ιαφορετικά ε πρόκειται εξ ορισ μού για ομαλοποίησ η της εν λόγω θεωρίας. Αξιοσ ημείωτο είναι το γεγονός ότι η πλεγματική ομαλοποίησ η επιτρέπει το σ αφή ορισ μό του ιαφορετικά φορμαλισ τικού μέτρου ολοκλήρωσ ης ιαρομών, Dφ....................................................................................................... x dφ x θερμουναμικό όριο Ω Στο θερμουναμικό όριο, η θεωρία ορισ μένη πάνω σ το πλέγμα απαλλάσ σ εται από τεχνητά φαινόμενα πεπερασ μένου μεγέθους πλέγματος (finite size effects). 1 Η σ υνάρτησ η επιμερισ μού σ τη κβαντική θεωρία πείου είναι σ υνάρτησ η των παραμέτρων της ράσ ης. 3
1 Θεωρία βαθμωτού πείου Το πεπερασ μένο των ιασ τάσ εων του πλέγματος επιτρέπει τον αριθμητικό υπολογισ μό σ τοιχείων της θεωρίας (γεννήτρια σ υνάρτησ η) και υπολογισ τικό χειρισ μό της θεωρίας καθεαυτής μέσ ω εξομοιώσ εων, με κόσ τος τα τεχνητά αυτά φαινόμενα, τα οποία αντιμετωπίζονται με βάθμισ η σ το πεπερασ μένο πλέγμα, προσ εγγίζοντας το θερμουναμικό όριο. Τα φαινόμενα πεπερασ μένου μεγέθους πλέγματος ελαχισ τοποιούνται για εομένο μέγεθος πλέγματος με κατάλληλη επιλογή σ υνοριακών σ υνθηκών. 1.3.1 Το πλέγμα N (l), Λ Ενα πεπερασ μένο πλέγμα τετραγωνικής ιάταξης ιακριτοποίησ ης του ευκλείειου χωροχρόνου ορίζεται από μια πλεγματική σ ταθερά μήκους l (ιασ τάσ εων m 1 ) η οποία αντιπροσ ωπεύει το μήκος των σ υνέσ μων των σ ημείων του πλέγματος και το μέγεθός του, το οποίο εκφράζεται από φυσ ικούς (N µ ) dim µ=1, όπου dim είναι η ιάσ τασ η του χωροχρόνου. Δηλαή ο σ υνολικός αριθμός των σ ημείων του πλέγματος είναι N = dim µ=1 N µ. (1.3.1) Κατ επέκτασ η οι ιασ τάσ εις μήκους του πλέγματος ίνονται από τα ( µ ) dim µ=1 με µ = ln µ µ N dim. Τότε ορίζεται ο (ιασ τατικός) όγκος του πλέγματος Ω = dim µ=1 Τυπικά το πλέγμα αποτελείται από τα σ ημεία του σ αν σ ύνολο και τους σ υνέσ μους των ως τοπολογία του σ υνόλου, µ = ln (1.3.2) Ω (l) {x n µ = l 1 x µ Z Nµ, µ N dim }, (1.3.3) Λ { xy } = {(xy) x y l} Ω (l) Ω (l). (1.3.4) Η αναπαράσ τασ η του τυχόντος πείου φ ως προς την πλεγματική θέσ η παραμένει x φ φ(x) όπου τώρα x. 1.3.1.1 εσ ωτερικό γινόμενο σ το πλέγμα Το εσ ωτερικό γινόμενο πείων γίνεται σ το πλέγμα φ ψ = d dim x φ x x ψ n l dim φ nψ n = l dim x φ x x ψ, (1.3.5) όπου n = l 1 x οι ακέραιες σ υντεταγμένες του πλέγματος. Το άθροισ μα πάνω σ τις πλεγματικές θέσ εις σ το εξής αναπαρίσ ταται με ένα σ ύμβολο ολοκληρώματος (d dim x) l dim (l dim x), (1.3.6) n το οποίο αναεικνύει καλύτερα αυτό που αντιπροσ ωπεύει σ το σ υνεχές-θερμουναμικό όριο. Η σ ταθερά όγκου l dim με την οποία κανονικά κάνουμε πράξεις σ το ιακριτό-πεπερασ μένο άθροισ μα της (1.3.6) αν ενσ ωματωθεί σ τα κατάλληλα σ ύμβολα επιτρέπει την αυτοσ υνεπή χρήσ η του σ υμβόλου ολοκληρώματος, με τη σ ταθερά όγκου να είναι παρούσ α, μαζί όμως με την μεταβλητή ολοκλήρωσ ης η οποία εν προκειμένω είναι η πλεγματική θέσ η x. Συγκεκριμένη η σ υνάρτησ η έλτα εν μεταφέρεται αιάσ τατη σ το πλέγμα, αλλά x y l dim xy, έτσ ι ώσ τε να ιατηρηθούν όλες οι ιιότητες της σ τα ολοκληρώματα πλέγματος όπως θα ονομάζονται σ το εξής τα αθροίσ ματα πλέγματος. 4
1.3 Θεωρία βαθμωτού πείου σ ε πλέγμα (ομαλοποίησ η) 1.3.1.2 τελεσ τές παραγώγου σ το πλέγμα Παρατηρούμε πως η αναπαράσ τασ η x A y τελεσ τή πείων A αποκτάει μορφή πίνακα σ το πλέγμα και επομένως ο υπολογισ μός ιαοτών σ το πλέγμα ανάγεται σ ε αντισ τροφή πινάκων που αντιπροσ ωπεύουν τους τελεσ τές που ανακύπτουν σ τις εξισ ώσ εις κίνησ ης μιας θεωρίας πείου. Παράγωγος πείου προς όλες τις κατευθύνσ εις (πρόσ θια και οπίσ θια παράγωγος): x µ φ l 1 ( x + l µ φ x φ ) = x l 1 (exp(+l µ ) 1)φ, (1.3.7) x µ φ l 1 ( x l µ φ x φ ) = x l 1 (exp( l µ ) 1)φ, (1.3.8) όπου µ σ υνισ τά το μοναιαίο ιάνυσ μα κατά την κατεύθυνσ η που αντιπροσ ωπεύει ο είκτης µ. 2 Αναπτύσ σ οντας σ την αναπαράσ τασ η θέσ ης και αντικαθισ τώντας από (1.3.7), µ φ ψ = l dim x µ φ x x ψ = l dim xl 1 φ x + l µ x ψ + l dim xl 1 φ x x ψ. (1.3.9) Θεωρώντας πως η ολοκλήρωσ η κινείται περιοικά σ το πλέγμα είναι υνατή η αλλαγή μεταβλητής x x l µ, l dim xl 1 φ x + l µ x ψ = l dim x φ x l 1 x l µ ψ. (1.3.10) Αντικαθισ τώντας, l dim x φ x l 1 x l µ ψ ηλαή µ φ ψ = φ µ ψ. l dim x φ x l 1 x ψ = l dim x φ x x µ ψ = φ µ ψ, (1.3.11) Ορίζεται ο πλεγματικός τελεσ τής d Alambert µν µ ν, από όπου άμεσ α προκύπτει πως µ φ µ φ = φ φ. Η μορφή της ράσ ης του τελεσ τή σ το φ είναι, x φ = x µ µ φ = l 1 ( x l µ µ ψ x µ ψ ) = l 1 (l 1 ( x φ x l µ φ ) l 1 ( x + l µ φ x φ )) = dim dim = l 2 (2 x φ x + l µ φ x l ν φ ) = 2l 2 x (1 cosh(l µ ))φ. (1.3.12) µ=1 µ=1 1.3.2 Συνοριακές συνθήκες πεπερασμένου πλέγματος 00 01 02 03 04 10 11 12 13 14 20 21 22 23 24 00 01 02 03 04 05 06 07 08 09 10 11 12 13 14 Σε ότι ακολουθεί έχει γίνεται ιάκρισ η μεταξύ ύο τρόπων εικτοότησ ης της πλεγματικής θέσ ης (σ χήμα 1.3.1): κανονική κατά σ υντεταγμένες (σ χήμα 1.3.1a) και σ ειριακή κατά θέσ η αποθήκευσ ης σ τη μνήμη (σ χήμα 1.3.1b). 30 31 32 33 34 40 41 42 43 44 (a) σ υντεταγμένες 15 16 17 18 19 20 21 22 23 24 (b) θέσ εις μνήμης Table 1.3.1: εικτοότησ η πλέγματος 1.3.2.1 standard boundary conditions Κάθε πλεγματική θέσ η σ υνέεται με τη γειτονική της σ ε κυβική ιάταξη εκτός κι αν αυτή βρίσ κεται σ το σ ύνορο οπότε και απουσ ιάζει ο σ ύνεσ μος μη-παράλληλος σ τους σ υνέσ μους που οηγούν σ ε γειτονικές σ υνοριακές πλεγματικές θέσ εις. Είναι η πιο αθώα επιλογή καθώς εισ άγει σ ημαντικά σ φάλματα πεπερασ μένου πλέγματος. Θα αναφερόμασ τε σ τον προαναφερθέντα σ ύνεσ μο του σ υνόρου ως τον χαμένο σ ύνεσ μο, γιατί σ τις καθιερωμένες σ υνοριακές σ υνθήκες αυτός εν υπάρχει εξ ορισ μού όμως σ ε άλλες επιλογές αυτός ανακτάται. 2 Εώ ήη χρησ ιμοποιείται ιαφορετικό σ ύμβολο για την ιακριτή παράγωγο, επομένως υπάρχει ελευθερία χρήσ ης του σ υμβόλου µ της ιαφορικής γεωμετρίας για το ιανυσ ματικό πείο των σ υντεταγμένων του πλέγματος σ τη προκειμένη περίπτωσ η. 5
1 Θεωρία βαθμωτού πείου 1.3.2.2 periodic boundary conditions Κάθε σ υνοριακή πλεγματική θέσ η σ υνέεται μέσ ω της τοπολογίας Λ με την πλεγματική θέσ η που βρίσ κεται ακριβώς απέναντί της σ το αντίθετο σ ύνορο σ την κατεύθυνσ η του χαμένου σ υνέσ μου σ τις καθιερωμένες σ υνοριακές σ υνθήκες. Η τοπολογία ενός τέτοιου πλέγματος είναι τοροειής. Οπως και φαίνεται σ το σ χήμα 1.3.2, βολική είναι η εικτοότησ η σ ε σ υντεταγμένες x µ, όπου η σ υνοριακή σ υνθήκη γίνεται (x) = (x + n µ µ ), n Z. (1.3.13) 00 01 02 03 04 00 01 02 03 04 00 01 02 03 04 00 01 02 03 04 00 01 02 03 04 10 11 12 13 14 10 11 12 13 14 10 11 12 13 14 10 11 12 13 14 10 11 12 13 14 20 21 22 23 24 20 21 22 23 24 20 21 22 23 24 20 21 22 23 24 20 21 22 23 24 30 31 32 33 34 30 31 32 33 34 30 31 32 33 34 30 31 32 33 34 30 31 32 33 34 40 41 42 43 44 40 41 42 43 44 40 41 42 43 44 40 41 42 43 44 40 41 42 43 44 00 01 02 03 04 00 01 02 03 04 00 01 02 03 04 00 01 02 03 04 00 01 02 03 04 10 11 12 13 14 10 11 12 13 14 10 11 12 13 14 10 11 12 13 14 10 11 12 13 14 20 21 22 23 24 20 21 22 23 24 20 21 22 23 24 20 21 22 23 24 20 21 22 23 24 30 31 32 33 34 30 31 32 33 34 30 31 32 33 34 30 31 32 33 34 30 31 32 33 34 40 41 42 43 44 40 41 42 43 44 40 41 42 43 44 40 41 42 43 44 40 41 42 43 44 00 01 02 03 04 00 01 02 03 04 00 01 02 03 04 00 01 02 03 04 00 01 02 03 04 10 11 12 13 14 10 11 12 13 14 10 11 12 13 14 10 11 12 13 14 10 11 12 13 14 20 21 22 23 24 20 21 22 23 24 20 21 22 23 24 20 21 22 23 24 20 21 22 23 24 30 31 32 33 34 30 31 32 33 34 30 31 32 33 34 30 31 32 33 34 30 31 32 33 34 40 41 42 43 44 40 41 42 43 44 40 41 42 43 44 40 41 42 43 44 40 41 42 43 44 00 01 02 03 04 00 01 02 03 04 00 01 02 03 04 00 01 02 03 04 00 01 02 03 04 10 11 12 13 14 10 11 12 13 14 10 11 12 13 14 10 11 12 13 14 10 11 12 13 14 20 21 22 23 24 20 21 22 23 24 20 21 22 23 24 20 21 22 23 24 20 21 22 23 24 30 31 32 33 34 30 31 32 33 34 30 31 32 33 34 30 31 32 33 34 30 31 32 33 34 40 41 42 43 44 40 41 42 43 44 40 41 42 43 44 40 41 42 43 44 40 41 42 43 44 00 01 02 03 04 00 01 02 03 04 00 01 02 03 04 00 01 02 03 04 00 01 02 03 04 10 11 12 13 14 10 11 12 13 14 10 11 12 13 14 10 11 12 13 14 10 11 12 13 14 20 21 22 23 24 20 21 22 23 24 20 21 22 23 24 20 21 22 23 24 20 21 22 23 24 30 31 32 33 34 30 31 32 33 34 30 31 32 33 34 30 31 32 33 34 30 31 32 33 34 40 41 42 43 44 40 41 42 43 44 40 41 42 43 44 40 41 42 43 44 40 41 42 43 44 Table 1.3.2: περιοικές σ υνοριακές σ υνθήκες 1.3.2.3 helicoid boundary conditions Τροποποιούμε τις περιοικές σ υνθήκες ώσ τε ο χαμένος σ ύνεσ μος να σ υνέει κάθε σ υνοριακή πλεγματική θέσ η με αυτήν η οποία βρίσ κεται απέναντί της, μόνο μετατοπισ μένη κατά ένα «πλεγματικό βήμα» προς μια από τις άλλες κατευθύνσ εις κατά μήκος του αντίθετου σ υνόρου. Η τοπολογία είναι και πάλι τοροειής αλλά με μετατόπισ η σ τη μία κατεύθυνσ η, αλλάζοντας την από παραλληλόγραμμη σ ε ελικοειή πάνω σ τον τόρο. (σ χήμα 1.3.3) Οπως είναι κατανοητό, εώ βολική είναι η εικτοότησ η σ ε θέσ εις μνήμης, και η σ χετική σ υνοριακή σ υνθήκη γίνεται ( (χ) = χ + n µn µ n µ=1 µ ), n N και (µ n ) n N N N. (1.3.14) Δεν αλλάζει κάτι ουσ ιασ τικό σ ε σ χέσ η με τις περιοικές σ υνοριακές σ υνθήκες, εκτός του ότι είναι πιο αποοτικές σ ε θέματα χρήσ ης μνήμης, αφού η τοπολογία του πλέγματος τότε υπολογίζεται υναμικά και σ υνεχώς αντί να αποθηκευτεί μια φορά σ τη μνήμη. Αυτό σ ημαίνει πως γλιτώνουμε μνήμη, σ ε βάρος όμως υπολογισ τικού χρόνου, μια αντιμετώπισ η ιιαίτερα γρήγορη όταν πρόκειται για αρκετά μεγάλα πλέγματα τα οποία ε μπορούν να σ υγκρατηθούν σ τη μνήμη. 6
1.3 Θεωρία βαθμωτού πείου σ ε πλέγμα (ομαλοποίησ η) 15 16 17 18 19 20 21 22 23 24 00 01 02 03 04 05 06 07 08 09 10 11 12 13 14 20 21 22 23 24 00 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 00 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 00 01 02 03 04 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 00 01 02 03 04 05 06 07 08 09 15 16 17 18 19 20 21 22 23 24 00 01 02 03 04 05 06 07 08 09 10 11 12 13 14 20 21 22 23 24 00 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 00 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 00 01 02 03 04 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 00 01 02 03 04 05 06 07 08 09 15 16 17 18 19 20 21 22 23 24 00 01 02 03 04 05 06 07 08 09 10 11 12 13 14 20 21 22 23 24 00 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 00 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 00 01 02 03 04 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 00 01 02 03 04 05 06 07 08 09 15 16 17 18 19 20 21 22 23 24 00 01 02 03 04 05 06 07 08 09 10 11 12 13 14 20 21 22 23 24 00 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 00 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 00 01 02 03 04 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 00 01 02 03 04 05 06 07 08 09 15 16 17 18 19 20 21 22 23 24 00 01 02 03 04 05 06 07 08 09 10 11 12 13 14 20 21 22 23 24 00 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 00 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 00 01 02 03 04 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 00 01 02 03 04 05 06 07 08 09 (a) block ιαμέρισ η κατά πλέγματα 15 16 17 18 19 20 21 22 23 24 00 01 02 03 04 05 06 07 08 09 10 11 12 13 14 20 21 22 23 24 00 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 00 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 00 01 02 03 04 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 00 01 02 03 04 05 06 07 08 09 15 16 17 18 19 20 21 22 23 24 00 01 02 03 04 05 06 07 08 09 10 11 12 13 14 20 21 22 23 24 00 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 00 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 00 01 02 03 04 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 00 01 02 03 04 05 06 07 08 09 15 16 17 18 19 20 21 22 23 24 00 01 02 03 04 05 06 07 08 09 10 11 12 13 14 20 21 22 23 24 00 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 00 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 00 01 02 03 04 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 00 01 02 03 04 05 06 07 08 09 15 16 17 18 19 20 21 22 23 24 00 01 02 03 04 05 06 07 08 09 10 11 12 13 14 20 21 22 23 24 00 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 00 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 00 01 02 03 04 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 00 01 02 03 04 05 06 07 08 09 15 16 17 18 19 20 21 22 23 24 00 01 02 03 04 05 06 07 08 09 10 11 12 13 14 20 21 22 23 24 00 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 00 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 00 01 02 03 04 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 00 01 02 03 04 05 06 07 08 09 (b) σ ειριακή ιαμέρισ η κατά θέσ εις μνήμης Table 1.3.3: ελικοειείς σ υνοριακές σ υνθήκες 7
1 Θεωρία βαθμωτού πείου 1.4 Discrete Fourier Transform φ F έχει νόημα η αναπαράσ τασ η Fourier του πείου p φ l dim x p x x φ και x φ ϱ dim p x p p φ, (1.4.1) με πυρήνα x p : exp(ı2πx λ p λ ), (1.4.2) όπου x λ = ln λ και p λ = λµν ϱ µ k ν n λ, k λ Z Nλ λ N dim, οπότε και lϱ λ = N 1 λ Το μέτρο ολοκλήρωσ ης γίνεται (lϱ) dim = N 1 ϱ dim = Ω 1. ή ϱ λ = 1 λ, F λ = λµν ϱ µ N ν. Ο αντίσ τροφος του ιακριτού μετασ χηματισ μού Fourier είναι κι αυτός ιακριτός σ ε σ υνέπεια με το γεγονός ότι ο χώρος Hilbert είναι πεπερασ μένης ιάσ τασ ης, πέρα από την πληρότητα και ύπαρξη ορθοκανονικής βάσ ης σ τους χώρους Hilbert γενικότερα. Για κάθε ορθοκανονική βάσ η φ F (ϕ) σ τον χώρο F των βαθμωτών πείων με φ(a) F (ϕ), a πάνω σ το πεπερασ μένο πλέγμα, ορίζεται η αναπαράσ τασ η φ ψ F του τυχόντος βαθμωτού πείου ψ F, ψ = l dim a φ(a) φ(a) ψ ϕ dim φ φ φ ψ, (1.4.3) όπου οι αντίσ τοιχες παράμετροι ομής του πλέγματος είναι (ϕ) ϕ µ (a) = l dim φ(a) με αντίσ τοιχο μέτρο ϕ dim (a) = l dim ϕ µ (a), (1.4.4) a µ όταν το πλέγμα απεικονισ τεί μέσ ω της απεικόνισ ης φ : F : x φ(x) των σ ημείων του x, σ το (ϕ). Οι ιαότες 2 σ ημείων ιέπονται από σ υμμετρία μεταφοράς x φ φ y G(x y), επομένως p G = l dim (x y) p x y G(x y) και G(x y) = ϱ dim p x y p p G. (1.4.5) Ο ιακριτός μετασ χηματισ μός Fourier (όπως και κάθε μετασ χηματισ μός από μία αναπαράσ τασ η σ την άλλη) αποτελεί αυτομορφισ μό (bijection) του χώρου F, έχει ηλαή εκτός των άλλων, καλά (ιπλά) ορισ μένο αντίσ τροφο, με σ υνέπεια όλες οι ιιότητες που ισ χύουν μετασ χηματίζοντας από την x σ την p αναπαράσ τασ η να ισ χύουν σ υμμετρικά, με τις κατάλληλες τροποποιήσ εις κάθε φορά, και για τον αντίσ τροφο μετασ χηματισ μό. Ως εκ τούτου όλες οι ιιότητες του μετασ χηματισ μού αποεικνύονται σ ε μία κατεύθυνσ η μόνο, χωρίς βλάβη της γενικότητας. Επιπλέον, σ ε όποιες ιιότητες κρίνεται σ κόπιμο, θα αποεικνύεται η γενική εκοχή της ιιότητας για κάθε αναπαράσ τασ η. µ=1 1.4.1 Βασικές ιιότητες ιακριτού μετασχηματισμού Fourier σε πλέγμα 1.4.1.1 linearity α, β F και φ, χ, ψ F, ω F αναπαράσ τασ η τέτοια, ώσ τε ω(a) χ = α ω(a) φ + β ω(a) ψ a, τότε ω χ = α ω φ + β ω ψ, ω F, σ ε σ υνέπεια με το φορμαλισ μό Dirac. Κάθε μετασ χηματισ μός από μία αναπαράσ τασ η σ ε μια άλλη σ υνίσ ταται από ένα άθροισ μα πάνω τα πεία βάσ ης της αρχικής αναπαράσ τασ ης, και σ υνισ τά με αυτόν τον τρόπο γραμμικό τελεσ τή. Ετσ ι, αν x είναι γραμμικός σ υνυασ μός των φ και ψ σ ε μία εομένη αναπαράσ τασ η, μέσ ω γραμμικών μετασ χηματισ μών οι οποίοι σ έβονται τη γραμμικότητα, θα είναι σ ε κάθε αναπαράσ τασ η. Εχει τότε νόημα η έκφρασ η χ = α φ + β ψ, όπου η γραμμικότητα των μετασ χηματισ μών εκφράζεται σ υνοπτικά με αυτόν τον τρόπο σ το φορμαλισ μό Dirac. 8
1.4 Discrete Fourier Transform Σε ότι ακολουθεί, = (ϕ) φ F (ϕ) αναπαράσ τασ η, βάσ ει του ισ ομορφισ μού που ορίζει ο μετασ χηματισ μός σ ε και από αυτήν από και σ ε οποιαήποτε αναπαράσ τασ η. Εκεί που μάλισ τα είναι χρήσ ιμο να γίνει η ιάκρισ η (σ τις ολοκληρώσ εις ηλαή) το εκάσ τοτε lattice spacing φαίνεται σ το μέτρο τις ολοκλήρωσ ης, και το lattice spacing είναι το μοναικό χαρακτηρισ τικό που ιαχωρίζει τα ισ όμορφα πλέγματα. 1.4.1.2 translation and modulation a, και φ, χ F με x χ = x a φ x, p χ = p a p φ και αντίσ τροφα. p χ = l dim x p x x χ = l dim x p x x a φ = = ( a) l dim x p x p a x φ = p a l dim x p x + a x φ = mod l dim x p x x φ = p a p φ. Η ιιότητα αυτή εν ισ χύει εγγενώς για κάθε ιακριτό μετασ χηματισ μό Fourier. Η ιιότητα είναι «ανεισ μένη» από το σ υνεχή μετασ χηματισ μό Fourier σ ε κατάλληλους χώρους, οι οποίοι εκτός των άλλων είναι άπειρη με την έννοια της μετρικής (ή τοπολογίας τους) αλλά και με την πληθικότητά τους φυσ ικά. Οπότε για ένα πεπερασ μένο πλέγμα, η ολοκλήρωσ η πέφτει εκτός πλέγματος μέσ ω της ιιότητας αυτής, εκτός αν υπάρχουν σ υνοριακές σ υνθήκες που να επιτρέπουν την ολοκλήρωσ η σ ε χώρο ισ όμορφο προς τον αρχικό: το πιο προφανές παράειγμα είναι οι περιοικές σ υνθήκες του πλέγματος (υποενότητα 1.3.2), όπως και χρησ ιμοποιούνται σ την ανωτέρω απόειξη. Σε ότι ακολουθεί, όλες οι αναπαρασ τάσ εις π F πάνω σ το πλέγμα ίνουν περιοικές σ υναρτήσ εις. π (ϖ) και φ F, π φ (πϖ) mod N φ = π + nϖn φ, n Z. Είναι εύκολο να εννοηθεί µ ı2πp µ, όμως σ ε αυτό το context p λειτουργεί απλά ως μια τετράα βαθμωτών πείων και όχι ως τελεσ τής πάνω σ τα πεία εντός bra-ket σ υμβόλου. Παρόλα αυτά η σ υμπεριφορά του ταυτοποιείται φορμαλισ τικά με αυτήν της μετατόπισ ης σ την αναπαράσ τασ η θέσ ης, x exp(a µ µ ) φ p exp(ı2πa µ p µ ) φ. Προσ οχή εφίσ ταται σ την ιγραμμικότητα του εσ ωτερικού γινομένου. Χάρη σ το φορμαλισ μό Dirac, έχουμε απαλλαχτεί από την αναγκαιότητα αυτής της ιιότητας αφού γράφεται αφ + βχ γψ + ω (α φ + β χ )(γ ψ + ω ) = αγ φ ψ + α φ ω + βγ χ ψ + β χ ω, (1.4.6) όπου η ιγραμμικότητα ποια εκφυλίζεται σ την επιμερισ τική ιιότητα. 3 Οποιεσ ήποτε πράξεις εντός των bra ή ket αποτελούν πρωτίσ τως παραβίασ η του φορμαλισ μού, επομένως το περιεχόμενο του πρώτου μέλους της παράσ τασ ης εξαρτάται από την αναπαράσ τασ η σ την οποία αναπτύσ σ εται. Χαρακτηρισ τικό παράειγμα αποτελεί ο πυρήνας Fourier που χρησ ιμοποιήθηκε σ την ανωτέρω απόειξη, x n p m x n p m = x n p m, (1.4.7) n m n m n m όπου το αποτέλεσ μα εξαρτάται από το φύσ η των imlied σ υναρτήσ εων (εώ εκθετική) και καμία σ χέσ η εν έχει με τη ιγραμμικότητα του εσ ωτερικού γινομένου, κάνουμε ηλαή πράξεις με ορίσ ματα των εν λόγω σ υναρτήσ εων εώ. 1.4.1.3 scaling A G () := {A det A 0} και φ, χ F με x χ = Ax φ, p χ = det A 1 (A 1 ) p φ και αντίσ τροφα. 3 ενσ ωματώνουμε ηλαή τη ιγραμμικότητα σ το φορμαλισ μό με αυτόν τον τρόπο 9
1 Θεωρία βαθμωτού πείου p χ = l dim x p x x χ = l dim x p x Ax φ = det A 1 l dim x p A 1 x x φ, A() όπου p A 1 x = exp( ı(p µ (A 1 ) µν x ν ) = exp(x µ ((A 1 ) ) µν p ν )) = (A 1 ) p x, οπότε p χ = l dim x p x x χ = det A 1 l dim x (A 1 ) p x x φ = det A 1 (A 1 ) p φ. A() Στην περίπτωσ η που A = A, p χ = det A 1 A 1 p φ ενώ, για A U N () {A det A = exp ıϑ, ϑ R}, A 1 = A και άρα p χ = Ap φ, το οποίο είναι αναμενόμενο αφού οι ορθομοναιαίοι πίνακες σ έβονται κάθε είους εσ ωτερικό γινόμενο. 1.4.1.4 conjucation Υποθέτουμε πως F είναι αλγεβρικά κλεισ τό σ ώμα (με μεταθετικό γινόμενο: φ, ψ F, φψ = ψφ) και πως φ F, φ F (σ υζυγές) τέτοιο ώσ τε (φ ) = φ και ψ F, (φψ) = φ ψ και (φ + ψ) = φ + ψ. Τότε ορίζεται ποια και το σ υζυγές του φ F πείο φ F, ϖ dim π φ π π φ := φ ϖ dim π π π φ (1.4.8) φ, χ F με x χ = φ x x, p χ = φ ϱn p και αντίσ τροφα. αφού p χ = l dim x p x x χ = l dim x φ x x ϱn p = φ ϱn p, x ϱn p exp(ı2πx λ λµν ϱ µ N ν ) exp( ı2πx λ p λ ) = p x. Ισ ούναμα το θεώρημα λέει ότι η σ χέσ η σ υζυγίας μιγαικών πείων εν ιατηρείται με το μετασ χηματισ μό σ ε άλλη αναπαράσ τασ η, η αντισ τοιχία ηλαή απεικονίζεται εκ νέου. Τέλος, σ ε απόλυτη σ υνέπεια με το φορμαλισ μό Dirac, ισ χύει x χ = ϱ dim p x p p χ = ϱ dim p φ ϱn p ϱn p x = ϱ dim p φ p p x = φ x 10
1.4 Discrete Fourier Transform 1.4.2 Θεωρήματα ιακριτού μετασχηματισμού Fourier σε πλέγμα 1.4.2.1 Plancherel-Parseval theorem φ, ψ F, φ ψ είναι αναλλοίωτο για κάθε αναπαράσ τασ η π F (σ ε σ υνέπεια και με το φορμαλισ μό Dirac). Η απόειξη ανακύπτει φυσ ιολογικά από το φορμαλισ μό Dirac, φ, ψ F και π F φ ψ ϖ dim π φ π π ψ 1.4.2.2 circular convolusion theorem φ, ψ F, η σ υνέλιξη ύο πείων ορίζεται για κάθε αναπαράσ τασ η ως ρ φ ψ ϖ dim π ρ π φ π ψ, ρ π φ = φ((ρ π) mod (ϖn)) (1.4.9) όπου εννοείται πως ρ π ((ρ π)ϖ) mod N. Τότε x, x φψ x φ x ψ = ϱ dim p x p p φ ψ ϱ dim p x p ϱ dim q p q φ q ψ (1.4.10) x φψ x φ x ψ = ϱ dim p x p p φ ϱ dim q x q q ψ = ϱ dim p ϱ dim q p φ x p x q = = ϱ dim p ϱ dim q p φ x p + q q ψ = ϱ dim p x p ϱ dim q p q φ q ψ = ϱ dim p x p p φ ψ Εώ γίνεται ελαφριά κατάχρησ η του φορμαλισ μού Dirac σ ε αντικαταβολή με το γεγονός ότι οι πράξεις εντός του ket σ υνισ τούν πράξεις εντός του ορίσ ματός. Η χρήσ η της σ ύμβασ ης πάραυτα γίνεται ανεκτή από ιασ τατική ασ υμβατότητα του ορίσ ματος. Ετσ ι για παράειγμα x pq x p x q x p + q. x pq x p x q = ϱ dim s x s s p q = ϱ dim s x s ϱ dim t s t p t q = = ϱ dim s x s ϱ dim t s p + t p + t p + q = ϱ dim s x s s p + q = x p + q Η σ ύμβασ η είναι ηλαή σ υνεπής με το φορμαλισ μό Dirac με μόνη θυσ ία τη γνώσ η του τι σ ημαίνει σ την πραγματικότητα ο πολλαπλασ ιασ μός εντός του bra ή ket σ υμβόλου, εντός ηλαή του ορίσ ματος του εν λόγω πείου, θυσ ία η οποία είναι μικρή εομένου ότι για τυχόντα πεία φ, ψ F υπάρχει η ελευθερία να υποθέσ ουμε τι σ ημαίνει ο πολλαπλασ ιασ μός εντός του ορίσ ματος, όπως και είχθηκε παραπάνω για το πιο σ ημαντικό παράειγμα τέτοιας περίπτωσ ης. Είναι επίσ ης αξιοσ ημείωτο πως μπορεί να επεκταθεί ο σ υμβολισ μός ώσ τε να ισ χύει αφηρημένα για κάθε αναπαράσ τασ η. Ετσ ι φ, ψ F, ορίζεται φψ F τέτοιο ώσ τε για κάθε αναπαράσ τασ η π F, το γινόμενο αποκτά σ υγκεκριμένο νόημα. Ετσ ι για παράειγμα x φψ x φ x ψ ενώ p φψ p φ ψ. 11
2 Το πρόβλημα της μιγαικής ράσ ης σ ε θεωρίες πείου 2.1 Το πρόβλημα της μιγαικής ράσ ης Εσ τω S = S 0 jγ η μιγαική ράσ η και O μια παρατηρήσ ιμη ποσ ότητα. Παρατηρούμε ότι σ τον εντροπικό παράγοντα της σ υνάρτησ ης επιμερισ μού της θεωρίας Dφ exp( S[φ]) = Dφ exp( S[φ]) exp(jγ ), όπου exp( S[φ]) = exp( S 0 [φ]), υπάρχει ένας παράγοντας φάσ ης για αυτό και η θεωρία της πραγματικής ράσ ης S 0 ονομάζεται phase-quenched, γιατί καταπίνει τη φάσ η του εντροπικού παράγοντα την οποία εισ άγει η φαντασ τική ράσ η, και ασ χολείται μόνο με το μέτρο του. Λαμβάνοντας υπόψη το ολοκλήρωμα επιμερισ μού του phase-quenched μοντέλου, αποκτάει νόημα η αναμενόμενη τιμή του φασ ικού εντροπικού παράγοντα exp jγ σ το phase-quenched μοντέλο Dφ exp( S 0 [φ]) exp(jγ ) exp jγ 0 =. Dφ exp( S 0 [φ]) Εσ τω O 0 η αναμενόμενη τιμή της ποσ ότητας O σ το phase-quenched μοντέλο, DφO[φ] exp( S 0 [φ]) O 0 =. Dφ exp( S 0 [φ]) Η αναμενόμενη τιμή O του μεγέθους σ το πλήρες μοντέλο μπορεί να προσ εγγισ τεί, DφO[φ] exp( S 0 [φ]) exp(jγ ) O = DφO[φ] exp( S[φ]) Dφ exp( S 0 [φ]) = = O exp(jγ ) 0. exp(jγ ) Dφ exp( S[φ]) Dφ exp( S 0 [φ]) exp(jγ ) 0 (2.1.1) Dφ exp( S 0 [φ]) Η προσ έγγισ η αυτή παρουσ ιάζει ύο θεμελιώη προβλήματα: overlap problem Η καθιερωμένη τεχνική ειγματοληψίας σ ε μια εξομοίωσ η Monte Carlo ενός σ υσ τήματος με ράσ η S[φ] γίνεται με πιθανότητα exp( S[φ]) όταν η ράσ η είναι πραγματική, με σ κοπό να σ υλλέγονται μετρήσ εις με υψηλή σ υνεισ φορά σ τη σ υνάρτησ η επιμερισ μού. Ενα σ ύνηθες πρόβλημα είναι ότι η περιοχή των configurations υψηλής σ υνεισ φοράς σ το ολοκλήρωμα επιμερισ μού Z εν ταυτίζεται ή είναι κοντά απαραίτητα σ ε σ την περιοχή υψηλής σ υνεισ φοράς σ το σ ταθμισ μένο ολοκλήρωμα Z O. Ετσ ι ακόμη και αν μπορούσ αμε να ειγματοληπτήσ ουμε με βάρος O exp( S[φ]) θα είχε πρόβλημα 13
2 Το πρόβλημα της μιγαικής ράσ ης σ ε θεωρίες πείου το ολοκλήρωμα Z. Οταν οι περιοχές μέγισ της σ υνεισ φοράς σ τα ολοκληρώματα που εμπλέκονται σ τον αριθμητικό υπολογισ μό της O έχουν μικρή επικάλυψη, τότε η σ τατισ τική των μετρήσ εων είναι χαμηλή και απαιτείται σ οβαρά πολλαπλάσ ιος χρόνος υπολογισ μού της αναμενόμενης τιμής O από ότι της σ υνάρτησ ης επιμερισ μού. Το πρόβλημα γίνεται εμφανές σ ε θεωρίες με μιγαική ράσ ης τόσ ο σ τον υπολογισ μό της exp(jγ ) 0 όσ ο και της O exp(jγ ) 0. sign problem Ο υπολογισ μός της exp(jγ ) 0 είναι πολύ αργός [6, 11] λόγω του ιακυμαντικού χαρακτήρα της υπολογιζόμενης ποσ ότητας, η οποία σ υμπεριφέρεται περιοικά εν γένει λόγω του μιγαικού εκθετικού. 1 Προσ εγγίζοντας το θερμουναμικό όριο (για επαρκώς μεγάλα μεγέθη πλέγματος), exp(jγ ) 0 = exp( jγ ) 0 = Z Z 0 exp( Ω f 1 ), όπου Z 0 είναι η σ υνάρτησ η επιμερισ μού της phase-quenched θεωρίας Z 0 = Dφ exp( S 0 [φ]), και f είναι εξ ορισ μού η ιαφορά της πυκνότητας ελεύθερης ενέργειας μεταξύ πλήρους και phase-quenched θεωρίας. Υπολογίζοντας το σ χετικό σ φάλμα από N μετρήσ εις σ τη κανονική σ υλλογή, exp(jγ ) 0 exp(jγ ) exp( jγ ) 0 exp(jγ ) 0 exp( jγ ) 0 = 1 exp(ω f 1 ). exp(jγ ) 0 N exp(jγ ) 0 N σ υμπεραίνεται ότι για ικανοποιητική ακρίβεια σ τον υπολογισ μό απαιτούνται περίπου τουλάχισ τον N (exp Ω) 2 ασ υσ χέτισ τες μετρήσ εις, το οποίο είναι απαγορευτικό για βάθμισ η του πλέγματος σ ε μια εξομοίωσ η υλοποιήσ ιμου χρόνου για το βασ ικό πλέγμα. Εχουν αναπτυχθεί ιάφορες μέθοοι αντιμετώπισ ης του προβλήματος του προσ ήμου σ τον σ τοχασ τικό υπολογισ μό μιγαικών ολοκληρωμάτων, σ ε ιάφορα contexts. Το γεγονός ότι το sign problem σ τη γενικότητα του ανήκει σ τα NP-hard problems σ ημαίνει πως εν έχει γενική επίλυσ η σ ε πολυωνυμικό χρόνο, αυτό φυσ ικά όμως εν αποκλείει επίλυσ η ειικών προβλημάτων, και τελικά ένα σ ύνολο θεωριών να επιλύονται από ένα σ ύνολο αλληλο-επικαλυπτόμενων μεθόων. Με αλληλο-επικάληψη εννοούμε τουλάχισ τον ύο προσ εγγίσ εις να εφαρμόζονται σ ε ένα εομένο πρόβλημα, και αυτό ισ χύει σ την προκειμένη για τις βαθμωτές θεωρίες με μιγαική ράσ η και σ την χρωμουναμική σ το όριο μεγάλης βαρυονικής πυκνότητας, το οποίο αποτελεί και μεγάλης προτεραιότητας πρόβλημα προς επίλυσ η. 2.2 Κβαντική Χρωμουναμική Ενα από τα κυριότερα προβλήματα είναι ο προσ ιορισ μός του χώρου φάσ εων της χρωμουναμικής, σ υγκεκριμένα ως προς τη θερμοκρασ ία (T ή β) και βαρυονική πυκνότητα (χημικό υναμικό µ). Στις περιοχές με πεπερασ μένη θερμοκρασ ία και πυκνότητα αναμένεται η φυσ ική να είναι ανεξάρτητη του χημικού υναμικού (το φαινόμενο αυτό ονομάζεται Silver-Blaze), το οποίο ύναται να μελετηθεί με ιάφορες μεθόους. Από την άλλη, η περιοχή υψηλού χημικού υναμικού παρουσ ιάζει 1 Για κάθε μιγαική τυχαία μεταβλητή x C με αναμενόμενη τιμή x, η ιακύμανσ η είναι (x x )(x x ) = xx x x x x + x x = xx x x x x + x x = xx x x. (2.1.2) 14
2.3 Σχετικισ τικό αέριο Bose (φαινόμενο Silver-Blaze) ιιαίτερο ενιαφέρον και παράλληλα αρκετές υσ κολίες, ιότι το φαντασ τικό μέρος της ράσ ης γίνεται ιιαίτερα σ ημαντικό υσ χεραίνοντας τις εξομοιώσ εις Monte Carlo σ την περιοχή αυτήν. Ακολουθεί μια βιβλιογραφική λίσ τα (όπως καταγράφεται σ το [8]) με τις μεθόους που έχουν αναπτυχθεί μέχρι σ ήμερα σ την προσ πάθεια επίλυσ η του προβλήματος μιγαικής ράσ ης σ τις ιάφορες περιοχές του χώρου φάσ εων, χωρίς η λίσ τα να είναι εξαντλημένη, καθώς πρόκειται για ένα πολύ ενεργό πείο έρευνας. χαμηλή βαρυονική πυκνότητα [14] μέθοοι reweighting [15, 16] μέθοος του αναπτύγματος Taylor [17, 18] μέθοος φαντασ τικού χημικού υναμικού µ υψηλή βαρυονική πυκνότητα: [19, 20, 21] μέθοος μιγαικής υναμικής angevin (βλ. επίσ ης [5, 6, 7] καθώς και το υπόλοιπο της παρούσ ας εργασ ίας για λεπτομέρειες) [22] μέθοοι worm (βλ. επίσ ης [12] καθώς και υποενότητα 2.3.3 για λεπτομέρειες και γενίκευσ η του αλγορίθμου worm σ ε εφαρμογή μεθόων υϊκής αναπαράσ τασ ης της ράσ ης) [23, 24] ενεργές θεωρίες τριών ιασ τάσ εων [25] μέθοος ισ τογράμματος [26, 27, 28, 29] μέθοος παραγοντοποίησ ης (factorization) ή πυκνότητας κατασ τάσ εων [30] μέθοος γενικευμένου φαντασ τικού χημικού υναμικού µ [31] μέθοος αναπτύγματος της fugacity [32] μέθοος ιασ τατικής ελάττωσ ης [33, 34] όριο μεγάλου N c (αριθμού χρωμάτων) 2.2.1 Υψηλή πυκνότητα μέσου, χαμηλή θερμοκρασία 2.3 Σχετικισ τικό αέριο Bose (φαινόμενο Silver-Blaze) Η ιέα κλειί είναι η εισ αγωγή μιας νέας παραμέτρου τ η οποία εξυπηρετεί ως κάποιος χρόνος εξέλιξης του πείου φ (έσ τω βαθμωτή θεωρία πείου), και η οποία εισ άγει μια υναμική σ το πείο ως γενίκευσ η της κλασ ική εξίσ ωσ ης κίνησ ης θα έχει ηλαή τη γενική μορφή S[φ] = 0, (2.3.1) φ ( ) τ φ(τ) = F φ S[φ]. (2.3.2) Η αντίσ τοιχη κβαντική θεωρία πείου ορίζεται πλήρως από το βασ ικό Feynman path integral ή σ υνάρτησ η επιμερισ μού Z = Dφ exp( S[φ]) (2.3.3) όπου και κάθε κλασ ική εξίσ ωσ η μεταφράζεται σ ε εξίσ ωσ η αναμενόμενων τιμών. Η γνώσ η της σ υνάρτησ η επιμερισ μού Z καθορίζει και την αναμενόμενη τιμή κάθε παρατηρήσ ιμης ποσ ότητας O, O = 1 Dφ exp( S[φ])O[φ]. (2.3.4) Z 15
2 Το πρόβλημα της μιγαικής ράσ ης σ ε θεωρίες πείου 2.3.1 Μέθοος μιγαικής angevin Η παραπάνω σ υλλογισ τική αξιοποιείται από την μέθοο της μιγαικής υναμικής angevin σ τον υπολογισ μό του (2.3.3) η οποία εισ ήχθη από τους Parizi και Wu [3] και αναπτύχθηκε αργότερα από Gert Aarts et. al. [6] για την επίλυσ η του sign problem σ το μοντέλο του κβαντικού σ χετικισ τικού αερίου Bose [5]. Η υναμική εξίσ ωσ η (2.3.2) αποκτά την μορφή μιας εξίσ ωσ ης angevin τ φ(τ) = S[φ(τ)] + η(τ), (2.3.5) φ όπου η είναι ένα πείο θορύβου, η μορφή του ηλαή εν είναι σ υγκεκριμένη αλλά τυχαία σ τον χώρο των πείων με κατανομή που σ υγκεκριμένα επιλέγεται gaussιανή, ( ρ[η] = ρ 1 0 exp 1 ) ( dτ η(τ) η(τ), ρ 0 = Dη exp 1 ) dτ η(τ) η(τ), (2.3.6) 4 4 ή γενικότερα να ικανοποιεί τις πρώτες σ υναρτήσ εις σ υσ χετισ μού, η(τ) = 0 και η(τ)η(τ ) = 2(τ τ ). (2.3.7) Η τυχαιότητα του θορύβου μεταφέρεται μέσ ω της σ τοχασ τικής πια εξίσ ωσ ης angevin (2.3.5) σ ε τυχαιότητα του πείου φ το οποίο αποτελεί λύσ η της εξίσ ωσ ης angevin. Γενικότερα, οποιαήποτε παρατηρήσ ιμη ποσ ότητα O η οποία προκύπτει ως σ υναρτησ ιακό του πείου φ αποκτάει σ τοχασ τικό χαρακτήρα και έχει νόημα η αναμενόμενη της τιμή πάνω σ το ensemble του θορύβου ( O(τ) = Dηρ[η]O[φ(τ)], ρ[η] = exp 14 ) η η, (2.3.8) το οποίο μοιάζει επίσ ης με μία σ υνταγή κβάντωσ ης του πείου φ, μόνο που υπάρχει η επιπλέον παράμετρος τ η οποία τώρα ονομάζεται χρόνος angevin. Λόγω του ασ υσ χετισ μού σ το χρόνο του θορύβου, κάθε τ-slice της κατανομής έχει ακριβώς την ίια μορφή. Σύμφωνα με την εικασ ία των Parizi και Wu, σ το όριο τ το πείο φ = lim τ φ(τ) είναι το πείο της εκάσ τοτε κβαντικής θεωρίας βαθμωτού πείου που μελετάται, ηλαή για κάθε παρατηρήσ ιμη ποσ ότητα O, lim O(τ) = Dφ exp( S[φ])O[φ], (2.3.9) τ ανακτάται ηλαή το Feynman path integral ως όριο μιας σ τοχασ τική ιαικασ ίας. Εφαρμοζόμενο σ την επίλυσ η του αριθμητικού sign problem, υπάρχει ελπία πως η εξίσ ωσ η angevin (2.3.5), όταν ο χρόνος angevin ιακριτοποιηθεί τ = nɛ για βήμα χρόνου ɛ, παράγει με φυσ ικό τρόπο μια markovιανή αλυσ ία σ τον χώρο των φ, η οποία οηγεί σ τη σ ημαντική περιοχή για τον υπολογισ μό του ολοκληρώματος της σ υνάρτησ ης επιμερισ μού και (αν εν υποφέρουν από overlap problem) της αναμενόμενης τιμής της τυχούσ ας παρατηρήσ ιμης ποσ ότητας O. Μέχρι τώρα [5] φαίνεται πως σ τις εξομοιώσ εις επιτυγχάνεται θερμοποίησ η (σ τατική ισ ορροπία η οποία αντισ τοιχεί σ το θεωρητικό όριο τ ), για κατάλληλη επιλογή του βήματος angevin, και οι παρατηρήσ ιμες ποσ ότητες φαίνεται να αναεικνύουν του φαινόμενο Silver Blaze που είναι γνωσ τό ότι παρουσ ιάζει το σ χετικισ τικό αέριο Bose για κρίσ ιμο χημικό υναμικό µ c 1.15. Η μελέτη της μεθόου σ το σ χετικισ τικό αέριο Bose αποτελεί ενισ χυτική του [5] εργασ ία με σ κοπό τον επαναφορμαλισ μό του προβλήματος σ ε πιο βολικούς όρους, και επαλήθευσ η βάσ η κώικα γραμμένου από την αρχή. Για αυτοσ υνέπεια του μηχανισ μού angevin σ την περίπτωσ η μιγαικών πείων, είναι αναγκαία η επέκτασ η των μιγαικών πείων φ C σ ε ιπλομιγαικά φ C C (βλ. κεφάλαιο 3), το οποίο είναι ισ ούναμο με την εισ αγωγή επιπλέον της ı μιγαικής μονάας j, τέτοιας ώσ τε ıj = jı. 2 2.3.2 efschetz thimbles Η μέθοος αυτή βασ ίζεται έντονα σ τη θεωρία Morse και την επέκτασ η της σ τους μιγαικούς από τους Picard και efschetz, και σ υνοψίζεται από τον εναλλακτικό τίτλο μέθοος σ ταθερής φάσ ης. Η βασ ική ιέα είναι να υπολογισ τεί το ολοκλήρωμα σ ε μια περιοχή του χώρου των φ τέτοια ώσ τε ο φασ ικός όρος του εντροπικού όρου να είναι σ ταθερός, και άρα να βγαίνει εκτός της ολοκλήρωσ ης. 2 Η ομή των quaternion παράγεται με παρόμοιο τρόπο, μόνο που αυτήν τη φορά ıj + jı = 0, το οποίο σ υνεπάγεται πως το αντίσ τοιχο γινόμενο (Hamilton) quaternion είναι μη-μεταθετικό σ ε αντίθεσ η με το ιπλομιγαικό. 16
2.3 Σχετικισ τικό αέριο Bose (φαινόμενο Silver-Blaze) 2.3.2.1 The thimble(s) Εσ τω το μιγαικό ολοκλήρωμα I = R dxg(x) exp f(x), (2.3.10) όπου f και g είναι ολομορφικές σ υναρτήσ εις σ τους μιγαικούς z C. Ενα τέτοιο ολοκλήρωμα χαρακτηρίζεται από έντονη ιακύμανσ η της ολοκληρωτέας ποσ ότητας η οποία οφείλεται σ την παρουσ ία του όρου exp(ıif). Με βάσ η τη θεωρία Picard-efschetz, το ολοκλήρωμα I υπολογίζεται ισ ούναμα σ ε κάθε καμπύλη γ C η οποία ιατηρεί την κλάσ η ομολογίας του ολοκληρώματος, I = dzg(x) exp f(x), (2.3.11) γ C όταν το πραγματικό μέρος της ράσ ης f είναι φραγμένο, sup x C Rf(x) <. Ειικότερα αποεικνύεται πως κατάλληλη επιλογή της γ είναι η καμπύλη μέγισ της κλίσ ης της Rf από κρίσ ιμο σ ημείο της, τέτοιο ηλαή ώσ τε με αρχική σ υνθήκη x a (0) = χ a όπου χ είναι σ αγματικό σ ημείο της f, 3 Rf(χ) = ε ab x a 1 n! ε (a i) n i=1 ε (b i) n i=1 τ x a = Rf(x) = ε ab If(x), (2.3.12) x a x b If(x) = 0 ισ ούναμα sup x b x C n x i=1 ai x bi Rf(χ) = x 0 Rf(x) = max Rf(x) = Rf(χ) και (2.3.13) x C f a (χ) x 1 x 0 x 1 f a (χ) 0. (2.3.14) υποθέτοντας πως η Rf έχει μοναικό ακρότατο σ το χ και αντικαθισ τώντας τη σ υνθήκη Cauchy-Riemann abc f c = 0, (2.3.15) x b όπου είναι ο τανυσ τής γινομένου μιγαικών, όταν αυτοί αναπαρίσ τανται σ τις σ υνισ τώσ ες τους (βλ. υπουποενότητα 3.1.2.1). Παρατηρούμε πως για τον μετασ χηματισ μό του πείου ολοκλήρωσ ης, η κατά τα άλλα πραγματική μεταβλητή ολοκλήρωσ ης μιγαοποιείται, x x 0 + ıx 1. Πολλές φορές σ το αρχικό ολοκλήρωμα η ράσ η f εξαρτάται αποκλεισ τικά από το x 0, είναι ηλαή μια καμπύλη σ το C, η ανάγκη για παραμόρφωσ η του πείου ολοκλήρωσ ης σ το C με ταυτόχρονη επέκτασ η του x 0 σ ε x Προκύπτει πως η If είναι σ ταθερή κατά μήκος της γ. Πράγματι κατά μήκος της γ έχουμε μέγισ τη πτώσ η της Rf, επομένως η εφαπτομένη ίνεται από Rf. Σε κάθε σ ημείο x γ, μία κατεύθυνσ η της ισ οσ ταθμικής της Rf(x) ίνεται από σ υνισ τώσ ες ± ε ab x b Rf(x) = x a If(x), (2.3.16) επομένως ισ ούναμα από (2.3.12) παρατηρούμε πως η καμπύλη γ μέγισ της κλίσ ης της Rf αποτελεί ταυτόχρονα ισ οσ ταθμική της If. Η θεωρία Picard-efschetz γενικεύεται και όταν τα ακρότατα της f είναι πολλαπλά. Η υπόθεσ η είναι η ίια, πως ηλαή για κάθε ακρότατο χ σ Σ, το πραγματικό μέρος της f είναι άνω-φραγμένο, Rf(χ σ ) <, σ Σ. Το σ ύνολο των 3 Η ορίζουσ α ενός πίνακα A με σ τοιχεία A ab είναι det A = 1 n n! ε (a i ) n ε i=1 (b i ) n A ai b i=1 i. i=1 17
2 Το πρόβλημα της μιγαικής ράσ ης σ ε θεωρίες πείου καμπυλών (κύκλων της ομολογίας της f) γ σ αποτελεί βάσ η του χώρου των κύκλων της ομολογίας της f πάνω σ τους οποίους μπορούμε να ολοκληρώσ ουμε. Η θεωρία επίσ ης γενικεύεται και για πολυιάσ τατο πείο x, όπου οι καμπύλες ολοκλήρωσ ης γ γίνονται ποια υπερεπιφάνειες J (thimbles) πάνω σ τις οποίες If είναι σ ταθερή. Το ολοκλήρωμα που υπολογίζουμε είναι dim I = dx i g(x) exp f(x). (2.3.17) R dim i=1 Στην περίπτωσ η πολλαπλών σ αγματικών σ ημείων, η εν λόγω περιοχή ολοκλήρωσ ης ίνεται από ακέραιο γραμμικό σ υνυασ μό των thimbles σ τα ιάφορα σ αγματικά σ ημεία, 4 C = σ Σ n σ J σ, n σ Z, σ Σ. (2.3.18) 2.3.2.2 Εφαρμογή σ τη θεωρία πείου Καταλαβαίνοντας πως η μέθοος προορίζεται για εξομοίωσ η Monte Carlo, έχοντας υπόψη ότι ουλεύουμε σ ε πλέγμα, η ανωτέρω γενίκευσ η σ τις πολλές ιασ τάσ εις εφαρμόζεται κι εώ, επιτρέποντας τον αφηρημένο σ υμβολισ μό I = DφO[φ] exp( S[φ]), (2.3.19) όπου σ την περίπτωσ ή μας g[φ] O[φ] και f[φ] S[φ] κατ αναλογία με τα προηγούμενα. Ετσ ι αποσ πώμασ τε από τα μιγαικά πεία φ C και τα επεκτείνουμε σ ε ιπλομιγαικά φ (C C) (βλ. υπουποενότητα 3.1.2.1), μέσ α σ τον οποίο χώρο βρίσ κεται το thimble C, το οποίο αποτελεί το νέο πείο ολοκλήρωσ ης κατά της θεωρία Picard-efschetz. Στη γενική περίπτωσ η όμως υπάρχουν κάποια προβλήματα που εμποίζουν την απευθείας εξομοίωσ η: Δεν είναι υνατόν να κατασ κευασ τεί markovιανή αλυσ ία η οποία να κινείται σ το C σ την γενική περίπτωσ η. Εικάζεται πως αρκεί να κινηθούμε σ το βασ ικό thimble J 0 το οποίο ανήκει σ το ολικό μέγισ το ϕ 0 της RS. [8] Η μέθοος μέγισ της κλίσ ης περιλαμβάνει και τοπική γύρω από τα ακρότατα ιαταρακτική ανάπτυξη της ράσ ης, το οποίο αναιρεί το σ κοπό της εξομοίωσ ης Monte Carlo για μη-ιαταρακτική θεωρία πείου και επομένως αγνοείται, αυξάνοντας την πολυπλοκότητα του υπολογισ μού. Η απαλλαγή της εναλλασ σ όμενης φάσ ης εν γίνεται ίχως artifacts. Πάνω σ το thimble το σ τοιχείο όγκου Dφ λαμβάνει μια φάσ η το ίιο, ηλαή όπως και είναι φυσ ικό αυτό που επιτυγχάνεται είναι μεταφορά του προβλήματος από τη ράσ η σ το μέτρο. Η παρουσ ία της παραμένουσ ας αυτής φάσ ης εν είναι τόσ ο σ οβαρή όσ ο η αρχική φάσ η σ τον εντροπικό παράγοντα, πάραυτα η πολυπλοκότητα του υπολογισ μού είναι αρκετά μεγάλη ακόμη. Για τον υπολογισ μό του ολοκληρώματος της σ υνάρτησ ης επιμερισ μού πάνω σ το thimble J 0 χρησ ιμοποιείται (!) υναμική angevin με τον θόρυβο σ ε κάθε βήμα κατάλληλα επιλεγμένο/επεξεργασ μένο ώσ τε κατά την παραγωγή αλυσ ίας configurations να παραμείνουμε πάνω σ το thimble. Η ιαικασ ία αυτή είναι αρκετά μη τετριμμένη, και η θεωρητική της βάσ η είναι η παράλληλη μεταφορά κατά τη ιαφορικο-γεωμετρική έννοια πάνω σ τη πολλαπλότητα που ονομάζουμε thimble. Επί του παρόντος έχουνε εξαχθεί αποτελέσ ματα σ υναφή με τα αποτελέσ ματα της μιγαικής angevin. [9] Οι ύο μέθοοι παρουσ ιάζουν αρκετές ομοιότητες αλλά και ουσ ιώεις ιαφορές. (περισ σ ότερες λεπτομέρειες: [10]) 2.3.3 Δυϊκές μέθοοι 2.3.3.1 Αναπαράσ τασ η ροής Σε ότι ακολουθεί υιοθετείται προσ ωρινά φορμαλισ μός x αντί του x για την εξάρτησ η από τη (πλεγματική) θέσ η (βλ. σ ελ. 2). Συνεπώς εν προκειμένω η σ υνάρτησ η επιμερισ μού γράφεται Z = 1 dφ x e S, (2.3.20) 2π x 4 Ακέραιος γραμμικός σ υνυασ μός, ιότι σ ε βασ ικούς τοπολογικούς χώρους εμφανίζεται η ακέραια ομάα Z ως υποομάα των ομάων ομολογίας των, για κάθε κύκλο του τοπολογικού χώρου. C 18
2.3 Σχετικισ τικό αέριο Bose (φαινόμενο Silver-Blaze) όπου η ράσ η S ίνεται από το χωροχρονικό ολοκλήρωμα της lagrangianής πυκνότητας, S = x x, (2.3.21) οπότε και σ την περίπτωσ η πεπερασ μένου πλέγματος ο εντροπικός παράγοντας γίνεται γίνεται ( e S = exp ) x = exp( x ) = 1 n x x x n x! ( 1)nx ( x ) nx = ( 1) 1 x nx n x (n) x x! ( x) nx, (2.3.22) όπου (n) = (n x ) x αντιπροσ ωπεύει το τυχόν configuration των n x όπως φαίνεται και από την ισ ότητα αθροισ μάτων. (2.3.23) x n x = Η (2.3.22) σ υνοψίζει γενικά την ιέα της αναπαράσ τασ ης ροής (n). Στη γενική μορφή ράσ ης ε φαίνεται κανένα φανερό πλεονέκτημα, ο σ κοπός όμως για ειικότερα προβλήματα είναι να εκφρασ τεί η σ υνάρτησ η επιμερισ μού ως ολοκλήρωμα ποια όχι των configurations πείου φ, αλλά των configurations n όπου και η ράσ η είναι απαλλαγμένη από το μιγαικό μέρος. 5 Η πιο απλή γενική μορφή ράσ ης η οποία να περιλαμβάνει μιγαικό μέρος είναι η ιγραμμική σ το πείο S = φ xa x x φ x = φ xa (x x) φ x φ xa [x x] φ x, (2.3.24) x x x x x x όπου το πραγματικό και μιγαικό μέρος ιακρίνονται από το ερμητιανό A (x x) και το αντιερμητιανό A [x x] κομμάτι του A x x, (n) x A x x = A (x x) + A [x x] με A (x x) = 1 2 (A x x + A xx) και A [x x] = 1 2 (A x x A xx). (2.3.25) Οι ανάμεικτοι όροι εν είναι σ πάνιοι σ το πραγματικό μέρος της ράσ ης επομένως το ερμητιανό κομμάτι λαμβάνεται ιαγώνιο-ταυτοτικό A (x x) = A x x, το οποίο θα γενικεύσ ουμε σ ε οποιαήποτε εξάρτησ η f(φ xφ x ), ώσ τε να σ υμπεριλαμβάνονται αυτο-αλληλεπιράσ εις του πείου φ ενώ επαναορίζουμε A x x = A [x x] έτσ ι ώσ τε η τελική ράσ η πυκνότητα γράφεται S = S 0 + S 1 = f(φ xφ x ) + φ xa x x φ x. (2.3.26) x x x Τότε ο εντροπικός παράγοντας αναπτύσ σ εται περαιτέρω, προσ θέτοντας βαθμούς ελευθερίας, αντίσ τοιχους ποια προς τα πεία φ και φ. Συγκεκριμένα, το φαντασ τικό μέρος (το οποίο και προκαλεί το πρόβλημα) αναπτύσ σ εται ως e S1 = x = e x x Ax xφ x φ x = e Ax xφ x φ x = x x 1 n x n x x! (φ x) nx x ( A x x ) nx x (φ x ) nx x = x x (n) ( x x 1 n x x! ( A x x) nx x όπου σ το τελευταίο βήμα έγινε εναλλαγή των βουβών εικτών x και x, ενώ ) x ((φ x) x nx x (φ x ) x n xx ), (2.3.27) e S0 = e x f(φ x φx) = x e f(φ x φx). (2.3.28) Σε αυτήν την φάσ η οι τιμές του μιγαικού πείου, αντί της καθιερωμένης ανάπτυξης σ ε καρτεσ ιανές σ υντεταγμένες φ = φ 0 + ıφ 1, σ ε πολικές σ υντεταγμένες φ = Φ exp(ıϕ). Τότε η σ υνάρτησ η επιμερισ μού γίνεται Z = ( ) 1 n (n) x x x x! ( A x x) nx x dφ x Φ 1+2 x n (x x) x e f(φ2 x ) 1 π dϕe ıφ2 x n [x x]. (2.3.29) x 0 2π π 5 Είναι φανερό από τελευταίο σ κεπτικό γιατί μια τέτοια μέθοος (και αναπαράσ τασ η) είναι υνατή μόνο όταν βρισ κόμασ τε σ το πεπερασ μένο πλέγμα. 19