🔬 physics

Entropy and Holography through Adjunctions: A Bicategorical Perspective on Landauer's Principle

This paper establishes a bicategorical framework for entropy and Landauer's principle that models physical implementations as open interfaces, unifying information processing constraints, holographic bulk reconstruction, and optimal dissipation minimization through adjunctions and monadic structures.

Original authors: Petr Vlachopulos

Published 2026-04-13

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Petr Vlachopulos

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

The Big Picture: From "Yes/No" to "How Much?"

Imagine you are trying to explain how a computer works to a physicist.

The Computer Scientist says: "I have a bit of information (0 or 1). If I delete it, I must pay a tax in heat."
The Physicist says: "Okay, but how does that bit exist in the real world? Is it a spinning electron? A magnetic domain? There are billions of ways to build that same bit."

This paper tries to build a bridge between these two views. It takes Landauer's Principle (the rule that deleting information creates heat) and upgrades it from a simple "Yes/No" rule into a rich, flexible map that accounts for the messy, many-to-many reality of the physical world.

The authors use Category Theory (a branch of math that studies relationships) as their construction tool. Think of it as the "grammar of connections."

1. The Old Way: The "Thin" Map

In previous work (referenced as paper [4]), scientists treated the universe like a one-way street.

The Analogy: Imagine a logical state (like a "1" in a computer) is a specific house. The physical state (the actual atoms) is the neighborhood.
The Problem: The old model assumed that for every house, there is exactly one specific neighborhood path to get there. It was a "thin" map. If you wanted to go from House A to House B, there was only one road, and it was either open or closed.
The Limitation: In reality, a single logical "1" can be built in a million different physical ways. The old model was too rigid to capture this freedom.

2. The New Way: The "Open" Bicategory

The authors propose a new framework called a Bicategory. Let's break down the jargon:

Objects (The States): Think of these as "Entropy Posets." Imagine a stack of boxes where the bigger boxes contain the smaller ones. This represents how much "disorder" (entropy) a system has.
1-Morphisms (The Interfaces): Instead of a single road, imagine a fuzzy cloud of possibilities. This is an "Open Interface."
- Metaphor: Think of a translation app. When you translate a sentence from English to French, there isn't just one perfect French sentence. There are many valid translations. This "cloud of translations" is the interface. It tells you which physical states (French) can realize which logical states (English).
2-Morphisms (Refinements): This is the "zoom" button. If one interface is "loose" (many possibilities), a refinement is a "tighter" interface (fewer possibilities). It's like going from a rough sketch to a detailed blueprint.

The Result: This new map doesn't just say "It is possible." It says, "Here is the entire landscape of how it is possible, and how different physical realities can achieve the same logical goal."

3. The Landauer Connection: The "Round Trip"

The core of Landauer's Principle is that you can't get something for nothing. If you erase information, you pay in heat.

The paper uses a mathematical concept called an Adjunction (a perfect pairing) to describe this.

The Analogy: Imagine a Translator (Logical $\to$ $\to$ Physical) and a Summarizer (Physical $\to$ $\to$ Logical).
- The Translator (Interface): Takes a logical idea and finds a physical way to build it.
- The Summarizer (Abstraction): Takes a messy physical state and asks, "What logical idea does this represent?"

The Magic Loop:

Start with a logical idea.
Translate it to the physical world (build it).
Summarize it back to a logical idea.

The Catch: You can never get back a better idea than you started with. You might get the exact same idea, or a "fuzzier" one (information loss). You can never get a "sharper" idea (creating information from nothing).

The Math: This loop creates a Monad (a closure operator). It's like a stamp that says, "This is the best you can do." It proves that the physical world acts as a filter that can only lose information, never create it out of thin air.

4. The Holographic Twist: The "Shadow"

The paper gets really cool here. It suggests that the Bulk (the messy, 3D physical world) can be reconstructed from the Boundary (the clean, 2D logical description) using this mathematical loop.

