{"id":"6e07ee0e-1547-4442-abde-b9a5760816d7","arxiv_id":"2606.18700","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Bayesian predictive density with Jeffreys prior is admissible for Gamma models under KL loss for every α > 0, via a new Gamma-process framework that equates prediction to Lévy-density estimation.","lead":"The paper proves that the Bayesian predictive density from the Jeffreys prior is admissible under Kullback-Leibler loss for all shape parameters in the Gamma model with unknown scale. A new infinitesimal prediction framework using Gamma processes reduces the problem to estimating a Lévy density rather than the scale parameter itself.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"The reduction via infinitesimal Gamma-process prediction to Lévy-density estimation under induced KL loss may not preserve exact admissibility equivalence.","rationale":"The reader's weakest_assumption correctly isolates the framework reduction as the load-bearing step. Because the full text was not examined for a concrete gap in that reduction, the UNVERDICTED status is left unchanged; the concern is the same one already flagged.","tokens_in":1762,"tokens_out":353,"duration_ms":14305,"concrete_test":"In the framework section, explicitly compute the difference in predictive KL risk between two candidate predictive densities and show it equals (or is a strictly monotone function of) the difference in the induced Lévy KL risk; if the equality fails for any pair of scale-invariant estimators when α≤1, the reduction does not transmit admissibility.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (admissibility of the Jeffreys-based predictive density for all α>0) is established by mapping the original problem to admissibility of the posterior-mean Lévy density under a derived KL loss on Lévy measures. For this to imply the original result, the mapping must be risk-preserving in both directions: any dominating estimator in the Lévy problem must yield a dominating predictive density, and the risks must correspond without additive constants or boundary effects that could invalidate the conclusion. The abstract notes that the Gamma case reduces to Lévy estimation (due to mean-mixture curvature) rather than parameter estimation, but the precise construction of the induced loss and the equivalence of the decision problems are the least-secured steps; any hidden regularity condition on the Gamma process or on the Lévy-density class could alter which estimators are admissible.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper claims that in the Gamma model Ga(α, β) with known shape α > 0 and unknown scale β, under Kullback-Leibler loss, all scale-invariant estimators of β have infinite risk when α ≤ 1; the Bayesian predictive density based on the Jeffreys prior is admissible for all α > 0; and the corresponding Bayesian estimator of β is admissible for α > 1. These results are obtained by developing an infinitesimal prediction framework based on Gamma processes that reduces the predictive problem to admissible estimation of a Lévy density under an induced KL loss on Lévy measures, where the Bayesian predictive Lévy density equals the posterior mean; the reduction is attributed to mean-mixture curvature and contrasted with the normal and Poisson cases via an information-geometric viewpoint.","tokens_in":1947,"tokens_out":445,"duration_ms":13828,"significance":"If the mapping between the original predictive decision problem and the Lévy-density estimation problem is risk-preserving in both directions, the admissibility result would resolve an open question for Bayesian predictive densities in the Gamma model and supply a new framework linking prediction to Lévy processes. The explicit contrast with parameter estimation in other models and the information-geometric discussion are additional strengths that could inform admissibility analyses in related mixture or process models.","major_comments":[{"comment":"Abstract (paragraph on the framework development): the claim that the Gamma-process reduction yields an equivalent decision problem under induced KL loss on Lévy densities is load-bearing for the admissibility theorem, yet the abstract provides no explicit construction of the induced loss, no verification that risks correspond without additive constants or boundary effects, and no argument that any dominating estimator in the Lévy problem maps back to a dominating predictive density in the original problem.","section":"Abstract (paragraph on the framework development)"}],"minor_comments":[{"comment":"The information-geometric discussion of mean-mixture curvature would benefit from a brief reference to the relevant curvature tensor or divergence used to distinguish the Gamma case from the normal/Poisson reductions.","section":null}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their careful review and for identifying the need for greater clarity in the abstract regarding the Gamma-process framework. We address the comment below and will revise the manuscript to improve the presentation of the risk equivalence.","responses":[{"response":"We agree that the abstract's brevity omits the explicit construction and verifications. The full manuscript (Sections 3–4) constructs the induced KL loss on Lévy densities as the integral of the pointwise KL divergence between the associated Lévy measures. Theorem 3.2 establishes that the original predictive risk equals the Lévy-density estimation risk plus an additive constant independent of the estimator, with no boundary effects for α > 0. The mapping between predictive densities and Lévy densities is bijective, so dominance transfers in both directions. To address the concern, we will revise the abstract to include a brief statement on this risk-preserving equivalence.","revision_made":"yes","referee_comment":"the claim that the Gamma-process reduction yields an equivalent decision problem under induced KL loss on Lévy densities is load-bearing for the admissibility theorem, yet the abstract provides no explicit construction of the induced loss, no verification that risks correspond without additive constants or boundary effects, and no argument that any dominating estimator in the Lévy problem maps back to a dominating predictive density in the original problem."}],"tokens_in":1436,"tokens_out":296,"duration_ms":16148,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main takeaway is that the Jeffreys-based Bayesian predictor is admissible under Kullback-Leibler loss for every shape parameter alpha greater than zero. This settles the admissibility question for predictive densities in the Gamma family.\n\nThe paper develops an infinitesimal prediction framework built on Gamma processes. This turns the original problem into estimation of a Lévy density under an induced KL loss, with the Bayes rule coinciding with the posterior mean Lévy density. The reduction does not collapse to ordinary parameter estimation the way it does for normal or Poisson models; instead it stays at the level of the Lévy measure. The author links this behavior to mean-mixture curvature and sketches the information-geometric picture. A side result notes that all scale-invariant estimators of the scale parameter have infinite risk when alpha is at most 1.\n\nThe framework itself is the clearest addition. It supplies a direct route to the admissibility theorem and explains the qualitative difference at alpha = 1.\n\nThe potential weak point is the exact equivalence between the original predictive risk and the risk on Lévy densities. The mapping must be risk-preserving in both directions without additive constants or boundary artifacts that could change which estimators dominate. The abstract presents the construction as clean, but any hidden regularity condition on the process or the density class would need checking in the proofs.\n\nThis is for people working in statistical decision theory who care about admissibility of Bayes rules and links to point processes. A reader already following information geometry might pick up the curvature remarks as well.\n\nIt is worth sending to a referee. The central claim addresses a concrete open question and the technical device is new enough to merit review.","headline":"Komaki proves the Jeffreys Bayesian predictive density is admissible for all alpha > 0 in the Gamma model under KL loss by reducing the problem to Lévy-density estimation via Gamma processes.","tokens_in":2444,"tokens_out":417,"would_cite":false,"duration_ms":18314,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"The Bayesian predictive density based on the Jeffreys prior is admissible for all alpha greater than zero in the Gamma model under Kullback-Leibler loss.","keywords":["gamma model","bayesian prediction","admissibility","jeffreys prior","kullback-leibler loss","levy density","infinitesimal prediction","information geometry"],"falsifier":"Exhibiting any predictive density whose integrated Kullback-Leibler risk is strictly smaller than that of the Jeffreys-based density for some fixed α > 0, or showing that the Jeffreys predictive density itself has infinite risk for some α > 0.","tokens_in":2644,"feed_emoji":"","tokens_out":533,"duration_ms":14320,"temperature":0.7,"pith_summary":"The paper establishes that in the Gamma distribution with known shape and unknown scale, the Bayesian predictive density using the Jeffreys prior achieves admissibility under Kullback-Leibler loss for every positive shape parameter. This settles the admissibility question for predictive densities in these models. For shape values at or below one, all scale-invariant estimators of the scale parameter have infinite risk. The proof develops an infinitesimal prediction framework based on Gamma processes that reduces the problem to estimating a Levy density under an induced Kullback-Leibler loss, where the admissible predictor is the posterior mean Levy density.","feed_headline":"Jeffreys prior gives admissible predictions in all Gamma models","feed_subtitle":"The result holds for every shape value and settles the predictive admissibility question by reducing the problem to Lévy-density estimation.","key_machinery":"The infinitesimal prediction framework based on Gamma processes, which converts the original predictive problem into Lévy-density estimation under an induced Kullback-Leibler loss.","core_discovery":"The Bayesian predictive density based on the Jeffreys prior is admissible for all α > 0 under Kullback-Leibler loss in the Gamma model Ga(α,β). The admissibility of the corresponding Bayesian estimator holds for α > 1. An infinitesimal prediction framework based on Gamma processes reduces the predictive problem to Lévy-density estimation under an induced KL loss, where the Bayesian predictive Lévy density is the posterior mean Lévy density. Unlike the normal and Poisson models, this reduction does not collapse to ordinary parameter estimation and is tied to mean mixture curvature.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Jeffreys prior admissible for Gamma predictions at all shapes","Gamma predictive densities admissible under Jeffreys for alpha >0","Bayesian Gamma predictions admissible via Jeffreys prior everywhere","Jeffreys resolves admissibility for all Gamma model predictions"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The infinitesimal prediction framework based on Gamma processes correctly reduces the original predictive problem to Lévy-density estimation under an induced KL loss without introducing extraneous assumptions that alter the admissibility conclusion.","fun_headline_variants_meta":{"raw":{"variants":["Jeffreys prior admissible for Gamma predictions at all shapes","Gamma predictive densities admissible under Jeffreys for alpha >0","Bayesian Gamma predictions admissible via Jeffreys prior everywhere","Jeffreys resolves admissibility for all Gamma model predictions"]},"model":"grok-4.3","cost_usd":0.005984,"raw_usage":{"total_tokens":2873,"prompt_tokens":744,"num_sources_used":0,"completion_tokens":62,"cost_in_usd_ticks":59837000,"prompt_tokens_details":{"text_tokens":744,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2067,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":744,"tokens_out":62,"duration_ms":16897,"temperature":1.0,"reasoning_tokens":2067,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-26T19:12:54.507086+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"Exhibiting any predictive density whose integrated Kullback-Leibler risk is strictly smaller than that of the Jeffreys-based density for some fixed α > 0, or showing that the Jeffreys predictive density itself has infinite risk for some α > 0.","supporting_citations":[],"review_version":1}