{"id":"ba6e11a6-c07d-40d9-91ab-de0a5c7228bd","arxiv_id":"1908.02112","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Exponential concentration inequalities with near-optimal exponential order are derived for the volume and all intrinsic volumes of stationary Poisson cylinder processes.","lead":"This paper proves new concentration inequalities for the volume and intrinsic volumes of the random union of stationary Poisson cylinders in a window. The bounds are exponentially tight, match the Poisson-variable order for a fixed window, and are the first such results for long-range-correlated cylinder processes.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 5.4 and Corollary 5.6 are not well-defined for j=0 and Lemma 5.3's add-one-cost bound fails for the Euler characteristic, so the claimed arbitrary-order intrinsic-volume concentration is unsupported in the Boolean case.","rationale":"The reader's conditional verdict is reasonable and remains appropriate, but the specific weakness they identified, inequality (3.3), is actually true and easily justified by slicing the cylinder along the k-dimensional direction and bounding each slice by diam(W)^k. The more serious problem is in the intrinsic-volume part, which the reader mentions only in passing. The paper's abstract promises concentration for intrinsic volumes of arbitrary order, and Corollary 5.6 explicitly covers all k<=j<=d, including j=0 when k=0. At j=0 the formulas are formally undefined, and Lemma 5.3's key bound is false because the Euler characteristic of a union of convex sets inside a convex test set can be arbitrarily negative. This does not undermine the volume concentration inequalities, which are the core of the paper and appear sound, nor the intrinsic-volume results for k>=1 and j>=1, but it means the stated arbitrary-order claim overreaches. A conditional acceptance with the requested revision to restrict j>=1 or repair the j=0 case is the right disposition, so the reader's verdict should stand.","tokens_in":21684,"tokens_out":35783,"duration_ms":380018,"concrete_test":"Specialize Theorem 5.4 and Corollary 5.6 to d=3, k=0, j=0 and observe that every term with m>=1 contains the power 1^{m/0}, so the stated formulas are undefined. Then test Lemma 5.3 deterministically: take W a large ball and C a convex grain. Inside C place a finite union of r thin convex cylinders arranged as a handlebody with h disjoint tunnels; this union lies in C, is a finite union of convex bodies, and has Euler characteristic chi = 1-h. The add-one cost of adding C to that configuration is 1 - chi = h, which exceeds V_0(W)=1 for any h>=2. This directly contradicts the uniform bound D_xF_0 <= V_0(W) asserted in the proof of Lemma 5.3.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 5 claims concentration for intrinsic volumes of arbitrary order. The statement is not well-defined and the proof uses a false bound in the Boolean-model case k=0, j=0, where V_0 is the Euler characteristic. Theorem 5.4 assumes only j>=k and Corollary 5.6 states k<=j<=d, so for k=0 they include j=0. But the exponent in Theorem 5.4 contains powers of the form (sum)^{m/j}, which are undefined for j=0. Independently, Lemma 5.3 bounds the add-one cost by V_j(W), arguing that intrinsic volumes are nonnegative and monotone. For j=0, the add-one cost of adding a convex cylinder C is D_xF_0 = V_0(C) - V_0(Z cap C) = 1 - chi(Z cap C). A finite union of convex grains inside C can have arbitrarily negative Euler characteristic, for example a handlebody with many tunnels built from overlapping thin convex cylinders, so chi(Z cap C) = 1-h and D_xF_0 = h is unbounded. Thus DF_0 is not square-integrable and the proof of s_{F_0}=infinity collapses. The arbitrary-order intrinsic-volume claim therefore fails as stated for the Boolean model case explicitly included in the paper.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops concentration inequalities for the volume and the intrinsic volumes of the union set generated by a stationary Poisson process of k-cylinders in R^d, observed in a compact window W. For the volume functional F = λ_d(Z ∩ W), the authors apply a general concentration inequality for Poisson functionals from Gieringer and Last, control the add-one cost through the estimate λ_d(Z(x,θ,K) ∩ W) ≤ λ_{d−k}(K) diam(W)^k, and obtain upper and lower tail bounds. In the isotropic case with randomly rotated convex base, this gives explicit exp(−Θ(r log r)) upper tails and Gaussian-type lower tails; expanding windows are also treated. In the second part, assuming isotropy and convex bases, mean value formulas for V_j(Z ∩ W) are derived and used to state concentration inequalities for intrinsic volumes of arbitrary order, with the Boolean model k = 0 as the special case.","tokens_in":21949,"tokens_out":19299,"duration_ms":231635,"significance":"The volume part is a natural and nontrivial generalization of the Boolean-model inequalities of [3], and the resulting tail orders, Θ(r log r) for fixed windows and r^{1−k/d} for growing windows, are informative and likely close to optimal. The mean-value formulas for intrinsic volumes of isotropic Poisson cylinder processes are also useful new material. If the intrinsic-volume concentration theorems were correct as stated, they would be a significant contribution. However, the advertised full range k = 0, j = 0 is not well-defined, and the proof of the basic integrability lemma fails precisely for the Euler characteristic; these are load-bearing gaps in Section 5. The volume results, by contrast, appear coherent, up to small presentational issues.","major_comments":[{"comment":"The statements are not well-defined for j = 0. Since Theorem 5.4 assumes j ≥ k and Corollary 5.6 states k ≤ j ≤ d, the Boolean case k = 0 includes j = 0. The displayed exponents contain (∑ diam(W)^{j−i} binomial(k, j−i) V_i(Ξ))^{m/j}, and the lower-tail bound and the definition of β in Corollary 5.6 contain the same power m/j with j = 0. The paper explicitly advertises k = 0, so this is not a harmless convention; as written, Theorem 5.4 and Corollary 5.6 have no meaning for V_0.","section":"Theorem 5.4 and Corollary 5.6"},{"comment":"The proof of Lemma 5.3 states that the intrinsic volumes are non-negative and monotone under set inclusion on the family of convex bodies and concludes that D_{(x,θ,K)}F_j ≤ V_j(W). But Z ∩ W and Z ∩ Z(x,θ,K) ∩ W are not convex in general. For j = 0 the assertion is false: V_0 is the Euler characteristic, and a union of thin convex rectangles arranged as an m×m grid inside a convex cell has Euler characteristic 1 − m^2, so the add-one cost D_{(x,θ,K)}F_0 = 1 − χ(Z ∩ Z(x,θ,K)) can be of order m^2 and is not bounded by V_0(W). Consequently the proof that s_{F_0} = s^{(lt)}_{F_0} = ∞ collapses, and the optimization over all s ≥ 0 in Theorem 5.4 is not justified for the Boolean-model case k = 0, j = 0.","section":"Lemma 5.3"},{"comment":"Even for 1 ≤ j < d the integrability step needs more than the hypotheses stated. The lemma's monotonicity argument applies, if at all, to convex bodies, not to the non-convex set Z ∩ Z(x,θ,K) ∩ W; and the condition m_i < ∞ in Theorem 5.4 does not by itself guarantee the exponential integrability needed for s_{F_j} = ∞. At minimum the proof must either establish the relevant nonnegativity and exponential moment bounds on the convex ring, or add explicit moment assumptions and restrict s to a finite interval. This is load-bearing because the final inf over s ≥ 0 in Lemma 2.2 is taken over [0, s_F).","section":"Theorem 5.4, proof; Lemma 5.3"}],"minor_comments":[{"comment":"The geometric estimate λ_d(Z(x,θ,K) ∩ W) ≤ λ_{d−k}(K) diam(W)^k is the key step converting the abstract Poisson bound into explicit constants, but it is stated without proof; it follows from the isodiametric inequality applied to the projection of W onto the k-dimensional subspace, and should be stated as a lemma with proof or reference.","section":"Section 3, Eq. (3.3)"},{"comment":"The formula for β_m is typeset in an illegible way, for example the expression 'm−2p−1 d−k ...' is ambiguous in the provided text; please reformat all coefficients and verify that they agree with the quantities α_m defined in the proof.","section":"Theorem 5.4"},{"comment":"The abstract contains the typo 'payed' for 'paid'.","section":"Abstract"},{"comment":"The inequality αβ ≥ EF is derived using a monotonicity result from [14, Theorem 1] for the gamma function; since this inequality is needed to justify the range 0 ≤ r ≤ EF in the lower tail, a short statement of the cited result would help readability.","section":"Corollary 4.3, proof"}],"recommendation":"major_revision","confidential_remarks":"The volume part of the paper is in good shape and could be published after minor improvements. The obstacle to acceptance as it stands is Section 5: the arbitrary-order intrinsic-volume claim, which is part of the paper's advertised contribution, is not well-defined for j = 0 and its standing integrability lemma fails for the Euler characteristic. If the authors restrict Theorem 5.4 and Corollary 5.6 to j ≥ 1 with suitable moment assumptions, and either handle V_0 separately or state explicitly that it remains open, the manuscript would be substantially closer to publishable. I would not reject outright because the main volume theorem and the mean-value formulas are valuable, and the flaws appear fixable within the scope of the paper."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Punchline: the volume part is solid and new; the intrinsic-volume part overreaches at j=0 and needs fixing.\n\nThe paper derives exponential concentration bounds for the volume of the union set of a stationary Poisson cylinder process in a compact window. That part is good. The bounds are explicit in terms of the typical base distribution, recover the Boolean model via k=0, and the discussion on expanding windows shows the dependence on k. The key geometric input (3.3) is stated without proof but it is a simple diameter bound; I would not hold that against the paper. The mean value formulas for intrinsic volumes (Proposition 5.1) and the isotropy criterion (Lemma 2.1) are genuinely useful and appear to be new.\n\nThe soft spot is real and located precisely in Section 5. Theorem 5.4 states a concentration inequality for intrinsic volumes under j >= k. For k = 0 this includes j = 0, the Euler characteristic. That case is not well-defined: the expression contains powers (...)^{m/j} and m/j is undefined for j = 0. Corollary 5.6 inherits the problem. Independently, Lemma 5.3 claims D F_j <= V_j(W) from monotonicity of intrinsic volumes. For j = 0, the add-one-cost is 1 - chi(Z ∩ C ∩ W); the intersection of a Boolean model with a convex cylinder can have arbitrarily negative Euler characteristic, so the bound fails. The proof that s_{F_0} = infinity therefore collapses. This is not a typo; it is a load-bearing gap for an explicitly advertised case.\n\nFor j >= 1 the argument looks structurally sound, but the constants beta_m in Theorem 5.4 are rendered illegibly in the available text, so I could not verify the exact coefficients. That is a presentation issue, not a mathematical one.\n\nOverall: the volume results are worth keeping; the intrinsic volume results should be scoped to j >= 1 (or, if j = 0 is to be covered, with a different argument and a well-defined exponent). The paper deserves a serious referee and revision, not a desk rejection. The right outcome after revision is a solid paper in a good journal.","headline":"Volume concentration for Poisson cylinders is solid and new; the intrinsic-volume claim breaks at j=0 in the Boolean model and needs revision.","tokens_in":22454,"tokens_out":4027,"would_cite":true,"duration_ms":40817,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["60D05","60F10","52A22","60E15"],"pacs":[],"model":"deepseek-v4-flash","headline":"For a stationary Poisson $k$-cylinder process in a compact window, the union volume has upper tail $\\exp(-\\Theta(r\\log r))$, and under isotropy the same order holds for every intrinsic volume.","keywords":["Poisson cylinder process","concentration inequality","intrinsic volume","Boolean model","tail bound","stochastic geometry","large deviations","random closed set"],"falsifier":"Test Corollary 4.3 numerically: take $W=[0,1]^3$, $k=1$, and a unit-square base $M$, compute $\\alpha$ and $\\beta$ from (4.1), simulate the isotropic Poisson cylinder process for a fixed $\\gamma$, and estimate $P(F-\\mathbb{E}F\\ge r)$ at several $r$ with enough repetitions; if the empirical upper tail significantly exceeds the deterministic value $\\exp(r/\\alpha-(\\beta+r/\\alpha)\\log(1+r/(\\alpha\\beta)))$ supplied by the corollary, the central claim would be refuted.","tokens_in":21490,"feed_emoji":"📉","tokens_out":15176,"duration_ms":145998,"temperature":0.7,"pith_summary":"This paper proves two-sided exponential concentration inequalities for functionals of stationary Poisson cylinder processes: the volume of the union set inside a compact window, and, under convexity and isotropy, all intrinsic volumes of that union. The bounds are explicit and data-dependent: in the isotropic case with randomly rotated convex bases, the upper tail is $\\exp(-\\Theta(r\\log r))$ and the lower tail $\\exp(-\\Theta(r^2))$, with constants expressed through intrinsic volumes of the window and the typical cylinder base. These results generalize known concentration inequalities for the Boolean model, which is recovered at $k=0$, to a setting with strong long-range correlations. A reader should care because non-asymptotic tail bounds with explicit constants are what allow a random-set model to be used for coverage and approximation problems where only mean values or central limit theorems were previously available.","feed_headline":"Poisson cylinder volume tails drop like exp(-r log r)","feed_subtitle":"Explicit constants come from the window's intrinsic volumes and the cylinder base, covering volume and all intrinsic volumes.","key_machinery":"The engine is a general exponential concentration inequality for Poisson functionals (Lemmas 2.2 and 2.3), which bounds $P(F-\\mathbb{E}F\\ge r)$ by $\\exp(\\inf_{s\\ge0}(\\int_0^s v(u)\\,du-rs))$ in terms of an integrated add-one-cost functional $V_F(s)$. The paper feeds this engine with the deterministic geometric estimate $\\lambda_d(Z(x,\\theta,K)\\cap W)\\le \\lambda_{d-k}(K)\\,\\mathrm{diam}(W)^k$ (inequality (3.3)), which converts the abstract bound into the explicit $\\Psi$-function expressions; the number of cylinders that can touch $W$ is then controlled by the projection formula $\\lambda_{d-k}(P_{d-k}(\\Theta^T W)+\\Xi^*)$. For intrinsic volumes, the same scheme is powered by a new mean-value formula (Proposition 5.1), obtained from the principal kinematic formula, together with isoperimetric inequalities that express higher intrinsic volumes of a cylinder cut by $W$ as powers of $V_j$.","core_discovery":"The central claim is Theorem 3.2. For a stationary Poisson $k$-cylinder process with intensity $\\gamma$ and typical base volume $m_{d-k}$, the volume $F=\\lambda_d(Z\\cap W)$ satisfies upper and lower tail bounds whose exponents are infimums over $s\\ge 0$ of an expectation involving $\\Psi(s\\,\\lambda_{d-k}(\\Xi)\\,\\mathrm{diam}(W)^k)$, multiplied by the projection integral $\\lambda_{d-k}(P_{d-k}(\\Theta^T W)+\\Xi^*)$, where $\\Psi(x)=e^x-x-1$. When the base is a random rotation of a fixed convex body $M$ and the direction is uniform, Corollary 4.3 reduces this to $P(F-\\mathbb{E}F\\ge r)\\le \\exp(r/\\alpha-(\\beta+r/\\alpha)\\log(1+r/(\\alpha\\beta)))$, with $\\alpha=\\lambda_{d-k}(M)\\,\\mathrm{diam}(W)^k$ and $\\beta$ given by (4.1); hence $\\exp(-\\Theta(r\\log r))$ for a fixed window and $\\exp(-\\Theta(r^2))$ for the lower tail. For isotropic processes with convex bases, Theorem 5.4 and Corollary 5.6 extend the same structure to every intrinsic volume $V_j(Z\\cap W)$ with $j\\ge k$, using new mean-value formulas for the intrinsic volumes. The case $k=0$ recovers the known Boolean-model inequalities and adds intrinsic-volume concentration for the Boolean model.","pith_inferences":["The method localizes all anisotropy in the projection integral $\\mathbb{E}[\\lambda_{d-k}(P_{d-k}(\\Theta^T W)+\\Xi^*)]$; a natural extension would be to non-isotropic cylinder processes once that integral is controlled by geometric estimates.","Because the constants $\\alpha$ and $\\beta$ in Corollary 4.3 are explicit, one could compare base shapes of equal volume and ask which body $M$ makes the upper tail sharpest; this is an optimization problem the paper does not address.","The growing-window exponent $r^{1-k/d}$ suggests that, on the paper's scaling, concentration weakens dramatically as $k$ approaches $d$; deciding whether this bound is tight would require matching lower bounds on the tail."],"forward_implications":["For a fixed window $W$, the volume of the union has upper tail of order $\\exp(-\\Theta(r\\log r))$ and lower tail of order $\\exp(-\\Theta(r^2))$, matching the order for a Poisson random variable and for the Boolean model despite the long-range correlations of cylinder processes.","For a window growing as $r^{1/d}W$, the upper-tail bound becomes $\\exp(-\\Theta(r^{1-k/d}))$, explicitly degrading as the cylinder dimension $k$ grows and reducing to the Boolean order at $k=0$.","For isotropic processes with convex bases, every intrinsic volume $V_j(Z\\cap W)$ with $j\\ge k$ satisfies the same explicit exponential concentration with constants built from the window and base body (Corollary 5.6).","The fixed-window bound improves on what follows from the cumulant-based large-deviation estimates in the existing cylinder-process literature, which give only $\\exp(-\\Theta(r))$ for the upper tail.","The $k=0$ case recovers, and for intrinsic volumes extends, the known concentration inequalities for the classical Boolean model."],"supporting_citations":[{"why":"Supplies the general concentration inequalities for Poisson functionals (Lemmas 2.2 and 2.3) that the paper applies to the cylinder-process functionals.","marker":"[3]"},{"why":"Defines the stationary Poisson cylinder process framework, provides the volume-fraction formula $\\mathbb{E}F=\\lambda_d(W)(1-e^{-\\gamma m_{d-k}})$, and gives the cumulant-based central limit and large-deviation bounds used as comparison for the tail orders.","marker":"[5]"},{"why":"Supplies the principal kinematic formula, rotational integral formula, mean projection formula, and isoperimetric inequalities for intrinsic volumes used throughout Sections 4 and 5.","marker":"[16]"},{"why":"Gives the capacity functional $T_Z(C)=1-\\exp(-\\gamma\\,\\mathbb{E}\\lambda_{d-k}(P_{d-k}(\\Theta^T C)+\\Xi^*))$ that underpins isotropy and the mean volume computation.","marker":"[17]"},{"why":"Provides the Poisson process machinery, including the Mecke formula, thinning, and Slivnyak, used to compute first-order difference operators and the mean-value formula for intrinsic volumes.","marker":"[11]"}],"fun_headline_variants":["Poisson cylinder tails get tight bounds with log corrections","New concentration inequalities for Poisson cylinder volumes","Cylinder process tails: exp(-r log r) for all intrinsic volumes","From Boolean model to k-cylinders: sharper tail rates","Intrinsic volumes of Poisson cylinders concentrate exponentially"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole chain rests on inequality (3.3), stated without proof, that a window cut by one cylinder has volume at most (base volume) times (window diameter)$^k$; if this geometric bound ever fails, the explicit constants in Corollaries 4.3 and 5.6 lose their justification.","fun_headline_variants_meta":{"raw":{"variants":["Poisson cylinder tails get tight bounds with log corrections","New concentration inequalities for Poisson cylinder volumes","Cylinder process tails: exp(-r log r) for all intrinsic volumes","From Boolean model to k-cylinders: sharper tail rates","Intrinsic volumes of Poisson cylinders concentrate exponentially"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000175,"raw_usage":{"total_tokens":1296,"prompt_tokens":966,"completion_tokens":330,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":582,"completion_tokens_details":{"reasoning_tokens":251}},"tokens_in":582,"tokens_out":330,"duration_ms":3657,"temperature":1.0,"reasoning_tokens":251,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:55:11.595167+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Test Corollary 4.3 numerically: take $W=[0,1]^3$, $k=1$, and a unit-square base $M$, compute $\\alpha$ and $\\beta$ from (4.1), simulate the isotropic Poisson cylinder process for a fixed $\\gamma$, and estimate $P(F-\\mathbb{E}F\\ge r)$ at several $r$ with enough repetitions; if the empirical upper tail significantly exceeds the deterministic value $\\exp(r/\\alpha-(\\beta+r/\\alpha)\\log(1+r/(\\alpha\\beta)))$ supplied by the corollary, the central claim would be refuted.","supporting_citations":[{"cited_title":"and Last, G.: Concentration inequalities for measures of a Boolean model","cited_arxiv_id":null,"evidence_quote":"Supplies the general concentration inequalities for Poisson functionals (Lemmas 2.2 and 2.3) that the paper applies to the cylinder-process functionals."},{"cited_title":"and Spiess, M.: Berry-Esseen bounds and Cramér-type large deviations for the volume distri- bution of Poisson cylinder processes","cited_arxiv_id":null,"evidence_quote":"Defines the stationary Poisson cylinder process framework, provides the volume-fraction formula $\\mathbb{E}F=\\lambda_d(W)(1-e^{-\\gamma m_{d-k}})$, and gives the cumulant-based central limit and large-deviation bounds used as comparison for the tail orders."},{"cited_title":"and Weil, W.:Stochastic and Integral Geometry","cited_arxiv_id":null,"evidence_quote":"Supplies the principal kinematic formula, rotational integral formula, mean projection formula, and isoperimetric inequalities for intrinsic volumes used throughout Sections 4 and 5."},{"cited_title":"and Spodarev, E.: Anisotropic Poisson processes of cylinders","cited_arxiv_id":null,"evidence_quote":"Gives the capacity functional $T_Z(C)=1-\\exp(-\\gamma\\,\\mathbb{E}\\lambda_{d-k}(P_{d-k}(\\Theta^T C)+\\Xi^*))$ that underpins isotropy and the mean volume computation."},{"cited_title":"and Penrose, M.:Lectures on the Poisson Process","cited_arxiv_id":null,"evidence_quote":"Provides the Poisson process machinery, including the Mecke formula, thinning, and Slivnyak, used to compute first-order difference operators and the mean-value formula for intrinsic volumes."}],"review_version":1}