Aspects of Computability in Physics

Joseph Shipman

DOI: https://doi.org/10.48550/arXiv.math/9711204

1997-11-25

Logic

Abstract: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 Universe as a computer.

What problem does this paper attempt to address?

Observability and Computability in Physical Systems

Subhash Kak

DOI: https://doi.org/10.48550/arXiv.1206.6292

2012-06-26

General Physics

Abstract:This paper considers the relevance of the concepts of observability and computability in physical theory. Observability is related to verifiability which is essential for effective computing and as physical systems are computational systems it is important even where explicit computation is not the goal. Specifically, we examine two problems: observability and computability for quantum computing, and remote measurement of time and frequency.
On Measurement and Computation

Huimin Zheng,HaiXing Hu,Nan Wu,Fangmin Song

DOI: https://doi.org/10.48550/arxiv.1107.3226

2011-01-01

Abstract:Inspired by the work of Feynman, Deutsch, We formally propose the theory of physical computability and accordingly, the physical complexity theory. To achieve this, a framework that can evaluate almost all forms of computation using various physical mechanisms is discussed. Here, we focus on using it to review the theory of Quantum Computation. As a preliminary study on more general problems, some examples of other physical mechanism are also given in this paper.
How Real is Incomputability in Physics?

José Manuel Agüero Trejo,Cristian S. Calude,Michael J. Dinneen,Arkady Fedorov,Anatoly Kulikov,Rohit Navarathna,Karl Svozil

DOI: https://doi.org/10.1016/j.tcs.2024.114632

2024-06-21

Abstract:A physical system is determined by a finite set of initial conditions and "laws" represented by equations. The system is computable if we can solve the equations in all instances using a "finite body of mathematical knowledge". In this case, if the laws of the system can be coded into a computer program, then given the initial conditions of the system, one can compute the system's evolution. Are there incomputable physical systems? This question has been theoretically studied in the last 30-40 years. In this paper, we experimentally show for the first time the strong incomputability of a quantum experiment, namely the outputs of a quantum random number generator. Moreover, the experimental results are robust and statistically significant.

Quantum Physics,Computational Complexity
Quantum information and computation

Jeffrey Bub

DOI: https://doi.org/10.48550/arXiv.quant-ph/0512125

2006-02-18

Abstract:This article deals with theoretical developments in the subject of quantum information and quantum computation, and includes an overview of classical information and some relevant quantum mechanics. The discussion covers topics in quantum communication, quantum cryptography, and quantum computation, and concludes by considering whether a perspective in terms of quantum information sheds new light on the conceptual problems of quantum mechanics.

Quantum Physics
Machines, logic and quantum physics

David Deutsch,Artur Ekert,Rossella Lupacchini

DOI: https://doi.org/10.2307/421056

2000-01-01

Bulletin of Symbolic Logic

Abstract:Though the truths of logic and pure mathematics are objective and independent of any contingent facts or laws of nature, our knowledge of these truths depends entirely on our knowledge of the laws of physics. Recent progress in the quantum theory of computation has provided practical instances of this, and forces us to abandon the classical view that computation, and hence mathematical proof, are purely logical notions independent of that of computation as a physical process. Henceforward, a proof must be regarded not as an abstract object or process but as a physical process, a species of computation, whose scope and reliability depend on our knowledge of the physics of the computer concerned.
Undecidability in Physics: a Review

Álvaro Perales-Eceiza,Toby Cubitt,Mile Gu,David Pérez-García,Michael M. Wolf

2024-10-22

Abstract:The study of undecidability in problems arising from physics has experienced a renewed interest, mainly in connection with quantum information problems. The goal of this review is to survey this recent development. After a historical introduction, we first explain the necessary results about undecidability in mathematics and computer science. Then we briefly review the first results about undecidability in physics which emerged mostly in the 80s and early 90s. Finally we focus on the most recent contributions, which we divide in two main categories: many body systems and quantum information problems.

Mathematical Physics,Strongly Correlated Electrons,Quantum Physics
Noncommutativity and Discrete Physics

Louis H. Kauffman

DOI: https://doi.org/10.1016/S0167-2789%2898%2900049-9

1997-09-07

Abstract:The purpose of this paper is to present an introduction to a point of view for discrete foundations of physics. In taking a discrete stance, we find that the initial expression of physical theory must occur in a context of noncommutative algebra and noncommutative vector analysis. In this way the formalism of quantum mechanics occurs first, but not necessarily with the usual interpretations. The basis for this work is a non-commutative discrete calculus and the observation that it takes one tick of the discrete clock to measure momentum.

Quantum Algebra
Using Quantum Computers to Learn Physics

Nathan Wiebe

DOI: https://doi.org/10.48550/arXiv.1401.4507

2014-01-18

Quantum Physics

Abstract:Since its inception at the beginning of the twentieth century, quantum mechanics has challenged our conceptions of how the universe ought to work; however, the equations of quantum mechanics can be too computationally difficult to solve using existing computers for even modestly large systems. Here I will show that quantum computers can sometimes be used to address such problems and that quantum computer science can assign formal complexities to learning facts about nature. Hence, computer science should not only be regarded as an applied science; it is also of central importance to the foundations of science.
On the Theory of Quantum and Towards Practical Computation

