Optimizing quantum encodings for analog simulation through dynamical algebra reachability
Al algebraic reachability is established as a useful preprocessing criterion for analog encoding design: it identifies representation-level incompatibilities before device-specific geometry and pulse optimization, while the distinction between algebra-level and state-level reachability clarifies when full encoding opti...