論文の概要: Real-rootedness of the Poincaré polynomials of $\overline{\mathcal M}_{0,n}$: an AI-assisted proof

• arxiv url: http://arxiv.org/abs/2605.29151v1
• Date: Wed, 27 May 2026 22:26:05 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-05-30 02:45:55.545061
• Title: Real-rootedness of the Poincaré polynomials of $\overline{\mathcal M}_{0,n}$: an AI-assisted proof
• Title（参考訳）: $\overline{\mathcal M}_{0,n}$:AI支援証明のポアンカレ多項式の実根性
• Abstract要約: Deligne-Mumford モジュライ空間のポアンカレ [ P_n(t)=sum_i=0n-3 dim H2i(overlinemathcal M_0,n;mathbbQ) の実根性を証明する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: We prove real-rootedness for the Poincaré polynomial \[ P_n(t)=\sum_{i=0}^{n-3} \dim H^{2i}(\overline{\mathcal M}_{0,n};\mathbb{Q})t^i \] of the Deligne--Mumford moduli space $\overline{\mathcal M}_{0,n}$ of stable $n$-pointed rational curves, proving a conjecture of Aluffi--Chen--Marcolli. The proof starts from the Keel--Manin--Getzler recurrence, but its main new idea is a bivariate deformation $F_m(y,t)$ of the Poincaré polynomial. This deformation reveals a hidden interlacing structure not visible in the one-variable recurrence. For fixed $t<0$, the zero set of $F_m$ in the $y$-direction is controlled by a Sturm--Rolle argument on the interval $0<y<1-t$. The original polynomial is recovered on the slice $y=1$, and the ordered crossings of the moving roots through this slice give both real-rootedness and strict interlacing. Consequently, the Betti numbers of $\overline{\mathcal M}_{0,n}$ form an ultra-log-concave sequence. We further prove real-rootedness and ultra-log-concavity for the Poincaré polynomial of the Fulton--MacPherson space $\mathbb{P}^1[n]$ of $n$ ordered points in degenerations of the complex projective line. The proof for $\overline{\mathcal M}_{0,n}$ was obtained through an iterative AI-assisted workflow with Co-Mathematician, an agentic frontier-model system developed by Google DeepMind. The human role was to pose the problem, evaluate successive attempts, request repairs of gaps, compare the evolving argument with the literature, and assemble the final human-verifiable proof. Our additional human contribution was to observe that a similar residual deformation strategy applies to the Fulton--MacPherson spaces $\mathbb P^1[n]$, yielding the corresponding real-rootedness theorem.
• Abstract（参考訳）: ポアンカレ多項式 \[P_n(t)=\sum_{i=0}^{n-3} \dim H^{2i}(\overline{\mathcal M}_{0,n};\mathbb{Q})t^i \] に対する実根性を証明する。 この証明は Kel--Manin--Getzler の繰り返しから始まるが、その主要な新しいアイデアはポアンカレ多項式の2変数変形 $F_m(y,t)$ である。 この変形は、1変数の再発で見えない隠れたインターレース構造を明らかにする。 固定$t<0$の場合、$y$-directionの$F_m$のゼロ集合は、0<y<1-t$の間隔でのSturm--Rolle引数によって制御される。 元の多項式はスライス$y=1$で回収され、このスライスを通る移動根の順序付けられた交差は、実根性および厳密なインターレースを与える。 したがって、$\overline{\mathcal M}_{0,n}$のベッチ数は超log-concave列を形成する。 さらに、フルトン-マクファーソン空間 $\mathbb{P}^1[n]$ of $n$ order points in degenerations of the complex projective line。 The proof for $\overline{\mathcal M}_{0,n}$ was obtained through a repeaterative AI-assisted workflow with Co-Mathematician, an agentic frontier-model system by Google DeepMind。 人間の役割は、問題を提起し、連続した試みを評価し、ギャップの修復を要求し、進化した議論を文献と比較し、最終的な人間検証証明を組み立てることであった。 我々の追加の人間の貢献は、同様の残留変形戦略がフルトン-マクファーソン空間 $\mathbb P^1[n]$ に適用され、対応する実根性定理が導かれることを観察することであった。

関連論文リスト

• Exact Risk Ratios for Weighted Data Selection in Linear Regression [0.0]
  Hanneke, Moran, Shlimovich and Yehudayoff (COLT 2025) は以下の未解決問題を提示した。 セレクタは有限データセット $D subseteq mathbbRd times mathbbR$ を見て、非負の重みとともに少なくとも$n$の例を選び、重み付き最小二乗の目的を最小ノルム ERM に渡す。 いくつかの短い経路が失敗することを示す明示的な反例と、証明された全てのケースに対する構成的なサインタイム選択アルゴリズムを示す。
  論文  参考訳（メタデータ） (2026-08-28T07:19:17Z)
• The Condition-Number Barrier in Sparse Least Squares [77.64108812086542]
  AxiotisとSviridenkoは[AS21]において、凸最適化における制限条件数への線形依存はスパース時間アルゴリズムでは改善できないと推測した。 我々は、最小二乗目的に対する予想下界を確立し、ランダム化された完全体積小セット展開仮説に基づく条件付けを行う。
  論文  参考訳（メタデータ） (2026-08-03T17:57:01Z)
• Shallower ReLU Network Representations via Exact Linear Algebra [6.437241429006478]
  実数$n$の最大値は、$nle 10$ごとに2つの隠された層を持つReLUネットワークによって正確に表現可能であることを証明している。 特に$mathbbRd$ for $dle 9$ 上のすべての連続ピースワイズ線型関数は、2層ReLU表現を許容する。
  論文  参考訳（メタデータ） (2026-07-22T16:58:02Z)
• Positivity in classical enumerative geometry: a case study in synchronized AI-assisted mathematics [0.0]
  対称$prod_in A_n,dbigl ここで、$A_n,d:=inmathbbZ_ge 0n:||=d$は、$mathrmSymd(mathbbCn)$のチャーン類である。 我々は、それらの構造に関するいくつかの予想を証明し、明示的な公式を確立し、チャーン類とそれらの$K$-理論的類似物の両方の対数共共空性について研究する。
  論文  参考訳（メタデータ） (2026-05-24T21:56:27Z)
• FlowBoost Reveals Phase Transitions and Spectral Structure in Finite Free Information Inequalities [1.4721615285883427]
  有限自由加法的畳み込み$boxplus_n$の下で、実根不等式に対する有限自由スタムについて検討する。 $p=2$ FlowBoost では、Hermite 対は等式として一意である。 平均零部分空間上の二重結合行列 $E_n$ の値は 2k/2:k=1,ldots,n-1$ である。
  論文  参考訳（メタデータ） (2026-04-13T18:09:32Z)
• Information-Computation Tradeoffs for Noiseless Linear Regression with Oblivious Contamination [65.37519531362157]
  このタスクに対する効率的な統計的クエリアルゴリズムは、VSTATの複雑さを少なくとも$tildeOmega(d1/2/alpha2)$で要求する。
  論文  参考訳（メタデータ） (2025-10-12T15:42:44Z)
• A computational transition for detecting multivariate shuffled linear regression by low-degree polynomials [0.0]
  モデル $Y=tfrac1sqrt1+sigma2(Pi_* X Q_* + sigma Z) について検討する。 このモデルを$X$と$Y$の場合と区別する仮説テスト問題を考える。 その結果、この問題に対する低次アルゴリズムの有効性の円滑な遷移が確立された。
  論文  参考訳（メタデータ） (2025-04-04T00:32:38Z)
• Learning and Computation of $Φ$-Equilibria at the Frontier of Tractability [85.07238533644636]
  $Phi$-equilibriaは、オンライン学習とゲーム理論の中心にある、強力で柔軟なフレームワークだ。 効率的なオンラインアルゴリズムは、$textpoly(d, k)/epsilon2$ラウンドを使用して、平均$Phi$-regretを最大$epsilon$で生成することを示す。 また、オンライン設定において、ほぼ一致した下限を示し、その結果、$Phi$-regretの学習可能性を取得する偏差の族が初めて得られる。
  論文  参考訳（メタデータ） (2025-02-25T19:08:26Z)
• The Communication Complexity of Approximating Matrix Rank [50.6867896228563]
  この問題は通信複雑性のランダム化を$Omega(frac1kcdot n2log|mathbbF|)$とする。 アプリケーションとして、$k$パスを持つ任意のストリーミングアルゴリズムに対して、$Omega(frac1kcdot n2log|mathbbF|)$スペースローバウンドを得る。
  論文  参考訳（メタデータ） (2024-10-26T06:21:42Z)
• Learning a Single Neuron with Adversarial Label Noise via Gradient Descent [50.659479930171585]
  モノトン活性化に対する $mathbfxmapstosigma(mathbfwcdotmathbfx)$ の関数について検討する。 学習者の目標は仮説ベクトル $mathbfw$ that $F(mathbbw)=C, epsilon$ を高い確率で出力することである。
  論文  参考訳（メタデータ） (2022-06-17T17:55:43Z)
• Low-degree learning and the metric entropy of polynomials [44.99833362998488]
  少なくとも$Omega(sqrtvarepsilon)2dlog n leq log mathsfM(mathscrF_n,d,|cdot|_L,varepsilon)は2辺の推定値$c(1-varepsilon)2dlogを満たす。
  論文  参考訳（メタデータ） (2022-03-17T23:52:08Z)
• Mutually unbiased bases: polynomial optimization and symmetry [1.024113475677323]
  mathbb Cd$ の正則基底の集合 $k$ は互いに非バイアスな $|langle e,frangle |2 = 1/d$ と呼ばれ、$e$ と $f$ は異なる基底の基底ベクトルである。 この対称性を(解析的に)利用して、半定値プログラムのサイズを縮小し、取り外し可能とする。
  論文  参考訳（メタデータ） (2021-11-10T14:14:53Z)
• Stochastic behavior of outcome of Schur-Weyl duality measurement [45.41082277680607]
  我々は、$n$ qubits上のシュル=ワイル双対性に基づく分解によって定義される測定に焦点をあてる。 我々は、$n$が無限大に進むとき、中心極限の一種を含む様々な種類の分布を導出する。
  論文  参考訳（メタデータ） (2021-04-26T15:03:08Z)
• Small Covers for Near-Zero Sets of Polynomials and Learning Latent Variable Models [56.98280399449707]
  我々は、s$ of cardinality $m = (k/epsilon)o_d(k1/d)$ に対して $epsilon$-cover が存在することを示す。 構造的結果に基づいて,いくつかの基本的高次元確率モデル隠れ変数の学習アルゴリズムを改良した。
  論文  参考訳（メタデータ） (2020-12-14T18:14:08Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。