[论文解读] 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

一句话总结

本文证明了对于二次型集合的最小 S-普遍性准则的大小可能显著不同，从而反驳了金、金与欧在2005年提出的猜想，即所有此类最小准则的基数必须相同。通过使用对角型和幺模格的显式构造，作者展示了：某个单一形式 A 可生成大小为一的最小准则集，而由较低秩形式（例如两个或更多形式）构成的其他集合同样可作为同一集合 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.

研究动机与目标

• 调查对于给定集合 S 的二次型，所有最小 S-准则集是否必须具有相同的基数。
• 解决金、金与欧（2005年）提出的问题：最小 S-准则集大小的唯一性。
• 构造显式例子，展示在某些集合 S 中，存在多个大小不同的最小 S-准则集。
• 通过格的分解和幺模子格，推广这些构造，生成此类例子的族。

提出的方法

• 将集合 S 定义为由某个固定的正定形式 A 所表示的所有二次型的集合。
• 通过验证 A 表示 S 中的所有形式，且 {A} 的任何真子集均不充分，证明 {A} 是一个最小 S-准则集。
• 构造 S 的更高基数的有限子集 S*′ ⊂ S（例如大小为 2），这些子集同样构成最小 S-准则集。
• 利用正交分解和直和的格论论证，证明任何表示 S*′ 中所有元素的形式也必须表示 A。
• 应用互素格与幺模直和项的概念，将构造推广至任意有限个两两互素的幺模格的集合。
• 利用如下事实：若一个格表示了某个由互素幺模格构成的集合 P 的所有部分，则它也表示 P 的直和。

实验结果

研究问题

• RQ1 对于同一组 S 的二次型，是否可能存在多个大小不同的最小 S-准则集？
• RQ2 最小 S-准则集的大小是否由集合 S 唯一确定？
• RQ3 是否存在此类集合 S 的显式构造，使得不同大小的最小 S-准则集共存？
• RQ4 在何种格结构条件下，可出现多个最小 S-准则集？

主要发现

• 本文构造了一个具体例子：当 A = <1> ⊕ <1> ⊕ <2> 时，其生成大小为一的最小 S-准则集；而 {B, C}，其中 B = <1> ⊕ <1>，C = <2> ⊕ <2> ⊕ <2>，构成大小为二的最小 S-准则集。
• 作者证明了任何同时表示 B 和 C 的二次型也必须表示 A，从而确认 {B, C} 是有效的 S-准则集。
• 他们通过幺模格推广了该构造，证明对于任意有限个两两互素的幺模格的集合 P，均存在多个大小不同的最小 S-准则集。
• 该构造对每个 n ∈ ℕ 产生一个格 A，使得由 A 所表示的形式集合 S 允许至少 n 种不同基数的最小 S-准则集。
• 本文通过命题 5 提供了一般性准则：若 P 是一个有限个两两互素幺模格的集合，Π 是 P 的一个划分，则 Π 中各部分的直和构成一个最小 S-准则集。