Norm-based convergence bounds for nonsymmetric algebraic V-cycle multigrid methods
Pith reviewed 2026-05-09 20:50 UTC · model grok-4.3
The pith
The classic McCormick V-cycle bound extends to nonsymmetric algebraic multigrid when using B-induced norms and B-orthogonal projections.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For nonsymmetric matrices, the norm of the V-cycle error propagation operator measured in a B-induced norm is bounded by a constant that depends only on the two-grid convergence factors and the number of smoothing steps, provided the smoother satisfies B-normality for the simpler operator; the bound is obtained by using B-orthogonal coarse-grid corrections constructed from compatible transfer operators.
What carries the argument
B-orthogonal projections onto the coarse space, built from compatible interpolation and restriction operators, that enforce orthogonality in the B-inner product and allow the error operators to be bounded in the B-norm.
If this is right
- Sharp estimates hold for the norms of both two-grid error operators under arbitrary compatible transfer operators that produce B-orthogonal corrections.
- The norm of the error propagation operator decreases monotonically as the dimension of the coarse space increases.
- The V-cycle bound remains independent of the number of levels for both the natural generalization and the simpler operator once B-normality holds.
- Convergence rates for nonsymmetric problems can be controlled without requiring symmetry or positive definiteness of the matrix A.
Where Pith is reading between the lines
- Designers of algebraic multigrid preconditioners for nonsymmetric problems can use the B-normality condition as a practical selection criterion for smoothers.
- Choosing B to reflect the dominant structure of a given indefinite problem may tighten the bounds in applications such as convection-dominated flows.
- The same norm-based approach could be tested on other iterative methods that rely on approximate orthogonal corrections, such as certain domain-decomposition schemes.
Load-bearing premise
The smoother must satisfy the B-normality condition for the simpler multigrid operator to achieve the stated V-cycle bound.
What would settle it
A concrete counterexample consisting of a small nonsymmetric test matrix and a smoother that violates B-normality, together with an explicit computation showing that the V-cycle error norm exceeds the predicted bound.
read the original abstract
Recently a new approach to analyze and create algebraic multigrid methods (AMG) for nonsymmetric and indefinite matrices was established. Convergence is measured in general norms induced by a certain HPD matrix $B$ and $B$-orthogonal projections built by compatible transfer operators are used. Here we continue our theoretical framework, started in Nabben and Rooch (2026), for nonsymmetric algebraic multigrid methods using any HPD matrix $B$ to induce a norm. Our framework not only includes all recent results but also provides many new results. We consider two, slightly different, multigrid operators. The first one is the natural generalization of the error operator in the HPD case. The second operator is simpler to apply and has been studied before. However, an additional condition for the smoother $M^{-1}A$ is needed, which is in our terminology the $B$-normality. We explain the differences and similarities of both operators in detail and show, why the extra condition is needed. We consider arbitrary interpolation and restriction operators that result in $B$-orthogonal coarse-grid corrections and give sharp estimates for the norm of the error propagation matrices for the two-grid methods. We also show, that the norms are decreasing if we increase the size of the coarse space. Moreover, we are able to extend the landmark $V$-cycle bound by McCormick to the nonsymmetric case.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper continues the authors' 2026 framework for nonsymmetric AMG analysis in norms induced by an arbitrary HPD matrix B. It distinguishes a natural generalization of the symmetric-case error operator from a simpler operator (previously studied), derives sharp two-grid bounds on the norm of the error propagation operator for arbitrary B-orthogonal projections, proves that these norms are monotonically decreasing in the dimension of the coarse space, and extends McCormick's V-cycle bound to the nonsymmetric setting, subject to an additional B-normality condition on the smoother M^{-1}A.
Significance. If the derivations hold, the work meaningfully generalizes landmark SPD results (including McCormick's V-cycle bound and monotonicity properties) to nonsymmetric and indefinite problems via B-induced norms and B-orthogonal projections. The explicit comparison of the two operators and the sharp two-grid estimates are useful contributions that could inform AMG design beyond the symmetric case.
minor comments (3)
- [Abstract] The abstract and introduction should more explicitly flag that the V-cycle extension applies only under the B-normality condition on the smoother (rather than stating the extension and then noting the condition separately), to avoid any initial overstatement of scope.
- [References] The reference 'Nabben and Rooch (2026)' is cited as the starting point of the framework; confirm its publication status and update the bibliography entry if it has appeared or been assigned a different identifier.
- [Introduction / Section 2] Notation for the two error operators (natural generalization vs. simpler operator) should be introduced with a short table or explicit comparison early in the manuscript to help readers track which operator is under discussion in each theorem.
Simulated Author's Rebuttal
We thank the referee for the positive and accurate summary of our manuscript, as well as the recommendation for minor revision. The referee correctly highlights the key elements of our work: the distinction between the two error operators, the sharp two-grid bounds for arbitrary B-orthogonal projections, the monotonicity of the norms with respect to coarse-space dimension, and the extension of McCormick's V-cycle result under the additional B-normality condition on the smoother. We are pleased that the potential impact on AMG design for nonsymmetric and indefinite problems is recognized.
Circularity Check
Minor self-citation to 2026 framework; new V-cycle and two-grid derivations remain independent
full rationale
The paper explicitly continues the authors' prior 2026 framework for B-norm-induced norms and B-orthogonal projections in nonsymmetric AMG, but the central results—sharp two-grid error bounds for arbitrary B-orthogonal transfers, monotonicity of those norms with increasing coarse-space dimension, and the extension of McCormick's V-cycle convergence bound—are presented as fresh derivations in this manuscript. The B-normality condition on the smoother is introduced as an explicit additional assumption required for one of the two error operators, not as a hidden fit or redefinition. No equation or bound is shown to equal its own input by construction, and the McCormick extension is obtained by adapting the new two-grid estimates rather than by renaming or tautologically reusing prior fitted quantities. The self-citation therefore supplies background context without rendering the claimed predictions or first-principles results circular.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption B is Hermitian positive definite (HPD)
- domain assumption Interpolation and restriction operators are compatible and produce B-orthogonal coarse-grid corrections
Forward citations
Cited by 1 Pith paper
-
Optimal transfer operators for nonsymmetric two-grid methods
New convergence framework and optimal interpolation/restriction operators for nonsymmetric two-grid AMG methods under general B-norms.
Reference graph
Works this paper leans on
-
[1]
A. Ali, J. J. Brannick, K. Kahl, O. A. Krzysik, J. B. Schroder, and B. S. Southworth , Generalized optimal AMG convergence theory for nonsymmetric and indefinite problems , SIAM Journal on Scientific Computing, 0 (2025), pp. S89--S111, https://doi.org/10.1137/24M1679288
-
[2]
Batalha and R
M. Batalha and R. Nabben , B-orthogonal projections in the convergence analysis of nonsymmetric algebraic multigrid , to be published in SIAM J. Matrix Anal. Appl, (2026)
2026
-
[3]
Brandt, S
A. Brandt, S. McCormick, and J. Ruge , Algebraic multigrid ( AMG ) for sparse matrix equations , in Sparsity and its applications ( L oughborough, 1983), Cambridge Univ. Press, Cambridge, 1985, pp. 257--284
1983
-
[4]
J. Brannick, F. Cao, K. Kahl, R. D. Falgout, and X. Hu , Optimal interpolation and compatible relaxation in classical algebraic multigrid , SIAM J. Sci. Comput., 40 (2018), pp. A1473--A1493, https://doi.org/10.1137/17M1123456
-
[5]
M. Brezina, T. Manteuffel, S. McCormick, J. Ruge, and G. Sanders , Towards adaptive smoothed aggregation ( SA ) for nonsymmetric problems , SIAM J. Sci. Comput., 32 (2010), pp. 14--39, https://doi.org/10.1137/080727336
-
[6]
L. Elsner and K. D. Ikramov , Normal matrices: an update , Linear Algebra Appl., 285 (1998), pp. 291--303, https://doi.org/10.1016/S0024-3795(98)10161-1
-
[7]
R. D. Falgout and P. S. Vassilevski , On generalizing the algebraic multigrid framework , SIAM J. Numer. Anal., 42 (2004), pp. 1669--1693, https://doi.org/10.1137/S0036142903429742
-
[8]
R. D. Falgout, P. S. Vassilevski, and L. T. Zikatanov , On two-grid convergence estimates , Numer. Linear Algebra Appl., 12 (2005), pp. 471--494, https://doi.org/10.1002/nla.437
-
[9]
L. Garc\' a Ramos, R. Kehl, and R. Nabben , Projections, deflation, and multigrid for nonsymmetric matrices , SIAM J. Matrix Anal. Appl., 41 (2020), pp. 83--105, https://doi.org/10.1137/18M1180268
-
[10]
L. García Ramos and R. Nabben , On optimal algebraic multigrid methods , 2019, https://arxiv.org/abs/1906.01381
-
[11]
R. Grone, C. R. Johnson, E. M. Sa, and H. Wolkowicz , Normal matrices , Linear Algebra Appl., 87 (1987), pp. 213--225, https://doi.org/10.1016/0024-3795(87)90168-6
-
[12]
R. A. Horn and C. R. Johnson , Matrix analysis , Cambridge University Press, Cambridge, second ed., 2013
2013
-
[13]
R. Kehl and R. Nabben , Avoiding singular coarse grid systems , Linear Algebra Appl., 507 (2016), pp. 137--152, https://doi.org/10.1016/j.laa.2016.05.025, https://doi.org/10.1016/j.laa.2016.05.025
- [14]
-
[15]
J. Lottes , Towards robust algebraic multigrid methods for nonsymmetric problems , Springer Theses, Springer, Cham, 2017, https://doi.org/10.1007/978-3-319-56306-0. Doctoral thesis accepted by University of Oxford, UK
-
[16]
S. P. MacLachlan and L. N. Olson , Theoretical bounds for algebraic multigrid performance: review and analysis , Numer. Linear Algebra Appl., 21 (2014), pp. 194--220, https://doi.org/10.1002/nla.1930
-
[17]
T. Manteuffel and B. S. Southworth , Convergence in norm of nonsymmetric algebraic multigrid , SIAM J. Sci. Comput., 41 (2019), pp. S269--S296, https://doi.org/10.1137/18M1193773
-
[18]
T. A. Manteuffel, L. N. Olson, J. B. Schroder, and B. S. Southworth , A root-node-based algebraic multigrid method , SIAM J. Sci. Comput., 39 (2017), pp. S723--S756, https://doi.org/10.1137/16M1082706
-
[19]
T. A. Manteuffel, J. Ruge, and B. S. Southworth , Nonsymmetric algebraic multigrid based on local approximate ideal restriction ( AIR) , SIAM J. Sci. Comput., 40 (2018), pp. A4105--A4130, https://doi.org/10.1137/17M1144350
-
[20]
McCormick , Multigrid methods for variational problems: further results , SIAM journal on numerical analysis, 21 (1984), pp
S. McCormick , Multigrid methods for variational problems: further results , SIAM journal on numerical analysis, 21 (1984), pp. 255--263
1984
-
[21]
McCormick , Multigrid methods for variational problems: general theory for the v-cycle , SIAM Journal on Numerical Analysis, 22 (1985), pp
S. McCormick , Multigrid methods for variational problems: general theory for the v-cycle , SIAM Journal on Numerical Analysis, 22 (1985), pp. 634--643
1985
-
[22]
C. Mense and R. Nabben , On algebraic multi-level methods for non-symmetric systems---comparison results , Linear Algebra Appl., 429 (2008), pp. 2567--2588, https://doi.org/10.1016/j.laa.2008.04.045, https://doi.org/10.1016/j.laa.2008.04.045
-
[23]
Mense and R
C. Mense and R. Nabben , On algebraic multilevel methods for non-symmetric systems---convergence results , Electron. Trans. Numer. Anal., 30 (2008), pp. 323--345
2008
-
[24]
Optimal transfer operators for nonsymmetric two-grid methods
R. Nabben and L. Rooch , Optimal transfer operators for nonsymmetric two-grid methods , 2026, https://arxiv.org/abs/2604.21648
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[25]
Napov and Y
A. Napov and Y. Notay , Comparison of bounds for v-cycle multigrid , Applied numerical mathematics, 60 (2010), pp. 176--192
2010
-
[26]
Notay , Algebraic analysis of two-grid methods: T he nonsymmetric case , Numer
Y. Notay , Algebraic analysis of two-grid methods: T he nonsymmetric case , Numer. Linear Algebra Appl., 17 (2010), pp. 73--96, https://doi.org/10.1002/nla.649
-
[27]
Notay , Algebraic Theory of Two-Grid Methods , Numer
Y. Notay , Algebraic Theory of Two-Grid Methods , Numer. Math. Theory Methods Appl., 8 (2015), pp. 168--198
2015
-
[28]
Notay , Algebraic two-level convergence theory for singular systems , SIAM J
Y. Notay , Algebraic two-level convergence theory for singular systems , SIAM J. Matrix Anal. Appl., 37 (2016), pp. 1419--1439, https://doi.org/10.1137/15M1031539
-
[29]
Notay , Analysis of two-grid methods: the nonnormal case , Math
Y. Notay , Analysis of two-grid methods: the nonnormal case , Math. Comp., 89 (2020), pp. 807--827, https://doi.org/10.1090/mcom/3460
-
[30]
J. W. R uge and K. S t \"u ben , A lgebraic multigrid , in Multigrid methods, vol. 3 of Frontiers Appl. Math., SIAM, Philadelphia, PA, 1987, pp. 73--130
1987
-
[31]
B. S. Southworth and T. A. Manteuffel , On compatible transfer operators in nonsymmetric algebraic multigrid , SIAM Journal on Matrix Analysis and Applications, 45 (2024), pp. 1245--1258
2024
-
[32]
S t \"u ben , A lgebraic multigrid ( AMG ): experiences and comparisons , A ppl
K. S t \"u ben , A lgebraic multigrid ( AMG ): experiences and comparisons , A ppl. M ath. C omput., 13 (1983), pp. 419--451
1983
-
[33]
Trottenberg, C
U. Trottenberg, C. Oosterlee, and A. Sch\"uller , Multigrid , Academic Press, New York, 2001
2001
-
[34]
P. S. Vassilevski , Multilevel block factorization preconditioners , Springer, New York, 2008. Matrix-based analysis and algorithms for solving finite element equations
2008
-
[35]
T. A. Wiesner, R. S. Tuminaro, W. A. Wall, and M. W. Gee , Multigrid transfers for nonsymmetric systems based on S chur complements and G alerkin projections , Numer. Linear Algebra Appl., 21 (2014), pp. 415--438, https://doi.org/10.1002/nla.1889
-
[36]
J. Xu and L. Zikatanov , Algebraic multigrid methods , Acta Numer., 26 (2017), pp. 591--721, https://doi.org/10.1017/S0962492917000083
-
[37]
X. Xu , Convergence analysis of a two-grid method for nonsymmetric positive definite problems , 2022, https://arxiv.org/abs/2204.07918
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.