{"id":"d03680b8-ff29-4676-848f-91fb39057a1a","arxiv_id":"2412.20908","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"For every finite measure on the polar directions of a pointed cone, there exists a C-pseudo-cone whose Gaussian surface area measure equals that measure, with Gaussian co-volume no more than half the cone's.","lead":"This mathematics paper proves that any finite prescribed Gaussian surface area can be realized by an unbounded convex set inside a fixed pointed cone, as long as the missing cap has small Gaussian volume. It extends the Gaussian Minkowski problem from bounded convex bodies to cone-like unbounded sets.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The variational proof of Theorem 4.1 differentiates at a constrained maximizer without proving the co-volume constraint is inactive; the Euler–Lagrange equation γ^{α−1}S=μ is therefore unsupported.","rationale":"The reader's weakest assumption is exactly right: the first-order condition in Theorem 4.1 is the load-bearing step, and it is not justified. I re-read the proof and found no argument establishing γ(K)<β/2, nor any treatment of the active constraint. The derivative computation in Lemma 3.2 is valid for the unconstrained functional, but at a boundary maximizer the domain of admissible perturbations is a cone, and the stationarity condition must be replaced by δF(h_K)(f)≤0 for all feasible directions, or by a KKT equation with a Lagrange multiplier. The resulting equation has an extra multiplier multiplying S, so the conclusion γ^{α−1}S=μ does not follow. This gap affects the approximation step in Theorem 5.1 and hence Theorem 1.1. I also note the paper's functional is specifically designed to make the constraint γ≤β/2; the bound is used only to obtain b(E)≤Λ, and there is no a priori reason the maximizer avoids the boundary. In fact, for a point mass μ, increasing the mass pushes the maximizer toward the boundary, so the active case is not exotic. The theorem may be repairable by a standard Lagrange-multiplier argument combined with a limiting argument to remove the multiplier, but the manuscript does not supply this. Therefore I agree with the reader's REJECT verdict.","tokens_in":11779,"tokens_out":16251,"duration_ms":168855,"concrete_test":"Choose n=2, C={x1≥0,x2≥0}, v0=(−1,−1)/√2, μ=Mδ_{v0}, and take ω={v0}. Then every f∈C_+(ω) is a constant t>0, and [f]=C∩{<x,v0>≤−t}. Compute γ(t)=γ_n(C\\[t]) by quadrature, set β=γ_n(C), find t_c with γ(t_c)=β/2. Solve M=γ(t)^{α−1}γ′(t) for the unconstrained maximizer t*. If for some M>0 one has t*>t_c, then the constrained maximizer is t_c and δF=0 fails at the maximizer; this settles that the active-constraint case is real.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The variational proof of Theorem 4.1 maximizes F(f)=∫f dμ−(1/α)γ([f])^α over f∈C_+(ω) with γ([f])≤β/2. After selecting a maximizer h_K, the proof states that for any f∈C(ω) and small t, δF(h_K)(f)=0, and then derives γ(K)^{α−1}S_{γ_n}(K,·)=μ. This step requires h_K to be an interior point of the feasible set, i.e., γ(K)<β/2. The paper only proves γ(K)≤β/2 (from Lemma 3.4). If γ(K)=β/2, the constraint is active: feasible directions are one-sided, the derivative of F at h_K need not be zero, and the correct first-order condition is a variational inequality with a Lagrange multiplier λ≥0, yielding μ=(γ^{α−1}−λ)S_{γ_n}(K,·), not the claimed equality. Nothing in the proof rules out equality. On the contrary, for μ with large total mass concentrated at a direction v0, the optimizing support function is driven toward larger values, pushing γ up to the bound. Since Theorems 5.1 and 1.1 rely directly on this Euler–Lagrange step, the central existence claim is as yet unsupported.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the Gaussian surface area measure S_{gamma_n}(E, .) for C-pseudo-cones E in R^n, where C is a pointed closed convex cone. The main result (Theorem 1.1) asserts that a nonzero Borel measure mu on Omega_{C^o} is the Gaussian surface area measure of some C-pseudo-cone E with Gaussian co-volume gamma_n(E) <= 1/2 gamma_n(C) if and only if mu is finite. The proof introduces a variational problem on compact sets, proves finiteness and weak continuity of the Gaussian surface area measures, obtains a maximizer via Schneider's selection theorem, derives an Euler-Lagrange equation, and passes to the limit via an approximation argument.","tokens_in":12027,"tokens_out":25704,"duration_ms":254960,"significance":"If correct, the result would be a natural unbounded analogue of the Gaussian Minkowski problem of Huang-Xi-Zhao, with the co-volume bound serving as a smallness condition. The paper contains several useful and mostly standard preliminary estimates: finiteness of S_{gamma_n} (Lemma 3.1), weak continuity (Lemma 3.3), continuity of the Gaussian co-volume (Lemma 3.4), and the upper bound on b(E) (Lemma 4.2). These parts are well sourced and appear sound. However, the central existence theorem is not established, and as stated it is false; the variational step at the heart of the proof is invalid.","major_comments":[{"comment":"The variational proof differentiates the functional at a maximizer h_K without proving that the constraint gamma_n([f]) <= beta/2 is inactive. The paper only establishes gamma_n(K) <= beta/2 (Lemma 3.4). If gamma_n(K) = beta/2, the feasible directions at h_K are one-sided, and the first-order condition is a variational inequality with a Lagrange multiplier lambda >= 0, namely mu = (gamma_n(K)^{alpha-1} + lambda) S_{gamma_n}(K, .), not the asserted equality. Since no argument rules out the active case and Theorems 5.1 and 1.1 both rely on this Euler-Lagrange step, the existence claim is unsupported.","section":"Theorem 4.1, proof, paragraph beginning 'For any f in C(omega)'"},{"comment":"The statement is false as written: a smallness condition on the total mass of mu is missing. For C = R_+^n and any v0 in int C^o, the atom S_{gamma_n}(E, {v0}) is uniformly bounded over all C-pseudo-cones with gamma_n(E) <= beta/2: the face with normal v0 is contained in the bounded section C cap {<x,v0> = -a}, where a = -h_E(v0) > 0, so its Gaussian (n-1)-measure is at most (2 pi)^{-n/2} a^{n-1} e^{-a^2/2} H^{n-1}(C cap {<x,v0> = -1}), and a^{n-1} e^{-a^2/2} is bounded in a. Hence mu = M delta_{v0} with M larger than this bound is finite but not representable. In dimension one, C = [0,infty), this is explicit: every C-pseudo-cone is [a,infty) and S_{gamma_1}(E, .) = (2 pi)^{-1/2} e^{-a^2/2} delta_{-1} has total mass at most (2 pi)^{-1/2} < 1, so mu = delta_{-1} is a counterexample.","section":"Theorem 1.1"}],"minor_comments":[{"comment":"There is a typo in the second paragraph: 'Euclidean sapce' should be 'Euclidean space'.","section":"Introduction"},{"comment":"The expression 'lambda /greaterorequalslant 1' appears to be an encoding artifact; it should read 'lambda >= 1'.","section":"Section 2, Definition of pseudo-cone"},{"comment":"The displayed inequality has a missing closing parenthesis: 'Hn((E0 \\ Ei) \\cap C -(t)' should be 'H^n((E0 \\ Ei) \\cap C -(t))'.","section":"Lemma 3.4, proof"},{"comment":"In the line 'tk -> +infty as t -> +infty', the limit should be as k -> infinity, not as t -> infinity; also the symbol 'STheta_{n-1}' later in the same proof is undefined and should be 'S_{gamma_n}'.","section":"Theorem 5.1, proof"}],"recommendation":"reject","confidential_remarks":"The preliminary material (finiteness, weak continuity, co-volume continuity, and the upper bound on b(E)) is useful and appears sound. However, the main theorem is false without a smallness assumption on the total mass of mu, and the variational proof contains a load-bearing gap at the constrained maximizer. I recommend rejection, though a revised paper with a corrected statement (e.g., existence for measures of sufficiently small total mass) and a proper treatment of the active constraint could be worth reconsidering."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: this is the natural Gaussian analogue of the Minkowski problem for C-pseudo-cones, and the statement is probably true. But as written, the proof has a genuine gap in Theorem 4.1, and the existence theorem is not yet supported.\n\nWhat is new: the Gaussian surface area measure for C-pseudo-cones is finite for all such sets (Lemma 3.1), the weak continuity lemma, and the small-co-volume existence theorem. These are natural extensions of Huang–Xi–Zhao and Schneider's weighted pseudo-cone results, with the methods largely following Schneider. The paper is honest: the only self-citation [58] is an alternate proof of an estimate from [50]. No circularity.\n\nThe soft spot: in Theorem 4.1, after finding a maximizer K with γ_n(K) ≤ ½β, the proof differentiates F along arbitrary f in C(ω) and sets the derivative to zero. That step assumes K is interior to the feasible set, i.e. γ_n(K) < ½β. If the constraint is active, feasible directions are one-sided, and the first-order condition is a variational inequality with a Lagrange multiplier: μ = (γ_n(K)^{α-1} + λ) S_{γ_n}(K, ·). Nothing in the paper rules out equality. In fact, for measures with large mass concentrated near one direction, the maximizing support function is pushed up against the bound. So the Euler–Lagrange equation as stated is unsupported.\n\nIs this fatal? Not necessarily. The gap is specific and the strategy is standard; a repair would either show the maximizer has γ_n(K) < ½β (perhaps via a scaling argument or by choosing the constraint with a margin) or handle the active-constraint case with a multiplier and then argue the multiplier vanishes. But as it stands, Theorems 4.1, 5.1, and 1.1 rely on this step.\n\nMinor issues: Lemma 4.1's notation [δ] for a constant function is a bit terse; the proof of Lemma 3.4 uses Hn(A\\B) ≤ δa without defining A,B but it's clear from context.\n\nWho this is for: convex geometers working on Minkowski problems for unbounded sets or Gaussian measures. The finiteness lemma alone is worth having. A serious referee should engage with the variational gap; this is not a desk reject. I'd accept it for peer review with the expectation of a major revision.","headline":"A useful and largely correct paper whose main theorem currently rests on an unproved interiority assumption in the variational step.","tokens_in":12593,"tokens_out":3276,"would_cite":true,"duration_ms":32376,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["52A20","52A30","52A40"],"pacs":[],"model":"deepseek-v4-flash","headline":"Every nonzero finite Borel measure on the polar directions of a pointed convex cone is the Gaussian surface-area measure of some C-pseudo-cone with Gaussian co-volume at most half the cone's.","keywords":["Gaussian-Minkowski problem","C-pseudo-cones","Gaussian surface area measure","Gaussian co-volume","Wulff shape","variational methods","Minkowski problem","convex geometry"],"falsifier":"Compute the minimal Gaussian co-volume among C-pseudo-cones whose Gaussian surface-area measure equals a prescribed finite measure, beginning with a Dirac mass at a single polar direction of a quadrant cone in $\\mathbb{R}^2$; if the minimum equals $\\frac{1}{2}\\gamma_n(C)$, the active-constraint case is real and the unconstrained Euler-Lagrange step needs a Lagrange multiplier, while a strict gap would confirm the proof's assumption for that extremal case.","tokens_in":11539,"feed_emoji":"📐","tokens_out":14071,"duration_ms":129577,"temperature":0.7,"pith_summary":"The paper aims to show that, for any pointed closed convex cone C in Euclidean space, the Gaussian-Minkowski problem for C-pseudo-cones has a solution: every nonzero finite Borel measure on the outer-normal directions inside the polar cone is the Gaussian surface-area measure of some C-pseudo-cone, and the realizing set can be chosen with Gaussian co-volume no larger than half the cone's Gaussian mass. This is an unbounded analogue of the Gaussian-Minkowski problem for convex bodies, replacing compact convex sets with closed convex sets whose recession cone is C. The result would give a complete characterization of the range of the Gaussian surface-area map on the class of pseudo-cones with small co-volume, and the finiteness of the prescribed measure is both necessary and sufficient. The proof is variational: it maximizes a functional built from the measure and a power of the Gaussian co-volume over Wulff shapes on compact direction sets, then passes to all directions by exhaustion and compactness.","feed_headline":"Finite measures are Gaussian surface areas of pseudo-cones","feed_subtitle":"Unbounded convex sets of small co-volume realize any prescribed boundary measure in Gaussian space.","key_machinery":"The Wulff shape of a positive continuous function $f$ on a compact set $\\omega\\subset\\Omega_{C^\\circ}$ is $[f]=C\\cap\\bigcap_{v\\in\\omega}\\{x\\in\\mathbb{R}^n:\\langle x,v\\rangle \\le -f(v)\\}$; it is a C-determined convex set whose boundary geometry is controlled by $f$. The variational functional is $F(f)=\\int_\\omega f\\,d\\mu - \\alpha^{-1}\\gamma_n([f])^\\alpha$, maximized over $f$ with $\\gamma_n([f])\\le\\beta/2$, where $\\beta=\\gamma_n(C)$. The first-variation identity $\\delta\\gamma_n(K)(f)=\\int_\\omega f\\,dS_{\\gamma_n}(K,\\cdot)$ turns the maximizer's stationarity into $\\gamma_n(K)^{\\alpha-1}S_{\\gamma_n}(K,\\cdot)=\\mu$. Compactness comes from the pseudo-cone selection theorem together with uniform upper and lower bounds on the distance from the origin to the Wulff shapes, and the transition from compact $\\omega$ to all polar directions uses an increasing exhaustion of direction sets with weak convergence of the surface-area measures.","core_discovery":"The central claim, Theorem 1.1, is that for a pointed closed convex cone C and a nonzero Borel measure $\\mu$ on $\\Omega_{C^\\circ}$, there is a C-pseudo-cone E with $\\gamma_n(E) \\le \\frac{1}{2}\\gamma_n(C)$ and $S_{\\gamma_n}(E,\\cdot)=\\mu$ if and only if $\\mu$ is finite. The Gaussian surface-area measure is the push-forward of Gaussian-weighted Hausdorff measure under the inverse Gauss image, and the Gaussian co-volume is the Gaussian measure of $C\\setminus E$. The existence direction is the content: starting from a finite measure, the construction produces the pseudo-cone as a limit of Wulff shapes, and the small-co-volume bound is preserved in the limit. A stronger statement, Theorem 5.1, proves the same for the weighted measures $\\gamma_n(E)^{\\alpha-1}S_{\\gamma_n}(E,\\cdot)$ for every $\\alpha\\ge1$, so Theorem 1.1 is the case $\\alpha=1$.","pith_inferences":["Going beyond the paper: if the small-co-volume restriction is an artifact of the compactness argument rather than a geometric necessity, a penalized or augmented functional would plausibly produce solutions with co-volume approaching the full Gaussian mass of C, testable by numerical continuation in the parameter $\\alpha$ near 1.","Going beyond the paper: the same Wulff-shape scheme suggests a one-parameter family of weighted Gaussian-Minkowski problems for pseudo-cones indexed by $\\alpha$; the paper handles $\\alpha\\ge1$, leaving the range $\\alpha<1$, where coercivity changes, as a natural next target.","Going beyond the paper: because the theorem proves existence but not uniqueness, a companion question is whether the small-co-volume class admits a uniqueness or stability theorem for the Gaussian surface-area measure, analogous to known behavior for bounded convex bodies.","Going beyond the paper: the active-constraint gap in the variational step could be repaired if one could prove the maximizer always satisfies $\\gamma_n(K)<\\beta/2$; a sufficient condition would be a Gaussian isoperimetric-type lower bound on the co-volume removed by imposing a prescribed boundary measure."],"forward_implications":["The range of the Gaussian surface-area map on C-pseudo-cones with Gaussian co-volume at most half the cone's is exactly the nonzero finite Borel measures on $\\Omega_{C^\\circ}$.","The co-volume bound is part of the conclusion: the realizing pseudo-cone removes no more than half of the cone's Gaussian mass, so the solution lies in the small-co-volume regime where the proof's estimates apply.","For every $\\alpha\\ge1$, the weighted measure $\\gamma_n(E)^{\\alpha-1}S_{\\gamma_n}(E,\\cdot)$ is also realizable by a C-pseudo-cone in the same co-volume class, giving a family of Gaussian-Minkowski-type existence theorems beyond $\\alpha=1$.","Finiteness is intrinsic: no infinite measure can be a Gaussian surface-area measure of any C-pseudo-cone, because the Gaussian density makes every such measure finite.","The construction is algorithmic in principle: solve the finite-dimensional variational problem on a growing compact direction set and take the limit, so approximate solutions can be computed for concrete cones and measures."],"supporting_citations":[{"why":"Supplies the variational framework for coconvex sets and the criterion that identifies the limit of Wulff shapes as a C-determined set.","marker":"[46]"},{"why":"Provides the pseudo-cone selection theorem used for compactness and the lower-bound lemma that keeps the maximizing sequence away from the origin.","marker":"[49]"},{"why":"Supplies the weighted Minkowski theory for pseudo-cones, including the partition estimate for finiteness and the approximation lemma for the exhaustion step.","marker":"[50]"},{"why":"Establishes the bounded-body Gaussian-Minkowski problem and supplies the small-delta estimate for the Wulff-shape functional used in the positivity step.","marker":"[25]"},{"why":"Gives the support-function bounds for Wulff shapes of C-pseudo-cones that control the variational functional.","marker":"[48]"},{"why":"Provides the surface-area estimate used to prove the Gaussian surface-area measure is finite for every C-pseudo-cone.","marker":"[58]"}],"fun_headline_variants":["Finite measures are exactly Gaussian surface areas of pseudo-cones","Small co-volume pseudo-cones realize any finite Gaussian measure","Pseudo-cones solve Gaussian-Minkowski for finite measures","Every finite measure is a Gaussian boundary measure of some pseudo-cone"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The variational proof assumes the co-volume constraint $\\gamma_n(E) \\le \\frac{1}{2}\\gamma_n(C)$ is not active at the maximizer, so arbitrary small perturbations of the support function remain feasible and the derivative can be set to zero, while only the non-strict inequality is proved.","fun_headline_variants_meta":{"raw":{"variants":["Finite measures are exactly Gaussian surface areas of pseudo-cones","Small co-volume pseudo-cones realize any finite Gaussian measure","Pseudo-cones solve Gaussian-Minkowski for finite measures","Every finite measure is a Gaussian boundary measure of some pseudo-cone"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00129,"raw_usage":{"total_tokens":5188,"prompt_tokens":785,"completion_tokens":4403,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":401,"completion_tokens_details":{"reasoning_tokens":4332}},"tokens_in":401,"tokens_out":4403,"duration_ms":30051,"temperature":1.0,"reasoning_tokens":4332,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T23:09:22.430942+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the minimal Gaussian co-volume among C-pseudo-cones whose Gaussian surface-area measure equals a prescribed finite measure, beginning with a Dirac mass at a single polar direction of a quadrant cone in $\\mathbb{R}^2$; if the minimum equals $\\frac{1}{2}\\gamma_n(C)$, the active-constraint case is real and the unconstrained Euler-Lagrange step needs a Lagrange multiplier, while a strict gap would confirm the proof's assumption for that extremal case.","supporting_citations":[{"cited_title":"Schneider, A Brunn-Minkowski theory for coconvex se ts of finite volume, Adv","cited_arxiv_id":null,"evidence_quote":"Supplies the variational framework for coconvex sets and the criterion that identifies the limit of Wulff shapes as a C-determined set."},{"cited_title":"Schneider, Pseudo-cones, Adv","cited_arxiv_id":null,"evidence_quote":"Provides the pseudo-cone selection theorem used for compactness and the lower-bound lemma that keeps the maximizing sequence away from the origin."},{"cited_title":"Schneider, A weighted Minkowski theorem for pseudo- cones, Adv","cited_arxiv_id":null,"evidence_quote":"Supplies the weighted Minkowski theory for pseudo-cones, including the partition estimate for finiteness and the approximation lemma for the exhaustion step."},{"cited_title":"Huang, D","cited_arxiv_id":null,"evidence_quote":"Establishes the bounded-body Gaussian-Minkowski problem and supplies the small-delta estimate for the Wulff-shape functional used in the positivity step."},{"cited_title":"Schneider, Minkowski type theorems for convex sets i n cones, Acta Math","cited_arxiv_id":null,"evidence_quote":"Gives the support-function bounds for Wulff shapes of C-pseudo-cones that control the variational functional."}],"review_version":1}