紹介した論文

1. 0:19 Order-3 pi-formulas, Apery-like kernels, and Clausen functoriality for Conservative Matrix Fields [2604.09723v1]
   スクリプトを表示

   1本目は、アレックス・シュヴェツさんによる「Order-3 pi-formulas, Apery-like kernels, and Clausen functoriality for Conservative Matrix Fields」です。 本稿では、ラズらの研究で得られたアペリ定数やカタラン定数などの公式を、保守行列場という枠組みで解釈しています。 まず、三次の多項式再帰が公表されていることを示し、その再帰が一階の核に分解できるかを問い直しました。 オレ代数を用いた因数分解基準により、各三次再帰は一階核のシフトされた積分リフトであることを証明しました。 核は、アペリ様列、ドン数列、そしてガウス平方の係数列の超幾何学的変形から構成されています。 さらに、ガウス保守行列場の正方ゲージ行列を構築し、対称平方函手と引き戻しひねり操作が核を生成することを示しました。 これにより、保守行列場の微分成分がアペリ様核の再帰を生み出すことが分かります。 また、ベレイ引き戻しによりドン核が得られることを示し、一般的な引き戻しひねり函手性定理を証明しました。
2. 1:41 A comment on the equation $n!!=a_1!!\cdots a_t!!$ [2604.09730v1]
   スクリプトを表示

   2本目は、ササノヴァコヴィッチさんによる「A comment on the equation n! ! =aの1! ! 点s aのt! !」です。中心的な問題は、変数が正整数であるとき、方程式 a!! + b!! = c!! が有限個しか解を持たないかどうかです。まず、すべて偶数の場合、各二重階乗は偶数の積であり、方程式は自動的に成り立つため、無限に単純解が存在します。次に a が奇数で b と c が偶数の場合、単純解は生じません。著者らは明示的 abc 仮説を利用し、隣接整数の積の最大素数因子を制御することで、非退化解が有限個であることを証明しました。具体的には、２つの補題により最大素数因子が指数的に増大することを示し、ストリング近似を用いて不等式を導出しました。第一の定理では a, b, c がすべて偶数の場合に明示的 abc 仮説が非退化解を有限に限定することを示し、第二の定理では a が奇数で b が偶数の場合に c に素数因子が無い場合とある場合でそれぞれ非退化解が有限であることを示しました。
3. 3:25 A formal proof of the Ramanujan--Nagell theorem in Lean 4 [2604.09808v1]
   スクリプトを表示

   3本目は、バリンダー・S・バンウェイトさんによる「A formal proof of the Ramanujan--Nagell theorem in Lean 4」です。 この論文では、リーン4 とマスライブラリを使って、ラマヌジャン・ナゲル定理を完全に機械検証しました。定理は、x²＋7＝2ⁿ の整数解が、1,3; -1,3; 3,4; -3,4; 5,5; -5,5; 11,7; -11,7; 181,15; -181,15 の10組だけであることを示します。証明は、Q(√-7) の整数環を構築し、その判別式が -7 です。クラス数が 1 です。単位群が ±1 だけです。さらに、因数分解と符号議論、二項定理の展開、42 での剰余計算、そして p-アディック評価を用いて、各剰余類が最大で一つの解しか持たないことを示します。 この形式化は、整数環の扱いに関するインフラを整備し、型クラス推論やインスタンスの重複といった技術的障壁を克服しました。また、人工知能がタクティックの提案や証明修正を支援し、試行錯誤の時間を大幅に短縮しました。
4. 4:59 Low moments of random multiplicative functions twisted by Fourier coefficients of modular forms [2604.09968v1]
   スクリプトを表示

   4本目は、ペン・ガオさんとリャンイ・ザオさんによる「Low moments of random multiplicative functions twisted by Fourier coefficients of modular forms」です。 この論文では、ある固定されたホロモルフィック・ヘッケ・固有形式のフーリエ係数と、二種類のランダム乗法関数を掛け合わせた和の低いモーメントを調べています。 まず、ステイナーソスモデルでは各素数に対して単位円上の一様独立な点を与え、レダマーチャー模型では平方自由整数に限定し各素数に ±1 を割り当てます。 対象は S x で、n が x 以下の整数について f のフーリエ係数と g の n での値を掛け合わせた和です。 S x の絶対値の q 次乗の期待値を調べ、q は 0 と 1 の間の実数です。 ハーパーは以前に乱数乗法関数の部分和の q 次モーメントが対数 x の q の二乗を二で割ったものに比例すると示しました。
