In 2026, Falconi, Fermanian Kammerer and Gautier constructed the first rigorous semiclassical measurement scheme: a fully quantum von Neumann coupling in which a bosonic-field probe undergoes a quantifiable quantum-to-classical transition as the semiclassical parameter ε→0\varepsilon\to0, so that a projective, sharp measurement of the energy of a two-level system exists with semiclassical accuracy at least of order ∣ln⁡ε∣−1/2\lvert\ln\varepsilon\rvert^{-1/2}, evading the measurement-problem no-go theorem within quantifiable error limits. The paper itself states the remaining open issues: generalization to observables with essential (continuous) spectrum, which 'would probably require some new ideas'; determination of the optimal accuracy rate, since the proven logarithmic bound is explicitly not claimed optimal; whether the spin-boson wave operator Ωε+\Omega_\varepsilon^{+} itself defines a semiclassical measurement scheme, possibly with environmental (Lindblad-type) dynamics allowing the limits t→∞t\to\infty and ε→0\varepsilon\to0 to be interchanged; and whether Gisin-type stochastic measurement processes emerge from the semiclassical scheme. The problem is open.

Background

The measurement problem of quantum mechanics is the incompatibility, within the standard formalism, of the unitary evolution of an isolated system with the emergence of a definite measurement outcome. In von Neumann's formulation, a measurement couples the measured quantum system S\mathcal{S} to a probe (apparatus) P\mathcal{P}: the pair evolves unitarily under a coupling UU, and a pointer observable Z\mathcal{Z} of the probe is read out. A scheme is readable if, after the interaction, the probe's state is a convex combination of mutually orthogonal (i.e. classical-mixture) pointer states, and projective if the induced transformation of S\mathcal{S} is exactly the spectral projection (wavefunction collapse) of the measured observable O\mathcal{O}. A scheme is sharp if every readout of the probe corresponds to one and only one spectral value of O\mathcal{O} and every spectral value is readable; it is fuzzy if some readouts fail to determine a spectral value, and unreadable if no reading of the probe can yield a configuration associated with the spectrum of O\mathcal{O}. A no-go theorem — versions go back to Wigner and are given in the monograph of Busch, Lahti, Pellonpää and Ylinen — states that no nontrivial readable measurement scheme with a fully quantum probe and unitary dynamics exists unless the pointer is already effectively classical: exact objectivity of the readout is incompatible with unitarity. Bohr's alternative treats the apparatus as fundamentally classical: a Bohr measurement scheme couples the quantum system to a classical probe with phase space XP0\mathfrak{X}_{\mathcal{P}_0}, a pointer configuration function x(λ)x(\lambda), and a classical measurement coupling m[⋅,y]\mathfrak{m}[\cdot,y], but leaves the quantum/classical divide unexplained by the theory.

Falconi, Fermanian Kammerer and Gautier (arXiv:2606.21211) bridge the two pictures. They define a semiclassical measurement scheme Mε→0=(Mε;M0)\mathscr{M}_{\varepsilon\to0}=(\mathscr{M}_\varepsilon;\mathscr{M}_0): a pair consisting of a fully quantum von Neumann scheme whose probe is a bosonic field (e.g. light) in a semiclassical regime, together with a Bohr scheme for the same observable. The probe lives on a Fock space (the Hilbert space of states with variable particle number for a quantum field) with effective Planck constant ε→0\varepsilon\to0; coherent states — minimum-uncertainty field states centered on classical configurations, with occupation numbers of order 1/ε1/\varepsilon — then concentrate on classical phase space, implementing a quantum-to-classical transition of the probe itself. The two schemes are tied by requiring that, as ε→0\varepsilon\to0, the joint initial state ϱ⊗ςε\varrho\otimes\varsigma_\varepsilon converges to the classical initial data ϱ dδy\varrho\,\mathrm{d}\delta_y and the coupled evolution Uε(ϱ⊗ςε)Uε∗U_\varepsilon(\varrho\otimes\varsigma_\varepsilon)U_\varepsilon^{*} converges to the classical measurement coupling m[ϱ,y]\mathfrak{m}[\varrho,y]. Projectivity, sharpness and readability are inherited from the Bohr limit, and the scheme is semiclassically accurate of order f(ε)f(\varepsilon) if d(ϱ⊗ςε,ϱ dδy)+d(Uε(ϱ⊗ςε)Uε∗,m[ϱ,y])≤Cf(ε)d(\varrho\otimes\varsigma_\varepsilon,\varrho\,\mathrm{d}\delta_y)+d(U_\varepsilon(\varrho\otimes\varsigma_\varepsilon)U_\varepsilon^{*},\mathfrak{m}[\varrho,y])\leq C f(\varepsilon) for a distance-type function dd: the no-go theorem is evaded because the quantum scheme is only required to reproduce the readable classical scheme up to a quantifiable, vanishing error.

