紹介した論文

1. 0:26 1. A proof of Hare's $\epsilon$ unfair conjecture 2609.09215v1
   スクリプトを表示

   1本目は、ト・グエン・スアンさんとドゥック・ヒエップ・ファムさんとフオン・ファム・ランさんによる、「A proof of Hare's epsilon unfair conjecture」(ヘアのイプシロン不公平予想の証明)、です。 この論文では、係数がすべて０か１である０ー１多項式という、シンプルながら不思議な性質を持つ多項式に注目しています。もともと、こうした多項式を正の実数係数を持つ多項式に分解したとき、その因数の係数もすべて０か１になるはずだという予想がありました。しかし、今回の研究で著者たちは、ある正の数イプシロンに対して、因数の係数が０から１の範囲をイプシロン以上だけはみ出してしまう、いわゆるイプシロン不公平な多項式が必ず存在することを証明しました。 具体的には、正弦や余弦の不等式を用いて根を分析し、特定の構造を持つ多項式を構築することで、係数が０から１の範囲を外れることを数学的に示しています。さらに、多項式の次数を大きくしたときに、係数がどれだけはみ出すことができるかという限界値が２分の１になることも突き止めました。単純な０と１の組み合わせから、予想外に複雑な係数の挙動が導き出される点に、数学的な驚きがありますね。これで、ヘアさんが提示していた予想が完全に証明されたことになります。
2. 2:02 2. The density of long runs of non-$r$-free integers 2609.09221v1
   スクリプトを表示

   2本目は、シンヤン・ジャンさんによる、「The density of long runs of non-r-free integers」(非r自由整数の長い連続の密度)、です。 この論文では、ある数から始まる連続した数たちが、すべてr乗で割り切れる数であるという、珍しい状況がどれくらいの頻度で起こるのかを詳しく調べています。ここでいうr自由整数とは、どの素数のr乗でも割り切れない数のことですね。 著者は、連続してk個の数がr自由ではないという状態の密度について、非常に精密な漸近公式を導き出しました。これまでは大まかな見積もりしかありませんでしたが、決定論的な篩法やチェルノフ推定などを駆使して、指数関数的に減少する密度を正確に捉えています。 特に、rが2の場合、つまり平方自由整数のケースでは、ミルスキー定数を高い精度で決定しています。驚くべきは、1951年にエルデシュが指摘した定数が、期待値が無限からゼロへと切り替わる正確な境界点であることを証明した点です。 また、中国剰余定理を使った単純な構成だけでは、この現象を説明するには不十分であることも分かりました。実際の連続的な出現は、理論的な構成が予測するよりもずっと早く起こるということですね。計算結果が実際の記録とも一致しているあたりに、非常に堅実なアプローチを感じます。
3. 3:46 3. Spectral Algebras of Abelian Cayley Graphs 2609.09222v1
   スクリプトを表示

   3本目は、ディープ・バッタチャルジーさん、プリヤブラタ・マンダルさん、ウシャシ・バッタチャリヤさんによる、「Spectral Algebras of Abelian Cayley Graphs」(アーベル・ケイリーグラフのスペクトル代数)、です。 この論文では、有限アーベル群上のケイリーグラフにおける隣接行列から作られるスペクトル代数の構造を詳しく調べています。具体的には、この代数がどのような抽象的な代数形式を持つのか、そして群の指標論やガロア軌道とどう関係しているのかを明らかにしています。 まず、離散フーリエ変換を使って隣接行列を対角化し、最小多項式が重複根を持たないことを示しています。そこからガロア作用を用いて固有値を軌道ごとに分け、中国剰余定理を組み合わせることで、スペクトル代数が体拡大の半単純積に同型であることを証明しました。 特に面白いのが、有理数体を基底とした場合、それぞれの因子が円分体の実部分体になるという点です。例えば、ハミングキューブのようなグラフでは固有値がすべて整数になるため、代数は単純に有理数体の積になります。一方で、巡回群や基本アーベル群などの例では、群の位数や素数によって構造が変化する様子が描かれていて、非常に緻密な分析だと感じました。 また、このスペクトル代数の型がグラフの同型不変量になることも示されており、グラフの性質を代数的に捉えようとするアプローチが貫かれています。
4. 5:30 4. Triple intersections for algebraic curves on the real torus 2609.09231v1
   スクリプトを表示

   4本目は、ダニロ・アヴァロさんによる、「Triple intersections for algebraic curves on the real torus」(実トーラス上の代数曲線における三重複交点)です。 この論文では、実平面上の3つの代数曲線を実トーラスに投影したとき、それらが無限個の三重複交点を持つかどうかという問題に取り組んでいます。普通の平面では、3つの曲線がたまたま1点で交わることは稀ですが、トーラス上の世界では整数による平行移動が効いてくるため、話が変わってきます。 著者はディオファントス幾何学や算術力学の道具を駆使して、この現象を分析しました。特に、双曲的な曲線上の整数点に関するジーゲルの定理や、それを拡張したレビンの定理などを用いて、交点が有限か無限かを分類しています。 面白いのは、無限に交点を持つケースの多くが、平面の自己準同型という、いわば図形を保つ特別な変換によって説明できる点です。例えば、3本の直線の場合、ある種の代数的な関係が傾きにあれば無限に交わりますが、そうでない場合はあっさりと有限になります。また、円のようなコンパクトな二次曲線よりも、放物線や双曲線のような非コンパクトな曲線の方が、無限に交点を生み出しやすいという結果も出ています。単純な図形の組み合わせから、ダイナミカルな構造が見えてくる展開にワクワクしますね。
