Existence of a symmetric trivial gapped interface between free-fermion and commuting-projector SPTs
Establish the existence and explicitly construct a symmetric, topologically trivial gapped interface between a free‑fermion symmetry‑protected topological slab and a commuting‑projector symmetry‑protected topological slab (with the same U(1)_V × U(1)_A topological response), as required for the in‑flow construction to produce a chiral theory while preserving the symmetry on the lattice.
References
Only step (ii) is not fully rigorous, as the existence of the symmetric gapped interface between the free-fermion and commuting-project SPTs is a plausible but unproven conjecture, which we discuss further in \subsec{gapped-surface}.
— Chiral Lattice Gauge Theories from Symmetry Disentanglers
(2601.04304 - Thorngren et al., 7 Jan 2026) in Section 4 (In-flow point of view)