紹介した論文

1. 0:21 1. Joint level-weight murmurations for holomorphic newforms 2607.08982v1
   スクリプトを表示

   1本目は、ジュリアン・カルディさんによる、「Joint level-weight murmurations for holomorphic newforms」(正則新形式におけるレベルと重みの共同マーマレーション)、です。この論文では、正則新形式のヘッケ固有値とルート数という、一見バラバラに見える値の間に現れる不思議な相関関係、いわゆるマーマレーションについて研究しています。これまでの研究では、重みを固定してレベルを動かすか、あるいはその逆というアプローチが一般的でした。でも、この論文がすごいのは、レベルと重みの両方を同時に無限大へ飛ばすという、かなり大胆な設定に挑んでいる点です。 具体的には、アトキン・レナーのトレース公式を駆使して、ルート数で重み付けした素数のトレースの極限を導き出しています。特に、バーグスの評価を用いて二次エル関数を切り詰めるというハイブリッドな類数評価の手法が使われており、非常に緻密な計算がなされています。さらに、ノイマンの恒等式の平滑化バージョンを用いることで、ベッセル級数を点質量に置き換えるという鮮やかな手腕を見せています。ディリクレエル関数などの零点に関する仮定を一切置かずに、一様な極限定理を証明しきったところに、著者の強い自信と執念を感じますね。
2. 1:54 2. Moments of the number of representations as sums of two prime squares 2607.08985v1
   スクリプトを表示

   2本目は、ハオゼ・ゴウさんによる、「Moments of the number of representations as sums of two prime squares」(2つの素数の2乗の和としての表現数のモーメント)、です。 この論文では、ある整数を2つの素数の2乗の和で表す方法がいくつあるかという関数の、k次モーメントの正しいオーダーを決定しています。もともと2次モーメントまでは分かっていたのですが、それ以上の高次モーメントの分布を突き止めるのは至難の業でした。これまでの研究では、kが2より大きい場合の下限を求めるには、グリーン・タオの定理の推測に基づいた条件が必要だったんです。 ところが、著者はあらゆる固定された整数kに対して、条件なしで結果を導き出しました。特に下限の求め方が鮮やかで、難しい純粋なモーメントを直接扱うのではなく、古典的な2乗の和の表現関数を組み合わせた混合モーメントを利用しています。これにより、問題を素数の算術級数に関する扱いやすい形に変換したわけです。また、上限の証明ではセルベルグ篩の枠組みを使い、中程度の大きさの素数に対して巧妙な評価を適用して、精度の壁となっていた損失を取り除きました。 3次モーメントにおいて、先行研究が期待していた最適な誤差項を達成した点には、執念のようなこだわりを感じますね。さらに、この手法を応用して、別の関数であるシフトされた素数因子のモーメントの下限についても、よりシンプルな証明を提示しています。
3. 3:45 3. Remarks on a theorem of Silverman 2607.09002v1
   スクリプトを表示

   3本目は、カイホアン・グエン＝ダンさんとクアンカイ・グエンさんによる、「Remarks on a theorem of Silverman」(シルバーマンの定理に関する考察)、です。 この論文は、アーベル多様体上の非ねじれ点がある特定の簡約次数を持つような場所が存在するかという問題に取り組んでいます。もともと楕円曲線についてはシルバーマンさんが証明していましたが、高次元のアーベル多様体では、点が単位元に簡約するという条件がより複雑なため、未解決のままでした。 まず、正標数の大域関数体上の楕円曲線について、シルバーマンの定理のバージョンを証明しています。ここでは高さの理論や形式群の性質が使われていて、正標数ではジーゲルの定理が成り立たないことを具体例で示している点に、鋭い視点を感じますね。 さらに、標数ゼロの多様体上のアーベルスキームに対して、相対的なシルバーマンの定理を確立しました。ベッティ写像を用いて代数的な問題を実解析的な問題に変換するというアプローチが非常に鮮やかです。最終的に、この結果を不可能性交差の理論やジルバー・ピンクの哲学と結びつけ、特定の条件を満たす曲線が代数部分群に含まれなければならないことを導き出しています。数論的な問いを解析的な道具で解き明かす、非常にダイナミックな構成になっています。
