Showing 1–50 of 54 results for author: Araújo, M

Improved finite-size key rates for discrete-modulated continuous variable quantum key distribution under coherent attacks

Authors: Carlos Pascual-García, Stefan Bäuml, Mateus Araújo, Rotem Liss, Antonio Acín

Abstract: Continuous variable quantum key distribution (CVQKD) with discrete modulation combines advantages of CVQKD, such as the implementability using readily available technologies, with advantages of discrete variable quantum key distribution, such as easier error correction procedures. We consider a prepare-and-measure CVQKD protocol, where Alice chooses from a set of four coherent states and Bob perfo… ▽ More Continuous variable quantum key distribution (CVQKD) with discrete modulation combines advantages of CVQKD, such as the implementability using readily available technologies, with advantages of discrete variable quantum key distribution, such as easier error correction procedures. We consider a prepare-and-measure CVQKD protocol, where Alice chooses from a set of four coherent states and Bob performs a heterodyne measurement, the result of which is discretised in both key and test rounds. We provide a security proof against coherent attacks in the finite-size regime, and compute the achievable key rate. To this end, we employ the generalised entropy accumulation theorem, as well as recent advances in conic optimisation, yielding improved key rates compared to previous works. At metropolitan distances, our method can provide positive key rates for the order of $10^8$ rounds. △ Less

Submitted 3 July, 2024; originally announced July 2024.

Comments: 24 pages, 5 figures

Quantum key distribution rates from non-symmetric conic optimization

Authors: Andrés González Lorente, Pablo V. Parellada, Miguel Castillo-Celeita, Mateus Araújo

Abstract: Computing key rates in QKD numerically is essential to unlock more powerful protocols, that use more sophisticated measurement bases or quantum systems of higher dimension. It is a difficult optimization problem, that depends on minimizing a convex non-linear function: the relative entropy. Standard conic optimization techniques have for a long time been unable to handle the relative entropy cone,… ▽ More Computing key rates in QKD numerically is essential to unlock more powerful protocols, that use more sophisticated measurement bases or quantum systems of higher dimension. It is a difficult optimization problem, that depends on minimizing a convex non-linear function: the relative entropy. Standard conic optimization techniques have for a long time been unable to handle the relative entropy cone, as it is a non-symmetric cone, and the standard algorithms can only handle symmetric ones. Recently, however, a practical algorithm has been discovered for optimizing over non-symmetric cones, including the relative entropy. Here we adapt this algorithm to the problem of computation of key rates, obtaining an efficient technique for lower bounding them. In comparison to previous techniques it has the advantages of flexibility, ease of use, and above all performance. △ Less

Submitted 28 June, 2024; originally announced July 2024.

Comments: 11+1 pages, 3 figures

Introducing Moment: A toolkit for semi-definite programming with moment matrices

Authors: Andrew J. P. Garner, Mateus Araújo

Abstract: Non-commutative polynomial optimization is a powerful technique with numerous applications in quantum nonlocality, quantum key distribution, causal inference, many-body physics, amongst others. The standard approach is to reduce such optimizations to a hierarchy of semi-definite programs, which can be solved numerically using well-understood interior-point methods. A key, but computationally costl… ▽ More Non-commutative polynomial optimization is a powerful technique with numerous applications in quantum nonlocality, quantum key distribution, causal inference, many-body physics, amongst others. The standard approach is to reduce such optimizations to a hierarchy of semi-definite programs, which can be solved numerically using well-understood interior-point methods. A key, but computationally costly, step is the formulation of moment matrices, whose size (and hence cost) grows exponentially with the depth of the hierarchy. It is therefore essential to have highly-optimized software to construct moment matrices. Here, we introduce Moment: a toolkit that produces moment matrix relaxations from the specification of a non-commutative optimization problem. In order to obtain the absolute best performance, Moment is written in C++, and for convenience of use provides an interface via MATLAB. We benchmark Moment's performance, and see that it can be up to four orders of magnitude faster than current software with similar functionality. △ Less

Submitted 21 June, 2024; originally announced June 2024.

Comments: 49 + 13 pages, 4 figures, 5 tables

Robust self-testing of Bell inequalities tilted for maximal loophole-free nonlocality

Authors: Nicolas Gigena, Ekta Panwar, Giovanni Scala, Mateus Araújo, Máté Farkas, Anubhav Chaturvedi

Abstract: The degree of experimentally attainable nonlocality, as gauged by the amount of loophole-free violation of Bell inequalities, remains severely limited due to inefficient detectors. We address an experimentally motivated question: Which quantum strategies attain the maximal loophole-free nonlocality in the presence of inefficient detectors? For any Bell inequality and any specification of detection… ▽ More The degree of experimentally attainable nonlocality, as gauged by the amount of loophole-free violation of Bell inequalities, remains severely limited due to inefficient detectors. We address an experimentally motivated question: Which quantum strategies attain the maximal loophole-free nonlocality in the presence of inefficient detectors? For any Bell inequality and any specification of detection efficiencies, the optimal strategies are those that maximally violate a tilted version of the Bell inequality in ideal conditions. In the simplest scenario, we demonstrate that the quantum strategies that maximally violate the tilted versions of Clauser-Horne-Shimony-Holt inequality are unique up to local isometries. However, self-testing via the standard sum of squares decomposition method turns out to be analytically intractable since even high levels of the Navascués--Pironio--Acín hierarchy are insufficient to saturate the maximum quantum violation of these inequalities. Instead, we utilize a novel Jordan's lemma-based proof technique to obtain robust analytical self-testing statements for the entire family of tilted-Bell inequalities. These results allow us to unveil intriguing aspects of the effect of inefficient detectors and the complexity of characterizing the set of quantum correlations, in the simplest Bell scenario. △ Less

Submitted 14 May, 2024; originally announced May 2024.

Comments: First draft, comments are welcome

High-dimensional quantum key distribution using a multi-plane light converter

Authors: Ohad Lib, Kfir Sulimany, Mateus Araújo, Michael Ben-Or, Yaron Bromberg

Abstract: High-dimensional quantum key distribution (QKD) offers higher information capacity and stronger resilience to noise compared to its binary counterpart. However, these advantages are often hindered by the difficulty of realizing the required high-dimensional measurements and transformations. Here, we implement a large-scale multi-plane light converter (MPLC) and program it as a high-dimensional mod… ▽ More High-dimensional quantum key distribution (QKD) offers higher information capacity and stronger resilience to noise compared to its binary counterpart. However, these advantages are often hindered by the difficulty of realizing the required high-dimensional measurements and transformations. Here, we implement a large-scale multi-plane light converter (MPLC) and program it as a high-dimensional mode sorter of spatial modes for QKD. Using the MPLC, we demonstrate five-dimensional QKD with six mutually unbiased bases and 25-dimensional QKD with two mutually unbiased bases in the same experimental setup. Furthermore, we propose a construction of pairs of mutually unbiased bases that are robust to experimental errors, with measurement complexity scaling only with the square root of the encoded dimension. This approach paves the way for QKD implementations in higher dimensions. △ Less

Submitted 28 May, 2024; v1 submitted 6 March, 2024; originally announced March 2024.

First-order optimality conditions for non-commutative optimization problems

Authors: Mateus Araújo, Igor Klep, Andrew J. P. Garner, Tamás Vértesi, Miguel Navascues

Abstract: We consider the problem of optimizing the state average of a polynomial of non-commuting variables, over all states and operators satisfying a number of polynomial constraints, and over all Hilbert spaces where such states and operators are defined. Such non-commutative polynomial optimization (NPO) problems are routinely solved through hierarchies of semidefinite programming (SDP) relaxations. By… ▽ More We consider the problem of optimizing the state average of a polynomial of non-commuting variables, over all states and operators satisfying a number of polynomial constraints, and over all Hilbert spaces where such states and operators are defined. Such non-commutative polynomial optimization (NPO) problems are routinely solved through hierarchies of semidefinite programming (SDP) relaxations. By phrasing the general NPO problem in Lagrangian form, we heuristically derive, via small variations on the problem variables, state and operator optimality conditions, both of which can be enforced by adding new positive semidefinite constraints to the SDP hierarchies. State optimality conditions are satisfied by all Archimedean (that is, bounded) NPO problems, and allow enforcing a new type of constraints: namely, restricting the optimization over states to the set of common ground states of an arbitrary number of operators. Operator optimality conditions are the non-commutative analogs of the Karush--Kuhn--Tucker (KKT) conditions, which are known to hold in many classical optimization problems. In this regard, we prove that a weak form of non-commutative operator optimality holds for all Archimedean NPO problems; stronger versions require the problem constraints to satisfy some qualification criterion, just like in the classical case. We test the power of the new optimality conditions by computing local properties of ground states of many-body spin systems and the maximum quantum violation of Bell inequalities. △ Less

Submitted 19 February, 2024; v1 submitted 30 November, 2023; originally announced November 2023.

