REVIEW 3 major objections 5 minor 32 references
High Performance Parallel Solvers for the time-harmonic Maxwell Equations
T0 review · 3 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read For large time-harmonic Maxwell systems, Hiptmair-Xu and Block Low-Rank preconditioning emerge as the two viable strategies among those tested.
desk verdict An honest, useful benchmark whose HX mesh-independence result is credible, but whose BLR conclusion rests on a single matrix and no code or data are shipped. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The machinery has three parts. First, the complex Maxwell system is split into real and imaginary parts, turning the original equation into a $2 \times 2$ block system whose diagonal blocks are $C - M$ (a curl-curl term minus a mass term) with boundary coupling $B$. Second, the Hiptmair-Xu preconditioner for the positive Maxwell operator $C + M + B$ is used to approximately invert the diagonal blocks of a block-diagonal preconditioner $$P = \mathrm{diag}(C + M + B,\; C + M + B),$$ with FGMRES as the outer solver and either preconditioned conjugate gradient or Hiptmair-Xu itself as the inner solver. Third, the Block Low-Rank preconditioner is a compressed LU factorization that replaces eligible off-diagonal dense blocks by low-rank approximations, controlled by a threshold $\varepsilon$, and then applies the compressed factors inside FGMRES.
What would settle it
Run the same FGMRES plus Hiptmair-Xu pipeline on the L-shaped-scatterer geometry at a fixed wavenumber and fixed points per wavelength while refining the mesh, and record the outer iteration count; significant growth with refinement would contradict the claimed mesh independence. Independently, push the wavenumber above 15 on the enlarged domain, where the paper's own scaling already shows iteration growth at least like $k^{0.86}$; a falsifier is observing that growth become superlinear or that FGMRES stalls before reaching the $10^{-8}$ relative residual target.
Extended reading notes
Core claim
On the paper's own terms, the discovery is a practical ranking of solver strategies for time-harmonic Maxwell scattering: among the tested methods, the Hiptmair-Xu preconditioner, adapted by splitting the field into real and imaginary parts and preconditioning each block by the positive Maxwell operator, and the Block Low-Rank compressed factorization, used as a preconditioner, are the two candidate strategies that deserve further development. Hiptmair-Xu keeps the outer FGMRES iteration count essentially constant as the mesh is refined for a fixed wavenumber, but the count grows with wavenumber and with the physical size of the domain. Block Low-Rank, applied inside FGMRES, converges in very few outer iterations at moderate compression thresholds and reduces both factorization time and memory relative to full-rank LU. The paper presents these as temporary conclusions from a work in progress, not as a proven theory.
Load-bearing premise
The load-bearing premise is empirical: the positive Maxwell operator $C + M + B$ used in the block-diagonal preconditioner is close enough to the indefinite split system that a few inner iterations still make the outer FGMRES converge. The paper does not prove this and explicitly notes that the $\sqrt{2}$ condition-number bound is not recovered, so higher wavenumbers, larger domains, or different scatterer geometries could break the mesh-independence and speed claims.
Editorial extensions
If this is right
- If the observed mesh-size independence holds more broadly, users can refine the mesh to control discretization error without increasing the outer iteration count for a fixed wavenumber, making large simulations more predictable.
- Block Low-Rank preconditioning lets practitioners keep some of the robustness of direct solvers while using less memory, and in the paper it succeeds on the 38-million-degree-of-freedom case where full-rank LU fails.
- The parallel scaling results suggest that iterative approaches benefit more from additional CPU cores than the direct solver, so they are the more natural route to very large electromagnetic problems.
- The growth of Hiptmair-Xu iterations with wavenumber and physical domain size signals that neither method will automatically handle high-frequency regimes, and the Block Low-Rank compression threshold sets a tunable trade-off among accuracy, speed, and memory.
Reading between the lines
- The paper's real/imaginary split doubles the number of unknowns, so its time and memory comparisons would shift even further in favor of the iterative solvers if the formulation were taken into account in the accounting.
- A natural untested combination is to use the Block Low-Rank factorization to invert the diagonal blocks of the positive Maxwell preconditioner inside the Hiptmair-Xu approach, potentially reducing both outer iterations and memory at once.
- The strong deterioration on the 50-times-larger domain suggests that Hiptmair-Xu in this form may be limited to moderate electrical sizes, and that sweeping or absorption-based domain decomposition strategies, which the paper lists as untested, would be needed to extend it.
- A concrete prediction from the paper's scaling is that for fixed points per wavelength the Hiptmair-Xu outer iteration count stays flat under mesh refinement but grows roughly like $k^{0.86}$ with wavenumber; testing other scatterer geometries would show whether that exponent is universal or geometry-dependent.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper reports an empirical comparison of four preconditioning strategies—ParaSails sparse approximate inverse, one-level overlapping restricted additive Schwarz (RAS), a Hiptmair-Xu (HX) based block-diagonal preconditioner, and MUMPS Block Low-Rank (BLR) factorization—together with full-rank LU, for time-harmonic Maxwell systems discretized by lowest-order Nédélec elements. The real/imaginary split formulation (11) is used for the hypre-based solvers, and experiments range up to about 38 million degrees of freedom on up to 400 CPU cores. The principal claims are that HX yields mesh-independent FGMRES iteration counts for the unit-cube/L-shaped-scatterer test case, and that BLR provides an attractive compression/accuracy trade-off; the paper explicitly labels these as temporary conclusions.
Significance. If the reported results hold, this is a useful practitioner-oriented comparison because it exercises readily available library preconditioners at scale and honestly reports a negative theoretical result (the sqrt(2) condition-number bound from [26] is not recovered for the indefinite split system). No fitted constants enter the reported quantities, and the HX leg is supported by several tables with stable iteration counts across mesh sizes. The BLR leg, however, rests on a single large test case, and no code or data are provided for independent verification. The paper's empirical claims are therefore credible but not yet at the level of a general recommendation for the BLR strategy.
major comments (3)
- [Section 3.4, Table 7] The BLR recommendation is supported by a single matrix (2x2,474,860 dofs, k=1, 10 ppw, 32 cores), and Table 8 only reuses that same case. The general statement in Section 4 that "with BLR, there is a compromise to be found" is stronger than this evidence: at higher wavenumbers, different mesh sizes, or different scatterer geometries, the off-diagonal blocks may become less low-rank and the compression/accuracy trade-off could shift unfavorably. I recommend either adding a parameter sweep in k, mesh size, and domain size for BLR, or explicitly limiting the BLR conclusion to the demonstrated regime.
- [Section 3.4, Table 7] The reported "compression" is the ratio of factor sizes and the reported time is the total solve time, so the memory-savings and speed claims for BLR cannot be separated into factorization/setup cost versus FGMRES iteration cost. Please report factorization time, memory usage, and iteration time as separate quantities, or otherwise substantiate the memory-savings claim.
- [Section 3.3, Eq. (15)] The mesh-independence conclusion for HX is empirical, and the only theoretical motivation cited for the block-diagonal preconditioner in (15) is the sqrt(2) condition-number bound from [26], which the authors state is not recovered. Because the preconditioner may be a poor approximation for other wavenumbers, domain sizes, or geometries, I ask for a quantitative diagnostic on at least one additional configuration (for example, estimated condition numbers of the preconditioned system or a second geometry) or a more explicit limitation statement in Section 4, so that the reader can assess how far the mesh-independence observation is expected to generalize.
minor comments (5)
- [Section 3.3, Table 3] The table headers "HX" and "HX as solver" are not defined in the captions; the text explains them, but a brief caption note would help. Similarly, the column "#CG" should state whether it refers to inner CG iterations for both block solves or their total.
- [Section 3.3] The statement that "the number of FGMRES iterations is at least proportional to k^0.86" appears to be based on only a few wavenumber values; please specify the fitting procedure or present the data points supporting this exponent.
- [Section 3.1] The claim that "with more dofs (not shown here), the number of GMRES iterations reaches the upper limit of 1000" is not supported by any table; either include the data or rephrase this as a qualitative observation.
- [Section 3.4] There is a typo in the text "preconditoner" which should be "preconditioner."
- [General] No code or data availability statement is provided. Given that all central conclusions are empirical, a reproducibility statement or a link to the experimental data and scripts would substantially strengthen the paper.
Circularity Check
No circularity: this is an empirical benchmark whose conclusions are direct measurements, not derived predictions.
full rationale
This paper is a numerical benchmark, not a derivation. The central claims—that Hiptmair-Xu yields mesh-independent iteration counts and that Block Low-Rank offers a speed/memory compromise—are direct readings of Tables 3–6 and 7–8, with no parameter fitted to the reported outputs. Solver tolerances and thresholds (relative residual 10^-8, inner CG tolerance 10^-2, BLR epsilon values) are chosen before the runs and are not tuned to the conclusions. The adaptation of the positive Maxwell preconditioner P in (15) is explicitly flagged in Section 3.3 as not recovering the sqrt(2) condition-number bound, so the authors do not present a theoretical guarantee as their evidence; the mesh-independence statement is empirical. Citations to [7] and [24,25,26] supply the preconditioner construction, not the numerical conclusions, and none are self-citations of the present authors. The BLR conclusion rests on one test matrix (Table 7), which is an evidence-strength concern, not circularity: the compression ratio 2.05 and 10 FGMRES iterations are measured quantities, not constructed outputs. Section 4's 'work in progress' hedge further limits the scope of the claims. No load-bearing step reduces to its own input by definition, and no fitted quantity is renamed as a prediction.
Assumptions & free parameters
free parameters (3)
- BLR compression threshold epsilon =
5e-3, 1e-3, 1e-5, 1e-9 (tested values)
- HX inner solver max iterations and tolerance =
20 iterations, 1e-2 relative residual
- ParaSails parameters m, thresh, filter =
m=3; thresh and filter varied (e.g., 0.001, 0.01, 0.05)
assumptions (4)
- domain assumption The weak formulation (2) of the time-harmonic Maxwell scattering problem has a unique solution.
- standard math The Hiptmair-Xu preconditioner (14) is an effective preconditioner for the positive Maxwell operator C+M+B.
- domain assumption The block-diagonal matrix P in (15) is a suitable preconditioner for the split indefinite system (11).
- domain assumption The BLR factorization with threshold epsilon retains enough accuracy to serve as a preconditioner for FGMRES.
Cite this review
Pith. "Pith review of High Performance Parallel Solvers for the time-harmonic Maxwell Equations." pith.science (2026). https://pith.science/paper/CMOMKY7V
@misc{pith2026250713066,
author = {Pith},
title = {Pith review of: High Performance Parallel Solvers for the time-harmonic Maxwell Equations},
year = {2026},
howpublished = {\url{https://pith.science/paper/CMOMKY7V}},
note = {Machine review of arXiv:2507.13066}
}
read the original abstract
We consider the numerical solution of large scale time-harmonic Maxwell equations. To this day, this problem remains difficult, in particular because the equations are neither Hermitian nor semi-definite. Our approach is to compare different strategies for solving this set of equations with preconditioners that are available either in PETSc, MUMPS, or in hypre. Four different preconditioners are considered. The first is the sparse approximate inverse, which is often applied to electromagnetic problems. The second is Restricted Additive Schwarz, a domain decomposition preconditioner. The third is the Hiptmair-Xu preconditioner which is tailored to the positive Maxwell equations, a nearby problem. The final preconditioner is MUMPS's Block Low-Rank method, a compressed block procedure. We also compare the performance of this method to the standard LU factorization technique, which is a direct solver. Performance with respect to the mesh size, the number of CPU cores, the wavelength and the physical size of the domain are considered. This work in progress yields temporary conclusions in favour of the Hiptmair-Xu and the Block Low-Rank preconditioners.
Figures
Reference graph
Works this paper leans on
-
[26]
An adaptive finite element method for the eddy current model with circuit/field couplings
Junqing Chen, Zhiming Chen, Tao Cui, and Lin-Bo Zhang. An adaptive finite element method for the eddy current model with circuit/field couplings. SIAM Journal on Scientific Computing , 32(2):1020–1042, 2010
work page 2010
-
[1]
Finite element methods for Maxwell’s equations
Peter Monk. Finite element methods for Maxwell’s equations . Numer. Math. Sci. Comput. Oxford: Oxford University Press, 2003
work page 2003
-
[2]
Jean-Claude Nedelec. Mixed finite elements in R3. Numer. Math. , 35:315–341, 1980
work page 1980
-
[3]
Iterative methods for sparse linear systems
Yousef Saad. Iterative methods for sparse linear systems. Philadelphia, PA: SIAM Society for Industrial and Applied Mathematics, 2nd ed. edition, 2003
work page 2003
-
[4]
O. G. Ernst and M. J. Gander. Why it is difficult to solve Helmholtz problems with classical iterative methods. In Numerical analysis of multiscale problems. Selected papers based on the presentations at the 91st London Mathematical Society symposium, Durham, UK, July 5–15, 2010., pages 325–363. Berlin: Springer, 2012
work page 2010
-
[5]
A priori sparsity patterns for parallel sparse approximate inverse preconditioners
Edmond Chow. A priori sparsity patterns for parallel sparse approximate inverse preconditioners. SIAM J. Sci. Comput. , 21(5):1804–1822, 2000
work page 2000
-
[6]
A restricted additive Schwarz preconditioner for general sparse linear systems
Xiao-Chuan Cai and Marcus Sarkis. A restricted additive Schwarz preconditioner for general sparse linear systems. SIAM J. Sci. Comput. , 21(2):792–797, 1999
work page 1999
-
[7]
Nodal auxiliary space preconditioning in H(curl) and H(div) spaces
Ralf Hiptmair and Jinchao Xu. Nodal auxiliary space preconditioning in H(curl) and H(div) spaces. SIAM J. Numer. Anal. , 45(6):2483–2509, 2007
work page 2007
Show all 32 references
-
[8]
Pasciak, and Leszek F
Jayadeep Gopalakrishnan, Joseph E. Pasciak, and Leszek F. Demkowicz. Analysis of a multigrid algorithm for time harmonic Maxwell equations. SIAM J. Numer. Anal. , 42(1):90–108, 2004
2004
-
[9]
Substructuring the Hiptmair- Xu preconditioner for positive definite H(curl, Ω) problems
Roxane Delville-Atchekzai, Xavier Claeys, and Matthieu Lecouvez. Substructuring the Hiptmair- Xu preconditioner for positive definite H(curl, Ω) problems. BIT, 64(3):18, 2024. Id/No 31
2024
-
[10]
Bonazzoli, V
M. Bonazzoli, V. Dolean, I. G. Graham, E. A. Spence, and P.-H. Tournier. Domain decomposition preconditioning for the high-frequency time-harmonic Maxwell equations with absorption. Math. Comput., 88(320):2559–2604, 2019
2019
-
[11]
Parallel domain decomposition solvers for the time harmonic Maxwell equations
Sven Beuchler, Sebastian Kinnewig, and Thomas Wick. Parallel domain decomposition solvers for the time harmonic Maxwell equations. In Domain decomposition methods in science and engineering XXVI. Selected papers based on the presentations at the 26th international conference o...
2020
-
[12]
Jayadeep Gopalakrishnan and Joseph E. Pasciak. Overlapping Schwarz preconditioners for indef- inite time harmonic Maxwell equations. Math. Comput. , 72(241):1–15, 2003
2003
-
[13]
Improved sweeping preconditioners for domain decom- position algorithms applied to time-harmonic Helmholtz and Maxwell problems
Alexandre Vion and Christophe Geuzaine. Improved sweeping preconditioners for domain decom- position algorithms applied to time-harmonic Helmholtz and Maxwell problems. ESAIM, Proc. Surv., 61:93–111, 2018
2018
-
[14]
A sweeping preconditioner for time-harmonic Maxwell’s equations with finite elements
Paul Tsuji, Bjorn Engquist, and Lexing Ying. A sweeping preconditioner for time-harmonic Maxwell’s equations with finite elements. J. Comput. Phys. , 231(9):3770–3783, 2012. 10
2012
-
[15]
Hierarchical LU preconditioning for the time-harmonic maxwell equation
Maryam Parvizi, Amirreza Khodadadian, Sven Beuchler, and Thomas Wick. Hierarchical LU preconditioning for the time-harmonic maxwell equation. In Zdenˇ ek Dost´ al, Tom´ aˇ s Kozubek, Axel Klawonn, Ulrich Langer, Luca F. Pavarino, Jakub ˇS ´ ıstek, and Olof B. Widlund, editors,...
2024
-
[16]
Baratta, Joseph P
Igor A. Baratta, Joseph P. Dean, Jørgen S. Dokken, Michal Habera, Jack S. Hale, Chris N. Richardson, Marie E. Rognes, Matthew W. Scroggs, Nathan Sime, and Garth N. Wells. DOLFINx: the next generation FEniCS problem solving environment. preprint, 2023
2023
-
[17]
Gropp, Lois Curfman McInnes, and Barry F
Satish Balay, William D. Gropp, Lois Curfman McInnes, and Barry F. Smith. Efficient manage- ment of parallelism in object oriented numerical software libraries. In E. Arge, A. M. Bruaset, and H. P. Langtangen, editors, Modern Software Tools in Scientific Computing , pages 163–...
1997
-
[18]
Dalcin, Rodrigo R
Lisandro D. Dalcin, Rodrigo R. Paz, Pablo A. Kler, and Alejandro Cosimo. Parallel distributed computing using Python. Advances in Water Resources , 34(9):1124–1139, 2011. New Computa- tional Methods and Software Tools
2011
-
[19]
A flexible inner-outer preconditioned GMRES algorithm
Youcef Saad. A flexible inner-outer preconditioned GMRES algorithm. SIAM J. Sci. Comput. , 14(2):461–469, 1993
1993
-
[20]
P. R. Amestoy, I. S. Duff, J.-Y. L’Excellent, and J. Koster. A fully asynchronous multifrontal solver using distributed dynamic scheduling. SIAM Journal on Matrix Analysis and Applications , 23(1):15–41, 2001
2001
-
[21]
hypre: High Performance Preconditioners
Lawrence Livermore National Laboratory. hypre: High Performance Preconditioners . https: //www.llnl.gov/casc/hypre
-
[22]
Kolev and Panayot S
Tzanio V. Kolev and Panayot S. Vassilevski. Parallel auxiliary space AMG for H (curl) problems. J. Comput. Math. , 27(5):604–623, 2009
2009
-
[23]
Domain decomposition methods – algorithms and theory
Andrea Toselli and Olof Widlund. Domain decomposition methods – algorithms and theory. , volume 34 of Springer Ser. Comput. Math. Berlin: Springer, 2005
2005
-
[24]
Large-scale 3d geoelectromagnetic modeling using parallel adaptive high-order finite element method
Alexander Grayver and Tzanio Kolev. Large-scale 3d geoelectromagnetic modeling using parallel adaptive high-order finite element method. GEOPHYSICS, 80:E277–E291, 11 2015
2015
-
[25]
Grayver and Markus B¨ urg
Alexander V. Grayver and Markus B¨ urg. Robust and scalable 3-d geo-electromagnetic modelling approach using the finite element method. Geophysical Journal International, 198(1):110–125, 04 2014
2014
-
[27]
Algebraic multigrid by component splitting for edge elements on simplicial triangu- lations
Rudolf Beck. Algebraic multigrid by component splitting for edge elements on simplicial triangu- lations. Technical Report SC-99-40, ZIB, Takustr. 7, 14195 Berlin, 1999
1999
-
[28]
An adaptive multilevel method for time-harmonic Maxwell equations with singularities
Zhiming Chen, Long Wang, and Weiying Zheng. An adaptive multilevel method for time-harmonic Maxwell equations with singularities. SIAM J. Sci. Comput. , 29(1):118–138, 2007
2007
-
[29]
Theses, Universit´ e Paul Sabatier - Toulouse III, November 2017
Th´ eo Mary.Block low-rank multifrontal solvers : complexity, performance, and scalability. Theses, Universit´ e Paul Sabatier - Toulouse III, November 2017
2017
-
[30]
Existence of H-matrix approximants to the inverse FE-matrix of elliptic operators with L∞-coefficients
Mario Bebendorf and Wolfgang Hackbusch. Existence of H-matrix approximants to the inverse FE-matrix of elliptic operators with L∞-coefficients. Numer. Math. , 95(1):1–28, 2003. 11
2003
-
[31]
On the complex- ity of the block low-rank multifrontal factorization
Patrick Amestoy, Alfredo Buttari, Jean-Yves L’Excellent, and Theo Mary. On the complex- ity of the block low-rank multifrontal factorization. SIAM Journal on Scientific Computing , 39(4):A1710–A1740, 2017
2017
-
[32]
Improving multifrontal methods by means of block low-rank representations
Patrick Amestoy, Cleve Ashcraft, Olivier Boiteau, Alfredo Buttari, Jean-Yves L’Excellent, and Cl´ ement Weisbecker. Improving multifrontal methods by means of block low-rank representations. SIAM Journal on Scientific Computing , 37(3):A1451–A1474, 2015. 12
2015
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.