BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Mateus Araújo

Mateus Araújo appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
quant-ph

Catalog footprint

What is connected

17works
1topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

17 published item(s)

preprint2022arXiv

Semi-device-independent certification of indefinite causal order

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.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Experimental entanglement of temporal order

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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

A purification postulate for quantum mechanics with indefinite causal order

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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Computational advantage from quantum-controlled ordering of gates

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Causally nonseparable processes admitting a causal model

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Quantum superposition of the order of parties as a communication resource

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

The simplest causal inequalities and their violation

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Witnessing causal nonseparability

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Experimental Superposition of Orders of Quantum Gates

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Quantum circuits cannot control unknown operations

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Quantum realism and quantum surrealism

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

All noncontextuality inequalities for the n-cycle scenario

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Realistic loophole-free Bell test with atom-photon entanglement

The establishment of nonlocal correlations, obtained through the violation of a Bell inequality, is not only important from a fundamental point of view, but constitutes the basis for device-independent quantum information technologies. Although several nonlocality tests have been performed so far, all of them suffered from either the locality or the detection loopholes. Recent studies have suggested that the use of atom-photon entanglement can lead to Bell inequality violations with moderate transmission and detection efficiencies. In this paper we propose an experimental setup realizing a simple atom-photon entangled state that, under realistic experimental parameters available to date, achieves a significant violation of the Clauser-Horn-Shimony-Holt inequality. Most importantly, the violation remains when considering typical detection efficiencies and losses due to required propagation distances.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Maximal CHSH violations with low efficiency photodetection and homodyne measurements

We study nonlocality tests in which each party performs photodetection and homodyne measurements. The results of such measurements are dichotomized and a Clauser-Horne-Shimony-Holt (CHSH) inequality is used. We prove that in this scenario the maximal violation is attainable and fully characterize the set of maximally violating states. If we restrict our search to states composed by at most 2, 4, and 6 photons per mode, we find critical photodetection efficiencies of 0.48, 0.36, and 0.29. We also found an entangled variation of the famous cat states that has critical efficiency 0.32. These values are well within the limit of current photodetector technology, which suggests the present approach as a road for a loophole-free Bell experiment.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Tests of Bell inequality with arbitrarily low photodetection efficiency and homodyne measurements

We show that hybrid local measurements combining homodyne measurements and photodetection provide violations of a Bell inequality with arbitrarily low photodetection efficiency. This is shown in two different scenarios: when one part receives an atom entangled to the field mode to be measured by the other part and when both parts make similar photonic measurements. Our findings promote the hybrid measurement scenario as a candidate for loophole-free Bell tests beyond previous expectations.

0 citations0 reviewsNo code linkedOpen access