pith. sign in

arxiv: 2506.15013 · v2 · submitted 2025-06-17 · 🪐 quant-ph

Objectivity in the quantum Brownian motion revisited

Tae-Hun Lee This is my paper

Pith reviewed 2026-05-19 08:40 UTC · model grok-4.3

classification 🪐 quant-ph
keywords objectivityquantum Brownian motionspectrum broadcast structurerecoilless limitfinite environmentstimescalesdecoherenceopen quantum systems
0
0 comments X

The pith

Finite environments produce objectivity in quantum Brownian motion only on timescales set by frequency relations.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper revisits the conditions for objectivity in the quantum Brownian motion model under the recoilless limit using the spectrum broadcast structure framework. It shows that a finite number of environmental oscillators cannot produce complete objectivity; instead, objectivity holds only relative to specific timescales determined by the frequency relations between the central oscillator and the bath oscillators. This matters for understanding the quantum-to-classical transition because real environments are finite, so classical records for multiple observers appear only in restricted time windows rather than universally. The analysis also accounts for how the phase of the central oscillator's trajectory strengthens the effect as the phase approaches π/2.

Core claim

In the recoilless limit of the quantum Brownian motion model, a system with a finite number of environmental oscillators cannot achieve objectivity completely. Objectivity appears only with respect to the associated timescales defined by the frequency relation between a central oscillator and environmental oscillators. The influence of the oscillator trajectory on the spectrum broadcast structure explains why objectivity is enhanced as the phase gets closer to π/2.

What carries the argument

The spectrum broadcast structure (SBS) applied to the joint state of the central oscillator and finite bath oscillators in the recoilless limit, which tracks how environmental records become redundant and accessible to multiple observers.

If this is right

  • Objectivity in finite-bath models is always timescale-dependent rather than absolute.
  • Frequency matching between system and environment sets the intervals where multiple observers can agree on the system's state.
  • Trajectory phase near π/2 increases the redundancy of environmental records.
  • Earlier SBS-based conclusions for the same model require correction when the bath is finite.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Experiments with tunable oscillator frequencies could directly test the predicted windows of objectivity.
  • The result suggests that adding oscillators one by one would gradually widen the time intervals until the infinite-bath limit is recovered.
  • Similar timescale restrictions may appear in other open-system models that use finite environments.

Load-bearing premise

The spectrum broadcast structure framework correctly identifies the conditions for objectivity in the recoilless limit of the quantum Brownian motion model.

What would settle it

An exact numerical evolution of the joint density matrix for a central oscillator coupled to three or four explicit bath oscillators, followed by a check of whether the spectrum broadcast structure survives outside the predicted frequency-defined time windows.

Figures

Figures reproduced from arXiv: 2506.15013 by Tae-Hun Lee.

