紹介した論文

1. 0:19 1. Series for $1/\pi$ arising from Cauchy product 2604.03327v1
   スクリプトを表示

   1本目は、ローマン・レ・ランさんによる「Series for 1/パイ arising from Cauchy product」です。 本稿は、太陽が提唱した円周率に関する数列の評価を証明し、さらに同様の形の追加数列を導出することを目的としています。太陽は整数 a と b、非零有理数 q、x、y を用いた形の無限級数がパイの逆数に等しいと主張しました。既に 36 例が証明されていたものの、残りの一例については未解決でした。本稿ではその残りの一例を証明し、さらに三次多項式を係数とする二つの新しい数列を得ました。さらに同じ手法で八つの類似数列を表形式で提示しています。 証明の鍵は Cauchy 積とハイパージオメトリック変換にあります。まず二つのハイパージオメトリック関数の積を考え、Euler 変換を適用して一次元のハイパージオメトリック関数の二乗に帰着させます。次に再び Cauchy 積を用いて級数を展開し、Zeilberger のアルゴリズムで得られる再帰関係を利用して級数を簡素化します。
2. 1:42 2. Multiple Gauss sums 2604.03347v1
   スクリプトを表示

   2本目は、ジアンヤ・リウさんとシズヘ・シエさんによる「Multiple Gauss sums」です。 本研究では、整数係数をもつ多変数多項式系に対し、ディリクレ文字を掛けた完全指数和（多重ガウス和）の上限を新たに求めます。一次元のガウス和では平方根消去が知られていますが、次数が高い多項式や複数変数の場合には既存の推定が弱く、十分な節約が得られていませんでした。本論文では任意の法数 q とディリクレ文字 χ_i を用いて多重ガウス和 C_F q a χ を定義し、文字の乗法性と周期性を利用して二重和に分離し、カウチの不等式を二度適用して文字を除去した完全指数和へ変換します。次に 4 次元の多項式系 L を構築し既存の上限を適用し、代数幾何的手法でヤコビアン行列のランクと次元計算を行い L の奇異点集合の次元を制御します。これにより C_F の上限を q の s から奇異点集合の次元に比例した指数を掛けた形に改善します。主な結果として、上限は従来より大幅に小さくなり、非奇異で最高次数 D を持つ場合にはさらに改善されます。
3. 3:07 3. On $u$-Multiple Zeta Values in Positive Characteristic 2604.03618v1
   スクリプトを表示

   3本目は、Hung-Chun Tsuiさんによる「On u-Multiple Zeta Values in Positive Characteristic」です。 本稿では、カルツィッツモジュールを用いて u‑u‑ブラケット、有限多重調和 u‑u‑級数、u‑u‑多重ゼータ値を定義し、正の特徴量での q‑アナログ理論を対称的に拡張しています。 u‑u‑ブラケットは任意の多項式 a に対し [a]_u = C_a(u)/u と定め、u が 0 に近づくと従来の q‑ブラケットに収束します。有限多重調和 u‑u‑級数は H_{<d>}(s;u) = Σ_{d>d1>…>dm≥0} Π 1/[a_j]_u^{s_j} と定義し、u→0 で Thakur の多重ゼータ値に収束します。 u‑u‑多重ゼータ値は ζ_u(s) = lim_{d→∞} H_{<d>}(s;u) と定義し、u→0 で Thakur の値と一致します。
4. 4:16 4. On higher dimensional integrality and multiplicative dependence in semigroup algebraic dynamics 2604.03745v1
   スクリプトを表示

   4本目は、ジョルゲ・メロさんとユウ・ヤスフクさんによる「On higher dimensional integrality and multiplicative dependence in semigroup algebraic dynamics」です。 本稿では、複数の自己写像から生成される半群の軌道上に現れる積的従属の稀少性を高次元で示します。まず積的従属とは、ある点の軌道上の二つの像ファイとシータが有限生成群の元を用いて関係し合うことです。1次元で知られる整数点の有限性や周期点の有限性は、Vojta の主予想や整数点の非密度性仮説を組み合わせることで高次元へ拡張されます。主要定理 1.1 では、整数点の非密度性仮説が成り立つと、積的従属を満たす点は Zariski 非密度であると示され、さらに有限個の軌道に限定されます。定理 1.2 は、ファイとシータのペアが積的従属を満たす場合に有限であることを証明します。例 4.4 では、射影空間上の具体的な多項式写像を構成し、除外多項式と Schmidt の部分空間定理から整数点の非密度性仮説を直接得られることを示します。