5. 6:06 The Number of Solutions to $ax+by+cz=n$ for Fibonacci and Lucas triplets [2604.10294v1]
   スクリプトを表示

   5本目は、math.NTからのクロス投稿で、プージャ テオティアさんによる「The Number of Solutions to ax+by+cz=n for Fibonacci and Lucas triplets」です。 この論文では、フィボナッチ数やルーカス数の連続した三つの係数を持つ線形ディオファントス方程式 a x + b y + c z = n の非負整数解の個数を正確に数える公式を示しています。 従来は二変数の場合に閉じた形が知られていましたが、三変数になると Binner の方法では床関数の和が残り、評価が難しくなっていました。 著者は Cassini の恒等式を利用して、フィボナッチ系では必要な逆元と剰余を簡単に求め、和を解消した結果、i と n のみからなる明示的な式を得ました。例えば i=4、n=100 のとき 7178 通りの解が存在することが確認できます。 ルーカス系では i を 4 で割った余りごとに剰余の振る舞いを区別し、同様に和を単純化しました。i=5、n=200 の例では簡潔な式で 1245 通りの解が得られました。
6. 7:27 A note on small theta lift [2604.10421v1]
   スクリプトを表示

   6本目は、math.NTからのクロス投稿で、チェイ・ジンソンさんによる「A note on small theta lift」です。 この論文では、素数体上の重要な対称対である偶数次正交-交互対とユニタリ対に対する小さなθリフトを構築する方法を示しています。著者はまず対称対の設定とメタップリック被覆を復習し、ある滑らかな不可約表現に対してヴェイユ表現と掛け合わせ、セスキ線形形式を定義します。この形式の積分が収束すると、根を除去して商を得ることで、対称対の一方の群の自然な作用を持つ非退化な形式が得られます。 この手法はリの予想に由来し、セスキ線形形式が正であれば完成形がユニタリ表現となり、ホウ・デュオリティが実現するとされます。著者は多重度一定理とラリスの結果を組み合わせ、商が一つの不可約商を持つことを証明し、商が大きなθリフトの一部であることを示します。 さらに、シーソウ図とシーゲル準備部分群を用いて誘導表現からヴェイユ表現へ準同型写像を構築し、その像が小さなθリフトであることを確認します。
7. 8:48 Remarks on Brauer-Manin obstruction for Weil restrictions [2604.10498v1]
   スクリプトを表示

   7本目は、ショウ・チェンさんとカイ・ホアンさんによる「Remarks on Brauer–Manin obstruction for Weil restrictions」です。 この論文では、数論体上の滑らかな準射影多様体に対するウェイル制限のブラウアー・マンイン障害を調べています。著者らは、可換化基本群が単位である場合、元の多様体のブラウアー・マンイン集合とそのウェイル制限の集合が一致することを示しました。さらに、滑らかな射影多様体で可換化基本群がトーションフリーであるときは、代数的ブラウアー・マンイン集合も同様に一致することを証明しました。これらの結果は、Colliot‑Thélène と Poonen が提起した「ウェイル制限を取った多様体と元の多様体でブラウアー・マンイン障害の有無が同じか？」という疑問に対し、広い範囲の多様体で肯定的に答えを与えています。手法としては、ホッシャル・セルレスペクトル列を用いてコホロジー群を関連付け、可換化基本群の単位性から必要なセクションを構築しました。
8. 10:02 On the Chevalley-Bass number of a field [2604.10802v1]
   スクリプトを表示

   8本目は、math.NTからのクロス投稿で、ジャン・ギリベルタさん、フローレンス・ギリベルタさん、ガブリエレ・ラニエリさんによる「On the Chevalley-Bass number of a field」です。 この論文では、正標数を持つ体 K に対して、Chevalley-Bass 数と呼ばれる正整数の新しい上下限を示しています。まず、K の最大アーベル部分拡大 K^{ab} を考え、K で p 次方にある要素が K^{ab} で p 次方になるような最小の整数 n を定めます。この n は、根号の個数 w(K)、導体 f(K)、および w(K) を割る最大の素数 p を使って、 n(K)=p^{ν_p(w(K))} w(K) f(K) という形で表されます。特に、K が全実であれば n(K) は 2 の冪だけで構成され、cyclotomic 体では根号の個数の倍数が必ず Chevalley-Bass 数になることがわかります。
