{"id":"5707273b-3ddb-4118-8766-1156a0cc1422","arxiv_id":"2505.12921","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The authors solve the even capillary L_p-Minkowski problem for -n < p < 1, proving existence of smooth even capillary hypersurfaces with prescribed curvature in the half-space.","lead":"The paper proves a long-sought existence result: for a range of exponents, there is always a smooth, symmetric capillary surface in a half-space whose curvature matches any prescribed positive even function. The proof works by repeatedly applying a newly defined curvature image operator until the sequence stabilizes.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.2 is only proved for n≥3: Lemma 3.1's C^2 estimate uses exponent (n−1)/(n−2), undefined for n=2, and no separate two-dimensional argument is supplied.","rationale":"The reader's weakest-assumption analysis identifies exactly the same load-bearing concern: Lemma 3.1 proves the uniform C^2 bound only for n ≥ 3, using exponents that are undefined when n = 2, and the theorem as stated includes n = 2. This is the single most serious issue because the entire iterative scheme rests on the uniform C^m bounds: without them, the subsequential limit M in (3.3) is not guaranteed to exist, so the fixed-point argument cannot be run. The rest of the proof is well supported: the operator is well-defined because evenness forces the centroid condition of Theorem 1.1; the monotonicity and volume-convergence arguments in Lemmas 2.4–2.6 and Section 3 are coherent; and the fixed-point equation does yield s^{1−p}/K = φ, since the volume identity V = (1/n)∫ s f dσ forces V(M)^{1/n} = ∫ φ s_M^p. No other gap of comparable weight appears. The paper does flag the restriction internally by writing 'We consider the case n ≥ 3,' but it does not address the omission or adjust the theorem statement. The verdict CONDITIONAL is appropriate: the main result for n ≥ 3 is plausibly correct, but the theorem as stated is not fully proven until the n = 2 case is supplied or the statement is restricted.","tokens_in":11584,"tokens_out":11001,"duration_ms":109383,"concrete_test":"Derive the uniform C^2 estimate for n = 2: write the capillary curvature equation as a two-point boundary value problem for the support function on the interval parametrizing C_θ, and prove a bound on the second derivative using the C^1 bound and the Robin boundary condition. If successful, amend Lemma 3.1 to include n = 2; if not, restrict Theorem 1.2 and the abstract to n ≥ 3.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim, Theorem 1.2, is stated for arbitrary dimension n (with −n < p < 1), but the proof of the uniform C^m bounds in Lemma 3.1 explicitly begins 'We consider the case n ≥ 3.' The recursive estimate controlling the largest principal curvature has the form a_{i+1}^{(n−1)/(n−2)} ≤ c1 + c2 a_i, and the preceding inequality F^{ij}ḡ_{ij} ≥ c_n σ_{n−1}^{−1/((n−1)(n−2))} σ_1^{1/(n−2)} also uses the exponent 1/(n−2). For n = 2 these exponents are undefined, and the final induction bound a_i ≤ a^{n−2} collapses to a trivial statement. No separate n = 2 argument is given anywhere in the paper, nor is the theorem statement restricted to n ≥ 3. This is an internal proof gap, not a disagreement with external consensus: the compactness step, and hence the existence of the limit hypersurface M, depends on these uniform C^2 bounds. The gap is likely fixable—for n = 2 the capillary problem reduces to an ODE on an interval with Robin boundary conditions—but as written the theorem's full statement is not proven.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces capillary curvature image operators Lambda_p^phi built from the capillary Minkowski problem, studies their monotonicity, obtains uniform a priori bounds, and iterates the operator to produce a fixed point. The authors claim that this fixed point gives an even, smooth, strictly convex capillary hypersurface solving the even capillary L_p-Minkowski problem for -n<p<1 and theta in (0,pi/2), which is Theorem 1.2. The proof combines the p=1 capillary Minkowski theorem, monotonicity of volume-type functionals, compactness from uniform C^m estimates, and the equality case of the capillary Minkowski inequality.","tokens_in":11831,"tokens_out":57793,"duration_ms":543509,"significance":"If the issues below are repaired, the result is a substantive contribution: it provides the first existence theorem for the even capillary L_p-Minkowski problem in the range -n<p<1, where the continuity method is unavailable and variational methods are obstructed by regularity questions. The iterative curvature-image scheme is an interesting discrete-flow alternative to parabolic and degree-theoretic approaches. The paper is clearly written, and the monotonicity lemmas are mostly standard and correctly assembled; the constructive use of the p=1 theorem as an external input is explicit.","major_comments":[{"comment":"The uniform C^2 bound is proved only for n>=3. The proof uses the exponents (n-1)/(n-2) and 1/(n-2) in the recursive estimate and in the lower bound for F^ij g_ij, both of which are undefined for n=2. No separate two-dimensional argument is supplied, while Theorem 1.2 is stated for arbitrary n. This is load-bearing because the compactness step (3.3) and the identification of the limit M depend on the uniform C^m bounds. The gap is fixable, for instance by treating n=2 separately as a second-order ODE with Robin boundary conditions, where the C^2 bound follows directly from the uniform bounds on the right-hand side, but as written the full theorem is not proved.","section":"Section 3, Lemma 3.1"},{"comment":"The fixed point equation obtained at the end of the proof does not imply the stated theorem unless an additional normalization or scaling step is supplied. The displayed equation gives f_M proportional to phi s_M^{p-1}, so multiplying by s_M^{1-p} yields s_M^{1-p}/K_M = c phi with c equal to the proportionality constant (V(M)^{1/n}/int phi s_M^p in the final display, or nV(M)/int phi s_M^p if the operator is defined as in Lemma 2.5). The proof does not show c=1. This can be repaired by a homothety: scaling the hypersurface about the origin by lambda multiplies s^{1-p}/K by lambda^{n-p} and preserves the capillary contact angle, so choosing lambda = c^{-1/(n-p)} yields a solution to the desired equation with constant 1. This step is absent and should be stated explicitly.","section":"Section 3, final paragraph"},{"comment":"In the induction closing the C^2 estimate, the displayed consequence of the recursive inequality is incorrect. From a_i^{(n-1)/(n-2)} <= a(1+a_{i-1})/2 and a_i > a^{n-2}, one obtains a^{n-2} < (1+a_{i-1})/2, not a^{n-2} < a_{i-1} + 1/2. As printed, the subsequent inequality a_{i-1}+1/2 <= a_{i-1} cannot hold. The intended contradiction is valid after this correction, but the text should be fixed.","section":"Section 3, Lemma 3.1, induction step"}],"minor_comments":[{"comment":"The displayed formula for f_{Lambda_p^phi Sigma} is ambiguous and appears inconsistent with the computation in Lemma 2.5. The computation of Omega_p(Lambda_p^phi Sigma) in Lemma 2.5 corresponds to f_{Lambda} = nV(Sigma)/int phi s_Sigma^p dsigma * phi s_Sigma^{p-1}, whereas the displayed definition uses V(Sigma)^{1/n}. Please reconcile the definition and the final fixed point display.","section":"Definition 2.1"},{"comment":"The proof relies on [HIS25] for the C^1 estimates and for the structure of the C^2 estimate. Since [HIS25] is a preprint, the authors should either state the needed results or make clear that they are available in a final published form.","section":"References"},{"comment":"The notation V(bSigma) is used both for the standard volume and inside the capillary mixed volume V(Sigma, Lambda[n-1]) without an explicit definition in this paper; a brief reminder of the capillary mixed volume formula from [MWWX24] would improve readability, especially because the volume identity V = (1/n) int s f dsigma is used repeatedly.","section":"Notation"}],"recommendation":"major_revision","confidential_remarks":"The main gaps are local and fixable: add the n=2 argument, insert the homothety step in the final paragraph, and correct the induction typo. I would encourage the editor to verify the status of [HIS25], since several estimates are imported from that preprint. The normalization issue in the final fixed point equation is the most important conceptual point to address before publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper gives an iterative scheme that solves the even capillary L_p-Minkowski problem for -n < p < 1, opening a range that was genuinely open. The construction of the capillary curvature image operators is new, and the use of monotonicity plus the equality case of the capillary Minkowski inequality is clever and works cleanly for n >= 3. The authors are honest about what they build on: Theorem 1.1 (p = 1) is the external input, and the circularity burden is low because convergence to a fixed point is not assumed but derived from the Minkowski inequality. The literature citation pattern looks appropriate; the self-citation [HIS25] is for a technical C^2 estimate, which is reasonable.\n\nThe soft spot is real and squarely in the proof. Lemma 3.1, the uniform C^2 bound for the iterates, explicitly says \"We consider the case n >= 3\" and then uses exponents like (n-1)/(n-2) and 1/(n-2) in the recursive inequality. For n = 2 these are undefined, and the final induction bound collapses. No separate two-dimensional argument appears anywhere, yet Theorem 1.2 is stated for arbitrary n. This is an internal gap, not a disagreement with external consensus: the compactness step that produces the limit hypersurface depends on those uniform bounds. The stress-test note is correct, and the reader's verdict of CONDITIONAL is fair. I would add that the gap is likely fixable, since the capillary problem in dimension two reduces to a one-dimensional boundary-value problem, so I do not see this as a fatal flaw. There is also a minor typo in the recursion contradiction (the first line of the \"claim\" paragraph seems to misstate the exponent), but that is cosmetic.\n\nWho gets value from this paper? Geometric analysts working on Minkowski-type problems and capillary hypersurfaces. The method is a genuine alternative to flows and continuity, and it may well become standard for other ranges. The paper deserves a serious referee. In review, I would ask the authors to either supply the n = 2 argument (probably via an ODE shooting argument) or explicitly restrict the theorem to n >= 3 and note the planar case as open. I recommend sending it out with that request.","headline":"Important result for the capillary L_p-Minkowski problem in the open range -n < p < 1, but as written the proof only covers n >= 3; the missing n = 2 case is fixable but the theorem statement overreaches.","tokens_in":12377,"tokens_out":1479,"would_cite":true,"duration_ms":15644,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["52A20","53C42","35J96"],"pacs":[],"model":"deepseek-v4-flash","headline":"The even capillary $L_p$-Minkowski problem has a smooth solution for all $-n < p < 1$.","keywords":["capillary L_p-Minkowski problem","Lp-Minkowski problem","capillary hypersurface","curvature image operator","Gauss curvature","halfspace","iterative scheme","fixed point"],"falsifier":"Run the iterative scheme of Section 3 in dimension $n=2$ for a simple even datum such as $\\phi=1$, starting from the spherical cap $C_\\theta$; if the maximum principal curvature of the iterates is unbounded, the uniform $C^2$ estimate fails and the proof of Theorem 1.2 for $n=2$ collapses.","tokens_in":11362,"feed_emoji":"📐","tokens_out":14360,"duration_ms":129346,"temperature":0.7,"pith_summary":"The paper proves a capillary version of the $L_p$-Minkowski problem in the half-space: for any exponent $-n<p<1$ and any even, smooth, positive function $\\phi$ on the spherical cap $C_\\theta$, there is a smooth, strictly convex capillary hypersurface -- a surface inside the upper half-space that meets the boundary plane at a fixed angle $\\theta$ -- whose curvature satisfies $s^{1-p}/K=\\phi$, where $s$ is its support function and $K$ its Gauss curvature. The range covered includes the logarithmic case $p=0$ and all negative exponents down to but not including $-n$, a regime where the usual continuity method fails. The proof is constructive: it repeatedly applies a 'capillary curvature image' operator, built from the known solution of the $p=1$ capillary Minkowski problem, to generate a sequence of surfaces, and proves the sequence converges to a fixed point by combining a monotone functional with the capillary Minkowski inequality. The result extends the solved cases $p=1$ and $p>1$ into the hard range $p<1$.","feed_headline":"Curvature images solve capillary L_p problem for -n < p < 1","feed_subtitle":"An iteration on convex capillary surfaces turns any even datum into a surface of prescribed curvature and contact angle.","key_machinery":"The capillary curvature image operator $\\Lambda_p^\\phi$ is the central object: given an even strictly convex capillary hypersurface $\\Sigma$, it returns the unique even strictly convex capillary hypersurface whose curvature function is $f_{\\Lambda_p^\\phi\\Sigma}=\\frac{V(b\\Sigma)^{1/n}}{\\int_{C_\\theta}\\phi s_\\Sigma^p\\,d\\sigma}\\,\\phi s_\\Sigma^{p-1}$, where $s_\\Sigma$ is the capillary support function, $f_\\Sigma=(K\\circ\\tilde{\\nu}^{-1})^{-1}$, and $V(b\\Sigma)$ is the volume of the enclosed region. This operator is well-defined because the capillary Minkowski problem supplies a unique hypersurface for every prescribed positive even curvature function. Iteration of $\\Lambda_p^\\phi$ gives the discrete flow, and its fixed points are exactly the solutions sought: $f=\\phi s^{p-1}$ is equivalent to $s^{1-p}/K=\\phi$ on $C_\\theta$. The proof's other machinery is the capillary Alexandrov-Fenchel/Minkowski inequality, which gives $V(b\\Sigma)\\ge V(\\widehat{\\Lambda_p^\\phi\\Sigma})$ with equality only at fixed points, and the functional $A_p^\\phi$, whose monotonicity along the iteration supplies compactness.","core_discovery":"The paper claims Theorem 1.2: for any angle $\\theta\\in(0,\\pi/2)$, any $-n<p<1$, and any even, smooth, positive function $\\phi$ on the capillary sphere $C_\\theta$, there exists an even, smooth, strictly convex capillary hypersurface $\\Sigma\\subset\\mathbb{R}^n_+$ whose capillary support function $s$ and Gauss curvature $K$ satisfy $s^{1-p}/(K\\circ\\tilde{\\nu}^{-1})=\\phi$. The proof works by applying a newly defined capillary curvature image operator $\\Lambda_p^\\phi$ repeatedly to the spherical cap $C_\\theta$, producing a sequence of even strictly convex capillary hypersurfaces. A monotone functional $A_p^\\phi$ is non-decreasing along the sequence, while the capillary Minkowski inequality forces the enclosed volumes to converge; compactness from uniform $C^m$ estimates yields a limit, and the equality case of the inequality identifies the limit as a fixed point of $\\Lambda_p^\\phi$. Fixed points of the operator correspond to solutions of the capillary $L_p$-Minkowski equation.","pith_inferences":["One could test whether the iterative scheme extends to the endpoint $p=-n$ by replacing the functional bounds of Lemma 2.4 with an entropy bound, since the main inequalities remain stable as $p$ approaches $-n$ from above.","The proof for $n=2$ would be completed by a separate maximum-principle estimate; the recursive inequality in Lemma 3.1 divides by $n-2$, so a planar version needs a different argument.","The operator construction mirrors the classical Petty curvature image, so analogous capillary curvature image operators could be defined in other ambient geometries whenever a capillary Minkowski existence theorem holds.","Because the limit is obtained from monotone functional bounds rather than a flow, the scheme may give quantitative stability of solutions with respect to perturbations of $\\phi$ and $p$."],"forward_implications":["Every even, positive, smooth datum $\\phi$ on the capillary sphere is realized as $s^{1-p}/K$ by some even, smooth, strictly convex capillary hypersurface, for every $-n<p<1$.","The range includes the logarithmic case $p=0$ and negative exponents down to, but not including, $-n$, where continuity methods are known to fail.","The solution is obtained as the limit of an explicit iterative scheme, so the proof is constructive and avoids degree theory and the need for capillary uniqueness results.","The equality case of the capillary Minkowski inequality is the sole identification tool at the limit, replacing the role Aleksandrov's variational lemma plays in classical treatments."],"supporting_citations":[{"why":"Solves the base capillary Minkowski problem for $p=1$, which makes the capillary curvature image operator well-defined.","marker":"[MWW25a]"},{"why":"Provides the capillary Alexandrov-Fenchel/Minkowski inequality and its equality case, used to prove monotonicity and to identify the limit as a fixed point.","marker":"[MWWX24]"},{"why":"Supplies the $C^1$ and $C^2$ a priori estimates, especially Lemma 4.9, that give uniform bounds along the iteration.","marker":"[HIS25]"},{"why":"Contributes the support-function bound (Lemma 6.1) and the curvature-image iteration strategy.","marker":"[Iva16]"},{"why":"Is the earlier iteration-of-curvature-images framework that the capillary construction adapts.","marker":"[Iva20]"},{"why":"Gives the oblique-boundary Schauder estimates used to lift $C^2$ bounds to $C^{2,\\alpha}$ and higher regularity.","marker":"[LT86]"}],"fun_headline_variants":["Iteration on curvature images solves capillary L_p for -n<p<1","Capillary L_p-Minkowski solved for -n<p<1 via iteration","Fixed-point iteration settles capillary L_p for -n<p<1","Even capillary L_p solved for -n<p<1 and any angle","Curvature image iteration solves capillary L_p in new range"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof's control of the iterates' second derivatives is carried out only for dimensions three and higher; the key estimate divides by $n-2$, which is zero in the plane, and no separate two-dimensional argument is given, although the theorem is stated for every dimension $n$.","fun_headline_variants_meta":{"raw":{"variants":["Iteration on curvature images solves capillary L_p for -n<p<1","Capillary L_p-Minkowski solved for -n<p<1 via iteration","Fixed-point iteration settles capillary L_p for -n<p<1","Even capillary L_p solved for -n<p<1 and any angle","Curvature image iteration solves capillary L_p in new range"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000554,"raw_usage":{"total_tokens":2596,"prompt_tokens":861,"completion_tokens":1735,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":477,"completion_tokens_details":{"reasoning_tokens":1639}},"tokens_in":477,"tokens_out":1735,"duration_ms":14621,"temperature":1.0,"reasoning_tokens":1639,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T20:23:22.672595+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Run the iterative scheme of Section 3 in dimension $n=2$ for a simple even datum such as $\\phi=1$, starting from the spherical cap $C_\\theta$; if the maximum principal curvature of the iterates is unbounded, the uniform $C^2$ estimate fails and the proof of Theorem 1.2 for $n=2$ collapses.","supporting_citations":[],"review_version":1}