⚛️ quantum physics

Local Thermal Operations and Classical Communication

This paper introduces the Local Thermal Operations and Classical Communication (LTOCC) framework to unify locality and thermodynamic constraints, establishing a protocol hierarchy, developing new mathematical tools like thermal tensors, and demonstrating specific limitations on entanglement detection in CHSH scenarios.

Original authors: Rafał Bistroń, Jakub Czartowski

Published 2026-02-23

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Rafał Bistroń, Jakub Czartowski

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

Imagine you are trying to solve a puzzle with a friend, but you are in two different rooms. You can't walk into their room, and you can't touch their pieces. You can only talk to them over a walkie-talkie (classical communication). This is the standard setup for many quantum experiments, known as LOCC (Local Operations and Classical Communication).

Now, add a new rule: You are both in a hot room. You have to follow the strict laws of thermodynamics. You can't just magically create energy or cool things down without paying a price. You have to respect the "heat bath" (the environment) in your room.

This paper introduces a new rulebook for this scenario called LTOCC: Local Thermal Operations and Classical Communication.

Here is a breakdown of what the authors did, using simple analogies:

1. The New Rulebook: LTOCC

Think of Alice and Bob as two chefs in separate kitchens.

The Old Rule (LOCC): They can chop, mix, and cook however they want, as long as they don't leave their kitchen. They can call each other to say, "I chopped the onions, now you stir the pot."
The New Rule (LTOCC): They still can't leave their kitchens, and they can still call each other. BUT, their kitchens are powered by specific, limited heat sources. They cannot create energy out of thin air. If they want to cool a soup, they have to dump the heat into their local radiator. If they want to heat it up, they need a specific amount of fuel.

The paper asks: What can Alice and Bob actually achieve under these strict energy rules?

2. The "Thermal Tensors": The Recipe Cards

To figure out what is possible, the authors invented a new mathematical tool called Thermal Tensors.

Analogy: Imagine a standard recipe card. It tells you how to turn ingredients A and B into dish C.
The Innovation: A "Thermal Tensor" is a super-recipe card that accounts for the heat in the kitchen. It doesn't just say "Mix A and B." It says, "If you mix A and B, you must also dump exactly this much heat into the radiator to keep the laws of physics happy."
Bithermal Tensors: These are special recipe cards where both kitchens have the exact same temperature rules. It's like a perfectly symmetrical dance where both chefs move in perfect harmony with the heat.

3. The Hierarchy: How much talking is enough?

The authors built a ladder of protocols (ways of working together):

One Round: Alice measures her pot, yells the result to Bob, and Bob cooks based on that.
Memory: Alice remembers what she measured in the first round and uses that memory for the second round.
Shared Randomness: They both flip the same coin (without talking) to decide what to do next.

The paper proves that having memory and shared randomness makes them much more powerful. It's like the difference between a chef who forgets what happened five minutes ago versus a chef who keeps a detailed logbook. The logbook allows them to create much more complex correlations (patterns) between their pots.

4. The Big Discovery: The "Bell" Test

In quantum physics, there is a famous test called the CHSH inequality (or Bell test). It's a way to prove that two particles are "entangled" (spooky action at a distance).

The Standard Result: If you have perfect quantum tools, you can break the "classical limit" of this test. You can prove the universe is weird.
The LTOCC Result: The authors found that if Alice and Bob are restricted by thermal rules (LTOCC):
- With one copy of the state: They cannot break the classical limit. The heat rules are too strict; they can't generate the "spooky" correlations needed to win the game.
- With many copies: If they have many copies of the state, they can get closer to the quantum limit, but they still can't reach the absolute maximum.

