[논문 리뷰] Lower Bounds for Choiceless Polynomial Time via Symmetric XOR-Circuits

Benedikt Pago|arXiv (Cornell University)|2023. 01. 01.

Quantum Computing Algorithms and Architecture인용 수 1

한 줄 요약

이 논문은 선택 불가능한 다항식 시간(CPT)과 대칭 XOR-회로 사이의 연결 고리를 설정하며, CPT가 특정 기저 그래프에서 CFI 질의를 정의할 수 있는 것은 해당 기저 그래프에 대해 특정 대칭성과 팬인 제약 조건을 갖는 다항식 크기의 대칭 XOR-회로가 존재할 경우에 한해 가능하다는 것을 보여준다. 본 논문은 n차원 초입방체에서 이러한 회로에 대해 거의 날것 같은 하한을 증명하며, CFI 질의가 CPT에서 정의 가능하지 않다는 강력한 증거를 제공한다. 이는 CPT와 다항식 시간 사이의 분리에 있어 중요한 진전을 이룬다.

ABSTRACT

Choiceless Polynomial Time (CPT) is one of the few remaining candidate logics for capturing Ptime. In this paper, we make progress towards separating CPT from polynomial time by firstly establishing a connection between the expressive power of CPT and the existence of certain symmetric circuit families, and secondly, proving lower bounds against these circuits. We focus on the isomorphism problem of unordered Cai-Fürer-Immerman-graphs (the CFI-query) as a potential candidate for separating CPT from Ptime. Results by Dawar, Richerby and Rossman, and subsequently by Pakusa, Schalthöfer and Selman show that the CFI-query is CPT-definable on linearly ordered and preordered base graphs with small colour classes. We define a class of CPT-algorithms, that we call "CFI-symmetric algorithms", which generalises all the known ones, and show that such algorithms can only define the CFI-query on a given class of base graphs if there exists a family of symmetric XOR-circuits with certain properties. These properties include that the circuits have the same symmetries as the base graphs, are of polynomial size, and satisfy certain fan-in restrictions. Then we prove that such circuits with slightly strengthened requirements (i.e. stronger symmetry and fan-in and fan-out restrictions) do not exist for the n-dimensional hypercubes as base graphs. This almost separates the CFI-symmetric algorithms from Ptime - up to the gap that remains between the circuits whose existence we can currently disprove and the circuits whose existence is necessary for the definability of the CFI-query by a CFI-symmetric algorithm.

연구 동기 및 목표

• 유한 모델 이론에서 중심적인 미해결 문제인 다항식 시간을 캡처하는 논리가 존재하는가를 다루는 것.
• 다항식 시간을 캡처하는 데 있어서 최선의 후보로 여겨지는 선택 불가능한 다항식 시간(CPT)의 표현력을 조사하는 것.
• 기저 그래프가 n차원 초입방체인 순서 없는 CFI-그래프에서 CPT가 CFI 질의를 정의할 수 없음을 보이며, 이를 위해 필요한 대칭 XOR-회로의 존재가 불가능하다는 것을 증명하는 것.
• 대칭 회로에서의 교호적 지지 파artitions와 짝수 경로를 기반으로 한 새로운 하한 기법을 개발하는 것.

제안 방법

• CFI-대칭 알고리즘의 클래스를 도입한다—기존의 CFI 질의에 대한 CPT 알고리즘의 일반화로서, 이들의 정의 가능성은 특정 성질을 갖는 대칭 XOR-회로의 존재에 달려 있다.
• CFI-대칭 CPT 알고리즘과 다항식 크기의 대칭 XOR-회로 간의 대응 관계를 설정하며, 이러한 회로는 기저 그래프의 자기동형군을 그대로 이어받는다.
• CPT의 불변성과 유계성 요구 조건을 모델링하기 위해 회로에 대칭성, 크기, 팬인/팬아웃 제약 조건을 부과한다.
• 회로의 민감도 분석을 위해 새로운 '짝수 경로' 기법을 개발하며, 자동형에 의해 경로가 상쇄되어야 하므로 입력 비트에 대한 민감도가 제한됨을 보여준다.
• 교호적 지지 파artitions의 군론적 분석을 통해 초입방체 대칭성 하에서 이러한 파artitions가 너무 많은 단일 원소 파art를 포함할 수 없다는 것을 보여준다.
• 팬인 차원에 대한 로그 상한과 궤도별 부모/자식 수를 적용하여 회로의 구조를 제약하고, 이로 인해 회로 복잡도에 대한 하한을 이끌어낸다.

실험 결과

연구 질문

• RQ1 기저 그래프가 n차원 초입방체인 순서 없는 CFI-그래프에서 CFI 질의는 CPT에서 정의 가능한가?
• RQ2 초입방체 기저 그래프에서 필요한 대칭성, 다항식 크기, 유계 팬인을 갖는 대칭 XOR-회로가 존재하는가?
• RQ3 짝수 경로 기법을 사용하여 제한된 팬인과 대칭성을 갖는 대칭 XOR-회로에 대한 하한을 증명할 수 있는가?
• RQ4 초입방체에서 CFI 질의를 계산할 수 없는 대칭 회로의 구조적 본질적 장애물이 존재하는가?
• RQ5 교호적 지지 파artitions를 기반으로 한 새로운 하한 기법을 다른 대칭 회로 클래스로 일반화할 수 있는가?

주요 결과

• CFI 질의는 n차원 초입방체에서 CPT로 정의 가능할 수 없으며, 이를 위해 동일한 대칭성, 다항식 크기, 유계 팬인을 갖는 대칭 XOR-회로의 가족이 존재할 경우에 한해 가능하다.
• 더 강력한 대칭성과 팬인/팬아웃 제약 조건이 부과될 경우 이러한 회로는 존재하지 않으며, 이는 거의 날것 같은 하한을 증명한다.
• 짝수 경로 기법은 자동형에 의해 경로가 상쇄되므로 대칭 회로가 충분히 많은 입력 비트에 민감하지 않음을 보여준다.
• 군론적 분석을 통해 초입방체 대칭성 하에서의 교호적 지지 파artitions는 선형 수준의 단일 원소 파art를 포함할 수 없다는 것이 드러났다.
• 팬인 차원은 로그로 유 bounds되며, 이 제약 조건과 궤도별 부모/자식 수의 조합이 회로의 표현력을 제한한다.
• 제안된 기법은 강력한 지지 정리에 의존하지 않아 이전 방법보다 더 약한 대칭군에도 적용 가능하다.