5. 7:14 5. Cyclotomy of symmetric polynomials 2609.09232v1
   スクリプトを表示

   5本目は、ラウラ・デ・カルリさんとマウリツィオ・ラポルタさんによる、「Cyclotomy of symmetric polynomials」(対称多項式の円分論)、です。この論文では、同次対称多項式に1のべき根を代入したときにどのような値になるかという、円分論的な性質について深く掘り下げています。具体的には、基本対称多項式と完全同次対称多項式の2種類に注目して、生成関数や畳み込み恒等式を使ってこの2つを結びつけています。特に、完全同次対称多項式の値を基本対称多項式で表す一般的な恒等式を証明した点が素晴らしいですね。さらに、円分多項式や逆円分多項式の係数を、完全同次対称多項式を使って具体的に書き下ろしています。また、2元や3元の円分多項式の平坦性についても検証しており、2元円分多項式が平坦であることや、逆に3元逆円分多項式が必ずしも平坦ではないことを示す手法を提示しています。対称多項式という古典的な道具を使って、円分多項式の構造という非常に繊細な性質を鮮やかに描き出していると感じました。数論と多項式論の橋渡しをする、非常に巧みなアプローチです。
6. 8:45 6. Effective Euler Sums 2609.09260v1
   スクリプトを表示

   6本目は、ジアンキアン・ジャオさんによる、「Effective Euler Sums」(有効なオイラー和)、です。この論文では、古典的なオイラー和と、有限体上の対応物である有限オイラー和との関係について深く掘り下げています。もともと、多重ゼータ値の世界には、有限の値と古典的な値の空間が同型であるというカネコさんとザギエルさんの予想がありました。著者はこの考え方をオイラー和にまで広げ、単に存在を証明するだけでなく、古典的な和に対応する具体的な有限の要素、つまり有効なオイラー和を実際に構成できるかという問題に挑んでいます。特に深さが１や２の場合に注目しており、深さ２で重みが奇数のときは比較的シンプルに構成できますが、重みが偶数のときはかなり複雑な手法を使っています。線形方程式のシステムを用いて解を導き出すあたりに、執念のようなものを感じますね。結果として、深さ１と２における有効なオイラー和を具体的に構成することに成功しました。これにより、抽象的な予想が計算可能な手続きへと変わり、これまで手が出なかった有限側での等式を検証する強力なツールが提供されたことになります。
7. 10:14 7. The addition on totally positive integers uniquely determines the totally real number field 2609.09346v1
   スクリプトを表示

   7本目は、ヴィテズスラフ・カラさんとリトプロヴォ・ロイさんによる、「The addition on totally positive integers uniquely determines the totally real number field」(全正整数の加法は全実数体を一意に決定する)、です。 数論の世界では、掛け算の構造については詳しく研究されてきましたが、全正整数の足し算という加法的な構造に注目した研究は意外と少なかったんです。これまでは実二次体で成り立つことが分かっていましたが、もっと次数が高い全実数体でも同じことが言えるのか、という疑問がありました。 そこでこの論文では、全正整数のなす半群という視点からアプローチしています。具体的には、凸幾何学的な手法を用いて、全正の要素が作る円錐を分析することで数体を再構成しています。特に、ベクトル空間を生成する最小の良い組を見つけることで体の次数を特定し、円錐の極端な光線から実埋め込みを復元するという流れが非常に鮮やかです。 結果として、全正整数の半群が同型であれば、数体そのものも同型であるということが証明されました。さらに、これらの中分解不可能な要素を生成元とする具体的な提示法まで導き出しています。分解不可能な要素は無限に存在し得ますが、全正単数による作用で考えれば有限個のクラスにまとめられるという発見は、高次体における加法的構造の正体を暴いた快挙だと言えますね。
8. 11:59 8. Generic Manin-Mumford 2609.09354v1
   スクリプトを表示

   8本目は、リオル・バリ・ソロカーさんとボリス・カデッツさんによる、「Generic Manin-Mumford」(汎用的マニン・マンフォード)、です。この論文では、代数多様体が多くの特別な点を持つなら、その多様体自体が特別な構造を持っているはずだという、意外な交わりという考え方を深く掘り下げています。これまで、この性質は1のべき根やアーベル多様体のねじれ点などで知られていましたが、著者たちはこれをさらに広げて、古典的な多項式の根のような、もっと一般的な代数的な数にも当てはまるのではないかと考えました。 そこで彼らは、ある数の集合が特別な性質を持つための条件として、ガロア理論に基づいた3つの基準を提案しています。具体的には、数の次数がどんどん大きくなること、ガロア群が対称群や交代群のように十分に大きいこと、そして異なる元の分解体がほとんど重ならないことです。この基準を使うことで、指数関数の切断多項式やベッセル多項式、エルミート多項式など、多くの有名な多項式の根がこの特別な性質を持つことを証明しました。 さらに驚くべきことに、係数が一定の範囲にあるランダムな多項式を考えた場合、その根の集合もほぼ確実にこの性質を持つことを示しています。自然界に現れる多くの代数的な数は、実はこのマニン・マンフォード的な性質を汎用的に持っているということになりますね。特定の数だけでなく、ランダムな多項式まで巻き込んで議論を広げた視点は、非常にダイナミックでワクワクします。
