Τι είναι οι Κβαντικοί Υπολογιστές;

Κβαντικοί υπολογιστές επεξεργάζονται πληροφορίες με κβαντικές καταστάσεις. Η βασική τους μονάδα, το κβίτ, μπορεί να προετοιμαστεί σε υπέρθεση και να συσχετιστεί με άλλα κβίτ μέσω εμπλοκής. Οι κβαντικές πύλες διαμορφώνουν τα πλάτη ώστε η παρεμβολή να αυξάνει την πιθανότητα χρήσιμων αποτελεσμάτων μέτρησης.

Ένας κβαντικός υπολογιστής δεν προσπαθεί απλώς να δοκιμάσει κάθε απάντηση παράλληλα και να αποκαλύψει τη βέλτιστη. Η μέτρηση επιστρέφει ένα περιορισμένο κλασικό αποτέλεσμα. Ένας χρήσιμος αλγόριθμος πρέπει να δημιουργεί σκόπιμα παρεμβολή και συνήθως να επαναλαμβάνει το κύκλωμα πολλές φορές για την εκτίμηση των πιθανοτήτων.

Βασικά σημεία

• Τα κβίτ είναι κβαντικές καταστάσεις· οι πύλες χειρίζονται τα πλάτη και η μέτρηση παράγει κλασικά αποτελέσματα.
• Η εμπλοκή δημιουργεί συσχετισμούς που οι κλασικές περιγραφές μπορεί να αναπαριστούν αναποτελεσματικά, αλλά δεν αποτελεί καθολική επιτάχυνση.
• Ο θόρυβος περιορίζει το βάθος του κυκλώματος, έτσι τα χρήσιμα μεγάλης κλίμακας συστήματα απαιτούν διόρθωση σφαλμάτων και πολλαπλά φυσικά κβίτ ανά λογικό κβίτ.
• Το κβαντικό πλεονέκτημα είναι ειδικό για κάθε εργασία· η κλασική υπολογιστική παραμένει απαραίτητη σε υβριδικές ροές εργασίας.

Κβίτ, υπέρθεση και μέτρηση

Ένα κλασικό bit διαβάζεται ως 0 ή 1. Ένα κβίτ μπορεί να προετοιμαστεί ως ζυγισμένος συνδυασμός βασικών καταστάσεων, που περιγράφεται από σύνθετα πλάτη των οποίων τα τετράγωνα μεγέθη καθορίζουν τις πιθανότητες μέτρησης. Οι πύλες περιστρέφουν και συνδέουν αυτές τις καταστάσεις με μαθηματικά ελεγχόμενο τρόπο.

Η μέτρηση δεν είναι ανάγνωση κάθε πλάτους. Παράγει ένα αποτέλεσμα όπως 0 ή 1 και αλλάζει την κατάσταση. Συνεπώς οι αλγόριθμοι χρησιμοποιούν επαναλαμβανόμενες εκτελέσεις, προσεκτικά σχεδιασμένη παρεμβολή και κλασική μετα-επεξεργασία για την εξαγωγή χρήσιμης εκτίμησης.

Εμπλοκή και κβαντικά κυκλώματα

Η εμπλοκή περιγράφει μια κοινή κβαντική κατάσταση που δεν μπορεί να παραγοντοποιηθεί σε ανεξάρτητες καταστάσεις για κάθε κβίτ. Μπορεί να αποτελεί πόρο υπολογισμού, αλλά η μόνη της η εμπλοκή δεν λύνει ένα πρόβλημα. Ένα κύκλωμα συνδυάζει την προετοιμασία κατάστασης, πύλες ενός και δύο κβίτ, μέτρηση και συχνά έναν κλασικό βελτιστοποιητή.

Οι υβριδικοί παραμετρικοί αλγόριθμοι εκτελούν επανειλημμένα παραμετρικά κυκλώματα και ενημερώνουν τις παραμέτρους σε έναν κλασικό υπολογιστή. Είναι ελκυστικοί για πειράματα βραχυπρόθεσμης προοπτικής, αν και η απόδειξη πρακτικού πλεονεκτήματος πρέπει να συγκρίνεται με ισχυρές κλασικές βάσεις, συμπεριλαμβανομένου του συνολικού κόστους δειγματοληψίας και μετριασμού σφαλμάτων.

Θόρυβος και κβαντική διόρθωση σφαλμάτων

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

Το απαιτούμενο κόστος εξαρτάται από τα ποσοστά σφαλμάτων του υλικού, την επιλογή κώδικα, τη συνδεσιμότητα και τον στόχο αλγόριθμου. Οι μετρήσεις φυσικών κβίτ από διαφορετικά συστήματα δεν είναι άμεσα συγκρίσιμες, και ένας μεγάλος αριθμός φυσικών κβίτ δεν ισοδυναμεί με ένα μεγάλο σφάλμα-ανθεκτικό μηχάνημα.

