Results 21 to 30 of about 1,202,123 (248)
A quantum stochastic Lie-Trotter product formula. [PDF]
, 2010 A Trotter product formula is established for unitary quantum stochastic processes governed by quantum stochastic differential equations with constant bounded ...
Sinha, Kalyan B., Lindsay, J. Martin
core +5 more sources
Ostrowski Type Inequalities for s-Convex Functions via q-Integrals
Journal of Function Spaces, 2022 The new outcomes of the present paper are q-analogues (q stands for quantum calculus) of Hermite-Hadamard type inequality, Montgomery identity, and Ostrowski type inequalities for s-convex mappings.
Khuram Ali Khan +4 more
doaj +1 more source
Towards a Minimal Stabilizer ZX-calculus [PDF]
Logical Methods in Computer Science, 2020 The stabilizer ZX-calculus is a rigorous graphical language for reasoning about quantum mechanics. The language is sound and complete: one can transform a stabilizer ZX-diagram into another one using the graphical rewrite rules if and only if these two ...
Miriam Backens +2 more
doaj +1 more source
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 +1 more source
Generalized Flow and Determinism in Measurement-based Quantum Computation [PDF]
, 2007 We extend the notion of quantum information flow defined by Danos and Kashefi for the one-way model and present a necessary and sufficient condition for the deterministic computation in this model.
Kashefi, E. +3 more
core +1 more source
From Fractional Quantum Mechanics to Quantum Cosmology: An Overture
Mathematics, 2020 Fractional calculus is a couple of centuries old, but its development has been less embraced and it was only within the last century that a program of applications for physics started. Regarding quantum physics, it has been only in the previous decade or
Paulo Vargas Moniz, Shahram Jalalzadeh
doaj +1 more source
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
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