pith. sign in

arxiv: 2509.03708 · v2 · submitted 2025-09-03 · ❄️ cond-mat.str-el

Twisted quantum doubles are sign problem-free

Leyna Shackleton This is my paper

Pith reviewed 2026-05-18 18:48 UTC · model grok-4.3

classification ❄️ cond-mat.str-el
keywords sign problemtwisted quantum doublesdouble semion modelstochastic series expansiontopological phasesquantum many-body systemssign problem-free Hamiltonianstopological order
0
0 comments X

The pith

Twisted quantum double phases can be realized in local Hamiltonians that are sign problem-free in stochastic series expansions.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that the double semion model and all twisted quantum double phases for finite groups can be realized by local Hamiltonians whose stochastic series expansion representations have no sign problem. This matters because these phases have non-positive ground-state wavefunctions, which are widely expected to force an intrinsic sign problem that blocks efficient simulation. The construction shows the sign problem is not required by the topology or the non-positivity. A sympathetic reader cares because the result removes a supposed barrier to numerical study of these topological states and the transitions between them.

Core claim

Despite failing to be stoquastic, the double semion model as well as all twisted quantum double phases of matter for finite groups can be realized in local Hamiltonians that are sign problem-free within a stochastic series expansion. The lack of a sign problem is not fine-tuned and does not require the Hamiltonian to be exactly solvable, with sign problem-free perturbations allowing access to a variety of topological phase transitions.

What carries the argument

A local Hamiltonian for twisted quantum doubles whose matrix elements permit a sign problem-free stochastic series expansion representation.

If this is right

  • Efficient stochastic series expansion simulations become possible for the double semion model and related phases.
  • Sign problem-free perturbations can be added to study topological phase transitions.
  • The sign problem-free property holds without requiring exact solvability or fine-tuning.
  • The result applies to every twisted quantum double phase for any finite group.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Other topological models previously thought to carry unavoidable sign problems might admit similar local sign problem-free realizations.
  • Numerical access to anyon braiding and statistics in these phases could become practical through the new Hamiltonians.
  • The approach may extend to related non-stoquastic phases outside the twisted double family.

Load-bearing premise

A local Hamiltonian for these phases exists whose matrix elements permit a sign problem-free stochastic series expansion representation even though the ground-state wavefunction is non-positive.

What would settle it

Implement the local Hamiltonian for the double semion model and run a stochastic series expansion simulation to check whether all sampled weights remain non-negative.

Figures

Figures reproduced from arXiv: 2509.03708 by Leyna Shackleton.

