紹介した論文

1. 0:24 1. The Waring-Goldbach problem in short intervals under the Generalized Riemann Hypothesis 2609.16048v1
   スクリプトを表示

   1本目は、ヤオジエ・グオさんによる、「The Waring-Goldbach problem in short intervals under the Generalized Riemann Hypothesis」(一般化リーマン予想の下での短い区間におけるワーリング・ゴールドバッハ問題)、です。 この論文では、大きな奇数を、短い区間にある素数のk乗の和で表せるかという問題に挑んでいます。具体的には、素数の分布範囲をどこまで小さくできるかという点がポイントになります。 アプローチとしては、ハーディ・リトルウッドの円法という伝統的な手法を使いつつ、ヒースブラウンの定理を用いて素数の指数和を通常の指数和に変換しています。ここで、一般化リーマン予想という非常に強力な仮定を置くことで、計算の精度を極限まで高めています。特に、マイナーアークと呼ばれる難しい部分の評価において、式を二つに分けるという新しい工夫を導入したのが見事です。 結果として、分布範囲の指数を従来よりも改善し、ほぼ理想的な数値まで近づけることに成功しました。単に解があることを示しただけでなく、解の個数に関する漸近式まで導き出しています。仮定に頼ってはいますが、ここまで精度を突き詰める執念には驚かされます。
2. 1:54 2. Mean Lindel\"of Hypothesis and Prime Geodesic Theorem on Bianchi Manifolds 2609.16181v1
   スクリプトを表示

   2本目は、チャンリン・リさんとジ・チさんによる、「Mean Lindelöf Hypothesis and Prime Geodesic Theorem on Bianchi Manifolds」(ビアンキ多様体における平均リンデレフ予想と素測地線定理)、です。 この論文では、ビアンキ多様体という空間における素測地線の分布について研究しています。特に、素測地線定理の誤差項を無条件で抑え込むという、非常に野心的な目標に挑んでいます。 これまで、ピカール多様体におけるこの問題は長年の難問となっていました。著者たちは、対称二乗エル関数という特殊な関数の平均リンデレフ予想を証明することで、この壁を突破しました。 手法がとても巧妙で、クズネツォフのトレース公式とヴォロノイの手法を組み合わせています。さらに、二重ポアソン和を用いて、ヒースブラウンの二次大きな篩という強力な道具が使える形に変換しています。 特に、複素ベッセル積分が実数の場合と違って非対称であるという厄介な問題がありましたが、ここを算術的な性質を利用して乗り切った点には、研究者の執念のようなものを感じます。 結果として、平均リンデレフ予想を証明し、ビアンキ多様体における素測地線定理のより精緻な誤差項を導き出しました。長年の予想に決着をつけた、非常に価値のある成果と言えますね。
3. 3:33 3. A formula for the rank over $\mathbb{Q}(t)$ of the elliptic curve $y^2=x^3+At^6+Bt^3+C$ 2609.16349v1
   スクリプトを表示

   3本目は、ジョンヘン・バオさんによる、「A formula for the rank over Q(t) of the elliptic curve yの2乗=xの3乗+Atの6乗+Bt^3+C」(有理関数体上の楕円曲線yの2乗等しくxの3乗たすAtの6乗たすBtの3乗たすCのランクに関する公式)、です。 この論文では、ある特定の形をした楕円曲線のランクと生成元を求めるための、具体的で明快な公式を提案しています。これまでも計算の手法はありましたが、どうしても計算コストが高くなってしまうのが悩みどころでした。そこで著者は、係数であるA、B、Cを使って、手計算でも判定できるような効率的な方法を導き出したのです。 アプローチがとても巧みで、幾何学的なモルデル・ヴェイユ群を、2次体の整数環上の加群として捉え、それを小さな加群の直和に分解するという手法を取っています。特に、幾何学的な生成元とガロア共役との間の線形関係を分析することで、算術的なランクを決定する新しい手法を導入しました。 結果として、特定の式が有理数体で立方数か平方数かによってランクが決まるという公式が示され、最大ランクは2になることが分かりました。アルゴリズムに頼り切らず、代数的な条件から直接答えを導き出すという、数学的な職人技のようなアプローチに感銘を受けます。
4. 5:16 4. Number fields as curves over $\mathbf{F}_1$ 2609.16360v1
   スクリプトを表示

   4本目は、イゴール・ブイ・ニコラエフさんによる、「Number fields as curves over F1」(F1上の曲線としての数体)、です。 この論文では、数体と、いわゆる1つの要素を持つ体、エフワン上の1変数関数体との関係を深く掘り下げています。もともと数体と有限体上の関数体には似たところが多いことが知られていましたが、著者はそれを単なる比喩ではなく、形式的な体の同型として格上げしようと試みました。 そのアプローチが本当に独創的で、非可換幾何学や作用素環という強力な道具を持ち出しています。クンツ・クリーガー代数や定常エーエフ代数を使って、エフワン上の射影多様体からの共変関手を作り上げたり、ドリンフェルト加群をヒルベルト空間上の有界線形作用素として表現したりしています。 結果として、ある種の数体がエフワン上の1変数関数体と同型であることが証明されました。特に、エフワン上の代数曲線の種数やカスプの数が、対応する数体の1のべき根と結びつく具体的な公式が示されています。1つのカスプを持つ楕円曲線が、円分体や2次数体の最大アーベル非分岐拡大に対応するという結論には、非常に緻密な構成美を感じますね。
5. 6:48 5. Simultaneously small continued fraction entropy and base $b$ entropy 2609.16362v1
   スクリプトを表示

   5本目は、ファルク・テムールさんによる、「Simultaneously small continued fraction entropy and base b entropy」(連分数エントロピーと底bエントロピーの同時的な小ささ)、です。 この論文では、ある無理数について、連分数展開と、あらゆる整数底での展開という、二つの異なる表現における複雑さを同時に低く抑えることができるか、という問題に挑んでいます。もともと、こうした数は数え切れないほど存在することが理論的に分かっていましたが、具体的に計算可能な例が示されていなかったため、著者はアルゴリズム的な構成方法を提案しました。 手法としては、有理数区間の入れ子構造を用いて数を作り上げていきます。連分数エントロピーをゼロにするために特定の接頭辞を使いつつ、底エントロピーを抑えるために、特定の桁の組み合わせを意図的に避けるグリッド回避戦略を採用しています。特に、すべての整数底を漏れなく、かつ一定の間隔で処理するスケジュールの組み方が非常に巧妙ですね。 最終的に、連分数の要素を1と2だけに限定しながら、すべての整数底においてエントロピーがゼロとなる計算可能な無理数を構成しました。単なる存在証明に留まらず、有限回の有理数比較で検証できる具体的な作り方を示した点に、実務的なこだわりが感じられます。
