양정 행렬의 주대각소 행렬식 비율에 대한 유한 생성군

본 연구는 양정(positive definite, PD) 행렬 A∈ℝ^{n×n}에 대해, 주대각소(Principal) 소행렬식들의 곱비 α(A)/β(A) 가 모든 A에 대해 상한을 갖는지를 조사한다. 이러한 비율을 “bounded ratio”라 부르며, 상한이 1 이하이면 “absolutely bounded”라 정의한다. 전통적으로 Hadamard‑Fischer 부등식이 제공하는 Koteljanskii 비율군 Kₙ이 모든 알려진 절대 유계 비율을 포함한다는 것이 알려져 있었다. 논문은 먼저 비율 α/β 를 동차(homogeneous)라 정의한다. 동차 비율은 모든 대각 PD 행렬 D에 대해 α(D)=β(D) 가 되며, 이는 로그 변환 log(α/β) 가 전체 1벡터와 각 i∈N에 대한 지시벡터에 수직인 부분공간 Hₙ 에 속함을 의미한다. 이 공간 내에서 비율은 부분집합 S⊆N (|S|≥2)의 지수 차이만으로 완전히 기술된다. 핵심 아이디어는 “nullity type” ν(M) 이다. n개의 열을 가진 임의의 행렬 M에 대해, 각 부분집합 T⊆N 에 대해 null space 차원 dim ker M_T 를 ν(M)_T 로 정의한다. ν(M) 은 PSD 행렬 M* M+εI (0<ε<1) 의 고유값 분포와 직접 연결되며, 정리 1에 따르면 log(α/β)·ν(M)≥0 이면 α/β 가 A_ε 에 대해 유계, 반대이면 무한대로 발산한다. 따라서 모든 가능한 nullity type을 모아 만든 반공간 교집합 Dₙ 은 “dual nullity semigroup”이라 불리며, 모든 bounded ratio 집합 Bₙ 은 Dₙ 에 포함된다(Bₙ⊆Dₙ). 다음으로 기존의 ST1, ST2 (subset‑superset) 조건을 nullity type 관점으로 재해석한다. 특정 부분집합 S에 대해 정의된 행렬 M_S 의 nullity type은 S가 α에 포함되는지, β에 포함되는지를 검사하는 지표가 된다. 이를 통해 Dₙ⊆Eₙ (ST 조건을 만족하는 집합)임을 보이고, n=3에서는 K₃=E₃=B₃임을 재확인한다. n=4 경우는 계산적으로 가장 복잡하지만, 23개의 서로 다른 nullity type을 구하고, 이들에 대한 반공간 교집합을 구하면 46개의 극점이 도출된다. 이 중 24개는 기존 K₄의 생성자와 일치하고, 나머지 22개는 새로운 비율 R₁, R₂, R₃ 및 그 보완 형태이다. 특히 R₁은 Hadamard‑Fischer 부등식으로는 도출되지 않으며, 실험적으로는 상수 27/16 이하로 제한되는 것으로 보인다. R₂와 R₃는 복잡한 곱셈 형태이지만, Lemma 6(상호 역행렬 원소 관계)와 Corollary 7을 이용해 상수 4 이하로 제한함을 보인다. 결국 B₄는 D₄와 일치하고, 모든 유계 비율이 이 46개의 생성자로부터 얻어진다. n≥5 로 확장하면 상황이 달라진다. 예시 3에서 제시된 Q 비율은 D₅에 속하지만, 특정 비정규 행렬 가족 A_ε를 구성해 asymptotic nullity type asn(P)를 계산하면 log(Q)·asn(P)=-1이 되어 무한대로 발산한다. 따라서 B₅는 D₅보다 작으며, 추가적인 ‘비공식’ 영점 유형이 필요함을 보여준다. 저자는 이러한 유형을 유한 개의 다항식 행렬 P₁,…,P_ℓ 로 제한할 수 있다는 conjecture을 제시한다. 이는 log(Bₙ)이 모든 n에 대해 다면체(polyhedral) 콘을 이룰 것이라는 기대와 일치한다. 결론적으로, 논문은 행렬식 비율의 유계성을 선형 부등식(반공간)으로 완전히 기술하고, 특히 n=4에서 완전한 생성자를 찾아냈다는 점에서 중요한 기여를 한다. 또한 nullity type과 asymptotic nullity type이라는 새로운 관점을 도입해, 고차원 경우에도 유한한 판정 기준이 존재할 가능성을 제시한다.