{"id":"4b834cf0-b0a0-4c51-89dd-dfd44a6d4ca8","arxiv_id":"2607.22810","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For SU(1,1) systems, coherent states have strictly positive Wigner functions; negativity is therefore a reliable quantum witness, complemented by stellar rank and multipole criteria.","lead":"This paper builds a phase-space formalism for SU(1,1) systems where the Wigner function is always positive for the natural coherent states, so any negative \"quantum volume\" is a clean nonclassicality signal. It also adds stellar-rank and multipole tools for certifying quantum resources in two-photon and nonlinear-interferometer settings.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified; the unproved infinite-product identity Eq. (69) is the key soft spot, but it verifies via the Gamma product formula.","rationale":"The reader identified Eq. (69) as the weakest assumption, and I agree that this is the only mathematically load-bearing step that is not explicitly derived. However, the identity is correct: it follows directly from the Euler product for the Gamma function, so the central theorem survives scrutiny. The positivity proof then uses standard, valid ingredients: each factor is the Laplace transform of a positive Gamma density, finite convolutions give positive densities, the pointwise limit is completely monotone, Bernstein–Widder supplies a positive measure, and the hyperbolic heat kernel is strictly positive. No internal inconsistency or counterexample to the headline claim surfaces. The remaining deficiencies are presentation-level: omitted derivations for Eq. (69) and for several illustrative formulas, plus the inconsistent 2017/2026 metadata. These do not overturn the core result, so I leave the reader's conditional verdict unchanged rather than strengthening or weakening it.","tokens_in":14639,"tokens_out":29179,"duration_ms":292479,"concrete_test":"Independently derive Eq. (69) from the Euler/Weierstrass product for Γ and compare both sides numerically for representative parameters (e.g., k=1,2,3; λ=0 and λ=1). Also verify the tail bound (73)–(74) that ensures uniform convergence of the product and check F(q)→0 as q→∞, confirming that the representing measure ν_{k,t} has no atom at 0. If Eq. (69) matches and the limit measure behaves as claimed, the positivity proof through Bernstein–Widder and the strictly positive hyperbolic heat kernel goes through unchanged.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central theorem — strict positivity of the Wigner function for all Perelomov SU(1,1) coherent states, making Wigner negativity a sufficient witness of nonclassicality — rests on the positivity of the kernel g_t proven in App. A. The load-bearing step is Eq. (69): Φ_k^t(λ) is represented as ∏_{n=0}^∞ [b_nk/(b_nk+q)]^t with b_nk=(n+c)(n+c+1), c=2k−1>0, q=λ^2+1/4. This identity is asserted without derivation or citation. If it were false, the complete-monotonicity argument for F(q) would fail, and Eq. (37) would not follow. I checked the identity independently: with z=c+1/2+iλ, the product ∏_{n=0}^∞ [(n+c)(n+c+1)]/((n+z)(n+z̄)) equals Γ(z)Γ(z̄)/[Γ(c)Γ(c+1)]. Using Γ(c+1)=Γ(2k) and Γ(2k)=(2k−1)Γ(2k−1), this becomes exactly (2k−1)|Γ(2k−1/2+iλ)|^2/Γ^2(2k)=Φ_k(λ). Thus Eq. (69) is valid, and the subsequent Bernstein–Widder and hyperbolic heat-kernel steps are sound. The concern does not land as a correctness attack; the remaining issue is that the paper should include a one-line derivation of this key identity.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs a covariant family of s-ordered quasiprobability distributions for SU(1,1) systems, defined on the upper hyperboloid and the Poincaré disk. Its central claim is that the Wigner function (and every s<1 quasidistribution) is strictly positive for all Perelomov coherent states, so that any Wigner negativity is a sufficient witness of nonclassicality relative to P-positive states. The authors also analyze Q-function zeros (stellar rank) for basis, cat, and Barut-Girardello states, and introduce an SU(1,1) multipole hierarchy with a multipole-area classicality criterion. The proof of the main positivity theorem is delegated to an appendix using an infinite-product representation of the spectral function, Laplace transforms, complete monotonicity, and heat-kernel positivity.","tokens_in":15069,"tokens_out":14478,"duration_ms":146647,"significance":"If the main theorem holds, it provides a symmetry-adapted and operationally meaningful nonclassicality witness for SU(1,1) systems, which is particularly relevant for two-photon physics and nonlinear interferometry. The contrast with SU(2) — where spin coherent states can have negative Wigner functions — is conceptually important and, as far as I can tell, correct. The paper also gives explicit formulas for several families of states and a multipole expansion that may be useful for resource quantification. The appendix contains a substantial and mostly sound mathematical proof; the main missing piece is a derivation of the load-bearing infinite-product identity, which is asserted without proof.","major_comments":[{"comment":"The positivity proof of the kernel g_t hinges on the representation Φ_k^t(λ) = ∏_{n=0}^∞ [b_nk/(b_nk+q)]^t with b_nk=(n+c)(n+c+1), q=λ^2+1/4, c=2k-1. This identity is stated as \"can be represented\" with no derivation or citation. It is the only step in the appendix that is not justified. I have independently verified it via the gamma product formula Γ(z)Γ(z̄)=∏[(n+c)(n+c+1)]/[(n+z)(n+z̄)] with z=c+1/2+iλ, so the result is correct; nevertheless, a reader cannot verify the central lemma without supplying this argument. Please add a short derivation (or a precise reference) and state the conditions on k and t exactly.","section":"Appendix, Eq. (69)"}],"minor_comments":[{"comment":"The abstract and Sec. 4 say \"all Perelomov SU(1,1) coherent states\", but the proof in Appendix A assumes c=2k-1>0, i.e., k>1/2. The case k=1/2 is called limiting but is not treated. Eq. (32) formally gives Φ_k=0 at k=1/2 while Eq. (27) gives a nonzero expression. Please state explicitly whether the theorem covers k>1/2 only, and spell out the limiting sense for k=1/2 if it is to be included.","section":"Sec. 2 / Appendix"},{"comment":"The normalization of the Barut-Girardello Q-function appears to be missing a factor 1/Γ(2k): from the overlap calculation one obtains Q_{k,z}(ζ)=N_{k,z}^2/Γ(2k) (1-|ζ|²)^{2k} exp[2 Re(z*ζ)], unless the constant N_{k,z} is redefined. Please check and fix.","section":"Sec. 5, Eq. (43)"},{"comment":"There are two typos: \"sufficient witnes\" should be \"sufficient witness\" in the paragraph after Eq. (65), and \"It follows frrm (65)\" should be \"It follows from (65)\" before Eq. (68).","section":"Sec. 6"},{"comment":"The asymptotic expansion for ζ_k(L²) is used to argue that the Barut-Girardello state has a Wigner function with negative regions. This is a heuristic argument; since the existence of a zero-free Q-function with negative W is an important counterexample, please either give a more rigorous justification or cite a source where the negativity is proven for finite k and z.","section":"Sec. 5, Eq. (45)"}],"recommendation":"major_revision","confidential_remarks":"The central theorem appears correct and the missing infinite-product identity is easily supplied, so I do not doubt the result. The reason for major revision rather than minor is that Eq. (69) is genuinely load-bearing and is currently asserted without proof; once that derivation and the k=1/2 qualification are added, the paper should be acceptable. The paper fits the journal's scope and the resource-theoretic framing is appropriate."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a real contribution, not a repackaging. The main theorem — Wigner positivity for all Perelomov SU(1,1) coherent states — checks out, and the paper earns a serious referee.\n\nWhat's actually new: the strict positivity result for all s-parametrized quasidistributions with s<1, proven through the complete monotonicity of the spectral function, plus the multipole hierarchy bound (65). The appendix is the real meat: it shows the smoothing kernel g_t is positive by writing Phi_k^t as a Laplace transform of a positive measure and convolving with the strictly positive heat kernel on the hyperboloid. I independently checked the load-bearing infinite-product identity (Eq. 69). It's valid — it follows from the Gamma product formula — and the rest of the Bernstein–Widder argument holds. So the central claim is on solid ground.\n\nThe soft spots are proportionate. First, Eq. (69) is asserted without derivation or citation, and it is load-bearing. That's a one-line fix, but it should be in the paper. Second, the Barut–Girardello example introduces a nonlocal operator zeta_k(L2) whose explicit form is 'not reproduced,' and the asymptotic expansion (45) is used to argue for negativity. It's plausible, but it's a sketch rather than a proof — fine for an illustrative example, as long as it's labeled as such. Third, the multipole inequality (65) is a clean necessary condition for classicality, but the paper doesn't probe tightness or give a violation that's nontrivial beyond the examples; I'd like to see that addressed in revision.\n\nThe metadata is genuinely concerning: the header says 'Accepted in Quantum 2017-05-09' but the arXiv number is 2026 and the references include 2024 and 2025 papers. That's impossible and should be corrected immediately. It doesn't affect the math, but it's a provenance red flag that will trip up any careful reader.\n\nWho this is for: people working with SU(1,1) states — two-photon physics, squeezed states, nonlinear interferometers. The paper gives them an operational witness: any negative Wigner volume is a sufficient signature of nonclassicality relative to coherent-state mixtures. It's also honest about the converse failing, which is a point in its favor. I'd bring it to a reading group and I'd cite it in my own work if I were in the area.\n\nRecommendation: send it to peer review with a request to add the derivation of Eq. (69), tighten or hedge the Barut–Girardello argument, and fix the metadata. The core result is worth publishing.","headline":"Genuine extension of the SU(1,1) phase-space toolkit with a valid central positivity theorem, but one asserted identity and a metadata oddity need fixing before I'd trust the published version.","tokens_in":15464,"tokens_out":1668,"would_cite":true,"duration_ms":20351,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"On hyperbolic SU(1,1) phase space, coherent states always have strictly positive Wigner functions, so any Wigner negativity is an unambiguous signature of quantum behavior.","keywords":["SU(1,1) symmetry","Wigner function positivity","quasiprobability distributions","coherent states","stellar rank","Husimi Q zeros","hyperbolic phase space","multipole hierarchy"],"falsifier":"Compute the spectral function Φ_k(λ) directly from its closed form, Eq. (32), for k=1, 3/2, 2 and a range of λ, and compare pointwise with the infinite product in Eq. (69); any discrepancy breaks the Laplace-transform proof. Alternatively, numerically integrate the kernel g_t(cosh ξ) in Eq. (30) and search for a negative value at some t>0 and ξ, which would directly refute the central positivity claim.","tokens_in":1482,"feed_emoji":"🌀","tokens_out":1900,"duration_ms":57564,"temperature":0.7,"pith_summary":"This paper constructs a full family of s-ordered quasiprobability distributions for SU(1,1) systems, defined on the upper sheet of the two-sheeted hyperboloid and its stereographic image, the Poincaré disk. Its central claim is that the Wigner function of every Perelomov SU(1,1) coherent state is strictly positive, in sharp contrast to the SU(2) case. If this holds, every state with a nonnegative P representation — a classical state relative to the coherent-state convex hull — also has nonnegative Wigner function, making Wigner negativity an unambiguous, sufficient witness of nonclassicality. The paper also shows that zeros of the Husimi Q function imply Wigner negativity, while the converse fails, and introduces a multipole hierarchy as a complementary quantumness probe. A sympathetic reader would care because SU(1,1) symmetry governs squeezed light, two-photon physics, and nonlinear interferometry, where this result gives negativity a clear operational meaning.","feed_headline":"Wigner negativity is an unambiguous quantum signature in SU(1,1) systems","feed_subtitle":"Hyperbolic geometry keeps every coherent state Wigner-positive, so any negative region directly signals nonclassical behavior.","key_machinery":"The central object is the SU(1,1)-invariant smoothing operator Φ_k(L^2), acting on the Laplace–Beltrami operator of the hyperboloid and generating the whole covariant s-ordered family. The argument rests on an infinite-product representation of its spectral function, Φ_k^t(λ)=∏_{n=0}^∞[b_nk/(b_nk+q)]^t with q=λ²+1/4 and b_nk=(n+c)(n+c+1), c=2k−1. Each factor is the Laplace transform of a Gamma density; convolution of these densities yields a nonnegative, normalized measure, and the operator limit becomes a positive superposition of hyperbolic heat semigroups. Because the heat kernel is strictly positive, the kernel g_t is positive for all t>0, which carries the entire positivity claim for co","core_discovery":"The authors prove that, on the two-sheeted hyperboloid, the covariant Wigner function is strictly positive for all Perelomov SU(1,1) coherent states and therefore for every P-positive convex mixture of them. The mechanism is structural: the smoothing kernel that connects s-ordered quasiprobabilities is positive, which they establish by representing the spectral function of the smoothing operator as a Laplace transform of a nonnegative convolution density and then as a superposition of hyperbolic heat-semigroup kernels, each of which strictly improves positivity. Consequently, negative Wigner volume in an SU(1,1) system is a sufficient and unambiguous signature of genuine quantum behavior, of","pith_inferences":["Because strict positivity holds across the entire covariant family with s<1, it is plausible that Wigner-negative SU(1,1) states form a convex resource and that negativity volume is monotone under symmetry-adapted operations; this resource-theoretic consequence is left implicit in the paper.","The heat-kernel representation suggests a numerical route to evaluate g_t by sampling the positive convolution measure, allowing direct benchmarking of the positivity theorem for small Bargmann indices without relying on the infinite-product identity.","If the heat-semigroup argument generalizes to other noncompact symmetric spaces, similar classicality witnesses could emerge for metaplectic or conformal phase spaces; that is an extrapolation beyond the paper's claims.","The paper's distinction between classicality relative to SU(1,1) versus Heisenberg-Weyl criteria could be tested experimentally by preparing Perelomov coherent states in a parametric amplifier and verifying positive Wigner reconstructions, while their two-mode realizations appear squeezed."],"forward_implications":["Any SU(1,1) state admitting a P representation with nonnegative P has a nonnegative Wigner function; observed negativity rules out such a classical decomposition.","The negativity volume defined in the paper provides a quantitative, symmetry-adapted measure of quantumness that is zero exactly on the classical set.","Zeros of the Husimi Q function are a sufficient witness of Wigner negativity, but absence of zeros does not imply classicality: lowering-operator eigenstates have zero-free Q yet Wigner-negative distributions.","The multipole bound q_ϱ(k,λ) ≤ q_CS(k,λ) is a necessary condition for classicality, so violating it certifies quantumness through covariant tensor-operator coefficients.","The full s-ordered quasiprobability toolkit applies directly to SU(1,1) interferometry and squeezed-state physics, where states that look nonclassical under Heisenberg-Weyl criteria can be classical relative to the SU(1,1) symmetry."],"fun_headline_variants":["Hyperbolic Wigner positivity makes negativity a true quantum marker","Wigner negativity: unambiguous quantum witness in SU(1,1) systems","Coherent states stay Wigner-positive, so negativity signals quantumness","Strictly positive Wigner for coherent states: negativity is genuine quantumness"],"cache_read_input_tokens":16768,"weakest_assumption_plain":"The appendix assumes, without derivation, that the spectral function of the smoothing operator can be written as the infinite product in Eq. (69); if that identity fails or needs modification for some Bargmann index k, the strict positivity of coherent-state Wigner functions does not follow as stated.","fun_headline_variants_meta":{"raw":{"variants":["Hyperbolic Wigner positivity makes negativity a true quantum marker","Wigner negativity: unambiguous quantum witness in SU(1,1) systems","Coherent states stay Wigner-positive, so negativity signals quantumness","Strictly positive Wigner for coherent states: negativity is genuine quantumness"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001144,"raw_usage":{"total_tokens":4592,"prompt_tokens":764,"completion_tokens":3828,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":508,"completion_tokens_details":{"reasoning_tokens":3751}},"tokens_in":508,"tokens_out":3828,"duration_ms":30185,"temperature":1.0,"reasoning_tokens":3751,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T01:48:51.709941+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the spectral function Φ_k(λ) directly from its closed form, Eq. (32), for k=1, 3/2, 2 and a range of λ, and compare pointwise with the infinite product in Eq. (69); any discrepancy breaks the Laplace-transform proof. Alternatively, numerically integrate the kernel g_t(cosh ξ) in Eq. (30) and search for a negative value at some t>0 and ξ, which would directly refute the central positivity claim.","supporting_citations":[],"review_version":2}