Why does this matter?
It creates a "thermodynamic fingerprint." If you see a system breaking the classical limit of the Bell test, you know for a fact that the people running the experiment did not just use thermal operations. They must have used some "extra" resource (like a non-thermal battery or a quantum machine that doesn't obey standard heat rules). It's a way to detect if someone is cheating on the laws of thermodynamics!

5. The "Cooling" Limit

The paper also looks at what happens when the temperature drops to absolute zero (the coldest possible place).

Analogy: Imagine a freezer so cold that everything freezes solid.
The Result: The complex recipe cards (tensors) simplify into "Cooling Maps." You can only move things "downhill" (from hot to cold). You can't move them uphill without extra work. This helps understand the fundamental limits of how cold we can make things using only local tools.

Summary

This paper builds a bridge between Quantum Mechanics (how particles talk to each other) and Thermodynamics (how heat and energy work).

It tells us that if you try to play quantum games (like entanglement) while strictly obeying the laws of heat and energy in separate rooms, you hit a wall. You can't create the strongest quantum connections unless you have a way to bypass the heat rules.

The takeaway: You can't have your cake (quantum entanglement) and eat it too (strict thermodynamic limits) without paying a price. The authors provided the mathematical menu to calculate exactly what that price is.

1. Problem Statement

The paper addresses a fundamental gap in quantum thermodynamics and quantum information theory: the lack of a unified operational framework that simultaneously accounts for:

Locality: Operations performed by spatially separated parties (Alice and Bob) in distinct laboratories.
Thermodynamic Constraints: The restriction that local operations must respect the laws of thermodynamics (specifically, interactions with local thermal baths at potentially different temperatures).
Communication: The ability of parties to exchange classical information (measurement outcomes) to coordinate their actions.

While Local Operations and Classical Communication (LOCC) is the standard paradigm for distributed quantum information, and Thermal Operations (TO) is the standard for single-system thermodynamics, their intersection was previously undefined. The authors aim to define the fundamental limits on state transformations and correlation generation in this hybrid setting, specifically investigating whether thermodynamic constraints prevent the realization of certain quantum advantages (like Bell nonlocality) that are possible under standard LOCC.

2. Methodology and Framework

A. Definition of LTOCC

The authors introduce Local Thermal Operations and Classical Communication (LTOCC). In this framework:

Alice and Bob possess local subsystems $A$ and $B$ with local Hamiltonians $H_A$ and $H_B$ and local thermal baths at inverse temperatures $\beta_A$ and $\beta_B$ .
They can perform Local Thermal Operations (LTO): Unitary interactions with their local baths that conserve total energy and preserve the local Gibbs state.
They can perform Incoherent Measurements: Projective measurements in the energy eigenbasis (which do not create coherence).
They can exchange Classical Communication: Measurement outcomes are shared to condition subsequent operations.
Memory: The framework considers protocols with and without classical memory (retaining past measurement results).

B. Mathematical Formalism: Thermal Tensors

To analyze energy-incoherent states (diagonal in the energy basis), the authors map quantum states to probability vectors.

Thermal Tensors: They generalize stochastic matrices to thermal tensors ( $T_{jkl}$ ), which describe the mapping of two input distributions (Alice's and Bob's) to a single output distribution under thermal constraints.
Bithermal Tensors: A symmetric subset of thermal tensors where the operation preserves the Gibbs state regardless of which party's input is the Gibbs state. These are the building blocks of Symmetric LTOCC (SLTOCC).
Geometric Analysis: The authors study the geometry of these tensors, identifying them as convex polytopes (analogous to the Birkhoff polytope for bistochastic matrices). They analyze extremal points (vertices) at infinite, finite, and zero temperatures.

C. Relation to Semilocal Thermal Operations (SLTO)

The paper establishes a rigorous connection between LTOCC and Semilocal Thermal Operations (SLTO). SLTO allows for arbitrary interactions between systems and baths as long as global energy and weighted heat flow (entropy) are conserved.

The authors prove that LTOCC protocols (even with shared randomness) form a subset of SLTO.
They prove that the set of SLTO operations is convex and closed under composition, properties not previously formally established for this class.

3. Key Contributions and Results

A. Hierarchy of Protocols

The authors establish a strict hierarchy of operational capabilities based on the number of rounds ( $n$ ), the presence of memory ( $+M$ ), and shared randomness ( $+R$ ):

$LTOCC_n \subset LTOCC_{n+1}$
$LTOCC_n \subset LTOCC_n + M$
$LTOCC_n \subset LTOCC_n + R$
Theorem 7: $LTOCC_n + R \subset SLTO$ . This implies that any transformation achievable via distributed thermal operations with classical communication is also achievable via a global semilocal thermal operation.
Conjecture 1: For energy-incoherent states, the closure of $LTOCC + R$ (with infinite rounds) is equivalent to $SLTO$. This suggests that coherent interactions are not necessary to achieve the full power of SLTO for incoherent states.

B. Correlation Generation

Without Memory: LTOCC can generate correlations from product states, but the power is limited.
With Memory: The authors demonstrate that LTOCC with memory is significantly more powerful. It can generate maximally correlated states from product inputs (even Gibbs states) using parallel protocols. This highlights the resource value of classical memory in thermodynamic settings.

C. Limits on Bell Nonlocality (CHSH Scenario)

The paper investigates whether LTOCC can violate Bell inequalities (specifically CHSH), which is a hallmark of quantum nonlocality.

Single-Copy Scenario: The authors prove that for energy-incoherent states with non-degenerate Hamiltonians, LTOCC cannot violate the classical CHSH bound (2).
- Reasoning: LTOCC relies on incoherent measurements. Bell nonlocality requires incompatible measurements, which are impossible to implement using only energy-incoherent thermal operations.
Multi-Copy Scenario: When multiple copies of an entangled state are available, the upper bound on the CHSH value is given by:
$S \leq \frac{2 D_{ndeg} + \sqrt{2} D_{deg}}{d^n}$
Where $D_{deg}$ $D_{d e g}$ and $D_{ndeg}$ $D_{n d e g}$ are the dimensions of energy-degenerate and non-degenerate subspaces, respectively.
- As the number of copies ( $n$ ) increases, the bound approaches the Tsirelson bound ( $2\sqrt{2}$ ).
- Significance: This creates a "gap" between standard LOCC (which can reach $2\sqrt{2}$ ) and thermally restricted LTOCC. This gap allows for the detection of athermality: if an experiment exceeds the LTOCC bound, it certifies that the parties used non-thermal resources (e.g., coherent operations or non-thermal baths).

D. Approximation of Logic Gates

The authors analyze the feasibility of implementing classical logic gates (CNOT, SWAP) using LTOCC.

They show that while these gates can be approximated, there is an inherent statistical distance (error) at any finite temperature.
The error vanishes only in the infinite temperature limit ( $\beta \to 0$ ), where thermal operations reduce to noisy operations.

4. Significance and Implications

Unification of Fields: The paper successfully bridges quantum thermodynamics and distributed quantum information, providing a rigorous "resource theory" for distributed thermal systems.
Thermodynamic Certification: The derived bounds on Bell nonlocality offer a novel method to certify the "quantumness" or "athermality" of a system. If a distributed system violates the LTOCC bound, it proves the system is not operating under standard thermal constraints.
Role of Memory: The work highlights that classical memory is a crucial resource in thermodynamic protocols, enabling correlation generation that is impossible without it.
Finite-Size Engines: By relating LTOCC to SLTO, the paper suggests that finite-size thermal engines operating at Carnot efficiency might be realizable using only classical communication and local thermal operations, without needing complex global quantum interactions.
Mathematical Tools: The introduction of thermal and bithermal tensors provides new mathematical tools for analyzing constrained quantum processes, extending the theory of stochastic and tristochastic tensors to thermodynamic settings.

Conclusion

This manuscript defines the operational limits of distributed quantum systems under thermodynamic constraints. It demonstrates that while thermodynamic restrictions severely limit the ability to generate nonlocal correlations in single-copy scenarios, the use of memory and multiple copies can recover significant quantum advantages, albeit with specific bounds. The framework of LTOCC provides a new lens for understanding the trade-offs between information processing, thermodynamic cost, and quantum nonlocality.