32
$\begingroup$

Alan Turing proposed a model for a machine (the Turing Machine, TM) which computes (numbers, functions, etc.) and proved the Halting Theorem.

A TM is an abstract concept of a machine (or engine if you like). The Halting Theorem is an impossibility result. A Carnot Engine (CE) is an abstract concept of a heat engine and Carnot proved the Carnot Theorem, another impossibility result related to thermodynamic entropy.

Given that a TM is physically realizable (at least as much as a CE, or maybe not?) is there a mapping or representation or "isomorphism" of TM or CE which could allow to unify these results and in addition connect to entropy?

There are of course formulations of TM and the Halting Theorem in terms of algorithmic information theory (e.g. Chaitin, Kolmogorov etc.) and entropy (in that context). The question asks for the more physical concept of entropy (if in the process of a potential answer algorithmic entropy arises it is fine, but it is not what the question asks exactly).

One can also check another question in physics.se which relates quantum uncertainty with the 2nd law of thermodynamics. See also: an algebraic characterization of entropy, an algorithmic characterization of entropy, a review and connections between various formulations of entropy

$\endgroup$
3
  • 1
    $\begingroup$ there is one sense in which the concepts delineated are exactly opposite. theormodynamics laws about rise of entropy rule out a perpetual motion machine. a nonhalting machine is a perpetual motion machine. $\endgroup$
    – vzn
    May 25, 2014 at 21:17
  • $\begingroup$ yep i see, re-casting the no-halting condition as a perpetuum mobile (of the 2nd kind?), this is exactly in the spirit of the question, but is this what the halting theorem says? It states we do not know if it halts or not, due to "circularity", nice $\endgroup$
    – Nikos M.
    May 26, 2014 at 14:17
  • $\begingroup$ A proposal to add "thermodynamics" and/or "thermodynamics-computation" as new tags in CS.se? i am not sure if i can do it by myself (probably), but lets hear other opinions $\endgroup$
    – Nikos M.
    May 26, 2014 at 15:04

7 Answers 7

13
$\begingroup$

I am not at all an expert in this area, but I believe you will be interested in reversible computing. This involves, among other things, the study of the relationship between processes that are physically reversible and processes that are logically reversible. I think it would be fair to say that the "founders" of the field were/are Ralph Landauer and Charles H Bennett (both of IBM research, I think.)

It touches on quantum computing and quantum information theory, but also examines questions like "what are the limits of computation in terms of time, space and energy?" It is known, (if I remember correctly) that you can make the energy required to perform a reversible calculation arbitrarily small by making it take an arbitrarily long time. That is, energy $\times$ time (=action) required to perform a reversible computation can be made a constant. This is not the case for non-reversible computations.

Many of the people studying in this area are also working on quantum computing and digitial physics (the idea that the universe is a big quantum cellular automata). The researchers names that come to mind are Ed Fredkin, Tommaso Toffoli and Norm Margolus.

These questions are absolutely on topic for computer science. Not just for the theory (which includes cool math as well as cool physics) but for engineers who want to know the ultimate limits of computation. Is there a minimum volume or energy required to store a bit of information? The action required to perform a reversible computation may be constant, but are there limits on what that constant is? These are critical knowledge for engineers trying to push the boundaries of what is possible.

$\endgroup$
3
  • $\begingroup$ Yes there is relation to the Thermodynamics of Computation (Bennett, Landauer et al.), but asking more in relation to the Halting Theorem, and/or mapping between TM and CE (as in question), but nice answer $\endgroup$
    – Nikos M.
    May 24, 2014 at 14:32
  • 1
    $\begingroup$ Ah, you're right. I'm downvoting my answer. The comments under your question saying that it was off topic made me see red, and I was mainly responding to that. In answer to your real question: look at the Church-Turing Thesis. Assuming you believe that and also that mathematics can model anything in nature then the Halting Problem is a physical impossibility theorem. $\endgroup$ May 24, 2014 at 19:25
  • $\begingroup$ i think the Church-Turing thesis that physical computation is effective computation might be necessary indeed, take a look at this paper also $\endgroup$
    – Nikos M.
    May 25, 2014 at 0:40
6
$\begingroup$

I'm not familar with Carnot's Theorem, except what I've just read in Wikipedia, but even from that cursory introduction, there is a connection in the structure of the proofs, and that may be interesting to you, as it's a proof technique that is applicable in many domains.

They're both proofs by contradiction in which to show that no thing in a given class has some property, you suppose that some instance actually does have that property, and then show that a contradiction follows.

