Pith. sign in

REVIEW 1 major objections 5 minor 24 references

Nonconvex Sublevel Sets for the Three-Dimensional Special Lagrangian Equation

T0 review · 1 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For every phase strictly between $\pi/2$ and $\pi$, a smooth, uniformly convex domain in $\mathbb R^3$ admits a zero-Dirichlet solution of the special Lagrangian equation whose negative sublevel set is nonconvex.

desk verdict A substantive construction that closes the last open supercritical range in dimension 3 for nonconvex sublevel sets; the proof is sound except for a clear typo in Eq. (2.17). read the letter →

arxiv 2608.08186 v1 pith:SBFIESYE submitted 2026-08-08 math.AP math.DG

Guohuan Qiu This is my paper · ORCID
classification math.APmath.DG MSC 35J6035B0635B5053D1252A20
keywords specialLagrangianequationsupercriticalphaseconvexdomainnonconvexsublevelsetMonge–AmpèreDirichletproblemlevelconvexity
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper answers a natural question about the three-dimensional special Lagrangian equation $F_3(D^2u)=\Theta$: if the domain is smooth, bounded, and uniformly convex and the solution vanishes on the boundary, must negative sublevel sets $\{u

What carries the argument

The proof is carried by an explicit local model. A two-dimensional Monge–Ampère solution $\phi$ with $\det D^2\phi=1$, written through a partial Legendre transform, is converted into a function $U=\frac{\alpha}{2}(x^2+y^2)+\kappa\phi-\frac{\alpha+\kappa}{2}$ whose two-dimensional phase is exactly $\Theta$ because $\alpha=-\cot\Theta$ and $\kappa=\csc\Theta$. The paper's tangential Schur test—a formula deciding whether the Hessian restricted to the tangent space of a level set is positive definite—shows that on the central circle the tangential Hessian is positive, while at a nearby point $p_*$ on a lower level it has a negative direction. A quartic term $M s^4$ closes the model into a bounded, smooth, uniformly convex domain without changing the middle plane, an anisotropic dilation makes the three-dimensional phase residual $O(\varepsilon^2)$, and a barrier comparison transfers the midpoint defect from the model to the exact Dirichlet solution.

What would settle it

For the explicit data in Remark 2.5 ($\Theta=3\pi/4$, $m=3$, $\rho_*=1/2$), solve the Dirichlet problem numerically on the paper's constructed domain at a small $\varepsilon$ and test whether every regular negative sublevel set is convex; if all are convex, the asserted counterexample does not occur.

Watch

Extended reading notes

Core claim

The paper's central theorem, Theorem 1.1, asserts that for every $\Theta\in(\pi/2,\pi)$ there exist a smooth, bounded, uniformly convex domain $\Omega_\Theta\subset\mathbb R^3$ and a unique solution $u_\Theta\in C^\infty(\Omega_\Theta)\cap C^{0,1}(\bar\Omega_\Theta)$ of the Dirichlet problem $F_3(D^2u_\Theta)=\Theta$, $u_\Theta=0$ on $\partial\Omega_\Theta$, together with a negative regular value $c_\Theta$ such that $\{u_\Theta<c_\Theta\}$ is nonconvex. This is the first construction in the strictly supercritical regime, and it closes the only interval in dimension three in which nonconvex level sets were still possible: at the critical phase the level sets are convex, and beyond $\pi$ the positive branch forces $D^2u>0$.

Load-bearing premise

The argument depends on the cited Dirichlet theory giving a unique smooth solution on every anisotropically rescaled convex domain and keeping it within $O(\varepsilon^2)$ of the explicit barrier $W_\varepsilon$; without that closeness the midpoint defect cannot be transferred to the true solution.

Editorial extensions

If this is right

  • In dimension three, the motivating question—does a smooth solution inherit the convexity of the zero boundary level set?—has answer no throughout the strictly supercritical interval $(\pi/2,\pi)$.
  • The critical phase $\Theta=\pi/2$ is a sharp threshold: level sets are convex there, while every phase just above it admits a nonconvex example.
  • For phases $\Theta\ge\pi$ on the positive branch the Hessian is positive definite, so the interval $(\pi/2,\pi)$ is the complete range where nonconvexity can occur, and the theorem shows it does occur.
  • The midpoint-defect criterion used in the proof gives a constructive test: a local negative tangential direction on one level, once transferred by comparison, guarantees a nonconvex sublevel set in the exact solution.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • An extension not pursued here: the same two-step recipe—a lower-dimensional Monge–Ampère core plus an anisotropic dilation—may build nonconvex sublevel sets in dimensions $n\ge4$ for every phase in the strictly supercritical range.
  • The mechanism suggests a general principle for fully nonlinear elliptic equations whose eigenvalue level hypersurfaces become convex only above a threshold: boundary convexity and solution smoothness do not by themselves enforce convex level sets.
  • The explicit constants in Remark 2.5 give a concrete numerical benchmark; a high-resolution computation of the Dirichlet solution for $\Theta=3\pi/4$ on the constructed family would test the predicted midpoint defect.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

1 major / 5 minor

Summary. The paper constructs, for every phase Theta in the strictly supercritical interval (pi/2, pi), a smooth bounded uniformly convex domain Omega_Theta in R^3 on which the zero-Dirichlet solution u_Theta of F_3(D^2u)=Theta has a nonconvex negative sublevel set. The strategy is to build an explicit two-dimensional local model U(s,z) whose central zero-level circle has positive tangential Hessian while some lower level has a negative tangential direction, close the model with a quartic term to obtain a uniformly convex domain, rescale anisotropically, and then use a comparison argument to transfer the midpoint defect from the approximate solution W_epsilon to the exact solution u_epsilon.

Significance. The result answers in the negative, throughout the whole strictly supercritical range in dimension three, the natural question whether a smooth solution inherits the convexity of the zero boundary level set. The construction is explicit and the proof is detailed, with the local model, the closing lemma, the residual estimate, and the comparison argument all laid out. The paper also gives a concrete numerical example in Remark 2.5. The main caveat is a typographical error in Eq. (2.17) that currently invalidates Proposition 2.4 as written; the fix is straightforward and all subsequent computations are consistent with the corrected value.

major comments (1)
  1. [Section 2.2, Eq. (2.17)] The displayed definition of eta is inconsistent with the rest of the proof. With eta = (kappa - alpha) kappa^2 Psi_*, equation (2.9) gives S_U = kappa eta = (kappa - alpha) kappa^3 Psi_* on the circle r = 1, contradicting the value in (2.18); at p_*, using E - \hat{E} = -Psi_*, one obtains S_U(p_*) = (kappa - alpha) kappa^2 (kappa - 1) Psi_* > 0, so the claimed negative tangential direction does not exist and Proposition 2.4 fails as written. The numerical values in Remark 2.5 show that the intended choice is eta = (kappa - alpha) kappa Psi_* / 2, which gives (2.18) and (2.20). Since the negative midpoint defect in Proposition 2.4 is essential for the proof of Theorem 1.1, this typo must be corrected; with this change the rest of the proof is coherent.
minor comments (5)
  1. [Abstract] The abstract contains a typographical error: 'EQUA TION' should read 'EQUATION'.
  2. [Proof of Theorem 1.1] The references to 'theorems 2.4 and 2.6' and 'theorem 2.9' should be 'Proposition 2.4', 'Lemma 2.6', and 'Lemma 2.9'; similarly, 'theorem 2.7' and 'theorem 2.8' in Section 2.4 should be 'Lemma 2.7' and 'Proposition 2.8'.
  3. [Proof of Lemma 2.6] The reference to 'theorem 2.3' should be 'Lemma 2.3'.
  4. [Proposition 2.8] The definition of lambda_0 as min tr((I+B^2)^{-1}) over Omega_M is the trace of a 2x2 matrix, while the linearization DF_G[P] at G = diag(0,0,B) equals 1 + tr((I+B^2)^{-1}); the inequality DF >= lambda_0/2 remains valid because the (2,2) entry of P contributes 1, but this point should be clarified for the reader.
  5. [Lemma 2.6] The phrase 'central identity for U' in the side-boundary estimate is vague; it would be helpful to display explicitly that U(0,z) = (alpha + kappa)/2 (|z|^2 - 1).

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: Theorem 1.1 is a genuine construction from an explicit local model and an external existence theorem, with no fitted parameter renamed as a prediction.

full rationale

The paper constructs a local model U(s,x,y) from an explicit Monge–Ampere solution and harmonic perturbations, then builds a uniformly convex domain Omega_M whose boundary geometry is controlled independently of the solution. The parameters m, rho_*, M, and epsilon are free existence choices, not fitted to the final solution u_epsilon. Proposition 2.8 invokes [11, Theorem 1.2] only for existence, uniqueness, and regularity of the Dirichlet problem; that result is external to this paper and not authored by Qiu. The sup-norm comparison between u_epsilon and W_epsilon is proved by constructing explicit barriers and using ellipticity, not by assuming the desired nonconvexity. The nonconvex sublevel set is then transferred to u_epsilon through the midpoint criterion applied to W_epsilon's strict negative tangential direction, which is established by direct computation in Proposition 2.4. No step equates an output to an input by definition, and no load-bearing self-citation appears. The skeptical concern about the printed power of kappa in (2.17) is a possible typographical/correctness issue, not a circularity issue: it does not make the argument assume its conclusion.

Assumptions & free parameters 5 free parameters · 5 assumptions · 0 invented entities

No empirical constants or data are used. The parameters m, rho*, M, epsilon and the auxiliary cylinder constants are existence choices, each justified in the proof. The construction relies on standard external theorems only; no new physical or geometric entity is postulated. The central claim is not assumed anywhere.

free parameters (5)
  • m
    Integer m at least 3 chosen with m gamma > 1; existence for every gamma in (0,1) by taking m large. Not fitted to data.
  • rho*
    Chosen in (0,1) close enough to 1 so that Psi(rho*) > 0, using the positive limit in Eq (2.16).
  • M
    Chosen sufficiently large in Lemma 2.6 to close the model, ensure smoothness and uniform convexity, and make the comparison work.
  • epsilon
    Chosen sufficiently small in Sections 2.4 and 2.5 so the phase residual O(epsilon^2) is below the barrier tolerance and the midpoint defect survives.
  • auxiliary constants (R, sigma, b0, c0)
    Fixed after restricting the neighborhood of s=0 in Lemma 2.6; R>1, sigma small, b0,c0>0. They ensure the cylinder C and quantitative strict convexity for U. Not fitted to external data.
assumptions (5)
  • standard math Existence, uniqueness and C0,1 regularity of the supercritical Dirichlet problem on uniformly convex domains, cited to [11, Theorem 1.2].
    Used in Proposition 2.8 to define u_epsilon and in the final theorem to name u_Theta; the comparison argument depends on having exactly one solution to compare with the model.
  • standard math Sard's theorem for C-infinity maps.
    Used in the final step of Theorem 1.1 to select a regular negative value c in the interval I_epsilon.
  • standard math Hadamard theorem: a compact, locally strictly convex hypersurface in R3 bounds a strictly convex body.
    Used in Lemma 2.6 to conclude from the positive second fundamental form that the boundary of Omega_M is the boundary of a strictly convex domain.
  • standard math Comparison and maximum principle for fully nonlinear elliptic operators on the relevant matrix set.
    Used in Proposition 2.8 to show u_epsilon lies between the two barriers; requires monotonicity of F3 with respect to the positive semidefinite order along the homotopy.
  • standard math Eigenvalue monotonicity (Weyl) for symmetric matrices.
    Used implicitly in the comparison step: if the Hessian of W is no larger than the Hessian of u, then each eigenvalue of the first is no larger than the corresponding eigenvalue of the second, so F3 is monotone.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Nonconvex Sublevel Sets for the Three-Dimensional Special Lagrangian Equation." pith.science (2026). https://pith.science/paper/SBFIESYE

@misc{pith2026260808186,
  author       = {Pith},
  title        = {Pith review of: Nonconvex Sublevel Sets for the Three-Dimensional Special Lagrangian Equation},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/SBFIESYE}},
  note         = {Machine review of arXiv:2608.08186}
}
abstract

