[논문 리뷰] Apolarity for determinants and permanents of generic matrices

Masoumeh Sepideh Shafiei|arXiv (Cornell University)|2012. 12. 03.

Advanced Topics in Algebra참고 문헌 7인용 수 3

한 줄 요약

이 논문은 일반 행렬의 행렬식, 영구행렬식, Pfaffian, Hafnian의 비대칭 이상이 모두 차수 2에서 생성됨을 증명하며, 명시적인 생성자와 그뢰브너 기저를 제공한다. Ranestad와 Schreyer의 결과를 이용하여 이러한 불변량의 카쿠스 랭크와 랭크에 하한을 도출하며, $ n \geq 3 $ 또는 $ n \geq 6 $일 경우 각각 연결합이 아니라는 것을 보여준다.

ABSTRACT

We show that the apolar ideals to the determinant and permanent of a generic matrix, the Pfaffian of a generic skew symmetric matrix and the Hafnian of a generic symmetric matrix are each generated in degree two. In each case we specify the generators and a Gröbner basis of the apolar ideal. As a consequence, using a result of K. Ranestad and F. O. Schreyer we give lower bounds to the cactus rank and rank of each of these invariants. We compare these bounds with those obtained by J. Landsberg and Z. Teitler.

연구 동기 및 목표

• 일반 $ n \times n $ 행렬의 행렬식과 영구행렬식에 대한 비대칭 이상의 생성 차수를 결정한다.
• 이 분석을 일반 반대칭 행렬의 Pfaffian과 일반 대칭 행렬의 Hafnian으로 확장한다.
• 이러한 불변량의 비대칭 이상에 대한 명시적인 생성자와 그뢰브너 기저를 계산한다.
• Ranestad–Schreyer 결과를 적용하여 이러한 불변량의 카쿠스 랭크와 랭크에 하한을 도출한다.

제안 방법

• Macaulay의 역체계(비대칭 쌍대성)를 사용하여 동차 다항식 $ F \in R = \mathsf{k}[a_{ij}] $에 대해 비대칭 이상 $ \mathrm{Ann}(F) \subset S = \mathsf{k}[d_{ij}] $를 정의한다.
• 수축 작용 $ h \circ F = 0 $를 이용하여 $ h \in S_k $이면 $ F $를 소거함을 보이고, 알려진 쌍대성 항등식을 통해 이와 미니어와 영구행렬식을 연관시킨다.
• 비대칭 이상의 차수 $ k $에서 $ \mathrm{Ann}(\det A)_k = M_k(A)^\perp $임을 증명하며, 여기서 $ M_k(A) $는 $ k \times k $ 미니어의 공간이다.
• 대각 순서에 대한 허용 불가능한 단항식과 $ 2 \times 2 $ 부분영구행렬식을 사용하여 비대칭 이상에 대한 그뢰브너 기저를 구성한다.
• Buchberger 알고리즘을 적용하여 부분영구행렬식과 허용 불가능한 단항식의 합집합이 그뢰브너 기저를 이룬다는 것을 검증한다.
• Ranestad–Schreyer 정리를 적용하여 비대칭 이상의 생성 차수로부터 카쿠스 랭크와 랭크에 하한을 도출한다.

실험 결과

연구 질문

• RQ1 일반 $ n \times n $ 행렬의 행렬식과 영구행렬식에 대한 비대칭 이상은 차수 2에서 생성되는가?
• RQ2 일반 행렬의 행렬식과 영구행렬식에 대한 비대칭 이상의 그뢰브너 기저는 어떤 구조를 가지는가?
• RQ3 일반 반대칭 행렬의 Pfaffian과 일반 대칭 행렬의 Hafnian 역시 비대칭 이상이 차수 2에서 생성되는가?
• RQ4 비대칭 이상의 생성 차수는 이러한 불변량의 카쿠스 랭크와 랭크를 유계화하는 데 사용될 수 있는가?
• RQ5 이러한 불변량은 연결합인가? 비대칭 이상의 구조는 이 성질과 어떻게 관련되는가?

주요 결과

• 일반 $ n \times n $ 행렬의 행렬식에 대한 비대칭 이상은 차수 2에서 생성되며, 생성자는 $ 2 \times 2 $ 부분영구행렬식과 허용 불가능한 단항식으로 주어진다.
• 일반 $ n \times n $ 행렬의 영구행렬식에 대한 비대칭 이상 역시 차수 2에서 생성되며, 동일한 생성자 집합을 가진다.
• 일반 반대칭 행렬의 Pfaffian에 대한 비대칭 이상은 차수 2에서 생성되며, 명시적인 그뢰브너 기저가 구성된다.
• 일반 대칭 행렬의 Hafnian에 대한 비대칭 이상은 차수 2에서 생성되며, 그뢰브너 기저가 제공된다.
• 행렬식, 영구행렬식, Pfaffian, Hafnian의 카쿠스 랭크와 랭크는 비대칭 이상 생성자의 차수와 비대칭 대수의 차원으로부터 하한이 부여된다.
• 크기가 $ n \geq 3 $인 행렬식과 영구행렬식, 크기가 $ n \geq 6 $인 Pfaffian과 Hafnian은 비대칭 이상이 차수 2에서 생성되므로 연결합이 아니다.