Unitary errors, such as those arising from fault-tolerant compilation of quantum algorithms, systematically bias observable estimates. For example, the Solovay-Kitaev algorithm can be used to decompose any single-qubit rotation into a sequence of Clifford and non-Clifford (T) gates, which approximates the desired operation up to a small unitary error, resulting in a bias in the observable value (see left figure above). One way to correct this bias is to use a decomposition with high accuracy (i.e., low unitary error), which requires substantial additional resources—particularly, a high non-Clifford gate count.
Here, we present an alternative method to construct unbiased observable estimators without requiring additional non-Clifford gates.Our method relies on a decomposition of the ideal channel as a mixture of channels undergoing unitary errors. The unitary errors in the decomposition are the same as those in the ideal channel. Combined with Pauli twirling, we can construct approximate channel estimators using channels that undergo arbitrary unitary errors. Using this approach, we construct unbiased observable estimators based on the output of such channels. We then analyze our method and present the conditions under which it can be applied.
Our method requires knowledge of the error channel parameters, which are typically known in the context of fault-tolerant compilation of quantum algorithms. This makes our method a natural fit for such applications. We carry out numerical simulations to demonstrate its utility. Specifically, we use our method to track an observable during the time dynamics of the Ising Hamiltonian. The results (see right figure above) confirm that our method enables accurate estimation of observables for sufficiently large circuits, albeit at the cost of additional measurements. Furthermore, our method yields accurate estimates of expectation values even in cases where physical gates undergo unitary errors due to miscalibration, provided that partial knowledge of the error parameters is available.
Our strategy offers a resource-efficient way to mitigate the impact of unitary errors, improving the estimation of observables in both noisy near-term quantum devices and fault-tolerant implementations of quantum algorithms.
For more details, please refer to the paper: https://arxiv.org/abs/2505.11486.
Quantum Error Correction is essential for fault-tolerant (FT) quantum computation. However, a major hurdle in realizing FT quantum computation is the substantial overhead required to encode information into logical qubits. This resource-intensive process makes it challenging to perform reliable quantum computations, especially with current quantum devices. To address this, we need to explore alternative approaches that can enable reliable computation in the near term.
In this article, we present a framework for designing quantum algorithms tailored for reliable execution on early fault-tolerant quantum computers. Our focus is on approximating the ground states of molecules, a critical problem in chemistry and materials science.
We first develop an efficient classical algorithm to construct approximations of these ground states using stabilizer states - special types of quantum states that are computationally efficient to work with. By testing our algorithm on molecules with up to 36 qubits, we found that our approximations outperformed traditional methods, such as the Hartree-Fock approximation, which is widely used in quantum chemistry. Additionally, we introduced circuit constructions for preparing generalized stabilizer states - a class of states that offer improved approximations in certain cases. While the approximations we construct do not yet meet the accuracy required for many practical applications, they can serve as a valuable starting point for more sophisticated quantum techniques, such as quantum phase estimation and variational quantum eigensolvers.
The next step involves using the stabilizer approximations to construct quantum error detection codes. Specifically, we used codeword stabilized codes to design error detection methods that require minimal resources. These codes enable the preparation of both stabilizer and generalized stabilizer states with higher fidelity using post-selection. Using a simple noise model, we perform noisy simulations and verify the error detection properties of the codes we construct for preparing the states. These simulations suggest that our method can be useful in preparing approximate eigenstates for different molecular systems, albeit with an overhead due to increasing discard rates.
Our work represents a first step toward the design of algorithms suitable for reliable implementation on quantum devices of the near future. Future work will involve improving this approach for better approximations and developing fully fault-tolerant protocols for these approximations.
For more details, please refer to the paper (https://arxiv.org/abs/2410.21125) posted on arxiv.
Efficiently calculating the low-lying eigenvalues of Hamiltonians, expressed as sums of Pauli operators, is a key challenge in quantum computing. Variational algorithms offer a promising solution, where trial wavefunctions are prepared on noisy quantum devices using short quantum circuits and iteratively updated to minimize the expectation value of a Hamiltonian. These methods have broad applications in fields, like quantum chemistry, condensed matter physics, and others.
A primary challenge in these algorithms is designing quantum circuits, referred to as ansätze, that are both efficient and effective for this purpose. Current approaches fall into two categories: problem-based ansätze, which leverage the Hamiltonian's structure for accuracy but require impractically deep circuits for NISQ devices, and hardware-efficient ansätze, which are shallow and device-compatible but suffer from scalability and optimization issues, such as barren plateaus.
In our work, we address these limitations by combining problem-inspired structures with problem-agnostic layers. We leverage techniques from quantum error correction to design a family of circuits with good trainability and convergence properties. Our approach systematically partitions the Pauli operators in the Hamiltonian into clusters of mutually commuting operators. Each cluster can then be diagonalized using Clifford circuits, as they form a stabilizer group. The Clifford circuits is constructed efficiently using the tableau representation of the Pauli operators. We then approximate the resulting diagonal operators in each cluster by block-diagonal unitaries using a tensor product of arbitrary single-qubit unitaries. The Clifford unitaries, combined with layers of parameterized single-qubit rotations, form the combined-codes ansatz. We provide empirical evidence for the effectiveness of these circuits in accurately determining the ground state energy of different molecular Hamiltonians by carrying out various numerical simulations.
Additionally, by utilizing the correspondence between stabilizer states and graph states, we construct even shorter Clifford circuits, leading to more compact designs. The resulting circuits are referred to as the Hamiltonian-Based Graph States Ansatz (H-GSA). We also conduct numerical simulations with these circuits and demonstrate their accuracy in estimating ground state energies of various molecules, with sizes up to 12 qubits.
The family of parameterized circuits proposed here is low-depth, making them suitable for NISQ devices while maintaining the ability to approximate ground and low-lying excited states. The designs support good initialization strategies, mitigating optimization issues like barren plateaus. While the circuits proposed here are tailored to specific Hamiltonians, the framework can be generalized to other problems. Additionally, this circuit design can naturally support error detection schemes, further enhancing its utility for near-term quantum devices.
For more details, please take a look at the papers posted on arxiv here -
1. https://arxiv.org/abs/2312.08502
2. https://arxiv.org/abs/2312.17146