Results 41 to 50 of about 1,671,987 (325)
A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics [PDF]
, 2018 We introduce the first complete and approximatively universal diagrammatic language for quantum mechanics. We make the ZX-Calculus, a diagrammatic language introduced by Coecke and Duncan, complete for the so-called Clifford+T quantum mechanics by adding
Jeandel, Emmanuel +2 more
core +5 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
On Ostrowski inequality for quantum calculus [PDF]
Applied Mathematics and Computation, 2020 We derive a version of Lagrange's mean value theorem for quantum calculus. We disprove a version of Ostrowski inequality for quantum calculus appearing in the literature. We derive a correct statement and prove that our new inequality is sharp.
A. A. Aljinović +3 more
semanticscholar +1 more source
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
Some New Newton's Type Integral Inequalities for Co-Ordinated Convex Functions in Quantum Calculus
Symmetry, 2020 Some recent results have been found treating the famous Simpson’s rule in connection with the convexity property of functions and those called generalized convex.
Miguel J. Vivas-Cortez +4 more
semanticscholar +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
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
Reducing 2-QuBit Gate Count for ZX-Calculus based Quantum Circuit Optimization [PDF]
QPL, 2023 In the near term, programming quantum computers will remain severely limited by low quantum volumes. Therefore, it is desirable to implement quantum circuits with the fewest resources possible. For the common Clifford+T circuits, most research is focused
Korbinian Staudacher +3 more
semanticscholar +1 more source
Generalised Compositional Theories and Diagrammatic Reasoning [PDF]
, 2015 This chapter provides an introduction to the use of diagrammatic language, or perhaps more accurately, diagrammatic calculus, in quantum information and quantum foundations.
A Barenco +17 more
core +3 more sources