9. 11:11 Conjectural decomposition of symmetric powers of automorphic representations for $\mathrm{GL}(n)$ [2604.10818v1]
   スクリプトを表示

   9本目は、キン・ミン・ツァンさんによる「Conjectural decomposition of symmetric powers of automorphic representations for GL(n)」です。 この論文では、GLのn次元一般線形群に対するカスピダル自動表現πの対称m乗を調べ、どれだけのカスピダル部分が現れるかを数え上げる方法を示します。 まず、対称k乗が自動的にカスピダルであることを仮定し、kがmまで成り立つとき、対称m乗に現れるカスピダル部分の個数はnとmだけに依存する上限を持つことを証明します。 この上限は、対称乗と外部乗の関係を結ぶシュール多項式同一性と、中央点でのレイニン・セルツァーL関数の極を利用して導かれます。 さらに、対称m乗がカスピダルでなくても、非カスピダル部分の次数を基に似た上限が得られることを示します。 実例として、アイコサヘドラル代表を用いた場合や3次元不変代表を考えると、上限が実際に達成されることが確認されます。 総じて、この研究は対称乗の内部構造を理解し、ラングランズ予想に関する新たな手がかりを提供します。
10. 12:33 Beatty solutions of almost Golomb equations [2604.10822v1]
    スクリプトを表示

    10本目は、ベノワ・クロイトさんによる「Beatty solutions of almost Golomb equations」です。 この論文では 3 つの隣接項で構成されるほぼゴロン方程式を調べ、暗黙的再帰 a の a の n プラス a の n たす 1 プラス a の n たす 2 を入力として n を返すことを示します。著者は貪欲解とは別に √2マイナス1 の斜率を持つ不均質 ビートティ 列を発見し、同じ再帰を満たし、ビートティ 列の中で唯一の解ですと証明しました。さらに三重入れ子方程式では連続したシフトの家族が存在し、シフトが √2マイナス1 の区間に入ると解が得られると示されました。奇数の完全平方数では同一性が成立し、偶数の場合は失敗することが確認されました。証明にはオストロウスキー表記、スタルミアン語、三距離定理、ウォルナットという自動定理証明器が利用されました。リスナーの皆さん、数学の世界ではこうした暗黙的関係がどんどん明らかになると、驚きと発見が続きますよね。
11. 13:49 Regular ternary sums of generalized polygonal numbers [2604.10901v1]
    スクリプトを表示

    11本目は、math.NTからのクロス投稿で、ミンギョ・キムさんによる「Regular ternary sums of generalized polygonal numbers」です。 この研究では、整数 g は 3 以上とし、一般化多角形数 P_g(m) は g-2 で m の二乗を掛け、g-4 で m を掛けたものを 2 で割った数として定義されます。三項形として三つのこうした数を整数係数で足し合わせたものを調べ、三項形が「規則的」であるとは、全ての局所的に表現可能な非負整数を実際に表せることを意味します。著者らは、この規則性を二次格子と陪集の枠組みで捉え、完全二次多項式と密な正規性との対応を示しました。さらにワトソン変換を用いて陪集の導体を縮小し、表現できる小さな整数を増やす手法を構築。これにより導体の上限が得られ、結果として g がある定数 M を超えると規則的な三項形は存在しないことを証明しました。したがって、規則的な三項形を持つ g の値は有限個であるという完全な有限性が示されたのです。
