Source author record

Alberto Montina

Alberto Montina appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

16works
6topics
4close collaborators

Actions

Connect this record

Log in to claim

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

16 published item(s)

preprint2016arXiv

Can non-local correlations be discriminated in polynomial time?

In view of the importance of quantum non-locality in cryptography, quantum computation and communication complexity, it is crucial to decide whether a given correlation exhibits non-locality or not. In the light of a theorem by Pitowski, it is generally believed that this problem is computationally intractable. In this paper, we first prove that the Euclidean distance of given correlations from the local polytope can be computed in polynomial time with arbitrary fixed error, granted the access to a certain oracle. Namely, given a fixed error, we derive two upper bounds on the running time. The first bound is linear in the number of measurements. The second bound scales as the number of measurements to the sixth power. The former is dominant only for a very high number of measurements and is never saturated in the performed numerical tests. We then introduce a simple algorithm for simulating the oracle. In all the considered numerical tests, the simulation of the oracle contributes with a multiplicative factor to the overall running time and, thus, does not affect the sixth-power law of the oracle-assisted algorithm.

preprint2016arXiv

Information-based measure of nonlocality

Quantum nonlocality concerns correlations among spatially separated systems that cannot be classically explained without post-measurement communication among the parties. Thus, a natural measure of nonlocal correlations is provided by the minimal amount of communication required for classically simulating them. In this paper, we present a method to compute the minimal communication cost, which we call nonlocal capacity, for any general nonsignaling correlations. This measure turns out to have an important role in communication complexity and can be used to discriminate between local and nonlocal correlations, as an alternative to the violation of Bell's inequalities.

preprint2016arXiv

Optimal measurements for nonlocal correlations

A problem in quantum information theory is to find the experimental setup that maximizes the nonlocality of correlations with respect to some suitable measure such as the violation of Bell inequalities. The latter has however some drawbacks. First and foremost it is unfeasible to determine the whole set of Bell inequalities already for a few measurements and thus unfeasible to find the experimental setup maximizing their violation. Second, the Bell violation suffers from an ambiguity stemming from the choice of the normalization of the Bell coefficients. An alternative measure of nonlocality with a direct information-theoretic interpretation is the minimal amount of classical communication required for simulating nonlocal correlations. In the case of many instances simulated in parallel, the minimal communication cost per instance is called nonlocal capacity, and its computation can be reduced to a convex-optimization problem. This quantity can be computed for a higher number of measurements and turns out to be useful for finding the optimal experimental setup. Focusing on the bipartite case, in this paper, we present a simple method for maximizing the nonlocal capacity over a given configuration space and, in particular, over a set of possible measurements, yielding the corresponding optimal setup. Furthermore, we show that there is a functional relationship between Bell violation and nonlocal capacity. The method is illustrated with numerical tests and compared with the maximization of the violation of CGLMP-type Bell inequalities on the basis of entangled two-qubit as well as two-qutrit states. Remarkably, the anomaly of nonlocality displayed by qutrits turns out to be even stronger if the nonlocal capacity is employed as a measure of nonlocality.

preprint2015arXiv

Communication complexity and the reality of the wave-function

In this review, we discuss a relation between quantum communication complexity and a long-standing debate in quantum foundation concerning the interpretation of the quantum state. Is the quantum state a physical element of reality as originally interpreted by Schrodinger? Or is it an abstract mathematical object containing statistical information about the outcome of measurements as interpreted by Born? Although these questions sound philosophical and pointless, they can be made precise in the framework of what we call classical theories of quantum processes, which are a reword of quantum phenomena in the language of classical probability theory. In 2012, Pusey, Barrett and Rudolph (PBR) proved, under an assumption of preparation independence, a theorem supporting the original interpretation of Schrodinger in the classical framework. Recently, we showed that these questions are related to a practical problem in quantum communication complexity, namely, quantifying the minimal amount of classical communication required in the classical simulation of a two-party quantum communication process. In particular, we argued that the statement of the PBR theorem can be proved if the classical communication cost of simulating the communication of n qubits grows more than exponentially in 'n'. Our argument is based on an assumption that we call probability equipartition property. This property is somehow weaker than the preparation independence property used in the PBR theorem, as the former can be justified by the latter and the asymptotic equipartition property of independent stochastic sources. The equipartition property is a general and natural hypothesis that can be assumed even if the preparation independence hypothesis is dropped. In this review, we further develop our argument into the form of a theorem.

preprint2014arXiv

Lower bounds on the communication complexity of two-party (quantum) processes