6. 8:27 6. Elementary proofs of congruences modulo 5 for overpartitions with restricted odd differences 2609.16376v1
   スクリプトを表示

   6本目は、ビシュヌ・パウデルさんとジェームス・エー・セラーズさんとハイヤン・ワンさんによる、「Elementary proofs of congruences modulo 5 for overpartitions with restricted odd differences」(制限付きの奇数差を持つオーバーパーティションの5を法とする合同式の初等的な証明)、です。 この論文では、ある特定の条件を持つオーバーパーティションの数を数える関数について、5で割り切れるという性質を証明しています。もともとこの性質は、モジュラー形式というかなり高度で複雑な理論を使って証明されていました。でも、著者たちはそれをあえて使わず、もっとシンプルで初等的な方法で証明したいと考えたんです。そのこだわりが本当に素敵ですよね。 具体的には、生成関数という道具を使い、数列を偶数部分と奇数部分に分けるという操作を繰り返して、目的の項を抽出しています。ロジャース・ラマヌジャン連分数などのテクニックを駆使して、最終的に5nプラス1と5nプラス4の場合に、数が5の倍数になることを導き出しました。高度な理論に頼らずに、地道な計算と工夫で同じ結論に辿り着いたことで、この手法の汎用性も示しています。既存の別の合同式にもこの方法を適用して、新しい初等的な証明を提示している点も素晴らしい成果です。
7. 10:03 7. Rational Points near Monofractal Curves and the Strong Oscillation Principle 2609.16377v1
   スクリプトを表示

   7本目は、フォスチン・アディセアムさん、ヴォロディミル・パヴレンコフさん、エフゲニー・ゾリンさんによる、「Rational Points near Monofractal Curves and the Strong Oscillation Principle」(モノフラクタル曲線近傍の有理点と強振動原理)、です。 この論文では、微分不可能なモノフラクタル曲線のグラフの近くに、有理点がどのように分布しているかを探っています。分母が制限された有理点が、曲線の周りのごく狭い領域にどれくらい存在するかを正確に数えたいというのが、この研究の目的です。 もともと、面積ヒューリスティックという予測があり、滑らかな曲線やブラウン運動のようなランダムな動きについては正しさが分かっていました。でも、決定論的なフラクタル曲線でこれが成り立つかは、ずっと未解決のままだったんです。そこで著者たちは、曲線の振動特性が重要であるという振動原理を唱えました。 具体的には、強一様振動という概念を導入しています。これは、どんな部分区間においても振動の大きさが、区間の長さのべき乗で上下から抑えられているという、かなり厳しい条件です。この性質を持つ関数であれば、面積ヒューリスティックが成り立つという強振動原理を証明しました。 決定論的なフラクタル曲線で有理点の正確な数が導き出されたのは、これが初めてのことです。タカギ関数やワイエルシュトラス関数といった有名な例でもこの原理が使えることを示しており、不規則な曲線が予測通りの分布に従うことを突き止めた、非常にパワフルな結果だと思います。
8. 11:58 8. Local Langlands functoriality for Yu's supercuspidals I: Kaletha's parametrization 2609.16381v1
   スクリプトを表示

   8本目は、ショーン・コトナーさんとトニー・フェンさんによる、「Local Langlands functoriality for Yu's supercuspidals I: Kaletha's parametrization」(ユの超尖点表現に対する局所ラングランズ函手性 第1部：カレサのパラメータ付け)、です。 この論文は、非常に複雑な局所ラングランズ対応というパズルに挑んだ意欲作です。これまで、ファルグとショルツによる幾何学的なアプローチは汎用性が高い一方で具体的な計算が難しく、逆にカレサさんの手法は具体的ですが適用範囲に制限がありました。そこで著者たちは、この二つのアプローチを橋渡ししようと試みています。 特に面白いのが、大きな素数で割った余りに注目してパラメータを調べるモジュラー函手性という手法を取り入れた点です。これにより、ユの構成から得られるあらゆる尖点表現に対して、明示的な慣性エルパラメータを定義することに成功しました。 また、計算の過程で符号文字という非常に繊細な問題に直面していますが、ここを丁寧に修正して函手性を確保させている点に、数学的な執念のようなものを感じます。この成果によって、幾何学的な理論と具体的な計算が見事に結びつき、次なるステップである深度の保存やエルパケットの有限性の証明へと道が開かれました。
9. 13:32 9. Local Langlands functoriality for Yu's supercuspidals II: Fargues--Scholze's parametrization 2609.16387v1
   スクリプトを表示

   9本目は、ショーン・コトナーさんとトニー・フェンさんによる、「Local Langlands functoriality for Yu's supercuspidals II: Fargues--Scholze's parametrization」(ユの超クスピダル表現に対する局所ラングランズ関手性の第二部：ファルグとショルツのパラメータ付け)、です。 この論文は、ファルグとショルツによる対応関係を具体的に計算しようという、非常に意欲的な試みの第二弾です。まず、ユの構成から得られるクスピダル表現のテイトコホモロジーを計算しています。そこに局所ラングランズ対応におけるモジュラー関手性と、第一部で確立した対応関係の部分的な特徴付けを組み合わせることで、ファルグとショルツのパラメータ付けとカレサのパラメータ付けを比較しています。 その結果として、ある仮定の下で、ファルグとショルツの対応が有限ファイバーを持ち、慣性エルパラメータに対して全射になることが導き出されました。抽象的な理論に留まらず、具体的な計算を積み重ねて二つの異なるパラメータ付けの整合性を突き止めようとする姿勢には、職人気質なこだわりを感じますね。非常に緻密な議論が展開されており、現代的な数論の最前線を感じさせる内容でした。
10. 14:58 10. Twisted Rational Zeros and Local-Global Principles for Linear Recurrence Sequences 2609.16392v1
    スクリプトを表示

    10本目は、ピョートル・バチクさんによる、「Twisted Rational Zeros and Local-Global Principles for Linear Recurrence Sequences」(線形回帰数列におけるねじれ有理零点と局所大域原理)、です。 この論文では、ある線形回帰数列が零点を持つかどうかを判定するスコレム問題という、非常に難しい課題に取り組んでいます。特に、すべての整数を法として零点を持つなら、実際の整数としても零点を持つはずだという、指数的な局所大域原理に関する予想に注目しています。 驚いたことに、著者はある具体例を挙げて、この原理を強めたバージョンが成り立たないことを証明しました。つまり、すべての素数冪で零点を持っていても、本物の整数零点を持っていないケースがあるということです。この不思議な現象を説明するために導入されたのが、ねじれ有理零点という概念です。これはある種の1の冪根の下で隠れた零点として振る舞う有理数のことで、このねじれ有理零点が局所的な零点として検出される条件を詳しく明らかにしています。 さらに、互いに素な数列に対する同時的な局所大域原理を証明しており、これにより共通の零点が存在するかを判定するアルゴリズムが簡略化されました。ねじれ有理零点こそが局所大域原理を妨げる唯一の正体ではないかという考察には、非常に鋭い洞察を感じます。