9. 13:51 9. Regular Arithmetic Functions, Volume I. Theory, Applications, Examples 2609.09366v1
   スクリプトを表示

   9本目は、ブノワ・クロートルさんによる、「Regular Arithmetic Functions, Volume I. Theory, Applications, Examples」(正則算術関数 第1巻 理論、応用、例)、です。 この論文では、正則性指数という重要な指数を中心とした、正則算術関数の理論が展開されています。著者は、かつて級数に値を割り当てるための道具だったインガムの総和法を、第一種離散ボルテラ方程式の研究へと見事に転換させました。 ここでの大きな狙いは、離散方程式の算術的な振る舞いと、その変換後の零点の解析的な分布との関係を明らかにすることです。なんと、リーマン予想をこれら二つの視点の整合性の問題として捉え直そうとしているんですよ。 具体的には、ある算術的な核が未知の数列に作用して、あらかじめ決められた減衰率を生み出すという漸化式を分析します。このとき、部分和がもともとの減衰率を再現する透明性と、核が減衰率を支配する吸収性という二つの挙動が現れます。この境界線こそが正則性指数です。 最も衝撃的な結果は、インガム核の正則性指数が二分の一であることと、リーマン予想が成り立つことが同値であると証明したことです。算術的な性質からリーマン予想にアプローチする手法には、非常にダイナミックな視点を感じますね。
10. 15:34 10. What Does MMLU Actually Measure? A Psychometric Audit of Difficulty Structure in Aggregate Benchmark Scores 2609.09372v1
    スクリプトを表示

    10本目は、ダナ・パキンさんとリディマン・ジェインさんによる、「What Does MMLU Actually Measure? A Psychometric Audit of Difficulty Structure in Aggregate Benchmark Scores」(MMLUは実際に何を測定しているのか？集計ベンチマークスコアにおける困難さの構造に関する心理計量的監査)、です。 この論文では、AIの能力を測る指標として有名なMMLUが、本当に汎用的な能力を測れているのかを検証しています。結論から言うと、単一のスコアで評価するのはかなり危険だという話です。なぜなら、知識を単に引き出す能力と、手順に沿って考える推論能力がごちゃ混ぜになっているからです。 研究チームは、項目応答理論を使って、1万問以上の問題と1000個のモデルを詳細に分析しました。特に面白いのが、理系科目と文系科目で、問題の難しさが決まる仕組みが全く違うことを突き止めた点です。例えば、専門用語などのエンティティ密度が高い場合、理系では難易度が上がりますが、文系ではむしろ正解を導くヒントになります。 その結果、理系と文系の能力は別物であることが分かりました。今の集計スコアは文系寄りなので、このスコアだけでモデルを選ぶと、理系に強いモデルを見逃す可能性が22パーセントもあるそうです。さらに、能力が高いはずのモデルほど、推論が深くなると急激に正解率が落ちるという、ちょっと皮肉な結果も出ています。単一のスコアに頼らず、知識量と推論の安定性を分けて報告すべきだという、非常に説得力のある提言で締めくくられています。
11. 17:39 11. Models of Elliptic Curves with Maximal 2-adic Image Subject to a Rational 2-Isogeny 2609.09509v1
    スクリプトを表示

    11本目は、ロベルト・エルナンデスさんによる、「Models of Elliptic Curves with Maximal 2-adic Image Subject to a Rational 2-Isogeny」(有理的な2-アイソジェニーを持つ、2進ガロア像が極大となる楕円曲線のモデル)、です。 この論文では、有理数体上で定義された楕円曲線のうち、複素乗法を持たず、かつ有理的な2-アイソジェニーを持つものに注目しています。著者の目的は、2-アイソジェニーを持つという制約の中で、2進ガロア像が可能な限り大きくなる、いわゆる2-極大となる曲線の具体的なワイエルシュトラス形式を提示することです。 もともと2進像の分類は進んでいましたが、この論文ではモジュラー曲線やアイソジェニー・ねじれグラフを巧みに使い、パラメータを具体的に決定しています。特に、ある値が有理数体で平方数にならないという条件を課すことで、ガロア像が小さくなってしまうのを防いでいる点が非常に巧妙です。 結果として、2-アイソジェニーだけでなく、3-アイソジェニーや5-アイソジェニーを併せ持つケースまで含めた、1パラメータ族のモデルを構築しました。単なる存在証明に留まらず、実際に計算可能な方程式として提示しているところに、実用的な数論への強いこだわりが感じられます。
12. 19:11 12. Integer group determinants for the elementary abelian group of order 49 2609.09542v1
    スクリプトを表示

    12本目は、チャチャワン・パンラクサさんによる、「Integer group determinants for the elementary abelian group of order 49」(位数49の基本アーベル群の整数群行列式)、です。 この論文では、ある有限群に紐づいた行列の行列式として、どのような整数が現れるかという、タウスキー・トッド問題に取り組んでいます。特に位数49の基本アーベル群に注目し、7で割り切れる値がどのような条件で現れるかを詳しく調べています。 研究の結果、7で割り切れる非ゼロの値は、少なくとも7の10乗で割り切れなければならないことが分かりました。つまり、最小の正の値は7の10乗になるということです。この結論に至るまでのプロセスが非常に緻密で、円分体のノルムや、局所環における大域的単数などの高度な道具を駆使して、整数ベクトルから実際にその値が作れるかを判定しています。 特に、7の10乗や11乗で割り切れる場合の条件を、イデアルの不変量を用いて具体的に記述している点が素晴らしいです。単純な合同式では分類できない複雑な構造を持っていることを証明しており、数論的な粘り強さを感じます。著者は、この手法をさらに大きな素数に広げるのは難しいだろうと述べていますが、この境界線を明確にした点に大きな価値がありますね。
