{"id":"afadc961-40b1-4423-a4eb-beee406d5eb0","arxiv_id":"2505.03664","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"Ten explicit three-family supersymmetric Pati-Salam models from rigid intersecting D6-branes on factorizable rectangular tori; four of the ten are asymptotically free.","lead":"Physicists built ten new string-theory models that produce three families of quarks and leptons from rigid, immovable branes on simple rectangular tori. These are the first such three-family models on factorizable tori, and four of them have an asymptotically free strong force, a step toward realistic string vacua without unwanted scalar particles.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The models are under-specified: the fixed-point sets and epsilon signs needed to compute twisted tadpoles and chiral spectra are not given, so the paper's central consistency claim is not independently checkable.","rationale":"The reader's weakest_assumption identified the same load-bearing problem: the hidden-sector displacement is asserted rather than demonstrated, and the twisted tadpole and spectrum computations depend on exactly the fixed-point data that are omitted. My stress-test confirms this is the single most consequential gap: without the S^g_a and epsilon^g_a,ij data, none of the chiral spectra or twisted tadpole cancellations can be independently verified, and the paper's central claim -- that these are consistent models -- is not checkable. I do not find a separate, more fundamental flaw; the internal issues I noticed (e.g., the duplicated |I_ad'| in eq. (4.7), and the apparent sign conventions in the three-family relation (2.24)) are either typographical or resolvable by careful sign bookkeeping, and they do not rise to the level of the missing data. The paper uses standard, externally established machinery and the tabulated beta functions in (4.8) are internally coherent, which gives some confidence that the authors have performed the computations; however, the construction as presented is incomplete. Because the authors could plausibly supply the missing data and validate the tables, the appropriate verdict remains CONDITIONAL, as the reader concluded. My analysis therefore does not change the reader's verdict, but it sharpens the condition: the acceptance criterion should be the release of a complete verification ledger with explicit fixed-point assignments and sign choices for all stacks in all ten models, followed by an independent recomputation of at least one full spectrum and the twisted tadpole conditions.","tokens_in":43266,"tokens_out":10796,"duration_ms":95990,"concrete_test":"Require the authors to supply, for each of the ten models (at minimum for model r06), the complete set of fixed points S^g_a and signs epsilon^g_a,ij for every stack including hidden-sector stacks, and then independently reconstruct the spectrum of Table 4 using eqs. (2.11)-(2.19) and verify the twisted tadpole conditions (2.30) at all 16 fixed points of each twisted sector. If any tabulated multiplicity changes or any twisted tadpole fails, the central claim is contradicted; if the data are supplied and all checks pass, the concern is resolved.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central claim is that the ten tabulated brane configurations are consistent three-family N=1 supersymmetric Pati-Salam models satisfying all known consistency conditions. For a fractional D6-brane on this orientifold, the configuration is not fixed by the wrapping numbers alone: eq. (2.10) shows that a complete specification also requires, for each twisted sector g, the choice of fixed-point set S^g_a (one of two alternatives for each torus, per Table 1) and the signs epsilon^g_a,ij. These data enter directly into the twisted tadpole conditions (2.30), the intersection numbers (2.11)-(2.19), and hence the chiral spectra in Tables 4-22 and the three-family relation (2.24). The paper never provides S^g_a or epsilon^g_a,ij for any stack, visible or hidden. This is not a technicality: Section 3 explicitly states that the tabulated spectra rely on 'displacing' hidden-sector branes to alternative fixed points to remove unwanted massless matter, but the specific displacement is not specified, so even the existence of a choice reproducing the tables is an unverified assertion. The untwisted tadpoles and K-theory conditions could in principle be checked from the wrapping numbers alone, but the twisted tadpole cancellation -- one of the 'known consistency conditions' claimed in the abstract -- and the full spectrum cannot be. Without this data, the central existence claim is not checkable from the manuscript as written. This is not evidence of inconsistency, but it means the central claim is not established.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims to construct, for the first time, a class of ten three-family N=1 supersymmetric Pati-Salam models from rigid intersecting D6-branes on the factorizable T^6/(Z2 x Z2') orientifold with discrete torsion, using rectangular tori only. Section 2 reviews the standard machinery for such models: fractional brane cycles (2.10), intersection numbers, supersymmetry conditions (2.28), tadpole conditions (2.30), and K-theory constraints (2.32). Section 3 presents ten models (r06, r08, r10, r19, r20, r22, r25, r26, r29, r30) with wrapping numbers in Appendix A and chiral spectra in Tables 4-22, including GUT Higgs fields and exotic states. Section 4 computes one-loop beta-function coefficients for the visible SU(4)_C factor, finding negative values in four models. The paper also claims that hidden-sector strong dynamics confines and decouples exotic states.","tokens_in":43549,"tokens_out":6920,"duration_ms":63073,"significance":"If the consistency of these models could be verified from the data provided, this would be a notable step in string model building: explicit vacua with frozen open-string moduli (no adjoint exotics), three chiral families, and, in models r19, r20, r25 and r26, an asymptotically free SU(4)_C. The paper is transparent in providing complete wrapping numbers for all ten models, and the beta-function values in (4.8) are internally consistent with the intersection numbers in the spectrum tables. The three-family condition is imposed during construction rather than predicted, which is standard model-building practice, and the asymptotic-freedom check is reported for all models, including the six that fail, so there is no selection bias. The main shortcoming is that the models are incompletely specified: the fixed-point and epsilon data needed to verify twisted tadpole cancellation and the chiral spectra are not given, and the hidden-sector confinement is asserted without any dynamical calculation.","major_comments":[{"comment":"Section 3 states that hidden-sector branes are 'displaced ... to alternative orbifold fixed points' to remove unwanted massless matter, but neither the fixed-point sets S^g_a nor the signs ε^g_a,ij required in Eq. (2.10) are specified for any stack. These data enter the twisted-tadpole conditions (2.30) and the intersection numbers (2.11)-(2.19), hence the chiral spectra in Tables 4-22 and the three-family count (2.24). Without these data the reader cannot verify the claimed cancellation of twisted tadpoles or reproduce the tabulated spectra; the central existence claim in the abstract is therefore not independently checkable from the manuscript as written.","section":"§3 (Note paragraph) and §2, Eqs. (2.10), (2.30)"},{"comment":"The decoupling of exotic states is presented as a consequence of hidden-sector strong dynamics, with 'confined spectra' tabulated. However, no beta-function or confinement scale is computed for any hidden gauge factor. The only explicit beta-function calculation in §4, Eq. (4.8), applies to the visible SU(4)_C, and the claim that 'the SU(4) gauge groups in the hidden sector exhibit negative beta functions' is not demonstrated. The confinement assertion is therefore unsupported and should either be backed by explicit hidden-sector beta-function computations or reformulated as a conditional assumption.","section":"§3 (end of model-building strategy) and Tables 6-22, §4"}],"minor_comments":[{"comment":"The displayed formula for N_chiral^a lists |I_ad'| twice and omits |I_ad|; the numerical results in (4.8) are consistent with the corrected expression, so this is a typo, but it should be fixed.","section":"Eq. (4.7)"},{"comment":"The phrase 'share the same fixed points, i.e., δ^g_ab ≠ (4,4,4)' is self-contradictory; presumably it should read 'do not share all their fixed points'.","section":"§3.1 and §3.2"},{"comment":"Table 2 appears malformed in the manuscript: the representation labels (symmetric and antisymmetric) are missing and the multiplicity column contains only intersection expressions, making the table incomplete as printed.","section":"Table 2"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is a follow-up to the authors' companion letter (ref [41]) and provides ten models rather than one. The main obstacle is the missing fixed-point and epsilon data; this is fixable in revision but requires a substantial addition to the appendix. The paper fits the journal's scope. One might also ask the authors to clarify whether the displacement of hidden branes is compatible with the orientifold-invariance and gauge-group assignments, since the displacement is only specified at the level of 'alternative fixed points'."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The abstract's central claim is that these are the first consistent three-family rigid-brane Pati-Salam models on factorizable rectangular tori, and that claim is plausible but not yet proven. The ten models are explicitly tabulated, which is a genuine step beyond Forste-Zavala's non-factorizable construction, and the spectra look internally coherent: the SU(4) beta functions in (4.8) match the intersection numbers, and the paper honestly reports that only four of the ten models are asymptotically free. Credit where due: this is real model-building work, and the companion letter already published one example, but this paper extends it to a class.\n\nThe soft spot is not the physics, it's the specification. Equation (2.10) defines a fractional brane by wrapping numbers plus fixed-point sets S^g_a and epsilon signs. The paper never gives these for any stack, visible or hidden. The hidden sector is said to be 'displaced to alternative orbifold fixed points' to remove unwanted matter, but no assignments are given. The twisted tadpole conditions (2.30) and the chiral multiplicities depend directly on those choices, so the central consistency claim is not checkable from the manuscript. This is a load-bearing gap, not a stylistic choice. The confinement tables are also asserted rather than derived; no hidden-sector beta functions are shown, so the decoupling of exotics is a claim, not a result.\n\nMinor problems: some typos, e.g., the phrase in 3.1 attributing δg_ab neq (4,4,4) to stacks that 'share the same fixed points', and eq. (4.7) has a duplicated term (Iad' appears twice). These are cosmetic compared with the missing data. The three-family condition is imposed by construction, which is standard model building, not a fitted prediction.\n\nIf the authors supply the fixed-point data and a verification ledger, this would be a solid paper. As written, it is a plausible but unverified construction. String phenomenologists working on intersecting brane models will want to know about it. It deserves a serious referee, and I would send it to one, but with a clear request that the authors provide the missing data. The referee should not have to take the consistency on faith.","headline":"Real step toward three-family rigid-brane Pati-Salam models, but the missing fixed-point data makes the consistency claim unverifiable as written.","tokens_in":44167,"tokens_out":3063,"would_cite":false,"duration_ms":31408,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Rigid intersecting D6-branes on a factorizable orientifold with discrete torsion produce the first ten consistent three-family supersymmetric Pati-Salam vacua.","keywords":["intersecting D6-branes","rigid cycles","Pati-Salam models","discrete torsion","orientifold compactification","three-family models","asymptotic freedom","swampland bounds"],"falsifier":"Recompute the twisted tadpole sums (2.30) for one model, say r06, using explicit fixed-point sets $S^g_a$ that match the wrapping numbers in table 23; any nonzero total twisted charge at a fixed point would disprove the model. A second decisive check is to compute the one-loop $\\beta$ functions of the hidden confining groups: a positive coefficient would undermine the claimed confinement and decoupling of the exotic states.","tokens_in":42996,"feed_emoji":"","tokens_out":8573,"duration_ms":79560,"temperature":0.7,"pith_summary":"The paper claims that rigid intersecting D6-branes on the factorizable $\\mathbb{T}^6/(\\mathbb{Z}_2\\times\\mathbb{Z}_2')$ orientifold with discrete torsion can yield ten three-family $\\mathcal{N}=1$ supersymmetric Pati-Salam models. Rigid cycles freeze the open-string moduli that would otherwise produce adjoint fields, and the paper's new ingredient is a combination of rigid visible branes with semi-rigid and non-rigid hidden branes plus hidden-brane displacement to cancel tadpoles and remove unwanted matter. Four of the ten models have a negative one-loop $\\beta$ coefficient for $SU(4)_C$, hence an asymptotically free color factor. If the construction is right, these are explicit, checkable string vacua with exactly three chiral families and no adjoint exotics.","feed_headline":"Rigid branes build 10 three-family Pati-Salam vacua","feed_subtitle":"First factorizable-orientifold models with frozen moduli pass supersymmetry, tadpole, K-theory, and rank checks.","key_machinery":"The load-bearing object is the rigid fractional D6-brane cycle $$\\Pi_a=\\frac14\\Pi_a^B+\\frac14\\sum_{(i,j)\\in S_a^\\$\\theta$}\\epsilon^\\theta_{a,ij}\\Pi^\\theta_{ij,a}+\\cdots$$ a bulk factorizable 3-cycle combined with collapsed cycles at the fixed points the brane passes through, with orientation signs $\\epsilon=\\pm1$. Rigidity means the brane is stuck at fixed points, so no adjoint chiral multiplets appear. The degree of overlap of fixed-point sets, $\\delta^g_{ab}$, controls the chiral intersection numbers; the hidden stacks are displaced to alternative fixed points to force the unwanted $\\delta$'s to vanish; and the tadpole and K-theory equations select the allowed multiplicities.","core_discovery":"The discovery is that the obstruction to three families on factorizable tori with rigid branes can be bypassed by adding a fourth visible stack $d$, so the family condition becomes $I_{ab}+I_{ab'}=-(I_{ac}+I_{ac'}+I_{ad}+I_{ad'})=\\pm3$, and by allowing the hidden stacks to sit at alternative fixed points rather than the origin. The paper presents ten explicit wrapping-number choices, tables their chiral spectra, and checks $\\mathcal{N}=1$ supersymmetry, RR tadpole cancellation, K-theory constraints, and the swampland rank bound. The spectra contain the Pati-Salam matter $(4,2,1,1)$ and $(\\bar4,1,2,1)$ plus GUT Higgs pairs obtained by recombining a hidden stack with the $SU(2)_R$ stack, so the Pati-Salam symmetry can break to the Standard Model.","pith_inferences":["The displacement step is not fully specified: the paper's spectra depend on moving hidden branes to alternative fixed points, but the concrete fixed-point sets are not tabulated; a complete check would require listing them and recomputing the twisted tadpole sums (2.30).","If the displacement can be realized, the same construction may extend to tilted tori, but the paper notes that no tilted-torus three-family model is known in this framework, so the apparent obstruction remains unexplained.","A natural next test is to run the open-string one-loop partition function for the hidden stacks to verify the claimed confinement of every exotic $X$ state; the paper asserts confinement but does not compute the hidden-sector beta functions.","The framework suggests a systematic computer search over wrapping numbers and fixed-point assignments; the class is small enough for an exhaustive enumeration rather than only a sampling."],"forward_implications":["These ten models are explicit examples in which Pati-Salam symmetry can break to the Standard Model through the provided $\\Delta$ and $\\Phi$ Higgs fields while preserving $\\mathcal{N}=1$ supersymmetry.","In models r19, r20, r25, and r26 the $SU(4)_C$ one-loop beta coefficient is $-2$, $-2$, $-4$, and $-2$ respectively, so the color factor is asymptotically free; the other models have coefficient $+2$.","The absence of adjoint chiral multiplets removes the usual obstruction to negative beta functions, making gaugino condensation in the hidden sector a plausible supersymmetry-breaking mechanism.","All models satisfy the swampland bound on maximal gauge-group rank, so they are not excluded by that consistency criterion."],"supporting_citations":[{"why":"Establishes that rigid D6-branes on the T6/(Z2 x Z2') orientifold with discrete torsion freeze open-string moduli, the starting point of this construction.","marker":"[25]"},{"why":"Provides the three-generation rigid-brane example on non-factorizable tori that this paper extends to factorizable tori.","marker":"[26]"},{"why":"Supplies the standard supersymmetric Pati-Salam model-building framework and the three-family chiral spectrum conventions being generalized.","marker":"[4]"},{"why":"Gives the rigid D6-brane formalism with discrete torsion used for the fixed-point sets, intersection numbers, and twisted tadpole conditions.","marker":"[42]"},{"why":"States the swampland bound of maximal gauge-group rank 138 that the models are checked against.","marker":"[36]"},{"why":"Companion letter presenting a representative model of this class.","marker":"[41]"}],"fun_headline_variants":["Rigid branes yield three-family supersymmetric Pati-Salam","Consistent three-family Pati-Salam from rigid D6-branes","Rigid cycles stabilize D6-brane Pati-Salam models","Rigid D6-branes give 10 three-family Pati-Salam vacua"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The tabulated spectra and the three-family count rely on the unstated displacement of hidden-sector branes to alternative orbifold fixed points; the paper asserts this removes unwanted massless states and preserves twisted tadpole cancellation, but the concrete fixed-point assignments are not listed, and the twisted tadpole conditions (2.30) depend on exactly those assignments.","fun_headline_variants_meta":{"raw":{"variants":["Rigid branes yield three-family supersymmetric Pati-Salam","Consistent three-family Pati-Salam from rigid D6-branes","Rigid cycles stabilize D6-brane Pati-Salam models","Rigid D6-branes give 10 three-family Pati-Salam vacua"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000661,"raw_usage":{"total_tokens":3015,"prompt_tokens":933,"completion_tokens":2082,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":549,"completion_tokens_details":{"reasoning_tokens":1999}},"tokens_in":549,"tokens_out":2082,"duration_ms":16582,"temperature":1.0,"reasoning_tokens":1999,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T23:47:34.042183+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Recompute the twisted tadpole sums (2.30) for one model, say r06, using explicit fixed-point sets $S^g_a$ that match the wrapping numbers in table 23; any nonzero total twisted charge at a fixed point would disprove the model. A second decisive check is to compute the one-loop $\\beta$ functions of the hidden confining groups: a positive coefficient would undermine the claimed confinement and decoupling of the exotic states.","supporting_citations":[],"review_version":1}