-
Complete equational theories for classical and quantum Gaussian relations
Authors:
Robert I. Booth,
Titouan Carette,
Cole Comfort
Abstract:
We give generators and relations for the hypergraph props of Gaussian relations and positive affine Lagrangian relations. The former extends Gaussian probabilistic processes by completely-uninformative priors, and the latter extends Gaussian quantum mechanics with infinitely-squeezed states. These presentations are given by adding a generator to the presentation of real affine relations and of rea…
▽ More
We give generators and relations for the hypergraph props of Gaussian relations and positive affine Lagrangian relations. The former extends Gaussian probabilistic processes by completely-uninformative priors, and the latter extends Gaussian quantum mechanics with infinitely-squeezed states. These presentations are given by adding a generator to the presentation of real affine relations and of real affine Lagrangian relations which freely codiscards effects, as well as certain rotations.
The presentation of positive affine Lagrangian relations provides a rigorous justification for many common yet informal calculations in the quantum physics literature involving infinite-squeezing. Our presentation naturally extends Menicucci et al.'s graph-theoretic representation of Gaussian quantum states with a representation for Gaussian transformations. Using this graphical calculus, we also give a graphical proof of Braunstein and Kimble's continuous-variable quantum teleportation protocol. We also interpret the LOv-calculus, a diagrammatic calculus for reasoning about passive linear-optical quantum circuits in our graphical calculus. Moreover, we show how our presentation allows for additional optical operations such as active squeezing.
△ Less
Submitted 10 April, 2024; v1 submitted 15 March, 2024;
originally announced March 2024.
-
Graphical Symplectic Algebra
Authors:
Robert I. Booth,
Titouan Carette,
Cole Comfort
Abstract:
We give complete presentations for the dagger-compact props of affine Lagrangian and coisotropic relations over an arbitrary field. This provides a unified family of graphical languages for both affinely constrained classical mechanical systems, as well as odd-prime-dimensional stabiliser quantum circuits. To this end, we present affine Lagrangian relations by a particular class of undirected colo…
▽ More
We give complete presentations for the dagger-compact props of affine Lagrangian and coisotropic relations over an arbitrary field. This provides a unified family of graphical languages for both affinely constrained classical mechanical systems, as well as odd-prime-dimensional stabiliser quantum circuits. To this end, we present affine Lagrangian relations by a particular class of undirected coloured graphs. In order to reason about composite systems, we introduce a powerful scalable notation where the vertices of these graphs are themselves coloured by graphs. In the setting of stabiliser quantum mechanics, this scalable notation gives an extremely concise description of graph states, which can be composed via ``phased spider fusion.'' Likewise, in the classical mechanical setting of electrical circuits, we show that impedance matrices for reciprocal networks are presented in essentially the same way.
△ Less
Submitted 18 March, 2024; v1 submitted 15 January, 2024;
originally announced January 2024.
-
The Qupit Stabiliser ZX-travaganza: Simplified Axioms, Normal Forms and Graph-Theoretic Simplification
Authors:
Boldizsár Poór,
Robert I. Booth,
Titouan Carette,
John van de Wetering,
Lia Yeh
Abstract:
We present a smorgasbord of results on the stabiliser ZX-calculus for odd prime-dimensional qudits (i.e. qupits). We derive a simplified rule set that closely resembles the original rules of qubit ZX-calculus. Using these rules, we demonstrate analogues of the spider-removing local complementation and pivoting rules. This allows for efficient reduction of diagrams to the affine with phases normal…
▽ More
We present a smorgasbord of results on the stabiliser ZX-calculus for odd prime-dimensional qudits (i.e. qupits). We derive a simplified rule set that closely resembles the original rules of qubit ZX-calculus. Using these rules, we demonstrate analogues of the spider-removing local complementation and pivoting rules. This allows for efficient reduction of diagrams to the affine with phases normal form. We also demonstrate a reduction to a unique form, providing an alternative and simpler proof of completeness. Furthermore, we introduce a different reduction to the graph state with local Cliffords normal form, which leads to a novel layered decomposition for qupit Clifford unitaries. Additionally, we propose a new approach to handle scalars formally, closely reflecting their practical usage. Finally, we have implemented many of these findings in DiZX, a new open-source Python library for qudit ZX-diagrammatic reasoning.
△ Less
Submitted 31 August, 2023; v1 submitted 8 June, 2023;
originally announced June 2023.
-
Complete ZX-calculi for the stabiliser fragment in odd prime dimensions
Authors:
Robert I. Booth,
Titouan Carette
Abstract:
We introduce a family of ZX-calculi which axiomatise the stabiliser fragment of quantum theory in odd prime dimensions. These calculi recover many of the nice features of the qubit ZX-calculus which were lost in previous proposals for higher-dimensional systems. We then prove that these calculi are complete, i.e. provide a set of rewrite rules which can be used to prove any equality of stabiliser…
▽ More
We introduce a family of ZX-calculi which axiomatise the stabiliser fragment of quantum theory in odd prime dimensions. These calculi recover many of the nice features of the qubit ZX-calculus which were lost in previous proposals for higher-dimensional systems. We then prove that these calculi are complete, i.e. provide a set of rewrite rules which can be used to prove any equality of stabiliser quantum operations. Adding a discard construction, we obtain a calculus complete for mixed state stabiliser quantum mechanics in odd prime dimensions, and this furthermore gives a complete axiomatisation for the related diagrammatic language for affine co-isotropic relations.
△ Less
Submitted 10 March, 2023; v1 submitted 26 April, 2022;
originally announced April 2022.
-
Contextuality and Wigner negativity are equivalent for continuous-variable quantum measurements
Authors:
Robert I. Booth,
Ulysse Chabaud,
Pierre-Emmanuel Emeriau
Abstract:
Quantum computers will provide considerable speedups with respect to their classical counterparts. However, the identification of the innately quantum features that enable these speedups is challenging. In the continuous-variable setting - a promising paradigm for the realisation of universal, scalable, and fault-tolerant quantum computing - contextuality and Wigner negativity have been perceived…
▽ More
Quantum computers will provide considerable speedups with respect to their classical counterparts. However, the identification of the innately quantum features that enable these speedups is challenging. In the continuous-variable setting - a promising paradigm for the realisation of universal, scalable, and fault-tolerant quantum computing - contextuality and Wigner negativity have been perceived as two such distinct resources. Here we show that they are in fact equivalent for the standard models of continuous-variable quantum computing. While our results provide a unifying picture of continuous-variable resources for quantum speedup, they also pave the way towards practical demonstrations of continuous-variable contextuality, and shed light on the significance of negative probabilities in phase-space descriptions of quantum mechanics.
△ Less
Submitted 9 December, 2022; v1 submitted 25 November, 2021;
originally announced November 2021.
-
Outcome determinism in measurement-based quantum computation with qudits
Authors:
Robert I. Booth,
Aleks Kissinger,
Damian Markham,
Clément Meignant,
Simon Perdrix
Abstract:
In measurement-based quantum computing (MBQC), computation is carried out by a sequence of measurements and corrections on an entangled state. Flow, and related concepts, are powerful techniques for characterising the dependence of the corrections on previous measurement outcomes. We introduce flow-based methods for MBQC with qudit graph states, which we call Zd-flow, when the local dimension is a…
▽ More
In measurement-based quantum computing (MBQC), computation is carried out by a sequence of measurements and corrections on an entangled state. Flow, and related concepts, are powerful techniques for characterising the dependence of the corrections on previous measurement outcomes. We introduce flow-based methods for MBQC with qudit graph states, which we call Zd-flow, when the local dimension is an odd prime. Our main results are proofs that Zd-flow is a necessary and sufficient condition for a strong form of outcome determinism. Along the way, we find a suitable generalisation of the concept of measurement planes to this setting and characterise the allowed measurements in a qudit MBQC. We also provide a polynomial-time algorithm for finding an optimal Zd-flow whenever one exists.
△ Less
Submitted 28 September, 2021;
originally announced September 2021.
-
Flow conditions for continuous variable measurement-based quantum computing
Authors:
Robert I. Booth,
Damian Markham
Abstract:
In measurement-based quantum computing (MBQC), computation is carried out by a sequence of measurements and corrections on an entangled state. Flow, and related concepts, are powerful techniques for characterising the dependence of the corrections on previous measurement results. We introduce flow-based methods for quantum computation with continuous-variable graph states, which we call CV-flow. T…
▽ More
In measurement-based quantum computing (MBQC), computation is carried out by a sequence of measurements and corrections on an entangled state. Flow, and related concepts, are powerful techniques for characterising the dependence of the corrections on previous measurement results. We introduce flow-based methods for quantum computation with continuous-variable graph states, which we call CV-flow. These are inspired by, but not equivalent to, the notions of causal flow and g-flow for qubit MBQC. We also show that an MBQC with CV-flow approximates a unitary arbitrarily well in the infinite-squeezing limit, addressing issues of convergence which are unavoidable in the infinite-dimensional setting. In develo** our proofs, we provide a method for converting a CV-MBQC computation into a circuit form, analogous to the circuit extraction method of Miyazaki et al, and an efficient algorithm for finding CV-flow when it exists based on the qubit version by Mhalla and Perdrix. Our results and techniques naturally extend to the cases of MBQC for quantum computation with qudits of prime local dimension.
△ Less
Submitted 13 July, 2022; v1 submitted 1 April, 2021;
originally announced April 2021.
-
Bridging thermodynamics and metrology in non-equilibrium Quantum Thermometry
Authors:
Vasco Cavina,
Luca Mancino,
Antonella De Pasquale,
Ilaria Gianani,
Marco Sbroscia,
Robert I. Booth,
Emanuele Roccia,
Roberto Raimondi,
Vittorio Giovannetti,
Marco Barbieri
Abstract:
Single-qubit thermometry presents the simplest tool to measure the temperature of thermal baths with reduced invasivity. At thermal equilibrium, the temperature uncertainty is linked to the heat capacity of the qubit, however the best precision is achieved outside equilibrium condition. Here, we discuss a way to generalize this relation in a non-equilibrium regime, taking into account purely quant…
▽ More
Single-qubit thermometry presents the simplest tool to measure the temperature of thermal baths with reduced invasivity. At thermal equilibrium, the temperature uncertainty is linked to the heat capacity of the qubit, however the best precision is achieved outside equilibrium condition. Here, we discuss a way to generalize this relation in a non-equilibrium regime, taking into account purely quantum effects such as coherence. We support our findings with an experimental photonic simulation.
△ Less
Submitted 13 June, 2018;
originally announced June 2018.
-
Geometrical bounds on irreversibility in open quantum systems
Authors:
Luca Mancino,
Vasco Cavina,
Antonella De Pasquale,
Marco Sbroscia,
Robert I. Booth,
Emanuele Roccia,
Ilaria Gianani,
Vittorio Giovannetti,
Marco Barbieri
Abstract:
Clausius inequality has deep implications for reversibility and the arrow of time. Quantum theory is able to extend this result for closed systems by inspecting the trajectory of the density matrix on its manifold. Here we show that this approach can provide an upper and lower bound to the irreversible entropy production for open quantum systems as well. These provide insights on the thermodynamic…
▽ More
Clausius inequality has deep implications for reversibility and the arrow of time. Quantum theory is able to extend this result for closed systems by inspecting the trajectory of the density matrix on its manifold. Here we show that this approach can provide an upper and lower bound to the irreversible entropy production for open quantum systems as well. These provide insights on the thermodynamics of the information erasure. Limits of the applicability of our bounds are discussed, and demonstrated in a quantum photonic simulator.
△ Less
Submitted 16 January, 2018;
originally announced January 2018.