[论文解读] Extremal Collections of $k$-Uniform Vectors

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

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

一句话总结

该论文建立了在 𝔽q 上 r 秩矩阵中，具有 k-均匀向量（权重为 k 或共权重为 k）的最大数量的极值界限，证明当 r 足够大时，使用 r 行的自然构造是最优的。当 k ≤ Oq(√log r) 时，exq(r,k) = (r choose k)(q−1)k；当 k ≤ Oq(r²/³) 时，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).

研究动机与目标

• 确定在 𝔽q 上 r 秩矩阵中，具有 k-权重或共权重列的最大数量。
• 解决 Kramer 和 Khachatrian 关于极值图拟阵与可表示拟阵的猜想。
• 确定极值构造最优的阈值 Rk,q 和 R̄k,q。
• 证明当最大值被达到时，具有恰好 r 个非零行的极值矩阵在行置换下唯一，从而在拟境理论中恢复‘团’结构。

提出的方法

• 通过矩阵秩约束，将极值组合学推广到可表示拟阵。
• 在 𝔽qr 中向量的零集上使用偏序集与反链论证，推导出 LYM 型不等式。
• 在布尔格上应用归纳法与放大技术，以建模列权重分布。
• 通过分析列空间及其对偶，界定具有固定权重或共权重的向量数量。
• 引入任意域上的 (L,k)-向量，以推广二元与有限域情形。
• 通过偏序集 (X, ⪯) 中的对称性与链期望论证证明极值性，其中 x ≺ y 当且仅当 Zx ⊋ Zy。

实验结果

研究问题

• RQ1 对于足够大的 r，𝔽q 上 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(r²/³) 时，exq(r,k) = (r choose k)(q−1)r−k，且极值矩阵同样必须恰好有 r 个非零行。
• 极值构造在行置换下唯一，从而恢复了先前拟境理论中的‘团’结构。
• 二元情形（q=2）的阈值 Rk,q 有界于 2Oq(k²)，而共权重情形的 R̄k,q 为 Oq(k³/²)。
• 通过 (L,k)-向量，结果可推广至任意域，且 exF,L(r,k) = (r choose k)|L|k，除非满足线性相关条件。
• 对偶汉明码构造在每列实现了最多 (q−1)qr−1 个非零条目，从而在共权重情形下确认了极值性。