Estimating quantum amplitude, or the overlap between two quantum states, is a fundamental task in quantum computing and underpins numerous quantum algorithms. In this work, we introduce a novel algorithmic framework for quantum amplitude estimation by transforming pure states into their matrix forms (Matrixization) and encoding them into non-diagonal blocks of density operators and diagonal blocks of unitary operators. Utilizing the construction details of state preparation circuits, we systematically reconstruct amplitude estimation algorithms within the novel matrixization framework through a technique known as channel block encoding. Compared with the standard approach, amplitude estimation through matrixization can have a different complexity that depends on the entanglement properties of the two quantum states. Specifically, our new algorithm can have exponentially smaller gate complexity when one of the two quantum states is prepared by a linear-depth quantum circuit that is below maximal entanglement under a certain bi-partition and the other state is maximally entangled. We later generalize this result to broader regimes and discuss implications. Our results demonstrate that the near-optimal performance of the standard amplitude estimation algorithm can be surpassed in specific cases.
Estimating quantum amplitude, or the overlap between two quantum states, is a fundamental task in quantum computing and underpins numerous quantum algorithms. In this work, we introduce a novel algorithmic framework for quantum amplitude estimation by transforming pure states into their matrix forms (Matrixization) and encoding them into non-diagonal blocks of density operators and diagonal blocks of unitary operators. Utilizing the construction details of state preparation circuits, we systematically reconstruct amplitude estimation algorithms within the novel matrixization framework through a technique known as channel block encoding. Compared with the standard approach, amplitude estimation through matrixization can have a different complexity that depends on the entanglement properties of the two quantum states. Specifically, our new algorithm can have exponentially smaller gate complexity when one of the two quantum states is prepared by a linear-depth quantum circuit that is below maximal entanglement under a certain bi-partition and the other state is maximally entangled. We later generalize this result to broader regimes and discuss implications. Our results demonstrate that the near-optimal performance of the standard amplitude estimation algorithm can be surpassed in specific cases.
Quantum algorithms manipulate the amplitudes of quantum states to find solutions to computational problems. In this work, we present a framework for applying a general class of non-linear functions to the amplitudes of quantum states, with up-to an exponential improvement over the previous work. Our framework accepts a state preparation unitary (or block-encoding), specified as a quantum circuit, defining an N-dimensional quantum state. We then construct a diagonal block-encoding of the amplitudes of the quantum state, building on and simplifying previous work. Techniques from the QSVT literature are then used to process this block-encoding. The source of our exponential speedup comes from the quantum analog of importance sampling. We then derive new error-bounds relevant for end-to-end applications, giving the error in terms of ℓ2-norm error. We demonstrate the power of this framework with four key applications. First, our algorithm can apply the important function tanh(x) to the amplitudes of an arbitrary quantum state with at most an ℓ2-norm error of ε, with worst-case query complexity of O(log(N/ε)), in comparison to the O(Nlog(N/ε)) of prior work. Second, we present an algorithm solving a new formulation of maximum finding in the unitary input model. Third, we prove efficient end-to-end complexities in applying a number of common non-linear functions to arbitrary quantum states. Finally, we generalize and unify existing quantum arithmetic-free state-preparation techniques. Our work provides an important and efficient algorithmic building block with potentially numerous applications in areas such as optimization, state preparation, quantum chemistry, and machine learning.
Due to the linearity of quantum operations, it is not straightforward to implement nonlinear transformations on a quantum computer, making some practical tasks like a neural network hard to achieve. In this paper, we define a task called and provide an algorithm to achieve this task. Specifically, we construct a block encoding of complex amplitudes from a state preparation unitary. This allows us to transform the complex amplitudes by using quantum singular value transformation. We evaluate the required overhead in terms of input dimension and precision, which reveals that the algorithm depends on the roughly square root of input dimension and achieves an exponential speedup on precision compared with previous work. We also discuss its possible applications to quantum machine learning, where complex amplitudes encoding classical or quantum data are processed by the proposed method. In this paper, we provide a promising way to introduce the highly complex nonlinearity of the quantum states, which is essentially missing in quantum mechanics. Published by the American Physical Society 2024
Quantum State Preparation Algorithms consist of defining a sequence or unitary operations to load a specific target state on a quantum computer. We can use those algorithms in appli- cations such as quantum machine learning. However, some state preparation algorithms have exponential circuit complexity with the number of qubits on the system. That is the case of amplitude encoding algorithms, which is an encoding type for loading normalized data into the probability amplitudes of the state. To circumvent this overhead in circuits’ complexity, works explore specific properties of quantum states to optimize the circuit’s complexity, such as sparsity or symmetry. Other works explore simplifying the quantum circuit to load an ap- proximate quantum state. It is the case of Quantum Generative Adversarial Networks, which use a specific circuit architecture comprised of alternating blocks of single-qubit rotations and two-qubit entangling controlled gates. But when trained to load random distributions on, we observed the performance deteriorates as the number of qubits increases in terms of relative entropy. In this work, we propose different architectures for the Quantum Generative mod- els based on the state preparation algorithm known as Low-Rank. Through experiments for loading the log-normal distribution, we show error reductions in quantum state initialization.
Quantum signal processing combined with quantum eigenvalue transformation has recently emerged as a unifying framework for several quantum algorithms. In its standard form, it consists of two separate routines: block encoding, which encodes a Hamiltonian in a larger unitary, and signal processing, which achieves an almost arbitrary polynomial transformation of such a Hamiltonian using rotation gates. The bottleneck of the entire operation is typically constituted by block encoding, and in recent years, several problem-specific techniques have been introduced to overcome this problem. Within this framework, we present a procedure to block-encode a Hamiltonian based on its matrix product operator (MPO) representation. More specifically, we encode every MPO tensor in a larger unitary of dimension D+2, where $D=\ensuremath{\lceil}{log}_{2}(\ensuremath{\chi})\ensuremath{\rceil}$ is the number of subsequently contracted qubits that scales logarithmically with the virtual bond dimension $\ensuremath{\chi}$. Given any system of size L, our method requires L+D ancillary qubits in total, while the number of one- and two-qubit gates decomposing the block-encoding circuit scales as $O(L{\ensuremath{\chi}}^{2})$. Moreover, block encodings generally require postselection. Our model exhibits a success probability decaying exponentially with L. Nevertheless, we present a way to mitigate this limitation for finite systems.
The subject of this thesis, quantum estimation theory, is inspired by recent developments, both practical and theoretical, in the new field of quantum information and computation. The main task of quantum estimation theory, the subject of this thesis, is that given many identical copies of an unknown quantum system one wants to guess or estimate what the system is. This is done by performing an measurement and analyzing the data obtained from it.
A quantum state is represented by a density matrix. In some cases one does not need to know the whole density matrix, sometimes a partial characterization is enough. Chapter 2 of this thesis is about optimally estimating the spectrum, i.e. the eigenvalues, of a density matrix. This is useful, for example, for estimating the entanglement of a bipartite pure state. The results of chapter 2 tell us that one can optimally estimate bipartite entanglement with LOCC measurements on one of the two parties.
Unitary operations transform density matrices to density matrices. They are the gates of quantum information processing. Suppose one has one such unitary operation but one does not know what it does. In order to characterize it one needs to know how it transforms any input state. In order to know how a particular state is transformed, one can prepare that state, feed it to the unitary many times, and measure the output. One state is, of course, not enough. It turns out that the unitary can be completely characterized with a finite set of states, this is known as quantum process tomography. Unfortunately, in many cases it is difficult to have available in the lab all the input states needed to perform quantum process tomography. It is here where entanglement comes to the rescue. One pair of maximally entangled qubits, where one of them is used as input for the unitary gate and the other is left untouched, is sufficient. All the information about the unknown gate is contained in the joint output state. This is the problem treated in chapter 3. Now the output state needs to be measured. Again, one could measure the two qubits separately (LOCC) or jointly (collective measurement). Is there anything to gain by performing joint measurements? The answer is yes, optimal collective measurements are at least 3 times more accurate than any LOCC measurement.
Chapter 4 treats the problem of estimating commuting unitary gates. There it is shown that this extra information makes it unnecessary to use an entangled input state and to use collective measurements at the output.
In chapters 3 and 4 it is assumed that only one copy of the unitary gate is available. If, however, more than one copy (say N ) are available at the same time one could use an N-fold entangled state as input. If no entanglement is used, classical statistics tells us that the error of the estimation is proportional to 1/√N. In the literature, it has been shown that by using an entangled state in the input one can achieve an error proportional to 1/N. However, this has been shown only for qubit gates. In chapter 5 important steps are taken in the direction of showing the same thing for a general unitary gate, but this remains an open problem.
Quantum algorithms for diverse problems, including search and optimization problems, require the implementation of a reflection operator over a target state. Commonly, such reflections are approximately implemented using phase estimation. Here we use a linear combination of unitaries and a version of amplitude amplification to approximate reflection operators over eigenvectors of unitary operators using exponentially less ancillary qubits in terms of a precision parameter. The gate complexity of our method is also comparable to that of the phase estimation approach in a certain limit of interest. Like phase estimation, our method requires the implementation of controlled unitary operations. We then extend our results to the Hamiltonian case where the target state is an eigenvector of a Hamiltonian whose matrix elements can be queried. Our results are useful in that they reduce the resources required by various quantum algorithms in the literature. Our improvements also rely on an efficient quantum algorithm to prepare a quantum state with Gaussian-like amplitudes that may be of independent interest. We also provide a lower bound on the query complexity of implementing approximate reflection operators on a quantum computer.