REVIEW 2 major objections 4 minor 29 references
Stable and Efficient One-Way Modelling of Convective Disturbances in Laminar Boundary Layers: OWNS-Summation
T0 review · 2 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read Evaluating the one-way Navier–Stokes projector as an additive partial-fraction sum instead of a recursive product removes the large-order numerical breakdown, turning the approximation order into an ordinary convergence parameter.
desk verdict A well-controlled experiment shows the additive OWNS-S evaluation removes the recursive-product instability that caps OWNS-R order; the mechanism is convincing, though the 'pure convergence parameter' claim outruns the conditioning analysis. 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 rational approximation of the spectral projector, $P_N^+ = w_0 I + \sum_{k=1}^N w_k (B - i\beta_k^* A)^{-1} A$, evaluated additively rather than as the product $\frac{1}{c+1}\prod_{k=1}^N (B-i\beta_k^* A)^{-1}(B-i\beta_k^- A)$. The auxiliary poles $\beta_k^*$ come from the polynomial identity of Eq. (14), and the weights from residues or a least-squares fit; the additive evaluation is what decouples the solves and stops multiplicative rounding-error amplification.
What would settle it
The paper's own synthetic experiment is the sharpest check: with identical poles, the accumulated Frobenius diagnostic $\rho^R_k$ for the recursive product should grow to about $10^{40}$ at $N=100$ while $\rho^S_k$ for the summation stays bounded; reproducing this on any pencil would confirm the mechanism. To test the $C$-term assumption, compute the retained/leaked eigenvalue sets for the full quadratic pencil $\mathbf{B} - i\alpha\mathbf{A} - \alpha^2\mathbf{C}$ on a strong non-parallel or low-$R$ case and compare with the first-order-pencil projector; any mismatch in the directional classif
Extended reading notes
Core claim
At fixed auxiliary poles, OWNS-S is shown to reproduce OWNS-R's projected operator in exact arithmetic but to have fundamentally different floating-point error propagation. In OWNS-R, the error committed at stage $k$ is carried through the $N-k$ remaining stage operators, so the accumulated diagnostic $\rho^R_k$ grows roughly to $10^{40}$ at $N=100$; in OWNS-S each solve's error enters only one weighted term, so $\rho^S_k$ stays bounded. The paper therefore identifies the recursive evaluation---not the poles---as the dominant source of the instability that previous work attributed to pole-solving rounding errors and recommended extended precision for. With the same poles, OWNS-S remains accu
Load-bearing premise
The projector is built from the first-order pencil $(B,A)$ only, while the marched equation keeps the second-order $C\,\partial^2_x$ term; the paper assumes this does not affect the upstream–downstream separation, and if that assumption fails in some flow the projection could retain or remove the wrong modes.
Editorial extensions
If this is right
- Approximation order $N$ becomes a convergence parameter in the ordinary sense: it can be raised until the solution stops changing, so converged results can be certified without an unknown ceiling.
- The $N$ resolvent solves per station are independent, reducing the per-station critical path to $1+\lceil N/n_t\rceil$ on $n_t$ threads and bringing OWNS-S's critical path to PSE-like levels.
- The same rational projector used by OWNS-R is evaluated accurately at $N$ where OWNS-R diverges; in the hypersonic case, the two distinct failure modes (parameter-set deficit at low $N$, recursive instability at high $N$) are separated, with OWNS-S surviving both.
- OWNS-S can march continuously through a transonic spectral reorganisation from subsonic to supersonic topology at streamwise resolutions below the PSE step floor.
- The paired greedy parameter selection removes the need for eigendecomposition during the march, with the analytic candidate pool matching eigenvalue-based selection in the benchmark case.
Reading between the lines
- If the multiplicative product is the mechanism, then every OWNS-R implementation---regardless of extended-precision poles or factor ordering---should hit the same size ceiling; a direct test would be to run OWNS-R with the least-squares weights that repair retention, and check whether the ceiling survives.
- The additive-vs-recursive distinction is not specific to OWNS: other contour-integral projectors and one-way methods that currently evaluate products of resolvents could inherit the same cure, and the paper leaves the quadratic-pencil projector (including $C$) as an obvious next step to test the first-order-pencil assumption.
- Since the $\beta_k^*$ contour is only an estimate of the spectral separation, the method's reliability on strongly non-parallel or low-Reynolds-number flows likely hinges on whether the neglected $C$ term changes the upstream–downstream partition; computing a quadratic-pencil projector would settle that directly.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces OWNS-Summation (OWNS-S), an additive partial-fraction evaluation of the rational spectral projector used in one-way Navier–Stokes marching, in place of the recursive product evaluation of OWNS-R. With identical poles and weights the two evaluations are equivalent in exact arithmetic, but differ in floating-point arithmetic because OWNS-R propagates each resolvent-solve error through all later stages. The central diagnostic experiment in §4.1.1 uses identical auxiliary poles from the same polynomial solve and shows the accumulated recursive-product norm growing to roughly 10^40 at N=100 while the summation norm remains bounded. The method is then validated on incompressible, hypersonic, and transonic boundary layers, including a swept-wing transonic case in which the disturbance spectrum reorganizes from subsonic to supersonic topology during the march. A greedy, paired parameter-selection procedure with an analytic candidate pool is also introduced, avoiding eigen-decomposition during the march.
Significance. If the central claim holds, the paper makes a practically important contribution: it removes an unknown, flow-dependent upper bound on the approximation order N that limits OWNS-R, turns N into a convergence parameter in the ordinary sense, and exposes a parallel structure with per-station critical path reduced to 1+ceil(N/n_t) solves. The controlled comparison in §4.1.1 is a genuine strength: the poles are held fixed while only the evaluation changes, so the observed ~40-order-of-magnitude differential identifies the recursive product rather than the auxiliary poles as the source of instability. The replication of the qualitative behaviour across incompressible, hypersonic, and transonic configurations is also persuasive. However, two load-bearing points need further support before the strongest claims can be accepted: the conditioning of the weight computation in OWNS-S at large N, and the validity of constructing the projector from the first-order pencil only while the second-order C term is retained in the march.
major comments (2)
- [§3.1, §4.1.1] The claim that N in OWNS-S is a 'pure convergence parameter' is stronger than the evidence presented. Section 3.1 explicitly states that the residue formula (17) degrades when auxiliary poles cluster and when weights acquire large alternating signs, and that the least-squares system (18)-(19) becomes severely ill-conditioned for densely distributed parameters. The synthetic experiment in §4.1.1 measures the accumulated-stage norm (28), not the conditioning of the weight computation or the backward error of the weighted sum; it is reported to N=100, with a passing mention of N≈300. If weight computation itself develops flow-dependent ill-conditioning at larger N, OWNS-S will also have an upper bound on N. Please report condition numbers of D, weight norms, or residual/backward errors versus N across the three test configurations, or explicitly limit the 'pure convergence' claim to the ran
- [§2.1] The projector is constructed from the first-order pencil (B,A) only, while the marched equation retains the second-order C d^2/dx^2 term. The authors acknowledge that C does not commute with the projection operator and that the construction is therefore not an exact spectral splitting of the second-order system. This is load-bearing for the physical validity of the one-way march: if the neglected C term contributes to the upstream–downstream partition at low Reynolds number or under strong non-parallel effects, the projected march could miss or misfilter modes. The statement that 'its neglect has not been observed to affect' the separation is an empirical assertion, not a demonstrated bound. Please quantify the neglected contribution, for example by comparing against a projection built from the full quadratic pencil in a representative low-Reynolds-number or strongly non-parallel case, o
minor comments (4)
- [§6.5.2] The PSE reference is quoted at n_x=150 and described as under-resolved, while OWNS-S is step-converged at n_x=5000 and reproduces PSE when run at the coarse step. This is plausible, but the discussion would be clearer if the PSE reference were also shown at a step where it is converged in its own resolution study, or if the resolution limitation were documented with a separate PSE step-size test.
- [Captions, Figures 4, 6, 23, 24] The color/line legend entries are dense and some are distinguished only by marker style; please add a short description in each caption of which curve corresponds to which variant, especially for 'Greedy-Heuristic Nc=100/200/300'.
- [Abstract and §1] The abstract states that N 'becomes a pure convergence parameter' without the caveats given in §3.1. Please soften the abstract to reflect that the evidence covers the tested placement families and that weight conditioning at very large N is a separate question.
- [References] Some references are typeset inconsistently (e.g., 'Badcock and Mughal, 2026a,b', 'Gushchin and Fedorov, 1990' spacing). A final formatting pass would help.
Circularity Check
No circularity found: OWNS-S vs OWNS-R comparison is a controlled numerical experiment with identical inputs, and the central claim does not reduce to a fit or self-citation.
full rationale
The paper's central derivation is self-contained. The key controlled experiment in §4.1.1 supplies both OWNS-R and OWNS-S with identical auxiliary poles from the same polynomial solve, so the observed difference (≈10^40 growth in the recursive Frobenius diagnostic versus a bounded summation diagnostic) is an empirical measurement of the two evaluation schemes, not a quantity fitted to the conclusion. The algebraic equivalence of the recursive product (22) and additive sum (13) in exact arithmetic is established by the polynomial identity (14), and the failure mechanism is derived analytically via the error recursion (25)–(26); neither step presupposes the conclusion. The validation uses external references (PSE) and an independent eigenvalue-seeded greedy benchmark (Greedy-Spectrum) to check the analytical candidate pool, so the parameter-selection pipeline is not validated solely on its own heuristic inputs. The acknowledged limitations—the first-order-pencil projector (§2.1) and the conditioning of the weight calculation at large N (§3.1)—are stated open issues rather than circular moves: they do not smuggle the target result into the assumptions. The self-citations to Badcock & Mughal for heuristic placement and wave-carrier factoring are not load-bearing because the present paper reproduces the explicit formulas (Appendix C) and controls for the candidate pool; the central claim about additive versus recursive floating-point evaluation remains independently demonstrated.
Assumptions & free parameters
free parameters (5)
- balance parameter c =
1 (subsonic, balanced), 0.01 (SWiFT supersonic), 0.1 (hypersonic), 100 (illustrative)
- heuristic placement constants (h_a, L_a, h_v, L_v, h_1, L_1, h_2, L_2, s, p, delta, etc.) =
Representative values: L_a ~ 1e2, h_a/L_a ~ 1e-2, L_v=1, h_v~0.3, s=2, L_2~4, h_2~0.5, delta~1e-2
- location of upstream discrete acoustic modes (alpha_remove or the alpha = -i beta mode) =
For SWiFT: alpha = -i beta, with a ladder descending the imaginary axis; for hypersonic: real part estimated, shifts wit
- greedy threshold and candidate pool size (N_c) =
N_c = 100, 160, 200, 300; convergence threshold ~ 1e-14
- PSE reference parameters (n_x = 150, n_iter, carrier correction) =
n_x = 110 to 150
assumptions (6)
- domain assumption The one-way projector can be constructed from the first-order pencil (B, A) while neglecting the C d^2/dx^2 term, and this neglect does not affect the upstream-downstream separation.
- domain assumption The finite spectrum of the pencil and Briggs' criterion correctly partition disturbances into upstream/downstream/pinch classes for the marching problem.
- domain assumption The continuous branches of the frozen-coefficient freestream pencil adequately represent the full discretised spectrum for parameter placement.
- standard math The Cayley transformation and the unit circle estimate of the separating contour preserve the eigenvalue partitioning and projector.
- standard math The polynomial identity (14) has N roots that interleave into a simple separating curve, with the chosen pairing.
- domain assumption Per-step projection of the state after the BDF2 update is equivalent to integrating the projected evolution equation.
invented entities (3)
-
OWNS-Summation (OWNS-S) evaluation form
independent evidence
-
Paired-symmetric greedy refinement with analytic candidate pool
independent evidence
-
OWNS-S (LS) least-squares weight recalibration
independent evidence
Cite this review
Pith. "Pith review of Stable and Efficient One-Way Modelling of Convective Disturbances in Laminar Boundary Layers: OWNS-Summation." pith.science (2026). https://pith.science/paper/7TGUGY3X
@misc{pith2026260801155,
author = {Pith},
title = {Pith review of: Stable and Efficient One-Way Modelling of Convective Disturbances in Laminar Boundary Layers: OWNS-Summation},
year = {2026},
howpublished = {\url{https://pith.science/paper/7TGUGY3X}},
note = {Machine review of arXiv:2608.01155}
}
abstract
One-way spatial marching methods separate upstream- from downstream-propagating disturbances using a rational approximation of a spectral projector. Among existing one-way Navier--Stokes (OWNS) formulations, the recursive variant, OWNS-R, is the most economical, evaluating the approximation as a product of $N$ resolvent factors. This product amplifies rounding errors multiplicatively, imposing a flow-dependent upper limit on the approximation order that cannot be known in advance. We reformulate the same approximation as an additive partial-fraction sum (OWNS-Summation, OWNS-S). In exact arithmetic, the recursive and summation evaluations are equivalent when supplied with identical weights and poles; in floating-point arithmetic, they are not. Each of the $N$ resolvent solves acts on the same input state and contributes independently to a weighted sum, preventing multiplicative error amplification. The approximation order $N$ therefore becomes a pure convergence parameter, and the solves can run in parallel. Using the same auxiliary poles as OWNS-R, OWNS-S remains accurate in every configuration tested, showing that the recursive evaluation, rather than the poles, is the dominant source of instability. A paired greedy parameter-selection procedure is also introduced, with candidates drawn from analytic estimates of the upstream and downstream spectral regions, avoiding eigen-decomposition during the numerical march. OWNS-S is validated on incompressible, hypersonic and transonic boundary layers. In the transonic case, the disturbance spectrum reorganises from a subsonic to a supersonic topology during the march. The one-way computation proceeds continuously through this transition at a streamwise resolution unattainable by the parabolised stability equations.
Figures
Figures from the paper (22 more)
Reference graph
Works this paper leans on
-
[1]
Journal of Fluid Mechanics 488, 31–78
Wave structures and interactions. Journal of Fluid Mechanics 488, 31–78. doi:10.1017/S0022112003004786. Malik, M.R.,
-
[7]
Transition measurements on the SWiFT model in the national transonic facility, in: AIAA SCITECH 2025 Forum, American Institute of Aeronautics and Astronautics. doi:10.2514/6.2025-2019. AIAA Paper 2025-2019. Fedorov, A., Tumin, A.,
-
[14]
Numerische Mathematik 6, 377–387
On eigenvalues of matrices dependent on a parameter. Numerische Mathematik 6, 377–387. doi:10.1007/BF01386087. Li,F.,Malik,M.R.,1995. MathematicalnatureofParabolizedStabilityEquations,in:Kobayashi,R.(Ed.),Laminar-TurbulentTransition,Springer, Berlin, Heidelberg. pp. 205–212. doi:10.1007/978-3-642-79765-1_24 . Li, F., Malik, M.R.,
-
[23]
Greedy recursion parameter selection for one-way spatial integration of hyperbolic equations
Greedy recursion parameter selection for one-way spatial integration of hyperbolic equations. doi:10.48550/ ARXIV.2506.02320. Sleeman,M.K.,Lakebrink,M.T.,Colonius,T.,2023.Nonlinearstabilityofwall-boundedflowsusingtheone-wayNavier–Stokes(OWNS)equations, in:AIAAAVIATION2023Forum,AmericanInstituteofAeronauticsandAstronautics,SanDiego,CAandOnline.doi: 10.2514...
work page Pith review arXiv doi:10.48550/arxiv.2506.02320 2023
-
[24]
Annual Review of Fluid Mechanics 43, 319–352
Global linear instability. Annual Review of Fluid Mechanics 43, 319–352. doi:10.1146/annurev-fluid-122109-160705. Thomas, C., Mughal, S.M., Gipon, M., Ashworth, R., Martinez-Cava, A.,
-
[25]
Stability of an infinite swept wing boundary layer with surface waviness. AIAA Journal 54, 3024–3038. URL: https://doi.org/10.2514/1.J054755, doi:10.2514/1.J054755, arXiv:https://doi.org/10.2514/1.J054755. Thompson, K.W.,
-
[1955]
Naval Research Logistics Quarterly 2, 83–97
The Hungarian method for the assignment problem. Naval Research Logistics Quarterly 2, 83–97. doi:10.1002/nav. 3800020109. Lancaster, P.,
-
[1964]
Electron-Stream Interaction with Plasmas. The MIT Press, Cambridge, MA. doi:10.7551/mitpress/2675.001.0001. Chu, B.T.,
Show all 29 references
-
[1965]
On the energy transfer to small disturbances in fluid flow. Part I. Acta Mechanica 1, 215–234. doi:10.1007/BF01387235. Chuvakhov,P.V.,Fedorov,A.V.,2016. Spontaneousradiationofsoundbyinstabilityofahighlycooledhypersonicboundarylayer. JournalofFluid Mechanics 805, 188–206. doi:1...
2016 doi
-
[1966]
Springer, Berlin, Heidelberg
Perturbation Theory for Linear Operators. Springer, Berlin, Heidelberg. doi:10.1007/978-3-662-12678-3 . Kaups, K., Cebeci, T.,
-
[1977]
Journal of Aircraft 14, 661–667
Compressible laminar boundary layers with suction on swept and tapered wings. Journal of Aircraft 14, 661–667. URL: https://doi.org/10.2514/3.44614, doi:10.2514/3.44614, arXiv:https://doi.org/10.2514/3.44614. Kuhn, H.W.,
-
[1987]
Journal of Computational Physics 68, 1–24
Time-dependent boundary conditions for hyperbolic systems. Journal of Computational Physics 68, 1–24. doi:10.1016/0021-9991(87)90041-6. Towne, A., Colonius, T.,
-
[1990]
Fluid Dynamics 25, 344–352
Excitation and development of unstable disturbances in a supersonic boundary layer. Fluid Dynamics 25, 344–352. doi:10.1007/BF01049814. Hanifi, A., Schmid, P.J., Henningson, D.S.,
-
[1991]
Theoretical and Computational Fluid Dynamics 3, 117–124
Analysis of the linear stability of compressible boundary layers using the PSE. Theoretical and Computational Fluid Dynamics 3, 117–124. doi:10.1007/BF00271620. Briggs, R.J.,
-
[1996]
Physics of Fluids 8, 826–837
Transient growth in compressible boundary layer flow. Physics of Fluids 8, 826–837. doi:10.1063/1.868864. Herbert, Th., Bertolotti, F.P.,
-
[1997]
Computers & Fluids 26, 279–297
Spectral analysis of parabolized stability equations. Computers & Fluids 26, 279–297. doi:10.1016/S0045-7930(96) 00044-8. Ma, Y., Zhong, X.,
-
[1998]
Theoretical and Computational Fluid Dynamics 12, 195–217
Active control of wave instabilities in three-dimensional compressible flows. Theoretical and Computational Fluid Dynamics 12, 195–217. doi:10.1007/s001620050106. Nakatsukasa, Y., Freund, R.W.,
-
[2001]
doi:10.2514/6.2001-0892
Numerical simulation of receptivity and stability of nonequilibrium reacting hypersonic boundary layers, in: 39th Aerospace Sciences Meeting and Exhibit, American Institute of Aeronautics and Astronautics, Reno, NV, USA. doi:10.2514/6.2001-0892. AIAA Paper 2001-0892. E.J. Badc...
2001 doi
-
[2009]
Physical Review B 79, 115112
Density-matrix-based algorithm for solving eigenvalue problems. Physical Review B 79, 115112. doi:10.1103/PhysRevB.79. 115112. Rigas, G., Schmidt, O.T., Colonius, T., Brès, G.A.,
-
[2011]
AIAA Journal 49, 1647–1657
High-speed boundary-layer instability: Old terminology and a new framework. AIAA Journal 49, 1647–1657. doi:10.2514/1.J050835. E.J. Badcock & S. Mughal Page 40 of 42 OWNS-Summation Symbol Meaning Ref. Operators and pencil A,B,C Continuous5×5 operators,wall-normal coordinate (2...
-
[2015]
Journal of Computational Physics 300, 844–861
One-way spatial integration of hyperbolic equations. Journal of Computational Physics 300, 844–861. doi:10.1016/j.jcp.2015.08.015. Towne, A., Rigas, G., Kamal, O., Pickering, E., Colonius, T.,
2015 doi
-
[2016]
SIAM Review 58, 461–493
Computing Fundamental Matrix Decompositions Accurately via the Matrix Sign Function in Two Iterations: The Power of Zolotarev’s Functions. SIAM Review 58, 461–493. doi:10.1137/140990334. Nakatsukasa, Y., Sète, O., Trefethen, L.N.,
-
[2017]
doi:10.2514/6.2017-4046
One-way Navier–Stokes and resolvent analysis for modeling coherent structures in a supersonic turbulent jet, in: 23rd AIAA/CEAS Aeroacoustics Conference, American Institute of Aeronautics and Astronautics, Denver, CO, USA. doi:10.2514/6.2017-4046. AIAA Paper 2017-4046. Schmid,...
2017 doi
-
[2018]
SIAM Journal on Scientific Computing 40, A1494–A1522
The AAA algorithm for rational approximation. SIAM Journal on Scientific Computing 40, A1494–A1522. doi:10.1137/16M1106122. Polizzi, E.,
-
[2021]
Boundary Layer Instabilities Due to Surface Irregularities: A Harmonic Navier–Stokes Approach. Ph.D. thesis. Imperial College London. doi:10.25560/88722. Badcock, E.J.,
-
[2022]
Journal of Fluid Mechanics 948, A9
Efficient global resolvent analysis via the one-way Navier–Stokes equations. Journal of Fluid Mechanics 948, A9. doi:10.1017/jfm.2022.647. Zhu, M., Towne, A.,
2022 doi
-
[2023]
Journal of Computational Physics 473, 111744
Recursive one-way Navier–Stokes equations with PSE-like cost. Journal of Computational Physics 473, 111744. doi:10.1016/j.jcp.2022.111744. E.J. Badcock & S. Mughal Page 42 of 42
2022
-
[2025]
doi:10.2514/6.2025-1840
SWiFT model development and testing in the ARA transonic wind tunnel, in: AIAA SCITECH 2025 Forum, American Institute of Aeronautics and Astronautics. doi:10.2514/6.2025-1840. AIAA Paper 2025-1840. Engquist,B.,Majda,A.,1977. Absorbingboundaryconditionsfornumericalsimulationofw...
2025 doi
-
[2026]
Modal One-Way Navier–Stokes: Efficient Spatial Marching for Modal and Non-Modal Boundary-Layer Disturbances. Ph.D. thesis. Imperial College London. Badcock, E.J., Mughal, S., 2026a. Application of the One-Way Navier–Stokes equations to model disturbance evolution in laminar se...
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.