3,503 research outputs found
An Interpreter for Quantum Circuits
This paper describes an ACL2 interpreter for "netlists" describing quantum
circuits. Several quantum gates are implemented, including the Hadamard gate H,
which rotates vectors by 45 degrees, necessitating the use of irrational
numbers, at least at the logical level. Quantum measurement presents an
especially difficult challenge, because it requires precise comparisons of
irrational numbers and the use of random numbers. This paper does not address
computation with irrational numbers or the generation of random numbers,
although future work includes the development of pseudo-random generators for
ACL2.Comment: In Proceedings ACL2 2013, arXiv:1304.712
Classical Concepts in Quantum Programming
The rapid progress of computer technology has been accompanied by a
corresponding evolution of software development, from hardwired components and
binary machine code to high level programming languages, which allowed to
master the increasing hardware complexity and fully exploit its potential.
This paper investigates, how classical concepts like hardware abstraction,
hierarchical programs, data types, memory management, flow of control and
structured programming can be used in quantum computing. The experimental
language QCL will be introduced as an example, how elements like irreversible
functions, local variables and conditional branching, which have no direct
quantum counterparts, can be implemented, and how non-classical features like
the reversibility of unitary transformation or the non-observability of quantum
states can be accounted for within the framework of a procedural programming
language.Comment: 11 pages, 4 figures, software available from
http://tph.tuwien.ac.at/~oemer/qcl.html, submitted for QS2002 proceeding
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
The Mode of Computing
The Turing Machine is the paradigmatic case of computing machines, but there
are others, such as Artificial Neural Networks, Table Computing,
Relational-Indeterminate Computing and diverse forms of analogical computing,
each of which based on a particular underlying intuition of the phenomenon of
computing. This variety can be captured in terms of system levels,
re-interpreting and generalizing Newell's hierarchy, which includes the
knowledge level at the top and the symbol level immediately below it. In this
re-interpretation the knowledge level consists of human knowledge and the
symbol level is generalized into a new level that here is called The Mode of
Computing. Natural computing performed by the brains of humans and non-human
animals with a developed enough neural system should be understood in terms of
a hierarchy of system levels too. By analogy from standard computing machinery
there must be a system level above the neural circuitry levels and directly
below the knowledge level that is named here The mode of Natural Computing. A
central question for Cognition is the characterization of this mode. The Mode
of Computing provides a novel perspective on the phenomena of computing,
interpreting, the representational and non-representational views of cognition,
and consciousness.Comment: 35 pages, 8 figure
Automated characterization of single-photon avalanche photodiode
We report an automated characterization of a single-photon detector based on
commercial silicon avalanche photodiode (PerkinElmer C30902SH). The photodiode
is characterized by I-V curves at different illumination levels (darkness, 10
pW and 10 uW), dark count rate and photon detection efficiency at different
bias voltages. The automated characterization routine is implemented in C++
running on a Linux computer.Comment: Have permission to post journal-formatted version on arXi
- …