Results 21 to 30 of about 81,951 (325)
Covariantization of quantized calculi over quantum groups [PDF]
Mathematica Bohemica, 2020 We introduce a method for construction of a covariant differential calculus over a Hopf algebra $A$ from a quantized calculus $da=[D,a]$, $a\in A$, where $D$ is a candidate for a Dirac operator for $A$.
Seyed Ebrahim Akrami, Shervin Farzi
doaj +1 more source
Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model [PDF]
Logical Methods in Computer Science, 2022 In a recent paper, a realizability technique has been used to give a semantics of a quantum lambda calculus. Such a technique gives rise to an infinite number of valid typing rules, without giving preference to any subset of those.
Alejandro Díaz-Caro, Octavio Malherbe
doaj +1 more source
Superdense Coding with GHZ and Quantum Key Distribution with W in the ZX-calculus [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Quantum entanglement is a key resource in many quantum protocols, such as quantum teleportation and quantum cryptography. Yet entanglement makes protocols presented in Dirac notation difficult to verify.
Anne Hillebrand
doaj +1 more source
The ZX-calculus is complete for the single-qubit Clifford+T group [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 The ZX-calculus is a graphical calculus for reasoning about pure state qubit quantum mechanics. It is complete for pure qubit stabilizer quantum mechanics, meaning any equality involving only stabilizer operations that can be derived using matrices can ...
Miriam Backens
doaj +1 more source
Spikes in quantum Regge calculus [PDF]
Classical and Quantum Gravity, 1997 We demonstrate by explicit calculation of the DeWitt-like measure in two-dimensional quantum Regge gravity that it is highly non-local and that the average values of link lengths $l, $, do not exist for sufficient high powers of $n$. Thus the concept of length has no natural definition in this formalism and a generic manifold degenerates into spikes ...
Ambjørn, Jan +3 more
openaire +5 more sources
Making the stabilizer ZX-calculus complete for scalars [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 The ZX-calculus is a graphical language for quantum processes with built-in rewrite rules. The rewrite rules allow equalities to be derived entirely graphically, leading to the question of completeness: can any equality that is derivable using matrices ...
Miriam Backens
doaj +1 more source
A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics [PDF]
, 2018 We introduce the first complete and approximatively universal diagrammatic language for quantum mechanics. We make the ZX-Calculus, a diagrammatic language introduced by Coecke and Duncan, complete for the so-called Clifford+T quantum mechanics by adding
Jeandel, Emmanuel +2 more
core +4 more sources
Verification of Linear Optical Quantum Computing using Quantum Process Calculus [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We explain the use of quantum process calculus to describe and analyse linear optical quantum computing (LOQC). The main idea is to define two processes, one modelling a linear optical system and the other expressing a specification, and prove that they ...
Sonja Franke-Arnold +2 more
doaj +1 more source
Electronic Notes in Theoretical Computer Science, 2008 The aim of this paper is to introduce a general model of quantum computation, the quantum calculus: both unitary transformations and projective measurements are allowed; furthermore a complete classical control, including conditional structures and loops, is available.
Simon Perdrix, Philippe Jorrand
openaire +2 more sources
Itô Calculus and Quantum White Noise Calculus [PDF]
, 2007 Ito calculus has been generalized in white noise analysis and in quantum stochastic calculus. Quantum white noise calculus is a third generalization, unifying the two above mentioned ones and bringing some unexpected insight into some old problems studied in different fields, such as the renormalization problem in physics and the representation theory ...
ACCARDI, LUIGI, Boukas, A.
openaire +3 more sources