紹介した論文

1. 0:19 1. A nonfinitely based additively idempotent semiring of order four 2605.15493v1
   スクリプトを表示

   1本目は、メンギャ・ユエさんとミャオミャオ・レンさんによる「A nonfinitely based additively idempotent semiring of order four」(要素数4の非有限基底的な加法べき等半環)です。この論文では、加法べき等半環という代数構造において、ある有限の半環が生成するバラエティが有限個の恒等式で定義できるかという、いわゆる有限基底問題に挑んでいます。特に、特定の3要素半環を含む場合に、その半環が非有限基底的になるかという難しい問題に注目しています。 著者の皆さんは、既存の手法では太刀打ちできなかった要素数4の特定の半環について、構文的なアプローチから新しい十分条件を導き出しました。不等式の列を巧みに使って証明を組み立てる手法は、非常に緻密で驚かされます。結果として、ターゲットとしていた要素数4の半環が非有限基底的であることを証明し、さらには要素数6の半環についても同様の結果を示しました。これにより、要素数4のケースにおける重要な未解決問題が実質的に解決されたことになります。単に一つの例を解いただけでなく、他の半環にも応用できる強力な道具を提示した点が、この研究の素晴らしいところです。
2. 1:52 2. Greedy bases and relational complexity of diagonal type groups 2605.16032v1
   スクリプトを表示

   最後は、ホン・イー・ファンさんとコルヴァ・エム・ロニー＝ドゥガルさんによる「Greedy bases and relational complexity of diagonal type groups」(対角型の群における貪欲基底と関係複雑性)、です。この論文では、対角型の原始置換群という、かなり特殊な構造を持つ群に注目して、基底の大きさと関係複雑性について研究しています。 まず、置換群の基底を求める際、最小のものを探すのは計算量的にとても難しい問題なのですが、そこで役立つのが貪欲アルゴリズムです。カメロンさんが1999年に、どんな有限原始群でも、この貪欲アルゴリズムで得られる基底の大きさはある定数で抑えられるのではないかという予想を立てました。著者たちは、対角型の群においてこの予想を検証し、なんと基底の大きさは最大でも4であるという驚くべき結果を導き出しました。 さらに、モデル理論的な視点から関係複雑性についても調べています。対角型の群では関係複雑性が2になることはなく、下限は3であること、そしてこの値が群の次数に応じていくらでも大きくなることを証明しました。特定のクラスで上限がある一方で、別の指標では無限に大きくなるという対比が、数学的な構造の深さを物語っていて非常に面白いですね。