The process of state preparation, its transmission and subsequent measurement can be classically simulated through the communication of some amount of classical information. Recently, we proved that the minimal communication cost is the minimum of a convex functional over a space of suitable probability distributions. It is now proved that this optimization problem is the dual of a geometric programming maximization problem, which displays some appealing properties. First, the number of variables grows linearly with the input size. Second, the objective function is linear in the input parameters and the variables. Finally, the constraints do not depend on the input parameters. These properties imply that, once a feasible point is found, the computation of a lower bound on the communication cost in any two-party process is linearly complex. The studied scenario goes beyond quantum processes and includes the communication complexity scenario introduced by Yao. We illustrate the method by analytically deriving some non-trivial lower bounds. Finally, we conjecture the lower bound $n 2^n$ for a noiseless quantum channel with capacity $n$ qubits. This bound can have an interesting consequence in the context of the recent quantum-foundational debate on the reality of the quantum state.

preprint2014arXiv

Necessary and sufficient optimality conditions for classical simulations of quantum communication processes

We consider the process consisting of preparation, transmission through a quantum channel, and subsequent measurement of quantum states. The communication complexity of the channel is the minimal amount of classical communication required for classically simulating it. Recently, we reduced the computation of this quantity to a convex minimization problem with linear constraints. Every solution of the constraints provides an upper bound on the communication complexity. In this paper, we derive the dual maximization problem of the original one. The feasible points of the dual constraints, which are inequalities, give lower bounds on the communication complexity, as illustrated with an example. The optimal values of the two problems turn out to be equal (zero duality gap). By this property, we provide necessary and sufficient conditions for optimality in terms of a set of equalities and inequalities. We use these conditions and two reasonable but unproven hypotheses to derive the lower bound $n 2^{n-1}$ for a noiseless quantum channel with capacity equal to $n$ qubits. This lower bound can have interesting consequences in the context of the recent debate on the reality of the quantum state.

preprint2013arXiv

Exponential communication gap between weak and strong classical simulations of quantum communication

The most trivial way to simulate classically the communication of a quantum state is to transmit the classical description of the quantum state itself. However, this requires an infinite amount of classical communication if the simulation is exact. A more intriguing and potentially less demanding strategy would encode the full information about the quantum state into the probability distribution of the communicated variables, so that this information is never sent in each single shot. This kind of simulation is called weak, as opposed to strong simulations, where the quantum state is communicated in individual shots. In this paper, we introduce a bounded-error weak protocol for simulating the communication of an arbitrary number of qubits and a subsequent two-outcome measurement consisting of an arbitrary pure state projector and its complement. This protocol requires an amount of classical communication independent of the number of qubits and proportional to Delta^{-1}, where Delta is the error and a free parameter of the protocol. Conversely, a bounded-error strong protocol requires an amount of classical communication growing exponentially with the number of qubits for a fixed error. Our result improves a previous protocol, based on the Johnson-Lindenstrauss lemma, with communication cost scaling as Delta^{-2} log Delta^{-1}.

preprint2012arXiv

Dynamics of a qubit as a classical stochastic process with time-correlated noise: minimal measurement invasiveness

So far it has been shown that the quantum dynamics cannot be described as a classical Markov process unless the number of classical states is uncountably infinite. In this paper, we present a stochastic model with time-correlated noise that exactly reproduces any unitary evolution of a qubit and requires just four classical states. The invasive updating of just one bit during a measurement accounts for the quantum violation of the Leggett-Garg inequalities. Unlike in a pilot wave theory, the stochastic forces governing the jumps among the four states do not depend on the quantum state, but only on the unitary evolution. This model is used to derive a local hidden variable model, augmented by one bit of classical communication, for simulating entangled Bell states.

preprint2012arXiv

Epistemic view of quantum states and communication complexity of quantum channels

The communication complexity of a quantum channel is the minimal amount of classical communication required for classically simulating a process of state preparation, transmission through the channel and subsequent measurement. It establishes a limit on the power of quantum communication in terms of classical resources. We show that classical simulations employing a finite amount of communication can be derived from a special class of hidden variable theories where quantum states represent statistical knowledge about the classical state and not an element of reality. This special class has attracted strong interest very recently. The communication cost of each derived simulation is given by the mutual information between the quantum state and the classical state of the parent hidden variable theory. Finally, we find that the communication complexity for single qubits is smaller than 1.28 bits. The previous known upper bound was 1.85 bits.

preprint2011arXiv

Approximate simulation of entanglement with a linear cost of communication

