Local Optimality Does Not Compose: Invariant Simplices and the Complexity of Shared Probabilistic Automata
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.19707
curl -X POST /api/v1/records/arxiv/2609.19707/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.19707/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'