PaperACT

Arithmetic Coherence: Two-Phase Structure in the BSD Space of Elliptic Curves — Paper II: The R_BSD Invariant and Geometric Ghost Classification

Arithmetic Coherence: Two-Phase Structure in the BSD Space of Elliptic Curves — Paper II: The R_BSD Invariant and Geometric Ghost Classification

approved
byTestAI Rating: 3/5

We introduce R_BSD, the ratio of analytic instability C(E) to geometric-local structure α_BSD(E), and show on 368,314 rank-0 elliptic curves that (C, α_BSD) exhibits a robust two-phase structure in which Ghost curves (|Ш|>1) occupy a distinct coherence phase with low instability and high structure. The separation is recoverable by unsupervised clustering (GMM accuracy 99.95%), is not driven by conductor or Sha alone, is strongest after torsion control, and is accompanied by spectral null results indicating the effect is local-analytic rather than due to global zero-spacing.

Approved — Pending Publication

This paper has passed AI review and is awaiting publication by the author.

3.0/ 5
AI Rating

AI Review Rating

Composite of the review dimensions below, on a 0–5 scale.

Approved for Publication

Consensus round triggered on 1 dimension

Resolved: 1 - Still contested: 0

View Shareable Review Profile- permanent credential link for endorsements

This paper introduces RBSD=C(E)/αBSD(E)R_{\text{BSD}} = C(E)/\alpha_{\text{BSD}}(E), a ratio of analytic instability to geometric-local structure for rank-0 elliptic curves, and argues that rank-0 curves exhibit a robust two-phase structure in (C,αBSD)(C, \alpha_{\text{BSD}}) space corresponding to whether Ш>1|\text{Ш}| > 1 (Ghost) or =1= 1 (Normal). The panel domain was classified as pure_mathematics, meaning the falsifiability dimension was converted to VERIFIABILITY — the independent checkability of the numerical claims, not whether the paper makes laboratory predictions. Under this rubric the paper scores moderately across most dimensions, with completeness (4/5) being the strongest outcome and internal consistency (2/5) being the weakest, reflecting two distinct concerns surfaced by different math specialists.

On the mathematics, there is notable specialist disagreement. Two specialists (DeepSeek-V4-Pro and claude-opus-4-8) found internal consistency strong (4/5 each), noting that definitions are used coherently throughout and the BSD-conditional algebraic rewrite RBSD=L(E,1)Ш/(L(E,1)2N)R_{\text{BSD}} = |L'(E,1)| \cdot |\text{Ш}| / (L(E,1)^2 \sqrt{N}) is correctly derived. Two other specialists (gpt-5.2 and gpt-5.5) scored internal consistency at 2/5, flagging two specific structural tensions that are harder to dismiss. First, the definition of 'Ghost' drifts: the paper opens with Ghost Ш>1\Leftrightarrow |\text{Ш}| > 1, but §8.1 proposes replacing this with the geometric criterion C<104C < 10^{-4} and αBSD>102\alpha_{\text{BSD}} > 10^{-2}, without proving equivalence — and §6.2's own quadrant results imply non-equivalence (the structural quadrant still contains Ghost curves). Second, §2.1 asserts the omitted 2π2\pi normalization factor is irrelevant because it cancels in RBSDR_{\text{BSD}}, yet §8.1 then proposes absolute numerical thresholds in CC and §6 clusters in logC\log C — both of which are NOT invariant under rescaling of CC. This normalization-threshold inconsistency is a concrete problem: the proposed coherence-region boundaries C<104C < 10^{-4}, αBSD>102\alpha_{\text{BSD}} > 10^{-2} are not portable without pinning the normalization convention. The coordinator notes the first specialist pair may have underweighted these concerns; the fixed panel score of 2/5 for internal consistency reflects them.

Seven mathematical risk flags were emitted across the two flagging specialists. The highest-severity (HIGH) flags are at: §6.1 (GMM 99.95% accuracy — covariance structure, initialization, label-assignment rule, class-imbalance handling, and in-sample vs. out-of-sample evaluation are all unspecified, making this headline result non-reproducible from the manuscript); §8.1 (thresholds C<104C < 10^{-4} and αBSD>102\alpha_{\text{BSD}} > 10^{-2} — no derivation or optimization criterion is given for how these were extracted from the GMM); and §7.1–7.3 (the spectral null conclusion — failure to reject equality on five zeros for 2,334 curves does not mathematically establish that the phase structure is 'entirely local-analytic and NOT spectral'; this is an overstated inference from limited power). MEDIUM flags are at §2.1 (normalization portability), §2.2 (whether Ш|\text{Ш}| values in the dataset are independently computed or BSD-derived, which affects claimed independence), §4.1 (near-zero Pearson correlation does not establish non-dependence for a quantity with nonlinear algebraic dependence on Ш|\text{Ш}|), §6.2 (quadrant purity of 100% Ghosts — boundary sensitivity and potential circularity from median splits on the full dataset without held-out validation), and §5.1–§5.2 vs. §10 (an internal numerical inconsistency: §10's conclusion table claims typical Ghost RBSD100R_{\text{BSD}} \sim 10^010210^2, while §5's medians of 0.024 and 0.109 correspond to log10R1.6\log_{10} R \approx -1.6 and 0.96-0.96, a significant discrepancy that should be resolved). These flags are reader warnings, not score components.

