arXiv subjects

Matthew A. Graydon

Publications and source records attributed to Matthew A. Graydon.

11 recordsLinked to original sources

arXiv2025

Benchmarking Quantum Instruments

Quantum measurements with feed-forward are crucial components of fault-tolerant quantum computers. We show how the error rate of such a measurement can be directly estimated by fitting the probability that successive randomly compiled measurements all return the ideal outcome. Unlike conventional randomized benchmarking experiments and alternative measurement characterization protocols, all the data can be obtained using a single sufficiently large number of successive measurements. We also prove that generalized Pauli fidelities are invariant under randomized compiling and can be combined with the error rate to characterize the underlying errors up to a gauge transformation that introduces an ambiguity between errors happening before or after measurements.

quant-ph↗

arXiv2023

Locally Tomographic Shadows (Extended Abstract)

Given a monoidal probabilistic theory -- a symmetric monoidal category $\mathcal{C}$ of systems and processes, together with a functor $\mathbf{V}$ assigning concrete probabilistic models to objects of $\mathcal{C}$ -- we construct a locally tomographic probabilistic theory LT$(\mathcal{C},\mathbf{V})$ -- the locally tomographic shadow of $(\mathcal{C},\mathbf{V})$ -- describing phenomena observable by local agents controlling systems in $\mathcal{C}$, and able to pool information about joint measurements made on those systems. Some globally distinct states become locally indistinguishable in LT$(\mathcal{C},\mathbf{V})$, and we restrict the set of processes to those that respect this indistinguishability. This construction is investigated in some detail for real quantum theory.

quant-ph↗

arXiv2023

Stochastic errors in quantum instruments

Fault-tolerant quantum computation requires non-destructive quantum measurements with classical feed-forward. Many experimental groups are actively working towards implementing such capabilities and so they need to be accurately evaluated. As with unitary channels, an arbitrary imperfect implementation of a quantum instrument is difficult to analyze. In this paper, we define a class of quantum instruments that correspond to stochastic errors and thus are amenable to standard analysis methods. We derive efficiently computable upper- and lower-bounds on the diamond distance between two quantum instruments. Furthermore, we show that, for the special case of uniform stochastic instruments, the diamond distance and the natural generalization of the process infidelity to quantum instruments coincide and are equal to a well-defined probability of an error occurring during the measurement.

quant-ph↗

arXiv2022

Designing Stochastic Channels

Stochastic channels are ubiquitous in the field of quantum information because they are simple and easy to analyze. In particular, Pauli channels and depolarizing channels are widely studied because they can be efficiently simulated in many relevant quantum circuits. Despite their wide use, the properties of general stochastic channels have received little attention. In this paper, we prove that the diamond distance of a general stochastic channel from the identity coincides with its process infidelity to the identity. We demonstrate with an explicit example that there exist multi-qubit stochastic channels that are not unital. We then discuss the relationship between unitary 1-designs and stochastic channels. We prove that the twirl of an arbitrary quantum channel by a unitary 1-design is always a stochastic channel. However, unlike with unitary 2-designs, the twirled channel depends upon the choice of unitary 1-design. Moreover, we prove by example that there exist stochastic channels that cannot be obtained by twirling a quantum channel by a unitary 1-design.

quant-ph↗

arXiv2021

Clifford groups are not always 2-designs

The Clifford group is the quotient of the normalizer of the Weyl-Heisenberg group in dimension $d$ by its centre. We prove that when $d$ is not prime the Clifford group is not a group unitary $2$-design. Furthermore, we prove that the multipartite Clifford group is not a group unitary 2-design except for the known cases wherein the local Hilbert space dimensions are a constant prime number. We also clarify the structure of projective group unitary $2$-designs. We show that the adjoint action induced by a group unitary $2$-design decomposes into exactly two irreducible components; moreover, a group is a unitary 2-design if and only if the character of its so-called $U\overline{U}$ representation is $\sqrt{2}$.

quant-ph↗

arXiv2020

Composites and Categories of Euclidean Jordan Algebras

We consider possible non-signaling composites of probabilistic models based on euclidean Jordan algebras (EJAs), satisfying some reasonable additional constraints motivated by the desire to construct dagger-compact categories of such models. We show that no such composite has the exceptional Jordan algebra as a direct summand, nor does any such composite exist if one factor has an exceptional summand, unless the other factor is a direct sum of one-dimensional Jordan algebras (representing essentially a classical system). Moreover, we show that any composite of simple, non-exceptional EJAs is a direct summand of their universal tensor product, sharply limiting the possibilities. These results warrant our focussing on concrete Jordan algebras of hermitian matrices, i.e., euclidean Jordan algebras with a preferred embedding in a complex matrix algebra}. We show that these can be organized in a natural way as a symmetric monoidal category, albeit one that is not compact closed. We then construct a related category InvQM of embedded euclidean Jordan algebras, having fewer objects but more morphisms, that is not only compact closed but dagger-compact. This category unifies finite-dimensional real, complex and quaternionic mixed-state quantum mechanics, except that the composite of two complex quantum systems comes with an extra classical bit. Our notion of composite requires neither tomographic locality, nor preservation of purity under tensor product. The categories we construct include examples in which both of these conditions fail. In such cases, the information capacity (the maximum number of mutually distinguishable states) of a composite is greater than the product of the capacities of its constituents.

