Quantum abstract detecting systems

In dieser Arbeit untersuchen wir Quantum Abstract Detecting Systems (QADS), die einige Schlüsselmerkmale der in Grovers Algorithmus verwendeten Operatoren, eine Vielzahl von Quantenläufen und den quantenabstrakten Suchalgorithmus verallgemeinern. Ein QADS ist ein Algorithmus, der einen Quantenzustand und einen Quantenoperator konstruiert, der dabei hilft, zu testen, ob eine schaltungsimplementierte boolesche Funktion f gleich Null ist. Wir identifizieren auch einige relativ schwache Eigenschaften von QADS, die zur Konstruktion von Algorithmen für das Erkennungsproblem führen (d.h. die Bestimmung, ob es ein markiertes Element in einem gegebenen Satz gibt). Unsere Ergebnisse bieten nicht nur einen gemeinsamen Rahmen für alle oben genannten Suchmethoden und ihre Umwandlung in Algorithmen für das Erkennungsproblem, sondern ermöglichen auch die Entwicklung neuer ähnlicher Methoden. Als Beispiel konstruieren wir eine Modifikation von Grovers Algorithmus (aus dem Tensorprodukt kontrollierter QADS), die eine verbesserte Erkennungswahrscheinlichkeit aufweist.