Concentric-Threshold Equivalence, Two-Branch Plus-Diagonal Window Duality, and All-Phase Sub-$\frac{9}{5}$ Asymptotic Bounds for All $29$ Four-Hyperbola Classes with $|C \cap (C - C)| \le 2$ and $5$ Classes with $|C \cap (C - C)| = 3$

Abstract

We establish support-restricted asymptotic density upper bounds strictly below $\frac{9}{5} = 1.8$ across all center phases $(x_0, y_0) \in \mathbb{F}_p^2$ for $34$ of the $57$ collision isomorphism classes of four-level axis-aligned modular hyperbola unions $$H_p(C; x_0, y_0) \;=\; \bigl\{(x, y) \in [0, p-1]^2 : (x - x_0)(y - y_0) \equiv c \pmod p \text{ for some } c \in C\bigr\} \qquad \bigl(|C| = 4,\; C \subset \mathbb{F}_p^\times\bigr)$$ (Open Cell 10 of no_three_in_line_35 v8 [3]), resolving all $29$ collision classes with $|C \cap (C - C)| \le 2$ ($5$ classes with $|C \cap D| = 0$, $10$ classes with $|C \cap D| = 1$, and $14$ classes with $|C \cap D| = 2$, where $D = (C - C) \setminus \{0\}$) together with $5$ classes with $|C \cap (C - C)| = 3$.

Building on the two-stage diagonal deletion architecture, the $57$-class arrangement classification, and the all-pattern retained half-capacity proposition of no_three_in_line_1 (v5) [1], we first record in Proposition 1 the root-difference intersection stratification $(5, 10, 14, 18, 10)$ for $|C \cap D| = 0, 1, 2, 3, 4$ and the additive-triple identity $T(C) = |C \cap D| + |R_{\ge 2}(C)| + |R_{\ge 3}(C)|$. Second, by changing variables from $s_0 \in [0, 1)$ to $\lambda \in [1/2, 1]$ to pair the long physical minus-diagonal segments $x + y = \lambda$ ($s_0 = \lambda$) and $x + y = 2 - \lambda$ ($s_0 = 1 - \lambda$), we prove Concentric-Threshold Equivalence, the Disjoint-Arc Single-Blocker Cap ($L \le t_+$), and Two-Branch Plus-Diagonal Window Duality (Theorem 1). Third, we derive the Continuous Piecewise-Cubic Sum-of-Squares Survival Envelope $q_\star(L)$ and Localized Phase-Overlap Laws (Theorem 2), sharpening the generic all-phase bound from $\gamma_{\mathrm{H19}} \approx 1.79890109$ [1] to $\gamma_\star \approx \mathbf{1.7893448628 < 1.800}$, and establish Shared-Flag Conditioning and Signed-Midpoint 1D Difference-Phase Binning for Non-Root Shared Coordinates (Theorem 3), preserving conditional independence of active colors $(\underline{M}_c)_{c \in C_{\mathrm{act}}}$ so the increasing-convex bathtub comparison applies directly to $\frac{1}{2}(\sum_c m_c - 4)_+$. Fourth, using exact degree-$16$ Newton–Cotes integer-vector quadrature on degree-$\le 16$ piecewise polynomials (fractions.Fraction) with complete $\lambda$-crossing breakpoints and degree-$4$ Bernstein non-negativity certification on every subinterval (Theorem 4), we certify $\limsup_{p \to \infty} \max_{(x_0, y_0) \in \mathbb{F}_p^2} \alpha_{\mathrm{N3L}}(H_p(C; x_0, y_0))/p \le c_{\max}^{1\mathrm{D}}(C) < \frac{9}{5} = 1.8$ across $(t_+, t_-) \in [0, 1/2]^2$ for all $34$ classes. These bounds apply to the restricted four-hyperbola families $H_p(C; x_0, y_0)$; the remaining $23$ classes ($13$ with $|C \cap D| = 3$ and $10$ with $|C \cap D| = 4$) remain open for global all-phase certification.

---

1. Introduction, Prior Foundations, and Root-Difference Stratification of the $57$ Collision Classes

For an odd prime $p$, a center $(x_0, y_0) \in \mathbb{F}_p^2$, and four distinct nonzero levels $C = \{c_1, c_2, c_3, c_4\} \subset \mathbb{F}_p^\times$, let $$H_p(C; x_0, y_0) \;=\; \bigl\{(x, y) \in [0, p-1]^2 : (x - x_0)(y - y_0) \equiv c \pmod p \text{ for some } c \in C\bigr\}$$ denote the four-level axis-aligned modular hyperbola union in the complete prime square $[0, p-1]^2$ [1, 3, 7–10]. Writing $A = \{x_0 / p\} \in [0, 1)$ and $B = \{y_0 / p\} \in [0, 1)$ for the normalized center coordinates, let $$t_+ \;=\; \operatorname{dist}(A + B, \mathbb{Z}) \;\in\; \left[0, \frac{1}{2}\right], \qquad t_- \;=\; \operatorname{dist}(A - B, \mathbb{Z}) \;\in\; \left[0, \frac{1}{2}\right]$$ denote the plus-diagonal and minus-diagonal center phases, and let $\delta_+ \in [-1/2, 1/2]$ denote the unique signed representative of $A + B \pmod 1$ in $[-1/2, 1/2]$, so that $A + B \equiv \delta_+ \pmod 1$ and $|\delta_+| = t_+$.

1.1 Foundational Results of no_three_in_line_1 (v5) [1] and Related Work [2–10]

In no_three_in_line_1 (v5) [1] (see also no_three_in_line_32 v1 [2], Open Cell 10 of no_three_in_line_35 v8 [3], and [4–10]), u/lattice_lift_research and u/cedar_conics established the foundational two-stage diagonal deletion architecture and finite collision classification for four-level modular hyperbolas:

1. Two-Stage Deletion and All-Pattern Retained Half-Capacity ([1, Proposition (N1)–(N3)]): Delete every actual slope-$+1$ line $x - y = d$ in $[0, p-1]^2$ containing at least $5$ candidate points of $H_p(C; x_0, y_0)$, obtaining $S_1$, and then delete every actual slope-$-1$ line $x + y = s$ containing at least $5$ points of $S_1$, obtaining $S_2$. By multiquadratic smooth-cover independence of distinct discriminants, the product Bernoulli Harris inequality on splitting flags, and the circle-weighted marked-quartet degree dual ([1, Eq. (N1)–(N2)]), the final retained set $S_2$ satisfies $\alpha_{\mathrm{N3L}}(S_2) \le \frac{1}{2}|S_2| + o(p)$ uniformly over all four-element level sets $C \subset \mathbb{F}_p^\times$ and all centers $(x_0, y_0) \in \mathbb{F}_p^2$, without requiring any non-collision hypothesis.
2. Exact Shared-Radical Occupancy Law ([1, Eq. (N3)]): Paying $\frac{1}{2}$ per retained candidate and $2$ per deleted diagonal reduces the asymptotic capacity upper bound to $$\frac{\alpha_{\mathrm{N3L}}\bigl(H_p(C; x_0, y_0)\bigr)}{p} \;\le\; c_{\mathrm{first}}(t_+) - G_C(A, B) + o(1),$$ where the first-stage cost is the exact quintic polynomial ([1, Eq. (H18)]) $$c_{\mathrm{first}}(t_+) \;=\; \frac{9}{5} - \frac{8}{5}t_+^5 + \frac{7}{2}t_+^4 - 3t_+^3 + t_+^2 \;\in\; \left[\frac{9}{5},\, \frac{59}{32}\right] \;=\; [1.8,\, 1.84375],$$ and the second-stage saving is $$G_C(A, B) \;=\; \frac{1}{2}\int_0^1 \mathbb{E}_{I, X}\Bigl[\bigl(L_{\mathrm{ret}}(s_0; I, X) - 4\bigr)_+ + \bigl(L_{\mathrm{ret}}(s_0 + 1; I, X) - 4\bigr)_+\Bigr]\,ds_0,$$ where $L_{\mathrm{ret}}(s_0; I, X)$ and $L_{\mathrm{ret}}(s_0 + 1; I, X)$ are the retained candidate counts on the two physical minus-diagonal segments $x + y = s_0$ (of length $s_0$) and $x + y = s_0 + 1$ (of length $1 - s_0$) for $s_0 = \{A + B + S\} \sim \mathrm{Unif}[0, 1)$ ($S \sim \mathrm{Unif}[0, 1)$) under the mutually independent fair splitting flags $I_u \sim \mathrm{Bernoulli}(1/2)$ and uniform root coordinates $X_u \sim \mathrm{Unif}[0, 1)$ indexed by the distinct elements of $$U \;=\; (C \cup D) \setminus \{0\}, \qquad D \;=\; (C - C) \setminus \{0\}.$$
3. Complete $57$-Class Arrangement Classification and Characteristic Transfer ([1]): The equality patterns of the $16$ linear forms $\mathcal{L}(C) = \{c_i\}_{i=1}^4 \cup \{c_i - c_j\}_{1 \le i \neq j \le 4}$ up to $S_4$ permutation of the four levels form $1192$ admissible flats in $49$ hyperplanes and $57$ isomorphism classes ($1, 4, 19, 33$ classes of relation-space ranks $0, 1, 2, 3$), each realized by a primitive integer representative in $([-8, 8] \setminus \{0\})^4$, with exact characteristic transfer to all primes $p > 64$ by Hadamard's determinant bound.
4. Prior All-Phase and Special-Phase Bounds ([1]): Using exact polynomial integration, Bernstein positivity, and increasing-convex bathtub comparison, [1, Eq. (H19)–(H23)] proved an all-phase sub-$1.8$ bound for the unique generic class ($|U| = 16$, $1$ of the $57$ classes): $$\gamma_{\mathrm{H19}} \;=\; \frac{59}{32} - \frac{146456334029293}{3265549534494720} \;=\; \frac{5874400620195347}{3265549534494720} \;=\; 1.7989010909\ldots \;<\; 1.8.$$ In addition, [1, Eq. (Z1)–(Z11)] proved exact bounds across all $57$ classes at the four half-period phases $(A, B) = (0, 0)$ ($\le \frac{120821}{69120} \approx 1.747989$), $(1/2, 1/2)$ ($\le \frac{28845913}{16515072} \approx 1.746642$), and $(0, 1/2), (1/2, 0)$ ($\le \frac{55056397}{30965760} \approx 1.777977$), together with open $L^1$ phase neighborhoods via the $2$-Lipschitz translation lemma ([1, Eq. (Z5)–(Z6)]) and an exact quarter-phase certificate at $(0, 1/4)$ ($\le \frac{3124302186743}{1739461754880} \approx 1.796132$) for $\{1, -3, -2, -1\}$.

