Results 11 to 20 of about 2,610 (263)
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. We also show the validity of Leitmann's direct method for the Hahn quantum variational calculus, and give explicit solutions to some concrete problems.
Agnieszka B Malinowska +2 more
exaly +6 more sources
A Lambda Calculus for Quantum Computation [PDF]
SIAM Journal on Computing, 2004 To appear in SIAM Journal on Computing. Minor corrections and improvements.
exaly +3 more sources
Quantum stochastic calculus and quantum nonlinear filtering
Journal of Multivariate Analysis, 1992 A *-algebraic indefinite structure of quantum stochastic (QS) calculus is introduced and a continuity property of generalized nonadapted QS integrals is proved under the natural integrability conditions in an infinitely dimensional nuclear space. The class of nondemolition output QS processes in quantum open systems is characterized in terms of the QS ...
exaly +4 more sources
Generalized Ostrowski-Gruss Like Inequality on Time Scales [PDF]
Sahand Communications in Mathematical Analysis, 2023 In this paper, we present a generalization of the Montgomery Identity to various time scale versions, including the discrete case, continuous case, and the case of quantum calculus.
Faraz Mehmood +2 more
doaj +1 more source
Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 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.
Simon J. Gay, Ittoop Vergheese Puthoor
doaj +1 more source
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 +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
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 +1 more source
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
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