[논문 리뷰] Minimum ranks of sign patterns via sign vectors and duality

Marina Arav, Frank J. Hall외 4명|arXiv (Cornell University)|2013. 12. 20.

graph theory and CDMA systems참고 문헌 7인용 수 3

한 줄 요약

이 논문은 부호 패턴 행렬의 최소 랭크를 분석하기 위해 부호 벡터와 이중성(duality)을 사용하는 새로운 접근법을 제안한다. 임의의 $m \times n$ 부호 패턴에 대해 최소 랭크가 $n-2$일 경우, 최소 랭크의 유리수 실현이 항상 가능하다는 것을 증명하며, $n \geq 9$인 경우 $n \times m$ 부호 패턴 중 최소 랭크가 $n-3$이지만 유리수로 실현될 수 없는 것이 존재함을 추가로 보여준다. 또한 최소 랭크가 $n-1$인 부호 패턴을 특성화하고, $ℝ^n$의 2차원 부분공간에 대해 부호 벡터의 최대 수가 $4n+1$임을 증명한다.

ABSTRACT

A {\it sign pattern matrix} is a matrix whose entries are from the set $\{+,-, 0\}$. The minimum rank of a sign pattern matrix $A$ is the minimum of the ranks of the real matrices whose entries have signs equal to the corresponding entries of $A$. It is shown in this paper that for any $m imes n$ sign pattern $A$ with minimum rank $n-2$, rational realization of the minimum rank is possible. This is done using a new approach involving sign vectors and duality. It is shown that for each integer $n\geq 9$, there exists a nonnegative integer $m$ such that there exists an $n imes m$ sign pattern matrix with minimum rank $n-3$ for which rational realization is not possible. A characterization of $m imes n$ sign patterns $A$ with minimum rank $n-1$ is given (which solves an open problem in Brualdi et al. \cite{Bru10}), along with a more general description of sign patterns with minimum rank $r$, in terms of sign vectors of certain subspaces. A number of results on the maximum and minimum numbers of sign vectors of $k$-dimensional subspaces of $\mathbb R^n$ are obtained. In particular, it is shown that the maximum number of sign vectors of $2$-dimensional subspaces of $\mathbb R^n$ is $4n+1$. Several related open problems are stated along the way.

연구 동기 및 목표

• 최소 랭크가 $n-1$인 부호 패턴을 특성화하는 오랫동안 미해결된 열린 문제를 다루기.
• 부호 패턴 행렬의 최소 랭크가 언제 유리수로 실현될 수 있는지 조건을 설정하기.
• 부호 벡터의 구조와 그 최대 카디널리티에 대한 이해를 확장하기.
• 부호 패턴 행렬의 최소 랭크 문제를 분석하기 위한 새로운 이중성 기반 프레임워크 제공하기.
• 최소 랭크가 $n-1$인 $m \times n$ 부호 패턴을 특성화하는 열린 문제 해결하기.
• $\mathbb{R}^n$의 2차원 부분공간에 대해 부호 벡터의 최대 수를 규명하기.
• 최소 랭크가 $n-3$이지만 유리수로 실현될 수 없는 부호 패턴의 존재를 탐색하기.

제안 방법

• 부호 패턴 행렬의 최소 랭크를 특성화하기 위해 부분공간의 부호 벡터를 사용하기.
• 부분공간과 그 옥스티널 컴플리먼트 간의 이중성 원리를 적용하여 부호 벡터 집합을 분석하기.
• 분석을 단순화하고 최소 랭크 성질을 유지하기 위해 압축된 부호 패턴을 활용하기.
• 조합 기하학과 사영 기하학의 결과를 적용하여 극값 부호 벡터 수를 근사하기.
• 부호 벡터의 카디널리티에 대한 날카로운 경계를 보여주기 위해 명시적인 부호 패턴 행렬을 구성하기.
• 기본 행 기약 행렬 형태를 사용하여 부분공간 내의 부호 벡터의 독립성과 구조를 분석하기.

실험 결과

연구 질문

• RQ1 부호 패턴 행렬의 최소 랭크가 언제 유리수로 실현될 수 있는가?
• RQ2 최소 랭크가 $n-2$인 $m \times n$ 부호 패턴에 대해 최소 랭크의 유리수 실현이 항상 가능한가?
• RQ3 $n \geq 9$인 경우, 최소 랭크가 $n-3$이지만 유리수로 실현될 수 없는 $n \times m$ 부호 패턴이 존재하는가?
• RQ4 $\mathbb{R}^n$의 2차원 부분공간에서 실현 가능한 서로 다른 부호 벡터의 최대 수는 얼마인가?
• RQ5 부호 벡터와 이중성을 어떻게 활용하여 최소 랭크가 $n-1$인 부호 패턴을 특성화할 수 있는가?
• RQ6 $\mathbb{R}^n$의 $k$차원 부분공간에 대해 부호 벡터 수의 극값은 무엇인가?

주요 결과

• 임의의 $m \times n$ 부호 패턴 행렬에 대해 최소 랭크가 $n-2$일 경우, 최소 랭크의 유리수 실현이 항상 가능하다.
• $n \geq 9$인 각 $n$에 대해 최소 랭크가 $n-3$이지만 유리수로 실현될 수 없는 $n \times m$ 부호 패턴 행렬이 존재한다.
• $\mathbb{R}^n$의 2차원 부분공간에 대해 부호 벡터의 최대 수는 $4n+1$이다.
• $\mathbb{R}^n$의 $k$차원 부분공간에 대해 부호 벡터의 최소 수는 $3^k$이며, 이는 부분공간이 표준 기저 벡터들에 의해 생성될 경우에 달성된다.
• 최소 랭크가 $n-1$인 $m \times n$ 부호 패턴에 대한 특성화가 제시되었으며, Brualdi 등 [6]에서 제기한 열린 문제를 해결하였다.
• $\mathbb{R}^n$의 $(n-1)$차원 부분공간에 대해 부호 벡터의 최대 수는 $3^n - 2(2^n - 1)$이다.