English
Related papers

Related papers: Practical intractability: a critique of the hyperc…

200 papers

T. D. Kieu has claimed that a quantum computing procedure can solve a classically unsolvable problem. Recent work of W. D. Smith has shown that Kieu's central mathematical claim cannot be sustained. Here, a more general critique is given of…

Quantum Physics · Physics 2007-05-23 Andrew Hodges

Can a Turing Machine simulate the human mind? If the Church-Turing thesis is assumed to be true, then a Turing Machine should be able to simulate the human mind. In this paper, I challenge that assumption by providing strong mathematical…

Computational Complexity · Computer Science 2022-07-13 Abhinav Muraleedharan

We investigate the computational power and unified resource use of hybrid quantum-classical computations, such as teleportation and measurement-based computing. We introduce a physically causal and local graphical calculus for quantum…

Quantum Physics · Physics 2023-04-21 Dominic Horsman , William J. Munro

We start by an introduction to the basic concepts of computability theory and the introduction of the concept of Turing machine and computation universality. Then se turn to the exploration of trade-offs between different measures of…

Computational Complexity · Computer Science 2011-04-19 Joost J. Joosten , Fernando Soler-Toscano , Hector Zenil

The Church-Turing thesis asserts that if a partial strings-to-strings function is effectively computable then it is computable by a Turing machine. In the 1930s, when Church and Turing worked on their versions of the thesis, there was a…

Logic in Computer Science · Computer Science 2019-01-16 Yuri Gurevich

This paper serves as a review and discussion of the recent works on memcomputing. In particular, the $\textit{universal memcomputing machine}$ (UMM) and the $\textit{digital memcomputing machine}$ (DMM) are discussed. We review the…

Emerging Technologies · Computer Science 2018-04-05 Daniel Saunders

It is possible in principle to construct quantum mechanical observables and unitary operators which, if implemented in physical systems as measurements and dynamical evolution, would contradict the Church-Turing thesis, which lies at the…

Quantum Physics · Physics 2007-05-23 R. Srikanth

We discuss historical attempts to formulate a physical hypothesis from which Turing's thesis may be derived, and also discuss some related attempts to establish the computability of mathematical models in physics. We show that these…

Logic · Mathematics 2012-07-23 Matthew P. Szudzik

Quantum computing promises to provide the next step up in computational power for diverse application areas. In this review, we examine the science behind the quantum hype, and the breakthroughs required to achieve true quantum advantage in…

Quantum Physics · Physics 2025-09-26 R. Au-Yeung , B. Camino , O. Rathore , V. Kendon

Quantum computers use quantum mechanical phenomena to perform conventionally intractable calculations for specific problems. Despite being universal machines, quantum computers are not expected to replace classical computers, but rather, to…

Emerging Technologies · Computer Science 2025-07-08 Philip Döbler , Manpreet Singh Jattana

Self-replication is central to all life, and yet how it dynamically emerges in physical, non-equilibrium systems remains poorly understood. Von Neumann's pioneering work in the 1940s and subsequent developments suggest a natural hypothesis:…

Cellular Automata and Lattice Gases · Physics 2025-10-10 Jordan Cotler , Clément Hongler , Barbora Hudcová

In this work we initiate the question of whether quantum devices can provide us with an almost perfect source of classical randomness, and more generally, suffice for classical cryptographic tasks, such as encryption. Indeed, it is well…

Quantum Physics · Physics 2007-05-23 Yevgeniy Dodis , Renato Renner

What is computable with limited resources? How can we verify the correctness of computations? How to measure computational power with precision? Despite the immense scientific and engineering progress in computing, we still have only…

Other Computer Science · Computer Science 2016-10-20 Attila Egri-Nagy

The recent development of quantum computing, which uses entanglement, superposition, and other quantum fundamental concepts, can provide substantial processing advantages over traditional computing. These quantum features help solve many…

At a first glance the Theory of computation relies on potential infinity and an organization aimed at solving a problem. Under such aspect it is like Mendeleev theory of chemistry. Also its theoretical development reiterates that of this…

Logic · Mathematics 2021-01-15 Antonino Drago

Quantum computing promises to help humanity solve problems that would otherwise be intractable on classical computers. Unlike today's machines, quantum computers use a novel computing process that leverages the foundational quantum…

Physics and Society · Physics 2024-03-06 Matthias Troyer , Emily Violi Benjamin , Ani Gevorkian

To scrutinize notions of computation and time complexity, we introduce and formally define an interactive model for computation that we call it the \emph{computation environment}. A computation environment consists of two main parts: i) a…

Computational Complexity · Computer Science 2012-05-29 Rasoul Ramezanian

By leveraging quantum-mechanical properties like superposition, entanglement, and interference, quantum computing (QC) offers promising solutions for problems that classical computing has not been able to solve efficiently, such as drug…

Human-Computer Interaction · Computer Science 2025-02-14 Hyeok Kim , Mingyoung J. Jeng , Kaitlin N. Smith

We outline the construction of a molecular system that could, in principle, implement a thermodynamically reversible Universal Turing Machine (UTM). By proposing a concrete-albeit idealised-design and operational protocol, we reveal…

Statistical Mechanics · Physics 2021-02-09 Rory A. Brittain , Nick S. Jones , Thomas E. Ouldridge

As we begin to reach the limits of classical computing, quantum computing has emerged as a technology that has captured the imagination of the scientific world. While for many years, the ability to execute quantum algorithms was only a…

Quantum Physics · Physics 2020-11-12 Bela Bauer , Sergey Bravyi , Mario Motta , Garnet Kin-Lic Chan
‹ Prev 1 3 4 5 6 7 10 Next ›