{"id":"c4226f84-632f-4d98-9ae0-3309be7208c8","arxiv_id":"2501.00938","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Local overlapping Schwarz smoothers are shown to lose multigrid smoothing quality as anisotropy increases, requiring blocks of size O(epsilon^{-1/2}) to remain robust.","lead":"This numerical analysis paper proves that local overlapping patch-based smoothers fail as multigrid smoothers for anisotropic diffusion: for any fixed patch size, smoothing quality gets worse without bound as the anisotropy ratio shrinks. It also shows that robust smoothing would require patches that grow like the inverse square root of the anisotropy ratio, so for strong anisotropy only global line-based smoothers remain practical.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3's smoothing-factor expansion and the resulting O(epsilon^{-1/2}) block-size scaling rest on an explicitly unverified smoothness assumption on the LFA symbols; the numerical checks in Figure B2 do not test the derivative bounds that Lemma 6 requires.","rationale":"The reader's weakest_assumption identifies exactly the same technical gap that I consider most load-bearing: Theorem 3's smoothing-factor formulas and the resulting O(epsilon^{-1/2}) necessity are proven through Lemma 6's smoothness hypothesis, which the authors explicitly do not verify. My stress-test agrees with that assessment rather than finding a different flaw. I do not see an internal inconsistency in the fixed-ell asymptotic expansion itself: the matrix (31) looks structurally nonsingular for FD, and the FE lower bound is adequate for the non-robustness conclusion. The paper is honest about the gap, provides strong numerical support in Figures 6, 7, 9, and B2, and the central qualitative message -- that local overlapping Schwarz cannot replace global line smoothing for strongly anisotropic diffusion -- is credible and consistent with the known special case of line smoothing. The remaining risk is that a non-smoothness or non-uniformity in the asymptotic remainder could change the constant in front of ell(ell+1)epsilon or the precise scaling, but not the qualitative deterioration for fixed ell. That risk is exactly what the reader's CONDITIONAL verdict captures. I therefore recommend no change to the verdict: the paper should be accepted conditionally on the authors either supplying a rigorous smoothness argument or explicitly reframing Theorem 3 and Corollary 1 as numerically supported conjectures.","tokens_in":41516,"tokens_out":15725,"duration_ms":155917,"concrete_test":"For the FD and FE discretizations, compute the exact symbol es_{ell,1}(omega1,omega2) by solving the linear system (31) on a fine (omega1,omega2) grid covering the high-frequency domain, for several small epsilon values and ell in {2,4,8,16,32}. Numerically estimate the sup norms of R(omega,epsilon) = |es|^2 - g0 - epsilon g1 and of partial_omega1 R and partial^2_{omega1} R over this domain. If any of these sup norms does not decay as O(epsilon^2) as epsilon -> 0 for fixed ell, or if the constants grow faster than a polynomial in ell in the regime ell^2 epsilon <= C, then the critical-point argument in Theorem 3 is not justified and the O(epsilon^{-1/2}) scaling in Corollary 1 would need to be weakened or re-proved.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central quantitative claim -- that for any fixed local block size the multiplicative Schwarz smoother has smoothing factor mu = 1 - c ell(ell+1)epsilon + O(epsilon^2), and that robustness forces ell = O(epsilon^{-1/2}) -- is proved in Theorem 3 (Appendix B.3) by applying Lemma 6, a critical-point perturbation lemma. Lemma 6 requires the squared symbol |es|^2 = g0(omega1) + epsilon g1(omega1,omega2) + O(epsilon^2) to have derivatives g0', g0'', g0''', g1', g1'' that exist and are bounded on the high-frequency domain, and it also requires the O(epsilon^2) remainder to be sufficiently regular after differentiation. The authors explicitly state (footnote 9 in Section 3.6 and the text before Lemma 6 in Appendix B.3) that they do not verify these smoothness conditions. If the exact symbols from (31) have a non-smooth point or if the remainder's derivatives are not uniformly bounded as epsilon -> 0, the maximum of |es|^2 could occur away from the perturbed critical point of g0, and the first-order formula for the smoothing factor could fail. The numerical evidence in Figure B2 checks differences between the true and linearized symbols at fixed sample points; it does not estimate derivatives of the remainder, so it does not close the gap. Since Corollary 1's necessary condition for epsilon-robustness and the paper's headline O(epsilon^{-1/2}) scaling are both drawn from this first-order expansion, the unverified smoothness assumption is load-bearing.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies overlapping multiplicative Schwarz methods as smoothers in geometric multigrid for two-dimensional anisotropic diffusion. Using local Fourier analysis, the authors derive asymptotic expansions for the smoothing factor of maximally overlapping ℓ×1 subdomain smoothers applied to grid-aligned anisotropic diffusion, for both finite-difference and bilinear finite-element discretizations. They show that for each fixed ℓ the smoothing factor behaves as 1 - c ℓ(ℓ+1) ε + O(ε²), so it tends to 1 as the anisotropy ratio ε tends to 0; they conclude that ε-robust smoothing requires block diameters growing like O(ε^{-1/2}). Numerical V-cycle experiments on finite domains with Dirichlet boundary conditions agree closely with the LFA predictions, and additional experiments for ℓ×ℓ blocks and smaller overlaps corroborate the qualitative conclusion.","tokens_in":41879,"tokens_out":5534,"duration_ms":54767,"significance":"If the claims hold, this is a useful and somewhat counterintuitive negative result: local overlapping Schwarz smoothers, despite their reputation as strong smoothers, cannot replace global line smoothers for strongly anisotropic diffusion. The paper's strengths are its explicit LFA symbol derivations, the parameter-free form of the leading-order constants in Theorems 1 and 2, and the systematic numerical verification in Figures 6-10 and B2. The asymptotic predictions are not fitted to the numerical data, and the close quantitative agreement, including the ℓ(ℓ+1) scaling, is convincing evidence. However, two gaps in the proof are load-bearing for the headline scaling: the smoothness assumption in Lemma 6 is explicitly not verified, and the extension of fixed-ℓ asymptotics to the ℓ = ℓ(ε) regime used in Corollary 1 requires uniformity in ℓ that is not established. These issues are fixable within the scope of the manuscript, but they should be addressed before publication.","major_comments":[{"comment":"The proof of the smoothing-factor expansion μ_{ℓ,1}(ε) = 1 - ℓ(ℓ+1)ε + O(ε²) and its FE counterpart relies on Lemma 6, which requires the real-valued functions g0 and g1 obtained from |e_s|² to have bounded derivatives up to third and second order, respectively, on the high-frequency domain. As the authors state in footnote 9 and immediately before Lemma 6, these smoothness conditions are not verified. The functions in (B31) and (B34) are rational in e^{iω}, but their denominators can vanish or fail to be smooth at isolated points for some parameter values, and no argument rules this out. Figure B2 samples the true and linearized symbols on a 64×64 grid and demonstrates pointwise O(ε²) closeness, but it does not estimate derivatives of the remainder. Since the maximum of |e_s|² could in principle be attained at a non-smooth point away from the perturbed critical point of g0, the first-order formula that drives Corollary 1 is not fully proven. Please either verify the derivative bounds analytically, verify them computationally with rigorous interval or certified methods, or prove the maximum-location statement by a different argument.","section":"Section 3.6, Theorem 3; Appendix B.3, Lemma 6"},{"comment":"Corollary 1 draws conclusions for ℓ = ℓ(ε) growing as ε^{-1/2}, but Theorem 3 is an asymptotic statement for fixed ℓ as ε → 0. The O(ε²) remainder in (B36) may depend on ℓ, and no uniformity in ℓ is proved. Claim 3 explicitly assumes uniformity, but claim 2, stated as a necessary condition, does not. If the remainder grows like, say, C ℓ^p ε² with p ≥ 2, then for ℓ ∼ ε^{-1/2} the remainder could be O(ε^{2-p/2}) and could dominate the leading-order term for p > 2. Thus the inference that robustness forces ℓ = O(ε^{-1/2}) requires a two-parameter asymptotic estimate or an explicit bound on the remainder uniform over the relevant range of ℓ. This is a load-bearing point because the O(ε^{-1/2}) block-size scaling is the paper's main quantitative conclusion. Please either supply such a bound or state the conclusion as a conjecture supported by the numerics, with the necessary-condition claim appropriately qualified.","section":"Corollary 1, claims 2 and 3; Theorem 3"},{"comment":"The abstract and conclusions state the result for 'any fixed block size,' but the rigorous LFA results cover maximally overlapping ℓ×1 subdomains (Theorems 1-3 and Corollary 1) and 2×2 subdomains (Lemma 1). The ℓ×ℓ case with ℓ > 2 is treated only numerically in Section 4, Figure 9. The numerical evidence is consistent with the ℓ×1 analysis and is persuasive, but the stated scope of the theoretical claim is broader than what is proved. Please state precisely which subdomain geometries and overlap patterns are covered by the proof and which are supported only by numerical experiments.","section":"Abstract and Section 4"}],"minor_comments":[{"comment":"The phrase 'pit falls' should be 'pitfalls'.","section":"Introduction, Section 1"},{"comment":"The interval notation 'θ ∈ (π/4π/2]' appears to be a typo; it should read 'θ ∈ (π/4, π/2]'.","section":"Remark 2, Section 4"},{"comment":"The line break in 'ra-tio' should be removed: 'anisotropy ratio'.","section":"Figure 10 caption"},{"comment":"The sentence 'the function −2ℓ(ℓ+1)(1−cos ω2) is maximized at either end point where cos ω2 = 0' is slightly imprecise: the maximum over ω2 ∈ [π/2, 3π/2] is attained at both endpoints, and the value is −2ℓ(ℓ+1). The subsequent substitution is clear, but the wording could be tightened.","section":"Section 3.6, proof of Theorem 3"}],"recommendation":"major_revision","confidential_remarks":"The two main gaps — the unverified smoothness condition in Lemma 6 and the lack of uniformity in ℓ in Corollary 1 — are both acknowledged in the text, which is honest but does not remove the need to close them. The numerical evidence is strong enough that I would not recommend rejection, but the paper's central quantitative claim, the O(ε^{-1/2}) block-size scaling, currently rests on these unproved points. If the authors can verify the smoothness conditions or prove the maximum-location statement directly, and either prove or explicitly qualify the uniformity in ℓ, the paper would be suitable for publication. I would also suggest that the editor ask the authors to clarify the exact subdomain geometries covered by the theorems versus the numerics, since the abstract's 'any fixed block size' formulation overstates the proven scope."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: the central claim is right—locally overlapping multiplicative Schwarz smoothers are not anisotropy-robust, and the scaling ell ~ eps^{-1/2} is well supported by both LFA and numerics. The paper is worth engaging seriously.\n\nWhat's new: prior LFA of overlapping Schwarz covered isotropic Poisson and PDE systems; this is the first systematic analysis for anisotropic diffusion, and the asymptotic smoothing factor formulas for ell x 1 blocks (mu = 1 - ell(ell+1)eps + O(eps^2) for FD) are new. The derivation in Appendix B is careful and the numerical experiments genuinely verify, not fit, the predictions. The paper is also honest: it flags the unverified smoothness assumption, the FE lower bound, and the limitation to maximally overlapping blocks.\n\nSoft spots. The stress-test concern about Lemma 6 is real and load-bearing: the smoothing factor expansion rests on a critical-point perturbation lemma whose smoothness conditions on the Fourier symbols are explicitly not checked. The numerical checks in Figure B2 sample the symbols but do not test derivative bounds, so they don't close the gap. However, this is a disclosed technical assumption, not a hidden error; the FD expansion is algebraically explicit, and the numerics match extremely well across a wide range. I don't think it sinks the paper, but it should be fixed or weakened before publication. The FE result is a conjecture with a lower bound; the authors say so. The claim that 'irrespective of overlap' is proven only for maximal overlap; the non-maximal overlap results are numerical, which is fine but should be framed as such. Also, the boundary between 'fixed block size' and 'global' is handled via LFA infinite-domain assumptions; the paper notes this.\n\nWho it's for: anyone working on multigrid for anisotropic or directional problems, especially fusion-relevant heat transport. It answers a concrete design question that practitioners care about. I'd cite it.\n\nRecommendation: send to peer review. It's a serious, careful study with a load-bearing but disclosed caveat. I'd ask the authors to either verify the smoothness condition or soften Theorem 3 to a conditional statement, and to include reproducibility artifacts (code) since the numerical experiments are extensive.","headline":"Solid LFA study showing local overlapping Schwarz smoothers are not anisotropy-robust; the O(epsilon^{-1/2}) block-size scaling is credible, with a disclosed but unproved smoothness assumption as the main caveat.","tokens_in":42349,"tokens_out":1784,"would_cite":true,"duration_ms":17329,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["65N55","65N12","65F10"],"pacs":[],"model":"deepseek-v4-flash","headline":"Overlapping multiplicative Schwarz smoothers are not anisotropy-robust multigrid smoothers for anisotropic diffusion; blocks must grow as $\\epsilon^{-1/2}$ for the smoothing factor to stay bounded away from 1.","keywords":["overlapping Schwarz","local Fourier analysis","anisotropic diffusion","multigrid smoother","smoothing factor","anisotropy robustness","line smoothing","block smoothers"],"falsifier":"Take the finite-difference discretization of the grid-aligned problem, fix $\\ell=8$, and compute the Fourier symbol from the linear system that defines the smoother on a dense grid of high frequencies at $\\epsilon=10^{-6}$. If the maximum of the symbol's magnitude differs from $1-\\ell(\\ell+1)\\epsilon$ by more than $O(\\epsilon^2)$, or is attained at a point where the symbol is not differentiable, then the smoothness assumption behind the central expansion fails. A simpler solver-level test: if any fixed block size such as $4\\times1$ keeps the V-cycle convergence factor strictly below 1 for all $\\epsilon\\in[10^{-8},1]$, the paper's main negative claim is wrong.","tokens_in":41287,"feed_emoji":"🧮","tokens_out":10258,"duration_ms":87979,"temperature":0.7,"pith_summary":"The paper asks whether local overlapping block smoothers can replace global line smoothers in multigrid for strongly anisotropic diffusion, and it answers no. For any fixed subdomain size that stays well short of the whole domain, the smoothing factor of overlapping multiplicative Schwarz tends to 1 as the anisotropy ratio $\\epsilon$ tends to 0, no matter how much the blocks overlap. This means the smoother fails to damp exactly the high-frequency error components that a full-coarsening multigrid method cannot represent on the coarse grid. The paper proves a quantitative version of the failure: for the finite-difference discretization the smoothing factor is $1 - \\ell(\\ell+1)\\epsilon + O(\\epsilon^2)$ for $\\ell \\times 1$ blocks, so holding it below a fixed constant forces $\\ell$ to grow like $\\epsilon^{-1/2}$. A sympathetic reader would care because this closes a question left open by recent successful uses of block smoothers on transport-dominated problems: those successes do not transfer to anisotropic diffusion.","feed_headline":"Local block smoothers can't tame anisotropic diffusion","feed_subtitle":"Even maximal overlap fails: multigrid smoothing needs blocks growing like the inverse square root of the anisotropy.","key_machinery":"The central object is the Fourier symbol of the multiplicative Schwarz error propagator for maximally overlapping rectangular subdomains, and its maximum over high-frequency modes, called the smoothing factor. For $\\ell\\times1$ blocks the paper shows the propagator is diagonalized by Fourier modes, so the symbol can be written as a power series in $\\epsilon$; the first-order term is what makes the argument quantitative. The critical mechanism is that the worst mode sits at $\\omega_1=0$, where the zeroth-order symbol is exactly 1, and a perturbation lemma transfers the maximization order by order in $\\epsilon$. That yields the coefficient $c\\ell(\\ell+1)$ multiplying $\\epsilon$, which directly couples the block length to the anisotropy ratio and produces both the failure at fixed $\\ell$ and the $\\epsilon^{-1/2}$ cure.","core_discovery":"The paper's central discovery is a negative result with a quantitative cure. For the grid-aligned anisotropic diffusion equation $-u_{xx}-\\epsilon u_{yy}=f$ with $\\epsilon\\in(0,1]$, analyzed through local Fourier analysis, the smoothing factor of maximally overlapping multiplicative Schwarz on $\\ell\\times1$ blocks is $\\mu_{\\ell,1}(\\epsilon)=1-\\ell(\\ell+1)\\epsilon+O(\\epsilon^2)$ for the second-order finite-difference discretization, and at least $1-\\frac{3}{2}\\ell(\\ell+1)\\epsilon+O(\\epsilon^2)$ for the bilinear finite-element discretization. Because the smoothing factor is the worst-case amplification of high-frequency Fourier modes, any fixed $\\ell$ yields $\\lim_{\\epsilon\\to0^+}\\mu_{\\ell,1}(\\epsilon)=1$, meaning the smoother leaves the hardest high-frequency modes undamped. Inverting the expansion shows that keeping the smoothing factor below a fixed constant $\\mu^*<1$ requires $\\ell=O(\\epsilon^{-1/2})$, and the paper gives an explicit ceiling formula for the finite-difference case. Numerical V-cycle experiments on finite domains confirm the local Fourier analysis predictions once the block size is bounded well away from the domain size. The conclusion the authors draw is that global line or plane smoothing is necessary for anisotropy-robust multigrid; local overlapping Schwarz blocks are not a substitute, and the recent successes of block smoothers on transport-dominated problems do not carry over to anisotropic diffusion.","pith_inferences":["An additive Schwarz version of these smoothers is not analyzed here, and since additive variants typically need damping, the same $\\epsilon^{-1/2}$ threshold may or may not apply; but the multiplicative analysis gives the strongest case, so the negative conclusion is likely to carry over.","The paper proves the threshold only for grid-aligned anisotropy, while the rotated-case numerics show failure in additional regions; the required block size is therefore unlikely to be smaller off-axis.","If the smoothness assumption behind the expansion fails, the specific $O(\\epsilon^2)$ form could be wrong while the qualitative conclusion that fixed $\\ell$ fails might still survive; evaluating the symbol numerically at very small $\\epsilon$ would separate those two possibilities.","A directly checkable practical consequence is that, for a chosen target smoothing factor $\\mu^*$ on the grid-aligned finite-difference problem, setting $\\ell=\\left\\lceil\\sqrt{1-\\mu^*}\\,\\epsilon^{-1/2}\\right\\rceil$ should produce nearly $\\epsilon$-independent multigrid convergence, providing a clean test of the paper's scaling law."],"forward_implications":["For any fixed block size, the multigrid convergence factor using this smoother tends to 1 as $\\epsilon\\to0$, so the solver is not $\\epsilon$-robust for any fixed local block.","Maximal overlap is the strongest case; since even that fails, reducing overlap cannot restore anisotropy robustness.","Anisotropy-robust smoothing forces block diameter $O(\\epsilon^{-1/2})$, so for fusion-relevant anisotropies with $\\epsilon\\sim10^{-12}$ local blocks are effectively global and line or plane smoothers remain the practical option.","For mild or moderate anisotropy, the explicit formula $\\ell=\\left\\lceil\\sqrt{1-\\mu^*}\\,\\epsilon^{-1/2}\\right\\rceil$ gives a concrete block size that should deliver $\\epsilon$-independent smoothing in the finite-difference case.","Square $\\ell\\times\\ell$ blocks give almost no smoothing benefit over $\\ell\\times1$ blocks, so the extra work of square blocks is not justified at small $\\epsilon$."],"supporting_citations":[{"why":"Supplies the local Fourier analysis framework for overlapping multiplicative Schwarz and the Fourier-invariance result used to derive the symbol.","marker":"[24]"},{"why":"Introduces local Fourier analysis and provides the x-line smoothing factor that serves as the global-smoother baseline.","marker":"[7]"},{"why":"Textbook source for line smoothing and for the failure of alternating line smoothing at 45 degrees, used in the rotated-case comparison.","marker":"[41]"},{"why":"Textbook source for local Fourier analysis symbols and two-grid convergence factors, used to set up the smoothing-factor definitions.","marker":"[37]"},{"why":"Recent demonstration that local patch smoothers work well for high-Reynolds flows, the motivation for asking whether they work for anisotropic diffusion.","marker":"[13]"},{"why":"Another recent patch-smoother success for coupled flow problems that motivates the local-block question.","marker":"[22]"},{"why":"Earlier local Fourier analysis of a closely related maximally overlapping multiplicative Schwarz smoother, whose treatment is extended here.","marker":"[11]"},{"why":"Documents the extreme anisotropy ratios in magnetized fusion applications and the specialized solver needs that frame the practical stakes.","marker":"[44]"},{"why":"Establishes coarse-grid correction limitations on smooth characteristic components, used to separate smoother quality from coarse-grid quality.","marker":"[46]"}],"fun_headline_variants":["Local block smoothers can't fix anisotropic diffusion","Overlapping Schwarz not robust to anisotropy in multigrid","Anisotropy demands global line smoothers in multigrid","Even maximal overlap fails for anisotropic diffusion","Anisotropy forces block size ~1/sqrt(eps) for smoothing"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole expansion, and therefore the $\\epsilon^{-1/2}$ threshold, assumes the Fourier symbols are smooth enough that their highest high-frequency mode can be located by a critical-point calculation; the paper does not verify this smoothness explicitly.","fun_headline_variants_meta":{"raw":{"variants":["Local block smoothers can't fix anisotropic diffusion","Overlapping Schwarz not robust to anisotropy in multigrid","Anisotropy demands global line smoothers in multigrid","Even maximal overlap fails for anisotropic diffusion","Anisotropy forces block size ~1/sqrt(eps) for smoothing"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001019,"raw_usage":{"total_tokens":4354,"prompt_tokens":1053,"completion_tokens":3301,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":669,"completion_tokens_details":{"reasoning_tokens":3221}},"tokens_in":669,"tokens_out":3301,"duration_ms":22754,"temperature":1.0,"reasoning_tokens":3221,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T22:39:18.171590+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take the finite-difference discretization of the grid-aligned problem, fix $\\ell=8$, and compute the Fourier symbol from the linear system that defines the smoother on a dense grid of high frequencies at $\\epsilon=10^{-6}$. If the maximum of the symbol's magnitude differs from $1-\\ell(\\ell+1)\\epsilon$ by more than $O(\\epsilon^2)$, or is attained at a point where the symbol is not differentiable, then the smoothness assumption behind the central expansion fails. A simpler solver-level test: if any fixed block size such as $4\\times1$ keeps the V-cycle convergence factor strictly below 1 for all $\\epsilon\\in[10^{-8},1]$, the paper's main negative claim is wrong.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the local Fourier analysis framework for overlapping multiplicative Schwarz and the Fourier-invariance result used to derive the symbol."},{"cited_title":"Brandt, Multi-level adaptive solutions to boundary-value problems, Math","cited_arxiv_id":null,"evidence_quote":"Introduces local Fourier analysis and provides the x-line smoothing factor that serves as the global-smoother baseline."},{"cited_title":"Wesseling, An introduction to multigrid methods, Wiley, 1992","cited_arxiv_id":null,"evidence_quote":"Textbook source for line smoothing and for the failure of alternating line smoothing at 45 degrees, used in the rotated-case comparison."},{"cited_title":"Trottenberg, C","cited_arxiv_id":null,"evidence_quote":"Textbook source for local Fourier analysis symbols and two-grid convergence factors, used to set up the smoothing-factor definitions."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Recent demonstration that local patch smoothers work well for high-Reynolds flows, the motivation for asking whether they work for anisotropic diffusion."},{"cited_title":"Laakmann, P","cited_arxiv_id":null,"evidence_quote":"Another recent patch-smoother success for coupled flow problems that motivates the local-block question."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Earlier local Fourier analysis of a closely related maximally overlapping multiplicative Schwarz smoother, whose treatment is extended here."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Documents the extreme anisotropy ratios in magnetized fusion applications and the specialized solver needs that frame the practical stakes."},{"cited_title":"Yavneh, Coarse-grid correction for nonelliptic and singular perturbation problems, SIAM J","cited_arxiv_id":null,"evidence_quote":"Establishes coarse-grid correction limitations on smooth characteristic components, used to separate smoother quality from coarse-grid quality."}],"review_version":1}