Η έννοια του σωματιδίου είναι εξαιρετικά επιτυχημένη ως φυσική περιγραφή και ταυτόχρονα προβληματική ως θεμελιώδης έννοια μιας σχετικιστικής κβαντικής θεωρίας. Στο εργαστήριο καταγράφουμε εντοπισμένα γεγονότα ανίχνευσης, ενώ η κβαντική θεωρία πεδίου περιγράφει πεδία και τις διεγέρσεις τους. Η μετάβαση από το ένα στο άλλο δεν είναι ούτε αυτονόητη ούτε απλώς τεχνική. Ιδιαίτερα όταν ο χρόνος της ανίχνευσης αποτελεί ο ίδιος μετρούμενη ποσότητα, η συνήθης εικόνα μιας κβαντικής κατάστασης που διαθέτει εκ των προτέρων συγκεκριμένες παρατηρήσιμες ιδιότητες αποδεικνύεται ανεπαρκής.Η παρούσα διατριβή μελετά αυτήν ακριβώς τη μετάβαση, δηλαδή τη διαδικασία της κβαντικής μέτρησης σε σχετικιστικά συστήματα, με έμφαση στον εντοπισμό, τον χρόνο άφιξης και στον τρόπο με τον οποίο η πληροφορία ενός κβαντικού πεδίου μετατρέπεται σε καταγεγραμμένο γεγονός ανίχνευσης. Η ανάλυση βασίζεται στη μέθοδο των Κβαντικών Χρονικών Πιθανοτήτων (Quantum Temporal Probabilities, QTP), στην οποία οι πιθανότητες μέτρησης δεν θεωρούνται εγγενείς ιδιότητες του συστήματος, αλλά προκύπτουν από την αλληλεπίδρασή του με έναν φυσικό ανιχνευτή και εκφράζονται μέσω συναρτήσεων συσχέτισης άνισων χρόνων της κβαντικής θεωρίας πεδίου, αντιμετωπίζοντας τον χρόνο ως μια τυχαία μακροσκοπική μεταβλητή.Το πλαίσιο εφαρμόζεται σε διαφορετικές κατηγορίες σχετικιστικών συστημάτων. Στην περίπτωση του ηλεκτρομαγνητικού πεδίου μελετάται η φωτοανίχνευση και αναδεικνύονται συνεισφορές στην πιθανότητα ανίχνευσης οι οποίες εκτείνονται πέρα από την τυπική περιγραφή του Glauber, με ιδιαίτερη έμφαση σε σύμφωνες και συμπιεσμένες καταστάσεις και στη διάκριση μεταξύ εγγύς και μακρινού πεδίου. Για σωματίδια Dirac εξετάζεται η εξάρτηση της πιθανότητας ανίχνευσης και του χρόνου άφιξης από το σπιν και από τη δομή του πυρήνα απόκρισης του ανιχνευτή. Τέλος, για σύνθετα σχετικιστικά σωματίδια με εσωτερικούς βαθμούς ελευθερίας μελετώνται οι κατανομές ενέργειας και ορμής, τα φαινόμενα συμβολής μεταξύ διαφορετικών μαζικών συνιστωσών και οι αντίστοιχες πιθανότητες χρόνου άφιξης.Τα αποτελέσματα υποδεικνύουν ότι σε σχετικιστικές κβαντικές μετρήσεις ο εντοπισμός, ο χρόνος άφιξης και, γενικότερα, η πληροφορία που αποδίδεται σε ένα σωματίδιο δεν μπορούν να αποσυνδεθούν από τη φυσική διαδικασία της ανίχνευσης. Η μετρούμενη πιθανότητα δεν καθορίζεται αποκλειστικά από την κατάσταση του πεδίου, αλλά από τη συνδυασμένη δομή πεδίου, δυναμικής και ανιχνευτή. Υπό αυτή την έννοια, το γεγονός ανίχνευσης δεν αποτελεί απλώς την καταγραφή της πραγματικότητας του κβαντικού συστήματος· αποτελεί μέρος του τρόπου με τον οποίο αυτή η πραγματικότητα αποκτά επιχειρησιακό φυσικό περιεχόμενο.
Η έννοια του σωματιδίου είναι εξαιρετικά επιτυχημένη ως φυσική περιγραφή και ταυτόχρονα προβληματική ως θεμελιώδης έννοια μιας σχετικιστικής κβαντικής θεωρίας. Στο εργαστήριο καταγράφουμε εντοπισμένα γεγονότα ανίχνευσης, ενώ η κβαντική θεωρία πεδίου περιγράφει πεδία και τις διεγέρσεις τους. Η μετάβαση από το ένα στο άλλο δεν είναι ούτε αυτονόητη ούτε απλώς τεχνική. Ιδιαίτερα όταν ο χρόνος της ανίχνευσης αποτελεί ο ίδιος μετρούμενη ποσότητα, η συνήθης εικόνα μιας κβαντικής κατάστασης που διαθέτει εκ των προτέρων συγκεκριμένες παρατηρήσιμες ιδιότητες αποδεικνύεται ανεπαρκής.Η παρούσα διατριβή μελετά αυτήν ακριβώς τη μετάβαση, δηλαδή τη διαδικασία της κβαντικής μέτρησης σε σχετικιστικά συστήματα, με έμφαση στον εντοπισμό, τον χρόνο άφιξης και στον τρόπο με τον οποίο η πληροφορία ενός κβαντικού πεδίου μετατρέπεται σε καταγεγραμμένο γεγονός ανίχνευσης. Η ανάλυση βασίζεται στη μέθοδο των Κβαντικών Χρονικών Πιθανοτήτων (Quantum Temporal Probabilities, QTP), στην οποία οι πιθανότητες μέτρησης δεν θεωρούνται εγγενείς ιδιότητες του συστήματος, αλλά προκύπτουν από την αλληλεπίδρασή του με έναν φυσικό ανιχνευτή και εκφράζονται μέσω συναρτήσεων συσχέτισης άνισων χρόνων της κβαντικής θεωρίας πεδίου, αντιμετωπίζοντας τον χρόνο ως μια τυχαία μακροσκοπική μεταβλητή.Το πλαίσιο εφαρμόζεται σε διαφορετικές κατηγορίες σχετικιστικών συστημάτων. Στην περίπτωση του ηλεκτρομαγνητικού πεδίου μελετάται η φωτοανίχνευση και αναδεικνύονται συνεισφορές στην πιθανότητα ανίχνευσης οι οποίες εκτείνονται πέρα από την τυπική περιγραφή του Glauber, με ιδιαίτερη έμφαση σε σύμφωνες και συμπιεσμένες καταστάσεις και στη διάκριση μεταξύ εγγύς και μακρινού πεδίου. Για σωματίδια Dirac εξετάζεται η εξάρτηση της πιθανότητας ανίχνευσης και του χρόνου άφιξης από το σπιν και από τη δομή του πυρήνα απόκρισης του ανιχνευτή. Τέλος, για σύνθετα σχετικιστικά σωματίδια με εσωτερικούς βαθμούς ελευθερίας μελετώνται οι κατανομές ενέργειας και ορμής, τα φαινόμενα συμβολής μεταξύ διαφορετικών μαζικών συνιστωσών και οι αντίστοιχες πιθανότητες χρόνου άφιξης.Τα αποτελέσματα υποδεικνύουν ότι σε σχετικιστικές κβαντικές μετρήσεις ο εντοπισμός, ο χρόνος άφιξης και, γενικότερα, η πληροφορία που αποδίδεται σε ένα σωματίδιο δεν μπορούν να αποσυνδεθούν από τη φυσική διαδικασία της ανίχνευσης. Η μετρούμενη πιθανότητα δεν καθορίζεται αποκλειστικά από την κατάσταση του πεδίου, αλλά από τη συνδυασμένη δομή πεδίου, δυναμικής και ανιχνευτή. Υπό αυτή την έννοια, το γεγονός ανίχνευσης δεν αποτελεί απλώς την καταγραφή της πραγματικότητας του κβαντικού συστήματος· αποτελεί μέρος του τρόπου με τον οποίο αυτή η πραγματικότητα αποκτά επιχειρησιακό φυσικό περιεχόμενο.
Η Κβαντική Θεωρία Πεδίου ενοποιεί τη κβαντική θεωρία με την (ειδική) θεωρία της σχετικότητας και είναι η περισσότερο πειραματικά επιβεβαιωμένη θεωρία εως σήμερα. Αυτή η ενοποίηση κβαντικής θεωρίας και σχετικότητας αφορά τους νόμους της δυναμικής εξέλιξης, ενώ μέχρι σήμερα δεν υπάρχει πλήρης και κοινώς αποδεκτή θεωρία μέτρησης (π.χ. αναγωγή της κβαντικής κατάστασης) για τη Κβαντική Θεωρία Πεδίου που να μην παραβιάζει τις αρχές της θεωρίας της σχετικότητας. Τα μοντέλα μέτρησης είναι χρήσιμα εργαλεία για την περιγραφή των τοπικών μετρήσεων στην Κβαντική Θεωρία Πεδίου, μέσω της τοπικής σύζευξης ενός κβαντομηχανικού συστήματος μέτρησης (ανιχνευτή) στο κβαντικό πεδίο. Σε αυτήν την διατριβή μελετάμε θεμελιώδεις πτυχές των μοντέλων μέτρησης στην Κβαντική Θεωρία Πεδίου, σε σχέση με τον σωματιδιακό εντοπισμό και την αιτιακή μετάδοση πληροφορίας. Αναλύουμε τις ασυμβατότητες που προκύπτουν μεταξύ των προβλέψεων των μοντέλων και συγκεκριμένων εννοιών σχετικιστικής αιτιότητας π.χ. την απαίτηση για μη υπερφωτεινή μετάδοση σήματος. Χαρακτηρίζουμε την τοπική πληροφορία που μπορεί να εξαχθεί από το κβαντικό πεδίο μέσω μιας σειράς μοντέλων μέτρησης, για ασθενείς και ισχυρές αλληλεπιδράσεις μεταξύ του ανιχνευτή και του κβαντικού πεδίου, χρησιμοποιώντας διαταρακτικές και μη διαταρακτικές μεθόδους αντίστοιχα. Με βάση τη κβαντική μετρολογία, ορίζουμε έναν νέο εκτιμητή που ποσοτικοποιεί την πληροφορία που λαμβάνει ο ανιχνευτής, τον οποίο χρησιμοποιούμε για να αναλύσουμε ποιοτικά και ποσοτικά την πληροφορία που μπορεί να μεταδοθεί αξιόπιστα μέσω του κβαντικού πεδίου. Επίσης, μελετάμε περιπτώσεις 'αδύνατων μετρήσεων' (Sorkin 1993) στις οποίες το αξίωμα της μικροαιτιότητας στην Κβαντική Θεωρία Πεδίου δεν επαρκεί για τον αποκλεισμό της υπερφωτεινής μετάδοσης πληροφορίας μεταξύ απομακρυσμένων ανιχνευτών που είναι συζευγμένοι με το κβαντικό πεδίο. Από τη σκοπιά της Κβαντικής Θεωρίας Πεδίου όπως χρησιμοποιείται στη φυσική υψηλών ενεργειών, τα κβαντικά πεδία περιγράφουν τη δυναμική και τις συμμετρίες μίας σειράς σωματιδίων. 'Όμως υπάρχουν θεωρήματα τα οποία αναδεικνύουν ότι η Κβαντική Θεωρία Πεδίου δεν επιδέχεται ερμηνεία μόνο με βάση την έννοια του σωματιδίου, ή μόνο με βάση την έννοια του πεδίου. Επανεξετάζουμε τον κυματοσωματιδιακό δυισμό στην Κβαντική Θεωρία Πεδίου με βάση την απόκριση των ανιχνευτών σε διάφορα μοντέλα μέτρησης, και συγκρίνουμε τις προβλέψεις διαφορετικών μοντέλων για κυματοπακέτα ή συνεκτικές καταστάσεις του πεδίου. Στην περίπτωση ασθενούς σύζευξης πεδίου-ανιχνευτή, ανακτούμε σωματιδιακή φαινομενολογία που σχετίζεται με το φαινόμενο του συντονισμού και του 'χρόνου άφιξης' του κυματοπακέτου. Στην περίπτωση ισχυρής σύζευξης πεδίου-ανιχνευτή, δείχνουμε πώς μια συνεχής μεταβλητή του ανιχνευτή συσχετίζεται με τις πεδιακές μέσες τιμές. Τέλος, με βάση επιλύσημα μοντέλα, προτείνουμε ένα βελτιωμένο μοντέλο μέτρησης το οποίο μπορεί να περιγράψει τις περιπτώσεις ασθενούς, ισχυρής, αλλά και ενδιάμεσης σύζευξης. Εκτός από τη βελτιωμένη περιγραφή της τοπικής μέτρησης πεδίων και σωματιδίων, αυτό το μοντέλο αναδεικνύει ότι ο σωματιδιακός δυισμός ρυθμίζεται από μία μόνο παράμετρο, την ισχύ της σύζευξης μεταξύ πεδίου και ανιχνευτή. Αυτή είναι μία νέα πτυχή των τοπικών μετρήσεων μέσω μοντέλων μέτρησης στην Κβαντική Θεωρία Πεδίου, η οποία μπορεί να διερευνηθεί και πειραματικά σε πειραματικές διατάξεις στις οποίες η ισχύ σύζευξης δεν είναι δεδομένη, αλλά μεταβαλόμενη (π.χ. οπτομηχανική σε κοιλότητα). Συνολικά, η έρευνα αυτή συμβάλλει στην καλύτερη κατανόηση και εφαρμογή των μοντέλων μέτρησης, με σκοπό τη συνεπή εφαρμογή τους στον τομέα της κβαντικής οπτικής και της σχετικιστικής κβαντικής πληροφορίας.
Οι πρόσφατες εξελίξεις στον τομέα της πειραματικής κατασκευής κβαντικών υπολογιστών με εξαρτήματα αυξημένης αξιοπιστίας δείχνει ότι η κατασκευή τέτοιων μεγάλων μηχανών βασισμένων στις αρχές της κβαντικής φυσικής είναι πιθανή στο κοντινό μέλλον. Καθώς το μέγεθος των μελλοντικών κβαντικών υπολογιστών θα αυξάνεται, η σχεδίαση αποδοτικότερων κβαντικών κυκλωμάτων και μεθόδων σχεδίασης θα αποκτήσει σταδιακά πρακτικό ενδιαφέρον. Η συνεισφορά της διατριβής στην κατεύθυνση της σχεδίασης αποδοτικών κβαντικών κυκλωμάτων είναι διττή: Η πρώτη είναι η σχεδίαση καινοτόμων αποδοτικών αριθμητικών κβαντικών κυκλωμάτων βασισμένων στον Κβαντικό Μετασχηματισμό Fourier (QFT), όπως πολλαπλασιαστής-με-σταθερά-συσσωρευτής (MAC) και διαιρέτης με σταθερά, με γραμμικό βάθος (ή ταχύτητα) ως προς τον αριθμό ψηφίων των ακεραίων. Αυτά τα κυκλώματα συνδυάζονται αποτελεσματικά ώστε να επιτελέσουν την πράξη του modulo πολλαπλασιασμού με σταθερά με γραμμική πολυπλοκότητα χρόνου και χώρου και συνεπώς μπορούν να επιτελέσουν την πράξη της modulo εκθετικοποίησης (modular exponentiation) με τετραγωνική πολυπλοκότητα χρόνου και γραμμική πολυπλοκότητα χώρου. Οι πράξεις της modulo εκθετικοποίησης και του modulo πολλαπλασιασμού είναι αναπόσπαστα μέρη του σημαντικού κβαντικού αλγορίθμου παραγοντοποίησης του Shor, αλλά και άλλων κβαντικών αλγορίθμων της ίδιας οικογένειας, γνωστών ως κβαντική εκτίμηση φάσης (Quantum Phase Estimation). Αντιμετωπίζονται με αποτελεσματικό τρόπο σημαντικά προβλήματα υλοποίησης, που σχετίζονται με την απαίτηση χρήσης κβαντικών πυλών περιστροφής υψηλής ακρίβειας, καθώς και της χρήσης τοπικών επικοινωνιών. Η δεύτερη συνεισφορά της διατριβής είναι μία γενική μεθοδολογία ιεραρχικής σύνθεσης κβαντικών και αντιστρέψιμων κυκλωμάτων αυθαίρετης πολυπλοκότητας και μεγέθους. Η ιεραρχική μέθοδος σύνθεσης χειρίζεται καλύτερα μεγάλα κυκλώματα σε σχέση με τις επίπεδες μεθόδους σύνθεσης. Η προτεινόμενη μέθοδος προσφέρει πλεονεκτήματα σε σχέση με τις συνήθεις ιεραρχικές συνθέσεις που χρησιμοποιούν την μέθοδο "υπολογισμός-αντιγραφή-αντίστροφος υπολογισμός" του Bennett.
Ο σκοπός αυτής της διατριβής, είναι η κβαντική–οπτική περιγραφή της αλληλεπίδρασης ισχυρού πεδίου λέϊζερ–ατόμου. Χρησιμοποιώντας μία πλήρη κβαντομηχανική προσέγγιση (πιο συγκεκριμένα, θεωρώντας σύμφωνη κατάσταση για το πεδίο του λεϊζερ) για την περιγραφή των αρμονικών υψηλής τάξης, παραγώμενες από την αλληλεπίδραση ενός ισχυρού υπέρυθρου πεδίου λεϊζερ με άτομα, καταγράψαμε το φάσμα των αρμονικών χωρίς τη χρήση συμβατικού φασματόμετρου ακραίας υπεριώδους φασματικής περιοχής. Αυτό επιτεύχθηκε, με τη χρήση στατιστικής φωτονίων στην κατάσταση του υπέρυθρου φωτός που εξέρχεται από το αέριο μέσο. Βρέθηκε ότι η ακτινοβολία έχει μια ξεχωριστή μη–κλασσική συμπεριφορά, καθώς η κατανομή φωτονίων αποτελείται από μία σειρά καλά καθορισμένων κορυφών, οι οποίες αντιστοιχούν στο φάσμα των αρμονικών υψηλής τάξης. Αυτή η εργασία συνθέτει τα πεδία της φυσικής ισχυρού πεδίου και κβαντικής οπτικής και ανοίγει το δρόμο για μελέτες στην επιστήμη των αττοδευτερολέπτων, χρησιμοποιώντας συμβατικά διαγνωστικά υπέρυθρης ακτινοβολίας.
Οι ραγδαίες εξελίξεις στην επιστήμη της Κβαντικής Υπολογιστικής απειλούν τα θεμέλια ασφάλειας των κλασικών κρυπτογραφικών συστημάτων, καθιστώντας αναγκαία τη δημιουργία και την ανάπτυξη μετακβαντικών κρυπτογραφικών αλγορίθμων. Αυτή η διατριβή διερευνά τα θεωρητικά θεμέλια, τις πρακτικές υλοποιήσεις και τις αξιολογήσεις απόδοσης μετακβαντικών κρυπτογραφικών αλγορίθμων που έχουν σχεδιαστεί για να αντέχουν τις ικανότητες των κβαντικών αντιπάλων. Η έρευνά μας περιλαμβάνει τέτοια πιθανά κρυπτογραφικά πρωτόκολλα, με ιδιαίτερη έμφαση στους αλγόριθμους που βασίζονται σε δικτυωτά και επικεντρώνεται στην ασφάλεια, την αποτελεσματικότητά τους και τη δυνατότητα εφαρμογής τους στην καθημερινότητα. Οι αρχικές ενότητες της διατριβής παρέχουν μια ολοκληρωμένη ανασκόπηση των μαθηματικών θεμελίων της μετα-κβαντικής κρυπτογραφίας, περιγράφοντας λεπτομερώς τα τρωτά σημεία των σημερινών συστημάτων όπως το RSA υπό κβαντικές επιθέσεις, ιδιαίτερα εκείνα που αφορούν τον αλγόριθμο του Shor. Αναλύουμε τις θεμελιώδεις ισχυρές υποθέσεις που στηρίζουν τους μετακβαντικούς αλγόριθμους, όπως το δυσεπίλυτα προβλήματα των δικτυωτών, που δημιουργούν μια ισχυρή θεωρητική βάση για την ασφάλειά τους. Ο πυρήνας της διατριβής είναι αφιερωμένος στην περιγραφή και αξιολόγηση συγκεκριμένων μετακβαντικών κρυπτογραφικών αλγορίθμων που βασίζονται σε δικτυωτά. Η διατριβή εμβαθύνει στις θεωρητικές βάσεις, τις πρακτικές υλοποιήσεις και τις βελτιστοποιήσεις απόδοσης κρυπτογραφικών σχημάτων που βασίζονται σε δικτυωτά, με ιδιαίτερη έμφαση στη δυνατότητα εφαρμογής τους σε έναν μετα-κβαντικό κόσμο. Η έρευνα περιλαμβάνει μια ολοκληρωμένη ανάλυση των μαθηματικών κατασκευών που κρύβουν προβλήματα δικτυωτών,την εφαρμογή τους, την ανάπτυξη ισχυρών κρυπτογραφικών πρωτοκόλλων και την αξιολόγηση της αποτελεσματικότητας και της ασφάλειάς τους. Εξετάζουμε το σχεδιασμό και την υλοποίηση σχημάτων κρυπτογράφησης δημόσιου κλειδιού, όπως τα κρυπτοσυστήματα GGH, NTRU, LWE και Ring-LWE, όπως και ψηφιακών υπογραφών, επισημαίνοντας τις ιδιότητες ασφαλείας και την πρακτική τους απόδοση. ΤοLearning With Errors έχει συγκεντρώσει ιδιαίτερη προσοχή λόγω των ισχυρών αποδείξεων ασφαλείας και της ευελιξίας του στην κατασκευή κρυπτογραφικών σχημάτων. Επιπλέον, η παρούσα διατριβή διερευνά τις θεωρητικές βάσεις και τις πρακτικές εφαρμογές κρυπτογραφικών σχημάτων που βασίζονται στο πρόβλημα Learning With Errors (LWE). Στο δεύτερο και κύριο μέρος, αναπτύσσουμε ένα νέο κρυπτογραφικό πρωτόκολλο βασισμένο στο LWE κρυπτοσύστημα, το οποίο περιλαμβάνει πρωτόκολλο ανταλλαγής κλειδιών και ένα σχήμα κρυπτογράφησης δημόσιου κλειδιού. Ο κρυπτογραφικός μας αλγόριθμος εφαρμόζεται, αναλύεται αυστηρά ως προς την ασφάλεια και την αποτελεσματικότητά του, με έμφαση στη δυνατότητα εφαρμογής του. Εισάγουμε μια βελτιστοποίηση του LWE, κατασκευάζοντας ένα πιο σύνθετο κρυπτογραφικό πρωτόκολλο για κρυπτογράφηση one-to-oneκαι το σχήμα μας είναι ένα σύστημα που βασίζεται στο LWE και εφαρμόζεται σε σύγχρονες πλατφόρμες που χρησιμοποιούν κρυπτογράφηση. Αυτές οι εφαρμογές απεικονίζουν την ευελιξία και τις δυνατότητες του LWE ως θεμελιώδους εργαλείου στο ευρύτερο τοπίο της κρυπτογραφικής έρευνας.Αυτή η διατριβή συμβάλλει στην πρόοδο της κρυπτογραφίας με βάση τα δικτυωτά παρέχοντας θεωρητικές γνώσεις, πρακτικές υλοποιήσεις και ένα καινοτόμο βελτιστοποιημένο κρυπτοσύστημα βασισμένο στο Learning with Errors. Τα ευρήματα μας υποστηρίζουν την υιοθέτηση κρυπτογραφικών συστημάτων που βασίζονται στο LWE ως ακρογωνιαίο λίθο της ασφαλούς επικοινωνίας στη μετα-κβαντική εποχή.
Η κβαντική υπολογιστική (QC) και η επιστήμη της κβαντικής πληροφορίας (QIS) αποτελούν ταχέως αναπτυσσόμενους τομείς στη σύγχρονη επιστήμη και τεχνολογία, παρέχοντας τη δυνατότητα επίλυσης ορισμένων υπολογιστικών προβλημάτων με εκθετικά μεγαλύτερη ταχύτητα από τις κλασικές μεθόδους. Ως εκ τούτου, παρατηρείται έντονο ενδιαφέρον από διάφορους επιστημονικούς και τεχνολογικούς κλάδους για την ταυτοποίηση προβλημάτων και τον σχεδιασμό κβαντικών αλγορίθμων που επιδεικνύουν "κβαντικό πλεονέκτημα" σε σχέση με τις αντίστοιχες κλασικές μεθόδους. Η αναζήτηση εναλλακτικών μεθόδων υλοποίησης υπολογισμών δεν περιορίζεται αποκλειστικά στο πεδίο της κβαντικής υπολογιστικής. Αντίθετα, αποτελεί αντικείμενο ευρύτερης έρευνας τα τελευταία χρόνια π.χ. νευρομορφικά δίκτυα (neuromorphic networks), καθώς οι υπολογιστικές απαιτήσεις αυξάνονται συνεχώς, ενώ είναι δεδομένο ότι οι σύγχρονες υπολογιστικές μηχανές κάποια στιγμή θα αγγίξουν τα όριά τους. Συνεπώς, στο πλαίσιο της εξερεύνησης των υπολογιστικών δυνατοτήτων αλλά και της προοπτικής εφαρμογής των κβαντικών υπολογιστικών μεθόδων σε κλασσικά φυσικά προβλήματα, η παρούσα διατριβή μελετάει την σύγκλιση των κβαντικών τεχνολογιών με τον τομέα της φυσικής πλάσματος και σύντηξης όπου οι υπολογιστικές προκλήσεις είναι κρίσιμες για τη μελέτη των πολύπλοκων φυσικών διεργασιών που λαμβάνουν χώρα στο πλάσμα. Συγκεκριμένα, η παρούσα εργασία εστιάζει στην διάδοση και τη σκέδαση ηλεκτρομαγνητικών κυμάτων σε μαγνητισμένο πλάσμα και πολύπλοκα ηλεκτρομαγνητικά υλικά, μελετώντας και ενσωματώνοντας τις εξισώσεις του Μάξγουελ (Maxwell) στο πλαίσιο της κβαντικής υπολογιστικής. Τα ηλεκτρομαγνητικά κύματα, που περιγράφονται από τις εξισώσεις Maxwell, διαδραματίζουν κεντρικό ρόλο σε σύγχρονες τεχνολογικές εφαρμογές από τις τηλεπικοινωνίες μέχρι τη θέρμανση πλάσματος σε πειράματα σύντηξης. Στον τομέα της μαγνητικής σύντηξης, τα ηλεκτρομαγνητικά κύματα είναι απαραίτητα για τον μετριασμό των ασταθειών, την οδήγηση ρεύματος, τη θέρμανση και τον έλεγχο της θερμοκρασίας του πλάσματος. Παρότι η θεωρητική κατανόηση της δυναμικής των ηλεκτρομαγνητικών κυμάτων σε μαγνητισμένο πλάσμα και άλλα πολύπλοκα υλικά έχει εδραιωθεί, η ανάπτυξη υπολογιστικών μοντέλων που μπορούν να περιγράψουν με ακρίβεια αυτά τα φαινόμενα υπό ρεαλιστικές πειραματικές συνθήκες παραμένουν ένα κρίσιμο πεδίο έρευνας. Η παρούσα διατριβή εξετάζει την κβαντική αναδιατύπωση των εξισώσεων Maxwell, με στόχο:(1) Την θεωρητική μελέτη και αξιολόγηση των περιορισμών και δυνατοτήτων της κβαντικής υπολογιστικής θεώρησης στις κλασσικές εξισώσεις Maxwell. (2) Την πρόταση και μελέτη κβαντικών αλγορίθμων και των κβαντικών πόρων που απαιτούνται για την προσομοίωση των εξισώσεων Maxwell στην εποχή των Κβαντικών Υπολογιστών με Θόρυβο (NISQ) και πέρα από αυτή. Η διατριβή οργανώνεται ως εξής: Το Κεφάλαιο 1 περιγράφει την τρέχουσα κατάσταση της έρευνας σχετικά με την κβαντική υπολογιστική στη φυσική πλάσματος. Παρουσιάζονται επίσης οι στόχοι και το όραμα της διατριβής. Στο Κεφάλαιο 2 περιγράφονται βασικές έννοιες της κβαντικής μηχανικής, της κβαντικής υπολογιστικής και των ανοικτών κβαντικών συστημάτων, οι οποίες αποτελούν τη θεωρητική βάση για τις επόμενες ενότητες. Το Κεφάλαιο 3 αναλύει τη θεωρητική διατύπωση και τις αλγοριθμικές τεχνικές που απαιτούνται για την κβαντική αναπαράσταση των εξισώσεων Maxwell. Στο Κεφάλαιο 4 παρουσιάζεται μια συστηματική προσέγγιση για την κβαντική προσομοίωση της διάδοσης και της σκέδασης ηλεκτρομαγνητικών κυμάτων σε πολύπλοκα μέσα και μαγνητισμένο πλάσμα. Τέλος, το Κεφάλαιο 5 αξιολογεί την πιθανή επίδραση αυτής της έρευνας τόσο στις εφαρμογές της κβαντικής υπολογιστικής στη φυσική πλάσματος όσο και στις συνεισφορές της φυσικής πλάσματος στην προώθηση των κβαντικών τεχνολογιών. Συζητούνται επίσης προτάσεις για μελλοντική έρευνα και ανοιχτά ζητήματα.
Μια μελέτη εκπονείται επάνω στο κβαντικό κυκλωματικό μοντέλο δίνοντας ιδιαίτερη βαρύτητα στο πρόβλημα του κβαντικού θορύβου επάνω σε τεχνολογίες βασισμένες στις κβαντικές διατάξεις ημιαγωγών. Σε υπολογιστικά συστήματα μεγαλύτερης κλίμακας απαιτούνται τεχνολογίες ανθεκτικές στο θόρυβο έτσι ώστε να επιτυγχάνεται το κατώτερο ανεκτό επίπεδο θορύβου που θα εξασφαλίζει αξιόπιστο υπολογισμό. Ένα λογισμικό εργαλείο σχεδίασης κβαντικών κυκλωμάτων με αυτοματισμούς στο όνομα QuCirDET έχει αναπτυχθεί ώστε να προσφέρει εύκολη σχεδίαση λογικών κυκλωμάτων μαζί με την ενσωμάτωση πρωτόκολλων διόρθωσης σφάλματος. Ο χρήστης πρώτα σχεδιάζει το λογικό κύκλωμα, επιλέγει το επιθυμητό πρωτόκολλο διόρθωσης σφάλματος και έπειτα δημιουργεί αυτόματα το κωδικοποιημένο κύκλωμα. Αυτός ο αυτοματισμός θα προσφέρει μια εποπτική εικόνα του κωδικοποιημένου κυκλώματος για περαιτέρω μελέτη. Η γραφική διεπαφή σχεδίασης είναι ανοιχτού κώδικα και ελεύθερα διαθέσιμη να εμπλουτιστεί από τον οποιονδήποτε με νέα λογισμικά αρθρώματα προσομοίωσης. Ένα παράδειγμα ενός τέτοιου αρθρώματος παρουσιάζεται που προσομοιώνει τη συμπεριφορά κβαντικού θορύβου. Ο χρόνος επιβίωσης στο θόρυβο ενός κβαντικού καταχωρητή μνήμης εξαρτάται από τη τεχνολογία που χρησιμοποιείται. Για να πετύχουμε στην εξομοίωση του θορύβου μια προσέγγιση μεγαλύτερης ευαισθησίας κάνουμε τη θεώρηση ενός μετρικού συστήματος από μονάδες θορύβου που δρουν αθροιστικά και εφαρμόζουμε τη μέθοδο Monte Carlo. Η μέθοδος εφαρμόζει επάνω στο πρωτόκολλο αποσφαλμάτωσης του Steane για κώδικες stabilizer και η απόδοση αποτιμάται μέσα από τον υπολογισμό ορίων ανοχής του θορύβου. Ένα άλλο ξεχωριστό χαρακτηριστικό είναι ο υπολογισμός της επιδείνωσης του θορύβου προσομοιώνοντας την εξέλιξή του μέσα στο κβαντικό υπολογισμό. Ορισμένα συγκριτικά αποτελέσματα για διαφορετικά πρωτόκολλα παρουσιάζονται. Στη συνέχεια, η πολύπλοκη δομή της κβαντικής τελείας προσομοιώνεται λαμβάνοντας υπόψη τις διάφορες αλληλεπιδράσεις που ασκούνται από τον περίγυρo της κβαντικής τελείας. Ένα ξεχωριστό υποπρόγραμμα εξομοίωσης αναπρύχθηκε να μιμιθεί τη συμπεριφορά του θορύβου του ηλεκτρικού φορτίου και των ιδιοστροφορμών (spin) των πυρήνων που παράγονται με τυχαίο τρόπο μέσα στο ισοτροπικό ημιαγώγιμο υλικό 28Si. Η Monte Carlo μέθοδος χρησιμοποιείται κι εδώ ώστε να υπολογίσει τα επιπεδα θορύβου μέσα στην τελεία με ακρίβεια. Η προσομοίωση συνεχίζεται με το πρωτόκολλο του Steane και το μετρικό σύστημα επιδείνωσης. Κι εδώ δύο κώδικες της οικογένειας surface επιλέγονται να συγκριθούν και τα αποτελέσματα παρουσιάζονται. Τέλος, μια μελέτη περίπτωσης ολοκληρώνεται επάνω σε ένα κβαντικό κύκλωμα. Το κύκλωμα εξετάζεται από πλευράς κατανάλωσης πόρων, χρόνου εκτέλεσης και αντοχής θορύβου. Ο χρόνος εκτέλεσης και η αντοχή στο θόρυβο υπολογίζονται και συγκρίνονται με δύο άλλα γνωστά μοντέλα κβαντικού υπολογισμού όπως: τα υπεραγώγιμα transmon qubits και τις παγίδες ιόντων. Οι μέθοδοι εξομοίσης του QuCirDET χρησιμοποιούνται για να παραχθούν τα αποτελέσματα απόδοσης. Το κβαντικό κύκλωμα της μελέτης αποτελεί μέρος μιας από τις δυο μεθόδους που προτείναμε για τη βελτίωση του προβλήματος της στοίχισης αλληλουχιών. Και οι δυο μέθοδοι συμβάλουν σημαντικά στη βελτίωση της στοίχισης μεταξύ δύο αλληλουχιών. Ο QuCirDET θα πρέπει να βελτιωθεί προς διάφορες κατευθύνσεις ώστε να χρησιμοποιηθεί για περαιτέρω μελέτη και ανάλυση πρωτόκολλων διόρθωσης σφαλμάτων.