We consider the clock game--a task formulated in the framework of quantum information theory---that can be used to improve the existing schemes of quantum-enhanced telescopy. The problem of learning when a stellar photon reaches a telescope is translated into an abstract game, which we call the clock game. A winning strategy is provided that involves performing a quantum non-demolition measurement that verifies which stellar spatio-temporal modes are occupied by a photon without disturbing the phase information. We prove tight lower bounds on the entanglement cost needed to win the clock game, with the amount of necessary entangled bits equaling the number of time bins being distinguished. This lower bound on the entanglement cost applies to any telescopy protocol that aims to nondestructively extract the time bin information of an incident photon through local measurements, and our result implies that the protocol of Khabiboulline et al. [Phys. Rev. Lett. 123, 070504 (2019)] is optimal in terms of entanglement consumption. The full task of the phase extraction is also considered, and we show that the quantum Fisher information of the stellar phase can be achieved by local measurements and shared entanglement without the necessity of nonlinear optical operations. The optimal phase measurement is achieved asymptotically with increasing number of ancilla qubits, whereas a single qubit pair is required if nonlinear operations are allowed.
We consider the clock game--a task formulated in the framework of quantum information theory---that can be used to improve the existing schemes of quantum-enhanced telescopy. The problem of learning when a stellar photon reaches a telescope is translated into an abstract game, which we call the clock game. A winning strategy is provided that involves performing a quantum non-demolition measurement that verifies which stellar spatio-temporal modes are occupied by a photon without disturbing the phase information. We prove tight lower bounds on the entanglement cost needed to win the clock game, with the amount of necessary entangled bits equaling the number of time bins being distinguished. This lower bound on the entanglement cost applies to any telescopy protocol that aims to nondestructively extract the time bin information of an incident photon through local measurements, and our result implies that the protocol of Khabiboulline et al. [Phys. Rev. Lett. 123, 070504 (2019)] is optimal in terms of entanglement consumption. The full task of the phase extraction is also considered, and we show that the quantum Fisher information of the stellar phase can be achieved by local measurements and shared entanglement without the necessity of nonlinear optical operations. The optimal phase measurement is achieved asymptotically with increasing number of ancilla qubits, whereas a single qubit pair is required if nonlinear operations are allowed.
Entanglement-assisted telescopy protocols have been proposed as a means to extend the baseline of optical interferometric telescopes. However, the optimal entangled resource and a clear optimality criterion have remained unclear. Here, we propose a framework for systematically characterizing entanglement-assisted telescopy by integrating quantum metrology tools with the superselection rule (SSR) framework from quantum information theory. In our approach, the estimation problem in quantum telescopy is rigorously quantified using the quantum Fisher information under SSR constraints. Building on this framework, we derive the fundamental limits of astronomical parameter estimation with finite entanglement resources and introduce protocols that outperform previous methods and asymptotically saturate the optimal bound. Moreover, our proposed protocols are compatible with existing linear-optical technology and could inspire practical quantum telescopy schemes for near-term, lossy, and repeaterless quantum networks.
How much entanglement does near-optimal play of a two-player nonlocal game require? We give an explicit binary linear system game, with 1687 equations in 1993 variables and at most three variables in each equation, whose quantum value is one, and in which every strategy that wins with probability 1−ε needs entanglement entropy ε−1+o(1), hence local dimension exp(ε−1+o(1)). The same bound holds for the entanglement of formation of mixed strategies, and a strategy on a maximally entangled state of local dimension exp(Cε−1log(1/ε)) suffices, so the exponent is sharp. For explicit two-player games of quantum value one, the best previous lower bound was polynomial in 1/ε. The game comes from a finitely generated, elementary amenable group: a lamplighter whose lamps are Pauli pairs indexed by finite sets of points on the three rays on which Houghton's group acts. Exponentially many of these pairs share one central involution, yet the relation that any two of them commute can be derived from a fixed finite set of relations in a number of steps only quasi-polynomial in the number of points. Two tools may be of independent use. The first counts qubits from approximate Pauli relations measured in an arbitrary state, with the errors of different pairs adding in squares. The second identifies, in both directions and at the natural precision ε, the near-optimal strategies of a linear system game with approximate representations of its solution group measured in the players' actual state, so that no power of ε is lost by passing to a flat state. The same tools give sharp rates for two earlier examples: the CHSH(n) games need Θ(min(n,1/ε)) ebits, and the linear system game of Slofstra and Vidick needs local dimension Θ(ε−1/2).
Abstract This paper considers the decidability of fully quantum nonlocal games with noisy maximally entangled states. Fully quantum nonlocal games are a generalization of nonlocal games, where both questions and answers are quantum and the referee performs a binary POVM measurement to decide whether they win the game after receiving the quantum answers from the players. The quantum value of a fully quantum nonlocal game is the supremum of the probability that they win the game, where the supremum is taken over all the possible entangled states shared between the players and all the valid quantum operations performed by the players. The seminal work MIP∗=RE~\cite{JNVWY'20,JNVWYuen'20} implies that it is undecidable to approximate the quantum value of a fully nonlocal game. This still holds even if the players are only allowed to share (arbitrarily many copies of) maximally entangled states. This paper investigates the case that the shared maximally entangled states are noisy. We prove that there is a computable upper bound on the copies of noisy maximally entangled states for the players to win a fully quantum nonlocal game with a probability arbitrarily close to the quantum value. This implies that it is decidable to approximate the quantum values of these games. Hence, the hardness of approximating the quantum value of a fully quantum nonlocal game is not robust against the noise in the shared states. This paper is built on the framework for the decidability of non-interactive simulations of joint distributions~\cite{7782969,doi:10.1137/1.9781611975031.174,Ghazi:2018:DRP:3235586.3235614} and generalizes the analogous result for nonlocal games in~\cite{qin2021nonlocal}. We extend the theory of Fourier analysis to the space of super-operators and prove several key results including an invariance principle and a dimension reduction for super-operators. These results are interesting in their own right and are believed to have further applications.
Conventional stellar interferometry reconstructs incoherent sources from pairwise mutual coherences between telescopes. Are such pairwise measurements sufficient for quantum-limited subdiffraction imaging with a telescope array? We show that for generic image-moment estimation, they are not. We consider weak incoherent light from a generic extended source observed by an array of telescopes, each supporting a single optical mode. For an N-telescope array, we derive the quantum Fisher information (QFI) scaling of image moments up to the cutoff 2N-2 and prove that arbitrary measurements restricted to telescope pairs attain the full-array QFI scaling only up to second order. Thus, estimating higher-order moments at the quantum limit requires genuinely multi-telescope interference. Inspired by spatial-mode demultiplexing (SPADE) from single-aperture subdiffraction imaging, we construct array-SPADE measurements that attain the optimal QFI scaling up to the finite-array cutoff. Finally, we show that these measurements can, in principle, be embedded in ancilla- and memory-assisted quantum-network architectures for long-baseline telescopy.
A preparation game is a task whereby a player sequentially sends a number of quantum states to a referee, who probes each of them and announces the measurement result. Many experimental tasks in quantum information, such as entanglement quantification or magic state detection, can be cast as preparation games. In this paper, we introduce general methods to design n-round preparation games, with tight bounds on the performance achievable by players with arbitrarily constrained preparation devices. We illustrate our results by devising new adaptive measurement protocols for entanglement detection and quantification. Surprisingly, we find that the standard procedure in entanglement detection, namely, estimating n times the average value of a given entanglement witness, is in general suboptimal for detecting the entanglement of a specific quantum state. On the contrary, there exist n-round experimental scenarios where detecting the entanglement of a known state optimally requires adaptive measurement schemes.