{"id":"e90057a9-3128-42f3-a352-a15c316acf8c","arxiv_id":"1908.04868","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"For a Landau electron, position-shift estimation with mechanical momenta gives a lower quantum Cramér-Rao bound than with canonical momenta, and thermal noise makes the canonical bound a piecewise envelope of SLD and RLD bounds.","lead":"This paper derives estimation-theoretic uncertainty relations for the position of an electron in a uniform magnetic field, contrasting two momentum generators. It shows that even commuting position observables obey a non-trivial estimation trade-off, and that mechanical-momentum encoding yields a lower Cramér-Rao bound than canonical-momentum encoding.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified","rationale":"The reader's verdict and weakest-assumption analysis are consistent with my reading. The fixed-⟨L⟩0 constraint is indeed the most delicate physical input, but the paper explicitly imposes it to remove degeneracy, so it is a scope limitation rather than a correctness gap. The pure-state results and the identification of Model 2 with a Gaussian shift model are standard. The non-tightness of the Model 1 thermal bounds is openly stated. I found no data fitting, circular reasoning, or unacknowledged parameter dependence. Hence the ACCEPT verdict should stand without adjustment.","tokens_in":19223,"tokens_out":49832,"duration_ms":500673,"concrete_test":"As a verification, evaluate Eq. (38) for several βω and ⟨L⟩0 values, then recompute g_S11, g_R11, and the eigenvalues of (G_S)^{-1}−(G_R)^{-1}; confirm the sign change occurs exactly at |⟨L⟩0|=1/2.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is a conditional derivation, and the conditions are stated. The pure-state bounds in Eqs. (18)-(19) and (29)-(30) follow from the quoted SLD and generalized RLD inequalities, and the thermal bounds in Eqs. (42)-(51) are obtained by direct SLD and RLD algebra; I found no inconsistent step. The fixed-⟨L⟩0 grand-canonical ensemble in Sec. IV A is an explicit modeling choice, so the thermal transition at |⟨L⟩0|=1/2 is a property of that ensemble, not a claim about arbitrary thermal preparations. The paper also discloses that the Model 1 thermal bounds are not tight. Thus no load-bearing objection is identified.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies two-parameter quantum estimation of the position shift of a single electron in a uniform magnetic field, using either the canonical momenta (Model 1) or the mechanical momenta (Model 2) as displacement generators. For a pure lowest-Landau-level reference state, the authors derive quantum Cramér-Rao bounds for the mean-square-error matrix: Model 1 gives V11,V22 ≥ λ²/2 with no trade-off, while Model 2 gives (V11−λ²/4)(V22−λ²/4) ≥ λ⁴/16. For thermal reference states with a fixed expectation value of the angular momentum, Model 1 exhibits a bound determined by both the symmetric and right logarithmic derivative Cramér-Rao bounds, with a structural transition at |⟨L⟩0| = 1/2, and Model 2 is identified with a Gaussian shift model whose RLD bound is achievable. The paper concludes that quantum estimation theory can yield non-trivial uncertainty relations for two commuting observables.","tokens_in":19308,"tokens_out":52075,"duration_ms":448263,"significance":"If the technical issues below are resolved, the paper makes a useful conceptual contribution: it demonstrates explicitly that a trade-off relation for two commuting observables can arise from multi-parameter quantum estimation theory, in contrast to the Heisenberg-Robertson relation. The appendices provide detailed and largely checkable computations of the relevant Fisher information matrices, and the pure-state results are physically transparent. The authors are also careful to identify which bounds are achievable and which are not (e.g., Model 1 thermal bounds are not tight except at ⟨L⟩0 = 0). The thermal-state results are conditional on the explicit fixed-⟨L⟩0 grand-canonical ensemble, which is a stated modeling choice. The significance is moderate: the work is a clear application of known quantum estimation tools to a specific physical model, rather than a new general theorem.","major_comments":[{"comment":"The matrix \\tilde G^π_R reported in Appendix B 2 b is singular: det[[1,i],[-i,1]] = 0. Consequently ( \\tilde G^π_R )^{-1} does not exist, and Eq. (29) cannot be the inverse of \\tilde G^π_R as written. This affects the derivation of the central pure-state bound Eq. (30). The authors should clarify whether Eq. (29) is intended as a Moore-Penrose pseudoinverse and derive the bound accordingly, or present Eq. (30) as the zero-temperature limit of the thermal bound Eq. (51), which is non-singular for κ_a² > 0. The final inequality appears correct, but the derivation in the pure-state section is not.","section":"III A 2 and B 2 b"}],"minor_comments":[{"comment":"The assertion that the choice of gauge gives no change in the quantum Fisher information for a uniform magnetic field is stated without proof or reference; please provide a derivation or a citation.","section":"II A"},{"comment":"The statement that one solution of Eq. (37) is unphysical because it gives a negative temperature state is not demonstrated; a short proof that the discarded branch violates μ>0 and βω>μ would strengthen the exposition.","section":"IV A, Eq. (37)"},{"comment":"The off-diagonal sign in the displayed matrix for (G_S)^{-1} − (G_R)^{-1} appears to be the opposite of what one obtains from the preceding explicit formulas; the condition |⟨L⟩0| ≤ 1/2 is unaffected, but the sign should be corrected.","section":"IV B 1, Eq. (47)"},{"comment":"The caption's last sentence appears to confuse Model 1 and Model 2; please clarify which allowed region corresponds to which model.","section":"Figure 1 caption"},{"comment":"The relation ξ2 = ξ*1 is inconsistent with Eq. (A10), where the second factor is e^{ξ* b† − ξ b}; either ξ2 = ξ or the expression should be adjusted.","section":"IV C 1"},{"comment":"The Gaussian exponent in Eq. (28) is missing parentheses; it should read exp[ −((x−θ1)² + (y−θ2)²)/λ² ].","section":"Eq. (28)"}],"recommendation":"major_revision","confidential_remarks":"The pure-state singularity issue is the main concern; it is fixable by presenting Eq. (30) as the κ_a→0 limit of the thermal result. I recommend major revision to address this and the minor editorial issues."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: this is a solid, well-scoped paper. The genuinely new piece is the explicit pair of two-parameter estimation models for a Landau electron, with the same position shift but different generators, and the demonstration that the MSE trade-off changes qualitatively: Model 1 gives a quasi-classical bound with no trade-off in the pure case, Model 2 gives a Gaussian-shift trade-off (V11-λ²/4)(V22-λ²/4) ≥ λ⁴/16. The mixed-state Model 1 result — SLD and RLD bounds both matter and swap ordering at |<L>0|=1/2 — is the main new calculation, and it is done explicitly in the appendices. I checked enough of the algebra to believe the Fisher matrices are right, and the authors are transparent about what is not tight: they state that except at <L>0=0 neither bound is achievable for Model 1, and they flag the 1/2 transition as unexplained. That honesty earns credit.\n\nSoft spots, in roughly increasing order. (1) The gauge-independence of the quantum Fisher information for uniform B is asserted in Sec. II A and never proved. It is probably true because the SLD/RLD are covariant under the unitary gauge transformation, but as written it’s a gap. (2) The thermal-state analysis depends on the grand-canonical ensemble with fixed <L>0 through a chemical potential. That is a legitimate modeling choice, but the results, including the transition, are properties of that ensemble, not of arbitrary thermal preparations. The authors do make the choice explicit, but a reader could miss that the bounds don't apply to a plain Gibbs state at fixed temperature. (3) The physical significance of the 1/2 transition is left open; the authors say so. Minor. (4) The paper says Model 2 \"potentially\" gives more precise measurement but does not address whether the optimal POVM is physically implementable in the electron system beyond a mention; the optical realization is only sketched. That's fine for a theory paper but keeps the significance modest.\n\nOn citation pattern: the self-citations to Refs. [27] and [32] are to the co-author's own work on achievability of RLD/SLD bounds, and they are directly load-bearing; I don't see padding.\n\nVerdict: this deserves a serious referee. It won't change the field, but it's a correct and useful model calculation, and the mixed-state envelope with the transition is worth having on record. I would accept after minor revision that adds a proof or explicit reference for gauge invariance and one sentence clarifying the scope of the thermal ensemble.","headline":"A clean and honest model calculation showing that commuting position observables can have a non-trivial estimation-theoretic trade-off; the thermal-state transition is real but the gauge-independence claim stays unproved.","tokens_in":19803,"tokens_out":2220,"would_cite":true,"duration_ms":21719,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper shows that estimating both position coordinates of an electron in a uniform magnetic field obeys a nontrivial uncertainty trade-off even though the position operators commute.","keywords":["quantum estimation theory","Cramér-Rao bound","Landau levels","uncertainty relation","angular momentum","Gaussian shift model","symmetric logarithmic derivative","right logarithmic derivative"],"falsifier":"Prepare a thermal Landau electron with a known $\\langle L\\rangle_0$, estimate the two position shifts with unbiased measurements, and record the achievable mean square error pairs. The paper predicts that for $|\\langle L\\rangle_0|\\le 1/2$ the SLD floor $V_{11},V_{22}\\ge g_{11}^S$ is the relevant bound, while for $|\\langle L\\rangle_0|>1/2$ no estimator should enter the region below both the SLD lines and the RLD hyperbola. Finding a measurement with a mean square error pair below the predicted union of bounds would falsify the claim.","tokens_in":18990,"feed_emoji":"🧲","tokens_out":10132,"duration_ms":89474,"temperature":0.7,"pith_summary":"The paper claims that the usual Heisenberg–Robertson uncertainty relation says nothing about the joint position of an electron in a uniform magnetic field, because the position operators $X$ and $Y$ commute. It then shows that a two-parameter quantum estimation formulation produces a meaningful trade-off for the mean square error matrix of unbiased position estimates. For a pure lowest-Landau-level state, the canonical-momentum shift model gives a floor $V_{11},V_{22}\\geq \\lambda^2/2$ with no trade-off, while the mechanical-momentum model gives a hyperbolic trade-off $(V_{11}-\\lambda^2/4)(V_{22}-\\lambda^2/4)\\geq \\lambda^4/16$. For a thermal state with fixed angular momentum, the trade-off is governed by both the SLD and RLD Cramér–Rao bounds and changes shape at $|\\langle L\\rangle_0|=1/2$. This establishes that uncertainty relations can exist for commuting observables and that the choice of shift generator changes the achievable estimation accuracy.","feed_headline":"Commuting positions still obey a joint-accuracy trade-off","feed_subtitle":"Quantum Cramér-Rao bounds put a floor on joint position estimates in a magnetic field, with the bound changing shape at an…","key_machinery":"The load-bearing object is the mean square error matrix $V$ for the two parameters $\\theta_1,\\theta_2$ together with the two quantum Cramér–Rao inequalities. For any two-parameter model the inequality $V\\ge G^{-1}$ yields component lower bounds and a product inequality involving $|\\operatorname{Im} g_{12}|$, where $G^{-1}=[g_{ij}]$. The authors compute the SLD and RLD Fisher information matrices for the two unitary shift models; the imaginary off-diagonal part of the inverse Fisher information is what creates a trade-off between $V_{11}$ and $V_{22}$. In Model 2 the noncommuting mechanical momenta introduce a phase factor in the shifted wavefunction, which produces that imaginary off-diagonal term and hence the hyperbolic bound; in the pure-state Model 1 the term vanishes, so only independent component floors remain.","core_discovery":"On the paper's own terms, the central discovery is that the mean square error matrix $V$ for estimating the two position-shift parameters is bounded by explicit quantum Cramér–Rao inequalities that depend on which momenta generate the shift. In the pure-state case the reference state is the $|0,0\\rangle$ lowest Landau level with zero angular momentum. Model 1, generated by the commuting canonical momenta $p_x,p_y$, is quasi-classical: its SLD bound is $V_{11},V_{22}\\ge \\lambda^2/2$, and because its inverse Fisher information has no imaginary off-diagonal entry there is no trade-off between the two variances. Model 2, generated by the noncommuting mechanical momenta $\\pi_x,\\pi_y$, is a Gaussian shift model whose generalized RLD bound is $(V_{11}-\\lambda^2/4)(V_{22}-\\lambda^2/4)\\ge \\lambda^4/16$ and is achievable. With a thermal reference state constrained to fixed $\\langle L\\rangle_0$, Model 1's bound is determined by both the SLD and RLD inequalities: for $|\\langle L\\rangle_0|\\le 1/2$ the SLD bound dominates, while for $|\\langle L\\rangle_0|>1/2$ both contribute and the bounds intersect twice; the bound is achievable only at $\\langle L\\rangle_0=0$. Model 2 remains a Gaussian shift model, so its RLD bound is achievable. The paper also shows that Model 2's bound is lower than Model 1's in both pure and thermal settings.","pith_inferences":["Beyond the paper, the same estimation-theoretic construction should yield trade-offs for any pair of commuting observables that are linear combinations of noncommuting canonical variables; the Landau system is a concrete instance of a more general recipe.","The crossover at $|\\langle L\\rangle_0|=1/2$ may reflect a qualitative change in the set of physical thermal preparations; a natural check is whether the same threshold appears in other degenerate harmonic-oscillator systems with a conserved angular momentum.","Beyond the paper, the Model 2 advantage suggests an experimental direction: encode position information through kinetic-momentum displacements in a two-dimensional electron gas or a two-mode linear optical system, keeping in mind that the optimal measurement may require noncanonical variables."],"forward_implications":["Joint position estimation in a Landau system is limited by a genuine trade-off even though $X$ and $Y$ commute, so the Heisenberg–Robertson relation is not the right diagnostic for this sensing problem.","The mechanical-momentum encoding (Model 2) gives a smaller, achievable Cramér–Rao bound than the canonical-momentum encoding in both pure and thermal regimes, so position measurements that exploit kinetic momentum can in principle be more accurate.","In the thermal canonical-momentum model the uncertainty relation changes shape at $|\\langle L\\rangle_0|=1/2$, giving a signature of the angular momentum in the achievable estimation accuracy.","For $\\langle L\\rangle_0\\neq0$ the thermal Model 1 bound is not achievable, so optimal joint position estimation requires a strategy beyond separate position measurements; at $\\langle L\\rangle_0=0$ the SLD bound is achievable."],"supporting_citations":[{"why":"Provides the Heisenberg–Robertson inequality whose commutator term vanishes for $X$ and $Y$, the baseline that the estimation-theoretic bounds replace.","marker":"[17, 18]"},{"why":"Supplies the Gaussian shift model framework that identifies Model 2 as a model where the RLD Cramér–Rao bound is achievable.","marker":"[2]"},{"why":"Provides the generalized RLD Cramér–Rao bound and coherent-model criterion used for the pure-state Model 2 bound.","marker":"[21]"},{"why":"Supplies the Gaussian shift model result supporting the achievability of the RLD bound for Model 2.","marker":"[24]"},{"why":"Provides the D-invariance criterion used to show that the thermal Model 1 RLD bound is not achievable and to check SLD achievability.","marker":"[27]"},{"why":"Provides the pure-state SLD construction used to compute the Fisher information matrices for both pure-state models.","marker":"[29]"}],"fun_headline_variants":["Canonical momenta give no trade-off, mechanical do: electron position bounds","Two momenta, two uncertainty relations: electron position in magnetic field","Quantum estimation sets two different bounds on electron position accuracy","Canonical vs mechanical momenta: different quantum Cramér-Rao bounds","Electron position in magnetic field: two different quantum estimation limits"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The thermal-state analysis assumes that a degenerate thermal equilibrium is uniquely determined by fixing the expectation value of angular momentum with a chemical potential and that one root of the resulting equation is unphysical; if a preparation does not enforce this constraint, the derived bounds and the crossover at $|\\langle L\\rangle_0|=1/2$ need not apply.","fun_headline_variants_meta":{"raw":{"variants":["Canonical momenta give no trade-off, mechanical do: electron position bounds","Two momenta, two uncertainty relations: electron position in magnetic field","Quantum estimation sets two different bounds on electron position accuracy","Canonical vs mechanical momenta: different quantum Cramér-Rao bounds","Electron position in magnetic field: two different quantum estimation limits"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001043,"raw_usage":{"total_tokens":4466,"prompt_tokens":1109,"completion_tokens":3357,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":725,"completion_tokens_details":{"reasoning_tokens":3264}},"tokens_in":725,"tokens_out":3357,"duration_ms":24332,"temperature":1.0,"reasoning_tokens":3264,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:30:05.798097+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Prepare a thermal Landau electron with a known $\\langle L\\rangle_0$, estimate the two position shifts with unbiased measurements, and record the achievable mean square error pairs. The paper predicts that for $|\\langle L\\rangle_0|\\le 1/2$ the SLD floor $V_{11},V_{22}\\ge g_{11}^S$ is the relevant bound, while for $|\\langle L\\rangle_0|>1/2$ no estimator should enter the region below both the SLD lines and the RLD hyperbola. Finding a measurement with a mean square error pair below the predicted union of bounds would falsify the claim.","supporting_citations":[{"cited_title":"∂ρθ ∂θi = 1 2[ρθLS,i (θ) +LS,i (θ)ρθ]","cited_arxiv_id":null,"evidence_quote":"Supplies the Gaussian shift model framework that identifies Model 2 as a model where the RLD Cramér–Rao bound is achievable."},{"cited_title":"Since px and py commute, e−iθ1pxe−iθ2py = e−iθ1px−iθ2py = e 1 2λ{(a†−a)+(b†−b)}θ1}− i 2λ{(a†+a)−(b†+b)}θ2","cited_arxiv_id":null,"evidence_quote":"Provides the generalized RLD Cramér–Rao bound and coherent-model criterion used for the pure-state Model 2 bound."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the Gaussian shift model result supporting the achievability of the RLD bound for Model 2."},{"cited_title":"Nagaoka, in Surikagaku, no","cited_arxiv_id":null,"evidence_quote":"Provides the D-invariance criterion used to show that the thermal Model 1 RLD bound is not achievable and to check SLD achievability."},{"cited_title":"Watanabe, T","cited_arxiv_id":null,"evidence_quote":"Provides the pure-state SLD construction used to compute the Fisher information matrices for both pure-state models."}],"review_version":1}