Abstract:Many quantum algorithms for attacking symmetric cryptography involve the rank problem of quantum linear equations. In this paper, we first propose two quantum algorithms for solving quantum linear systems of equations with coherent superposition and construct their specific quantum circuits. Unlike previous related works, our quantum algorithms are universal. Specifically, the two quantum algorithms can both compute the rank and general solution by one measurement. The difference between them is whether the data register containing the quantum coefficient matrix can be disentangled with other registers and keep the data qubits unchanged. On this basis, we apply the two quantum algorithms as a subroutine to parallel Simon's algorithm (with multiple periods), Grover Meets Simon algorithm, and Alg-PolyQ2 algorithm, respectively. Afterwards, we construct a quantum classifier within Grover Meets Simon algorithm and the test oracle within Alg-PolyQ2 algorithm in detail, including their respective quantum circuits. To our knowledge, no such specific analysis has been done before. We rigorously analyze the success probability of those algorithms to ensure that the success probability based on the proposed quantum algorithms will not be lower than that of those original algorithms. Finally, we discuss the lower bound of the number of CNOT gates for solving quantum linear systems of equations with coherent superposition, and our quantum algorithms reach the optimum in terms of minimizing the number of CNOT gates. Furthermore, our analysis indicates that the proposed algorithms are mainly suitable for conducting attacks against lightweight symmetric ciphers, within the effective working time of an ion trap quantum computer.

Realization Of The Algorithm For System Of Linear Equations In Duality Quantum Computing

A survey on HHL algorithm: From theory to application in quantum machine learning

Quantum linear systems algorithms: a primer

Experimental Quantum Computing to Solve Systems of Linear Equations

The HHL algorithm: Implementation and research directions

Experimental Realization Of Quantum Algorithm For Solving Linear Systems Of Equations

Efficient Simulation of Open Quantum System in Duality Quantum Computing

Duality quantum computer and the efficient quantum simulations

Quantum resources in Harrow-Hassidim-Lloyd algorithm

Solving Linear Systems on Quantum Hardware with Hybrid HHL++

A near-term quantum algorithm for solving linear systems of equations based on the Woodbury identity

The Algorithm for Solving Quantum Linear Systems of Equations With Coherent Superposition and Its Extended Applications

QUBO formulations for numerical quantum computing

Quantum Algorithm for Solving Linear Differential Equations: Theory and Experiment

Duality and Recycling Computing in Quantum Computers

Quantum algorithms for matrix operations and linear systems of equations

Experimental Realization Of Quantum Algorithms For A Linear System Inspired By Adiabatic Quantum Computing

An Efficient Quantum Algorithm for Linear System Problem in Tensor Format

An Early Investigation of the HHL Quantum Linear Solver for Scientific Applications

Quantum Linear System Solvers: A Survey of Algorithms and Applications

A mathematical framework for quantum Hamiltonian simulation and duality