A toy model relaxation of the unitarity of a quantum search algorithm is introduced and the resulting parametric quantum search is investigated mathematically via a one-parameter family of completely positive trace preserving maps by introducing the oracle algebra (an SU(2) isomorphic matrix algebra). The parametric search is shown to be conditionally as fast as the original algorithm. Geometrically, it is related to spherical geodesics which exhibit an azimuthal symmetry, while its search map and density matrix enjoy geometric and structural symmetries.
Joining independent quantum searches provides novel collective modes of quantum search (merging) by utilizing the algorithm's underlying algebraic structure. If n quantum searches, each targeting a single item, join the domains of their classical oracle functions and sum their Hilbert spaces (merging), instead of acting independently (concatenation), then they achieve a reduction of the search complexity by factor O( √ n).
An algebraic reformulation of the quantum search algorithm associated to a k-valued oracle function, is introduced in terms of the so called oracle matrix algebra, by means of which a Bloch sphere like description of search is obtained. A parametric family of symmetric completely positive trace preserving (CPTP) maps, that formalize the presence of quantum noise but preserves the complexity of the algorithm, is determined. Dimensional reduction of representations of oracle Lie algebra is introduced in order to determine the reduced density matrix of subsets of qubits in database. The L1 vector-induced norm of reduced density matrix is employed to define an index function for the quantum entanglement between database qubits, in the presence of non invariant noise CPTP maps. Analytic investigations provide a causal relation between entanglement and fidelity of the algorithm, which is controlled by quantum noise parameter.
Ο αλγόριθμος κβαντικής αναζήτησης είναι ένας από τους σημαντικότερους κβαντικούς αλγόριθμους και χρησιμοποιείται στην αναζήτηση k το πλήθος μαρκαρισμένων στοιχείων συνόλου (μη δομημένη βάση δεδομένων), πληθικού αριθμού Ν. Ο αλγόριθμος είναι πιθανοθεωρητικός και απαντά επιτυχώς με Order(SQRT(N/k)) δοκιμές, επιτυγχάνοντας έτσι τετραγωνική ελάττωση της πολυπλοκότητας αναζήτησης σε σύγκριση με κάθε αντίστοιχο κλασικό αλγόριθμο πολυπλοκότητας Οrder(N/k). Ο αλγοριθμος εκμεταλλεύεται βασικά χαρακτηριστικά της Κβαντομηχανικής όπως η γραμμική υπέρθεση, ο κβαντικός εναγκαλισμός (quantum entanglement) διανυσμάτων κατάστασης σε τανυστικά γινόμενα χώρων Hilbert, η γιουνίταρι δυναμική, η κβαντική προβολική μέτρηση. Στην παρούσα εργασία διερευνούμε διάφορες αλγεβρικές, γεωμετρικές και υπολογιστικές (από την σκοπιά της πολυπλοκότητας) πτυχές της κβαντικής αναζήτησης και προτείνουμε νέους κβαντικούς αλγόριθμους οι οποίοι ελαττώνουν περαιτέρω τα όρια της πολυπλοκότητας. Πιο συγκεκριμένα, εισάγουμε πρώτα την έννοια της άλγεβρας του μαντείου η οποία καθορίζεται από τις Boolean συναρτήσεις χαρακτηρισμού των ζητούμενων στοιχείων, ως μια ισομορφική άλγεβρα της SU(2) εμφυτευμένης στην άλγεβρα SU(N) και επαναδιατυπώνουμε αλγεβρικά τον αλγόριθμο. Δυνάμει της αλγεβρικής επαναδιατύπωσης αποδεικνύεται ότι το διάνυσμα αναζήτησης Bloch ακολουθεί σφαιρική γεωδαισιακή τροχιά, αιτιολογώντας έτσι γεωμετρικά την τετραγωνική ελάττωση της πολυπλοκότητας αναζήτησης. Έχοντας επαναδιατυπώσει αλγεβρικά τον αλγόριθμο, εισάγουμε την χαλάρωση του γιουνίταρι χαρακτήρα του τελεστή αναζήτησης, ο οποίος αντικαθίσταται από μία μονοπαραμετρική πλήρως θετική ιχνοδιατηρητική απεικόνιση. Η μελέτη της απεικόνισης αναζήτησης οδηγεί στην διερεύνηση της σχέσης πολυπλοκότητας-ακρίβειας στην εύρεση στοιχείων και οδηγεί στην διατύπωση μίας νέας στρατηγικής αναζήτησης. Η χρήση της θεωρίας αναπραστάσεων της άλγεβρας μαντείου μας επιτρέπει να εισάγουμε δυο νέους τρόπους συλλογικής κβαντικής αναζήτησης : την συγχώνευση (merging) και την αλύσωση (concatenation) , που αντιστοιχούν σε δύο τρόπους συνένωσης των συναρτήσεων Boole και των χώρων Hilbert των επιμέρους (έστω n τον αριθμό), κβαντικών αλγορίθμων. Αποδεικνύουμε ότι για τις αντίστοιχες πολυπλοκότητες αλύσωσης Tconc και συγχώνευσης Tmerg, ισχύει ότι αφενός η αλύσωση δεν προσφέρει επιπλέον επιτάχυνση αλλά και ότι Tconc=Order(SQRT(n)) Tmerg. Επομένως η συλλογική αναζήτηση μέσω συγχώνευσης αλγορίθμων παρέχει επιτάχυνση χρόνου αναζήτησης κατά SQRT παράγοντα του αριθμού εμπλεκομένων αλγορίθμων. Χρησιμοποιώντας την θεωρία διαμερίσεων ακεραίων, διαγραμμάτων Young και την θεωρία της κατίσχυσης (majoirization), εξετάζουμε τις ενδιάμεσες τιμές πολυπλοκότητας για όλα τα παρεμβαλλόμενα σχήματα συνένωσης ανάμεσα στα ακραία σχήματα “όλες οι n αναζητήσεις συγχωνευμένες ” και στο “όλες οι n αναζητήσεις αλυσωμένες ”. Χρησιμοποιώντας την θεωρία της γιουνίταρι επέκτασης των θετικών ιχνοδιατηρητικών απεικονίσεων, αποδεικνύουμε ότι η παραπάνω παραμετρική αναζήτηση είναι ισοδύναμη με έναν κβαντικό περίπατο υπό το κόστος της εισαγωγής (βοηθητικών) χώρων κβαντικού “νομίσματος”. Ακριβέστερα, αποδεικνύουμε ότι ο αριθμός των επαναλήψεων από τη σκοπιά της κβαντικής αναζήτησης είναι ίσος με τον αριθμό των κβαντικών “νομισμάτων” (από τη σκοπιά του κβαντικού περιπάτου) και ότι η τετραγωνική επιτάχυνση της κβαντικής αναζήτησης εκφράζεται ως η τετραγωνική αύξηση της διάχυσης στον κβαντικό περίπατο. Επίσης, αποδεικνύεται ότι με το (επιπλέον) κόστος των δυο ερωτήσεων στο μαντείο, τα άρτιας τάξης βήματα του κβαντικού τυχαίου περιπάτου ισοδυναμούν με τον “διπλασιασμό” της κβαντικής αναζήτησης. Τέλος, χρησιμοποιούμε τον αλγόριθμο κβαντικής αναζήτησης ενός στοιχείου ως εργαλείο για την λύση ενός εντελώς διαφορετικού προβλήματος: της καταμέτρησης των στοιχείων (έστω Ν), ενός πεπερασμένου συνόλου το οποίο ταυτοποιούμε ως σύνολο βάσης δεδομένων. Προς τούτο αποδεικνύουμε την την περιοδικότητα του συναρτησιακού μέτρου του κβαντικού εναγκαλισμού μεταξύ δυο οποιονδήποτε μερών διαμέρισης του χώρου βάσης δεδομένων. Αποδεικνύουμε ότι αρκεί να προσδιορίσουμε δύο διαδοχικούς μηδενισμούς αυτού του εναγκαλισμού που συμβαίνουν με περιοδικότητα Order(SQRT(N)), προκειμένου να μετρηθεί ο πληθάριθμος Ν με τετραγωνική επιτάχυνση της καταμέτρησης, σε σχέση με την κλασική καταμέτρηση κόστους Ν. Η επιτάχυνση καταμέτρησης βελτιώνεται υπερτετραγωνικά ενισχύοντας , εξ αιτίας εικασίας ή a priori πληροφορίας, την αρχική πιθανότητα επιλογής του στοιχείου αναζήτησης.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.