4. 5:24 4. The complete cubic Walsh spectrum of a permutation-inverse Boolean family 2607.09012v1
   スクリプトを表示

   4本目は、カイミン・チェンさんによる、「The complete cubic Walsh spectrum of a permutation-inverse Boolean family」(置換逆元ブーリアン族の完全な3次ウォルシュスペクトル)です。 この論文では、置換逆元という構成に基づいた特定のブーリアン関数の族について、そのウォルシュ分布を完全に決定しています。これまでの研究では、パラメータが3乗数でない場合にはベント関数になることが分かっていましたが、3乗数のケースだけが未解決のままでした。著者は、この3乗数の場合に、関数がベントではなく、特定の値のみを取るプラトー関数になることを証明しました。 特に面白いのが、そのアプローチです。欠けている情報を補完するコンプリーション法という手法を導入し、それを笠見のエーピーエヌ単項式と結びつけています。エーピーエヌという、ほぼ完全非線形という非常に強力な性質を利用して4次モーメントの等式を導き出し、そこから正確なスペクトルをピンポイントで特定したという流れは、パズルの最後のピースがはまったような快感がありますね。 結果として、ゼロ以外のウォルシュ値の絶対値や、それぞれの値が現れる正確な回数が導き出され、非線形性も精密に決定されました。これで、3乗数のパラメータについても、それ以外のケースと同等の精度でスペクトルの記述が完了したことになります。
5. 7:04 5. First Moment of derivatives of $L$-functions in a nonlinear family 2607.09056v1
   スクリプトを表示

   5本目は、ティンハオ・ファンさんとジニング・ウェイさんによる、「First Moment of derivatives of L-functions in a nonlinear family」(非線形族におけるL関数の導関数の一次モーメント)、です。 この論文では、解析的数論のとても重要なテーマであるL関数の値の分布について研究しています。具体的には、モジュラーL関数の臨界帯の中心における一次導関数の一次モーメントについて、漸近公式を導き出しました。 ターゲットにしているのは、一般化された約数関数で重みを付けた、二次ひねりの非線形族というかなり手ごわい対象です。これまでは、二面体形式のような特殊なケースや、より高次の導関数についての研究はありましたが、一般的なカスプ形式のハイケ固有形式における一次導関数の扱いは、空白地帯となっていました。 そこで著者たちは、近似関数方程式とメリン逆変換を巧みに組み合わせて攻略しています。特に、和をとる範囲が疎な部分集合に限定されているため、普通の手法では太刀打ちできません。ここがこの論文の腕の見せどころで、和の範囲を二つに分け、片方にはムンシさんの手法を、もう片方にはリさんの双線形形式に対する最適評価を適用するという、非常に戦略的なアプローチを取っています。 最終的に、メイン項が消えないことを示す漸近公式を証明し、理論的な穴を綺麗に埋めました。特殊なケースから一般論へと橋渡しをした、非常に実用的な成果だと思います。
6. 8:56 6. Extension of the Equation $\sum\limits_{j=1}^{k}jF_{j}^{p}=F_{n}^{q}$ to a Family of Lucas Sequences 2607.09105v1
   スクリプトを表示

   6本目は、ベンジャミン・アープ・リンチさん、サイモン・アープ・リンチさん、オマール・キヘルさん、プンタニ・ポンサムパンさんによる、「Extension of the Equation 総和のj=1のk乗jFのjのp乗=Fのnのq乗 to a Family of Lucas Sequences」(ルーカス数列の族への方程式の拡張)です。 この論文では、ある特殊な方程式の正の整数の解をすべて見つけ出そうとしています。具体的には、数列の項に指数を乗せて足し合わせたものが、別の項のべき乗に等しくなるという、かなり手強い問題に挑んでいます。これまでの研究ではフィボナッチ数などの特定の数列しか考えられていませんでしたが、この論文ではより一般的なルーカス数列という広い範囲にまで議論を広げました。 解析の手法がとても贅沢で、ビネの公式で増大度を抑え、ジグモンドの定理で素因数を分析し、さらにはカタラン予想として知られるミハイレスクの定理まで持ち出しています。特に、対数形式の線形形式を用いてパラメータの上限を絞り込み、それを計算機で検証するという、理論と計算の合わせ技が光っていますね。 結論として、多くのケースで自明な解以外は存在しないことが証明されました。特定の数列だけでなく、広い範囲のルーカス数列において一貫した結果が得られた点に、非常に強い説得力を感じます。