The main result (Theorem 1.9 of the source) proves that for a two-level system (HS=C2\mathscr{H}_\mathcal{S}=\mathbb{C}^2) and the observable O=σz\mathcal{O}=\sigma_z, a projective and sharp semiclassical measurement scheme exists, semiclassically accurate at least of order ∣ln⁡ε∣−1/2\lvert\ln\varepsilon\rvert^{-1/2}. The construction is physically motivated by induced fluorescence: a two-level atom is adiabatically coupled to a macroscopic bosonic field that scatters into classically distinguishable configurations depending on the atomic state. Technically, the measurement coupling is a finite-time evolution Uε=U~ε(tε)U_\varepsilon=\widetilde{U}_\varepsilon(t_\varepsilon) at a logarithmic time tε=O(∣ln⁡ε∣)t_\varepsilon=O(\lvert\ln\varepsilon\rvert), approximating the spin-boson wave operator Ωε+=s-limt→∞U~ε(t)\Omega_\varepsilon^{+}=\mathrm{s\text{-}lim}_{t\to\infty}\widetilde{U}_\varepsilon(t), i.e. the strong scattering limit of the coupled dynamics ('spin-boson' is the standard name for a model of a two-level system coupled to a bosonic field); the proof combines superadiabatic projectors (adiabatic spectral decompositions with exponentially small non-adiabatic transitions), semiclassical propagation of coherent states, and a scattering analysis with asymptotic splitting of the classical field trajectories. The authors note that any observable with purely discrete spectrum should be reachable with minor modifications.

Neighboring literatures address adjacent questions without entering this framework. Gisin (1984) proposed realizing collapse by coupling the measured system to a suitable continuous-time stochastic process; Fröhlich, Gang and Pizzo, in the ETH approach (a proposed completion of quantum first principles in which the state of an isolated system evolves stochastically), proved that such dynamics indeed induce the wavefunction collapse asymptotically, most recently in a model of the double-slit experiment. Galkowski, Zworski and Huang proved classical-quantum correspondence for Lindblad evolution — the standard Markov master equation for open quantum systems undergoing decoherence by an environment. Ozawa constructed measuring processes for continuous observables as operational limits of discrete-observable measurements, in a framework without a probe or accuracy quantification of the above type. The source paper poses its remaining issues within its own framework, and these are stated in the problem statement below.

Problem Statement

Work within the semiclassical measurement framework of Falconi, Fermanian Kammerer and Gautier (2026). In that framework, a semiclassical measurement scheme Mε→0=(Mε;M0)\mathscr{M}_{\varepsilon\to0}=(\mathscr{M}_\varepsilon;\mathscr{M}_0) pairs a fully quantum von Neumann scheme — whose bosonic-field probe, with effective Planck constant ε\varepsilon, starts in a coherent state ςε\varsigma_\varepsilon and is coupled by a unitary UεU_\varepsilon with pointer observable Zε\mathcal{Z}_\varepsilon — with a Bohr scheme on the classical probe phase space. The two schemes are tied by convergence as ε→0\varepsilon\to0, and the accuracy is quantified by the semiclassical accuracy condition d(ϱ⊗ςε,ϱ dδy)+d(Uε(ϱ⊗ςε)Uε∗,m[ϱ,y])≤Cf(ε)d(\varrho\otimes\varsigma_\varepsilon,\varrho\,\mathrm{d}\delta_y)+d(U_\varepsilon(\varrho\otimes\varsigma_\varepsilon)U_\varepsilon^{*},\mathfrak{m}[\varrho,y])\leq C f(\varepsilon). The proven existence result covers only the two-level observable σz\sigma_z, with accuracy at least of order ∣ln⁡ε∣−1/2\lvert\ln\varepsilon\rvert^{-1/2}, via the finite-time coupling Uε=U~ε(tε)U_\varepsilon=\widetilde{U}_\varepsilon(t_\varepsilon) at logarithmic time tε=O(∣ln⁡ε∣)t_\varepsilon=O(\lvert\ln\varepsilon\rvert). Resolve the following linked open problems, which jointly extend this proof of concept into a general theory of semiclassical measurement; they may be attacked separately, but each is to be settled within the framework's definitions (projectivity, sharpness, readability, quantified semiclassical accuracy):

  1. Continuous spectrum: construct a projective, sharp, readable semiclassical measurement scheme with quantified semiclassical accuracy for a quantum observable with essential (continuous) spectrum, such as the position of a particle. The source states that its construction, which rests on spectral projectors tied to isolated eigenvalues, 'would probably require some new ideas' here.

  2. Optimal accuracy: determine the optimal semiclassical accuracy rate achievable by schemes in this framework. The proven rate ∣ln⁡ε∣−1/2\lvert\ln\varepsilon\rvert^{-1/2} is explicitly not claimed optimal: establish whether a strictly better rate — for example a power of ε\varepsilon — is achievable, whether by the existing construction, by a modified one, or by a more realistic model incorporating environmental decoherence on the probe (e.g. Lindblad-type dynamics); or prove a matching limitation showing no improvement is possible.

  3. Wave-operator coupling: decide whether the spin-boson wave operator Ωε+=s-limt→∞U~ε(t)\Omega_\varepsilon^{+}=\mathrm{s\text{-}lim}_{t\to\infty}\widetilde{U}_\varepsilon(t) itself (in place of the finite-time evolution) defines a semiclassical measurement scheme that is projective, sharp, readable, and semiclassically accurate at a quantified rate — possibly after introducing interaction with an environment, so that the limits t→∞t\to\infty and ε→0\varepsilon\to0 can be taken in either order.

  4. Stochastic emergence: determine whether a continuous-time stochastic measurement process of the type introduced by Gisin, or arising in the ETH approach, emerges from the semiclassical scheme, in the sense that the semiclassical dynamics induces such a collapse process on the measured system.

