[논문 리뷰] An algebraic inverse theorem for the quadratic Littlewood-Offord problem, and an application to Ramsey graphs

Matthew Kwan, Lisa Sauermann|arXiv (Cornell University)|2019. 09. 04.

Limits and Structures in Graph Theory참고 문헌 44인용 수 6

한 줄 요약

이 논문은 이차 리틀우드-오프ورد 문제에 대한 대수적 역정리 정립을 통해, 독립적인 라데마처 변수에 대한 이차 다항식이 $1/n$보다 현저히 큰 점 확률을 가지면, 반드시 낮은 랭크 이차형식에 가까워야 한다고 보여준다. 이 결과는 라마지 그래프에 적용되어, $C$-라마지 그래프의 유도 부분그래프에서의 서로 다른 간선 수에 대한 추측을 점점 더 정확히 해결한다.

ABSTRACT

Consider a quadratic polynomial $f\left(ξ_{1},\dots,ξ_{n} ight)$ of independent Bernoulli random variables. What can be said about the concentration of $f$ on any single value? This generalises the classical Littlewood--Offord problem, which asks the same question for linear polynomials. As in the linear case, it is known that the point probabilities of $f$ can be as large as about $1/\sqrt{n}$, but still poorly understood is the "inverse" question of characterising the algebraic and arithmetic features $f$ must have if it has point probabilities comparable to this bound. In this paper we prove some results of an algebraic flavour, showing that if $f$ has point probabilities much larger than $1/n$ then it must be close to a quadratic form with low rank. We also give an application to Ramsey graphs, asymptotically answering a question of Kwan, Sudakov and Tran.

연구 동기 및 목표

• 독립적인 라데마처 변수에 대한 이차 다항식이 높은 점 확률 집중을 보일 수 있는 구조적 조건을 이해하는 것.
• 선형 리틀우드-오프ورد 문제에서의 역정리 정리를 이차 문제로 확장하여, 다항식의 대수적·산술적 특성에 초점을 맞추는 것.
• 이 역정리 정리를 라마지 그래프 이론에 적용하여, 유도 부분그래프에서의 서로 다른 간선 수의 수를 제한하는 것.
• 라마지 그래프의 $k$-정점 유도 부분그래프에서의 서로 다른 간선 수에 대한 추측을 점점 더 정확히 해결하는 것.

제안 방법

• 이차 다항식의 점 확률이 $\gg 1/n$이면, 낮은 랭크 이차형식에 가까워진다는 대수적 역정리 정립.
• 계수 행렬의 구조를 분석하기 위해 스펙트럼 기법과 대수적 기법을 사용.
• 이차형식과 관련된 대칭 행렬의 랭크와 다항식 출력의 반-집중도 사이의 연결 고리 수립.
• 라마지 그래프의 유도 부분그래프에서의 간선 수 랜덤 변수에 이 역정리 정리를 적용하여 분산 추정과 반-집중 경계를 활용.
• 간선 수의 간격에 대한 유니언 바운드를 가능하게 하기 위해, 차별도 기반 구조를 사용하여 간선 수가 증가하는 부분그래프의 수열을 구성.
• 체비세프 부등식과 국소 반-집중 가정을 활용하여, 부분그래프에서의 서로 다른 간선 수의 수가 $\Omega(n^{3/2})$임을 보임.

실험 결과

연구 질문

• RQ1 독립적인 라데마처 변수에 대한 이차 다항식이 $1/n$보다 현저히 큰 점 확률을 보일 수 있는 대수적 조건은 무엇인가?
• RQ2 이러한 다항식의 역 구조는 낮은 랭크 이차형식에 가까워짐으로써 특징지어질 수 있는가?
• RQ3 이 역정리 정리는 $C$-라마지 그래프에서의 간선 수 통계에 대해 강력한 반-집중을 암시하는가?
• RQ4 $C$-라마지 그래프의 $k$-정점 유도 부분그래프에서의 서로 다른 간선 수의 수는 $\Omega(n^{3/2})$ 이하로 제한될 수 있는가?
• RQ5 라마지 그래프에서의 간선 수 분포에 대해 국소 중심극한정리가 존재하는가, 이는 에르되시와 매크레이의 추측을 뒷받침하는가?

주요 결과

• 독립적인 라데마처 변수 $n$개에 대한 이차 다항식이 $\gg 1/n$의 점 확률을 가지면, 낮은 랭크 이차형식에 가까워진다.
• 역정리 정리는 높은 집중도가 대수적 단순성(낮은 랭크의 구조)을 암시하는 구조적 이분법을 수립한다.
• 라마지 그래프에의 응용에서, $n$개 정점이 있는 $C$-라마지 그래프는 $k = \Omega(n)$ 및 $n/2 - k = \Omega(n)$일 때, 서로 다른 간선 수를 가진 $\Omega(n^{3/2})$개의 $k$-정점 유도 부분그래프를 가진다.
• 이 결과는 쿤, 수다코프, 트란이 제기한, 라마지 그래프의 유도 부분그래프에서의 서로 다른 간선 수에 대한 추측을 점점 더 정확히 해결한다.
• 증명은 간선 수가 $\Omega(n^{3/2})$만큼 서로 다른 부분그래프의 수열에 기반하며, 이는 차별도 분석과 정점 교환을 통해 구성된다.
• 분석 결과, 국소 반-집중 가정 하에 이러한 부분그래프에서의 간선 수 분포의 지지집합 크기는 $\Omega(n^{3/2})$ 이상임을 보여준다.