Figure 1
Figure 1. Figure 1: FIG. 1: The objectivity markers at [PITH_FULL_IMAGE:figures/full_fig_p006_1.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3: Comparison between the objectivity markers [PITH_FULL_IMAGE:figures/full_fig_p007_3.png] view at source ↗
Figure 5
Figure 5. Figure 5: FIG. 5: The objectivity markers for the environment [PITH_FULL_IMAGE:figures/full_fig_p007_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: FIG. 6: The decoherence factor for the environment [PITH_FULL_IMAGE:figures/full_fig_p008_6.png] view at source ↗
Figure 9
Figure 9. Figure 9: FIG. 9: For [PITH_FULL_IMAGE:figures/full_fig_p008_9.png] view at source ↗
Figure 10
Figure 10. Figure 10: FIG. 10: The decoherence factor for the environment [PITH_FULL_IMAGE:figures/full_fig_p009_10.png] view at source ↗
read the original abstract

In this article we revisit objectivity conditions for the quantum Brownian motion (QBM) model under the recoilless (Born-Oppenheimer) limit. The purpose of this study is to correct and clarify the previous objectivity analysis based on the spectrum broadcast structure (SBS). We find that the objectivity for QBM with the finite number of the environments cannot be achieved completely but only depend on a timescale. We show that a system with the finite number of environmental oscillators can the objectivity only with respect to the associated timescales defined by frequency relation between a central oscillator and environmental oscillators. In addition, our analysis of the influence of a oscillator trajectory on objectivity answers the previous unsolved question why the objectivity is enhanced as the phase gets closer to $\pi/2$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript revisits objectivity conditions for the quantum Brownian motion (QBM) model in the recoilless (Born-Oppenheimer) limit using the spectrum broadcast structure (SBS) framework. It claims that complete objectivity cannot be achieved with a finite number of environmental oscillators but is possible only with respect to specific timescales set by frequency relations between the central oscillator and bath modes; it further analyzes the oscillator trajectory to explain why objectivity strengthens as the phase approaches π/2.

Significance. If the derivations hold, the work clarifies limitations of SBS-based objectivity in finite-environment QBM, corrects prior analyses, and resolves an open question on phase dependence. It emphasizes timescale and frequency-matching effects in the emergence of objectivity, which may inform studies of quantum Darwinism and decoherence with restricted bath degrees of freedom.

major comments (2)
  1. [§3] §3 (recoilless limit derivation): The central claim that frequency-ratio-dependent timescales control partial SBS objectivity must be shown to survive the Born-Oppenheimer approximation; the standard separation of timescales (slow central oscillator, fast bath) risks averaging or suppressing the very frequency relations used to define the objectivity windows, and an explicit effective-dynamics calculation is needed to confirm preservation.
  2. [§4] §4 (finite-N SBS analysis): The assertion that objectivity is only partial and timescale-restricted for finite environments requires a quantitative bound (e.g., on broadcast fidelity or SBS measure) demonstrating degradation outside the claimed frequency-ratio windows; without this, the distinction from the infinite-bath case remains qualitative.
minor comments (2)
  1. [Abstract] Abstract and §1: The statement that 'a system with the finite number of environmental oscillators can the objectivity only with respect to the associated timescales' contains a grammatical error and should be rephrased for clarity.
  2. [Figures] Figure captions and notation: Ensure all frequency-ratio symbols are defined consistently and that any plots of phase dependence include error bars or explicit parameter values used.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments on our manuscript. We address each major comment in detail below and have revised the manuscript to incorporate the suggested improvements where appropriate.

read point-by-point responses

  1. Referee: §3 (recoilless limit derivation): The central claim that frequency-ratio-dependent timescales control partial SBS objectivity must be shown to survive the Born-Oppenheimer approximation; the standard separation of timescales (slow central oscillator, fast bath) risks averaging or suppressing the very frequency relations used to define the objectivity windows, and an explicit effective-dynamics calculation is needed to confirm preservation.

    Authors: We thank the referee for highlighting this important point. While our derivation proceeds in the recoilless limit, we agree that an explicit verification is necessary to confirm that the frequency-ratio windows are not suppressed by the timescale separation. In the revised manuscript, we have added a calculation of the effective dynamics under the Born-Oppenheimer approximation. This shows that the oscillatory terms associated with the frequency relations between the central oscillator and bath modes remain intact on the relevant timescales, without being averaged out. The updated §3 now includes this effective Hamiltonian and the resulting time-evolution operator to demonstrate preservation of the claimed objectivity windows. revision: yes

  2. Referee: §4 (finite-N SBS analysis): The assertion that objectivity is only partial and timescale-restricted for finite environments requires a quantitative bound (e.g., on broadcast fidelity or SBS measure) demonstrating degradation outside the claimed frequency-ratio windows; without this, the distinction from the infinite-bath case remains qualitative.

    Authors: We acknowledge that a quantitative demonstration strengthens the distinction. Our analysis already provides closed-form expressions for the SBS measure that depend explicitly on the frequency ratios, indicating partial objectivity. To address the request directly, the revised version includes explicit quantitative bounds on the broadcast fidelity. These bounds show that the fidelity remains close to unity only within the frequency-ratio windows and degrades linearly with detuning outside them. We support this with both the analytical form and numerical evaluations for small finite N, providing a clear quantitative separation from the infinite-bath limit. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation applies SBS to recoilless limit independently

full rationale

The paper applies the established spectrum broadcast structure (SBS) framework from prior literature to analyze objectivity conditions in the quantum Brownian motion model under the recoilless (Born-Oppenheimer) limit. It derives timescale-restricted objectivity for finite environments from frequency relations between the central oscillator and environmental modes, plus the influence of oscillator trajectories. No quoted steps reduce by construction to self-definitions, fitted inputs renamed as predictions, or load-bearing self-citation chains. The central claims follow from applying the external SBS conditions to the model's equations rather than circular re-expression. The derivation remains self-contained against the framework's benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the validity of the SBS framework and the recoilless approximation for QBM; no new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption Spectrum broadcast structure (SBS) provides the correct criterion for objectivity in open quantum systems.
    The entire analysis is framed as a correction within the SBS approach.
  • domain assumption The recoilless (Born-Oppenheimer) limit is applicable to the quantum Brownian motion model under study.
    The paper explicitly revisits objectivity under this limit.

pith-pipeline@v0.9.0 · 5640 in / 1262 out tokens · 37772 ms · 2026-05-19T08:40:53.601340+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

36 extracted references · 36 canonical work pages

  1. [1]

    cos Ωt − 2XtX0] + g sin Ωt tZ 0 dsxk(s){Xt sin Ωs + X0 sin[Ω(t − s)]} (6) − g2 MΩ sin Ωt tZ 0 ds sZ 0 du sin Ωu sin[Ω(t − s)]xk(u)xk(s). In (6) the zeroth order in Scl is an action for a free harmonic oscillator and the first order is a position bi- linear interaction between the environmentalkth oscil- lator and the classical trajectory of a central osci...

    work page

  2. [2]

    0 ≤ |ΓY,Y ′|2 ≤ 1, 0 ≤ BY,Y ′ ≤ 1

    Domain: Objectivity markers have values between 0 and 1. 0 ≤ |ΓY,Y ′|2 ≤ 1, 0 ≤ BY,Y ′ ≤ 1. (28)

    work page

  3. [3]

    |ΓY,Y ′,0|2 = BY,Y ′,0 = 1

    Initial value : Initial values for the objectivity markers should be the maximum value, 1. |ΓY,Y ′,0|2 = BY,Y ′,0 = 1. (29)

    work page

  4. [4]

    a function of UY ρ0U † Y ′ while BY,Y ′ is symmetric about ρ0, i.e

    Structure: |ΓY,Y ′|2 is asymmetric about ρ0, i.e. a function of UY ρ0U † Y ′ while BY,Y ′ is symmetric about ρ0, i.e. a function ofUY ρ0U † Y and UY ′ρ0U † Y ′

    work page

  5. [5]

    |ΓY,Y |2 = Y k |Γ(k) Y,Y |2, BY,Y ′ = Y k B(k) Y,Y ′

    Multiplicativity: In the absence of mutual interac- tions between environments, the objectivity mark- ers can be written a product of the objectivity markers for individual environmental systems. |ΓY,Y |2 = Y k |Γ(k) Y,Y |2, BY,Y ′ = Y k B(k) Y,Y ′. (30) This multiplicative property and the domain of the objectivity markers imply that as the number of env...

    work page

  6. [6]

    Due to our definitions for objectivity markers (26) any overall phases do not contribute to objectivity. VI. OBJECTIVITY CONDITIONS Objectivity is achieved by an asymptotic decaying de- coherencefactorandgeneralizedoverlapintime. Herewe consider the general objectivity conditions for the QBM model

    work page

  7. [7]

    A multi-environmental system is the most neces- sary ingredient for asymptotically vanishing ob- jectivity markers. For non-mutual environmental interactions, since total objectivity markers for a multi-environment are simply a product of the indi- vidual objectivity makers as shown in (30) they can get smaller and smaller as more environmental sys- tems ...

    work page

  8. [8]

    “one” in (28) appear re- peatedly as time goes on

    It is worthwhile to consider the case that the max- imum values of the objectivity markers for indi- vidual environments, i.e. “one” in (28) appear re- peatedly as time goes on. Moreover, if such time points coincide among the environments systems as time goes to infinity, there won’t be any de- cay in the objectivity makers. As will be shown in the next ...

    work page

  9. [9]

    The structural difference between a decoherence factor and a generalized overlap may provide an- swer to the question why distinguishability can be harder to obtain than decoherence, or why the dis- tinguishability length scale is longer than the deco- herence length scale [8, 11]. For a periodic Hamilto- nian for the environment with a common frequency o...

    work page 2019

  10. [10]

    η is the sum of two complex numbers: η = gQ −e−iωt c + iΩ ω s + c0 + iΩ ω s0 , (C1) with c ≡ cos(Ωt + ϕ), s ≡ sin(Ωt + ϕ), c0 ≡ cos ϕ, s0 = sin ϕ and Q ≡ r ω 2m(ω2 − Ω2)2

    Zeros of η This section searches for a condition satisfyingη = 0, namely the non-objectivity condition. η is the sum of two complex numbers: η = gQ −e−iωt c + iΩ ω s + c0 + iΩ ω s0 , (C1) with c ≡ cos(Ωt + ϕ), s ≡ sin(Ωt + ϕ), c0 ≡ cos ϕ, s0 = sin ϕ and Q ≡ r ω 2m(ω2 − Ω2)2 . (C2) 14 Consider the relevant complex number¯η to find out zeros fort: ¯η ≡ η gQ...

    work page

  11. [11]

    The coefficient in a zeroth order ofω in ¯η at ω = Ω is zero: ¯ηω=Ω = −e−iΩteiΩt+iϕ + e+iϕ = 0

    Beating effect Q defined in (C2) is in1/(ω − Ω) order. The coefficient in a zeroth order ofω in ¯η at ω = Ω is zero: ¯ηω=Ω = −e−iΩteiΩt+iϕ + e+iϕ = 0. (C10) we expand ¯η in (C3) byω around Ω: ¯η = ¯ηω=Ω + ∂¯η ∂ω ω=Ω (ω − Ω) + 1 2! ∂2¯η ∂ω2 ω=Ω (ω − Ω)2 + · · · . (C11) A first order derivative of¯η with respect toω is ∂¯η ∂ω = −ite−iωt c + iΩ ω s + ie−iωt ...

    work page

  12. [12]

    W. H. Zurek, Nat. Phys.5, 181 (2009)

    work page 2009

  13. [13]

    W. H. Zurek, Phys. Today67, 44 (2014)

    work page 2014

  14. [14]

    J. K. Korbicz, R. Horodecki, and P. Horodecki, Phys. Rev. Lett.112, 120402 (2014)

    work page 2014

  15. [15]

    J. K. Korbicz, Quantum5, 571 (2021)

    work page 2021

  16. [16]

    Mironowicz, J

    P. Mironowicz, J. K. Korbicz, and P. Horodecki Phys. Rev. Lett.118, 150501 (2017)

    work page 2017

  17. [17]

    Mironowicz, P

    P. Mironowicz, P. Należyty, P. Horodecki, and J. K. Korbicz Phys. Rev. A98, 02212 (2018)

    work page 2018

  18. [18]

    Lampo, J

    A. Lampo, J. Tuziemski, M. Lewenstein, and J. K. Korbicz Phys. Rev. A96, 012120 (2017)

    work page 2017

  19. [19]

    T. H. Lee and J. K. Korbicz, Phys. Rev. A109, 052204 (2024)

    work page 2024

  20. [20]

    T. H. Lee and J. K. Korbicz, Phys. Rev. A110, 062202 (2024)

    work page 2024

  21. [21]

    Tuziemski and J

    J. Tuziemski and J. K. Korbicz, Europhys. Lett.112, 40008 (2015)

    work page 2015

  22. [22]

    T. -H. Lee and J. K. Korbicz, Phys. Rev. A109, 032221 (2024)

    work page 2024

  23. [23]

    Schlosshauer, Decoherence and the Quantum-to- Classical Transition (Springer, Berlin, 2007)

    M. Schlosshauer, Decoherence and the Quantum-to- Classical Transition (Springer, Berlin, 2007)

    work page 2007

  24. [24]

    Born and J

    M. Born and J. R. Oppenheimer, Ann. Phys.389, 457 (1927)

    work page 1927

  25. [25]

    Ullersma, Physica32, 90-96 (1966)

    P. Ullersma, Physica32, 90-96 (1966)

    work page 1966

  26. [26]

    E. Joos, H. D. Zeh , C. Kiefer, D. Giulini, J. Kupsch, I. -O. Stamatescu, Decoherence and the Appearance of a Classical World in Quantum Theory (Springer, Berlin, 2003)

    work page 2003

  27. [27]

    H. -P. Breuer and F. Petruccione,The Theory of Open Quantum Systems (Oxford University Press, 2010)

    work page 2010

  28. [28]

    J. P. Paz and A. J. Roncaglia Phys. Rev. A80, 042111 (2009)

    work page 2009

  29. [29]

    G. -L. Ingold, Path Integrals and Their Application to Dissipative Quantum Systems In: A. Buchleitner, K. Hornberger (eds) Coherent Evolution in Noisy Envi- ronments, Lecture Notes in Physics, vol 611 (Springer, Berlin, Heidelberg, 2002), pp 1-53

    work page 2002

  30. [30]

    Floquet, Ann

    G. Floquet, Ann. Sci. Éc. Norm. Supér. (2), 12, 47 (1883)

    work page

  31. [31]

    Husimi, Prog

    K. Husimi, Prog. Theor. Phys9, 381-402 (1953)

    work page 1953

  32. [32]

    Hänggi, Driven Quantum Systems (2016)

    P. Hänggi, Driven Quantum Systems (2016)

    work page 2016

  33. [33]

    M. G. Bukov, [PhD’s thesis, Boston University] (2017)

    work page 2017

  34. [34]

    C. W. Helstrom, J. Stat. Phys. 1, 231-252 (1969)

    work page 1969

  35. [35]

    E. C. G. Sudarshan, Phys. Rev. Lett.10, 277-279 (1963)

    work page 1963

  36. [36]

    C. L. Mehta, Phys. Rev. Lett.18, 752–754 (1967)

    work page 1967