How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
A four-dimensional nonsupersymmetric Type II Scherk–Schwarz orbifold
A source-reported four-dimensional Type II closed-string construction using a symmetric Z2×Z2 orbifold of (T2)^3, a specified free-fermionic basis/GSO choice, shifted Gamma(2,2) sectors, and a freely acting Scherk–Schwarz Z2 deformation. Its modular invariance, full spectrum, tachyon exclusion, and one-loop statements remain attributed to the source; no full stabilized vacuum is claimed.
Example
The earlier A-page item def-cmp-geometric-orbifold-compactification-data defines the relevant orbifold data as a complete finite-group action on full worldsheet CFT data, with a twisted sector and centralizer action for every group element. Its genus-zero local and genus-one trace conditions require separate level-matching, phase-lift, twisted-OPE and modular-covariance checks; higher-genus sewing is additional data for a complete string background. It does not assert that every finite-group action has such a completion.
Antoniadis, Diaz Avalos, and Faraggi report a four-dimensional Type II closed-string construction on a symmetric orbifold of , with complex moduli for , a source-reported choice of sector-projection phases, and an additional modification of the genus-one phase sum specified below. The following basis, projection matrix, shifted lattices, and phase are the source data. All binary labels and additions below are in .
Here a free-fermionic basis is an ordered list of boundary-condition vectors for the worldsheet fermions. In each vector, the displayed fields are periodic and every other fermion in the basis system is antiperiodic; sums of basis vectors are componentwise sums of these boundary-condition labels in . The vertical bar separates left-moving fields from right-moving fields, and a bar on a field symbol marks a right mover. The index labels four-dimensional fermions, and denotes an internal index pair. As in the source, ; and denote the complexified fermions for internal bosons , with . The displayed notation is the source's notation.
The ordered free-fermionic basis is , where labels four-dimensional spacetime fermions and denotes the indicated internal pair: The source also denotes the derived sector ; it is not an eighth independent basis vector.
A Gliozzi–Scherk–Olive (GSO) phase matrix is, here, the ordered array of signs used for the source's projections on free-fermion sectors: is the phase in row and column . In the row/column order , the complete source matrix is The item records this matrix as source data; it does not independently prove that the full model's partition function is modular invariant or that its twisted OPE data sew.
For each torus define and , with . The labels are the orbifold twists and are the shifted-lattice labels. Let be the worldsheet-torus modulus, and put and . The left-moving spin-structure labels are and the right-moving labels are , each pair specifying boundary conditions around the two non-contractible torus cycles. For , represented by or , write Thus every theta symbol below with omitted arguments means the theta constant at and this same ; all additions in its characteristics are reduced in . For lattice summation indices , set The source-normalized left/right lattice momenta and their norms are They are in the dimensionless normalization used in the source, so their squared values enter the exponents of and below; no conversion to dimensionful target-space momenta is made here. The shifted untwisted lattice factor is The full lattice factor with the paired orbifold twist is source-defined by In the total partition function the paired twists are for , for , and for . Define the base spin-structure phase and the Scherk–Schwarz insertion The source's phase replacement is , so the full phase is
Use , , and as in def-supergravity-conventions-and-normalizations. Here and are dimensionless lattice data: the internal physical metric in angular coordinates is . Thus and the displayed are dimensionless. To remove the ambiguity of “string units”, write , where is the four-dimensional string-frame pole mass. In the NS chiral sectors relevant to the source's tachyon test, set
The source denotes these chiral levels in equations (2.21)–(2.22). A physical level-matched NS–NS state obeys in the adopted restoration, since its noncompact chiral momentum contribution is . The Ramond intercept is zero rather than for a Ramond chiral factor. This normalization also gives for a pure circle momentum mode: the displayed lattice normalization has , so each chiral level shift is . No chiral level is silently equated to the full pole mass.
For the tree-level pole-mass interpretation, fix four-dimensional Minkowski space with global coordinates of length dimension, , and string-frame metric . Use the trivial spin structure and its complex Dirac bundle , , with constant Clifford matrices satisfying . A vector-spinor is a smooth section , written in this parallel trivialization. Define and componentwise. For a positive constant pole mass , use the free linear spin- description , , and , with indices raised using . A complex Fourier mode is , where is a constant momentum covector of inverse-length dimension and is its constant polarization; its constraints are and . Composing the kinetic equation with gives , so a nonzero mode has . Here “gravitino” denotes the fermionic mode with this linear description whose massless supersymmetric parent is the gauge field of local supersymmetry. This is a flat-background tree-level description of the reported pole masses, not an interacting field equation on the putative one-loop vacuum. The symbols label the source's left and right sectors, not two new scalar fields. Its equation (2.14) reports the two would-be massless gravitinos' dimensionless squared pole-mass shifts Thus and similarly for ; writing gives precisely the paper's numerical formulas. A tree-level tachyon means a physical, level-matched, projection-surviving state with in the genus-zero spectrum. It is not a generic negative term before level matching and GSO/orbifold projections, nor a negative one-loop Hessian eigenvalue. The source reports absence of such states throughout the allowed torus moduli after its sector analysis; this item does not rederive that analysis.
At genus one the source reports a minimum of the twelve real torus-moduli directions at , with positive Hessian in those directions and negative vacuum-energy density in the four-dimensional string-frame effective action term . To state its separate dilaton caveat, let and define the four-dimensional dilaton by , up to a fixed reference-volume constant absorbed into the gravitational coefficient. The local four-dimensional coupling variable is , while the ten-dimensional string coupling at a constant background is . At fixed torus volume their weak-coupling limits agree. The four-dimensional Einstein metric is This is the four-dimensional Weyl rescaling, distinct from the ten-dimensional relation . At fixed torus moduli, gives no finite dilaton stationary point and from below as . “Runaway” here means the absence of a stationary dilaton in this truncated potential; no dynamical rolling direction toward weak coupling is inferred from that limit. The source proposes additional flux/orientifold mechanisms as possibilities outside this construction. The negative torus-moduli energy therefore does not itself establish a stabilized AdS vacuum.
Example references
Facts & Assumptions
Given: The source-reported data in the Example and the conditional orbifold-data interface [F1]. Statements attributed to the paper remain source reports; they are not presented as independent proofs of modular invariance, sewing, or the complete spectrum.
Geometric finite-group orbifold compactification data: a geometric finite-group orbifold datum includes the complete worldsheet group action, twisted sectors, centralizer projections, and any discrete-torsion phases. The definition is a conditional data interface and does not prove that every finite quotient gives a consistent CFT.
Supergravity Conventions And Normalizations supplies , , , the string-coupling convention, and the distinction between ten-dimensional string and Einstein metrics. The four-dimensional dilaton and Weyl rescaling used here are defined explicitly in the Example; the mass units are fixed by the displayed chiral levels.
Adopt the basis vectors, GSO matrix, shifted factors, and Scherk–Schwarz phase exactly as data reported in Antoniadis–Diaz Avalos–Faraggi, arXiv:2504.19364v2, §2.1, PDF pp. 3–6. No independent modular transformation or sewing proof is asserted here.
Adopt as source reports the two gravitino mass shifts, the tree-level no-tachyon conclusion, and the genus-one torus-moduli result with its negative energy, unbounded directions, and dilaton runaway. The Appendix C spectrum table and the full sector-by-sector tachyon proof have not been independently reconstructed in this batch.
The paper's results are at tree level for the spectrum/tachyon statement and at genus one for the stated moduli potential. No higher-genus, nonperturbative, backreaction, flux, orientifold, localized-charge cancellation, or completed dilaton-stabilization result is adopted.
Proof
Given: [F1]–[F2], [A1]–[A3], the source's moduli domain , and the exact locators in the source reference.
The ordered basis has seven entries, and the displayed matrix has the same row and column order; the shifted lattice and phase definitions use the source's distinct labels for orbifold twists and for Scherk–Schwarz shifts. These are the exact source data adopted in [A1]. This records the source-specific basis, projections, lattices and phase only. These data do not establish an instance of [F1]: its full-local fields, all twisted-sector OPE maps and compatible centralizer transports have not been supplied here. The source reports and the conditional deductions below do not assume that missing completion.
At finite allowed moduli, each is a product of two positive finite real numbers. Its reciprocal is positive, so both displayed sums and are strictly positive. In the source's stated decompactification limits the terms in tend to zero with fixed positive , and makes . For the defined flat vector-spinor, commuting partial derivatives and the Clifford relations give on each covector component. Thus , and substituting gives the stated mass shell. These are local consistency checks of the linear description. Positivity and the limits follow from the reported formulas; the formulas themselves are not independently derived.
The no-tree-tachyon assertion is included only as the result that the named paper reports from its sector analysis. The local proof here neither reconstructs the Appendix C sectors nor derives the exclusion over the full moduli space, so the claim remains explicitly source-attributed.
From in four dimensions, , so the genus-one string-frame term gives . Holding the torus moduli fixed, for , while its weak-coupling limit is zero from below. The one-loop statement concerns the twelve real torus-moduli directions and is separate from the tree-level tachyon claim. The negative energy, unbounded directions, and nonstationary Einstein-frame dilaton potential defined above and recorded in [A2] prevent this item from promoting the torus-moduli minimum to a fully stabilized vacuum.
Remarks
The paper is the sole primary source for this specific GSO choice, shifted lattices, tree spectrum, and genus-one calculation. Its relevant full text and exact equations were inspected. Ginsparg's orbifold discussion is used only for the general conditional vocabulary in [F1], not to prove the model-specific partition function. The source's own title uses “AdS vacuum,” but its conclusion states that the negative one-loop energy does not by itself imply an AdS vacuum because the Einstein-frame dilaton runs away; this carrier preserves that caveat.