[論文レビュー] Minimal S-universality criteria may vary in size

Noam D. Elkies, Daniel M. Kane+1 more|arXiv (Cornell University)|Jan 29, 2011

Limits and Structures in Graph Theory参考文献 2被引用数 3

ひとこと要約

この論文は、2次形式の集合に対する最小限のS-普遍性基準のサイズが、Kim, Kim, and Ohが提起した予想とは異なり、著しく異なることがあることを示している。Kim, Kim, and Ohの予想では、すべての最小基準集合の濃度が同一でなければならないとされたが、対角形式と単模形式の格子を用いた明示的構成により、ある形式Aがサイズ1の最小基準集合を生成する一方で、別の形式の集合（例：2つ以上の形式）からなるより低いランクの集合も同じ集合Sに対して最小基準集合として機能することが示され、最小S基準集合のサイズが一意でないことが証明された。

ABSTRACT

In this note, we give simple examples of sets S of quadratic forms that have minimal S-universality criteria of multiple cardinalities. This answers a question of Kim, Kim, and Oh in the negative.

研究の動機と目的

• 与えられた2次形式の集合Sに対して、すべての最小S基準集合が同じ濃度を持つ必要があるかどうかを調査すること。
• Kim, Kim, and Oh（2005年）が提起した、最小S基準集合のサイズの一意性に関する問題を解決すること。
• 異なる濃度を持つ複数の最小S基準集合を有するような集合Sの明示的例を構成すること。
• 格子の分解と単模部分格子を用いて一般化し、このような例の族を生成すること。

提案手法

• 固定された正定値形式Aが表すすべての2次形式の集合Sを構成する。
• AがSに属するすべての形式を表し、{A}の真部分集合では十分でないことを確認することで、{A}が最小S基準集合であることを示す。
• より高い濃度（例：2）を持つ代替の有限部分集合S*′ ⊂ Sを構成し、それも最小S基準集合として機能することを示す。
• 直交分解と直和に関する格子論的議論を用いて、S*′のすべての要素を表す任意の形式がAも表すことを証明する。
• 互いに素な格子と単模和成分の概念を応用し、任意の有限個の互いに素な単模格子の集合に対して、構成を一般化する。
• 格子Qが、互いに素な単模格子の集合Pの分割に属するすべての格子を表すならば、その直和も表すという事実を活用する。

実験結果

リサーチクエスチョン

• RQ1 同一の2次形式の集合Sに対して、異なる濃度を持つ複数の最小S基準集合が存在しうるか？
• RQ2 最小S基準集合のサイズは、集合Sによって一意に決定されるか？
• RQ3 異なるサイズの最小S基準集合が共存するような集合Sの明示的構成は可能か？
• RQ4 格子構造のどのような条件下で、複数の最小S基準集合が生じるか？

主な発見

• 論文は、A = <1> ⊕ <1> ⊕ <2> がサイズ1の最小S基準集合を生成する一方で、B = <1> ⊕ <1> と C = <2> ⊕ <2> ⊕ <2> からなる{B, C}がサイズ2の最小S基準集合を形成する具体的な例を構成した。
• 著者らは、BとCの両方を表す任意の2次形式がAも表すことを証明し、{B, C}が有効なS基準集合であることを確認した。
• 彼らはこの構成を単模格子を用いて一般化し、任意の有限個の互いに素な単模格子の集合Pに対して、異なるサイズの複数の最小S基準集合が存在することを示した。
• この構成により、任意のn ∈ ℕに対して、Sが少なくともn種の異なる濃度を持つ最小S基準集合を有するような格子Aが得られる。
• 論文は、命題5を用いて一般基準を提示した：Pが有限個の互いに素な単模格子の集合であり、ΠがPの分割であるならば、Πの各部の直和は最小S基準集合を形成する。