紹介した論文

1. 0:19 1. A new perspective on the rank of Mazur's Eisenstein Hecke algebra 2605.04195v1
   スクリプトを表示

   1本目は、ジャクリン・ラングさん、カタリナ・ミュラーさん、バラトワジュ・パルヴァナンさんによる「A new perspective on the rank of Mazur's Eisenstein Hecke algebra」(マズールのアイゼンシュタイン・ヘッケ代数の階数に関する新しい視点)、です。 この論文では、数論におけるヘッケ代数の階数という、非常に奥深いテーマに切り込んでいます。具体的には、重さ２でレベルがエヌというモジュラー形式のうち、モジュロピーでアイゼンシュタイン型になるものをパラメータ化するヘッケ代数の階数アールについて研究しています。 驚くべきは、この階数から１を引いた値が、あるゼータ要素の消滅次数と一致するという結果を導き出している点です。階数が２か３のときはこの一致が証明されており、これによってメレルさんとレクテュリエさんの先行研究の結果をうまく再現しています。 ただ、面白いことに、階数が４以上になるとこの等式が成り立たないケースが出てくるそうです。著者の皆さんは、なぜそうなるのかというヒューリスティックな説明も提示しています。
2. 1:35 2. Special periods and some non-tempered cases of the Gan-Gross-Prasad conjecture 2605.04389v1
   スクリプトを表示

   2本目は、ジェホ・ハーンさんとサンフン・クォンさんによる「Special periods and some non-tempered cases of the Gan-Gross-Prasad conjecture」(ガン・グロス・プラサド予想の特殊周期といくつかの非テンパードなケース)、です。 この論文は、数論における非常に重要な課題であるガン・グロス・プラサド予想、いわゆるジージーピー予想に挑んだものです。具体的には、古典群の自己形態的表現における特殊周期と、エル関数という特殊な関数の値との関係を明らかにしています。 これまで、テンパードという条件がある場合は研究が進んでいましたが、そうでない非テンパードなケース、特に余階数が高い場合は、計算が非常に複雑で手つかずの領域が多く残っていました。そこに、著者たちはテータ対応という強力な手法を導入し、さらにランキン・セルベルグ法を拡張するという二段構えの戦略で切り込んでいます。 特に驚くべきは、正交群やシンプレクティック群、メタプレクティック群という複雑な群のペアにおいて、非テンパードな設定でも予想が成り立つことを証明した点です。
3. 2:52 3. Rational orbits under correspondences 2605.04391v1
   スクリプトを表示

   3本目は、トレバー・ハイドさんによる「Rational orbits under correspondences」(対応による有理的な軌道)、です。この論文では、代数関数の算術力学という、非常に興味深いテーマを扱っています。具体的には、ある点の軌道の中にどれだけ多くの有理点が存在し得るかを探求しています。 ここで著者は、対応という概念を使っています。これは、それぞれの成分への射影が有限かつ全射であるような代数曲線のことです。この対応を繰り返し適用したときに、無限に多くの有理点が現れるのはどういう条件のときなのか、という疑問に挑んでいます。 結論から言うと、標数がゼロの有限生成体上で定義された対応において、軌道に無限に有理点がある場合、その対応は特定の例外的なリストに含まれていなければなりません。これは、ファルティングスの定理に基づいています。もし反復回数を増やしたときに有理点が無限に存在するなら、その成分の種数は最大でも一であるはずだ、という論理です。 特に面白いのは、種数が低い写像の分類です。
4. 4:17 4. Thin subbases of Piatetski-Shapiro sequences 2605.04411v1
   スクリプトを表示

   4本目は、クリスティアン・タフラさんによる「Thin subbases of Piatetski-Shapiro sequences」(ピアテツキー・シャピロ数列の薄い部分基底)です。 この論文では、数論における加法的基底という概念を扱っています。ある集合が次数kの加法的基底であるとは、十分に大きいすべての整数が、その集合のk個の要素の和として表せるとのことです。著者のタフラさんは、この性質を保ったまま、どれだけ要素を少なくして薄い部分集合を作れるかという問題に挑んでいます。 ターゲットとなるのは、非整数のc乗の床関数で定義されるピアテツキー・シャピロ数列です。この数列は擬似乱数のような振る舞いを見せるため、数論の分野ではとても面白い対象として知られています。 研究の手法としては、確率的な構成法と円周法を組み合わせています。特に、華型の平均値評価や指数和の評価を駆使して、薄い部分基底が存在するための条件を証明しています。さらに、正則変動関数を用いて、表現関数の増え方を精密にコントロールしている点が見事です。