Comments: v3: stronger results and SDP constraints, simpler proofs and a motivating numerical example. If you read the first version, we're sorry for your loss (of time)

Semidefinite programming relaxations for quantum correlations

Authors: Armin Tavakoli, Alejandro Pozas-Kerstjens, Peter Brown, Mateus Araújo

Abstract: Semidefinite programs are convex optimisation problems involving a linear objective function and a domain of positive semidefinite matrices. Over the last two decades, they have become an indispensable tool in quantum information science. Many otherwise intractable fundamental and applied problems can be successfully approached by means of relaxation to a semidefinite program. Here, we review such… ▽ More Semidefinite programs are convex optimisation problems involving a linear objective function and a domain of positive semidefinite matrices. Over the last two decades, they have become an indispensable tool in quantum information science. Many otherwise intractable fundamental and applied problems can be successfully approached by means of relaxation to a semidefinite program. Here, we review such methodology in the context of quantum correlations. We discuss how the core idea of semidefinite relaxations can be adapted for a variety of research topics in quantum correlations, including nonlocality, quantum communication, quantum networks, entanglement, and quantum cryptography. △ Less

Submitted 16 February, 2024; v1 submitted 5 July, 2023; originally announced July 2023.

Comments: Submitted to Reviews of Modern Physics. v3: incorporated improvements from referees

Self-testing in prepare-and-measure scenarios and a robust version of Wigner's theorem

Authors: Miguel Navascues, Károly F. Pál, Tamás Vértesi, Mateus Araújo

Abstract: We consider communication scenarios where one party sends quantum states of known dimensionality $D$, prepared with an untrusted apparatus, to another, distant party, who probes them with uncharacterized measurement devices. We prove that, for any ensemble of reference pure quantum states, there exists one such prepare-and-measure scenario and a linear functional $W$ on its observed measurement pr… ▽ More We consider communication scenarios where one party sends quantum states of known dimensionality $D$, prepared with an untrusted apparatus, to another, distant party, who probes them with uncharacterized measurement devices. We prove that, for any ensemble of reference pure quantum states, there exists one such prepare-and-measure scenario and a linear functional $W$ on its observed measurement probabilities, such that $W$ can only be maximized if the preparations coincide with the reference states, modulo a unitary or an anti-unitary transformation. In other words, prepare-and-measure scenarios allow one to "self-test" arbitrary ensembles of pure quantum states. Arbitrary extreme $D$-dimensional quantum measurements, or sets thereof, can be similarly self-tested. Our results rely on a robust generalization of Wigner's theorem, a well-known result in particle physics that characterizes physical symmetries. △ Less

Submitted 2 February, 2024; v1 submitted 1 June, 2023; originally announced June 2023.

Comments: Close to published version

Journal ref: Phys. Rev. Lett. 131, 250802 (2023)

Comment on "Geometry of the quantum set on no-signaling faces"

Authors: Mateus Araújo

Abstract: In Ref. [1] the authors claim that the Almost Quantum set of correlations cannot reproduce two points on the boundary of the quantum set of correlations. This claim is incorrect. The underlying issue is that the associated SDP is not strictly feasible, which makes the numerical solvers give unreliable answers. We give analytical proofs that both points are indeed reproduced by Almost Quantum. In Ref. [1] the authors claim that the Almost Quantum set of correlations cannot reproduce two points on the boundary of the quantum set of correlations. This claim is incorrect. The underlying issue is that the associated SDP is not strictly feasible, which makes the numerical solvers give unreliable answers. We give analytical proofs that both points are indeed reproduced by Almost Quantum. △ Less

Submitted 7 February, 2023; originally announced February 2023.

Comments: 5 pages, 2 Mathematica notebooks

Journal ref: Phys. Rev. A 107, 036201 (2023)

Quantum key distribution rates from semidefinite programming

Authors: Mateus Araújo, Marcus Huber, Miguel Navascués, Matej Pivoluska, Armin Tavakoli

Abstract: Computing the key rate in quantum key distribution (QKD) protocols is a long standing challenge. Analytical methods are limited to a handful of protocols with highly symmetric measurement bases. Numerical methods can handle arbitrary measurement bases, but either use the min-entropy, which gives a loose lower bound to the von Neumann entropy, or rely on cumbersome dedicated algorithms. Based on a… ▽ More Computing the key rate in quantum key distribution (QKD) protocols is a long standing challenge. Analytical methods are limited to a handful of protocols with highly symmetric measurement bases. Numerical methods can handle arbitrary measurement bases, but either use the min-entropy, which gives a loose lower bound to the von Neumann entropy, or rely on cumbersome dedicated algorithms. Based on a recently discovered semidefinite programming (SDP) hierarchy converging to the conditional von Neumann entropy, used for computing the asymptotic key rates in the device independent case, we introduce an SDP hierarchy that converges to the asymptotic secret key rate in the case of characterised devices. The resulting algorithm is efficient, easy to implement and easy to use. We illustrate its performance by recovering known bounds on the key rate and extending high-dimensional QKD protocols to previously intractable cases. We also use it to reanalyse experimental data to demonstrate how higher key rates can be achieved when the full statistics are taken into account. △ Less

Submitted 22 May, 2023; v1 submitted 10 November, 2022; originally announced November 2022.

Comments: 11+5 pages, 3 figures. Minor improvements, published version

Journal ref: Quantum 7, 1019 (2023)

Adiabatic quantum algorithm for artificial graphene

Authors: Axel Pérez-Obiol, Adrián Pérez-Salinas, Sergio Sánchez-Ramírez, Bruna G. M. Araújo, Artur Garcia-Saez

Abstract: We devise a quantum-circuit algorithm to solve the ground state and ground energy of artificial graphene. The algorithm implements a Trotterized adiabatic evolution from a purely tight-binding Hamiltonian to one including kinetic, spin-orbit and Coulomb terms. The initial state is obtained efficiently using Gaussian-state preparation, while the readout of the ground energy is organized into sevent… ▽ More We devise a quantum-circuit algorithm to solve the ground state and ground energy of artificial graphene. The algorithm implements a Trotterized adiabatic evolution from a purely tight-binding Hamiltonian to one including kinetic, spin-orbit and Coulomb terms. The initial state is obtained efficiently using Gaussian-state preparation, while the readout of the ground energy is organized into seventeen sets of measurements, irrespective of the size of the problem. The total depth of the corresponding quantum circuit scales polynomially with the size of the system. A full simulation of the algorithm is performed and ground energies are obtained for lattices with up to four hexagons. Our results are benchmarked with exact diagonalization for systems with one and two hexagons. For larger systems we use the exact statevector and approximate matrix product state simulation techniques. The latter allows to systematically trade off precision with memory and therefore to tackle larger systems. We analyze adiabatic and Trotterization errors, providing estimates for optimal periods and time discretizations given a finite accuracy. In the case of large systems we also study approximation errors. △ Less

Submitted 6 April, 2022; originally announced April 2022.

Comments: 13 pages, 7 figures: paper with code

Local quantum overlap** tomography

Authors: Bruna G. M. Araújo, Márcio M. Taddei, Daniel Cavalcanti, Antonio Acín

Abstract: Reconstructing the full quantum state of a many-body system requires the estimation of a number of parameters that grows exponentially with system size. Nevertheless, there are situations in which one is only interested in a subset of these parameters and a full reconstruction is not needed. A paradigmatic example is a scenario where one aims at determining all the reduced states only up to a give… ▽ More Reconstructing the full quantum state of a many-body system requires the estimation of a number of parameters that grows exponentially with system size. Nevertheless, there are situations in which one is only interested in a subset of these parameters and a full reconstruction is not needed. A paradigmatic example is a scenario where one aims at determining all the reduced states only up to a given size. Overlap** tomography provides constructions to address this problem with a number of product measurements much smaller than what is obtained when performing independent tomography of each reduced state. There are however many relevant physical systems with a natural notion of locality where one is mostly interested in the reduced states of neighboring particles. In this work, we study this form of local overlap** tomography. First of all, we show that, contrary to its full version, the number of product-measurement settings needed for local overlap** tomography does not grow with system size. Then, we present strategies for qubit and fermionic systems in selected lattice geometries. The developed methods find a natural application in the estimation of many-body systems prepared in current quantum simulators or quantum computing devices, where interactions are often local. △ Less

Submitted 7 February, 2023; v1 submitted 7 December, 2021; originally announced December 2021.

Comments: Terminology slightly changed to enhance clarity. All references are hyperlinks

Journal ref: Phys. Rev. A 106, 062441 (2022)

Simulating thermal qubits through thermofield dynamics

Authors: G. X. A. Petronilo, M. R. Araújo, Clebson Cruz