The Halting Problem is interesting in that the contradiction arises from some self-interaction concerning the particular instance (which is a machine M that can determine whether an arbitrary machine will halt with a given input). In particular, you construct a new machine that includes M as a component, and then feed the new machine to M.

Someone with more knowledge about Carnot's Theorem could elaborate on it (which I'm not qualified to do), but it appears that the contradiction arises from the type of heat engine that you could build if you had an instance with the property at hand.

So both cases involve the construction of:

  • Suppose some X has property P.
    • From X, build related Y.
    • The relationships between X and Y are contradictory.
  • Therefore, no X has property P.

There does appear to be a difference, though, in that the contradiction in the Halting Theorem case is a pure logical contradiction, and would be contradictory in any setting of classical logic. The Carnot Theorem, as I understand it, is only contradictory with respect to the second law of thermodynamics. From a logical perspective, that's an axiom, so if you took a different axiomatization in which the second law of thermodynamics didn't hold, Carnot's Theorem wouldn't be a theorem, because the contradiction wouldn't exist. (What a formalization of thermodynamics would look like without the second law is the sort of question that led geometers to non-Euclidean geometry.)

$\endgroup$
5
  • $\begingroup$ this paper provides much in the direction you mention, imo. Also what i think is very relevant is the circularity (or diagonalization) of the arguments. There are research directions which connect irreversible logical transforms with irreversible thermodynamic processes (eg Landauers Principle, and objections thereof). There are objections to some statements of the 2nd Law but one can find formulations that still hold (eg Prigogine's work) $\endgroup$
    – Nikos M.
    May 25, 2014 at 0:49
  • $\begingroup$ For how this connection might come about see also comments on previous answer (only for plausibility purposes) $\endgroup$
    – Nikos M.
    May 25, 2014 at 0:50
  • $\begingroup$ Regarding other formulations of the 2nd Law (even more general and for non-equilibrium processes) you can check Caratheodory's statement in terms of Phase Space and Geometry, Prigogin's Work on non-equilibrium systems and Hatzopoulos-Gyftopoulos-Beretta formulation (with further connections to quantum mechanics) $\endgroup$
    – Nikos M.
    May 25, 2014 at 1:16
  • $\begingroup$ In a sense there so many facets of entropy as there are facets of Goedel's theorem(s) (as in Turing's halting theorem, Tarski's undefinability theorem, Rosser's theorem, Chaitin's incompleteness theorem), there is even a category-theoretical proof of a "general Goedel Theorem" encompassing all the previous ones which is based on fixed points $\endgroup$
    – Nikos M.
    May 25, 2014 at 1:39
  • $\begingroup$ Even if a connection between halting problem and thermodynamic entropy is achieved in the form of if and when the 2md Law holds then ..., it is still good as fas as this question goes (related to the objection that 2nd Law might be like the 5th postulate on parallels in euclidean geometry) $\endgroup$
    – Nikos M.
    May 26, 2014 at 13:50
4
$\begingroup$

IANAPhysicist but I don't see any connection. Turing machines are objects of pure mathematics and the undecidability of the halting problem is independent of any physical realization of anything.

$\endgroup$
9
  • $\begingroup$ 2nd Law Impossibility results have much in common to (mathematical) logic problems and circularities, maybe a connection there? $\endgroup$
    – Nikos M.
    May 24, 2014 at 14:28
  • 1
    $\begingroup$ You'd have to give more detail: as I said, I'm not a physicist. But I don't see how physical laws can have any impact on a construct that exists independently of physical reality. $\endgroup$ May 24, 2014 at 14:54
  • $\begingroup$ you have a point there, i can give many epistemological reasons why this is very plausible (eg the mathematics we do depend on the world we live, a-la Einstein), but i want sth beyond that, if i had a ready answer i would probably publish a paper :) $\endgroup$
    – Nikos M.
    May 24, 2014 at 15:05
  • 2
    $\begingroup$ @vzn We use the word "time" for the number of steps the machine has executed and "space" for the number of tape cells it has used but those words were chosen to appeal to our physical intuition as physical beings. But "time" is just an index into a sequence of configarations and space is just an index into a sequence of symbols. For example, consider a Turing machine where the head just whizzes off to the right. It uses infinite "time" and infinite "space" but you can figure that out in a finite amount of real time and real space $\endgroup$ May 24, 2014 at 23:23
  • 2
    $\begingroup$ Sure, but the fact that we consider Turing machines to be interesting objects may have something to do with physics. $\endgroup$ May 25, 2014 at 19:19