11. 16:41 11. Higher Schwarzians of Elliptic Double Covers and Eisenstein--Kronecker Functions 2609.16444v1
    スクリプトを表示

    11本目は、ヒシャム・サベールさんとアブデラ・セバールさんによる、「Higher Schwarzians of Elliptic Double Covers and Eisenstein--Kronecker Functions」(楕円二重被覆の高次シュワルツ型不変量とアイゼンシュタイン・クロネッカー関数)、です。 この論文では、楕円曲線の二重被覆における二次以上の不変量を詳しく調べています。目的は、被覆の局所的な射影幾何学的な性質を、古典的な楕円関数や数論的な不変量と結びつけることです。 著者たちは、被覆の射影核を計算することでこの問題にアプローチしました。その結果、高次の不変量は、定数であるアイゼンシュタイン項と、二倍の値を代入したアイゼンシュタイン・クロネッカー関数の和として書き表せることが分かりました。この公式を使えば、分岐の主部やアイソジェニーのトレースなどを決定できるので、とても実用的ですね。 さらに、ド・ラムコホモロジーを用いた解釈も提示されています。二次の不変量は、古典的なヴェイエル補空間に対応しており、高次の不変量も同様のテンソルを実現しています。 特に面白いのが正標数への還元に関する結果です。ベルヌーイ正規化を用いることで、標数ピーにおける不変量がハッセ不変量と一致することを証明しました。これは写像に依存しない結果であり、曲線上の任意の分離可能な有理関数に適用できるという、非常に強力な結論になっています。
12. 18:28 12. The Furstenberg-S\'ark\"ozy theorem for sums of an even number of odd powers 2609.16595v1
    スクリプトを表示

    12本目は、アレクサンドロス・カログィロウさん、アンドリュー・ロットさん、アコス・マジャールさん、アカシュ・シンハ・ロイさんによる、「The Furstenberg-Sárközy theorem for sums of an even number of odd powers」(奇数のべき乗の偶数個の和に関するフルステンベルグ・シャーケジの定理)、です。 この論文では、ある整数の集合において、その差の集合に、奇数のべき乗を偶数個足し合わせた数が含まれない場合、その集合はどれくらい疎になるかという問題を扱っています。もともとフルステンベルグとシャーケジによる定理では、差が完全べき乗にならない集合の密度について述べられていましたが、今回はそれをさらに複雑な条件へと拡張しています。 証明にはサークル法やファン・デル・コルプトの手法が使われており、特にフーリエ変換の解析が鍵となっています。面白いのが、べき乗の個数を偶数に設定している点です。これにより、指数和を偶数乗することになり、主項が確実に正になるため、証明がスムーズに進むようになっています。奇数のべき乗ひとつだけだと符号が反転して扱いにくいのですが、偶数個集めることでその問題を鮮やかに解決しているところに、数論的な工夫が光りますね。 最終的に、このような条件を満たす集合の大きさに、べき乗による節約を含む上界があることを証明しました。また、貪欲法による構成を用いて、得られた上界が妥当な形であることも示しています。
13. 20:14 13. An infinite family of imaginary biquadratic fields with a large class number 2609.16678v1
    スクリプトを表示

    13本目は、カルヤン・チャクラボルティさんとプラティック・ラオさんとアイシュワリヤ・ダボレさんによる、「An infinite family of imaginary biquadratic fields with a large class number」(大きな類数を持つ虚二次二次体の無限族)、です。 この論文では、類数が非常に大きくなるような虚二次二次体の無限に続くグループを構築しています。実は、二次体の類群についてはたくさん研究されてきたのですが、二次二次体という少し複雑な数体については、これまであまり注目されてこなかったんです。そこに着目した著者たちは、二つの異なる虚二次体の族を組み合わせるという手法を取りました。 具体的には、ある奇数で類数が割り切れるように設計された族と、フィボナッチ数を使って判別式を決める族を掛け合わせています。ここで鍵となるのが黒田の類数公式です。この公式を使うことで、中間にある二次体の類数が大きければ、最終的な二次二次体の類数も大きくなることを保証できるわけです。 特に、フィボナッチ数を用いた二次体の類数が、以前の知見よりもさらに大きな因子で割り切れることを証明した点は、かなり鋭いアプローチだと思います。最終的に、これらの数体が互いに独立であることや、その族が無限に存在することを証明し、大きな類数を持つ虚二次二次体の無限族を導き出しました。
14. 21:54 14. Laurent series expansions for the Barnes multiple zeta function 2609.16699v1
    スクリプトを表示

    14本目は、タカシ・ミヤガワさんによる、「Laurent series expansions for the Barnes multiple zeta function」(バーンズ多重ゼータ関数のローラン展開)、です。 この論文では、フルヴィッツ・ゼータ関数を一般化したバーンズ多重ゼータ関数について、そのローラン展開を詳しく調べています。これまでの研究では、定数項である有限部分に注目することが多かったのですが、この論文ではより高次の係数についても、統一的で具体的な公式を導き出そうとしています。 まず、最も高い次数の極においては、オイラー・マクローリン和公式を用いることで、すべての正則なローラン係数を有限の多重和と対数補正項で表現しました。さらに、より低い次数の極については、原点におけるテイラー係数との関係を導き出しています。パラメータによる微分恒等式を展開するという手法が使われており、異なる点での局所的な振る舞いを結びつけるアプローチには、非常に緻密な計算へのこだわりが感じられますね。 最後に、係数の次数が大きくなったときの振る舞いを解析し、近接する極の留数が支配的になることを示しました。単なる計算に留まらず、特異点構造を包括的に捉えようとする視点が素晴らしいです。
