REVIEW 4 major objections 4 minor 1 cited by
Constructing stellarators with quasisymmetry to high order
T0 review · 4 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read This paper claims that a second-order near-axis construction with a corrected finite-radius boundary builds quasisymmetric stellarator equilibria whose symmetry-breaking modes follow the ideal $1/A^3$ scaling, reaching amplitudes below…
desk verdict Genuinely new O((r/R)^2) near-axis construction with strong numerical verification; the record-low quasisymmetry-breaking claim needs a resolution-convergence check before it can be trusted, but the central scaling result holds. 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 central object is the near-axis expansion about the magnetic axis: the position vector is written in the Frenet-Serret frame as $\mathbf{r} = \mathbf{r}_0(\phi) + X(r,\vartheta,\phi)\mathbf{n} + Y(r,\vartheta,\phi)\mathbf{b} + Z(r,\vartheta,\phi)\mathbf{t}$, with $X$, $Y$, $Z$, and the field strength $B$ expanded in powers of $r/R$ and the equilibrium and quasisymmetry conditions imposed order by order in Boozer coordinates $(\theta,\phi)$. The load-bearing mechanism is the finite-radius boundary correction of Section 3: substituting a finite minor radius $a$ into the truncated second-order expansion gives the leading field strength a spurious $a^2$ contribution, and including $X_3$, $Y_3$ proportional to $X_1$, $Y_1$ with the coefficient $\lambda = -Q B_0/(2 s_G \bar B)$ cancels it, so the true equilibrium inside the constructed boundary matches the target field through $O((r/R)^2)$.
What would settle it
For an axis shape not used in the paper, construct the boundary at several aspect ratios and compute the full three-dimensional equilibrium inside it; if the total quasisymmetry-breaking measure does not fall as the cube of the inverse aspect ratio, or if the individual $m=0$ and $m>0$ measures deviate from the predicted $1/A^2$, $1/A^3$, and $1/A^4$ scalings, the central scaling claim is wrong. A more elementary check is whether $[B_{m=0}(\phi,r=a)-B(\phi,r=0)]/a^2$ stops converging to the predicted $B_{20}(\phi)$ as $A$ grows.
Extended reading notes
Core claim
The central claim is that a finite-aspect-ratio quasisymmetric stellarator can be generated from the second-order near-axis expansion by substituting a finite minor radius $a$ and adding a specific third-order correction: $X_3$ and $Y_3$ are set to $\lambda$ times $X_1$ and $Y_1$ with $\lambda = -Q B_0/(2 s_G \bar B)$, which removes the spurious $a^2$ term in the leading field strength. With this corrected boundary, independent three-dimensional MHD equilibrium computations reproduce the intended Boozer-coordinate field strength through $O((r/R)^2)$, and the symmetry-breaking measures fall with aspect ratio as $1/A^3$ for $m>0$ modes, $1/A^4$ for on-axis mirror modes, and eventually $1/A^2$ where the residual toroidal variation of $B_{20}$ dominates. This is the first numerical demonstration of the predicted ideal scaling: quasisymmetry can be realized to arbitrary precision at sufficiently high aspect ratio, and the paper reports symmetry-breaking amplitudes below $2\times 10^{-7}$ T in a strongly nonaxisymmetric configuration.
Load-bearing premise
The load-bearing premise is that the truncated near-axis expansion, evaluated at a finite minor radius and corrected by the required third-order shape term, produces a boundary whose true plasma equilibrium realizes the intended field strength to the claimed order; the paper verifies this for several examples but does not prove it for arbitrary inputs.
Editorial extensions
If this is right
- Any axis shape with nonvanishing curvature can, in principle, be made quasisymmetric to arbitrary precision by choosing a sufficiently large aspect ratio.
- Because the construction takes milliseconds per configuration, it enables rapid scans over families of stellarators and provides initial conditions for conventional optimization codes.
- Second-order terms introduce triangularity and Shafranov shift, so generated shapes resemble previously optimized devices without fitting to them.
- A vacuum configuration with $\iota > 0.4$ can have symmetry-breaking mode amplitudes below $2\times 10^{-7}$ T, and at a 5 T on-axis field the largest errors are about the size of the Earth's magnetic field.
- The construction also works with nonzero pressure and current, producing a tokamak-stellarator hybrid with finite $\beta$.
Reading between the lines
- One extension the authors leave implicit is that the same finite-radius correction logic should apply to omnigenous targets, since Section 3 is formulated for an arbitrary desired field strength, not only quasisymmetry.
- If the $1/A^3$ scaling is universal, the near-axis construction becomes a generator for mapping the solution space of stellarators rather than finding isolated examples, allowing systematic exploration of input parameters.
- Deliberately allowing $B_0$ to vary toroidally and canceling it with $B_{20}$ at one radius would move quasisymmetry off-axis, which the paper notes as a possible advantage for fast-particle confinement but does not test.
- The extreme sensitivity of the quasi-helical example to rounding of the axis-shape coefficients suggests that precision quasisymmetry at moderate aspect ratio requires fine-tuning; quantifying that sensitivity would help predict where the construction is practical.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper extends the Garren–Boozer near-axis expansion for quasisymmetric stellarators from O(r/R) to O((r/R)^2), deriving a streamlined set of equations (Appendix A) and a finite-minor-radius boundary construction that includes a carefully chosen subset of O((r/R)^3) terms (Section 3, Appendix B). The construction is solved numerically in milliseconds, and the resulting boundary shapes are fed into VMEC/BOOZ_XFORM to verify that the computed equilibria have the desired Boozer field-strength spectrum. The paper reports the first numerical demonstrations of the predicted 1/A^3 scaling of quasisymmetry-breaking modes, examples of quasi-axisymmetric, quasi-helically symmetric, tokamak-stellarator hybrid, and non-stellarator-symmetric configurations, and a claim of the smallest-ever symmetry-breaking amplitudes (<2e-7 T) in a strongly nonaxisymmetric vacuum equilibrium.
Significance. If the results are taken at face value, this is a substantial advance: it provides a fast, direct, analytically grounded method for generating high-precision quasisymmetric stellarator geometries, gives the first numerical evidence for the Garren–Boozer 1/A^3 scaling, and demonstrates quasisymmetry quality far beyond what conventional optimization has reported. The manuscript's strengths include a detailed and largely self-contained analytic derivation in Appendix A, a nontrivial finite-a correction in Section 3 with supporting analysis in Appendix B, and VMEC/BOOZ_XFORM checks spanning quasi-axisymmetry, quasi-helical symmetry, finite pressure/current, and broken stellarator symmetry. The method's speed and analytic output are genuinely useful for stellarator design and for initializing conventional optimization.
major comments (4)
- [§5.2, Fig. 8; Eq. (5.4)] The abstract's central claims—the first numerical demonstration of the 1/A^3 scaling and the 'smallest ever reported' symmetry-breaking amplitudes (<2e-7 T)—rest on VMEC/BOOZ_XFORM resolving relative amplitudes of order 10^-7 in a 1 T field at A=320, but no resolution-convergence study is reported. The authors note in §5.4 that converged VMEC values are difficult to obtain for very small symmetry-breaking modes at the highest aspect ratios, so it is not established that the A=320 quasi-axisymmetric point is above the numerical noise floor. Please provide convergence tests with respect to VMEC radial/poloidal resolution and BOOZ_XFORM grids, state the estimated numerical uncertainty of each point in Fig. 8, and qualify the record/scaling claims accordingly.
- [§4.1, §5.2, Fig. 4] The construction is described as achieving quasisymmetry 'fully' through O((r/R)^2), yet the paper states in §4.1 that exact constancy of B20 is not proved and that only minimization of its toroidal variation is performed. Residual φ-dependence of B20 contributes a symmetry-breaking term scaling as 1/A^2 (seen for Config 2 in Fig. 4 at large A), so the asymptotic scaling is not the claimed 1/A^3 unless B20 is exactly constant. Either prove existence/construct a solution with constant B20, or reframe the Garren–Boozer scaling claim as a finite-aspect-ratio result over the demonstrated range.
- [Appendix B, paragraph following (B27)–(B28)] The proof that the finite-a boundary correction yields the desired field strength through O((r/R)^2) depends on the assertion that the six homogeneous linear equations for {ξ0, ξs, ξc, γ0, γs, γc} are 'generally linearly independent.' No proof or explicit condition is given, and a singular or near-singular system would invalidate the uniqueness step. Please supply a proof or a numerical verification of the determinant at the operating points used in Section 5, or state the conditions under which the system is nonsingular.
- [Abstract; §5.2; §6] The 'smallest ever reported' superlative is not supported by a systematic quantitative comparison with previously published quasisymmetric configurations. Please cite the previous best published symmetry-breaking amplitudes using the same measure (e.g., Eq. (5.4)) and give the comparison criterion, or soften the claim to 'smaller than the values we have traced in the literature.'
minor comments (4)
- [§5.4] The quasi-helically symmetric configuration is reported to be very sensitive to rounding of the axis coefficients from four to three significant digits; please quantify this sensitivity (for example, the resulting change in X3/Y3 and in the boundary shape) and discuss its implications for reproducibility of the numerical examples.
- [§5.2] The section title 'Quasi-axisymmetry fully through O((r/R)^2)' conflicts with the text, which notes a 'small remaining toroidal variation' of B20; the terminology should be adjusted to reflect that the configuration is optimized rather than exactly quasisymmetric to that order.
- [Fig. 8] The scaling plot would be much more informative with estimated error bars or shaded uncertainty bands derived from the requested convergence studies; currently the reader cannot distinguish genuine scaling from numerical floor effects.
- [Eq. (5.2)] Please define the symbol N used in the mode-selection condition n ≠ N m explicitly at the point of first use in Section 5, since N denotes the quasisymmetry helicity earlier in the paper.
Circularity Check
No significant circularity: the O((r/R)^2) construction is solved analytically and independently checked with VMEC/BOOZ_XFORM; the 1/A^3 scaling is an emergent numerical verification, not a fitted input.
full rationale
The paper's central derivation is self-contained rather than circular. The near-axis equations through O((r/R)^2), including the quasisymmetry reduction and the finite-minor-radius correction, are derived explicitly in Appendices A and B; the lambda-scaled (X3,Y3) correction is chosen from an analytic calculation to cancel the spurious a^2 B20^(0) term, not by fitting VMEC output. The VMEC and BOOZ_XFORM calculations in Section 5 are genuinely independent checks: the construction supplies a boundary shape, and the full equilibrium code then produces the Boozer spectrum, with figures 3, 7, 11, 15, and 19 showing convergence to the predicted B20(phi) as A increases. The reported 1/A^3 scaling is the measured slope of symmetry-breaking measures computed from VMEC equilibria at a sequence of aspect ratios; it is not an input parameter of the near-axis model, even though it is expected from the order at which quasisymmetry is enforced. The optimization of input parameters targets internal expansion coefficients (X2, Y2, X3, Y3) and the toroidal variation of B20, not the VMEC symmetry-breaking amplitudes, so the fitted-input-called-prediction pattern does not apply. The paper does rely on self-citations to Landreman, Sengupta and Plunk for the O(r/R) parameterization, uniqueness, and numerical solution method, but these are foundational prior methods rather than load-bearing assertions of the new result; the O((r/R)^2) equations are re-derived in this paper. The acknowledged difficulty in obtaining converged VMEC values for the quasi-helical case at the highest aspect ratio is a numerical convergence concern, not evidence of circularity. Overall, the derivation chain is not equivalent to its inputs by construction.
Assumptions & free parameters
free parameters (7)
- bar_eta (B1c/B0) =
0.640 m^-1 (Sec. 5.1), 0.632 (5.2), 0.95 (5.3), 1.569 (5.4), 2.5 (5.5)
- I2 =
0 T/m in vacuum examples; 0.9 T/m (Sec. 5.3); 1.6 T/m (Sec. 5.5)
- sigma(0) =
0 (stellarator-symmetric examples); 0.3 (Sec. 5.5)
- p2 =
0 (vacuum); -6e5 Pa/m^2 (Sec. 5.3); -5e6 Pa/m^2 (Sec. 5.5)
- B2c =
-0.00322, -0.158, -0.7, 0.1348, 1 T/m^2 (examples)
- B2s =
0 (symmetric cases); 3 T/m^2 (Sec. 5.5)
- Axis shape Fourier coefficients =
See equations (5.1), (5.3), (5.5)-(5.7)
assumptions (6)
- domain assumption Good nested flux surfaces exist in the region of interest near the axis.
- domain assumption Profile functions G, I, p, iota are analytic in flux, so their expansions contain only even powers of r.
- domain assumption Expansion coefficients are analytic in r, leading to the specific Fourier forms in Eq. (2.12).
- domain assumption Boozer coordinates are well-defined with periodic angles.
- domain assumption iota_N0 is not an integer, to avoid low-order magnetic islands.
- domain assumption The expansion parameter ordering a ~ r << R is valid for the finite-radius construction.
Cite this review
Pith. "Pith review of Constructing stellarators with quasisymmetry to high order." pith.science (2026). https://pith.science/paper/PN3L6NAD
@misc{pith2026190810253,
author = {Pith},
title = {Pith review of: Constructing stellarators with quasisymmetry to high order},
year = {2026},
howpublished = {\url{https://pith.science/paper/PN3L6NAD}},
note = {Machine review of arXiv:1908.10253}
}
abstract
A method is given to rapidly compute quasisymmetric stellarator magnetic fields for plasma confinement, without the need to call a three-dimensional magnetohydrodynamic equilibrium code inside an optimization iteration. The method is based on direct solution of the equations of magnetohydrodynamic equilibrium and quasisymmetry using Garren and Boozer's expansion about the magnetic axis (Phys Fluids B 3, 2805 (1991)), and it is several orders of magnitude faster than the conventional optimization approach. The work here extends the method of Landreman, Sengupta and Plunk (J Plasma Phys 85, 905850103 (2019)), which was limited to flux surfaces with elliptical cross-section, to higher order in the aspect ratio expansion. As a result, configurations can be generated with strong shaping that achieve quasisymmetry to high accuracy. Using this construction, we give the first numerical demonstrations of Garren and Boozer's ideal scaling of quasisymmetry-breaking with the cube of inverse aspect ratio. We also demonstrate a strongly nonaxisymmetric configuration (vacuum $\iota > 0.4$) in which symmetry-breaking mode amplitudes throughout a finite volume are $< 2\times 10^{-7}$, the smallest ever reported. To generate boundary shapes of finite-minor-radius configurations, a careful analysis is given of the effect of substituting a finite minor radius into the near-axis expansion. The approach here can provide analytic insight into the space of possible quasisymmetric stellarator configurations, and it can be used to generate good initial conditions for conventional stellarator optimization.
Figures
Figures from the paper (19 more)
Forward citations
Cited by 1 Pith paper
-
Extending near-axis equilibria in DESC
The paper derives linear Fourier-Zernike constraints that make global DESC equilibria match a prescribed near-axis expansion through second order in the flux-surface radius.
Reference graph
Works this paper leans on
-
[1]
Anderson, F S B, Almagri, A F, Anderson, D T, Matthews, P G, Talmadge, J N & Shohet, J L 1995 The helically symmetric experiment (HSX): Goals, design, and status. Fusion Tech. 27,
work page 1995
-
[112]
Landreman, M 2019 Optimized quasisymmetric stellarators are consistent with the Garren- Boozer construction. Plasma Phys. Controlled Fusion 61, 075001. Landreman, M & Sengupta, W 2018 Direct construction of optimized stellarator shapes. I. Theory in cylindrical coordinates.J. Plasma Phys. 84, 905840616. Landreman, M, Sengupta, W & Plunk, G G 2019 Direct c...
work page 2019
-
[113]
Pedersen, T Sunn, Danielson, J R, Hugenschmidt, C, Marx, G, Sarasola, X, Schauer, F, Schweikhard, L, Surko, C M & Winkler, E 2012Plansforthecreation and studies of electron–positron plasmas in a stellarator.New J. Phys. 14, 035010. Plunk, G G & Helander, P 2018 Quasi-axisymmetric magnetic fields: weakly non- axisymmetric case in a vacuum.J. Plasma Phys. 84...
-
[213]
Nührenberg, J & Zille, R 1988 Quasi-helically symmetric toroidal stellarators.Phys. Lett. A 129,
work page 1988
-
[273]
Beidler, C.D., Allmaier, K., Isaev, M. Yu., Kasilov, S.V., Kernbichler, W., Leitold, G.O., Maassberg, H., Mikkelsen, D.R., Murakami, S., Schmidt, M., Spong, D.A., Tribaldos, V. & W akasa, A. 2011 Benchmarking of the mono-energetic transport coefficients-results from the international collaboration on neoclassical transport in stellarators (ICNTS).Nucl. Fusi...
work page 2011
-
[459]
Garabedian, P R 1996 Stellarators with the magnetic symmetry of a tokamak.Phys. Plasmas 3,
work page 1996
-
[496]
Boozer, A H 1995 Quasi-helical symmetry in stellarators.Plasma Phys. Controlled Fusion 37, A103. Drevlak, M., Beidler, C. D., Geiger, J., Helander, P. & Turkin, Y. 2019 Optimisation of stellarator equilibria with ROSE.Nucl. Fusion 59, 016010. Drevlak, M, Brochard, F, Helander, P, Kisslinger, J, Mikhailov, M, Nührenberg, C, Nührenberg, J & Turkin, Y 2013 E...
work page 1995
-
[641]
Shimizu, A, Liu, H, Isobe, M, Okamura, S, Nishimura, S, Suzuki, C, Xu, Y, Zhang, X, Liu, B, Huang, J, W ang, X, Liu, H, Tang, C & the CFQS team 2018 Configuration property of the chinese first quasi-axisymmetric stellarator. Plasma Fusion Res. 13, 3403123. Solov’ev, L S & Shafranov, V D 1970 Reviews of Plasma Physics 5 . New York - London: Consultants Burea...
work page 2018
Show all 12 references
-
[1277]
Fusion 4,
Constructing stellarators with quasisymmetry to high order 41 Mercier, C 1964 Equilibrium and stability of a toroidal magnetohydrodynamic system in the neighbourhood of a magnetic axis.Nucl. Fusion 4,
1964
-
[1752]
Controlled Fusion 43, A237
Zarnstorff, M C, Berry, L A, Brooks, A, Fredrickson, E, Fu, G-Y, Hirshman, S, Hudson, S, Ku, L-P, Lazarus, E, Mikkelsen, D, Monticello, D, Neilson, G H, Pomphrey, N, Reiman, A, Spong, D, Strickler, D, Boozer, A, Cooper, W A, Goldston, R, Hatcher, R, Isaev, M, Kessel, C, Lew an...
2001
-
[2805]
Helander, P 2014 Theory of plasma confinement in non-axisymmetric magnetic fields.Rep. Prog. Phys. 77, 087001. Henneberg, S. A., Drevlak, M., Nührenberg, C., Beidler, C. D., Turkin, Y., Loizu, J. & Helander, P. 2018 Properties of a new quasi-axisymmetric configuration. arXiv:1810...
2014 arXiv
-
[3553]
Fusion 51, 013004
Ku, L P & Boozer, A H 2011 New classes of quasi-helically symmetric stellarators.Nucl. Fusion 51, 013004. Lagarias, J C, Reeds, J. A., Wright, M. H. & Wright, P. E. 1998 Convergence Properties of the Nelder-Mead Simplex Method in Low Dimensions. SIAM J. Opt. 9,
2011
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.