5. 5:38 5. Arithmetic volume of Shtukas and Langlands duality 2604.03763v1
   スクリプトを表示

   「Zeyu Wang、Wenqing Weiさん」による「Arithmetic volume of Shtukas and Langlands duality」です。この論文はmath.NT分野の研究を扱っています。詳細については論文をご参照ください。
6. 5:56 6. Relation between Anderson Generating Functions and Weil Pairing 2604.04124v1
   スクリプトを表示

   6本目は、フー・チュアンチャンさんとオウ・イクアンさんによる「Relation between Anderson Generating Functions and Weil Pairing」です。 本稿ではドリフフェン群とヴェイユペアリングの関係を調べます。 ドリフフェン群は有限体上の多項式環から自己同型を与えて定義され、ランク r の群は ファイx は aθ と g1τ と … と grτr で構成されます。 固定した 𝔣 に対して ファイの 𝔣-分岐点群は 𝔣-分岐点群となり、ヴェイユペアリングは ファイの 𝔣-分岐点群の r 個の要素を入力としてランク 1 のドリフフェン群 ψ へ写像します。 従来はファン・ダ・ヘイデン がアンダーソン t-モチーフを用いて存在証明を行い、パピキアン がランク 2 の場合に明示的式を示しました。 カテン はそれを一般 r に拡張し、より単純な計算式を提示しましたが、概念的な説明が不足していました。
7. 7:02 7. Extensions of the Carlitz-McConnel and Blokhuis-Sziklai theorems for unions of cyclotomic classes 2604.04126v1
   スクリプトを表示

   7本目は、マオシェン・ショウンさんとチ・ホイ・イップさんによる「Extensions of the Carlitz-McConnel and Blokhuis-Sziklai theorems for unions of cyclotomic classes」です。この論文では有限体上の関数に対する方向集合を調べ、Carlitz–McConnel 定理と Blokhuis–Sziklai 定理を拡張することを目的としていることを示します。Carlitz–McConnel 定理は、乗法群の真部分群 集合 D に対し、f の x の値と f の y の値の差を x と y の差で割ったものが常に 集合 D に入るとき、f は自動写像であると示します。Blokhuis–Sziklai 定理は、差集合が小さいときに関数が加法的になることを示し、両定理は方向集合のサイズが q+1を2で割った値以下であることと結びついているという結論が述べられています。
8. 8:01 8. Joint extreme values of Dirichlet (L)-functions and their logarithmic derivatives 2604.04510v1
   スクリプトを表示

   「Shengbo Zhaoさん」による「Joint extreme values of Dirichlet (L)-functions and their logarithmic derivatives」です。この論文はmath.NT分野の研究を扱っています。詳細については論文をご参照ください。
9. 8:21 9. Settled Elements in Arboreal Galois Groups of Quadratic PCF Polynomials 2604.04524v1
   スクリプトを表示

   9本目は、オズレム エジャーさんとディルベル コカックさんによる「Settled Elements in Arboreal Galois Groups of Quadratic PCF Polynomials」です。本稿では、後臨界有限の二次多項式で後臨界軌道が周期的な場合、算術的反復モノドロミー群が密集して安定したことを示します。これにより、数域と無限に多くの基底点に対して、木状ガロア表現が密集して安定することが従来の推測を証明します。具体的には、標準オドメーターガンマの正規化子を考察し、定理1.3でガンマの冪と特定の要素の積が均一に安定することを示します。さらに、ピンクの記述により算術的反復モノドロミー群がこの正規化子を含むことを確認し、定理1.4で安定ブロックがすべて安定であることを証明します。これらを組み合わせて定理1.1を証明し、補題1.2ではベネドット・ギオカ・ジュール・タッカーの特殊化結果を用いて、数域上で無限に多くの基底点に対して木状ガロア表現が密集して安定することを示します。
