[논문 리뷰] A real stable extension of the Vamos matroid polynomial

Sam Burton, Cynthia Vinzant외 1명|arXiv (Cornell University)|2014. 11. 07.

Polynomial and algebraic computation참고 문헌 9인용 수 6

한 줄 요약

이 논문은 Vámos 매트로이드의 10원소 확장인 $V_{10}$을 제안하고, 제곱합 분해와 Wagner 및 Wei의 기준을 활용하여 그 기저 생성 다항식이 실안정(real stable)임을 증명한다. 주요 결과는 $V_{10}$이 비표현 가능한 매트로이드이면서도 반평면 성질(half-plane property)을 가지며, 그 기저 다항식의 어떤 거듭제곱도 정확한 행렬식 표현을 갖지 못한다는 것이다. 이는 이전의 Vámos 매트로이드에 대한 결과를 확장하며, Lax 추측의 잠재적 일반화를 반증한다.

ABSTRACT

In 2004, Choe, Oxley, Sokal and Wagner established a tight connection between matroids and multiaffine real stable polynomials. Recently, Branden used this theory and a polynomial coming from the Vamos matroid to disprove the generalized Lax conjecture. Here we present a 10-element extension of the Vamos matroid and prove that its basis generating polynomial is real stable (i.e. that the matroid has the half-plane property). We do this via large sums of squares computations and a criterion for real stability given by Wagner and Wei. Like the Vamos matroid, this matroid is not representable over any field and no power of its basis generating polynomial can be written as the determinant of a linear matrix with positive semidefinite Hermitian forms.

연구 동기 및 목표

• 기존의 8원소 Vámos 매트로이드를 10원소로 확장하면서 핵심 안정성 성질을 유지하거나 일반화하기.
• 확장된 매트로이드의 기저 생성 다항식이 여전히 실안정인지 조사하기.
• 확장된 매트로이드가 원래 Vámos 매트로이드와 마찬가지로 비표현 가능하고, 정확한 행렬식 표현이 불가능한지 확인하기.
• 실안정 다항식이지만 선형 행렬의 행렬식으로 표현될 수 없는 새로운 반례를 제시하여 일반화된 Lax 추측에 대한 반례를 제공하기.

제안 방법

• 기존의 5개의 배제된 집합을 제거하고, 추가로 두 개의 새로운 배제 4집합 $\{1,2,9,10\}$, $\{7,8,9,10\}$을 추가함으로써 Vámos 매트로이드를 확장하여 10원소 매트로이드 $V_{10}$을 구성한다.
• 기저 생성 다항식 $f_{10}(x) = \sum_{B \in \mathcal{B}} \prod_{i \in B} x_i$를 정의하며, 여기서 $\mathcal{B}$는 $\{1,\dots,10\}$의 4원소 부분집합 중에서 지정된 7개 집합을 제외한 기저의 집합이다.
• Wagner와 Wei의 실안정성 기준을 적용하여, 다항식과 관련된 특정 대칭 행렬이 준양성임을 확인함으로써 문제를 단순화한다.
• 대규모 제곱합(SOS) 계산을 수행하여 다항식의 실안정성을 검증하며, 대칭성과 기하학적 기법을 활용한다.
• 실안정성이 반평면 성질을 함의함을 이용하여, 다항식의 안정성과 관련된 이론적 배경을 강화한다.
• 기존 Brändén의 결과를 확장하여 $f_{10}(x)$의 어떤 거듭제곱도 정확한 행렬식 표현을 갖지 못함을 증명한다.

실험 결과

연구 질문

• RQ1 Vámos 매트로이드를 10원소로 확장하여 그 기저 생성 다항식이 여전히 실안정인지 여쭤볼 수 있는가?
• RQ2 비표현 가능한 매트로이드인 $V_{10}$이 반평면 성질을 유지하는가?
• RQ3 확장된 매트로이드의 기저 다항식이 고차수 거듭제곱에서도 여전히 양성정규형 헤르미트 형식을 갖는 선형 행렬의 행렬식으로 표현되지 않는가?
• RQ4 제곱합(SOS) 방법이 매트로이드에서 유도된 고차수 대칭 다항식의 실안정성 검증에 효과적으로 적용될 수 있는가?
• RQ5 확장된 매트로이드가 일반화된 Lax 추측에 대한 새로운 반례를 제공하는가?

주요 결과

• 지정된 7개의 4원소 부분집합을 제외한 10원소 매트로이드 $V_{10}$은 유효한 매트로이드이며, 그 기저는 $\mathcal{B}$이다.
• 기저 생성 다항식 $f_{10}(x)$는 대규모 제곱합 계산과 Wagner-Wei 안정성 기준을 통해 실안정임이 확인되었다.
• $V_{10}$ 매트로이드는 어떤 체에서도 표현될 수 없으며, 원래 Vámos 매트로이드의 비표현 가능성 성질을 확장한다.
• $f_{10}(x)$의 어떤 거듭제곱도 양성정규형 헤르미트 형식을 갖는 선형 행렬의 행렬식으로 표현될 수 없으며, 이는 정확한 행렬식 표현이 없음을 의미한다.
• 이 결과는 일반화된 Lax 추측이 이 클래스의 매트로이드에 대해 성립하지 않음을 확인하며, Brändén의 이전 반례($f_8(x)$ 기반)를 확장한다.
• 다항식 $f_{10}(x)$는 대칭적이며 다항식이며, 계수로부터 유도된 양성정규행렬의 양성정규성에 기반한 계산적 검증을 통해 안정성이 입증되었다.