On the tensorial structure of general covariant quantum systems

This paper argues that the Hamiltonian (or Hamiltonian constraint) alone cannot uniquely determine the tensor product structure of a quantum system's Hilbert space, thereby emphasizing that explicitly specifying the algebra of observables and their dynamical interplay is essential for defining a consistent general covariant quantum theory.

The Gist

The Big Question: What Makes a Quantum System?

Imagine you are trying to describe a complex machine, like a car. To understand it, you need to know two things:

1. The Engine (Dynamics): How the machine moves and changes over time.
2. The Parts List (Observables): What the individual pieces are (wheels, engine, steering wheel) and how you can measure them.

In standard quantum physics textbooks, there is a debate about which of these is more important. Some scientists suggest that if you just know the Engine (the Hamiltonian, which dictates the rules of motion), you can automatically figure out what the Parts are. They think the way the machine moves defines how it is built.

This paper argues that this idea is dangerous and often wrong. The authors say you cannot figure out the "Parts List" just by looking at the "Engine." You must explicitly state what the parts are and how they interact with the outside world.

---

Analogy 1: The Two-Engine Car (The Coupled Oscillators)

To prove their point, the authors look at a simple example: two pendulums (or springs) connected by a spring.

Scenario A: The "Coupled" View
Imagine you look at the two pendulums as separate objects connected by a spring. You see them swinging back and forth, sometimes in sync, sometimes out of sync. You see "beats" (a rhythmic waxing and waning of energy) as energy transfers from one to the other. This is a rich, interesting physical story.

Scenario B: The "Normal Mode" View
Now, imagine a mathematician who rewrites the rules of the car. They say, "Forget the two individual pendulums. Let's look at the combined movements."

• Movement 1: Both pendulums swing together perfectly.
• Movement 2: They swing in opposite directions.

If you look at the system through this new lens, the two pendulums look like they are not connected at all. They are just two independent, non-interacting machines. The "beats" and the energy transfer disappear from the description.

The Problem:
The "Engine" (the mathematical formula for the energy) is exactly the same in both scenarios.

• If you only look at the Engine, you can't tell if you are looking at two connected pendulums (Scenario A) or two independent ones (Scenario B).
• The "rich physics" (the beats, the interaction) exists only because we chose to define the system as two separate parts (Scenario A).

The Lesson: The math of motion (the Hamiltonian) doesn't tell you how to split the system into parts. You have to decide that first. If you don't, you might miss the most interesting parts of the story.

---

Analogy 2: The Clockless Universe (General Covariance)

The paper then moves to a harder problem: Quantum Gravity. This is the theory of how the universe works at the smallest scales, where time itself is fuzzy.

In normal physics, we have a clock. We say, "At 1:00, the ball is here. At 2:00, it is there."
In Quantum Gravity, there is no master clock. The universe is described by a "Constraint" (a rule that says the total energy must be zero, or that everything must fit together perfectly).

The "Clock Ambiguity"
The authors point out that in this clockless world, trying to find the "parts" of the universe just by looking at the "Constraint Rule" is impossible.

• The Constraint Rule is like a puzzle piece that says "The picture must be complete."
• But the rule doesn't tell you what the picture is, or how to cut the puzzle into pieces.

The authors argue that in a universe without a fixed time, the "parts" of the system (like a clock vs. the rest of the universe) are not hidden inside the math waiting to be discovered. Instead, you must choose them. You have to decide, "Okay, this variable will act as our clock, and those variables are the system."

Without making that choice explicitly, the theory has no meaning. The "parts" (the Tensor Product Structure) are not a secret code hidden in the equations; they are a necessary framework you must provide to make the equations work.

---

The Core Takeaway: The "Split" is Essential

The paper concludes with a philosophical but crucial point: Quantum theory is a theory of relationships.

To have a quantum theory, you must assume a split between:

1. The System (what you are studying).
2. The Observer/Environment (what is watching or interacting with it).

The authors call this a "Tensor Product Structure" (TPS), but you can think of it as drawing a line in the sand.

• In the Copenhagen interpretation (standard textbook physics), the line is between the quantum system and the classical measuring device.
• In Relational Quantum Mechanics, the line is between "me" and "you."
• In Many Worlds, the line separates different branches of reality.

The Final Verdict:
You cannot derive this line just by looking at the laws of physics (the Hamiltonian or the Constraint). The line must be drawn first.

• The "Engine" (Dynamics) tells you how things move once you have defined the parts.
• The "Parts List" (Observables) tells you what the system actually is.

If you try to let the Engine define the Parts, you risk losing the physics entirely, or you might end up with a description that makes no sense in the real world. To define a quantum theory, you must specify both the rules of motion and the specific way the system is broken down into interacting pieces.

Technical Summary

Technical Summary: On the tensorial structure of general covariant quantum systems

