To achieve universal quantum computation via general faulttolerant schemes, stabilizer operations must be supplemented with other nonstabilizer quantum resources. Motivated by this necessity, we develop a resource theory for magic quantum channels to characterize and quantify the quantum ‘magic’ or nonstabilizerness of noisy quantum circuits. For qudit quantum computing with odd dimension
 Award ID(s):
 1714215
 NSFPAR ID:
 10308394
 Publisher / Repository:
 IOP Publishing
 Date Published:
 Journal Name:
 New Journal of Physics
 Volume:
 21
 Issue:
 10
 ISSN:
 13672630
 Page Range / eLocation ID:
 Article No. 103002
 Format(s):
 Medium: X
 Sponsoring Org:
 National Science Foundation
More Like this

Variational Quantum Algorithms (VQAs) rely upon the iterative optimization of a parameterized unitary circuit with respect to an objective function. Since quantum machines are noisy and expensive resources, it is imperative to choose a VQA's ansatz appropriately and its initial parameters to be close to optimal. This work tackles the problem of finding initial ansatz parameters by proposing CAFQA, a Clifford ansatz for quantum accuracy. The CAFQA ansatz is a hardwareefficient circuit built with only Clifford gates. In this ansatz, the initial parameters for the tunable gates are chosen by searching efficiently through the Clifford parameter space via classical simulation, thereby producing a suitable stabilizer state. The stabilizer states produced are shown to always equal or outperform traditional classical initialization (e.g., HartreeFock), and often produce high accuracy estimations prior to quantum exploration. Furthermore, the technique is classically suited since a) Clifford circuits can be exactly simulated classically in polynomial time and b) the discrete Clifford space, while scaling exponentially in the number of qubits, is searched efficiently via Bayesian Optimization. For the Variational Quantum Eigensolver (VQE) task of molecular ground state energy estimation up to 20 qubits, CAFQA's Clifford Ansatz achieves a mean accuracy of near 99%, recovering as much as 99.99% of the correlation energy over HartreeFock. Notably, the scalability of the approach allows for preliminary ground state energy estimation of the challenging Chromium dimer with an accuracy greater than HartreeFock. With CAFQA's initialization, VQA convergence is accelerated by a factor of 2.5x. In all, this work shows that stabilizer states are an accurate ansatz initialization for VQAs. Furthermore, it highlights the potential for quantuminspired classical techniques to support VQAs.more » « less

Large multipartite quantum systems tend to rapidly reach extraordinary levels of complexity as their number of constituents and entanglement links grow. Here we use complex network theory to study a class of continuous variables quantum states that present both multipartite entanglement and nonGaussian statistics. In particular, the states are built from an initial imprinted cluster state created via Gaussian entangling operations according to a complex network structure. To go beyond states that can be easily simulated via classical computers we engender nonGaussian statistics via multiple photon subtraction operations. We then use typical networks measures, the degree and clustering, to characterize the emergent complex network of photonnumber correlations after photon subtractions. We show that, in contrast to regular clusters, in the case of imprinted complex network structures the emergent correlations are strongly affected by photon subtraction. On the one hand, we unveil that photon subtraction universally increases the average photonnumber correlations, regardless of the imprinted network structure. On the other hand, we show that the shape of the distributions in the emergent networks after subtraction is greatly influenced by the structure of the imprinted network, as witnessed by their highermoments. Thus for the field of network theory, we introduce a new class of networks to study. At the same time for the field of continuous variable quantum states, this work presents a new set of practical tools to benchmark systems of increasing complexity.more » « less

The challenge of quantum computing is to combine error resilience with universal computation. Diagonal gates such as the transversal T gate play an important role in implementing a universal set of quantum operations. This paper introduces a framework that describes the process of preparing a code state, applying a diagonal physical gate, measuring a code syndrome, and applying a Pauli correction that may depend on the measured syndrome (the average logical channel induced by an arbitrary diagonal gate). It focuses on CSS codes, and describes the interaction of code states and physical gates in terms of generator coefficients determined by the induced logical operator. The interaction of code states and diagonal gates depends very strongly on the signs of Z stabilizers in the CSS code, and the proposed generator coefficient framework explicitly includes this degree of freedom. The paper derives necessary and sufficient conditions for an arbitrary diagonal gate to preserve the code space of a stabilizer code, and provides an explicit expression of the induced logical operator. When the diagonal gate is a quadratic form diagonal gate (introduced by Rengaswamy et al.), the conditions can be expressed in terms of divisibility of weights in the two classical codes that determine the CSS code. These codes find application in magic state distillation and elsewhere. When all the signs are positive, the paper characterizes all possible CSS codes, invariant under transversal Z rotation through π / 2 l , that are constructed from classical ReedMuller codes by deriving the necessary and sufficient constraints on l . The generator coefficient framework extends to arbitrary stabilizer codes but there is nothing to be gained by considering the more general class of nondegenerate stabilizer codes.more » « less

null (Ed.)Universal quantum computation requires the implementation of a logical nonClifford gate. In this paper, we characterize all stabilizer codes whose code subspaces are preserved under physical T and T † gates. For example, this could enable magic state distillation with nonCSS codes and, thus, provide better parameters than CSSbased protocols. However, among nondegenerate stabilizer codes that support transversal T, we prove that CSS codes are optimal. We also show that triorthogonal codes are, essentially, the only family of CSS codes that realize logical transversal T via physical transversal T. Using our algebraic approach, we reveal new purelyclassical coding problems that are intimately related to the realization of logical operations via transversal T. Decreasing monomial codes are also used to construct a code that realizes logical CCZ. Finally, we use Ax's theorem to characterize the logical operation realized on a family of quantum ReedMuller codes. This result is generalized to finer angle Zrotations in https://arxiv.org/abs/1910.09333.more » « less

The stabilizer rank of a quantum state ψ is the minimal r such that  ψ ⟩ = ∑ j = 1 r c j  φ j ⟩ for c j ∈ C and stabilizer states φ j . The running time of several classical simulation methods for quantum circuits is determined by the stabilizer rank of the n th tensor power of singlequbit magic states.We prove a lower bound of Ω ( n ) on the stabilizer rank of such states, improving a previous lower bound of Ω ( n ) of Bravyi, Smith and Smolin \cite{BSS16}. Further, we prove that for a sufficiently small constant δ , the stabilizer rank of any state which is δ close to those states is Ω ( n / log n ) . This is the first nontrivial lower bound for approximate stabilizer rank.Our techniques rely on the representation of stabilizer states as quadratic functions over affine subspaces of F 2 n , and we use tools from analysis of boolean functions and complexity theory. The proof of the first result involves a careful analysis of directional derivatives of quadratic polynomials, whereas the proof of the second result uses RazborovSmolensky low degree polynomial approximations and correlation bounds against the majority function.more » « less