13. 20:51 13. The three Kanade-Russell identities modulo nine 2609.09653v1
    スクリプトを表示

    13本目は、ミズノ・ユウマさんによる、「The three Kanade-Russell identities modulo nine」(法九における三つのカナデ・ラッセル恒等式)、です。 この論文では、十年以上も未解決だったロジャーズ・ラマヌジャン型の分割恒等式に関する三つの予想を証明しています。もともとこの予想は、コンピュータを使った計算から導き出されたものなのですが、法九という設定が非常に手強かったようです。 著者は、予想の和の側と積の側が、どちらも同じ三次多項式を満たすことを示すという戦略を取りました。エアリー関数を含むカソラティアンを用いたり、ヤコビの加法公式やテータ級数、ランベルト級数といった数論の強力な道具をフル活用して、見事に一致させています。 特に驚いたのが、この証明の突破口にジーピーティー・シックスという人工知能が関わっている点です。三次ノルムの等しさに気づいたのがエーアイだったというのは、現代の数学研究のあり方として非常に刺激的ですね。最終的に、土代岡さんが証明した下限値を利用して、和と積が完全に一致することを結論づけています。
14. 22:14 14. From Pythagorean Runs to Pell-Generated Cubic Runs 2609.09714v1
    スクリプトを表示

    14本目は、アナトリー・エイデルゾンさんによる、「From Pythagorean Runs to Pell-Generated Cubic Runs」(ピタゴラス的なランからペル方程式で生成される三乗のランへ)、です。 この論文では、連続する二乗の和が別の連続する二乗の和と等しくなるというピタゴラス的なランという概念を、三乗の数へと拡張する挑戦をしています。具体的には、ある数から始まる連続する三乗の和が、別の数から始まる、公差が二の等差数列における三乗の和と一致するような正の整数の組み合わせを探っています。 ここで面白いのが、二つ目の数列が一つ目の数列が終わった後から始まらなければならないという、順序条件を設けている点です。単に計算が合うだけでなく、数直線上で綺麗に並んでいる必要があるというこだわりが感じられますね。 著者はこの問題を解くために、方程式を整理して一般化されたペル方程式という形に変換しました。そして、連分数展開という手法を使って最小の正の解を見つけ出し、そこから行列を用いた線形漸化式によって、条件を満たす解を無限に作り出すことに成功しています。 二乗の場合とは異なり、三乗の世界ではペル方程式のようなディオファントス構造が必要になるという点が非常に興味深いです。結果として、順序条件を満たす正の整数の組が無限に存在することが証明されました。
15. 23:56 15. An elementary approach to Sun Kim's general theta function identities 2609.09751v1
    スクリプトを表示

    15本目は、ダジャオ・タンさんによる、「An elementary approach to Sun Kim's general theta function identities」(サン・キムによる一般化されたテータ関数恒等式への初等的なアプローチ)、です。この論文は、サン・キムさんが証明したいくつかのテータ関数に関する恒等式に対して、もっとシンプルで初等的な証明方法を提案したものです。もともとこれらの研究は、ラマヌジャンが残したモジュラー方程式に深く関わっていて、とても興味深い分野なんですよ。ただ、キムさんの元の証明は、乗法的な楕円関数の理論やリウヴィルの定理といった、かなり高度で複雑な手法に頼っていました。そこで著者のタンさんは、もっと親しみやすいキューシリーズの手法で証明できないかと考えました。具体的には、ヤコビの三積公式やヴェイエルシュトラスの基本的なテータ関数恒等式などを組み合わせることで、複雑な解析学を使わずに証明を完結させています。結果として、ラマヌジャンのモジュラー方程式を包含する定理など、4つの大きな定理をシンプルに導き出しました。難しい理論の壁を取り払って、テータ関数の根本的な性質から直接的に答えを導き出すという、非常にスッキリとしたアプローチに感銘を受けます。
16. 25:28 16. Universal norms and de Rham representations 2609.09862v1
    スクリプトを表示

    16本目は、ローラン・ベルジェさんによる、「Universal norms and de Rham representations」(普遍ノルムとドラン表現)、です。 この論文では、ピー進表現のイワサワコホモロジーにおける普遍ノルムの計算に取り組んでいます。もともと、円分拡大という特定のケースでは、ドラン表現における普遍ノルムの空間が、ホッジ・テイト重みに深く関わった部分空間とほぼ一致することが分かっていました。ですが、それを他の拡大に広げようとすると、これまで使えていたファイ・モジュールの理論が通用しなくなり、壁にぶつかっていたんです。 そこでベルジェさんは、円分拡大を含むピー進拡大であれば、普遍ノルムをある部分空間で割った商空間が有限次元のベクトル空間になることを示しました。既存の円分拡大の結果をうまく使いつつ、デヴィサージュという分解の手法を駆使して一般論へと導く流れは見事です。さらに、ルビン・テイト形式群のねじれ点を含む拡大など、より広い範囲にこの理論を適用した点も非常に大きな貢献だと言えます。抽象的な数論の世界で、このように具体的な拡大の条件を広げていくアプローチには、地道ながらも確かな手応えを感じますね。
17. 26:57 17. Unramified Motivic Alternating Multiple Mixed Values 2609.09917v1
    スクリプトを表示

    17本目は、ツェ・シューさんとジアンチャン・ジャオさんによる、「Unramified Motivic Alternating Multiple Mixed Values」(分岐のない動機的交代多重混合値)、です。この論文では、多重ゼータ値のレベル４への一般化である、交代多重混合値という非常に複雑な数について研究しています。研究の目的は、これらの高度な数が、いつ古典的なレベル１の多重ゼータ値の線形結合として書き直せるか、つまり分岐がない状態になるかを突き止めることです。 著者たちは、ブラウンさんとグラノワさんが開発した降下理論という手法を使い、動機的な枠組みで解析を行いました。動機的ガロア群の共作用を分析して、特定の条件を満たせばレベル１に降下することを証明しています。実際に、交代二重ティー値や交代三重ティー値など、５つの分岐のない家族を特定しました。複雑な和がシンプルなゼータ値に結びつく様子は、まるでパズルが完璧に組み合わさったかのような快感がありますね。最終的に、ここで見つかった家族が、真に交代的な分岐のない多重混合値のすべてであるという大胆な予想を立てて締めくくっています。