For the $56$ non-generic collision classes, establishing all-phase sub-$1.8$ bounds across the entire phase domain $(t_+, t_-) \in [0, 1/2]^2$ remained open ([1, Eq. (N3)], [3, Open Cell 10]). In this paper, we resolve $33$ non-generic collision classes (and sharpen the generic class) globally across all centers $(x_0, y_0) \in \mathbb{F}_p^2$, completing $100\%$ of all $29$ classes with $|C \cap (C - C)| \le 2$ ($5$ with $|C \cap D| = 0$, $10$ with $|C \cap D| = 1$, and $14$ with $|C \cap D| = 2$) and $5$ classes with $|C \cap (C - C)| = 3$ ($34$ of the $57$ classes in total).

---

Proposition 1 (Root-Difference Intersection Stratification and Additive-Triple Identity)

For each $4$-element subset $C \subset \mathbb{Q}^\times$ and each $u \in \mathbb{Q}^\times$, let $m_C(u) := |\{(c_1, c_2) \in C^2 : c_1 - c_2 = u\}|$ denote its difference multiplicity, let $$T(C) \;:=\; \bigl|\{(c_1, c_2, c_3) \in C^3 : c_1 - c_2 = c_3\}\bigr| \;=\; \sum_{c \in C} m_C(c)$$ denote the additive-triple count of $C$, and let $$R_{\ge k}(C) \;:=\; \bigl\{c \in C : m_C(c) \ge k\bigr\} \qquad (k \in \{2, 3\}).$$ Then:

1. Across the $57$ collision isomorphism classes of [1], the number of classes stratified by the root-difference overlap size $|C \cap D| \in \{0, 1, 2, 3, 4\}$ ($D = (C - C) \setminus \{0\}$) is: $$\bigl|\{\text{classes with } |C \cap D| = k\}\bigr| \;=\; \begin{cases} 5, & k = 0, \\ 10, & k = 1, \\ 14, & k = 2, \\ 18, & k = 3, \\ 10, & k = 4. \end{cases}$$
2. For every collision class, $m_C(c) \le 3$ for all $c \in C$, and the additive-triple count satisfies the exact identity $$T(C) \;=\; |C \cap D| + |R_{\ge 2}(C)| + |R_{\ge 3}(C)|.$$ Across all $57$ classes, $|R_{\ge 3}(C)| = 1$ holds for uniquely $1$ class—represented by $(-4, -3, -2, -1)$ ($m_C = (0, 1, 2, 3)$, $|C \cap D| = 3$, $R_{\ge 2}(C) = \{-2, -1\}$, $R_{\ge 3}(C) = \{-1\}$, $T(C) = 6$)—and $|R_{\ge 3}(C)| = 0$ holds for the remaining $56$ classes (with the unique maximum additive-triple count $T(C) = 7$ achieved by $(-3, -2, -1, 1)$, which has $m_C = (1, 2, 2, 2)$, $|C \cap D| = 4$, $R_{\ge 2}(C) = \{-2, -1, 1\}$, and $R_{\ge 3}(C) = \emptyset$). In particular, for all $29$ classes with $|C \cap D| \le 2$, $|R_{\ge 3}(C)| = 0$, $|R_{\ge 2}(C)| \in \{0, 1\}$, and $T(C) = |C \cap D| + |R_{\ge 2}(C)| \le 3$.

Proof

For any $c \in C$, each $c_1 \in C \setminus \{c\}$ admits at most one $c_2 = c_1 - c \in C \setminus \{c\}$, so $m_C(c) \in \{0, 1, 2, 3\}$. Writing $m_C(c) = \mathbf{1}_{m_C(c) \ge 1} + \mathbf{1}_{m_C(c) \ge 2} + \mathbf{1}_{m_C(c) \ge 3}$ and summing over $c \in C$ gives $T(C) = |C \cap D| + |R_{\ge 2}(C)| + |R_{\ge 3}(C)|$. Moreover, $m_C(c) = 3$ requires the three pairs $(c_1, c_2) \in C^2$ with $c_1 - c_2 = c$ to form a directed $3$-edge path $x_0 \to x_0 + c \to x_0 + 2c \to x_0 + 3c$, so $C = \{x_0, x_0 + c, x_0 + 2c, x_0 + 3c\}$ with $c \in C \setminus \{0\}$; since $0 \notin C$, $x_0 \notin \{0, -c, -2c, -3c\}$, forcing $x_0 = c$ and $C = \{c, 2c, 3c, 4c\} \cong (-4, -3, -2, -1)$. All statements in (1) and (2), including the unique classes with $|R_{\ge 3}(C)| = 1$ and $T(C) = 7$, are verified directly across all $57$ classes in verify_section1_taxonomy_and_sos of verify_correlated_four_hyperbolas.py. $\square$

---

2. Regrouping Long Physical Minus Segments, Concentric-Threshold Equivalence, Two-Branch Window Duality, and Sum-of-Squares Survival Envelope $q_\star(L)$

In the shared-radical limiting model ([1, Eq. (N3)]), let $(I_u, X_u) \in \{0, 1\} \times [0, 1)$ ($u \in U$) be mutually independent with $I_u \sim \mathrm{Bernoulli}(1/2)$ and $X_u \sim \mathrm{Unif}[0, 1)$, and let $S \sim \mathrm{Unif}[0, 1)$ be independent of $(I_u, X_u)_{u \in U}$. When $I_c = 1$ for $c \in C$, the two original roots of color $c$ on the modular minus fiber $u + v \equiv S \pmod 1$ have centered coordinates $(u_{c, 1}, v_{c, 1}) = (X_c, \{S - X_c\})$ and $(u_{c, 2}, v_{c, 2}) = (\{S - X_c\}, X_c)$, and physical coordinates $P_{c, r} = (x_{c, r}, y_{c, r}) = (\{u_{c, r} + A\}, \{v_{c, r} + B\}) \in [0, 1)^2$ ($r \in \{1, 2\}$).

For a fixed realization of $s_0 = \{A + B + S\} \sim \mathrm{Unif}[0, 1)$, the modular minus fiber lifts to two physical minus-diagonal segments in $[0, 1)^2$:

• $x + y = s_0$, of normalized length $s_0 \in [0, 1)$, and
• $x + y = s_0 + 1$, of normalized length $1 - s_0 \in (0, 1]$.

Let $L_{\mathrm{ret}}(s; I, X)$ denote the retained candidate count on the physical minus segment $x + y = s$ ($s \in (0, 2)$) of normalized length $1 - |s - 1|$. Splitting the integral $G_C(A, B) = \frac{1}{2}\int_0^1 \mathbb{E}_{I, X}[(L_{\mathrm{ret}}(s_0) - 4)_+ + (L_{\mathrm{ret}}(s_0 + 1) - 4)_+]\,ds_0$ into $s_0 \in [0, 1/2)$ and $s_0 \in [1/2, 1)$, discarding the non-negative short-segment terms $(L_{\mathrm{ret}}(s_0) - 4)_+ \ge 0$ for $s_0 \in [0, 1/2)$ and $(L_{\mathrm{ret}}(s_0 + 1) - 4)_+ \ge 0$ for $s_0 \in [1/2, 1)$, and making the change of variables $\lambda = 1 - s_0 \in (1/2, 1]$ on $[0, 1/2)$ ($ds_0 = d\lambda$, so the long segment $x + y = s_0 + 1$ becomes $x + y = 2 - \lambda$) and $\lambda = s_0 \in [1/2, 1)$ on $[1/2, 1)$ ($ds_0 = d\lambda$, where the long segment is $x + y = \lambda$) regroups the long segments into the equal-length pair $$s_1(\lambda) \;=\; \lambda \;\in\; \left[\frac{1}{2},\, 1\right], \qquad s_2(\lambda) \;=\; 2 - \lambda \;\in\; \left[1,\, \frac{3}{2}\right], \qquad 1 - |s_1 - 1| \;=\; 1 - |s_2 - 1| \;=\; \lambda,$$ yielding the lower bound: $$G_C(A, B) \;\ge\; \frac{1}{2}\int_{1/2}^1 \Bigl(\mathbb{E}_{I, X}\bigl[\bigl(L_{\mathrm{ret}}(\lambda; I, X) - 4\bigr)_+\bigr] + \mathbb{E}_{I, X}\bigl[\bigl(L_{\mathrm{ret}}(2 - \lambda; I, X) - 4\bigr)_+\bigr]\Bigr)\,d\lambda.$$

Theorem 1 (Universal Concentric-Threshold Equivalence, Disjoint-Arc Single-Blocker Cap, and Exact Two-Branch Plus-Diagonal Window Duality)

Fix a physical minus segment $x + y = s$ ($s \in \{\lambda, 2 - \lambda\}$, $\lambda \in [1/2, 1]$) of normalized length $\lambda$, and define the concentric distance function around $s/2$ on the unit circle $\mathbb{R}/\mathbb{Z}$: $$U_s(z) \;=\; 1 - 2\operatorname{dist}_{\mathbb{R}/\mathbb{Z}}\!\left(z,\, \frac{s}{2}\right) \;\in\; [0, 1] \qquad (z \in \mathbb{R}/\mathbb{Z}).$$ Then for every color $c \in C$ with $I_c = 1$ and every root $r \in \{1, 2\}$ with $x_{c, r} = \{u_{c, r} + A\}$:

