Is information physical?

Recently I visited a conference at the university of Delft dedicated to quantum technology and philosophy. Among physicists working with quantum information, it has become more and more fashionable in the past few decades to say that information is physical. Is that a sensible claim?


The traditional way of looking at this is that information requires a carrier, and that is physical: a piece of text requires paper and ink, sounds require vibrating air, information stored in a computer requires a hard drive, and so on. Information as something independent from a physical carrier of the information is meaningless – information itself is not physical.


I don’t think quantum information changes anything about the reasoning above: information is about something physical, but it is not physical itself. Having said that, the traditional view (that information is always carried by something physical) has two sides: indeed, information has a physical carrier, but that goes the other way as well – anything physical necessarily carries information. Air has weight, temperature and pressure, while any molecule has a velocity and a direction. That raises the question what is more fundamental, information or its carrier? Can observation and experiment, the ultimate jury of physics, ever help us answer this question?


What we know is that the material world exists. Also, information about the material world exists. There is a relation between these two, but nothing in the world forces us to believe that either one is more basic than the other. Information requires a physical carrier, we say, but why not the other way round? Why not state that any physical carrier necessarily brings with it information about that carrier? We just said that information as something independent from anything physical is meaningless, but that, too, goes two ways: something physical as something independent from any information about it is just as meaningless (which, by the way, reminds me of the analytic/synthetic distinction critisised by W.V.O Quine in his “Two dogmas of empiricism” (1951).

The fact that information requires a physical carrier may be regarded as supporting the claim that information is physical.


Discover more from The Tricycle Down The Rabbit Hole

Subscribe to get the latest posts sent to your email.

Comments

4 responses to “Is information physical?”

  1. Philip Rey Avatar
    Philip Rey

    Dear Fedde,

    in your post on information you assume something you never actually show: that “information is about something physical but is not itself physical.” That sounds reasonable only as long as we don’t ask what this could mean inside the actual formalisms we use.
    1. You say “information” – but which one, exactly?
    You lump together, implicitly:
    Shannon information H(X),
    quantum information (von Neumann entropy S(\rho)),
    algorithmic information (Kolmogorov complexity).
    The sentence “information requires a carrier” is, at that level, almost trivial – about as deep as saying “a vector requires a linear space.” It is not yet a metaphysical thesis, just a technical truism.
    2. Where the asymmetry really shows up (MaxEnt)
    You write that information needs a physical carrier, and every physical thing carries information – so there is supposedly no reason to treat one as more fundamental. But in a number of central places in physics, it is precisely the informational structure that selects the admissible physical states:
    in Jaynes-style MaxEnt statistical mechanics, informational constraints (moments, averages) fix the maximum-entropy distribution; the carrier is secondary to the information structure,
    in quantum mechanics and QFT we work with density matrices, correlators, and functionals; these informational objects are what do the predictive work, not some imagined “little lumps of matter” underneath.
    So the natural question you avoid is: why should the carrier be considered fundamental, and not the informational structure that actually appears in the theory?
    3. Your key slogan doesn’t decide anything

    The claim
    “Information without a physical carrier is meaningless”

    is logically mirrored by the claim

    “Something physical, considered independently of any possible information about it, is equally meaningless.”

    You yourself invoke Quine and the erosion of the analytic/synthetic distinction. In a very similar spirit one can say: the network of informational structures and physical states forms a single package – and the choice of which description we call “primary” is an interpretive decision, not a dictate of experiment.
    4. A serious question
    If you want to keep insisting that “information is not physical,” then either
    show where, concretely, models that treat information (correlations, entropies, MaxEnt constraints) as primitive actually break down,
    or acknowledge that this is largely a linguistic/metaphorical preference rather than a thesis that can be cleanly pitted against current physical practice.

    You post provocative, thought-provoking texts on your blog, but in Foundations of Physics, which you edit, the journal is dull and almost septic in this respect.

    Why?

    Best,
    Philip Rey

    1. fbenedictus Avatar

      Dear Philip,

      Thanks for your questions! I think your points go to the heart of the matter: physics gives us no unambiguous answer to the question in the title of my post.

      Regards,
      Fedde

    2.  Avatar
      Anonymous

      Dear Fedde,

      thank you for your reply and for your honesty in saying that physics gives us no unambiguous answer here. I’m deeply drawn to the way you write about these questions on your blog. There is a kind of intellectual grace there that reminds me of the early 20th century debates especially the 1905–1916 atmosphere around Einstein.

      You wrote a book about Einstein, so you probably feel exactly what I have in mind: most likely, the main character of that book would not make it through the formal filters of today’s journals. I try to keep this in mind, toutes proportions gardées, when I compare that early phase of physics with the present one and what is considered an “admissible” question today.

      I had a bad feeling you might not reply at all, and you proved me wrong. I’m genuinely grateful for that.

      Best wishes,
      Philip

  2. Jody Geiger Avatar
    Jody Geiger

    This is a great age-old question that to date there has been little progress on, but we should have. First, our notion of observed length, mass and time (in this case with emphasis on mass as a carrier) is well described by SR and GR. Of notable example, SR can be presented as a kinematic relation between the observer and the ‘mass’. Thus, there is precedent in the publication record that the ‘carrier’ is not absolute and in fact is a function of the kinematics.

    The nature of the ‘carrier’ becomes more at issue when we consider EM. For one, the notion of time with respect to EM as a ‘carrier’ is not physically significant, as elapsed time must be marked to zero relative to the observer. Without elapsed time, how can you have a ‘carrier’ event, which then supports a process that conveys properties beyond those of the ‘photon’ itself.

    Your question can then be refined. What is the difference between observational information and kinematic information? There are cases where there is no difference and as all of existing SR and GR stand on these principles, it follows that some portion of ‘carrier’ information is a function of kinematic relationships. There are a handful of explicit expressions in the field of Measurement Quantization (MQ) that shed further light on this relation. I will call attention to one.

    MQ uses the expanding frame of the universe to resolve quantum accurate versions of the Planck units and demonstrates their physical significance by measure of the Planck momentum. Importantly, MQ also demonstrates with a 7.56-sigma that mass and the associated gravitational curvature are correlated to an upper fundamental mass count bound (the Planck frequency) … this is all published in Q2 journals (See ‘Measurement Quantization’ in the Intl. J. Geom. Methods Mod. Phys.). That is, an upper count bound per increment of elapsed time places an upper count of fundamental units of mass that can be observed. The gravitation associated with that count defines one component of the phenomenon of dark matter. (See ‘Measurement Quantization Describes Galactic Rotational Velocities, Obviates Dark Matter Conjecture’). This doesn’t mean the observer cannot observe infinite mass over elapsed time, but one will find that the gravitation associated with a mass count above the Planck frequency will is strictly bounded and in the noted paper we demonstrate consistency with that description with a standard deviation of 1.394 km/s Mpc.

    Now, if we are to maintain the argument that mass is a carrier, then regardless of MQ or classical theory, how is it that given larger and larger galaxies, that the addition of more and more mass ‘carrier’s does not demonstrate increasing gravitational curvature. We have a clear physical breakdown of this relation. With this, we sufficiently must agree, that the notion of a ‘carrier’ does not accurately describe all observed phenomena. The relation of observed events between the observer and the mass is shown in specific cases to be kinematic, and in some cases to have no relation to the total count of mass ‘carriers’. We can then safely conclude that the notion of a ‘carrier’ does not define or identify the foundations of physical theory.

    Whether information alone is a replacement is debatable, but what we can say is that the notion of a ‘carrier’ is not physically sufficient to describe the entire physical regime.

    Jody Geiger

Leave a Reply

Discover more from The Tricycle Down The Rabbit Hole

Subscribe now to keep reading and get access to the full archive.

Continue reading

Discover more from The Tricycle Down The Rabbit Hole

Paid subscription is what keeps this website free of advertising and its author as objective and independent as possible (full objectivity is a logical impossibility). Please subscribe!

Continue reading