18. 28:23 18. Non-vanishing of symmetric square $L$-functions in the weight aspect 2609.09942v1
    スクリプトを表示

    18本目は、オルガ・バルカノヴァさんとドミトリー・フロレンコフさんによる、「Non-vanishing of symmetric square L-functions in the weight aspect」(ウェイト面における対称二乗エル関数の中央値の非消滅)です。 この論文では、正則ヘッケカスプ形式に付随するエル関数が、中心点でゼロにならない割合について研究しています。これまでは、少なくとも半分以上の形式で非消滅であることが分かっていましたが、今回の研究でその割合を少なくとも二十一分の一十三まで引き上げることに成功しました。一般化リーマン予想を仮定すればこの割合は一になると考えられていますが、その理想的な目標に大きく近づいたことになりますね。 技術的なアプローチが非常に個性的で、面白いです。従来のやり方とは異なり、二つのエル関数のうち片方にだけ近似関数等式を適用し、さらにザギエのエス級数を用いた相反的な公式を組み合わせています。また、誤差を抑えるために半分整数のウェイトを持つアイゼンシュタイン級数や、ヴェイユ型の評価を用いたクロストマン和の解析を駆使しています。最後は奇関数の積分を利用して主項を導き出すという、非常に鮮やかな流れで完結させています。
19. 29:52 19. Pencils of norm form equations and a conjecture of Thomas, II 2609.09995v1
    スクリプトを表示

    19本目は、フランチェスコ・アモローゾさん、デイヴィッド・マッサーさん、ウンベルト・ザニエさんによる、「Pencils of norm form equations and a conjecture of Thomas, II」(ノルム形式方程式のペンシルとトーマスの予想、第2部)、です。 この論文では、パラメータを持つノルム形式方程式について、その整数解がどれくらいの大きさになるのかという上限を詳しく調べています。これまでの研究では、解が有限個であることは分かっていても、具体的にどれくらいの大きさかという有効な bounds を出すのが難しかったのですが、ここではパラメータに対して多項式で抑えられるという、かなり強力な結果を導き出しています。 特に面白いのが、従来の対数形式の手法では太刀打ちできないような壁を、ディオファントス近似のテクニックを駆使して乗り越えている点です。具体的には、ジーゲル恒等式を改良したり、滑らかな射影曲線上の点に対する新しい高さの評価を導入したりしています。変数が8つもある複雑な例を挙げて、実際に多項式で解が抑えられることを証明しているところには、執念のようなものを感じますね。 さらに、この手法を使えば特定の代数的数の無理度を改善できることも示しており、数論における非常に実用的な進展を成し遂げています。
20. 31:25 20. Diophantine approximation with primes in an arithmetic progression 2609.10010v1
    スクリプトを表示

    20本目は、ディー・マズムンダーさんとジェイ・シヴァラマンさんによる、「Diophantine approximation with primes in an arithmetic progression」(等差数列における素数を用いたディオファントス近似)、です。 この論文では、無理数を分数で近似するとき、分母に特定の等差数列に含まれる素数を使った場合にどれくらい精度良く近似できるかを探求しています。もともと、分母に一般的な素数を使った近似については、一九七七年にヴォーンさんが結果を出していましたが、今回の研究ではそれをさらに発展させ、ある整数で割ったときの余りが指定された値になる素数という、より限定的な条件で考えました。 具体的には、指数和やフォン・マンゴルト関数といった強力な道具を使い、近似条件を満たす素数が無限に存在することを証明しています。計算の過程でヴォーンの恒等式などが駆使されており、非常に緻密な議論が展開されていますね。 さらに面白いのが、エルデシュさんとマーラーさんが一九三九年に出した問いへのアプローチです。連分数展開の分母がすべて特定の等差数列の素数になるような無理数の集合を具体的に作り出し、その中にはリウヴィル数ではない数、つまり近似のしやすさに限界がある数が含まれていることを無条件で証明しました。単に存在を示すだけでなく、無理度という概念を使って定量的に示した点に、執念のようなものを感じます。
21. 33:08 21. A Counterexample to a Conjecture of Liu and Qian and a Refined Inverse Theorem for Restricted Sumsets in $\mathbb{Z}_p$ 2609.10148v1
    スクリプトを表示

    21本目は、ジアンタオ・リさんとシンイー・リャンさんによる、「A Counterexample to a Conjecture of Liu and Qian and a Refined Inverse Theorem for Restricted Sumsets in Z_p」(ゼットピーにおける制限付き和集合のためのリウとキアンの予想への反例と洗練された逆定理)、です。 この論文では、巡回群における制限付き和集合という、組み合わせ論的な問題に取り組んでいます。もともとリウさんとキアンさんが、ある条件下で和集合の大きさが最小になるのは、二つの集合が同じ公差を持つ等差数列であるときだけだという予想を立てていました。でも、今回の研究でその予想が実は正しくないことが分かったんです。 著者の二人は、集合の大きさの合計から３を引いた値がちょうど素数ピーに等しくなるという境界的なケースで、等差数列ではないけれど最小サイズを実現してしまう反例を具体的に作り出しました。モジュロ演算による回り込みが起きることで、予想外の組み合わせが生まれてしまうんですね。 そこで彼らは、この境界例をあえて除外するという、より厳しい条件を設けた洗練された逆定理を提案しました。この新しい条件下では、元の予想が正しく成り立つことを証明しています。組み合わせ論的な数え上げを駆使して、どちらか一方が等差数列でなければ和集合のサイズが跳ね上がってしまうことを示した手法は、非常に緻密で説得力があります。