10. 9:38 10. On special values of Koshliakov zeta functions 2604.04675v1
    スクリプトを表示

    10本目は、ヤショヴァルダン・シン・ガウタムさんとラフル・クマールさんによる「On special values of Koshliakov zeta functions」です。 この論文では、コシリアコフ ζ関数の第二種である ηp(s) の特別値を整数点で調べ、明示的な式を導出しています。 ηp(s) はディリクレ型でないため、リーマン ζ関数よりも理論が複雑であるが、著者らは ηp(s) と ζp(s) の変換式を利用し、一般化ベルヌーイ数 Bn^1p と Bn^2p を定義しました。 これにより、偶整数点での ηp(2m) は B2m^2p を使ったエイラー型の式で表せることが示されました。 奇整数点では、αβ=π² を満たすパラメータ α, β を用いて、ラムダム・ファーレンの公式を一般化した変換式が得られました。 さらに、ηp(2m+1) の対称変換式、p 変数を持つエイゼンシュタイン級数 E2k^p(z) のモジュラー変換性、そして p 版ラマヌジャン多項式 Pk^ℓp(z) の二項・三項関係が証明されています。
11. 11:02 11. A note on Bremner's conjecture and uniformity 2604.04850v1
    スクリプトを表示

    11本目は、ナタリア・ガルシア・フリッツさんとヘクトル・パステンさんによる「A note on Bremner's conjecture and uniformity」です。 この論文では、Bremner の推測において、楕円曲線上の長い算術級数が存在するときランクが大きいと予想されることを示し、Nevalinna 理論と Gao–Ge–Kühne の一様 Mordell–Lang 予想を組み合わせて証明された1998 年の予測をまとめています。 さらに、Nevalinna 理論を使わずに Dimitrov–Gao–Habegger の「曲線に対する一様 Mordell」予想を利用して同じ結論を導く直接的な証明を提示しています。 楕円曲線 E を Weierstrass 形で表し、長さ M ≥ 4 の算術級数があると仮定すると、x 座標を b, a+b, 2a+b, …, (N-1)a+b と書くことができ、s² = f(a t² + b) という方程式から genus 2 の双曲線 X を定義し、X 上に 2n+1 個の有理点が存在することを示しています。
12. 12:13 12. Rank jumps for Jacobians of Hyperelliptic curves on K3 surfaces 2604.03639v1
    スクリプトを表示

    12本目は、math.AGからのクロス投稿で、アンダー・アリオラ・コルピオンさんとセシリア・サルガドさんによる「Rank jumps for Jacobians of Hyperelliptic curves on K3 surfaces」です。 この研究は、数体上のK3 曲面にある2 次の曲線のヤコビアン族のモーデル-ウェイル 乱数が有限拡大でどのように跳躍するかを調べています。 まず、分岐六次曲線 B が非線形の不可約成分を持つ場合、拡大次数12以内でランク跳躍集合が無限になることを示しました。 次に、B が単純奇点を持つとき、拡大次数18以内でその集合が薄集合でないことを証明しました。 さらに、線形系の引き戻しを利用し、K3 の二重被覆 から直線を引き戻すことで多重線分を作り、これがマルチセクションを生成しランクを増加させることを示しました。 これらの結果により、従来の根数変動や高さ論だけでは扱えなかったK3 族に対して、ランク跳躍の密度を具体的に示す新しい手法が確立されました。
13. 13:28 13. Cohomology of special unitary groups and congruence subgroups 2604.03887v1
    スクリプトを表示

    13本目は、math.KTからのクロス投稿で、クラウディオ・ブラボさんによる「Cohomology of special unitary groups and congruence subgroups」です。 本論文では、ポリノミアル環 F[t] 上の特殊ユニタリ群 SU三 の一次共役群と、PGL二(F) の不可約有理表現を係数とする一次共役群のホモトピー不変性定理を証明しています。 具体的には、SU三(F[t]) の一次共役群は、自然に PGL二(F) の一次共役群と同型であり、さらに上三角行列群を考慮した余項が存在することを示しています。 さらに、場 F が 0 次数で不可約有理表現 V を取る場合、この余項は消滅し、 H¹(SU三(F[t]),V) は H¹(PGL二(F),V) と完全に一致します。 研究では、SU三 の主要な剰余群 Γ(t) を計算し、ホッホサイデル・ゼールレ解析列を用いて一次共役群を分解しています。 これにより、非分裂で準分裂なユニタリ群に対しても、従来の SL_n と同様のホモトピー不変性が成立することが明らかになりました。