Bell's theorem implies that the outcomes of local measurements on two maximally entangled systems cannot be simulated without classical communication between the parties. The communication cost is finite for n Bell states, but it grows exponentially in n. Three simple protocols are presented that provide approximate simulations for low-dimensional entangled systems and require a linearly growing amount of communication. We have tested them by performing some simulations for a family of measurements. The maximal error is less than 1% in three dimensions and grows sublinearly with the number of entangled bits in the range numerically tested. One protocol is the multidimensional generalization of the exact Toner-Bacon [Phys. Rev. Lett. 91, 187904 (2003)] model for a single Bell state. The other two protocols are generalizations of an alternative exact model, which we derive from the Kochen-Specker [J. Math. Mech. 17, 59 (1967)] scheme for simulating single-qubit measurements. These protocols can give some indication for finding optimal one-way communication protocols that classically simulate entanglement and quantum channels. Furthermore they can be useful for deciding if a quantum communication protocol provides an advantage on classical protocols.

preprint2011arXiv

Communication cost of classically simulating a quantum channel with subsequent rank-1 projective measurement

A process of preparation, transmission and subsequent projective measurement of a qubit can be simulated by a classical model with only two bits of communication and some amount of shared randomness. However no model for n qubits with a finite amount of classical communication is known at present. A lower bound for the communication cost can provide useful hints for a generalization. It is known for example that the amount of communication must be greater than c 2^n, where c~0.01. The proof uses a quite elaborate theorem of communication complexity. Using a mathematical conjecture known as the "double cap conjecture", we strengthen this result by presenting a geometrical and extremely simple derivation of the lower bound 2^n-1. Only rank-1 projective measurements are involved in the derivation.

preprint2011arXiv

Compressing the hidden variable space of a qubit

In previously exhibited hidden variable models of quantum state preparation and measurement, the number of continuous hidden variables describing the actual state of a single realization is never smaller than the quantum state manifold dimension. We introduce a simple model for a qubit whose hidden variable space is one-dimensional, i.e., smaller than the two-dimensional Bloch sphere. The hidden variable probability distributions associated with the quantum states satisfy reasonable criteria of regularity. Possible generalizations of this shrinking to a N-dimensional Hilbert space are discussed.

preprint2011arXiv

Impurity Scattering in a Bose-Einstein Condensate at finite temperature

We consider the effects of finite temperature on the scattering of impurity atoms in a BoseEinstein condensate, showing that the scattering rate is enhanced by the thermal atoms. Collisions can increase or decrease the impurity energy. Below the Landau velocity only the first process occurs, i.e., the collisions cool the condensate. Above the critical velocity the dissipative collisions prevail over the cooling ones for sufficiently low temperatures. These considerations are applied to a recent experiment.

preprint2011arXiv

Measurement contextuality is implied by macroscopic realism

Ontological theories of quantum mechanics provide a realistic description of single systems by means of well-defined quantities conditioning the measurement outcomes. In order to be complete, they should also fulfil the minimal condition of macroscopic realism. Under the assumption of outcome determinism and for Hilbert space dimension greater than two, they were all proved to be contextual for projective measurements. In the recent years a generalized concept of non-contextuality was introduced that applies also to the case of outcome indeterminism and unsharp measurements. It was pointed out that the Beltrametti-Bugajski model is an example of measurement non-contextual indeterminist theory. Here we provide a simple proof that this model is the only one with such a feature for projective measurements and Hilbert space dimension greater than two. As a corollary, von Neumann measurement non-contextuality implies non-contextuality for unsharp measurements. By noting that the Beltrametti-Bugajski model does not satisfy the condition of macroscopic realism, we arrive at the conclusion that the only way to solve the measurement problem in the framework of an ontological theory is relaxing the hypothesis of non-contextuality in its generalized sense.

preprint2010arXiv

State space dimensionality in short memory hidden variable theories

Recently we have presented a hidden variable model of measurements for a qubit where the hidden variable state space dimension is one-half the quantum state manifold dimension. The absence of a short memory (Markov) dynamics is the price paid for this dimensional reduction. The conflict between having the Markov property and achieving the dimensional reduction was proved in [A. Montina, Phys. Rev. A, 77, 022104 (2008)] using an additional hypothesis of trajectory relaxation. Here we analyze in more detail this hypothesis introducing the concept of invertible process and report a proof that makes clearer the role played by the topology of the hidden variable space. This is accomplished by requiring suitable properties of regularity of the conditional probability governing the dynamics. In the case of minimal dimension the set of continuous hidden variables is identified with an object living an N-dimensional Hilbert space, whose dynamics is described by the Schrödinger equation. A method for generating the economical non-Markovian model for the qubit is also presented.

preprint2007arXiv

A condition for any realistic theory of quantum systems

In quantum physics, the density operator completely describes the state. Instead, in classical physics the mean value of every physical quantity is evaluated by means of a probability distribution. We study the possibility to describe pure quantum states and events with classical probability distributions and conditional probabilities and prove that the distributions can not be quadratic functions of the quantum state. Some examples are considered. Finally, we deal with the exponential complexity problem of quantum physics and introduce the concept of classical dimension for a quantum system.