[论文解读] Quadrangularity and Strong Quadrangularity in Tournaments

J. Richard Lundgren, K. B. Reid+2 more|ArXiv.org|Sep 24, 2004

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-圈外）能作為正交矩陣的有向圖。
• 透過證明在10個或更少頂點的情況下，除3-圈外不存在此類競賽圖，提供小規模下的負面結果。

提出的方法

• 透過條件 |O(u) ∩ O(v)| ≠ 1 與 |I(u) ∩ I(v)| ≠ 1 對所有相異的 u, v 定義四邊形性。
• 利用結構定理證明，在出度四邊形競賽圖中，其出集所誘導的子圖不包含出度為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₇ 同構的子圖，但此子圖不滿足強四邊形性。
• 所構造的15-頂點競賽圖（由 RT₅ 的循環分塊矩陣構成）無法支援正交矩陣，因其欄向量存在線性相關性，違反正交性。
• 利用基於5-圈鄰接矩陣的遞歸分塊矩陣方法，構造了一個無限多個強四邊形競賽圖的家族。
• 本文提供了強烈證據，顯示除3-圈外，不存在非平凡的競賽圖能支援正交矩陣，暗示此類競賽圖可能根本不存在。