English
Related papers

Related papers: Towards A Theory Of Quantum Computability

200 papers

Quantum computing is the process of performing calculations using quantum mechanics. This field studies the quantum behavior of certain subatomic particles for subsequent use in performing calculations, as well as for large-scale…

Quantum Physics · Physics 2023-12-07 David Peral García , Juan Cruz-Benito , Francisco José García-Peñalvo

Using a quantumlike description for light propagation in nonhomogeneous optical fibers, quantum information processing can be implemented by optical means. Quantum-like bits (qulbits) are associated to light modes in the optical fiber and…

Quantum Physics · Physics 2009-11-07 M. A. Man'ko , V. I. Man'ko , R. Vilela Mendes

Consider a universal Turing machine that produces a partial or total function (or a binary stream), based on the answers to the binary queries that it makes during the computation. We study the probability that the machine will produce a…

Computational Complexity · Computer Science 2017-04-28 George Barmpalias , Douglas Cenzer , Christopher P. Porter

The long lasting discussion on the completeness of quantum theory (QT) has not yet come to an end. The discussion is impeded by the lack of a clear understanding of what makes up the contents of a theory of physics in general and of QT…

Quantum Physics · Physics 2015-12-31 Hans H. Diel

Computational entropies provide a framework for quantifying uncertainty and randomness under computational constraints. They play a central role in classical cryptography, underpinning the analysis and construction of primitives such as…

Quantum Physics · Physics 2026-02-03 Noam Avidan , Rotem Arnon

Quantum walks are widely and successfully used to model diverse physical processes. This leads to computation of the models, to explore their properties. Quantum walks have also been shown to be universal for quantum computing. This is a…

Emerging Technologies · Computer Science 2020-04-06 Viv Kendon

Is quantum mechanics about 'states'? Or is it basically another kind of probability theory? It is argued that the elementary formalism of quantum mechanics operates as a well-justified alternative to 'classical' instantiations of a…

Quantum Physics · Physics 2014-10-28 Jean-Michel Delhotel

The aim of this paper is to propose an alternative behavioural definition of computation (and of a computer) based simply on whether a system is capable of reacting to the environment-the input-as reflected in a measure of programmability.…

Logic in Computer Science · Computer Science 2012-11-26 Hector Zenil

Our aim is to experimentally study the possibility of distinguishing between quantum sources of randomness--recently proved to be theoretically incomputable--and some well-known computable sources of pseudo-randomness. Incomputability is a…

Quantum Physics · Physics 2009-12-23 Cristian S. Calude , Michael J. Dinneen , Monica Dumitrescu , Karl Svozil

In this paper, we investigate the problem of synthesizing computable functions of infinite words over an infinite alphabet (data $\omega$-words). The notion of computability is defined through Turing machines with infinite inputs which can…

Formal Languages and Automata Theory · Computer Science 2023-06-22 Léo Exibard , Emmanuel Filiot , Nathan Lhote , Pierre-Alain Reynier

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

It is first pointed out that there is a common mathematical model for the universe and the quantum computer. The former is called the histories approach to quantum mechanics and the latter is called measurement based quantum computation.…

Quantum Physics · Physics 2022-09-01 Stan Gudder

From the existence of an efficient quantum algorithm for factoring, it is likely that quantum computation is intrinsically more powerful than classical computation. At present, the best upper bound known for the power of quantum computation…

Quantum Physics · Physics 2015-09-14 Ciarán M. Lee , Jonathan Barrett

This paper extends work done to date on quantum computation by associating potentials with different types of computation steps. Quantum Turing machine Hamiltonians, generalized to include potentials, correspond to sums over tight binding…

Quantum Physics · Physics 2009-01-23 Paul Benioff

Through superposition, a quantum computer is capable of representing an exponentially large set of states, according to the number of qubits available. Quantum machine learning is a subfield of quantum computing that explores the potential…

Quantum Physics · Physics 2020-07-21 Ismael C. S. Araujo , Adenilton J. da Silva

In this technical report, certain interesting classification of arithmetical functions is proposed. The notion of additively decomposable and multiplicatively decomposable arithmetical functions is proposed. The concepts of arithmetical…

General Mathematics · Mathematics 2012-12-10 Garimella Rama Murthy

A two-dimensional quantum system with anyonic excitations can be considered as a quantum computer. Unitary transformations can be performed by moving the excitations around each other. Measurements can be performed by joining excitations in…

Quantum Physics · Physics 2009-10-30 A. Yu. Kitaev

This article reviews the history of digital computation, and investigates just how far the concept of computation can be taken. In particular, I address the question of whether the universe itself is in fact a giant computer, and if so,…

Quantum Physics · Physics 2013-12-17 Seth Lloyd

A quantum processor is a programmable quantum circuit in which both the data and the program, which specifies the operation that is carried out on the data, are quantum states. We study the situation in which we want to use such a processor…

Quantum Physics · Physics 2009-11-11 Mark Hillery , Mario Ziman , Vladimir Buzek

This paper reviews connections between physics and computation, and explores their implications. The main topics are computational "hardness" of physical systems, computational status of fundamental theories, quantum computation, and the…

Logic · Mathematics 2007-05-23 Joseph Shipman