MEAT with source and detector correlations

arXiv:2611.10817v1 Announce Type: new Abstract: We prove variants of the marginal-constrained entropy accumulation theorem (MEAT) that enable finite-size security analysis of quantum key distribution with source and detector correlations. For source correlations, our results allow for the state prepared in a given round to depend on the current setting choice and a finite number of preceding choices. For detector correlations, our results require memory effects to persist for a finite number of rounds after a registered click, and all detectors to be switched off during those rounds. These results can be combined, providing, to the best of our knowledge, the first method to jointly treat correlated source and detector imperfections in quantum key distribution.