[논문 리뷰] On the rank of a random binary matrix

C. Cooper, Alan Frieze외 1명|arXiv (Cornell University)|2018. 06. 13.

Random Matrices and Applications인용 수 5

한 줄 요약

이 논문은 $GF(2)$ 위의 랜덤 $n \times m$ 이진 행렬의 질량을 분석하며, 각 열에 정확히 $k$개의 1이 있는 경우, 질량이 관련된 $k$-균일 무작위 초그래프의 2-핵 구조에 점점 의존함을 보여준다. $m < m^*$이면 질량은 점점 $m$이 되고, $m \geq m^*$이면 질량은 $m - |E(C_2)| + |C_2|$가 된다. 여기서 $C_2$는 2-핵이다. 이 결과는 Frieze의 최소 스패닝 트리에 대한 $\zeta(3)$ 결과를 고차원 초그래프로 일반화한다.

ABSTRACT

We study the rank of the random $n imes m$ 0/1 matrix ${\bf A}_{n,m;k}$ where each column is chosen independently from the set $Ω_{n,k}$ of 0/1 vectors with exactly $k$ 1's. Here 0/1 are the elements of the field $GF_2$. We obtain an asymptotically correct estimate for the rank in terms of $c,n,k$, assuming that $m=cn$. In addition, we assign i.i.d. $U[0,1]$ weights $X_{\bf c},{\bf c}\inΩ_{n,k}$ and let the weight of a set of columns $C$ be $X(C)=\sum_{{\bf c}\in C}X_{\bf c}$. Let a basis be a set of $n-1_{k ext{even}}$ linearly independent columns. We obtain an asymptotically correct estimate for the minimum weight of a basis. This generalises the well-known result for $k=2$ viz. that the expected length of a minimum weight spanning tree tends to $ζ(3)$.

연구 동기 및 목표

• 정확히 $k$개의 1이 각 열에 있는 $n \times m$ 이진 행렬의 점점 질량을 $GF(2)$에서 결정하는 것.
• 관련된 무작위 초그래프의 2-핵과 연결된 임계 임계값 $m^*$에서 질량 행동의 단계 전이를 특성화하는 것.
• Frieze의 최소 무게 스패닝 트리 결과($\zeta(3)$)를 $k$-균일 초그래프로 확장하고, $k \geq 3$에 대해 최소 무게 기저의 기대값을 유도하는 것.
• 초그래프의 핵 구조와 확률적 분석을 사용하여 질량과 최소 무게 기저에 대한 정확한 점점 추정치를 제공하는 것.

제안 방법

• 행렬을 $H_{n,m;k}$로 표현하는 $k$-균일 무작위 초그래프의 인cidience 행렬로 모델링한다.
• 초그래프의 2-핵 $C_2$를 사용하여 행동을 분할: $m^*$ 이하에서는 질량이 $m$이고, 이하에서는 질량이 $m - |E(C_2)| + |C_2|$이다.
• 해 $x_c$에 대한 방정식 $x = (1 - e^{-cx})^{k-1}$의 점점 분석을 사용하여 임계 임계값 $c_k^*$와 $m^* = c_k^* n / k$를 정의한다.
• 크기 확률과 집중 경계를 적용하여 2-핵의 크기와 간선 수가 기대값 주위에 밀도 있게 집중됨을 보여준다.
• 적분 근사와 $c_k^*$에 대한 경계를 사용하여 가중치 기반 열 선택을 통한 최소 무게 기저 비용을 추정한다.
• 무작위 그래프 및 초그래프 이론의 결과를 활용하며, 특히 핵의 출현과 단계 전이에 중점을 둔다.

실험 결과

연구 질문

• RQ1 각 열에 정확히 $k$개의 1이 있는 $n \times m$ 이진 행렬의 점점 질량은 $m$의 함수로 어떻게 되는가?
• RQ2 임계 임계값 $m^*$에서 질량 전이가 어떻게 일어나며, 이는 초그래프의 어떤 구조적 특성에 의해 결정되는가?
• RQ3 $k \geq 3$일 때 최소 무게 기저의 기대 무게를 점점 추정할 수 있는가, Frieze의 $\zeta(3)$ 결과를 일반화할 수 있는가?
• RQ4 점점 $k$-균일 무작위 초그래프의 2-핵의 행동은 어떻게 되며, 이는 행렬의 질량에 어떤 영향을 미치는가?
• RQ5 $|C_2| = |E(C_2)|$인 임계값 $c_k^*$는 $k$에 따라 어떻게 변화하며, 어떤 경계를 설정할 수 있는가?

주요 결과

• For $m < m^*$, the rank of ${\bf A}_{n,m;k}$ is asymptotically $m$ with high probability.
• For $m \geq m^*$, the rank is asymptotically $m - |E(C_2)| + |C_2|$, where $C_2$ is the 2-core of the associated hypergraph.
• The critical threshold $m^* = c_k^* n / k$ is defined by the condition that the 2-core has equal number of vertices and edges, with $c_k^*$ solving a specific equation involving $x_c$.
• For $k=3$, the critical value is $c_3^* \approx 2.753699$, and for $k \geq 4$, $c_k^* \in [k(1 - \theta e^{-k}), k]$ with $\theta = 3/2$.
• The expected minimum weight basis cost $W_{n,k}$ is asymptotically determined by integrating over the hypergraph core structure and column weights.
• For $k \geq 3$, the matrix achieves full rank $n - \mathbf{1}(k \text{ even})$ with high probability when $m \geq \gamma n \log n$ for some $\gamma > 0$.