12. 15:09 Local square mean in the hyperbolic circle problem and sums of Sali\'e sums [2604.11205v1]
    スクリプトを表示

    12本目は、アンドラス・ビロさんによる「Local square mean in the hyperbolic circle problem and sums of Salié sums」です。 この論文では有限体積フッシアン群に対するハイパーボリック円問題を扱います。 上半平面の点 z と半径 R をとり、固定点 w の軌道点が半径 R の双曲円内に何個あるかを数える問題です。 セルゲブの古典的推定では誤差項が R の 1/2 べきに制限され、これまでの群で改善されていませんでした。 著者は以前、誤差項の局所二乗平均が点ごとの上限より小さいことを示しました。 今回の研究では、サリエー和に関する推測的推定を仮定すると、局所二乗平均の指数をさらに下げることができます。 その推測は滑らかな重み付き和を模数 c で取り、サリエー和の和が T の 1/2+ε べきに制限されるというものです。 主張は、クラス数公式を利用して二次形式のペアのクラス数を明示的に表し、従来の粗い上限を置き換えることにあります。 ポアンカール変換を行うと、残りの和はサリエー和を含み、推測が必要な打ち消しを提供します。
13. 16:38 A Fixed-Prime Criterion for Reciprocals in Missing-Digit Sets [2604.11282v1]
    スクリプトを表示

    13本目は、スコット・デューク・コミナーズさんによる「A Fixed-Prime Criterion for Reciprocals in Missing-Digit Sets」です。この論文では、固定素数を用いた欠損桁集合に属する逆数の分母のp-アディカル評価に上限を設ける方法を示しています。具体的には、分母が固定素数と互いに素な部分を取り除くと、乗法順序の根に関する項がp-アディカル評価を上から制御できると論じています。この結果を列固有の増長予測と組み合わせると、逆数列の分母が根に対する項を上回る場合、欠損桁集合に入る逆数は有限個に限られるという判定基準が得られます。応用例として階乗、スーパー階乗、フィボナッチ数の積、pのk乗マイナス1の積などが挙げられ、カントール集合に対しては具体的に1/2や1/6のみが条件を満たすことが示されています。ただし、プライマリルや中心二項係数のように分母のp-アディカル評価が十分に増大しない列はこの手法では扱えず、将来は素数を指数に応じて変える方法や因数分解情報を追加することで拡張できると述べられています。
14. 17:59 Branched covers of $\mathbb{P}^1$ and divisibility in class group [2604.11301v1]
    スクリプトを表示

    14本目は、math.NTからのクロス投稿で、カリヤン・バナージーさん、カリヤン・チャクラボーティさん、アジズル・ホクさんによる「Branched covers of Pの1乗 and divisibility in class group」です。 この論文は、数論におけるクラス群の構造を明らかにするために、代数幾何学的手法を用いて、特定の順序をもつ要素を生成する方法を示します。著者らは、n-多項曲線のヤコビアンにあるトーション除子を取り、適切な数体上の整数モデルに展開し、一般繊維に制限した際に非零のトーション要素が得られることを示しました。従来の研究では、アグボリャとパッパス、ギリバートとレヴィンがトーション線束をクラス群へ引き戻す手法を提案しましたが、今回の研究は射影直線の分岐被覆に拡張しています。被覆 CからP1へ数体上で定義し、整数モデル CからBへ構成。基底の一般点での繊維は整数環を持つ滑らかな曲線。トーション除子を総空間に拡張し、特殊繊維に制限すると、対応する数体のクラス群にトーション要素が残ります。
15. 19:20 The solvability of the inverse volcano problem over non-prime finite fields [2604.11330v1]
    スクリプトを表示

    15本目は、math.NTからのクロス投稿で、アレクサンドル・ギッツァさん、ドゥルヴ・グプタさん、マクシミリアン・コルテさんによる「The solvability of the inverse volcano problem over non-prime finite fields」です。 この研究では、p は素数である有限体 Fのpのk乗上の通常楕円曲線間の等しいイソグニーズにより構成されるグラフ G を対象にしています。 コーヘルが示したように、G の連結成分は「火山グラフ」と呼ばれる美しい構造を持っています。 バンブリー・キャンパーナ・パズキは、与えられた火山グラフ V が Fのpのk乗 上の G の連結成分として現れるかという逆火山問題を調査しました。 彼らは Fのp 上で完全に肯定的な答えを示し、Fのpの2乗 上では特定の反例を報告しました。 本稿ではその成果を拡張し、Fのpのk乗 上での逆火山問題の正確な枠組みを提示します。 問題の可解性は、V の深さ d と k の p の冪評価 r との関係によって決まります。 r が小さい場合、深さ d がある閾値以下であれば解が存在し、逆に r が大きいと深さに制約が生じます。
