[논문 리뷰] Quadrangularity and Strong Quadrangularity in Tournaments

J. Richard Lundgren, K. B. Reid외 2명|ArXiv.org|2004. 09. 24.

Polynomial and algebraic computation참고 문헌 7인용 수 5

한 줄 요약

이 논문은 직교 행렬을 지지할 수 있는 토너먼트의 존재성을 조사하기 위해 이중성 조건인 사각성과 강한 사각성을 도입하고 분석한다. 3사이클을 제외한 10개 이하 정점을 가진 토너먼트는 직교 행렬의 디그래프가 될 수 없음을 증명하며, 무한한 강한 사각성 토너먼트의 가족을 구성함으로써 이러한 토너먼트는 소수의 순서를 초과해 존재하지 않을 수 있음을 시사한다.

ABSTRACT

The pattern of a matrix M is a (0,1)-matrix which replaces all non-zero entries of M with a 1. A directed graph is said to support M if its adjacency matrix is the pattern of M. If M is an orthogonal matrix, then a digraph which supports M must satisfy a condition known as quadrangularity. We look at quadrangularity in tournaments and determine for which orders quadrangular tournaments exist. We also look at a more restrictive necessary condition for a digraph to support an orthogonal matrix, and give a construction for tournaments which meet this condition.

연구 동기 및 목표

• 몇몇 순서 n에 대해 사각성 토너먼트가 존재하는지 규명하는 것.
• 직교 행렬을 지지하기 위한 필요 조건으로서 강한 사각성 조건을 조사하는 것.
• 무한한 강한 사각성 토너먼트의 가족을 구성하는 것.
• 3사이클를 제외한 어떤 토너먼트도 직교 행렬의 디그래프가 될 수 있는지 여부를 해결하는 열린 문제를 해결하는 것.
• 3사이클를 제외한 10개 이하 정점을 가진 토너먼트가 존재하지 않음을 증명함으로써 소수의 순서에 대해 부정적인 결과를 제공하는 것.

제안 방법

• 토너먼트의 모든 서로 다른 u, v에 대해 |O(u) ∩ O(v)| ≠ 1 이고 |I(u) ∩ I(v)| ≠ 1 이라는 조건을 통해 사각성을 정의하는 것.
• 구조 정리들을 사용하여, 외부 사각성 토너먼트에서는 외부 집합에 의해 유도되는 부분토너먼트에 외부 차수 1인 정점이 존재하지 않음을 보이는 것.
• 강한 사각성을 개념화하여, 모든 정점 쌍에 대해 그들의 외부 집합과 내부 차수의 교차 크기가 1이 되지 않도록 요구하는 것.
• 5사이클 인접행렬 RT₅를 기반으로 한 재귀적 블록 행렬 구성 방법을 사용하여 강한 사각성 토너먼트의 무한한 가족을 구성하는 것.
• 가능한 직교 행렬에 대한 내적 곱 제약 조건을 사용한 세밀한 대수적 추론을 수행하여, 세 개의 5사이클로 구성된 15정점 토너먼트에 대해 이러한 행렬이 존재한다고 가정할 경우 모순이 발생함을 보이는 것.
• 기존의 지배 수와 제곱 잔여물 토너먼트 결과를 활용하여 9정점 토너먼트에 대한 가능한 구성들을 제거하는 것.

실험 결과

연구 질문

• RQ1 몇몇 순서 n에 대해 사각성 토너먼트가 존재하는가?
• RQ2 3사이클를 제외한 어떤 토너먼트도 직교 행렬을 지지할 수 있는가?
• RQ3 무한한 강한 사각성 토너먼트의 가족을 구성할 수 있는가?
• RQ4 직교 행렬을 지지하는 토너먼트는 어떤 구조적 제약 조건을 만족하는가?
• RQ5 세 개의 5사이클로 구성된 15정점 토너먼트가 왜 직교 행렬을 지지하지 못하는가?

주요 결과

• 3사이클를 제외한 10개 이하 정점 수를 가진 토너먼트는 직교 행렬의 디그래프가 될 수 없다.
• n ≤ 10인 경우 사각성 토너먼트는 n = 1, 2, 3, 또는 9일 때만 존재하며, 랭크와 영행렬 제약 조건으로 인해 유일하게 가능한 것은 3사이클 뿐이다.
• 사각성 조건을 만족하는 유일한 9정점 토너먼트는 최소 외부 차수 1을 가지며, 그 구조상 QR₇와 동형인 부분그래프를 강제로 유도하며, 이는 강한 사각성 조건을 위반한다.
• 5사이클의 블록 행렬을 순환적으로 조합하여 구성한 15정점 토너먼트는 열 벡터 간의 선형 종속성이 발생하여 직교성 조건을 위반하므로 직교 행렬을 지지할 수 없다.
• 5사이클 인접행렬을 기반으로 한 재귀적 블록 행렬 방법을 사용하여 무한한 강한 사각성 토너먼트의 가족을 구성하였다.
• 논문은 비자명한 토너먼트(3사이클를 제외한)가 직교 행렬을 지지하지 못할 것임을 강력한 증거로 제시하며, 이러한 토너먼트가 존재하지 않을 가능성이 높음을 시사한다.