Abstract We formulate and analyze an operational test of a tacit assumption frequently made in quantum device modeling: that the reduced density matrix ρS of a subsystem S is a sufficient state variable for predicting its future reduced evolution under fixed declared controls. We formalize this assumption as Local Evolution Completeness (LEC): if two global preparations share the same reduced state ρS (0), then they must yield identical ρS ( t ) under identical device dynamics. We first establish a strict-locality null result: when the applied Hamiltonian factorizes as HS ⊗ IE , LEC holds exactly, independent of correlations with ancillary degrees of freedom. We then prove, via an explicit process-tensor counterexample, that LEC can fail even when all intermediate maps are completely positive and trace-preserving and the global dynamics is strictly unitary. In such cases, no reduced map Φ exists with ρS ( t ) = Φ( ρS (0)) for all embeddings realizing the same ρS (0). To operationalize this distinction, we construct a fully solvable qubit–ancilla model and derive closed-form reduced trajectories, along with a statistical inference framework for detecting preparation-dependent deviations under fixed controls. We provide microscopic realizations of the embedding variable responsible for LEC failure, including correlation-invariant and control-reference mechanisms. The proposed protocol isolates a distinct experimental axis from traditional nonlinear quantum mechanics tests: it probes the predictive sufficiency of reduced states rather than convex linearity of state evolution. A violation of LEC would not imply a modification of global unitary dynamics, but rather demonstrate that single-time reduced density matrices are not sufficient statistics for multi-time prediction in the tested setting. This clarifies the structural role of reduced states within the operational foundations of quantum theory.
Abstract We formulate and analyze an operational test of a tacit assumption frequently made in quantum device modeling: that the reduced density matrix ρS of a subsystem S is a sufficient state variable for predicting its future reduced evolution under fixed declared controls. We formalize this assumption as Local Evolution Completeness (LEC): if two global preparations share the same reduced state ρS (0), then they must yield identical ρS ( t ) under identical device dynamics. We first establish a strict-locality null result: when the applied Hamiltonian factorizes as HS ⊗ IE , LEC holds exactly, independent of correlations with ancillary degrees of freedom. We then prove, via an explicit process-tensor counterexample, that LEC can fail even when all intermediate maps are completely positive and trace-preserving and the global dynamics is strictly unitary. In such cases, no reduced map Φ exists with ρS ( t ) = Φ( ρS (0)) for all embeddings realizing the same ρS (0). To operationalize this distinction, we construct a fully solvable qubit–ancilla model and derive closed-form reduced trajectories, along with a statistical inference framework for detecting preparation-dependent deviations under fixed controls. We provide microscopic realizations of the embedding variable responsible for LEC failure, including correlation-invariant and control-reference mechanisms. The proposed protocol isolates a distinct experimental axis from traditional nonlinear quantum mechanics tests: it probes the predictive sufficiency of reduced states rather than convex linearity of state evolution. A violation of LEC would not imply a modification of global unitary dynamics, but rather demonstrate that single-time reduced density matrices are not sufficient statistics for multi-time prediction in the tested setting. This clarifies the structural role of reduced states within the operational foundations of quantum theory.
Quantum density matrices provide a complete operational description of measurement outcomes at a given time, yet it is well known that identical reduced states can arise from inequivalent interaction histories. In non-Markovian settings, these hidden histories can influence future dynamics under re-interaction, leading to divergent evolution despite identical instantaneous observables. This work addresses the structural gap between measurement completeness and evolutionary predictability in standard quantum state descriptions. We formalize this gap by introducing a minimal extension of the quantum state that preserves all standard measurement statistics while explicitly tracking interaction memory. The construction is defined through an extended state space equipped with a canonical marginal map onto the usual density-matrix formalism, ensuring full compatibility with the Born rule, complete positivity, and no-signaling. Within this framework, quantum states are shown to be operationally equivalent for measurement yet generically non-equivalent for future evolution. A concrete two-qubit model is presented to illustrate the core mechanism. Two preparation histories yield identical reduced density matrices—one storing coherence in system-environment correlations and the other dissipating it through decoherence. Under a subsequent memory-coupling interaction, these states evolve differently, demonstrating that reduced quantum states are insufficient to determine future dynamics in the presence of interaction memory. This example mirrors experimentally accessible echo and recoherence protocols and can be simulated exactly using standard quantum tools. The results clarify that no modification of quantum mechanics is required: the observed divergence arises from untracked correlations rather than hidden variables or observer-dependent effects. By separating measurement completeness from evolutionary completeness, this work provides a precise language for non-Markovian dynamics, coherence recovery, and history-dependent qubit behavior. The framework offers a structured basis for analyzing decoherence, error mitigation, and memory effects in realistic quantum systems without altering the predictions of standard quantum theory.
Initial system-environment correlations can induce reduced dynamics that depart from the standard completely positive (CP) description. We study when such dynamics can be reproduced by the same global unitary acting on an initial system-environment product state. We show that local preprocessing on the system, applied prior to the joint evolution, can lead to dynamics which are completely positive. We focus on two-qubit system-environment states, with a three-qubit extension when a single ancilla is used to implement Kraus channel preprocessing. We analyze three classes of local operations−measurements, unitaries, and Kraus channels−and characterize their ability to satisfy dynamics matching while minimally perturbing the initial system state. Local measurements can always enforce dynamics matching but necessarily reduce state fidelity. We numerically investigated local unitary preprocessing. Local unitaries enforce dynamics matching in all tested instances and typically preserve the system state: in 402 numerical cases the average fidelity is 99.8%, more than 92% of cases exceed 99% fidelity, and the minimum fidelity is 94.2%. We show that a two-term Kraus channel, realizable with a single ancillary qubit coupled to the system, achieves dynamics matching with unit fidelity in all tested cases. As a second contribution, we demonstrate that local preprocessing can prevent the emergence of non--completely positive (NCP) reduced dynamics in a time-dependent setting. For a correlated two-qubit experiment with a time-dependent global unitary U(t), the induced compatibility domain is fixed by the initial correlations. For every t in a nontrivial continuous interval, the reduced dynamics are NCP when defined over this domain. We then show that a single, time-independent local unitary applied prior to the joint evolution renders the reduced dynamics CP over the entire interval.
We study the influence of the preparation of an open quantum system on its reduced time evolution. In contrast to the frequently considered case of an initial preparation where the total density matrix factorizes into a product of a system density matrix and a bath density matrix the time evolution generally is no longer governed by a linear map nor is this map affine. Put differently, the evolution is truly nonlinear and cannot be cast into the form of a linear map plus a term that is independent of the initial density matrix of the open quantum system. As a consequence, the inhomogeneity that emerges in formally exact generalized master equations is in fact a nonlinear term that vanishes for a factorizing initial state. The general results are elucidated with the example of two interacting spins prepared at thermal equilibrium with one spin subjected to an external field. The second spin represents the environment. The field allows the preparation of mixed density matrices of the first spin that can be represented as a convex combination of two limiting pure states, i.e., the preparable reduced density matrices make up a convex set. Moreover, the map from these reduced density matrices onto the corresponding density matrices of the total system is affine only for vanishing coupling between the spins. In general, the set of the accessible total density matrices is nonconvex.
This paper studies a minimal time-symmetric operational framework in which information from initial preparation and post-selection is used to define an operational description of quantum evolution. Quantum randomness is interpreted as epistemic incompleteness rather than ontological indeterminacy. The central dynamical object is the informational coupling map Λκ(ρ) = (1 − κ)ρ + κσZ, which mixes the actual state ρ with a fixed reference state σZ. The channel itself is mathematically standard; the contribution of the manuscript is the operational interpretation of the dimensionless coupling parameter κ as a measure of boundary alignment, its entropy-based estimation under explicitly stated assumptions, and its embedding in a delayed-choice quantum random number generator (QRNG) protocol. A Gorini–Kossakowski–Sudarshan–Lindblad (GKSL) representation of the corresponding continuous-time dynamics is given using a separate relaxation rate γ, complete positivity is explicit, and no-signaling is preserved under the proposed local action. In the limit γ → 0, standard unitary quantum mechanics is recovered, whereas nonzero γ produces small deviations that can be interpreted as effective informational bias associated with post-selection. In the present framework, σZ is not treated as a universal microscopic final state, but as a context-dependent operational reference state determined by the post-selection structure used in the model.
This paper examines a deceptively simple question: can a localized physical controller acquire complete control over an entire physical system? Rather than treating “global control” as a single property, the paper decomposes the question into a hierarchy of distinct notions: unitary controllability, exact state controllability, approximate and infinite-time controllability, operational realizability, causal reach, and macroscopic domination. The analysis begins by rejecting locality alone as a no-go principle. Established results in finite quantum networks, together with a reproducible three-spin Heisenberg calculation, show that a single local actuator can generate global unitary controllability under suitable assumptions. The paper then identifies narrower and genuine obstructions. A finite-time causal proposition shows that a compactly generated intervention cannot exactly prepare a fixed global target whose local statistics differ from the initial state at arbitrarily large causal distances. The Ball–Marsden–Slemrod obstruction and its (L^1_{\mathrm{loc}}) extension provide a distinct topological limitation for broad classes of infinite-dimensional bilinear control systems. These negative results are deliberately constrained by positive counterexamples. Approximate controllability and exact infinite-time controllability remain possible in important infinite-dimensional systems, while Reeh–Schlieder density in quantum field theory does not by itself imply deterministic operational control. The central conclusion is therefore not a universal “no-global-control” law. It is a hierarchy of claims, assumptions, counterexamples, and inferential limits. In particular, failure of exact microscopic controllability does not imply protection against catastrophic macroscopic domination. The accompanying reproducibility package includes the Lie-closure verification code, tolerance analysis, source files, and claim-audit materials.
The description of the dynamics of an open quantum system in the presence of initial correlations with the environment needs different mathematical tools than the standard approach to reduced dynamics, which is based on the use of a time-dependent completely positive trace preserving (CPTP) map. Here, we take into account an approach that is based on a decomposition of any possibly correlated bipartite state as a conical combination involving statistical operators on the environment and general linear operators on the system, which allows one to fix the reduced-system evolution via a finite set of time-dependent CPTP maps. In particular, we show that such a decomposition always exists, also for infinite dimensional Hilbert spaces, and that the number of resulting CPTP maps is bounded by the Schmidt rank of the initial global state. We further investigate the case where the CPTP maps are semigroups with generators in the Gorini-Kossakowski-Lindblad-Sudarshan form; for two simple qubit models, we identify the positivity domain defined by the initial states that are mapped into proper states at any time of the evolution fixed by the CPTP semigroups.