5. 5:41 5. Fixed-point lifting and ghost periodic points for Chebyshev polynomials modulo odd prime powers 2605.04417v1
   スクリプトを表示

   5本目は、math.NTからのクロス投稿で、チャチャワン・パンラクサさんとアラム・タンブンドゥアンジットさんによる「Fixed-point lifting and ghost periodic points for Chebyshev polynomials modulo odd prime powers」(奇素数冪法におけるチェビシェフ多項式の不動点リフティングとゴースト周期点)、です。 この論文では、有限環におけるチェビシェフ多項式のダイナミクスを深く掘り下げています。特に、ある数が自分自身に戻ってくる不動点や、一定の周期で循環する周期点が、法を素数からその冪乗へと上げていったときにどのように振る舞うかを分析しています。 驚くべきは、単純なリフティングでは説明できない、いわゆる退化してしまった点へのアプローチです。著者たちは、二つのソース群への写像という手法を用いて、複雑な方程式を枝分かれさせて解析しました。その結果、法を二乗にした段階で周期が厳密に増えてしまう、ゴースト周期点という不思議な存在を明らかにしています。 また、三より大きい素数の場合、周期点の挙動はコードタワーと呼ばれる構造によって支配されており、最終的に周期点の数は安定することが証明されました。一方で、次数が素数と等しい場合には、すべての周期点が不動点になってしまうという極端なケースがあるのも面白いところです。 このようにして、チェビシェフ多項式の周期的な振る舞いを、局所的な視点から完全に記述する公式を導き出しました。
6. 7:26 6. A Ceiling Continued Fraction Approach to the Erd\H{o}s-Straus Conjecture: Heuristic finiteness of counterexamples 2605.04551v1
   スクリプトを表示

   6本目は、math.NTからのクロス投稿で、アンドレス・ベンタスさんによる「A Ceiling Continued Fraction Approach to the Erdős-Straus Conjecture: Heuristic finiteness of counterexamples」(エルデシュ・ストラウス予想への天井連分数アプローチ：反例のヒューリスティックな有限性)、です。 この論文では、1より大きいすべての整数エヌに対して、4分のエヌを3つの正の整数分の1の和で表せるという、有名なエルデシュ・ストラウス予想に挑んでいます。特に、解が見つかりにくいとされるモルデル型の素数に注目しているのがポイントですね。 著者は、従来の合同式を用いた手法ではなく、天井関数を使った特殊な連分数という新しい枠組みを提案しました。この手法を使うと、問題が特定の数、いわゆるソースと呼ばれるものの約数を見つけるという探索問題に置き換えられます。さらに、ペアによる和という定理を証明することで、条件を満たす約数が存在すれば、すぐに3項のエジプト分数としての解が見つかることを示しました。 ここからが非常に興味深いところですが、著者は確率的なモデルを用いて、素数が大きくなるほど解が見つからない確率が極めて急速に減少することを導き出しました。そして、ボレル・カンテリの補題を適用することで、この予想に対する反例は、たとえ存在するとしても有限個しかないという強力なヒューリスティックな根拠を提示しています。 実際に10の100乗という途方もない大きさの素数まで計算を試したところ、ごく浅い探索で解が見つかることが確認されました。この研究により、エルデシュ・ストラウス予想を約数探索の問題へと変換する新しい代数的な枠組みが構築され、ほぼすべての素数で予想が成り立つという強い根拠が示されました。
7. 9:34 7. Small values of signed harmonic sums and logarithmic means of multiplicative functions 2605.04694v1
   スクリプトを表示

   7本目は、オレクシー・クルルマンさん、マーク・ムンシュさん、ユ・チェン・サンさんによる「Small values of signed harmonic sums and logarithmic means of multiplicative functions」です。この論文では、完全乗法的関数の対数平均が、一体どれくらい小さくなり得るかという問題に挑んでいます。 もともとは、数論における難しい課題であるジーゲル零点問題や、乗法的関数の部分和がどのように符号を変えるかという点に注目して研究が行われました。ランダムな乗法的関数は通常、部分和が激しく変動しますが、乗法性という性質だけで、対数部分和を驚くほど速く減衰させることができるのか、という点がポイントです。 アプローチがとても巧妙で、ランダムな調和和の確率論的な分析と、決定論的な帰納法を組み合わせています。特に、符号を反転させるトリックと局所的な補題を使い、特定の乗法的な性質を持つ集合において、調和和を非常に小さくできることを示しました。 結果として、対数部分和がほぼ指数関数的に減衰する完全乗法的関数が存在することを証明しています。