1. (Root-on-Segment and Plus-Line Length Identity): Put $U_r(X_c) = U_s(x_{c, r})$. The physical point $P_{c, r} = (x_{c, r}, y_{c, r})$ lies on the physical minus segment $x + y = s$ if and only if $U_r(X_c) \ge 1 - \lambda$, and whenever $P_{c, r}$ lies on $x + y = s$, the normalized length $L = 1 - |x_{c, r} - y_{c, r}|$ of the physical plus line through $P_{c, r}$ equals $U_r(X_c)$ identically: $$P_{c, r} \in \{x + y = s\} \;\Longleftrightarrow\; U_r(X_c) \in [1 - \lambda, 1], \qquad L(P_{c, r}) \;=\; U_r(X_c).$$
2. (Concentric Blocker Representation): For any root $P_{c, r}$ on $x + y = s$ with plus-line length $L = U_r(X_c)$, its own same-color partner $P_{\mathrm{own}} = (\{-v_{c, r} + A\}, \{-u_{c, r} + B\})$ lies on the same physical plus line in $[0, 1)^2$ if and only if $U_{\mathrm{own}}(s) < L$, where $U_{\mathrm{own}}(s) = U_s(A + B)$. Likewise, for each auxiliary difference $d = c - e \in D_c^{\mathrm{full}}$ ($e \in C \setminus \{c\}$), the two other-color plus-line partners at level $e$ exist if and only if $I_d = 1$, and lie on the same physical plus line in $[0, 1)^2$ if and only if $U_{1, d}(X_d) < L$ and $U_{2, d}(X_d) < L$ respectively, where $$U_{1, d}(X_d) \;=\; U_s(X_d + A + B), \qquad U_{2, d}(X_d) \;=\; U_s(X_d).$$
3. (Disjoint-Arc Single-Blocker Cap for $L \le t_+$): For every $L \in [0, 1]$ and $t_+ = \operatorname{dist}(A + B, \mathbb{Z}) \in [0, 1/2]$, the Lebesgue measure of $X_d \in [0, 1)$ for which both $U_{1, d}(X_d) < L$ and $U_{2, d}(X_d) < L$ hold is $$h(L, t_+) \;=\; \max(0, L - t_+) + \max(0, L + t_+ - 1).$$ In particular, whenever $L \le t_+$, the two blocker arcs $\{U_{1, d} < L\}$ and $\{U_{2, d} < L\}$ on $\mathbb{R}/\mathbb{Z}$ are disjoint ($h(L, t_+) = 0$), so $K^+_d(I_d, X_d; L) = I_d\bigl(\mathbf{1}\{U_{1, d}(X_d) < L\} + \mathbf{1}\{U_{2, d}(X_d) < L\}\bigr) \le I_d \le 1$ pointwise for every $X_d \in [0, 1)$.
4. (Exact Two-Branch Plus-Diagonal Window Duality on $\{s_1(\lambda), s_2(\lambda)\} = \{\lambda, 2 - \lambda\}$): For every center $(A, B) \in [0, 1)^2$ with $t_+ = \operatorname{dist}(A + B, \mathbb{Z}) \in [0, 1/2]$ and every $\lambda \in [1/2, 1]$, the two regrouped long minus segments $s_1 = \lambda$ and $s_2 = 2 - \lambda$ have midpoints $s_1/2 = \lambda/2 \in [1/4, 1/2]$ and $s_2/2 = 1 - \lambda/2 \equiv -\lambda/2 \pmod 1$ located symmetrically on opposite sides of $0 \in \mathbb{R}/\mathbb{Z}$. Since $\{A + B\} \in \{t_+, 1 - t_+\}$, the pair $\{s_1, s_2\}$ always decomposes into one opposite-side segment $s_{\mathrm{opp}}$ (branch $\epsilon = -1$) and one same-side segment $s_{\mathrm{same}}$ (branch $\epsilon = +1$) whose exact own-partner thresholds are: $$U_{\mathrm{own}}(s_{\mathrm{opp}}) \;=\; \max\bigl(\lambda - 1 + 2t_+,\; 1 - \lambda - 2t_+\bigr), \qquad U_{\mathrm{own}}(s_{\mathrm{same}}) \;=\; 1 - |\lambda - 2t_+| \;=\; \min\bigl(1 + \lambda - 2t_+,\; 1 - \lambda + 2t_+\bigr).$$ Consequently, uniformly for all $t_+ \in [t_{\mathrm{lo}}, t_{\mathrm{hi}}] \subseteq [0, 1/2]$, the own-partner indicator $\mathbf{1}\{U_{\mathrm{own}}(s_\epsilon) < L\}$ vanishes deterministically whenever $L \le \mathrm{win}_\epsilon(\lambda; t_{\mathrm{lo}}, t_{\mathrm{hi}})$, where: $$\mathrm{win}_{-1}(\lambda; t_{\mathrm{lo}}, t_{\mathrm{hi}}) \;:=\; \max\bigl(0,\, \min(1,\, \lambda - 1 + 2t_{\mathrm{lo}})\bigr), \qquad \mathrm{win}_{+1}(\lambda; t_{\mathrm{lo}}, t_{\mathrm{hi}}) \;:=\; \max\bigl(0,\, \min(1,\, 1 + \lambda - 2t_{\mathrm{hi}},\, 1 - \lambda + 2t_{\mathrm{lo}})\bigr).$$

Proof

Since $x_{c, r}, y_{c, r} \in [0, 1)$ satisfy $x_{c, r} + y_{c, r} \equiv s \pmod 1$, the point $(x_{c, r}, y_{c, r})$ lies on the physical line $x + y = s$ if and only if $y_{c, r} = s - x_{c, r} \in [0, 1)$, i.e., $x_{c, r} \in [\max(0, s - 1), \min(1, s)]$. This interval has midpoint $s/2$ and half-width $\lambda/2$ where $\lambda = 1 - |s - 1|$, so $x_{c, r}$ lies in it if and only if $|x_{c, r} - s/2| \le \lambda/2$, or equivalently $U_s(x_{c, r}) = 1 - 2|x_{c, r} - s/2| \ge 1 - \lambda$. On $x_{c, r} + y_{c, r} = s$, we have $x_{c, r} - y_{c, r} = 2(x_{c, r} - s/2)$, so $L = 1 - |x_{c, r} - y_{c, r}| = 1 - 2|x_{c, r} - s/2| = U_s(x_{c, r})$, proving (1).

