[논문 리뷰] On the maximum rank of Toeplitz block matrices of blocks of a given pattern

Gunther Reißig|arXiv (Cornell University)|2013. 05. 18.

Matrix Theory and Algorithms참고 문헌 10인용 수 4

한 줄 요약

이 논문은 블록 하삼각 토플리츠 블록 행렬에서 블록이 구조적 조건을 만족할 경우—즉, 비영인 위치는 고정되어 있으나 그 값은 자유롭게 변할 수 있을 때—최대 랭크가 구조적 제약 조건 하에서 가능한 최대 랭크인 텀 랭크(term rank)와 일치함을 증명한다. 증명은 조합 최적화 도구, 특히 코닉-에르베르티 정리와 매개변수 프로그래밍을 사용하며, 이 최대 랭크가 이진 매개변수 값(0 또는 1)에서 달성될 수 있음을 보여주며, 이 경우 랭크는 해당 행렬 구성에서 비영인 원소의 수와 같다.

ABSTRACT

We show that the maximum rank of block lower triangular Toeplitz block matrices equals their term rank if the blocks fulfill a structural condition, i.e., only the locations but not the values of their nonzeros are fixed.

연구 동기 및 목표

• 블록 하삼각 토플리츠 블록 행렬의 블록 원소에 대한 구조적 제약 조건 하에서 가능한 최대 랭크를 결정하는 것.
• 이 최대 랭크가 비영인 블록 위치에 매개변수를 할당할 수 있는 최대 랭크로 정의되는 텀 랭크와 일치함을 입증하는 것.
• 이 최대 랭크가 이진 매개변수 값(0 또는 1)만을 사용하여 달성될 수 있음을 보여주는 것—최적 구성의 탐색을 단순화함.
• 코닉-에르베르티 정리와 매개변수 프로그래밍을 사용하여 이전 특수 케이스에 대한 일반화된 간결한 증명을 제공하는 것.
• 시스템 및 제어 이론에서 디스크립터 및 상태공간 시스템에 특히 적용 가능한, 토플리츠 블록 행렬에 대한 구조적 분석 프레임워크를 확장하는 것.

제안 방법

• 저자들은 블록 행과 열 인덱스를 정점으로, 비영인 블록 위치를 간선으로 하는 이분 그래프 G(H)를 사용하여 블록 행렬의 구조를 모델링한다.
• 각 간선에 대해 블록 인덱스 i에 해당하는 가중치 함수 w를 정의하며, (H_i)_{r,c} ≠ 0이면 w_{r,c} = -i로 한다.
• T_k(H)의 텀 랭크는 크기가 μ인 매칭에 대해 가중치가 있는 이분 매칭 문제 A(G,w,μ)의 최적값으로 정의되며, 이를 δ(μ)로 표기한다.
• 코닉-에르베르티 정리를 사용하여 G(T_k(H))의 최대 매칭이 원래 그래프 G(H)의 구조와 관련이 있음을 보이며, G(H)의 매칭이 G(T_k(H))에서도 같은 크기의 매칭을 유도함을 보인다.
• T_k(H)(p)의 원소가 유도된 매칭 X'의 값이 1인 위치에서만 1이 되고, 나머지는 0이 되는 이진 매개변수 할당 p ∈ {0,1}^q를 구성한다.
• T_k(H)(p)의 랭크가 유도된 매칭 X'의 크기와 같고, 이 값이 텀 랭크와 일치함을 보여, 주요 등식을 증명한다.

실험 결과

연구 질문

• RQ1 비영인 위치만 고정되어 있을 때, 체 위에서 블록 하삼각 토플리츠 행렬의 최대 랭크가 텀 랭크와 일치하는가?
• RQ2 이 최대 랭크가 블록 원소의 매개변수 값으로 이진 값(0 또는 1)만을 사용하여 달성될 수 있는가?
• RQ3 특수 케이스인 k=1, k=2 또는 펜슬 구조에 대한 이전 결과들을 통합하고 일반화하는 일반적이고 간단한 증명이 존재하는가?
• RQ4 각 비영인 원소가 별개의 자유 매개변수로 간주되는 구조적 조건이 토플리츠 블록 행렬의 랭크 최대화 문제와 어떻게 상호작용하는가?
• RQ5 매개변수 프로그래밍과 이분 매칭 이론을 사용하여 이러한 행렬의 일반 랭크에 대한 날카로운 상한을 유도할 수 있는가?

주요 결과

• 모든 매개변수 값 p ∈ F^q 에 대해 T_k(H)(p)의 최대 랭크는 T_k(H)의 텀 랭크와 일치한다. 즉, max_p rk T_k(H)(p) = rk_t T_k(H).
• 이 최대 랭크는 어떤 p ∈ {0,1}^q 에서도 달성되며, 이는 최고의 랭크를 달성하기 위해 이진 값만으로도 충분함을 의미한다.
• 최적의 p에서 T_k(H)(p)의 랭크는 행렬 내 비영인 원소의 수와 같으며, 이는 이분 그래프 G(T_k(H))에서 유도된 매칭의 크기와 같다.
• 증명은 랭크 최대화 문제를 가중치가 있는 이분 매칭 문제로 변환하고, 코닉-에르베르티 정리를 사용하여 최대 랭크와 텀 랭크 간의 등식을 확립하는 데 기반한다.
• 이 결과는 이전에 H_1이 대각행렬이거나 비특이적이거나 H가 펜슬임을 추가로 가정한 바 있었던 결과들을 일반화하여 임의의 체에서 성립한다.
• 이전 특수 케이스에 대한 증명보다 훨씬 간결하고 일반적이며, 코닉-에르베르티 정리와 매개변수 프로그래밍의 보조정리 두 가지 비트리비얼 사실만을 사용한다.