arXiv subjects

Tommaso F. Demarie

Publications and source records attributed to Tommaso F. Demarie.

11 recordsLinked to original sources

arXiv2018

Client-friendly continuous-variable blind and verifiable quantum computing

We present a verifiable and blind protocol for assisted universal quantum computing on continuous-variable (CV) platforms. This protocol is highly experimentally-friendly to the client, as it only requires Gaussian-operation capabilities from the latter. Moreover, the server is not required universal quantum-computational power either, its only function being to supply the client with copies of a single-mode non-Gaussian state. Universality is attained based on state-injection of the server's non-Gaussian supplies. The protocol is automatically blind because the non-Gaussian resource requested to the server is always the same, regardless of the specific computation. Verification, in turn, is possible thanks to an efficient non-Gaussian state fidelity test where we assume identical state preparation by the server. It is based on Gaussian measurements by the client on the injected states, which is potentially interesting on its own. The division of quantum hardware between client and server assumed here is in agreement with the experimental constraints expected in realistic schemes for CV cloud quantum computing.

quant-ph↗

arXiv2018

Anonymous broadcasting of classical information with a continuous-variable topological quantum code

Broadcasting information anonymously becomes more difficult as surveillance technology improves, but remarkably, quantum protocols exist that enable provably traceless broadcasting. The difficulty is making scalable entangled resource states that are robust to errors. We propose an anonymous broadcasting protocol that uses a continuous-variable surface-code state that can be produced using current technology. High squeezing enables large transmission bandwidth and strong anonymity, and the topological nature of the state enables local error mitigation.

quant-ph↗

arXiv2017

Flow Ambiguity: A Path Towards Classically Driven Blind Quantum Computation

Blind quantum computation protocols allow a user to delegate a computation to a remote quantum computer in such a way that the privacy of their computation is preserved, even from the device implementing the computation. To date, such protocols are only known for settings involving at least two quantum devices: either a user with some quantum capabilities and a remote quantum server or two or more entangled but noncommunicating servers. In this work, we take the first step towards the construction of a blind quantum computing protocol with a completely classical client and single quantum server. Specifically, we show how a classical client can exploit the ambiguity in the flow of information in measurement-based quantum computing to construct a protocol for hiding critical aspects of a computation delegated to a remote quantum computer. This ambiguity arises due to the fact that, for a fixed graph, there exist multiple choices of the input and output vertex sets that result in deterministic measurement patterns consistent with the same fixed total ordering of vertices. This allows a classical user, computing only measurement angles, to drive a measurement-based computation performed on a remote device while hiding critical aspects of the computation.

quant-ph↗

arXiv2016

Classical verification of quantum circuits containing few basis changes

We consider the task of verifying the correctness of quantum computation for a restricted class of circuits which contain at most two basis changes. This contains circuits giving rise to the second level of the Fourier Hierarchy, the lowest level for which there is an established quantum advantage. We show that, when the circuit has an outcome with probability at least the inverse of some polynomial in the circuit size, the outcome can be checked in polynomial time with bounded error by a completely classical verifier. This verification procedure is based on random sampling of computational paths and is only possible given knowledge of the likely outcome.

quant-ph↗

arXiv2016

Universality of quantum computation with cluster states and (X,Y)-plane measurements

Measurement-based quantum computing (MBQC) is a model of quantum computation where quantum information is coherently processed by means of projective measurements on highly entangled states. Following the introduction of MBQC, cluster states have been studied extensively both from the theoretical and experimental point of view. Indeed, the study of MBQC was catalysed by the realisation that cluster states are universal for MBQC with (X,Y)-plane and Z measurements. Here we examine the question of whether the requirement for Z measurements can be dropped while maintaining universality. We answer this question in the affirmative by showing that universality is possible in this scenario.

quant-ph↗

arXiv2014

Geometrical and Topological Aspects of Quantum Information Systems

In this Thesis we examine the interplay between the encoding of information in quantum systems and their geometrical and topological properties. We first study photonic qubit probes of space-time curvature, showing how gauge-independent trajectories of photons can help to perform quantum information tasks in space. Then we introduce the first example of topologically ordered systems constructed using interacting light modes on a two-dimensional lattice, which paves the way for feasible observations of topological order in bosonic systems. To conclude, motivated by a theory of quantum gravity we analyze the convergence of entropy in unitarily inequivalent quantization schemes.

