{"topic":"quantum-measurement","tier":"stated","total":262,"limit":50,"offset":0,"claims":[{"claim_id":2400477,"arxiv_id":"2608.13449","paper_version":1,"claim_text":"On the paper's own terms, the discovery is that the maximal harvestable concurrence of two qubits sharing one damped cavity mode is a function of a single dimensionless parameter, $Q=|\\Delta|/\\kappa$, equal to the ratio of the coherent exchange rate to the collective decay rate in the effective qubit master equation. Adiabatic elimination of the cavity yields $J=g^2\\Delta/(\\Delta^2+\\kappa^2/4)$ and $\\Gamma=g^2\\kappa/(\\Delta^2+\\kappa^2/4)$, so the dynamics is an XY exchange plus collective decay. In the no-jump trajectory starting from $|+\\rangle|+\\rangle$, the non-Hermitian Hamiltonian is diagonal in the Bell basis, with superradiant states decaying and dark states protected; evaluating the pure-state concurrence at the unitary gate time $|J|t=\\pi/2$ gives the closed form above. The same formula, rewritten through the inverse participation ratio of the effective Lorentzian spectral density, is presented as a spectral localization principle: $Q\\to\\infty$ recovers deterministic Bell-state generation with concurrence $1-\\pi^2/(16Q^2)$, while $Q\\to0$ gives exponential suppression $2e^{-\\pi/(2Q)}$, matching the irreversible-reservoir behavior of continuous-field harvesting where maximal entanglement is unattainable. The paper also reads this as quantifying the fraction of vacuum correlations, guaranteed by a standard algebraic field-theory theorem, that localized detectors can access, with a formal analogy to localization theory.","claim_key":"core","tier":"stated","source":"verdict_pith","method":"signals","confidence":0.85,"assigned_at":"2026-08-19T03:39:25.701231+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"Spectral Localization Principle for Entanglement Harvesting","paper_submitted_at":"2026-08-13T16:33:26+00:00"},{"claim_id":2699236,"arxiv_id":"2608.12268","paper_version":1,"claim_text":"The central claim is that a four-qubit circuit with rotations controlled by angles θ, β, and α, a Toffoli gate recording photon-absorption ('explosion') events, and a double-controlled Hadamard implementing the second beam splitter, reproduces the statistics of both interaction-free measurement and delayed-choice experiments. After post-selecting on photon survival, the detector probabilities in Eqs. (10)–(11) depend continuously on the delayed-choice parameter α, transitioning the Mach-Zehnder interferometer from open (α=0) to closed (α=π/2). The bomb parameter β controls which-path information, and the conditional IFM probability in Eq. (15) reaches 1/2 in the balanced configuration, matching the Elitzur-Vaidman efficiency when survival is taken into account.","claim_key":"core","tier":"stated","source":"verdict_pith","method":"signals","confidence":0.85,"assigned_at":"2026-08-19T03:39:25.701231+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"A Unified Quantum Interferometric Framework for Interaction-Free Measurement and Delayed-Choice Experiments","paper_submitted_at":"2026-08-12T17:08:23+00:00"},{"claim_id":2352351,"arxiv_id":"2608.10191","paper_version":1,"claim_text":"On the paper's own terms, Theorem 3.30 is the main discovery: for a non-atomic CP instrument $I$, the range $R_I$ is convex if and only if, for every measurable set $E$ with $\\nu_I(E)\\neq 0$, the restricted integration map $\\psi_I^E:L^\\infty(E,\\nu_I|_E)\\to \\mathcal{B}(\\mathcal{A},\\mathcal{B}(H))$ is not injective. The proof of the hard direction shows that every element of the image $\\psi_I((B_+)_1)$ is already attained at a characteristic function $1_A$, by applying Krein-Milman to the fibers $F_\\varphi=\\{f\\in(B_+)_1:\\psi_I(f)=\\varphi\\}$ and using non-injectivity to split any non-characteristic extreme point. The theorem settles the question in Example 3.4 of the earlier POVM paper: the extra hypothesis imposed there is not needed in finite dimensions, and in infinite dimensions non-atomicity alone is not sufficient, as the example of the spectral measure $\\nu(A)=M_{1_A}$ on $L^2([0,1])$ shows, where the integration map is injective and the range is not convex.","claim_key":"core","tier":"stated","source":"verdict_pith","method":"signals","confidence":0.8,"assigned_at":"2026-08-19T03:39:25.701231+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"Integration Theory for Completely positive Instruments: A Lyapunov-Type Theorem and Applications","paper_submitted_at":"2026-08-10T20:09:34+00:00"},{"claim_id":2128301,"arxiv_id":"2608.09639","paper_version":1,"claim_text":"The central claim is that the counting statistics of the detected jumps are sufficient to implement an ideal projective measurement. Under the assumptions $[H,L]=0$ and $L$ diagonalisable with eigenstates $|i\\rangle$, the probability of $m$ clicks after time $t$ is a mixture of Poisson distributions, $P_t(m)=\\sum_i p_i\\,\\mathrm{Pois}(\\gamma t|l_i|^2;m)$, one mode per eigenvalue of $L^{\\dagger}L$. The conditional probability that the state is $|i\\rangle$ given $m$ clicks has a logistic form, and the paper proves that in the long-time limit the jump count $m$ falls, with probability one, into a window where this conditional probability exceeds $1-\\varepsilon$ for a single eigenvalue. Hence each trajectory collapses to a single eigenstate selected with the Born probability $p_i$, and the post-measurement state follows L\\\"uders' rule; if eigenvalues coincide, the collapse is only to the degenerate eigenspace. The same conclusion holds when conditioning on a fixed jump count $m$, using first-passage-time statistics, and the diffusive (homodyne) limit emerges from shifting $L$ by a large amplitude $\\alpha$, which lifts degeneracies.","claim_key":"core","tier":"stated","source":"verdict_pith","method":"signals","confidence":0.85,"assigned_at":"2026-08-19T03:39:25.701231+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"Conditions for implementing projective measurements through continuous monitoring","paper_submitted_at":"2026-08-10T14:21:04+00:00"},{"claim_id":2070475,"arxiv_id":"2608.07706","paper_version":1,"claim_text":"The central claim is that contemporary 'unitary quantum mechanics'—characterized by five features: all closed systems evolve unitarily under the Schrödinger equation, outside systems can be included in that unitary description, classical physics is an emergent approximation of quantum mechanics, decoherence suppresses interference for collective degrees of freedom, and measurement has no special role—cannot be read epistemically or inferentially, and cannot be replaced by a modified theory. The only consistent reading is representational, and that reading entails that observers themselves become part of the superposition they investigate: an observer looking at Schrödinger's cat evolves into a superposition of seeing the cat alive and seeing it dead. Because decoherence prevents reinterference, each component evolves without reference to the other, and there is a good word for a part of reality that looks like the ordinary Earth and evolves independently: a world. Section 5 asserts that no known modification, completion, or replacement of quantum mechanics reproduces the full range of unitary quantum mechanics, especially its quantum field theoretic predictions, so the Everett multiverse is forced if current physics is right.","claim_key":"core","tier":"stated","source":"verdict_pith","method":"signals","confidence":0.8,"assigned_at":"2026-08-19T03:39:25.701231+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"The Case for the Everett Multiverse","paper_submitted_at":"2026-08-07T18:49:40+00:00"},{"claim_id":2070987,"arxiv_id":"2608.07649","paper_version":1,"claim_text":"The central claim (Theorem 13.11) is that for a countable transitive permutation group $G\\curvearrowright S$ with $H$ the stabilizer of a point, if the closure $\\overline{H}$ of $H$ has relative Property (T) in the Polish group $\\overline{G}$ according to Definition 4.1, then for every compact metrizable $K$ with $|K|>1$ the Choquet simplex $\\mathcal{M}_\\mathrm{inv}(K^S)$ is Bauer precisely when $\\overline{G}$ has Property (T), and otherwise it is the Poulsen simplex. The theorem removes all intermediate geometries: under this hypothesis the simplex is never neither Bauer nor Poulsen, and the boundary between the two cases is exactly Kazhdan's property for the full closure. The proof proceeds by encoding the invariant-measure problem in affine logic: the quantifier-free type spaces of the theory $\\mathrm{PMP}_{G/H}$ are affinely homeomorphic to the simplices of invariant measures, and a general Bauer–Poulsen dichotomy for qf-simplicial, face-preserving, irreducible Robinson theories (Theorem 10.6) applies once relative Property (T) is used to show that every model of the common $\\forall\\exists$-theory of full models is decomposable as a direct integral of qf-extremal models.","claim_key":"core","tier":"stated","source":"verdict_pith","method":"phrase","confidence":0.9,"assigned_at":"2026-08-19T03:38:53.412781+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"Relative Property (T), simplices of invariant measures, and existentially closed models","paper_submitted_at":"2026-08-07T17:23:42+00:00"},{"claim_id":2047817,"arxiv_id":"2608.06663","paper_version":1,"claim_text":"The central claim is that outcome-only supervision and outcome-only evaluation stop working as task horizon grows, and the field's response is the same everywhere: replace the single terminal signal with denser, step-level signal. In training this appears as process reward models and credit assignment; in evaluation as trajectory-level diagnostics and benchmark-purification work; in memory and execution as traceable, recoverable trajectories. The paper further claims the execution trajectory is becoming the shared unit of analysis across all six categories, and that this convergence makes trajectory logging a precondition for answering the field's two open measurement problems.","claim_key":"core","tier":"stated","source":"verdict_pith","method":"phrase","confidence":0.9,"assigned_at":"2026-08-19T03:38:53.412781+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"The Horizon Gap: Planning, Memory, Execution, Training, and Evaluation for Long-Horizon LLM Agents","paper_submitted_at":"2026-08-07T00:19:48+00:00"},{"claim_id":1361915,"arxiv_id":"2608.01167","paper_version":1,"claim_text":"The central discovery is that allowing the query to depend on the measurement outcome changes the discrimination problem into a standard minimum-error discrimination problem for an auxiliary ensemble. The auxiliary ensemble consists of every pair $\\{x,y\\}$ with $x<y$, with states $\\varrho_{(x,y)}=(q_x\\varrho_x+q_y\\varrho_y)/(q_x+q_y)$ and prior probabilities $q_{(x,y)}=(q_x+q_y)/(n-1)$. Theorem 1 states that $P_{\\rm adap}^{\\rm post}=(n-1)P_{\\rm aux}$, and that the optimal measurement is exactly the minimum-error measurement for this auxiliary ensemble. This yields examples where pairwise non-orthogonal states become perfectly distinguishable (the trine states give $P_{\\rm adap}^{\\rm post}=1$), where post-measurement information beats pre-measurement information, and where the previously known bound $n\\le d+1$ for perfect discrimination is exceeded by constructions with $n=\\lfloor 3d/2 \\rfloor$ states.","claim_key":"core","tier":"stated","source":"verdict_pith","method":"signals","confidence":0.85,"assigned_at":"2026-08-19T03:39:25.701231+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"Perfect Discrimination of Non-Orthogonal Quantum States via Adaptive Post-Measurement Queries","paper_submitted_at":"2026-08-02T11:43:01+00:00"},{"claim_id":1093505,"arxiv_id":"2607.29012","paper_version":1,"claim_text":"The paper's central claim is that the single-photon path-entangled state (|1,0⟩−|0,1⟩)/√2 is Bell-nonlocal once the two stations share a phase reference, and that a realistic, detection-loophole-free test reduces to a single number: the overall probability μ that a heralded photon is detected. Because photonic loss is displacement-covariant, all loss before the displacement and at the detector collapses into μ=pη for symmetric arms, and both detection schemes belong to one operator family x^n after displacement. Maximizing CHSH over the four complex displacement settings gives μ_c=0.8258 for on–off detection and μ_c=0.9427 for parity detection, so the detector that needs no photon-number res","claim_key":"core","tier":"stated","source":"verdict_pith","method":"signals","confidence":0.85,"assigned_at":"2026-08-19T03:39:24.041755+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"Bell violation with path-entangled number states under realistic detection","paper_submitted_at":"2026-07-31T04:26:59+00:00"},{"claim_id":1209254,"arxiv_id":"2608.02635","paper_version":1,"claim_text":"The central claim is that all inconsistencies in Wigner's Friend and extended Wigner's Friend setups disappear if measurement collapse is part of quantum mechanical time evolution even or especially in isolated labs, the quantum state is universal and observer-independent, and observer knowledge is tracked separately via intersubjective probabilities. The decisive calculation concerns the extended setup's final double measurement: after the friend in the second lab measures the spin along z, the lab state collapses to one of the three definite branches (12a)-(12c) instead of remaining a coherent superposition. Computed from these branches, the probability that both external observers registe","claim_key":"core","tier":"stated","source":"verdict_pith","method":"signals","confidence":0.8,"assigned_at":"2026-08-19T03:39:25.701231+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"Wigner's Friend Paradox Revisited","paper_submitted_at":"2026-07-30T19:45:55+00:00"},{"claim_id":858646,"arxiv_id":"2607.27892","paper_version":1,"claim_text":"The central claim is that witness robustness R^F_{M_F}(M) — the minimum weight of free-state-witness noise that must be admixed to make a measurement free — is not merely a formal robustness measure but an operational one. Theorem 1 proves that for every N-outcome measurement M, max over free-state ensembles A_F of P_succ(A_F,M) divided by max over free measurements F of P_succ(A_F,F) equals 1 + R^F_{M_F}(M). In words, the ratio of the best discrimination success a measurement can achieve on free states to the best success any free measurement can achieve is exactly one plus its witness robustness. The proof goes through Sion's minimax theorem, which exchanges the max over ensembles with the","claim_key":"core","tier":"stated","source":"verdict_pith","method":"signals","confidence":0.85,"assigned_at":"2026-08-19T03:39:24.041755+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"Witness robustness: An operational quantifier of measurement resources via free state discrimination","paper_submitted_at":"2026-07-30T09:08:55+00:00"},{"claim_id":869241,"arxiv_id":"2607.27757","paper_version":1,"claim_text":"The central claim is an exact criterion: a unital qubit channel N_D is incompatibility breaking for arbitrary POVMs if and only if 2∫_{S²} ‖D n̂‖ dμ(n̂) ≤ 1. The proof constructs an explicit parent POVM Π_D(n̂) = 2[(‖D n̂‖+δ_D)1 + (D n̂)·σ]dμ(n̂), uses a support-function dual characterization to reduce universal simulability to a dual witness inequality, and then invokes a spherical-average inequality (Lemma 1) to show the witness can never beat the parent. Necessity follows because PVMs are a subclass of POVMs. Consequently PVM- and POVM-incompatibility breaking coincide for all unital qubit channels; via the steering–joint-measurability correspondence this yields the exact POVM-steering th","claim_key":"core","tier":"stated","source":"verdict_pith","method":"signals","confidence":0.85,"assigned_at":"2026-08-19T03:39:24.041755+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"Exact Incompatibility-Breaking Criterion for Unital Qubit Channels","paper_submitted_at":"2026-07-30T06:55:37+00:00"},{"claim_id":862771,"arxiv_id":"2607.26170","paper_version":1,"claim_text":"The central claim is that combining rather than choosing between deep learning and color-based segmentation solves the exposed-skin measurement problem for this image set. Mask R-CNN identifies human subjects and removes background interference; the color-based step then picks out bare skin on the masked person. The exposed-skin-to-body pixel ratios from this hybrid approach were benchmarked against human raters who used standard adult body-part percentages, and the overall agreement was about 80 percent. The paper presents this as a proof of concept that images can become a scalable source of exposure information.","claim_key":"core","tier":"stated","source":"verdict_pith","method":"phrase","confidence":0.9,"assigned_at":"2026-08-19T03:38:53.412781+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"A Picture Says Thousands of Words - Harnessing Dermal Exposure Data from Images through Hybrid Deep Learning for Enhanced Safety Assessment","paper_submitted_at":"2026-07-28T18:20:20+00:00"},{"claim_id":865872,"arxiv_id":"2607.25900","paper_version":1,"claim_text":"The central claim, stated as Theorem V.4, is that for an effect module A=[0,u]_V with point-separating states, an A-measurement model m is internally A-non-contextual if and only if the family of empirical models {σ*(m)} obtained by evaluating m under all states admits a coherently representable family of classical global explanations. Concretely, for each global assignment t, the statewise probabilities p_σ(t) must themselves be evaluations σ(a_t) of a single effect a_t in A. In vector-space terms this is equivalent to feasibility of the cone program: find d∈V_+^{E(X)} with Σ_t d(t)=u and M_V d=m. The same coherence condition characterizes equality between the effect-valued contextual fract","claim_key":"core","tier":"stated","source":"verdict_pith","method":"signals","confidence":0.85,"assigned_at":"2026-08-19T03:39:24.041755+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"Effect-valued measurement models and contextuality","paper_submitted_at":"2026-07-28T15:58:56+00:00"},{"claim_id":832673,"arxiv_id":"2607.23745","paper_version":1,"claim_text":"On its own terms, the paper's central claim is that quantum mechanics can be reorganized around a pre-probabilistic object: a complex-valued potentiality measure with density ψ, normalized by Σ|ψ|²=1 and fully additive, with ordinary probabilities produced only by the quadratic Born map. Everything usually called quantum—interference, entanglement, decoherence, the collapse of the state—is then a probability-level effect of that map, while linearity and additivity live one level down. Measurement is conditioning on an actualized record; non-selective measurement replaces a coherent potentiality by a mixture of conditional branches; the density matrix is a coherence kernel ΨΨ†. The paper prov","claim_key":"core","tier":"stated","source":"verdict_pith","method":"signals","confidence":0.85,"assigned_at":"2026-08-19T03:39:24.041755+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"The Physics of Unresolved Uncertainty: Quantum Mechanics as a Theory of Potentiality","paper_submitted_at":"2026-07-26T16:41:28+00:00"},{"claim_id":891509,"arxiv_id":"2607.21288","paper_version":1,"claim_text":"The paper proves that twenty correlators determined by the state CCZ|+++⟩, taken from the five global contexts ZZZ, XZZ, ZXZ, ZZX, and XXX, uniquely pin down the state and the action of the Pauli X and Z measurements up to local isometries. The proof fixes eight equally weighted computational branches and propagates conditional X-flip relations across a branch cube, recovering the minus sign of the 111 amplitude. The paper further shows that the canonical X/Z realization, although nonlocal, cannot attain the largest quantum value of any Bell inequality it violates: whenever it maximizes a Bell expression, the local bound equals that value. Introducing a third independent reflection D per par","claim_key":"core","tier":"stated","source":"verdict_pith","method":"signals","confidence":0.85,"assigned_at":"2026-08-19T03:39:24.041755+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"Device-Independent Self-Testing of the Three-Qubit CCZ Hypergraph State","paper_submitted_at":"2026-07-23T13:09:18+00:00"},{"claim_id":891607,"arxiv_id":"2607.21266","paper_version":1,"claim_text":"The central discovery is that the conserved Dirac current J_i = ψ*α_iψ, despite its sign-indefinite spatial components, is a 'causal current' whose time-component is positive and whose flux through achronal surfaces defines a unique covariant achronal localization T_d (Theorem 4). The construction, inherited from a general current-to-localization procedure, requires a polynomial decay estimate for the current's density on achronal sets; the paper proves this by a non-stationary phase argument (Prop 3 and Lemma 2). Extending the AL via the completion map Δ↦Δ∧ yields a unique covariant representation F_d of the causal logic (Theorem 6), and its trace on the positive-energy subspace gives the e","claim_key":"core","tier":"stated","source":"verdict_pith","method":"signals","confidence":0.85,"assigned_at":"2026-08-19T03:39:24.041755+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"Representation of the causal logic for the Dirac system and the electron","paper_submitted_at":"2026-07-23T12:38:41+00:00"},{"claim_id":910136,"arxiv_id":"2607.19596","paper_version":1,"claim_text":"On the paper's own terms, the central discovery is that a measurement outcome is not contained in an entangled state. The entangled state is an a priori statistical description, not a record of what happened. In Wigner's friend, the friend's memory is itself a quantum degree of freedom, and the propositions 'the outcome was 1' and 'the whole lab is in the entangled state' are represented by projectors that do not commute; their joint truth depends on measurement order (|a|^2 versus |a|^4 in the simplified two-qubit model). The Frauchiger–Renner chain of implications fails in the same way: each implication is derivable only under a different temporal ordering of the measurements, so no single","claim_key":"core","tier":"stated","source":"verdict_pith","method":"signals","confidence":0.8,"assigned_at":"2026-08-19T03:39:24.041755+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"Intelligent qubits","paper_submitted_at":"2026-07-21T21:49:09+00:00"},{"claim_id":914291,"arxiv_id":"2607.19142","paper_version":1,"claim_text":"The paper's central claim is that for isolated, non-integrable quantum systems in the thermodynamic limit—where the Liouvillian's spectrum is absolutely continuous—the resolvent develops a branch cut across the real axis, and the unitary evolution splits into a retarded semigroup for t>0 and an advanced semigroup for t<0. The physical, forward-time semigroup is obtained by analytically continuing the Green's function through the branch cut to a second Riemann sheet, where a unique simple pole at z=0 gives the microcanonical invariant measure and additional resonance poles with negative imaginary parts give exponentially decaying corrections. As a result, lim_{t→∞} ω_t(A)=ω^{mce}_{eq}(A) for","claim_key":"core","tier":"stated","source":"verdict_pith","method":"signals","confidence":0.8,"assigned_at":"2026-08-19T03:39:24.041755+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"The arrow of time, irreversibility, equilibrium and measurement in quantum mechanics","paper_submitted_at":"2026-07-21T14:35:12+00:00"},{"claim_id":918402,"arxiv_id":"2607.18732","paper_version":1,"claim_text":"The central claim is the identity C̃ + P̃ = 1 for pure states (normalized Kirkwood–Dirac coherence equals the complement of normalized Bures predictability in the same basis), and its mixed-state extension C̃ + P̃ ≤ 1 via convex-roof coherence. The author argues that this identity gives coherence an operational meaning as 'classically irreducible randomness': if a user is told which pure state from an ensemble decomposition of ρ was prepared, the unpredictability of a fixed-basis measurement that remains is exactly the convex-roof coherence. Theorem 1 converts this into a worst-case min-entropy bound H^cl_min(A|I) ≥ −log Q_d(1+C(ρ,{Π_a})) with an explicit quadratic function Q_d, valid for ev","claim_key":"core","tier":"stated","source":"verdict_pith","method":"signals","confidence":0.85,"assigned_at":"2026-08-19T03:39:24.041755+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"Trade-off between predictability and quantum coherence for multi-path interferometry and its operational interpretation","paper_submitted_at":"2026-07-21T05:43:59+00:00"},{"claim_id":926479,"arxiv_id":"2607.17894","paper_version":1,"claim_text":"The Stronger Theorem states that four assumptions are jointly inconsistent: the true quantum probabilities for all sufficiently fine chained singlet experiments, Hidden Autonomy, Parameter Independence, and Robust Improved Predictions. Since the first two and the last are nearly unavoidable for a serious hidden-variable theory, Parameter Independence is the unique culprit. The paper further shows that in Kryukov's random-matrix framework, the hidden variable is the stored random stream that drives the measurement walk, with measurement settings acting as seeds. Conditional on that stream, the distant setting determines the local outcome (Parameter Independence fails), but averaging over the","claim_key":"core","tier":"stated","source":"verdict_pith","method":"signals","confidence":0.85,"assigned_at":"2026-08-19T03:39:24.041755+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"How the Quantum Sorites Phenomenon Strengthens the Bell Argument and How a Random-Matrix Collapse Dynamics Answers It","paper_submitted_at":"2026-07-20T12:43:08+00:00"},{"claim_id":926526,"arxiv_id":"2607.17886","paper_version":1,"claim_text":"For a monitored circuit with conserved charge, the finite-size learnability boundary—the crossover from a record too weak to infer the label to one that is sufficient—is approximately organized by the local informational power I_loc(q,η) = q·I_read(η), where I_read(η) is the single-readout informational power of a weak measurement of strength η. Projective measurements (η=1) and weak measurements with the same I_loc are claimed to yield similar decoding behavior, so the transition is controlled by one combined scale rather than by measurement probability and strength separately. The paper further shows that cross-entropy variance, unlike posterior-entropy Binder ratios, correctly identifies","claim_key":"core","tier":"stated","source":"verdict_pith","method":"signals","confidence":0.85,"assigned_at":"2026-08-19T03:39:24.041755+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"Unifying Charge-Learnability Transitions in U(1)-Symmetric Quantum Circuits through Informational Power of Local Measurement","paper_submitted_at":"2026-07-20T12:37:16+00:00"},{"claim_id":934524,"arxiv_id":"2607.17086","paper_version":1,"claim_text":"The paper's central claim is that the Many Worlds interpretation must obtain the Born rule either axiomatically, deductively, or inductively, and that all three approaches are blocked by the interpretation's own core commitments. Axiomatically, the Born rule cannot be a physical axiom because modern Many Worlds formulations treat branches, observers, and measuring devices as emergent, not fundamental, so the probabilities have nothing fundamental to refer to. Deductively, the standard axioms contain no probabilistic notions, so any valid derivation would need an extra probabilistic or normative premise that is either inconsistent with the ontology or unjustifiable; symmetry-based and decisio","claim_key":"core","tier":"stated","source":"verdict_pith","method":"signals","confidence":0.8,"assigned_at":"2026-08-19T03:39:24.041755+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"Against Many Worlds","paper_submitted_at":"2026-07-19T05:44:01+00:00"},{"claim_id":944257,"arxiv_id":"2607.16020","paper_version":1,"claim_text":"The central discovery is that the Elegant Joint Measurement, previously known for two qubits and found numerically for three and four, has a closed form for every n >= 2. Written as a precision-2 phase polynomial f_EJM = sum_{k=2}^n (-1)^k e_k mod 4, it defines, through the Pauli-orbit construction, an orthonormal basis whose Bloch vectors are exactly (1,1,1)/2^{n-1} on all qubits except the last, which has (1,-1,1)/2^{n-1}; hence the tetrahedron's Bloch length is sqrt(3)/2^{n-1}. The measurement unitary is exactly at Clifford-hierarchy level n+1. In addition, for even n, adding a single indicator phase tau phi gives an exact family with Bloch length sqrt(3)/2^{n-1} |cos(pi tau / 2)|, interp","claim_key":"core","tier":"stated","source":"verdict_pith","method":"signals","confidence":0.85,"assigned_at":"2026-08-19T03:39:24.041755+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"Tunable Families of Multiqubit Elegant Joint Measurements","paper_submitted_at":"2026-07-17T14:56:20+00:00"},{"claim_id":944687,"arxiv_id":"2607.15978","paper_version":1,"claim_text":"The central claim is that the reaction-coordinate (RC) mapping, a standard technique for Markovian embedding of structured environments, can restore complete positive divisibility in a suitably augmented system–RC unit even when the bare system dynamics are strongly non-Markovian. Because this augmented unit evolves under a GKLS master equation, the usual sequential Bayesian update of conditional Gaussian states applies. The paper derives the conditional dynamics via a quantum Kalman filter (Eqs. (8)–(9)) and shows that, in the long-time limit, the total Fisher information of the measurement record is given by F_total(θ) = τ λ Tr[LᵀV⁻¹L Q Σ_ss Qᵀ], where Σ_ss solves an augmented Lyapunov equ","claim_key":"core","tier":"stated","source":"verdict_pith","method":"signals","confidence":0.85,"assigned_at":"2026-08-19T03:39:24.041755+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"Parameter Estimation in a Continuously Monitored Non-Markovian Quantum System","paper_submitted_at":"2026-07-17T14:10:54+00:00"},{"claim_id":945407,"arxiv_id":"2607.15874","paper_version":1,"claim_text":"Central claim: for any POVM A on a d-dimensional system and any pure-state ensemble E, the largest average input–output fidelity over all compatible instruments is a value FE(A), computable as a semidefinite program. For uniformly random (Haar) inputs, FE(A) = (1 + (1/d)Σ_a Tr(√A_a)^2)/(d+1), attained by the Lüders instrument. Consequences claimed: Haar bound is 2/(d+1) iff all effects are rank one; weighted state exclusion estimates the bound from probe statistics without knowing the POVM (robust to preparation errors); loss and depolarisation with equal informativeness are distinguished; Lüders is suboptimal for non-Haar ensembles; fidelity bounds limit an eavesdropper's guessing probabili","claim_key":"core","tier":"stated","source":"verdict_pith","method":"signals","confidence":0.85,"assigned_at":"2026-08-19T03:39:24.041755+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"The statistical disturbance bound of quantum measurements","paper_submitted_at":"2026-07-17T11:41:22+00:00"},{"claim_id":948240,"arxiv_id":"2607.15640","paper_version":1,"claim_text":"The central discovery is that unstructured corporate disclosure can be transformed into a calibrated, weighted, directed, point-in-time firm network by treating graph construction as a measurement problem rather than a by-product of community detection or return prediction. The pipeline fuses independent filing-reading and background-knowledge agents via weighted logit pooling around a sparse prior, applies inverse-document-frequency filtering to suppress ubiquitous counterparties, and uses a double-sided relative threshold so an edge forms whenever either firm is among the other's important partners. On the tested universe the measured graph has 149 edges; the audit confirms that precision","claim_key":"core","tier":"stated","source":"verdict_pith","method":"phrase","confidence":0.9,"assigned_at":"2026-08-19T03:38:53.412781+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"LLM Latent Edge Measurement: Point-in-Time Economic Graphs for Quantitative Investing from Corporate Disclosures","paper_submitted_at":"2026-07-17T05:29:28+00:00"},{"claim_id":958757,"arxiv_id":"2607.14583","paper_version":1,"claim_text":"The paper's central claim is that an exactly silent marginal is compatible with invasive branch dynamics. It proves this by Theorem 1: if a state is a common fixed point of the nonselective sequential channel Mτ = D∘Uτ, then every pairwise NSIT condition holds with η_NSIT = 0. The paper then solves the global CFP manifold for a single excitation on a three-site ring under the measurement \"is the excitation at site 0?\", obtaining ρ*(λ) = λ/2 Π_ab + (1−λ)|c⟩⟨c|. For every λ > 0, including the maximally mixed λ = 2/3, exact pairwise NSIT holds but the Leggett–Garg correlator K1 reaches 1 + 4λ/9, violating the classical bound. Hidden-variable reconstruction and an entropic witness independently","claim_key":"core","tier":"stated","source":"verdict_pith","method":"signals","confidence":0.85,"assigned_at":"2026-08-19T03:39:24.041755+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"Exact No Signaling in Time without Temporal Classicality","paper_submitted_at":"2026-07-16T05:23:14+00:00"},{"claim_id":968026,"arxiv_id":"2607.13645","paper_version":1,"claim_text":"The central claim is that in n-partite GHZ Bell tests with orthogonality-preserving coherent misalignment affecting m parties, every considered Bell value obeys S′ = S_Q cos(mθ), producing periodic violation windows centered at 2kπ/n with half-width arccos(S_C/S_Q)/n that shrinks as 1/n; while under incoherent outcome flipping with correct-readout probability p, every full correlation is multiplied by (2p−1)^n, yielding S′ = S_Q(2p−1)^n and a single threshold p_cr = ((S_C/S_Q)^{1/n}+1)/2. For the Svetlichny inequality, S_C/S_Q = 1/√2, so its windows are half as wide as Mermin/MABK windows and its flipping threshold decreases with n, while MABK and odd-n Mermin become more tolerant of flippin","claim_key":"core","tier":"stated","source":"verdict_pith","method":"signals","confidence":0.85,"assigned_at":"2026-08-19T03:39:24.041755+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"Effects of coherent and incoherent measurement imperfections on multipartite quantum nonlocality and quantum key distribution","paper_submitted_at":"2026-07-15T09:43:34+00:00"},{"claim_id":659799,"arxiv_id":"2607.08507","paper_version":1,"claim_text":"The Belavkin quantum filtering equations for mixed states are well-posed in infinite dimensions, arise rigorously as continuous-measurement limits of discrete sequential observations, and satisfy propagation of chaos: large systems of continuously observed interacting particles converge to nonlinear mean-field Belavkin equations that define quantum mean-field games and feedback control.","claim_key":"core","tier":"stated","source":"verdict_pith","method":"signals","confidence":0.8,"assigned_at":"2026-08-19T03:39:24.041755+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"Quantum filtering and propagation of chaos for open quantum systems, with applications to quantum feedback control and quantum mean-field games","paper_submitted_at":"2026-07-09T14:02:50+00:00"},{"claim_id":688093,"arxiv_id":"2607.03924","paper_version":1,"claim_text":"The local splitting operators of a tree-indexed POVM, defined on the range spaces of successive cylinder values, simultaneously recover the measure, assemble into an intrinsic direct-limit construction that is the minimal Naimark dilation, and convert the commutant of that dilation into a martingale calculus on the range spaces. That calculus yields local characterizations of extremality, domination, bounded change of measure, and the projection-valued case via vanishing local variance.","claim_key":"core","tier":"stated","source":"verdict_pith","method":"signals","confidence":0.8,"assigned_at":"2026-08-19T03:39:24.041755+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"Tree Coordinates and Range Martingales for Positive Operator-Valued Measures","paper_submitted_at":"2026-07-04T15:36:32+00:00"},{"claim_id":12091,"arxiv_id":"2607.02082","paper_version":1,"claim_text":"Evolutionary optimization over the small input examples used by WFC improves the quality of generated levels in domains where properties emerge from local relationships, while domains requiring global constraints remain challenging. WFC acts as the genotype-to-phenotype mapping, and generated levels are evaluated through domain-specific fitness functions.","claim_key":"core","tier":"stated","source":"verdict_pith","method":"signals","confidence":0.75,"assigned_at":"2026-08-19T03:39:24.041755+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"Evolutionary Wave Function Collapse","paper_submitted_at":"2026-07-02T12:25:11+00:00"},{"claim_id":779949,"arxiv_id":"2607.09735","paper_version":1,"claim_text":"The decisive control parameter for the quantum-to-classical transition is the number of independent degrees of freedom of the relevant excitation, not the number of particles. All representative experiments that appear to preserve quantum behavior at large particle numbers do so because that number of degrees of freedom stays of order one; reduction and classicality appear only when the count of degrees of freedom exceeds a critical threshold.","claim_key":"core","tier":"stated","source":"verdict_pith","method":"signals","confidence":0.75,"assigned_at":"2026-08-19T03:39:24.041755+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"On the Classical Limit of Quantum Mechanics","paper_submitted_at":"2026-07-02T10:34:19+00:00"},{"claim_id":14275,"arxiv_id":"2607.00198","paper_version":1,"claim_text":"Within the framework of quantum mechanics on L2(R × Q_p), wavefunction collapse is a dynamical consequence of the Schrödinger equation, leading to localization on compact supports. Modeling both Wigner and his Friend as classical apparatuses results in each producing a definite reading through independent applications of this mechanism, thereby eliminating the paradox. The framework upholds the absoluteness of observed events without requiring observer independence.","claim_key":"core","tier":"stated","source":"verdict_pith","method":"phrase","confidence":0.9,"assigned_at":"2026-08-19T03:39:24.041755+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"Wavefunctions localization, and the Wigner's Friend Paradox in a Framework of Discrete-Space Hypothesis","paper_submitted_at":"2026-06-30T21:26:50+00:00"},{"claim_id":602810,"arxiv_id":"2606.30219","paper_version":1,"claim_text":"Central claim: LLM evaluation and AI safety share one measurement problem—benchmark scores, reward signals, and safety metrics can improve while the latent properties they represent stay hard to verify. EvalSafetyGap unifies these as proxy–target divergence under optimization pressure, organized by an Instability Decomposition (divergence driven by optimization pressure, proxy misspecification, measurement variability, evidence amount, distribution shift, model process) and an Alignment Trilemma (optimization effectiveness, target fidelity, robust generalization). An exploratory ten-model audit shows capability, behavioral robustness, and governance are separate layers: capability–ASR-100 co","claim_key":"core","tier":"stated","source":"verdict_pith","method":"phrase","confidence":0.9,"assigned_at":"2026-08-19T03:38:53.412781+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"EvalSafetyGap: A Hybrid Survey and Conceptual Framework for LLM Evaluation-Safety Failures","paper_submitted_at":"2026-06-29T12:33:06+00:00"},{"claim_id":495636,"arxiv_id":"2606.21211","paper_version":1,"claim_text":"Theorem 1.9 states that there exists a projective and sharp semiclassical measurement scheme M_{ε→0} for O=σ_z, accurate at least of order |ln ε|^{-1/2}. The von Neumann part consists of a two-level system coupled to a bosonic field in a coherent state |u_ε⟩; the measurement coupling is the interaction-picture spin-boson evolution at time t_ε=O(|ln ε|). Theorems 2.6 and 2.8 show that for small coupling g and initial fields u with Re⟨u,g⟩=0, the final state converges in the sense of Fourier transforms to p_+(ϱ)|+⟩⟨+|δ_{u^∞_+}+p_-(ϱ)|-⟩⟨-|δ_{u^∞_-}, where u^∞_+≠u^∞_-; the distances are bounded by C(κ₁,κ₂)/|ln ε|^{1/2}. This realizes von Neumann's scheme as a concrete unitary model whose classi","claim_key":"core","tier":"stated","source":"verdict_pith","method":"signals","confidence":0.8,"assigned_at":"2026-08-19T03:39:22.523461+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"Measuring a quantum system without problems","paper_submitted_at":"2026-06-19T08:27:01+00:00"},{"claim_id":991053,"arxiv_id":"2606.15254","paper_version":1,"claim_text":"On the paper's own terms, the central discovery is a mapping: biofilm–antimicrobial evaluation is a four-dimensional measurement problem that can be decomposed into four spatially and temporally structured questions (penetration, depth-resolved killing, matrix remodeling, community reassembly), and the imaging technology landscape, sorted by temporal capability and label dependence, exposes a single live, label-free, four-dimensional quadrant. The quadrant is occupied by five complementary modalities — optical coherence tomography, holotomography, stimulated Raman scattering, Brillouin microscopy, and in-liquid atomic force microscopy — none of which individually answers all four questions.","claim_key":"core","tier":"stated","source":"verdict_pith","method":"phrase","confidence":0.9,"assigned_at":"2026-08-19T03:38:53.412781+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"Imaging biofilms in three dimensions: modalities, quantitative readouts, and the path to four-dimensional measurement","paper_submitted_at":"2026-06-13T11:20:38+00:00"},{"claim_id":554286,"arxiv_id":"2606.03676","paper_version":1,"claim_text":"The central claim is that levitating a ferromagnet creates a platform where the locking between collective spin and lattice rotation enables mechanical control, producing a macrospin GHZ superposition whose quantum Fisher information scales with the square of the number of spins rather than linearly.","claim_key":"core","tier":"stated","source":"verdict_pith","method":"signals","confidence":0.8,"assigned_at":"2026-08-19T03:39:22.523461+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"Macroscopic Spin GHZ States with a Levitated Ferromagnet","paper_submitted_at":"2026-06-02T14:00:39+00:00"},{"claim_id":564550,"arxiv_id":"2606.00805","paper_version":1,"claim_text":"The central claim is that mathematical ontologies of matter grounded in quantum field theory cannot succeed, as evidenced by the repeated failures following Wigner's symmetry-based approach. In their place the authors advance an ontology of the science of physics that explicitly includes both real entities and the idealities physicists use when thinking, with the upper level of this ontology describing how mathematics enters physical inquiry.","claim_key":"core","tier":"stated","source":"verdict_pith","method":"signals","confidence":0.75,"assigned_at":"2026-08-19T03:39:22.523461+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"A Husserlian ontology of the science of physics","paper_submitted_at":"2026-05-30T16:44:34+00:00"},{"claim_id":578608,"arxiv_id":"2605.30067","paper_version":1,"claim_text":"The authors formulate a system of axioms for quantum theory and demonstrate through a specific model that the behavior of a classical harmonic oscillator in thermal equilibrium with a thermostat can be reinterpreted as that of a quantum oscillator, providing a basis for understanding probability and measurement in the theory.","claim_key":"core","tier":"stated","source":"verdict_pith","method":"signals","confidence":0.8,"assigned_at":"2026-08-19T03:39:20.824085+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"Quantum Mechanics: Problems and Paradoxes","paper_submitted_at":"2026-05-28T15:15:27+00:00"},{"claim_id":582424,"arxiv_id":"2605.28080","paper_version":1,"claim_text":"We obtain an improvement of the Hardy-Littlewood inequality M_q(r,f) ≤ C(p,q) M_p(ρ,f) / (ρ-r)^{1/p-1/q} for 0≤r<ρ≤1 that holds with constants independent of r and ρ. This improvement is employed to characterize the symbols g∈H(D) such that the analytic paraproducts T_g f(z)=∫_0^z f(ζ)g'(ζ)dζ, S_g f(z)=∫_0^z f'(ζ)g(ζ)dζ and M_g f(z)=f(z)g(z) are bounded between two different mixed-norm spaces A^{p,q}_ω induced by a radial doubling weight ω. En route we solve a meaningful particular case of Luecking's open Carleson measure problem.","claim_key":"core","tier":"stated","source":"verdict_pith","method":"phrase","confidence":0.9,"assigned_at":"2026-08-19T03:38:53.412781+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"Improvement of a Hardy-Littlewood inequality and applications to the boundedness of analytic paraproducts on mixed norm spaces","paper_submitted_at":"2026-05-27T07:34:03+00:00"},{"claim_id":587660,"arxiv_id":"2605.26860","paper_version":1,"claim_text":"A Bragg atom interferometer is shown to reach 99% fringe contrast sustained to 60 ms interrogation time. Systematic correction of technical contrast-loss mechanisms produces an upper limit λ_CSL = 1.27 × 10^{-5} s^{-1} at r_C = 10^{-5} m, approximately four times stronger than earlier atom-interferometric results.","claim_key":"core","tier":"stated","source":"verdict_pith","method":"signals","confidence":0.8,"assigned_at":"2026-08-19T03:39:20.824085+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"A High-Contrast Bragg Atom Interferometer for Testing Continuous Spontaneous Localization","paper_submitted_at":"2026-05-26T11:19:17+00:00"},{"claim_id":596170,"arxiv_id":"2605.25396","paper_version":1,"claim_text":"STR IQ recasts annotation-free US plane quality control as a subspace-guided consistency measurement problem. It uses a Latent Registration Aligner to establish hierarchical feature-space correspondences between query images and variance-driven anchors autonomously distilled from unlabeled data, while an Orthogonal Knowledge Subspace module decomposes representations into mutually orthogonal subspaces to prevent inter-plane interference and ground the quality metric in principled subspace proximity.","claim_key":"core","tier":"stated","source":"verdict_pith","method":"phrase","confidence":0.9,"assigned_at":"2026-08-19T03:38:53.412781+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"Subspace-Guided Semantic and Topological Invariant Registration for Annotation-Free Ultrasound Plane Quality Control","paper_submitted_at":"2026-05-25T03:44:04+00:00"},{"claim_id":398630,"arxiv_id":"2605.22551","paper_version":1,"claim_text":"If each single measurement run with a definite outcome is realized by a joint unitary evolution of the system, apparatus and environment together, and if runs yielding different definite outcomes correspond to different unitary maps, then there exists a lower bound on the dependence of the post-measurement environment state on the pre-measurement system state, conditioned on the same outcome.","claim_key":"core","tier":"stated","source":"verdict_pith","method":"signals","confidence":0.8,"assigned_at":"2026-08-19T03:39:20.824085+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"Joint Unitarity and a Single Definite Outcome in a Quantum Measurement","paper_submitted_at":"2026-05-21T14:34:24+00:00"},{"claim_id":400326,"arxiv_id":"2605.21973","paper_version":1,"claim_text":"F2G reformulates video temporal grounding as a verifiable Identify-then-Measure problem. It integrates Predictive Temporal Perception with Evidence-Driven Reasoning by learning boundary-sensitive temporal representations to build a video-wide evidence pool of candidate event segments and exposes these segments to the LLM as citable evidence units that bind boundary prediction to explicit event hypotheses. By decoupling event identification from precise boundary measurement, F2G stabilizes grounding and makes predictions verifiable.","claim_key":"core","tier":"stated","source":"verdict_pith","method":"phrase","confidence":0.9,"assigned_at":"2026-08-19T03:38:53.412781+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"Foresee-to-Ground: From Predictive Temporal Perception to Evidence-Driven Reasoning for Video Temporal Grounding","paper_submitted_at":"2026-05-21T04:03:25+00:00"},{"claim_id":366822,"arxiv_id":"2605.20111","paper_version":1,"claim_text":"The contextual phase is installed randomly into the entangled state, and decides the measurement outcomes for the subsystems by directing the collapse of each superposition to a particular classical outcome when a subsystem is measured.","claim_key":"core","tier":"stated","source":"verdict_pith","method":"signals","confidence":0.8,"assigned_at":"2026-08-19T03:39:20.824085+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"Mechanism of wavefunction collapse in measurements of separated quantum subsystems","paper_submitted_at":"2026-05-19T16:59:36+00:00"},{"claim_id":375364,"arxiv_id":"2605.16148","paper_version":1,"claim_text":"Under the assumption that quantum macrostates are statistical ensembles of microstates, the Schrödinger equation decouples macroscopic and microscopic degrees of freedom, resulting in an effective Itô stochastic equation for the macroscopic variables where the ensemble average of the microscopic amplitudes serves as self-generated internal white noise. When causality conditions are satisfied, this equation is reducing and predicts a very quick collapse of any macroscopic superposition upon formation, with probabilities satisfying the Born rule. This provides a simple dynamical solution to the measurement problem in the von Neumann scheme.","claim_key":"core","tier":"stated","source":"verdict_pith","method":"phrase","confidence":0.9,"assigned_at":"2026-08-19T03:39:20.824085+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"A reason why we do not observe Schr\\\"odinger's cats","paper_submitted_at":"2026-05-15T16:28:30+00:00"},{"claim_id":285362,"arxiv_id":"2605.14538","paper_version":1,"claim_text":"We present an argument against the absoluteness of free choices under the same notion of locality, using an extended Wigner's friend scenario based on the Pusey-Barrett-Rudolph theorem.","claim_key":"core","tier":"stated","source":"verdict_pith","method":"signals","confidence":0.8,"assigned_at":"2026-08-19T03:39:20.824085+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"Are free choices absolute, when internalized in Wigner's friend?","paper_submitted_at":"2026-05-14T08:21:35+00:00"},{"claim_id":276014,"arxiv_id":"2605.13570","paper_version":1,"claim_text":"By constraining the action space of a PCGRL generator with local constraints learned by WFC from existing content, the hybrid method produces levels that satisfy both local visual patterns and global properties such as playability.","claim_key":"core","tier":"stated","source":"verdict_pith","method":"signals","confidence":0.75,"assigned_at":"2026-08-19T03:39:20.824085+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"Learning Local Constraints for Reinforcement-Learned Content Generators","paper_submitted_at":"2026-05-13T14:07:10+00:00"},{"claim_id":155292,"arxiv_id":"2605.02528","paper_version":1,"claim_text":"A policy trained on the combined set of sparse, maze, graph, and Wave Function Collapse generators achieves 91.5 +/- 1.1% mean success rate across 1000 seeded maps per generator. Specialist policies fail dramatically on unseen generator types, with sparse-trained dropping to 3.3% on mazes. A* path-planner subgoal inputs raise success from 90.2% feedforward to 98.9 +/- 0.4%, outperforming GRU recurrence. The DRL policies maintain high performance at 2.0 m/s where a classical controller drops to 24.9%, due to learned speed adaptation. Real-world tests on RoboMaster show transfer in cluttered arenas but note maze-like failures mitigated by recurrence.","claim_key":"core","tier":"stated","source":"verdict_pith","method":"phrase","confidence":0.9,"assigned_at":"2026-08-19T03:38:53.412781+00:00","lean_module":null,"lean_decl":null,"lean_status":null,"reality_plus_commit":null,"paper_title":"Beyond Specialization: Robust Reinforcement Learning Navigation via Procedural Map Generators","paper_submitted_at":"2026-05-04T12:28:16+00:00"}]}