Non-Invertible Symmetries and Boundaries for Two-Dimensional Fermions

This paper investigates the relationship between boundary conditions and categorical symmetries in two-dimensional fermionic conformal field theories by identifying a family of anomaly-free $\mathbb{Z}_k$ global symmetries derived from Pythagorean triples, demonstrating that gauging these symmetries generates non-invertible topological defects that can dress trivial boundaries to produce all $U(1)^2$-preserving conformal boundary conditions, and providing two microscopic realizations of these defects.

The Gist

Imagine you have a very special, invisible dance floor made of two types of dancers: "Left-Movers" and "Right-Movers." In the world of quantum physics, these are particles called fermions. Usually, if you put a wall at the edge of this dance floor, the dancers hit the wall and bounce back. But sometimes, the rules of the dance are so tricky that when a Left-Mover hits the wall, it doesn't just bounce back as a Left-Mover; it transforms into something else entirely, or it gets tangled with an invisible string.

This paper is about understanding those tricky walls, the invisible strings, and the special rules that govern how these dancers behave when they hit the edge of the universe.

Here is the breakdown of their discovery, using simple analogies:

1. The "Perfect Square" Rule (Pythagorean Triples)

The authors started by asking: "What are the rules that allow these dancers to hit a wall without breaking the laws of physics?"

They found that the rules depend on a very specific mathematical pattern: Pythagorean triples. You know the famous $3^2 + 4^2 = 5^2$? The paper says that for every set of numbers like $(3, 4, 5)$, $(5, 12, 13)$, etc., there is a unique, special "dance rule" (a symmetry) that works perfectly.

If the dancers follow these specific rules, they can hit a wall and bounce back in a way that preserves the total "charge" (like momentum or energy) of the system. If the numbers don't fit this "perfect square" pattern, the dance falls apart, and the physics breaks.

2. The "Magic Mirror" (Self-Duality)

The most surprising thing they found is that these dance floors are self-dual.

Imagine you have a magic mirror. If you look in the mirror, you expect to see a reflection. But in this quantum world, if you "flip" the rules of the dance floor (a process physicists call "gauging"), the dance floor looks exactly the same as it did before, just with the dancers swapped around.

It's like if you took a recipe for a cake, swapped the flour for sugar and the sugar for flour, and the cake came out tasting exactly the same. This "magic mirror" property means the system is incredibly robust and symmetrical.

3. The Invisible Strings (Non-Invertible Defects)

When the dancers hit the wall, they don't just bounce off cleanly. The paper describes a phenomenon where a dancer hits the wall and comes back attached to an invisible string.

• The Analogy: Imagine throwing a ball at a wall. Usually, it bounces back. But here, the ball hits the wall, and when it comes back, it's now tied to a long, invisible rope that is anchored to the wall.
• The "Non-Invertible" Part: In normal physics, if you do something and then undo it, you get back to where you started. But these invisible strings are "non-invertible." If you try to "undo" the action of the string, you can't just reverse it to get the original ball back; the string changes the nature of the ball itself. It turns a simple particle into a "twisted" version of itself.

The paper proves that for every "perfect square" rule (every Pythagorean triple), there is a specific type of these invisible strings.

4. Building the Wall (Symmetric Boundaries)

The authors show how to build these special walls. You can think of it as taking a standard, boring wall (a "Dirichlet boundary") and decorating it with one of these invisible strings.

• Class V (The Simple Wall): For some rules, you can build a simple wall. The dancers hit it, get tied to a string, and bounce back. This is a "simple" boundary.
• Class A (The Wall with a Ghost): For other rules, the wall is trickier. To make the physics work, the wall needs to host a "ghost" particle (a Majorana mode) that isn't paired with anything. It's like having a wall that requires a single, lonely sock to function. Without this extra "ghost," the wall wouldn't work.

5. How It Works in Real Life (Microscopic Descriptions)

The paper doesn't just talk about abstract math; it gives two ways to imagine how these invisible strings could exist in a real machine:

1. The Rotor: Imagine the wall has a tiny, spinning wheel (a rotor) attached to it. As the dancers hit the wall, they spin the wheel. The way the wheel spins creates the invisible string effect.
2. The Mass Generator: Imagine the dancers are moving freely, but the wall is a zone where they are forced to stop moving (gain "mass"). However, they are forced to stop in a very specific, symmetrical way that preserves the rules. This process of "stopping" them creates the boundary conditions described above.

Summary

In short, this paper maps out a new landscape of quantum rules. It discovers that:

• There are specific mathematical patterns (Pythagorean triples) that allow quantum particles to hit a wall and bounce back without breaking physics.
• When they bounce, they get attached to invisible, "non-reversible" strings.
• These strings are the key to building special walls for quantum systems.
• Some of these walls are simple, while others require a "ghost" particle to exist.

This helps physicists understand how quantum systems behave at their edges, which is crucial for understanding everything from the behavior of materials in a lab to how particles scatter off heavy magnetic monopoles in the universe.

Technical Summary

Technical Summary: Non-Invertible Symmetries and Boundaries for Two-Dimensional Fermions

Problem Statement
This work investigates the relationship between conformal boundary conditions and categorical (non-invertible) symmetries in two-dimensional fermionic conformal field theories (CFTs). Specifically, it addresses the question of whether the absence of 't Hooft anomalies in a global symmetry $G$ guarantees the existence of a simple, conformal boundary condition preserving $G$. While such boundaries are known to exist for many cases, recent counterexamples in two dimensions suggest a more complex relationship. The authors focus on the theory of two Dirac fermions (equivalent to two right-moving Weyl fermions, $T$) and seek to classify all anomaly-free invertible symmetries, determine their self-duality properties under gauging, and utilize these dualities to construct non-invertible topological defects and symmetric boundary conditions.