16. 20:46 Almost Free Non-Archimedean Banach Spaces and Relation to Large Cardinals [2604.10526v1]
    スクリプトを表示

    16本目は、math.LOからのクロス投稿で、トモキ・ミハラさんによる「Almost Free Non-Archimedean Banach Spaces and Relation to Large Cardinals」です。 この論文では、非アーカメディアンのバナッハ空間に対して自由とほぼ自由という概念を導入し、基数が強くコンパクトまたは弱くコンパクトな場合にほぼ自由が自由に落ちることを示しています。 まず自由なバナッハ空間は正規化されたシュアダー基底を持つと定義され、ほぼ自由とは、ランクが空間のランクより小さいすべての閉子が自由である性質です。 主要な結果として、カッパがカッパ-強くコンパクトであれば、ランクがカッパのバナッハ空間がほぼ自由ならば必ず自由となります。 同様に、カッパが弱くコンパクトであれば、ほぼ自由が自由へと転換されることが証明されました。 これらの証明は、アーベル群の古典的な議論を非アーカメディアンの設定に適応させ、超大きな基数がシュアダー基底の存在を制御することを示しています。 研究は集合論と非アーカメディアン解析を結びつけ、バナッハ空間の構造に新たな洞察を提供しています。
17. 22:07 Character values and conductors of low-rank groups of Lie type [2604.10888v1]
    スクリプトを表示

    17本目は、math.RTからのクロス投稿で、クリストファー・ヘルビグさんとグエン・N・フンさんによる「Character values and conductors of low-rank groups of Lie type」です。この論文では、低階層リイ型群に対する複素数値不可約文字の導入数を調べています。導入数とは、文字のすべての値が属する円分体の次数の最小値であり、これを最小化した整数を導入数と呼びます。著者らは、一般線形群、特殊線形群、スズキ群の各々において、任意の不可約文字の導入数が、その文字の値集合の中の一つの値で実現できることを証明しました。つまり、ある群元 g が存在し、χ(g) の導入数が χ の導入数と一致するという結果です。 この発見は、フェイトの予想に対する一歩とみなされます。フェイトの予想は、文字の導入数が m であれば、群に順序 m の元が必ず存在すると述べています。今回の結果はそれよりも弱い形ですが、導入数が単一の値で実現できるという性質が予想の成立に寄与する可能性を示唆しています。 主要な定理である定理Aは、各群族に対して詳細に証明されました。
18. 23:38 Cusp Form Dimensions, Lattice Uniqueness, and LP Sharpness for Sphere Packing in Dimensions 8 and 24 [2604.10914v1]
    スクリプトを表示

    18本目は、math.COからのクロス投稿で、ジアン・チュウさんによる「Cusp Form Dimensions, Lattice Uniqueness, and LP Sharpness for Sphere Packing in Dimensions 8 and 24」です。 この論文では、球のパッキングの線形計画法の境界が、E8 ラティスとLeech ラティスのある二つの特別な次元8と24だけで鋭いことを示しています。 まず数論の観点から、完全モジュラー群の カースフォーム の次元が1以下でなければならないという制約を提示します。次に格子理論の側面で、余剰な カースフォーム が存在すると、対称的な線形計画の対偶に障害が生じると説明します。 さらに共形場理論の視点から、Narain 共形場理論がモジュラー ブートストラップの境界を満たすとき、線形計画法の鋭さと同等になると述べます。 著者は、8 と 24 の次元ではそれぞれ格子が一意であり、極端な Narain 理論が存在するため、三つの条件が同時に成り立つと主張します。
