{"id":"a8735596-a815-47d4-839b-542dcc2c3056","arxiv_id":"2411.11967","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"SPT-sewing constructs all invertible domain walls in Abelian quantum doubles and new anchoring domain walls in 3D toric codes that interconvert point and loop excitations.","lead":"By gauging one-dimensional symmetry-protected states placed between two quantum doubles, the authors construct gapped domain walls and prove that in Abelian two-dimensional models every invertible wall arises this way. The same method creates 'anchoring' walls in the 3D toric code that turn point charges into loop-like excitations, offering a new route to classifying and engineering gapped defects.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1's 'all' claim inherits an unproved completeness step: Theorem 2 asserts that every D(G) domain wall is a gauged K-SPT state, but the proof is a citation to Ref. [7] plus an asserted gauging correspondence.","rationale":"The reader's weakest-assumption analysis identified Theorem 2 as the load-bearing step, and I agree. The paper's own strongest claim is the completeness statement of Theorem 1, and that statement is derived directly from Theorem 2. Since the proof of Theorem 2 is largely a citation to Beigi-Shor-Whalen plus an unproved gauging correspondence, the completeness result is only as secure as that external classification and that correspondence. If the gauging correspondence fails for some domain wall, the word 'all' in Theorem 1 would be false even though the paper's constructive examples would remain valid. I considered whether there is a more internal flaw, such as a mismatch between the braided autoequivalence group used in Section IV.C and the SPT-sewing construction, or a gap in the partition-function argument in Appendix B.2 for general Abelian groups. Those steps are sketched and deserve expansion, but they are more like under-specified algebra than a demonstrated contradiction. The 3d anchoring-wall construction is supported by explicit stabilizers and ribbon operators, so it is not the weakest link. The recommended verdict is unchanged because the reader's CONDITIONAL assessment is exactly calibrated to this situation: the central completeness claim is plausible and the constructions are concrete, but the proof of the key classification step is not fully supplied. The proposed concrete test would settle the concern by checking the gauging-K-SPT correspondence against an independent classification on a nontrivial Abelian group.","tokens_in":59686,"tokens_out":15074,"duration_ms":159190,"concrete_test":"Take G = Z3 × Z3, a finite Abelian group not of the form Z2^n. Independently enumerate all gapped domain walls of D(G) from the Lagrangian-algebra classification of quantum-double domain walls, and for each wall construct the corresponding (K, ν) fixed-point K-SPT state, apply the explicit gauging map of Section III, and compare the resulting anyon condensation data and anyon maps. If every wall (or at least every invertible wall) is reproduced, Theorem 2's citation gap is closed; if any wall is missed, the completeness theorem fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central Abelian completeness claim (Theorem 1) is derived in Appendix B.2 from Theorem 2: every gapped domain wall in a G quantum double is obtained by gauging a 1d phase with unbroken subgroup K ⊆ G×G and cocycle ν. The proof of Theorem 2 is not self-contained. It states that the wall Hamiltonians are given in Ref. [7] and asserts that gauging fixed-point K-SPT states realizes exactly those walls, but it does not provide an explicit dictionary from the Ref. [7] classification to the gauging construction. The follow-up step, that two G×G-symmetric states in the same phase yield domain walls related by a shallow circuit and hence of the same type, is also asserted rather than proved; the gauging map is defined on fixed-point symmetric states, and its behavior under arbitrary symmetric circuits needs to be checked. If Theorem 2 omits any domain wall, then 'all' in Theorem 1 loses its support. The 3d anchoring-wall results are less affected because they are constructive examples with explicit stabilizers and explicit ribbon operators, so they stand even if the completeness proof has gaps. This is a real proof gap rather than a demonstrated counterexample, but it is the load-bearing point for the completeness claim.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces SPT-sewing, a method for constructing gapped domain walls in quantum double models by entangling two close boundaries with a lower-dimensional symmetry-protected topological state and then applying the gauging map. The main formal result is Theorem 1, which states that for a finite Abelian group G every invertible domain wall of the G quantum double arises from SPT-sewing with G x G x G symmetry; the proof relies on Theorem 2, which asserts that all domain walls of a G quantum double are obtained by gauging 1d phases with unbroken subgroup K and cocycle nu. For the non-Abelian example G = S3, the paper constructs an invertible C <-> F domain wall by gauging an S3 x Rep(S3) x S3 SPT, and states Conjecture 1 that this construction is general. In the 3d toric code, the paper constructs type-I, type-II, and type-III domain walls by gauging 2d SPTs, including double-semion walls and two types of anchoring walls that convert point-like excitations into semi-loop excitations anchored on the wall; explicit stabilizer Hamiltonians and ribbon operators are provided.","tokens_in":59844,"tokens_out":10436,"duration_ms":108507,"significance":"If Theorem 1 is fully established, it gives a constructive completeness statement for invertible domain walls in Abelian quantum doubles: every such wall is a gauged 1d SPT. The 3d anchoring walls are a new class of explicitly solvable domain walls, and the paper provides detailed stabilizer and ribbon-operator calculations for them, so their existence is robust even if the completeness proof has gaps. The S3 example is a useful model-building step toward the non-Abelian conjecture, and the paper honestly frames the classification of non-invertible SPTs as open. The explicit lattice constructions, the use of the gauging map, and the concrete anyon maps are valuable contributions, and the connection to Clifford decompositions for Z2^n is an interesting technical tool.","major_comments":[{"comment":"Theorem 1 says 'all invertible domain walls', and its support is Theorem 2, but Theorem 2 is not proved to the same standard as the rest of the paper. The proof states that Ref. [7] gives the domain wall Hamiltonians and asserts that these correspond to gauging fixed-point K-SPT states, without providing an explicit dictionary from the Beigi-Shor-Whalen classification to the gauging construction. It also asserts that two symmetric states in the same phase yield domain walls related by a shallow circuit after gauging, without checking that the gauging map preserves this equivalence. Because this completeness step is load-bearing for Theorem 1, the proof should either supply the dictionary or state Theorem 1 as conditional on a precise completeness statement for Theorem 2.","section":"Section IV.C and Appendix B.2, Theorem 2"},{"comment":"The reduction from an arbitrary invertible (K,nu) domain wall to a projected G x G x G SPT is the core of the Abelian theorem, but the steps 'it is straightforward to show that each delta function gives rise to an anyon map' and 'we can always write the topological action given from nu as a bilinear form' are asserted rather than derived. In particular, the treatment explicitly handles (K,0) cases and then states that the general cocycle case can be brought to the same form; this requires a proof that the p-group decomposition and the diagonal gauge-field change do not alter the anyon map. Without this, the claim that all braided autoequivalences are covered is incomplete.","section":"Appendix B.2, Eqs. (B19)-(B22)"},{"comment":"The nontriviality of the S3 x Rep(S3) x S3 SPT |SPT2> is inferred from the projection to a (Z3 x Z3) semi-direct Z2 SPT, while the paper itself notes that no classification of non-invertible SPTs is available. The explicit stabilizers and the F^CF ribbon operator in Appendix E.2 are self-contained and support the claim that the constructed wall exchanges C and F, but the wording that gauging a genuinely nontrivial non-invertible SPT produces this wall goes beyond what is established. I recommend presenting this as direct evidence for Conjecture 1 with the classification issue stated explicitly.","section":"Section V.D and Appendix A.5"}],"minor_comments":[{"comment":"There is a repeated article in 'the the diagonal group'; please fix this typo.","section":"Appendix A.5, first paragraph"},{"comment":"The phrase 'the action of the domain wall on these anyons is A <-> A, B <-> D, E <-> E' is ambiguous because the first and last entries are not exchanges; clarify that A and E pass through while B and D are swapped.","section":"Section V.C, Eq. (44)"},{"comment":"There is a typo 'decompostion', and after checking the (11) and (12) matrix entries the text says the other entries can be obtained similarly without showing them; please spell out that the remaining cases are identical or provide the calculation.","section":"Appendix D.3"},{"comment":"The simplified models are said to produce the same physics as the constructions of Section VI, but no locality-preserving equivalence to the triangular-lattice models is given; a brief argument or reference would make this claim precise.","section":"Section VII"},{"comment":"The 'Domain wall' column mixes rows obtained from different mechanisms, such as gauged-SPT defects, SPT-sewing, and symmetry-breaking limits; adding a column that labels the mechanism would improve readability.","section":"Tables I and IV"}],"recommendation":"major_revision","confidential_remarks":"The central Abelian completeness theorem depends on the completeness of an external classification and on a gauging correspondence that is only cited. I would not reject on this basis, because the 3d construction and the explicit S3 wall are independent and valuable, but the manuscript should be revised to make the dependence explicit. The non-invertible SPT example is more of a model-building result than a proof of the conjecture, and the paper should be careful not to overstate what it establishes."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This one is worth a serious referee. The new thing is SPT-sewing: entangle two disconnected lattices with a lower-dimensional SPT, then gauge. That differs from the gauged-SPT defects in [49], and it buys you a lot: a complete constructive classification of invertible domain walls for any finite Abelian group G (Theorem 1), plus concrete non-Abelian and 3d constructions.\n\nThe Abelian proof is the strongest part. For Z2^n it goes through the Clifford group structure, and for general Abelian G it uses Kunneth and partition functions; the mapping from topological actions to anyon maps is explicit. The S3 section is honest: the S3 x S3-invariant wall is non-invertible, and the invertible C<->F wall requires the non-invertible Rep(S3) symmetry. They write down explicit stabilizers and a ribbon operator F_CF that commutes with them. The 3d anchoring walls are completely explicit stabilizer models with ribbon operators; I checked the type-II wall's Z4 anyon dictionary and it works. These are not existence claims, they come with commuting Hamiltonians.\n\nThe soft spot is exactly where the reader puts it. Theorem 2, which underlies the 'all' in Theorem 1, is not proved in the paper. It cites Beigi-Shor-Whalen for the wall Hamiltonians and asserts that gauging fixed-point K-SPT states realizes exactly those walls. There is no explicit dictionary from the [7] data to the gauging construction, and the claim that same-phase symmetric states map to same-type walls is also asserted. So the completeness theorem inherits an external classification plus an unverified correspondence. The delta-function-to-anyon-map step in Appendix B.2 is sketched as well. This is a real proof gap, not a counterexample; I see no circularity.\n\nMinor soft spots: the nontriviality of |SPT2> is argued by projecting to a known (Z3 x Z3) x Z2 SPT rather than by classifying the full non-invertible SPT phase, and the 3d type-III wall's non-Abelian fusion is described at the level of examples. But the authors label these as evidence and leave classification open, which is fair.\n\nFor whom: people working on exactly solvable topological models, gauging and SPT, and fault-tolerant boundaries. I would take it to a reading group and I would cite it. Send it to peer review. The referee should ask for a fuller proof of Theorem 2 or an explicit reduction to [7], and for a clean statement about how gauging behaves under symmetric circuits. With that, the paper is solid.","headline":"A solid, inventive construction paper with a real completeness theorem for Abelian quantum doubles; the 'all' claim has a proof gap in the gauging correspondence, but the 3d anchoring walls stand on their own.","tokens_in":60518,"tokens_out":3246,"would_cite":true,"duration_ms":33622,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81T45","81P68"],"pacs":[],"model":"deepseek-v4-flash","headline":"Gauging a lower-dimensional symmetry-protected state sewn along the seam between two bulks constructs gapped domain walls of quantum-double gauge theories, and in two-dimensional Abelian models this one construction produces every…","keywords":["domain walls","symmetry-protected topological order","gauging","quantum double","toric code","non-invertible symmetry","topological order","anchoring domain walls"],"falsifier":"Enumerate all braided autoequivalences of the $\\mathbb{Z}_2\\times\\mathbb{Z}_2$ quantum double (there are 72) and write down the $G\\times G\\times G$ topological action for each one; if any of the 72 anyon maps cannot be reproduced by the paper's SPT-sewing formula, Theorem 1 is false.","tokens_in":2236,"feed_emoji":"🧵","tokens_out":2854,"duration_ms":109246,"temperature":0.7,"pith_summary":"The paper introduces a single construction—SPT-sewing—for making gapped domain walls in topologically ordered systems: take two bulks with facing boundaries, decorate the seam with a lower-dimensional symmetry-protected topological state, and gauge the whole system. The central result is that in two-dimensional Abelian quantum doubles this construction is complete for invertible walls: every invertible domain wall of the $G$ quantum double arises from gauging a 1d SPT with $G\\times G\\times G$ symmetry. For non-Abelian groups the paper constructs invertible walls of the $S_3$ quantum double from a 1d SPT with non-invertible $S_3\\times\\mathrm{Rep}(S_3)\\times S_3$ symmetry and conjectures the same statement for every finite group. In the 3d toric code the method creates anchoring domain walls, which convert point-like electric charges into semi-loop-like magnetic excitations anchored on the wall, in both Abelian and non-Abelian variants. If correct, the paper turns the classification of quantum-double domain walls into a question of writing down SPT topological actions.","feed_headline":"A single trick builds every invertible wall in Abelian quantum doubles","feed_subtitle":"Sew a 1d symmetry-protected state onto the seam, gauge it, and every invertible domain wall of 2d Abelian quantum doubles appears.","key_machinery":"The carrying object is the SPT-sewing map: two $G$-symmetric product states are placed on lattices with facing boundaries, the boundary degrees of freedom are entangled by a lower-dimensional SPT fixed-point state written as a topological action built from group cohomology, and the gauging map sends the symmetric vertex operators to the star operators of the quantum double. The folded-system picture is the workhorse: folding the two bulks along the seam turns the sewn wall into a gapped boundary of the $G\\times G$ (or $G\\times G\\times G$) quantum double, so the wall's action on anyons is read from the anyons condensed on that boundary. Invertibility of the wall is controlled by the type-II part of the 2-cocycle $\\nu=\\omega_1\\eta\\omega_2$: the wall is invertible exactly when $\\eta$ is non-degenerate. For the completeness proof, the canonical decomposition of Clifford unitaries into Hadamard, CNOT, CZ, and permutation gates supplies a normal form for braided autoequivalences of the $\\mathbb{Z}_2^n$ quantum double, which is then matched term-by-term to $G\\times G\\times G$ topological actions.","core_discovery":"The paper's claim is that gauging a lower-dimensional SPT placed on the seam between two bulks produces the same gapped domain walls that were previously found case-by-case, and that in the 2d Abelian quantum double $D(G)$ this procedure is exhaustive for invertible walls. An invertible wall is a braided autoequivalence of the anyon model; the proof shows that every such map, expressed in a canonical form, can be reproduced by a topological action built from background gauge fields for three copies of $G$, and then constructs the SPT-sewn wall whose folded boundary condenses exactly the corresponding anyons. For non-Abelian $G$, the paper shows that the standard $G\\times G$ symmetry is insufficient: for $S_3$ the $S_3\\times S_3$ sewn wall is non-invertible, while sewing a 1d SPT with the non-invertible $S_3\\times\\mathrm{Rep}(S_3)\\times S_3$ symmetry yields the trivial wall and the invertible wall exchanging the $C$ and $F$ anyons. In three dimensions, gauging 2d SPTs embedded in the trivial $\\mathbb{Z}_2$ product state produces the type-I double-semion wall and the type-II and type-III anchoring walls; on the latter, point charges pass through and re-emerge as semi-loops of magnetic flux anchored on the wall, with Abelian anyons in type-II and non-Abelian anyons in type-III.","pith_inferences":["If Theorem 1 extends as conjectured, invertible domain walls in every finite-group quantum double would be generated by a single canonical symmetry, $G\\times\\mathrm{Rep}(G)\\times G$; a natural test is to compute the wall group of the $D_4$ or $A_4$ quantum double and compare it with the SPT-sewing output.","Anchoring walls suggest a new kind of defect resource: a wall that converts point-like logical operators into loop-like operators could mediate between quantum error-correcting codes with different error models, and its energy barrier deserves testing as an ingredient for self-correcting quantum memories.","The same sewing idea can be applied to string-net or Walker-Wang bulks by choosing the seam SPT from the appropriate generalized symmetry, with the 3d construction here serving as the first concrete pattern.","The non-Abelian conjecture could be made numerically falsifiable by checking whether every braided autoequivalence of the $S_3$ quantum double, not just the two constructed walls, is realized by some $S_3\\times\\mathrm{Rep}(S_3)\\times S_3$ SPT."],"forward_implications":["In any 2d Abelian quantum double, the classification of invertible domain walls reduces to writing down $G\\times G\\times G$ topological actions, so every braided autoequivalence of the anyons is realized by some choice of cocycle.","The $S_3$ construction produces the $C\\leftrightarrow F$ wall even though $H^2(S_3,U(1))$ is trivial, showing that non-invertible symmetry is essential for some invertible walls of non-Abelian models.","The 3d toric code has gapped domain walls that convert point charges into anchored semi-loops; type-II walls host an Abelian anyon model and type-III walls host a non-Abelian anyon model.","Because gauging can be implemented with constant-depth adaptive circuits for solvable groups, the domain walls built by SPT-sewing are expected to be preparable in constant depth on quantum hardware.","Anchoring walls generalize electric-magnetic exchange to three dimensions and are not captured by the Lagrangian-subgroup classification of boundaries."],"supporting_citations":[{"why":"Defines the quantum double model that is the bulk theory throughout the paper.","marker":"[1]"},{"why":"Supplies the classification of domain walls in quantum doubles with boundary, which Theorem 2 leans on.","marker":"[7]"},{"why":"Introduces the prior gauged-SPT defect construction that SPT-sewing is contrasted with and extends.","marker":"[49]"},{"why":"Provides the gauging map and SPT fixed-point wavefunction construction used to obtain ground states and boundaries.","marker":"[61]"},{"why":"Supplies the twisted quantum double anyon content and projective representations used in the type-II and type-III domain walls.","marker":"[70]"},{"why":"Provides the canonical form of Clifford unitaries used in the proof of Lemma 2.","marker":"[72]"},{"why":"Establishes the group cohomology classification of SPT phases and the SPT entangler construction used throughout.","marker":"[87]"},{"why":"Supplies the double-semion SPT that identifies the type-I domain wall in the 3d toric code.","marker":"[89]"},{"why":"Gives the equivalence between the $\\mathbb{Z}_2\\times\\mathbb{Z}_2$ twisted quantum double and the $\\mathbb{Z}_4$ quantum double used to identify type-II wall anyons.","marker":"[92]"}],"fun_headline_variants":["SPT-sewing exhausts invertible walls in Abelian doubles","Gauged SPTs source every invertible wall in Abelian doubles","Sew SPTs to realize all invertible walls in 2D quantum doubles","One SPT-sewing recipe gives all invertible walls in Abelian doubles","Anchoring walls: point charges to semi-loops via SPT sewing"],"cache_read_input_tokens":62464,"weakest_assumption_plain":"The proof that SPT-sewing covers every wall rests on the previously established classification saying all domain walls come from gauging a one-dimensional phase with some unbroken symmetry and cocycle; if that classification is incomplete, the theorem's coverage is incomplete.","fun_headline_variants_meta":{"raw":{"variants":["SPT-sewing exhausts invertible walls in Abelian doubles","Gauged SPTs source every invertible wall in Abelian doubles","Sew SPTs to realize all invertible walls in 2D quantum doubles","One SPT-sewing recipe gives all invertible walls in Abelian doubles","Anchoring walls: point charges to semi-loops via SPT sewing"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001747,"raw_usage":{"total_tokens":6926,"prompt_tokens":998,"completion_tokens":5928,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":614,"completion_tokens_details":{"reasoning_tokens":5827}},"tokens_in":614,"tokens_out":5928,"duration_ms":40534,"temperature":1.0,"reasoning_tokens":5827,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T18:04:12.515955+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Enumerate all braided autoequivalences of the $\\mathbb{Z}_2\\times\\mathbb{Z}_2$ quantum double (there are 72) and write down the $G\\times G\\times G$ topological action for each one; if any of the 72 anyon maps cannot be reproduced by the paper's SPT-sewing formula, Theorem 1 is false.","supporting_citations":[{"cited_title":"× G to a U (1) value 4","cited_arxiv_id":null,"evidence_quote":"Defines the quantum double model that is the bulk theory throughout the paper."},{"cited_title":"Chen, Z.-C","cited_arxiv_id":null,"evidence_quote":"Establishes the group cohomology classification of SPT phases and the SPT entangler construction used throughout."},{"cited_title":"Levin and Z.-C","cited_arxiv_id":null,"evidence_quote":"Supplies the double-semion SPT that identifies the type-I domain wall in the 3d toric code."},{"cited_title":"Hu and Y","cited_arxiv_id":null,"evidence_quote":"Gives the equivalence between the $\\mathbb{Z}_2\\times\\mathbb{Z}_2$ twisted quantum double and the $\\mathbb{Z}_4$ quantum double used to identify type-II wall anyons."}],"review_version":1}