Abstract: Quantum computing has attracted the attention of the scientific community in the past few decades. The development of quantum computers promises one path toward safer and faster ways to treat, extract, and transfer information. However, despite the significant advantages of quantum computing, the development of quantum devices operating at room temperature has been compromised by the thermal decoh… ▽ More Quantum computing has attracted the attention of the scientific community in the past few decades. The development of quantum computers promises one path toward safer and faster ways to treat, extract, and transfer information. However, despite the significant advantages of quantum computing, the development of quantum devices operating at room temperature has been compromised by the thermal decoherence process. In addition, in most undergraduate and graduate quantum mechanics courses, the study of thermofield dynamics is usually neglected. In this scenario, this work explores a didactic approach to simulate thermal qubit systems through Thermofield Dynamics (TFD), applied in a quantum computing setup. The results show that the Bloch sphere representation for a qubit can be written in terms of the Bogoliubov transformation, which allows a practical construction for the thermal qubits in a quantum computing setup. Therefore, this work introduces thermofield dynamics through quantum computing to teachers and curious students interested in teaching and learning this important field of studying the temperature impacts on quantum protocols using the TFD technique. △ Less

Submitted 10 December, 2023; v1 submitted 18 November, 2021; originally announced November 2021.

Comments: 9 pages, 4 figures

Observation of nonclassical correlations in biphotons generated from an ensemble of pure two-level atoms

Authors: Michelle O. Araújo, Lucas S. Marinho, Daniel Felinto

Abstract: We report the experimental verification of nonclassical correlations for a four-wave-mixing process in an ensemble of cold two-level atoms, confirming theoretical predictions by Du et al. in 2007 for the violation of a Cauchy-Schwarz inequality in the system, and obtaining $R = (1.98\pm0.03) \nleq 1$. Quantum correlations are observed in a nano-seconds timescale, in the interference between the ce… ▽ More We report the experimental verification of nonclassical correlations for a four-wave-mixing process in an ensemble of cold two-level atoms, confirming theoretical predictions by Du et al. in 2007 for the violation of a Cauchy-Schwarz inequality in the system, and obtaining $R = (1.98\pm0.03) \nleq 1$. Quantum correlations are observed in a nano-seconds timescale, in the interference between the central exciting frequency and sidebands dislocated by the detuning to the atomic resonance. They prevail without filters over the noise background coming from linear scattering from the same optical transition. These correlations are fragile with respect to processes that disturb the phase of the atomic excitation, but are robust to variations in number of atoms and to increasing light intensities. △ Less

Submitted 17 January, 2022; v1 submitted 11 August, 2021; originally announced August 2021.

Comments: 8 pages, 6 figures

Symmetry-induced even/odd parity in charge and heat pum**

Authors: Miguel A. N. Araújo, Pedro Ninhos, Pedro Ribeiro

Abstract: It is shown that the presence of discrete symmetries in Floquet systems connected to metallic reservoirs imprints a definite parity on the charge and heat pum** as a function of the reservoir's chemical potential, $μ$. In particular, when particle-hole symmetry (PHS) holds, the pum** of charge (heat) is an odd (even) function of $μ$. Whereas, if only the product of PHS and parity symmetry is p… ▽ More It is shown that the presence of discrete symmetries in Floquet systems connected to metallic reservoirs imprints a definite parity on the charge and heat pum** as a function of the reservoir's chemical potential, $μ$. In particular, when particle-hole symmetry (PHS) holds, the pum** of charge (heat) is an odd (even) function of $μ$. Whereas, if only the product of PHS and parity symmetry is present, pum** of charge (heat) is even (odd) in $μ$. Our results also extend to the presence of other unitary symmetries and provide a simple criterion for reversing (or maintaining) the direction of the flow. We illustrate our findings using two variants of the Su-Schrieffer-Heeger model under a time-periodic perturbation. △ Less

Submitted 24 May, 2021; v1 submitted 22 December, 2020; originally announced December 2020.

Comments: Regarding changes made, the supplementary Material has been integrated into the main text

Journal ref: Phys. Rev. B 103, 174307 (2021)

Entanglement dynamics of a dc SQUID interacting with a single-mode radiation field

Authors: Cleidson Castro, Matheus R. Araújo, Clebson Cruz

Abstract: In this work, we study the coupling between a superconducting device as a dc SQUID, simulated from an artificial atom with two degrees of freedom, and a single-mode radiation field for the information transference process. We demonstrate that the population transfer among the energy levels of the artificial atom yields an entanglement dynamics, which leads to the generation of a pair of photons. M… ▽ More In this work, we study the coupling between a superconducting device as a dc SQUID, simulated from an artificial atom with two degrees of freedom, and a single-mode radiation field for the information transference process. We demonstrate that the population transfer among the energy levels of the artificial atom yields an entanglement dynamics, which leads to the generation of a pair of photons. Moreover, we show the quantum information transference between the internal modes of the superconducting device, initially in a maximally entangled state, and the radiation field. The artificial atom absorbs the photon, and the radiation field modes become entangled as quantum coherence is transmitted from the superconducting device to the photons. These results strengthen the applicability of superconducting devices for the transference of quantum information, contributing to promising applications in emerging quantum technologies. △ Less

Submitted 10 February, 2021; v1 submitted 1 September, 2020; originally announced September 2020.

Bell nonlocality with a single shot

Authors: Mateus Araújo, Flavien Hirsch, Marco Túlio Quintino

Abstract: In order to reject the local hidden variables hypothesis, the usefulness of a Bell inequality can be quantified by how small a p-value it will give for a physical experiment. Here we show that to obtain a small expected p-value it is sufficient to have a large gap between the local and Tsirelson bounds of the Bell inequality, when it is formulated as a nonlocal game. We develop an algorithm for tr… ▽ More In order to reject the local hidden variables hypothesis, the usefulness of a Bell inequality can be quantified by how small a p-value it will give for a physical experiment. Here we show that to obtain a small expected p-value it is sufficient to have a large gap between the local and Tsirelson bounds of the Bell inequality, when it is formulated as a nonlocal game. We develop an algorithm for transforming an arbitrary Bell inequality into an equivalent nonlocal game with the largest possible gap, and show its results for the CGLMP and $I_{nn22}$ inequalities. We present explicit examples of Bell inequalities with gap arbitrarily close to one, and show that this makes it possible to reject local hidden variables with arbitrarily small p-value in a single shot, without needing to collect statistics. We also develop an algorithm for calculating local bounds of general Bell inequalities which is significantly faster than the naïve approach, which may be of independent interest. △ Less

Submitted 23 October, 2020; v1 submitted 27 May, 2020; originally announced May 2020.

Comments: 11+7 pages, 1 figure, 3 computer programs. Minor improvements, published version

Journal ref: Quantum 4, 353 (2020)

Quantum-optical Description of Phase Conjugation of Vector Vortex Beams in Stimulated Parametric Down Conversion

Authors: A. G. de Oliveira, N. Rubiano da Silva, R. Medeiros de Araújo, P. H. Souto Ribeiro, S. P. Walborn

Abstract: We present a quantum optics approach for describing stimulated parametric down conversion in the two type-I crystal "sandwich" configuration, which allows for parametric interaction of vector vortex beams. We analyze the conditions for which phase conjugation of the seed vector beam occurs. We then use two strategies for defining generalized Stokes parameters to describe phase conjugation of vecto… ▽ More We present a quantum optics approach for describing stimulated parametric down conversion in the two type-I crystal "sandwich" configuration, which allows for parametric interaction of vector vortex beams. We analyze the conditions for which phase conjugation of the seed vector beam occurs. We then use two strategies for defining generalized Stokes parameters to describe phase conjugation of vector vortex beams. These allow for geometrical representations, such as higher-order Poincaré spheres. Our results are useful for description and design of stimulated and spontaneous parametric down conversion experiments with vector vortex beams. △ Less

Submitted 4 May, 2020; originally announced May 2020.

Comments: 11 pages, 6 figures

Journal ref: Phys. Rev. Applied 14, 024048 (2020)

Computational advantage from quantum superposition of multiple temporal orders of photonic gates

Authors: Márcio M. Taddei, Jaime Cariñe, Daniel Martínez, Tania García, Nayda Guerrero, Alastair A. Abbott, Mateus Araújo, Cyril Branciard, Esteban S. Gómez, Stephen P. Walborn, Leandro Aolita, Gustavo Lima

Abstract: Models for quantum computation with circuit connections subject to the quantum superposition principle have been recently proposed. There, a control quantum system can coherently determine the order in which a target quantum system undergoes $N$ gate operations. This process, known as the quantum $N$-switch, is a resource for several information-processing tasks. In particular, it provides a compu… ▽ More Models for quantum computation with circuit connections subject to the quantum superposition principle have been recently proposed. There, a control quantum system can coherently determine the order in which a target quantum system undergoes $N$ gate operations. This process, known as the quantum $N$-switch, is a resource for several information-processing tasks. In particular, it provides a computational advantage -- over fixed-gate-order quantum circuits -- for phase-estimation problems involving $N$ unknown unitary gates. However, the corresponding algorithm requires an experimentally unfeasible target-system dimension (super)exponential in $N$. Here, we introduce a promise problem for which the quantum $N$-switch gives an equivalent computational speed-up with target-system dimension as small as 2 regardless of $N$. We use state-of-the-art multi-core optical-fiber technology to experimentally demonstrate the quantum $N$-switch with $N=4$ gates acting on a photonic-polarization qubit. This is the first observation of a quantum superposition of more than $N=2$ temporal orders, demonstrating its usefulness for efficient phase-estimation. △ Less

