Leveraging an algebraic approach built on minimal realizations and conditional expectations in quantum probability, we propose a method to reduce the dimension of quantum filters in discrete-time, while maintaining the correct distributions on the measurement outcomes and the expectations of some relevant observable. The method is presented for general quantum systems whose dynamics depend on measurement outcomes, hinges on a system-theoretic observability analysis, and is tested on prototypical examples.
Leveraging an algebraic approach built on minimal realizations and conditional expectations in quantum probability, we propose a method to reduce the dimension of quantum filters in discrete-time, while maintaining the correct distributions on the measurement outcomes and the expectations of some relevant observable. The method is presented for general quantum systems whose dynamics depend on measurement outcomes, hinges on a system-theoretic observability analysis, and is tested on prototypical examples.
A general approach to obtain reduced models for a wide class of discrete-time quantum systems is proposed. The obtained models not only reproduce exactly the output of a given quantum model, but are also guaranteed to satisfy physical constraints, namely complete positivity and preservation of total probability. A fundamental framework for exact model reduction of quantum systems is constructed leveraging on algebraic methods, as well as novel results on quantum conditional expectations in finite-dimensions. The proposed reduction algorithm is illustrated and tested on prototypical examples, including the quantum walk realizing Grover’s algorithm.
Abstract The use of quantum stochastic models is widespread in dynamical reduction, simulation of open systems, feedback control and adaptive estimation. In many applications only part of the information contained in the filter’s state is actually needed to reconstruct the target observable quantities; thus, filters of smaller dimensions could be in principle implemented to perform the same task. In this work, we propose a systematic method to find, when possible, reduced-order quantum filters that are capable of exactly reproducing the evolution of expectation values of interest. In contrast with existing reduction techniques, the reduced model we obtain is exact and in the form of a Belavkin filtering equation, ensuring physical interpretability. This is attained by leveraging tools from the theory of both minimal realization and non-commutative conditional expectations. The proposed procedure is tested on prototypical examples, laying the groundwork for applications in quantum trajectory simulation and quantum feedback control.
We consider finite-dimensional many-body quantum systems described by time-independent Hamiltonians and Markovian master equations, and present a systematic method for constructing smaller-dimensional, reduced models that e x a c t l y reproduce the time evolution of a set of initial conditions or observables of interest. Our approach exploits Krylov operator spaces and their extension to operator algebras, and may be used to obtain reduced linear models of minimal dimension, well-suited for simulation on classical computers, or reduced quantum models that preserve the structural constraints of physically admissible quantum dynamics, as required for simulation on quantum computers. Notably, we prove that the reduced quantum-dynamical generator is still in Lindblad form. By introducing a new type of observable-dependent symmetries , we show that our method provides a non-trivial generalization of techniques that leverage symmetries, unlocking new reduction opportunities. We quantitatively benchmark our method on paradigmatic open many-body systems of relevance to condensed-matter and quantum-information physics. In particular, we demonstrate how our reduced models can quantitatively describe decoherence dynamics in central-spin systems coupled to structured environments, magnetization transport in boundary-driven dissipative spin chains, and unwanted error dynamics on information encoded in a noiseless quantum code.
The exact statistics of an arbitrary measuring observable, describing specific features of an open quantum system, is analytically obtained. Due to the probabilistic nature of a sequence of intermediate measurements and stochastic fluctuations induced by the interaction with an external environment, the measurement outcomes at the end of the system evolution are random variables. Here, we provide the exact large deviation form of their probability distribution, given by an exponentially decaying profile in the number of measurements. The most probable distribution of the measurement outcomes in a single realization of the system transformation is then derived, thus achieving predictions beyond the expectation value.
This conference presentation introduces an algebraic framework for the exact reduction of quantum neural circuits through observable-dependent renormalization and geometric reliability control. The proposed approach addresses fundamental challenges in quantum machine learning, including circuit complexity, fragmented mathematical representations, training stability, and the reliability of generative models. The framework represents parameterized quantum circuits as quantum dynamical semigroups and constructs an observable-dependent symmetry subalgebra using dynamical Lie algebra closure. This construction enables the derivation of reduced effective models that preserve designated observables exactly while maintaining complete positivity and trace preservation. The presentation further investigates the geometric structure of reduced quantum models through quantum Fisher information, Berry curvature, and context-dependent attention metrics. Geometric regularization is proposed to improve training stability and address barren plateaus, while curvature-based reliability monitoring provides a mathematical approach to detecting deviations of generated outputs from learned data manifolds. The proposed methodology offers potential applications in resource-efficient quantum machine learning, hybrid quantum-classical computing, model robustness, and AI reliability. Future research directions include hardware-aware algebraic reduction, continuous-variable quantum systems, and curvature-based monitoring for trustworthy artificial intelligence.
Measurement outcomes are not postulated as an external collapse rule. They arise as effective center splitting of a noncommutative observable algebra un der apparatus coupling, environmental decoherence, and finite-resolution coarse graining. The mathematical tools are standard: conditional expectations in operator algebras, POVM/instrument formalism in quantum operations, and environment-induced superselection in decoherence theory. The new contribu tion is to organize these tools into a center-splitting theorem: if a measurement dynamics converges to a statistics-preserving conditional expectation E : A → Aeff and if Z(Aeff) = ⊕ α CPα is nontrivial, then recordable measurement outcomes are labeled by the mini mal central projections Pα, the Born probabilities are pα = ω(Pα), and the conditional states are ωα(a) = ω(PαaPα) ω(Pα) . A general POVM is interpreted as a finite-resolution representation of coarse grained central projections; continuous-spectrum measurements correspond to centralization of spectral measures over finite resolution windows. The paper also proves a no-go lemma: if the effective algebra remains a factor with trivial center, then no stable, copyable, objective classical record exists. Finally, the paper explains how this framework relates to neck-algebra selection, K-flow, and three-step condensation; those dynamical generation mechanisms are not prerequisites for the present proof.