{"id":"b2583d5b-ec8e-4d72-bfab-d2b7f95b75e8","arxiv_id":"2411.09890","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":3.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"Under unitary reference-frame changes that map position to X(x) and momentum to P(p), the Wigner function transforms by an explicit integral formula, reducing to W(X,P) in the affine examples shown.","lead":"The paper derives an integral formula for how the Wigner function, a phase-space representation of a quantum state, changes when the wave function is transformed by a unitary change of reference frame. The authors illustrate the formula with translations, Galilean boosts, and constant acceleration, where the Wigner function follows the transformed coordinates.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Eq. (16) omits the Jacobian normalization of transformed position eigenstates, so the main formula (23) fails for dilations (e.g., X=2x, P=p/2) and the claimed extension to nonlinear transformations is unsupported.","rationale":"The paper's central derivation is a direct substitution, but it contains a normalization error. Eq. (16) asserts U^{-1}|x> = e^{iα/ℏ}|X(x)>; because position eigenstates are delta-normalized, a unitary U requires the prefactor sqrt(|det J_X|). Omitting it makes Eqs. (17) and (23) wrong whenever X has non-unit Jacobian. The simplest allowed case is a dilation X=2x, P=p/2, implemented by Uψ(x)=√2 ψ(2x). Here Eq. (23) gives W'(x,p) = W(2x,p/2)/2, which is not normalized. Thus the central claim is false as stated. The examples in Section 4 all have X(x)=x−f(t), so det J_X=1 and the error is invisible; this explains why the paper's concrete results are correct. However, the abstract and conclusion advertise broad applicability, including nonlinear and non-inertial frames, which is unsupported and generically incorrect. The missing Jacobian factor is the single most load-bearing flaw. A secondary inconsistency is the Galilean β in Eq. (33) not satisfying Eq. (21), but it does not change the Wigner results. I agree partially with the reader's weakest assumption: the imported wavefunction rule (17) is indeed the weak point, but the specific failure is the omitted normalization, not just the restricted form of U. Because the main theorem is false for a class of transformations satisfying the paper's hypotheses, the verdict should be REJECT rather than CONDITIONAL.","tokens_in":6642,"tokens_out":23754,"duration_ms":214768,"concrete_test":"In 1D, take the unitary dilation Uψ(x)=√2 ψ(2x), so X=2x, P=p/2. For a normalized Gaussian ψ, compute the exact W' from the definition W'(x,p) = (1/2πℏ)∫ <x−y/2|ψ'><ψ'|x+y/2> e^{ip·y/ℏ} dy, with ψ'(x)=√2 ψ(2x). Compare this with Eq. (23) using α=β=0 (which satisfies Eq. (21) for this case). Check whether Eq. (23) integrates to 1 over phase space; for this example it integrates to 1/2. Equivalently, verify that Eq. (23) is missing the factor sqrt(|det J_X(x−y/2) det J_X(x+y/2)|) = 2 for this dilation.","verdict_should_be":"REJECT","load_bearing_attack":"The derivation of the central formula (23) rests on Eq. (16): U^{-1}|x> = e^{iα(x,t)/ℏ} |X(x,t)>. With the standard normalization <x|x'> = δ(x-x'), a unitary U satisfying (13) must instead produce U^{-1}|x> = sqrt(|det J_X(x,t)|) e^{iα(x,t)/ℏ} |X(x,t)>, because <X(x)|X(x')> = δ(X(x)-X(x')) = δ(x-x')/|det J_X(x)|. This square-root factor is missing from Eqs. (16), (17), and (23). For affine X with det J_X ≠ 1, e.g., n=1, X=2x, P=p/2 (realized by Uψ(x)=√2 ψ(2x)), Eq. (23) gives W'_paper(x,p) = W(2x,p/2)/2, so ∫∫ W'_paper dx dp = 1/2 rather than 1. The correct transformed Wigner function is W(2x,p/2). The paper's examples all have X(x)=x−f(t), hence det J_X=1, so the defect is hidden; however, the conclusion's claim that the method extends to nonlinear and non-inertial frames is generically false. A secondary issue: the Galilean β in Eq. (33) does not satisfy Eq. (21) (it is missing the term −mV²t), though this does not affect the final Wigner expression because only α enters Eq. (23).","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the transformation law of the Wigner function under changes of reference frames. Starting from a unitary operator U satisfying the restricted conditions U x U^{-1} = X(x,t) and U p U^{-1} = P(p,t), and using the wavefunction transformation psi'(x) = exp(-i alpha(x,t)/hbar) psi(X(x,t)) imported from Ref. [9], the authors derive an integral formula (Eq. (23)) for the Wigner function in the transformed frame, and a momentum-space analogue (Eq. (25)). They illustrate the formula with spatial translations, Galilean boosts, and constant acceleration, obtaining in each case W'(x,p) = W(X,P).","tokens_in":6929,"tokens_out":9761,"duration_ms":89090,"significance":"If the general formula (23) were correct, it would provide a compact tool for computing Wigner functions under reference-frame changes, including time-dependent ones, and the paper is clearly written with instructive examples. However, the generality is overstated: the derivation misses a Jacobian normalization factor, so the central formula fails for non-unit-determinant transformations, and the claimed extension to nonlinear transformations is inconsistent with the hypotheses (13). The examples themselves are all of the form X = x - f(t), P = p - g(t), for which the Jacobian is 1 and the results are known; the novelty therefore rests entirely on the flawed general claim.","major_comments":[{"comment":"Equation (16) omits the Jacobian determinant factor. For a unitary U satisfying (13), the standard delta-normalization <X(x)|X(x')> = delta(X(x)-X(x')) = delta(x-x')/|det J_X| requires U^{-1}|x> = sqrt(|det J_X(x,t)|) e^{i alpha(x,t)/hbar} |X(x,t)>. Without this factor, the right-hand side of (16) is not a unit vector. Consequently, Eq. (23) is missing the corresponding normalization factor and is incorrect for transformations with non-unit Jacobian, such as X = 2x, P = p/2 (realized by U psi(x) = sqrt(2) psi(2x)). For that example, Eq. (23) yields a Wigner function with total integral 1/2 instead of 1. All examples in Section 4.1 have X(x) = x - f(t), so det J_X = 1 and the defect is hidden. This is load-bearing because the abstract and Section 5 claim the formula applies to general changes of reference frames.","section":"Eq. (16) and Eq. (23)"},{"comment":"The claim that the method extends to nonlinear transformations and non-inertial frames is unsupported and in fact incompatible with the derivation. The hypotheses (13) require U x U^{-1} = X(x) and U p U^{-1} = P(p). Combining these with the commutation relation [X(x), P(p)] = i hbar forces X and P to be affine transformations with constant Jacobian determinants. For a nonlinear X, the unitary induced by the coordinate change would make U p U^{-1} a differential operator depending on x, violating (13). Thus the concluding statement that the approach can be applied to 'nonlinear transformations and non-inertial changes of reference frames, as well as quantum reference frames' is not supported by the paper's own framework.","section":"Section 5"},{"comment":"Equation (33) is inconsistent with the phase condition (21). Substituting X = x - Vt and P = p - mV into (21) gives alpha - beta = -p·Vt - mV·x + m V^2 t. The proposed alpha = -mV·x + xi(t) and beta = p·Vt + xi(t) yield alpha - beta = -p·Vt - mV·x, which is missing the m V^2 t term. This error does not affect the final Wigner expression (23) because only differences of alpha at different x enter and the missing term is independent of x, but it is still an internal inconsistency in the determination of alpha and beta and should be fixed.","section":"Eq. (33)"}],"minor_comments":[{"comment":"The normalization factor (2 pi hbar)^3 should be written as (2 pi hbar)^n for consistency with the general notation, even though the examples are set in R^3.","section":"Eqs. (34) and (38)"},{"comment":"There is an extra closing parenthesis in the exponent: 'e^{- i/hbar (x-a)·u})' should read 'e^{- i/hbar (x-a)·u}'.","section":"Eq. (30)"},{"comment":"The sentence explaining that the examples take the form W'(x,p) = W(X,P) because the unitary operators are displacement operators is helpful but could be expanded: the phase factors xi(t) and the x-independent parts of alpha always cancel in the Wigner integrand, which is why only the coordinate substitution survives.","section":"End of Section 4.1.3"},{"comment":"The paper would benefit from acknowledging that the transformation law W'(x,p) = W(X,P) for translations and Galilean boosts is already well known in the phase-space literature; this would help calibrate the novelty claim and the review of prior work.","section":"Introduction / Section 5"}],"recommendation":"major_revision","confidential_remarks":"The paper is clearly written and the examples are correct, but the central general formula has a normalization error and the scope claimed in the abstract and conclusions exceeds what the derivation supports. After correcting the Jacobian factor, restricting the claims to the unit-determinant case (or properly including the determinant), and fixing the Galilean beta inconsistency, the paper would be a correct but modest contribution: the results for translations, boosts, and constant acceleration are standard. The current version, however, contains a load-bearing error in Eq. (23) that must be addressed before publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here is the short version: the paper is a modest, readable note that derives explicit Wigner-transformation formulas for a restricted class of frame changes and gets its three worked examples right. But the main formula as printed is not correct for transformations with nontrivial Jacobian, so the concluding claim about nonlinear and non-inertial frames is unsupported.\n\nWhat is actually new are Eqs. (23) and (25), integral representations obtained by substituting the wave-function rule psi'(x) = exp(-i alpha) psi(X(x)) into the standard Wigner definition. I do not see those integrals in the cited literature, and for the spatial translation, Galilean, and constant-acceleration cases they reproduce the expected W'(x,p) = W(X,P). The calculation is transparent and easy to follow.\n\nThe soft spot is load-bearing. Eq. (16) states U^{-1}|x> = exp(i alpha)|X(x)>, but with the standard normalization <x|x'> = delta(x-x'), the ket |X(x)> is normalized to delta(X(x)-X(x')), not delta(x-x'). Unitarity forces an extra sqrt(|det J_X|) factor. That factor is missing from Eqs. (17) and (23). The examples all have det J_X = 1, which hides the error. Take X = 2x, P = p/2, realized by U psi(x) = sqrt(2) psi(2x); Eq. (23) gives W'_paper = W(2x,p/2)/2, which is not normalized. So the formula as printed is valid only for volume-preserving X, and the conclusion's claim about nonlinear transformations is false in that generality.\n\nTwo smaller issues. The essential rule (17) is imported from Ref. [9], by one of the authors, and not re-derived. That is acceptable if Ref. [9] is solid, but the new formula inherits its limitations. And the Galilean beta in Eq. (33) does not satisfy Eq. (21) as written; the term -mV^2 t is missing. Because only differences beta(p+u/2) - beta(p-u/2) enter Eq. (25), the final position-space Wigner results are unaffected. Minor, but worth fixing.\n\nWho is this for? Someone collecting transformation laws for Wigner functions under affine, unit-determinant frame changes will find the examples useful. Someone wanting the nonlinear or quantum-reference-frame extension will not, at least not from this paper.\n\nIf the journal wants an incremental phase-space note, I would send it to a referee with a specific request to check the normalization and to restrict the claims to det J_X = 1. As is, I would not cite it.","headline":"A clean, short derivation that gets the affine examples right, but the central formula misses a Jacobian factor and does not extend to dilations or nonlinear frames as claimed.","tokens_in":7503,"tokens_out":5857,"would_cite":false,"duration_ms":57252,"reading_group":"no","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81S30"],"pacs":[],"model":"deepseek-v4-flash","headline":"Under unitary frame changes of the special class (13), the Wigner function transforms by the integral formula (23)/(25), and in the three worked examples this reduces to $W'(x,p)=W(X,P)$.","keywords":["Wigner function","phase space quantum mechanics","reference frames","Wigner-Weyl quantization","unitary transformations","quasi-probability distribution","coordinate transformations"],"falsifier":"For a unitary dilatation $X=\\lambda x$, $P=p/\\lambda$ with $\\lambda\\neq 1$, compute the transformed Wigner function two ways: from Eq. (23) using the phase-only wavefunction rule, and from the directly defined Wigner function of the squeezed wavefunction $\\psi'(x)=e^{-i\\alpha(x,t)/\\hbar}\\psi(\\lambda x)$. A mismatch by a factor $\\lambda^n$, or a failure of normalization, would show that Eq. (23) is incomplete for non-volume-preserving frames; exact agreement would show the phase-only formula is more general than the derivation suggests.","tokens_in":6396,"feed_emoji":"🔁","tokens_out":16361,"duration_ms":159845,"temperature":0.7,"pith_summary":"Wigner functions are phase-space portraits of quantum states: they contain all the information in the wavefunction, though they can take negative values and therefore are quasiprobabilities. This paper asks how that portrait changes when the experimenter moves to a different reference frame, and derives an answer for the class of frame changes implemented by a unitary operator that sends position operators to functions of position only and momentum operators to functions of momentum only. The main result is an integral formula for the transformed Wigner function, in both position and momentum representations, expressed directly through the old wavefunction evaluated at the transformed coordinates, with two phase functions constrained by a consistency relation. In the three worked examples—spatial translations, Galilean boosts, and constant acceleration—the phases cancel and the law reduces to $W'(x,p)=W(X,P)$: evaluate the old Wigner function at the new phase-space coordinates. A correct transformation law of this kind would make it straightforward to move phase-space descriptions of quantum states between frames, and the authors intend the same method to extend to nonlinear, non-inertial, and ultimately quantum reference frames.","feed_headline":"Wigner functions shift by substitution under frame changes","feed_subtitle":"For translations, boosts, and constant acceleration, the new phase-space portrait is just the old one at displaced coordinates","key_machinery":"The carrying mechanism is the wavefunction transformation law $\\psi'(x)=e^{-i\\alpha(x,t)/\\hbar}\\psi(X(x,t))$, imported from Ref. [9], together with the phase-consistency condition (21) derived from the inner product $\\langle x|p\\rangle$. Inserting this law into the defining integral of the Wigner function produces the position-space formula (23), and the same step in the momentum representation produces (25). The phases $\\alpha$ and $\\beta$ do the real work: in affine displacements they cancel, which is why simple substitution works there, while for nonlinear $X$ and $P$ they remain and change the functional form of the Wigner function.","core_discovery":"On the paper's own terms, the central claim is Eq. (23): if $\\hat U\\hat x_i\\hat U^{-1}=\\hat X_i(\\hat x,t)$ and $\\hat U\\hat p_i\\hat U^{-1}=\\hat P_i(\\hat p,t)$, then the Wigner function of the transformed state is $$W'(x,p)=\\frac{1}{(2\\pi\\hbar)^n}\\int \\$psi^{{*}}$(X((x+y)/2,t))\\,\\psi(X((x-y)/2,t))\\,$e^{{-\\frac{i}}${\\hbar}[\\$\\alpha$((x-y)/2,t)-\\$\\alpha$((x+y)/2,t)-p\\cdot y]}\\,dy,$$ with the momentum-space analogue (25) obtained by Fourier transformation. The phases $\\alpha$ and $\\beta$ are not free: they must satisfy $p\\cdot x=\\beta(p,t)-\\alpha(x,t)+P(p,t)\\cdot X(x,t)$, the condition that makes the position and momentum descriptions of the new frame mutually consistent. For spatial translations, Galilean boosts, and constant acceleration, the phases cancel after substitution and the transformed Wigner function is simply $W'(x,p)=W(X,P)$.","pith_inferences":["Beyond the paper, Eq. (23) should be tested on a nonlinear coordinate map such as $X=x+\\lambda x^2$; the consistency condition (21) may have no real solution for $\\alpha,\\beta$ in such cases, which would mean the admissible frame changes form a narrower class than the unitary form (13) alone suggests.","Beyond the paper, the phase-only wavefunction transformation (16) implicitly assumes that the coordinate map $X$ preserves the normalization of position eigenstates; for dilatations or other non-volume-preserving maps a Jacobian factor is likely needed, so the formulas as written are probably complete only for unit-Jacobian frames.","If the paper's transformation law is correct, an experimental tomography reconstruction of a displaced or accelerated state should show the original Wigner function rigidly shifted, which would be a direct phase-space test of the Galilean and acceleration examples."],"forward_implications":["For spatial translations, Galilean boosts, and constant accelerations, the transformed Wigner function obeys $W'(x,p)=W(X,P)$, so the phase-space portrait moves rigidly to the new coordinates.","Because position and momentum marginals of the Wigner function are $|\\psi(x)|^2$ and $|\\tilde\\psi(p)|^2$, formula (23) predicts exactly how both probability densities change under the frame transformation.","The phase factors $\\alpha(x,t)$ and $\\beta(p,t)$ are kept explicitly, so the same formulas are set up to handle nonlinear transformations where those phases do not cancel.","The momentum-representation formula (25) provides an independent route to the same result, giving a built-in consistency check for applications."],"supporting_citations":[{"why":"Supplies the wavefunction transformation law $\\psi'(x)=e^{-i\\alpha(x,t)/\\hbar}\\psi(X(x,t))$ and the phase consistency condition (21) that the paper's derivation of Eqs. (23) and (25) imports directly.","marker":"[9]"},{"why":"Provides the Wigner-Weyl quantization background and the Wigner function definition used as the starting point of the transformation calculation.","marker":"[3]"},{"why":"Establishes the unitary-operator picture of canonical transformations in quantum mechanics that motivates the restricted transformation class (13).","marker":"[1]"},{"why":"Identifies the displacement-operator form of the unitary transformations used in the spatial-translation, Galilean, and constant-acceleration examples.","marker":"[10]"}],"fun_headline_variants":["Frame changes: Wigner function shifts by substitution","For boosts and translations, Wigner function is the old one at new coordinates","Wigner function under frame shifts: old portrait, new coordinates","Frame change? Wigner function just relocates","Wigner function transforms by substitution for basic frame changes"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the frame change is a unitary transformation in which each new position operator depends only on the old position operator and each new momentum operator only on the old momentum operator, together with the imported phase relation (21); if a frame change mixes coordinates with momenta, or if no real phase functions satisfy (21), then formulas (23) and (25) do not follow.","fun_headline_variants_meta":{"raw":{"variants":["Frame changes: Wigner function shifts by substitution","For boosts and translations, Wigner function is the old one at new coordinates","Wigner function under frame shifts: old portrait, new coordinates","Frame change? Wigner function just relocates","Wigner function transforms by substitution for basic frame changes"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000366,"raw_usage":{"total_tokens":1898,"prompt_tokens":805,"completion_tokens":1093,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":421,"completion_tokens_details":{"reasoning_tokens":1011}},"tokens_in":421,"tokens_out":1093,"duration_ms":10206,"temperature":1.0,"reasoning_tokens":1011,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T20:11:57.435918+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For a unitary dilatation $X=\\lambda x$, $P=p/\\lambda$ with $\\lambda\\neq 1$, compute the transformed Wigner function two ways: from Eq. (23) using the phase-only wavefunction rule, and from the directly defined Wigner function of the squeezed wavefunction $\\psi'(x)=e^{-i\\alpha(x,t)/\\hbar}\\psi(\\lambda x)$. A mismatch by a factor $\\lambda^n$, or a failure of normalization, would show that Eq. (23) is incomplete for non-volume-preserving frames; exact agreement would show the phase-only formula is more general than the derivation suggests.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the wavefunction transformation law $\\psi'(x)=e^{-i\\alpha(x,t)/\\hbar}\\psi(X(x,t))$ and the phase consistency condition (21) that the paper's derivation of Eqs. (23) and (25) imports directly."},{"cited_title":"Moshinsky and T","cited_arxiv_id":null,"evidence_quote":"Establishes the unitary-operator picture of canonical transformations in quantum mechanics that motivates the restricted transformation class (13)."}],"review_version":1}