[論文レビュー] Extremal Collections of $k$-Uniform Vectors

Briggs, Joseph, Pegden, Wesley|arXiv (Cornell University)|Jan 29, 2018

graph theory and CDMA systems参考文献 9被引用数 1

ひとこと要約

本稿は、Fq 上の r ランク行列における重み k または共重み k を持つ k-一様ベクトルの最大数に関する極値境界を確立し、r 行を用いた自然な構成が r が十分に大きいとき最適であることを証明する。k ≤ Oq(√log r) の場合、exq(r,k) = (r choose k)(q−1)k であり、k ≤ Oq(r2/3) の場合、exq(r,k) = (r choose k)(q−1)r−k である。極値構成は行の置換を除き一意である。

ABSTRACT

We prove that for every parity decision tree of depth d on n variables, the sum of absolute values of Fourier coefficients at level 𝓁 is at most d^{𝓁/2} ⋅ O(𝓁 ⋅ log(n))^𝓁. Our result is nearly tight for small values of 𝓁 and extends a previous Fourier bound for standard decision trees by Sherstov, Storozhenko, and Wu (STOC, 2021). As an application of our Fourier bounds, using the results of Bansal and Sinha (STOC, 2021), we show that the k-fold Forrelation problem has (randomized) parity decision tree complexity Ω̃(n^{1-1/k}), while having quantum query complexity ⌈ k/2⌉. Our proof follows a random-walk approach, analyzing the contribution of a random path in the decision tree to the level-𝓁 Fourier expression. To carry the argument, we apply a careful cleanup procedure to the parity decision tree, ensuring that the value of the random walk is bounded with high probability. We observe that step sizes for the level-𝓁 walks can be computed by the intermediate values of level ≤ 𝓁-1 walks, which calls for an inductive argument. Our approach differs from previous proofs of Tal (FOCS, 2020) and Sherstov, Storozhenko, and Wu (STOC, 2021) that relied on decompositions of the tree. In particular, for the special case of standard decision trees we view our proof as slightly simpler and more intuitive. In addition, we prove a similar bound for noisy decision trees of cost at most d - a model that was recently introduced by Ben-David and Blais (FOCS, 2020).

研究の動機と目的

• Fq 上の r ランク行列における重み k または共重み k を持つ相異なる列の最大数を特定すること。
• Kramer と Khachatrian が提起した極値グラフ的マトロイドおよび表現可能マトロイドに関する予想を解決すること。
• 極値構成が最適となる閾値 Rk,q および R̄k,q を特定すること。
• 最大値が達成された場合に、正確に r 個の非ゼロ行を持つ極値行列が一意であることを証明し、マトロイド理論における「クリーク」構造を回復すること。

提案手法

• 行列のランク制約を用いて、表現可能マトロイドへの極値組合せ論の一般化。
• Fqr 内のベクトルのゼロ集合に対して順序集合および反鎖の議論を適用し、LYM 型不等式を導出する。
• ブール格子における帰納法およびブローアップ技法を用いて、列の重み分布をモデル化する。
• 列空間および双対空間の構造を分析し、固定された重みまたは共重みを持つベクトルの数を制限する。
• 二進および有限体の場合の一般化として、任意の体上の (L,k)-ベクトルを導入する。
• 順序集合 (X, ⪯) 内の対称性および鎖の期待値の議論を用いて、極値性を証明する。ここで x ≺ y とは Zx ⊋ Zy を意味する。

実験結果

リサーチクエスチョン

• RQ1 十分に大きな r に対して、Fq 上の r ランク行列における相異なる k 重み列の最大数は何か？
• RQ2 r 行を用いた極値構成が、すべての十分に大きな r に対して最適であることを証明できるか？
• RQ3 最大値が達成された場合、極値行列は行の置換を除き一意的か？
• RQ4 極値境界 exq(r,k) = (r choose k)(q−1)k における閾値 Rk,q をどの程度小さくできるか？
• RQ5 結果をラベル付き要素を持つ任意の体上の (L,k)-ベクトルに一般化できるか？

主な発見

• k ≤ Oq(√log r) の場合、exq(r,k) = (r choose k)(q−1)k であり、この境界はタイトであり、等号が成立するのは行列が正確に r 個の非ゼロ行を持つときのみである。
• k ≤ Oq(r2/3) の場合、exq(r,k) = (r choose k)(q−1)r−k であり、再び極値行列は正確に r 個の非ゼロ行を持つ必要がある。
• 極値構成は行の置換を除き一意であり、従って先行するマトロイド理論における「クリーク」構造が回復される。
• 二進の場合（q=2）の閾値 Rk,q は 2Oq(k2) で抑えられ、共重みに対する R̄k,q は Oq(k3/2) である。
• 任意の体に対して (L,k)-ベクトルを用いることで結果を拡張でき、exF,L(r,k) = (r choose k)|L|k となるが、線形従属条件が成立しない限り成立する。
• 双対ハミング符号の構成により、1 列あたり最大 (q−1)qr−1 個の非ゼロエントリが達成され、共重みの場合の極値性が確認される。