Grover's Algorithm and Many-Valued Quantum Logic
Abstract
As the engineering endeavour to realise quantum computers progresses, we consider that such machines need not rely on binary as their de facto unit of information. We investigate Grover's algorithm under a generalised quantum circuit model, in which the information and transformations can be expressed in any arity, and analyse the structural and behavioural properties while preserving the semantics; namely, searching for the unique preimage to an output a function. We conclude by demonstrating that the generalised procedure retains $O(\sqrt{N})$ time complexity.
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2020
- DOI:
- 10.48550/arXiv.2001.06316
- arXiv:
- arXiv:2001.06316
- Bibcode:
- 2020arXiv200106316H
- Keywords:
-
- Computer Science - Data Structures and Algorithms;
- Quantum Physics