Optimal transfer operators for nonsymmetric two-grid methods
以 B-正規矩陣為核心，首次為非對稱代數多重網格建立統一 B-范數收斂框架，推導最優插值算符 P* = B⁻¹A^HR 的顯式構造。
- E+ 算符無需對光滑矩陣作額外假設即可達到 HPD 情形的所有收斂性質，代價是後光滑須改用 B-伴隨算符。
- 最優插值算符 P* = B⁻¹A^HR 使粗網格修正成為 B-正交投影，誤差 B-范數達到可達最小值 1。
- B-正規矩陣（AA⁺ = A⁺A）是非對稱 AMG 特有的新核心假設，在 HPD 理論中完全沒有對應概念。
代數多重網格法（Algebraic Multigrid，AMG）在求解大規模線性方程組 Ax = b 時，若 A 是 Hermitian 正定矩陣（HPD），收斂理論已相當完備；但當 A 為非對稱、不定矩陣時，各種分析結果長期散落在不同范數假設之下，缺乏統一語言。柏林工業大學（Technische Universität Berlin）數學系的 Nabben 與 Rooch 在本篇 arXiv 預印本中，以任意 B-范數為基礎，建立了涵蓋所有現有非對稱 AMG 結果的統一收斂框架，並推導出兩種誤差傳遞算符各自的最優轉移算符。
從 HPD 到非對稱不定矩陣：AMG 為何需要新框架
代數多重網格法的核心機制是：在「粗網格」和「細網格」之間來回傳遞訊息，用插值算符 P 和限制算符 R 連接兩個尺度，交替執行「光滑」（smoothing）和「粗網格修正」（coarse-grid correction）兩個步驟。對 HPD 矩陣而言，收斂性由 A-范數完整刻畫，理論已非常成熟。但一旦 A 失去對稱性與正定性——例如對流擴散偏微分方程的有限元離散——就沒有統一的收斂保證。近年出現了針對特殊范數（如 √(A^H A)-范數、M-范數）的零散結果，但彼此互不相容，沒有共同的數學語言。本文目標是提供這個語言：以任意 HPD 矩陣 B 導出的 B-內積為基礎，一次性涵蓋 HPD 情形及所有已知非對稱結果。
B-正規矩陣：非對稱 AMG 分析的核心新概念
論文引入的關鍵新概念是 B-正規矩陣（B-normal matrix）：若矩陣 A 的 B-伴隨 A⁺ = B⁻¹ A^H B 滿足 AA⁺ = A⁺A，則稱 A 為 B-正規的。這是標準正規矩陣在任意 B-內積下的推廣。核心等價刻畫（Theorem 2.9）顯示：A 是 B-正規的，當且僅當 A 可在某個 B-么正矩陣下被對角化，或等價地，A 的特徵向量也是 A⁺ 的特徵向量（對應特徵值取複共軛）。這個性質此前已在 Krylov 子空間短遞迴理論中出現，但本文是首次將其系統引入 AMG 收斂分析。特別值得注意的是：若 A 是 B-正規的，則 ‖A‖_B = ρ(A)（B-范數等於譜半徑），這一等式在 HPD 情形早已熟知，現在嚴格推廣到非對稱設定。
兩種誤差傳遞算符的結構差異與各自的收斂條件
論文定義了兩種誤差傳遞算符，分別對應不同的後光滑選擇：E+（後光滑用 B-伴隨算符 (M⁻¹A)⁺）和 E（前後光滑均用同一個 M⁻¹A）。E+ 是 HPD 情形誤差算符的自然推廣——它的「B-伴隨對稱」性質（即 (E+^{ν,ν})⁺ = E+^{ν,ν}）不需要對光滑矩陣 M⁻¹A 作任何額外假設，只要粗網格修正 Π_A 是 B-正交投影即可。相比之下，E 結構更簡單，前後光滑用同一算符，但要達到相同理論性質，必須額外假設 M⁻¹A 是 B-正規的——這個假設在 HPD 理論中完全沒有對應物，是非對稱情形特有的新門檻。論文同時引入了「對稱化光滑矩陣」M̃⁻¹ 和 M̂⁻¹，它們在 B = A 為 HPD 時恰好退化為 AMG 文獻中熟知的對稱化光滑算符，為非對稱情形提供了正確的理論類比。
最優插值與限制算符的顯式構造
收斂分析的另一半是：如何選取插值算符 P 和限制算符 R 使誤差范數最小？論文給出的答案是相容轉移算符（compatible transfer operators）：給定任意全秩限制算符 R，最優插值 P* = B⁻¹ A^H R 使得粗網格修正 Π_A(P, R) 成為 B-正交投影；反之，給定任意全秩插值算符 P，最優限制 R = A⁻ᴴ B P**。這兩個公式的幾何意義是：令 R(P) 與 B⁻¹ A^H R 張成同一個子空間，從而使投影算符在 B-內積意義下成為正交投影（‖I − Π_A‖_B = 1，即最小可能值）。對兩種誤差算符而言，最優轉移算符的構造形式相同；差異在於 E 需要 B-正規假設才能從這個最優構造推導出完整的收斂上界。
統一框架的意義與後續工作方向
本文的核心貢獻在於統一性：E+ 框架在不附加任何額外假設的情況下，重現了 HPD 情形的所有主要收斂結論，同時將散落在不同文獻中的非對稱結果納入單一體系。E 框架則以 B-正規假設換取結構簡潔，對應了近年文獻中的若干特例。論文明確指出這是系列工作的第一部分，後續工作（[30]）將給出更精確的誤差上界，分析粗網格變數數量對收斂速度的影響，並把 McCormick 經典 V-cycle 收斂界推廣到非對稱不定情形——這是數值線性代數領域長期懸而未決的目標之一。
B-正規假設是非對稱 AMG 的新分水嶺：放棄它可以用更複雜的 E+ 算符換回「類 HPD」收斂保證，但後光滑步驟必須改用 B-伴隨算符。