For each phase $\Theta\in(\pi/2,\pi)$, we construct a smooth, bounded, uniformly convex domain in $\mathbb R^3$ for which the zero-Dirichlet solution of the special Lagrangian equation has a nonconvex negative sublevel set.

Figures

Figures reproduced from arXiv: 2608.08186 by the authors.

Figure 1
Figure 1. Schematic geometry of ΩM. Every nonempty z-section is a strictly convex disk and collapses smoothly at s = s±. No rotational symmetry is assumed. 2.4. Anisotropic rescaling and comparison. Fix M as in theorem 2.6. For 0 < ε ≪ 1, set (2.37) Wε(X, z) = VM(εX, z), Ωε = {(X, z) : (εX, z) ∈ ΩM}. The domain Ωε is smooth, bounded, and uniformly convex, and Wε = 0 on ∂Ωε, Wε < 0 in Ωε. Lemma 2.7 (Phase residual). Uniformly … view at source ↗
Figure 2
Figure 2. A planar section exhibiting the midpoint defect. The endpoints q− and q+ belong to the sublevel set Ec = {uε < c}, whereas their midpoint q∗ does not. Thus Ec is not convex. Here c ∈ Iε is chosen to be a regular value. Proof of theorem 1.1. By theorems 2.4 and 2.6, the level of VM through p∗ has a negative tangential direction, while the component ΩM in (2.23) is smooth and uniformly convex. Apply theorem 2.9 to obt… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

