[논문 리뷰] Extremal Collections of $k$-Uniform Vectors

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

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-무게 또는 코-무게 열의 최대 개수를 결정하는 것.
• 크라머와 카하트리안이 제기한 극한 그래픽 매트로이드 및 표현 가능한 매트로이드에 대한 추측을 해결하는 것.
• 극한 구성이 최적임을 보장하는 임계값 Rk,q 및 R̄k,q를 규명하는 것.
• 정확히 r개의 비영행을 가진 극한 행렬의 유일성을 증명하여 매트로이드 이론에서 '클리크' 구조를 복원하는 것.

제안 방법

• 매트로이드의 표현 가능성과 랭크 제약 조건을 통해 극한 조합론을 표현 가능한 매트로이드로 일반화하는 것.
• Fqr 내의 벡터의 0집합에 대해 부분순서집합과 반사족의 논증을 사용하여 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이지만 선형 종속 조건이 성립하지 않을 경우에만 성립한다.
• 쌍대 해밍 코드 구성은 열당 최대 (q−1)qr−1개의 비영성분을 달성하며, 이는 코-무게 경우의 극한성을 확인한다.