[논문 리뷰] On the Gröbner complexity of matrices

Raymond Hemmecke, Kristen A. Nairn|ArXiv.org|2007. 08. 31.

Commutative Algebra and Its Applications참고 문헌 5인용 수 6

한 줄 요약

이 논문은 행렬 $ A $의 그로버 복잡도 $ u(A) $와 그레이버 복잡도 $ g(A) $가 유니버설 그로버 기저 $ \mathcal{U}(A) $와 그레이버 기저 $ \mathcal{G}(A) $가 일치할 경우 항상 동일하다는 것을 증명한다. 또한 행렬 $ A_{a,b} = \begin{pmatrix}1&1&1&1\\ 0&a&b&a+b\end{pmatrix} $에 대해 $ u(A_{a,b}) = g(A_{a,b}) = 2(a+b)/\gcd(a,b) $임을 증명하여 열린 문제를 해결하고, $ u(A_{3\times3}) = g(A_{3\times3}) = 9 $, $ u(A_{3\times4}) \geq 27 $, $ u(A_{\text{twisted cubic}}) = 6 $임을 확인한다.

ABSTRACT

In this paper we show that if for an integer matrix A the universal Gröbner basis of the associated toric ideal \Ideal_A coincides with the Graver basis of A, then the Gröbner complexity u(A) and the Graver complexity g(A) of its higher Lawrence liftings agree, too. We conclude that for the matrices A_{3 imes 3} and A_{3 imes 4}, defining the 3 imes 3 and 3 imes 4 transportation problems, we have u(A_{3 imes 3})=g(A_{3 imes 3})=9 and u(A_{3 imes 4})=g(A_{3 imes 4})\geq 27. Moreover, we prove u(A_{a,b})=g(A_{a,b})=2(a+b)/\gcd(a,b) for positive integers a,b and A_{a,b}=(\begin{smallmatrix} 1 & 1 & 1 & 1 0 & a & b & a+b \end{smallmatrix}).

연구 동기 및 목표

• 행렬 $ A $의 그로버 복잡도 $ u(A) $와 그레이버 복잡도 $ g(A) $가 동일한 조건을 규명하는 것.
• 행렬 $ A_{3\times4} $의 그로버 복잡도를 계산하는 열린 문제를 해결하여 $ u(A_{3\times4}) \geq 27 $임을 보이고, 등호 성립을 추측하는 것.
• 2×4 행렬의 일족에 대해 $ u(A_{a,b}) = g(A_{a,b}) = 2(a+b)/\gcd(a,b) $의 닫힌 형태 공식을 증명하는 것.
• $ u(A_{3\times3}) = g(A_{3\times3}) = 9 $임을 확인하여 오랫동안 미해결이었던 문헌의 격차를 메우는 것.
• 행렬 $ A_n = \begin{pmatrix}1&\cdots&1&0\\1&\cdots&n&1\end{pmatrix} $의 그레이버 기저에 대한 $ 2c $-추측을 확인하여 최대 $ \ell^1 $-노름이 $ 2(n-1) $임을 보이는 것.

제안 방법

• 유니버설 그로버 기저와 최소 정수관계에 관한 구조적 보조정리를 사용하여, $ \mathcal{U}(A) = \mathcal{G}(A) $이면 $ u(A) = g(A) $임을 증명한다.
• 유니버설 그로버 기저 $ \mathcal{U}(A) $의 대칭성과 기저 벡터들 사이의 최소 비음수 정수관계의 존재를 이용하여, $ \mathcal{U}(A^{(s)}) $에 속하는 유형 $ s $의 원소를 구성한다.
• 선형대수학을 통해 $ A_{a,b} $의 그레이버 기저 계산을 정수 커널을 유지하는 등가 행렬 $ B_{a+b} $로 감소시킨다.
• 1, 2, …, n 사이의 정수관계를 $ A_n $의 커널에 속하는 벡터로 변환하고, 분할 항등식의 결과를 적용하여 $ \ell^1 $-노름을 유계화한다.
• [4]의 보조정리 1을 적용하여 $ \|x\|_1 \leq 2(n-1) $의 유계를 도출하며, 특정 최소 벡터에서 등호가 성립함을 보인다.
• 특정 최소 벡터를 구성하여 유계의 날카로움을 검증함으로써, 그레이버 기저 내 최대 $ \ell^1 $-노름이 정확히 $ 2(n-1) $임을 확인한다.

실험 결과

연구 질문

• RQ1 유니버설 그로버 기저 $ \mathcal{U}(A) $가 그레이버 기저 $ \mathcal{G}(A) $와 일치하는 조건은 무엇이며, 이때 $ u(A) $와 $ g(A) $에 어떤 영향을 미치는가?
• RQ2 행렬 $ A_{3\times4} $의 그로버 복잡도 $ u(A_{3\times4}) $는 얼마이며, 그레이버 복잡도 $ g(A_{3\times4}) $와 같을까?
• RQ3 행렬 $ \begin{pmatrix}1&\cdots&1&0\\0&1&2&\cdots&c&1\end{pmatrix} $에 대해 $ 2c $-추측이 참인가? 즉, 그레이버 기저 내 최대 $ \ell^1 $-노름이 정확히 $ 2c $인가?
• RQ4 모든 양의 정수 $ a,b $에 대해 공식 $ u(A_{a,b}) = g(A_{a,b}) = 2(a+b)/\gcd(a,b) $가 성립하는가?
• RQ5 레크스코그래픽 그로버 기저가 5로 유계화되어 있음에도 불구하고, 3×3 운반 행렬의 그로버 복잡도가 5보다 엄밀히 클 수 있는가?

주요 결과

• 논문은 $ \mathcal{U}(A) = \mathcal{G}(A) $일 경우 항상 $ u(A) = g(A) $임을 증명하여 두 복잡도가 일치하는 일반 조건을 확립한다.
• 3×3 운반 행렬 $ A_{3\times3} $에 대해 $ u(A_{3\times3}) = g(A_{3\times3}) = 9 $임을 보여, 이전에 열려 있던 사례를 해결한다.
• 3×4 운반 행렬 $ A_{3\times4} $에 대해 $ u(A_{3\times4}) = g(A_{3\times4}) \geq 27 $임을 증명하고, 등호 성립을 추측한다.
• 모든 양의 정수 $ a,b $에 대해 공식 $ u(A_{a,b}) = g(A_{a,b}) = 2(a+b)/\gcd(a,b) $가 성립함을 증명하였으며, 여기서 $ A_{a,b} = \begin{pmatrix}1&1&1&1\\0&a&b&a+b\end{pmatrix} $이다.
• $ 2c $-추측이 확인됨: 행렬 $ \begin{pmatrix}1&\cdots&1&0\\1&\cdots&c+1&1\end{pmatrix} $의 그레이버 기저 내 최대 $ \ell^1 $-노름은 정확히 $ 2c $이다.
• 논문은 $ \mathcal{U}(A_{3\times3}^{(9)}) $에 속하는 유형 6, 7, 8, 9의 명시적 원소를 구성하여, 일부 유니버설 그로버 기저가 렉소그래픽 기저보다 더 복잡한 벡터를 포함할 수 있음을 보여준다.