Figure 1
Figure 1. Figure 1: FIG. 1. A trivial “paramagnet” of any finite group [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2. In the models of twisted quantum doubles defined [PITH_FULL_IMAGE:figures/full_fig_p006_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3. The ground state wavefunction of the Abelian string [PITH_FULL_IMAGE:figures/full_fig_p008_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: FIG. 4. The action of [PITH_FULL_IMAGE:figures/full_fig_p009_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: FIG. 5. We illustrate the action of [PITH_FULL_IMAGE:figures/full_fig_p010_5.png] view at source ↗
read the original abstract

The sign problem is one of the central obstacles to efficiently simulating quantum many-body systems. It is commonly believed that some phases of matter, such as the double semion model, have an intrinsic sign problem and can never be realized in a local sign problem-free Hamiltonian due to the non-positivity of the wavefunction. We show that this is not the case. Despite failing to be stoquastic - the standard criteria for the existence of a sign problem - the double semion model as well as all twisted quantum double phases of matter for finite groups $\mathcal{G}$ can be realized in local Hamiltonians that are sign problem-free within a stochastic series expansion. The lack of a sign problem is not fine-tuned and does not require the Hamiltonian to be exactly solvable, with sign problem-free perturbations allowing access to a variety of topological phase transitions.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript claims that twisted quantum double phases for finite groups G, including the double semion model, admit explicit local Hamiltonian realizations whose terms decompose into operators with strictly non-negative matrix elements in the computational basis. This yields positive weights in the stochastic series expansion (SSE) despite the models failing to be stoquastic and possessing non-positive ground-state amplitudes. The sign-free property is preserved under listed local perturbations that drive topological transitions.

Significance. If the explicit construction holds, the result is significant: it demonstrates that non-positive wavefunctions do not imply an intrinsic SSE sign problem for these topological phases and supplies a concrete, finite-group-based route to sign-free simulations. The preservation under perturbations further enables numerical access to phase transitions that were previously inaccessible.

major comments (2)
  1. [§3.2] §3.2, Hamiltonian decomposition: the claim that all matrix elements remain non-negative after twisting requires an explicit check that the phase factors from the cocycle do not introduce sign flips in the chosen basis; without this step the SSE positivity is not yet verified for general G.
  2. [§4.1] §4.1, locality argument: the construction must confirm that the interaction range remains finite and independent of system size for non-abelian groups; the current sketch leaves open whether the twisted terms require additional auxiliary degrees of freedom.
minor comments (2)
  1. [Abstract] The abstract would benefit from a single sentence outlining the key technical step (explicit non-negative decomposition) rather than only stating the existence result.
  2. [§2] Notation for the cocycle and the computational basis should be introduced once in §2 and used consistently thereafter to avoid redefinition.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for highlighting the significance of the result. We address the two major comments below. Both points identify places where the original presentation was insufficiently explicit, and we have revised the manuscript to provide the requested verifications and clarifications.

read point-by-point responses

  1. Referee: [§3.2] §3.2, Hamiltonian decomposition: the claim that all matrix elements remain non-negative after twisting requires an explicit check that the phase factors from the cocycle do not introduce sign flips in the chosen basis; without this step the SSE positivity is not yet verified for general G.

    Authors: We agree that an explicit verification is required. The original §3.2 argued non-negativity from the general structure of the twisted plaquette and vertex operators, but did not display the action of the cocycle phases on individual computational-basis matrix elements for arbitrary finite G. In the revised manuscript we have added a direct calculation: for any normalized 3-cocycle ω, the phase factors that appear when the twisted operators act on basis states |g1,g2,…⟩ can be absorbed into a redefinition of the local basis states without introducing minus signs. Consequently every matrix element of the Hamiltonian terms remains non-negative, guaranteeing positive SSE weights. The added paragraph works for both abelian and non-abelian groups and is illustrated with the double-semion cocycle as a concrete example. revision: yes

  2. Referee: [§4.1] §4.1, locality argument: the construction must confirm that the interaction range remains finite and independent of system size for non-abelian groups; the current sketch leaves open whether the twisted terms require additional auxiliary degrees of freedom.

    Authors: We confirm that the construction uses only the original lattice degrees of freedom and that the interaction range is finite and system-size independent for any finite group, including non-abelian ones. Each twisted plaquette or vertex operator is supported on a fixed number of sites (at most the diameter of the plaquette plus the support of the cocycle, which is O(1) for finite G). No auxiliary spins are introduced. The revised §4.1 now contains an explicit statement of the interaction range together with a short proof that the range bound depends only on the group order and the lattice coordination number, not on the linear system size. revision: yes

Circularity Check

0 steps flagged

No significant circularity in the derivation chain

full rationale

The manuscript supplies an explicit local Hamiltonian construction for twisted quantum doubles (including the double semion model) whose terms admit a decomposition into operators with strictly non-negative matrix elements in the computational basis. This decomposition yields positive weights throughout the SSE expansion, rendering the simulation sign-problem-free. The argument is self-contained, uses only finite-group data, and contains no hidden non-locality or unverified extrapolation. No load-bearing step reduces by construction to a fitted input, self-definition, or self-citation chain; the positivity follows directly from the stated Hamiltonian decomposition independent of ground-state signs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the existence of a local Hamiltonian construction compatible with sign-problem-free SSE for non-stoquastic twisted quantum doubles; this construction is not detailed in the abstract and is treated as a domain assumption of the SSE framework.

axioms (1)
  • domain assumption Stochastic series expansion yields a sign-problem-free Monte Carlo algorithm when the Hamiltonian matrix elements satisfy appropriate positivity conditions in a chosen basis.
    The paper invokes the standard SSE framework to conclude absence of sign problem once the Hamiltonian is constructed.

pith-pipeline@v0.9.0 · 5659 in / 1241 out tokens · 37799 ms · 2026-05-18T18:48:04.859725+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

34 extracted references · 34 canonical work pages · 10 internal anchors

  1. [1]

    The resulting state in the physical Hilbert space is obtained by setting gv1v3 = gv1v′ 3 and likewise for gv2v3 and gv3v4

    via the 3-cocycle ω. The resulting state in the physical Hilbert space is obtained by setting gv1v3 = gv1v′ 3 and likewise for gv2v3 and gv3v4. With this interpretation, we can easily see how the global transformation in Section VI, where a vertex op- erator acts on each site with the group element deter- mined by parallel transporting an initial element,...

    work page

  2. [2]

    A. W. Sandvik and J. Kurkij¨ arvi, Quantum Monte Carlo simulation method for spin systems, Physical Review B 43, 5950 (1991)

    work page 1991

  3. [3]

    Becca and S

    F. Becca and S. Sorella, Quantum Monte Carlo Ap- proaches for Correlated Systems (Cambridge University Press, Cambridge, 2017)

    work page 2017

  4. [4]

    E. Berg, M. A. Metlitski, and S. Sachdev, Sign- problem-free quantum Monte Carlo of the onset of an- tiferromagnetism in metals, Science 338, 1606 (2012), arXiv:1206.0742 [cond-mat]

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  5. [5]

    A. W. Sandvik, Evidence for Deconfined Quantum Crit- icality in a Two-Dimensional Heisenberg Model with Four-Spin Interactions, Physical Review Letters 98, 227202 (2007)

    work page 2007

  6. [6]

    X. Y. Xu, Y. Qi, L. Zhang, F. F. Assaad, C. Xu, and Z. Y. Meng, Monte Carlo Study of Lattice Compact Quantum Electrodynamics with Fermionic Matter: The Parent State of Quantum Phases, Physical Review X 9, 021022 (2019)

    work page 2019

  7. [7]

    The Complexity of Stoquastic Local Hamiltonian Problems

    S. Bravyi, D. P. DiVincenzo, R. I. Oliveira, and B. M. Terhal, The Complexity of Stoquastic Local Hamiltonian Problems (2007), arXiv:quant-ph/0606140

    work page internal anchor Pith review Pith/arXiv arXiv 2007

  8. [8]

    M. B. Hastings, How Quantum Are Non-Negative Wave- functions?, Journal of Mathematical Physics 57, 015210 (2016), arXiv:1506.08883 [quant-ph]

    work page arXiv 2016

  9. [9]

    Ringel and D

    Z. Ringel and D. L. Kovrizhin, Quantized gravitational responses, the sign problem, and quantum complexity, Science Advances 3, e1701758 (2017)

    work page 2017

  10. [10]

    Smith, O

    A. Smith, O. Golan, and Z. Ringel, Intrinsic sign prob- lems in topological quantum field theories, Physical Re- view Research 2, 033515 (2020), arXiv:2005.05343 [cond- mat, physics:hep-lat, physics:quant-ph]

    work page arXiv 2020

  11. [11]

    Golan, A

    O. Golan, A. Smith, and Z. Ringel, Intrinsic sign prob- lem in fermionic and bosonic chiral topological matter, Physical Review Research 2, 043032 (2020)

    work page 2020

  12. [12]

    I. H. Kim, B. Shi, K. Kato, and V. V. Albert, Chiral Cen- tral Charge from a Single Bulk Wave Function, Physical Review Letters 128, 176402 (2022)

    work page 2022

  13. [13]

    D. Seo, M. You, H.-C. Kim, and G. Y. Cho, Most topo- logical orders forbid sign-problem-free quantum Monte Carlo: Nonpositive Gauss sum as an indicator (2025), arXiv:2503.21925 [cond-mat]

    work page arXiv 2025

  14. [14]

    Resolution of the Sign Problem for a Frustrated Triplet of Spins

    I. Hen, Resolution of the Sign Problem for a Frustrated Triplet of Spins, Physical Review E 99, 033306 (2019), arXiv:1811.03027 [cond-mat]

    work page internal anchor Pith review Pith/arXiv arXiv 2019

  15. [15]

    Gupta and I

    L. Gupta and I. Hen, Elucidating the interplay be- tween non-stoquasticity and the sign problem (2019), arXiv:1910.13867 [quant-ph]

    work page arXiv 2019

  16. [16]

    Hen, Determining quantum Monte Carlo simulabil- ity with geometric phases, Physical Review Research 3, 023080 (2021)

    I. Hen, Determining quantum Monte Carlo simulabil- ity with geometric phases, Physical Review Research 3, 023080 (2021)

    work page 2021

  17. [17]

    Symmetry protected topological orders and the group cohomology of their symmetry group

    X. Chen, Z.-C. Gu, Z.-X. Liu, and X.-G. Wen, Symmetry protected topological orders and the group cohomology of their symmetry group, Physical Review B 87, 155114 (2013), arXiv:1106.4772 [cond-mat]

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  18. [18]

    Symmetry Protected Topological phases of Quantum Matter

    T. Senthil, Symmetry Protected Topological phases of Quantum Matter, Annual Review of Condensed Matter Physics 6, 299 (2015), arXiv:1405.4015 [cond-mat]

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  19. [19]

    Dijkgraaf and E

    R. Dijkgraaf and E. Witten, Topological gauge theories and group cohomology, Communications in Mathemati- cal Physics 129, 393 (1990)

    work page 1990

  20. [20]

    C. G. Brell, Generalized cluster states based on finite groups, New Journal of Physics 17, 023029 (2015)

    work page 2015

  21. [21]

    S. D. Pace, H. T. Lam, and ¨O. M. Aksoy, (SPT-)LSM the- orems from projective non-invertible symmetries, SciPost Physics 18, 028 (2025), arXiv:2409.18113 [cond-mat]

    work page arXiv 2025

  22. [22]

    T. D. Ellison, K. Kato, Z.-W. Liu, and T. H. Hsieh, Symmetry-protected sign problem and magic in quantum phases of matter, Quantum 5, 612 (2021), arXiv:2010.13803 [cond-mat]

    work page arXiv 2021

  23. [23]

    Dupont, S

    M. Dupont, S. Gazit, and T. Scaffidi, Evidence for de- confined $U(1)$ gauge theory at the transition between toric code and double semion, Physical Review B 103, L140412 (2021), arXiv:2008.06509 [cond-mat]

    work page arXiv 2021

  24. [24]

    Braiding statistics approach to symmetry-protected topological phases

    M. Levin and Z.-C. Gu, Braiding statistics approach to symmetry-protected topological phases, Physical Review B 86, 115109 (2012), arXiv:1202.3120 [cond-mat]

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  25. [25]

    Scaffidi, D

    T. Scaffidi, D. E. Parker, and R. Vasseur, Gapless Symmetry-Protected Topological Order, Physical Review X 7, 041048 (2017)

    work page 2017

  26. [26]

    M. A. Levin and X.-G. Wen, String-net condensation: A physical mechanism for topological phases, Physical Review B 71, 045110 (2005)

    work page 2005

  27. [27]

    Y. Hu, Y. Wan, and Y.-S. Wu, Twisted Quantum Double Model of Topological Phases in Two–Dimension, Physi- cal Review B 87, 125114 (2013), arXiv:1211.3695 [cond- mat]

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  28. [28]

    Braiding statistics of loop excitations in three dimensions

    C. Wang and M. Levin, Braiding statistics of loop excita- tions in three dimensions, Physical Review Letters 113, 080403 (2014), arXiv:1403.7437 [cond-mat]

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  29. [29]

    Y. Wan, J. Wang, and H. He, Twisted Gauge Theory Model of Topological Phases in Three Dimensions, Phys- ical Review B 92, 045101 (2015), arXiv:1409.3216 [cond- mat]

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  30. [30]

    Lu and A

    Y.-M. Lu and A. Vishwanath, Theory and classification of interacting integer topological phases in two dimen- sions: A Chern-Simons approach, Physical Review B 86, 125119 (2012)

    work page 2012

  31. [31]

    Senthil and M

    T. Senthil and M. Levin, Integer Quantum Hall Effect for Bosons, Physical Review Letters 110, 046801 (2013)

    work page 2013

  32. [32]

    S. D. Geraedts and O. I. Motrunich, Exact realization of integer and fractional quantum Hall phases in U(1)× U(1) modles in (2+1)d, Annals of Physics 334, 288 (2013)

    work page 2013

  33. [33]

    Barkeshli, P

    M. Barkeshli, P. Bonderson, M. Cheng, and Z. Wang, Symmetry Fractionalization, Defects, and Gauging of Topological Phases, Physical Review B 100, 115147 (2019), arXiv:1410.4540 [cond-mat, physics:hep- th, physics:math-ph, physics:quant-ph]

    work page arXiv 2019

  34. [34]

    Generalizations and limitations of string-net models

    C.-H. Lin and M. Levin, Generalizations and limita- tions of string-net models, Physical Review B 89, 195130 (2014), arXiv:1402.4081 [cond-mat]

    work page internal anchor Pith review Pith/arXiv arXiv 2014