[論文レビュー] Upper Bounds on Covering Minima of Convex Bodies

Katarina Krivokuća|arXiv (Cornell University)|Jan 21, 2026

Point processes and geometric inequalities被引用数 0

ひとこと要約

この論文は凸体の覆い最小値の上界として、投影と交差に基づく2つの新しい上界を導入し、直接和に対して鋭さを証明し、標準的な端点単体に適用して非空洞格点多面体の覆い半径に関する既存予測のギャップを狭める。

ABSTRACT

We give two new upper bounds on the covering minima of convex bodies, depending on covering minima of certain projections and intersections with linear subspaces. We show one bound to be sharp for direct sums of two convex bodies, generalizing previous results on the covering radius and lattice width of direct sums. We apply our results to standard terminal simplices, reducing the gap between the upper and lower bounds in a conjecture of Gonzaléz Merino and Schymura (2017), which gives insight on a conjecture of Codenotti, Santos and Schymura (2021) on the maximal covering radius of a non-hollow lattice polytope.

研究の動機と目的

• 線形部分空間との射影および交差のみに依存する覆い最小値のより厳密な一般上界を動機付ける。
• 凸体の直接和に対して鋭い境界を開発し、覆い最小値を格子幅および成分の覆い半径と結びつける。
• 標準的な端点単体に境界を適用して、非空洞格点多面体の覆い半径に関する既存の予想のギャップを改善する。

提案手法

• _projection–based bound を導出: mu_i(K, Lambda) <= max_j (mu_j(pi_V(K), pi_V(Lambda)) + mu_{i-j}(K ∩ V^⊥, Lambda ∩ V^⊥)).
• 直接和に対する射影境界の鋭さを示すために、mu_i(K ⊕ L, Lambda ⊕ Gamma) を mu_j(K, Lambda) と mu_{i-j}(L, Gamma) の和の最大として表現して証明する。
• intersection–based bound を提示: mu_i(K, Lambda) <= max_{I} mu(K ∩ L_I, Lambda ∩ L_I) を適切な次元条件下で示す。
• 局所的に反ブロック化された包絡体に対して、座標部分空間との射影と交差が一致する場合に境界が鋭いことを示す。
• 計算上の利便性とアルゴリズム的関連性のため、覆い最小値を射影の覆い半径と結びつける。

実験結果

リサーチクエスチョン

• RQ1 覆い最小値 mu_i(K, Lambda) を、部分空間への投影と交差の覆い最小値のみを用いて上界づけするにはどうすればよいか。
• RQ2 特に凸体の直接和に対して、これらの境界が鋭い条件は何か。
• RQ3 新しい境界は標準的な端点単体や関連する端点多面体について正確または厳密な値を提供できるか。
• RQ4 非空洞格点多面体の最大覆い半径に関する予想に対して、これらの境界はどのような含意を持つか。
• RQ5 重み付き端点単体や他の構造的家族にも境界は拡張されるか。

主な発見

• _projection–based bound が確立され、pi_V(K) からの寄与と K ∩ V^⊥ からの寄与を分離する。
• 直接和に対して境界が鋭いことが示され、mu_i(K ⊕ L, Lambda ⊕ Gamma) の正確な式を mu_j(K, Lambda) および mu_{i-j}(L, Gamma) の最大として得る。
• intersection–based bound が導出される: mu_i(K, Lambda) ≤ max over index sets I of mu(K ∩ L_I, Lambda ∩ L_I).
• 局所的に反ブロック化された体に対して境界は鋭くなる: mu_i(K) = max_I mu(K ∩ L_I).
• これらの結果は端点単体、格子多面体、および端点多面体と端点単体の関係に関する予想を結びつけ、改善する。
• この研究は、交差の覆い半径を用いて mu_i を計算する実用的な境界を提供する。これらはしばしば計算が容易である。