{"id":"752587bd-7626-41e9-8c7b-1badb8af04a1","arxiv_id":"1908.06793","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Kernels in the Fourier-invariant Sobolev space V(R^{2n}) guarantee that optical quantum tomograms and Wigner functions are correctly defined, continuous, integrable, and connected by the Radon transform.","lead":"This paper gives sufficient conditions on a quantum state kernel, membership in the Sobolev-type space V, under which the Wigner function and the optical quantum tomogram are well-defined and linked by integral formulas. It is a mathematical rigor result for quantum tomography, useful for anyone who needs guarantees before inverting tomograms.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The trace step in Lemma 2 is unsupported: weighted L2 integrability of f does not automatically pass to its hyperplane restriction, and the cited Sobolev trace theorem does not cover it.","rationale":"The reader's weakest assumption identifies exactly the same step: the passage from weighted L2 integrability of f to weighted integrability of its trace F_alpha. This is the most load-bearing concern because Lemma 2 is used to assert both the continuity and the L1 integrability of the tomogram in Theorem 1, and also to justify the weighted integrals in Theorem 2. My reading of the proof confirms that no argument is supplied for this 'hence'; the cited Sobolev trace theorem gives a trace of f in W^{n/2+1}_2, which alone does not imply L1 integrability of the trace (e.g., in 1D the function (1+t^2)^{-1/4} lies in H^s for all s but is not L1). The additional weighted condition may well suffice, but a separate trace inequality with weights would be needed. The paper has no formal verification and no code, so this gap is not covered by independent support. I do not see a more fundamental flaw: if the weighted trace lemma is supplied, the main construction appears coherent, and the invariance of V and the Fourier-slice argument are standard. Therefore the reader's CONDITIONAL verdict is appropriate and should remain unchanged until the trace assertion is either proved with the correct weighted trace theorem or replaced by a counterexample.","tokens_in":6775,"tokens_out":34338,"duration_ms":313730,"concrete_test":"Settle the n=1 case analytically: determine whether there exists f∈H^2(R^2) with (1+|x|^2+|y|^2)^2 f∈L2(R^2) whose trace f(t,0) is not in L1(R) (e.g., try f(x,y)=φ(x)χ(y/σ(x)) with φ(t)=(1+t^2)^{-1/4}, χ∈C_c^∞, χ(0)=1, and σ(x)>0 smooth, testing whether H^2 and weighted-L2 conditions can be satisfied simultaneously). If such f exists, Lemma 2 is false. If no such f exists, prove the weighted trace inequality ∥F_alpha∥_{L1(R^n)} ≤ C(∥f∥_{H^{n+1}(R^{2n})}+∥(1+|x|^2)^{(n+1)/2}f∥_{L2(R^{2n})}) for all alpha, which would repair Lemma 2 without modifying Theorem 1.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim depends on Lemma 2, whose proof contains the assertion: 'Since f ∈ V(R2n) we get F[f] ∈ W^{n+1}_2(R2n). It gives rise |x|^{n+1}f(x) lies in L2(R2n). Hence, |t|^{n+1}F_alpha(t) belongs to L2(Rn).' The 'hence' is the load-bearing step. The Sobolev trace theorem cited only gives a trace for f itself in W^{n/2+1}_2(Rn); it says nothing about the trace of the weighted function |x|^{n+1}f. Membership in L2(R2n) does not imply that restrictions to a lower-dimensional hyperplane exist, let alone remain in a weighted L2 space. The subsequent Cauchy-Schwarz estimate and the conclusions F_alpha∈C∩L1, and hence Theorem 1's ωρ∈L1∩C, all rest on this unproved weighted trace assertion. If it fails, the tomogram defined by (13) may not be integrable or even well-defined as an L1 function, and the transition-probability formula (17) loses its justification. This is not a question of disagreement with established consensus but an internal proof gap: the cited theorem is insufficient.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a Sobolev-type space V(R^{2n}) = W^{n+1}_2(R^{2n}) ∩ F[W^{n+1}_2(R^{2n})] and claims that for density-matrix kernels in this space, the Wigner function and the optical quantum tomogram are well-defined and related by the Radon-transform formula. The main result (Theorem 1) states that for ρ ∈ V(R^{2n}), the tomogram defined by (13) and (14) exists in C(R^n) ∩ L1(R^n). The paper also states a transition-probability formula (Theorem 2) and discusses pure states and fractional Fourier transforms (Theorem 3). The central technical tool is Lemma 2, which asserts that the trace of a function in V(R^{2n}) to a hyperplane belongs to C(R^n) ∩ L1(R^n).","tokens_in":7005,"tokens_out":28040,"duration_ms":258274,"significance":"If the central claim held as stated, V(R^{2n}) would be a useful and fairly broad class of kernels (properly containing the Schwartz space) under which tomographic and Wigner-function descriptions are rigorously justified. The approach via Sobolev embedding is natural, and the paper is explicit and self-contained in its definitions. However, the proof of the key trace lemma contains an unsupported step, and a secondary theorem rests on an incorrect equivalence. The main contribution is therefore not yet established; the paper requires substantial revision before its claims can be accepted.","major_comments":[{"comment":"The step 'Since f ∈ V(R^{2n}) we get F[f] ∈ W^{n+1}_2(R^{2n}). It gives rise |x|^{n+1}f(x) lies in L2(R^{2n}). Hence, |t|^{n+1}Fα(t) belongs to L2(R^n)' is not justified by the cited Sobolev embedding theorem. The trace theorem quoted in Section 2 provides a trace for functions in W^{n+1}_2(R^{2n}); it does not apply to the weighted function |x|^{n+1}f, which is only known to lie in L2(R^{2n}). Restrictions of general L2 functions to lower-dimensional hyperplanes are not defined, and while the continuity of f makes the pointwise restriction of |x|^{n+1}f well-defined, its L2 norm on the hyperplane is not controlled by the global L2 norm. This unsupported 'hence' is the load-bearing step for the Cauchy-Schwarz estimate (9) and for the conclusions Fα ∈ C(R^n) ∩ L1(R^n) and, consequently, ωρ ∈ C(R^n) ∩ L1(R^n) in Theorem 1. The authors should either supply a proof of this weighted trace statement using the full V(R^{2n}) structure, or modify the definition of V so that the trace of the weighted function is provably L2.","section":"Lemma 2, proof"},{"comment":"The assertion 'The condition ψ ∈ V(R^n) is equivalent to ρ ∈ V(R^{2n})' for ρ(x,y)=ψ(x)ψ*(y) is not correct as stated. For n=1, V(R) requires only second-order Sobolev regularity, while V(R^2) requires third-order derivatives in the two variables. A term such as ∂_x^3ρ = ψ'''ψ* need not be square-integrable for ψ ∈ W^2_2(R), so the product kernel may fail to belong to W^3_2(R^2). Since the proof of Theorem 3 relies on this equivalence to apply Theorem 1, the theorem is not established under the stated hypothesis. The authors should either prove a suitable product property for V or prove Theorem 3 by a direct argument that does not require ρ ∈ V(R^{2n}).","section":"Theorem 3, proof"}],"minor_comments":[{"comment":"The justification that the λ-integral in (17) converges is incomplete. The statement that fρ1(λ cosα,λ sinα) and fρ2(λ cosα,λ sinα) belong to L1(R^n) in λ does not by itself control ∫ |λ| |f1| |f2| dλ. The authors should invoke interpolation to obtain |λ|^{1/2}f ∈ L2 from |λ|^{n+1}f ∈ L2 and f ∈ L2, which would make the iterated integral well-defined.","section":"Theorem 2, proof"},{"comment":"The statement contains a typo: 'y1,...y2' should read 'y1,...,yn'.","section":"Lemma 2, statement"},{"comment":"The phrase 'for all ρ > 0 with Tr{ρ}=1 and the kernels ρ(q,q′) ∈ L2(R2n)' is slightly ambiguous; it would be clearer to write 'for all positive trace-class operators ρ with unit trace whose kernels lie in L2(R2n)'.","section":"Introduction"},{"comment":"The definition of W^ν_2 via |x|^ν F[ψ] ∈ L2, together with ψ ∈ L2, is equivalent to the standard Bessel-potential space for integer ν, but the paper does not state this. A brief remark would help avoid confusion, especially because the subsequent use of the Sobolev embedding theorem assumes the standard Sobolev regularity.","section":"Section 2, definition of W^ν_2"}],"recommendation":"major_revision","confidential_remarks":"The main lemma has a genuine gap that affects the central theorem, and the secondary theorem rests on an incorrect equivalence. The Sobolev strategy is promising and the paper is generally well organized, but the proofs need substantial revision before publication. I recommend sending back for major revision rather than rejecting outright, because the gaps may be fixable with additional arguments or a modified space definition."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper defines a Fourier-invariant Sobolev space V(R^{2n}) and shows that for kernels in V the Wigner function, the optical tomogram, and the linking formulas are well-defined. That is a legitimate extension of the usual Schwartz-class setting, and the invariance of V under the Fourier and partial-Fourier transforms is a nice observation. The main result, Theorem 1, is credible and the overall strategy is coherent.\n\nThe soft spot is precisely where the stress-test lands: Lemma 2. The proof passes from |x|^{n+1}f(x) ∈ L2(R^{2n}) to |t|^{n+1}F_α(t) ∈ L2(R^n) for the hyperplane trace with a bare 'Hence.' The cited Sobolev trace theorem controls the trace in an unweighted Sobolev space; it says nothing about weighted restrictions. Membership in a weighted L2 space does not by itself give a trace, and the trace theorem they cite is not enough. I suspect the claim is true—because the embedding t ↦ (t cos α, t sin α) is isometric, the weight on the subspace matches the ambient weight, so a weighted trace theorem for regular weights should do the job—but the paper does not supply that argument, and the rest of the proof (L1 membership, Cauchy-Schwarz, and hence Theorem 1's conclusions) depends on it. Theorem 2 has a related issue: the iterated integral in (17) is used without checking absolute integrability, and that also needs a justification. Theorem 3 is more sketch than proof, but the claim about pure states is plausible.\n\nThese are proof gaps, not signs of a false result. The paper is honest, does not overclaim, and the space V is a real contribution that other people working on rigorous tomography might use. The self-citation and reference pattern is unobjectionable—the cited works are standard.\n\nWho is this for? Mathematicians and mathematical physicists who care about the precise function classes in quantum tomography. It is not a big platform paper, but it fills a small gap that the literature has left open. It deserves a serious referee, and if the trace step is fixed with a proper weighted trace theorem or a different argument, it should be publishable.\n\nRecommendation: engage with it, ask for a revision that closes the Lemma 2 gap and checks the integrability in Theorem 2. Not a desk reject.","headline":"A useful sufficient condition for tomograms beyond Schwartz class, with one genuinely load-bearing proof gap in Lemma 2 that a serious revision should fix.","tokens_in":7517,"tokens_out":7223,"would_cite":true,"duration_ms":73837,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81P16","46E35"],"pacs":[],"model":"deepseek-v4-flash","headline":"For kernels in a carefully chosen Sobolev space, optical tomograms and Wigner functions are well-defined functions, and the two standard tomogram formulas coincide.","keywords":["quantum tomography","Wigner function","optical tomogram","Sobolev embedding theorem","partial Fourier transform","Radon transform","fractional Fourier transform","transition probability"],"falsifier":"Check the step in Lemma 2 by testing whether every compactly supported smooth function $f$ with $|x|^{n+1}\\mathcal{F}[f]\\in L^2(\\mathbb{R}^{2n})$ satisfies $\\int_{\\mathbb{R}^n} |F_\\alpha(t)|^2 \\prod_{j=1}^n (t_j^2+1)\\,dt<\\infty$ for each hyperplane $\\alpha$; a single smooth function in $V$ whose hyperplane trace is not in $L^1$ would make $\\omega_\\rho$ non-integrable and disprove Theorem 1.","tokens_in":6583,"feed_emoji":"⚛️","tokens_out":9966,"duration_ms":88608,"temperature":0.7,"pith_summary":"This paper establishes sufficient conditions under which the standard objects of quantum tomography—Wigner functions and optical tomograms—are mathematically well defined for kernels that are not necessarily Schwartz-class. The authors define the space $V(\\mathbb{R}^{2n})$ of kernels for which both the characteristic function and the Wigner function remain in the same regularity class, and they prove that in this space the two integral formulas for the optical tomogram are correct and give the same object. The method uses the Sobolev embedding theorem to justify restricting a function to a hyperplane—a step that is generally impossible for arbitrary $L^2$ kernels. This matters because it puts tomographic formulas for a wide class of states on a rigorous footing, including the inversion and transition-probability formulas.","feed_headline":"Sobolev embedding guarantees well-defined quantum tomograms","feed_subtitle":"For kernels in the space V, Wigner functions and tomograms exist and the two standard formulas agree.","key_machinery":"The central object is the space $V(\\mathbb{R}^{2n}) = W_2^{n+1}(\\mathbb{R}^{2n}) \\cap \\mathcal{F}[W_2^{n+1}(\\mathbb{R}^{2n})]$, consisting of functions that have $n+1$ Sobolev derivatives and whose Fourier transforms also have $n+1$ Sobolev derivatives. This symmetry makes $V$ invariant under Fourier and partial Fourier transforms, so the characteristic function and the Wigner function inherit membership in $V$ from the kernel. The Sobolev embedding theorem then supplies the crucial trace operation: restricting a function in $V$ to an $n$-dimensional hyperplane yields a continuous, integrable function, and that trace is exactly the optical tomogram.","core_discovery":"The paper's central claim is Theorem 1: if the kernel $\\rho(q,q')$ of an integral operator belongs to $V(\\mathbb{R}^{2n})$, then both the characteristic function $f_\\rho$ and the Wigner function $W_\\rho$ belong to $V(\\mathbb{R}^{2n})$, and the optical quantum tomogram defined by the partial Fourier transform formula (13) and by the Radon-transform formula (14) is correctly defined, with $\\omega_\\rho(\\cdot,\\alpha)\\in C(\\mathbb{R}^n)\\cap L^1(\\mathbb{R}^n)$. The two formulas agree by the Fourier slice theorem. The proof rests on the Sobolev embedding theorem, which supplies a trace of a function in $V(\\mathbb{R}^{2n})$ to an $n$-dimensional hyperplane, and on the Fourier invariance of $V$, which keeps every intermediate object in the same regularity class. This extends tomography from Schwartz-class kernels to a broader function class while keeping the inversion formulas intact.","pith_inferences":["A natural extension the paper does not explore is whether the Sobolev index $n+1$ can be lowered; testing kernels in $W_2^s$ for $s