Results 31 to 40 of about 84,859 (325)
Sequent Calculus Representations for Quantum Circuits [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 When considering a sequent-style proof system for quantum programs, there are certain elements of quantum mechanics that we may wish to capture, such as phase, dynamics of unitary transformations, and measurement probabilities. Traditional quantum logics
Cameron Beebe
doaj +1 more source
General Non-Markovian Quantum Dynamics
Entropy, 2021 A general approach to the construction of non-Markovian quantum theory is proposed. Non-Markovian equations for quantum observables and states are suggested by using general fractional calculus.
Vasily E. Tarasov
doaj +1 more source
ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We present a new graphical calculus that is sound and complete for a universal family of quantum circuits, which can be seen as the natural string-diagrammatic extension of the approximately (real-valued) universal family of Hadamard+CCZ circuits.
Miriam Backens, Aleks Kissinger
doaj +1 more source
Hahn's Symmetric Quantum Variational Calculus [PDF]
, 2012 We introduce and develop the Hahn symmetric quantum calculus with applications to the calculus of variations. Namely, we obtain a necessary optimality condition of Euler-Lagrange type and a sufficient optimality condition for variational problems within ...
A. B. Malinowska +28 more
core +2 more sources
Quantum gravity and Regge calculus [PDF]
Nuclear Physics B - Proceedings Supplements, 1997 8 pages, Latex with esprc2.sty, epsf.tex, 3 figures; contribution to the proceedings of the II meeting on Constrained Dynamics and Quantum Gravity, Santa Margherita ...
openaire +3 more sources
New Forms of the Open Newton-Cotes-Type Inequalities for a Family of the Quantum Differentiable Convex Functions [PDF]
Sahand Communications in Mathematical AnalysisThe main objective of this paper is to establish some new inequalities related to the open Newton-Cotes formulas in the setting of q-calculus. We establish a quantum integral identity first and then prove the desired inequalities for $q$-differentiable ...
Jarunee Soontharanon +4 more
doaj +1 more source
Pivoting makes the ZX-calculus complete for real stabilizers [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 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.
Ross Duncan, Simon Perdrix
doaj +1 more source
The Quantum Probability Calculus
Synthese, 1974 Quantum mechanics has opened a vast sector of physics to probability calculus. In fact most of the physical interpretation of the formalism of quantum mechanics is expressed in terms of probability statements ...
openaire +1 more source
On Quantum Statistical Mechanics: A Study Guide
Advances in Mathematical Physics, 2017 We provide an introduction to a study of applications of noncommutative calculus to quantum statistical physics. Centered on noncommutative calculus, we describe the physical concepts and mathematical structures appearing in the analysis of large quantum
Wladyslaw Adam Majewski
doaj +1 more source
Al-Jabar, 2016 This study was conducted to improve the mastery of student concepts on calculus materials using Quantum Learning method, this research is motivated because the learning of calculus has not seen any mastery of concept implemented during learning ...
Satrio Wicaksono Sudarman, Ira Vahlia
doaj +1 more source