{"id":"8b0af0f4-185a-441c-ae96-2ad3b02f78d1","arxiv_id":"1908.03654","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Viscosity solutions of uniformly elliptic fully nonlinear equations with C^1-close-to-linear operators are C^{2,alpha} in the interior, with explicit closeness and estimate constants.","lead":"This paper proves interior C^{2,alpha} regularity for viscosity solutions of fully nonlinear elliptic equations that are uniformly close to linear equations, with a computed bound on the allowed closeness. It gives one of the few regularity-boosting results for equations that are neither convex nor concave.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The final transfer in Theorem 1.3 is valid only when λΛ ≥ 1; for λΛ < 1 the claimed B_{1/(4Λ)} domain is not reached by the estimate.","rationale":"The reader's weakest assumption correctly identifies the same load-bearing gap: Theorem 1.3's conclusion on B_{1/(4Λ)} rests on the unstated inclusion √Λ A^T B_{1/(4Λ)} ⊂ B_{1/4}, which fails when λΛ < 1. This is not a merely cosmetic issue because the final Hölder estimate is invoked only when the arguments lie in B_{1/4}; outside that ball Proposition 2.4 gives no control. The gap is fixable by either adding the condition λΛ ≥ 1 to the theorem, or restating the conclusion on the smaller ball B_{√λ/(4√Λ)}. The underlying C^{2,α} regularity mechanism appears sound and the proof is detailed, so the conditional verdict remains appropriate; the issue affects the exact radius but not the existence of an interior C^{2,α} estimate. A secondary proof gap exists in Claim 2.5, where the shifted operators F_i need to inherit closeness-to-trace via the almost-linear property with DF(0) = I rather than from (2.28) alone; this is also repairable and reinforces the conditional assessment.","tokens_in":17297,"tokens_out":30987,"duration_ms":308095,"concrete_test":"Take n = 2, λ = 1/4, Λ = 2, W = λI so that A = λ^{-1/2}I. Compute the exact image of B_{1/(4Λ)} under the map x ↦ √Λ A^T x: for |x| = 1/(4Λ) = 1/8, the image norm is √Λ λ^{-1/2}|x| = √2 · 2 · 1/8 = √2/4 ≈ 0.354, which exceeds 1/4. Recompute the transfer step in Theorem 1.3 using the actual norm ||A^T|| = λ^{-1/2} instead of the implicit assumption that √Λ A^T is a contraction; the conclusion should be restricted to B_{√λ/(4√Λ)} unless the theorem statement is amended.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In the proof of Theorem 1.3, after defining A by AA^T = W^{-1} with λI ≤ W ≤ ΛI, the C^{2,α} estimate on the rescaled function \\tilde v on B_{1/4} is transferred back to u under the condition that √Λ A^T x and √Λ A^T y lie in B_{1/4}. The proof then concludes the estimate on B_{1/(4Λ)}, which implicitly uses the inclusion √Λ A^T B_{1/(4Λ)} ⊂ B_{1/4}. But ||A^T|| = ||A|| = λ^{-1/2}, so the image radius is √Λ λ^{-1/2} / (4Λ) = 1 / (4√(λΛ)). This is ≤ 1/4 if and only if λΛ ≥ 1. When λΛ < 1 the inclusion fails; for example, with W = λI and λ = 1/4, Λ = 2, the point x with |x| = 1/(4Λ) is mapped to radius 1/(4√(λΛ)) = 1/(2√2) ≈ 0.354 > 0.25, outside B_{1/4}. Thus the Hölder estimate as written is established only on B_{√λ/(4√Λ)}, a strictly smaller ball, and the theorem's stated domain B_{1/(4Λ)} is unsupported in this parameter regime.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper proves interior C^{2,alpha} estimates for viscosity solutions of uniformly elliptic fully nonlinear equations F(D^2u)=0 and F(D^2u)=f, assuming F is uniformly differentiable and its derivative has oscillation bounded by an explicit epsilon0. The main results are Theorem 1.3 (homogeneous case) and Theorem 1.4 (inhomogeneous case), with explicit constants. The proof uses an approximation-by-polynomials iteration: Lemma 2.1 constructs a quadratic polynomial approximating the solution at small scale when the operator is close to the Laplacian; Proposition 2.4 iterates this to get a global estimate; Theorem 1.3 transfers it to operators close to a general linear operator via an affine change of variables; Theorem 1.4 derives the inhomogeneous estimate using approximation by homogeneous solutions and scaling.","tokens_in":17609,"tokens_out":24507,"duration_ms":222803,"significance":"If the proof were complete, the result would be a valuable extension of Evans-Krylov type C^{2,alpha} regularity to non-concave, non-convex operators that are C^1-close to linear, with explicit bounds on the closeness. The paper also contains a useful review of the Cordes-Nirenberg theory and a clean appendix lemma converting pointwise Holder estimates into C^{2,alpha} estimates. However, several gaps in the proof affect the main theorems as stated.","major_comments":[{"comment":"The proof concludes the C^{2,alpha} estimate on B_{1/(4Lambda)} from the estimate for tilde v on B_{1/4}, using that sqrt(Lambda) A^T x is in B_{1/4} for x in B_{1/(4Lambda)}. Since ||A^T|| = lambda^{-1/2}, the image of B_{1/(4Lambda)} under sqrt(Lambda) A^T has radius 1/(4 sqrt(lambda Lambda)), which exceeds 1/4 when lambda Lambda < 1. The theorem is stated for all positive lambda and Lambda without this restriction, so the stated domain is not reached by the proof in that regime. The statement should either assume lambda Lambda >= 1 or replace B_{1/(4Lambda)} by B_{1/(4 sqrt(lambda Lambda))} throughout, with the constant C_1 adjusted accordingly.","section":"Proof of Theorem 1.3, transfer step near (2.44)"},{"comment":"The argument defining v(x')=4u(x'/2+x0) gives ||v||_{L∞(B1)} <= 4M, so applying (2.40) to v and rescaling back yields |u(x)-P_{x0}(x)| <= M C'_0 2^{2+alpha}|x-x0|^{2+alpha}, not M C'_0 2^{alpha}|x-x0|^{2+alpha}. The displayed constant is therefore missing a factor 4; this propagates into the formula for C_1 in (1.7).","section":"Proof of Proposition 2.4, transfer to arbitrary x0 after (2.41)"},{"comment":"The proof defines tilde f = f - f(0) and then asserts F_T(D^2 tilde u) = tilde f / T. However, the equation is F(D^2u)=f=tilde f+f(0), and for a fully nonlinear F one cannot subtract the constant f(0) from the equation without changing the operator. Moreover, the hypothesis (3.2) of Lemma 3.2 forces the L^n averages of f over B_r to be O(r^alpha), which excludes an arbitrary constant part f(0). A correct reduction would need to subtract a quadratic polynomial satisfying F(tI)=f(0), possible by ellipticity and the intermediate value theorem, and then track the extra quadratic term in the estimates; this step is absent.","section":"Proof of Theorem 1.4, reduction before (3.28)"},{"comment":"Lemma 2.1 is applied to F_i(N)=F(N+D^2P_i), but its hypothesis (2.2) is not verified. The text checks only that F_i inherits almost-linearity, namely |DF_i(M)-DF_i(N)| <= tilde epsilon0, and ellipticity. From (2.28) for F one obtains |F_i(N)-tr(N)| <= tilde epsilon0(||N||+2||D^2P_i||), and ||D^2P_i|| is not small compared with the decreasing norms ||v_i||_{L∞}; hence the application of Lemma 2.1 as stated is not justified. The induction in Proposition 2.4 needs either a strengthened form of Lemma 2.1 or a different argument.","section":"Claim 2.5 in the proof of Proposition 2.4"}],"minor_comments":[{"comment":"The expression for C0 in part (ii) of Lemma 2.1 does not match the derivation in (2.16)-(2.17); please reconcile the displayed constants.","section":"Lemma 2.1, statement vs. proof"},{"comment":"There are several typographical errors and formatting inconsistencies, including 'niether' in the introduction, 'secord order' in Corollary 4.2, and irregular spacing around displayed formulas; a careful proofreading pass is needed.","section":"Throughout"},{"comment":"In Corollary 4.2, the hypothesis should state that the estimate (4.9) holds for every y in B_{1/2} and all x for which the left side is defined; the current wording is slightly ambiguous about the domain of the estimate.","section":"Appendix 1"}],"recommendation":"major_revision","confidential_remarks":"The paper presents a plausible extension of Krylov-Safanov and Evans-Krylov type regularity to a class of non-concave equations, with the useful feature of explicit constants. However, the proof has several gaps that require substantial revision, especially the transfer domain in Theorem 1.3 and the reduction in Theorem 1.4. I recommend major revision rather than rejection, as the gaps appear fixable and the underlying strategy is coherent. The historical discussion in Section 5 is appropriate and does not raise novelty concerns."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Jim,\n\nThis paper proves interior C^{2,alpha} estimates for viscosity solutions of F(D^2u)=0 when F is uniformly elliptic and its derivative is globally epsilon0-close to a constant. The result is new: Cordes-Nirenberg gives C^{1,alpha} for linear equations, Savin requires the solution to be close to a quadratic, and the Nadirashvili-Vladut examples show general uniform ellipticity doesn't boost regularity. The proof uses a polynomial-approximation iteration rather than integral estimates, and the inhomogeneous version in Theorem 1.4 is a useful extension. The rescaling that reduces DF(0) to the identity is clean, and the Cordes-Nirenberg appendix is a helpful historical note.\n\nThe soft spots are real but not fatal.\n\nFirst, the final transfer in Theorem 1.3 has a genuine domain gap. The step needs sqrt(Lambda) A^T B_{1/(4Lambda)} subset B_{1/4}. Since ||A|| = 1/sqrt(lambda), the image radius is 1/(4 sqrt(lambda Lambda)), which exceeds 1/4 when lambda Lambda < 1. So the estimate as written only reaches B_{sqrt(lambda)/(4 sqrt(Lambda))} in that regime, not the claimed B_{1/(4Lambda)}. That's a fixable problem—rescaling the domain or restating the theorem with a smaller ball—but it's not just cosmetic.\n\nSecond, the explicit constants have a bookkeeping error. In (2.40), the bound should give a factor 1/r0^{2+alpha} rather than 1/r0^{1+alpha}, and this propagates to (2.29) and (1.7). The moral is unchanged, but the printed constants aren't correct.\n\nThird, Lemma 3.1 is delegated with 'the obvious approximation argument.' The boundary regularity needed to get h in C^2 with the stated estimates isn't shown. This is minor and standard, but the proof is not self-contained there.\n\nAlso, the word 'explicit' is doing some work: epsilon0 depends on the Krylov-Safanov constants, which aren't explicit. That's an overstatement, not a flaw in the strategy.\n\nThe central argument is coherent and the theorem believable once the domain is fixed. The paper deserves a serious referee; the gaps are the kind a good referee can identify and the authors can patch. I'd send it out.\n\nFor your own work, don't quote the B_{1/(4Lambda)} domain without checking the lambda Lambda >= 1 condition. The estimate on the smaller ball seems solid, and the method is worth knowing.","headline":"A novel and credible C^{2,alpha} estimate for almost-linear fully nonlinear equations, with a genuine but fixable domain-transfer error in the main theorem.","tokens_in":18120,"tokens_out":16249,"would_cite":true,"duration_ms":151451,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35J60","35B65","35D40"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves C^{2,\\alpha} interior estimates for viscosity solutions of uniformly elliptic equations that are C^1-close to linear, with an explicit closeness bound.","keywords":["fully nonlinear elliptic equations","viscosity solutions","C^{2,\\alpha} estimates","almost linear operators","uniform ellipticity","Evans–Krylov regularity","nonconvex equations","explicit closeness constant"],"falsifier":"Test the unstated inclusion used around (2.44): take n=2, \\$\\lambda$=1/2, \\Lambda=1, and W=DF(0)=\\operatorname{diag}(1/2,1). Then A=$W^{{-1/2}}$=\\operatorname{diag}(\\sqrt{2},1), and the point x=(1/4,0) lies in B_{1/(4\\Lambda)}=B_{1/4}, but \\sqrt{\\Lambda}A^T x=(\\sqrt{2}/4,0) has norm about 0.354, outside B_{1/4}. This explicit failure shows the proof's estimate on the claimed ball is not established in the regime \\$\\lambda$\\Lambda<1; a counterexample or a corrected transfer step would settle the matter.","tokens_in":17113,"feed_emoji":"📐","tokens_out":7099,"duration_ms":69280,"temperature":0.7,"pith_summary":"The paper proves interior $C^{{2,\\alpha}}$ estimates for viscosity solutions of fully nonlinear uniformly elliptic equations F($D^{2}$u)=f that are $C^{1}$-close to a linear operator. The closeness is measured by requiring the derivative map DF to vary by at most \\varepsilon across all symmetric matrices, and the paper computes an explicit \\varepsilon_0(n,\\$\\lambda$,\\Lambda,\\$\\alpha$) that guarantees the estimate. For the homogeneous equation the conclusion is a $C^{{2,\\alpha}}$ bound on B_{1/(4\\Lambda)} controlled by the sup norm of u, and for the inhomogeneous equation with f\\in C^\\$\\alpha$ the bound is controlled by the sup norm of u plus the C^\\$\\alpha$ norm of f. The interest is that no concavity or convexity of F is assumed, so the result extends the classical Evans\\,--\\,Krylov regularity boost to a class of nonconvex equations.","feed_headline":"Small nonlinearity still forces C^{2,\\alpha} regularity","feed_subtitle":"An explicit closeness constant turns viscosity solutions of almost linear elliptic equations into classical ones.","key_machinery":"The load-bearing object is the almost-linearity condition \\|DF(M)-DF(N)\\|\\le\\varepsilon for all symmetric matrices M,N, which measures how far F's derivative is from being constant. Under this condition the paper reduces F to an operator whose derivative at zero is the identity by an affine change of coordinates, then uses a two-scale iteration: at each scale it approximates u by a quadratic polynomial P with F($D^{2}$P)=0, comparing u to a mollified harmonic function via the Krylov\\,--\\,Safanov H\\\"older estimate and harmonic derivative estimates. The quadratic polynomial lemma supplies a uniform pointwise approximation |u-P|\\le C|x|^{2+\\$\\alpha$}, and a pointwise-to-H\\\"older lemma converts that approximation into a $C^{{2,\\alpha}}$ bound. For the inhomogeneous equation, the same polynomial iteration is run with a smallness condition on the L^n average of f, using a $C^{{1,1}}$ approximation lemma from Caffarelli\\,--\\,Cabr\\'e.","core_discovery":"The central claim is Theorem 1.3: for any ellipticity constants \\$\\lambda$,\\Lambda and any \\$\\alpha$\\in(0,1), there is an explicit \\varepsilon_0(n,\\$\\lambda$,\\Lambda,\\$\\alpha$)>0 such that if F is almost linear with constant \\varepsilon_0 and u is a viscosity solution of F($D^{2}$u)=0 in B_1, then u is $C^{{2,\\alpha}}$ on B_{1/(4\\Lambda)} with \\|$D^{2}$u\\|_{C^\\$\\alpha$(B_{1/(4\\Lambda)})} \\le C_1\\|u\\|_{L^\\infty(B_1)}. The paper also proves the inhomogeneous version, Theorem 1.4: if f\\in C^\\$\\alpha$, then solutions of F($D^{2}$u)=f are $C^{{2,\\alpha}}$ in B_{1/2} with norm controlled by \\|u\\|_{L^\\infty}+\\|f\\|_{C^\\$\\alpha$}. The proof does not require F to be concave or convex; the only structural assumption is the almost-linear closeness condition.","pith_inferences":["The authors do not pursue it, but the explicit \\varepsilon_0 is likely far from optimal: the proof's constants are chosen by crude estimates, so a sharper computation of the admissible closeness window would make the result more directly applicable to perturbations of specific linear operators.","The affine normalization to the Laplacian suggests a natural extension to operators close to any constant-coefficient elliptic operator L rather than only the Laplacian; such an extension would also address the \\lambda\\Lambda\\ge 1 restriction currently implicit in the proof's final ball transfer.","A testable refinement would be to perturb the Pucci extremal operators by a small Lipschitz term and compute the maximal \\varepsilon for which C^{2,\\alpha} estimates still hold; the theorem guarantees existence of such an \\varepsilon, but numerical counterexamples near the threshold could locate the true constant."],"forward_implications":["Any viscosity solution of F(D^2u)=0 with F almost linear at the explicit threshold is automatically C^{2,\\alpha} in the interior, so the equation has classical solutions with second derivatives H\\\"older continuous.","The estimate is scale-invariant in the spirit of classical Schauder theory: the C^{2,\\alpha} norm on a smaller ball is controlled linearly by the sup norm, so the result can be used as an a priori estimate in existence proofs.","For equations with H\\\"older right-hand side, the same regularity holds and the estimate depends additively on the C^\\alpha norm of f, making the result suitable for perturbation and fixed-point arguments.","Because no concavity or convexity is assumed, the result adds a genuinely nonconvex class of uniformly elliptic equations to the known examples of fully nonlinear equations that enjoy Evans\\,--\\,Krylov-type regularity.","The closeness constant \\varepsilon_0 is explicit, so the theorem gives a concrete quantitative threshold that can be checked for a given operator."],"supporting_citations":[{"why":"Supplies the Krylov\\,--\\,Safanov H\\\"older estimate used to control the mollification error and to define the constants K_1 and \\alpha_0.","marker":"[KS81, Theorem 1]"},{"why":"Supplies the boundary C^2 estimate for harmonic functions used to bound the Hessian of the harmonic comparison function, defining K_2.","marker":"[CC95, Theorem 9.5]"},{"why":"Supplies the standard interior derivative estimates for harmonic functions and the comparison principle used in Lemma 2.1.","marker":"[GT01]"},{"why":"Supplies the C^{1,1} approximation lemma used to reduce the inhomogeneous equation to the homogeneous case in Theorem 1.4.","marker":"[CC95, Lemma 7.9]"}],"fun_headline_variants":["Explicit constant: C^{2,α} estimates for almost linear equations","Near-linear elliptic equations: viscosity solutions are C^{2,α}","Without concavity: almost linear implies C^{2,α} regularity","C^{2,α} interior estimates with explicit closeness bound","Almost linear fully nonlinear: C^{2,α} viscosity solutions"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof transfers the estimate back to the original solution through an affine change of coordinates, and the claimed final ball is only contained in the ball where the rescaled estimate applies when the product of the ellipticity constants is at least one; the paper does not handle the other case.","fun_headline_variants_meta":{"raw":{"variants":["Explicit constant: C^{2,α} estimates for almost linear equations","Near-linear elliptic equations: viscosity solutions are C^{2,α}","Without concavity: almost linear implies C^{2,α} regularity","C^{2,α} interior estimates with explicit closeness bound","Almost linear fully nonlinear: C^{2,α} viscosity solutions"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00032,"raw_usage":{"total_tokens":1719,"prompt_tokens":776,"completion_tokens":943,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":392,"completion_tokens_details":{"reasoning_tokens":848}},"tokens_in":392,"tokens_out":943,"duration_ms":9468,"temperature":1.0,"reasoning_tokens":848,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:10:01.851270+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Test the unstated inclusion used around (2.44): take n=2, \\$\\lambda$=1/2, \\Lambda=1, and W=DF(0)=\\operatorname{diag}(1/2,1). Then A=$W^{{-1/2}}$=\\operatorname{diag}(\\sqrt{2},1), and the point x=(1/4,0) lies in B_{1/(4\\Lambda)}=B_{1/4}, but \\sqrt{\\Lambda}A^T x=(\\sqrt{2}/4,0) has norm about 0.354, outside B_{1/4}. This explicit failure shows the proof's estimate on the claimed ball is not established in the regime \\$\\lambda$\\Lambda<1; a counterexample or a corrected transfer step would settle the matter.","supporting_citations":[],"review_version":1}