[論文レビュー] Covering lattice points by subspaces

Imre Bárány, Gergely Harcos+2 more|arXiv (Cornell University)|Feb 4, 2001

Point processes and geometric inequalities被引用数 8

ひとこと要約

本稿は、原点に関して対称なn次元凸体内のすべての整数格子点を被覆するのに必要な最小の真部分空間の数について、タイトな漸近的上限を確立する。G. Halászが提起した問題を解決し、半径rの球内に存在するn次の線形独立な格子点の最大数がΘ(r^{n/(n-1)})であることを証明するとともに、このような点が張る(n−1)次元部分空間の数がΘ(r^{n(n−1)})であることを示している。

ABSTRACT

We find tight estimates for the minimum number of proper subspaces needed to cover all lattice points in an n-dimensional convex body symmetric about the origin. We also find the order of magnitude of the number of (n-1)-dimensional subspaces induced by the lattice points in a large n-dimensional ball centered at the origin.

研究の動機と目的

• 原点に関して対称なn次元凸体内のすべての格子点を被覆するために必要な最小の真部分空間の数を特定すること。
• G. Halászが提起した、半径rの球内に存在するn次の線形独立な格子点の最大数に関する問題を解決すること。
• rB^n内の格子点が張る異なる(n−1)次元部分空間の数を分析し、その漸近的成長を確立すること。
• 一般位置にある格子点の集合の最大サイズh(C)およびC内の格子点を被覆する部分空間の最小数g(C)のタイトな推定値を提供すること。

提案手法

• 凸体Cの連続最小値λ_iを導入し、g(C)とh(C)の境界を求めるための主要パラメータとして用いる。
• Cの極の相似体に基づく、整数ベクトルに直交する部分空間に基づく構成的技法を用いてg(C)を境界づける。
• 小さな素数体上の射影空間構成を用いてh(C)の下界を導出し、極値集合のためのErdősの構成と組み合わせる。
• 格子幾何における体積と行列式の推定値を用いて、部分空間およびその交差内に存在する格子点の数を境界づける。
• 幾何確率と平均化の議論を用いて、集合H_r内の各超平面に含まれる格子点の平均数を分析する。
• 部分空間による被覆と格子点が超平面内にどのように分布するかの双対性を応用し、漸近的推定値を導出する。

実験結果

リサーチクエスチョン

• RQ1 原点に関して対称なn次元凸体内のすべての格子点を被覆するために必要な最小の真部分空間の数は何か？
• RQ2 球rB^nから選べるn次の線形独立な格子点の最大数は何か？
• RQ3 rB^n内の格子点が張る異なる(n−1)次元部分空間の数はいくつあるか？
• RQ4 このような部分空間の数の漸近的成長は、半径rと次元nとどのように関係するか？
• RQ5 h(C)およびg(C)の境界は、Cの連続最小値を用いて表現可能であり、それらはどの程度タイトか？

主な発見

• rB^n内に存在するn次の線形独立な格子点の最大数はO(r^{n/(n-1)})であり、この境界はタイトである。
• rB^n内の格子点が張る異なる(n−1)次元部分空間の数はΘ(r^{n(n−1)})であり、定数はnにのみ依存する。
• H_r内の各超平面に含まれる格子点の平均数は、nにのみ依存する定数で有界である。
• 連続最小値λ_n ≤ 1を満たすとき、g(C)およびh(C)の境界はnに依存する定数因子の範囲でタイトである。
• λ_n = 1であるような体に対しては、連続最小値だけではg(C)やh(C)が定数因子の範囲で決定されないことが、反例によって示されている。
• アフィン不変性により、結果は整数格子Z^nに限らず、一般のn次元格子へと拡張可能である。