quant-ph↗

arXiv2013

Detecting Topological Entanglement Entropy in a Lattice of Quantum Harmonic Oscillators

The Kitaev surface-code model is the most studied example of a topologically ordered phase and typically involves four-spin interactions on a two-dimensional surface. A universal signature of this phase is topological entanglement entropy (TEE), but due to low signal to noise, it is extremely difficult to observe in these systems, and one usually resorts to measuring anyonic statistics of excitations or non-local string operators to reveal the order. We describe a continuous-variable analog to the surface code using quantum harmonic oscillators on a two-dimensional lattice, which has the distinctive property of needing only two-body nearest-neighbor interactions for its creation. Though such a model is gapless, satisfies an area law, and the ground state can be simply prepared by measurements on a finitely squeezed and gapped two-dimensional cluster state, which does not have topological order. Asymptotically, the TEE grows linearly with the squeezing parameter, and we show that its mixed-state generalization, the topological mutual information, is robust to some forms of state preparation error and can be detected simply using single-mode quadrature measurements. Finally, we discuss scalable implementation of these methods using optical and circuit-QED technology.

quant-ph↗

arXiv2013

Entropy and entanglement in polymer quantization

Polymer quantization is as a useful toy model for the mathematical aspects of loop quantum gravity and is interesting in its own right. Analyzing entropies of physically equivalent states in the standard Hilbert space and the polymer Hilbert space we show that they converge in the limit of vanishing polymer scale. We derive a general bound that relates entropies of physically equivalent states in unitarily inequivalent representations.

gr-qc↗

arXiv2012

Fundamental quantum optics experiments conceivable with satellites -- reaching relativistic distances and velocities

Physical theories are developed to describe phenomena in particular regimes, and generally are valid only within a limited range of scales. For example, general relativity provides an effective description of the Universe at large length scales, and has been tested from the cosmic scale down to distances as small as 10 meters. In contrast, quantum theory provides an effective description of physics at small length scales. Direct tests of quantum theory have been performed at the smallest probeable scales at the Large Hadron Collider, ${\sim} 10^{-20}$ meters, up to that of hundreds of kilometers. Yet, such tests fall short of the scales required to investigate potentially significant physics that arises at the intersection of quantum and relativistic regimes. We propose to push direct tests of quantum theory to larger and larger length scales, approaching that of the radius of curvature of spacetime, where we begin to probe the interaction between gravity and quantum phenomena. In particular, we review a wide variety of potential tests of fundamental physics that are conceivable with artificial satellites in Earth orbit and elsewhere in the solar system, and attempt to sketch the magnitudes of potentially observable effects. The tests have the potential to determine the applicability of quantum theory at larger length scales, eliminate various alternative physical theories, and place bounds on phenomenological models motivated by ideas about spacetime microstructure from quantum gravity. From a more pragmatic perspective, as quantum communication technologies such as quantum key distribution advance into Space towards large distances, some of the fundamental physical effects discussed here may need to be taken into account to make such schemes viable.

quant-ph↗

arXiv2012

Pedagogical introduction to the entropy of entanglement for Gaussian states

The most useful measure of a bipartite entanglement is the von Neumann entropy of either of the reduced density matrices. For a particular class of continuous-variable states, the Gaussian states, the entropy of entanglement can be expressed rather elegantly in terms of the symplectic eigenvalues, elements that characterize a Gaussian state and depend on the correlations of the canonical variables. We give a pedagogical step-by-step derivation of this result and provide some insights that can be useful in practical calculations.

quant-ph↗

arXiv2011

Photon polarization and geometric phase in general relativity

Rotation of polarization in an external gravitational field is one of the effects of general relativity that can serve as a basis for its precision tests. A careful analysis of reference frames is crucial for a proper evaluation of this effect. We introduce an operationally-motivated local reference frame that allows for a particularly simple description. We present a solution of null geodesics in Kerr space-time that is organized around a new expansion parameter, allowing a better control of the series, and use it to calculate the resulting polarization rotation. While this rotation depends on the reference-frame convention, we demonstrate a gauge-independent geometric phase for closed paths in general space-times.

gr-qc↗