Support projection of state and a quantum Lévy–Austin–Ornstein theorem | Synapse