The Analogy: Think of a Hologram. A hologram is a 2D surface that, when lit correctly, projects a 3D image.
The Paper's Insight: The "Logical Boundary" is the 2D surface. The "Physical Bulk" is the 3D image.
The Mechanism: The paper shows that if you know the rules of the "Round Trip" (the Monad), you can mathematically reconstruct the stable parts of the physical world just by looking at the logical boundary.
Eilenberg-Moore Construction: This is the fancy math term for "finding the stable core." It's like finding the parts of the 3D hologram that don't flicker. The paper proves that the "stable" physical states are exactly those that survive the round trip from Logic $\to$ Physics $\to$ Logic.

5. The Future: Adding "Cost" (The Quantale)

Finally, the authors look ahead. So far, they've treated feasibility as a "Yes/No" (Boolean) question. But in the real world, things have costs.

The Upgrade: They propose replacing "Yes/No" with a Cost Scale (like a currency).
The Metaphor: Instead of asking "Can I build this bit?", we ask, "How much heat (energy) does it cost to build this bit?"
The Composition: When you chain processes together, you don't just check if they work; you add up the costs and find the cheapest path.
The Result: This turns the theory into a quantitative tool. It can calculate the exact minimum heat required for a specific information process, not just say "heat is required."

Summary in One Sentence

This paper upgrades the rules of thermodynamics from a rigid "Yes/No" checklist into a flexible, multi-layered map that shows how logical information and physical reality are connected, proving that the physical world is essentially a "holographic shadow" of logical rules that can only lose, never gain, information.

1. Problem Statement

The paper addresses the limitations of existing categorical formulations of thermodynamic entropy and Landauer's principle. Specifically:

