[논문 리뷰] New Elementary High Dimensional Edge Expanders using Strong Symmetry

Tali Kaufman, Izhar Oppenheim|arXiv (Cornell University)|2019. 07. 02.

Complexity and Algorithms in Graphs참고 문헌 7인용 수 2

한 줄 요약

이 논문은 단형 복합체의 강한 대칭성을 활용하여, 경계가 있는 차수의 두 차원 코시스톨릭 확산자에 대한 새로운 초등적 구성법을 제시한다. 상위 차원 세포 위에 작용하는 군 작용이 전이적임을 이용하여 저자들은 고차원 모서리 확산을 증명하기 위한 새로운 기계적 장치를 개발하였으며, 이는 현재까지 알려진 바가 없었던 첫 번째 초등적 가족의 이러한 확산자를 도출한다—이것은 양자 오류 수정 부호의 발전에 핵심적이다.

ABSTRACT

Coboundary and cosystolic expansion are notions of expansion that generalize the Cheeger constant or edge expansion of a graph to higher dimensions. The classical Cheeger inequality implies that for graphs edge expansion is equivalent to spectral expansion. In higher dimensions this is not the case: a simplicial complex can be spectrally expanding but not high dimensional edge-expanding. The phenomenon of high dimensional edge expansion in higher dimensions is much more involved than spectral expansion, and is far from being understood. In particular, the only known bounded degree cosystolic expanders are derived from deep mathematical tools that are far from being elementary! In this work we study high dimensional complexes which are {\em strongly symmetric}. Namely, there is a group that acts transitively on top dimensional cells of the simplicial complex [e.g., for graphs it corresponds to a group that acts transitively on the edges]. Using the strong symmetry, we develop a new machinery to prove high dimensional edge expansion. We then use this machinery to construct a new {\em elementary} family of bounded degree two-dimensional cosystolic expanders. Bounded degree cosystolic expanders play a major role in a recent breakthrough construction of quantum error correcting codes that break the state of the art constructions. Thus, any advancement in their construction, and in particular, an elementary construction of such objects is of a major importance.

연구 동기 및 목표

• 현재 깊이 있는 비초등적 수학적 도구에 의존하고 있는 바, 경계가 있는 차수의 두 차원 코시스톨릭 확산자를 초등적으로 구성하는 것.
• 스펙트럼 확산 외의 고차원 모서리 확산을 이해하고 특성화하는 것—특히 고전적 히쳐 유형의 등가성이 존재하지 않는 상황에서.
• 상위 차원 세포 위에 전이적으로 작용하는 군 작용을 통해 고차원 모서리 확산을 증명하기 위한 일반적 프레임워크 수립.
• 스펙트럼 확산과 진정한 고차원 모서리 확산 사이의 격차를 메우기 위해, 명시적이고 조합적으로 자연스러운 예제를 구성함으로써

제안 방법

• 저자들은 단형 복합체에서 강한 대칭성을 정의하고, 군이 2차원 세포(면) 위에 전이적으로 작용함을 이용하여 균일한 구조 분석을 가능하게 한다.
• 대칭 군 작용 하에서의 코homological 및 기하적 성질을 분석함으로써 코시스톨릭 확산을 증명하기 위한 새로운 기계적 장치를 도입한다.
• 이 방법은 코homology 내의 최소 비자명 코사이클 대표를 분석하고, 대칭성을 이용해 그 크기를 복합체의 구조에 상대적으로 유한하게 제한하는 데 기반한다.
• 군 이론적 및 조합 원리에서 유도된 경계가 있는 차수와 강한 대칭성을 갖는 2차원 복합체의 가족을 기반으로 한 구성이다.
• 저자들은 대칭성을 이용해 확산을 증명하는 문제를 대칭 세포 전역에서의 국소적 확산 조건을 확인하는 것으로 환원한다.
• 복합체의 대칭성과 코시스톨릭 확산 상수의 하한 사이의 연결 고리를 확립함으로써, 명시적 구성과 분석이 가능해진다.

실험 결과

연구 질문

• RQ1 깊이 있는 대수적 또는 수론적 도구에 의존하지 않고, 경계가 있는 차수의 두 차원 코시스톨릭 확산자를 초등적으로 구성할 수 있는가?
• RQ2 단형 복합체에서의 강한 대칭성이 고차원 모서리 확산을 증명하는 데 어떻게 기여하는가?
• RQ3 스펙트럼 확산이 모서리 확산을 암시하지 않는 상황에서, 대칭성이 고차원에서의 코시스톨릭 확산 분석을 얼마나 단순화할 수 있는가?
• RQ4 스펙트럼 방법에 의존하지 않고도 대칭 복합체에서 코시스톨릭 확산을 증명하기 위한 체계적인 기계적 장치를 개발할 수 있는가?
• RQ5 강한 대칭성을 갖는 복합체의 어떤 구조적 성질이 경계가 있는 차수를 유지하면서도 강력한 확산 성질을 보장하는가?

주요 결과

• 논문은 군 이론적 및 조합 대칭성만을 사용하여, 현재까지 알려진 바가 없는 첫 번째 초등적 가족의 경계가 있는 두 차원 코시스톨릭 확산자를 구성한다.
• 저자들은 대칭 복합체에서 고차원 모서리 확산을 증명하기 위한 새로운 기계적 장치를 확립하였으며, 이는 이전 방법보다 더 단순하고 투명하다.
• 구성은 강한 대칭성이 코사이클 대표를 효과적으로 제어할 수 있음을 보여주며, 코시스톨릭 확산 상수에 비자명한 하한을 이끌어낸다.
• 이 방법은 라마누잔 복합체나 깊은 수론 이론과 같은 고급 도구에 의존하지 않아 구성이 접근 가능하고 구조적이다.
• 결과적으로 얻어진 복합체는 양자 오류 수정 부호의 응용에 적합하며, 이는 이전의 성능 장벽을 뛰어넘는 데 기여한다.
• 이 작업은 향후 고차원 복합체로 일반화될 수 있는 기초 프레임워크를 제공하며, 고차원 확산 이론 분야에 새로운 길을 열어준다.