8. 10:58 8. $\mathbb{G}_m$-cohomology of $p$-adic Stein spaces 2605.04696v1
   スクリプトを表示

   8本目は、サリー・ギレスさんとダミアン・ジュンガーさんによる「G_m-cohomology of p-adic Stein spaces」(p進シュタイン空間のジーエム・コホモロジー)、です。 この論文では、p進剛性解析的なシュタイン空間における、可逆関数の層のエタール・コホモロジーを計算しています。代数的な世界では、高次のコホモロジー群がねじれであることはよく知られていますが、解析的な空間ではそうはいきません。そこを、著者たちは特定の滑らかな準コンパクト空間において、これらの群がねじれであり続けることを突き止め、系統的に計算する方法を編み出しました。 アプローチが非常に巧妙で、主単位の層を使ってコホモロジー群にろ過を構成しています。p進ホッジ理論の道具を使い、プロエタール部位や比較定理を駆使してp部分を決定し、p以外の部分はクンマー完全列で処理するという流れです。 特に、ドリンフェルトの上半平面への応用が白眉ですね。ブルハット・ティッツ建物や超平面配置の理論まで持ち出して、アフィノイドのコホモロジーの性質を証明するあたりに、並々ならぬ熱量を感じます。
9. 12:22 9. Statistics of the Genus Number of $S_3 \times C_2$ and $D_4$-fields 2605.04792v1
   スクリプトを表示

   9本目は、アヌップ・ビー・ディクシットさんとスニル・クマー・パスプラーティさんによる「Statistics of the Genus Number of S3 x C2 and D4-fields」(エススリーかけるシーツーおよびディーフォー体の種数に関する統計学)、です。 この論文では、数論における重要な不変量である種数に注目して、さまざまな数体の族でその統計的な振る舞いがどう変わるかを詳しく調べています。種数というのは、分岐がイデアル類群にどう影響するかを測る指標のようなものですね。 面白いのが、特定の種数を持つ数体が出現する割合、つまり密度が正になる族と、ゼロになる族という二極化が起きている点です。例えば、二次体ではどんな種数であっても密度はゼロになりますが、三次元や五次元の数体では正の密度を持つことがあります。 研究チームは、三次元体と二次体の合成である六次体や、二面体群の四次体など、いくつかの具体的なケースを分析しました。その結果、六次体や二面体群の四次体では、許容されるあらゆる種数が正の密度で現れることが分かりました。
10. 13:42 10. Exponential sums over singular binary quintics 2605.04935v1
    スクリプトを表示

    10本目は、ヤスヒロ・イシツカさんによる「Exponential sums over singular binary quintics」(特異な二変数五次形式上の指数和)です。この論文では、特異な二変数五次形式における指数和の評価に取り組んでいます。もともと二変数四次形式で使われていた手法を、より複雑な五次形式の空間へ拡張しようという試みですね。五次形式の空間はコアグラーではないため、解析がかなり難しいはずですが、そこを乗り越えようとする姿勢に驚かされます。 著者は、体の標数に依存しない評価を得るために、二変数形式のウェアリング分解というアプローチを採用しました。具体的には、指数和をあるスキーム上の有理点の個数を数える関数の線形結合に分解し、古典的な不変量論やアポーラ理想の性質を用いて計算しています。ここで、形式のランクや分裂型を決定するために、カタレクティカント共変量という道具が重要な役割を果たしています。 最終的に、零でない二変数五次形式において、カタレクティカント共変量が零でなければ、指数和はある特定の整数値で抑えられることが示されました。
