Search papers, labs, and topics across Lattice.
This paper characterizes the minimal Markov sufficient statistic for holonomy-cover decision processes, a specific class of partially observable Markov decision processes (POMDPs). By constructing the stable quotient, the authors demonstrate that the combination of the current observation and stable class forms an exact finite Markov state, enabling efficient memory usage in decision-making. The proposed method, Holonomy Memory Reinforcement Learning, achieves perfect accuracy in experiments, significantly outperforming non-oracle baselines while maintaining minimal memory requirements.
Achieving perfect decision-making accuracy with just three memory states reveals a groundbreaking efficiency in managing partial observability in reinforcement learning.
An agent acting under partial observability must retain a recursively updateable statistic of history that restores the Markov property, but the smallest such statistic is generally unknown. We characterize this minimal Markov sufficient statistic for holonomy-cover decision processes, a structured POMDP class in which the visible dynamics are Markov and every realized visible transition applies a fixed permutation to a hidden mode. In particular, we construct the stable quotient, the coarsest observation-wise abstraction preserving one-step rewards and quotient successors, and prove that the pair of the current observation and stable class forms an exact finite Markov state. When the current class is correctly initialized, exact class tracking requires exactly the minimal memory symbols, in the sense that under reachability and pairwise decision separation at a maximizing observation, no arbitrary finite-memory controller can use fewer. Under resettable diagnostics, nearest-prototype class inference has exponentially decaying error, and a calibrate-then-restart reduction transfers finite-MDP guarantees to the recovered state. The results enable \emph{Holonomy Memory Reinforcement Learning}. It represents memory by the current stable class, updates it through ordered edge transports, identifies local class coordinates when diagnostics are available, and applies a standard finite-MDP RL backbone after synchronization. Experiments recover an exact compression from raw states to quotient states and achieve perfect paired-order accuracy with three decision-time memory states, matching the quotient oracle and outperforming the non-oracle baselines.