22. 34:52 22. Inertial multiplicity bounds for two dimensional projective representations and bounds for the number of $\operatorname{PSL}_2(\mathbb{F}_q)$ and $\operatorname{PGL}_2(\mathbb{F}_q)$ number fields 2609.10245v1
    スクリプトを表示

    22本目は、ブランドン・アルバーツさんによる、「Inertial multiplicity bounds for two dimensional projective representations and bounds for the number of PSL 2 of F q and PGL 2 of F q number fields」(二次元射影表現の慣性多重度境界と、ピーエスエル二のエフキューおよびピージーエル二のエフキュー数体の数に関する境界)、です。 この論文では、特定のガロア群を持つ数体の数を数え上げるための、新しい上限の導出に挑戦しています。もともと、ある判別式を持つ拡大体の数を数える問題がありましたが、これまでの研究よりも、より精緻な予測に近い境界を導き出そうとしています。 ここでのアプローチが本当に鮮やかで、二次元の射影表現を線形表現に引き上げ、それをセールのモジュラリティ予想を使って正規化された新形式に結びつけています。つまり、表現の数をカスプ形式の空間の次元で抑え込むという手法です。 結果として、ある素数べきのキューに対して、判別式のべき乗で数体の数が抑えられることを証明しました。ラングランズプログラムの二次元版を、非可換な類体論のように扱うことで、非常に鋭い上限を得ることに成功しています。モジュラリティ定理を数体の計数に活用するという、これまでになかった視点を取り入れた非常に野心的な研究だと思います。
23. 36:30 23. Faltings' Isogeny Theorem via Equidistribution 2609.10302v1
    スクリプトを表示

    23本目は、ジュンイ・シエさんとジクアン・ヤンさんによる、「Faltings' Isogeny Theorem via Equidistribution」(等分布によるファルティングスの同種写像定理)、です。この論文では、数体上のアーベル多様体に関するファルティングスの同種写像定理という、数論の非常に重要な定理に新しい証明を与えています。もともとの証明では、有界な高さを持つアーベル多様体の有限性という、かなり複雑な性質を使っていました。ですが、今回の研究では、有限体に対するテイトの定理へと直接的に帰着させることで、証明をシンプルにすることに成功しています。 ここで使われているのが、パンピングと呼ばれる戦略です。非アルキメデス的な等分布定理を用いて、有限体での準同型や半単純性を数体へと持ち上げています。ガロア安定な小さな点の列が、そのザリスキー閉包上で等分布するという性質を利用して、代数サイクルの存在を導き出すという流れです。特に、対角線トリックという手法を用いて矛盾を導き出し、同型であることを証明する構成が見事ですね。また、半単純性の証明ではブートストラップ的な議論を用いており、先に証明したホム定理を土台にするという効率的な手順を踏んでいます。高さの有限性に頼らず、ガロア軌道の等分布という視点から代数サイクルを直接的に構築しようとするアプローチには、現代的な数論のダイナミズムを感じます。
24. 38:19 24. Quasi-modularity of symmetric quasi-shuffles 2609.10309v1
    スクリプトを表示

    24本目は、キリアン・ホンミンさんとセルゲイ・モズゴボイさんによる、「Quasi-modularity of symmetric quasi-shuffles」(対称準シャッフル積の準モジュラー性)、です。 この論文では、対称多重ゼータ値がなぜ準モジュラー形式になるのかという謎に、純粋に代数的なアプローチで挑んでいます。これまでマクマホン級数やアイゼンシュタイン級数などの準モジュラー性は、数論や組合せ論的な手法で証明されてきましたが、著者たちは準シャッフル代数という枠組みを使って、より普遍的な説明を試みました。 特に注目したいのは、インデックスの置換で不変な対称テンソルの部分空間が、次数一の要素だけで生成される部分代数になることを証明した点です。これにより、複雑な対称ゼータ値の準モジュラー性を証明する問題が、もっと単純な一変数形式のチェックにまで落とし込まれました。この鮮やかな簡略化の手法には、代数的な構造を徹底的に使い切る執念のようなものを感じます。 最終的に、モデル代数を用いることで、対称準シャッフル代数からゼータ値への写像の像が、有理的な準モジュラー形式の代数と一致することを示しました。さらに、この議論を有限レベルの準モジュラー形式へと拡張し、ニュートン恒等式などの標準的な関係式を用いて具体的な対称化公式まで導き出しています。
25. 39:58 25. Sharp local estimates for smooth numbers 2609.10324v1
    スクリプトを表示

    25本目は、オフィール・ゴロデツキーさんによる、「Sharp local estimates for smooth numbers」(滑らかな数の鋭い局所評価)、です。 この論文では、素因数がすべてある上限を超えない正の整数、いわゆる滑らかな数について、非常に精度の高い局所的な評価を導き出しています。具体的には、ある値までの滑らかな数の個数と、そこから少しだけずらした値までの個数の比率を、どれだけ正確に捉えられるかという問題に挑んでいます。 著者はサドルポイント法という手法を使い、滑らかな数の分布を記述する関数の性質を深く分析することで、これまであった制限的な誤差項を取り除き、評価が成り立つ範囲を広げることに成功しました。 特に面白いのが、平方因子を持たない滑らかな数への応用です。新しい局所評価を用いることで、従来の文献よりも誤差項を大幅に改善しています。さらに、滑らかな数に関する一般の和の計算においても、これまで必要だと思われていた誤差項を省略したり、大幅に減らしたりできることを示しました。 また、特定の滑らかな数と互いに素である滑らかな数の評価を改善し、トゥラン・クビリュス不等式の洗練された短い証明まで提示しています。数論における滑らかな数の内部構造を、ここまで緻密な道具を使って解き明かそうとする姿勢には、圧倒的なこだわりを感じます。