15. 23:25 15. Triple divisor type functions in arithmetic progressions to prime power moduli 2609.16700v1
    スクリプトを表示

    15本目は、フイ・ワンさんとテンヨウ・ズーさんによる、「Triple divisor type functions in arithmetic progressions to prime power moduli」(素数べき法における等差数列上の三つの約数関数型の関数)です。 この論文では、特定の奇素数のべき乗を法とする等差数列において、非カスプ形式という自動形式のヘッケ固有値がどのように等分布しているかを探っています。具体的には、正則な原始カスプ形式に関連する畳み込み係数に注目しています。 解析数論の世界では、誤差項を抑えながら合計を計算できる最大の指数、いわゆる分布レベルを決定することが大きな挑戦です。通常は臨界線によって制限されますが、ここを突破するには多次元の指数和を非常に精密に見積もる必要があります。 著者たちは、この畳み込み係数に対して指数二分の一が許容されることを証明しました。その手法が実に巧妙で、変数の大きさに合わせて計算範囲をいくつかに分け、それぞれに異なる武器を使い分けています。変数が小さいときは加法的指標によるねじれ和の見積もりを使い、大きいときはポアソン和公式を適用しています。さらに、その中間の範囲では、素数べき法におけるハイパー・クローステマン和の明示的な評価を用いています。 特に、ピー進指数対法という高度な道具を使い、ピー進コホモロジーなどを駆使して相殺を導き出している点に、執念のようなこだわりを感じますね。この成果によって、自動形式の分布に関する理解がさらに一歩前進したと言えるでしょう。
16. 25:21 16. Iwasawa theory of (directe) Cayley graphs 2609.16702v1
    スクリプトを表示

    16本目は、デバンジャナ・クンドゥさん、カタリナ・ミュラーさん、アレクシス・ニュートンさん、クロエ・スチュワートさん、イーディ・ワンさんによる、「Iwasawa theory of (directe) Cayley graphs」(有向ケイリーグラフの岩澤理論)、です。 この論文では、有向ケイリーグラフの岩澤理論という、かなりエキゾチックな視点からグラフの性質を調べています。具体的には、ガロア被覆の無限の塔に沿って、ボウエン・フランクス群という群がどのような性質を持つのかを分析しています。 研究の大きな目標は、レイさんとミュラーさんが提案した欠損予想を証明することでした。この予想は、強連結な有向グラフの塔において、固有値１の代数的重複度と幾何学的重複度の差、つまり欠損が、塔全体で一定に保たれるというものです。 著者たちは、有限アーベル群や二面体群など、特定のケイリーグラフに注目しました。表現論を使って隣接行列をブロック行列に分解し、さらにセージという計算ソフトを駆使して、特性多項式やボウエン・フランクス群の構造を導き出しています。 結果として、調べたすべてのケースで欠損がゼロであることを証明し、予想を裏付けました。特に二面体群などの非アーベル群において、岩澤不変量であるミュー不変量やラムダ不変量を具体的に計算しきった点は、非常に根気強いアプローチで感銘を受けます。グラフ理論に数論的な岩澤理論の枠組みを持ち込んで、構造を鮮やかに解明した素晴らしい研究でした。