A complete answer to cores 1-3 constitutes completion of the precise core of the problem; core 4 is an explicitly posed further direction with a correspondingly softer completion boundary, as acknowledged by the source itself. Optional further directions include devising analogous schemes for other observables and physical systems, e.g. probes with realistic dispersion relations in place of the mathematically convenient k2k^2 dispersion.

References

  1. Marco Falconi, Clotilde Fermanian Kammerer, and Raphaël Gautier (2026), 'Measuring a quantum system without problems', arXiv:2606.21211 (v1 19 Jun 2026, v2 17 Jul 2026), DOI 10.48550/arxiv.2606.21211, https://arxiv.org/abs/2606.21211
  2. Eugene P. Wigner (1963), 'The Problem of Measurement', American Journal of Physics 31, 6-15, DOI 10.1119/1.1969254, https://doi.org/10.1119/1.1969254
  3. Paul Busch, Pekka Lahti, Juha-Pekka Pellonpää, and Kari Ylinen (2016), 'Quantum Measurement', Springer (Theoretical and Mathematical Physics), DOI 10.1007/978-3-319-43389-9, https://doi.org/10.1007/978-3-319-43389-9
  4. N. Gisin (1984), 'Quantum Measurements and Stochastic Processes', Physical Review Letters 52, 1657-1660, DOI 10.1103/PhysRevLett.52.1657, https://doi.org/10.1103/PhysRevLett.52.1657
  5. Masanao Ozawa (1984), 'Quantum measuring processes of continuous observables', Journal of Mathematical Physics 25, 79-87, DOI 10.1063/1.526000, https://doi.org/10.1063/1.526000
  6. Jürg Fröhlich and Zhou Gang (2024), 'On the Evolution of States in a Quantum-Mechanical Model of Experiments', Annales Henri Poincaré 25, 535-556, DOI 10.1007/s00023-023-01292-3, https://doi.org/10.1007/s00023-023-01292-3
  7. Jürg Fröhlich and Alessandro Pizzo (2026), 'The quantum mechanics of experiments', arXiv:2603.25335 (v1 26 Mar 2026, v2 13 Jul 2026), https://arxiv.org/abs/2603.25335
  8. Zied Ammari, Marco Falconi, and Marco Olivieri (2023), 'Semiclassical analysis of quantum asymptotic fields in the Yukawa theory', Journal of Differential Equations 357, 236-274, DOI 10.1016/j.jde.2023.01.037, https://doi.org/10.1016/j.jde.2023.01.037
  9. Jeffrey Galkowski, Maciej Zworski, and Zhen Huang (2025), 'Classical-quantum correspondence in Lindblad evolution', Journal of Mathematical Physics 66, 091503, DOI 10.1063/5.0224648, https://doi.org/10.1063/5.0224648