arXiv subjects

Damian Markham

Publications and source records attributed to Damian Markham.

At least 19 recordsLinked to original sources

arXiv2026

Experimental Private Quantum Networked Sensing

Entangling distant quantum sensors is a key application of future quantum networks, allowing for the estimation of global functions of local parameters, with precision that is not possible with stand-alone, individual, quantum sensors. However, with this advantage comes the risk of information leakage over the network via possible malicious parties. It is often particularly important that local parameters remain unknown and that only the global function is shared across the network. Recently, the notion of privacy has been introduced in this context, which ensures that only the agreed function of parameters is shared over the network, even when malicious parties control the network itself, whilst maintaining the estimation advantage. In this work, we introduce a noise-robust protocol for private quantum networked sensing, which we realise using a high-fidelity Greenberger-Horne-Zeilinger (GHZ) state source. We further run a comparative analysis and simulate attacks using three different quantum states, a four-qubit GHZ state, two Bell pairs, and a fully separable state. Our results highlight the clear advantage of GHZ states in maintaining high precision, accuracy, and privacy for the distributed estimation task.

quant-ph↗

arXiv2026

Privacy in continuous-variable distributed quantum sensing

Can a distributed network of quantum sensors estimate a global parameter while protecting every locally encoded value? We answer this question affirmatively by introducing and analysing a protocol for distributed quantum sensing in the continuous-variable regime. We consider a multipartite network in which an unknown local phase is imprinted at each node on a shared entangled Gaussian state. We show that the average phase can be estimated with high precision, exhibiting Heisenberg scaling in the total photon number, while individual phases are inaccessible. We further prove a no-go theorem showing that, for three or more parties, no finite-energy Gaussian probe can provide complete privacy of the average phase, meaning that all phase combinations orthogonal to the average remain entirely hidden. This identifies the two-party case as an exceptional Gaussian setting that can achieve complete privacy. We further investigate the impact of displacements and optical losses, revealing trade-offs between estimation accuracy and privacy. Finally, we benchmark the protocol against other continuous-variable resource states.

quant-ph↗

arXiv2026

A no-go theorem for privacy in distributed sensing using Gaussian states

In the discrete variable setting, entangled resource states allow a set of parties to learn a global function of a set of spatially separated systems, whilst keeping the local parameters of those systems completely private. In the continuous variable setting, distributed sensing has been carried out using Gaussian resource states, but without the same guarantees about privacy. Here, we show that perfect privacy is impossible to achieve for any distributed sensing protocol that uses Gaussian states as a resource. We also introduce a measure of relative privacy, bounding the degree to which any Gaussian distributed sensing protocol can keep local parameters hidden.

quant-ph↗

arXiv2026

Qudit Clauser-Horne-Shimony-Holt Inequality and Nonlocality from Wigner Negativity

Nonlocality is an essential concept that distinguishes quantum from classical models and has been extensively studied in systems of qubits. For higher-dimensional systems, certain results for their two-level counterpart, like Bell violations with stabilizer states and Clifford operators, do not generalize. On the other hand, similar to continuous variable systems, Wigner negativity is necessary for nonlocality in qudit systems. We propose a new generalization of the CHSH inequality for qudits by inquiring correlations related to the Wigner negativity of stabilizer states under the adjoint action of a generalization of the qubit $π/8$-gate. A specified stabilizer state maximally violates the inequality among all qudit states based on its Wigner negativity. The Bell operator not only serves as a measure for the singlet fraction but also quantifies the volume of Wigner negativity. Additionally, we show how a bipartite entangled qudit state can serve as a witness for contextuality when it exhibits Wigner negativity. Furthermore, we identify rational-phase diagonal unitaries as the key resource that exactly reproduce the CGLMP and SATWAP violation with the maximally entangled state through simple phase-difference alignment.

quant-ph↗

arXiv2026

Detecting bipartite entanglement with PnCP maps and non-negative polynomials

Positive non-Completely Positive (PnCP) maps are an essential tool to detect entanglement since their characterization is a dual aspect of the separability problem. A recent algorithm proposed by Kelp et al. explains how to generate PnCP maps based on the construction of certain positive non-Sum-of-Squares polynomials. We implement this algorithm in a numerically robust way and propose a working version on GitHub. We theoretically demonstrate that the maps produced by the algorithm are indecomposable, localized on the boundary of the positive cone and show that they are inequivalent with most other known PnCP maps. We numerically investigate their entanglement power, demonstrating notably that they are capable of detecting PPT entangled states that most criteria fail to detect.