2
$\begingroup$

this diverse multiple-topic question unf does not have a simple/easy answer and touches on active areas of TCS research. however it is a rare question asking about a link between physics & TCS that has interested me over the years. there are a few different directions to go on this. the basic answer is that its an "open question" but with some active/modern research touching on it and hinting at connections.

  • there are some surprising/deep undecidable problems from advanced physics. for example from dynamical systems. however, have not seen this connected to entropy per se, but entropy is associated with all physical systems (eg one can see this in chemistry theory), so there must at least be an indirect link.

  • entropy indeed shows up in CS but more in the form of information theory and coding theory. the birth of coding theory involved the definition/analysis of entropy associated with communication codes by Shannon. try this great online ref Entropy & Information theory by Gray

  • entropy is also associated sometimes associated with measuring randomness in PRNGs. there is a connection of complexity class separations (eg P=?NP) to PRNGs in the famous "Natural Proofs" paper by Razborov/Rudich. there is continuing research on this subj.

  • you mention thermodynamics and its connection to TCS. there is a deep connection between magnetization in spin glasses in physics and NP complete problems studied in the SAT transition point. there (again) the physical system has an entropy associated with it but it has probably been studied more in a physics context than a TCS context.

$\endgroup$
11
  • $\begingroup$ can expand on some of this at length in Computer Science Chat $\endgroup$
    – vzn
    May 24, 2014 at 20:59
  • $\begingroup$ see also CS defn of entropy stackoverflow $\endgroup$
    – vzn
    May 24, 2014 at 21:12
  • $\begingroup$ it is interesting to be able to think "out of the box" (at least sometimes), have you looked into Bennet's work on Thermodynamics of Computation? The motivation behind the question is to show if the halting theorem can be seen as a consequence of thermodynamics (with some appropriate model or representation at least for some cases). i think it would be really interesting if this could be settled either way $\endgroup$
    – Nikos M.
    May 25, 2014 at 0:59
  • $\begingroup$ maybe you have already seen these papers, philsci-archive.pitt.edu/313/1/engtot.pdf and cc.gatech.edu/computing/nano/documents/… $\endgroup$
    – Nikos M.
    May 25, 2014 at 1:02
  • $\begingroup$ Most concepts of "entropy" as used in computer science either relate to Shannon's Information Theory or to Kolmogorov/Chaitin/Solomonov Algorithmic Information Theory, this is already mentioned in the question and it is very important. The only conections to the thermodynamic entropy that i am aware (which can be related to inf. entropy) is the thermodynamics of computation. The question is related to thermodynamics of computation but in another way $\endgroup$
    – Nikos M.
    May 25, 2014 at 1:49
1
$\begingroup$

There is a simple thought problem that is sometimes used as an introduction to non-conventional computing paradigms:

You have two light bulbs and their respective on-off switches. Someone opens and closes both lights one after the other. How do you determine which one was closed first and which one was closed last? Determine the minimal number of times you will need to open the lights to decide this problem.

Most computer scientists usually try to find some boolean logic-based solution. The answer is (at least one of them): by touching the light bulbs and seeing which one is hotter.

Heat-based paradigms exists in computer science: simulated annealing is an known algorithm (D-waves quantum computer is the quantum counterpart of the algorithm).

Now is there a relation with the Halting problem?

The classic work of Chaitin and Calude on the Halting problem via the concept of Omega numbers can be linked to the probabilistic formulation of the Halting problem. It is the more recent treatise on the problem that I can think of... and no clear relation with entropy (thermodynamic). Now if information entropy (in the sense of Shannon) is good with you, the Omega number encodes in the most succinct way the Halting problem, in the sense of a Shannon bound.

In short, an Omega number is the probability that a random program halts. Knowing the constant would allow the enumeration of all valid mathematical statements (truths, axioms, etc.) and is uncomputable. Calude computed a version of Omega by changing the uniform probability measure with a measure inversely proportional to a random program's length and by using prefix-free encodings.So we could speak of Chaitin's Omega and Calude's Omega.

