Recognition: 2 theorem links
· Lean TheoremA Duality Web for Non-Supersymmetric Strings
Pith reviewed 2026-05-10 17:54 UTC · model grok-4.3
The pith
Distinct Z2 quotients of M-theory on joined circles produce both 0A orientifolds and non-supersymmetric E-type heterotic strings, including the tachyon-free SO(16) x SO(16) model.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We argue that the distinct Z_2 quotients of M-theory on S^1 ∨ S^1 lead to both 0A orientifolds as well as non-supersymmetric 10d heterotic vacua of the E-type, including the tachyon-free SO(16)×SO(16) strings. We identify certain Z_2 quotients of F-theory on (S^1 ∨ S^1)×S^1 with 0B orientifolds (including a tachyon-free model) as well as others dual to non-supersymmetric heterotic strings of the D-type. Using this picture we resolve some puzzles and provide further evidence for the Bergman-Gaberdiel duality between a particular 0B orientifold in 10 dimensions and the Narain compactification of 26-dimensional bosonic strings on a 16-dimensional torus, as well as the DMS conjecture of a 0A ori
What carries the argument
The distinct Z_2 quotients of M-theory on the joined two-circle geometry S^1 ∨ S^1 and of F-theory on that geometry times an extra circle, which map onto the spectra of the listed non-supersymmetric string models.
Load-bearing premise
The recently proposed geometric descriptions of 0A and 0B strings in M-theory and F-theory are valid, and the specific Z2 quotients of the joined-circle geometries precisely reproduce the spectra and consistency conditions of the listed non-supersymmetric string models.
What would settle it
A direct computation of the massless spectrum or tachyon content from the M-theory quotient claimed to give the SO(16)×SO(16) heterotic string that fails to match the known heterotic result would falsify the duality.
read the original abstract
Motivated by the recently proposed geometric descriptions of 0A and 0B in M-theory and F-theory, we propose a web of duality among non-supersymmetric strings. In particular we argue that the distinct $\mathbb{Z}_2$ quotients of M-theory on $S^1\vee S^1$ lead to both 0A orientifolds as well as non-supersymmetric 10d heterotic vacua of the E-type, including the tachyon-free $SO(16)\times SO(16)$ strings. Moreover we identify certain $\mathbb{Z}_2$ quotients of F-theory on $(S^1\vee S^1)\times S^1$ with 0B orientifolds (including a tachyon-free model) as well as others with dual to non-supersymmetric heterotic strings of the D-type. Moreover using this picture we resolve some puzzles and provide further evidence for the Bergman-Gaberdiel duality between a particular 0B orientifold in 10 dimensions and the Narain compactification of 26-dimensional bosonic strings on a 16-dimensional torus, as well as the DMS conjecture of a 0A orientifold duality in 10d with a bosonic string orientifold of a Narain compactification to 10d.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proposes a web of dualities for non-supersymmetric strings, arguing that distinct Z_2 quotients of M-theory on S^1 ∨ S^1 yield both 0A orientifolds and non-supersymmetric 10d heterotic vacua of E-type (including the tachyon-free SO(16)×SO(16) string), while certain Z_2 quotients of F-theory on (S^1 ∨ S^1)×S^1 correspond to 0B orientifolds (including a tachyon-free model) and duals to D-type non-supersymmetric heterotic strings. It further claims this geometric picture resolves puzzles and supplies additional evidence for the Bergman-Gaberdiel duality and the DMS conjecture.
Significance. If the proposed identifications hold, the work would provide a unifying geometric origin for a range of non-supersymmetric 10d string models and strengthen two existing duality conjectures in the literature. This could help organize the landscape of tachyon-free and tachyon-containing vacua, though the impact remains conditional on independent verification of the spectrum matchings.
major comments (3)
- [Abstract] Abstract: the central identifications of Z_2 quotients with specific 0A/0B orientifolds and E/D-type heterotic strings are presented as arguments rather than explicit derivations; no computation of massless spectra, GSO projections, or anomaly cancellation is shown to confirm that the quotients reproduce the known models, including the tachyon-free SO(16)×SO(16) case.
- [Introduction] The proposal relies on the validity of the recently proposed geometric descriptions of 0A and 0B strings in M/F-theory; without an independent check that the joined-circle Z_2 actions produce the precise gauge groups and consistency conditions, the duality web remains circular with respect to the Bergman-Gaberdiel and DMS conjectures it aims to support.
- [Section 5] The claimed resolution of puzzles in the Bergman-Gaberdiel duality (between a 0B orientifold and bosonic string Narain compactification) and the DMS conjecture is not accompanied by explicit partition-function or anomaly-matching calculations that would make the evidence quantitative rather than qualitative.
minor comments (2)
- [Section 2] The notation S^1 ∨ S^1 for the joined-circle geometry should be defined more explicitly on first use, including its relation to the standard S^1 × S^1 torus.
- [Section 4] A table summarizing the Z_2 actions, resulting gauge groups, and presence/absence of tachyons for each model would improve readability and allow direct comparison with known spectra.
Simulated Author's Rebuttal
We thank the referee for their careful reading and constructive comments. We address each major comment point by point below, indicating planned revisions to improve clarity without overstating the results.
read point-by-point responses
-
Referee: [Abstract] Abstract: the central identifications of Z_2 quotients with specific 0A/0B orientifolds and E/D-type heterotic strings are presented as arguments rather than explicit derivations; no computation of massless spectra, GSO projections, or anomaly cancellation is shown to confirm that the quotients reproduce the known models, including the tachyon-free SO(16)×SO(16) case.
Authors: We agree that the identifications are presented as arguments based on the geometric Z_2 quotients of the joined-circle backgrounds rather than through new explicit derivations of spectra, GSO projections, or anomaly cancellation. The manuscript builds directly on the prior geometric descriptions of 0A and 0B strings, selecting quotients that reproduce the known gauge groups, tachyon content, and supersymmetry-breaking patterns of the target models. To address the concern, we will revise the abstract and add a clarifying paragraph in the introduction stating that these are conjectural identifications supported by consistency with established features of the models, while noting that full spectrum computations lie beyond the scope of this work. revision: partial
-
Referee: [Introduction] The proposal relies on the validity of the recently proposed geometric descriptions of 0A and 0B strings in M/F-theory; without an independent check that the joined-circle Z_2 actions produce the precise gauge groups and consistency conditions, the duality web remains circular with respect to the Bergman-Gaberdiel and DMS conjectures it aims to support.
Authors: The referee is correct that the construction relies on the recently proposed geometric descriptions. We do not provide an independent derivation of the gauge groups or consistency conditions from the Z_2 actions on the joined circles within this manuscript. To avoid any implication of circularity, we will revise the introduction to explicitly frame the duality web as a geometric organization that supplies additional consistency evidence and resolves apparent puzzles for the Bergman-Gaberdiel and DMS conjectures, rather than an independent verification of those conjectures. revision: yes
-
Referee: [Section 5] The claimed resolution of puzzles in the Bergman-Gaberdiel duality (between a 0B orientifold and bosonic string Narain compactification) and the DMS conjecture is not accompanied by explicit partition-function or anomaly-matching calculations that would make the evidence quantitative rather than qualitative.
Authors: We agree that the resolutions in Section 5 are qualitative, relying on geometric identifications and consistency of known features rather than explicit partition-function or anomaly-matching calculations. Such quantitative checks are technically demanding and not performed here. We will revise Section 5 to state clearly that the evidence is geometric and qualitative, and to indicate that quantitative verifications remain an open direction for future work. revision: yes
Circularity Check
No circularity: conjectural duality web identifications do not reduce to inputs by construction
full rationale
The paper proposes a web of dualities by identifying Z_2 quotients of M-theory on S^1 ∨ S^1 and F-theory on (S^1 ∨ S^1) × S^1 with 0A/0B orientifolds and non-supersymmetric heterotic strings, motivated by prior geometric descriptions. The abstract and described chain present these as arguments and evidence for existing conjectures (Bergman-Gaberdiel, DMS), with matching of spectra, GSO projections, and anomaly cancellation as the content. No quoted step exhibits a specific reduction where a claimed result (e.g., a spectrum or duality) equals its input by definition, self-citation load-bearing without external support, or a fitted parameter relabeled as prediction. The reliance on prior geometric proposals is explicit motivation rather than a closed loop that forces the output; the paper remains a self-contained conjecture against external string model benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption M-theory and F-theory admit geometric descriptions of 0A and 0B strings
- domain assumption Z2 quotients of the joined-circle geometries correspond to orientifold and heterotic string vacua
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
distinct Z2 quotients of M-theory on S¹∨S¹ lead to 0A orientifolds as well as non-supersymmetric 10d heterotic vacua of the E-type, including the tachyon-free SO(16)×SO(16) strings
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
web of duality among non-supersymmetric strings... tachyon condensation... anomaly cancellation
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Forward citations
Cited by 2 Pith papers
-
Heterotic Ouroboros
M-theory on S1 vee S1 with quotients and type I' mechanisms reproduces the light spectra and gauge groups of 10D heterotic theories, with evidence for junctions among them.
-
Heterotic Ouroboros
A consistent set of rules from M-theory on S¹ ∨ S¹ combined with type I' enhancements reproduces the light spectra, gauge groups, and global structure of ten-dimensional heterotic string theories, with indications of ...
Reference graph
Works this paper leans on
-
[1]
A Non-Supersymmetric Open String Theory and S-Duality
O. Bergman and M. R. Gaberdiel,A Nonsupersymmetric open string theory and S duality, Nucl. Phys. B499(1997) 183 [hep-th/9701137]
work page Pith review arXiv 1997
-
[2]
J. D. Blum and K. R. Dienes,Duality without supersymmetry: The Case of the SO(16) x SO(16) string,Phys. Lett. B414(1997) 260 [hep-th/9707148]
work page Pith review arXiv 1997
-
[3]
J. D. Blum and K. R. Dienes,Strong / weak coupling duality relations for nonsupersymmetric string theories,Nucl. Phys. B516(1998) 83 [hep-th/9707160]. – 31 –
work page Pith review arXiv 1998
-
[4]
Supersymmetry breaking, open strings and M theory,
I. Antoniadis, E. Dudas and A. Sagnotti,Supersymmetry breaking, open strings and M theory,Nucl. Phys. B544(1999) 469 [hep-th/9807011]
-
[5]
S. Kachru and E. Silverstein,Selfdual nonsupersymmetric type II string compactifications, JHEP11(1998) 001 [hep-th/9808056]
-
[6]
A Note on Orientifolds and Dualities of Type 0B String Theory
R. Blumenhagen and A. Kumar,A Note on orientifolds and dualities of type 0B string theory,Phys. Lett. B464(1999) 46 [hep-th/9906234]
work page Pith review arXiv 1999
-
[7]
O. Bergman and M. R. Gaberdiel,Dualities of type 0 strings,JHEP07(1999) 022 [hep-th/9906055]
work page Pith review arXiv 1999
-
[8]
Casimir Effect Between World-Branes in Heterotic M-Theory
M. Fabinger and P. Horava,Casimir effect between world branes in heterotic M theory,Nucl. Phys. B580(2000) 243 [hep-th/0002073]
work page Pith review arXiv 2000
-
[9]
Charged and Uncharged D-branes in various String Theories
E. Dudas, J. Mourad and A. Sagnotti,Charged and uncharged D-branes in various string theories,Nucl. Phys. B620(2002) 109 [hep-th/0107081]
work page Pith review arXiv 2002
- [10]
-
[11]
On the Landscape of Superstring Theory in D > 10
S. Hellerman,On the landscape of superstring theory in D>10,hep-th/0405041
work page internal anchor Pith review arXiv
-
[12]
C. Angelantonj and E. Dudas,Metastable string vacua,Phys. Lett. B651(2007) 239 [0704.2553]
work page Pith review arXiv 2007
- [13]
- [14]
-
[15]
G. Bossard, G. Casagrande and E. Dudas,Twisted orientifold planes and S-duality without supersymmetry,JHEP02(2025) 062 [2411.00955]
-
[16]
Symmetries and dualities in non-supersymmetric CHL strings,
B. Fraiman and H. Parra de Freitas,Symmetries and dualities in non-supersymmetric CHL strings,2511.01674
-
[17]
C. Angelantonj and A. Sagnotti,Open strings,Phys. Rept.371(2002) 1 [hep-th/0204089]
work page Pith review arXiv 2002
-
[18]
An Update on Brane Supersymmetry Breaking
J. Mourad and A. Sagnotti,An Update on Brane Supersymmetry Breaking,1711.11494
-
[19]
C. Angelantonj and I. Florakis,A Lightning Introduction to String Theory, (2024), 2406.09508, DOI
-
[20]
Aspects of strings without spacetime supersymmetry
G. Leone and S. Raucci,Aspects of strings without spacetime supersymmetry,2509.24703
work page internal anchor Pith review Pith/arXiv arXiv
-
[21]
Supersymmetry breaking with fields, strings and branes,
E. Dudas, J. Mourad and A. Sagnotti,Supersymmetry breaking with fields, strings and branes,Phys. Rept.1175(2026) 1 [2511.04367]
-
[22]
C. Angelantonj, M. Cardella and N. Irges,An Alternative for Moduli Stabilisation,Phys. Lett. B641(2006) 474 [hep-th/0608022]
- [23]
-
[24]
Brane annihilation in non-supersymmetric strings,
R. Antonelli and I. Basile,Brane annihilation in non-supersymmetric strings,JHEP11 (2019) 021 [1908.04352]
-
[25]
Supersymmetry breaking and stability in string vacua: Brane dynamics, bubbles and the swampland,
I. Basile,Supersymmetry breaking and stability in string vacua: Brane dynamics, bubbles and the swampland,Riv. Nuovo Cim.44(2021) 499 [2107.02814]. – 32 –
-
[26]
J. Mourad and A. Sagnotti,On warped string vacuum profiles and cosmologies. Part II. Non-supersymmetric strings,JHEP12(2021) 138 [2109.12328]
-
[27]
Raucci,On new vacua of non-supersymmetric strings,Phys
S. Raucci,On new vacua of non-supersymmetric strings,Phys. Lett. B837(2023) 137663 [2209.06537]
- [28]
- [29]
-
[30]
Open strings and their symmetry groups
A. Sagnotti,Open Strings and their Symmetry Groups, inNATO Advanced Summer Institute on Nonperturbative Quantum Field Theory (Cargese Summer Institute), 9, 1987, hep-th/0208020
work page internal anchor Pith review arXiv 1987
-
[31]
Dimension-changing exact solutions of string theory
S. Hellerman and I. Swanson,Dimension-changing exact solutions of string theory,JHEP09 (2007) 096 [hep-th/0612051]
work page Pith review arXiv 2007
-
[32]
Cosmological solutions of supercritical string theory
S. Hellerman and I. Swanson,Cosmological solutions of supercritical string theory,Phys. Rev. D77(2008) 126011 [hep-th/0611317]
work page Pith review arXiv 2008
-
[33]
Charting the landscape of supercritical string theory
S. Hellerman and I. Swanson,Charting the landscape of supercritical string theory,Phys. Rev. Lett.99(2007) 171601 [0705.0980]
work page Pith review arXiv 2007
-
[34]
Stable Vacua for Tachyonic Strings,
J. Kaidi,Stable Vacua for Tachyonic Strings,Phys. Rev. D103(2021) 106026 [2010.10521]
- [35]
-
[36]
The Art of Branching: Cobordism Junctions of 10d String Theories
C. Altavista, E. Anastasi, R. Angius and A. M. Uranga,The Art of Branching: Cobordism Junctions of 10d String Theories,2603.24667
work page internal anchor Pith review Pith/arXiv arXiv
-
[37]
E. Anastasi, M. Montero, A. M. Uranga and C. Wang,What IIB looks IIA string: String Cobordisms via Non-Compact CFTs,2603.00225
- [38]
-
[39]
Alvarez-Gaume, P
L. Alvarez-Gaume, P. H. Ginsparg, G. W. Moore and C. Vafa,An O(16)×O(16) Heterotic String,Phys. Lett. B171(1986) 155
1986
-
[40]
L. J. Dixon and J. A. Harvey,String Theories in Ten-Dimensions Without Space-Time Supersymmetry,Nucl. Phys. B274(1986) 93
1986
-
[41]
Some Properties of Open - String Theories
A. Sagnotti,Some properties of open string theories, inInternational Workshop on Supersymmetry and Unification of Fundamental Interactions (SUSY 95), pp. 473–484, 9, 1995,hep-th/9509080
work page internal anchor Pith review arXiv 1995
-
[42]
Ho\v{r}ava-Witten theory on ${\mathbf{S}}^1\vee{\mathbf{S}}^1$ as type 0 orientifold
C. Altavista, E. Anastasi, S. Raucci, A. M. Uranga and C. Wang,Hoˇ rava-Witten theory on S1 ∨S 1 as type 0 orientifold,2603.25786
work page internal anchor Pith review Pith/arXiv arXiv
-
[43]
Bianchi and A
M. Bianchi and A. Sagnotti,On the systematics of open string theories,Phys. Lett. B247 (1990) 517
1990
-
[44]
L. Houart and Y. Lozano,Brane descent relations in M theory,Phys. Lett. B479(2000) 299 [hep-th/0001170]
-
[45]
Alvarez-Gaume and P
L. Alvarez-Gaume and P. H. Ginsparg,The Structure of Gauge and Gravitational Anomalies, Annals Phys.161(1985) 423. – 33 –
1985
- [46]
-
[47]
Heterotic and Type I String Dynamics from Eleven Dimensions
P. Horava and E. Witten,Heterotic and Type I string dynamics from eleven dimensions, Nucl. Phys. B460(1996) 506 [hep-th/9510209]
work page Pith review arXiv 1996
-
[48]
Eleven-Dimensional Supergravity on a Manifold with Boundary
P. Horava and E. Witten,Eleven-dimensional supergravity on a manifold with boundary, Nucl. Phys. B475(1996) 94 [hep-th/9603142]
work page Pith review arXiv 1996
-
[49]
M-theory boundaries beyond supersymmetry,
M. Montero and L. Zapata,M-theory boundaries beyond supersymmetry,JHEP07(2025) 090 [2504.06985]
-
[50]
Evidence for Heterotic - Type I String Duality
J. Polchinski and E. Witten,Evidence for heterotic - type I string duality,Nucl. Phys. B460 (1996) 525 [hep-th/9510169]
work page Pith review arXiv 1996
-
[51]
P. H. Ginsparg and C. Vafa,Toroidal Compactification of Nonsupersymmetric Heterotic Strings,Nucl. Phys. B289(1987) 414
1987
- [52]
- [53]
- [54]
-
[55]
Comments on String Dynamics in Six Dimensions
N. Seiberg and E. Witten,Comments on string dynamics in six-dimensions,Nucl. Phys. B 471(1996) 121 [hep-th/9603003]
work page Pith review arXiv 1996
-
[56]
O. J. Ganor and A. Hanany,Small E(8) instantons and tensionless noncritical strings,Nucl. Phys. B474(1996) 122 [hep-th/9602120]
work page Pith review arXiv 1996
- [57]
- [58]
-
[59]
E. Witten,D-branes and K-theory,JHEP12(1998) 019 [hep-th/9810188]
-
[60]
Michishita,D0-branes in SO(32) x SO(32) open type 0 string theory,Phys
Y. Michishita,D0-branes in SO(32) x SO(32) open type 0 string theory,Phys. Lett. B466 (1999) 161 [hep-th/9907094]
-
[61]
Anomaly Cancellations in the Type I D9-anti-D9 System and the USp(32) String Theory
S. Sugimoto,Anomaly cancellations in type I D-9 - anti-D-9 system and the USp(32) string theory,Prog. Theor. Phys.102(1999) 685 [hep-th/9905159]. – 34 –
work page Pith review arXiv 1999
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.