Estimating the expectation value of an operator corresponding to an observable is a fundamental task in quantum computation. It is often impossible to obtain such estimates directly, as the computer is restricted to measuring in a fixed computational basis. One common solution splits the operator into a weighted sum of Pauli operators and measures each separately, at the cost of many measurements. An improved version collects mutually commuting Pauli operators together before measuring all operators within a collection simultaneously. The effectiveness of doing this depends on two factors. Firstly, we must understand the improvement offered by a given arrangement of Paulis in collections. In our work, we propose two natural metrics for quantifying this, operating under the assumption that measurements are distributed optimally among collections so as to minimise the overall finite sampling error. Motivated by the mathematical form of these metrics, we introduce SORTED INSERTION, a collecting strategy that exploits the weighting of each Pauli operator in the overall sum. Secondly, to measure all Pauli operators within a collection simultaneously, a circuit is required to rotate them to the computational basis. In our work, we present two efficient circuit constructions that suitably rotate any collection of $k$ independent commuting $n$-qubit Pauli operators using at most $kn-k(k+1)/2$ and $O(kn/\log k)$ two-qubit gates respectively. Our methods are numerically illustrated in the context of the Variational Quantum Eigensolver, where the operators in question are molecular Hamiltonians. As measured by our metrics, SORTED INSERTION outperforms four conventional greedy colouring algorithms that seek the minimum number of collections.
Using both the fermionic-like and the bosonic-like properties of the Pauli spin operators we discuss the Bose description of the Pauli spin operators firstly proposed by Shigefumi Naka, and derive another new bosonic representation of the Pauli spin operators. The eigenvector of $σ_{-}$ in the bosonic representation is a nonlinear coherent state with the eigenvalues being the Grassmann numbers.
We study an eigenvalue problem for a spin matrix arising in the Pauli Lubanski vector operator. Entanglement of the eigenvectors and its connection with degeneracy is discussed.
SymFT: Universal Fault-Tolerant Quantum Circuit Simulation via Symbolic Clifford--Pauli Frames and Stabilizer Coordinates
University of Edinburgh（爱丁堡大学）；Arclight Quantum Computing Inc.（Arclight量子计算公司）；Institute of Computing Technology, Chinese Academy of Sciences（中国科学院计算技术研究所）
We propose and demonstrate scheme for direct experimental testing of quantum commutation relations for Pauli operators. The implemented device is an advanced quantum processor that involves two programmable quantum gates. Depending on a state of two-qubit program register, we can test either commutation or anti-commutation relations. Very good agreement between theory and experiment is observed, indicating high-quality performance of the implemented quantum processor and reliable verification of commutation relations for Pauli operators.
In most Bell tests, the measurement settings are specially chosen so that the maximal quantum violations of the Bell inequalities can be detected, or at least, the violations are strong enough to be observed. Such choices can usually associate the corresponding Bell operators to a kind of effective observables, called pseudo Pauli operators, providing us a more intuitive understanding of Bell nonlocality in some sense. Based on that, a more general quantum-to-classical approach for the constructions of Bell inequalities is developed. Using this approach, one can not only derive several kinds o…
We define a quantum-mechanical time operator that is selfadjoint and compatible with the energy operator having a spectrum bounded from below. On their common domain, the operators of time and energy satisfy the expected canonical commutation relation. Pauli's theorem is bypassed because the correspondence between time and energy is not given by the standard Fourier transformation, but by a variant thereof known as the holomorphic Fourier transformation.
Many applications of practical interest rely on time evolution of Hamiltonians that are given by a sum of Pauli operators. Quantum circuits for exact time evolution of single Pauli operators are well known, and can be extended trivially to sums of commuting Paulis by concatenating the circuits of individual terms. In this paper we reduce the circuit complexity of Hamiltonian simulation by partitioning the Pauli operators into mutually commuting clusters and exponentiating the elements within each cluster after applying simultaneous diagonalization. We provide a practical algorithm for partitio…
The theorem known from Pauli equation about operators that anticommute with Dirac's $K$-operator is generalized to the Dirac equation. By means of this theorem the operator is constructed which governs the hidden symmetry in relativistic Coulomb problem (Dirac equation). It is proved that this operator coincides with the familiar Johnson-Lippmann one and is intimately connected to the famous Laplace-Runge-Lenz (LRL) vector. Our derivation is very simple and informative. It does not require a longtime and tedious calculations, as is offten underlined in most papers.
Several linear algebra routines for quantum computing use a basis of tensor products of identity and Pauli operators to describe linear operators, and obtaining the coordinates for any given linear operator from its matrix representation requires a basis transformation, which for an $\mathrm N\times\mathrm N$ matrix generally involves $\mathcal O(\mathrm N^4)$ arithmetic operations. Herein, we present an efficient algorithm that for our particular basis transformation only involves $\mathcal O(\mathrm N^2\log_2\mathrm N)$ operations. Because this algorithm requires fewer than $\mathcal O(\math…
We report experimental verification of the commutation relation for Pauli spin operators using quantum interference of the single-photon polarization state. By superposing the quantum operations $σ_z σ_x$ and $σ_x σ_z$ on a single-photon polarization state, we have experimentally implemented the commutator, $[σ_{z}, σ_{x}]$, and the anticommutator, $\{σ_{z}, σ_{x}\}$, and have demonstrated the relative phase factor of $π$ between $σ_z σ_x$ and $σ_x σ_z$ operations. The experimental quantum operation corresponding to the commutator, $[σ_{z}, σ_{x}]=kσ_y$, showed process fidelity of 0.94 compare…
Schroedinger's equation says that the Hamiltonian is the generator of time translations. This seems to imply that any reasonable definition of time operator must be conjugate to the Hamiltonian. Then both time and energy must have the same spectrum since conjugate operators are unitarily equivalent. Clearly this is not always true: normal Hamiltonians have lower bounded spectrum and often only have discrete eigenvalues, whereas we typically desire that time can take any real value. Pauli concluded that constructing a general a time operator is impossible (although clearly it can be done in spe…
Enhanced measurements on quantum computers via the simultaneous probing of non-commuting Pauli operators
University of Exeter（埃克塞特大学）；Institute for Quantum Computing, University of Waterloo（滑铁卢大学量子计算研究所）；Department of Combinatorics & Optimization, University of Waterloo（滑铁卢大学组合优化系）
The construction of unitary operator bases in a finite-dimensional Hilbert space is reviewed through a nonstandard approach combinining angular momentum theory and representation theory of SU(2). A single formula for the bases is obtained from a polar decomposition of SU(2) and analysed in terms of cyclic groups, quadratic Fourier transforms, Hadamard matrices and generalized Gauss sums. Weyl pairs, generalized Pauli operators and their application to the unitary group and the Pauli group naturally arise in this approach.
The purpose of this article is to derive a Markovian approximation of the reduced time dynamics of observables for the Pauli-Fierz Hamiltonian with a precise control of the error terms. In that aim, we define a Lindblad operator associated to the corresponding quantum master equation. In a particular case, this allows to study the transition probability matrix.
Characterizing Pauli Propagation via Operator Complexity
Yau Mathematical Sciences Center and Department of Mathematics, Tsinghua University（清华大学丘成桐数学科学中心及数学系）；Beijing Institute of Mathematical Sciences and Applications（北京国际数学研究中心）
Computing noise-canceling observables via Pauli propagation
IBM Quantum（IBM量子）；IBM Research – Silicon Valley（IBM硅谷研究院）；IBM T.J. Watson Research Center（IBM T.J.沃森研究中心）；IBM Research Europe – Zurich（IBM欧洲苏黎世研究院）；Research Triangle Park（研究三角园区）；IBM Research Cambridge（IBM剑桥研究院）
Learning Noise-Robust Stabilizer Structure via Bell Sampling
Joint Center for Quantum Information and Computer Science, University of Maryland and NIST（马里兰大学与国家标准与技术研究院量子信息与计算科学联合中心）；Department of Physics, University of Maryland（马里兰大学物理系）；Department of Physics, Carnegie Mellon University（卡内基梅隆大学物理系）；Department of Computer Science, Carnegie Mellon University（卡内基梅隆大学计算机科学系）；Joint Quantum Institute, University of Maryland and NIST（马里兰大学与国家标准与技术研究院联合量子研究所）
We propose an extension to the Pauli stabiliser formalism that includes fractional $2π/N$ rotations around the $Z$ axis for some integer $N$. The resulting generalised stabiliser formalism - denoted the XP stabiliser formalism - allows for a wider range of states and codespaces to be represented. We describe the states which arise in the formalism, and demonstrate an equivalence between XP stabiliser states and 'weighted hypergraph states' - a generalisation of both hypergraph and weighted graph states. Given an arbitrary set of XP operators, we present algorithms for determining the codespace…
We provide a construction of sets of (d/2+1) mutually unbiased bases (MUBs) in dimensions d=4,8 using maximal commuting classes of Pauli operators. We show that these incomplete sets cannot be extended further using the operators of the Pauli group. However, specific examples of sets of MUBs obtained using our construction are shown to be strongly unextendible; that is, there does not exist another vector that is unbiased with respect to the elements in the set. We conjecture the existence of such unextendible sets in higher dimensions (d=2^{n}, n>3) as well. Furthermore, we note an interestin…
The commutation relations of the generalized Pauli operators of a qubit-qutrit system are discussed in the newly established graph-theoretic and finite-geometrical settings. The dual of the Pauli graph of this system is found to be isomorphic to the projective line over the product ring Z2xZ3. A "peculiar" feature in comparison with two-qubits is that two distinct points/operators can be joined by more than one line. The multi-line property is shown to be also present in the graphs/geometries characterizing two-qutrit and three-qubit Pauli operators' space and surmised to be exhibited by any o…
The realisation of large-scale quantum computing is no longer simply a hardware question. The rapid development of quantum technology has resulted in dozens of control and programming problems that should be directed towards the classical computer science and engineering community. One such problem is known as Pauli tracking. Methods for implementing quantum algorithms that are compatible with crucial error correction technology utilise extensive quantum teleportation protocols. These protocols are intrinsically probabilistic and result in correction operators that occur as byproducts of telep…
The Pauli Exclusion Operator (PEO) which ensures proper symmetry of the eigenstates of multi-electron systems with respect to exchange of each pair of electrons is introduced. Once PEO is added to the Hamiltonian, no additional constraints on multi-electron wave function due to the Pauli exclusion principle are needed. For two-electron states in two dimensions ($2D$) the PEO can be expressed in a closed form in terms of momentum operators, while in the position representation PEO is a non-local operator. Generalizations of PEO for multi-electron systems is introduced. Several approximations to…
Measuring the expectation value of Pauli operators on prepared quantum states is a fundamental task in a multitude of quantum algorithms. Simultaneously measuring sets of operators allows for fewer measurements and an overall speedup of the measurement process. We investigate the task of partitioning a random subset of Pauli operators into simultaneously-measurable parts. Using heuristics from coloring random graphs, we give an upper bound for the expected number of parts in our partition. We go on to conjecture that allowing arbitrary Clifford operators before measurement, rather than single-…
Wave functions are generally written with arguments consisting of sets of ``particle'' coordinates and quantum numbers. Pauli derived a principle governing the exchange of pairs of sets that differ only in their spatial and spin component $(m_s)$ coordinates. This principle states that an exchange of two of these sets produces the same wave function except for its being multiplied by a factor of $(-1)^{2s}$. Pauli's proof is based upon quantum field operators and is difficult to understand. A much simpler proof, making use of properties of wave functions, is presented here.
The Pauli operators (tensor products of Pauli matrices) provide a complete basis of operators on the Hilbert space of N qubits. We prove that the set of 4^N-1 Pauli operators may be partitioned into 2^N+1 distinct subsets, each consisting of 2^N-1 internally commuting observables. Furthermore, each such partitioning defines a unique choice of 2^N+1 mutually unbiased basis sets in the N-qubit Hilbert space. Examples for 2 and 3 qubit systems are discussed with emphasis on the nature and amount of entanglement that occurs within these basis sets.
In single Hilbert space, Pauli's well-known theorem implies that the existence of a self-adjoint time operator canonically conjugate to a given Hamiltonian signifies that the time operator and the Hamiltonian possess completely continuous spectra spanning the entire real line. Thus the conclusion that there exists no self-adjoint time operator conjugate to a semibounded or discrete Hamiltonian despite some well-known illustrative counterexamples. In this paper we evaluate Pauli's theorem against the single Hilbert space formulation of quantum mechanics, and consequently show the consistency of…
A High-Performance Pauli-Algebra Framework for Large-Scale Quantum Simulations
State Key Laboratory of Precision and Intelligent Chemistry, University of Science and Technology of China（精密与智能化学国家重点实验室，中国科学技术大学）；Hefei National Research Center for Physical Sciences at the Microscale, University of Science and Technology of China（合肥微尺度物质科学国家研究中心，中国科学技术大学）；Hefei National Laboratory, University of Science and Technology of China（合肥国家实验室，中国科学技术大学）
