Results 11 to 20 of about 1,202,123 (248)
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
How to Sum and Exponentiate Hamiltonians in ZXW Calculus
Electronic Proceedings in Theoretical Computer Science, 2023 This paper develops practical summation techniques in ZXW calculus to reason about quantum dynamics, such as unitary time evolution. First we give a direct representation of a wide class of sums of linear operators, including arbitrary qubits ...
Shaikh, Razin A. +2 more
doaj +1 more source
Reducing 2-QuBit Gate Count for ZX-Calculus based Quantum Circuit Optimization
Electronic Proceedings in Theoretical Computer Science, 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
Staudacher, Korbinian +3 more
doaj +1 more source
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
Connecting Quantum Calculus and Harmonic Starlike Functions [PDF]
, 2020 Quantum calculus or q-calculus plays an important role in hypergeometric series, quantum physics, operator theory, approximation theory, sobolev spaces, geometric functions theory and others.
ÇETİNKAYA, ASENA, Ahuja, O. P.
core +1 more source
Communicating quantum processes [PDF]
, 2005 We define a language CQP (Communicating Quantum Processes) for modelling systems which combine quantum and classical communication and computation.
Simon J. Gay +5 more
core +1 more source
The Beverton–Holt q-difference equation
Journal of Biological Dynamics, 2013 The Beverton–Holt model is a classical population model which has been considered in the literature for the discrete-time case. Its continuous-time analogue is the well-known logistic model.
Martin Bohner, Rotchana Chieochan
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
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
Invariant tensors for the spin representation of $\frak{so}$(7) [PDF]
, 2008 We give a graphical calculus for the invariant tensors of the eight dimensional spin representation of the quantum group Uq(B3). This leads to a finite confluent presentation of the centraliser algebras of the tensor powers of this representation and a ...
Westbury, Bruce W.
core +1 more source