Submitted 9 February, 2021; v1 submitted 18 February, 2020; originally announced February 2020.

Comments: Main text: 9 pages, 3 figures; total 15 pages, 5 figures

Journal ref: PRX Quantum 2, 010320 (2021)

Experimental Study of the Generalized Jarzysnki's Fluctuation Relation Using Entangled Photons

Authors: P. H. Souto Ribeiro, T. Häffner, G. L. Zanin, N. Rubiano da Silva, R. Medeiros de Araújo, W. C. S. Silva, R. J. de Assis, L. C. Céleri, A. Forbes

Abstract: Optical modes possessing orbital angular momentum constitute a very useful platform for experimental studies on the quantum limits of Thermodynamics. Here, we present experimental results for entangled photon pairs subjected to thin turbulence simulated with spatial light modulators and interpret them in the context of the generalized Jarzysnki's fluctuation relation. By holographic measurement of… ▽ More Optical modes possessing orbital angular momentum constitute a very useful platform for experimental studies on the quantum limits of Thermodynamics. Here, we present experimental results for entangled photon pairs subjected to thin turbulence simulated with spatial light modulators and interpret them in the context of the generalized Jarzysnki's fluctuation relation. By holographic measurement of the orbital angular momentum, we obtain the work distribution produced by the turbulence for single and double-sided turbulence channels. The use of the Klyshko's advanced wave picture allows us to interpret the experimental scheme as two-way processes in a fully quantum picture. △ Less

Submitted 30 March, 2020; v1 submitted 13 December, 2019; originally announced December 2019.

Comments: 10 pages, 11 figures, two new appendices

Journal ref: Phys. Rev. A 101, 052113 (2020)

Real-time Phase Conjugation of Vector Vortex Beams

Authors: A. G. de Oliveira, M. F. Z. Arruda, W. C. Soares, S. P. Walborn, R. M. Gomes, R. Medeiros de Araújo, P. H. Souto Ribeiro

Abstract: Vector vortex beams have played a fundamental role in the better understanding of coherence and polarization. They are described by spatially inhomogeneous polarization states, which present a rich optical mode structure that has attracted much attention for applications in optical communications, imaging, spectroscopy and metrology. However, this complex mode structure can be quite detrimental wh… ▽ More Vector vortex beams have played a fundamental role in the better understanding of coherence and polarization. They are described by spatially inhomogeneous polarization states, which present a rich optical mode structure that has attracted much attention for applications in optical communications, imaging, spectroscopy and metrology. However, this complex mode structure can be quite detrimental when propagation effects such as turbulence and birefringence perturb the beam. Optical phase conjugation has been proposed as a method to recover an optical beam from perturbations. Here we demonstrate full phase conjugation of vector vortex beams using three-wave mixing. Our scheme exploits a fast non-linear process that can be conveniently controlled via the pump beam. Our results pave the way for sophisticated, practical applications of vector beams. △ Less

Submitted 16 October, 2019; originally announced October 2019.

Comments: 7 pages, 8 figures

Journal ref: ACS Photonics 2020, 7, 1, 249-255

Robustness of Dicke subradiance against thermal decoherence

Authors: P. Weiss, A. Cipris, M. O. Araújo, R. Kaiser, W. Guerin

Abstract: Subradiance is the cooperative inhibition of the radiation by several emitters coupled to the same electromagnetic modes. It was predicted by Dicke in 1954 and only recently observed in cold atomic vapors. Here we address the question to what extent this cooperative effect survives outside the limit of frozen two-level systems by studying the subradiant decay in an ensemble of cold atoms as a func… ▽ More Subradiance is the cooperative inhibition of the radiation by several emitters coupled to the same electromagnetic modes. It was predicted by Dicke in 1954 and only recently observed in cold atomic vapors. Here we address the question to what extent this cooperative effect survives outside the limit of frozen two-level systems by studying the subradiant decay in an ensemble of cold atoms as a function of the temperature. Experimentally, we observe only a slight decrease of the subradiant decay time when increasing the temperature up to several millikelvins, and in particular we measure subradiant decay rates that are much smaller than the Doppler broadening. This demonstrates that subradiance is surprisingly robust against thermal decoherence. The numerical simulations are in good agreement and allow us to extrapolate the behavior of subradiance at higher temperatures. △ Less

Submitted 23 September, 2019; v1 submitted 7 June, 2019; originally announced June 2019.

Journal ref: Phys. Rev. A 100, 033833 (2019)

Semi-device-independent certification of indefinite causal order

Authors: Jessica Bavaresco, Mateus Araújo, Časlav Brukner, Marco Túlio Quintino

Abstract: When transforming pairs of independent quantum operations according to the fundamental rules of quantum theory, an intriguing phenomenon emerges: some such higher-order operations may act on the input operations in an indefinite causal order. Recently, the formalism of process matrices has been developed to investigate these noncausal properties of higher-order operations. This formalism predicts,… ▽ More When transforming pairs of independent quantum operations according to the fundamental rules of quantum theory, an intriguing phenomenon emerges: some such higher-order operations may act on the input operations in an indefinite causal order. Recently, the formalism of process matrices has been developed to investigate these noncausal properties of higher-order operations. This formalism predicts, in principle, statistics that ensure indefinite causal order even in a device-independent scenario, where the involved operations are not characterised. Nevertheless, all physical implementations of process matrices proposed so far require full characterisation of the involved operations in order to certify such phenomena. Here we consider a semi-device-independent scenario, which does not require all operations to be characterised. We introduce a framework for certifying noncausal properties of process matrices in this intermediate regime and use it to analyse the quantum switch, a well-known higher-order operation, to show that, although it can only lead to causal statistics in a device-independent scenario, it can exhibit noncausal properties in semi-device-independent scenarios. This proves that the quantum switch generates stronger noncausal correlations than it was previously known. △ Less

Submitted 7 February, 2022; v1 submitted 25 March, 2019; originally announced March 2019.

Comments: 17 + 22 pages. Code available at https://github.com/jessicabavaresco/SDI-causality. v5: Correction to the proof of Lemma 3. v6: Equation numbering amended in order to update the published version

Journal ref: Quantum 3, 176 (2019)

Comment on "The photon identification loophole in EPRB experiments: computer models with single-wing selection"

Authors: Mateus Araújo, Philippe Grangier, Jan-Åke Larsson

Abstract: Contrary to the claims made in Ref. [1], the recent Bell tests by Giustina et al. and Shalm et al. do not suffer from a "photon identification loophole". The model discussed in Ref. [1] is exploiting the well-known detection loophole, that is precisely what was closed in the recent experiments. Contrary to the claims made in Ref. [1], the recent Bell tests by Giustina et al. and Shalm et al. do not suffer from a "photon identification loophole". The model discussed in Ref. [1] is exploiting the well-known detection loophole, that is precisely what was closed in the recent experiments. △ Less

Submitted 13 July, 2018; originally announced July 2018.

Comments: 2 pages, 1 figure. Code available as an ancillary file

Klyshko's Advanced-Wave Picture in Stimulated Parametric Down-Conversion with a Spatially Structured Pump Beam

Authors: M. F. Z. Arruda, W. C. Soares, S. P. Walborn, D. S. Tasca, A. Kanaan, R. Medeiros de Araújo, P. H. Souto Ribeiro

Abstract: The advanced-wave picture is "... an intuitive treatment of two-photon correlation with the help of the concept of an effective field acting upon one of the two detectors and formed by parametric conversion of the advanced wave emitted by the second detector ..." [A. V. Belinskii and D. N. Klyshko, JETP 78, 259 (1994)]. This quote from Belinskii and Klyshko nicely describes the concept of the adva… ▽ More The advanced-wave picture is "... an intuitive treatment of two-photon correlation with the help of the concept of an effective field acting upon one of the two detectors and formed by parametric conversion of the advanced wave emitted by the second detector ..." [A. V. Belinskii and D. N. Klyshko, JETP 78, 259 (1994)]. This quote from Belinskii and Klyshko nicely describes the concept of the advanced-wave picture; an intuitive tool for designing and predicting results from coincidence-based two-photon experiments. Up to now, the advanced-wave picture has been considered primarily for the case of an ideal plane-wave pump beam and only for design purposes. Here we study the advanced wave picture for a structured pump beam and in the context of stimulated emission provoked by an auxiliary input laser beam. This suggests stimulated parametric down-conversion as a useful experimental tool for testing the experimental sets designed with the advanced-wave picture. We present experimental results demonstrating the strategy of designing the experiment with advanced-wave picture and testing with stimulated emission. △ Less

Submitted 12 August, 2018; v1 submitted 16 May, 2018; originally announced May 2018.

