{"id":"c98f09e8-e4a4-4117-81c9-8f8310b63ee8","arxiv_id":"2502.05427","paper_version":1,"verdict":"UNVERDICTED","confidence":"MODERATE","novelty_score":2.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A comprehensive survey that organizes the Minkowski problems of convex geometry into a unified framework based on geometric measures as differentials of global geometric invariants.","lead":"This paper surveys Minkowski problems, which ask when a prescribed measure on the unit sphere is the surface area measure, cone-volume measure, or another geometric measure of a convex body. It organizes dozens of classical and recent results into one framework built on the Brunn-Minkowski theory and its dual, Lp, chord, capacitary, and Gaussian variants.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Chord-measure differentiability is the load-bearing input for the claimed unified framework, but the q=0 and q∈(0,1) cases are left unresolved for nonsmooth bodies; this should be checked before the framework is taken as covering chord measures.","rationale":"The reader identified, as its weakest assumption, the differentiability formulas for chord measures and dual curvature measures, including possible failures for nonsmooth bodies or q below 1. My stress-test focuses on the chord-measure entry specifically, where the manuscript itself acknowledges an unresolved q=0 definition and a possible divergence in the integrand for 0<q<1. This is genuinely load-bearing because Section 4 defines a geometric measure by a differentiability property, and Section 7 presents chord measures as fitting that definition. However, I do not see a demonstrated error: the authors explicitly state that the questionable formulas are proved in [169], and the q=0 caveat is disclosed rather than hidden. The paper is a survey, so the absence of proofs for deep cited results is normal; the central claim survives unless the cited theorems fail. Because the concern is unresolved rather than confirmed, the reader's UNVERDICTED status remains appropriate. I recommend keeping the verdict unchanged while flagging the chord-measure edge case as the most useful target for independent verification.","tokens_in":55975,"tokens_out":10371,"duration_ms":116007,"concrete_test":"Take K=[-1,1]^3, a cube in R^3, and set q=1/2 and L=B^3. Independently compute F_q(K,·) from (7.4), and compare it with the one-sided derivatives d/dt|_{t=0±} I_{1/2}(K+tL) computed from (7.1) or (7.3). Then examine lim_{q→0+} F_q(K,η) on a facet and on the 1-skeleton of the cube to see whether it converges to a multiple of S_{n-2}(K,η) as (7.6) predicts. If F_q is infinite or the left and right derivatives differ, formula (7.5) fails for nonsmooth K and the chord-measure framework has a genuine hole.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The survey's central claim is that all discussed geometric measures fit a single framework by being differentials of global invariants, formalized in (4.1). The least secure member of this framework is the chord measure family. In §7.1.2 the qth chord measure F_q is defined by (7.4) only for q>0, and differentiability (7.5) is cited to the authors' own paper [169]. The text itself flags two unresolved edges: (i) for 0<q<1, the integrand ~V_{q-1}(K,z) 'may be infinite' when z∈∂K (§7.1.1), so (7.4) is not obviously a finite Borel measure for arbitrary convex bodies, and (ii) the q→0+ limit defining F_0 in (7.6) is stated only for sufficiently smooth bodies, with the explicit caveat that 'it is not clear what the limit in (7.6) is for non-smooth convex bodies.' Yet §7.2.1 poses the chord Minkowski problem for q≥0. If either edge fails, then chord measures are not differentials of a global invariant in the sense of (4.1), and the claimed unification does not cover the full range advertised. This is a gap in the framework's coverage, not a demonstrated falsity, but it is the point where the central claim is most exposed.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This survey paper gives a broad account of Minkowski problems for geometric measures in convex geometric analysis. It presents classical results (Minkowski, Aleksandrov, Fenchel–Jessen) as well as modern developments for dual curvature measures, chord measures, Lp and Orlicz variants, the Gauss image problem, capacitary measures, and Gaussian surface area measures. The paper's organizing claim is that these measures fit a single conceptual framework in which each geometric measure arises as the differential of a global geometric invariant, formalized in equation (4.1), and that the associated Minkowski problems can be solved by variational or flow methods. The survey states many theorems with attributions, sketches the variational method, and lists open problems.","tokens_in":56242,"tokens_out":6566,"duration_ms":64236,"significance":"The survey is a timely and valuable reference for a rapidly expanding area, and the proposed unification is genuinely helpful: it connects surface area measures, dual quermassintegrals, chord integrals, and probability-derived measures through a common differential viewpoint. The authors give precise statements and attribute results to independent researchers as well as to their own work, and the paper includes explicit open problems. The chord measure section, in particular, is notable for its honest admission of unresolved edge cases. However, the strength of the central 'cohesive framework' claim is not fully matched by the material on chord measures, where the differential formula and the measures themselves are fully established only for restricted parameter ranges. If the framing is appropriately qualified, the survey would provide a reliable and useful synthesis.","major_comments":[{"comment":"The central claim that all discussed geometric measures fit the framework (4.1) is not fully supported for chord measures. Section §7.1.1 states that for 0<q<1 the integrand ~V_{q-1}(K,z) 'may be infinite' when z∈∂K, so the finiteness of F_q(K,·) in (7.4) for nonsmooth bodies is not discussed. Section §7.1.2 states that the q→0+ limit (7.6) is 'not clear' for non-smooth convex bodies. Nevertheless, the chord Minkowski problem is posed for q≥0 in §7.2.1 and the chord log-Minkowski problem is posed for q≥0 in §7.2.3, while the existence theorems are proved only for q>0. The introduction's blanket claim that 'everything can be organized in a cohesive conceptual framework' therefore overstates the established coverage; the framework should be explicitly restricted to the parameter range where the differential formula is known, or the missing cases must be addressed.","section":"§1, §4.0.1, §7.1.1–7.1.2"},{"comment":"The general variational method described in §4.0.4 requires, in step (3), that the variational formula (4.1) also hold for t=0−, not only for t=0+. For chord measures, the survey states only the one-sided differential formula (7.5), d/dt|_{t=0+} I_q(K+tL) = ∫ h_L dF_q(K,·), and the proof sketch of the chord Minkowski problem in §7.2.2 invokes (7.5) without discussing the two-sided derivative. Since the chord Minkowski problem is solved variationally in [169], the two-sided formula is presumably available, but the survey should either state it explicitly or cite the precise result, so that the reader can verify that chord measures satisfy the framework's condition in step (3).","section":"§4.0.4 and §7.1.2, Eq. (7.5)"}],"minor_comments":[{"comment":"The phrase 'Thereoms 4.4 and 4.5' should read 'Theorems 4.4 and 4.5'.","section":"§6.1.2"},{"comment":"There is a typo, 'Minkowwski problem', in the paragraph on Orlicz Minkowski problems.","section":"§8.0.6"},{"comment":"The word 'anistropic' in the heading should be 'anisotropic'.","section":"§8.0.7"},{"comment":"The name 'Lata/suppress la' is a corrupted rendering; the reference should be corrected to the actual author name (Rafał Latała or the standard transliteration) and the citation cleaned up.","section":"§11.0.1 and Reference [137]"},{"comment":"The spelling 'Pogorolov' should be 'Pogorelov'.","section":"Reference [190]"}],"recommendation":"major_revision","confidential_remarks":"The paper is a strong survey by leading researchers, and the heavy reliance on the authors' own work, especially [169] for chord measures, is typical for this field. The main concern is the mismatch between the broad 'cohesive framework' claim and the known status of chord measures for q=0 and 0<q<1. This is fixable by qualification, but the editor may wish to see the framing adjusted before acceptance. The corrupted reference [137] should also be corrected in any revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here is my take on 2502.05427. It is a survey, not a research announcement. Do not read it expecting new theorems; read it for the map. The genuinely new element is the framing: every geometric measure is presented as the differential of a global invariant in the sense of (4.1), and the Minkowski problem then becomes the measure equation (4.2). That is a useful organizing principle, and the paper applies it consistently across classical, dual, Lp, chord, capacitary, and Gaussian settings.\n\nWhat the paper does well: the theorem statements are explicit and mostly cleanly attributed; the variational method is described in enough detail to be recognizable; open problems (non-symmetric log-Minkowski, Christoffel-Minkowski, uniqueness for chord measures) are stated clearly. The chord measure sections are a good update on recent literature, and the authors are careful to say where proofs only exist for smooth bodies.\n\nThe soft spots are real but not hidden. The chord measure family is the most exposed: for 0<q<1 the density ~V_{q-1} can be infinite on the boundary, and the q=0 limit is only shown for sufficiently smooth bodies. The text says exactly this, then goes on to pose the chord Minkowski problem for q>=0. So the stress-test note is right that (7.5) and (7.6) do not yet establish the unified framework for the full advertised range in the nonsmooth case. I would treat this as a boundary of the survey rather than a fatal gap; the authors flag it as unresolved. The heavy self-citation is expected for a survey by people who created several of these measures, and the key existence results are also due to Boroczky, Zhao, Chen-Li-Zhu, and others, so the citation pattern is not parochial. One cosmetic issue: the bibliography has at least one mangled entry (Latala appears as \"Lata/suppress la\"), likely a LaTeX or OCR error.\n\nWho is this for? Graduate students and researchers entering the area, and anyone needing a quick route from measure to Minkowski problem. It deserves a serious referee, not because it is groundbreaking but because a good survey of this active area has real value and the defects are minor. I would accept for peer review and recommend publication after minor repairs, mainly fixing the bibliography and adding one sentence noting that the chord framework's coverage for nonsmooth bodies with q in [0,1) depends on open or smooth-only results.","headline":"A useful, well-organized survey of Minkowski problems; the unified \"differential of an invariant\" framing is a real contribution, and the soft spots it flags are open questions rather than hidden flaws.","tokens_in":56776,"tokens_out":2177,"would_cite":true,"duration_ms":23053,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["52A38"],"pacs":[],"model":"deepseek-v4-flash","headline":"This survey claims that the many Minkowski problems of convex geometry are a single variational story: each geometric measure is the differential of a global invariant, and each Minkowski problem is an optimization problem.","keywords":["convex body","Minkowski problem","geometric measure","Brunn-Minkowski theory","dual curvature measure","chord measure","variational method","Gauss image problem"],"falsifier":"Find a finite Borel measure on the unit sphere that satisfies the stated necessary conditions (centroid at the origin and not concentrated on a closed hemisphere) but is the chord measure F_q of no convex body for some q>0, or exhibit a convex body for which the variational formula (7.5) for chord integrals fails at a boundary point where the dual quermassintegral is infinite. Either would show that the unified framework does not cover a case it claims to cover.","tokens_in":55758,"feed_emoji":"📐","tokens_out":3743,"duration_ms":36011,"temperature":0.7,"pith_summary":"The paper argues that Minkowski problems for geometric measures are not isolated puzzles but instances of one conceptual scheme. The scheme says that an interesting geometric measure of a convex body is the differential of a global geometric invariant along a perturbation family, and that the associated Minkowski problem—given a measure, find a body realizing it—is solvable by a variational method once that differential formula is available. If true, this gives a unified view of results spread across convex geometry, PDEs, harmonic analysis, and probability, from the classical Minkowski problem to chord, Lp, capacitary, and Gaussian variants.","feed_headline":"One principle organizes convex geometry's Minkowski problems","feed_subtitle":"A survey shows every geometric measure is the derivative of a global invariant, from surface area to chord measures.","key_machinery":"The central object is the variational formula (4.1), which defines a geometric measure M(K,·) as the differential of a global invariant W along a perturbation family, together with the Wulff shape and convex hull constructions that turn a function into a convex body. This formula allows each Minkowski problem to be recast as an optimization problem of the form (4.3), and the survey shows that the same spherical partition technique and measure concentration estimates establish existence across the different cases.","core_discovery":"The paper's central claim is that the diverse Minkowski problems of convex geometric analysis all arise from a single principle: a geometric measure is the differential of a global geometric invariant. Formula (4.1) expresses this as dW(K_t)/dt at t=0+ being the integral of a test function against the measure M(K,·), where K_t comes from a geometric operation such as the Wulff shape or convex hull. Under this principle, the classical Minkowski problem (surface area measure as the differential of volume), the Aleksandrov problem (integral curvature from entropy), the logarithmic Minkowski problem (cone-volume measure), the dual Minkowski problem, the chord Minkowski problem, the Lp family, and the Gaussian and capacitary problems all appear as special cases. The paper further claims that these problems are solved by a common variational strategy: set up an optimization problem over functions, prove an optimizing sequence converges to a nondegenerate convex body, and identify the Euler-Lagrange equation with the geometric measure equation.","pith_inferences":["The framework suggests that any newly introduced geometric measure in convex geometry should come with a variational formula, and that the associated Minkowski problem will be solvable exactly when a suitable measure concentration condition holds.","If the survey's organizing principle is correct, open problems such as the non-symmetric logarithmic Minkowski problem and the Christoffel-Minkowski problem for measures are not isolated but are gaps in a uniform variational structure, and progress on one should transfer to the others.","A testable extension is that the chord log-Minkowski problem for q=0, called a log-Christoffel-Minkowski problem, should be approachable by the same spherical partition technique once the correct differential formula is derived."],"forward_implications":["The classical, logarithmic, dual, chord, Lp, capacitary, and Gaussian Minkowski problems are all special cases of one variational scheme.","The dual Minkowski problem unifies the logarithmic Minkowski problem and the Aleksandrov problem as the cases q=n and q=0, respectively.","Chord measures form a second family of translation-invariant geometric measures besides the classical area measures, and their Minkowski problem has the same necessary and sufficient conditions as the classical one: the measure is not concentrated on a closed hemisphere and has centroid at the origin.","The subspace concentration condition solves the symmetric logarithmic Minkowski problem, and subspace mass inequalities solve the dual and chord log-Minkowski problems in symmetric settings.","For each measure, solving the Minkowski problem reduces to establishing the differential formula (4.1) and proving the associated optimization problem has a nondegenerate solution."],"supporting_citations":[{"why":"Provides the foundational Brunn-Minkowski theory, mixed volumes, and the standard reference for the classical Minkowski problem.","marker":"[196]"},{"why":"Constructs dual curvature measures and proves the differential formulas (6.7)-(6.8) that make the dual Minkowski problem variational.","marker":"[119]"},{"why":"Introduces chord measures and proves the differential formula (7.5) that yields the chord Minkowski problem.","marker":"[169]"},{"why":"Solves the symmetric logarithmic Minkowski problem using the subspace concentration condition and the spherical partition technique.","marker":"[25]"},{"why":"Introduces Lp surface area measure and the Lp Minkowski problem, launching the Lp Brunn-Minkowski theory.","marker":"[166]"},{"why":"Introduces the electrostatic capacitary measure as the differential of capacity and solves its Minkowski problem.","marker":"[127]"},{"why":"Constructs Gaussian surface area measure as the differential of Gaussian measure and studies its Minkowski problem.","marker":"[124]"},{"why":"Formulates and solves the Gauss image problem, showing that many Minkowski problems are spherical mass transport problems.","marker":"[27]"}],"fun_headline_variants":["One principle unifies all Minkowski problems in convex geometry","Geometric measures are derivatives of invariants, uniting Minkowski problems","Survey: all Minkowski problems stem from one derivative principle","From Wulff shape to chord measures: one principle for Minkowski problems","One derivative principle unifies classical and modern Minkowski problems"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The entire organization rests on the assumption that every geometric measure discussed is truly the derivative of a global geometric invariant along the relevant perturbation families; for the newest measures, namely chord measures and dual curvature measures, this differentiability is a recent theorem that may fail at nonsmooth bodies or for certain parameter ranges, and the survey does not re-prove these deep results.","fun_headline_variants_meta":{"raw":{"variants":["One principle unifies all Minkowski problems in convex geometry","Geometric measures are derivatives of invariants, uniting Minkowski problems","Survey: all Minkowski problems stem from one derivative principle","From Wulff shape to chord measures: one principle for Minkowski problems","One derivative principle unifies classical and modern Minkowski problems"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000845,"raw_usage":{"total_tokens":3607,"prompt_tokens":800,"completion_tokens":2807,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":416,"completion_tokens_details":{"reasoning_tokens":2714}},"tokens_in":416,"tokens_out":2807,"duration_ms":19201,"temperature":1.0,"reasoning_tokens":2714,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-08T19:22:05.500547+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a finite Borel measure on the unit sphere that satisfies the stated necessary conditions (centroid at the origin and not concentrated on a closed hemisphere) but is the chord measure F_q of no convex body for some q>0, or exhibit a convex body for which the variational formula (7.5) for chord integrals fails at a boundary point where the dual quermassintegral is infinite. Either would show that the unified framework does not cover a case it claims to cover.","supporting_citations":[{"cited_title":"Schneider, Convex Bodies: The Brunn-Minkowski Theory , Second Edition, Encyclopedia of Mathe- matics and its Applications, Cambridge Univ","cited_arxiv_id":null,"evidence_quote":"Provides the foundational Brunn-Minkowski theory, mixed volumes, and the standard reference for the classical Minkowski problem."}],"review_version":1}