Using the Weyl commutation relations over a finite field we introduce a family of error-correcting quantum stabilizer codes based on a class of symmetric matrices over the finite field satisfying certain natural conditions. When the field is GF(2) the existence of a rich class of such symmetric matrices is demonstrated by a simple probabilistic argument depending on the Chernoff bound for i.i.d symmetric Bernoulli trials. If, in addition, these symmetric matrices are assumed to be circulant it is possible to obtain concrete examples by a computer program. The quantum codes thus obtained admit elegant encoding circuits.
We derive suitable uncertainty relations for characteristics functions of phase and number variables obtained from the Weyl form of commutation relations. This is applied to finite-dimensional spin- like systems, which is the case when describing the phase difference between two field modes, as well as to the phase and number of a single-mode field. Some contradictions between the product and sums of characteristic functions are noted.
We show that the series product, which serves as an algebraic rule for connecting state-based input/output systems, is intimately related to the Heisenberg group and the canonical commutation relations. The series product for quantum stochastic models then corresponds to a non-abelian generalization of the Weyl commutation relation. We show that the series product gives the general rule for combining the generators of quantum stochastic evolutions using a Lie-Trotter product formula.
We show that qubit stabilizer states can be represented by non-negative quasi-probability distributions associated with a Wigner-Weyl-Moyal formalism where Clifford gates are positive state-independent maps. This is accomplished by generalizing the Wigner-Weyl-Moyal formalism to three generators instead of two---producing an exterior, or Grassmann, algebra---which results in Clifford group gates for qubits that act as a permutation on the finite Weyl phase space points naturally associated with stabilizer states. As a result, a non-negative probability distribution can be associated with each …
Invertible maps from operators of quantum obvservables onto functions of c-number arguments and their associative products are first assessed. Different types of maps like Weyl-Wigner-Stratonovich map and s-ordered quasidistribution are discussed. The recently introduced symplectic tomography map of observables (tomograms) related to the Heisenberg-Weyl group is shown to belong to the standard framework of the maps from quantum observables onto the c-number functions. The star-product for symbols of the quantum-observable for each one of the maps (including the tomographic map) and explicit re…
We study, by means of the stabilizer formalism, a quantum error correcting code which is alternative to the standard block codes since it embeds a qubit into a qudit. The code exploits the non-commutative geometry of discrete phase space to protect the qubit against both amplitude and phase errors. The performance of such code is evaluated on Weyl channels by means of the entanglement fidelity as function of the error probability. A comparison with standard block codes, like five and seven qubit stabilizer codes, shows its superiority.
We revisit the quantum phase operator $Φ$ introduced by Garrison and Wong. Denoting by $N$ the number operator, we provide a detailed proof of the Heisenberg commutation relation $ΦN - NΦ= iI$ on the natural maximal domain $D(ΦN) \cap D(N Φ)$ as well as the failure of the Weyl commutation relations, and discuss some further interesting properties of this pair.
Quantum symmetries that leave invariant physical transition probabilities are described by projective representations of Lie groups. The mathematical theory of projected representations for topologically connected Lie groups is reviewed and applied to the inhomogeneous symplectic group ISp(2n). The projective representations are given in terms of the ordinary unitary representations of the central extension of the group with respect to its first homotopy group direct product with its second cohomology group. The second cohomology group of ISp(2n) is the one dimensional abelian group and the ce…
The problem of whether or not the equations of motion of a quantum system determine the commutation relations was posed by E.P.Wigner in 1950. A similar problem (known as "The Inverse Problem in the Calculus of Variations") was posed in a classical setting as back as in 1887 by H.Helmoltz and has received great attention also in recent times. The aim of this paper is to discuss how these two apparently unrelated problems can actually be discussed in a somewhat unified framework. After reviewing briefly the Inverse Problem and the existence of alternative structures for classical systems, we di…
This paper considers states on the Weyl algebra of the canonical commutation relations over the phase space R^{2n}. We show that a state is regular iff its classical limit is a countably additive Borel probability measure on R^{2n}. It follows that one can "reduce" the state space of the Weyl algebra by altering the collection of quantum mechanical observables so that all states are ones whose classical limit is physical.
Schur-Weyl duality is a ubiquitous tool in quantum information. At its heart is the statement that the space of operators that commute with the tensor powers of all unitaries is spanned by the permutations of the tensor factors. In this work, we describe a similar duality theory for tensor powers of Clifford unitaries. The Clifford group is a central object in many subfields of quantum information, most prominently in the theory of fault-tolerance. The duality theory has a simple and clean description in terms of finite geometries. We demonstrate its effectiveness in several applications: (1) …
Dirac's identification of the quantum analog of the Poisson bracket with the commutator is reviewed, as is the threat of self-inconsistent overdetermination of the quantization of classical dynamical variables which drove him to restrict the assumption of correspondence between quantum and classical Poisson brackets to embrace only the Cartesian components of the phase space vector. Dirac's canonical commutation rule fails to determine the order of noncommuting factors within quantized classical dynamical variables, but does imply the quantum/classical correspondence of Poisson brackets betwee…
The time operator, an operator which satisfies the canonical commutation relation with the Hamiltonian, is investigated, on the basis of a certain algebraic relation for a pair of operators T and H, where T is symmetric and H self-adjoint. This relation is equivalent to the Weyl relation, in the case of self-adjoint T, and is satisfied by the Aharonov-Bohm time operator T_0 and the free Hamiltonian H_0 for the one-dimensional free-particle system. In order to see the qualitative properties of T_0, the operators T and H satisfying this algebraic relation are examined. In particular, it is shown…
Mean-State Entropy Hierarchies and Classical Communication through Quantum Convolutions
Central South University（中南大学）；Harbin Engineering University（哈尔滨工程大学）；Changsha University of Science and Technology（长沙理工大学）；Capital Normal University（首都师范大学）；Zhejiang University（浙江大学）
We discuss the rôle of quantum deformation of Weyl-Heisenberg algebra in dissipative systems and finite temperature systems. We express the time evolution generator of the damped harmonic oscillator and the generator of thermal Bogolubov transformations in terms of operators of the quantum Weyl-Heisenberg algebra. The quantum parameter acts as a label for the unitarily inequivalent representations of the canonical commutation relations in which the space of the states splits in the infinite volume limit.
Zeno-Enhanced Probabilistic Error Cancellation with Quantum Error Detection Codes
Tsinghua University（清华大学）；Frontier Science Center for Quantum Information（量子信息前沿科学中心）；Beijing Academy of Quantum Information Sciences（北京量子信息科学研究院）；Hefei National Laboratory（合肥国家实验室）
In this article a new formulation of the Weyl C*-algebra, which has been invented by Fleischhack, in terms of C*-dynamical systems is presented. The quantum configuration variables are given by the holonomies along paths in a graph. Functions depending on these quantum variables form the analytic holonomy C*-algebra. Each classical flux variable is quantised as an element of a flux group associated to a certain surface set and a graph. The quantised spatial diffeomorphisms are elements of the group of bisections of a finite graph system. Then different actions of the flux group associated to s…
The standard C*-algebraic version of the algebra of canonical commutation relations, the Weyl algebra, frequently causes difficulties in applications since it neither admits the formulation of physically interesting dynamical laws nor does it incorporate pertinent physical observables such as (bounded functions of) the Hamiltonian. Here a novel C*-algebra of the canonical commutation relations is presented which does not suffer from such problems. It is based on the resolvents of the canonical operators and their algebraic relations. The resulting C*-algebra, the resolvent algebra, is shown to…
Looking to the history of mathematics one could find out two outer approaches to Geometry. First one (algebraic) is due to Descartes and second one (group-theoretic)--to Klein. We will see that they are not rivalling but are tied (by Galois). We also examine their modern life as philosophies of non-commutative geometry. Connections between different objects (see keywords) are discussed. Keywords: Heisenberg group, Weyl commutation relation, Manin plain, quantum groups, SL(2, R), Hardy space, Bergman space, Segal-Bargmann space, Szeg"o projection, Bergman projection, Clifford analysis, Cauchy-R…
We consider the possible quantum effect for infinite systems produced by variations of the Planck's constant. Using the algebraic formulation of quantum theory we study behaviour of states $ω$ defined as positive, normalized functionals on the canonical commutation relations algebra (CCR-algebra) under the changes of the defining relations of the CCR. These defining relations of the multiplication in the CCR-algebra depend explicitly on the value of the Planck's constant. We analyse to what extend changes of the $\hbar$ preserve the original state space (this gives restrictions on the admissib…
This is an expositary article telling a short story made from the leaves of quantum probability with the following ingredients: (i) A special projective, unitary, irreducible and factorizable representation of the euclidean group of a Hilbert space known as the Weyl representation. \item The infinitesimal version of the Weyl representation includes the Heisenberg canonical commutation relations (CCR) of quantum theory. It also yields the three fundamental operator fields known as the creation, conservation and annihilation fields. (ii) The three fundamental fields, with the inclusion of time, …
Applying ideas from monadic dynamics to the well-established framework of categorical quantum mechanics, we provide a novel toolbox for the simulation of finite-dimensional quantum dynamics. We use strongly complementary structures to give a graphical characterisation of quantum clocks, their action on systems and the relevant energy observables, and we proceed to formalise the connection between unitary dynamics and projection-valued spectra. We identify the Weyl canonical commutation relations in the axioms of strong complementarity, and conclude the existence of a dual pair of time/energy o…
