Results 11 to 20 of about 85,887 (322)
The Hahn Quantum Variational Calculus [PDF]
Journal of Optimization Theory and Applications, 2010 We introduce the Hahn quantum variational calculus. Necessary and sufficient optimality conditions for the basic, isoperimetric, and Hahn quantum Lagrange problems, are studied.
A. B. Malinowska +48 more
core +7 more sources
Depicting qudit quantum mechanics and mutually unbiased qudit theories [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We generalize the ZX calculus to quantum systems of dimension higher than two. The resulting calculus is sound and universal for quantum mechanics. We define the notion of a mutually unbiased qudit theory and study two particular instances of these ...
André Ranchin
doaj +4 more sources
Qutrit Dichromatic Calculus and Its Universality [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We introduce a dichromatic calculus (RG) for qutrit systems. We show that the decomposition of the qutrit Hadamard gate is non-unique and not derivable from the dichromatic calculus.
Quanlong Wang, Xiaoning Bian
doaj +4 more sources
Analysis of a Quantum Error Correcting Code using Quantum Process Calculus [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 We describe the use of quantum process calculus to describe and analyze quantum communication protocols, following the successful field of formal methods from classical computer science. The key idea is to define two systems, one modelling a protocol and
Timothy A. S. Davidson +3 more
doaj +3 more sources
The Falling Body Problem in Quantum Calculus [PDF]
Frontiers in Physics, 2020 The quantum calculus, q-calculus, is a relatively new branch in which the derivative of a real function can be calculated without limits. In this paper, the falling body problem in a resisting medium is revisited in view of the q-calculus to the first ...
Abdulaziz M. Alanazi +3 more
doaj +2 more sources
The ZX-calculus is complete for stabilizer quantum mechanics
New Journal of Physics, 2014 The ZX-calculus is a graphical calculus for reasoning about quantum systems and processes. It is known to be universal for pure state qubit quantum mechanics (QM), meaning any pure state, unitary operation and post-selected pure projective measurement ...
Miriam Backens
doaj +2 more sources
A ZX-Calculus with Triangles for Toffoli-Hadamard, Clifford+T, and Beyond [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We consider a ZX-calculus augmented with triangle nodes which is well-suited to reason on the so-called Toffoli-Hadamard fragment of quantum mechanics. We precisely show the form of the matrices it represents, and we provide an axiomatisation which makes
Renaud Vilmart
doaj +6 more sources
The ZX-calculus is incomplete for quantum mechanics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We prove that the ZX-calculus is incomplete for quantum mechanics. We suggest the addition of a new 'color-swap' rule, of which currently no analytical formulation is known and which we suspect may be necessary, but not sufficient to make the ZX-calculus
Christian Schröder de Witt +1 more
doaj +4 more sources
A symmetric quantum calculus [PDF]
, 2011 We introduce the $\alpha,\beta$-symmetric difference derivative and the $\alpha,\beta$-symmetric N\"orlund sum. The associated symmetric quantum calculus is developed, which can be seen as a generalization of the forward and backward $h$-calculus.Comment:
da Cruz, Artur M. C. Brito +2 more
core +3 more sources
Completeness of algebraic CPS simulations [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 The algebraic lambda calculus and the linear algebraic lambda calculus are two extensions of the classical lambda calculus with linear combinations of terms.
Ali Assaf, Simon Perdrix
doaj +6 more sources