Στην παρούσα εργασία εισάγουμε μια νέα μέθοδο, η οποία είναι ο συνδυασμός της μεθόδου Διαγραμματική Monte Carlo (DMC) με μεθόδους Επιπέδου Ιστογράμματος, τη μέθοδο Επιπέδου Ιστογράμματος Διαγραμματική Monte Carlo" (FHDMC). Εφαρμόζοντας την FHDMC και άλλες εκδοχές της DMC σε συγκεκριμένο επιλύσιμο πρόβλημα, συγκεκριμένα το πρόβλημα του πολαρονίου Froehlich και για συγκεκριμένης μορφής διαγραμμάτων Feynman, υπολογίζουμε τη συνάρτηση Green φανταστικού χρόνου. Από τη σύγκριση των αποτελεσμάτων προκύπτει η υπεροχή της FHDMC ως προς την ποιότητα των αποτελεσμάτων και τον ευθύ τρόπο εφαρμογής της. Εφαρμόζουμε την FHDMC και άλλες εκδοχές της DMC για τον υπολογισμό της συνάρτησης Green φανταστικού χρόνου G(τ) σε επιλύσιμο πρόβλημα, που είναι το μοντέλο t-J στη γραμμική προσέγγιση των κυμάτων spin με περιορισμό των υπολογισμών στο χώρο των διαγραμμάτων Feynman που προσδιορίζονται με την μη τεμνόμενων διαγραμμάτων προσέγγιση (NCA, Non Crossing Approximation). Αντιστρέφουμε τα παραπάνω αποτελέσματα της G(τ) με την μέθοδο αναλυτικής συνέχισης ``Στοχαστική Αναλυτική Διαδικασία" (SAI) και προσδιορίζουμε τη φασματική συνάρτηση A(ω) για κάθε περίπτωση. Συγκρίνοντας τα αποτελέσματα της αντιστροφής με την ακριβή λύση για τη φασματική συνάρτηση, προκύπτει η σαφής υπεροχή της FHDMC έναντι των άλλων μεθόδων. Τέλος εφαρμόζουμε την FHDMC για υπολογισμούς της φασματικής συνάρτησης A(ω), της σχέσης διασποράς και του φασματικού βάρους του οιονεί σωματιδίου, χωρίς προσέγγιση για την κίνηση μιας οπής για το μοντέλο t-J και της παραλλαγής του t-J1-J2 στη γραμμική προσέγγιση των κυμάτων spin, όπου εμφανίζεται και το πρόβλημα του φερμιονικού πρόσημου. Διαπιστώνεται η υπεροχή της FHDMC για την αντιμετώπιση του προβλήματος του φερμιονικού πρόσημου, και αξιολογείται σε κάθε περίπτωση η ακρίβεια της προσέγγισης NCA.
Στην συγκεκριμένη εργασία ασχολούμαστε με την μελέτη θερμικά σύμπλεκτων (entangled) καταστάσεων πολλών κβαντικών bit (qubit) σε διάφορα μοντέλα Heisenberg με την μέθοδο Monte Carlo (MC). \nΑρχικά χρησιμοποιώντας τον μετασχηματισμό Suzuki-Trotter μετατρέπουμε την κβαντική μονοδιάστατη αλυσίδα των spin (μοντέλα Ising, Heisenberg με και χωρίς μαγνητικό πεδίο στις διευθύνσεις x,y,z) σε κλασικό δισδιάστατο πλέγμα. Εξετάζουμε την συμπεριφορά του συγκεκριμένου μετασχηματισμού για το αντισιδηρομαγνητικό Heisenberg ΧΧΧ μοντέλο, για το σιδηρομαγνητικό Heisenberg μοντέλο (ΧΧΧ και ΧΥΖ) χωρίς και με μαγνητικό πεδίο στις διευθύνσεις x,y,z για διάφορα μήκη της αλυσίδας, διαφορετικές διαστάσεις Trotter και διαφορετικό αριθμό Monte Carlo βημάτων (MCΒήματα). Μελετάμε την συμπεριφορά της θερμοχωρητικότητας, της ενέργειας, της μαγνητικής επιδεκτικότητας και της μαγνήτισης στις διευθύνσεις x,y,z. Επιβεβαιώνουμε την σωστή συμπεριφορά τους με βάση τα αναλυτικά αποτελέσματα. \nΤέλος γνωρίζοντας, ότι η κλασική συσχέτιση είναι το κάτω όριο της ποσότητας Localizable Entanglement, και ότι η ποσότητα Entanglement of Assistance είναι το πάνω όριο, εκτιμούμε για τα ίδια μοντέλα τη συμπεριφορά των ορίων και προσπαθούμε να εκτιμήσουμε το μήκος σύμπλεξης (Entanglement Length) για διάφορες θερμοκρασίες.
Η παρούσα διπλωματική εργασία αφορά την ανάπτυξη βιβλιοθήκης συναρτήσεων για κβαντικό υπολογισμό και τη δημιουργία γραφικού περιβάλλοντος το οποίο χρησιμοποιεί τη συγκεκριμένη βιβλιοθήκη. Αρχικά μελετήθηκαν: πρώτον, οι βασικές έννοιες που διέπουν τους κβαντικούς υπολογιστές και δεύτερον, η χρήση και οι δυνατότητες της γλώσσας python. Εν συνέχεια, ύστερα από εμβάθυνση στα ανωτέρω πεδία πραγματοποιήθηκε η συγγραφή της κβαντικής βιβλιοθήκης καθώς και η δημιουργία του γραφικού περιβάλλοντος που χρησιμοποιεί τη κβαντική αυτή βιβλιοθήκη. Επίσης δημιουργήθηκε και μία γραφική διεπαφή για την παρουσίαση των γραφικών παραστάσεων που παρουσιάζουν τα αποτελέσματα του κβαντικού υπολογισμού. Η ανάπτυξη του προγράμματος πραγματοποιήθηκε σε γλώσσα Python.
Στις επικοινωνίες ανάμεσα σε ανοιχτά συστήματα υπάρχουν τέσσερις κύριες κατηγορίες απειλών: Μη εξουσιοδοτημένη απόκτηση της πληροφορίας, Μη εξουσιοδοτημένη τροποποίηση της πληροφορίας, Πλαστοπροσωπία χρήστη, Αποκήρυξη της επικοινωνίας. Ο βασικός μηχανισμός για την παροχή ασφάλειας με τα χαρακτηριστικά που περιγράφηκαν πιο πάνω είναι η κρυπτογραφία. Οι συμμετρικοί αλγόριθμοι κρυπτογραφίας είναι πολύ ασφαλείς, γρήγοροι και έχουν διαδεδομένη χρήση. Ωστόσο, υπάρχουν διάφορες ελλείψεις που σχετίζονται με σχήματα συμμετρικού κλειδιού, όπως το πρόβλημα της διανομής κλειδιού, το μεγάλο πλήθος των κλειδιών που απαιτούνται και επίσης δεν παρέχουν καμία προστασία ενάντια σε επιθέσεις της επικοινωνίας. Τα παραπάνω προβλήματα λύνονται με τη χρήση ασύμμετρων αλγορίθμων ή αλλιώς δημοσίου κλειδιού σε καλά σχεδιασμένα πρωτόκολλα ασφάλειας και ανταλλαγής κλειδιού. Υπάρχουν τρεις κυρίαρχες οικογένειες αλγορίθμων δημοσίου κλειδιού οι οποίες έχουν πρακτικό αντίκρισμα. Μπορούν να ταξινομηθούν με βάση το υπολογιστικό πρόβλημα που τις χαρακτηρίζουν: Συστήματα παραγοντοποίησης ακεραίου, Συστήματα διακριτού λογαρίθμου, Συστήματα ελλειπτικών καμπυλών. Κάθε μία από αυτές τις τρεις οικογένειες μπορούν να παρέχουν τους βασικούς μηχανισμούς δημοσίου κλειδιού, όπως της εγκαθίδρυσης κλειδιού, της μη αποποίησης μέσω ψηφιακών υπογραφών και της κρυπτογράφησης δεδομένων. Ο RSA ανήκει στη κατηγορία των κρυπτογραφικών συστημάτων παραγοντοποίησης ακεραίου και είναι κατάλληλος για κρυπτογράφηση/αποκρυπτογράφηση δεδομένων, για την δημιουργία ψηφιακών υπογραφών και την επαλήθευσή τους καθώς και για την ασφαλή μεταφορά κλειδιών. Ο αλγόριθμος Diffie-Hellman Key Exchange (DHKE) ανήκει στη κατηγορία των κρυπτογραφικών συστημάτων διακριτού λογαρίθμου και αποτελεί μία εντυπωσιακή εφαρμογή του προβλήματος του διακριτού λογαρίθμου. Η θεμελιώδης αυτή τεχνική συμφωνίας κλειδιού υλοποιείται σε πολλά ανοιχτά και εμπορικά κρυπτογραφικά πρωτόκολλα όπως, στο SSH (Secure Shell) και στο IPsec (Internet Protocol Security). Στη τρίτη κατηγορία ανήκει το Elliptic Curve Diffie-Hellman ECDH το οποίο βρίσκεται σε πλήρη αναλογία με τον παραδοσιακό DHKE που αναφέραμε προηγουμένως, μόνο που εδώ πραγματοποιείται ανταλλαγή κλειδιού χρησιμοποιώντας ελλειπτικές καμπύλες. Κάποια από τα πιο γνωστά πρωτόκολλα ασφάλειας πρωτοκόλλων που χρησιμοποιούνται σήμερα κατά κόρον και χρησιμοποιούν ανταλλαγή και εγκαθίδρυση κλειδιού είναι το IPSec σε συνδυασμό με το IKE και το SSL. Ο βασικός στόχος οποιουδήποτε πρωτοκόλλου εγκαθίδρυσης επικυρωμένου κλειδιού είναι να διανέμει δεδομένα κλειδιού με ασφαλή τρόπο χρησιμοποιώντας πρωτόκολλα με έμμεση πιστοποίηση κλειδιού, με ρητή επιβεβαίωση κλειδιού κ.α. Στα πλαίσια της διατριβής αυτής και με σκοπό τη πρακτική μελέτη κάποιων από των πιο διαδεδομένων πρωτοκόλλων κρυπτογράφησης που παρουσιάστηκε και αναλύθηκε στα προηγούμενα κεφάλαια, αναπτύχθηκε μια εφαρμογή σε Java SE. Χρησιμοποιήθηκαν κυρίως το πλαίσιο ανάπτυξης Java Cryptography Architecture (JCA), το περιβάλλον ανάπτυξης λογισμικού netbeans, καθώς και κρυπτογραφικές βιβλιοθήκες JCE provider, και τη συλλογή Bouncy Castle.
Γίνεται όλο και πιο φανερό ότι η περίοδος που διανύουμε αποτελεί μια περίοδο άνθησης των κβαντικών υπολογιστών. Οι κβαντικοί υπολογιστές είναι πλέον ελεύθερα διαθέσιμοι για την εκτέλεση κβαντικών αλγορίθμων που έχουν υλοποιηθεί σε Python με τη χρήση των βιβλιοθηκών ανοιχτού κώδικα Qiskit που έχει αναπτύξει η ΙΒΜ. Η εκπαιδευτική μας πρόταση αποτελείται από: α)Σημειωματάριο Jupyter το οποίο οι εκπαιδευόμενοι έρχονται άμεσα σε επαφή με τις αρχές των κβαντικών υπολογιστών μέσω παραδειγμάτων κα κβαντικών αλγορίθμων με τη χρήση της γλώσσας κβαντικού προγραμματισμού Qiskit της IBM, β)διάλεξη-παρουσίαση και συζήτηση του προαναφερθέντος σημειωματάριου με παράλληλη εργαστηριακή άσκηση των εκπαιδευομένων και γ) ασκήσεις με προτεινόμενες λύσεις. Θα γίνει εισαγωγή στο κβαντικό μπιτ (qubit), στις κβαντικές πύλες, στα κβαντικά κυκλώματα και θα παρουσιαστεί ως παράδειγμα υπεροχής των κβαντικών υπολογιστών, ο αλγόριθμος υπέρπυκνης κωδικοποίησης.