{"id":"5a480225-5289-4807-822b-aa8896afb909","arxiv_id":"2501.12447","paper_version":5,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Hypothesis testing relative entropy is equivalent to the information-spectrum smooth max-relative entropy, with an improved connecting lemma and provably tight bounds to other divergences.","lead":"The paper proves an equivalence between the hypothesis testing relative entropy and a measured variant of the smooth max-relative entropy based on the information spectrum divergence. Researchers working on one-shot quantum tasks may use the tightened bounds and improved lemma for sharper operational characterizations.","discovery_kind":"unification","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"Reader correctly flagged the unverified proof technique as the weakest point; absent the full manuscript, no concrete gap can be exhibited, so the UNVERDICTED status is appropriate and no adjustment is warranted.","tokens_in":1685,"tokens_out":203,"duration_ms":11224,"concrete_test":"Compute both sides of the claimed equivalence for a single-qubit state and projector (e.g., computational basis) and verify numerical equality within machine precision; repeat for the improved Datta-Renner-style bound.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The abstract states an equivalence between hypothesis testing relative entropy and a measured/information-spectrum variant of smooth max-relative entropy, plus an improved connection lemma via matrix geometric means and a tightened gentle measurement lemma. No internal inconsistency, hidden assumption, or unsupported step is identifiable from the given description; the claims are consistent with standard one-shot quantum information techniques.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript establishes an equivalence between the hypothesis testing relative entropy and a variant of the smooth max-relative entropy defined via the information spectrum divergence (equivalently, a measured smooth max-relative entropy). It strengthens the Datta-Renner connection lemma between variants of the smooth max-relative entropy by means of a matrix-geometric-mean argument and a tightened gentle-measurement lemma. These relations are then applied to obtain strictly tighter one-shot bounds and duality relations between the smooth max-relative entropy and the hypothesis testing relative entropy, as well as sharpened inequalities linking the max-relative entropy to Rényi divergences.","tokens_in":1723,"tokens_out":380,"duration_ms":10842,"significance":"If the central equivalences and tightened bounds hold, the work supplies sharper, provably tight characterizations for one-shot quantum tasks governed by smooth entropies, including hypothesis testing and related operational settings. The improved lemma and matrix-geometric-mean technique constitute reusable technical tools. The paper ships explicit, parameter-free derivations and falsifiable tightening statements rather than fitted constants.","major_comments":[],"minor_comments":[{"comment":"§3.2, after Eq. (18): the statement that the new gentle-measurement bound is 'strictly tighter' would benefit from an explicit numerical comparison (or a short remark) showing the improvement factor relative to the original Datta-Renner constant for a simple qubit example.","section":null},{"comment":"Notation: the symbol D_∞^ε is used both for the information-spectrum variant and the measured variant; a single clarifying sentence or footnote would prevent reader confusion.","section":null},{"comment":"Figure 1 caption: the plotted curves are not labeled with the precise ε values used; adding them would make the visual comparison self-contained.","section":null}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their positive evaluation of the manuscript, including the summary of our contributions and the recommendation for minor revision. No specific major comments were raised in the report.","responses":[],"tokens_in":1206,"tokens_out":54,"duration_ms":18312,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main news is that the hypothesis testing relative entropy is now equivalent to the information-spectrum (or measured) version of the smooth max-relative entropy, and they have a cleaner proof of the lemma that links the different smooth-max variants. The new argument uses matrix geometric means plus a sharpened gentle-measurement step, which removes some of the previous slack and produces strictly better one-shot bounds and duality relations. They also sharpen a few Renyi-divergence inequalities as a byproduct. That is concrete progress inside the existing one-shot framework rather than a wholesale rewrite of the quantities themselves. The bounds being provably tight is the part that matters for applications; earlier versions left a gap that this closes. The equivalence is only to the measured/information-spectrum variant, not to the usual smooth max-relative entropy, so it refines the picture without making the standard quantity obsolete. No obvious circularity or hidden fitting shows up in the claims. The work sits squarely in the line of Datta-Renner and subsequent one-shot papers, so the citation pattern looks normal. This is useful for anyone who already works with these entropies for concrete tasks; the tighter constants will propagate into follow-up bounds. It is not foundational enough to change how the field defines the quantities, but the technical improvement is real and worth checking. I would send it to a serious referee in quantum information theory.","headline":"They turn the hypothesis-testing to smooth-max connection into an equivalence for the information-spectrum variant and tighten the Datta-Renner lemma with matrix geometric means, yielding provably tight bounds.","tokens_in":2218,"tokens_out":357,"would_cite":true,"duration_ms":19543,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[],"headline":"Paper on smooth quantum relative entropies; no connection to RS forcing chain or J-cost","alignment":"orthogonal","rationale":"The paper refines bounds between hypothesis-testing relative entropy D_H^ε and variants of smooth max-relative entropy (including the information-spectrum form eD^ε_max) via matrix geometric means and a tightened gentle-measurement lemma. Its central results are equivalences such as D^{1-ε}_H(ρ∥σ) = inf_μ [eD^{ε-μ}_max(ρ∥σ) + log(1/μ)] and improved one-shot duality relations. None of these constructions invoke the recognition cost J(x) = ½(x + x^{-1}) − 1, golden-ratio fixed points, 8-tick periodicity, or any theorem in the RS forcing chain (reality_from_one_distinction, AbsoluteFloorClosure, Cost.FunctionalEquation, etc.). The work lies entirely inside standard one-shot quantum information theory and therefore lies outside the scope of RS.","tokens_in":74600,"confidence":"high","tokens_out":229,"duration_ms":7762,"cache_read_input_tokens":38528,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Hypothesis testing relative entropy equals the measured smooth max-relative entropy via information spectrum divergence.","keywords":["smooth relative entropies","hypothesis testing relative entropy","smooth max-relative entropy","information spectrum divergence","one-shot quantum information","duality relations"],"falsifier":"An explicit pair of quantum states and a measurement where the numerical value of the hypothesis testing relative entropy differs from the information-spectrum smooth max-relative entropy by more than the equivalence margin allows.","tokens_in":2581,"feed_emoji":"","tokens_out":591,"duration_ms":14606,"temperature":0.7,"pith_summary":"The paper establishes an equivalence showing that the hypothesis testing relative entropy matches a variant of the smooth max-relative entropy defined through the information spectrum divergence. This same quantity can be viewed as the measured smooth max-relative entropy. The authors strengthen this link by refining the fundamental lemma that relates different versions of the smooth max-relative entropy, using matrix geometric means together with a tightened gentle measurement lemma. These connections produce strictly tighter one-shot bounds and duality relations than previously known, and they sharpen inequalities linking the max-relative entropy to Rényi divergences.","feed_headline":"Hypothesis testing entropy equals measured smooth max entropy","feed_subtitle":"Equivalence produces provably tight one-shot bounds and duality relations in quantum information","key_machinery":"The equivalence between the hypothesis testing relative entropy and the information-spectrum smooth max-relative entropy (equivalently, the measured smooth max-relative entropy), proved via matrix geometric means and a tightened gentle measurement lemma.","core_discovery":"The hypothesis testing relative entropy is equivalent to the variant of the smooth max-relative entropy based on the information spectrum divergence, which is also the measured smooth max-relative entropy. An improved lemma connects the variants of the smooth max-relative entropy without gaps, yielding provably tight bounds and duality relations between the hypothesis testing relative entropy and the smooth max-relative entropy, plus refined inequalities with Rényi divergences.","pith_inferences":["The measured formulation may simplify explicit calculations for finite-block tasks such as quantum hypothesis testing.","The matrix-geometric-mean technique could apply to other smooth entropy relations outside the current setting.","Tighter bounds may improve finite-resource estimates in quantum channel discrimination."],"forward_implications":["One-shot bounds between the smooth max-relative entropy and hypothesis testing relative entropy become provably tight.","Duality relations between these quantities hold with equality in the improved form.","Bounds connecting the max-relative entropy to Rényi divergences are sharpened.","Operational one-shot characterizations in quantum tasks gain tighter expressions."],"fun_headline_variants":["Hypothesis testing equals measured smooth max entropy","Tight equivalences link smooth relative entropies","Improved lemma yields tight entropy bounds","Spectrum divergence unifies hypothesis and max entropies"],"cache_read_input_tokens":64,"weakest_assumption_plain":"The modified proof using matrix geometric means and the tightened gentle measurement lemma correctly equates the different smooth max-relative entropy variants without new gaps.","fun_headline_variants_meta":{"raw":{"variants":["Hypothesis testing equals measured smooth max entropy","Tight equivalences link smooth relative entropies","Improved lemma yields tight entropy bounds","Spectrum divergence unifies hypothesis and max entropies"]},"model":"grok-4.3","cost_usd":0.005297,"raw_usage":{"total_tokens":2458,"prompt_tokens":625,"num_sources_used":0,"completion_tokens":53,"cost_in_usd_ticks":52965500,"prompt_tokens_details":{"text_tokens":625,"audio_tokens":0,"image_tokens":0,"cached_tokens":64},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1780,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":625,"tokens_out":53,"duration_ms":11062,"temperature":1.0,"reasoning_tokens":1780,"cache_read_input_tokens":64,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-23T04:43:51.679193+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit pair of quantum states and a measurement where the numerical value of the hypothesis testing relative entropy differs from the information-spectrum smooth max-relative entropy by more than the equivalence margin allows.","supporting_citations":[],"review_version":1}