19. 24:50 Geometrization of the Schr\"odinger Model for the Minimal Representation of an Even Orthogonal Group: The de Rham Setting [2604.11023v1]
    スクリプトを表示

    19本目は、math.RTからのクロス投稿で、アーロン・スリッパーさんによる「Geometrization of the Schr\"odinger Model for the Minimal Representation of an Even Orthogonal Group: The de Rham Setting」です。 この論文では、偶数次元の二次形式空間の共形群に対する最小表現を扱います。著者は D-モジュールの三種類のモデルを構築し、それらを比較します。まず、等価円錐 C のグロッテンベルク 微分作用素代数 D の C 上のモジュールの範疇と、C の滑らかな部分に結合されたカズダン・ローモン 結合カテゴリ、さらに旗多様体 G と P の商 上の調和変形 D-モジュールの範疇との間に同値関係を示します。この同値性は、D-モジュールの構造を深く理解する手がかりとなります。次に、著者は四次元フーリエ変換を構築し、等価円錐 C 上の D-代数が有限生成であることを幾何学的に証明します。さらに、最小表現の準古典的アナロジーを明らかにし、理論の広がりを示します。
20. 26:09 Algorithms on the Pyasetskii involution on local Langlands parameters of classical groups [2604.11049v1]
    スクリプトを表示

    20本目は、math.RTからのクロス投稿で、アレクサンダー・ハゼルタインさんとチー・ヘン・ロさんによる「Algorithms on the Pyasetskii involution on local Langlands parameters of classical groups」です。 この論文では古典的群に対するローカル・ラングランスパラメータのパイアセツキー反転を計算する具体的なアルゴリズムを提示しています。 まず各パラメータを等質成分に分解し、成分ごとにモグリニ・ワルドシュタッガーアルゴリズム（良好奇数の場合）かラナール・ミンゲズアルゴリズム（不良好奇数の場合）を適用します。 こうして得られたパラメータがパイアセツキー反転です。 さらに、この手順はローカル・アーサー・パケットとABVパケットの関係を示すために使われ、特に不良好奇数の場合にはABVパケットが単一であることを示し、理論的な結びつきを強化しています。 まとめると、古典的群全体に対して統一的なアルゴリズムを提供し、幾何学的表現理論とパケット構造の橋をさらに伸ばしています。
21. 27:21 Pro-$p$ Iwahori-Hecke modules in semisimple rank one and singularity categories [2604.11235v1]
    スクリプトを表示

    21本目は、math.RTからのクロス投稿で、ニコラス・デュプレさんによる「Pro-p Iwahori-Hecke modules in semisimple rank one and singularity categories」です。 この論文では、非アーキメデス局所体F 残差特性p 上の群 GL2F、SL2F、PGL2F を対象に、プロ-p イワホリ・ヘッケ環 H_G を定義し、その H_G-モジュールのホモトピーカテゴリ Ho H_G を調べました。 ホヴェイが提案したゴレンセン投射モデル構造を用いて、Ho H_G と明示的に構成されたスキーム X_q の特異点カテゴリ Sing X_q, G を同型に結びつけています。 特に G=GL2F の場合、Dotto・Emerton・Gee が導入したスキームに対し、Ho H_GL2 と Sing X_q, GL2 の同型が得られ、これによりグロス・クローンの mod-p ラングランズ対応が回復されます。 また SL2F と PGL2F では Ho H_G を完全に記述し、GL2F の追加計算も行っています。
22. 28:34 An analogue of irreducible cuspidal representations for the group $PGL(2)$ over a two-dimensional local field [2604.11735v1]
    スクリプトを表示

    最後は、math.RTからのクロス投稿で、アレクサンダー・ブラヴェルマンさんとデービッド・カズダンさんによる「An analogue of irreducible cuspidal representations for the group PGL(2) over a two-dimensional local field」です。 この論文では、非アーキメデー的局所体の奇数剰余特性を持つ二次元局所体上のピージーエル二の代表的なカスピダル表現に関する二次元類似を研究しています。著者らは、ピージーエル二に対して「特殊」表現という概念を導入しました。特殊表現は一時元ではなく、ボレル部分群への制限が不可約であることを特徴とします。特殊表現は、二次拡大体とガロア作用に対して不変でない文字を用いてコンパクト誘導で構成されます。ボレル部分群への制限は不可約であることが証明され、一次元の場合とは異なり標準カスピダル表現とは同型ではありません。著者らは「楕円表現」という概念を導入し、可換部分群上の支援に基づいて定義します。楕円表現は特殊表現と同値であることが示され、深さと二次拡大体を分析することで分類が行われます。