Craig Gidney
Craig Gidney
`MZZ !0 1` should look different from `MZZ 0 1`
Idea from Austin: when decomposing errors, merge `error A ^ B` back into `error A B` when `error A C` and `error B C` exist for any `C`.
It's kind of nit-picky to require that it be a unit vector. Just start by normalizing it.
`stim detect --in tmp.stim --shots 100 --obs_out actual.01 --obs_out_format 01 --out dets.dets --out_format dets` causes `Can't combine --prepend_observables, --append_observables, or --obs_out`
This is a recurring question on the quantum stack exchange, and the dem stuff is too not-the-abstraction-they-are-using for beginners. What I'm thinking is basically the following: every error channel specifies...