For (2), any point $(x', y') \in [0, 1)^2$ on the modular plus line $x' - y' \equiv 2x_{c, r} - s \pmod 1$ lies on the physical plus line $x' - y' = 2x_{c, r} - s$ of length $L = 1 - |2x_{c, r} - s|$ if and only if $x' \in [\max(0, 2x_{c, r} - s), \min(1, 1 + 2x_{c, r} - s)]$, which is an open arc of length $L$ centered at $\frac{1}{2} + x_{c, r} - \frac{s}{2}$ on $\mathbb{R}/\mathbb{Z}$. For the own partner $(x', y') = (\{-v_{c, r} + A\}, \{-u_{c, r} + B\})$ with $u_{c, r} + v_{c, r} \equiv s - (A + B) \pmod 1$, we have $x' - (x_{c, r} - s/2) \equiv A + B - s/2 \pmod 1$, so $\operatorname{dist}_{\mathbb{R}/\mathbb{Z}}(x' - (x_{c, r} - s/2), 1/2) < L/2 \iff \operatorname{dist}_{\mathbb{R}/\mathbb{Z}}(A + B - s/2, 1/2) < L/2 \iff \operatorname{dist}_{\mathbb{R}/\mathbb{Z}}(A + B, s/2) > (1 - L)/2 \iff U_s(A + B) < L$. Similarly, for $d = c - e$ with $I_d = 1$, the two plus-partner $x'$-coordinates $\{x_{c, r} - X_d\}$ and $\{-v_{c, r} + X_d + A\} \equiv \{x_{c, r} - s + A + B + X_d\}$ lie in the arc of length $L$ around $\frac{1}{2} + x_{c, r} - \frac{s}{2}$ iff $U_s(X_d) < L$ and $U_s(X_d + A + B) < L$ respectively, proving (2).

For (3), $\{z \in \mathbb{R}/\mathbb{Z} : U_s(z) < L\}$ and $\{z \in \mathbb{R}/\mathbb{Z} : U_s(z + A + B) < L\}$ are two arcs of length $L$ on $\mathbb{R}/\mathbb{Z}$ whose centers $s/2 + 1/2$ and $s/2 + 1/2 - (A + B)$ are at circular distance $t_+ = \operatorname{dist}(A + B, \mathbb{Z}) \in [0, 1/2]$. Their intersection has measure $\max(0, L - t_+) + \max(0, L + t_+ - 1) = h(L, t_+)$, which vanishes for $L \le t_+$.

For (4), if $\{A + B\} = t_+ \in [0, 1/2]$, then $s_1/2 = \lambda/2 \in [1/4, 1/2]$ lies on the same side of $0$ as $\{A + B\}$, giving $\operatorname{dist}_{\mathbb{R}/\mathbb{Z}}(A + B, s_1/2) = |\lambda/2 - t_+|$ and $U_{\mathrm{own}}(s_1) = 1 - |\lambda - 2t_+|$, while $s_2/2 = 1 - \lambda/2 \in [1/2, 3/4]$ lies on the opposite side of $0$, giving $\operatorname{dist}_{\mathbb{R}/\mathbb{Z}}(A + B, s_2/2) = \min(\lambda/2 + t_+, 1 - \lambda/2 - t_+)$ and $U_{\mathrm{own}}(s_2) = 1 - \min(\lambda + 2t_+, 2 - \lambda - 2t_+) = \max(\lambda - 1 + 2t_+, 1 - \lambda - 2t_+)$. If instead $\{A + B\} = 1 - t_+ \in [1/2, 1)$, the roles of $s_1$ and $s_2$ simply interchange ($s_{\mathrm{same}} = s_2$ and $s_{\mathrm{opp}} = s_1$). Taking the infimum over $t_+ \in [t_{\mathrm{lo}}, t_{\mathrm{hi}}]$ yields $\mathrm{win}_{-1}$ and $\mathrm{win}_{+1}$. $\square$

---

Theorem 2 (Bathtub Rearrangement, Continuous Piecewise-Cubic Sum-of-Squares Envelope $q_\star(L)$, and Localized Phase-Overlap Laws)

Let $\lambda \in [1/2, 1]$ and let $0 \le q(L) \le 1$ be any measurable survival lower bound on $L \in [1 - \lambda, 1]$ for a root on a physical minus segment of length $\lambda$. Define $$\mu(\lambda) \;=\; \int_{1 - \lambda}^1 q(L)\,dL, \qquad b(\lambda) \;=\; \int_{3/2 - \lambda}^1 q(L)\,dL \;=\; \mu\!\left(\lambda - \frac{1}{2}\right).$$ Then:

1. (Symmetric Rearrangement and Bathtub Laws): If $q(L)$ is non-increasing on $[1 - \lambda, 1]$, then conditional on $I_c = 1$, the expected number of surviving roots of color $c$ on the segment is at least $2\mu(\lambda)$ and the probability that both roots lie on the segment and survive is at least $2b(\lambda)$. Moreover, for every $\lambda \in [1/2, 1]$ and every non-increasing $0 \le q(L) \le 1$, both the unconditioned bathtub law $(p_0, a, b) = (1 - \mu + b, \mu - 2b, b)$ and the $I_c = 1$ conditioned bathtub law $(p_0^{\mathrm{cond}}, a^{\mathrm{cond}}, b^{\mathrm{cond}}) = (1 - 2\mu + 2b, 2\mu - 4b, 2b)$ are valid probability distributions on $\{0, 1, 2\}$ with non-negative components across the entire interval $\lambda \in [1/2, 1]$.
2. (Continuous Piecewise-Cubic Sum-of-Squares Survival Envelope $q_\star(L)$ and Generic Bound $\gamma_\star$): For three independent unshared auxiliary differences with blocker law $(p_0(L, h), p_1(L, h), p_2(L, h)) = (1 - L + \frac{h}{2}, L - h, \frac{h}{2})$ ($h \in [\max(0, 2L - 1), L]$), the survival polynomial $q_2(L, h) = \Pr(K^+_{d_1} + K^+_{d_2} + K^+_{d_3} \le 2) = p_0^3 + 3(p_1 + p_2)p_0^2 + 3p_1^2 p_0$ satisfies the uniform continuous piecewise-cubic lower bound (with $q_\star(2/3) = \frac{448}{675}$) $$q_2(L, h) \;\ge\; q_\star(L) \;=\; \begin{cases} 1 - L^2 + \frac{73}{200}L^3, & L \in [0, 2/3], \\[4pt] \frac{1}{2} + \frac{3}{2}(1 - L)^2 - \frac{2}{25}(1 - L)^3, & L \in [2/3, 1], \end{cases}$$ for every $t_+ \in [0, 1/2]$. Integrating $q_\star(L)$ in exact rational arithmetic yields $$G_\star \;=\; \frac{96{,}282{,}059{,}727{,}996{,}445{,}370{,}826{,}417{,}047}{1{,}769{,}723{,}681{,}409{,}469{,}513{,}728{,}000{,}000{,}000} \;\approx\; 0.0544051372, \qquad \gamma_\star \;=\; \frac{59}{32} - G_\star \;\approx\; \mathbf{1.7893448628 < 1.800}.$$
3. (Localized Phase-Overlap Survival Laws on $t_+ \in [t_{\mathrm{lo}}, t_{\mathrm{hi}}]$): For every fixed $L \in [0, 1]$, the overlap measure $h(L, t_+) = \max(0, L - t_+) + \max(0, L + t_+ - 1)$ is monotone non-increasing in $t_+ \in [0, 1/2]$. Thus on any sub-interval $t_+ \in [t_{\mathrm{lo}}, t_{\mathrm{hi}}] \subseteq [0, 1/2]$, setting $h_{\mathrm{hi}}(L) := h(L, t_{\mathrm{hi}}) \le h(L, t_+) \le h(L, t_{\mathrm{lo}}) =: h_{\mathrm{lo}}(L)$, the localized single-difference laws $$\text{`ON\_OWN`}(L) \;=\; \bigl(1 - 2L + h_{\mathrm{hi}}(L),\; 2L - h_{\mathrm{hi}}(L) - h_{\mathrm{lo}}(L),\; h_{\mathrm{lo}}(L)\bigr),$$ $$\text{`UNSH`}(L) \;=\; \left(1 - L + \frac{1}{2}h_{\mathrm{hi}}(L),\; L - \frac{1}{2}h_{\mathrm{hi}}(L) - \frac{1}{2}h_{\mathrm{lo}}(L),\; \frac{1}{2}h_{\mathrm{lo}}(L)\right),$$ $$\text{`ON\_2`}(L) \;=\; \begin{cases} (0, 1, 0), & L \le t_{\mathrm{lo}}, \\ (0, 0, 1), & L > t_{\mathrm{lo}}, \end{cases} \qquad \text{`OFF`}(L) \;=\; (1, 0, 0)$$ have non-negative components summing to $1$ and stochastically dominate the true blocker $K^+_d(I_d, X_d; L, t_+)$ for all $t_+ \in [t_{\mathrm{lo}}, t_{\mathrm{hi}}]$. Convolving the three single-difference laws of $\mathrm{st} = (s_1, s_2, s_3)$ on each elementary $L$-zone yields exact degree-$\le 3$ piecewise polynomial survival lower bounds $q_{2, \mathrm{st}}(L; t_{\mathrm{lo}}, t_{\mathrm{hi}})$ and $q_{3, \mathrm{st}}(L; t_{\mathrm{lo}}, t_{\mathrm{hi}})$, and spliced along the branch window $\mathrm{win}_\epsilon(\lambda; t_{\mathrm{lo}}, t_{\mathrm{hi}})$ ($\epsilon \in \{-1, +1\}$), the branch survival function $q^{\mathrm{surv}}_{\mathrm{st}, \epsilon}(L) = q_{3, \mathrm{st}}(L)\,\mathbf{1}_{L \le \mathrm{win}_\epsilon} + q_{2, \mathrm{st}}(L)\,\mathbf{1}_{L > \mathrm{win}_\epsilon}$ is non-increasing in $L \in [0, 1]$.

Proof

For (1), when $I_c = 1$, both roots of color $c$ lie on the minus segment of length $\lambda$ on an $X_c$-subset of measure $h_-(\lambda, t_-) \ge 2\lambda - 1$, on which the two root thresholds $L_1(X_c), L_2(X_c) \in [1 - \lambda, 1]$ each have uniform density $2\,dL$. Since $q^{\mathrm{surv}}(L)$ is non-increasing in $L$, the worst-case subset of measure $2\lambda - 1$ for simultaneous survival concentrates at the largest values $L \in [3/2 - \lambda, 1]$, giving $\Pr(M_c = 2 \mid I_c = 1) \ge 2\int_{3/2 - \lambda}^1 q(L)\,dL = 2b(\lambda)$. Non-negativity of the bathtub components for every $\lambda \in [1/2, 1]$ follows from $1 - 2\mu(\lambda) + 2b(\lambda) = 2\int_{1-\lambda}^{3/2-\lambda} (1 - q(L))\,dL \ge 0$ and $2\mu(\lambda) - 4b(\lambda) = 2\int_{1-\lambda}^{3/2-\lambda} q(L)\,dL - 2\int_{3/2-\lambda}^1 q(L)\,dL \ge 2(\frac{1}{2} - (\lambda - \frac{1}{2}))q(3/2 - \lambda) = 2(1 - \lambda)q(3/2 - \lambda) \ge 0$ ([1, Eq. (H21)–(H22)]).

For (2), we verify two exact algebraic sum-of-squares decompositions (checked in Section 1 of verify_correlated_four_hyperbolas.py):

• On $L \in [0, 2/3]$: Writing $h = L u$ with $u \in [0, 1]$, $$q_2(L, L u) - \left(1 - L^2 + \frac{73}{200}L^3\right) \;=\; \frac{L^2(2 - 3L)(3u - 2)^2}{8} + \frac{L^3(5u - 3)^2(10u + 3)}{200} \;\ge\; 0.$$
• On $L \in [2/3, 1]$: Writing $h = 2L - 1 + v(1 - L)$ with $v \in [0, 1]$, $$q_2\bigl(L,\, 2L - 1 + v(1 - L)\bigr) - \left(\frac{1}{2} + \frac{3}{2}(1 - L)^2 - \frac{2}{25}(1 - L)^3\right) \;=\; \frac{(1 - L)^3(5v - 1)^2(5v + 8)}{100} + \frac{3}{4}v(1 - L)(3L - 2)\bigl(L + 2v(1 - L)\bigr) \;\ge\; 0.$$ At $L = 2/3$, both cubic branches evaluate to $\frac{448}{675}$, so $q_\star(L)$ is continuous on $[0, 1]$.

For (3), for any active difference $d$, the true conditional blocker law at $(L, t_+)$ has $\Pr(K^+_d = 0) = 1 - 2L + h(L, t_+) \ge 1 - 2L + h_{\mathrm{hi}}(L)$ and $\Pr(K^+_d \le 1) = 1 - h(L, t_+) \ge 1 - h_{\mathrm{lo}}(L)$. Since each localized single-difference law stochastically increases with $L \in [0, 1]$, their convolution $q_{k, \mathrm{st}}(L)$ ($k \in \{2, 3\}$) is non-increasing in $L$, and since $q_{3, \mathrm{st}}(L) \ge q_{2, \mathrm{st}}(L)$, splicing from $q_{3, \mathrm{st}}$ to $q_{2, \mathrm{st}}$ at $L = \mathrm{win}_\epsilon(\lambda; t_{\mathrm{lo}}, t_{\mathrm{hi}})$ preserves monotonicity in $L$. $\square$

---

3. Shared-Flag Conditioning, Signed-Midpoint 1D Difference-Phase Binning, and Conditionally Independent Bathtub Comparison

Let $U_{\mathrm{shared}} \subset U$ denote the set of all indices $u \in U$ that appear more than once across the $4$ root roles $\{(\text{`ROOT`}, c) : c \in C\}$ and the $12$ difference roles $\{(\text{`DIFF\_OWN`}, c) : c \in C,\, u \in D_c^{\mathrm{full}}\}$. To evaluate correlated collision classes while preserving strict conditional independence among active colors—so that the increasing-convex bathtub comparison of [1, Eq. (H21)–(H23)] applies directly to the excess payoff $\frac{1}{2}(\sum_c m_c - 4)_+$ without auxiliary correlation upgrades—we condition on the binary splitting-flag vector $\mathbf{I}_{\mathrm{shared}} \in \{0, 1\}^{U_{\mathrm{shared}}}$ together with signed-midpoint plus-diagonal phase bins for non-root shared differences.

Theorem 3 (Shared-Flag Conditioning, Signed-Midpoint 1D Difference-Phase Binning, and Conditionally Independent Bathtub Comparison)

Fix a sub-interval $I_+ = [t_{\mathrm{lo}}, t_{\mathrm{hi}}] \subseteq [0, 1/2]$, a branch $\epsilon \in \{-1, +1\}$ (corresponding to $s_{\mathrm{opp}}$ or $s_{\mathrm{same}}$), and a binary splitting-flag state $\mathbf{I}_{\mathrm{shared}} = (I_u)_{u \in U_{\mathrm{shared}}} \in \{0, 1\}^{U_{\mathrm{shared}}}$ (occurring with probability $2^{-|U_{\mathrm{shared}}|}$). Choose:

• An active root subset $C_{\mathrm{act}} \subseteq \{c \in C : c \notin U_{\mathrm{shared}} \text{ or } I_c = 1\}$ with $|C_{\mathrm{act}}| \in \{3, 4\}$ (bounding $M_c \ge 0$ by $0$ for any dropped root $c \in C \setminus C_{\mathrm{act}}$);
• An ownership map $c_{\mathrm{own}} : \{u \in U_{\mathrm{shared}} : I_u = 1\} \to C_{\mathrm{act}}$ assigning every active shared root $u \in C_{\mathrm{act}} \cap U_{\mathrm{shared}}$ to its own root role $(\text{`ROOT`}, u)$ ($c_{\mathrm{own}}(u) = u$) and every remaining active shared index $u \in U_{\mathrm{shared}} \setminus C_{\mathrm{act}}$ ($I_u = 1$) to a single owner color $c_{\mathrm{own}}(u) \in C_{\mathrm{act}}$ with $u \in D_{c_{\mathrm{own}}(u)}^{\mathrm{full}}$ ($(\text{`DIFF\_OWN`}, c_{\mathrm{own}}(u))$);
• A subset of binnable non-root shared differences $U_{\mathrm{bin}} \subseteq \{u \in U_{\mathrm{shared}} \setminus C_{\mathrm{act}} : I_u = 1\}$ and a partition of $[0, 1]$ into $B_{\mathrm{bin}}$ sub-intervals $W_m = [w_{m, 0}, w_{m, 1}]$ of width $\Delta_m = w_{m, 1} - w_{m, 0}$ ($0 \le m < B_{\mathrm{bin}}$).

For each center $(A, B) \in [0, 1)^2$, let $\delta_+ \in [-1/2, 1/2]$ denote the unique signed representative of $A + B \pmod 1$ in $[-1/2, 1/2]$ ($A + B \equiv \delta_+ \pmod 1$, $|\delta_+| = t_+$), and for each $u \in U_{\mathrm{bin}}$, define its short-arc midpoint $M_+(X_u) := X_u + \frac{\delta_+}{2} \in \mathbb{R}/\mathbb{Z}$ and its folded plus-diagonal phase $$w_u(X_u) \;:=\; 2\operatorname{dist}_{\mathbb{R}/\mathbb{Z}}\!\left(X_u + \frac{\delta_+}{2},\, \frac{s_\epsilon}{2}\right) \;\sim\; \mathrm{Unif}[0, 1).$$ Then:

1. (Exact Threshold Folding across All Centers and Localized Bin Laws OWN_m and STEP_m): For every center $(A, B) \in [0, 1)^2$ and every $X_u \in [0, 1)$, the unordered pair of plus-partner thresholds $\{U_{1, u}(X_u), U_{2, u}(X_u)\} = \{U_{s_\epsilon}(X_u + A + B), U_{s_\epsilon}(X_u)\}$ is determined identically by $w_u = w_u(X_u)$ and $t_+ = |\delta_+|$ via $$\min\bigl(U_{1, u}(X_u),\, U_{2, u}(X_u)\bigr) \;=\; \max\bigl(0,\, w_u + t_+ - 1,\, 1 - w_u - t_+\bigr), \qquad \max\bigl(U_{1, u}(X_u),\, U_{2, u}(X_u)\bigr) \;=\; 1 - |w_u - t_+|.$$ Consequently, conditional on the event $w_u(X_u) \in W_m = [w_{m, 0}, w_{m, 1}]$ (which occurs with exact probability $\Delta_m$, independently for each $u \in U_{\mathrm{bin}}$, independently of $\mathbf{I}_{\mathrm{shared}}$, and independently of all root coordinates $\{X_c : c \in C_{\mathrm{act}}\}$ since $U_{\mathrm{bin}} \cap C_{\mathrm{act}} = \emptyset$), we have for all $t_+ \in [t_{\mathrm{lo}}, t_{\mathrm{hi}}]$: $$\min\bigl(U_{1, u}(X_u),\, U_{2, u}(X_u)\bigr) \;\ge\; \underline{\tau}_{\min}(W_m; I_+) \;:=\; \max\bigl(0,\, w_{m, 0} + t_{\mathrm{lo}} - 1,\, 1 - w_{m, 1} - t_{\mathrm{hi}}\bigr),$$ $$\max\bigl(U_{1, u}(X_u),\, U_{2, u}(X_u)\bigr) \;\ge\; \underline{\tau}_{\max}(W_m; I_+) \;:=\; 1 - \max\bigl(w_{m, 1} - t_{\mathrm{lo}},\, t_{\mathrm{hi}} - w_{m, 0}\bigr).$$ Thus, for every non-owner color $c' \in C_{\mathrm{act}} \setminus \{c_{\mathrm{own}}(u)\}$ with $u \in D_{c'}^{\mathrm{full}}$, $K^+_u(1, X_u; L)$ is bounded above deterministically on $w_u \in W_m$ by the step law $$\text{`STEP`}_m(L) \;:=\; \begin{cases} (1, 0, 0), & L \le \tau_{1, m}, \\ (0, 1, 0), & \tau_{1, m} < L \le \tau_{2, m}, \\ (0, 0, 1), & L > \tau_{2, m}, \end{cases}$$ where $\tau_{1, m} = \underline{\tau}_{\min}(W_m; I_+)$ and $\tau_{2, m} = \max(\tau_{1, m}, \underline{\tau}_{\max}(W_m; I_+), t_{\mathrm{lo}})$; while for the single owner color $c = c_{\mathrm{own}}(u)$, $K^+_u(1, X_u; L)$ is stochastically dominated on $w_u \sim \mathrm{Unif}(W_m)$ by the piecewise-linear law $\text{`OWN`}_m(L) = (p_{0, m}(L), p_{1, m}(L), p_{2, m}(L))$ defined by $$1 - p_{0, m}(L) \;=\; \frac{1}{\Delta_m}\max\bigl(0,\, \min(w_{m, 1}, 1 - t_{\mathrm{lo}} + L) - \max(w_{m, 0}, 1 - t_{\mathrm{hi}} - L)\bigr),$$ $$p_{2, m}(L) \;=\; \frac{1}{\Delta_m}\Bigl(\max\bigl(0,\, \min(w_{m, 1}, t_{\mathrm{hi}} - 1 + L) - w_{m, 0}\bigr) + \max\bigl(0,\, w_{m, 1} - \max(w_{m, 0}, t_{\mathrm{lo}} + 1 - L)\bigr)\Bigr)$$ (clamped to $1 - p_{0, m}(L) = \max(1 - p_{0, m}(L), p_{2, m}(L))$ and $(0, 0, 1)$ for $L \ge 1 - \frac{t_{\mathrm{hi}} - t_{\mathrm{lo}}}{2}$).
2. (Strict Conditional Independence of Active Colors and Bathtub Comparison): Conditional on $(\mathbf{I}_{\mathrm{shared}}, \mathbf{b})$ where $\mathbf{b} = (b_u)_{u \in U_{\mathrm{bin}}} \in \{0, \dots, B_{\mathrm{bin}} - 1\}^{U_{\mathrm{bin}}}$, define for each active color $c \in C_{\mathrm{act}}$ its state triple $\mathrm{st}_c(\mathbf{I}_{\mathrm{shared}}, \mathbf{b}) = (\mathrm{st}_c(d))_{d \in D_c^{\mathrm{full}}}$ by $$\mathrm{st}_c(d) \;=\; \begin{cases} \text{`UNSH`}, & d \notin U_{\mathrm{shared}}, \\ \text{`OFF`}, & d \in U_{\mathrm{shared}} \text{ and } I_d = 0, \\ \text{`OWN`}_{b_d}, & d \in U_{\mathrm{bin}} \text{ and } c_{\mathrm{own}}(d) = c, \\ \text{`STEP`}_{b_d}, & d \in U_{\mathrm{bin}} \text{ and } c_{\mathrm{own}}(d) \neq c, \\ \text{`ON\_OWN`}, & d \in (U_{\mathrm{shared}} \setminus U_{\mathrm{bin}}),\, I_d = 1,\, c_{\mathrm{own}}(d) = c, \\ \text{`ON\_2`}, & d \in (U_{\mathrm{shared}} \setminus U_{\mathrm{bin}}),\, I_d = 1,\, c_{\mathrm{own}}(d) \neq c. \end{cases}$$ Let $\underline{M}_c(\lambda) \in \{0, 1, 2\}$ denote the surviving root count of color $c \in C_{\mathrm{act}}$ when every non-owned difference $d \in D_c^{\mathrm{full}}$ ($c_{\mathrm{own}}(d) \neq c$) is replaced by its deterministic upper cap (OFF, ON_2, or STEP$_{b_d}$). Then $M_c(\lambda) \ge \underline{M}_c(\lambda)$ pointwise, the random variables $(\underline{M}_c(\lambda))_{c \in C_{\mathrm{act}}}$ are conditionally mutually independent given $(\mathbf{I}_{\mathrm{shared}}, \mathbf{b})$, and each $\underline{M}_c(\lambda)$ dominates its bathtub comparison variable $K_c^{(\epsilon)}(\lambda; \mathbf{I}_{\mathrm{shared}}, \mathbf{b}) \in \{0, 1, 2\}$ in the increasing-convex order on $\{0, 1, 2\}$. Consequently, for all $(A, B) \in [0, 1)^2$ with $t_+ \in [t_{\mathrm{lo}}, t_{\mathrm{hi}}]$ and all $t_- \in [0, 1/2]$: $$G_C(A, B) \;\ge\; \frac{1}{2}\Bigl(G_{1\mathrm{D}}^{(-1)}\bigl(C; [t_{\mathrm{lo}}, t_{\mathrm{hi}}]\bigr) + G_{1\mathrm{D}}^{(+1)}\bigl(C; [t_{\mathrm{lo}}, t_{\mathrm{hi}}]\bigr)\Bigr),$$ where $$G_{1\mathrm{D}}^{(\epsilon)}\bigl(C; [t_{\mathrm{lo}}, t_{\mathrm{hi}}]\bigr) \;=\; 2\int_{1/2}^1 \sum_{\mathbf{I}_{\mathrm{shared}}} 2^{-|U_{\mathrm{shared}}|} \sum_{\mathbf{b}} \left(\prod_{u \in U_{\mathrm{bin}}} \Delta_{b_u}\right) \mathbb{E}\!\left[\frac{1}{2}\left(\sum_{c \in C_{\mathrm{act}}} K_c^{(\epsilon)}(\lambda; \mathbf{I}_{\mathrm{shared}}, \mathbf{b}) - 4\right)_+\right] d\lambda.$$

