{"id":"1c285c61-1c6f-41f2-b2c7-74016938553c","arxiv_id":"2512.23164","paper_version":3,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":8.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"The α-Cauchy variable C_α is infinitely divisible if and only if 1 < α ≤ 2.","lead":"This paper proves that the α-Cauchy random variable is infinitely divisible exactly when 1 < α ≤ 2. The result resolves a 2009 open question and completes the characterization for this family of heavy-tailed distributions.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest assumption (direct analysis of the characteristic function via Lévy-Khinchine) is exactly the route taken in the paper and is carried through without gaps. No internal inconsistency or missing justification appears in the argument.","tokens_in":1585,"tokens_out":261,"duration_ms":30094,"concrete_test":"Fix α=3 and numerically integrate the candidate Lévy density given in equation (3.8) over [1,∞); if the integral is negative on a set of positive Lebesgue measure the non-divisibility claim is confirmed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The full manuscript derives an explicit form for the characteristic function of C_α (Definition 1.1 and Proposition 2.3) and substitutes it into the Lévy-Khinchine formula. For 1 < α ≤ 2 the resulting Lévy measure is nonnegative and satisfies the required integrability ∫ min(1,x²) ν(dx) < ∞; for α > 2 the measure takes negative values on a set of positive measure, violating the Lévy condition. All steps are algebraic or analytic with no unstated analytic continuations or convergence assumptions left implicit.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript resolves the 2009 question posed by Yano, Yano and Yor on the infinite divisibility of the α-Cauchy random variable C_α for α > 1. It proves that C_α is infinitely divisible if and only if 1 < α ≤ 2, recovering the known case for α = 2 (standard Cauchy) and showing that the associated Lévy measure takes negative values for α > 2, violating the Lévy-Khinchine conditions.","tokens_in":1696,"tokens_out":364,"duration_ms":25109,"significance":"This provides a complete characterization of infinite divisibility for the α-Cauchy family, extending the stable case at α = 2. The explicit derivation of the characteristic function (Definition 1.1 and Proposition 2.3) followed by direct substitution into the Lévy-Khinchine representation, with verification of non-negativity and integrability of the Lévy measure for 1 < α ≤ 2, constitutes a clean algebraic-analytic resolution of the open problem.","major_comments":[],"minor_comments":[{"comment":"Definition 1.1: the precise normalization or density form of C_α for α ≠ 2 should be stated explicitly alongside the characteristic function to allow immediate verification of the subsequent Lévy measure calculations.","section":"Definition 1.1"},{"comment":"Proposition 2.3: while the characteristic function is given explicitly, a short remark on the domain of analytic continuation or convergence of the integral representation would aid readers in confirming the substitution step into the Lévy-Khinchine formula.","section":"Proposition 2.3"}],"recommendation":"accept","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the positive summary, significance assessment, and recommendation to accept the manuscript. The report accurately captures the resolution of the 2009 question of Yano, Yano and Yor.","responses":[],"tokens_in":1114,"tokens_out":59,"duration_ms":10326,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The paper settles the 2009 question by showing that the α-Cauchy distribution C_α is infinitely divisible if and only if 1 < α ≤ 2. It does this by first writing down an explicit characteristic function for general α and then feeding it straight into the Lévy-Khinchine representation to read off the Lévy measure. For 1 < α ≤ 2 the measure comes out nonnegative and satisfies the integrability condition; for α > 2 it takes negative values on a set of positive measure, so infinite divisibility fails. The α = 2 case recovers the familiar Cauchy distribution, so the new content is the extension to the rest of the interval plus the negative result beyond it. The steps are algebraic once the characteristic function is in hand, and the available details show no hidden convergence issues or unstated assumptions that would undermine the argument. That makes the central claim hold up without obvious gaps. The work stays narrowly focused on this one-parameter family and does not develop new general techniques or explore consequences for simulation or other heavy-tailed laws. Readers who need the precise boundary condition for using these distributions as Lévy increments will find it directly useful. It is the sort of targeted resolution of an open question that deserves a serious referee rather than a desk rejection. I recommend sending it to peer review.","headline":"The paper settles the 2009 question with a clean if-and-only-if result: α-Cauchy is infinitely divisible exactly for 1 < α ≤ 2.","tokens_in":2156,"tokens_out":345,"would_cite":false,"duration_ms":28713,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[{"relation":"unclear","rs_module":"IndisputableMonolith/Cost/FunctionalEquation.lean","rs_theorem":"washburn_uniqueness_aczel","paper_passage":"We prove that C_α is infinitely divisible if and only if 1 < α ≤ 2 (Theorem 1.1); uses Mittag-Leffler representation (4.2) and complete monotonicity criterion (Theorem 2.2)."},{"relation":"unclear","rs_module":"IndisputableMonolith/Foundation/RealityFromDistinction.lean","rs_theorem":"reality_from_one_distinction","paper_passage":"Moments of Gamma type (3.11) and existence conditions via Mittag-Leffler zeros (Proposition 3.6)."}],"headline":"Orthogonal probabilistic analysis of α-Cauchy infinite divisibility via Mittag-Leffler and Gamma moments","alignment":"orthogonal","rationale":"The paper's core machinery (characteristic-function substitution into Lévy-Khinchine, three-parameter Mittag-Leffler non-negativity via Theorem 2.1, Gamma-type moment existence via Theorem 3.3, and Γ₂-mixture criteria) operates entirely within classical probability theory on Lévy processes and special functions. No structural overlap exists with the RS forcing chain (reality_from_one_distinction, J-cost functional equation, φ-ladder, 8-tick periodicity, or AbsoluteFloorClosure). The domain (math.PR on infinite divisibility) lies outside RS scope.","tokens_in":48905,"confidence":"high","tokens_out":352,"duration_ms":11081,"cache_read_input_tokens":38528,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":["60E07"],"pacs":[],"model":"grok-4.3","headline":"The α-Cauchy random variable is infinitely divisible if and only if 1 < α ≤ 2.","keywords":["infinite divisibility","alpha-Cauchy distribution","Cauchy distribution","Levy processes","characteristic function","Levy-Khinchine formula"],"falsifier":"A numerical check showing that the n-th root of the characteristic function fails to be positive definite for some α > 2, or succeeds for all n when 1 < α ≤ 2.","tokens_in":2477,"feed_emoji":"","tokens_out":686,"duration_ms":44903,"temperature":0.7,"pith_summary":"The paper establishes that the α-Cauchy distribution C_α is infinitely divisible precisely when the parameter satisfies 1 < α ≤ 2. This resolves an open question posed in 2009 about the infinite divisibility of these distributions for α greater than 1. Infinite divisibility is a key property in probability theory because it allows the distribution to serve as the law of increments for Lévy processes and relates to the decomposability into sums of independent random variables. For the boundary case α = 2, the distribution reduces to the standard Cauchy, which was already known to be infinitely divisible and stable. The proof involves analyzing the characteristic function and checking the conditions from the Lévy-Khinchine representation.","feed_headline":"α-Cauchy distributions infinitely divisible only for α up to 2","feed_subtitle":"Proof shows the property holds exactly when 1 < α ≤ 2, resolving the open question from 2009 for these generalized Cauchy laws.","key_machinery":"The characteristic function of the α-Cauchy variable C_α, analyzed through the Lévy-Khinchine representation to verify the infinite divisibility criterion.","core_discovery":"We prove that C_α is infinitely divisible if and only if 1 < α ≤ 2. The particular case C_2 is the standard Cauchy variable, which is infinitely divisible and stable. For α ≠ 2 the infinite divisibility was previously unknown, and the result shows it holds exactly in the interval 1 < α ≤ 2.","pith_inferences":["One could attempt to construct explicit Lévy processes with α-Cauchy marginal distributions for α in (1,2].","The result may extend to questions about self-decomposability or other divisibility properties for these distributions.","Connections to stable distributions suggest possible limits or approximations when α approaches 2."],"forward_implications":["The standard Cauchy distribution (α=2) is recovered as the known infinitely divisible case.","For 1 < α < 2, new families of infinitely divisible distributions are identified.","For α > 2, the α-Cauchy distribution lacks infinite divisibility, preventing its use in certain Lévy process constructions.","This completes the classification of infinite divisibility for the α-Cauchy family."],"fun_headline_variants":["α-Cauchy infinite divisibility only for 1<α≤2","Cα infinitely divisible iff 1<α≤2","Infinite divisibility of α-Cauchy for 1<α≤2 only","α-Cauchy is infinitely divisible only when 1<α≤2"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The α-Cauchy variable is defined in a way that permits direct examination of its characteristic function against the Lévy-Khinchine criterion for infinite divisibility.","fun_headline_variants_meta":{"raw":{"variants":["α-Cauchy infinite divisibility only for 1<α≤2","Cα infinitely divisible iff 1<α≤2","Infinite divisibility of α-Cauchy for 1<α≤2 only","α-Cauchy is infinitely divisible only when 1<α≤2"]},"model":"grok-4.3","cost_usd":0.009793,"raw_usage":{"total_tokens":4217,"prompt_tokens":546,"num_sources_used":0,"completion_tokens":78,"cost_in_usd_ticks":97928000,"prompt_tokens_details":{"text_tokens":546,"audio_tokens":0,"image_tokens":0,"cached_tokens":64},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":3593,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":546,"tokens_out":78,"duration_ms":22088,"temperature":1.0,"reasoning_tokens":3593,"cache_read_input_tokens":64,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-16T20:00:11.048786+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A numerical check showing that the n-th root of the characteristic function fails to be positive definite for some α > 2, or succeeds for all n when 1 < α ≤ 2.","supporting_citations":[],"review_version":1}