線形部分空間から遠いベクトルを見つける決定的アルゴリズム
Improved Algorithms for the Remote Point Problem
この論文をやさしく読む
ひとことで言うと
線形部分空間のどのベクトルとも多くの座標が異なるベクトルを、確実に見つけるアルゴリズムを改良した研究。
何に役立つ?
行列剛性や計算回路の下界に関連するアルゴリズム上の道具となる。
この研究の面白いところ
有理数上では最適な遠隔度を多項式時間で達成し、有限体でも既存の保証を小幅に改善した。
どこまで分かった?
有限体での改善は著者ら自身が小幅と位置付けている。要旨は実装速度や具体的な回路下界の改善を報告していない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
Remote Point Problem(RPP)は、体F上のn次元空間にある次元kの線形部分空間Lを与えたとき、Lからハミング距離が遠いベクトルvを決定的に見つけるアルゴリズムの問題である。回路の下界を証明するための行列剛性の方法にも動機付けられ、Alon、Panigrahy、Yekhaninが導入した。Lからのハミング距離が少なくともdとなるvを見つけるアルゴリズムは、遠隔度dを達成すると呼ぶ。本研究は、有理数上では最適な遠隔度n−kを達成する決定的な多項式時間アルゴリズムがあると観察する。有限体上では、Alonらの結果を小幅に改善し、Ω((n/max{k, log n}) log n)の遠隔度を達成するアルゴリズムを与える。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-22(UTC)
- 最新改訂
- 2026-09-22 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-22 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
The Remote Point Problem (RPP) is an algorithmic problem that asks, given a linear subspace $L \subseteq \mathbb{F}^n$ of dimension $k$, to deterministically find a vector $v \in \mathbb{F}^n$ far in Hamming distance from $L$. This problem was introduced by Alon, Panigrahy and Yekhanin [APY09], motivated in part by the matrix rigidity approach for proving circuit lower bounds. An algorithm is said to achieve remoteness $d$ if it finds a vector $v$ whose Hamming distance from $L$ is at least $d$. We observe that over the rational numbers, the problem admits a deterministic polynomial-time algorithm that achieves optimal remoteness $n-k$. Over finite fields, we obtain a (modest) improvement of a result of Alon, Panigrahy and Yekhanin [APY09], and give an algorithm that achieves remoteness $\Omega\left(\frac{n}{\max\{k, \log n\}} \log n\right)$.
arXiv ID: 2609.25765 / 要約の誤りについて