quant-ph↗

arXiv2017

Conical Designs and Categorical Jordan Algebraic Post-Quantum Theories

Physical theories can be characterized in terms of their state spaces and their evolutive equations. The kinematical structure and the dynamical structure of finite dimensional quantum theory are, in light of the Choi-Jamiołkowski isomorphism, one and the same --- namely the homogeneous self-dual cones of positive semi-definite linear endomorphisms on finite dimensional complex Hilbert spaces. From the perspective of category theory, these cones are the sets of morphisms in finite dimensional quantum theory as a dagger compact closed category. Understanding the intricate geometry of these cones and charting the wider landscape for their host category is imperative for foundational physics. In Part I of this thesis, we study the shape of finite dimensional quantum theory in terms of quantum information. In Part II of this thesis, we move beyond quantum theory within the vein of Euclidean Jordan algebras. In posting this thesis on the arXiv, we hope that it might serve as a useful resource for those interested in its subjects.

quant-ph↗

arXiv2016

Entanglement and Designs

We describe a connection between entanglement and designs. It involves the conical 2-designs introduced in a previous paper. These are a generalization of projective 2-designs which includes full sets of arbitrary rank mutually unbiased measurements (MUMs) and arbitrary rank symmetric informationally complete measurements (SIMs), as well as the more familiar MUBs and SICs. We show that a POVM is a conical 2-design if and only if there exists what we call a regular entanglement monotone whose restriction to the pure states is a function of the norm of the probability vector. In that case the concurrence is such a monotone. We also generalize and develop previous work on designs and entanglement detection.

quant-ph↗

arXiv2016

Quantum Conical Designs

Complex projective t-designs, particularly SICs and full sets of MUBs, play an important role in quantum information. We introduce a generalization which we call conical t-designs. They include arbitrary rank symmetric informationally complete measurements (SIMs) and full sets of arbitrary rank mutually unbiased measurements (MUMs). They are deeply implicated in the description of entanglement (as we show in a subsequent paper). Viewed in one way a conical 2-design is a symmetric decomposition of a separable Werner state (up to a normalization factor). Viewed in another way it is a certain kind of polytope in the Bloch body. In the Bloch body picture SIMs and full sets of MUMs form highly symmetric polytopes (a single regular simplex in the one case; the convex hull of a set of orthogonal regular simplices in the other). We give the necessary and sufficient conditions for an arbitrary polytope to be what we call a homogeneous conical 2-design. This suggests a way to search for new kinds of projective 2-design.

quant-ph↗

arXiv2015

Some Nearly Quantum Theories

We consider possible non-signaling composites of probabilistic models based on euclidean Jordan algebras. Subject to some reasonable constraints, we show that no such composite exists having the exceptional Jordan algebra as a direct summand. We then construct several dagger compact categories of such Jordan-algebraic models. One of these neatly unifies real, complex and quaternionic mixed-state quantum mechanics, with the exception of the quaternionic "bit". Another is similar, except in that (i) it excludes the quaternionic bit, and (ii) the composite of two complex quantum systems comes with an extra classical bit. In both of these categories, states are morphisms from systems to the tensor unit, which helps give the categorical structure a clear operational interpretation. A no-go result shows that the first of these categories, at least, cannot be extended to include spin factors other than the (real, complex, and quaternionic) quantum bits, while preserving the representation of states as morphisms. The same is true for attempts to extend the second category to even-dimensional spin-factors. Interesting phenomena exhibited by some composites in these categories include failure of local tomography, supermultiplicativity of the maximal number of mutually distinguishable states, and mixed states whose marginals are pure.

quant-ph↗

arXiv2011

Quaternionic Quantum Dynamics on Complex Hilbert Spaces

We consider a quaternionic quantum formalism for the description of quantum states and quantum dynamics. We prove that generalized quantum measurements on physical systems in quaternionic quantum theory can be simulated by usual quantum measurements with positive operator valued measures on complex Hilbert spaces. Furthermore, we prove that quaternionic quantum channels can be simulated by completely positive trace preserving maps on complex matrices. These novel results map all quaternionic quantum processes to algorithms in usual quantum information theory.

quant-ph↗