11. 15:08 11. Non-Expansive Matrix Based number Systems 2605.04990v1
    スクリプトを表示

    11本目は、アダム・ブラジェクさん、ケビン・ジー・ヘアさん、エディタ・ペラントヴァさんによる「Non-Expansive Matrix Based number Systems」(非拡大行列に基づく数系)です。 この論文では、行列と有限の桁ベクトルからなる数系について研究しています。特に、固有値が1またはマイナス1であるジョルダン細胞に注目しているのが面白いところです。空間内のあらゆるベクトルを、行列のべき乗で変換した桁の和として表現できるものをフル数系と呼びますが、この論文ではその表現の最短の長さについて深く掘り下げています。 まず固有値が1の場合、特定の桁セットを用いたときに、あるベクトルを表現するための最短の長さが具体的にどうなるかという公式を導き出しています。さらに、特定の長さを持つ表現がいくつ存在するかを、生成関数の係数を使って決定できることを証明しました。 次に固有値がマイナス1の場合を考えていますが、ここでもこの系がフル数系であることを示し、最短の長さだけでなく、非ゼロの桁の数である重みの最小化についても分析しています。
12. 16:29 12. Multiplicative $f$-ic forms on algebraic varieties arising from Thaine's generalized Jacobi sums 2605.05039v1
    スクリプトを表示

    12本目は、ホシ・アキナリさんとカナイ・カズキさんによる「Multiplicative f-ic forms on algebraic varieties arising from Thaine's generalized Jacobi sums」(セインの一般化ヤコビ和から生じる代数多様体上の乗法的エフ次形式)、です。 この論文では、数論におけるヤコビ和の性質を、代数幾何学的な多様体の構造へと結びつけるという、非常に野心的な試みがなされています。具体的には、セインさんが提唱した枠組みを用いて、ダベンポートとハッセのリフティング定理を、素数べきの積というより広い設定へと拡張しました。 驚くべきは、この数論的な結果をそのまま使って、完全交差として定義される多様体の上に、乗法的なエフ次形式を構築している点です。特に、多様体の中の稠密な開集合が代数トーラスの構造を持っており、その群法とこの乗法形式がうまく適合していることを示しています。 例えば、エフが2の場合にはガウスの古典的な二元二次形式を再現し、エフが3の場合には、既存の整数点から新しい点を生成できるような乗法的な三次形式を構築しています。
13. 17:51 13. The Logarithmic Asymptotic Phenomenon for Generalized Markov-Hurwitz Equations 2605.05075v1
    スクリプトを表示

    13本目は、ジチャオ・チェンさん、ゼリン・ジアさん、ウェンチャオ・ウーさんによる「The Logarithmic Asymptotic Phenomenon for Generalized Markov-Hurwitz Equations」(一般化されたマルコフ・フルヴィッツ方程式における対数漸近現象)、です。 この論文では、古典的なマルコフ・フルヴィッツ方程式を拡張し、変数の数を増やしたり次数の相互作用項を加えたりした、一般化された方程式について研究しています。目的は、このディオファントス方程式を持つ正の整数の解が、どのように漸近的に増えていくかを解明することです。 まず、解のある座標を二次方程式のもう一つの根に置き換えるという、いわゆるヴィエタ・ジャンピングという操作を定義しています。この操作によって解の家系図のような、一般化されたマルコフ・フルヴィッツ木が作られます。驚くべきことに、あらゆる正の整数解は、基本となる初期解からこの操作を繰り返すことで到達できることが証明されました。 さらに、解に座標ごとの対数を取ることで、対数的な構造として分析しています。
14. 19:09 14. The top cohomology of principal congruence subgroups of special linear groups over Euclidean number rings 2605.05087v1
    スクリプトを表示

    14本目は、ウルシタ・パルさんによる「The top cohomology of principal congruence subgroups of special linear groups over Euclidean number rings」(ユークリッド数環上の特殊線形群の主合同部分群の最上位コホモロジー)です。この論文では、ユークリッド数環上の特殊線形群における主合同部分群の最上位コホモロジーについて研究しています。 具体的には、ある自然な写像が同型になる条件を調べることで、最上位コホモロジー群のランクを計算しようとしています。ここでボレル・セーレ双対性という強力な道具が使われていて、シュタインベルク加群という概念が登場します。著者は、行列式に関する特殊な単体的複体というものを巧みに構築して、その連結性を証明することで結論を導き出しています。 驚いたのは、以前の手法で使われていたバイコフスキーの表示をあえて避けることで、より幅広いユークリッド数環に結果を適用できるようにした点です。
