Results 21 to 30 of about 1,144,070 (196)
Analysis of a Quantum Error Correcting Code using Quantum Process Calculus [PDF]
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
From Fractional Quantum Mechanics to Quantum Cosmology: An Overture
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]
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
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]
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
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
New Forms of the Open Newton-Cotes-Type Inequalities for a Family of the Quantum Differentiable Convex Functions [PDF]
The 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
AKLT-States as ZX-Diagrams: Diagrammatic Reasoning for Quantum States
From Feynman diagrams to tensor networks, diagrammatic representations of computations in quantum mechanics have catalyzed progress in physics. These diagrams represent the underlying mathematical operations and aid physical interpretation, but cannot ...
Richard D.P. East +3 more
doaj +1 more source
The ZX-calculus is complete for stabilizer quantum mechanics
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 +1 more source
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