7. 10:34 7. Averages of diagonal Elliott-Halberstam problem twisted by M\"obius function with Sobolev and H\"older-Zygmund weights 2607.09110v1
   スクリプトを表示

   7本目は、マルコ・カンタリーニさんによる、「Averages of diagonal Elliott-Halberstam problem twisted by Möbius function with Sobolev and Hölder-Zygmund weights」(ソボレフおよびヘルダー・ジグムント重みを用いたメビウス関数でひねられた対角エリオット・ハルバーシュタム問題の平均)です。 この論文は、数論における大きな壁であるパリティ問題、つまり偶数のゴールドバッハ予想の証明を阻んでいる問題に挑んでいます。著者は、メビウス関数を組み合わせたエリオット・ハルバーシュタム予想の対角版という、少し条件を緩めた形式の予想さえ正しければ、十分に大きいすべての偶数は二つの素数の和で表せると示しました。 分析の手法がとても巧みで、重み付き平均を使って素数とメビウス関数の変数の対称性を回復させています。滑らかな重みを扱うソボレフ空間と、それより粗い重みを扱うヘルダー・ジグムント空間という二つの枠組みを使い分けている点に、解析的なこだわりが感じられますね。 結果として、一般化リーマン予想などの仮定の下で、分布レベルの全範囲にわたる一貫した上界を導き出しています。最後にチェザロ・リース重みという具体的な例を挙げて、提案した枠組みが実際に機能することを証明しており、非常に説得力のある構成になっています。
8. 12:08 8. The Young Tableaux Hopf algebra and multiple Schur series 2607.09157v1
   スクリプトを表示

   8本目は、ジンボ・ユさんによる、「The Young Tableaux Hopf algebra and multiple Schur series」(ヤング図形ホップ代数と多重シュア級数)です。この論文では、半標準ヤング図形上のシュア型の和として定義される多重シュア級数という新しい概念を導入しています。これはシュア多重ゼータ値や多重アイゼンシュタイン級数の両方を一般化したものだそうです。その代数的な構造を解明するために、ヤング図形に基づいた連結で可換な次数付きホップ代数を構築し、その線形化商が準シャッフル代数と一致することを明らかにしています。さらに、このホップ代数の中でフック公式やヤコビ・トルディ公式といった重要な関係式を確立しました。対称関数の環との関連付けを通じて、中身が一定の図形に対する多項式簡約公式を導き出している点も非常に鮮やかです。最終的に、シュア多重ゼータ値を回収し、シュア多重アイゼンシュタイン級数やそのキューアナログを導入することに成功しました。組み合わせ論的な図形と高度な代数構造が見事に融合しており、計算のパズルが解けるような快感がありますね。
9. 13:33 9. Asymptotic Formula for Multipartitions 2607.09159v1
   スクリプトを表示

   9本目は、ジャヤンタ・バルマンさんとカマラクシャ・マハタブさんによる、「Asymptotic Formula for Multipartitions」(多分割分数の漸近公式)、です。 この論文では、正の整数をいくつかのパーツに分ける分割という考え方を拡張した、ティー多分割分数の個数について研究しています。これは、一つの整数をティー個の分割の列として表すもので、それぞれのパーツにティー種類の異なる色を付けるという、カラフルなイメージで考えることもできますね。 もともと、ティーが固定されている場合の漸近公式は知られていましたが、この研究のすごいところは、ティーがエヌに合わせて大きくなっていく場合も含めて、より広い範囲で通用する一般式を導き出した点です。 手法としては、鞍点法という高度なテクニックが使われています。生成関数からコーシーの積分公式を用いて係数を導き出し、デデキントのイータ関数を駆使して原点付近の挙動を精密に解析しています。 最終的に、ティーが１のときは古典的なラデマッハの公式に一致し、固定されたティーの場合には過去の知見を再現できることが示されました。あらゆるティーの値に対して一貫した挙動を数式で捉えきった、非常に精緻なアプローチだと思います。
10. 15:04 10. Chevalley-Herbrand formulas and Z p -extensions of a p-principal imaginary quadratic field 2607.09258v1
    スクリプトを表示

    10本目は、ジョルジュ・グラスさんによる、「Chevalley-Herbrand formulas and Z p -extensions of a p-principal imaginary quadratic field」(p主イマジナリー二次体のp進整数拡大とシュバレー・エルブラン公式)、です。 この論文では、虚二次体におけるp進整数拡大という、数論のかなり深いテーマを扱っています。具体的には、p進クラス群が自明であるという設定のもとで、イワサワ不変量であるラムダやミューがどのような値になるかを解析しています。特に、基本単位のp進フェルマー商の評価値と、慣性体の次数との関係に注目して、不変量の値を決定づける条件を導き出しています。 驚いたのは、複雑な理論だけでなく、実際に計算可能な結果を提示している点です。シュバレー・エルブラン公式の一般化や、p進レギュレーターがゼロにならないことを利用して、具体的な判定基準を導き出しています。さらに、パリ・ジーピーというソフトを使って実際に計算するプログラムまで用意されていて、理論的な美しさだけでなく、実用的なアプローチを大切にしている姿勢が伝わってきます。イワサワ理論を補完する、非常に実戦的な研究と言えるでしょう。
