Abstract:We develop three new methods to implement any Linear Combination of Unitaries (LCU), a powerful quantum algorithmic tool with diverse applications. While the standard LCU procedure requires several ancilla qubits and sophisticated multi-qubit controlled operations, our methods consume significantly fewer quantum resources. The first method (Single-Ancilla LCU) estimates expectation values of observables with respect to any quantum state prepared by an LCU procedure while requiring only a single ancilla qubit, and no multi-qubit controlled operations. The second approach (Analog LCU) is a simple, physically motivated, continuous-time analogue of LCU, tailored to hybrid qubit-qumode systems. The third method (Ancilla-free LCU) requires no ancilla qubit at all and is useful when we are interested in the projection of a quantum state (prepared by the LCU procedure) in some subspace of interest. We apply the first two techniques to develop new quantum algorithms for a wide range of practical problems, ranging from Hamiltonian simulation, ground state preparation and property estimation, and quantum linear systems. Remarkably, despite consuming fewer quantum resources they retain a provable quantum advantage. The third technique allows us to connect discrete and continuous-time quantum walks with their classical counterparts. It also unifies the recently developed optimal quantum spatial search algorithms in both these frameworks, and leads to the development of new ones that require fewer ancilla qubits. Overall, our results are quite generic and can be readily applied to other problems, even beyond those considered here.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the implementation of the Linear Combination of Unitaries (LCU) on intermediate - term quantum computers. The standard LCU process requires multiple ancilla qubits and complex multi - qubit control operations, which is a challenge in current and near - term quantum computing technologies. Therefore, this paper proposes three new methods to reduce the quantum resources required for implementing LCU, and these methods are more suitable for early fault - tolerant quantum computers and hybrid quantum - classical systems.
### Overview of the three methods:
1. **Single - Ancilla LCU**:
- **Objective**: Estimate the expected value of observables after a quantum state is prepared through the LCU process.
- **Features**: Only one ancilla qubit is required, and no multi - qubit control operations are needed.
- **Applications**: Used in Hamiltonian simulation, ground - state property estimation, and quantum linear system problems.
2. **Analog LCU**:
- **Objective**: Implement LCU in a continuous - time framework, especially suitable for hybrid quantum - classical systems.
- **Features**: Achieved by coupling discrete systems with continuous - variable systems (such as one - dimensional quantum harmonic oscillators).
- **Applications**: Develop new quantum algorithms for ground - state preparation and solving quantum linear systems.
3. **Ancilla - free LCU**:
- **Objective**: Randomly sample unitary operators to prepare quantum states without using ancilla qubits.
- **Features**: Applicable to the situation where only projection of quantum states within a certain subspace is required.
- **Applications**: Optimize quantum space search algorithms, reduce the number of required ancilla qubits, and unify discrete - time and continuous - time quantum walk frameworks.
### Main contributions:
- **Resource efficiency**: These methods significantly reduce the quantum resources required for implementing LCU, especially the number of ancilla qubits and the complexity of multi - qubit control operations.
- **Practical applications**: These methods are applied to a series of practical problems, including Hamiltonian simulation, ground - state property estimation, solving quantum linear systems, and quantum space search.
- **Theoretical guarantee**: Although fewer quantum resources are consumed, these methods still maintain provable quantum advantages.
### Specific application examples:
1. **Hamiltonian simulation**:
- Using the Single - Ancilla LCU method, the Hamiltonian \(H\) can be efficiently simulated, and the expected value \( \text{Tr}[O e^{-iHt} \rho_0 e^{iHt}] \) of the observable \(O\) can be estimated.
- Compared with the existing first - order Trotter method, this method has an exponentially shorter gate depth and overall gate depth under the precision requirement.
2. **Ground - state property estimation**:
- For the Hamiltonian \(H\) with an unknown ground - state \( |v_0\rangle \), using the Single - Ancilla LCU method can estimate the expected value \( \langle v_0 | O | v_0 \rangle \) of the observable \(O\).
- This method significantly reduces the required quantum resources while maintaining high precision.
3. **Quantical linear system**:
- For the Hermitian matrix \(H\) with a condition number of \( \kappa \), using the Single - Ancilla LCU method can estimate the expected value \( \langle x | O | x \rangle \) of the observable \(O\) for the solution vector \( |x\rangle \).
- This method significantly reduces the required quantum resources while maintaining high precision.
### Conclusion:
The three methods proposed in this paper are not only superior to traditional LCU methods in resource efficiency but also show strong application potential in a variety of practical problems. These methods provide new tools and ideas for practical applications on intermediate - term quantum computers.