[논문 리뷰] Bounds on the Total Coefficient Size of Nullstellensatz Proofs of the Pigeonhole Principle

Aaron Potechin, Aaron Zhang|arXiv (Cornell University)|2022. 05. 07.

Mathematics and Applications인용 수 1

한 줄 요약

이 논문은 낙엽 및 순서 원칙에 대한 Nullstellensatz 증명의 총 계수 크기에 대해 지수적 하한 및 상한을 확립한다. 총 계수 크기를 새로운 복잡도 측정 기준으로 도입하여, 낙엽 원칙 증명은 2Ω(n)의 계수 크기 필요로 함을 증명하고, 순서 원칙 증명은 2n − n의 총 계수 크기로 구성 가능함을 보이며, 도수 및 증명 크기 간의 상호 교환 관계를 넘어서는 새로운 통찰을 제공한다.

ABSTRACT

In this paper, we investigate the total coefficient size of Nullstellensatz proofs. We show that Nullstellensatz proofs of the pigeonhole principle on $n$ pigeons require total coefficient size $2^{Ω(n)}$ and that there exist Nullstellensatz proofs of the ordering principle on $n$ elements with total coefficient size $2^n - n$.

연구 동기 및 목표

• Nullstellensatz 증명에 대한 총 계수 크기를 증명 도수 및 크기와는 다를 복잡도 측정 기준으로 조사하기.
• 기존의 크기-도수 상호 교환 관계의 틈을 메우기 위해 낙엽 원칙에 대한 총 계수 크기에 대해 지수적 하한을 확립하기.
• 순서 원칙에 대한 총 계수 크기에 대해 지수적 상한을 제공하여 효율적인 증명 구성 가능성을 보여주기.
• 총 계수 크기의 영향을 더 강력한 증명 체계, 특히 해석 유사 및 제곱합 시스템에 대해 탐색하기.
• 기본적인 조합 원리에 대한 계수 크기 복잡도에서의 열린 문제를 규명하기.

제안 방법

• 다항식 계수의 절댓값의 합으로 총 계수 크기 T(f)를 정의하기.
• ∑piqi = 1을 만족하는 조건 하에 ∑T(qi)를 최소화하는 선형 프로그램으로 Nullstellensatz 증명의 최소 총 계수 크기를 설정하기.
• 예를 들어 r·pi = 0와 같은 단항식의 약화된 공리들을 사용해 구조화된 증명 구성 요소를 구성하기.
• 낙엽 원칙의 경우 대칭 시스템 내 계수 성장의 조합 분석을 통해 하한을 유도하기.
• 순서 원칙의 경우 전이성 및 비최소성 공리를 사용한 제곱합 증명을 구성하고 계수 성장에 대한 통제를 수행하기.
• 대수적 항등식과 부울 제약 조건(xij² = xij, xijxji = 0)을 활용해 공리 모odulo 하에서 정확성 검증하기.

실험 결과

연구 질문

• RQ1 총 계수 크기가 낙엽 원칙에 대해 도수 또는 크기 상호 교환 관계를 넘어서 더 강력한 하한을 제공할 수 있는가?
• RQ2 n−1개의 구멍에 n개 이상의 비둘기를 넣을 경우, 비둘기 수가 증가함에 따라 최소 총 계수 크기는 어떻게 변화하는가?
• RQ3 동적 성격을 지닌 해석 유사 증명이 순서 원칙에 대해 다항식 총 계수 크기를 달성할 수 있는가?
• RQ4 비둘기-구멍 유일성 공리를 추가할 경우 낙엽 원칙에 대한 최소 총 계수 크기에 어떤 영향을 미치는가?
• RQ5 강력한 증명 체계인 제곱합과 같은 시스템의 총 계수 크기를 사용해 더 약한 체계인 해석의 크기를 하한으로 제시할 수 있는가?

주요 결과

• n개의 비둘기와 n−1개의 구멍을 가진 낙엽 원칙의 Nullstellensatz 증명은 총 계수 크기 Ω(n³/⁴(2/√e)^n)이 필요하며, 지수적 하한을 확립한다.
• n개 원소에 대한 순서 원칙에 대해 총 계수 크기 2n − n인 Nullstellensatz 증명이 존재함을 보이며, 지수적 상한을 보여준다.
• 낙엽 원칙에 대한 하한은 기존의 크기-도수 상호 교환 관계로는 유도될 수 없으며, 증명 크기가 크더라도 계수 크기가 작을 수 있음을 시사한다.
• 순서 원칙에 대한 증명은 전이성 및 비최소성 공리를 사용한 제곱합 항등식을 통해 구성되었으며, 부울 제약 조건 모odulo 하에서 검증되었다.
• 총 계수 크기 측정 기준은 증명 크기로 유도되지 않으며, 증명이 많은 단항식을 포함하더라도 계수 크기가 작을 수 있음을 보여준다.
• 논문은 증명 체계 간 계수 크기 분리에 대한 열린 문제를 규명하였으며, 특히 해석과 제곱합 간 잠재적 분리 가능성을 제기한다.