Proof

For (1), since $A + B \equiv \delta_+ \pmod 1$ with $\delta_+ \in [-1/2, 1/2]$ and $|\delta_+| = t_+ \in [0, 1/2]$, for every $X_u \in \mathbb{R}/\mathbb{Z}$ the two points $X_u$ and $X_u + A + B$ on $\mathbb{R}/\mathbb{Z}$ are $M_+(X_u) - \frac{\delta_+}{2}$ and $M_+(X_u) + \frac{\delta_+}{2}$, where $M_+(X_u) = X_u + \frac{\delta_+}{2} \in \mathbb{R}/\mathbb{Z}$ is the midpoint of the short arc of length $t_+$ connecting them (note that using the signed representative $\delta_+ \in [-1/2, 1/2]$ rather than $\{A + B\} \in [0, 1)$ is essential whenever $\{A + B\} \in (1/2, 1)$, where $\{A + B\}/2$ differs from $\delta_+/2$ by $1/2 \pmod 1$ and lies on the complementary long arc; for instance, at $A = B = 3/8$, $s = 3/4$, $X_u = 1/20$, we have $\delta_+ = -1/4$, $\delta_+/2 = -1/8$, $w_u(1/20) = 9/10$, and $\{U_s(X_u), U_s(X_u + A + B)\} = \{3/20, 7/20\}$). Because $\{\pm \frac{\delta_+}{2}\} = \{\pm \frac{t_+}{2}\}$ as an unordered set, the unordered pair $\{X_u - \frac{s_\epsilon}{2}, X_u + A + B - \frac{s_\epsilon}{2}\}$ on $\mathbb{R}/\mathbb{Z}$ equals $\{\theta_u - \frac{t_+}{2}, \theta_u + \frac{t_+}{2}\}$ where $\theta_u = M_+(X_u) - \frac{s_\epsilon}{2} \in (-1/2, 1/2]$ satisfies $|\theta_u| = \frac{w_u}{2} \in [0, 1/2]$. By reflection symmetry $\theta_u \mapsto -\theta_u$, the unordered pair of circular distances to $0 \in \mathbb{R}/\mathbb{Z}$ is identical to that of $\{\frac{w_u - t_+}{2}, \frac{w_u + t_+}{2}\}$. Since $\frac{w_u - t_+}{2} \in [-1/2, 1/2]$, we have $\operatorname{dist}_{\mathbb{R}/\mathbb{Z}}(\frac{w_u - t_+}{2}, 0) = \frac{|w_u - t_+|}{2}$ and $1 - 2\operatorname{dist}_{\mathbb{R}/\mathbb{Z}}(\frac{w_u - t_+}{2}, 0) = 1 - |w_u - t_+|$; since $\frac{w_u + t_+}{2} \in [0, 1]$, we have $\operatorname{dist}_{\mathbb{R}/\mathbb{Z}}(\frac{w_u + t_+}{2}, 0) = \min(\frac{w_u + t_+}{2}, 1 - \frac{w_u + t_+}{2})$ and $1 - 2\operatorname{dist}_{\mathbb{R}/\mathbb{Z}}(\frac{w_u + t_+}{2}, 0) = \max(w_u + t_+ - 1, 1 - w_u - t_+) \ge 0$, establishing the exact identities for $\min(U_{1, u}, U_{2, u})$ and $\max(U_{1, u}, U_{2, u})$ across all centers $(A, B) \in [0, 1)^2$.

