Converting classical information into a quantum circuit is an inevitable step in utilizing quantum computing. Current quantum computers are referred to as NISQ devices, which have a high level of noise without error correction, imposing strict limitations on the number of qubits and quantum gates. Therefore, when constructing quantum circuits, it becomes crucial to generate shallower circuits. Specifically, when amplitude encoding is employed for classical-quantum information conversion, analytical methods often necessitate an exponential number of quantum gates relative to the number of qubits, rendering them unsuitable for current NISQ devices. Here, we explore a method for constructing an approximately improved circuit for amplitude encoding, considering classical information from an array composed of floating-point numbers. In our method, we optimize the matrix elements of a two-qubit unitary gate using a technique similar to that used in the tensor network method. We then analytically decompose the obtained unitary matrix into a product of elementary unitary gates. Furthermore, using this as an element of the basic optimization technique, we explore a method for selectively adapting better quantum gates. We apply this method to the problem of constructing a circuit that approximately generates the ground state of the quantum spin model. Consequently, we find that better circuits can be automatically constructed without prior knowledge of classical information.
Converting classical information into a quantum circuit is an inevitable step in utilizing quantum computing. Current quantum computers are referred to as NISQ devices, which have a high level of noise without error correction, imposing strict limitations on the number of qubits and quantum gates. Therefore, when constructing quantum circuits, it becomes crucial to generate shallower circuits. Specifically, when amplitude encoding is employed for classical-quantum information conversion, analytical methods often necessitate an exponential number of quantum gates relative to the number of qubits, rendering them unsuitable for current NISQ devices. Here, we explore a method for constructing an approximately improved circuit for amplitude encoding, considering classical information from an array composed of floating-point numbers. In our method, we optimize the matrix elements of a two-qubit unitary gate using a technique similar to that used in the tensor network method. We then analytically decompose the obtained unitary matrix into a product of elementary unitary gates. Furthermore, using this as an element of the basic optimization technique, we explore a method for selectively adapting better quantum gates. We apply this method to the problem of constructing a circuit that approximately generates the ground state of the quantum spin model. Consequently, we find that better circuits can be automatically constructed without prior knowledge of classical information.
Abstract Quantum algorithms and simulations often require the preparation of complex states through sequences of 2-qubit gates. For a generic quantum state, the number of required gates grows exponentially with the number of qubits, becoming unfeasible on near-term quantum devices. Here, we aim at creating an approximate encoding of the target state using a limited number of gates. As a first step, we consider a quantum state that is efficiently represented classically, such as a one-dimensional matrix product state. Using tensor network techniques, we develop and implement an efficient optimization algorithm that approaches the optimal implementation, requiring a polynomial number of iterations. We, next, consider the implementation of the proposed optimization algorithm directly on a quantum computer and overcome inherent barren plateaus by employing a local cost function. Our work offers a universal method to prepare target states using local gates and represents a significant improvement over known strategies.
Abstract Quantum state preparation is a vital routine in many quantum algorithms, including solution of linear systems of equations, Monte Carlo simulations, quantum sampling, and machine learning. However, to date, there is no established framework of encoding classical data into gate-based quantum devices. In this work, we propose a method for the encoding of vectors obtained by sampling analytical functions into quantum circuits that features polynomial runtime with respect to the number of qubits and provides > 99.9 % accuracy, which is better than a state-of-the-art two-qubit gate fidelity. We employ hardware-efficient variational quantum circuits, which are simulated using tensor networks, and matrix product state representation of vectors. In order to tune variational gates, we utilize Riemannian optimization incorporating auto-gradient calculation. Besides, we propose a ‘cut once, measure twice’ method, which allows us to avoid barren plateaus during gates’ update, benchmarking it up to 100-qubit circuits. Remarkably, any vectors that feature low-rank structure—not limited by analytical functions—can be encoded using the presented approach. Our method can be easily implemented on modern quantum hardware, and facilitates the use of the hybrid-quantum computing architectures.
We introduce an quantum-classical hybrid algorithm, named automatic quantum circuit encoding (AQCE), that is designed to encode an arbitrary quantum state | Ψ 〉 onto an optimal quantum circuit C ̂ composed of a finite set of single- and two-qubit quantum gates. The algorithm employs an objective function based on the absolute value of fidelity, F = 〈 0 | C ̂ † | Ψ 〉 , which is iteratively maximized to construct an optimal quantum circuit C ̂ with controlled accuracy. Here, | 0 〉 denotes a trivial product state in the computational basis of a quantum computer. The core of this algorithm lies in the sequential determination of an optimal set of two-qubit unitary operators, identified one by one through the singular value decomposition of the fidelity tensor. Once an optimal set of operators is determined, including the location of qubits on which each operator acts, elementary quantum gates are assigned algebraically to these two-qubit unitary operators. Importantly, these procedures are deterministic without assuming any quantum circuit ansatz and therefore eliminate the need for parameter optimization of parametrized quantum gates. Through noiseless numerical simulations, we demonstrate the effectiveness of the AQCE algorithm in encoding ground states of quantum many-body systems, including the spin-1/2 antiferromagnetic Heisenberg model and the spin-1/2 X Y model. We also compare these results with quantum circuit encoding employing predefined circuit structures such as Trotter-like and MERA-like circuit ansatze. Furthermore, our algorithm extends to classical data, for instance, classical images represented as quantum states using amplitude encoding. The adaptability enables us to adjust the quantum resource requirement, i.e., the number of qubits, by partitioning classical data into multiple distinct segments. This feature holds potential for near-term applications in quantum machine learning, such as a state preparation of classical data for an input quantum state to be processed. Finally, using a real quantum device provided by IBM Quantum, we experimentally validate that a quantum circuit generated by the AQCE algorithm can indeed reasonably represent the original quantum state. Published by the American Physical Society 2024
Quantum computing is currently in the era of Noisy-Intermediate-Scale Quantum (NISQ), where superconducting quantum chips can only support two-qubit gates between adjacent physical qubits. This constraint necessitates the insertion of SWAP gates during circuit mapping to ensure that the nearest neighbor requirements are met on actual quantum computing devices. In this work, based on the circuit partitioning and unitary matrix decomposition mechanism, an equivalent transformation form of quantum circuit is given to reduce the number of two-qubit gates in the target quantum circuit. Experimental results demonstrate that the decomposed equivalent circuits have a shorter depth, with an average optimization rate of 18.41%. Our proposed optimization method effectively reduces the number of two-qubit gates in quantum circuits, enhancing the efficiency of mapping on NISQ devices.
Despite the advantage quantum computers are expected to deliver when performing simulations compared to their classical counterparts, the current noisy intermediate-scale quantum (NISQ) devices remain limited in their capabilities. The training of parameterized quantum circuits (PQCs) remains a significant practical challenge, exacerbated by the requirement of shallow circuit depth necessary for their hardware implementation. Hybrid methods employing classical computers alongside quantum devices, such as the Variational Quantum Eigensolver (VQE), have proven useful for analyzing the capabilities of NISQ devices to solve relevant optimization problems. Still, in the simulation of complex structures involving the many-body problem in quantum mechanics, major issues remain about the representation of the system and obtaining results which clearly outperform classical computational devices. In this research contribution we propose the use of parameterized Tensor Networks (TNs) to attempt an improved performance of the VQE algorithm. A joint approach is presented where the Hamiltonian of a system is encapsulated into a Matrix Product Operator (MPO) within a parameterized unitary TN hereby splitting up the optimization task between the TN and the VQE. We show that the hybrid TN-VQE implementation improves the convergence of the algorithm in comparison to optimizing randomly-initialized quantum circuits via VQE.
Tensor networks have been eagerly developed in recent years as a simulation method for quantum computation on classical computers. The efficiency of tensor networks for simulating quantum computation has been shown by solving a task designed for demonstrating quantum computing supremacy. However, such a task is not useful for real application. Therefore, there is the room for research of finding specific applications suitable for exploiting tensor network simulation. As such an application, we propose optimization of circuits to generate non- Gaussian states. Non-Gaussian state is one of the crucial elements for achieving universal continuous variable quantum computation. We consider this problem as a variational optimization of optical circuits to generate desired non-Gaussian states. Tensor networks efficiently simulate the optical circuits, and their compatibility with automatic differentiation provides a heuristic way to optimize the circuits. We propose and report the result of our approach that combines tensor networks and automatic differentiation to perform variational optimization of circuits such that the desired non-Gaussian state is approximately generated. The complexity of contracting tensor networks is scaled by degree of entanglement, so we consider relatively shallow optical circuit. Such a restriction is beneficial for considering devices without error correction method, which are accessible in near-term.