{"id":"arxiv/2609.19707","url":"https://arxiv.org/abs/2609.19707","tags":["quant-ph"],"score":0,"title":"Local Optimality Does Not Compose: Invariant Simplices and the Complexity of Shared Probabilistic Automata","domain":"quant-ph","source":"arxiv","authors":["Yixin Zhao"],"reviews":0,"subject":"quant-ph","summary":"Probabilistic models are often constructed separately for different test suites and then expected to share a single latent dynamical system. We study bounded-state shared realization for probabilistic automata from finite partial trace specifications. A shared realization uses one normalized automaton with named initial distributions, a common family of row-stochastic letter-transition matrices, and one final output vector. We compare it with separate local realizations and a labelled query-specific static relaxation. Local and labelled query-specific static optima need not compose. For…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-09-17","reactions":{}}