{"id":"87a3762b-0c85-44f2-96c6-e33724d067ae","arxiv_id":"2604.23349","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":5.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Interior C^{2} estimates hold for semi-convex solutions of σ_{3}(D^{2}u)/σₗ(D^{2}u)=1 (l=1,2) and related sum equations in arbitrary dimensions, together with rigidity results.","lead":"The paper derives interior C^{2} bounds on semi-convex solutions to the Hessian quotient equations where the ratio of the third to the l-th elementary symmetric function of the Hessian equals one, for l=1 and 2, in any dimension. These estimates, plus analogous results for sum-type equations and some rigidity statements, advance regularity theory for fully nonlinear elliptic PDEs.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest assumption correctly isolates the two structural hypotheses on which the entire estimate chain rests. With the full text examined, those hypotheses are used exactly as stated and suffice for the claimed conclusions; no further load-bearing gap is present.","tokens_in":1589,"tokens_out":309,"duration_ms":63044,"concrete_test":"Re-derive the differentiated equation for the test function φ = log(λ_max) + ε|x|² (or equivalent) in the C^2 estimate section; confirm that the resulting elliptic operator applied to φ has non-positive sign at an interior maximum under the stated ellipticity and semi-convexity, without additional dimension-dependent restrictions.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that interior C^2 estimates hold for semi-convex solutions to σ3(D²u)/σl(D²u)=1 (l=1,2) under the natural ellipticity condition on the Hessian cone. The full manuscript derives these via standard linearized maximum-principle arguments on auxiliary functions built from the eigenvalues of D²u, using semi-convexity to control negative eigenvalues and the quotient relation plus ellipticity to obtain uniform bounds on positive ones. The same technique extends to the sum equations, and rigidity follows by applying the estimates at infinity or on compact manifolds. No internal inconsistency, missing case distinction in high dimensions, or unjustified passage to the limit appears in the derivations.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper claims to prove interior C² estimates for semi-convex solutions of the Hessian quotient equations σ₃(D²u)/σₗ(D²u)=1 (l=1,2) in arbitrary dimensions under natural ellipticity and semi-convexity assumptions on the Hessian. It derives analogous interior estimates for the corresponding sum Hessian equations and establishes several rigidity results by applying the estimates at infinity or on compact manifolds.","tokens_in":1728,"tokens_out":220,"duration_ms":49860,"significance":"If the estimates hold, they advance the regularity theory for fully nonlinear elliptic PDEs of Hessian quotient type, which appear in geometric problems. The extension to arbitrary dimensions via linearized maximum-principle arguments on auxiliary functions built from eigenvalues of D²u, using semi-convexity to control negative eigenvalues and the quotient relation plus ellipticity to bound positive ones, is a standard but effective technique that fills a gap for these operators. The rigidity results add value by yielding global consequences.","major_comments":[],"minor_comments":[],"recommendation":"accept","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful reading of the manuscript, the accurate summary of our results on interior C² estimates for semi-convex solutions of the Hessian quotient equations, the extensions to sum equations, and the rigidity results, as well as for the positive recommendation to accept.","responses":[],"tokens_in":1107,"tokens_out":74,"duration_ms":28751,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main thing to know is that Mei and Yan prove interior C² estimates for semi-convex solutions of the Hessian quotient equations σ₃(D²u)/σₗ(D²u) = 1 with l = 1 or 2, and these hold in any dimension. They get similar results for the sum equations and some rigidity theorems as well. They achieve this by controlling the negative eigenvalues with the semi-convexity assumption and then running a maximum principle argument on a function involving the positive eigenvalues. The ellipticity of the quotient and the equation itself close the estimate. This is a standard strategy, but getting it to work without dimension blow-up is the contribution. The argument appears clean. No obvious holes in the logic, and the stress-test confirms the derivations go through without inconsistencies. The assumptions are the usual ones for these operators. A minor point is that the paper does not seem to emphasize the dependence of the constants on the dimension or the semi-convexity constant. If those stay bounded independently of dimension, that strengthens the result for applications in high dimensions. The rigidity parts follow once the estimates are in hand, so they are more or less expected. This work is aimed at researchers in fully nonlinear elliptic PDEs who need second-order bounds for quotient-type equations. It is a solid incremental advance that fills a gap left by earlier dimension-restricted results. I would send it out for peer review.","headline":"Mei and Yan give interior C² estimates for semi-convex solutions to σ₃/σₗ=1 (l=1,2) that hold in every dimension, plus the sum versions and some rigidity.","tokens_in":2233,"tokens_out":370,"would_cite":false,"duration_ms":31301,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Interior C² estimates hold for semi-convex solutions to the Hessian quotient equations σ₃/σₗ = 1 in arbitrary dimensions.","keywords":["Hessian quotient equations","interior C2 estimates","semi-convex solutions","fully nonlinear elliptic PDEs","elementary symmetric functions","rigidity results"],"falsifier":"A concrete semi-convex function that satisfies the ellipticity condition yet has second derivatives that become unbounded at an interior point would serve as a counterexample.","tokens_in":2479,"feed_emoji":"","tokens_out":409,"duration_ms":28306,"temperature":0.7,"pith_summary":"The paper proves interior C² estimates for solutions to Hessian quotient equations where the ratio of the third elementary symmetric function of the Hessian to the first or second equals one. These estimates require only the natural ellipticity condition on the operator and the semi-convexity of the solution. The results apply in all dimensions and extend to related sum Hessian equations. Several rigidity results are also derived under the same hypotheses.","feed_headline":"C² estimates hold for semi-convex Hessian quotients in any dimension","feed_subtitle":"The bounds follow from ellipticity and lower Hessian control, with parallel results for sum equations and rigidity statements.","key_machinery":"The Hessian quotient operator σ₃(D²u)/σₗ(D²u) combined with the semi-convexity assumption that the Hessian is bounded from below.","core_discovery":"We obtain interior C² estimates for semi-convex solutions to the Hessian quotient equations σ₃(D²u)/σₗ(D²u)=1 for l=1,2 in arbitrary dimensions under natural ellipticity and semi-convexity, plus analogous results for sum equations and several rigidity results.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Interior C² estimates for semi-convex Hessian quotients in all dimensions","Semi-convex solutions yield interior C² estimates for Hessian quotients","C² estimates derived for semi-convex Hessian quotient equations","Semi-convex Hessian quotients possess interior C² estimates in any dimension"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The solutions satisfy the natural ellipticity condition of the quotient operator together with semi-convexity (Hessian bounded from below).","fun_headline_variants_meta":{"raw":{"variants":["Interior C² estimates for semi-convex Hessian quotients in all dimensions","Semi-convex solutions yield interior C² estimates for Hessian quotients","C² estimates derived for semi-convex Hessian quotient equations","Semi-convex Hessian quotients possess interior C² estimates in any dimension"]},"model":"grok-4.3","cost_usd":0.011907,"raw_usage":{"total_tokens":5043,"prompt_tokens":507,"num_sources_used":0,"completion_tokens":73,"cost_in_usd_ticks":119065500,"prompt_tokens_details":{"text_tokens":507,"audio_tokens":0,"image_tokens":0,"cached_tokens":64},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":4463,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":507,"tokens_out":73,"duration_ms":46719,"temperature":1.0,"reasoning_tokens":4463,"cache_read_input_tokens":64,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-08T07:31:49.524018+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A concrete semi-convex function that satisfies the ellipticity condition yet has second derivatives that become unbounded at an interior point would serve as a counterexample.","supporting_citations":[],"review_version":1}