Methodology
The paper employs a combination of algebraic classification, modular bootstrap techniques, and microscopic constructions:

1. Classification of Anomaly-Free Symmetries: The authors classify all finite, invertible 0-form symmetries of the theory $T$ of two Weyl fermions. They utilize the isomorphism $SO(4) \cong (SU(2)_L \times SU(2)_R)/\mathbb{Z}_2$ to analyze the action of potential symmetry groups on the fermions. They derive the conditions for anomaly cancellation, showing that only cyclic groups $\mathbb{Z}_k$ associated with primitive Pythagorean triples ($a^2 + b^2 = k^2$) are anomaly-free.
2. Discrete Gauging and Self-Duality: The authors perform the gauging of these anomaly-free cyclic symmetries. A critical step involves resolving ambiguities in the gauging procedure (specifically the choice of counter-terms or "discrete torsion" in the twisted sectors) to ensure the resulting theory is a well-defined fermionic CFT. They demonstrate that for a unique choice of phase, the gauged theory $T/G$ is isomorphic to the original theory $T$, establishing a self-duality.
3. Construction of Non-Invertible Defects: Using the "half-space gauging" procedure, they construct non-invertible topological line defects (self-duality defects) associated with each self-duality. This involves gauging the symmetry in a half-space and gluing the resulting theory to the original theory via the established isomorphism.
4. Scattering and Fusion Analysis: The paper analyzes the scattering of local operators through these defects, determining how they transform into twist operators attached to topological lines. They also derive the fusion rules of these defects, showing they form a Tambara-Yamagami (TY) fusion category.
5. Boundary Construction via Folding: By "folding" the theory along the non-invertible defect, the authors construct conformal boundary conditions for two Dirac fermions that preserve generic anomaly-free $U(1)^2$ symmetries.
6. Microscopic Realizations: The authors provide two ultraviolet (UV) descriptions for these defects:
   • Fermions coupled to a quantum-mechanical rotor degree of freedom.
   • An abelian gauge theory realizing Symmetric Mass Generation (SMG) in a half-space.

Key Contributions and Results

• Classification of Symmetries: The authors prove that the set of inequivalent anomaly-free invertible symmetries of two Weyl fermions is in one-to-one correspondence with primitive Pythagorean triples $(a, b, k)$, where the symmetry group is $\mathbb{Z}_k$.
• Self-Duality and Isomorphism: They explicitly demonstrate that gauging any such $\mathbb{Z}_k$ symmetry yields a theory isomorphic to the original. They construct the specific isomorphism $D: T/G \to T$ and show that different choices of isomorphism correspond to fusing the resulting defect with invertible lines in $SO(4)$.
• Non-Invertible Defects: The paper constructs a family of non-invertible topological lines $N_{(p,q)}$. For a specific choice of isomorphism, these lines satisfy the Tambara-Yamagami fusion rules:
  $$\eta \times N = N, \quad N \times N = \sum_{n=1}^k \eta^n$$
  where $\eta$ generates the $\mathbb{Z}_k$ symmetry.
• Symmetric Boundary Conditions: The authors show that any conformal boundary condition for two Dirac fermions preserving an anomaly-free $U(1)^2$ symmetry can be constructed by dressing a trivial Dirichlet boundary with one of these non-invertible lines.
  • Class V: These boundaries are simple (hosting only the identity operator) and correspond to interfaces with the trivial phase.
  • Class A: These boundaries correspond to interfaces with the Arf topological phase. The authors show that a simple boundary condition preserving Class A symmetries does not exist; instead, the boundary must either be non-simple (hosting an unpaired Majorana mode) or be an interface to the Arf phase.
• Microscopic Origins:
  • The non-invertible lines are realized in the UV by fermions coupled to a rotor impurity.
  • The boundary conditions are realized via Symmetric Mass Generation (SMG). The paper demonstrates that SMG can gap the theory while preserving Class V symmetries (flowing to the trivial phase) but fails to do so for Class A symmetries without generating an Arf phase or requiring an unpaired Majorana mode on the boundary.

Significance and Claims
The paper establishes a concrete and exhaustive link between non-invertible topological defects and symmetric boundary conditions in 2D fermionic CFTs. It clarifies that the existence of an anomaly-free symmetry does not guarantee a simple conformal boundary; the obstruction is topological, distinguishing between boundaries that are interfaces to the trivial phase (Class V) and those that are interfaces to the Arf phase (Class A).

The work provides a complete classification of self-duality defects arising from gauging invertible symmetries in the theory of two Weyl fermions, identifying them as elements of the Tambara-Yamagami fusion category. Furthermore, it offers a microscopic understanding of these abstract defects through rotor models and SMG, explaining the origin of the unpaired Majorana mode required for Class A boundaries.

The authors note that while their results are exhaustive for $N=2$ fermions, generalizing to $N > 2$ presents challenges, particularly regarding the uniqueness of the CFT and the existence of Tambara-Yamagami fusion rules for all self-duality defects. They suggest this framework may be relevant to understanding fermion-monopole scattering in 4D gauge theories, where the 2D boundary CFT describes the lowest angular momentum modes, though they do not claim to have solved the scattering problem for all monopole charges.