11. 16:33 11. Hankel determinants of weighted binary sums of digits 2607.09376v1
    スクリプトを表示

    11本目は、バルトシュ・ソボレフスキさんとマチェイ・ウラスさんによる、「Hankel determinants of weighted binary sums of digits」(重み付き二進数桁和のハンケル行列式)です。この研究では、複素数の重みを付けた二進数の桁和という、ちょっと変わった関数を考え、その値を使って作られるハンケル行列式の性質を詳しく調べています。まず、あらゆる重みの数列に対して、行列式を効率的に計算できる一般的な漸化式を導き出しました。これを通常の二進数桁和に当てはめると、特定のインデックスにおいて驚くほどシンプルな閉じた形式で値が求まります。特に、ある特定の数列に対して、マイナス一の累乗と二の累乗だけで結果が表される点には、計算結果がここまで綺麗にまとまるのかと、快感を覚えますね。これにより、アリュッシュさんとシャリットさんが提示していた問題の一部に答えを出しました。さらに、重みを変数ティーの累乗とした場合に、行列式がティーの多項式になることや、それがいつゼロになるかという点まで深く考察しています。数論的な対象を扱いながら、多項式の根という視点まで広げて解析している点が非常にエキサイティングな論文でした。
12. 18:04 12. Counting odd genus $2$ curves with a marked rational $3$-torsion point 2607.09483v1
    スクリプトを表示

    12本目は、エルヴィラ・ルポイアンさんとラザル・ラディチェヴィッチさんによる、「Counting odd genus 2 curves with a marked rational 3-torsion point」(標識付きの有理的な3次ねじれ点を持つ奇数次属数2曲線の計数)、です。 この論文では、ヤコビ多様体の上に有理的な3次ねじれ点を持つ、有理数体上の属数2曲線の数を数え上げる正確な漸近公式を導き出しています。特に、奇数次の単一係数ワイエルシュトラスモデルを持つ曲線に注目しているのがポイントです。 もともと、特定のレベル構造を持つアーベル多様体を数えるという問題は、楕キ曲線ではよく研究されてきました。ですが、モジュライ空間が曲線ではない設定で正確な漸近公式を決定したのは、今回が初めてとのことです。 アプローチがとても巧みで、まず3次ねじれ点を持つ属数2曲線の族を有理的にパラメータ表示し、関連する三次元多様体がアフィン空間と双有理的に同値であることを証明しています。さらに、この三次元多様体を重み付き射影空間へとコンパクト化させることで、難しい計数問題を、有界領域内の格子点を数えるというシンプルな問題に落とし込んでいます。 最後に数論的な手法と篩法を用いて、高さがある値以下の曲線の数が、ある定数と高さの積で近似的に表されるという定理を導きました。複雑なモジュライ問題を、重み付き同次多項式を使って扱いやすい形に変換した点に、強いこだわりを感じます。
13. 19:55 13. Explicit height bounds for G-functions and unlikely intersections with lines in tori 2607.09565v1
    スクリプトを表示

    最後は、マーティン・オーアさんによる、「Explicit height bounds for G-functions and unlikely intersections with lines in tori」(ジー関数の高さの明示的な評価とトーラスにおける直線とのありそうにない交点)です。この論文では、ジー関数と呼ばれる、特定の微分方程式を満たすべき級数について、予想外の多項式関係を持つ点の高さの評価を具体的に計算しています。これまでも、こうした関係を持つ点の高さには上限があることは知られていましたが、具体的な定数は計算されていませんでした。著者は、関係の強さに応じて定義を細分化し、ヒルベルト関数を用いることで、より精緻な評価を導き出しています。特に、代数トーラスにおける直線とのありそうにない交点という問題にこの結果を適用し、具体的で実用的な境界を提示しました。理論的に存在が分かっていたものを、実際に計算可能な形に落とし込んだ点に、実務的な執念のようなものを感じます。ガロア群の次数が小さい場合には、既存のハベガーさんの手法よりもかなり良い評価が得られるとのことです。ジー関数という道具が、代数群の交点問題を解くための強力な武器になることを、最もシンプルなケースで具体的に証明した素晴らしい成果でした。