quant-ph↗

arXiv2026

A Framework for Spatial Quantum Sensing

Quantum sensor networks promise precision advantages over classical and single-sensor strategies, in particular when the estimator is non-local. We address the problem of finding such estimators through a framework we connote spatial quantum sensing: given an underlying field interrogated by a network of quantum sensors at fixed positions, construct an estimator for a property of the field, for example, distinguishing a source of signal, or evaluating the field or its derivatives at an arbitrary point. We first treat polynomial fields, casting the task as an interpolation problem, and then generalize to fields modeled by analytic functions, which yields general least-squares estimators. A central and largely unaddressed question is under what conditions on sensor placement these estimators are well-defined and error-free. For $m$-dimensional arrays we give explicit constructions and proofs in the interpolation setting using algebraic geometry, and establish necessary and sufficient conditions in the general case. Comparing a non-local entangled protocol with the best local strategy, we show that entanglement yields maximal precision in distributed sensing under global resource constraints. Finally, we introduce error-free subspaces, a technique that translates prior knowledge of the field into a reduction in the number of required sensors. We expect these techniques to be broadly useful in sensing problems across scales, ranging from earth-scale experiments to local applications such as biological imaging.

quant-ph↗

arXiv2026

The Power of Shallow-depth Toffoli and Qudit Quantum Circuits

The relevance of shallow-depth quantum circuits has recently increased, mainly due to their applicability to near-term devices. In this context, one of the main goals of quantum circuit complexity is to find problems that can be solved by shallow quantum circuits but require more computational resources classically. Our first contribution in this work is to prove new separations between classical and quantum constant-depth circuits. Firstly, we show a separation between constant-depth quantum circuits with quantum advice $\mathsf{QNC}^0/\mathsf{qpoly}$, and $\mathsf{AC}^0[p]$, which is the class of classical constant-depth circuits with unbounded-fan in and $\mathsf{MOD}_{p}$ gates. Additionally, we show a separation between $\mathsf{QAC}^0$, the circuit class containing Toffoli gates with unbounded control, and $\mathsf{AC}^0[p]$, when $\mathsf{QAC}^0$ is augmented with additional mid-circuit measurements and classical fanout. This establishes the first such separation for a shallow-depth quantum class that does not involve quantum fanout gates, while relying solely on finite quantum gate sets. Equivalently, this yields a separation between $\mathsf{AC}^0[p]$ and $[\mathsf{QNC}^0, \mathsf{AC}^0]^2$, i.e., shallow quantum circuits interleaved with simple classical computation. Secondly, we consider $\mathsf{QNC}^0$ circuits with infinite-size gate sets. We show that these circuits, along with quantum prime modular gates or classical prime modular gates in combination with classical fanout, can implement threshold gates, showing that $\mathsf{QNC}^0[p]=\mathsf{QTC}^0$. Finally, we also show that in the infinite-size gate set case, these quantum circuit classes for higher-dimensional Hilbert spaces do not offer any advantage to standard qubit implementations.

quant-ph↗

arXiv2026

Composable privacy of networked quantum sensing

Networks of sensors are a promising scheme to deliver the benefits of quantum technologies in coming years, offering enhanced precision and accuracy for distributed metrology through the use of large entangled states. Recent work has additionally explored the privacy of these schemes, meaning that local parameters can be kept secret while a joint function of these is estimated by the network. In this work, we use the abstract cryptography framework to relate the two proposed definitions of quasi-privacy, showing that both are composable, which enables the protocol to be securely included as a sub-routine to other schemes. We give an explicit example that estimating the mean of a set of parameters using GHZ states is composably fully secure.

quant-ph↗

arXiv2026

Composable simultaneous purification: when all communication scenarios reduce to spatial correlations

Bell non-locality is a powerful framework to distinguish classical, quantum and post-quantum resources, which relies on non-communicating players. Under which restriction can we have the same separations, if we allow for communication? Non-signalling state assemblages, and the fact that they can always be simultaneously purified, turned out to be the key element to restrict the simplest bipartite communication scenario, the prepare-and-measure, to the standard bipartite Bell scenario. Yet, many distinctive features of quantum theory are genuinely multipartite and cannot be reduced to two-party behaviour. In this work we are interested in extending this simultaneous purification inspired result to all multipartite communication schemes. As a first step, we unify and extend the simultaneous purification result from states to instruments and super-instruments, which are composable structures, and open up the possibility to explore more complex communication scenarios. Our main contribution is to establish that arbitrary compositions of non-signalling assemblages cannot escape the standard spatial quantum Bell correlations set. As a consequence, any interactive quantum realization of correlations outside of this set must involve at least one signalling assemblage of quantum operations, even when the resulting correlations are non-signalling.