Robert Kudelić

2024-02-08

Abstract:Quantum computing exposes the brilliance of quantum mechanics through computer science and, as such, gives oneself a marvelous and exhilarating journey to go through. This article leads along that journey with a historical and current outlook on quantum computation that is geared toward computer experts but also to experts from other disciplines as well. It is an article that will bridge the vast gap between classical and quantum computation and open an entering wedge through which one will be able to both bring himself up to speed on quantum computation and, intrinsically, in a straightforward manner, become acquainted with it. We are indeed in luck to be living in an age where computing is being reinvented, and not only seeing history in the making firsthand but, in fact, having the opportunity to be the ones who are reinventing--and that is quite a thought.

Popular Physics,Emerging Technologies,Quantum Physics
Computable and noncomputable in the quantum domain: statements and conjectures

Aleksey K. Fedorov,Evgeniy O. Kiktenko,Nikolay N. Kolachevsky

DOI: https://doi.org/10.3367/UFNr.2024.07.039721

2024-10-31

Abstract:Significant advances in the development of computing devices based on quantum effects and the demonstration of their use to solve various problems have rekindled interest in the nature of the "quantum computational advantage." Although various attempts to quantify and characterize the nature of the quantum computational advantage have previously been made, this question largely remains open. Indeed, there is no universal approach that allows determining the scope of problems whose solution can be accelerated by quantum computers, in theory of in practice. In this paper, we consider an approach to this question based on the concept of complexity and reachability of quantum states. On the one hand, the class of quantum states that are of interest for quantum computing must be complex, i.e., not amenable to simulation by classical computers with less than exponential resources. On the other hand, such quantum states must be reachable on a practically feasible quantum computer. This means that the unitary operation that transforms the initial quantum state into the desired one must be decomposable into a sequence of one- and two-qubit gates of a length that is at most polynomial in the number of qubits. By formulating several statements and conjectures, we discuss the question of describing a class of problems whose solution can be accelerated by a quantum computer.

Quantum Physics
Computational complexity and quantum interpretations

Vivek Kumar,M. P. Singh,R. Srikanth

2024-05-07

Abstract:In computational complexity theory, it remains to be understood whether $\textbf{BQP}$ is the same as $\textbf{BPP}$. Prima facie, one would expect that this mathematical question is quite unrelated to the foundational question of whether the quantum state is an element of reality or of the observer's knowledge. By contrast, here we argue that the complexity of computation in a physical theory may constrain its physical interpretation. Specifically in the quantum case, we argue that a subjective interpretation of the quantum mechanics favors the proposition $\textbf{BQP} = \textbf{BPP}$. Therefore, if $\textbf{BPP} \subset \textbf{BQP}$, then a realist interpretation of quantum mechanics would be favored.

Quantum Physics
The Physics of Quantum Information

John Preskill

DOI: https://doi.org/10.48550/arXiv.2208.08064

2022-08-17

Abstract:Rapid ongoing progress in quantum information science makes this an apt time for a Solvay Conference focused on The Physics of Quantum Information. Here I review four intertwined themes encompassed by this topic: Quantum computer science, quantum hardware, quantum matter, and quantum gravity. Though the time scale for broad practical impact of quantum computation is still uncertain, in the near future we can expect noteworthy progress toward scalable fault-tolerant quantum computing, and discoveries enabled by programmable quantum simulators. In the longer term, controlling highly complex quantum matter will open the door to profound scientific advances and powerful new technologies.

Quantum Physics,Strongly Correlated Electrons,High Energy Physics - Theory
Universality in long-distance geometry and quantum complexity

Adam R. Brown,Michael H. Freedman,Henry W. Lin,Leonard Susskind

DOI: https://doi.org/10.1038/s41586-023-06460-3

2023-11-21

Abstract:In physics, two systems that radically differ at short scales can exhibit strikingly similar macroscopic behaviour: they are part of the same long-distance universality class. Here we apply this viewpoint to geometry and initiate a program of classifying homogeneous metrics on group manifolds by their long-distance properties. We show that many metrics on low-dimensional Lie groups have markedly different short-distance properties but nearly identical distance functions at long distances, and provide evidence that this phenomenon is even more robust in high dimensions. An application of these ideas of particular interest to physics and computer science is complexity geometry--the study of quantum computational complexity using Riemannian geometry. We argue for the existence of a large universality class of definitions of quantum complexity, each linearly related to the other, a much finer-grained equivalence than typically considered. We conjecture that a new effective metric emerges at larger complexities that describes a broad class of complexity geometries, insensitive to various choices of microscopic penalty factors. We discuss the implications for recent conjectures in quantum gravity.

High Energy Physics - Theory,Differential Geometry,Quantum Physics
What is Quantum Computation?

A Ekert,P Hayden,H Inamori,DKL Oi

DOI: https://doi.org/10.1142/s0217751x0100492x

2001-01-01

International Journal of Modern Physics A

