切り取った超立方体のLasserre階数
The Lasserre Rank of the Cropped Hypercube
この論文をやさしく読む
ひとことで言うと
頂点を切り落とした超立方体について、Lasserre階数を漸化式で特定し、計算時間と漸近形を示した理論研究。
何に役立つ？
考えられる用途は、この種の多面体に対する半正定値緩和の強さや必要な階層数を評価することである。
この研究の面白いところ
ρ＝1/2で階数を漸化式の符号から決められ、さらに固定した0＜ρ＜1へ結果を広げている。
どこまで分かった？
要旨では理論的な階数の特徴付け、計算量、漸近式を述べる。具体的な応用問題での性能は記載していない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
n次元の「切り取った超立方体」では、2^n個の切断不等式がそれぞれ0–1超立方体の一つの頂点をℓ₁距離ρだけ切り落とす。ρ＝1/2の場合は、これまで広く研究されてきた。本論文は、ρ＝1/2かつn≧2のときのLasserre階数が、漸化式Δ₋₁＝1、Δ₀＝n−1、Δₜ＝(n−1)Δₜ₋₁−t(n−t＋1)Δₜ₋₂においてΔₜ＜0となる最小の整数0≦t≦nであることを示す。この結果、階数はO(n² log² n)時間で計算できる。漸近的には階数はn/2＋c₁/₂√n＋o(√n)であり、c₁/₂は論文で与える関数の唯一の零点で、数値的には約0.3825である。実際には、任意の固定した0＜ρ＜1について同様の結果を証明する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-23（UTC）
- 最新改訂
- 2026-09-23 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-23 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
In an $n$-dimensional \emph{cropped hypercube} each of the $2^n$ cropping inequalities chops off a single corner of the $0$--$1$ hypercube by an $\ell_1$-distance $\rho$. The case $\rho = 1/2$ has been extensively studied in the literature. This paper shows that the Lasserre rank of the $n$-dimensional cropped hypercube where $\rho = 1/2$, $n \geq 2$, is the smallest integer $0\leq t \leq n$ such that $\Delta_t < 0$ in the recurrence $\Delta_{-1} = 1$, $\Delta_{0} = n-1$, $\Delta_t = (n-1)\Delta_{t-1} - t(n-t+1)\Delta_{t-2}$. It follows that the Lasserre rank can be computed in time $O(n^2 \log^2 n)$. Asymptotically, the rank is $\frac{n}{2} + c_{1/2}\sqrt{n} + o(\sqrt{n})$, where $c_{1/2}$ is the unique zero of a given function. Numerically, $c_{1/2} \approx 0.3825$. In fact, we prove such results for any fixed $0 < \rho < 1$.
著者のコメント
20 pages, 1 figure
arXiv ID: 2609.27748 ／ 要約の誤りについて