26. 41:41 26. On the syntomic regulator of the Hesse cubic curves and $p$-adic hypergeometric functions 2609.10340v1
    スクリプトを表示

    26本目は、ネモト・ユウスケさんによる、「On the syntomic regulator of the Hesse cubic curves and p-adic hypergeometric functions」(ヘッセ立方曲線におけるシントミックレギュレーターとピー進超幾何関数について)、です。 この論文では、ピー進超幾何関数という、ちょっと特殊な関数に新しい視点を導入しています。著者は、以前の研究をベースにしつつ、独自の工夫を加えた新しいピー進超幾何関数を定義しました。この関数がピー進的に解析的であることを証明するために、ドワークの関数に似た合同関係を導き出したところは、非常に緻密な計算がなされていて感心します。 さらに、この関数の真骨頂は、ヘッセ立方曲線のシントミックレギュレーターと結びつけた点にあります。複素数体での公式に似た形で、特定の要素のレギュレーターをこの関数の特殊値で書き表すことに成功しました。また、別の研究者が定義した対数型の関数との変換公式についても考察しており、ズディリンの公式のピー進版という非常に野心的な予想を立てています。この予想が特定の条件下で成り立つことを、曲線の幾何学的な性質から証明しており、数論と幾何学が見事に融合した構成になっています。
27. 43:14 27. Integer group determinants for abelian groups of order 24 2609.10423v1
    スクリプトを表示

    27本目は、チャチャワン・パンラクサさんによる、「Integer group determinants for abelian groups of order 24」(位数24のアーベル群における整数群行列式)、です。 この論文では、位数が24である3つのアーベル群について、どのような整数が群行列式として現れるかを完全に分類しています。具体的には、巡回群であるシー24と、非巡回群であるシー2かけるシー12、そしてシー2かけるシー2かけるシー6の3つのケースを扱っています。 研究の手法がとても緻密で、文字通り泥臭い計算と理論の組み合わせという感じです。まず、行列式を円分ノルムの積として表現し、それが整数環の元として適切に構成できるかという整合性を検証しています。特に、素数2と3における評価条件を詳細に分析し、それ以外の素数についてはプライムワードという独自の枠組みを使って有限回のテストで判定できるようにしています。 面白いのは、似たような構造を持つ非巡回群の間でも、行列式として取りうる整数の集合が異なることを証明した点です。特に奇数の行列式に注目することで、2つの群を明確に区別できる整数の無限族を見つけ出しています。単に条件を導き出すだけでなく、実際に係数を求めるアルゴリズムまで提示しているあたりに、著者の徹底した構成的な姿勢が表れていますね。
28. 44:58 28. On the Number of Hecke Eigenvalues of Same Sign on $\mathrm{GL}_n$ 2609.10446v1
    スクリプトを表示

    28本目は、ジェシー・ヤアサリさんによる、「On the Number of Hecke Eigenvalues of Same Sign on GLのn」(ジーエルエヌ上の同じ符号を持つヘッケ固有値の数について)、です。 この論文では、自己双対なヘッケマースカスプ形式という、かなり専門的な対象について、その固有値の符号がどのように分布しているのかを詳しく調べています。具体的には、ある区間の中に同じ符号を持つ固有値がどれくらい存在するかという問題に挑んでいます。 実は、正則なカスプ形式などの場合は先行研究があるのですが、より高次のマースカスプ形式になると、これまで使われていた手法が通用せず、非常に困難な壁にぶつかっていました。そこで著者は、乗法関数の理論という全く別の角度からアプローチしています。短区間での平均をうまく扱うためのテクニックを駆使して、この難問を突破しようとした点に、研究者としての執念のようなものを感じますね。 結果として、一般化ラマヌジャンピーターソン予想を仮定すれば、ほとんどすべての短区間で、正または負の固有値が一定数存在することを証明しました。さらに、ジーエルツーやジーエルスリーのような低次のケースでは、予想に頼ることなく無条件で強い結果を導き出しています。高次の世界でも符号の分布がある程度制御できていることを示した、非常に価値のある成果だと言えます。
29. 46:40 29. Irreducibility of truncations of the Catalan generating function 2609.10526v1
    スクリプトを表示

    29本目は、セキ・シンイチロウさんによる、「Irreducibility of truncations of the Catalan generating function」(カタラン生成関数の切断の既約性)、です。 この論文では、組み合わせ論のいろいろな数え上げ問題に登場するカタラン数について、その生成関数を途中で切り出した多項式が、有理数体上で既約であることを証明しています。つまり、この多項式をさらに小さな有理数係数の多項式の積に分解することはできないということです。 もともとは二千十三年にサン・ジーウェイさんが出した予想がきっかけだったそうですが、それを完全に解決したということですね。証明の手法がとても巧妙で、まず背理法を用いて、もし分解できたとしたらどのような関数方程式を満たさなければならないかを導き出しています。 さらに、複素平面上での根の分布を分析したり、チェビシェフ関数を使って素数の積の下限を評価したりと、かなり多角的なアプローチを組み合わせています。特に、有限体上の局所的な性質を、有理数という大域的な世界へ引き戻して矛盾を導き出す流れは、非常に力強い論理展開だと感じました。局所的な視点と大域的な視点を巧みに使い分けることで、難問に挑む姿勢が伝わってきます。