17. 27:13 17. The Local Ghost Theorem in the Tr\`es Ramifi\'e Case 2609.16714v1
    スクリプトを表示

    17本目は、リヤン・ワンさんによる、「The Local Ghost Theorem in the Très Ramifié Case」(非常に分岐したケースにおける局所ゴースト定理)、です。 この論文では、モジュラー形式の傾きを予測するゴースト予想という非常にエキサイティングな問題に取り組んでいます。これまで、一般的だったり分岐が少なかったりするケースでは証明されていましたが、非常に分岐が激しいケースは例外として除外されていました。著者は、この難しいケースにおいても、ある演算子の特性多項式のニュートン多角形が、ゴースト級数という特別な級数のニュートン多角形と一致することを証明しました。 特に面白いのが、次元の計算において、重みが変わるたびに次元が一つずつ増えていくため、次元が奇数になる場合がある点です。これに対応するために、整数だけでなく半分整数という概念を取り入れた、新しいニア・スタインバーグ理論を構築しています。この半分整数を扱うために凸幾何学をうまく適応させて、多角形の頂点を正しく特定した手法には、著者の粘り強い工夫が感じられます。最終的に、すべての傾きが整数であることを示し、理論的な空白を完璧に埋めました。
18. 28:41 18. Distribution of squarefree integers with double congruence conditions 2609.16716v1
    スクリプトを表示

    18本目は、タン・ウジさんによる、「Distribution of squarefree integers with double congruence conditions」(二重合同条件を持つ平方自由整数の分布)、です。 この論文では、平方自由整数が、ある正の整数を法とする剰余類にどれくらい分散しているかという問題に取り組んでいます。具体的には、素因数がどの剰余類にいくつ含まれているかという二重の条件で分類したとき、それらが均等に分布しているのか、それとも何らかの偏りがあるのかを調べています。 解析にはディリクレ級数やセルバーグ・ドランジュ法といった強力な道具が使われていて、極の性質から係数の和の増大率を導き出しています。結果として、無限遠では均等に分布するという定理を証明していますが、有限の範囲で見ると面白い現象が起きています。 特に注目したいのが、特定の条件下で現れるバイアス現象です。二つのクラスの数の差が、ある時点から符号を変えずに一定の方向に安定するという、非常に不思議な挙動が見つかりました。著者は、クラスの間に厳格な順序関係があるという大胆な予想を立てており、それを100万番目の素数まで使った数値計算で裏付けています。単なる均等分布で終わらせず、その裏に潜むわずかな偏りをあぶり出した執念のようなものを感じますね。
19. 30:20 19. Prime-power congruences for level-one eigenforms 2609.16750v1
    スクリプトを表示

    19本目は、ナディム・ラストムさんによる、「Prime-power congruences for level-one eigenforms」(レベル１の固有形式における素数べきの合同式)、です。 この論文では、重みが変化したときに、レベル１の正規化されたカスプ形式のヘッケ固有系が、素数のべき乗を法としてどのような合同関係を持つのかを詳しく調べています。固定されたレベルに対して、このような合同類は有限個しか存在しないという予想があり、それを裏付ける証拠を探るのが大きな目的です。 著者は、モジュラーシンボルの加群の間に、ヘッケ作用量と可換な転送写像を構築するという手法を開発しました。ディクソン不変量の適切なリフトを掛け合わせることで、異なる重みの間にあるヘッケ作用量の関係を伝播させることができるんです。これにより、膨大な計算が必要な問題を、有限の計算にまで落とし込むことに成功しています。 具体的な結果として、２の２乗や３の２乗といった小さな素数べきでの完全な分類を示しています。特に、３の２乗や７の２乗の場合に、コールマンとスタインの予想やセールの予想をレベル１において証明した点は、非常に大きな成果だと言えますね。 また、特定の重みの範囲で関係が成り立てば、すべての重みで成り立つことを保証する重み伝播定理を導入しています。計算には、ニムコードやフリントといった高度な計算ソフトを駆使しており、理論と計算の両面からアプローチしている点に、徹底したこだわりを感じます。
20. 32:12 20. Extreme values of quadratic Hecke $L$-functions 2609.16807v1
    スクリプトを表示

    20本目は、ジカン・ドンさんとロン・リュウさんによる、「Extreme values of quadratic Hecke L-functions」(二次ヘッケエル関数の極値)、です。この論文では、大域体における二次ヘッケエル関数の極値について、特に導手という側面に注目して研究しています。単に中心点付近でどれだけ大きな値を取るかだけでなく、ある族の中でそうした大きな値がどれくらいの頻度で現れるかという、いわゆる豊富さを明らかにしようとしています。数体と大域関数体の両方を扱っていて、数体の方は一般化リーマン予想を仮定していますが、奇標数の関数体の方は無条件で結果を出しています。手法として面白いのが共鳴法を使っている点です。平方自由イデアルの重み付き和である共鳴器を構築して、大きな値を取る指標をうまく抽出しています。特に、幾何級数的にノルムが増加する素イデアルのブロックを用いた疎なガールの集合を導入することで、共鳴器の四次モーメントを小さく抑えつつ、大きな値を出す指標が十分にたくさん存在することを証明しました。数体において、あるしきい値より小さい定数に対して、少なくともエックスのイプシロン乗個の指標がその値に達することを示した点は、非常に説得力がありますね。単なる極値の追求に留まらず、その出現頻度まで踏み込んだ、非常に意欲的な研究だと思います。
21. 33:54 21. On $t$-sumfree sequences 2609.16843v1
    スクリプトを表示

    21本目は、ダーン・ファン・ベルケルさんとヴィーブ・ボスマさんによる、「On t-sumfree sequences」(ティー・サムフリー数列について)、です。 この論文では、あるルールに従って貪欲に作られる正の整数の無限数列について研究しています。具体的には、それまでに現れた異なるティー個の数の和として表せない最小の整数を次々に選んでいくというルールです。 研究の最大の目的は、こうした数列が最終的に周期的なパターンを持つかという予想を検証することでした。著者たちは特にティーが2または3の場合に注目しています。ある一定の長さのブロックが何度も繰り返されれば、その数列は必ず周期的になるといった重要な補題を導き出し、それをコンピューターによる計算と組み合わせることで証明を試みました。 結果として、ティーが2の場合はどんな開始値から始めても最終的に周期的になることが証明されました。ティーが3の場合も、多くのケースで周期性が確認されており、2024個の候補のうちほとんどすべてが周期的であるという驚くべき結果が出ています。 ただ、中には周期に入るまでの準備期間が非常に長いケースもあり、単純な計算だけでは太刀打ちできない粘り強さが求められる問題だということが伝わってきます。理論的な証明と膨大な計算を組み合わせた、非常に地道で情熱的なアプローチですね。
22. 35:35 22. Mixed moment of $GL(2)$ and $GL(3)$ $L$-functions in the level aspect 2609.16893v1
    スクリプトを表示

    22本目は、ジウェイ・リウさんによる、「Mixed moment of GL(2) and GL(3) L-functions in the level aspect」(レベル面におけるジーエル2およびジーエル3エル関数の混合モーメント)、です。 この論文では、数論における重要なテーマであるエル関数の値の分布について研究しています。具体的には、ジーエル2のエル関数と、その対称二乗であるジーエル3のエル関数の混合モーメントについて、漸近公式を導き出しました。 分析の手法がとても巧妙で、近似関数等式とピーターソントレース公式を組み合わせて、計算を対角項と非対角項に分解しています。特に、特定の点に二重零点を持つ重み関数をあえて選ぶことで、計算を複雑にする余分な主項を消し去るというテクニックを使っています。このあたりに、計算を完遂させるための執念のようなものを感じますね。 さらに、非対角項の処理にはヴェイユの評価やポアソン和公式、定常位相法などが駆使されており、非常に高度な解析が行われています。 最終的に、誤差項を抑えた精緻な公式が得られたことで、十分大きな素数レベルにおいて、これら二つのエル関数が中心点で同時にゼロにならないようなカスプ形式が存在することを証明しました。理論的な美しさだけでなく、実利的な結果まで導き出した素晴らしい成果です。
23. 37:17 23. An additive problem in connection with some quadratic real fields with class number one 2609.16960v1
    スクリプトを表示

    23本目は、アレクサンドル・ギカさんによる、「An additive problem in connection with some quadratic real fields with class number one」(類数一のいくつかの実二次体に関連する加法的問題)、です。 この論文では、ある不思議な性質を持つ奇素数ピーを探求しています。それは、一からピーより小さい奇数エヌについて、ピーたす二エヌ二乗という式が、常に二つ以下の異なる素因数しか持たないという条件です。加法的数論と実二次体の性質を掛け合わせた非常にユニークな視点ですね。 著者はピーを八で割った余りで分類して、それぞれのケースを丁寧に分析しています。特に、特定の二次体の類数が一であること、つまり整数環が単項イデアル整域であることを巧みに利用して、ピーの候補を絞り込んでいます。連分数展開の周期の長さを調べたり、二次剰余を用いた初等的な手法を駆使したりと、道具箱から様々な武器を取り出して戦う様子が伝わってきます。 最終的に、ピーがどのような数になるかがほぼ完全に分類されました。例えば、八で割って一余る場合は十七か四十一だけになるなど、非常に限定的な数だけが生き残ります。この問題の一部が二千二十五年の国際数学オリンピックのショートリストに選ばれたというのも納得の、パズルのような面白さと深い数論の理論が融合した素晴らしい研究でした。
24. 39:01 24. Powers of the Thue--Morse Series: 2-Adic Valuations and Automatic Odd Parts 2609.16966v1
    スクリプトを表示

    24本目は、ジャオ・シェンさんによる、「Powers of the Thue--Morse Series: 2-Adic Valuations and Automatic Odd Parts」(テュー・モース級数の累乗、2進付値とオートマトン的な奇数部分)、です。 この論文では、有名なテュー・モース数列の生成関数を累乗したときに現れる係数の性質について研究しています。特に、その係数を2で何回割り切れるかという2進付値と、2で割り切れない部分である奇数部分が、オートマトンで表現できるかという点に注目しています。 実は、係数全体の数列が規則的であっても、その奇数部分までがオートマトン的になるとは限らないんですよね。そこがこの研究の面白いところです。著者は行列の漸化式という手法を駆使して、指数の形が2の累乗である場合や、特定の偶数の場合など、いくつかのケースで奇数部分がオートマトン的であることを証明しました。 特に3乗の場合には、付値の公式に補正項が必要になることを突き止めていて、細部まで丁寧に解析しているなと感じます。最後には、すべての正の整数指数において奇数部分がオートマトン的であるという大胆な予想まで立てています。テュー・モース級数という特定の構造があるからこそ導き出せた、非常に鋭い結果と言えるでしょう。
25. 40:37 25. Refined conjectures on Fitting ideals of BDP Selmer groups 2609.17003v1
    スクリプトを表示

    25本目は、チャンホ・キムさん、アプラメヨ・パルさん、ジシュヌ・レイさんによる、「Refined conjectures on Fitting ideals of BDP Selmer groups」(BDPセルマー群のフィッティングイデアルに関する精緻化された予想)、です。 この論文では、楕円曲線のBDPセルマー群という、数論における非常に複雑な対象について、その構造を詳しく調べる精緻なイワサワ理論を用いて研究しています。具体的には、虚二次体の反サイクロトミックp拡張という設定で、有限次部分拡張におけるセルマー群のフィッティングイデアルを決定することに挑戦しました。 ここで面白いのが、BDP版のテータ要素というものを導入して、代数的な不変量と解析的な不変量の結びつきを証明した点です。特に驚くべきは、普通還元と超特異還元のどちらの場合でも、フィッティングイデアルが主イデアルになることを示したことです。通常のサイクロトミックな設定では、超特異還元の時に主イデアルにならないことが一般的ですから、BDPの設定では還元形式に依存せず同じ公式が成り立つというのは、非常に強力で鮮やかな結果だと思います。タマガワ数や剰余表現に関するいくつかの条件を設けることで、この見事な一致を導き出しています。
26. 42:09 26. Modular functoriality for finite groups 2609.17060v1
    スクリプトを表示

    26本目は、ショーン・コトナーさんによる、「Modular functoriality for finite groups」(有限群のためのモジュラー関手性)、です。この論文では、非アルキメデス局所体上の還元的群について、ファルグとショルツによる局所ラングランズ対応と、カレサによる対応を比較するための理論的な枠組みを構築しています。特に、激しく分岐した群という難しいケースまで扱えるようにした点が非常に意欲的です。 著者は、パラ還元的群スキームという新しい概念を導入して、ドリーニュとルスティグの理論を拡張しました。ここでテイトコホモロジーという道具を巧みに使い、シンタニ降下やルスティグ制限、そしてグローバーマン対応といった重要な対応関係を結びつけています。 最終的に、深さが非特異なスーパーカスピダル表現において、ファルグとショルツのエルパラメータが、デバッカーとリーダー、そしてカレサらの研究によるものと一致するという定理を証明しました。抽象的な理論を具体的な計算へと橋渡しするために、あえてパラ還元的群という広いクラスの群スキームを定義して攻めるアプローチには、執念のようなものを感じますね。
27. 43:32 27. Uniform Mordell-Lang conjecture for semiabelian varieties 2609.17233v1
    スクリプトを表示

    27本目は、ジャオボ・ハンさん、ウェンビン・ルオさん、ジアウェイ・ユーさんによる、「Uniform Mordell-Lang conjecture for semiabelian varieties」(半可換多様体に対する一様モルデル・ラング予想)、です。 この論文では、数論における非常に重要な課題である一様モルデル・ラング予想を、半可換多様体という枠組みで証明しています。もともとこの予想は、代数多様体と数論的な点集合の交わりが、いかに限定的な構造を持つかという問題でしたが、今回の成果はその交わりの個数などが、多様体のパラメータに依存せず一様に抑えられることを示したものです。 単に個別のケースで成り立つことを示すだけでなく、一様性を証明したという点に、研究者の並々ならぬ執念を感じますね。数論の深い迷宮の中で、共通して使える普遍的なルールを導き出した快感は相当なものだったはずです。この結果によって、半可換多様体における有理点の分布に関する理解が一段と深まり、今後の研究に大きな影響を与えることは間違いありません。
28. 44:49 28. A class formula for effective Anderson motives 2609.17321v1
    スクリプトを表示

    28本目は、グザヴィエ・カルーゾさん、クアンタン・ガズダさん、アレクシス・リュカさんによる、「A class formula for effective Anderson motives」(有効なアンダーソン・モティーフのための類数公式)、です。 この研究では、任意の有効なアンダーソン・モティーフに対して、変数を伴う類数公式を確立しています。もともとテールマンさんが切り拓いた先駆的な研究の流れを汲んでおり、さらにアンレスさん、ンゴ・ダックさん、タバレス・リベイロさんらの成果を大きく発展させた内容になっています。特に、これまで必要だった許容性の仮定を取り除いたことで、より一般的なアンダーソン・モジュールまで扱えるようになったのがすごいところです。 さらに、行列式を取る前の段階で成り立つ、いわゆる非行列式的な類数公式というものを予想し、その弱いバージョンを証明しています。行列式でまとめる前の生の状態にまで踏み込もうとする姿勢には、非常にストイックなこだわりを感じますね。最後に、過収束的な類数公式を証明し、そこから関連するエル関数に強い収束性があることを導き出しています。数論的な対象を解析的な視点から捉え直す、非常にダイナミックな展開の論文でした。
29. 46:19 29. On Sarnak--Str\"{o}mbergsson conjecture 2609.17356v1
    スクリプトを表示

    29本目は、センピン・ルオさんとジュンチェン・ウェイさんによる、「On Sarnak--Strömbergsson conjecture」(サルナック・ストレンバーグソン予想について)、です。 この論文では、体積を固定した三次元格子のなかで、テータ関数やエプスタイン・ゼータ関数を最小にする格子はどれかという、数論における重要な予想を証明しています。この問題は、物理学における結晶構造や相転移の理解に深く関わっており、どの格子が最適かが系の基底状態を決定するため、非常に実用的にも意味がある研究です。 研究チームは、局所的な最小値の解析と、極端に短いベクトルを持つ格子を除外する手法を組み合わせた戦略をとりました。さらに、コンピュータによる厳密な区間演算を用いて不等式を検証するという、現代的なアプローチを取り入れています。 結果として、エプスタイン・ゼータ関数では面心立方格子が常に唯一の最小値となる一方で、テータ関数の場合は、ガウス尺度の大きさによって面心立方格子と体心立方格子が入れ替わるという面白い現象が明らかになりました。同じような関数なのに、片方は常に一定で、もう片方は条件で答えが変わるという対比が鮮やかで、数論的な振る舞いの奥深さを感じます。これにより、サルナック・ストレンバーグソン予想が完全に証明されました。
30. 47:57 30. Improved bounds for Szpiro's conjecture 2609.17390v1
    スクリプトを表示

    30本目は、ヘクター・パステンさんによる、「Improved bounds for Szpiro's conjecture」(スピロ予想の境界の改善)、です。この論文は、数論における非常に深い問題である、有理数体上の楕円曲線に関するスピロ予想に挑んでいます。この予想は、楕円曲線の最小判別式と導手という二つの値の間に、ある特定の関係があることを予測するものです。 これまでは、すべての楕円曲線に対して成り立つ境界は二〇一三年に示されたものが最善でしたが、より強力な境界は一般化リーマン予想という大きな仮定がある場合にしか得られませんでした。そこを、パステンさんは仮定なしで証明したいと考えたわけです。 アプローチがとても凝っていて、シムラ曲線や四元数モジュラー形式の理論を駆使しています。特にジャケ・ラングランズ対応を使って、楕円曲線に付随する新形式を四元数代数上のモジュラー形式に結びつけて分析しています。ヘッケ代数や固有値の合致具合を緻密に計算し、導手の適切な因数分解と素数の選択を行うことで、より精緻な見積もりを導き出しました。 結果として、これまで一般化リーマン予想を仮定しないと得られなかった強力な境界を、完全に無条件で証明することに成功しました。さらに、半安定な楕円曲線については、さらに強い境界を証明しています。条件付きの結果を無条件にまで引き上げた、非常に力強い成果ですね。
31. 49:47 31. Even-degree Hermitian Ikeda lifts via Fourier-Jacobi descent 2609.17396v1
    スクリプトを表示

    31本目は、タケダ・ノブキさんによる、「Even-degree Hermitian Ikeda lifts via Fourier-Jacobi descent」(フーリエ・ジャコビ降下による偶数次のエルミート・イケダリフト)、です。 この論文では、一般の複素乗法拡大における偶数次のエルミート・イケダリフトを構築しています。もともと山名さんによって奇数次のリフトは開発されていましたが、それを偶数次へと拡張することが大きな目標でした。 そのために使われたのがフーリエ・ジャコビ降下という手法です。まず次数が一つ大きい奇数次のリフトから出発して、フーリエ・ジャコビ係数を取り出し、さらにそのテータ成分を抽出することで、次数を一つ下げたユニタリ群上の正則保型形式を作り出しています。 特に、有限素点における局所的な表現の解析が非常に緻密で、分岐がある場合や二面体超クスピダルな場合まで丁寧に検証している点に、著者の徹底したこだわりが感じられます。 結果として、得られた保型形式が零ではなくカスプ形式であることを証明し、さらにモクさんの内視的分類を用いて、リフトのグローバルなアーサーパケットを特定しました。また、複素乗法拡大が虚二次体である場合には、イケダさんが確立したリフトと一致することも示しており、特定の条件下でリフトが消えてしまうという、不思議な消滅現象までも見事に再現しています。
32. 51:24 32. Hypothetical connection of the theta functions of Dirichlet characters with the real cyclotomic fields 2609.17478v1
    スクリプトを表示

    32本目は、ユリ・マティヤセビッチさんによる、「Hypothetical connection of the theta functions of Dirichlet characters with the real cyclotomic fields」(ディリクレ指標のテータ関数と実円分体との仮説的な関係)、です。 この論文では、数論における大きな難問の一つであるリンデレフ予想への挑戦的なアプローチが提案されています。リンデレフ予想というのは、リーマン予想を少し緩めたバージョンのもので、ディリクレエル関数が臨界線上でどのように増大するかという境界に関する予想です。 著者は、エル関数の関数等式を具体的にどう活用できるかと考え、線形方程式のシステムを導入して特定の和を推定するという手法を取りました。ここで登場する行列の成分には、テータ関数とその導関数が使われています。 特に面白いのが、この行列の逆行列を数値的に分析したところです。逆行列の最下行が反対称であったり、行列のサイズを大きくしていくと特定の成分が有限の値に収束したりすることが分かりました。さらに驚くべきことに、その収束値がパイの倍数を除いて実円分体に属しているように見えるという結果が出ています。 関数等式という形式的な定義からは想像もつかないような、深い周期性や代数的な構造が逆行列の中に隠れていたということですね。エル関数の問題を線形代数の枠組みに落とし込むことで、実円分体との意外な結びつきを導き出した非常に独創的な視点だと思います。
33. 53:14 33. Loop spaces, twistor $\mathbb P^1$ and tempiric parameters 2609.16246v1
    スクリプトを表示

    33本目は、math.RTからのクロス投稿で、ツァオ・シエン・チェンさんとリンフェイ・イーさんによる、「Loop spaces, twistor Pの1乗 and tempiric parameters」(ループ空間、ツイストール Pの1乗、およびテンピリック・パラメータ)、です。 この論文では、実還元的群における幾何学的ラングランズ対応の類似性を構築しようとしています。具体的には、ループ対称空間の幾何学と、ツイストール上の主束、そしてテンピリック・ラングランズ・パラメータという表現論的な要素を繋ぐことを目指しています。 アプローチが非常に巧妙で、ループ群における松木双対性を活用して、軌道と束を結びつけています。さらに、ヴォガンの最小ケー・タイプ理論を組み合わせることで、幾何学的な対象と既約表現との間の橋渡しに成功しています。 結果として、ループ対称空間上の軌道と、ツイストール上の束の同型類、そしてテンピリック・ラングランズ・パラメータの同値類との間に、自然な一対一対応があることを示しました。著者たちはこれを、実還元的群における幾何学的ラングランズ対応の組み合わせ論的な影と呼んでいます。 また、幾何学的サタケ対応の実群版という大胆な予想まで提示しており、非常に意欲的な内容です。エスエル２という具体的な例でこれらの対応を検証していますが、コンパクト形式と分裂形式がパラメータによって見事に使い分けられている様子には、快感を覚えます。
34. 55:02 34. List Decoding, Linear Hashing, and Furstenberg over $\mathbb{F}_q$ 2609.17020v1
    スクリプトを表示

    34本目は、cs.ITからのクロス投稿で、ヴィナヤク・エム・クマーさんとジェフリー・モンさんによる、「List Decoding, Linear Hashing, and Furstenberg over Fのq」(有限体上のリスト復号、線形ハッシング、およびフルステンベルグ集合)です。 この論文では、ランダム線形符号のリストサイズや、線形ハッシュ関数の最大負荷、そしてフルステンベルグ集合の大きさについて、新しい境界を導き出しています。もともとこれらの問題は、バイナリ場以外の大きな体において、理論的な空白があることが課題でした。 そこで著者たちが導入したのが、多重度の差を利用した新しい多項式法です。通常、多項式法では集合上で消える多項式を考えますが、ここでは集合の内部と外部で消える次数に差を付けるという、非常にトリッキーで巧妙なアプローチをとっています。さらに、ランダムな回転や射影を組み合わせるという、まるでアクロバットのような手法で次元を操作して解析しています。 その結果、フルステンベルグ集合の強い下界を証明し、線形ハッシュ関数が最適に機能することを示しました。特に、エラー率が最大値に近づいてもリストサイズがほぼ最適に保たれることを証明したのは、理論的にとても大きな進歩だと思います。線形な構造が、完全にランダムな関数と同じように振る舞うことを数学的に裏付けた快挙と言えるでしょう。
35. 56:46 35. Block-count constrained harmonic sums: spectral expansion and block-directed Euler-Maclaurin 2609.17045v1
    スクリプトを表示

    35本目は、math.COからのクロス投稿で、ジャン＝フランソワ・ビュルノルさんによる、「Block-count constrained harmonic sums: spectral expansion and block-directed Euler-Maclaurin」(ブロック数制約付き調和和：スペクトル展開とブロック指向オイラー・マクローリン)、です。 この論文では、ある特定の数字の並びがちょうどk回現れるような整数の逆数の和、いわゆるブロック制約付き調和和について研究しています。この種の和は収束することが分かってはいたのですが、その速度が絶望的に遅いため、kの値によって和がどう変化するのかという構造的な理解が不足していました。 そこで著者は、言語の組み合わせ論や確率論、そしてスペクトル理論を組み合わせて攻略しようと試みました。特に面白いのが、あるブロックから次のブロックへ移るプロセスを、単位区間上の測度に対するリターン演算子として定義した点です。この演算子の固有値や固有ベクトルを解析することで、調和和をモードの絶対収束級数として表現する定理を導き出しました。 これはオイラー・マクローリン展開とテイラー展開の間を補完するような展開であり、単なる計算手法を超えて、単語の組み合わせ論と関数空間上の演算子のスペクトル理論を結びつけた点が非常に鮮やかです。結果として、高精度な数値評価が可能になり、数論的な問題がスペクトル問題へと見事に変換されました。
36. 58:29 36. On a classical zero-sum invariant II: Disproof of a long-standing conjecture 2609.17127v1
    スクリプトを表示

    36本目は、math.COからのクロス投稿で、アルフレッド・ゲロリンガーさん、グオチン・ワンさん、ウェンカイ・ヤンさんによる、「On a classical zero-sum invariant II: Disproof of a long-standing conjecture」(古典的なゼロ和不変量について その二、長年の予想の反証)、です。 この論文は、有限アーベル群におけるゼロ和列という、加法的組合せ論の古典的な問題に取り組んでいます。具体的には、部分列の和の構造に関連するある不変量について調査しています。 ここでの焦点は、ある長さを持つゼロ和自由な列において、部分列の和で表せない群の要素が、ある部分群の適切な剰余類に収まるという性質を持つための最小の整数についてです。実はこれについて、二千年にウェイドン・ガオさんが、この不変量は常に小ダベンポート定数に等しいという予想を立てていました。 ピー群やランクが二以下の群では正しいことが分かっていたのですが、今回の論文で、著者たちはついにこの予想が間違っていることを証明しました。具体的に、奇素数ピーが十分に大きい場合のピーの三乗の群や、二の四乗の群などで反例を構築したんです。 長年信じられてきた予想が、具体的な列を構成することで鮮やかに否定される展開には、数学的な快感がありますね。これにより、有限アーベル群における構造的な性質の理解が一段と深まったと言えるでしょう。
37. 60:14 37. Small degree isogenies between conjugate principally polarized superspecial abelian surfaces 2609.17330v1
    スクリプトを表示

    37本目は、math.AGからのクロス投稿で、ラム・エル・ファムさんによる、「Small degree isogenies between conjugate principally polarized superspecial abelian surfaces」(共役な主偏極超特殊アーベル曲面間の低次数同種写像)、です。 この論文では、有限体上の主偏極超特殊アーベル曲面と、そのフロベニウス共役との間に、どれくらい次数の小さい同種写像が存在するかという問題に取り組んでいます。もともと超特異楕円曲線では、フロベニウス共役への同種写像の次数が、標数であるピー以下になることが分かっていました。著者はこの結果を、より次元の高いアーベル曲面へと広げようとしたわけです。 アプローチがとても巧妙で、幾何学的な問題を格子問題に翻訳するために、四元数座標という手法を使っています。具体的には、ランク五の整数二次格子を構築し、そこにエルミート定数を適用することで、短いベクトルが存在することを証明しました。この短いベクトルこそが、二つの曲面を結ぶ同種写像になるという仕組みです。 最終的に、標数が五以上のとき、同種写像の次数が最大でも二ピー以下になるという具体的な境界を導き出しました。単に理論的な存在を示すだけでなく、具体的な数値で距離を抑え込んだ点に、実用的な視点と執念のようなものを感じます。
38. 61:56 38. A perimeter analogue of Franklin's identity and an inequality related to the parity of parts 2609.17389v1
    スクリプトを表示

    最後は、math.COからのクロス投稿で、フィリップ・カスバートソンさんによる、「A perimeter analogue of Franklin's identity and an inequality related to the parity of parts」(フランクリンの恒等式の外周版と部分の奇偶に関する不等式)、です。 この論文では、分数の分割におけるサイズではなく、外周という概念に注目した二つの予想を証明しています。まず一つ目は、フランクリンの恒等式を外周に当てはめたものです。もともとの定理では、ある条件を満たす分割の数が等しいことが示されていましたが、外周に置き換えると、ある時点から一方がもう一方を上回るという不等式になることを突き止めました。四変数の生成関数を使って、漸近的にどちらが速く増えるかを解析する手法が使われていて、非常に緻密なアプローチだと思います。 二つ目は、異なる部分を持つ分割において、奇数の部分が偶数の部分よりも多くなるという偏りについての予想です。ここでも生成関数を用いて、奇数と偶数の個数の差が常に正であることを数学的帰納法で証明しました。特に面白いのが、奇数と偶数の個数が等しくなるケースが、ピークのないモツキン路という特定の経路の数と一致することを発見した点です。単なる計算だけでなく、組み合わせ論的な写像を用いて視覚的な構造と結びつけたところに、研究者のこだわりを感じますね。