Που οι κβαντικοί αλγόριθμοι μπορούν να βοηθήσουν

Οι γνωστοί αλγόριθμοι προσφέρουν θεωρητικά πλεονεκτήματα για συγκεκριμένες εργασίες όπως η παραγοντοποίηση, η αδιάτακτη αναζήτηση και η προσομοίωση κβαντικών συστημάτων. Η έρευνα εξετάζει επίσης βελτιστοποίηση και machine learning, αλλά πολλές προτάσεις δεν ξεπερνούν ακόμη την καλύτερη κλασική μέθοδο υπό ρεαλιστικές υποθέσεις υλικού και φόρτωσης δεδομένων.

Μια αξιόπιστη δήλωση πρέπει να ορίζει το πρόβλημα, το μέγεθος εισόδου, το μοντέλο σφάλματος, τον στόχο ακρίβειας, το κλασικό σύγκρινο και την εκτίμηση συνολικών πόρων. Η «κβαντική υπεροχή» ή το «πλεονέκτημα» είναι μια πειραματική δήλωση για ένα καθορισμένο έργο, όχι απόδειξη ότι οι κβαντικοί υπολογιστές είναι γενικά ταχύτεροι.

Κβαντική υπολογιστική και κυβερνοασφάλεια

Ένας επαρκώς ικανός σφάλμα-ανθεκτικός κβαντικός υπολογιστής θα απειλούσε τα ευρέως χρησιμοποιούμενα συστήματα δημόσιου κλειδιού που βασίζονται στην παραγοντοποίηση και τους διακριτούς λογάριθμους. Δεν θα σπάσει αυτόματα κάθε συμμετρικό κρυπτογράφημα ή συνάρτηση κατακερματισμού.

Το NIST ολοκλήρωσε τα πρώτα πρότυπα μετά-κβαντικής κρυπτογραφίας το 2024, έτσι οι οργανισμοί πρέπει να καταγράψουν τις κρυπτογραφικές εξαρτήσεις και να προγραμματίσουν τη μετάβαση πολύ πριν υπάρξει κβαντικός υπολογιστής σχετικός με την κρυπτογραφία. Αυτό αποτελεί ζήτημα cybersecurity και κύκλου ζωής δεδομένων, επειδή τα κρυπτογραφημένα δεδομένα που έχουν υποκλαπεί μπορεί να παραμείνουν πολύτιμα για χρόνια.

Κβίτ, πύλες και κβαντική πληροφορία

Ένα κβίτ περιγράφεται από μια κβαντική κατάσταση της οποίας τα πλάτη καθορίζουν τις πιθανότητες μέτρησης. Η υπέρθεση επιτρέπει σε μια κατάσταση να συνδυάζει τις βασικές δυνατότητες, ενώ η εμπλοκή δημιουργεί συσχετισμούς που δεν μπορούν να αναπαρασταθούν ως ανεξάρτητα κβίτ. Οι κβαντικές πύλες είναι αντιστροφή μονάδες (unitary) λειτουργίες· ένα κύκλωμα προετοιμάζει μια κατάσταση, εφαρμόζει πύλες και μετρά κλασικά bits. Η μέτρηση δεν αποκαλύπτει απευθείας τα πλάτη, έτσι ένας αλγόριθμος πρέπει να οργανώσει παρεμβολή που αυξάνει τα χρήσιμα αποτελέσματα και καταστέλλει τα άλλα. Η κβαντική παράλληλη εκτέλεση από μόνη της δεν σημαίνει ότι κάθε πιθανή απάντηση διαβάζεται ταυτόχρονα.

Οι φυσικοί κβίτ μπορούν να υλοποιηθούν με υπεραγώγιμα κυκλώματα, παγιδευμένα ιόντα, ουδέτερα άτομα, φωτόνια, σπιν και άλλα συστήματα. Κάθε πλατφόρμα διαφέρει σε ταχύτητα πυλών, συνδεσιμότητα, πιστότητα, συνεκτικότητα, μέτρηση, έλεγχο, ψύξη και δυνατότητα παραγωγής. Ο θόρυβος συσσωρεύεται κατά τη διάρκεια του υπολογισμού. Η κβαντική διόρθωση σφαλμάτων κωδικοποιεί ένα λογικό κβίτ σε πολλούς φυσικούς κβίτ και ανιχνεύει επανειλημμένα σφάλματα χωρίς άμεση μέτρηση της προστατευόμενης λογικής πληροφορίας. Τα χρήσιμα σφάλμα-ανθεκτικά μηχανήματα απαιτούν ποσοστά σφάλματος κάτω από τα όρια και σημαντικό κόστος για λογικές πύλες και αποκωδικοποίηση.

Αλγόριθμοι, πολυπλοκότητα και τρέχον υλικό

