Results 21 to 30 of about 2,610 (263)
The ZX-calculus is complete for the single-qubit Clifford+T group [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 The ZX-calculus is a graphical calculus for reasoning about pure state qubit quantum mechanics. It is complete for pure qubit stabilizer quantum mechanics, meaning any equality involving only stabilizer operations that can be derived using matrices can ...
Miriam Backens
doaj +1 more source
A Symmetric Quantum Calculus [PDF]
, 2013 Submitted 26/Sept/2011; accepted in revised form 28/Dec/2011; to Proceedings of International Conference on Differential & Difference Equations and Applications, in honour of Professor Ravi P. Agarwal, to be published by Springer in the series Proceedings in Mathematics (PROM)
Cruz, A. M. C. B. da +2 more
openaire +3 more sources
Making the stabilizer ZX-calculus complete for scalars [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 The ZX-calculus is a graphical language for quantum processes with built-in rewrite rules. The rewrite rules allow equalities to be derived entirely graphically, leading to the question of completeness: can any equality that is derivable using matrices ...
Miriam Backens
doaj +1 more source
Spikes in quantum Regge calculus [PDF]
Classical and Quantum Gravity, 1997 We demonstrate by explicit calculation of the DeWitt-like measure in two-dimensional quantum Regge gravity that it is highly non-local and that the average values of link lengths $l, $, do not exist for sufficient high powers of $n$. Thus the concept of length has no natural definition in this formalism and a generic manifold degenerates into spikes ...
Ambjørn, Jan +3 more
openaire +3 more sources
Verification of Linear Optical Quantum Computing using Quantum Process Calculus [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We explain the use of quantum process calculus to describe and analyse linear optical quantum computing (LOQC). The main idea is to define two processes, one modelling a linear optical system and the other expressing a specification, and prove that they ...
Sonja Franke-Arnold +2 more
doaj +1 more source
A certain ( p , q ) $(p,q)$ -derivative operator and associated divided differences
Journal of Inequalities and Applications, 2016 Recently, Sofonea (Gen. Math. 16:47-54, 2008) considered some relations in the context of quantum calculus associated with the q-derivative operator D q $D_{q}$ and divided difference. As applications of the post-quantum calculus known as the ( p , q ) $(
Serkan Araci +3 more
doaj +1 more source
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
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