Problem Statement
The paper addresses a foundational question in quantum theory: Is a quantum system fully defined by its Hilbert space ($\mathcal{H}$) and its dynamics (typically a Hamiltonian $\mathcal{H}$), or must the algebra of observables be independently specified? Recent work (e.g., [3, 4]) suggested that a preferred Tensor Product Structure (TPS)—the decomposition of $\mathcal{H}$ into subsystems $\mathcal{H} = \otimes_i \mathcal{H}_i$—might be uniquely determined by the dynamics. Specifically, it was hypothesized that the Hamiltonian selects a "preferred" factorization that minimizes the degree of locality (k-locality) of the interaction terms. The authors investigate whether this hypothesis holds, particularly in the context of general covariant systems (such as those in quantum gravity) where a canonical time and Hamiltonian are absent, replaced by a Hamiltonian constraint.

Methodology and Analysis
The authors employ a two-pronged approach involving standard quantum mechanics and general covariant mechanics:

1. Standard Quantum Systems (Coupled Oscillators):
   The authors analyze a system of two coupled harmonic oscillators governed by a Hamiltonian $\mathcal{H}$ (Eq. 4). They demonstrate that this system admits two distinct TPSs:

   • Physical TPS: Defined by the original position and momentum operators $(x_1, p_1)$ and $(x_2, p_2)$. In this basis, the Hamiltonian is 2-local (containing interaction terms coupling the two oscillators). This basis captures physical phenomena such as beats, energy exchange, and degeneracy splitting.
   • Normal Mode TPS: Defined by a linear canonical transformation to normal mode variables $(X_1, P_1)$ and $(X_2, P_2)$. In this basis, the Hamiltonian becomes 1-local (a sum of uncoupled oscillators).
     The authors argue that while the Hamiltonian spectrum is identical in both bases, the physical phenomenology (e.g., beats) is only manifest in the original TPS. The information regarding the coupling and the specific physical subsystems is encoded in the relationship between the Hamiltonian and the specific algebra of observables, not in the Hamiltonian spectrum alone.

2. General Covariant Systems (Constraint Dynamics):
   The authors extend the analysis to systems defined by a Hamiltonian constraint $\mathcal{C}\psi = 0$ (the Wheeler-DeWitt equation) on an extended Hilbert space $\mathcal{K}$, rather than a standard Hamiltonian evolution.

   • They consider the same double oscillator system but formulated as a constraint (Eq. 18) where the total energy is fixed.
   • In this formalism, the spectrum of the constraint operator $\mathcal{C}$ restricted to the physical Hilbert space $\mathcal{H}$ is identically zero. Consequently, the constraint operator carries no spectral information to distinguish between different physical configurations or subsystem decompositions.
   • The authors show that the physical content (transition amplitudes and correlations between partial observables) is entirely dependent on the algebra of partial observables defined on the extended space $\mathcal{K}$, not on the constraint operator itself.

Key Contributions and Results

• Refutation of Hamiltonian-Only Determination: The paper demonstrates that a Hamiltonian (or constraint) alone is insufficient to define the physical subsystems of a quantum theory. The same Hamiltonian can describe physically inequivalent systems (coupled vs. uncoupled) depending on the chosen TPS.
• Necessity of Observable Algebra: The authors establish that the decomposition of a system into subsystems is determined by the algebra of observables accessible to the observer (or the specific partition of the system). The TPS is not an emergent property of the dynamics but a prerequisite for defining the dynamics' physical meaning.
• General Covariance Implications: In background-independent theories (like quantum gravity), where the Hamiltonian is replaced by a constraint with a vanishing physical spectrum, the idea that dynamics selects a TPS fails completely. The selection of a TPS (e.g., distinguishing a "clock" variable from "system" variables) must be specified independently.
• Structural Role of Partitions: The paper highlights that partitions are ubiquitous in quantum theory, underlying the definition of time (splitting clock from system), the observer/observed split in various interpretations (Copenhagen, Relational, Many Worlds, QBism), and the emergence of physical values.

Significance and Claims
The authors claim that their observations reinforce the idea that specifying the observables and their interplay with dynamics is essential to define a quantum theory. They argue against the reductionist view that a quantum theory can be fully captured by the pair $(\mathcal{H}, \mathcal{H})$ (or the constraint operator in covariant cases). Instead, they propose that the minimal description of a quantum system requires the triple $(\{A_i\}, \mathcal{C}, \mathcal{K})$, where $\{A_i\}$ represents the subalgebras of partial observables defining the subsystems, $\mathcal{C}$ is the constraint, and $\mathcal{K}$ is the extended Hilbert space.

The paper concludes that the decomposition of the universe into subsystems is not necessarily a primary, dynamical fact but is often a perspectival choice or a structural assumption required to make sense of the theory. The "Tensorial Structure" is thus a fundamental ingredient that must be supplied alongside the dynamics, rather than derived from it.