Comments: 11 pages, 10 figures

Journal ref: Phys. Rev. A 98, 023850 (2018)

Probability in two deterministic universes

Authors: Mateus Araújo

Abstract: How can probabilities make sense in a deterministic many-worlds theory? We address two facets of this problem: why should rational agents assign subjective probabilities to branching events, and why should branching events happen with relative frequencies matching their objective probabilities. To address the first question, we generalise the Deutsch-Wallace theorem to a wide class of many-world t… ▽ More How can probabilities make sense in a deterministic many-worlds theory? We address two facets of this problem: why should rational agents assign subjective probabilities to branching events, and why should branching events happen with relative frequencies matching their objective probabilities. To address the first question, we generalise the Deutsch-Wallace theorem to a wide class of many-world theories, and show that the subjective probabilities are given by a norm that depends on the dynamics of the theory: the 2-norm in the usual Many-Worlds interpretation of quantum mechanics, and the 1-norm in a classical many-worlds theory known as Kent's universe. To address the second question, we show that if one takes the objective probability of an event to be the proportion of worlds in which this event is realised, then in most worlds the relative frequencies will approximate well the objective probabilities. This suggests that the task of determining the objective probabilities in a many-worlds theory reduces to the task of determining how to assign a measure to the worlds. △ Less

Submitted 27 February, 2019; v1 submitted 4 May, 2018; originally announced May 2018.

Comments: Many words, 2 figures. Final version

Journal ref: Found. Phys. 49, 202-231 (2019)

Experimental entanglement of temporal order

Authors: Giulia Rubino, Lee A. Rozema, Francesco Massa, Mateus Araújo, Magdalena Zych, Časlav Brukner, Philip Walther

Abstract: The study of causal relations has recently been applied to the quantum realm, leading to the discovery that not all physical processes have a definite causal structure. While indefinite causal processes have previously been experimentally shown, these proofs relied on the quantum description of the experiments. Yet, the same experimental data could also be compatible with definite causal structure… ▽ More The study of causal relations has recently been applied to the quantum realm, leading to the discovery that not all physical processes have a definite causal structure. While indefinite causal processes have previously been experimentally shown, these proofs relied on the quantum description of the experiments. Yet, the same experimental data could also be compatible with definite causal structures within different descriptions. Here, we present the first demonstration of indefinite temporal order outside of quantum formalism. We show that our experimental outcomes are incompatible with a class of generalised probabilistic theories satisfying the assumptions of locality and definite temporal order. To this end, we derive physical constraints (in the form of a Bell-like inequality) on experimental outcomes within such a class of theories. We then experimentally invalidate these theories by violating the inequality using entangled temporal order. This provides experimental evidence that there exist correlations in nature which are incompatible with the assumptions of locality and definite temporal order. △ Less

Submitted 29 December, 2021; v1 submitted 19 December, 2017; originally announced December 2017.

Comments: 29 pages, 8 figures

Journal ref: Quantum 6, 621 (2022)

Quantum computation with indefinite causal structures

Authors: Mateus Araújo, Philippe Allard Guérin, Ämin Baumeler

Abstract: One way to study the physical plausibility of closed timelike curves (CTCs) is to examine their computational power. This has been done for Deutschian CTCs (D-CTCs) and post-selection CTCs (P-CTCs), with the result that they allow for the efficient solution of problems in PSPACE and PP, respectively. Since these are extremely powerful complexity classes, which are not expected to be solvable in re… ▽ More One way to study the physical plausibility of closed timelike curves (CTCs) is to examine their computational power. This has been done for Deutschian CTCs (D-CTCs) and post-selection CTCs (P-CTCs), with the result that they allow for the efficient solution of problems in PSPACE and PP, respectively. Since these are extremely powerful complexity classes, which are not expected to be solvable in reality, this can be taken as evidence that these models for CTCs are pathological. This problem is closely related to the nonlinearity of this models, which also allows for example cloning quantum states, in the case of D-CTCs, or distinguishing non-orthogonal quantum states, in the case of P-CTCs. In contrast, the process matrix formalism allows one to model indefinite causal structures in a linear way, getting rid of these effects, and raising the possibility that its computational power is rather tame. In this paper we show that process matrices correspond to a linear particular case of P-CTCs, and therefore that its computational power is upperbounded by that of PP. We show, furthermore, a family of processes that can violate causal inequalities but nevertheless can be simulated by a causally ordered quantum circuit with only a constant overhead, showing that indefinite causality is not necessarily hard to simulate. △ Less

Submitted 8 July, 2020; v1 submitted 29 June, 2017; originally announced June 2017.

Comments: 11 + 5 pages, no figures, 16 circuits. Corrected equations (33)-(36)

Journal ref: Phys. Rev. A 96, 052315 (2017)

Experimental study of quantum thermodynamics using optical vortices

Authors: R. Medeiros de Araújo, T. Häffner, R. Bernardi, D. S. Tasca, M. P. J. Lavery, M. J. Padgett, A. Kanaan, L. C. Céleri, P. H. Souto Ribeiro

Abstract: Non-equilibrium thermodynamics and quantum information theory are interrelated research fields witnessing an increasing interest, both theoretical and experimental. This is manly due to the broadness of these theories, which found applications in many different fields of science, ranging from biology to the foundations of physics. Here, by employing the orbital angular momentum of light, we propos… ▽ More Non-equilibrium thermodynamics and quantum information theory are interrelated research fields witnessing an increasing interest, both theoretical and experimental. This is manly due to the broadness of these theories, which found applications in many different fields of science, ranging from biology to the foundations of physics. Here, by employing the orbital angular momentum of light, we propose a new platform for studying non-equilibrium properties of high dimensional quantum systems. Specifically, we use Laguerre-Gaussian beams to emulate the energy eigenstates of a two-dimension quantum harmonic oscillator having angular momentum. These light beams are subjected to a process realized by a spatial light modulator and the corresponding work distribution is experimentally reconstructed employing a two-point measurement scheme. The Jarzynski fluctuation relation is then verified. We also demonstrate the operation of the system as a Maxwell's demon. △ Less

Submitted 10 November, 2017; v1 submitted 8 May, 2017; originally announced May 2017.

Journal ref: Journal of Physics Communications 2, 035012 (2018)

A purification postulate for quantum mechanics with indefinite causal order

Authors: Mateus Araújo, Adrien Feix, Miguel Navascués, Časlav Brukner

Abstract: To study which are the most general causal structures which are compatible with local quantum mechanics, Oreshkov et al. introduced the notion of a process: a resource shared between some parties that allows for quantum communication between them without a predetermined causal order. These processes can be used to perform several tasks that are impossible in standard quantum mechanics: they allow… ▽ More To study which are the most general causal structures which are compatible with local quantum mechanics, Oreshkov et al. introduced the notion of a process: a resource shared between some parties that allows for quantum communication between them without a predetermined causal order. These processes can be used to perform several tasks that are impossible in standard quantum mechanics: they allow for the violation of causal inequalities, and provide an advantage for computational and communication complexity. Nonetheless, no process that can be used to violate a causal inequality is known to be physically implementable. There is therefore considerable interest in determining which processes are physical and which are just mathematical artefacts of the framework. Here we make the first step in this direction, by proposing a purification postulate: processes are physical only if they are purifiable. We derive necessary conditions for a process to be purifiable, and show that several known processes do not satisfy them. △ Less

Submitted 13 March, 2020; v1 submitted 25 November, 2016; originally announced November 2016.

Comments: 8 + 5 pages, 2 figures, 1 matlab file. Clarified references and fixed equation (62)

Journal ref: Quantum 1, 10 (2017)

Experimental Verification of an Indefinite Causal Order

Authors: Giulia Rubino, Lee A. Rozema, Adrien Feix, Mateus Araújo, Jonas M. Zeuner, Lorenzo M. Procopio, Časlav Brukner, Philip Walther

Abstract: Investigating the role of causal order in quantum mechanics has recently revealed that the causal distribution of events may not be a-priori well-defined in quantum theory. While this has triggered a growing interest on the theoretical side, creating processes without a causal order is an experimental task. Here we report the first decisive demonstration of a process with an indefinite causal orde… ▽ More Investigating the role of causal order in quantum mechanics has recently revealed that the causal distribution of events may not be a-priori well-defined in quantum theory. While this has triggered a growing interest on the theoretical side, creating processes without a causal order is an experimental task. Here we report the first decisive demonstration of a process with an indefinite causal order. To do this, we quantify how incompatible our set-up is with a definite causal order by measuring a 'causal witness'. This mathematical object incorporates a series of measurements which are designed to yield a certain outcome only if the process under examination is not consistent with any well-defined causal order. In our experiment we perform a measurement in a superposition of causal orders - without destroying the coherence - to acquire information both inside and outside of a 'causally non-ordered process'. Using this information, we experimentally determine a causal witness, demonstrating by almost seven standard deviations that the experimentally implemented process does not have a definite causal order. △ Less