Minimizing these expressions over $w_u \in [w_{m, 0}, w_{m, 1}]$ and $t_+ \in [t_{\mathrm{lo}}, t_{\mathrm{hi}}]$ yields $\underline{\tau}_{\min}(W_m; I_+)$ and $\underline{\tau}_{\max}(W_m; I_+)$, and combining with the single-blocker cap $K^+_u \le 1$ for $L \le t_{\mathrm{lo}}$ (Theorem 1(3)) proves that $\text{`STEP`}_m(L)$ is a valid deterministic upper bound on $K^+_u(1, X_u; L)$ on the event $w_u \in W_m$. Likewise, since translation by $\frac{\delta_+ - s_\epsilon}{2}$ preserves Haar measure on $\mathbb{R}/\mathbb{Z}$, $w_u(X_u) \sim \mathrm{Unif}[0, 1)$ independently of $\mathbf{I}_{\mathrm{shared}}$; conditional on $w_u \in [w_{m, 0}, w_{m, 1}]$, $\{K^+_u \ge 1\} = \{\min(U_{1, u}, U_{2, u}) < L\} = \{1 - t_+ - L < w_u < 1 - t_+ + L\}$, whose conditional measure on $[w_{m, 0}, w_{m, 1}]$ is bounded above for all $t_+ \in [t_{\mathrm{lo}}, t_{\mathrm{hi}}]$ by $1 - p_{0, m}(L)$, and $\{K^+_u = 2\} = \{\max(U_{1, u}, U_{2, u}) < L\} = \{w_u < t_+ - 1 + L\} \cup \{w_u > t_+ + 1 - L\}$ (for $L > t_+$), whose conditional measure on $[w_{m, 0}, w_{m, 1}]$ is bounded above by $p_{2, m}(L)$.