Ο αλγόριθμος του Shor προσφέρει πολυωνυμική χρονική παραγοντοποίηση και διακριτούς λογάριθμους σε έναν επαρκώς ικανό σφάλμα-ανθεκτικό υπολογιστή, κινητοποιώντας τη μετάβαση σε μετά-κβαντική κρυπτογραφία. Ο αλγόριθμος του Grover παρέχει τετραγωνική επιτάχυνση για αδιάτακτη αναζήτηση, όχι εκθετική. Η κβαντική προσομοίωση είναι φυσικός στόχος επειδή τα κβαντικά συστήματα είναι δύσκολο να αναπαρασταθούν κλασικά. Οι παραμετρικοί αλγόριθμοι συνδυάζουν σύντομα κβαντικά κυκλώματα με κλασική βελτιστοποίηση, αλλά ο θόρυβος, η εκπαίδευσιμότητα και ο κλασικός ανταγωνισμός περιορίζουν την απόδειξη πρακτικού πλεονεκτήματος στα σημερινά μηχανήματα.

Μια δήλωση κβαντικού πλεονεκτήματος πρέπει να ορίζει την εργασία, την είσοδο, την ποιότητα εξόδου, το χρόνο υλικού, τη δειγματοληψία, την προ-επεξεργασία, τη μετριαστική σφαλμάτων και το ισχυρότερο κλασικό baseline σε συγκρίσιμους πόρους. Ο αριθμός κβίτ από μόνος του είναι ανεπαρκής· το βάθος κυκλώματος, η συνδεσιμότητα, η πιστότητα και το λογικό σφάλμα έχουν σημασία. Ορισμένες επιδείξεις λύνουν ειδικά κατασκευασμένα προβλήματα δειγματοληψίας με περιορισμένη εφαρμογή. Η πρόσβαση στο σύννεφο είναι χρήσιμη για έρευνα και εκπαίδευση, αλλά τα φορτία εργασίας μπορεί να περιμένουν σε ουρές, εξαρτώνται από ιδιόκτητες ρυθμίσεις και επιστρέφουν πιθανοκρατικά δείγματα που απαιτούν στατιστική ανάλυση.

Υπεύθυνος προγραμματισμός για κβαντική υπολογιστική

Οι οργανισμοί πρέπει να καταγράψουν την κρυπτογραφία και να ξεκινήσουν τη μετάβαση σε πρότυπα μετά-κβαντικής κρυπτογραφίας, ανεξάρτητα από προβλέψεις για ένα κβαντικό μηχάνημα σχετικό με την κρυπτογραφία. Για εφαρμογές, εντοπίστε ένα ακριβές υπολογιστικό εμπόδιο, εκτιμήστε τους λογικούς πόρους και συγκρίνετε συνεχώς τις βελτιωμένες κλασικές αλγόριθμικές και υλικές λύσεις. Προστατέψτε τα ευαίσθητα δεδομένα που αποστέλλονται σε υπηρεσίες κβαντικού σύννεφου και διατηρήστε επαναλήψιμα αρχεία κυκλωμάτων, μεταγλωττιστών και βαθμονόμησης. Η κβαντική υπολογιστική είναι διαφορετικό μοντέλο υπολογισμού με αποδεδειγμένα θεωρητικά πλεονεκτήματα και ενεργή τεχνολογική πρόοδο, αλλά δεν αποτελεί γενική αντικατάσταση για CPUs, GPUs ή κλασική AI.

Παραδειγματική εφαρμογή: αξιολόγηση δήλωσης κβαντικής βελτιστοποίησης

Μια μελέτη logistics χαρτογραφεί ένα υποπρόβλημα δρομολόγησης σε κβαντικό κύκλωμα και το συγκρίνει με κλασικές ευρετικές. Η αξιολόγηση περιλαμβάνει κωδικοποίηση δεδομένων, σύνθεση κυκλώματος, ουρά, δειγματοληψία, μετριασμό σφαλμάτων και αποκωδικοποίηση αποτελεσμάτων, και αναφέρει την ποιότητα λύσης και τον πραγματικό χρόνο. Χρησιμοποιεί το ισχυρότερο διαθέσιμο κλασικό baseline σε ισοδύναμες περιπτώσεις προβλήματος και εξηγεί εάν η κβαντική συσκευή λύνει το πλήρες επιχειρηματικό πρόβλημα ή μόνο έναν μικρό κατασκευασμένο πυρήνα.