24 extracted references · 21 canonical work pages

  1. [11]

    On the Dirichlet problem for Lagrangian phase equation with critical and supercritical phase

    Siyuan Lu. On the Dirichlet problem for Lagrangian phase equation with critical and supercritical phase. Discrete Contin. Dyn. Syst., 43(7):2561–2575, 2023

    work page 2023

  2. [1]

    Gradient estimates for the Lagrangian mean curvature equation with critical and supercritical phase.Amer

    Arunima Bhattacharya, Connor Mooney, and Ravi Shankar. Gradient estimates for the Lagrangian mean curvature equation with critical and supercritical phase.Amer. J. Math., 148(3):731–741, 2026

    work page 2026

  3. [2]

    Caffarelli, Louis Nirenberg, and Joel Spruck

    Luis A. Caffarelli, Louis Nirenberg, and Joel Spruck. The Dirichlet problem for nonlinear second-order elliptic equations. III. Functions of the eigenvalues of the Hessian.Acta Math., 155(3–4):261–301, 1985

    work page 1985

  4. [3]

    Caffarelli and Yu Yuan

    Luis A. Caffarelli and Yu Yuan. A priori estimates for solutions of fully nonlinear equations with convex level set.Indiana Univ. Math. J., 49(2):681–695, 2000

    work page 2000

  5. [4]

    Collins, S´ ebastien Picard, and Xuan Wu

    Tristan C. Collins, S´ ebastien Picard, and Xuan Wu. Concavity of the Lagrangian phase operator and applications.Calc. Var. Partial Differential Equations, 56(4):Paper No. 89, 22 pp., 2017

    work page 2017

  6. [5]

    Convexity of level sets for elliptic problems in convex domains or convex rings: two counterexamples.Amer

    Fran¸ cois Hamel, Nikolai Nadirashvili, and Yannick Sire. Convexity of level sets for elliptic problems in convex domains or convex rings: two counterexamples.Amer. J. Math., 138(2):499–527, 2016

    work page 2016

  7. [6]

    Reese Harvey and H

    F. Reese Harvey and H. Blaine Lawson, Jr. Dirichlet duality and the nonlinear Dirichlet problem.Comm. Pure Appl. Math., 62(3):396–443, 2009

    work page 2009

  8. [7]

    Blaine Lawson, Jr

    Reese Harvey and H. Blaine Lawson, Jr. Calibrated geometries.Acta Math., 148:47–157, 1982. 14 GUOHUAN QIU

    work page 1982

