Embedded Files
Quantum field theories treated as open quantum systems provide a crucial framework for studying realistic experimental scenarios, such as quarkonia traversing the quark-gluon plasma produced at the Large Hadron Collider. In such cases, capturing the complex thermalization process requires a detailed understanding of how particles evolve and interact with a hot medium. Considering the open lattice Schwinger model and using tensor network algorithms, we investigate the thermalization dynamics of mesonic particles in a hot medium, such as the Schwinger boson or the electric flux string. We simulate systems with up to 100 lattice sites, achieving accurate preservation of the electric field parity symmetry, demonstrating the algorithm’s robustness and scalability. Our results reveal that the thermalization time increases with stronger dissipation from the environment, increasing environment temperature, higher background electric field and heavier fermion masses. Further, we study the quantum mutual information between the two halves of the flux string connecting a meson’s constituent particles and analyze its relation to relevant dynamical observables.
Hybrid tensor networks (hTNs) offer a promising solution for encoding variational quantum states beyond the capabilities of efficient classical methods or noisy quantum computers alone. However, their practical usefulness and many operational aspects of hTN-based algorithms, like the optimization of hTNs, the generalization of standard contraction rules to an hybrid setting, and the design of application-oriented architectures have not been thoroughly investigated yet. In this work, we introduce a novel algorithm to perform ground-state optimizations with hybrid tree tensor networks (hTTNs), discussing its advantages and roadblocks, and identifying a set of promising applications. We benchmark our approach on two paradigmatic models, namely the Ising model at the critical point and the Toric-code Hamiltonian. In both cases, we successfully demonstrate that hTTNs can improve upon classical equivalents with equal bond dimension in the classical part.
Quantum key distribution (QKD) promises everlasting security based on the laws of physics. Most common protocols are grouped into two distinct categories based on the degrees of freedom used to carry information, which can be either discrete or continuous, each presenting unique advantages in either performance, feasibility for near-term implementation, and compatibility with existing telecommunications architectures. Recently, hybrid QKD protocols have been introduced to leverage advantages from both categories. In this work we provide a rigorous security proof for a protocol introduced by Qi in 2021, where information is encoded in discrete variables as in the widespread Bennett Brassard 1984 protocol but decoded continuously via heterodyne detection. Security proofs for hybrid protocols inherit the same challenges associated with continuous-variable protocols due to unbounded dimensions. Here we successfully address these challenges by exploiting symmetry. Our approach enables truncation of the Hilbert space with precise control of the approximation errors and lead to a tight, semi-analytical expression for the asymptotic key rate under collective attacks. As concrete examples, we apply our theory to compute the key rates under passive attacks, linear loss, and Gaussian noise.
The resolution of optical imaging is classically limited by the width of the point-spread function, which in turn is determined by the Rayleigh length. Recently, spatial-mode demultiplexing (SPADE) has been proposed as a method to achieve sub-Rayleigh estimation and discrimination of natural, incoherent sources. Here, we show that SPADE yields sub-diffraction resolution in the broader context of image classification. To achieve this goal, we outline a hybrid machine learning algorithm for image classification that includes a physical part and a computational part. The physical part implements a physical pre-processing of the optical field that cannot be simulated without essentially reducing the signal-to-noise ratio. In detail, a spatial-mode demultiplexer is used to sort the transverse field, followed by mode-wise photon detection. In the computational part, the collected data are fed into an artificial neural network for training and classification. As a case study, we classify images from the MNIST dataset after severe blurring due to diffraction. Our numerical experiments demonstrate the ability to classify highly blurred images that would be otherwise indistinguishable by direct imaging without the physical pre-processing of the optical field.
A (target) quantum system is often measured through observations performed on a second (meter) system to which the target is coupled. In the presence of global conservation laws holding on the joint meter-target system, the Wigner-Araki-Yanase theorem and its generalizations predict a lower bound on the measurement’s error (Ozawa’s bound). While practically negligible for macroscopic meters, it becomes relevant for microscopic ones. Here, we propose a simple interferometric setup, arguably within reach of present technology, in which a flying particle (a microscopic quantum meter) is used to measure a qubit by interacting with it in one arm of the interferometer. In this scenario, the globally conserved quantity is the total energy of particle and qubit. We show how the measurement error 𝜖 is linked to the nonstationary nature of the measured observable and the finite duration of the target-meter interaction while Ozawa’s bound 𝜖B only depends on the momentum uncertainty of the meter’s wave packet. When considering short wave packets with respect to the evolution time of the qubit, we show that 𝜖/𝜖B is strictly tied to the position-momentum uncertainty of the meter’s wave packet and 𝜖/𝜖B →1 only when employing Gaussian wave packets. On the contrary, long wave packets of any shape lead to 𝜖/𝜖B →√2. In addition to their fundamental relevance, our findings have important practical consequences for optimal resource management in quantum technologies.
The dressed atom approach provides a tool to investigate the dynamics of an atom-laser system by fully retaining the quantum nature of the coherent mode. In its standard derivation, the internal atom-laser evolution is described within the rotating-wave approximation, which determines a doublet structure of the spectrum and the peculiar fluorescence triplet in the steady state. However, the rotating wave approximation may fail to apply to atomic systems subject to femtosecond light pulses, light-matter systems in the strong-coupling regime or sustaining permanent dipole moments. This work aims to demonstrate how the general features of the steady-state radiative cascade are affected by the interaction of the dressed atom with propagating radiation modes. Rather than focusing on a specific model, we analyze how these features depend on the parameters characterizing the dressed eigenstates in arbitrary atom-laser dynamics, given that a set of general hypotheses is satisfied. Our findings clarify the general conditions in which a description of the radiative cascade in terms of transition between dressed states is self-consistent. We provide a guideline to determine the properties of photon emission for any atom-laser interaction model, which can be particularly relevant when the model should be tailored to enhance a specific line. We apply the general results to the case in which a permanent dipole moment is a source of low-energy emission, whose frequency is of the order of the Rabi coupling.
The trade-off between robustness and tunability is a central challenge in the pursuit of quantum simulation and fault-tolerant quantum computation. In particular, quantum architectures are often designed to achieve high coherence at the expense of tunability. Many current qubit designs have fixed energy levels and consequently limited types of controllable interactions. Here by adiabatically transforming fixed-frequency superconducting circuits into modifiable Floquet qubits, we demonstrate an XXZ Heisenberg interaction with fully adjustable anisotropy. This interaction model can act as the primitive for an expressive set of quantum operations, but is also the basis for quantum simulations of spin systems. To illustrate the robustness and versatility of our Floquet protocol, we tailor the Heisenberg Hamiltonian and implement two-qubit iSWAP, CZ and SWAP gates with good estimated fidelities. In addition, we implement a Heisenberg interaction between higher energy levels and employ it to construct a three-qubit CCZ gate, also with a competitive fidelity. Our protocol applies to multiple fixed-frequency high-coherence platforms, providing a collection of interactions for high-performance quantum information processing. It also establishes the potential of the Floquet framework as a tool for exploring quantum electrodynamics and optimal control.
The interaction between light and matter is one of the oldest research areas of quantum mechanics, and a field that just keeps on delivering new insights and applications. With the arrival of cavity and circuit quantum electrodynamics we can now achieve strong light-matter couplings which form the basis of most implementations of quantum technology. But quantum information processing also has high demands requiring total error rates of fractions of percentage in order to be scalable (fault-tolerant) to useful applications. Since errors can also arise from modelling, this has brought into center stage one of the key approximations of quantum theory, the Rotating Wave Approximation (RWA) of the quantum Rabi model, leading to the Jaynes-Cummings Hamiltonian. While the RWA is often very good and incredibly useful to understand light-matter interactions, there is also growing experimental evidence of regimes where it is a bad approximation. Here, we ask and answer a harder question: for which experimental parameters is the RWA, although perhaps qualitatively adequate, already not good enough to match the demands of scalable quantum technology? For example, when is the error at least, and when at most, 1%? To answer this, we develop rigorous non-perturbative bounds taming the RWA. We find that these bounds not only depend, as expected, on the ratio of the coupling strength and the oscillator frequency, but also on the average number of photons in the initial state. This confirms recent experiments on photon-dressed Bloch-Siegert shifts. We argue that with experiments reporting controllable cavity states with hundreds of photons and with quantum error correcting codes exploring more and more of Fock space, this state-dependency of the RWA is increasingly relevant for the field of quantum computation, and our results pave the way towards a better understanding of those experiments.
Waveguide quantum electrodynamics represents a powerful platform to generate entanglement and tailor photonic states. We consider a pair of identical qubits coupled to a parity invariant waveguide in the microwave domain. By working in the one- and two-excitation sectors, we provide a unified view of decay processes and show the common origin of directional single-photon emission and two-photon directional bunching. Unveiling the quantum trajectories, we demonstrate that both phenomena are rooted in the selective coupling of orthogonal Bell states of the qubits with photons propagating in opposite directions. We comment on how to use this mechanism to implement optimized post-selection of Bell states, heralded by the detection of a photon on one side of the system.
We present a quantum simulation strategy for a (1+1)-dimensional SU(2) non-Abelian lattice gauge theory with dynamical matter, a hardcore-gluon Hamiltonian Yang-Mills, tailored to a six-level trapped-ion-qudit quantum processor, as recently experimentally realized [Nat. Phys. 18, 1053 (2022)]. We employ a qudit encoding fulfilling gauge invariance, an SU(2) Gauss’s law. We discuss the experimental feasibility of generalized Mølmer-Sørensen gates used to efficiently simulate the dynamics. We illustrate how a shallow circuit with these resources is sufficient to implement scalable digital quantum simulation of the model. We also numerically show that this model, albeit simple, can dynamically manifest physically relevant properties specific to non-Abelian field theories, such as baryon excitations.
We numerically simulate a non-Abelian lattice gauge theory in two spatial dimensions, with tensor networks (TN), up to intermediate sizes (>30 matter sites) well beyond exact diagonalization. We focus on the SU(2) Yang-Mills model in Hamiltonian formulation, with dynamical matter and minimally truncated gauge field (hardcore gluon). Thanks to the TN sign-problem-free approach, we characterize the phase diagram of the model at zero and finite baryon number as a function of the quark bare mass and color charge. At intermediate system sizes, we detect a liquid phase of quark-pair bound-state quasiparticles (baryons), whose mass is finite towards the continuum limit. Interesting phenomena arise at the transition boundary where color-electric and color-magnetic terms are maximally frustrated: For low quark masses, we see traces of potential deconfinement, while for high masses, signatures of a possible topological order.
Efficient error estimates for the Trotter product formula are central in quantum computing, mathematical physics, and numerical simulations. However, the Trotter error's dependency on the input state and its application to unbounded operators remains unclear. Here, we present a general theory for error estimation, including higher-order product formulas, with explicit input state dependency. Our approach overcomes two limitations of the existing operator-norm estimates in the literature. First, previous bounds are too pessimistic as they quantify the worst-case scenario. Second, previous bounds become trivial for unbounded operators and cannot be applied to a wide class of Trotter scenarios, including atomic and molecular Hamiltonians. Our method enables analytical treatment of Trotter errors in chemistry simulations, illustrated through a case study on the hydrogen atom. Our findings reveal the following: (i) for states with fat-tailed energy distribution, such as low-angular-momentum states of the hydrogen atom, the Trotter error scales worse than expected (sublinearly) in the number of Trotter steps; (ii) certain states do not admit an advantage in the scaling from higher-order Trotterization and, thus, the higher-order Trotter hierarchy breaks down for these states, including the hydrogen atom's ground state; (iii) the scaling of higher-order Trotter bounds might depend on the order of the Hamiltonians in the Trotter product for states with fat-tailed energy distribution. Physically, the enlarged Trotter error is caused by the atom's ionization due to the Trotter dynamics. Mathematically, we find that certain domain conditions are not satisfied by some states so higher moments of the potential and kinetic energies diverge. Our analytical error analysis agrees with numerical simulations, indicating that we can estimate the state-dependent Trotter error scaling genuinely.
We numerically analyze the feasibility of a platform-neutral, general strategy to perform quantum simulations of fermionic lattice field theories under open boundary conditions. The digital quantum simulator requires solely one- and two-qubit gates and is scalable since integrating each Hamiltonian term requires a finite (non-scaling) cost. The exact local fermion encoding we adopt relies on auxiliary Z2 lattice gauge fields by adding a pure gauge Hamiltonian term akin to the Toric Code. By numerically emulating the quantum simulator real-time dynamics, we observe a timescale separation for spin- and charge-excitations in a spin-12 Hubbard ladder in the t−J model limit.
The product of two unitaries can normally be expressed as a single exponential through the famous Baker-Campbell-Hausdorff formula. We present here a counterexample in quantum optics, by showing that an expression in terms of a single exponential is possible only at the expense of the introduction of a new element (a central extension of the algebra), implying that there will be unitaries, generated by a sequence of gates, that cannot be generated by any time-independent quadratic Hamiltonian. A quantum-optical experiment is proposed that brings to light this phenomenon.
We prove sharp universal upper bounds on the number of linearly independent steady and asymptotic states of discrete- and continuous-time Markovian evolutions of open quantum systems. We show that the bounds depend only on the dimension of the system and not on the details of the dynamics. A comparison with similar bounds deriving from a recent spectral conjecture for Markovian evolutions is also provided.
Interferometric methods have been recently investigated to achieve sub-Rayleigh imaging and precision measurements of faint incoherent sources up to the ultimate quantum limit. Here we consider single-photon imaging of two point-like emitters of unequal intensity. This is motivated by the fact that pairs of natural emitters typically have unequal brightness, for example, binary star systems and exoplanets. We address the problem of estimating the transverse separation d or the relative intensity 𝜖. Our theoretical analysis shows that the associated statistical errors are qualitatively different from the case of equal intensity. We employ multi-plane light conversion technology to implement Hermite–Gaussian (HG) spatial-mode demultiplexing (SPADE), and demonstrate sub-Rayleigh measurement of two emitters with a Gaussian point-spread function. The experimental errors are comparable with the theoretical bounds. The latter are benchmarked against direct imaging, yielding an 𝜖−1/2 improvement in the signal-to-noise ratio, which may be significant when the primary source is much brighter than the secondary one, for example, as for imaging of exoplanets.
Energy can be transferred between two quantum systems in two forms: unitary energy—that can be used to drive another system—and correlation energy—that reflects past correlations. We propose and implement experimental protocols to access these energy transfers in interactions between a quantum emitter and light fields. Upon spontaneous emission, we measure the unitary energy transfer from the emitter to the light field and show that it never exceeds half the total energy transfer and is reduced when introducing decoherence. We then study the interference of the emitted field and a coherent laser field at a beam splitter and show that the nature of the energy transfer quantitatively depends on the quantum purity of the emitted field.
This work provides a relativistic, digital quantum simulation scheme for both 2+1 and 3+1 dimensional quantum electrodynamics (QED), based on a discrete spacetime formulation of theory. It takes the form of a quantum circuit, infinitely repeating across space and time, parametrised by the discretization step Δt=Δx. Strict causality at each step is ensured as circuit wires coincide with the lightlike worldlines of QED; simulation time under decoherence is optimized. The construction replays the logic that leads to the QED Lagrangian. Namely, it starts from the Dirac quantum walk, well-known to converge towards free relativistic fermions. It then extends the quantum walk into a multi-particle sector quantum cellular automata in a way which respects the fermionic anti-commutation relations and the discrete gauge invariance symmetry. Both requirements can only be achieved at cost of introducing the gauge field. Lastly the gauge field is given its own electromagnetic dynamics, which can be formulated as a quantum walk at each plaquette.
Emerging communication and cryptography applications call for reliable fast unpredictable random number generators. Quantum random number generation allows for the creation of truly unpredictable numbers due to the inherent randomness available in quantum mechanics. A popular approach is to use the quantum vacuum state to generate random numbers. While convenient, this approach has been generally limited in speed compared to other schemes. Here, through custom codesign of optoelectronic integrated circuits and side-information reduction by digital filtering, we experimentally demonstrate an ultrafast generation rate of 100 Gbit/s, setting a new record for vacuum-based quantum random number generation by one order of magnitude. Furthermore, our experimental demonstrations are well supported by an upgraded device-dependent framework that is secure against both classical and quantum side information and that also properly considers the nonlinearity in the digitization process. This ultrafast secure random number generator in the chip-scale platform holds promise for next-generation communication and cryptography applications.
We discuss several aspects concerning the asymptotic dynamics of discrete-time semigroups associated with a quantum channel. By using an explicit expression of the asymptotic map, which describes the action of the quantum channel on its attractor manifold, we investigate the role of permutations in the asymptotic dynamics. We show that, in general, they make the asymptotic evolution non-unitary, and they are related to the divisibility of the quantum channel. Also, we derive several results about the asymptotics of faithful and non-faithful channels, and we establish a constructive unfolding theorem for the asymptotic dynamics.
Spin-photon interfaces (SPIs) are key devices of quantum technologies, aimed at coherently transferring quantum information between spin qubits (storage qubits) and propagating pulses of polarized light (flying qubits). Following a pathway recently opened in the fields of quantum technology and quantum metrology, we explore the potential of SPIs to perform energy-efficient operations by exploiting quantum resources. The operation that we analyze is the main building block of most SPIs-based technological applications: the spin’s quantum non-demolition (QND) measurement. After being initialized and scattered by the SPI, the state of a light pulse depends on the spin state. It thus plays the role of a pointer state, information being encoded in the light's temporal and polarization degrees of freedom. Our study is grounded on a novel, fully Hamiltonian, resolution of the spin-light dynamics based on a generalization of the collision model. We explore the impact of different photonic statistics of the propagating field on the quality of the QND measurement at fixed energy. We focus on a low-energy regime where the light carries a maximum of one excitation in average and compare a coherent field with a quantum superposition of zero and single photon states. We find that the latter gives rise to a more precise spin’s QND measurement than the former hence providing an energetic quantum advantage. We show that this advantage is robust against realistic imperfections of state-of-the-art SPIs’ implementations with quantum dots.
Reconstructing the Hamiltonian of a quantum system is an essential task for characterizing and certifying quantum processors and simulators. Existing techniques either rely on projective measurements of the system before and after coherent time evolution and do not explicitly reconstruct the full time-dependent Hamiltonian or interrupt evolution for tomography. Here, we experimentally demonstrate that an a priori unknown, time-dependent Hamiltonian can be reconstructed from continuous weak measurements concurrent with coherent time evolution in a system of two superconducting transmons coupled by a flux-tunable coupler. In contrast to previous work, our technique does not require interruptions, which would distort the recovered Hamiltonian. We introduce an algorithm, which recovers the Hamiltonian and density matrix from an incomplete set of continuous measurements, and demonstrate that it reliably extracts amplitudes of a variety of single-qubit and entangling two-qubit Hamiltonians. We further demonstrate how this technique reveals deviations from a theoretical control Hamiltonian, which would otherwise be missed by conventional techniques. Our work opens up novel applications for continuous weak measurements, such as studying nonidealities in gates, certifying analog quantum simulators, and performing quantum metrology.
The noisy-storage model of quantum cryptography allows for information-theoretically secure two-party computation based on the assumption that a cheating user has at most access to an imperfect, noisy quantum memory, whereas the honest users do not need a quantum memory at all. In general, the more noisy the quantum memory of the cheating user, the more secure the implementation of oblivious transfer, which is a primitive that allows universal secure two-party and multiparty computation. For experimental implementations of oblivious transfer, one has to consider that also the devices held by the honest users are lossy and noisy, and error correction needs to be applied to correct these trusted errors. The latter are expected to reduce the security of the protocol, since a cheating user may hide themselves in the trusted noise. Here we leverage entropic uncertainty relations to derive tight bounds on the security of oblivious transfer with a trusted and untrusted noise. In particular, we discuss noisy storage and bounded storage, with independent and correlated noise.
We investigate the properties of the cooperative decay modes of a cold atomic cloud, characterized by a Gaussian distribution in three dimensions, initially excited by a laser in the linear regime. We study the properties of the decay rate matrix S, whose dimension coincides with the number of atoms in the cloud, in order to get a deeper insight into properties of cooperative photon emission. Since the atomic positions are random, S is a Euclidean random matrix whose entries are a function of the atom distances. We show that in the limit of a large number of atoms in the cloud, the eigenvalue distribution of S depends on a single parameter b0, called the cooperativeness parameter, which can be viewed as a quantifier of the number of atoms that are coherently involved in an emission process. For very small values of b0, we find that the limit eigenvalue density is approximately triangular. We also study the nearest-neighbor spacing distribution and the eigenvector statistics, finding that although the decay rate matrices are Euclidean, the bulk of their spectra mostly behaves according to the expectations of classical random matrix theory. In particular, in the bulk, there is level repulsion and the eigenvectors are delocalized, therefore exhibiting the universal behavior of chaotic quantum systems.
Coherent states of the quantum electromagnetic field, the quantum description of ideal laser light, are prime candidates as information carriers for optical communications. A large body of literature exists on their quantum-limited estimation and discrimination. However, very little is known about the practical realizations of receivers for unambiguous state discrimination (USD) of coherent states. Here we fill this gap and outline a theory of USD with receivers that are allowed to employ: passive multimode linear optics, phase-space displacements, auxiliary vacuum modes, and on-off photon detection. Our results indicate that, in some regimes, these currently-available optical components are typically sufficient to achieve near-optimal unambiguous discrimination of multiple, multimode coherent states.
Computational complexity reduction is at the basis of a new formulation of many-body quantum states according to tensor network ansatz, originally framed in one-dimensional lattices. In order to include long-range entanglement characterizing phase transitions, the multiscale entanglement renormalization ansatz (MERA) defines a sequence of coarse-grained lattices, obtained by targeting the map of a scale-invariant system into an identical coarse-grained one. The quantum circuit associated with this hierarchical structure includes the definition of causal relations and unitary extensions, leading to the definition of ground subspaces as stabilizer codes. The emerging error correcting codes are referred to logical indices located at the highest hierarchical level and to physical indices yielded by redundancy, framed in the AdS-CFT correspondence as holographic quantum codes with bulk and boundary indices, respectively. In a use-case scenario based on errors consisting of spin erasure, the correction is implemented as the reconstruction of a bulk local operator.
We formulate a self-consistent model of the integer quantum Hall effect on an infinite strip, using boundary conditions to investigate the influence of finite-size effects on the Hall conductivity. By exploiting the translation symmetry along the strip, we determine both the general spectral properties of the system for a large class of boundary conditions respecting such symmetry, and the full spectrum for (fibered) Robin boundary conditions. In particular, we find that the latter introduce a new kind of states with no classical analogues, and add a finer structure to the quantization pattern of the Hall conductivity. Moreover, our model also predicts the breakdown of the quantum Hall effect at high values of the applied electric field.
A quantum key distribution (QKD) system must fulfill the requirement of universal composability to ensure that any cryptographic application (using the QKD system) is also secure. Furthermore, the theoretical proof responsible for security analysis and key generation should cater to the number N of the distributed quantum states being finite in practice. Continuous-variable (CV) QKD based on coherent states, despite being a suitable candidate for integration in the telecom infrastructure, has so far been unable to demonstrate composability as existing proofs require a rather large N for successful key generation. Here we report a Gaussian-modulated coherent state CVQKD system that is able to overcome these challenges and can generate composable keys secure against collective attacks with N ≈ 2 × 108 coherent states. With this advance, possible due to improvements to the security proof and a fast, yet low-noise and highly stable system operation, CVQKD implementations take a significant step towards their discrete-variable counterparts in practicality, performance, and security.
The quantum dynamics of time-dependent systems is extraordinarily complex even for the simplest examples. Approximations are therefore the key to understanding this rich dynamics, with applications ranging across all areas of quantum physics, and important consequences for quantum information processing and control. However, such approximations are often ad hoc or do not provide a good handle to bound the error made in simplifying the dynamics. Here, we describe a simple tool which we use to bound a surprisingly wide range of time-dependent phenomena, ranging from the famous Adiabatic Theorems, via the commonly used Rotating-Wave Approximation and the Trotter Product Formulas with importance in quantum simulation, to the conceptually puzzling Zeno Paradox. One bound to bring them all, and in mathematics bind them.
Uncertainty relations express limits on the extent to which the outcomes of distinct measurements on a single state can be made jointly predictable. The existence of nontrivial uncertainty relations in quantum theory is generally considered to be a way in which it entails a departure from the classical worldview. However, this perspective is undermined by the fact that there exist operational theories which exhibit nontrivial uncertainty relations but which are consistent with the classical worldview insofar as they admit of a generalized-noncontextual ontological model. This prompts the question of what aspects of uncertainty relations, if any, cannot be realized in this way and so constitute evidence of genuine nonclassicality. We here consider uncertainty relations describing the tradeoff between the predictability of a pair of binary-outcome measurements (e.g., measurements of Pauli X and Pauli Z observables in quantum theory). We show that, for a class of theories satisfying a particular symmetry property, the functional form of this predictability tradeoff is constrained by noncontextuality to be below a linear curve. Because qubit quantum theory has the relevant symmetry property, the fact that its predictability tradeoff describes a section of a circle is a violation of this noncontextual bound, and therefore constitutes an example of how the functional form of an uncertainty relation can witness contextuality. We also deduce the implications for a selected group of operational foils to quantum theory and consider the generalization to three measurements.
Continuous-variable quantum key distribution exploits coherent measurements of the electromagnetic field, i.e., homodyne or heterodyne detection. The most advanced security proofs developed so far have relied on idealized mathematical models for such measurements, which assume that the measurement outcomes are continuous and unbounded variables. As physical-measurement devices have a finite range and precision, these mathematical models only serve as an approximation. It is expected that, under suitable conditions, the predictions obtained using these simplified models will be in good agreement with the actual experimental implementations. However, a quantitative analysis of the error introduced by this approximation, and of its impact on composable security, have been lacking so far. Here, we present a theory to rigorously account for the experimental limitations of realistic heterodyne detection. We focus on collective attacks and present security proofs for the asymptotic and finite-size regimes, the latter being within the framework of composable security. In doing this, we establish for the first time the composable security of discrete-modulation continuous-variable quantum key distribution in the finite-size regime. Tight bounds on the key rates are obtained through semidefinite programming and do not rely on a truncation of the Hilbert space.
Google Sites
Report abuse