Qubit Loss Inference with Stabilizer Codes without Leakage Detection Units
Under a non-entangling model for gates involving a lost qubit, a sufficient condition for loss detectability in general stabilizer codes is derived and a greedy heuristic algorithm is used to formulate the exact loss-inference problem using the observed set of non-deterministic checks together with its maximum-likeliho...