Submitted 2 September, 2016; v1 submitted 4 August, 2016; originally announced August 2016.

Comments: 11 pages + a 9-page Appendix; 5 figures + 5 in the Appendix. Corrected definitions of unitaries in Appendix

Journal ref: Sci. Adv., 3: e1602589 (2017)

Exponential Communication Complexity Advantage from Quantum Superposition of the Direction of Communication

Authors: Philippe Allard Guérin, Adrien Feix, Mateus Araújo, Časlav Brukner

Abstract: In communication complexity, a number of distant parties have the task of calculating a distributed function of their inputs, while minimizing the amount of communication between them. It is known that with quantum resources, such as entanglement and quantum channels, one can obtain significant reductions in the communication complexity of some tasks. In this work, we study the role of the quantum… ▽ More In communication complexity, a number of distant parties have the task of calculating a distributed function of their inputs, while minimizing the amount of communication between them. It is known that with quantum resources, such as entanglement and quantum channels, one can obtain significant reductions in the communication complexity of some tasks. In this work, we study the role of the quantum superposition of the direction of communication as a resource for communication complexity. We present a tripartite communication task for which such a superposition allows for an exponential saving in communication, compared to one-way quantum (or classical) communication; the advantage also holds when we allow for protocols with bounded error probability. △ Less

Submitted 9 September, 2016; v1 submitted 24 May, 2016; originally announced May 2016.

Comments: 5 pages, 2 figures. Published version

Journal ref: Phys. Rev. Lett. 117, 100502 (2016)

Causally nonseparable processes admitting a causal model

Authors: Adrien Feix, Mateus Araújo, Časlav Brukner

Abstract: A recent framework of quantum theory with no global causal order predicts the existence of "causally nonseparable" processes. Some of these processes produce correlations incompatible with any causal order (they violate so-called "causal inequalities" analogous to Bell inequalities) while others do not (they admit a "causal model" analogous to a local model). Here we show for the first time that b… ▽ More A recent framework of quantum theory with no global causal order predicts the existence of "causally nonseparable" processes. Some of these processes produce correlations incompatible with any causal order (they violate so-called "causal inequalities" analogous to Bell inequalities) while others do not (they admit a "causal model" analogous to a local model). Here we show for the first time that bipartite causally nonseparable processes with a causal model exist, and give evidence that they have no clear physical interpretation. We also provide an algorithm to generate processes of this kind and show that they have nonzero measure in the set of all processes. We demonstrate the existence of processes which stop violating causal inequalities but are still causally nonseparable when mixed with a certain amount of "white noise". This is reminiscent of the behavior of Werner states in the context of entanglement and nonlocality. Finally, we provide numerical evidence for the existence of causally nonseparable processes which have a causal model even when extended with an entangled state shared among the parties. △ Less

Submitted 22 August, 2016; v1 submitted 12 April, 2016; originally announced April 2016.

Comments: published version, 10 pages, 7 figures

Journal ref: New J. Phys. 18 (2016) 083040

Subradiance in a Large Cloud of Cold Atoms

Authors: William Guerin, Michelle O. Araújo, Robin Kaiser

Abstract: Since Dicke's seminal paper on coherence in spontaneous radiation by atomic ensembles, superradiance has been extensively studied. Subradiance, on the contrary, has remained elusive, mainly because subradiant states are weakly coupled to the environment and are very sensitive to nonradiative decoherence processes.Here we report the experimental observation of subradiance in an extended and dilute… ▽ More Since Dicke's seminal paper on coherence in spontaneous radiation by atomic ensembles, superradiance has been extensively studied. Subradiance, on the contrary, has remained elusive, mainly because subradiant states are weakly coupled to the environment and are very sensitive to nonradiative decoherence processes.Here we report the experimental observation of subradiance in an extended and dilute cold-atom sample containing a large number of particles. We use a far detuned laser to avoid multiple scattering and observe the temporal decay after a sudden switch-off of the laser beam. After the fast decay of most of the fluorescence, we detect a very slow decay, with time constants as long as 100 times the natural lifetime of the excited state of individual atoms. This subradiant time constant scales linearly with the cooperativity parameter, corresponding to the on-resonance optical depth of the sample, and is independent of the laser detuning, as expected from a coupled-dipole model. △ Less

Submitted 23 March, 2016; v1 submitted 1 September, 2015; originally announced September 2015.

Journal ref: Physical Review Letters, American Physical Society, 2016, 116 (8), pp.083601

Quantum superposition of the order of parties as a communication resource

Authors: Adrien Feix, Mateus Araújo, Časlav Brukner

Abstract: In a variant of communication complexity tasks, two or more separated parties cooperate to compute a function of their local data, using a limited amount of communication. It is known that communication of quantum systems and shared entanglement can increase the probability for the parties to arrive at the correct value of the function, compared to classical resources. Here we show that quantum su… ▽ More In a variant of communication complexity tasks, two or more separated parties cooperate to compute a function of their local data, using a limited amount of communication. It is known that communication of quantum systems and shared entanglement can increase the probability for the parties to arrive at the correct value of the function, compared to classical resources. Here we show that quantum superpositions of the direction of communication between parties can also serve as a resource to improve the probability of success. We present a tripartite task for which such a superposition provides an advantage compared to the case where the parties communicate in a fixed order. In a more general context, our result also provides the first semi-device-independent certification of the absence of a definite order of communication. △ Less

Submitted 18 December, 2015; v1 submitted 31 August, 2015; originally announced August 2015.

Comments: 6 pages, 4 figures, v2: published version, v3: correction of the normalization of eq. 12

Journal ref: Phys. Rev. A 92, 052326 (2015)

The simplest causal inequalities and their violation

Authors: Cyril Branciard, Mateus Araújo, Adrien Feix, Fabio Costa, Časlav Brukner

Abstract: In a scenario where two parties share, act on and exchange some physical resource, the assumption that the parties' actions are ordered according to a definite causal structure yields constraints on the possible correlations that can be established. We show that the set of correlations that are compatible with a definite causal order forms a polytope, whose facets define causal inequalities. We fu… ▽ More In a scenario where two parties share, act on and exchange some physical resource, the assumption that the parties' actions are ordered according to a definite causal structure yields constraints on the possible correlations that can be established. We show that the set of correlations that are compatible with a definite causal order forms a polytope, whose facets define causal inequalities. We fully characterize this causal polytope in the simplest case of bipartite correlations with binary inputs and outputs. We find two families of nonequivalent causal inequalities; both can be violated in the recently introduced framework of process matrices, which extends the standard quantum formalism by relaxing the implicit assumption of a fixed causal structure. Our work paves the way to a more systematic investigation of causal inequalities in a theory-independent way, and of their violation within the framework of process matrices. △ Less

Submitted 7 August, 2015; originally announced August 2015.

Comments: 7 + 4 pages, 2 figures

Journal ref: New J. Phys. 18, 013008 (2016)

Characterizing finite-dimensional quantum behavior

Authors: Miguel Navascues, Adrien Feix, Mateus Araujo, Tamas Vertesi

Abstract: We study and extend the semidefinite programming (SDP) hierarchies introduced in [Phys. Rev. Lett. 115, 020501] for the characterization of the statistical correlations arising from finite dimensional quantum systems. First, we introduce the dimension-constrained noncommutative polynomial optimization (NPO) paradigm, where a number of polynomial inequalities are defined and optimization is conduct… ▽ More We study and extend the semidefinite programming (SDP) hierarchies introduced in [Phys. Rev. Lett. 115, 020501] for the characterization of the statistical correlations arising from finite dimensional quantum systems. First, we introduce the dimension-constrained noncommutative polynomial optimization (NPO) paradigm, where a number of polynomial inequalities are defined and optimization is conducted over all feasible operator representations of bounded dimensionality. Important problems in device independent and semi-device independent quantum information science can be formulated (or almost formulated) in this framework. We present effective SDP hierarchies to attack the general dimension-constrained NPO problem (and related ones) and prove their asymptotic convergence. To illustrate the power of these relaxations, we use them to derive new dimension witnesses for temporal and Bell-type correlation scenarios, and also to bound the probability of success of quantum random access codes. △ Less

Submitted 27 July, 2015; originally announced July 2015.

Comments: 17 pages

Journal ref: Phys. Rev. A 92, 042117 (2015)

Witnessing causal nonseparability

Authors: Mateus Araújo, Cyril Branciard, Fabio Costa, Adrien Feix, Christina Giarmatzi, Časlav Brukner