Τα αποτελέσματα επαναλαμβάνονται σε διαφορετικές βαθμονουμενές και μεγέθη, με δημοσιευμένο βάθος κυκλώματος, σφάλμα δύο-κβίτ, αριθμό shots και ποσοστό αποτυχίας. Ένα θορυβώδες παραμετρικό αποτέλεσμα που ταιριάζει με κλασική λύση δεν θεωρείται κβαντικό πλεονέκτημα. Οι εκτιμήσεις πόρων δείχνουν τα λογικά κβίτ και το κόστος διόρθωσης σφαλμάτων που απαιτούνται για κλίμακα. Ο οργανισμός ξεκινά ξεχωριστά την καταγραφή κρυπτογραφίας μετά-κβαντικής, επειδή αυτή η ασφάλεια είναι συνετή ανεξάρτητα από το αν το πείραμα βελτιστοποίησης παράγει αξία βραχυπρόθεσμα.

Απόδειξη υλοποίησης και ετοιμότητα λειτουργίας

Μια απόφαση παραγωγής απαιτεί περισσότερα από μια επιτυχημένη επίδειξη. Καθορίστε τους προορισμένους χρήστες, το περιβάλλον λειτουργίας, τις εισόδους, τις εξόδους, τις εξαρτήσεις, τον υπεύθυνο και τις συνέπειες κάθε σημαντικής αποτυχίας. Καθιερώστε μια επαναλήψιμη βάση και ένα εκδοτικό σύνολο αξιολόγησης πριν από τη βελτιστοποίηση. Δοκιμάστε τυπικές περιπτώσεις, όρια, εσφαλμένες ή ελλιπείς εισόδους, αλλαγές κατανομής, διακοπές εξαρτήσεων, κακή χρήση και τις ομάδες ή περιβάλλοντα που είναι πιο πιθανό να εξυπηρετηθούν ανεπαρκώς. Μετρήστε την ποιότητα εργασίας μαζί με την βαθμονόμηση ή αβεβαιότητα, την καθυστέρηση, το throughput, το κόστος πόρων, την προσβασιμότητα, την ιδιωτικότητα και την ασφάλεια. Καταγράψτε κάθε μετασχηματισμό και κατώφλι ώστε ένας ανεξάρτητος ελεγκτής να μπορεί να επαναλάβει το αποτέλεσμα και να διακρίνει την απόδειξη από ένα ελκυστικό πρωτότυπο.

Πριν από την κυκλοφορία, αναθέστε εξουσιοδότηση για την κυκλοφορία, εξαιρέσεις, αλλαγές, επαναφορά και παύση. Χρησιμοποιήστε σταδιακή κυκλοφορία, διατηρήστε ασφαλή εναλλακτική λύση και επαληθεύστε την παρακολούθηση με σκόπιμα ενσωματωμένες αποτυχίες. Τα λειτουργικά τηλεμετρικά δεδομένα πρέπει να αποκαλύπτουν την ποιότητα εισόδου, τη συμπεριφορά εξόδου, την έκδοση μοντέλου ή κανόνα, την υγεία των εξαρτήσεων, τις ανθρώπινες παρεμβάσεις και τα επιβεβαιωμένα αποτελέσματα χωρίς τη συλλογή περιττών ευαίσθητων δεδομένων. Ορίστε όρια ειδοποίησης και υπεύθυνο αντίδρασης, στη συνέχεια ελέγξτε τα πραγματικά αποδεικτικά στοιχεία μετά την ανάπτυξη αντί για την υπόθεση ότι η εκτός σύνδεσης απόδοση θα διατηρηθεί. Επαναξιολογήστε όποτε πηγές δεδομένων, χρήστες, μοντέλα, προμηθευτές, πολιτικές, υλικό ή στόχοι αλλάξουν. Ένα διατηρημένο σύστημα χρειάζεται επίσης τεκμηριωμένη ανάκτηση, εκμάθηση από περιστατικά, διαδικασίες διαγραφής και διατήρησης, και ένα σαφές σημείο στο οποίο πρέπει να απενεργοποιηθεί ή να αντικατασταθεί.

Συχνές ερωτήσεις

Θα αντικαταστήσουν οι κβαντικοί υπολογιστές τους κλασικούς υπολογιστές;

Όχι. Είναι εξειδικευμένοι επιταχυντές για συγκεκριμένους αλγόριθμους και θα εξαρτώνται από κλασικά συστήματα για έλεγχο, μεταγλώττιση, δικτύωση και μετα-επεξεργασία.

Είναι ένα κβίτ ταυτόχρονα 0 και 1;

Ένα κβίτ μπορεί να βρίσκεται σε υπέρθεση βασικών καταστάσεων, αλλά η μέτρηση επιστρέφει ένα κλασικό αποτέλεσμα σύμφωνα με τις πιθανότητες της κατάστασης. Η φράση «και τα δύο ταυτόχρονα» είναι μια ατελής συντόμευση.

Κύριες πηγές

• NIST: Εξήγηση κβαντικής υπολογιστικής
• NIST: Πρόγραμμα μετά-κβαντικής κρυπτογραφίας
• NIST: Τι είναι η μετά-κβαντική κρυπτογραφία;