$\endgroup$
2
  • $\begingroup$ Nice answer, the part related to the heat of the light bulbs is used many times as the link between information entropy and thermodynamic entropy (is a sense contrary to Jaynes' view as subjective uncertainty). my own line of thought would be to base the reasoning on the circularity of both constructs and by a (clever?) cascade one with the other create an implication (at least in one way) $\endgroup$
    – Nikos M.
    Jun 8, 2014 at 11:11
  • $\begingroup$ A similar reasoning is used with batteries (instead of light bulbs) to determine which batteries are discharged... $\endgroup$
    – Nikos M.
    Jun 8, 2014 at 11:13
0
$\begingroup$

Yes!, strangely enough I have thought about this.. Here is the idea:

First Step

Model the Maxwell's Demon as a computer program. Then, How does Demon came to know particle's speed and position before opening the door for selection?

Suppose that the demon can't measure the speed at which particles hit the door, why? because that would change particle's speeds, so demon have to figure out before open it, without looking, without measuring. To be fair we will let the demon know the rules of the game in advance, i.e. feed the demon with laws of motion, interactions of particles, and initial conditions, enough of the physics/dynamic model.

Second Step

Now model the gas of particles also as a computer program that is running same code given to the demon for every particle, so the gas is computing a result from its initial conditions, the Demon doesn't know that result until it halt (if ever): namely "a particle with the right speed is at the door", the decision yes/no question we are asking to the system is "Have a particle the right position and enough speed?", if so, the door could be opened and the fast particle can go into the high temperature side of the room setting new initial conditions (will those consecutive problems has an answer? or will run forever?)

There will be a time when there is no particle with enough speed to cross the boundary, so, there will be a time when the code will run forever (do not halt) for almost any given threshold.

Demon wants to know the result that is computed by the gas, but the result is in a sense involved potentially within the source code of the particle's laws plus the initial conditions.. of course we need to run that program to know it. If Demon run the same program waiting for the right speed at the output, the program could halt or it could run forever (but we suppose also that demon has no more computational power than the gas, so it won't be able to decide the door opening on time ).

Daemon could try to figure out the program output (or if it will halt) by watching the source and inputs without running it but it's like trying to solve the Halting Problem, why? because Demon doesn't know what laws and initial condition will be feed so Demon should be prepared to solve for any set of law and initial conditions, and we know it's not possible in general, it will need an oracle, if it could it will be enough to build a demon to generate energy from nothing. (even knowing the laws and initial condition, both things already enough hard to know)

This thought experiment can link how a reduction in entropy, by mean of computers, could in some way bounded by Halting Problem, as a problem to anticipate in general the outcomes.

(Sometime all limits seems to be the same limit..)

More about Particle Laws

Particle's laws are not the main issue of this thought experiment, those laws could be quantum or classical, but we must have into account the fact of complexity of laws and initial conditions, the complexity of the arrange of particles is not bounded, and it could have a lot of added complexity (in an extreme example of initial conditions you could even insert a whole computer firing particles according to an internal source code and give that code to the daemon).

$\endgroup$
24
  • 1
    $\begingroup$ I don't understand the link to the halting problem. First, you seem to have redefined what it means for a machine to halt. Second, you only seem to have one program (the gas particle simulator). It's perfectly possible to prove that one fixed program does or does not halt, without violating the undecidability of the general halting problem. $\endgroup$ Jun 18, 2014 at 16:36
  • $\begingroup$ About halt, It didn't redefine halting, here the program halt is, as always, when the program end computing and you get an output, so here the output is defined as the exact moment that a particle with the right speed hit the door,and you could build a door that detect it, so it will mark when the program halts (then the program run again from these initial conditions for another output). Daemon wants to know when it will halt, but it can't know even if it will halt. $\endgroup$ Jun 18, 2014 at 17:46
  • 1
    $\begingroup$ Turing machines cannot decide the halting problem for Turing machines. It seems that you've redefined the halting problem as, "Does one of these gas molecules ever do X?", which is a completely different problem from "Does this Turing machine halt when started with this input?" Turing's proof of the undecidability of the Turing machine halting problem says nothing about whether a Turing machine could compute whether some gas molecule will ever do X. $\endgroup$ Jun 18, 2014 at 17:54
  • $\begingroup$ David's comment is correct, as is, it is not related directly to the halting problem. However it is an argument that follows the spirit of the question $\endgroup$
    – Nikos M.
    Jun 18, 2014 at 18:00
  • 1
    $\begingroup$ @Gilles, thanks for noting that, i agree with it, if needed a chat will be created. i would prefer if these comments were left nevertheless since they relate both to the question and the specific answer (as evolved) $\endgroup$
    – Nikos M.
    Jun 22, 2014 at 11:11
0
$\begingroup$

Very captivating question indeed, and we will see that your thinking IS correct.

First let's see what the second principle of thermodynamics says.

