-
Quantum Optimization Methods for Satellite Mission Planning
Authors:
Antón Makarov,
Carlos Pérez-Herradón,
Giacomo Franceschetto,
Márcio M. Taddei,
Eneko Osaba,
Paloma del Barrio,
Esther Villar-Rodriguez,
Izaskun Oregi
Abstract:
Satellite mission planning for Earth observation satellites is a combinatorial optimization problem that consists of selecting the optimal subset of imaging requests, subject to constraints, to be fulfilled during an orbit pass of a satellite. The ever-growing amount of satellites in orbit underscores the need to operate them efficiently, which requires solving many instances of the problem in sho…
▽ More
Satellite mission planning for Earth observation satellites is a combinatorial optimization problem that consists of selecting the optimal subset of imaging requests, subject to constraints, to be fulfilled during an orbit pass of a satellite. The ever-growing amount of satellites in orbit underscores the need to operate them efficiently, which requires solving many instances of the problem in short periods of time. However, current classical algorithms often fail to find the global optimum or take too long to execute. Here, we approach the problem from a quantum computing point of view, which offers a promising alternative that could lead to significant improvements in solution quality or execution speed in the future. To this end, we study a planning problem with a variety of intricate constraints and discuss methods to encode them for quantum computers. Additionally, we experimentally assess the performance of quantum annealing and the quantum approximate optimization algorithm on a realistic and diverse dataset. Our results identify key aspects like graph connectivity and constraint structure that influence the performance of the methods. We explore the limits of today's quantum algorithms and hardware, providing bounds on the problems that can be currently solved successfully and showing how the solution degrades as the complexity grows. This work aims to serve as a baseline for further research in the field and establish realistic expectations on current quantum optimization capabilities.
△ Less
Submitted 8 April, 2024;
originally announced April 2024.
-
Certification of quantum state functions under partial information
Authors:
Leonardo Zambrano,
Donato Farina,
Egle Pagliaro,
Marcio M. Taddei,
Antonio Acin
Abstract:
Convex functions of quantum states play a key role in quantum physics, with examples ranging from Bell inequalities to von Neumann entropy. However, in experimental scenarios, direct measurements of these functions are often impractical. We address this issue by introducing two methods for determining rigorous confidence bounds for convex functions based on informationally incomplete measurements.…
▽ More
Convex functions of quantum states play a key role in quantum physics, with examples ranging from Bell inequalities to von Neumann entropy. However, in experimental scenarios, direct measurements of these functions are often impractical. We address this issue by introducing two methods for determining rigorous confidence bounds for convex functions based on informationally incomplete measurements. Our approach outperforms existing protocols by providing tighter bounds for a fixed confidence level and number of measurements. We evaluate the performance of our methods using both numerical and experimental data. Our findings demonstrate the efficacy of our approach, paving the way for improved quantum state certification in real-world applications.
△ Less
Submitted 10 November, 2023;
originally announced November 2023.
-
Optimization of Image Acquisition for Earth Observation Satellites via Quantum Computing
Authors:
Antón Makarov,
Márcio M. Taddei,
Eneko Osaba,
Giacomo Franceschetto,
Esther Villar-Rodriguez,
Izaskun Oregi
Abstract:
Satellite image acquisition scheduling is a problem that is omnipresent in the earth observation field; its goal is to find the optimal subset of images to be taken during a given orbit pass under a set of constraints. This problem, which can be modeled via combinatorial optimization, has been dealt with many times by the artificial intelligence and operations research communities. However, despit…
▽ More
Satellite image acquisition scheduling is a problem that is omnipresent in the earth observation field; its goal is to find the optimal subset of images to be taken during a given orbit pass under a set of constraints. This problem, which can be modeled via combinatorial optimization, has been dealt with many times by the artificial intelligence and operations research communities. However, despite its inherent interest, it has been scarcely studied through the quantum computing paradigm. Taking this situation as motivation, we present in this paper two QUBO formulations for the problem, using different approaches to handle the non-trivial constraints. We compare the formulations experimentally over 20 problem instances using three quantum annealers currently available from D-Wave, as well as one of its hybrid solvers. Fourteen of the tested instances have been obtained from the well-known SPOT5 benchmark, while the remaining six have been generated ad-hoc for this study. Our results show that the formulation and the ancilla handling technique is crucial to solve the problem successfully. Finally, we also provide practical guidelines on the size limits of problem instances that can be realistically solved on current quantum computers.
△ Less
Submitted 26 July, 2023;
originally announced July 2023.
-
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.
-
Fragmented imaginary-time evolution for early-stage quantum signal processors
Authors:
Thais de Lima Silva,
Márcio M. Taddei,
Stefano Carrazza,
Leandro Aolita
Abstract:
Simulating quantum imaginary-time evolution (QITE) is a major promise of quantum computation. However, the known algorithms are either probabilistic (repeat until success) with impractically small success probabilities or coherent (quantum amplitude amplification) but with circuit depths and ancillary-qubit numbers unrealistically large in the mid term. Our main contribution is a new generation of…
▽ More
Simulating quantum imaginary-time evolution (QITE) is a major promise of quantum computation. However, the known algorithms are either probabilistic (repeat until success) with impractically small success probabilities or coherent (quantum amplitude amplification) but with circuit depths and ancillary-qubit numbers unrealistically large in the mid term. Our main contribution is a new generation of deterministic, high-precision QITE algorithms significantly more amenable experimentally. These are based on a surprisingly simple idea: partitioning the evolution into several fragments that are sequentially run probabilistically. This causes a huge reduction in wasted circuit depth every time a run fails. Indeed, the resulting overall runtime is asymptotically better than in coherent approaches and the hardware requirements even milder than in probabilistic ones, remarkably. More technically, we present two QITE-circuit sub-routines with excellent complexity scalings. One of them is optimal in ancillary-qubit overhead (one single ancillary qubit throughout) whereas the other one is optimal in runtime for small inverse temperature or high precision. The latter is shown by noting that the runtime saturates a cooling-speed limit that is the imaginary-time counterpart of the no fast-forwarding theorem of real-time simulations, which we prove. Moreover, we also make two technical contributions to the quantum signal processing formalism for operator-function synthesis (on which our sub-routines are based) that are useful beyond QITE. Our findings are specially relevant for the early fault-tolerance stages of quantum hardware.
△ Less
Submitted 1 November, 2023; v1 submitted 25 October, 2021;
originally announced October 2021.
-
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.
-
Exposure of subtle multipartite quantum nonlocality
Authors:
M. M. Taddei,
T. L. Silva,
R. V. Nery,
G. H. Aguilar,
S. P. Walborn,
L. Aolita
Abstract:
The celebrated Einstein-Podolsky-Rosen quantum steering has a complex structure in the multipartite scenario. We show that a naively defined criterion for multipartite steering allows, like in Bell nonlocality, for a contradictory effect whereby local operations could create steering seemingly from scratch. Nevertheless, neither in steering nor in Bell nonlocality has this effect been experimental…
▽ More
The celebrated Einstein-Podolsky-Rosen quantum steering has a complex structure in the multipartite scenario. We show that a naively defined criterion for multipartite steering allows, like in Bell nonlocality, for a contradictory effect whereby local operations could create steering seemingly from scratch. Nevertheless, neither in steering nor in Bell nonlocality has this effect been experimentally confirmed. Operational consistency is reestablished by presenting a suitable redefinition: there is a subtle form of steering already present at the start, and it is only exposed -- as opposed to created -- by the local operations. We devise protocols that, remarkably, are able to reveal, in seemingly unsteerable systems, not only steering, but also Bell nonlocality. Moreover, we find concrete cases where entanglement certification does not coincide with steering. A causal analysis reveals the crux of the issue to lie in hidden signaling. Finally, we implement one of the protocols with three photonic qubits deterministically, providing the experimental demonstration of both exposure and super-exposure of quantum nonlocality.
△ Less
Submitted 16 March, 2021; v1 submitted 28 October, 2019;
originally announced October 2019.
-
Error-run-time trade-off in the adiabatic approximation beyond scaling relations
Authors:
M. R. Passos,
M. M. Taddei,
R. L. de Matos Filho
Abstract:
The use of the adiabatic approximation in practical applications, as in adiabatic quantum computation, demands an assessment of the errors made in finite-time evolutions. Aiming at such scenarios, we derive bounds relating error and evolution time in the adiabatic approximation that go beyond typical scaling relations. Using the Adiabatic Perturbation Theory, we obtain leading-order expressions va…
▽ More
The use of the adiabatic approximation in practical applications, as in adiabatic quantum computation, demands an assessment of the errors made in finite-time evolutions. Aiming at such scenarios, we derive bounds relating error and evolution time in the adiabatic approximation that go beyond typical scaling relations. Using the Adiabatic Perturbation Theory, we obtain leading-order expressions valid for long evolution time $T$, while explicitly determining the shortest time $T$ and the largest error $\varepsilon$ for which they are valid. In this validity regime, we can make clear and precise statements about the evolution time needed to reach a given error and vice-versa. As an example of practical importance, we apply these results to the adiabatic search, and obtain for the first time an error-run-time trade-off relation that fully reproduces the discrete-Grover-search scaling. We also pioneer the obtention of tight numerical values for $\varepsilon$ and $T$ under the error-reducing strategy ``boundary cancelation''.
△ Less
Submitted 20 April, 2020; v1 submitted 8 July, 2019;
originally announced July 2019.
-
Distillation of quantum steering
Authors:
R. V. Nery,
M. M. Taddei,
P. Sahium,
S. P. Walborn,
L. Aolita,
G. H. Aguilar
Abstract:
We show -- both theoretically and experimentally -- that Einstein-Podolsky-Rosen steering can be distilled. We present a distillation protocol that outputs a perfectly correlated system -- the singlet assemblage -- in the asymptotic infinite-copy limit, even for inputs that are arbitrarily close to being unsteerable. As figures of merit for the protocol's performance, we introduce the assemblage f…
▽ More
We show -- both theoretically and experimentally -- that Einstein-Podolsky-Rosen steering can be distilled. We present a distillation protocol that outputs a perfectly correlated system -- the singlet assemblage -- in the asymptotic infinite-copy limit, even for inputs that are arbitrarily close to being unsteerable. As figures of merit for the protocol's performance, we introduce the assemblage fidelity and the singlet-assemblage fraction. These are potentially interesting quantities on their own beyond the current scope. Remarkably, the protocol works well also in the non-asymptotic regime of few copies, in the sense of increasing the singlet-assemblage fraction. We demonstrate the efficacy of the protocol using a hyperentangled photon pair encoding two copies of a two-qubit state. This represents to our knowledge the first observation of deterministic steering concentration. Our findings are not only fundamentally important but may also be useful for semi device-independent protocols in noisy quantum networks.
△ Less
Submitted 18 February, 2020; v1 submitted 3 June, 2019;
originally announced June 2019.
-
Quantum superpositions of causal orders as an operational resource
Authors:
Márcio M. Taddei,
Ranieri V. Nery,
Leandro Aolita
Abstract:
Causal nonseparability refers to processes where events take place in a coherent superposition of different causal orders. These may be the key resource for experimental violations of causal inequalities and have been recently identified as resources for concrete information-theoretic tasks. Here, we take a step forward by deriving a complete operational framework for causal nonseparability as a r…
▽ More
Causal nonseparability refers to processes where events take place in a coherent superposition of different causal orders. These may be the key resource for experimental violations of causal inequalities and have been recently identified as resources for concrete information-theoretic tasks. Here, we take a step forward by deriving a complete operational framework for causal nonseparability as a resource. Our first contribution is a formal definition of quantum control of causal orders, a stronger form of causal nonseparability (with the celebrated quantum switch as best-known example) where the causal orders of events for a target system are coherently controlled by a control system. We then build a resource theory -- for both generic causal nonseparability and quantum control of causal orders -- with a physically-motivated class of free operations, based on process-matrix concatenations. We present the framework explicitly in the mindset with a control register. However, our machinery is versatile, being applicable also to scenarios with a target register alone. Moreover, an important subclass of our operations not only is free with respect to causal nonseparability and quantum control of causal orders but also preserves the very causal structure of causal processes. Hence, our treatment contains, as a built-in feature, the basis of a resource theory of quantum causal networks too. As applications, first, we establish a sufficient condition for pure-process free convertibility. This imposes a hierarchy of quantum control of causal orders with the quantum switch at the top. Second, we prove that causal-nonseparability distillation exists, i.e. we show how to convert multiple copies of a process with arbitrarily little causal nonseparability into fewer copies of a quantum switch. Our findings reveal conceptually new, unexpected phenomena, with both fundamental and practical implications.
△ Less
Submitted 14 March, 2019;
originally announced March 2019.
-
Quantum steering beyond instrumental causal networks
Authors:
R. V. Nery,
M. M. Taddei,
R. Chaves,
L. Aolita
Abstract:
We theoretically predict, and experimentally verify with entangled photons, that outcome communication is not enough for hidden-state models to reproduce quantum steering. Hidden-state models with outcome communication correspond, in turn, to the well-known instrumental processes of causal inference but in the 1-sided device-independent (1S DI) scenario of one black-box measurement device and one…
▽ More
We theoretically predict, and experimentally verify with entangled photons, that outcome communication is not enough for hidden-state models to reproduce quantum steering. Hidden-state models with outcome communication correspond, in turn, to the well-known instrumental processes of causal inference but in the 1-sided device-independent (1S DI) scenario of one black-box measurement device and one well-characterised quantum apparatus. We introduce 1S-DI instrumental inequalities to test against these models, with the appealing feature of detecting entanglement even when communication of the black box's measurement outcome is allowed. We find that, remarkably, these inequalities can also be violated solely with steering, i.e. without outcome communication. In fact, an efficiently-computable formal quantifier -- the robustness of non-instrumentality -- naturally arises; and we prove that steering alone is enough to maximize it. Our findings imply that quantum theory admits a stronger form of steering than known until now, with fundamental as well as practical potential implications.
△ Less
Submitted 8 March, 2018; v1 submitted 22 December, 2017;
originally announced December 2017.
-
Necessary and sufficient conditions for multipartite Bell violations with only one trusted device
Authors:
M. M. Taddei,
R. V. Nery,
L. Aolita
Abstract:
We study multipartite Bell nonlocality in a framework native of multipartite Einstein-Podolsky-Rosen (EPR) steering scenarios with a single trusted measurement device. We derive a closed-form necessary and sufficient criterion for systems composed of a qubit and N-1 untrusted black-box measurement devices to violate -- under general dichotomic measurements on the qubit -- a generic Bell inequality…
▽ More
We study multipartite Bell nonlocality in a framework native of multipartite Einstein-Podolsky-Rosen (EPR) steering scenarios with a single trusted measurement device. We derive a closed-form necessary and sufficient criterion for systems composed of a qubit and N-1 untrusted black-box measurement devices to violate -- under general dichotomic measurements on the qubit -- a generic Bell inequality from a broad family of linear inequalities with arbitrarily many outputs for the N-1 untrusted devices and inputs for all N parties. The optimal quantum measurements for maximal violation are also obtained. For two users, and two inputs and two outputs per user, our criterion becomes necessary and sufficient for Bell nonlocality. Furthermore, in that setting, its form generalizes recently obtained steering inequalities, which allows us to provide useful feedback from nonlocality to the detection of steering. Our findings constitute a practical tool for the study of the interplay between EPR steering and Bell nonlocality, with potential applications in multipartite information processing.
△ Less
Submitted 9 June, 2016; v1 submitted 16 March, 2016;
originally announced March 2016.
-
Quantum Speed Limits for General Physical Processes
Authors:
M. M. Taddei
Abstract:
Quantum speed limits are relations yielding lower bounds on the evolution time of quantum systems. These results have been generalized in some ways, in particular by including evolutions to non-orthogonal states. However, there was a gap in the literature on this area, for only unitary evolutions -- closed quantum systems -- had been considered. On this Ph.D. thesis, such limitation is overcome: o…
▽ More
Quantum speed limits are relations yielding lower bounds on the evolution time of quantum systems. These results have been generalized in some ways, in particular by including evolutions to non-orthogonal states. However, there was a gap in the literature on this area, for only unitary evolutions -- closed quantum systems -- had been considered. On this Ph.D. thesis, such limitation is overcome: our main result is a bound for quantum-system evolutions in general, whether unitary or not, and correctly recovers the known bounds in the unitary case. Applications of this bound to several concrete cases of interest are herein presented. This bound is also used to extend to the non-unitary case the discussion of the role of entanglement in fast evolutions, leading to nontrivial results.
For the derivation of the results, a geometric approach has been employed, which allows a clear interpretation of the bounds and a discussion of the criteria for their saturation. No previous knowledge of quantum-state geometry by the reader has been assumed.
△ Less
Submitted 16 July, 2014;
originally announced July 2014.
-
Quantum speed limit for physical processes
Authors:
M. M. Taddei,
B. M. Escher,
L. Davidovich,
R. L. de Matos Filho
Abstract:
The evaluation of the minimal evolution time between two distinguishable states of a system is important for assessing the maximal speed of quantum computers and communication channels. Lower bounds for this minimal time have been proposed for unitary dynamics. Here we show that it is possible to extend this concept to nonunitary processes, using an attainable lower bound that is connected to the…
▽ More
The evaluation of the minimal evolution time between two distinguishable states of a system is important for assessing the maximal speed of quantum computers and communication channels. Lower bounds for this minimal time have been proposed for unitary dynamics. Here we show that it is possible to extend this concept to nonunitary processes, using an attainable lower bound that is connected to the quantum Fisher information for time estimation. This result is used to delimit the minimal evolution time for typical noisy channels.
△ Less
Submitted 6 December, 2012; v1 submitted 3 September, 2012;
originally announced September 2012.
-
Dispersive interaction between an atom and a conducting sphere
Authors:
M. M. Taddei,
T. N. C. Mendes,
C. Farina
Abstract:
We calculate the van der Waals dispersive interaction between a neutral but polarizable atom and a perfectly conducting isolated sphere in the nonretarded case. We make use of two separate models, one being the semiclassical fluctuating-dipoles method, the other using ordinary quantum mechanics.
We calculate the van der Waals dispersive interaction between a neutral but polarizable atom and a perfectly conducting isolated sphere in the nonretarded case. We make use of two separate models, one being the semiclassical fluctuating-dipoles method, the other using ordinary quantum mechanics.
△ Less
Submitted 11 March, 2009;
originally announced March 2009.