{"id":"f55fa992-eb22-41f0-8171-cfbf93d3f509","arxiv_id":"2411.15412","paper_version":1,"verdict":"REJECT","confidence":"HIGH","novelty_score":2.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"An expository paper on rearrangement and co-area inequalities that leaves the manifold version as definitions and contains multiple invalid proof steps.","lead":"This paper surveys symmetric rearrangement inequalities in Euclidean space and attempts to adapt them to Riemannian manifolds shaped like a half-line times a lower-dimensional surface. The advertised manifold generalization is not established, and several Euclidean proofs in the paper are incorrect as written.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Definition 1.3 is not well-posed: the tube-volume function is only assumed to decay to 0 at r=0, never shown finite and unbounded; for noncompact Σ or finite-volume warped products no r* exists, so Theorem 4.1 has no valid object.","rationale":"The paper's advertised contribution is the transfer of rearrangement theory to M=(0,∞)×Σ. The first indispensable step is Definition 1.3, and the central theorem cited by the reader, Theorem 4.1, literally uses sets of the form {f>t}*. If those sets do not exist for admissible data, the manifold half of the paper is ungrounded. The reader's weakest assumption identifies the same defect: the tube-volume map must be finite and range over all finite volumes, but only f(0+)=0 is stated. Appendix A's '∃r1,r2' line is asserted, not proven, and is false for the product metric on a noncompact fiber and for any compact-fiber metric of finite total volume. This is an internal inconsistency, not a disagreement with standard rearrangement theory. I would not base the rejection mainly on the Euclidean review sections, since several of their defects are repairable and that material is expository; the definitional failure in Sections 1 and 4.3 is more fundamental. The Riemannian co-area formula in Section 5 largely follows Chavel and is not where the central claim breaks. If the author adds explicit hypotheses such as Σ compact and f(r)→∞ as r→∞, Theorems 4.1 and 4.3 may become provable, but the text as written does not contain those hypotheses.","tokens_in":25172,"tokens_out":7207,"duration_ms":69043,"concrete_test":"Probe the existence clause of Appendix A directly. On M=(0,∞)×R^{n-1} with g=dr^2+δ, take A=(1,2)×B_1(0). Compute f(r)=∫_{(0,r)×R^{n-1}}dV_g = r Vol(R^{n-1}) = ∞ for every r>0, while Vol(A)<∞; hence f(r*)=Vol(A) has no solution, contradicting Definition 1.3. To test the bounded-growth failure separately, on M=(0,∞)×S^{n-1} with g=dr^2+(1+r)^{-2}g_S compute f(r)=Vol(S^{n-1})∫_0^r(1+s)^{-(n-1)}ds, which is bounded by Vol(S^{n-1})/(n-2) for n>2; choose A with Vol(A) larger than this bound. If either example checks out, Appendix A's '∃r1,r2' step is false and Theorem 4.1 collapses without added hypotheses.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Definition 1.3 fixes A*=(0,r*)×Σ by requiring ∫_{A*}ω=∫_Aω, with only the hypothesis (6) that f(r):=∫_{(0,r)×Σ}ω tends to 0 as r→0. Appendix A then asserts that for every nonempty finite-volume A there exist r1<r2 with f(r1)<∫_Aω<f(r2). This assertion is exactly what needs proof and is false. It requires f to be finite on (0,∞), strictly increasing, and to satisfy f(r)→∞ as r→∞. None of these follow from (6). On the natural example M=(0,∞)×R^{n-1} with product metric and ω=dV_g, f(r)=r·Vol(R^{n-1})=∞ for every r>0, so every finite-volume set A fails to have a tube of equal volume. If Σ is compact but the metric has finite total volume, e.g. g=dr^2+(1+r)^{-2}g_S on (0,∞)×S^{n-1}, then f is bounded and any A with volume exceeding the total volume has no r*. Since Theorem 4.1, Corollary 4.1 and the definition of f* all quantify over {f>t}*, the central manifold rearrangement is undefined in these cases. The proof of Theorem 4.1 additionally needs strict monotonicity and right-continuity of f at t, which are not stated. This is a load-bearing gap, not a regularity nuisance: the advertised carry-over fails on the simplest noncompact product and on finite-volume compact-fiber examples unless a volume-growth hypothesis is added.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops symmetric decreasing rearrangement theory in Euclidean space and then attempts to extend it to Riemannian manifolds of the form M^n=(0,∞)×Σ^{n-1}. The Euclidean part proves (or claims to prove) the Hardy-Littlewood inequality, non-expansivity of rearrangement for convex integrands, Pólya-Szegő and isoperimetric inequalities, with applications to Poisson's equation and Faber-Krahn. The manifold part defines a symmetric rearrangement of sets and functions using tube volumes (0,r)×Σ, states a level-set characterization for the rearrangement of functions, and proves a smooth co-area formula and perimeter definitions on these manifolds. The central advertised result is that the Euclidean rearrangement theory, including the level-set identity {f*>t}={f>t}*, carries over to M^n; the paper also presents three Euclidean proofs of the isoperimetric inequality, one of which proceeds via Pólya-Szegő.","tokens_in":25581,"tokens_out":12121,"duration_ms":109199,"significance":"If the main results were correct, the paper would supply a natural manifold analogue of symmetric decreasing rearrangement for warped-product-like spaces and a self-contained proof of a smooth co-area formula, with potential applications to isoperimetric and Pólya-Szegő inequalities on such manifolds. The paper also collects several standard Euclidean rearrangement arguments and gives some credit to earlier sources. However, the central manifold definition is not well-posed for natural examples such as (0,∞)×R^{n-1} or finite-volume warped products, and several load-bearing proofs in the Euclidean section rest on false identities. The co-area theorem proved is a standard result whose proof here is incomplete. As it stands, the manuscript does not establish its advertised results.","major_comments":[{"comment":"The symmetric rearrangement A* is not well-defined for the stated generality. The existence proof in Appendix A asserts that for every finite-volume A there exist r1<r2 with f(r1)<∫_A ω<f(r2), where f(r)=∫_{(0,r)×Σ}ω, but this is exactly what needs proof and is false under the only stated hypothesis (6), which is lim_{r→0} f(r)=0. For M=(0,∞)×R^{n-1} with the product metric, f(r)=∞ for every r>0, so no finite-volume A admits an equal-volume tube. For a finite-volume warped product such as g=dr^2+(1+r)^{-2}g_S on (0,∞)×S^{n-1}, f is bounded and tubes cannot match volumes exceeding the total volume. Consequently A* is undefined for many natural A, and Theorem 4.1, Corollary 4.1, and all subsequent manifold statements quantify over objects that do not exist. The paper needs an explicit hypothesis that f is finite, strictly increasing, and unbounded (or must restrict to sets for which such r* exists); this is a failure of Definition 1.3, not a mere regularity nuisance.","section":"Definition 1.3 and Appendix A"},{"comment":"The proof of the generalised co-area formula is incomplete. Lemma 5.3 is applied to conclude ∫_M f JΦ dH^m = ∫_{R(Φ)} dH^n(y) ∫_{Φ^{-1}[y]} f dH^{m-n}, but Lemma 5.3 holds only at points where dim ker Φ_* = m-n, i.e. at regular points. Sard's theorem, as cited, only states that the set of critical values has measure zero in N; it does not imply that the set of critical points has measure zero in M, which is needed to discard the complementary part of the domain integral. The proof also does not justify measurability of the inner integral or the validity of passing from an identity of differential forms at regular points to an integral over all of M. The announced smooth co-area formula therefore is not proved as written.","section":"Theorem 5.2"},{"comment":"The identity |f(x)-g(x)| = sup_{t∈N} ([f(x)-t]_+ 1_{g≤t} + [g(x)-t]_+ 1_{f≤t}) is false. For example, take f=2.5 and g=1.5; for integer t the expression equals 0 at t=1 and 0.5 at t=2, so the supremum is 0.5, while |f-g|=1. Since this identity is the basis for the proof of the 'Rearrangement Decreases L^p Distance' theorem (Theorem 3.2, second numbering), that proof is invalid. The statement may be true, but the presented argument does not establish it.","section":"Section 3.1, Eq. (45)"},{"comment":"The proof of non-expansivity for convex J uses the representation J_+(f(x)-g(x)) = ∫_{g(x)}^{f(x)} J'_+(s)(f(x)-s) ds. This is incorrect: for J_+(t)=t^2, the right side is not (f-g)^2, and the dimensions do not match. A correct representation would involve J'_+(f(x)-s) as a function of the integration variable, and the subsequent step with the indicator X_{g≤s} does not follow from the displayed formula. The case f<g is also handled by the same formula without explanation. Thus the proof of Theorem 3.3 is invalid as written.","section":"Theorem 3.3"},{"comment":"The Brunn-Minkowski argument for the sharp isoperimetric inequality contains a scaling error. The volume of the ε-ball is ω_n ε^n, so its 1/n-th power is ε ω_n^{1/n}, not (εω_n)^{1/n} as written. With the expression used, the lower bound in Eq. (86) behaves like ε^{1/n-1} as ε→0 and diverges to +∞; the limit evaluated via L'Hôpital is not the limit of the displayed expression. The proof of Lemma 3.7 is therefore invalid as written, although it could be repaired by replacing (εω_n)^{1/n} with ε ω_n^{1/n}.","section":"Lemma 3.7, Eqs. (84)-(86)"},{"comment":"There is a circular dependence in the paper's derivation of the two main inequalities. Lemma 3.5 proves the Pólya-Szegő inequality by invoking the isoperimetric inequality: the middle inequality in Eq. (79) compares Per({f>t}) with Per({f*>t}) and uses Lemma 3.4. In Section 3.6, proof (1) proves the isoperimetric inequality by assuming the Pólya-Szegő inequality. Since Lemma 3.5 is the paper's only proof of Pólya-Szegő, the chain Lemma 3.5 → proof (1) is circular. The alternative proofs (2) and (3) avoid this particular circle, but the paper does not acknowledge the logical dependence or present Pólya-Szegő as conditional on the isoperimetric inequality.","section":"Lemma 3.5 and Section 3.6 proof (1)"}],"minor_comments":[{"comment":"The proof writes |lim inf_{s→t} {f>s}| = |{f≥t}|, which is not justified as s→t from above; the correct limiting identity involves s↑t, and the inclusion used in the proof is weaker than the equality claimed. The argument should be rephrased using monotone convergence of the sets {f>s} as s varies.","section":"Theorem 3.1"},{"comment":"The proof uses the identity (Δf)^* = Δf^* in Eq. (104), which is false for general non-radial f. This invalidates the alternative proof of the p=2 Pólya-Szegő inequality. This is not the main proof of Pólya-Szegő, but the statement as written is incorrect.","section":"Corollary 3.6"},{"comment":"There are two theorems numbered Theorem 3.2 (Hardy-Littlewood and Rearrangement Decreases L^p Distance); renumbering would avoid confusion.","section":"Throughout"},{"comment":"The factor written as '1/(4πt)' should be the heat-kernel normalization, and 'e^{x^2}' should read 'e^{-|x|^2/4t}'. Also, the expression is evaluated at t=0 after differentiating, but the displayed formula contains t in the denominator without explaining the limiting procedure.","section":"Eq. (104)"},{"comment":"In the uniqueness proof, the step 'ω>0, so (r~*,r*) has measure 0' assumes that ∫_{Σ} α_r is finite and positive for almost every r; for noncompact Σ this may fail. This is subsumed by Major Comment 1, but should be clarified if the volume-growth hypotheses are added.","section":"Appendix A"},{"comment":"The tensor review and the orientability calculation in Section 4.1 and Appendix B are not used in the later manifold arguments; the paper could be shortened by moving or removing this material.","section":"Section 4.1"}],"recommendation":"reject","confidential_remarks":"The manuscript is not publishable in its current form. The central manifold definition fails on natural examples, and several Euclidean proofs rely on false identities. A revision would require adding volume-growth hypotheses to Definition 1.3, rewriting the proofs of Theorem 3.2 (L^p distance), Theorem 3.3, Lemma 3.7, and Corollary 3.6, and replacing the incomplete co-area proof with a standard reference or a complete argument. The 'three different proofs' of the isoperimetric inequality are not independent because of the circularity between Lemma 3.5 and proof (1)."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Steve — quick take on 2411.15412. This is a draft paper, not a finished one. The advertised carry-over of symmetric rearrangement to M=(0,∞)×Σ fails already at the definition: A*=(0,r*)×Σ is required to have the same volume as A, but the tube-volume function f(r)=∫_{(0,r)×Σ}ω is only assumed to vanish at r=0. On M=(0,∞)×R^{n-1} with the product metric, every tube has infinite volume, so no r* exists for finite-volume A. On finite-volume warped products, f(r) is bounded and large sets have no tube of matching volume. Theorem 4.1 and Definition 1.3 are therefore undefined in natural cases.\n\nThe Euclidean section has real errors. The proof of the L^p distance theorem uses a representation for |f-g| that is not the one written, and the nonexpansivity proof in Theorem 3.3 uses J=J_+ + J_- with both parts convex, which is false, plus an integral formula for J_+ that does not hold. Corollary 3.6 assumes (Δf)^*=Δf^*, which is false for the rearrangement. Lemma 3.7 takes a limit that is actually infinite and treats it as finite. And the paper proves Pólya-Szegő by calling on the isoperimetric inequality, then offers a proof of isoperimetric that assumes Pólya-Szegő. That is circular inside the derivation.\n\nWhat the paper does well: the co-area formula section is a reasonable summary of Chavel's argument, and the geometric setup for M=(0,∞)×Σ is a natural way to think about rearrangement in a warped product. The L^p-norm preservation and order-preservation statements are correctly stated, though standard. So the author has absorbed some useful material.\n\nBut the advertised manifold isoperimetric and Pólya-Szegő inequalities are only definitions, not proved, and the new-looking claims either don't have valid proofs or rely on the undefined A*. As a research submission this is not usable. As a set of lecture notes it could be a starting point, but it would need the volume-growth hypotheses spelled out and the Euclidean proofs fixed first.\n\nIf it came to me, I would reject it. I would not spend a referee's time on it in its current form; the gaps are not subtle.","headline":"A well-intentioned draft whose central rearrangement on product manifolds is not well-posed and whose Euclidean proofs contain several false steps.","tokens_in":26050,"tokens_out":4667,"would_cite":false,"duration_ms":41817,"reading_group":"no","serious_thinker":"no","would_accept_peer_review":false},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C20","53C21","49Q20"],"pacs":[],"model":"deepseek-v4-flash","headline":"Cylinder manifolds inherit Euclidean-style rearrangement theory","keywords":["symmetric decreasing rearrangement","Riemannian manifolds","co-area formula","isoperimetric inequality","Pólya-Szegő inequality","layer-cake decomposition","tube volume","Hardy-Littlewood inequality"],"falsifier":"Take $M = (0,\\infty) \\times \\mathbb{R}^{n-1}$ with the product metric and choose any nonempty bounded open set $A$; then $\\int_{(0,r)\\times\\mathbb{R}^{n-1}} dV = \\infty$ for every $r > 0$, so no finite $r^*$ satisfies the defining volume equality, and Definition 1.3 has no output.","tokens_in":24941,"feed_emoji":"📐","tokens_out":11193,"duration_ms":82344,"temperature":0.7,"pith_summary":"The paper sets out to show that the symmetric decreasing rearrangement of a function, a standard tool in Euclidean analysis, can be defined and used on Riemannian manifolds that are cylinders of the form $M = (0,\\infty) \\times \\Sigma$, where $\\Sigma$ is a smooth oriented manifold. The central result is a level-set identity: the super-level sets of the rearranged function are exactly the rearrangements of the original super-level sets, with rearrangement to a tube $(0,r^*) \\times \\Sigma$ determined by equal volume. The paper also aims to prove a smooth co-area formula on such manifolds, which would let perimeter, isoperimetric, and Pólya–Szegő inequalities be re-formulated in this setting. A sympathetic reader would care because these inequalities are powerful tools for PDEs and geometry, and a clean manifold version would extend them beyond flat space.","feed_headline":"Cylinder manifolds inherit Euclidean-style rearrangement theory","feed_subtitle":"If the level-set identity holds, isoperimetric and Pólya–Szegő inequalities follow on these spaces.","key_machinery":"The central machinery is the tube-volume function $r \\mapsto \\int_{(0,r)\\times\\Sigma} \\omega$, used to define the rearrangement $A^*$ by the equation $\\int_{(0,r^*)\\times\\Sigma} \\omega = \\operatorname{Vol}(A)$, together with the layer-cake decomposition $f^*(x) = \\int_0^\\infty \\chi_{\\{f>t\\}^*}(x)\\,dt$. The paper proves the level-set identity by splitting the layer-cake integral at $t$ and comparing super-level sets, a direct transposition of the Euclidean argument. For the co-area formula, the load-bearing object is the Jacobian $J_\\Phi$ of a smooth map between Riemannian manifolds, defined by the Gram determinant, with Sard's theorem used to discard critical points. These two threads—tube-volume rearrangement and the Jacobian-based co-area identity—are what would carry the Euclidean rearrangement theory into the manifold setting.","core_discovery":"On a smooth oriented manifold $M^n = (0,\\infty) \\times \\Sigma^{n-1}$ with volume form $\\omega$, the paper defines the symmetric rearrangement of an open set $A$ to be the tube $A^* = (0,r^*) \\times \\Sigma$ satisfying $\\int_{A^*} \\omega = \\int_A \\omega$. The function rearrangement is built by layer-cake integration of rearranged super-level sets. The paper's main theorem states that $\\{x \\in M : f^*(x) > t\\} = \\{x \\in M : f(x) > t\\}^*$ for every $t > 0$, and the paper claims this mimics the Euclidean result. The paper further claims a generalised co-area formula for smooth maps $\\Phi: M^m \\to N^n$, which yields the usual formula $\\int_M f |\\operatorname{grad} \\Phi| \\, dV_g = \\int_{\\mathbb{R}} dy \\int_{\\Phi^{-1}(y)} f \\, dH^{m-1}$. On the basis of these, it recasts the isoperimetric inequality $\\operatorname{Per}(A) \\ge \\operatorname{Per}(A^*)$ and the Pólya–Szegő inequality $\\|\\operatorname{grad} f\\|_p \\ge \\|\\operatorname{grad} f^*\\|_p$ as analogs on $M$.","pith_inferences":["The compactness of $\\Sigma$ is likely a necessary condition for the tube-volume rearrangement: when $\\Sigma$ is noncompact (e.g., $\\mathbb{R}^{n-1}$ with the product metric), the volume of every tube $(0,r)\\times\\Sigma$ is infinite, so the defining equation for $r^*$ has no finite solution.","The co-area formula of Section 5 is probably independent of the rearrangement definition, since it is derived from the Jacobian and Sard's theorem; this part of the paper could survive even if the rearrangement construction fails.","On a compact cross-section such as $S^{n-1}$ with a warped product metric whose tube volumes grow appropriately, the paper's level-set identity should hold; this is a concrete testable prediction of the arguments.","The failure for noncompact cross-sections points toward a broader lesson: rearrangement by volume equality only works when the reference tubes provide a finite exhaustion of the manifold, and for noncompact manifolds one would need a reference measure with finite-total-volume truncations."],"forward_implications":["If Theorem 4.1 is correct, the Hardy–Littlewood inequality and the non-expansivity of rearrangement under convex integrands transfer verbatim to these product manifolds, yielding new proofs of the isoperimetric and Pólya–Szegő inequalities there.","A valid smooth co-area formula on $M$ justifies the perimeter definition $\\operatorname{Per}(A) = \\int_{\\partial A} dH^{n-1}$ and allows the standard layer-cake proof of Pólya–Szegő to be rerun.","The rearrangement machinery would give a route to Faber–Krahn-type eigenvalue bounds and Talenti-type comparison results for the Laplacian on these manifolds.","The paper's definitions of the isoperimetric and Pólya–Szegő inequalities on $M$ would become usable tools for proving geometric bounds on such manifolds."],"supporting_citations":[{"why":"Supplies the Euclidean rearrangement inequalities and the Pólya–Szegő framework that the paper aims to extend.","marker":"[1]"},{"why":"Provides the Euclidean co-area formula, isoperimetric inequalities, and analytic tools used as templates for the manifold versions.","marker":"[4]"},{"why":"Gives the layer-cake decomposition and the non-expansivity theorems that the manifold proofs mimic.","marker":"[6]"},{"why":"The Riemannian co-area formula proof in Section 5 follows this treatment step by step.","marker":"[7]"}],"fun_headline_variants":["Cylinders: level-set identity yields geometric inequalities","Rearrangement on cylinders: isoperimetric and Pólya–Szegő","When level sets match, geometric inequalities follow","Cylindrical manifolds extend Pólya–Szegő inequalities","Tube symmetric rearrangement proves classical inequalities"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole construction rests on the assumption that the volume of the tube $(0,r)\\times\\Sigma$ is finite for each $r$ and grows from 0 to infinity as $r$ runs from 0 to $\\infty$, which fails when $\\Sigma$ is noncompact, as in $\\Sigma = \\mathbb{R}^{n-1}$ where every tube has infinite volume.","fun_headline_variants_meta":{"raw":{"variants":["Cylinders: level-set identity yields geometric inequalities","Rearrangement on cylinders: isoperimetric and Pólya–Szegő","When level sets match, geometric inequalities follow","Cylindrical manifolds extend Pólya–Szegő inequalities","Tube symmetric rearrangement proves classical inequalities"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000618,"raw_usage":{"total_tokens":2863,"prompt_tokens":933,"completion_tokens":1930,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":549,"completion_tokens_details":{"reasoning_tokens":1848}},"tokens_in":549,"tokens_out":1930,"duration_ms":13844,"temperature":1.0,"reasoning_tokens":1848,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T14:21:17.623662+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take $M = (0,\\infty) \\times \\mathbb{R}^{n-1}$ with the product metric and choose any nonempty bounded open set $A$; then $\\int_{(0,r)\\times\\mathbb{R}^{n-1}} dV = \\infty$ for every $r > 0$, so no finite $r^*$ satisfies the defining volume equality, and Definition 1.3 has no output.","supporting_citations":[{"cited_title":"Federico II","cited_arxiv_id":null,"evidence_quote":"Supplies the Euclidean rearrangement inequalities and the Pólya–Szegő framework that the paper aims to extend."},{"cited_title":"Isoperimetric Inequalities: Differential Geometric and An alytic Perspectives , Cambridge University Press, 2001","cited_arxiv_id":null,"evidence_quote":"Provides the Euclidean co-area formula, isoperimetric inequalities, and analytic tools used as templates for the manifold versions."},{"cited_title":"Lieb, Michael Loss","cited_arxiv_id":null,"evidence_quote":"Gives the layer-cake decomposition and the non-expansivity theorems that the manifold proofs mimic."},{"cited_title":"Riemannian Geometry: A Modern Introduction , Cambridge University Press, 1994","cited_arxiv_id":null,"evidence_quote":"The Riemannian co-area formula proof in Section 5 follows this treatment step by step."}],"review_version":1}