The entropy function is used in the 2nd law of thermodynamics. It stems from Carnot's theorem which states that processes taking places in steam machines have an efficiency lower or at best equal to the corresponding "reversible" machine (which by the way seems like an unstable concept over the 150 years of thermodynamics). Carnot did not coin the entropy function himself, but together with Clausius this is what they say:

As there is no perpetuum machine, then we can build a function S called entropy which constrains macroscopic thermodynamic measures into a certain equation, namely that S(V, T, P, etc.) = 0

Note that this equation is nothing but the equation of a hyper-surface in the space of thermodynamic measures.

Enters Carathéodory.

Carathéodory is a German mathematician and like all mathematicians he wants to extract out of Carnot's and Clausius reasoning some axioms which would allow him to clarify what the second law really is about. Put bluntly he wants to purify thermodynamics to know exactly what entropy is.

After listing a certain number of axioms, he manages to formulate HIS second law, which says (more or less):

There ARE some adiabatic processes. Or more prosaically, if you want to return, sometimes work alone is not enough. You need a bit of heat.

Now that seems VERY different from the formulation of Clausius! But in fact it it not. All Carathéodory did was to change the orders of the words, a bit like mathematicians played with Euclide's 5th axiom for 2,000 years and produced many different wording for that axiom. And if you take a step back you should not be too surprised by Carathéodory's statement of the second law. In fact Carathéodory's leads to the exact same entropy function and hyper-surface equation S(V, T, P, etc.) = 0

Think hard on Carnot's theorem. As a mathematician, you should not be too satisfied of the way Carnot's admits perpetuum machines do not exist. In fact, as a mathematician you would rather see something like this:

There is an entropy function S which constrains macroscopic measures IF AND ONLY IF there is no perpetuum machines".

NOW you have a theorem. And what does it say? That as long as there is no isolated mechanical system which produces an infinite amount of energy and hence could lead you to any state you want, then you will find an entropy function. An isolated mechanical system is an adiabatic process. Hence Carathéodory's formulation: no adiabatic system can lead you anywhere. Sometimes you will need some heat.

So not only we are sure that Carathéodory's is correct, but also that his formulation is pretty simple.

Now where do you get the impression that the second law à la Carathéodory is similar to the halting problem?

Take a step back on Carathéodory's statement. All it says is that once you have an isolated mechanical system which you stop mingling with, you cannot reach any state you want.

Doesn't that sound PRECISELY like the halting problem? I.e. once you have written all axioms of your theory and laid down all possible transitions, there will be problems which you cannot solve. Sometimes, you will need to add more axioms.

In fact if you want to go really deep and encode Carathéodory's formulation, this will result in the same code as the halting problem with adiabatic processes instead of Turing machines, and states instead of problems.

What do you think?

NOTE: I edited my answer almost entirely so comments below won't be in line with what it contains now.

$\endgroup$
8
  • 2
    $\begingroup$ "Rice states that no Turing machines can indefinitely produce a non-trivial property." That's not a paraphrase of Rice that I recognise. What do you mean? $\endgroup$ Aug 4, 2016 at 19:24
  • 2
    $\begingroup$ What do you mean by "infinitely produce a non-trivial property"? $\endgroup$ Aug 5, 2016 at 7:47
  • $\begingroup$ A bit twisted. Rice says that it cannot be proven that a TM implements a given function. Now if a TM A produces indefinitely a non-trivial property (N-TP) it means it produces a N-TP for ANY entry. How can that be true in practice? Well it seems the only way for that to be true is to consider an undefined entry e and show that its A(e) has a N-TP. In turns that would mean that we would manage to PROVE that the machine produces a N-TP. And we know that's not possible. So in effect I postulate that it is equivalent to say "A produces indefinitely a N-TP" and "I CAN SHOW that A produces a N-TP" $\endgroup$
    – Jerome
    Aug 5, 2016 at 7:55
  • $\begingroup$ "Infinitely produce a non-trivial property" means that you can throw an infinite number of distinct entries to the TM. And all the outputs will have the NT-P $\endgroup$
    – Jerome
    Aug 5, 2016 at 7:56
  • 2
    $\begingroup$ OK. I think your answer would be much clearer if you just used standard terms, instead of inventing things like "infinitely produce a non-trivial property" to mean "be able to process an infinite number of inputs." It would also help to explain what aspect of your "real" Turing machine is unable to process an infinite number of inputs. Is it that the tape is finite, for example? $\endgroup$ Aug 5, 2016 at 9:20

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.