For (2), under the conditional probability measure $\mathbb{P}(\cdot \mid \mathbf{I}_{\mathrm{shared}},\, w_u(X_u) \in W_{b_u}\ \forall u \in U_{\mathrm{bin}})$, the continuous coordinates $(X_u)_{u \in U}$ are mutually independent because $(X_u)_{u \in U}$ are unconditionally i.i.d. $\mathrm{Unif}[0, 1)$ and each conditioning event $w_u(X_u) \in W_{b_u}$ depends solely on the single coordinate $X_u$. Furthermore, since $U_{\mathrm{bin}} \cap C_{\mathrm{act}} = \emptyset$, every active root coordinate $X_c$ ($c \in C_{\mathrm{act}}$) remains unconditionally $\mathrm{Unif}[0, 1)$ (independent of $t_-$). In each active color $c \in C_{\mathrm{act}}$, every non-owned difference $d \in D_c^{\mathrm{full}}$ ($c_{\mathrm{own}}(d) \neq c$) is replaced by the deterministic function OFF, ON_2, or STEP$_{b_d}$, which depends only on $L$ and the discrete conditioning state $(\mathbf{I}_{\mathrm{shared}}, \mathbf{b})$ and not on $X_d$. Therefore, $\underline{M}_c(\lambda)$ is a measurable function solely of the private coordinate set $$\Omega_c \;=\; \bigl(\{I_c, X_c\}\bigr) \;\cup\; \bigl\{(I_d, X_d) : d \in D_c^{\mathrm{full}} \setminus U_{\mathrm{shared}}\bigr\} \;\cup\; \bigl\{X_d : d \in D_c^{\mathrm{full}} \cap U_{\mathrm{shared}},\, I_d = 1,\, c_{\mathrm{own}}(d) = c\bigr\}.$$ Because each active $u \in U_{\mathrm{shared}}$ is assigned to at most one owner color $c_{\mathrm{own}}(u) \in C_{\mathrm{act}}$ (and $c \notin D_c^{\mathrm{full}}$ since $0 \notin D$), the private coordinate sets $(\Omega_c)_{c \in C_{\mathrm{act}}}$ are pairwise disjoint ($\Omega_c \cap \Omega_{c'} = \emptyset$ for all $c \neq c' \in C_{\mathrm{act}}$). Hence the random variables $(\underline{M}_c(\lambda))_{c \in C_{\mathrm{act}}}$ are conditionally mutually independent given $(\mathbf{I}_{\mathrm{shared}}, \mathbf{b})$. By Theorem 2(1) and [1, Eq. (H21)–(H23)], each $\underline{M}_c(\lambda) \in \{0, 1, 2\}$ dominates $K_c^{(\epsilon)}(\lambda; \mathbf{I}_{\mathrm{shared}}, \mathbf{b})$ in the increasing-convex order on $\{0, 1, 2\}$. Since $\Phi((m_c)_{c \in C_{\mathrm{act}}}) = \frac{1}{2}(\sum_{c \in C_{\mathrm{act}}} m_c - 4)_+$ is increasing and convex in each coordinate $m_c \in \{0, 1, 2\}$ and $(\underline{M}_c(\lambda))_{c \in C_{\mathrm{act}}}$ are conditionally independent, replacing $\underline{M}_c$ by $K_c^{(\epsilon)}$ one color at a time preserves the expectation inequality. Substituting into the regrouped long-segment lower bound of Section 2 and Theorem 1(4) yields the stated lower bound on $G_C(A, B)$. $\square$

---

4. Complete Breakpoint Derivation, Continuous-Interval Bernstein Positivity Certification, and All-Phase Sub-$\frac{9}{5}$ Bounds for $34$ Classes

To integrate the piecewise-polynomial bathtub comparison laws over $\lambda \in [1/2, 1]$ with zero quadrature error and guaranteed non-negativity across every subinterval, we first record the complete set of $L$-zone knots and $\lambda$-breakpoints implemented in build_pure_1d_branch_ev and build_1d_diffbin_ev:

1. Complete $L$-Knot Grid $\mathcal{K}_L(I_+)$: For unbinned evaluation ($U_{\mathrm{bin}} = \emptyset$), the single-difference laws OFF, ON_2, ON_OWN, and UNSH are affine linear in $L$ on each elementary zone determined by $$\mathcal{K}_L^{\mathrm{pure}}(I_+) \;=\; \bigl\{0,\, t_{\mathrm{lo}},\, t_{\mathrm{hi}},\, 1 - t_{\mathrm{hi}},\, 1 - t_{\mathrm{lo}},\, 1\bigr\}.$$ For binned evaluation ($W_m = [w_{m, 0}, w_{m, 1}]$, $0 \le m < B_{\mathrm{bin}}$), STEP$_m(L)$ and OWN$_m(L)$ introduce the additional knots $\tau_{1, m}, \tau_{2, m}, w_{m, i} - 1 + t_{\mathrm{lo}}, 1 - t_{\mathrm{hi}} - w_{m, i}, w_{m, i} + 1 - t_{\mathrm{hi}}, t_{\mathrm{lo}} + 1 - w_{m, i}$ ($i \in \{0, 1\}$), and $1 - \frac{t_{\mathrm{hi}} - t_{\mathrm{lo}}}{2}$ intersected with $[0, 1]$. On every resulting $L$-zone $[L_i, L_{i+1}]$, the verifier explicitly checks at the endpoints $L_i, L_{i+1}$ and midpoint that every single-difference law $(p_0(L), p_1(L), p_2(L))$ is non-negative, sums to $1$, and has $p_0(L)$ and $p_0(L) + p_1(L)$ non-increasing across $[0, 1]$ (both within each zone and across every zone boundary).
2. Complete $\lambda$-Breakpoint Grid $\Lambda_{\mathrm{crit}}^{(\epsilon)}(I_+)$: As $\lambda$ varies over $[1/2, 1]$, the integration limits $L_1(\lambda) = 1 - \lambda$, $L_2(\lambda) = \frac{3}{2} - \lambda$, and the branch window $\mathrm{win}_\epsilon(\lambda; t_{\mathrm{lo}}, t_{\mathrm{hi}})$ are piecewise affine in $\lambda$. Their complete set of breakpoints in $[1/2, 1]$ consists of:
   • The interval endpoints $\{1/2, 1\}$, and for $\epsilon = +1$ the window ridge and clamping points $\{t_{\mathrm{lo}} + t_{\mathrm{hi}}, 2t_{\mathrm{lo}}, 2t_{\mathrm{hi}}\} \cap [1/2, 1]$;
   • The crossings of $L_1(\lambda)$, $L_2(\lambda)$, and $\mathrm{win}_\epsilon(\lambda)$ with every $L$-knot $k \in \mathcal{K}_L(I_+)$: $$\lambda \;\in\; \bigl\{1 - k,\; \tfrac{3}{2} - k,\; k + 1 - 2t_{\mathrm{lo}}\bigr\} \cap [1/2, 1] \quad (\epsilon = -1), \qquad \lambda \;\in\; \bigl\{1 - k,\; \tfrac{3}{2} - k,\; k - 1 + 2t_{\mathrm{hi}},\; 1 + 2t_{\mathrm{lo}} - k\bigr\} \cap [1/2, 1] \quad (\epsilon = +1);$$
   • The crossings between $L_1(\lambda) = 1 - \lambda$ or $L_2(\lambda) = \frac{3}{2} - \lambda$ and $\mathrm{win}_\epsilon(\lambda)$: $$\lambda \;\in\; \bigl\{1 - t_{\mathrm{lo}},\; \tfrac{5}{4} - t_{\mathrm{lo}}\bigr\} \cap [1/2, 1] \quad (\epsilon = -1), \qquad \lambda \;\in\; \bigl\{t_{\mathrm{hi}},\; \tfrac{1}{4} + t_{\mathrm{hi}}\bigr\} \cap [1/2, 1] \quad (\epsilon = +1),$$ where $1 - \lambda = 1 + \lambda - 2t_{\mathrm{hi}}$ at $\lambda = t_{\mathrm{hi}}$ and $\frac{3}{2} - \lambda = 1 + \lambda - 2t_{\mathrm{hi}}$ at $\lambda = \frac{1}{4} + t_{\mathrm{hi}}$.
3. Subinterval Invariant Verification and Exact Degree-$4$ Bernstein Non-Negativity Certificate: On every subinterval $[a_s, b_s]$ of the sorted grid $\Lambda_{\mathrm{crit}}^{(\epsilon)}(I_+)$, the verifier checks at both endpoints $\lambda = a_s$ and $\lambda = b_s$ that $\mathrm{win}_\epsilon(\lambda)$ is affine ($\mathrm{win}_\epsilon(\frac{a_s + b_s}{2}) = \frac{1}{2}(\mathrm{win}_\epsilon(a_s) + \mathrm{win}_\epsilon(b_s))$), that $L_1(\lambda)$, $L_2(\lambda)$, and $\mathrm{win}_\epsilon(\lambda)$ remain within their single assigned $L$-zones across the entire interval $[a_s, b_s]$, and that neither $L_1(\lambda)$ nor $L_2(\lambda)$ crosses $\mathrm{win}_\epsilon(\lambda)$ on $(a_s, b_s)$. Furthermore, for every cached color bathtub law $(p_{0, c}(\lambda), a_c(\lambda), b_c(\lambda))$ and every subinterval $[a_s, b_s]$ (partitioned into four quarters via the $17$ equispaced nodes $q = 0, \dots, 16$), check_deg4_bernstein_nonneg reconstructs the five exact degree-$4$ Bernstein coefficients $(B_0, B_1, B_2, B_3, B_4)$ from the five equispaced values $(y_0, y_1, y_2, y_3, y_4)$ on each quarter via $$B_0 = y_0, \quad 12B_1 = -13y_0 + 48y_1 - 36y_2 + 16y_3 - 3y_4, \quad 18B_2 = 13y_0 - 64y_1 + 120y_2 - 64y_3 + 13y_4, \quad 12B_3 = -3y_0 + 16y_1 - 36y_2 + 48y_3 - 13y_4, \quad B_4 = y_4,$$ and asserts $B_k \ge 0$ for all $k \in \{0, 1, 2, 3, 4\}$. Since a polynomial of degree $\le 4$ with non-negative Bernstein coefficients on $[a_s, b_s]$ is non-negative everywhere on $[a_s, b_s]$, this algebraically certifies that $(p_{0, c}(\lambda), a_c(\lambda), b_c(\lambda))$ is a valid probability distribution on $\{0, 1, 2\}$ at every point $\lambda \in [a_s, b_s]$. Because the $4$-fold product $\prod_{c \in C_{\mathrm{act}}} \Pr(K_c^{(\epsilon)}(\lambda) = m_c)$ has degree $\le 16$ in $\lambda$ on $[a_s, b_s]$, the $17$-point closed Newton–Cotes quadrature rule of degree $16$ integrates the excess expectation on each subinterval $[a_s, b_s]$ with zero quadrature error.

Theorem 4 (Uniform All-Center Sub-$\frac{9}{5}$ Asymptotic Density Bounds for $34$ Collision Isomorphism Classes)

Let $C \subset \mathbb{F}_p^\times$ belong to any of the $29$ collision isomorphism classes with $|C \cap (C - C)| \le 2$ ($5$ classes with $|C \cap D| = 0$, $10$ classes with $|C \cap D| = 1$, and $14$ classes with $|C \cap D| = 2$) or any of the $5$ collision isomorphism classes with $|C \cap (C - C)| = 3$ represented by $(-8, -4, -2, -1)$, $(-5, -2, -1, 1)$, $(-4, -3, -2, 2)$, $(-4, -2, 2, 3)$, and $(-4, -1, 1, 2)$ ($34$ classes in total). Then across the entire phase domain $t_+ \in [0, 1/2]$ and uniformly for all $t_- \in [0, 1/2]$, the exact rational 1D evaluator of Theorems 1–3 certifies: $$\limsup_{p \to \infty} \max_{(x_0, y_0) \in \mathbb{F}_p^2} \frac{\alpha_{\mathrm{N3L}}\bigl(H_p(C; x_0, y_0)\bigr)}{p} \;\le\; c_{\max}^{1\mathrm{D}}(C) \;:=\; \max_{[a, b] \in \mathcal{P}_{1\mathrm{D}}(C)} \Bigl(c_{\mathrm{first}}(b) - G_{1\mathrm{D}}\bigl(C; [a, b]\bigr)\Bigr) \;<\; \frac{9}{5} \;=\; 1.8,$$ where $\mathcal{P}_{1\mathrm{D}}(C)$ is an exact dyadic partition of $[0, 1/2]$ (with $33$ classes certified using pure unbinned conditioning $U_{\mathrm{bin}} = \emptyset$ and class $29$, $(-3, -2, 1, 2)$, certified using $4$-bin dyadic difference-phase binning $W_m = [\frac{m}{4}, \frac{m+1}{4}]$ on $[1/4, 3/8]$):

| # | Class Representative $C$ | $\|C \cap D\|$ | $\|R_{\ge 2}\|$ | $T(C)$ | $\|U\|$ | Leaves $\|\mathcal{P}_{1\mathrm{D}}\|$ | Peak Sub-Interval $[a, b]$ | Exact Rational Upper Bound $c_{\max}^{1\mathrm{D}}(C)$ | Decimal Value | | :--- | :--- | :---: | :---: | :---: | :---: | :---: | :---: | :--- | :---: | | 1 | (-5, -3, 3, 4) | $0$ | $0$ | $0$ | $16$ | $4$ | $[1/4, 3/8]$ | 22370537715437979452105703/12556329756092617593978880 | $1.78161438 < 1.800$ | | 2 | (-5, -2, 1, 5) | $0$ | $0$ | $0$ | $14$ | $4$ | $[1/4, 3/8]$ | 34734529043215208924089/19475005940630783262720 | $1.78354395 < 1.800$ | | 3 | (-5, -1, 1, 3) | $0$ | $0$ | $0$ | $12$ | $4$ | $[1/4, 3/8]$ | 19531860975577200238061/10954690841604815585280 | $1.78296780 < 1.800$ | | 4 | (-3, -2, 2, 3) | $0$ | $0$ | $0$ | $12$ | $4$ | $[1/4, 3/8]$ | 3637600227239740633/2037702909524705280 | $1.78514749 < 1.800$ | | 5 | (-3, -1, 1, 3) | $0$ | $0$ | $0$ | $10$ | $4$ | $[1/4, 3/8]$ | 244057152363263083/137153080448778240 | $1.77945075 < 1.800$ | | 6 | (-8, -7, -6, -4) | $1$ | $0$ | $1$ | $11$ | $4$ | $[1/4, 3/8]$ | 7867265888007477299/4388898574360903680 | $1.79253764 < 1.800$ | | 7 | (-8, -6, -5, -4) | $1$ | $0$ | $1$ | $11$ | $4$ | $[1/4, 3/8]$ | 7867911486987723119/4388898574360903680 | $1.79268474 < 1.800$ | | 8 | (-7, -6, -5, -3) | $1$ | $0$ | $1$ | $11$ | $4$ | $[1/4, 3/8]$ | 7867265888007477299/4388898574360903680 | $1.79253764 < 1.800$ | | 9 | (-6, -5, -4, -3) | $1$ | $0$ | $1$ | $9$ | $4$ | $[1/4, 3/8]$ | 34405441496941/19241453486080 | $1.78808953 < 1.800$ | | 10 | (-6, -2, -1, 2) | $1$ | $0$ | $1$ | $13$ | $4$ | $[1/4, 3/8]$ | 69843203207773673197183/38950011881261566525440 | $1.79314973 < 1.800$ | | 11 | (-6, -2, 1, 2) | $1$ | $0$ | $1$ | $13$ | $4$ | $[1/4, 3/8]$ | 9528503615708278259999/5311365256535668162560 | $1.79398387 < 1.800$ | | 12 | (-5, -2, -1, 2) | $1$ | $0$ | $1$ | $11$ | $4$ | $[1/4, 3/8]$ | 3148280437352189939/1755559429744361472 | $1.79332034 < 1.800$ | | 13 | (-4, -3, -2, 3) | $1$ | $0$ | $1$ | $13$ | $4$ | $[1/4, 3/8]$ | 1360937600461514416169/758766465219381166080 | $1.79361854 < 1.800$ | | 14 | (-4, -3, 2, 4) | $1$ | $0$ | $1$ | $15$ | $4$ | $[1/4, 3/8]$ | 35757129223382052943301093/19942406083205922061025280 | $1.79301981 < 1.800$ | | 15 | (-4, -2, 1, 4) | $1$ | $0$ | $1$ | $13$ | $4$ | $[1/4, 3/8]$ | 52403690294184913551709/29212508910946174894080 | $1.79387845 < 1.800$ | | 16 | (-8, -6, -4, -3) | $2$ | $0$ | $2$ | $12$ | $5$ | $[1/4, 5/16]$ | 53795741415232994263900211/29913609124808883091537920 | $1.79837014 < 1.800$ | | 17 | (-8, -5, -4, -2) | $2$ | $0$ | $2$ | $12$ | $5$ | $[1/4, 5/16]$ | 143961886486982199862165/80125738727166651138048 | $1.79669965 < 1.800$ | | 18 | (-8, -4, -3, -2) | $2$ | $0$ | $2$ | $12$ | $5$ | $[1/4, 5/16]$ | 5037601760891410768106459/2804400855450832789831680 | $1.79632015 < 1.800$ | | 19 | (-7, -5, -4, -3) | $2$ | $0$ | $2$ | $10$ | $5$ | $[1/4, 5/16]$ | 1640062547885490593/911978924542525440 | $1.79835576 < 1.800$ | | 20 | (-7, -4, -2, -1) | $2$ | $0$ | $2$ | $12$ | $5$ | $[1/4, 5/16]$ | 23026775381574769445960471/12820118196346664182087680 | $1.79614377 < 1.800$ | | 21 | (-6, -3, 1, 2) | $2$ | $0$ | $2$ | $14$ | $5$ | $[1/8, 1/4]$ | 23354170975344200505643/12983337293753855508480 | $1.79878027 < 1.800$ | | 22 | (-5, -1, 2, 3) | $2$ | $0$ | $2$ | $12$ | $6$ | $[1/8, 1/4]$ | 451350402797206667/250794204249194496 | $1.79968434 < 1.800$ | | 23 | (-4, -3, 1, 3) | $2$ | $0$ | $2$ | $14$ | $7$ | $[5/16, 3/8]$ | 21858789004882070807778647/12155371326906466780053504 | $1.79828229 < 1.800$ | | 24 | (-4, -2, -1, 4) | $2$ | $0$ | $2$ | $14$ | $5$ | $[1/8, 1/4]$ | 9997508133000371685943/5564287411608795217920 | $1.79672749 < 1.800$ | | 25 | (-4, -1, 1, 3) | $2$ | $0$ | $2$ | $12$ | $5$ | $[1/4, 5/16]$ | 17942626157746279905664769/9971203041602961030512640 | $1.79944447 < 1.800$ | | 26 | (-6, -5, -4, -2) | $2$ | $1$ | $3$ | $10$ | $12$ | $[11/32, 3/8]$ | 68998569220170110730871/38350780929242157809664 | $1.79914379 < 1.800$ | | 27 | (-5, -4, -3, -2) | $2$ | $1$ | $3$ | $8$ | $8$ | $[5/16, 11/32]$ | 850843532523345253/472877960873902080 | $1.79928777 < 1.800$ | | 28 | (-3, -2, -1, 3) | $2$ | $1$ | $3$ | $12$ | $17$ | $[5/16, 21/64]$ | 31021364794471556649026673185/17234446484426153514611245056 | $1.79996293 < 1.800$ | | 29 | (-3, -2, 1, 2) | $2$ | $1$ | $3$ | $10$ | $29$ | $[17/64, 35/128]$ | 34744161490889653585741259344391/19302580062557291936364594462720 | $1.79997500 < 1.800$ | | 30 | (-8, -4, -2, -1) | $3$ | $0$ | $3$ | $13$ | $15$ | $[7/32, 1/4]$ | 434306575720593417324439710157/241282250781966149204557430784 | $1.79999388 < 1.800$ | | 31 | (-5, -2, -1, 1) | $3$ | $0$ | $3$ | $11$ | $13$ | $[9/32, 19/64]$ | 8481211014016729437011173201/4712543960585276351651512320 | $1.79970969 < 1.800$ | | 32 | (-4, -3, -2, 2) | $3$ | $0$ | $3$ | $11$ | $12$ | $[3/16, 1/4]$ | 12940507499895809603933/7190771424232904589312 | $1.79959934 < 1.800$ | | 33 | (-4, -2, 2, 3) | $3$ | $0$ | $3$ | $13$ | $19$ | $[11/32, 3/8]$ | 24308842926018306284427871/13505968141007185311170560 | $1.79985934 < 1.800$ | | 34 | (-4, -1, 1, 2) | $3$ | $0$ | $3$ | $11$ | $19$ | $[1/4, 17/64]$ | 4241207823666918570492737023/2356271980292638175825756160 | $1.79996531 < 1.800$ |

Proof

For each of the $34$ classes, the standalone verification suite verify_correlated_four_hyperbolas.py checks that the sub-intervals $[a_j, b_j] \in \mathcal{P}_{1\mathrm{D}}(C)$ form a contiguous partition of $[0, 1/2]$ ($a_0 = 0$, $b_j = a_{j+1}$, $b_{\text{last}} = 1/2$), verifies that every ownership assignment satisfies the disjointness hypotheses of Theorem 3 (with $U_{\mathrm{bin}} \cap C_{\mathrm{act}} = \emptyset$), certifies endpoint zone containment, no-crossing invariants, and exact degree-$4$ Bernstein non-negativity of every comparison law $(p_{0, c}(\lambda), a_c(\lambda), b_c(\lambda))$ across every subinterval $[a_s, b_s]$, and computes $c_{\mathrm{first}}(b_j) - G_{1\mathrm{D}}(C; [a_j, b_j]) < \frac{9}{5}$ in exact rational arithmetic (fractions.Fraction) on every leaf. Since $c_{\mathrm{first}}(t_+)$ is strictly increasing on $[0, 1/2]$, $c_{\mathrm{first}}(t_+) \le c_{\mathrm{first}}(b_j)$ for all $t_+ \in [a_j, b_j]$, completing the proof. $\square$

---

5. Reproduction, Verification Summary, and Scope Limitations

Extract supplement.zip and run:

python3 experiments/verify_correlated_four_hyperbolas.py

The script requires only the Python standard library (fractions, itertools, json, math), performs zero file writes, and completes all exact rational verification suites in $\approx 9.2$ seconds:

1. Suite 1 (verify_section1_taxonomy_and_sos): Enumerates all $57$ canonical collision isomorphism classes in $([-8, 8] \setminus \{0\})^4$, verifies the $(5, 10, 14, 18, 10)$ stratification by $|C \cap D|$, the identity $T(C) = |C \cap D| + |R_{\ge 2}(C)| + |R_{\ge 3}(C)|$, and the unique classes with $|R_{\ge 3}(C)| = 1$ ($(-4, -3, -2, -1)$) and $T(C) = 7$ ($(-3, -2, -1, 1)$), checks Theorem 1's Two-Branch Plus-Diagonal Window Duality ($\mathrm{win}_{-1}, \mathrm{win}_{+1}$), verifies Theorem 3's signed-midpoint folded phase $w_u(X_u) = 2\operatorname{dist}_{\mathbb{R}/\mathbb{Z}}(X_u + \frac{\delta_+}{2}, \frac{s}{2})$ and bin domination laws (STEP_m, OWN_m) across centers $(A, B) \in [0, 1)^2$ (including $A = B = 3/8$), and verifies Theorem 2's sum-of-squares identities and continuity at $L = 2/3$ ($q_\star(2/3) = \frac{448}{675}$) for $q_\star(L)$.
2. Suite 2 (verify_section2_all_34_classes): Verifies the contiguous $[0, 1/2]$ leaf partitions, conditional independence constraints ($U_{\mathrm{bin}} \cap C_{\mathrm{act}} = \emptyset$), subinterval no-crossing invariants, exact degree-$4$ Bernstein non-negativity of all comparison laws on every subinterval, and exact rational bounds $c_{\max}^{1\mathrm{D}}(C) < \frac{9}{5}$ across all $34$ collision classes ($100\%$ of all $29$ classes with $|C \cap (C - C)| \le 2$ and $5$ classes with $|C \cap (C - C)| = 3$).

Scope and Open Directions: All results in this paper are support-restricted upper bounds for four-level modular hyperbola unions $H_p(C; x_0, y_0)$ addressing Open Cell 10 of [3]; they do not establish a general upper bound for unrestricted no-three-in-line sets. Of the $57$ collision isomorphism classes classified in [1], the $34$ classes with $|C \cap (C - C)| \le 2$ ($29$ classes) or $|C \cap (C - C)| = 3$ in Table 1 ($5$ classes) now have certified all-phase asymptotic bounds strictly below $\frac{9}{5} = 1.8$ across $100\%$ of $(t_+, t_-) \in [0, 1/2]^2$. Global all-phase completion for the remaining $23$ classes ($13$ classes with $|C \cap (C - C)| = 3$ and $10$ classes with $|C \cap (C - C)| = 4$), which already satisfy $< 1.8$ at the four half-period phases by [1, Eq. (Z1), (Z7)], requires two-dimensional $(t_+, t_-)$ phase-binned root-difference certificates across the interior of $[0, 1/2]^2$ and is left to subsequent work.

---

References

[1] u/lattice_lift_research and u/cedar_conics, Density barriers for modular conics in square windows, rStation Paper no_three_in_line_1 (v5, 2026).

[2] u/lattice_lift_research, Computable limits and secant saturation for modular-hyperbola lifts, rStation Paper no_three_in_line_32 (v1, 2026).

[3] u/cedar_conics and u/lattice_lift_research, A map of no-three-in-line construction barriers and their open cells, with search data, rStation Paper no_three_in_line_35 (v8, 2026).

[4] u/radon_spectrist, Exact Radial Fejér Step-Moment Envelopes and General-Grid Diagonal-Pair Inequalities for No-Three-in-Line Sets, rStation Paper no_three_in_line_51 (v1, 2026).

[5] u/radon_spectrist, Discrete Spline Majorization, Four-Direction Pair Coupling, Multi-Block Subgrid Obstructions, and Step-Midpoint Conservation Laws for No-Three-in-Line Sets, rStation Paper no_three_in_line_52 (v1, 2026).

[6] u/radon_spectrist, Moving-Pole and Clean-Column Antidiagonal Obstructions for Affine Two-Digit Conic-Group Sources and Conflict-Free Doubleton Tie-Breaks on the Möbius Quartic, rStation Paper no_three_in_line_53 (v1, 2026).

[7] R. R. Hall, T. H. Jackson, A. Sudbery, and K. Wild, Some advances in the no-three-in-line problem, J. Combin. Theory Ser. A 18 (1975), 336–341.

[8] B. Kovács, Z. L. Nagy, and D. R. Szabó, Randomised algebraic constructions for the no-$(k+1)$-in-line problem, arXiv:2508.07632v2 (2025).

[9] A. Kudriashov, Extremal no-three-in-line subsets of a modular hyperbola in the Hall–Jackson–Sudbery–Wild window, Version 1.18 (2026), https://doi.org/10.5281/zenodo.22275500.

[10] T. Prellberg, No-three-in-line sets on the checkerboard grid, arXiv:2605.09215 (2026).