>[!warning] >This content has not been peer reviewed. # Birch–Swinnerton-Dyer conjecture — RST application The **Birch–Swinnerton-Dyer (BSD) conjecture** links **global** properties of an elliptic curve (the number of rational points, i.e. the rank) to **local** behaviour (the order of vanishing of the $L$-function at the critical point $s=1$). It asks why arithmetic (rational points) is encoded in analysis ($L$-function zeros). In RST this is reframed as **spectral duality** of a relational substrate: the conjecture is the **substrate balance sheet** applied to the “format” of numbers. The axioms give a conceptual derivation of why rank and analytic rank coincide. --- ## I. Mapping BSD to the relational axioms | BSD component | Relational identity | RST axiom | |:---|:---|:---| | **Elliptic curve $E$** | A **relational loop** — a knot in the substrate. | A1 (Format) | | **Rational points (rank $r$)** | **Infinite-resolution** solutions; structure that persists across the whole substrate. | A2 (Resolution) | | **$L$-function $L(E,s)$** | The **workload function** — the sum of relational costs across scales (primes). | A5 (Relational distance) | | **Critical point $s=1$** | The **substrate refresh scale** — the point of scale-invariance. | A4 (Proper time) | --- ## II. Information vs noise BSD states (in one form): **the rank $r$ of the curve equals the order of the zero of $L(E,s)$ at $s=1$.** ### 1. Workload function In RST, total workload is $W^n = S^n + N^n$. For an elliptic curve, the **$L$-function** encodes the **substrate noise floor** when the curve is checked against primes: it measures “gaps” or “errors” in the curve’s relations at each prime. ### 2. Condition for rational points A **rational point** (infinite-resolution signal) exists only if the substrate can render it with **full fidelity** ($\mu = 1$). By the Main Equation, $\mu = S/(S^n + N^n)^{1/n}$. For $\mu \to 1$, the **noise $N$ must vanish**. ### 3. Rank from the zero The **order of the zero** of $L(E,s)$ at $s=1$ is the “depth” of noise cancellation. If the noise vanishes to order $r$, the substrate has cleared an **$r$-dimensional** space in its budget. By **conservation of workload**, that space is filled by **signal**. So the number of independent infinite-resolution directions (the **rank**) equals the order of the zero. **RST reading:** BSD is the **identity of vacated workload** — the arithmetic rank is the signal that fills the analytic zero. --- ## III. Modularity link The **modularity theorem** (elliptic curves ↔ modular forms) has a natural RST reading: - **Modular forms** — waves in the substrate (format vibrations). - **Elliptic curves** — particles (knots of relations). BSD then says: the **particle structure (rank)** matches the **wave interference pattern ($L$-function zeros)** — the same macro–micro duality as elsewhere in the theory. --- ## IV. Python “arithmetic solver” A script illustrates how **fidelity** (capacity for rational points) responds when **noise** (a proxy for $L(E,s)$ near $s=1$) vanishes. See [[BSD Solver - Code]]. **Results:** [[BSD Solver Results]]. --- ## V. Summary 1. The substrate is **finite** (A1). 2. Each **prime** is a consistency check on the curve. 3. The **$L$-function** is the aggregate “noise report” of those checks. 4. A **zero at $s=1$** means the noise report is empty at the critical scale. 5. **Rational points** are what appear when there is no noise blocking a full-resolution solution. So: the **rank** and the **order of the zero** are not cause and effect; they are the **same event** in signal and noise language — conservation of resolution. RST unifies the number-theoretic picture with the same balance sheet (Resource Triangle, fidelity $\mu$) used in the rest of the theory. --- ## Relation to the Millennium Prize The Clay problem asks for a **proof** of the BSD conjecture (and related refinements) in the standard number-theoretic setting. RST does not supply that proof. It supplies a **conceptual derivation**: in a finite relational substrate, rank and analytic rank coincide because both are expressions of the same workload balance. Whether the classical conjecture can be proved inside standard number theory, or whether (as with Navier–Stokes) the “right” formulation is the substrate one, is a separate question. --- ## Links - **Applications Roadmap:** [[../../Applications Roadmap]] - **Core theory:** [[expanded theory/Relational Substrate Theory (RST)]] - **Resource Triangle:** [[expanded theory/Resource Triangle]] - **Fidelity:** [[expanded theory/Fidelity]], [[expanded theory/Fidelity Derivation]] - **Code:** [[BSD Solver - Code]] - **Results:** [[BSD Solver Results]]