English
Related papers

Related papers: Wave-Style Token Machines and Quantum Lambda Calcu…

200 papers

Machine learning, a branch of artificial intelligence, learns from previous experience to optimize performance, which is ubiquitous in various fields such as computer sciences, financial analysis, robotics, and bioinformatics. A challenge…

Quantum Physics · Physics 2019-12-18 X. -D. Cai , D. Wu , Z. -E. Su , M. -C. Chen , X. -L. Wang , L. Li , N. -L. Liu , Chao-Yang Lu , Jian-Wei Pan

A new physical implementation for quantum computation is proposed. The vibrational modes of molecules are used to encode qubit systems. Global quantum logic gates are realized using shaped femtosecond laser pulses which are calculated…

Quantum Physics · Physics 2009-11-07 Carmen M. Tesch , Regina de Vivie-Riedle

Multi-stack machines and Turing machines can simulate to each other. In this note, we give a succinct definition of multi-stack machines, and from this definition it is clearly seen that pushdown automata and deterministic finite automata…

Formal Languages and Automata Theory · Computer Science 2025-11-24 Daowen Qiu

We prove that quantum computation is polynomially equivalent to classical probabilistic computation with an oracle for estimating the value of simple sums, quadratically signed weight enumerators. The problem of estimating these sums can be…

Quantum Physics · Physics 2007-05-23 E. Knill , R. Laflamme

A new model of quantum computation is considered, in which the connections between gates are programmed by the state of a quantum register. This new model of computation is shown to be more powerful than the usual quantum computation, e. g.…

Quantum Physics · Physics 2013-05-27 Timoteo Colnaghi , Giacomo Mauro D'Ariano , Paolo Perinotti , Stefano Facchini

A scheme of universal quantum computation on a chain of qubits is described that does not require local control. All the required operations, an Ising-type interaction and spatially uniform simultaneous one-qubit gates, are…

Quantum Physics · Physics 2009-11-11 Robert Raussendorf

Quantum voting protocols aim to offer ballot secrecy and publicly verifiable tallies using physical guarantees from quantum mechanics, rather than relying solely on computational hardness. This article surveys whether such quantum voting…

Quantum Physics · Physics 2026-01-27 Nitin Jha , Abhishek Parakh

According to the stochastic-quantum correspondence, a quantum system can be understood as a stochastic process unfolding in an old-fashioned configuration space based on ordinary notions of probability and `indivisible' stochastic laws,…

Quantum Physics · Physics 2025-07-30 Jacob A. Barandes

Quantum computing is a new model of computation, based on quantum physics. Quantum computers can be exponentially faster than conventional computers for problems such as factoring. Besides full-scale quantum computers, more restricted…

Formal Languages and Automata Theory · Computer Science 2018-07-05 Andris Ambainis , Abuzer Yakaryılmaz

Quantum computing promises to exploit the laws of quantum mechanics for processing information in ways fundamentally different from today's classical computers, leading to unprecedented efficiency. One-way quantum computation, sometimes…

Neural networks are being used to improve the probing of the state spaces of many particle systems as approximations to wavefunctions and in order to avoid the recurring sign problem of quantum monte-carlo. One may ask whether the usual…

Neural and Evolutionary Computing · Computer Science 2024-12-17 Andrei T. Patrascu

Owing to the computational complexity of electronic structure algorithms running on classical digital computers, the range of molecular systems amenable to simulation remains tightly circumscribed even after many decades of work. Quantum…

Quantum Physics · Physics 2022-05-18 Alexis Ralli , Michael I. Williams , Peter V. Coveney

The paper deals with combinatorial and stochastic structures of cubical token systems. A cubical token system is an instance of a token system, which in turn is an instance of a transition system. It is shown that some basic results of…

Combinatorics · Mathematics 2007-05-23 Sergei Ovchinnikov

Quantum computers provide a fundamentally new computing paradigm that promises to revolutionize our ability to solve broad classes of problems. Surprisingly, the basic mathematical structures of gate-based quantum computing, such as unitary…

Quantum Physics · Physics 2019-08-20 Brian R. La Cour , S. Andrew Lanham , Corey I. Ostrove

Calculi with control operators have been studied to reason about control in programming languages and to interpret the computational content of classical proofs. To make these calculi into a real programming language, one should also…

Logic in Computer Science · Computer Science 2012-10-12 Robbert Krebbers

Quantum computers hold promise to improve the efficiency of quantum simulations of materials and to enable the investigation of systems and properties more complex than tractable at present on classical architectures. Here, we discuss…

Quantum Physics · Physics 2022-05-03 Christian Vorwerk , Nan Sheng , Marco Govoni , Benchen Huang , Giulia Galli

Quantum machine learning (QML) is a computational paradigm that seeks to apply quantum-mechanical resources to solve learning problems. As such, the goal of this framework is to leverage quantum processors to tackle optimization,…

Quantum Physics · Physics 2025-11-21 Su Yeon Chang , M. Cerezo

The goal of the presented paper is to provide an introduction to the basic computational models used in quantum information theory. We review various models of quantum Turing machine, quantum circuits and quantum random access machine…

Programming Languages · Computer Science 2011-12-06 J. A. Miszczak

We show that the time evolution of the wave function of a quantum mechanical many particle system can be implemented very efficiently on a quantum computer. The computational cost of such a simulation is comparable to the cost of a…

Quantum Physics · Physics 2009-10-30 Christof Zalka

We provide a computational definition of the notions of vector space and bilinear functions. We use this result to introduce a minimal language combining higher-order computation and linear algebra. This language extends the Lambda-calculus…

Quantum Physics · Physics 2019-03-14 Pablo Arrighi , Gilles Dowek