15. 20:21 15. Theta functions and transformations of bilateral basic hypergeometric series 2605.05094v1
    スクリプトを表示

    15本目は、ニアン・ホン・ジョウさんによる「Theta functions and transformations of bilateral basic hypergeometric series」(テータ関数と両側基本超幾何級数の変換)です。 この論文では、両側基本キュー級数におけるテータ関数を用いた新しい変換公式が導き出されています。もともとの目的は、マッキントッシュさんが提示したキュー級数の漸近的な変換に関する予想を解決することでした。特に、二つの級数の商が、単位円上の有理点に近づくときにシンプルな閉形式を持つという、非常に興味深い性質に注目しています。 著者は、一般化された両側キュー級数と多重キュー級数を導入し、キュー二項定理やテータ関数の性質を駆使してアプローチしています。特に、二次形式を用いて多重キュー級数を定義することで、両側級数とテータ関数をうまく結びつけた点が見事ですね。 その結果、マッキントッシュさんの予想の一つを完全に証明し、もう一つの予想についても部分的な証明に成功しています。
16. 21:38 16. Appell function proofs of recent and old mock theta function identities 2605.05186v1
    スクリプトを表示

    16本目は、マリオーニ・アロニアさんとエリック・ティー・モートンセンさんによる「Appell function proofs of recent and old mock theta function identities」(アペル関数を用いた最近および過去の模テータ関数恒等式の証明)、です。 この論文では、模テータ関数に関する3つの恒等式に、新しい証明を与えています。具体的には、ガーバンさんとムコパディヤイさんが最近発見した2つの恒等式と、以前から知られていたワトソンさんの恒等式が対象となっています。 面白いのは、これらの恒等式を単なる個別の事例としてではなく、もっと大きな理論的な枠組みで捉えようとしている点です。著者の方々は、これらがラマヌジャンの失われたノートに記されていた10次や6次の模テータ関数の恒等式と似ていることを示そうとしています。 証明の手法としては、アペル関数とテータ関数の性質をうまく利用しています。まず模テータ関数をアペル関数の形に変換し、特定の定理を使って整理したあと、テータ関数の商の和に置き換えるという流れです。
17. 22:58 17. On a polynomial involving quadratic residues modulo primes 2605.05200v1
    スクリプトを表示

    17本目は、ジ・ウェイ・スンさんによる「On a polynomial involving quadratic residues modulo primes」(素数を法とする平方剰余を含む多項式について)、です。 この論文では、奇素数を法とする平方剰余を使って定義された、ある特別な多項式について詳しく研究しています。一見すると複雑そうな多項式ですが、これを1のべき根で評価したときに、一体どのような値になるのかを突き止めることが目的です。 アプローチとしては、ガロア理論や二次体の性質を巧みに利用しています。特にルジャンドル記号や、虚二次体の類数という数論の重要な概念を組み合わせて、多項式の値を導き出しています。 特に面白い結果として、1の原始10乗根でこの多項式を評価した場合の話があります。どんな原始10乗根を選んでも、その値は、その素数に対する5のルジャンドル記号と一致することが証明されました。単純な記号に集約されるなんて、数論らしい美しさがあってワクワクしますね。 最終的に、素数がどのような合同条件を満たすかに応じて、多項式の値を決定する一般式を導き出しました。
18. 24:25 18. A Synthesis of Hidden Subgroup Quantum Algorithms and Quantum Chemical Dynamics 2212.12931v1
    スクリプトを表示

    18本目は、スリニヴァサン・エス・アイヤンガーさん、アヌップ・クマールさん、デバドリタ・サハさん、アムル・サブリーさんによる「A Synthesis of Hidden Subgroup Quantum Algorithms and Quantum Chemical Dynamics」量子化学動力学と隠れ部分群量子アルゴリズムの統合、です。 この論文では、量子動力学のための一般的な形式化について述べています。驚くべきことに、この枠組みを使うと、ドイッチュやショアのアルゴリズムといった有名な量子アルゴリズムの多くを、一つの共通した形式として包摂できるそうです。さらに、テンソルネットワークに基づいた従来の量子動力学へのアプローチも、この枠組みの中に組み込まれています。 単に計算手法をまとめるだけでなく、量子アルゴリズムと自然界で起こる量子現象の間に共通点があることを明らかにしているのが面白いところです。例えば、生物学的システムや材料科学でよく見られる、水ワイヤー系における陽子の相関挙動が、なんとショアのアルゴリズムの構造と平行していることを示しています。