Show all 24 references
  1. [8]

    Springer-Verlag, Berlin, 1985

    Bernhard Kawohl.Rearrangements and Convexity of Level Sets in PDE, volume 1150 ofLecture Notes in Mathematics. Springer-Verlag, Berlin, 1985

    1985

  2. [9]

    Korevaar

    Nicholas J. Korevaar. Convexity of level sets for solutions to elliptic ring problems.Comm. Partial Differential Equations, 15(4):541–556, 1990

    1990

  3. [10]

    A Brunn–Minkowski inequality for the Hessian eigenvalue in convex domain

    Jiahuan Li, Xi-Nan Ma, and Paolo Salani. A Brunn–Minkowski inequality for the Hessian eigenvalue in convex domain. arXiv:2606.22847, 2026

    2026 arXiv

  4. [12]

    The convexity of solution of a class Hessian equation in bounded convex domain in R3.J

    Xi-Nan Ma and Lu Xu. The convexity of solution of a class Hessian equation in bounded convex domain in R3.J. Funct. Anal., 255(7):1713–1723, 2008

    2008

  5. [13]

    Non-convexity of level sets in convex rings for semilinear elliptic problems.Indiana Univ

    R´ egis Monneau and Henrik Shahgholian. Non-convexity of level sets in convex rings for semilinear elliptic problems.Indiana Univ. Math. J., 54(2):465–471, 2005

    2005

  6. [14]

    Non- C 1 solutions to the special Lagrangian equation.Duke Math

    Connor Mooney and Ovidiu Savin. Non- C 1 solutions to the special Lagrangian equation.Duke Math. J., 173(15):2929–2945, 2024

    2024

  7. [15]

    Singular solution to special Lagrangian equations.Ann

    Nikolai Nadirashvili and Serge Vl˘ adut ¸. Singular solution to special Lagrangian equations.Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire, 27(5):1179–1188, 2010

    2010

  8. [16]

    Convexity of solutions and Brunn–Minkowski inequalities for Hessian equations inR 3.Adv

    Paolo Salani. Convexity of solutions and Brunn–Minkowski inequalities for Hessian equations inR 3.Adv. Math., 229(3):1924–1948, 2012

    1924

  9. [17]

    Singular solutions to special Lagrangian equations with subcritical phases and minimal surface systems.Amer

    Dake Wang and Yu Yuan. Singular solutions to special Lagrangian equations with subcritical phases and minimal surface systems.Amer. J. Math., 135(5):1157–1177, 2013

    2013

  10. [18]

    Hessian estimates for special Lagrangian equations with critical and supercritical phases in general dimensions.Amer

    Dake Wang and Yu Yuan. Hessian estimates for special Lagrangian equations with critical and supercritical phases in general dimensions.Amer. J. Math., 136(2):481–499, 2014

    2014

  11. [19]

    Counterexample to the convexity of level sets of solutions to the mean curvature equation.J

    Xu-Jia Wang. Counterexample to the convexity of level sets of solutions to the mean curvature equation.J. Eur. Math. Soc. (JEMS), 16(6):1173–1182, 2014

    2014

  12. [20]

    Hessian estimates for the sigma-2 equation in dimension 3.Comm

    Micah Warren and Yu Yuan. Hessian estimates for the sigma-2 equation in dimension 3.Comm. Pure Appl. Math., 62(3):305–321, 2009

    2009

  13. [21]

    Hessian and gradient estimates for three dimensional special Lagrangian equations with large phase.Amer

    Micah Warren and Yu Yuan. Hessian and gradient estimates for three dimensional special Lagrangian equations with large phase.Amer. J. Math., 132(3):751–770, 2010

    2010

  14. [22]

    Global solutions to special Lagrangian equations.Proc

    Yu Yuan. Global solutions to special Lagrangian equations.Proc. Amer. Math. Soc., 134(5):1355–1358, 2006

    2006

  15. [23]

    Power convexity of solutions to a special Lagrangian equation in dimension two

    Wei Zhang and Qi Zhou. Power convexity of solutions to a special Lagrangian equation in dimension two. J. Geom. Anal., 33(4):Paper No. 135, 13 pp., 2023

    2023

  16. [24]

    Strictly stable solutions in uniformly convex planar domains may have nonconvex superlevel sets

    Yi Ru-Ya Zhang. Strictly stable solutions in uniformly convex planar domains may have nonconvex superlevel sets. arXiv:2607.06031, 2026. Institute of Mathematics, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, No. 55 Zhongguancun East Road, Beijing 10...

    2026 arXiv

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.