[논문 리뷰] Monotone Classes Beyond VNP

Prerona Chatterjee, Kshitij Gajjar외 1명|arXiv (Cornell University)|2022. 02. 26.

Formal Methods in Verification인용 수 1

한 줄 요약

이 논문은 Poizat의 특성화를 통해 정의된 VPSPACE의 단조적 대응인 mVPSPACE를 소개한다. mVPSPACE는 mVNP보다 지수적으로 강력하며, 주요 대수적 연산에 대해 닫혀 있음을 입증한다. 이 연구는 기존에 단조적 VNP에 대해 어려운 것으로 알려진 투명 다항식이 mVPSPACE에 대해서도 여전히 어려움을 겪음을 보여주며, VNP를 초월하는 강력한 단조적 복잡도 계층을 드러낸다.

ABSTRACT

In this work, we study the natural monotone analogues of various equivalent definitions of VPSPACE: a well studied class (Poizat 2008, Koiran & Perifel 2009, Malod 2011, Mahajan & Rao 2013) that is believed to be larger than VNP. We observe that these monotone analogues are not equivalent unlike their non-monotone counterparts, and propose monotone VPSPACE (mVPSPACE) to be defined as the monotone analogue of Poizat’s definition. With this definition, mVPSPACE turns out to be exponentially stronger than mVNP and also satisfies several desirable closure properties that the other analogues may not. Our initial goal was to understand the monotone complexity of transparent polynomials, a concept that was recently introduced by Hrubeš & Yehudayoff (2021). In that context, we show that transparent polynomials of large sparsity are hard for the monotone analogues of all the known definitions of VPSPACE, except for the one due to Poizat.

연구 동기 및 목표

• 최근에 도입된 구조적 지지 집합을 가진 다항식의 클래스인 투명 다항식의 단조적 복잡도를 이해하기 위해.
• VPSPACE의 여러 상등 정의의 단조적 대응을 탐색하고, 그들의 상대적인 계산 능력을 평가하기 위해.
• 기대되는 닫힘 성질을 만족하는 강력하고 잘 정의된 VPSPACE의 단조적 대응을 식별하기 위해.
• 특히 영구행렬과 투명 다항식의 맥락에서 단조적 회로 계층과 그 양자화된 확장 간의 분리 여부를 조사하기 위해.

제안 방법

• Poizat의 정의를 사용하여, 단조적 회로와 투영 게이트를 포함하는 mVPSPACE를 정의한다.
• 다항식의 지지 구조와 단조성을 활용하여 덧셈, 곱셈, 투영과 같은 연산이 단항식 집합에 미치는 영향을 분석한다.
• Lemma 7.5를 활용하여, 단조적 회로에 투영 게이트를 적용할 경우 영구행렬과 같은 기약 다항식의 지지를 유지함을 증명한다.
• 게이트 복제 기법을 적용하여 mVPSPACE가 동차화에 대해 닫혀 있음을 보이며, 각 게이트를 k+1개의 복제본으로 복제하여 동차 성분을 계산한다.
• 기존의 영구행렬에 대한 단조적 대수적 회로에 대한 지수적 하한을 감소시켜 하한을 확립한다.
• 단조적 회로는 항을 상쇄시킬 수 없으므로, 이러한 회로에 의해 계산된 다항식의 지지는 단조적 연산 동안 유지됨을 이용한다.

실험 결과

연구 질문

• RQ1 동일한 VPSPACE 정의의 자연스러운 단조적 대응은 동일한 계산 능력을 가지는가?
• RQ2 homogenization과 같은 핵심 대수적 연산에 대해 닫혀 있고 동시에 강력한 정의가 가능한 mVPSPACE를 정의할 수 있는가?
• RQ3 투명 다항식은 mVPSPACE에 대해 어려운가? 그리고 이는 mVNP에 대한 하한보다 더 강력한 하한을 의미하는가?
• RQ4 단조적 VNP 하한에 사용된 기법을 mVPSPACE로 확장할 수 있는가? 특히 지지 집합이 희박한 다항식에 대해 가능한가?
• RQ5 mVNP와 양자화된 단조적 회로 사이에 분리가 존재하는가? 이러한 분리는 단조적 복잡도에 어떤 의미를 갖는가?

주요 결과

• 다양한 VPSPACE 정의의 단조적 대응은 동등하지 않으며, Poizat의 접근 방식을 통해 정의된 mVPSPACE는 mVNP보다 지수적으로 강력하다.
• mVPSPACE는 동차화에 대해 닫혀 있으며, 차수 k에 대해 mVPSPACE에 속한 다항식의 동차화된 형태는 크기 O(k²·s)의 단조적 투영 게이트를 가진 회로로 계산 가능하다.
• 영구행렬 다항식 Permn은 단조적 투영 게이트를 가진 회로의 크기 O(n³)가 필요하지만, 모든 양자화된 단조적 회로로 계산하려면 크기 2Ω(n)가 필요하다.
• 큰 희박성을 가진 투명 다항식은 Poizat의 접근 방식을 제외한 모든 VPSPACE의 단조적 대응에 대해 어려운데, 이는 mVPSPACE가 더 자연스러운 단조적 복잡도 계층을 포괄하고 있음을 시사한다.
• 투영 게이트를 가진 회로에 의해 계산된 단조적 다항식의 지지는 단조적 연산 동안 유지되며, 이는 기존 결과로부터 하한을 전이할 수 있게 한다.
• mVPSPACE는 mVNP보다 엄격히 강력하며, 이러한 분리는 mVNP에 대해 어려운 새로운 불리안 함수를 도출할 수 있으며, 이는 초입방정식 위에서도 가능하다.