{"id":"f02e2a2c-603d-4c55-837d-c0ad6e20eaba","arxiv_id":"2606.25441","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Derives an adaptive upper bound on the Lévy concentration function of infinite sums of noncentral chi-squares that recovers Gaussian or chi-square behavior based on coefficient norms and generalizes prior bounds without restrictions on nonzero terms or signs.","lead":"The paper derives an upper bound on the Lévy concentration function for infinite weighted sums of noncentral chi-square random variables that arise as limits of second-order U-statistics. A smart generalist might read it for improved tools to analyze concentration properties in statistical limit theorems and nonparametric methods.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest_assumption is simply the definitional representation of S; the abstract supplies no further technical step whose validity can be challenged without the proof. Hence the verdict remains UNVERDICTED pending inspection of the derivation.","tokens_in":1894,"tokens_out":273,"duration_ms":14942,"concrete_test":"Take a finite truncation with 20 terms, λ_k alternating in sign and decaying as 1/k, μ_k = 0; compute a high-precision Monte-Carlo estimate of Q_S(ε) for ε equal to the claimed bound and check whether the empirical probability stays below the stated upper bound (within sampling error).","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is the existence of an explicit, adaptive upper bound on Q_S(ε) that interpolates between the Gaussian and chi-square regimes and requires no lower bound on min |λ_k|, no restriction on the number of nonzero terms, and no sign restriction on λ_k. The representation of S is the standard L² limit of the indicated series (square-summable coefficients guarantee L² convergence of the independent centered summands). No internal contradiction, hidden regularity assumption, or unsupported interpolation step is visible from the abstract or the stated claim.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper derives an explicit upper bound on the Lévy concentration function Q_S(ε) = sup_x P(x < S ≤ x + ε) for the random variable S = ∑_{k=1}^∞ λ_k (Z_k² - 1) + μ_k Z_k, where {Z_k} are i.i.d. standard normals and {λ_k}, {μ_k} are square-summable real sequences. The bound is adaptive: it recovers (up to constants) Gaussian-type estimates when ||λ||_2 is negligible relative to ||μ||_2 and chi-square-type estimates in the reverse regime. It generalizes prior results by imposing no restrictions on the number of nonzero |λ_k|, the minimal |λ_k|, or the signs of the λ_k. The bound is applied to quadratic forms appearing as limits of second-order U-statistics.","tokens_in":1982,"tokens_out":453,"duration_ms":10752,"significance":"If the stated bound holds with the claimed adaptivity and generality, the result supplies a practical tool for small-ball probability estimates in the non-Gaussian limits that arise in U-statistic theory. The absence of lower bounds on min |λ_k| or cardinality restrictions on the support of λ distinguishes the work from many existing concentration inequalities for quadratic forms and could facilitate sharper analysis in settings where the relative sizes of the linear and quadratic coefficients vary.","major_comments":[],"minor_comments":[{"comment":"The abstract and introduction would benefit from a brief comparison table or explicit statement of the constants appearing in the new bound versus the constants in the Gaussian and chi-square regimes it recovers.","section":null},{"comment":"Notation for the sequences λ and μ is introduced in the abstract but the precise statement of the main theorem (presumably in §3 or §4) should restate the square-summability assumption explicitly to avoid any ambiguity about the domain of the bound.","section":null},{"comment":"In the applications section, the concrete U-statistic examples would be clearer if the corresponding λ and μ sequences were written out explicitly rather than left in implicit form.","section":null}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their positive assessment of the manuscript, including the recognition of its adaptivity and generality, and for the recommendation of minor revision.","responses":[],"tokens_in":1395,"tokens_out":49,"duration_ms":10406,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The core advance is an explicit upper bound on Q_S(ε) for S written as the L2 limit of that sum lambda_k (Z_k^2 - 1) + mu_k Z_k. The bound is designed to recover Gaussian-type estimates when the mu vector dominates in l2 norm and chi-square-type estimates when the lambda vector dominates, all without assuming a bound on the number of nonzero lambdas, a positive lower bound on the smallest |lambda_k|, or any sign pattern on the lambdas.\n\nThat removal of assumptions is the part that looks new relative to earlier concentration results for quadratic forms. It should make the bound usable in more settings where the coefficients come from a U-statistic kernel and do not satisfy the older restrictions. The applications section then checks the bound on a few concrete quadratic forms that arise as limits of second-order U-statistics, which is a natural place to test it.\n\nThe main soft spot is that the abstract states the properties of the bound but does not display the bound itself or the key steps of the argument. Without seeing the derivation it is difficult to judge whether the constants are reasonable or whether any hidden regularity is used when passing from finite to infinite sums. If the proof is short and direct, the result is a modest but clean technical improvement; if it is long and opaque, the practical value drops.\n\nThis is a specialized note aimed at people who already work with concentration inequalities for U-statistics or with Levy concentration functions for quadratic forms. A reader in that corner of probability and statistics can extract the relaxed conditions and decide whether they help with their own examples. Outside that niche the payoff is small.\n\nI would send it to referees. The claim is concrete, the generalization is stated clearly, and there is no obvious internal contradiction in the setup.","headline":"The paper gives an adaptive Levy concentration bound for weighted noncentral chi-square sums that drops the usual restrictions on the number, size, and signs of the lambda coefficients.","tokens_in":2471,"tokens_out":444,"would_cite":false,"duration_ms":17491,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["60E15"],"pacs":[],"model":"grok-4.3","headline":"An adaptive upper bound for the Lévy concentration function of weighted noncentral chi-square sums is derived.","keywords":["Lévy concentration function","noncentral chi-square random variables","quadratic forms","U-statistics","concentration inequalities","limit theorems","Gaussian sums"],"falsifier":"Finding sequences λ_k and μ_k where the supremum probability in an interval of length ε exceeds the stated bound by more than a constant factor for arbitrarily small ε.","tokens_in":2782,"feed_emoji":"","tokens_out":627,"duration_ms":19978,"temperature":0.7,"pith_summary":"The paper derives an upper bound for the Lévy concentration function of a random variable S expressed as an infinite weighted sum of noncentral chi-squares driven by independent Gaussians. The bound adapts automatically to give near-Gaussian behavior when the linear terms dominate and near-chi-square behavior when the quadratic terms dominate. It requires no restrictions on how many weights are nonzero, how small the smallest weight is, or the signs of the weights. Such random variables appear as limits of second-order U-statistics, so the bound helps control small-ball probabilities in those settings. A reader would care because concentration functions determine the accuracy of normal approximations and bootstrap methods in statistics.","feed_headline":"Adaptive bound for Lévy concentration of chi-square sums","feed_subtitle":"The bound recovers Gaussian and chi-square estimates without assumptions on the number or size of weights and applies to U-statistics.","key_machinery":"The adaptive upper bound on the Lévy concentration function Q_S(ε) for the infinite sum S of weighted noncentral chi-squares.","core_discovery":"We provide an upper-bound for the Lévy concentration function Q_S(ε) where S is a weighted sum of noncentral chi-square random variables S := sum λ_k (Z_k^2 - 1) + μ_k Z_k with independent standard Gaussians Z_k. Our bound is adaptive in that it recovers Gaussian type estimates if the l2 norm of λ is negligible compared to that of μ and chi-square estimates otherwise. The bound generalizes existing ones by making no assumptions on the number of nonzero |λ_k|, the size of the minimal |λ_k|, or the signs of λ_k. We apply the bound to quadratic forms arising in limit theorems for second-order U-statistics.","pith_inferences":["The bound could be used to obtain Berry-Esseen type rates for U-statistics.","It might extend to vector-valued versions or other functionals in probability.","Applications in high-dimensional data analysis where quadratic forms appear in test statistics."],"forward_implications":["Applies directly to limiting distributions of second-order U-statistics.","Generalizes previous concentration bounds for such quadratic forms.","Works for both finite and infinite sums without truncation assumptions.","Recovers known Gaussian and chi-square concentration estimates as special cases."],"fun_headline_variants":["Adaptive Levy bound for noncentral chi-square sums","Levy concentration upper bound for Gaussian quadratics","Bound on Levy function for weighted chi-square sums","Adaptive bound for Levy concentration in U-statistics","Levy bound adapts to Gaussian or chi-square estimates"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"That S equals the given infinite sum involving square-summable coefficient sequences and independent standard normal random variables.","fun_headline_variants_meta":{"raw":{"variants":["Adaptive Levy bound for noncentral chi-square sums","Levy concentration upper bound for Gaussian quadratics","Bound on Levy function for weighted chi-square sums","Adaptive bound for Levy concentration in U-statistics","Levy bound adapts to Gaussian or chi-square estimates"]},"model":"grok-4.3","cost_usd":0.004819,"raw_usage":{"total_tokens":2432,"prompt_tokens":794,"num_sources_used":0,"completion_tokens":69,"cost_in_usd_ticks":48187000,"prompt_tokens_details":{"text_tokens":794,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1569,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":794,"tokens_out":69,"duration_ms":14458,"temperature":1.0,"reasoning_tokens":1569,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-25T20:26:14.115748+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"Finding sequences λ_k and μ_k where the supremum probability in an interval of length ε exceeds the stated bound by more than a constant factor for arbitrarily small ε.","supporting_citations":[],"review_version":1}