Abstract
Extensive research has been dedicated to the asymptotic theory of quantum metrology, where the goal is to determine the ultimate precision limit of quantum channel estimation when many accesses to the channel are allowed. The ultimate limit has been well established, but in general a noiseless and controllable ancilla is required for attaining it. Little is known about the metrological performance without noiseless ancillae, which is more relevant in practical circumstances. In this Letter, we present a novel theoretical framework to address this problem, bridging quantum metrology and the asymptotic theory of quantum channels. Leveraging this framework, we prove sufficient conditions for achieving the Heisenberg limit with repeated applications of the channel to be estimated, both with and without applying interleaved unitary control operations. For the latter case, we design an algorithm to identify the control operation explicitly.