Enforcing IID structure on time-bin encoded QKD protocols via coarse-graining

Abstract

Many security proofs for quantum key distribution (QKD) require Bob's measurement to have a tensor-product structure across protocol rounds, with some techniques requiring the stronger independent-and-identically-distributed (IID) condition. Time-bin encoded protocols often rely on interferometers whose detector outcomes depend on the interference between optical modes from neighbouring rounds, obstructing the direct application of such proofs. We show that classical post-processing of Bob's measurement data --- specifically, discarding the outcomes of detectors sensitive to inter-round coherence --- is sufficient to recover a product measurement positive operator-valued measure (POVM) (which is IID when the same single-round setup is used in every round). Applied to the Mach-Zehnder interferometer and the IID variant of the COW detection setup, this removes the need for the additional vacuum pulse introduced in prior analyses to establish tensor product structure of the measurement POVM, recovering better key rates without placing any restriction on Eve's attack.