quant-ph↗

arXiv2025

Anonymous and private parameter estimation in networks of quantum sensors

Anonymity and privacy are two key properties of modern communication networks. In quantum networks, distributed quantum sensing has emerged as a powerful use case, with applications to clock synchronisation, detecting gravitational effects and more. In this work, we develop a new protocol that, for the first time, combines the different cryptographic properties of anonymity and privacy for the task of distributed parameter estimation. That is, we present a protocol that allows a selected subset of network participants to anonymously collaborate in estimating the average of their private parameters. Crucially, this is achieved without disclosing either the individual parameter values or the identities of the participants, neither to each other nor to the broader network.

quant-ph↗

arXiv2025

Self-Testing Graph States Permitting Bounded Classical Communication

Self-testing identifies quantum states and correlations that exhibit nonlocality, distinguishing them, up to local transformations, from other quantum states. Due to their strong nonlocality, it is known that all graph states can be self-tested in the standard setting - where parties are not allowed to communicate. Recently it has been shown that graph states display nonlocal correlations even when bounded classical communication on the underlying graph is permitted, a feature that has found applications in proving a circuit-depth separation between classical and quantum computing. In this work, we develop self testing in the framework of bounded classical communication, and we show that certain graph states can be robustly self-tested even allowing for communication. In particular, we provide an explicit self-test for the circular graph state and the honeycomb cluster state - the latter known to be a universal resource for measurement based quantum computation. Since communication generally obstructs self-testing of graph states, we further provide a procedure to robustly self-test any graph state from larger ones that exhibit nonlocal correlations in the communication scenario.

quant-ph↗

arXiv2025

Formalizing contextuality in sequential scenarios

This paper provides a framework for characterizing sequential scenarios, allowing for the identification of contextuality given empirical data, and then provides precise operational interpretations in terms of the possible hidden variable model explanations. Sequential scenarios are different in essence from non-local scenarios and standard frameworks for contextuality as each instrument is allowed to change the state as it enters subsequent instruments. Thus, it is necessary to formulate the possible state update in any hidden variable model description. Here we explore such hidden variable models for sequential scenarios, and we develop on the notion of no-disturbance: an instrument $A$ does not disturb another instrument $B$ if the statistics of $B$ are independent of whether $A$ was measured or not. We define non-contextuality inequalities for the sequential scenario, and show that violation implies that the data cannot be explained by a hidden variable model that is both deterministic and not disturbing in this sense. We further provide a translation from standard contextuality frameworks to ours, providing sequential versions which carry over the same inequalities and measures of contextuality, but now with the sequential interpretations stated.

quant-ph↗

arXiv2025

Quantum bounds for compiled XOR games and $d$-outcome CHSH games

Nonlocal games play a crucial role in quantum information theory and have numerous applications in certification and cryptographic protocols. Kalai et al. (STOC 2023) introduced a procedure to compile a nonlocal game into a single-prover interactive proof, using a quantum homomorphic encryption scheme, and showed that their compilation method preserves the classical bound of the game. Natarajan and Zhang (FOCS 2023) then showed that the quantum bound is preserved for the specific case of the CHSH game. Extending the proof techniques of Natarajan and Zhang, we show that the compilation procedure of Kalai et al. preserves the quantum bound for two classes of games: XOR games and d-outcome CHSH games. We also establish that, for any pair of qubit measurements, there exists an XOR game such that its optimal winning probability serves as a self-test for that particular pair of measurements.

quant-ph↗

arXiv2025

Robustly self-testing all maximally entangled states in every finite dimension

We establish a device-independent, noise-tolerant certification of maximally entangled states in every finite dimension $d$. The core ingredient is a $d$-input, $d$-outcome Bell experiment that generalizes the Clauser-Horne-Shimony-Holt test from qubits to qudits, where each setting is a non-diagonal Heisenberg-Weyl observable. For every odd prime $d \geq 3$, the associated Bell operator has an exact sum-of-positive-operators decomposition, yielding the Cirelson bound in closed form, from which we reconstruct the Heisenberg-Weyl commutation relations on the support of the state. We then extend the Mayers-Yao local isometry from qubits to prime-dimensional systems and show that any $ε$-near-optimal strategy below that bound is, up to local isometries, within trace distance $δ= \mathcal{O}(\sqrtε)$ of the ideal maximally entangled state; the implemented measurements are correspondingly close to the target observables. Via a tensor-factor argument, the prime-dimension result extends the self-testing protocol to every composite dimension $d$. The protocol uses standard Heisenberg-Weyl operations and non-Clifford phase gates that are diagonal in the computational basis, making it directly applicable to high-dimensional photonic and atomic platforms.