Abstract:"Information is physical and any processing of information is always performed by physical means," an innocent-sounding statement, but its consequences are profound. When quantum effects become important, for example, at the level of single atoms and photons, the classical theory of computation becomes fundamentally inadequate. Entirely new modes of computation and information processing become possible. In the last few years there has been an explosion of theoretical and experimental research in quantum computation. In this brief review we describe some of these developments.
What Does Quantum Physics Tell Us About Computation?

A Ekert,R Lupacchini

1999-01-01

Abstract:As computers become faster they must become smaller because of the finiteness of the speed of light. If computers are to continue to become smaller, new, quantum technology must replace or supplement what we have now, but it turns out that quantum physics can offer much more than smaller and faster microprocessors. It can support entirely new modes of computation, with new quantum algorithms that do not have classical analogues. Moreover, recent progress in the quantum theory of computation forces us to question the classical view of computation as a purely logical notion independent of that of computation as a physical process. We provide a brief overview of these new developments which may lead to a significant revision of our understanding of the nature of computation.
On the theory of quantum and towards practical computation: A review

Robert Kudelić

DOI: https://doi.org/10.1016/j.jocs.2024.102454

IF: 3.817

2024-10-12

Journal of Computational Science

Abstract:Quantum computing exposes the brilliance of quantum mechanics through computer science (in theory and otherwise), giving oneself a marvelous and exhilarating journey to go through. This review article leads along that journey with a historical and current outlook on quantum computation that is geared toward computer experts (via algorithmics) but also to experts from other disciplines as well. It is an article that will open an entering wedge through which one will be able to bring himself up to speed on quantum computation and challenges/limitations thereof. We are indeed in luck to be living in an age where computing is being reinvented, and not only seeing history in the making firsthand but, in fact, having the opportunity to be the ones who are reinventing—and that is quite a thought.

computer science, theory & methods, interdisciplinary applications
Physics and computer science: quantum computation and other approaches

Salvador E. Venegas-Andraca

DOI: https://doi.org/10.1017/S0960129510000423

2011-03-08

Abstract:This is a position paper written as an introduction to the special volume on quantum algorithms I edited for the journal Mathematical Structures in Computer Science (Volume 20 - Special Issue 06 (Quantum Algorithms), 2010).

Quantum Physics
The universe as quantum computer

Seth Lloyd

DOI: https://doi.org/10.48550/arXiv.1312.4455

2013-12-17

Abstract: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, just what kind of computer it is. I will show that the universe can be regarded as a giant quantum computer. The quantum computational model of the universe explains a variety of observed phenomena not encompassed by the ordinary laws of physics. In particular, the model shows that the the quantum computational universe automatically gives rise to a mix of randomness and order, and to both simple and complex systems.

Quantum Physics,Popular Physics
Physical Computing: A Category Theoretic Perspective on Physical Computation and System Compositionality

Nima Dehghani,Gianluca Caterina

DOI: https://doi.org/10.1088/2632-072X/ad6051

2024-01-01

Abstract:This paper introduces a category theory-based framework to redefine physical computing in light of advancements in quantum computing and non-standard computing systems. By integrating classical definitions within this broader perspective, the paper rigorously recontextualizes what constitutes physical computing devices and processes. It demonstrates how the compositional nature and relational structures of physical computing systems can be coherently formalized using category theory. This approach not only encapsulates recent formalisms in physical computing but also offers a structured method to explore the dynamic interactions within these systems.

Quantum Physics,Artificial Intelligence,Computation and Language,Computational Physics,Other Quantitative Biology
Aspects of Quantum Gravity Phenomenology and Astrophysics

Arundhati Dasgupta,José Fajardo-Montenegro

DOI: https://doi.org/10.3390/universe9030128

2023-03-09

Abstract:With the discovery of gravitational waves, the search for the quantum of gravity, the graviton, is imminent. We discuss the current status of the bounds on graviton mass from experiments as well as the theoretical understanding of these particles. We provide an overview of current experiments in astrophysics such as the search for Hawking radiation in gamma-ray observations and neutrino detectors, which will also shed light on the existence of primordial black holes. Finally, the semiclassical corrections to the image of the event horizon are discussed.

General Relativity and Quantum Cosmology,High Energy Physics - Theory

Aspects of Computability in Physics

Observability and Computability in Physical Systems

On Measurement and Computation

How Real is Incomputability in Physics?

Quantum information and computation

Machines, logic and quantum physics

Undecidability in Physics: a Review

Noncommutativity and Discrete Physics

Using Quantum Computers to Learn Physics

On the Theory of Quantum and Towards Practical Computation

Computable and noncomputable in the quantum domain: statements and conjectures

Computational complexity and quantum interpretations

The Physics of Quantum Information

Universality in long-distance geometry and quantum complexity

What is Quantum Computation?

What Does Quantum Physics Tell Us About Computation?

On the theory of quantum and towards practical computation: A review

Physics and computer science: quantum computation and other approaches

The universe as quantum computer

Physical Computing: A Category Theoretic Perspective on Physical Computation and System Compositionality

Aspects of Quantum Gravity Phenomenology and Astrophysics