Determinism vs. Openness: Previous approaches (notably reference [4]) model thermodynamic systems as thin categories (posets) where morphisms are deterministic monotone maps. This fails to capture the physical reality that a single logical macrostate can be realized by multiple physical microstates (many-to-many relationships) and that systems are inherently open to environmental interactions.
Lack of Holographic Structure: While the connection between logical (boundary) and thermodynamic (bulk) states is established via adjunctions, the mechanism for reconstructing the "bulk" from the "boundary" in a way that respects information constraints (Landauer's principle) lacks a rigorous categorical framework.
Quantitative Gap: Standard formulations often treat feasibility as binary (possible/impossible), lacking a built-in mechanism to track entropy production costs or dissipation quantitatively within the categorical structure.

2. Methodology

The author employs higher category theory, specifically bicategories, to generalize the order-theoretic approach to thermodynamics.

Bicategorical Framework: The paper constructs the bicategory of open entropy systems ($OEnt$).
- Objects: Entropy systems defined as posets (thin categories) induced by entropy functions.
- 1-Morphisms (Interfaces): Instead of deterministic functions, interfaces are modeled as Boolean profunctors (relations $\Phi: P \nrightarrow Q$ ). These represent "open couplings" where a bulk state can realize a boundary state, allowing for many-to-many mappings.
- 2-Morphisms (Refinements): Pointwise implications between interfaces, representing the inclusion of feasible realizations (one interface being less constrained than another).
Adjunctions: The core mechanism is the Landauer Adjunction ( $\Phi \dashv \Psi$ ) between a boundary system (logical states) and a bulk system (thermodynamic states).
Eilenberg-Moore Construction: The paper utilizes the theory of monads and their Eilenberg-Moore objects to formalize the "reconstruction" of the bulk from the boundary.
Quantale Enrichment (Extension): The methodology is extended to quantale-enriched bicategories (specifically using the Lawvere quantale $[0, \infty]$ ) to incorporate quantitative dissipation costs, moving from binary feasibility to graded cost minimization.

3. Key Contributions

A. The Bicategory of Open Entropy Systems ($OEnt$)

The paper defines $OEnt$ as a locally posetal bicategory.

Composition: Defined via existential quantification (relational composition), effectively "hiding" intermediate bulk degrees of freedom.
Refinement: 2-morphisms allow for the comparison of interfaces, capturing the idea that physical implementations can be refined or made more permissive.
Generalization: This framework embeds the previous deterministic, thin-categorical approach as a special case (representable profunctors generated by monotone maps).

B. The Landauer Adjunction and Monads

The author formalizes Landauer's principle as an adjunction $\Phi \dashv \Psi$ in $OEnt$:

Unit ( $\eta$ ): $Id_B \leq \Psi \circ \Phi$ . This implies that a round-trip from boundary to bulk and back to boundary is a closure operator ( $T = \Psi \circ \Phi$ ). Physically, this means information cannot be recovered if it was lost to the environment; the entropy of the returned state is greater than or equal to the original.
Counit ( $\epsilon$ ): $\Phi \circ \Psi \leq Id_D$ . This implies that a round-trip from bulk to boundary and back to bulk is an interior operator ( $U = \Phi \circ \Psi$ ). Physically, this prevents the creation of "sharper" (lower entropy) bulk states from a coarser boundary description.
Idempotence: The paper proves that the induced boundary monad $T$ is idempotent ( $T \circ T = T$ ), reflecting the physical reality that once information is irreversibly lost (dissipated), further processing cannot recover it.

C. Holographic Reconstruction via Eilenberg-Moore Objects

A major theoretical contribution is the identification of the bulk as the Eilenberg-Moore object of the boundary monad.

The paper constructs the object $B_T$ (the set of equivalence classes of boundary states under the monad $T$ ).
It proves that $B_T$ is equivalent to the category of $T$ -algebras.
Significance: This provides a rigorous categorical definition of holographic reconstruction: the "visible bulk" (thermodynamic states accessible via the interface) is exactly the closed sector of the boundary data stable under the bulk-boundary round trip. The bulk is not an external entity but is structurally determined by the boundary's closure properties.

D. Quantitative Extension (Costed Interfaces)

The paper proposes a generalization where the base category is a quantale (specifically $V_{cost} = ([0, \infty], \geq, +, 0)$ ) rather than Boolean logic.

Interfaces as Costs: Relations become functions assigning a dissipation cost (entropy production) to a realization.
Composition as Infimal Convolution: The composition of interfaces selects the path with the minimum total cost (least entropy production).
Quantitative Landauer Bound: The adjunction inequalities become quantitative constraints, recovering the numerical lower bounds of Landauer's principle (e.g., $k_B T \ln 2$ ) as specific instances of the cost lattice.

4. Key Results

Theorem 2: $OEnt$ is a locally posetal bicategory, validating the mathematical consistency of using profunctors for thermodynamic interfaces.
Theorem 3: Any Landauer adjunction induces a boundary closure monad ( $T$ ) and a bulk interior comonad ( $U$ ), satisfying idempotence properties that mathematically encode the Second Law (entropy non-decrease).
Theorem 4: The classical Galois connection (adjunction between monotone maps) is recovered as a representable special case within the bicategorical framework.
Theorem 6: The Eilenberg-Moore object for the idempotent Landauer monad exists and is isomorphic to the quotient of the boundary system by the equivalence relation induced by the monad. This object represents the reconstructible bulk.
Conjectures 1 & 2: The framework extends naturally to quantale-enriched bicategories, allowing for the modeling of entropy production costs and optimal (least dissipation) implementations.

5. Significance

Conceptual Unification: The paper successfully unifies thermodynamics, information theory, and holography under a single categorical umbrella. It moves Landauer's principle from a statement about heat dissipation to a structural constraint on morphisms in a bicategory.
Faithful Modeling of Openness: By replacing functions with profunctors, the framework accurately models the "many-to-many" nature of physical implementations, acknowledging that logical states are coarse-grained descriptions of complex thermodynamic realities.
Categorical Holography: It provides a novel, non-geometric definition of holography. Instead of a spacetime boundary encoding a bulk, it posits that the information-theoretic boundary, equipped with the closure operator induced by thermodynamic constraints, fully determines the accessible thermodynamic bulk.
Optimization Principle: The quantitative extension suggests that physical systems naturally select the "optimal" implementation (minimum entropy production) via the infimal convolution of costs, offering a categorical basis for the principle of least dissipation.
Foundational Rigor: By using Eilenberg-Moore constructions, the paper elevates the discussion of "information loss" and "reconstruction" to the level of universal properties, providing a robust mathematical language for future research in quantum information thermodynamics and holographic duality.