Conceptual Audit of D(N) vs Dyadic Gap, Scale Correction of the Height Distribution, and Discrete Concentration of Pred Gap
DOI: 10.5281/zenodo.19083884We perform a conceptual audit of the target quantity for Conjecture H' ($D(N) \to 1$) in the ZFCρ series, distinguishing two previously conflated objects: the pointwise positive-jump density $D(N) \approx 0.574$ ($N = 10^7$) and the dyadic gap positivity rate $P(\text{pred gap} > 0) \approx 0.997$ ($N = 10^9$). The target of H' is the former, not the latter. The stability of $P(\text{gap} \leq 0) \approx 0.3\%$ does not threaten H'.
An algebraic observation is established. The standard deviation of the height ratio $H(n) = \rho_E(n)/\ln n$ satisfies $\sigma(H) \cdot \ln N \approx 0.93$ across six orders of magnitude, which is not a dynamical collapse of the height distribution but the natural expression of $O(1)$ fluctuations of $\rho_E$ in the $H$ coordinate. The natural fluctuation variable is the centered remainder $R_{\text{ref}}(n) = \rho_E(n) - h_{\text{ref}} \cdot \ln n$. The threshold choice in Paper XXVIII's lower reflection framework is accordingly corrected: the natural scale is $\varepsilon \propto 1/\ln N$ in $H$ coordinates, equivalently $O(1)$ in $\rho_E$ coordinates.
Systematic numerical findings are reported ($N = 10^9$, full DP). The dyadic pred gap $\rho_E(2m) - \rho_E(m)$ is highly concentrated on two principal values gap $= +2$ and gap $= +3$, jointly accounting for 96%+ of all $m$. $E[\text{gap}] \approx 2.52$ is stably positive, with its mild decrease (2.56 → 2.52) having diminishing rate. Using the early-scale $E[\text{gap}] \approx 2.56$ as empirical baseline, the $c_1 \cdot \ln\ln n$ sub-leading term in $R(n)$ predicts a dyadic correction of approximately $-0.044$ at $m \sim 10^8$; the resulting empirical prediction 2.516 matches measured 2.521 — this explains the decline, not the absolute level. Dyadic differencing naturally annihilates sub-leading terms of $\ln\ln n$ order — this is the core algebraic mechanism behind pred gap stability.
Keywords: additive complexity, D(N), dyadic gap, height distribution, scale correction, discrete concentration, pred gap
1. Introduction
1.1 Background
Paper XXV reduced H' ($D(N) \to 1$) to pred gap control via dyadic telescoping. Papers XXVII–XXVIII established the upper reflection criterion, universal scale attenuation, and a three-step lower reflection framework.
The present paper performs three tasks: (1) a conceptual audit distinguishing $D(N)$ from $P(\text{pred gap} > 0)$; (2) a scale correction of Paper XXVIII's threshold choice via the discovery $\sigma(H) \propto 1/\ln N$; (3) reporting the discrete concentration of pred gap and its algebraic explanation.
This paper does not claim to prove H'.
1.2 Contributions
(A) Conceptual distinction between $D(N)$ and $P(\text{pred gap} > 0)$ (§2).
(B) Scale correction $\sigma(H) \propto 1/\ln N$ as a coordinate artifact (§3).
(C) Discrete concentration of pred gap on $\{+2, +3\}$ (§4).
(D) Dyadic differencing annihilates sub-leading terms (§5), with quantitative verification.
(E) Prime-composite decomposition of pred gap (§6).
1.3 Notation
Series conventions and Paper XXVI–XXVIII notation apply. New notation: $h_{\text{ref}} = h_0(10^7) = 3.7918$ (finite-scale empirical anchor); $h_\infty = \lim h_0(N)$ (if the limit exists; true asymptotic constant, currently unknown). $R_{\text{ref}}(n) = \rho_E(n) - h_{\text{ref}} \cdot \ln n$. $\text{pred gap}(m) = \rho_E(2m) - \rho_E(m)$. $D(N) = |\{n \leq N : \rho_E(n) > \rho_E(n-1)\}| / N$.
2. Conceptual Audit: D(N) vs P(pred gap > 0)
2.1 Two distinct quantities
D(N) (the target of H'): pointwise positive-jump density.
$$D(N) = \frac{|\{n \leq N : \rho_E(n) > \rho_E(n-1)\}|}{N}$$Every prime $n$ contributes $\delta(n) = +1$. Every composite $n$ contributes $\delta(n) = 1 - j(n)$; when $j = 0$, $\delta = +1$. Numerically $D(N) \approx 0.574$ ($N = 10^7$). H' requires $D(N) \to 1$. The significant gap between 0.574 and 1 at finite scales reflects the ongoing competition between additive paths ($j = 0$, $\delta = +1$) and jump paths ($j \geq 1$, $\delta \leq 0$). Paper XXV's dyadic telescoping shows that if the macroscopic condition $E[\text{gap}] > \tau_k$ holds, the Cesàro averaging mechanism ultimately forces the zero-jump density to vanish in the limit. The current value 0.574 is a finite-scale transient, not an asymptotic obstruction.
P(pred gap > 0): dyadic gap positivity rate.
$$P(\text{gap} > 0) = \frac{|\{m \leq N/2 : \rho_E(2m) > \rho_E(m)\}|}{N/2}$$Numerically $P(\text{gap} > 0) \approx 0.997$ ($N = 10^9$).
These are different quantities. $D(N)$ is a microscopic (single-step) density; $P(\text{gap} > 0)$ is a macroscopic (dyadic-interval) density. The latter being near 1 does not imply the former is near 1.
2.2 P(gap ≤ 0) ≈ 0.3% does not threaten H'
$P(\text{gap} \leq 0) \approx 0.29\%$ ($N = 10^9$), mildly increasing but saturating. This does not threaten H': $D(N) \to 1$ requires pointwise $\delta(n) = +1$ density approaching 1, not every dyadic interval having positive growth. Isolated $m$ with $\rho_E(2m) \leq \rho_E(m)$ are microscopic fluctuations — a compatible explanation is unusually smooth configurations causing composites in $[m, 2m]$ to cancel all prime $+1$ contributions. These are expected rare events.
2.3 The correct Route B target
Paper XXV's reduction targets $E[\text{gap}] > \tau_k$ for a positive threshold $\tau_k$, not $P(\text{gap} > 0) \to 1$. Numerically $E[\text{gap}] \approx 2.52$ ($N = 10^9$), stably positive and far from 0. The gap distribution is highly concentrated (96%+ on $\{+2, +3\}$) with strictly bounded variance — placing Route B in a very favorable statistical regime where mean-threshold criteria are plausibly effective.
3. σ(H) ∝ 1/ln N: Coordinate Correction
3.1 Data
Numerical Observation 1.
| N | h₀ | σ(H) | σ · ln N |
|---|---|---|---|
| 10⁴ | 3.714 | 0.1006 | 0.927 |
| 10⁵ | 3.752 | 0.0824 | 0.948 |
| 10⁶ | 3.776 | 0.0681 | 0.941 |
| 10⁷ | 3.792 | 0.0576 | 0.929 |
| 10⁸ | 3.802 | 0.0498 | 0.917 |
| 10⁹ | 3.809 | 0.0440 | 0.912 |
$\sigma \cdot \ln N$ ranges from 0.93 to 0.91, extremely stable across six orders of magnitude.
3.2 Coordinate interpretation
$H(n) = \rho_E(n) / \ln n$. The relation $\sigma(H) \cdot \ln N \approx 0.93$ directly supports: centered at the local mean $h_0(N)$, $\rho_E$ fluctuates at $O(1)$ scale. This is a purely arithmetic consequence of dividing by $\ln n$, not a dynamical collapse.
The natural fluctuation variable is the locally centered $\rho_E$ (i.e., $\rho_E(n) - h_0(N) \cdot \ln n$), not $H(n)$. The fixed-anchor residual $R_{\text{ref}}(n) = \rho_E(n) - h_{\text{ref}} \cdot \ln n$ introduced in §5 is a related but distinct object: the former has std $\approx 0.93$, the latter std $\approx 0.75$ (the difference arising from the gap between $h_{\text{ref}}$ and $h_0(N)$).
3.3 Correction to Paper XXVIII
Paper XXVIII's three-step lower reflection used fixed $\varepsilon$ in $H$ coordinates, causing $\alpha$ to decline. The coordinate correction identifies:
- In $H$ coordinates: the natural scale is $\varepsilon(N) \propto \sigma(N) \propto 1/\ln N$.
- Equivalently in $\rho_E$ coordinates: the natural scale is $O(1)$ constant truncation.
This is a restatement of the Paper XXVIII Step 1 bottleneck, not its elimination. The rescaled formulation is more natural, but formal proof still requires nondegeneracy theory for the height distribution.
3.4 Occupancy concentration
Numerical Observation 2.
| N | fraction in h₀ ± 0.02 | fraction with |H−h₀| > 0.10 |
|---|---|---|
| 10⁴ | 17.6% | 32.1% |
| 10⁶ | 24.5% | 13.6% |
| 10⁸ | 31.9% | 4.6% |
| 10⁹ | 35.5% | 2.4% |
The distribution is concentrating — two-sided reflection controls an increasing fraction of the mass.
4. Discrete Concentration of Pred Gap
4.1 Gap distribution (N = 10⁹)
Numerical Observation 3.
| Decade | P(g≤0) | P(g=1) | P(g=2) | P(g=3) | E[g] |
|---|---|---|---|---|---|
| [10², 10³) | 0.0022 | 0.018 | 0.397 | 0.583 | 2.561 |
| [10⁴, 10⁵) | 0.0021 | 0.029 | 0.401 | 0.568 | 2.535 |
| [10⁶, 10⁷) | 0.0027 | 0.032 | 0.405 | 0.561 | 2.524 |
| [10⁷, 10⁸) | 0.0028 | 0.033 | 0.407 | 0.558 | 2.519 |
| [10⁸, 10⁹) | 0.0029 | 0.033 | 0.408 | 0.556 | 2.517 |
The gap distribution is extremely stable: 96%+ concentrated on $\{+2, +3\}$. No gap $> 3$ is observed. The ratio gap=2 to gap=3 slowly shifts (0.68 → 0.72 at tested scales).
4.2 Mild decrease of E[gap]
$E[\text{gap}]$ decreases from 2.561 ($[10^2, 10^3)$) to 2.517 ($[10^8, 10^9)$), but the rate of decrease is diminishing ($\Delta = -0.026, -0.011, -0.005, -0.002$ per decade). $E[\text{gap}]$ remains well above 0 at all tested scales.
Simultaneously $h_0 \cdot \ln 2$ increases from 2.57 to 2.64 — opposite direction. The negative correction term $E[R(2m)-R(m)]$ has not yet decayed to negligible at current scales. §5 provides a quantitative explanation.
4.3 Pred gap can be negative
Full scan ($N = 10^7$): min pred gap $= -2$ at $m = 1{,}396{,}679$. Negative and zero gaps occur at all scales; $P(\text{gap} \leq 0) \approx 0.29\%$ mildly increasing but saturating. As established in §2.2, this does not threaten H'.
5. Dyadic Differencing Annihilates Sub-Leading Terms
5.1 Behavior of R(n)
$R_{\text{ref}}(n) = \rho_E(n) - h_{\text{ref}} \cdot \ln n$ ($h_{\text{ref}} = h_0(10^7) = 3.7918$, a finite-scale empirical anchor).
Numerical Observation 4. $R$ is systematically negative ($E[R] \approx -3$), with $\text{std}(R) \approx 0.75$ stable at tested scales. The negative offset admits multiple compatible explanations: a constant correction $c \approx -3$, a slowly varying sub-leading term $c_1 \cdot \ln\ln n$, or finite-scale bias in the choice of $h_{\text{ref}}$. Current data cannot distinguish these.
5.2 The ln ln n hypothesis
Linear regression $R(n) = a + b \cdot \ln(\ln n)$ yields $b \approx -1.18$, explaining approximately 57% of the sample variance. This suggests $R(n)$ may contain a $c_1 \cdot \ln\ln n$ sub-leading term.
5.3 The algebraic annihilation mechanism
Key observation (algebraic fact). For any sub-leading term $f(n) = c_1 \cdot \ln\ln n$:
$$f(2m) - f(m) = c_1 \cdot \ln\!\left(1 + \frac{\ln 2}{\ln m}\right) = c_1 \cdot \frac{\ln 2}{\ln m} + O\!\left(\frac{1}{(\ln m)^2}\right)$$
The quadratic error term is approximately $0.0007$ at $m = 10^8$ — negligible. This explains why the linear correction in §5.4 achieves thousandths-level accuracy.
Dyadic differencing naturally annihilates $\ln\ln n$-scale slow divergence. Even if $R(n)$ contains slowly diverging sub-leading terms, pred gap $= h_{\text{ref}} \ln 2 + (R(2m) - R(m))$ remains stable, because differencing smooths out the divergence.
5.4 Quantitative closure
Substituting $c_1 = -1.18$ into the difference formula. At $m \approx 10^8$, $\ln m \approx 18.4$:
$$\Delta R \approx -1.18 \times \frac{0.693}{18.4} \approx -0.044$$Using the early-scale mean $E[\text{gap}] \approx 2.56$ ($[10^2, 10^3)$) plus this correction: $2.56 - 0.044 = 2.516$.
Measured $E[\text{gap}] = 2.521$ at $[10^7, 10^8)$. The observed decline from early-scale $E[\text{gap}] \approx 2.56$ is approximately 0.04, matching the predicted correction of 0.044 in magnitude.
5.5 Asymptotic behavior of E[gap]
The data are compatible with "$E[\text{gap}]$ remains positive and approaches a positive constant." If the dominant sub-leading term of $R$ is indeed of $\ln\ln n$ type, the dyadic correction decays as $1/\ln m$, and $E[\text{gap}]$ would slowly rise. With $h_0(10^9) = 3.809$ still rising, the asymptotic value $h_\infty$ may lie in $3.83$–$3.85$, corresponding to $E[\text{gap}] \to 2.65$–$2.67$. However, this is heuristic extrapolation, not a theorem established in this paper.
6. Prime-Composite Decomposition
6.1 Decomposition
$$\text{pred gap}(m) = \sum_{n=m+1}^{2m} \delta(n) = \underbrace{\pi(2m)-\pi(m)}_{\text{prime contribution}} + \underbrace{\sum_{\text{composite}} \delta(n)}_{\text{composite contribution}}$$Numerical Observation 5.
| m | gap | prime contrib. | composite contrib. | E[δ|comp] |
|---|---|---|---|---|
| 10⁴ | +3 | +1,033 | −1,030 | −0.115 |
| 10⁵ | +2 | +8,392 | −8,390 | −0.092 |
| 10⁶ | +3 | +70,435 | −70,432 | −0.076 |
Pred gap is a fine balance between two $O(m/\ln m)$ quantities, with $O(1)$ net surplus. The absolute value of composite negative drift decreases at the tested points (0.115 → 0.076); if this trend continues (more data needed), the composite drag weakens and primes increasingly dominate the net balance.
6.2 Connection to Paper XXVI
Paper XXVI established $\rho_E(N) = \pi(N) + S_{\text{comp}}(N)$. The decomposition of §6.1 verifies this structure at the dyadic level: pred gap $= [\pi(2m)-\pi(m)] + [S_{\text{comp}}(2m)-S_{\text{comp}}(m)]$. The first term $\approx m/\ln m$ (PNT); the second numerically behaves like $-(m/\ln m) + O(1)$ at tested points. The $O(1)$ net surplus is the pred gap.
7. Discussion
7.1 Core contributions
This paper does not advance analytic proofs; it establishes the correct coordinate system and target quantities for the series:
(1) Conceptual audit: $D(N)$ and $P(\text{gap} > 0)$ are distinct. H' targets $D(N)$. The behavior of $P(\text{gap} \leq 0)$ does not directly constrain $D(N)$.
(2) Coordinate correction: $\sigma(H) \propto 1/\ln N$ is a coordinate artifact. The natural fluctuation variable is $R(n)$, with $O(1)$ fluctuations. Paper XXVIII's threshold should use $O(1)$ truncation in $\rho_E$ coordinates.
(3) Dyadic annihilation of sub-leading terms: $R(n)$ may have $\ln\ln n$-scale slow divergence, but dyadic differencing naturally smooths it. This is the algebraic core of pred gap stability.
(4) Discrete concentration: Pred gap is almost exclusively $+2$ or $+3$, with bounded variance.
7.2 The critical-gap picture
$E[\text{gap}] \approx 2.52$ lies between gap $= 2$ and gap $= 3$ (closer to 2.5). The system operates near criticality — $c_{\text{main}} \cdot \ln 2$ slightly exceeds 2.5, while the negative correction ~0.11 pulls the mean to 2.52. As the correction decays ($\propto 1/\ln m$), $E[\text{gap}]$ will slowly rise toward 2.6+.
7.3 Open problems
(1) Analytic proof of $\sigma \propto 1/\ln N$.
(2) Asymptotic limit of $E[\text{gap}]$ — does it equal $c_{\text{main}} \cdot \ln 2$?
(3) Precise sub-leading structure of $R(n)$ — constant $+ \ln\ln n$, or more complex?
(4) Route B proof of $D(N) \to 1$ — requires analytic confirmation of $E[\text{gap}] > \tau_k$.
(5) Asymptotic behavior of $P(\text{gap} = 0)$ — tends to 0, to a small positive constant, or other? Does not affect H' but has independent number-theoretic interest.
7.4 Acknowledgments
The thermodynamics thread (Claude) identified the critical conceptual error $D(N) \neq P(\text{pred gap} > 0)$, averting an incorrect pursuit of $P(\text{gap} \leq 0) \to 0$. Gemini contributed the coordinate correction ($\sigma$ collapse as artifact), the $\ln\ln n$ hypothesis, and the quantitative closure of $E[\text{gap}]$ decline (theoretical 2.516 vs measured 2.521). ChatGPT contributed systematic tightening of claim boundaries and unification of target hierarchy. Grok ensured consistency with the preceding 28 papers. Claude (mathematics thread) wrote all numerical computation scripts and drafted working notes v1–v3. The final text was completed independently by the author; all mathematical judgments are the author's responsibility.
8. Data Sources and Reproducibility
| Script | Measurement | Section |
|---|---|---|
| p29_block123.py | Occupancy + moving threshold α + pred gap statistics | §3, §4 |
| p29_block45.py | R(n) sequence + R(2m)−R(m) distribution + global extremes | §5, §4.3 |
| p29_block67.py | gap≤0 full scan + gap distribution by decade + ln ln n regression | §4, §5.2 |
| p29_block7_only.py | gap distribution by decade (lightweight, N=10⁸/10⁹) | §4.1 |
All scripts pass sanity checks: $\rho_E(10^7) = 58$, $\rho_E(10^8) = 66$, $\rho_E(10^9) = 74$.
References
- ZFCρ Papers I–XXVIII. H. Qin. Paper XXVI DOI: 10.5281/zenodo.19059834. Paper XXVII DOI: 10.5281/zenodo.19062684. Paper XXVIII DOI: 10.5281/zenodo.19078654.
- J. Arias de Reyna. Complexity of natural numbers and arithmetic compact coding. Preprint.
- K. Cordwell, S. Epstein, A. Hemmady, S. J. Miller, E. Steiner (2018). On the number of 1's needed to represent n. J. Number Theory, 189:17–34.
- H. Altman (2014). Integer complexity, addition chains, and well-ordering. PhD thesis, Rutgers University.
- S. P. Meyn, R. L. Tweedie (1993). Markov chains and stochastic stability. Springer-Verlag, London.
我们对 ZFCρ 系列中 Conjecture H'($D(N) \to 1$)的目标量进行概念审计,区分两个此前混用的对象:逐整数正跳跃密度 $D(N) \approx 0.574$($N = 10^7$)和 dyadic gap 正率 $P(\text{pred gap} > 0) \approx 0.997$($N = 10^9$)。H' 的目标是前者,不是后者。$P(\text{gap} \leq 0) \approx 0.3\%$ 不趋于 0 不威胁 H'。
建立一项代数观察。Height ratio $H(n) = \rho_E(n)/\ln n$ 的标准差满足 $\sigma(H) \cdot \ln N \approx 0.93$(六个数量级稳定),这不是 height 分布在"塌缩",而是 $\rho_E$ 的 $O(1)$ 波动在 $H$ 坐标下的自然表现。真正的波动变量是 $\rho_E$ 的中心化余项 $R_{\text{ref}}(n) = \rho_E(n) - h_{\text{ref}} \cdot \ln n$。据此修正 Paper XXVIII 的下反射阈值选择:自然尺度在 $H$ 坐标下为 $\varepsilon \propto 1/\ln N$,等价于 $\rho_E$ 坐标下的 $O(1)$ 常数截断。
报告系统性数值发现($N = 10^9$ 完整 DP)。Dyadic pred gap $\rho_E(2m) - \rho_E(m)$ 的分布高度集中于两个主值 gap $= +2$ 和 gap $= +3$,合计占 96%+($N = 10^9$)。$E[\text{gap}] \approx 2.52$ 稳定为正,微弱下降(2.56 → 2.52)的速率递减。若以早期尺度 $E[\text{gap}] \approx 2.56$ 为经验基线,则 $R(n)$ 的 $c_1 \cdot \ln\ln n$ 次主项在 $m \sim 10^8$ 上预测约 $-0.044$ 的 dyadic correction,经验预测值 2.516 与实测 2.521 相符——这里解释的是下降量,而非 $E[\text{gap}]$ 的绝对值。Dyadic 差分天然抹平 $R(n)$ 的次主项——这是 pred gap 稳定性的核心代数机制。
关键词:加法复杂度,$D(N)$,dyadic gap,height 分布,尺度重构,离散集中,pred gap
§1 引言
1.1 系列背景
Paper XXV 通过 dyadic telescoping 将 H'($D(N) \to 1$)归约为 pred gap 控制。Papers XXVII–XXVIII 建立了上反射判据、普适 scale attenuation 和三段式下反射框架。
本文做三件事:(1) 对 H' 的目标量进行概念审计,区分 $D(N)$ 和 $P(\text{pred gap} > 0)$;(2) 通过 $\sigma(H) \propto 1/\ln N$ 的发现重构 Paper XXVIII 的阈值选择;(3) 报告 pred gap 的离散集中现象及其代数解释。
本文不声称证明 H'。
1.2 本文贡献
(A) $D(N)$ 与 $P(\text{pred gap} > 0)$ 的概念区分(§2)。
(B) $\sigma(H) \propto 1/\ln N$ 的坐标系修正(§3)。
(C) Pred gap 的离散集中(§4)。Gap 几乎只取 $+2$ 或 $+3$,$E[\text{gap}] \approx 2.52$。
(D) Dyadic 差分杀次主项(§5),E[gap] 的微弱下降被定量解释。
(E) Pred gap 的素数-合数分解(§6)。
1.3 记号
沿用系列标准记号及 Paper XXVI–XXVIII 约定。新增记号:$h_{\text{ref}} = h_0(10^7) = 3.7918$(有限尺度经验锚点);$h_\infty = \lim h_0(N)$(若极限存在;真正的渐近常数,目前未知)。$R_{\text{ref}}(n) = \rho_E(n) - h_{\text{ref}} \cdot \ln n$。$\text{pred gap}(m) = \rho_E(2m) - \rho_E(m)$。$D(N) = |\{n \leq N : \rho_E(n) > \rho_E(n-1)\}| / N$。
§2 概念审计:D(N) 与 P(pred gap > 0)
2.1 两个不同的量
D(N)(H' 的目标量):逐个整数的正跳跃密度。
$$D(N) = \frac{|\{n \leq N : \rho_E(n) > \rho_E(n-1)\}|}{N}$$每个素数 $n$ 贡献 $\delta(n) = +1$。每个合数 $n$ 贡献 $\delta(n) = 1 - j(n)$,当 $j = 0$ 时 $\delta = +1$。数据中 $D(N) \approx 0.574$($N = 10^7$)。H' 要求 $D(N) \to 1$。Paper XXV 的 dyadic telescoping 表明,只要宏观的 $E[\text{gap}] > \tau_k$ 成立,Cesàro 均值机制最终会迫使零跳跃密度的比例在极限下归零。因此 0.574 是有限尺度的瞬态,不违背渐近趋于 1 的理论要求。
P(pred gap > 0):dyadic gap 的正率。
$$P(\text{gap} > 0) = \frac{|\{m \leq N/2 : \rho_E(2m) > \rho_E(m)\}|}{N/2}$$数据中 $P(\text{gap} > 0) \approx 0.997$($N = 10^9$)。
这两个量不同。 $D(N)$ 是微观(单步)密度,$P(\text{gap} > 0)$ 是宏观(dyadic 区间)密度。后者接近 1 不蕴含前者接近 1。
2.2 P(gap ≤ 0) 不趋于 0 不威胁 H'
数据中 $P(\text{gap} \leq 0) \approx 0.29\%$($N = 10^9$),微弱上升但趋于饱和。这不构成对 H' 的威胁:$D(N) \to 1$ 要求的是逐整数的 $\delta(n) = +1$ 的密度趋于 1,不是每个 dyadic 区间都有正增长。个别 $m$ 的 $\rho_E(2m) \leq \rho_E(m)$ 是微观涨落——一种兼容解释是 unusually smooth configurations 导致 $[m, 2m]$ 内合数跳跃完全抵消素数的 $+1$。
2.3 Route B 的正确目标
Paper XXV 通过 dyadic telescoping 将 $D(N) \to 1$ 归约为 pred gap 控制。归约的形式不是"$P(\text{gap} > 0) \to 1$",而是 $E[\text{gap}]$ 的阈值控制——需要 $E[\text{gap}] > \tau_k$ 对某个正阈值 $\tau_k$。数据中 $E[\text{gap}] \approx 2.52$($N = 10^9$ 尺度),始终为正且远离 0。Gap 分布高度集中(96%+ 在 $\{+2, +3\}$),方差严格有界——这使 Route B 落在一个非常有利的统计区间。
§3 σ(H) ∝ 1/ln N:坐标系修正
3.1 数据
数值观察 1.
| N | h₀ | σ(H) | σ · ln N |
|---|---|---|---|
| 10⁴ | 3.714 | 0.1006 | 0.927 |
| 10⁵ | 3.752 | 0.0824 | 0.948 |
| 10⁶ | 3.776 | 0.0681 | 0.941 |
| 10⁷ | 3.792 | 0.0576 | 0.929 |
| 10⁸ | 3.802 | 0.0498 | 0.917 |
| 10⁹ | 3.809 | 0.0440 | 0.912 |
$\sigma \cdot \ln N$ 从 0.93 缓慢降到 0.91,六个数量级上极稳定。
3.2 坐标系解释
$H(n) = \rho_E(n) / \ln n$。$\sigma(H) \cdot \ln N \approx 0.93$ 直接支持的是:以局部均值 $h_0(N)$ 为中心时,$\rho_E$ 的波动尺度是 $O(1)$。这是除以 $\ln n$ 的算术结果,不是动力学塌缩。
波动的自然变量是局部中心化的 $\rho_E$(即 $\rho_E(n) - h_0(N) \cdot \ln n$),不是 $H(n)$。§5 引入的 $R_{\text{ref}}(n) = \rho_E(n) - h_{\text{ref}} \cdot \ln n$ 与局部 fluctuation 相关但不相同:前者 std $\approx 0.93$,后者 std $\approx 0.75$(差异来自 $h_{\text{ref}}$ 与 $h_0(N)$ 之间的差距)。
3.3 对 Paper XXVIII 的修正
Paper XXVIII 的三段式下反射在 $H$ 坐标下用固定 $\varepsilon$ 的移动阈值,导致 $\alpha$ 持续下降。坐标系修正指出:
- 在 $H$ 坐标下,自然尺度是 $\varepsilon(N) \propto \sigma(N) \propto 1/\ln N$。
- 等价地在 $\rho_E$ 坐标下,自然尺度是 $O(1)$ 的常数截断。
这是对 Paper XXVIII Step 1 瓶颈的重述,不是消除。重标度后密度下界的表述变得更自然,但形式化仍需要 height 分布的非退化性理论。
3.4 Occupancy 集中
数值观察 2.
| N | h₀ ± 0.02 内的占比 | |H−h₀| > 0.10 的占比 |
|---|---|---|
| 10⁴ | 17.6% | 32.1% |
| 10⁶ | 24.5% | 13.6% |
| 10⁸ | 31.9% | 4.6% |
| 10⁹ | 35.5% | 2.4% |
分布在持续集中——双边反射控制了越来越多的质量。
§4 Pred Gap 的离散集中
4.1 Gap 分布(N = 10⁹)
数值观察 3.
| Decade | P(g≤0) | P(g=1) | P(g=2) | P(g=3) | E[g] |
|---|---|---|---|---|---|
| [10², 10³) | 0.0022 | 0.018 | 0.397 | 0.583 | 2.561 |
| [10⁴, 10⁵) | 0.0021 | 0.029 | 0.401 | 0.568 | 2.535 |
| [10⁶, 10⁷) | 0.0027 | 0.032 | 0.405 | 0.561 | 2.524 |
| [10⁷, 10⁸) | 0.0028 | 0.033 | 0.407 | 0.558 | 2.519 |
| [10⁸, 10⁹) | 0.0029 | 0.033 | 0.408 | 0.556 | 2.517 |
Gap 分布极其稳定:96%+ 集中在 $\{+2, +3\}$。没有 gap $> 3$。gap = 2 的比例缓慢上升(0.397 → 0.408),gap = 3 缓慢下降(0.583 → 0.556)。
4.2 E[gap] 的微弱下降
$E[\text{gap}]$ 从 2.561($[10^2, 10^3)$)缓慢降至 2.517($[10^8, 10^9)$),但速率在递减($\Delta = -0.026, -0.011, -0.005, -0.002$ per decade)。$E[\text{gap}]$ 始终远大于 0。同时 $h_0 \cdot \ln 2$ 从 2.57 升到 2.64——两者方向相反。§5 给出定量解释。
4.3 Pred gap 可负
全局扫描($N = 10^7$)发现 min pred gap $= -2$ at $m = 1{,}396{,}679$。$P(\text{gap} \leq 0) \approx 0.29\%$ 微弱上升但趋于饱和。如 §2.2 所述,这不威胁 H'。
§5 Dyadic 差分杀次主项
5.1 R(n) 的行为
$R_{\text{ref}}(n) = \rho_E(n) - h_{\text{ref}} \cdot \ln n$($h_{\text{ref}} = h_0(10^7) = 3.7918$,有限尺度经验锚点)。
数值观察 4. $R_{\text{ref}}$ 系统性为负($E[R_{\text{ref}}] \approx -3$),在当前窗口上 $\text{std}(R_{\text{ref}}) \approx 0.75$ 表现稳定。负偏移存在多种兼容解释:常数修正项 $c \approx -3$,慢变次主项 $c_1 \cdot \ln\ln n$,或 $h_{\text{ref}}$ 与真实 $h_\infty$ 之间的差距。当前数据不能区分。
5.2 ln ln n 假设检验
线性回归 $R(n) = a + b \cdot \ln(\ln n)$ 给出 $b \approx -1.18$,解释了约 57% 的样本方差。这提示 $R(n)$ 可能有 $c_1 \cdot \ln\ln n$ 的次主项。
5.3 Dyadic 差分的代数杀伤机制
关键观察(代数事实):对任何形如 $f(n) = c_1 \cdot \ln\ln n$ 的次主项:
$$f(2m) - f(m) = c_1 \cdot \ln\!\left(1 + \frac{\ln 2}{\ln m}\right) = c_1 \cdot \frac{\ln 2}{\ln m} + O\!\left(\frac{1}{(\ln m)^2}\right)$$
Taylor 展开的二次误差项在 $m = 10^8$ 时量级为 $(\ln 2)^2/(2 \cdot 18.4^2) \approx 0.0007$,可忽略。这也解释了 §5.4 的线性修正能吻合到千分位。
Dyadic 差分天然杀掉 $\ln\ln n$ 级别的慢发散。即使 $R(n)$ 有缓慢发散的低阶项,pred gap $= h_{\text{ref}} \cdot \ln 2 + (R(2m)-R(m))$ 仍然稳定——因为差分抹平了发散。
5.4 定量闭环
将 $c_1 = -1.18$ 代入差分公式。在 $m \approx 10^8$ 尺度,$\ln m \approx 18.4$:
$$\Delta R \approx -1.18 \times \frac{0.693}{18.4} \approx -0.044$$从早期尺度($[10^2, 10^3)$,$E[\text{gap}] \approx 2.56$)到 $[10^7, 10^8)$ 尺度,$E[\text{gap}]$ 应下降约 0.044。
实测下降量 $2.56 - 2.52 = 0.04$,量级吻合。经验预测值 2.516 与实测 2.521 相符。
5.5 Pred gap 的渐近行为
数据与"$E[\text{gap}]$ 保持正并趋向某个正常数"相容。若 $R$ 的主导次主项确为 $\ln\ln n$ 型,则 dyadic correction 以 $1/\ln m$ 衰减,$E[\text{gap}]$ 将缓慢上升。当前 $h_0(10^9) = 3.809$ 还在上升;如果 $h_\infty$ 在 3.83–3.85 附近,则 $E[\text{gap}]$ 可能趋向 2.65–2.67。但这是启发式外推,不是本文已建立的定理。
§6 素数-合数分解
6.1 Pred gap 的分解
$$\text{pred gap}(m) = \sum_{n=m+1}^{2m} \delta(n) = \underbrace{\pi(2m)-\pi(m)}_{\text{素数贡献}} + \underbrace{\sum_{\text{composite}} \delta(n)}_{\text{合数贡献}}$$数值观察 5.
| m | gap | 素数贡献 | 合数贡献 | E[δ|comp] |
|---|---|---|---|---|
| 10⁴ | +3 | +1,033 | −1,030 | −0.115 |
| 10⁵ | +2 | +8,392 | −8,390 | −0.092 |
| 10⁶ | +3 | +70,435 | −70,432 | −0.076 |
Pred gap 是两个 $O(m/\ln m)$ 量的差,净余 $O(1)$。合数负 drift 的绝对值在测试点上从 0.115 降到 0.076。如果这一趋势延续(需更多数据确认),合数的负贡献会越来越弱,素数在净余中的优势越来越明显。
6.2 与 Paper XXVI 的联系
Paper XXVI 建立了 $\rho_E(N) = \pi(N) + S_{\text{comp}}(N)$。§6.1 的素数-合数分解在 dyadic 层面验证了这个结构:pred gap $= [\pi(2m)-\pi(m)] + [S_{\text{comp}}(2m)-S_{\text{comp}}(m)]$。前项 $\approx m/\ln m$(PNT);后项在测试点上表现为 $\approx -(m/\ln m) + O(1)$。净余就是 pred gap $\approx O(1)$。
§7 讨论
7.1 本文核心贡献
本文不推进解析证明,而是为系列建立正确的坐标系和目标量:
(1) 概念审计:$D(N)$ 和 $P(\text{gap} > 0)$ 是不同的量。H' 追的是 $D(N)$。$P(\text{gap} \leq 0)$ 的行为不直接约束 $D(N)$。
(2) 坐标系修正:$\sigma(H) \propto 1/\ln N$ 是坐标系假象。自然波动变量是 $R_{\text{ref}}(n) = \rho_E(n) - h_{\text{ref}} \cdot \ln n$,波动 $O(1)$。Paper XXVIII 的阈值应在 $\rho_E$ 坐标下取 $O(1)$ 截断。
(3) Dyadic 差分杀次主项:$R(n)$ 可能有 $\ln\ln n$ 级别的慢发散,但 dyadic 差分天然抹平它。这是 pred gap 稳定性的代数核心。
(4) 离散集中:Pred gap 几乎只取 $+2$ 或 $+3$,方差严格有界。
7.2 E[gap] 的临界间隙图景
$E[\text{gap}] \approx 2.52$ 位于 gap $= 2$ 和 gap $= 3$ 之间(更接近 gap $= 2.5$)。系统运行在临界点附近。数据与"$E[\text{gap}]$ 保持正并趋向某个正常数"相容——若 $\ln\ln n$ 型修正持续衰减,$E[\text{gap}]$ 将缓慢上升。
7.3 开放问题
(1) $\sigma \propto 1/\ln N$ 的解析证明。
(2) $E[\text{gap}]$ 的渐近极限——是否等于 $h_\infty \cdot \ln 2$?
(3) $R(n)$ 的精确次主项结构——常数 $+ \ln\ln n$,还是更复杂?
(4) $D(N) \to 1$ 的 Route B 证明——需要 $E[\text{gap}] > \tau_k$ 的解析确认。
(5) $P(\text{gap} = 0)$ 的渐近行为——趋于 0、趋于小正常数、还是其他?不影响 H',但有独立的数论意义。
7.4 致谢
热力学线(Claude)识别了 $D(N) \neq P(\text{pred gap} > 0)$ 的关键概念错误,避免了对 $P(\text{gap} \leq 0)$ 的错误追踪。Gemini 贡献了坐标系修正($\sigma$ 塌缩是假象)、$\ln\ln n$ 假设、以及 $E[\text{gap}]$ 下降的定量闭环(理论 2.516 vs 实测 2.521)。ChatGPT 贡献了 claim 边界的系统性收紧和 $D(N)/P(\text{gap}>0)$ 目标层级的统一。Grok 保证了与前 28 篇的一致性。Claude(数学线)编写了全部数值计算脚本并起草了 working notes v1–v3。最终文本由作者独立完成,所有数学判断由作者负责。
§8 数据来源与可复现性
| 脚本 | 测量 | §引用 |
|---|---|---|
| p29_block123.py | Occupancy + 移动阈值 α + pred gap 统计 | §3, §4 |
| p29_block45.py | R(n) 序列 + R(2m)−R(m) 分布 + 全局极值 | §5, §4.3 |
| p29_block67.py | gap≤0 全局扫描 + gap 分布 by decade + ln ln n 回归 | §4, §5.2 |
| p29_block7_only.py | gap 分布 by decade(轻量版,N=10⁸/10⁹) | §4.1 |
所有脚本 sanity check 通过:$\rho_E(10^7) = 58$, $\rho_E(10^8) = 66$, $\rho_E(10^9) = 74$。
References
- ZFCρ Papers I–XXVIII. H. Qin. Paper XXVI DOI: 10.5281/zenodo.19059834. Paper XXVII DOI: 10.5281/zenodo.19062684. Paper XXVIII DOI: 10.5281/zenodo.19078654.
- J. Arias de Reyna. Complexity of natural numbers and arithmetic compact coding. Preprint.
- K. Cordwell, S. Epstein, A. Hemmady, S. J. Miller, E. Steiner (2018). On the number of 1's needed to represent n. J. Number Theory, 189:17–34.
- H. Altman (2014). Integer complexity, addition chains, and well-ordering. PhD thesis, Rutgers University.
- S. P. Meyn, R. L. Tweedie (1993). Markov chains and stochastic stability. Springer-Verlag, London.