Generalized Wigner theorem for non-invertible symmetries

✨

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 Idea: When Rules Break, We Need New Maps

Imagine you are playing a game of chess. In standard physics, we have a rulebook called Wigner's Theorem. It says: "If you make a move that keeps the game fair (preserves probabilities), that move must be reversible. If you can slide a piece forward, you must be able to slide it back exactly to where it started."

For a long time, physicists thought this was the only way nature worked. Every symmetry (a rule that keeps things looking the same) had to be like a perfect mirror: you could look in it and see yourself, and you could look away and see yourself again. You could always undo the action.

But recently, physicists discovered "Non-Invertible Symmetries."
These are like magic moves in chess where you can change the board, but you can't simply press "Undo" to get back to the exact previous state. It's like taking a photo of a messy room, then magically organizing it. You know the room is "clean," but you can't tell exactly which sock went where just by looking at the clean room. The information is lost.

This paper asks a scary question: If we can't reverse the move, is it still a valid symmetry? Does it break the laws of quantum physics?

The authors (Gerardo Ortiz and his team) say: "No, it doesn't break the laws, but we have to change how we look at the game."

The Problem: The "Lost Sock" Paradox

Let's use an analogy of a Laundry Machine.

The Old Way (Invertible Symmetry): You put a red shirt and a blue sock in the machine. The machine spins them. When it stops, you can take them out, and they are still a red shirt and a blue sock. You can reverse the spin, and they go back to the start. This is a standard symmetry.
The New Way (Non-Invertible Symmetry): You put the red shirt and blue sock in. The machine spins them and merges them into a single, weird "sock-shirt" hybrid.
- The Problem: If you try to reverse this, you can't separate the sock from the shirt. The "transition probability" (the chance of finding the original items) has changed.
- The Conflict: According to the old rules (Wigner's Theorem), if the machine changes the odds of finding your clothes, it's not a valid symmetry. It's just a mess.

The paper argues that in the quantum world, these "messy" symmetries do exist, but they only work if we admit that our "Laundry Machine" (the universe) is bigger than we thought.

The Solution: The "Hidden Room" Analogy

The authors propose a brilliant fix. They say: To make this magic move valid, you need to add a "Hidden Room" to your house.

Imagine the Laundry Machine isn't just in your house; it's connected to a secret, parallel room (an Extended Hilbert Space).

The Setup: When you put the clothes in, the machine doesn't just merge them. It sends the "messy" part of the clothes into the Hidden Room.
The Magic Move: The machine performs its non-reversible move on the clothes in the main room, but it leaves a "ghost" of the original state in the Hidden Room.
The Result:
- If you only look at the main room, the clothes look merged and irreversible.
- BUT, if you look at the entire system (Main Room + Hidden Room), the total information is preserved. Nothing was actually lost; it was just moved to the Hidden Room.

The Theorem in Plain English:
Any "non-reversible" symmetry is actually just a reversible move happening in a bigger universe, followed by a projection (looking only at the part of the universe we care about).

The "Reversible Move": A perfect, standard quantum operation (Unitary).
The "Projection": A filter that hides the extra information in the Hidden Room.

So, the "Non-Invertible Symmetry" is actually a Unitary Operator (the reversible part) combined with a Projector (the filter).

Why Does This Matter? (The "Boundary" Twist)

The paper uses a specific example (the Transverse-Field Ising Chain) to show that whether a symmetry is "reversible" or "non-reversible" depends entirely on how you close the box.

Analogy: Imagine a train track.
- Open Ends: If the track has open ends, the train can stop. The symmetry is "invertible" (you can reverse the train).
- Closed Loop: If you connect the ends to make a circle, the train must keep going forever. Suddenly, the rules change. The symmetry becomes "non-invertible."

The authors show that by changing the boundary conditions (how you connect the ends of your system), you can turn a standard symmetry into a magical, non-reversible one. But to understand it, you must realize that the "circle" of the track is actually part of a larger, invisible structure.

The "Observer" Twist

The paper ends with a fascinating philosophical point about observation.

Wigner's Original View: The observer is passive. They just watch the system. If the system changes, they see it.
The New View: To see a non-invertible symmetry, the observer must be active. They must "enlarge the room" (add the Hidden Room/Ancilla qubits) and perform a measurement there.

The Metaphor:
Imagine you are watching a magician pull a rabbit out of a hat.

Old View: The rabbit was always in the hat.
New View: The rabbit wasn't in the hat. The magician reached into a secret pocket in their coat (the Hidden Room) and pulled it out. To understand the trick, you have to know about the secret pocket.

Summary of Key Takeaways

Symmetries don't have to be reversible to be real. Nature allows "one-way" symmetries.
But they must preserve probabilities. If you can't reverse the move, you must have hidden the "lost" information somewhere else.
The "Hidden Room" is real. To make the math work, we must treat the quantum system as if it has extra dimensions (an extended Hilbert space) where the "lost" information lives.
It depends on the edges. Whether a system has these weird symmetries often depends on how you set up the boundaries (the edges of your experiment).
Practical use: If you want to build a quantum computer that uses these symmetries, you can't just use the main qubits. You must add extra "helper" qubits (ancillae) to act as the Hidden Room, or the math will break.

In a nutshell: The universe is playing a trick on us. It looks like it's breaking the rules of reversibility, but it's actually just hiding the "undo" button in a secret room we didn't know existed. This paper gives us the map to find that room.

1. Problem Statement

The paper addresses a fundamental tension between the emerging concept of non-invertible symmetries (also known as generalized or categorical symmetries) and Wigner's theorem, a cornerstone of quantum mechanics.

Wigner's Theorem: Traditionally, Wigner's theorem asserts that any symmetry transformation preserving transition probabilities between quantum states must be represented by a unitary or antiunitary operator. Crucially, these operators are invertible (bijective).
The Conflict: Recent developments in quantum many-body and field theories have identified non-invertible symmetries (e.g., Kramers-Wannier dualities in lattice models) that do not possess unique inverses.
The Paradox: If a symmetry operator is non-invertible, it seemingly violates Wigner's theorem because it cannot preserve transition probabilities in the standard Hilbert space. For instance, in the Transverse-Field Ising Chain (TFIC) with specific boundary conditions, the duality operator acts as a projection, altering transition probabilities ( $|\langle \beta | \alpha \rangle|^2 \neq |\langle D\beta | D\alpha \rangle|^2$ ).
The Gap: Previous attempts to describe non-invertible symmetries (e.g., via completely positive maps) often lacked the strict requirement of transition probability invariance, which is fundamental to quantum measurement and the Born rule. The paper asks: How can non-invertible symmetries exist as true symmetries (preserving probabilities) within the rigorous framework of quantum mechanics?

2. Methodology

The authors employ a rigorous mathematical approach combining functional analysis, operator theory, and the bond-algebraic framework of dualities.

Extension of Hilbert Space: The core methodological innovation is the proposal that non-invertible symmetries do not act on the original physical Hilbert space $\mathcal{H}$ alone. Instead, they act on an enlarged (gauged) Hilbert space $\tilde{\mathcal{H}} = \mathcal{H} \oplus \mathcal{H}^\perp$ .
Polar Decomposition: The proof utilizes the polar decomposition of operators ( $\hat{D} = \hat{U}\hat{P}$ ), extended to non-invertible cases. They analyze the conditions under which a bounded operator preserves inner products (transition probabilities).
Gauge Enlargement: They introduce a "gauge-enlarged" Hamiltonian ( $H_G$ ) and a projection operator $\tilde{P}$ that acts as the identity on the physical subspace $\mathcal{H}$ but has a non-trivial kernel on the auxiliary subspace $\mathcal{H}^\perp$ .
Case Studies: The theory is tested and illustrated using the Transverse-Field Ising Chain (TFIC). The authors compare:
- Models with open/closed boundaries where duality is unitary.
- Models with periodic/antiperiodic boundaries where the naive duality operator fails to preserve probabilities.
- A "minimally gauged" version of the TFIC where the symmetry is restored as a valid symmetry in the enlarged space.

3. Key Contributions and Theorem

The paper establishes a Generalized Wigner Theorem for non-invertible symmetries.

The Theorem:
Any symmetry transformation that preserves transition probabilities between quantum states must be induced by an operator $\hat{D}$ of the form:
$\hat{D} = U \tilde{P}$
Where:

$U$ is a unitary or antiunitary operator defined on the enlarged Hilbert space $\tilde{\mathcal{H}}$ .
$\tilde{P}$ is a positive semi-definite operator (a projector) that acts as the identity when restricted to the physical subspace $\mathcal{H}$ , but may act non-trivially (e.g., as a zero operator) on the orthogonal complement $\mathcal{H}^\perp$ .

Key Implications:

Partial Isometries: Non-invertible symmetries are identified as partial isometries. They are not invertible on the full space $\tilde{\mathcal{H}}$ because $\tilde{P}$ has a non-trivial kernel, but they preserve probabilities on the physical sector.
Necessity of Enlargement: Non-invertible symmetries cannot exist as symmetries on the original Hilbert space $\mathcal{H}$ alone. They require the physical space to be embedded in a larger space (often interpreted as a gauged system).
Independence: The theorem is independent of the specific Hamiltonian, spatial dimension, or the origin of the non-invertibility (e.g., boundary conditions vs. intrinsic topological structure).

4. Results and Illustrations

Resolution of the TFIC Paradox:
- In the standard periodic TFIC, the duality operator $D_\pm$ (constructed as a unitary followed by a projection on the original space) fails Wigner's criterion because it alters transition probabilities.
- By introducing a minimally gauged Hamiltonian (adding a single ancilla qubit/gauge field $Z_{L+1}$ ), the authors construct a unitary operator $U$ on the enlarged space $\tilde{\mathcal{H}}$ .
- The symmetry operator becomes $\hat{D} = U \tilde{P}$ , where $\tilde{P}$ projects onto the gauge sector. In this enlarged space, the transition probabilities are strictly preserved, satisfying the generalized theorem.
Boundary Conditions as a Switch: The paper demonstrates that the distinction between invertible and non-invertible symmetries can be a matter of boundary conditions. Changing boundary conditions can "hide" the non-invertibility or require the gauging procedure to reveal the symmetry properly.
Corollaries:
- Corollary 1: Non-invertibility strictly requires the existence of the auxiliary space $\mathcal{H}^\perp$ . If the operator were invertible on $\mathcal{H}^\perp$ , the total symmetry would be invertible.
- Corollary 2: The unitary part $U$ must commute with the gauge-enlarged Hamiltonian $H_G$ .

5. Significance and Physical Consequences

Redefining Physical States: The paper argues that physical states in the presence of non-invertible symmetries should be viewed not as individual vectors in $\mathcal{H}$ , but as equivalence classes in the gauged Hilbert space. This draws a parallel to fiber bundles in gauge theories, where different gauge choices correspond to sections of the bundle.
Role of the Observer: The authors introduce a conceptual shift: Wigner's original theorem applies to a "passive" observer, while the generalized theorem implies an "active" observer (Wigner's agent) who must enlarge the Hilbert space and perform projective measurements on auxiliary degrees of freedom to detect non-invertible symmetries.
Quantum Information & Simulation:
- Circuit Construction: The theorem dictates that non-unitary operations (like projective measurements) cannot be applied directly to the physical qubits of a system to simulate a non-invertible symmetry. Instead, measurements must be performed on ancilla qubits (auxiliary systems) that have been entangled with the physical system.
- Experimental Design: For experiments aiming to probe non-invertible symmetries (e.g., in quantum simulators), the setup must implement the duality operator in the constrained form $\hat{D} = U \tilde{P}$ , ensuring the "projection" happens in the extended space, not the physical space.
Theoretical Unification: The work unifies the understanding of invertible and non-invertible symmetries under a single framework based on probability conservation, resolving the apparent contradiction between Wigner's theorem and modern categorical symmetry research.

In summary, the paper provides the rigorous mathematical foundation for non-invertible symmetries, proving they are valid quantum symmetries only when the system is viewed within an appropriately enlarged, gauged Hilbert space, thereby preserving the fundamental principle of transition probability invariance.