Related papers: Trichromatic Open Digraphs for Understanding Qubit…
We show that Gottesman's (1998) semantics for Clifford circuits based on the Heisenberg representation gives rise to a lightweight Hoare-like logic for efficiently characterizing a common subset of quantum programs. Our applications include…
We analyze the three-mode correlation properties of the electromagnetic field in a optical parametric oscillator below threshold. We employ a perturbative expansion of the It\^o equations derived from the positive-P representation of the…
An equivalence is established between orthogonal pure state qubits on the Bloch sphere and massless Weyl spinors, when the Bloch vector is taken as the physical three-momentum. A family of unitary, coordinate dependent transformations is…
We introduce the qudit ZH-calculus and show how to generalise all the phase-free qubit rules to qudits. We prove that for prime dimensions d, the phase-free qudit ZH-calculus is universal for matrices over the ring Z[e^2(pi)i/d]. For…
We present a generalization to 3-qubits of the standard Bloch sphere representation for a single qubit and of the 7-dimensional sphere representation for 2 qubits presented in Mosseri {\it et al.}\cite{Mosseri2001}. The Hilbert space of the…
Over the last two years, the canonical approach to quantum gravity based on connections and triads has been put on a firm mathematical footing through the development and application of a new functional calculus on the space of gauge…
A new canonical Hopf algebra called the quantum pseudo-K\"ahler plane is introduced. This quantum group can be viewed as a deformation quantization of the complex two-dimensional plane $\mathbb{C}^2$ with a pseudo-K\"ahler metric, or as a…
The ZX-calculus is a graphical language for reasoning about quantum computation that has recently seen an increased usage in a variety of areas such as quantum circuit optimisation, surface codes and lattice surgery, measurement-based…
Existing graphical user interfaces for circuit simulators often show small visual summaries of the reduced state of each qubit, showing the probability, phase, purity, and/or Bloch sphere coordinates associated with each qubit. These…
Measurement-based quantum computing (MBQC), an alternate paradigm for formulating quantum algorithms, can lead to potentially more flexible and efficient implementations as well as to theoretical insights on the role of entanglement in a…
The quantum metric and Berry curvature capture essential properties of non-trivial Bloch states and underpin many fascinating phenomena. However, it becomes increasingly evident that a more comprehensive understanding of quantum state…
We show that pivoting property of graph states cannot be derived from the axioms of the ZX-calculus, and that pivoting does not imply local complementation of graph states. Therefore the ZX-calculus augmented with pivoting is strictly…
We generalize an efficient decomposition method for diagonal operators by Welch et al. to qudit systems. The phase-context aware method focusses on cascaded entanglers whose decomposition into multi-controlled INC-gates can be optimized by…
The ZH-calculus is a graphical calculus for linear maps between qubits that allows a natural representation of the Toffoli+Hadamard gate set. The original version of the calculus, which allows every generator to be labelled by an arbitrary…
Quantum computations are easily represented in the graphical notation known as the ZX-calculus, a.k.a. the red-green calculus. We demonstrate its use in reasoning about measurement-based quantum computing, where the graphical syntax…
We analyze qubit decoherence in the framework of geometric quantum mechanics. In this framework the qubit density operators are represented by probability distributions which are also the K\"ahler functions on the Bloch sphere.…
Quantum computers are the ideal platform for quantum simulations. Given enough coherent operations and qubits, such machines can be leveraged to simulate strongly correlated materials, where intricate quantum effects give rise to…
We take a fresh look at the geometrization of logic using the recently developed tools of `quantum Riemannian geometry' applied in the digital case over the field $\Bbb F_2=\{0,1\}$, extending de Morgan duality to this context of…
The nonadiabatic holonomic quantum computation based on the geometric phase is robust against the built-in noise and decoherence. In this work, we theoretically propose a scheme to realize nonadiabatic holonomic quantum gates in a surface…
A hybrid classical-quantum approach for evaluation of multi-dimensional Walsh-Hadamard transforms and its applications to quantum image processing are proposed. In this approach, multidimensional Walsh-Hadamard transforms are obtained using…