ESの独立条件を一つ削減

STATUS: RIEMANN HYPOTHESIS OPEN.

研究実施：2026-10-06。公開更新：2026-10-07。

何が変わったか

これまで、有限Weil最低状態について「偶側の最低値が奇側より低いこと」と「偶側の最低状態が一つだけであること」を、別々に確認する条件として置いていました。

実際に使っている有限Weil行列の特殊な交換関係から、前者が成立すれば後者も従うことを確認しました。したがって、この行列族では、最低状態の単純性・偶性を表すESは、厳密な偶奇順序だけで判定できます。偶側内部の固有値差が正であることは、独立の証明義務ではなくなりました。

これは各有限点での補助結果です。必要な共終列上で、その厳密な順序が最終的に成立することは、まだ証明していません。

なぜこの方向か

境界項や残差の分解を増やす前に、採用済みの移送が本当に必要とする前件を見直しました。既知の行列構造を使えば単純性の独立確認を省けるため、現在の主線は、同じ列でのシータ核の捕捉と、厳密な偶奇順序へ整理できます。

2026-10-05の共同移送は、その時点の条件を記した履歴として残します。今回の更新は、そこに別途置いていた単純性条件を外す後続結果です。

現在の境界

CMP: OPEN / ES: OPEN. 実際の強L²捕捉と、共終列上の厳密な偶奇順序は未証明です。
同じ共終列で両条件が成立することも、成立しないことも証明していません。
一様な固有値差の下界は得ていません。有限補題を共終的なESの証明へ一般化しません。
今回の有限補題は漸近評価ではありません。新たに解決した実際のWeil系の漸近義務は 0 件です。

EVEN FULL-GROUND CAPTURE: NOT ESTABLISHED.

次の行動

残る研究上の問いは、同じ解像共終列でシータ核を捕捉できるか、そして偶側の最低値が奇側より厳密に低くなるかです。今回行ったのは確定成果の公開同期だけで、新しい証明探索や数値計算は開始していません。

技術的な内容

CORE-S：厳密な偶奇順序から単純性へ

正準な有限Weil行列を $Q_{a,N}$ 、その偶・奇部分を $$Q^+$$ 、 $$Q^-$$ とし、 $$a>0$$ 、整数 $N\ge1$ とします。 $$e_+$$ 、 $$e_-$$ は各部分の最低固有値です。次が成立します。

e_+(a,N)<e_-(a,N)\quad\Longrightarrow\quad\dim\ker(Q^+-e_+I)=1.

全有限空間の最低値が単純で、その状態が偶であることを $\mathrm{ES}(a,N)$ と書けば、

\mathrm{ES}(a,N)\iff e_-(a,N)>e_+(a,N).

従来の独立条件 $\Delta_+(a,N)>0$ は、この厳密な順序から各有限点で従います。 $$N=0$$ では奇部分が空になるため、ここでは扱いません。

使った構造と短い証明

CCMの既知の行列構造を使います。正準基底 $$V_n$$ （ $-N\le n\le N$ ）で $$DV_n=nV_n$$ 、反射を $$J$$ 、 $\eta=\sum_nV_n$ とすると、奇ベクトル $\beta$ により

[D,Q]=|\beta\rangle\langle\eta|-|\eta\rangle\langle\beta|.

JQ=QJ,\qquad JD=-DJ,\qquad J\eta=\eta,\qquad J\beta=-\beta.

\ker D=\mathbb C V_0,\qquad\langle\eta,V_0\rangle=1.

偶最低固有空間を $$U$$ とし、 $\xi\in U$ が $\eta$ に直交するとします。 $\beta$ は奇なので $\xi$ に直交し、交換関係から $QD\xi=e_+D\xi$ となります。 $D\xi$ は奇ですが、 $$e_+<e_-$$ なら奇側にこの固有値はありません。したがって $D\xi=0$ 。上の核と内積の条件から $\xi=0$ です。つまり一つの線形汎関数 $\langle\eta,\cdot\rangle$ が $$U$$ 上で単射になり、 $$U$$ は一次元です。

反対に全最低状態が単純かつ偶なら、奇側に同じ最低値は存在できません。これでESとの同値が得られます。RH・捕捉・未知の固有値差の下界を仮定した証明ではありません。

残る共同条件

$$R_a$$ を支持制限、 $$P_N$$ を正準な有限フーリエ射影、 $G_{+,j}$ を偶最低固有空間への直交射影とし、記録の規約で $\widehat k=\Xi/4$ とします。

C_j=\|(I-G_{+,j})P_{N_j}R_{a_j}k\|_2.

必要な未証明命題は、次を満たす一つの同じ列の存在です。

a_j\to\infty,\qquad\frac{a_j}{N_j+1}\to0,

C_j\to0,\qquad e_-(a_j,N_j)>e_+(a_j,N_j)\ \text{eventually}.

この前件が成立すれば、CORE-SによるESと、採用済みのES＋強L²移送を組み合わせられます。

\begin{aligned} \text{same-sequence capture}+\text{strict parity} &\Longrightarrow\mathrm{ES}\\ &\Longrightarrow\text{adopted transfer}\\ &\Longrightarrow\mathrm{RH}. \end{aligned}

別々の列の結果は接合できません。この分岐へ旧CMP-Rの $\lambda^r$ 速度を追加しません。旧CMP-RはESに依存しない別の十分条件として保持します。

CASE D — CMP OPEN + ES OPEN. 以前の 19項目中12項目は一般理論・固定範囲の委譲であり、12個のRH障害を解いたという意味ではありません。

根拠と証拠の範囲

Connes–Consani–Moscovici, Zeta Spectral Triples, arXiv:2511.22755v1, §5.1–5.2, Lemmas 5.1–5.2：有限行列と交換関係の既知入力。
CORE-Sは、その入力から導いた短い補助結果です。既知の補題と今回の帰結を区別し、文献的新規性・優先権を主張しません。
内部の独立AI監査はPASSでした。外部査読や全研究の形式検証ではありません。証明は数値診断に依存しません。私的な研究ディレクトリ、監査ログ、計算キャッシュは掲載していません。
共同移送の原典と前件 · 現在地 · ロードマップ · 今回の公開状態記録

COFINAL COMPATIBILITY: NOT ESTABLISHED.

COFINAL INCOMPATIBILITY: NOT ESTABLISHED.

STATUS: RIEMANN HYPOTHESIS OPEN.