Abstract: Our common understanding of the physical world deeply relies on the notion that events are ordered with respect to some time parameter, with past events serving as causes for future ones. Nonetheless, it was recently found that it is possible to formulate quantum mechanics without any reference to a global time or causal structure. The resulting framework includes new kinds of quantum resources th… ▽ More Our common understanding of the physical world deeply relies on the notion that events are ordered with respect to some time parameter, with past events serving as causes for future ones. Nonetheless, it was recently found that it is possible to formulate quantum mechanics without any reference to a global time or causal structure. The resulting framework includes new kinds of quantum resources that allow performing tasks - in particular, the violation of causal inequalities - which are impossible for events ordered according to a global causal order. However, no physical implementation of such resources is known. Here we show that a recently demonstrated resource for quantum computation - the quantum switch - is a genuine example of "indefinite causal order". We do this by introducing a new tool - the causal witness - which can detect the causal nonseparability of any quantum resource that is incompatible with a definite causal order. We show however that the quantum switch does not violate any causal nequality. △ Less

Submitted 22 October, 2015; v1 submitted 11 June, 2015; originally announced June 2015.

Comments: 15 + 12 pages, 5 figures. Published version

Journal ref: New J. Phys. 17 (2015) 102001

Axial dependence of optical weak measurements in the critical region

Authors: Manoel P. Araujo, Stefano De Leo, Gabriel G. Maia

Abstract: The interference between optical beams of different polarizations plays a fundamental role in reproducing the optical analog of the electron spin weak measurement. The extraordinary point in optical weak measurements is represented by the possibility to estimate with great accuracy the Goos-Haenchen (GH) shift by measuring the distance between the peak of the outgoing beams for two opposite rotati… ▽ More The interference between optical beams of different polarizations plays a fundamental role in reproducing the optical analog of the electron spin weak measurement. The extraordinary point in optical weak measurements is represented by the possibility to estimate with great accuracy the Goos-Haenchen (GH) shift by measuring the distance between the peak of the outgoing beams for two opposite rotation angles of the polarizers located before and after the dielectric block. Starting from the numerical calculation of the GH shift, which clearly shows a frequency crossover for incidence near to the critical angle, we present a detailed study of the interference between s and p polarized waves in the critical region. This allows to determine in which conditions it is possible to avoid axial deformations and reproduce the GH curves. In view of a possible experimental implementation, we give the expected weak measurement curves for Gaussian lasers of different beam waist sizes propagating through borosilicate (BK7) and fused silica dielectric blocks. △ Less

Submitted 16 February, 2015; originally announced February 2015.

Comments: 16 pages, 7 figures

Journal ref: Journal of Optics 17, 035608-10 (2015)

Experimental Superposition of Orders of Quantum Gates

Authors: Lorenzo M. Procopio, Amir Moqanaki, Mateus Araújo, Fabio Costa, Irati A. Calafell, Emma G. Dowd, Deny R. Hamel, Lee A. Rozema, Časlav Brukner, Philip Walther

Abstract: In a quantum computer, creating superpositions of quantum bits (qubits) in different states can lead to a speed-up over classical computers [1], but quantum mechanics also allows for the superposition of quantum circuits [2]. In fact, it has recently been theoretically predicted that superimposing quantum circuits, each with a different gate order, could provide quantum computers with an even furt… ▽ More In a quantum computer, creating superpositions of quantum bits (qubits) in different states can lead to a speed-up over classical computers [1], but quantum mechanics also allows for the superposition of quantum circuits [2]. In fact, it has recently been theoretically predicted that superimposing quantum circuits, each with a different gate order, could provide quantum computers with an even further computational advantage [3-5]. Here, we experimentally demonstrate this enhancement by applying two quantum gates in a superposition of both possible orders to determine whether the two gates commute or anti-commute. We are able to make this determination with only a single use (or query) of each gate, while all quantum circuits with a fixed order of gates would require at least two uses of one of the gates [3]. Remarkably, when the problem is scaled to N gates, creating a superposition of quantum circuits is likely to provide an exponential advantage over classical algorithms, and a linear advantage over quantum algorithms with fixed gate order [4]. The new resource that we exploit in our experiment can be interpreted as a "superposition of causal orders". We demonstrate such a superposition could allow some quantum algorithms to be implemented with an efficiency that is unlikely to be achieved on a quantum computer with a fixed gate order. △ Less

Submitted 12 December, 2014; originally announced December 2014.

Comments: 10 pages, 7 figures, 2 tables

Journal ref: Nat. Commun. 6:7913 (2015)

Maximal breaking of symmetry at critical angle and closed form expression for angular deviations of the Snell law

Authors: Manoel P. Araújo, Silvânia A. Carvalho, Stefano De Leo

Abstract: A detailed analysis of the propagation of laser gaussian beams at critical angles shows in which conditions it is possible to maximize the breaking of symmetry in the angular distribution and for which values of the laser wavelength and beam waist is possible to find an analytic formula for angular deviations of the Snell law. For propagation throughout $N$ dielectric blocks and for a full breakin… ▽ More A detailed analysis of the propagation of laser gaussian beams at critical angles shows in which conditions it is possible to maximize the breaking of symmetry in the angular distribution and for which values of the laser wavelength and beam waist is possible to find an analytic formula for angular deviations of the Snell law. For propagation throughout $N$ dielectric blocks and for a full breaking of symmetry, overcoming the well known problem of the infinity at critical angle, a closed expression for the Goos-Haenchen shift is obtained. The multiple peaks phenomenon clearly represents an additional evidence of the breaking of symmetry in the angular distribution of optical beams. Finally, laser wavelength and beam waist conditions to produce focal effects in the outgoing beam are also briefly discussed. △ Less

Submitted 21 October, 2014; originally announced October 2014.

Comments: 18 pages, 2 tables, 6 figures

Journal ref: Physical Review A 90, 033844-11 (2014)

The frequency crossover for the Goos-Hanchen shift

Authors: Manoel Araujo, Silvania Carvalho, Stefano De Leo

Abstract: For total reflection, the Goos-Hanchen (GH) shift is proportional to the wavelength of the laser beam. At critical angles, such a shift is instead proportional to the square root of the product of the beam waist and wavelength. By using the stationary phase method (SPM) and, when necessary, numerical calculations, we present a detailed analysis of the frequency crossover for the GH shift. The stud… ▽ More For total reflection, the Goos-Hanchen (GH) shift is proportional to the wavelength of the laser beam. At critical angles, such a shift is instead proportional to the square root of the product of the beam waist and wavelength. By using the stationary phase method (SPM) and, when necessary, numerical calculations, we present a detailed analysis of the frequency crossover for the GH shift. The study, done in different incidence regions, sheds new light on the validity of the analytic formulas found in literature. △ Less

Submitted 1 September, 2014; v1 submitted 11 February, 2014; originally announced February 2014.

Comments: 14 pages, 4 figures

Journal ref: Journal of Modern Optics 60, 1772-1780 (2013)

Computational advantage from quantum-controlled ordering of gates

Authors: Mateus Araújo, Fabio Costa, Časlav Brukner

Abstract: It is usually assumed that a quantum computation is performed by applying gates in a specific order. One can relax this assumption by allowing a control quantum system to switch the order in which the gates are applied. This provides a more general kind of quantum computing, that allows transformations on blackbox quantum gates that are impossible in a circuit with fixed order. Here we show that t… ▽ More It is usually assumed that a quantum computation is performed by applying gates in a specific order. One can relax this assumption by allowing a control quantum system to switch the order in which the gates are applied. This provides a more general kind of quantum computing, that allows transformations on blackbox quantum gates that are impossible in a circuit with fixed order. Here we show that this model of quantum computing is physically realizable, by proposing an interferometric setup that can implement such a quantum control of the order between the gates. We show that this new resource provides a reduction in computational complexity: we propose a problem that can be solved using $O(n)$ blackbox queries, whereas the best known quantum algorithm with fixed order between the gates requires $O(n^2)$ queries. Furthermore, we conjecture that solving this problem in a classical computer takes exponential time, which may be of independent interest. △ Less

Submitted 9 June, 2020; v1 submitted 31 January, 2014; originally announced January 2014.

Comments: 4+5 pages, 2 figures. Corrected mistake in Appendix A

Journal ref: Phys. Rev. Lett. 113, 250402 (2014)

Full characterization of a highly multimode entangled state embedded in an optical frequency comb using pulse sha**

Authors: Renné Medeiros de Araújo, Jonathan Roslund, Yin Cai, Giulia Ferrini, Claude Fabre, Nicolas Treps

Abstract: We present a detailed analysis of the multimode quantum state embedded in an optical frequency comb generated by a Synchronously Pumped Optical Parametric Oscillator (SPOPO). The full covariance matrix of the state is obtained with homodyne detection where the local oscillator is spectrally controlled with pulse sha** techniques. The resulting matrix reveals genuine multipartite entanglement. Ad… ▽ More We present a detailed analysis of the multimode quantum state embedded in an optical frequency comb generated by a Synchronously Pumped Optical Parametric Oscillator (SPOPO). The full covariance matrix of the state is obtained with homodyne detection where the local oscillator is spectrally controlled with pulse sha** techniques. The resulting matrix reveals genuine multipartite entanglement. Additionally, the beam is comprised of several independent eigenmodes that correspond to specific pulse shapes. The experimental data is confirmed with numerical simulations. Finally, the potential to create continuous-variable cluster states from the quantum comb is analyzed. Multiple cluster states are shown to be simultaneously embedded in the SPOPO state, and these states can be revealed by a suitable basis change applied to the measured covariance matrix. △ Less