14. 14:55 14. LRC codes over characteristic $2$ 2604.04678v1
    スクリプトを表示

    14本目は、cs.ITからのクロス投稿で、フランシスコ・ガルチュオさんによる「LRC codes over characteristic 2」です。 この論文では偶数特性を持つ有限体上での局所再構成符号（LRC）の構築を完了し、一般的な手法を提示しています。関数体の塔を利用し、完全に分裂する有理点を評価集合とし、極を持たない関数のベクトル空間を選択して符号を定義します。塔の各拡大における共役点の数が小さいため、1 つの座標を低次数多項式で回復でき、局所性は最後の拡大次数から一 を引いたものです。 具体例として、ガルシア・シティヘノス塔を 4 要素の有限体で用いた場合、符号長は塔レベルの 2 の指数、次元は長さの四分の一、最小距離は 2、局所性は 1 です。ヴァン・デル・ゲーア・ヴァン・デル・ヴルグ塔を 8 要素の有限体で用いた場合、符号長は 24、次元は 10、最小距離は 4、局所性は 1 です。 さらに、2 の 2リ 乗の有限体上で二つの符号家族を構築しました。
15. 16:16 15. Problems and results on intersections of product sets and sumsets in semigroups 2604.04781v1
    スクリプトを表示

    15本目は、math.COからのクロス投稿で、Melvyn B. Nathansonさんによる「Problems and results on intersections of product sets and sumsets in semigroups」です。 本稿では半群における部分集合の積集合と和集合の交差に関する問題を整理し、交差集合の構造を調べています。 まず、部分集合の族 (A_q) の積集合 A^h は各 A_q^h の交差に含まれることを示し、 交差集合 H(A_q) を「A^h が各 A_q^h の交差と一致する正整数 h の集合」と定義します。 さらに、和集合に対しても同様の定義を行い、加法的構造を比較します。 研究手法として、漸近的に厳しく減少する部分集合列を導入し、 この列が交差集合の挙動を制御できることを証明します。 代表関数 r_{A,h} を用い、要素が h 個の積で表せる方法数を数え、 その有限性が交差集合の性質に直結することを示しました。 具体例として、整数においては任意の h_0 から始まる列で 交差集合が「h_0 以上の整数と 1 の集合」となることを構築しました。
16. 17:46 16. Cryptanalysis of the Legendre Pseudorandom Function over Extension Fields 2604.04833v1
    スクリプトを表示

    16本目は、cs.CRからのクロス投稿で、ダクシュ・パンダイさんによる「Cryptanalysis of the Legendre Pseudorandom Function over Extension Fields」です。 本稿では、拡張体上で実装された一次（d＝1）のレグンデ擬似乱数関数が抱える脆弱性を体系的に検証し、パッシブおよびアクティブ攻撃に対する鍵回復手法を提示しています。 整数カウンタを多項式表現にエンコードすると、係数ごとにpで加算されるため、従来の差分1が非定数となり、ノーキャリー破裂という非同期分裂が生じます。 この現象により、従来のスライディングウィンドウ衝突攻撃は失敗しますが、分裂は周期的であるため、攻撃者は微分署名の形状でウィンドウを分類できます。 ウィンドウ長Uを2のU乗がpのr乗より大きいとすると、鍵はU倍pのr乗をMで割った回数程度の計算でパッシブに回復可能です。 アクティブ攻撃では、拡張体の乗法群から原始生成元gを選び、幾何級数X_i＝gのi乗を問い合わせると、レグンデ記号は鍵に依存しない定数と離散対数jによる単純シフトに分解でき、テーブル衝突攻撃で鍵をpのr乗をMで割った回数程度の計算で抽。
17. 19:18 17. Unlikely intersections in families of polynomial skew products 2604.04881v1
    スクリプトを表示

    最後は、math.DSからのクロス投稿で、チャチャイ・ノイトプティムさんとシャオ・チョンさんによる「Unlikely intersections in families of polynomial skew products」です。 本稿は正則多項式スキュー積の一次パラメータ族における動的不可能交差を調べます。 第一の目的は、次数二の正則スキュー積のモジュライ空間におけるPCF点を含むZariski密度のある閉包子多様体を分類し、特定の交点に限定されることを示すことです。 第二の目的は、アデリック線束から導かれる高さ関数を構築し、PCF点と前周期的点の等価性を確立することです。 第三の目的は、次数条件を満たすときに無限に前周期的となるパラメータが存在すると、軌道閉包が射影平面の真部分多様体に収束することを証明し、DeMarco–Mavraki予想の特殊ケースを確認することです。 これらの結果は、一次パラメータ族におけるPCF点の分布と高さ関数の関係を明らかにし、動的系における不可能交差問題に新たな枠組みを提供します。