6,514 research outputs found
Quantum Turing automata
A denotational semantics of quantum Turing machines having a quantum control
is defined in the dagger compact closed category of finite dimensional Hilbert
spaces. Using the Moore-Penrose generalized inverse, a new additive trace is
introduced on the restriction of this category to isometries, which trace is
carried over to directed quantum Turing machines as monoidal automata. The
Joyal-Street-Verity Int construction is then used to extend this structure to a
reversible bidirectional one.Comment: In Proceedings DCM 2012, arXiv:1403.757
Quantum Algorithm for SAT Problem and Quantum Mutual Entropy
It is von Neumann who opened the window for today's Information epoch. He
defined quantum entropy including Shannon's information more than 20 years
ahead of Shannon, and he introduced a concept what computation means
mathematically. In this paper I will report two works that we have recently
done, one of which is on quantum algorithum in generalized sense solving the
SAT problem (one of NP complete problems) and another is on quantum mutual
entropy properly describing quantum communication processes.Comment: 19 pages, Proceedings of the von Neumann Centennial Conference:
Linear Operators and Foundations of Quantum Mechanics, Budapest, Hungary,
15-20 October, 200
Classically-Controlled Quantum Computation
Quantum computations usually take place under the control of the classical
world. We introduce a Classically-controlled Quantum Turing Machine (CQTM)
which is a Turing Machine (TM) with a quantum tape for acting on quantum data,
and a classical transition function for a formalized classical control. In
CQTM, unitary transformations and measurements are allowed. We show that any
classical TM is simulated by a CQTM without loss of efficiency. The gap between
classical and quantum computations, already pointed out in the framework of
measurement-based quantum computation is confirmed. To appreciate the
similarity of programming classical TM and CQTM, examples are given.Comment: 20 page
Linear-algebraic lambda-calculus
With a view towards models of quantum computation and/or the interpretation
of linear logic, we define a functional language where all functions are linear
operators by construction. A small step operational semantic (and hence an
interpreter/simulator) is provided for this language in the form of a term
rewrite system. The linear-algebraic lambda-calculus hereby constructed is
linear in a different (yet related) sense to that, say, of the linear
lambda-calculus. These various notions of linearity are discussed in the
context of quantum programming languages. KEYWORDS: quantum lambda-calculus,
linear lambda-calculus, -calculus, quantum logics.Comment: LaTeX, 23 pages, 10 figures and the LINEAL language
interpreter/simulator file (see "other formats"). See the more recent
arXiv:quant-ph/061219
- …