Submitted 20 January, 2014; originally announced January 2014.

The asymmetric Goos-Hänchen effect

Authors: Manoel P. Araujo, Silvânia A. Carvalho, Stefano De Leo

Abstract: We show in which conditions optical gaussian beams, propagating throughout an homogeneous dielectric right angle prism, present an asymmetric Goos-Hänchen (GH) effect. This asymmetric behavior is seen for incidence at critical angles and happens in the propagation direction of the outgoing beam. The asymmetric GH effect can be also seen as an amplification of the standard GH shift. Due to the fact… ▽ More We show in which conditions optical gaussian beams, propagating throughout an homogeneous dielectric right angle prism, present an asymmetric Goos-Hänchen (GH) effect. This asymmetric behavior is seen for incidence at critical angles and happens in the propagation direction of the outgoing beam. The asymmetric GH effect can be also seen as an amplification of the standard GH shift. Due to the fact that it only depends on the ratio between the wavelength and the minimal waist size of the incoming gaussian beam, it can be also used to determine one of these parameters. Multiple peaks interference is an additional phenomenon seen in the presence of such asymmetric effects. △ Less

Submitted 19 November, 2013; originally announced November 2013.

Comments: 13 pages, 6 figures

Journal ref: Journal of Optics 16, 015702-7 (2014)

Quantum circuits cannot control unknown operations

Authors: Mateus Araújo, Adrien Feix, Fabio Costa, Časlav Brukner

Abstract: One of the essential building blocks of classical computer programs is the "if" clause, which executes a subroutine depending on the value of a control variable. Similarly, several quantum algorithms rely on applying a unitary operation conditioned on the state of a control system. Here we show that this control cannot be performed by a quantum circuit if the unitary is completely unknown. However… ▽ More One of the essential building blocks of classical computer programs is the "if" clause, which executes a subroutine depending on the value of a control variable. Similarly, several quantum algorithms rely on applying a unitary operation conditioned on the state of a control system. Here we show that this control cannot be performed by a quantum circuit if the unitary is completely unknown. However, this no-go theorem does not prevent implementing quantum control of unknown unitaries in practice, as any physical implementation of an unknown unitary provides additional information that makes the control possible. We then argue that one should extend the quantum circuit formalism to capture this possibility in a straightforward way. This is done by allowing unknown unitaries to be applied to subspaces and not only to subsystems. △ Less

Submitted 31 January, 2014; v1 submitted 30 September, 2013; originally announced September 2013.

Comments: 4 pages, 2 figures. Major revision

Journal ref: New J. Phys. 16 093026 (2014)

Wavelength-Multiplexed Quantum Networks with Ultrafast Frequency Combs

Authors: Jonathan Roslund, Renné Medeiros De Araujo, Shifeng Jiang, Claude Fabre, Nicolas Treps

Abstract: Highly entangled quantum networks cluster states lie at the heart of recent approaches to quantum computing \cite{Nielsen2006,Lloyd2012}. Yet, the current approach for constructing optical quantum networks does so one node at a time \cite{Furusawa2008,Furusawa2009,Peng2012}, which lacks scalability. Here we demonstrate the \emph{single-step} fabrication of a multimode quantum network from the para… ▽ More Highly entangled quantum networks cluster states lie at the heart of recent approaches to quantum computing \cite{Nielsen2006,Lloyd2012}. Yet, the current approach for constructing optical quantum networks does so one node at a time \cite{Furusawa2008,Furusawa2009,Peng2012}, which lacks scalability. Here we demonstrate the \emph{single-step} fabrication of a multimode quantum network from the parametric downconversion of femtosecond frequency combs. Ultrafast pulse sha** \cite{weiner2000} is employed to characterize the comb's spectral entanglement \cite{vanLoock2003}. Each of the 511 possible bipartitions among ten spectral regions is shown to be entangled; furthermore, an eigenmode decomposition reveals that eight independent quantum channels \cite{Braunstein2005} (qumodes) are subsumed within the comb. This multicolor entanglement imports the classical concept of wavelength-division multiplexing (WDM) to the quantum domain by playing upon frequency entanglement as a means to elevate quantum channel capacity. The quantum frequency comb is easily addressable, robust with respect to decoherence, and scalable, which renders it a unique tool for quantum information. △ Less

Submitted 4 July, 2013; originally announced July 2013.

Experimental Test of the Quantum Violation of the Noncontextuality Inequalities for the n-Cycle Scenario

Authors: Gilberto Borges, Marcos Carvalho, Pierre-Louis de Assis, José Ferraz, Mateus Araújo, Adán Cabello, Marcelo Terra Cunha, Sebastião Pádua

Abstract: The inequalities that separate contextual from noncontextual correlations for the n-cycle scenario (consisting of n dichotomic observables Oj, with j = 0, ..., n-1 and such that Oj and Oj+1 are jointly measurable) have been recently identified [arXiv:1206.3212 (2012)]. Here we report the results of an experiment designed to reach the maximum quantum violation of these inequalities for any even num… ▽ More The inequalities that separate contextual from noncontextual correlations for the n-cycle scenario (consisting of n dichotomic observables Oj, with j = 0, ..., n-1 and such that Oj and Oj+1 are jointly measurable) have been recently identified [arXiv:1206.3212 (2012)]. Here we report the results of an experiment designed to reach the maximum quantum violation of these inequalities for any even number of observables ranging from 4 to 14. The four dimensional Hilbert space required for the test was spanned by two photonic qubits encoded in the transversal path of photon pairs, and the joint measurability of the observables is guaranteed by measuring correlations between observables from different modes. Our results show contextual correlations as predicted by quantum mechanics. △ Less

Submitted 16 April, 2013; originally announced April 2013.

Comments: 5 pages, 3 figures

Journal ref: Phys. Rev. A 89, 052106 (2014)

Quantum realism and quantum surrealism

Authors: Mateus Araújo

Abstract: In this thesis we explore the questions of what should be considered a "classical" theory, and which aspects of quantum theory cannot be captured by any theory that respects our intuition of classicality. This exploration is divided in two parts: in the first we review classical results of the literature, such as the Kochen-Specker theorem, von Neumann's theorem, Gleason's theorem, as well as mo… ▽ More In this thesis we explore the questions of what should be considered a "classical" theory, and which aspects of quantum theory cannot be captured by any theory that respects our intuition of classicality. This exploration is divided in two parts: in the first we review classical results of the literature, such as the Kochen-Specker theorem, von Neumann's theorem, Gleason's theorem, as well as more recent ideas, such as the distinction between $ψ$-ontic and $ψ$-epistemic ontological models, Spekkens' definition of contextuality, Hardy's ontological excess baggage theorem and the PBR theorem. The second part is concerned with pinning down what should be the "correct" definition of contextuality. We settle down on the definition advocated by Abramsky and Branderburger, motivated by the Fine theorem, and show the connection of this definition with the work of George Boole. This definition allows us to unify the notions of locality and noncontextuality, and use largely the same tools to characterize how quantum mechanics violates these notions of classicality. Exploring this formalism, we find a new family of noncontextuality inequalities. We conclude by reviewing the notion of state-independent contextuality. △ Less

Submitted 29 August, 2014; v1 submitted 30 August, 2012; originally announced August 2012.

Comments: 68 pages, 8 figures. Master's thesis presented at UFMG in June, 2012. v2: corrected mistakes, updated references

All noncontextuality inequalities for the n-cycle scenario

Authors: Mateus Araújo, Marco Túlio Quintino, Costantino Budroni, Marcelo Terra Cunha, Adán Cabello

Abstract: The problem of separating classical from quantum correlations is in general intractable and has been solved explicitly only in few cases. In particular, known methods cannot provide general solutions for an arbitrary number of settings. We provide the complete characterization of the classical correlations and the corresponding maximal quantum violations for the case of n >= 4 observables X_0, ...… ▽ More The problem of separating classical from quantum correlations is in general intractable and has been solved explicitly only in few cases. In particular, known methods cannot provide general solutions for an arbitrary number of settings. We provide the complete characterization of the classical correlations and the corresponding maximal quantum violations for the case of n >= 4 observables X_0, ...,X_{n-1}, where each consecutive pair {X_i,X_{i+1}}, sum modulo n, is jointly measurable. This generalizes both the Clauser-Horne-Shimony-Holt and the Klyachko-Can-Binicioglu-Shumovsky scenarios, which are the simplest ones for, respectively, locality and noncontextuality. In addition, we provide explicit quantum states and settings with maximal quantum violation and minimal quantum dimension. △ Less

Submitted 2 September, 2013; v1 submitted 14 June, 2012; originally announced June 2012.

Comments: 5+3 pages, 4 figures, 11 countries. v3: Published version

Journal ref: Phys. Rev. A 88, 022118 (2013)