quant-ph↗

arXiv2025

Translating Bell Non-Locality to Prepare-and-Measure Scenarios under Dimensional Constraints

Understanding the connections between different quantum information protocols has been proven fruitful for both theoretical insights and experimental applications. In this work, we explore the relationship between non-local and prepare-and-measure scenarios, proposing a systematic way to translate bipartite Bell inequalities into dimensionally-bounded prepare-and-measure tasks. We identify sufficient conditions under which the translation preserves the quantum bound and self-testing properties, enabling a wide range of certification protocols originally developed for the non-local setting to be adapted to the sequential framework of prepare-and-measure with a dimensional bound. While the dimensionality bound is not device-independent, it still is a practical and experimentally reasonable assumption in many cases of interest. In some instances, we find new experimentally-friendly certification protocols. In others, we demonstrate equivalences with already known prepare-and-measure protocols, where self-testing results were previously established using alternative mathematical methods. Our results unify different quantum correlation frameworks, and contribute to the ongoing research effort of studying the interplay between parallel and sequential protocols.

quant-ph↗

arXiv2025

Private and Robust States for Distributed Quantum Sensing

Distributed quantum sensing enables the estimation of multiple parameters encoded in spatially separated probes. While traditional quantum sensing is often focused on estimating a single parameter with maximum precision, distributed quantum sensing seeks to estimate some function of multiple parameters that are only locally accessible for each party involved. In such settings it is natural to not want to give away more information than is necessary. To address this, we use the concept of privacy with respect to a function, ensuring that only information about the target function is available to all the parties, and no other information. We define a measure of privacy (essentially how close we are to this condition being satisfied), and show it satisfies a set of naturally desirable properties of such a measure. Using this privacy measure, we identify and construct entangled resources states that ensure privacy for a given function under different resource distributions and encoding dynamics, characterized by Hamiltonian evolution. For separable and parallel Hamiltonians, we prove that the GHZ state is the only private state for certain linear functions, with the minimum amount of required resources, up to SLOCC. Recognizing the vulnerability of this state to particle loss, we create families of private states, that remain robust even against loss of qubits, by incorporating additional resources. We then extend our findings to different resource distribution scenarios and Hamiltonians, resulting in a comprehensive set of private and robust states for distributed quantum estimation. These results advance the understanding of privacy and robustness in multi-parameter quantum sensing.

quant-ph↗

arXiv2024

Noisy certification of continuous variables graph states

Continuous variables (CV) offer a promising platform for the development of various applications, such as quantum communication, computing, and sensing, and CV graph states represent a family of powerful entangled resource states for all these areas. In many of these protocols, a crucial aspect is the certification of the quantum state subsequently used. While numerous protocols exist, most rely on assumptions unrealistic for physical continuous variable states, such as infinite precision in quadrature measurement or the use of states requiring infinite squeezing. In this work, we adapt existing protocols to deal with these unavoidable considerations, and use them to certify their application for different quantum information tasks. More specifically, we show how CV graph states can be efficiently verified and certified even in a noisy and imperfect setting. We then discuss how our findings impact the usability of states obtained after the protocol for different applications, including quantum teleportation, computing, and sensing.

quant-ph↗

arXiv2024

Learning Properties of Quantum States Without the I.I.D. Assumption

We develop a framework for learning properties of quantum states beyond the assumption of independent and identically distributed (i.i.d.) input states. We prove that, given any learning problem (under reasonable assumptions), an algorithm designed for i.i.d. input states can be adapted to handle input states of any nature, albeit at the expense of a polynomial increase in training data size (aka sample complexity). Importantly, this polynomial increase in sample complexity can be substantially improved to polylogarithmic if the learning algorithm in question only requires non-adaptive, single-copy measurements. Among other applications, this allows us to generalize the classical shadow framework to the non-i.i.d. setting while only incurring a comparatively small loss in sample efficiency. We use rigorous quantum information theory to prove our main results. In particular, we leverage permutation invariance and randomized single-copy measurements to derive a new quantum de Finetti theorem that mainly addresses measurement outcome statistics and, in turn, scales much more favorably in Hilbert space dimension.

quant-ph↗