On evidence and completeness, specialists consistently found the core empirical separation result (Ghost/Normal separation in RBSDR_{\text{BSD}}, confirmed by Welch's tt-test and KS test at p<10300p < 10^{-300}, across four conductor bands) to be well-supported by the large dataset (368,314 curves from Cremona/LMFDB). The reproducibility gaps are concentrated in the validation layer: the GMM procedure and the coherence-quadrant analysis lack the methodological detail needed for independent reproduction. The companion Paper I ('Ghost Rank I') is cited as foundational but its verification status is unconfirmed; readers cannot independently check claims about S(E)S(E) and the detection framework on which this paper builds. These gaps together produce the evidence/completeness scores of 3–4/5. On novelty (3/5), the consensus view is that RBSDR_{\text{BSD}} is a genuinely fresh combination of analytic and geometric-local data, and the spectral null result is a useful empirical contribution, but much of the apparent two-phase structure follows algebraically from the BSD formula combined with the definition of Ghost by Ш>1|\text{Ш}| > 1 — the novelty is primarily organizational and presentational rather than mechanistic.

This review was generated by AI for research and educational purposes. It is not a substitute for formal peer review. All analyses are advisory; publication decisions are based on numerical score thresholds.

This work departs from mainstream consensus physics in the following ways. These are not penalties - they are informational flags that highlight where the author proposes alternative interpretations of physical phenomena. The scores below evaluate rigor, not orthodoxy.

  • The paper does not depart from mainstream consensus physics or mathematics. Its claims concern arithmetic structure in the BSD-related invariants of elliptic curves, a topic within established number theory. All departures from standard practice are methodological (non-standard normalization of C(E), empirical rather than theoretically derived phase thresholds) rather than foundational. No consensus-departing theoretical claims are made.
Internal Consistency2/5
moderate confidence- spread 2- panel

The paper is mostly coherent at the level of definitions C(E), alpha_BSD(E), and R_BSD(E) (§2), but there is central consistency strain in how conjecture-conditional equalities are interleaved with unconditional definitions. In §2.2–§2.3, R_BSD is defined as C/alpha with alpha computed from local/geometric data; then the identity alpha = L(1)/|Sha| and the expression R_BSD = |L'(1)|·|Sha|/(L(1)^2·sqrt(N)) are introduced under "assuming BSD". Later interpretive arguments ("paradox" resolution §4.2; claims about algebraic dependence but near-zero correlation §4.1) treat the BSD-substituted form as if it explains the observed geometry, without consistently flagging which parts are conditional on BSD and which are purely definitional/empirical.

A second internal-consistency issue is the normalization/threshold interplay: the paper claims the omitted 2π is irrelevant (§2.1) yet proposes absolute numerical phase thresholds in C and alpha (§8.1) and uses clustering in (log C, log alpha) (§6.1). The thresholds for C are not invariant under a global rescaling of C, so either the normalization must be fixed as part of the definition, or thresholds must be reported in a normalization-invariant way (e.g., relative to medians/quantiles). These are not merely stylistic: they affect the portability of the classifier and the meaning of "coherence region" boundaries.

Mathematical Validity3/5
moderate confidence- spread 2- panel

At the equation level, the algebra is mostly correct: given the rank-0 BSD formula, alpha_BSD = Omega∏c_p/|tors|^2 and L(1)=alpha_BSD·|Sha| implies alpha_BSD = L(1)/|Sha|, and therefore R_BSD = C/alpha_BSD = (|L'(1)|/(|L(1)|·sqrt(N)))/(alpha_BSD) = |L'(1)|·|Sha|/(L(1)^2·sqrt(N)) (§2.2–§2.3). This conditional manipulation is mathematically valid.

However, the paper’s main results are empirical/statistical and currently lack enough formal specification to be considered mathematically reproducible from the document. The claims of 99.95% unsupervised recovery (§6.1), 100% ghost purity in a quadrant (§6.2), and the specific numeric threshold classifier (§8.1) are load-bearing, but no explicit mathematical definition of the classifier pipeline is given (feature scaling, covariance constraints, initialization, convergence criteria, how labels are mapped to clusters, whether accuracy is in-sample, treatment of class imbalance, etc.). If any of these choices change, accuracy and purity can change materially; thus the main theorems-as-stated are not yet mathematically secured. Separately, the use of correlation ≈ 0 to conclude "not a proxy" (§4.1) is not a valid mathematical implication without additional assumptions (e.g., monotonicity/linearity); at best it establishes lack of linear correlation.

Because the central claims depend on underspecified computational/statistical steps (paper-owned, not merely cited theorems), mathematical_validity cannot exceed 3 under the rubric.

Verifiability (converted from Falsifiability)3/5
high confidence- spread 1- panel

Scored using the VERIFIABILITY rubric (pure mathematics). The computations are in-principle reproducible: dataset is the Cremona/LMFDB database, metrics are explicit formulas, and code paths are listed. However, verification is hindered by (a) redacted definitions in the abstract, (b) no exact reproduction seeds or version pins, (c) statistics like 'p<10^-300' and GMM 99.95% accuracy that are self-referential (the GMM recovers a label that is definitionally correlated with the inputs via BSD), and (d) no printed intermediate cross-checks against known LMFDB values. Claims are specific enough to be checked but require substantial reconstruction, and the central 'independence from Sha' claim is not cleanly falsifiable as stated because the algebraic dependence is acknowledged.

Clarity3/5
high confidence- spread 0- panel

The paper is well organized, with clear sectioning, compact definitions, summary tables, and an understandable narrative arc from definition to dataset to validation to interpretation. A graduate-level reader familiar with elliptic curves can follow the intended message. However, clarity is materially weakened by repeated use of physics-flavored terms such as 'instability,' 'phase,' 'coherence,' 'absorption,' and 'local-analytic' without a precise mathematical criterion distinguishing metaphor from claim. The abstract and discussion sometimes present inferentially stronger conclusions than the body warrants, especially around 'demonstrating' a local-analytic phenomenon and 'replacing' the |Ш|>1 definition. In addition, key methodological details for the GMM and spectral tests are too compressed for a reader to assess exactly what was done without consulting code.

Novelty3/5
high confidence- spread 1- panel

Proposing a two-dimensional (C, alpha_BSD) invariant space and reframing Ghost/large-Sha curves as a 'coherence phase' is a modestly novel repackaging. However, the core observation reduces to well-understood BSD relationships: curves with large |Ш| have elevated L(E,1) relative to geometric factors. The 'phase structure' is a consequence of the BSD formula plus the definition of Ghost by |Ш|>1, so much of the apparent novelty is definitional/presentational rather than a new mechanism. The spectral null result is a mild but genuine empirical contribution. Combination of known ideas with some new framing places this at 3.

Completeness4/5
high confidence- spread 1- panel

The paper is structurally complete on its own stated terms. It defines its principal quantities, specifies the dataset scope (368,314 rank-0 curves from Cremona/LMFDB up to conductor 130,000), states the BSD assumption when using the rank-0 formula involving |Ш|, and includes limitations/future work on threshold calibration, higher rank extension, conductor dependence, theoretical grounding, and twist-family robustness. The narrative follows through on the promised goals: definition of R_BSD, independence tests, phase separation, unsupervised recovery, and spectral null checks.

The main reason this is not a 5 is that several support details needed for full reproducibility or boundary scrutiny are missing from the paper text. The clustering section does not specify how '99.95% accuracy' is computed for an unsupervised model, how cluster labels were matched to Ghost/Normal labels, or whether train/test splitting, initialization sensitivity, or class-imbalance effects were examined. The spectral analysis states that 2,334 curves were used but does not explain the sampling protocol, matching criteria, or uncertainty handling in enough detail to judge representativeness. The proposed geometric thresholds C<10^-4 and alpha>10^-2 are described as natural boundaries, but the method for extracting them from the GMM or figures is not formally documented. These are meaningful omissions, but they affect secondary methodological support more than the paper’s core internal completeness.

Publication criteria: All dimensions must score at least 2/5 with an overall average of 3/5 or higher. The AI recommendation badge above is advisory - publication is determined by the numerical scores.

Key Equations (3)

C(E):=L(E,1)L(E,1)NEC(E) := \frac{|L'(E,1)|}{|L(E,1)| \cdot \sqrt{N_E}}

Analytic instability: normalized ratio of the L-function derivative at s=1 to its value, scaled by conductor.

αBSD(E):=Ω(E)pcp(E)E(Q)tors2\alpha_{\text{BSD}}(E) := \frac{\Omega(E) \cdot \prod_p c_p(E)}{|E(\mathbb{Q})_{\text{tors}}|^2}

Geometric-local structure: product of the real period and Tamagawa numbers divided by the torsion-squared, capturing geometric local arithmetic factors appearing in BSD.

RBSD(E):=C(E)αBSD(E)=L(E,1)Ш(E)L(E,1)2NER_{\text{BSD}}(E) := \frac{C(E)}{\alpha_{\text{BSD}}(E)} = \frac{|L'(E,1)| \cdot |\text{Ш}(E)|}{L(E,1)^2 \sqrt{N_E}}

Phase indicator: instability-to-structure ratio; after inserting the BSD rank-0 formula it displays algebraic dependence on |Ш|, L-values and conductor.

Other Equations (2)
L(E,1)=Ω(E)pcp(E)Ш(E)E(Q)tors2L(E,1) = \frac{\Omega(E) \cdot \prod_p c_p(E) \cdot |\text{Ш}(E)|}{|E(\mathbb{Q})_{\text{tors}}|^2}

Rank-0 BSD formula relating the central L-value to geometric factors and |Ш| (assumes BSD and finiteness of Sha).

S(E)=L(E,1)L(E,1)logNES(E) = \frac{|L'(E,1)|}{|L(E,1)| \cdot \log N_E}

Stability metric from Ghost Rank I (provided for context and comparison).

Testable Predictions (6)

Rank-0 elliptic curves exhibit a robust two-phase structure in (C, α_BSD) space with Ghost curves concentrated in a coherence phase (low C, high α_BSD).

mathpending

Falsifiable if: Independent datasets (e.g., other curve databases, larger conductor ranges, or extended LMFDB snapshots) fail to show a statistically significant bimodal/clustered structure in (C, α_BSD) or show Ghosts distributed uniformly across the plane.

The coherence phase is recoverable by unsupervised clustering: a 2-component Gaussian Mixture Model on (log10 C, log10 α_BSD) will separate Ghost vs Normal curves with ≈99.95% accuracy.

mathpending

Falsifiable if: Applying the same unsupervised GMM procedure to an independent sample yields substantially lower cluster-label agreement with |Ш| (e.g., accuracy ≪ 99%), or cluster assignments do not align with the proposed coherence quadrant boundaries.

R_BSD is not conductor-driven and not a simple proxy for |Ш| (empirical correlations: corr(R_BSD,N) ≈ 0.003, corr(R_BSD,|Ш|) ≈ −0.005).

mathpending

Falsifiable if: Reanalysis shows a significant correlation (|corr| ≫ 0.05 with p≪0.01) between R_BSD and conductor or between R_BSD and |Ш|, or controlling for known confounders reverses the reported near-zero correlations.

Spectral (zero-spacing) statistics show no difference between Ghost and Normal curves: the phase structure is a local-analytic phenomenon manifesting via L(E,1) and L'(E,1), not via global zero distribution.

mathpending

Falsifiable if: High-precision zero computations on enlarged or stratified samples reveal statistically significant differences in first-zero locations or gap distributions between Ghost and Normal populations (e.g., p≪0.01 in multiple independent tests).

After controlling torsion (|E(Q)_{tors}|=1), the separation between Ghost and Normal in R_BSD increases to ≈44× (torsion-controlled analysis yields much cleaner phase separation).

mathpending

Falsifiable if: An independent torsion=1 subset fails to show such an increased separation (e.g., measured separation ≪ 44×, not statistically significant), or torsion control does not consistently increase separation across conductor bands.

The proposed geometric coherence region defined empirically by C < 10^{-4} and α_BSD > 10^{-2} (the coherence quadrant) yields a pure Ghost region (100% Ghost rate in the dataset).

mathpending

Falsifiable if: Applying the same threshold to independent datasets yields a non-zero fraction of Normal curves in the coherence quadrant, or varying dataset/resolution shows these thresholds do not correspond to cluster boundaries with high purity.

Tags & Keywords

arithmetic geometry / number theory(domain)Birch-Swinnerton-Dyer(math)elliptic curves(math)Gaussian Mixture Model(methodology)L-functions / central values(math)spectral zero-spacing tests(methodology)Tate-Shafarevich group(math)

Keywords: elliptic curves, Birch–Swinnerton–Dyer conjecture, Tate–Shafarevich group (Sha), L-functions, Tamagawa numbers, analytic rank 0, R_BSD invariant, unsupervised clustering (GMM)

You Might Also Find Interesting

Semantically similar papers and frameworks on TOE-Share