English
Related papers

Related papers: Probabilistic Turing Machine and Landauer Limit

200 papers

I present a generalization of the Ehrenfest urn model that is aimed at simulating the approach to equilibrium in a dilute gas. The present model differs from the original one in two respects: 1) the two boxes have different volumes and are…

Statistical Mechanics · Physics 2009-11-10 S. Prestipino

The study considers advantages of the introduced measure of time based on the entropy change under irreversible processes (entropy production). Using the example of non-equilibrium expansion of an ideal gas in vacuum, such a measure is…

Statistical Mechanics · Physics 2016-08-24 Leonid M. Martyushev , Evgenii V. Shaiapin

We introduce a deterministic, time-reversible version of the Ehrenfest urn model. The distribution of first-passage times from equilibrium to non-equilibrium states and vice versa is calculated. We find that average times for transition to…

Statistical Mechanics · Physics 2009-10-31 R. Metzler , W. Kinzel , I. Kanter

Computational complexity theory contains a corpus of theorems and conjectures regarding the time a Turing machine will need to solve certain types of problems as a function of the input size. Nature {\em need not} be a Turing machine and,…

Quantum Physics · Physics 2015-05-20 Javier Rodriguez-Laguna , Silvia N. Santalla

Recently, Zhang and Van Breugel introduced the notion of a progress measure for a probabilistic model checker. Given a linear-time property P and a description of the part of the system that has already been checked, the progress measure…

Logic in Computer Science · Computer Science 2012-07-05 Elise Cormie-Bowins , Franck van Breugel

There are several forms of irreducibility in computing systems, ranging from undecidability to intractability to nonlinearity. This paper is an exploration of the conceptual issues that have arisen in the course of investigating speed-up…

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

An entropic formulation of relativistic continuum mechanics is developed in the Landau-Lifshitz frame. We introduce two spatial scales, one being the small scale representing the linear size of each material particle and the other the large…

High Energy Physics - Theory · Physics 2011-09-02 Masafumi Fukuma , Yuho Sakatani

We study the paradoxical aspects of closed time-like curves and their impact on the theory of computation. After introducing the $\text{TM}_\text{CTC}$, a classical Turing machine benefiting CTCs for backward time travel, Aaronson et al.…

Computational Complexity · Computer Science 2023-01-30 Sara Babaee Khanehsar , Farzad Didehvar

In this paper, using \textit{hydrodynamic entropy} we quantify the multiscale disorder in Euler and hydrodynamic turbulence. These examples illustrate that the hydrodynamic entropy is not extensive because it is not proportional to the…

Statistical Mechanics · Physics 2024-12-06 Mahendra K. Verma , Rodion Stepanov , Alexandre Delache

Invariance under translation is exploited to efficiently simulate one-dimensional quantum lattice systems in the limit of an infinite lattice. Both the computation of the ground state and the simulation of time evolution are considered.

Strongly Correlated Electrons · Physics 2009-11-11 G. Vidal

Based on the propositional description of even Goldbach conjecture, in order to verify the truth of even Goldbach conjecture, we will deeply discuss this question and present a new computing model of $G{{N}_{e}}TM$ Turing Machine. This…

Computational Complexity · Computer Science 2021-12-30 Bogang Lin

The complete framework for the $\epsilon$-machine construction of the one dimensional Ising model is presented correcting previous mistakes on the subject. The approach follows the known treatment of the Ising model as a Markov random…

Mathematical Physics · Physics 2021-02-12 E. Rodriguez-Horta , E. Estevez-Rams , R. Lora Serrano

We study the coevolution of a generalized Glauber dynamics for Ising spins, with tunable threshold, and of the graph topology where the dynamics takes place. This simple coevolution dynamics generates a rich phase diagram in the space of…

Physics and Society · Physics 2009-11-25 Salvatore Mandra' , Santo Fortunato , Claudio Castellano

We introduce a general class of mean-field-like spin systems with random couplings that comprises both the Ising model on inhomogeneous dense random graphs and the randomly diluted Hopfield model. We are interested in quantitative estimates…

Probability · Mathematics 2024-07-10 Anton Bovier , Frank den Hollander , Saeda Marello , Elena Pulvirenti , Martin Slowik

The upper limit on what is computable in our universe is unknown, but widely believed to be set by the Turing machine -- with a function being physically computable if and only if it is Turing-computable. I show how this apparently mild…

History and Philosophy of Physics · Physics 2024-10-16 Toby Ord

The purpose of this article is to develop a technique to estimate certain bounds for entropy numbers of diagonal operator on spaces of p-summable sequences for finite p greater than 1. The approximation method we develop in this direction…

Functional Analysis · Mathematics 2022-07-08 K. P. Deepesh , V. B. Kiran Kumar

We introduce a method to perform imaginary time evolution in a controllable quantum system using measurements and conditional unitary operations. By performing a sequence of weak measurements based on the desired Hamiltonian constructed by…

Time evolution of an infinite 2D many body quantum lattice system can be described by the Suzuki-Trotter decomposition applied to the infinite projected entangled pair state (iPEPS). Each Trotter gate increases the bond dimension of the…

Quantum Physics · Physics 2022-07-20 Jacek Dziarmaga

We prove that given a computable metric space and two computable measures, the set of points that have high universal uniform test scores with respect to the first measure will have a lower bound with respect to the second measure. This…

Computational Complexity · Computer Science 2023-08-01 Samuel Epstein

The Lie-Trotter formula, together with its higher-order generalizations, provides a direct approach to decomposing the exponential of a sum of operators. Despite significant effort, the error scaling of such product formulas remains poorly…

Quantum Physics · Physics 2021-02-05 Andrew M. Childs , Yuan Su , Minh C. Tran , Nathan Wiebe , Shuchen Zhu