[논문 리뷰] Positivity of the symmetric group characters is as hard as the polynomial time hierarchy

Christian Ikenmeyer, Igor Pak외 1명|arXiv (Cornell University)|2022. 07. 12.

semigroups and automata theory참고 문헌 60인용 수 6

한 줄 요약

이 논문은 대칭군의 기약 특징의 소멸성 또는 양성 여부를 판단하는 것이 다항식 계층 내 문제들과 동일한 계산적 난이도를 가짐을 입증한다. 특징이 0이 되는지 여부를 판단하는 문제는 C=P-완전이며, 특징의 제곱이 #P에 속하지는 않으며, 다항식 계층이 붕괴하지 않는 한 양의 조합적 해석이 불가능함을 보여, 특징의 제곱에 대한 양의 조합적 의미 해석이 존재하지 않음을 규명한다.

ABSTRACT

We prove that deciding the vanishing of the character of the symmetric group is $C_=P$-complete. We use this hardness result to prove that the the square of the character is not contained in $\#P$, unless the polynomial hierarchy collapses to the second level. This rules out the existence of any (unsigned) combinatorial description for the square of the characters. As a byproduct of our proof we conclude that deciding positivity of the character is $PP$-complete under many-one reductions, and hence $PH$-hard under Turing-reductions.

연구 동기 및 목표

• 대칭군의 기약 특징이 0이 되는지 여부를 판단하는 문제의 계산 복잡도를 규명하는 것.
• 대칭군 특징의 제곱이 양의 조합적 해석을 가질 수 있는지 조사하는 것.
• 표준 복잡도 이론적 가정 하에 특징의 양성 및 소멸 문제의 정확한 복잡도 클래스를 설정하는 것.
• 특징 제곱에 대한 #P 기술이 존재하지 않음이 조합 표현 이론의 기본적인 제약을 암시함을 보여주는 것.

제안 방법

• 기존의 C=P-완전 문제로부터 대칭군 특징의 소멸 문제로의 감소.
• 남은 고리 표준형과 림 후크 표를 사용한 부호가 있는 합으로 특징 값 분석.
• Littlewood–Richardson 규칙과 다면체적 해석을 적용하여 특징 수를 정수 점의 수와 연결.
• Toda의 정리와 PP 및 C=P의 닫힘 성질을 활용하여 튜링 및 다대일 감소 하에 난이도 결과 유도.
• 특징 값이 표준형의 부호가 있는 합과 연결된 일련의 순열과 분할을 구성하여 난이도 증명 가능하게 함.
• 특징 제곱이 GapP에 속하지만, 다항식 계층이 붕괴하지 않는 한 #P에 속하지 않으며, 이는 coNP = C=P 가정에 기반함.

실험 결과

연구 질문

• RQ1 대칭군 특징이 0이 되는지 여부를 판단하는 문제는 #P에 속하는지, 아니면 더 어려운가?
• RQ2 대칭군 특징의 제곱이 양의 방식으로 조합적 객체의 수로 표현될 수 있는가?
• RQ3 대칭군 특징의 양성 문제의 정확한 복잡도 클래스는 무엇인가?
• RQ4 특징 제곱이 #P에 속하지 않는다는 것은 조합적 해석에 대한 근본적인 장애를 의미하는가?
• RQ5 이 복잡도 결과가 대수적 조합론에서 이중 증명의 존재성에 어떤 영향을 미치는가?

주요 결과

• 대칭군 특징이 0이 되는지 여부를 판단하는 문제는 다대일 감소 하에 C=P-완전하다.
• 특징의 제곱이 다항식 계층이 두 번째 수준으로 붕괴하지 않는 한 #P에 속하지 않는다.
• 대칭군 특징의 양성 문제는 다대일 감소 하에 PP-완전이며, 튜링 감소 하에 PH-완전하다.
• 이 결과는 특징 제곱에 대한 어떤 종류의 양의 조합적 해석도 존재하지 않음을 암시한다.
• 특징 계산 문제는 강한 의미에서 GapP-완전하며, #P를 초월한 본질적 계산 난이도를 나타낸다.
• 다항식 계층 ≠ Σ₂^p 라는 가정 하에, 특징 제곱의 등가성에 대한 다항식 시간 증명서가 존재하지 않으며, 심지어 값이 다를 경우에도 마찬가지다.