19. 25:40 19. $p$-adic Manifold Learning and Benchmark Tasks from Impartial Games 2605.04374v1
    スクリプトを表示

    19本目は、cs.LGからのクロス投稿で、トモキ・ミハラさんによる「p-adic Manifold Learning and Benchmark Tasks from Impartial Games」(不偏ゲームからのp進多様体学習とベンチマークタスク)です。 この論文では、p進空間の閉部分集合を有限のサンプルデータから推定するための、新しいフレームワークであるp進多様体学習が提案されています。 きっかけとなったのは、ニムのような不偏ゲームです。こうしたゲームのグランディ数は、p進的に連続な関数として振る舞うことが多いそうですね。そこで、少数のサンプル点だけが与えられたときに、連続なp進関数の零点として定義される勝ち目のある位置などの集合をどう推定するか、という課題に取り組んでいます。これは、お馴染みのユークリッド空間における多様体学習を、p進数の世界に持ち込んだような試みで、とても斬新なアプローチだと思います。 具体的な手法は二段階です。まず、p進ベクトルの効率的な処理のために、p進ケーディー・トライというアルゴリズムを導入して、近傍探索を高速に行います。
20. 27:02 20. The McKay correspondence and local heights for wild-by-tame split metacyclic groups 2605.04697v1
    スクリプトを表示

    20本目は、math.AGからのクロス投稿で、ジュリー・タヴェニエさんとタケヒコ・ヤスダさんによる「The McKay correspondence and local heights for wild-by-tame split metacyclic groups」(野生的な正標数における分割メタサイクリック群のマッケイ対応と局所高さ)です。 この論文では、代数幾何学の刺激的なテーマであるマッケイ対応を、正標数の世界という非常に手強い設定で考察しています。具体的には、群の位数と体の標数が共通の素因数を持つ、いわゆる野生的なケースを扱っています。 通常、正標数がない穏やかなケースでは、商多様体の分解能のオイラー標数は群の共役類の数と一致しますが、野生的なケースではそうはいきません。著者たちは、モジュライ空間上のモチーフ積分という高度な手法を使い、スタック的な局所高さ関数であるエフ関数を導き出しました。 驚くべきは、ストリンジー・オイラー数は群だけでなく、選んだ表現によっても変わってしまうという点です。バティレフの公式がここでは通用しないことが示されており、正標数の世界がいかに予測不能で面白いかを感じさせます。
21. 28:27 21. Energy and Vertex Energy of Modified Divisor Prime Graphs 2605.04849v1
    スクリプトを表示

    21本目は、math.COからのクロス投稿で、プルヴァ・ジェイ・マカディヤさん、マヘシュ・エム・ジャリヤさん、プラシャント・ジェイ・マカディヤさんによる「Energy and Vertex Energy of Modified Divisor Prime Graphs」(修正約数素数グラフのエネルギーと頂点エネルギー)、です。 この論文では、数論から導かれるグラフのスペクトル特性、つまり行列の固有値などを分析しています。対象となっているのは、ある正の整数エヌの約数を頂点とする修正約数素数グラフというものです。このグラフの面白いところは、頂点１に自己ループがあるという点ですね。 著者の方々は、この自己ループがある場合にどうやってエネルギーを定義すれば数学的に整合性が取れるかという課題に取り組み、頂点エネルギーという概念を一般化しました。 具体的には、行列のクロネッカー積やスペクトル分解という手法を使って、グラフ全体のエネルギーと、個々の頂点がどれだけ寄与しているかという頂点エネルギーを計算しています。
22. 29:39 22. The Erd\H{o}s-P\'osa property for prime-length cycles fails (and beyond) 2605.04938v1
    スクリプトを表示

    最後は、math.COからのクロス投稿で、マクシミリアン・ゴルスキーさん、ケビン・ヘンドリーさん、トニー・フインさんによる「The Erdos-Posa property for prime-length cycles fails (and beyond)」です。 この論文では、グラフ理論におけるエルドシュ・ポーザ特性という、ある種の構造がどれくらい効率的に集まっているかという性質について研究しています。特に、素数の長さを持つサイクルに注目したのですが、驚いたことに、平面グラフに限定したとしても、この特性は成り立たないことが証明されました。 さらに研究チームは、より一般的な密度の条件についても調べています。下限密度がゼロであるような数の集合を考えたとき、その長さを持ちサイクルを対象にしても、やはりこの特性は得られないということです。 また、ポーラスと呼ばれる、補集合にいくらでも長い連続した整数の列が含まれるような、さらに緩い条件についても検討しています。この場合、射影平面上のグラフという少し広い範囲で考えても、やはりエルドシュ・ポーザ特性は成立しませんでした。