30. 48:12 30. $B_h$-sets and perturbations in normed vector spaces 2609.09249v1
    スクリプトを表示

    30本目は、math.COからのクロス投稿で、メルヴィン・ビー・ナサソンさんによる、「Bのh-sets and perturbations in normed vector spaces」(ノルム線形空間におけるBのh集合と摂動)、です。 この論文では、ノルム線形空間という連続的な世界で、Bのh集合という面白い概念を考えています。Bのh集合とは、簡単に言うと、その集合の要素をh個足し合わせてできた数たちが、すべてただ一通りの組み合わせでしか作れないという性質を持つ集合のことです。これまでこの研究は、主に整数のような離散的なグループで扱われてきましたが、この論文では標数がゼロの体上のノルム線形空間へと舞台を広げています。 特に興味深いのは、ある集合をほんの少しだけ動かす、つまり摂動させることで、元の集合の近くにBのh集合を作り出せるかという点に挑んでいるところです。著者は、有理数のn進展開の一意性という基礎的なアイデアを巧みに利用して、ノルムが非常に小さいBのh集合を構成しました。 最終的に、可分な部分集合であれば、どんなに小さな正の実数で指定された範囲内であっても、その摂動によって得られるBのh集合が非可算個も存在することを証明しています。どんな集合のすぐ隣にも、この特殊な性質を持つ集合がびっしりと詰まっているなんて、空間の構造として非常に贅沢な感じがしますね。
31. 49:57 31. The algebraic geometry of 3-by-3 magic squares of squares 2609.09351v1
    スクリプトを表示

    31本目は、math.AGからのクロス投稿で、アッシャー・アウエルさんとベンジャミン・シンガーさんによる、「The algebraic geometry of 3-by-3 magic squares of squares」(3かける3の平方数の魔法陣の代数幾何学)、です。 この論文では、18世紀から未解決のままだった、すべてのマスが異なる平方数で埋め尽くされた3かける3の魔法陣が存在するかという難問に挑んでいます。著者の二人は、この魔法陣をパラメータとして持つ多様体を定義し、その代数幾何学的な性質を徹底的に分析しました。 驚くべきことに、この多様体の最小分解は一般型の曲面であることが分かりました。ボンビエリ・ラング予想によれば、一般型の曲面上の有理点はまばらであるため、魔法陣が見つからないのは必然だったのかもしれませんね。分析の過程では、幾何学的自己同型群が位数384の有限群であることや、ピカール群のランクが理論上の上限に近い518まで構成できることなどが示されました。 さらに、デルペッツォ曲面やK3曲面への射影を通じて、平方数の数が少ないケースまで掘り下げて研究しており、合同数問題との新しいつながりまで見つけ出した点には、執念のような情熱を感じます。最終的な不在の証明には至っていませんが、ブラウアー・マニン障害を適用するための強力な武器が揃った形となりました。
32. 51:39 32. Positivity and Asymptotics for Chenevier's Orthogonal Polynomials 2609.10328v1
    スクリプトを表示

    32本目は、math.CAからのクロス投稿で、シソン・シューさんによる、「Positivity and Asymptotics for Chenevier's Orthogonal Polynomials」(シュネヴィエの直交多項式における正値性と漸近挙動)、です。 この論文では、オートモーフィックなエルミート・ミンコフスキーの定理に関わる、ある特定の重みに関連した臨界ベクトルの成分が、すべて正であるというシュネヴィエさんの予想を証明しています。 アプローチがとても巧妙で、まず実区間上の測度を単位円上の共役対称な測度へと変換しています。そこからシュアのアルゴリズムやセゴの漸化式を駆使して、円上の測度のフェルブルンスキー係数が厳密に負であることを導き出し、さらに準直交変換を用いることで、元の臨界ベクトルの正値性を証明しました。 また、次数が無限に大きくなる時の挙動についても詳しく分析しています。正規化された臨界ベクトルが逆正弦分布に弱収束することや、臨界スケールがオイラー定数を含む特定の値に漸近することを明らかにしました。 さらに、ルジャンドル測度の摂動として重みを扱う線形応答の枠組みを導入し、具体的な一次変分公式を導き出しています。線形な漸近挙動までは見事に解決していますが、非線形な漸近挙動についてはまだ予想として残されており、今後の展開が非常に楽しみな内容となっています。
33. 53:19 33. Distinguished standard modules for $\mathrm{GL}_{2m}(\mathbb{C})/\mathrm{GL}_m(\mathbb{H})$ 2609.10483v1
    スクリプトを表示

    最後は、math.RTからのクロス投稿で、アラン・シュエリュン・ホウさんとテューダー・ポペスクさんによる、「Distinguished standard modules for GLの2m(C)/GLのm(H)」(複素一般線形群の標準モジュールのうち、四元数一般線形群によって区別されるものについて)、です。 この論文では、複素数上の一般線形群の標準モジュールが、四元数一般線形群という部分群によって区別されるための条件を明らかにしています。もともとこの問題は、非アルキメデス的な設定で研究されていましたが、著者たちはアルキメデス的なケース、つまり私たちがよく知る複素数の世界でこれを解決しようと試みました。 具体的には、ある標準モジュールが、部分群の作用で不変な、ゼロではない連続線形形式を持つための必要十分条件を導き出しています。そのために、最小パラボリック部分群の指標から誘導される標準モジュールの構造を詳しく分析しました。特に、指標のパラメータが、固定点を持たない対合によって、あるインデックスとその対になるインデックスで互いに逆数関係にあることが条件になるという結果を導いています。 複雑な軌道計算や、局所的な絡み合い周期という手法を駆使して証明を完結させており、既存の非アルキメデス理論との整合性を取った点に、理論的な穴を埋めたという強い達成感を感じます。