pith. machine review for the scientific record. sign in

arxiv: 2604.07433 · v1 · submitted 2026-04-08 · ✦ hep-th

Recognition: 2 theorem links

· Lean Theorem

A Duality Web for Non-Supersymmetric Strings

Authors on Pith no claims yet

Pith reviewed 2026-05-10 17:54 UTC · model grok-4.3

classification ✦ hep-th
keywords non-supersymmetric strings0A orientifolds0B orientifoldsheterotic stringsM-theory dualitiesF-theoryZ2 quotientsstring dualities
0
0 comments X

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.

The paper establishes a duality web connecting various non-supersymmetric string theories in ten dimensions through geometric constructions in M-theory and F-theory. It shows that different Z2 quotients of M-theory on two circles joined at a point yield both 0A orientifolds and E-type heterotic strings, including the tachyon-free SO(16) x SO(16) model. Similar quotients in F-theory connect 0B orientifolds to D-type heterotic strings. This framework also bolsters conjectures linking these models to compactifications of bosonic strings. A sympathetic reader would care because it unifies disparate models under a common geometric origin, potentially clarifying their stability and spectra.

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.

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

3 major / 2 minor

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)
  1. [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.
  2. [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.
  3. [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)
  1. [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.
  2. [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

3 responses · 0 unresolved

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
  1. 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

  2. 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

  3. 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

0 steps flagged

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

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the assumption that M-theory and F-theory compactifications on the specified geometries with Z2 quotients reproduce the known non-supersymmetric string spectra; no free parameters are introduced in the abstract, but the construction inherits all standard string theory consistency conditions and the validity of the motivating geometric descriptions.

axioms (2)
  • domain assumption M-theory and F-theory admit geometric descriptions of 0A and 0B strings
    Explicitly stated as motivation in the abstract
  • domain assumption Z2 quotients of the joined-circle geometries correspond to orientifold and heterotic string vacua
    Central identification argued in the abstract

pith-pipeline@v0.9.0 · 5546 in / 1657 out tokens · 39006 ms · 2026-05-10T17:54:32.618623+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Heterotic Ouroboros

    hep-th 2026-04 unverdicted novelty 5.0

    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.

  2. Heterotic Ouroboros

    hep-th 2026-04 unverdicted novelty 5.0

    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

61 extracted references · 56 canonical work pages · cited by 1 Pith paper · 6 internal anchors

  1. [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]

  2. [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]

  3. [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 –

  4. [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. [5]

    Kachru and E

    S. Kachru and E. Silverstein,Selfdual nonsupersymmetric type II string compactifications, JHEP11(1998) 001 [hep-th/9808056]

  6. [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]

  7. [7]

    Dualities of Type 0 Strings

    O. Bergman and M. R. Gaberdiel,Dualities of type 0 strings,JHEP07(1999) 022 [hep-th/9906055]

  8. [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]

  9. [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]

  10. [10]

    Dudas, G

    E. Dudas, G. Pradisi, M. Nicolosi and A. Sagnotti,On tadpoles and vacuum redefinitions in string theory,Nucl. Phys. B708(2005) 3 [hep-th/0410101]

  11. [11]

    On the Landscape of Superstring Theory in D > 10

    S. Hellerman,On the landscape of superstring theory in D>10,hep-th/0405041

  12. [12]

    Metastable String Vacua

    C. Angelantonj and E. Dudas,Metastable string vacua,Phys. Lett. B651(2007) 239 [0704.2553]

  13. [13]

    A. E. Faraggi and M. Tsulaia,On the Low Energy Spectra of the Nonsupersymmetric Heterotic String Theories,Eur. Phys. J. C54(2008) 495 [0706.1649]

  14. [14]

    B. S. Acharya, G. Aldazabal, A. Font, K. Narain and I. G. Zadeh,Heterotic strings on T 3/Z2, Nikulin involutions and M-theory,JHEP09(2022) 209 [2205.09764]

  15. [15]

    Bossard, G

    G. Bossard, G. Casagrande and E. Dudas,Twisted orientifold planes and S-duality without supersymmetry,JHEP02(2025) 062 [2411.00955]

  16. [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. [17]

    Open Strings

    C. Angelantonj and A. Sagnotti,Open strings,Phys. Rept.371(2002) 1 [hep-th/0204089]

  18. [18]

    An Update on Brane Supersymmetry Breaking

    J. Mourad and A. Sagnotti,An Update on Brane Supersymmetry Breaking,1711.11494

  19. [19]

    Angelantonj and I

    C. Angelantonj and I. Florakis,A Lightning Introduction to String Theory, (2024), 2406.09508, DOI

  20. [20]

    Aspects of strings without spacetime supersymmetry

    G. Leone and S. Raucci,Aspects of strings without spacetime supersymmetry,2509.24703

  21. [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. [22]

    Angelantonj, M

    C. Angelantonj, M. Cardella and N. Irges,An Alternative for Moduli Stabilisation,Phys. Lett. B641(2006) 474 [hep-th/0608022]

  23. [23]

    Basile, J

    I. Basile, J. Mourad and A. Sagnotti,On Classical Stability with Broken Supersymmetry, JHEP01(2019) 174 [1811.11448]

  24. [24]

    Brane annihilation in non-supersymmetric strings,

    R. Antonelli and I. Basile,Brane annihilation in non-supersymmetric strings,JHEP11 (2019) 021 [1908.04352]

  25. [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. [26]

    Mourad and A

    J. Mourad and A. Sagnotti,On warped string vacuum profiles and cosmologies. Part II. Non-supersymmetric strings,JHEP12(2021) 138 [2109.12328]

  27. [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. [28]

    Mourad, S

    J. Mourad, S. Raucci and A. Sagnotti,Brane profiles of non-supersymmetric strings,JHEP 09(2024) 019 [2406.16327]

  29. [29]

    Z. K. Baykara, E. Dudas and C. Vafa,M-theory onS 1 ∨S 1 as Type 0A,2603.13468

  30. [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

  31. [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]

  32. [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]

  33. [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]

  34. [34]

    Stable Vacua for Tachyonic Strings,

    J. Kaidi,Stable Vacua for Tachyonic Strings,Phys. Rev. D103(2021) 106026 [2010.10521]

  35. [35]

    Kaidi, Y

    J. Kaidi, Y. Tachikawa and K. Yonekura,On non-supersymmetric heterotic branes,JHEP03 (2025) 211 [2411.04344]

  36. [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

  37. [37]

    Anastasi, M

    E. Anastasi, M. Montero, A. M. Uranga and C. Wang,What IIB looks IIA string: String Cobordisms via Non-Compact CFTs,2603.00225

  38. [38]

    Angius, M

    R. Angius, M. Delgado and A. M. Uranga,Dynamical Cobordism and the beginning of time: supercritical strings and tachyon condensation,JHEP08(2022) 285 [2207.13108]

  39. [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

  40. [40]

    L. J. Dixon and J. A. Harvey,String Theories in Ten-Dimensions Without Space-Time Supersymmetry,Nucl. Phys. B274(1986) 93

  41. [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

  42. [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

  43. [43]

    Bianchi and A

    M. Bianchi and A. Sagnotti,On the systematics of open string theories,Phys. Lett. B247 (1990) 517

  44. [44]

    Houart and Y

    L. Houart and Y. Lozano,Brane descent relations in M theory,Phys. Lett. B479(2000) 299 [hep-th/0001170]

  45. [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 –

  46. [46]

    Basile, A

    I. Basile, A. Debray, M. Delgado and M. Montero,Global anomalies & bordism of non-supersymmetric strings,JHEP02(2024) 092 [2310.06895]

  47. [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]

  48. [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]

  49. [49]

    M-theory boundaries beyond supersymmetry,

    M. Montero and L. Zapata,M-theory boundaries beyond supersymmetry,JHEP07(2025) 090 [2504.06985]

  50. [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]

  51. [51]

    P. H. Ginsparg and C. Vafa,Toroidal Compactification of Nonsupersymmetric Heterotic Strings,Nucl. Phys. B289(1987) 414

  52. [52]

    M. M. Baccianti, J. Chandra, L. Eberhardt, T. Hartman and S. Mizera,Rademacher expansion of modular integrals,SciPost Phys.19(2025) 103 [2501.13827]

  53. [53]

    I. R. Klebanov and A. A. Tseytlin,D-branes and dual gauge theories in type 0 strings,Nucl. Phys. B546(1999) 155 [hep-th/9811035]

  54. [54]

    M. R. Garousi,String scattering from D-branes in type 0 theories,Nucl. Phys. B550(1999) 225 [hep-th/9901085]

  55. [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]

  56. [56]

    O. J. Ganor and A. Hanany,Small E(8) instantons and tensionless noncritical strings,Nucl. Phys. B474(1996) 122 [hep-th/9602120]

  57. [57]

    B. A. Ovrut, T. Pantev and J. Park,Small instanton transitions in heterotic M theory, JHEP05(2000) 045 [hep-th/0001133]

  58. [58]

    Kaidi, J

    J. Kaidi, J. Parra-Martinez and Y. Tachikawa,Topological Superconductors on Superstring Worldsheets,SciPost Phys.9(2020) 10 [1911.11780]

  59. [59]

    D-branes and K-theory

    E. Witten,D-branes and K-theory,JHEP12(1998) 019 [hep-th/9810188]

  60. [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. [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 –