arXiv subjects

Marco Erba

Publications and source records attributed to Marco Erba.

14 recordsLinked to original sources

arXiv2026

Tomographically-nonlocal entanglement

Entanglement is a central and subtle feature of quantum theory, whose structure and operational behavior can change dramatically when additional physical constraints, such as symmetries or superselection rules, are imposed. Such constraints can give rise to striking and counter-intuitive phenomena, including local broadcasting of entangled states and failures of entanglement monogamy. These effects naturally arise in tomographically nonlocal theories (like real quantum theory, twirled worlds, or fermionic quantum theory), where composite systems possess holistic degrees of freedom that are inaccessible to local measurements. In this work, we study entanglement in such theories within the framework of generalized probabilistic theories. We show that the failure of tomographic locality leads to two qualitatively distinct forms of entanglement, which we term $\textit{tomographically-local}$ entanglement and $\textit{tomographically-nonlocal}$ entanglement. We analyze the operational consequences of this distinction, proving that tomographically-nonlocal entanglement is useless for Bell nonlocality, steering, and teleportation, but sufficient for dense coding and perfectly secure data hiding. This framework clarifies the origin of several previously puzzling features of entanglement that arise when tomographic locality fails, as can happen even in quantum theory when one considers fermions or fundamental superselection rules.

quant-ph↗

arXiv2025

Decoupling local classicality from classical explainability: A noncontextual model for bilocal classical theory and a locally-classical but contextual theory

We construct an ontological model for the theory known as bilocal classical theory doi.org/10.1103/PhysRevA.102.052216. To our knowledge, this is only the second time that an ontological model has been constructed for an entire theory, rather than just for some particular scenarios within a theory. This result refutes a conjecture from doi.org/10.1103/PhysRevA.102.052216 which suggested that there might be no local-realist ontological model for bilocal classical theory. Moreover, it is the first time that an ontological model has been constructed for a theory that fails to be locally tomographic, showing that the assumption of local tomography underpinning the structure theorem in doi.org/10.22331/q-2024-03-14-1283 is a genuine limitation of the theorem. This demonstrates that in general there is no tension between failures of local tomography and classical explainability (i.e., generalised noncontextuality). In fact, bilocal classical theory is in many ways more simply understood via the underlying ontological model than it is within its original formulation (much as how odd-dimensional stabiliser subtheories can be more simply understood via Spekkens' toy theory). Furthermore, this result naturally leads to the question, does every locally-classical theory admit of an ontological model? By constructing a concrete counterexample, we show that this is not the case. Our findings demonstrate that there is no straightforward relationship between theories being locally-classical, and them being classically-explainable. This shows that the fundamental status of compositional properties (such as local tomography) is not a technical side-issue, but a central and unavoidable question for a coherent understanding even of classicality itself.

quant-ph↗

arXiv2025

Noncontextual ontological models of operational probabilistic theories

An experiment or theory is classically explainable if it can be reproduced by some noncontextual ontological model. In this work, we adapt the notion of ontological models and generalized noncontextuality so it applies to the framework of operational probabilistic theories (OPTs). A defining feature of quotiented OPTs, which sets them apart from the closely related framework of generalized probabilistic theories (GPTs), is their explicit specification of the structure of instruments, these being generalizations of $\textit{quantum instruments}$ (including nondestructive measurements); in particular, one needs to explicitly declare which collections of transformations constitute a valid instrument. We are particularly interested in strongly causal OPTs, in which the choice of a future instrument can be conditioned on a past measurement outcome. This instrument structure might seem to permit the possibility of a contextual kind of ontological representation, where the representation of a given transformation depends on which instrument it is considered a part of. However, we prove that this is not possible by showing that for strongly causal quotiented OPTs the structure of instruments does $\textit{not}$ allow for such a contextual ontological representation. It follows that ontological representations of strongly causal quotiented OPTs are entirely determined by their action on individual transformations, with no dependence on the structure of instruments.

quant-ph↗

arXiv2024

The composition rule for quantum systems is not the only possible one

Quantum theory provides a significant example of two intermingling hallmarks of science: the ability to consistently combine physical systems and study them compositely, and the power to extract predictions in the form of correlations. A striking consequence of this facet is the violation of Bell inequalities, which has been experimentally demonstrated via Bell tests. The prediction of this phenomenon originates as quantum systems are prescribed to combine according to the composition postulate, i.e. the tensor-product rule. This rule has also an operationally salient formulation given in terms of discriminability of composite states via local measurements. However, both the theoretical and the empirical status of such a postulate have been repeatedly challenged, questioning its independence from other physical principles -- most notably from quantum postulates pertaining solely to single systems. Is the composition postulate the only viable way to combine quantum systems into a consistent physical theory? Here, this long-standing problem is resolved by answering in the negative. This is achieved by adopting an operational approach to physical theories and exhibiting a family of theories that differ from standard quantum theory in their system-composition rule. These theories have the same predictions as standard quantum theory as far as Bell-like correlation scenarios are concerned. Quantum theory is thus established to embody genuinely more than quantum correlations. As a result, foundational programmes based on single-system principles only, or on mere Bell-like correlations, are operationally incomplete. On the experimental side, ascertaining the independence of postulates is a fundamental step to adjudicate between quantum theory and alternative physical theories: hence, the composition postulate calls for experimental scrutiny independently of the other features of quantum theory.

quant-ph↗

arXiv2024

Minimal operational theories: classical theories with quantum features

We introduce a class of probabilistic theories, termed Minimal Strongly Causal Operational Probabilistic Theories, where system dynamics are constrained to the minimal set of operations consistent with the set of states and permitting conditional tests. Specifically, the allowed instruments are limited to those derived from compositions of preparations, measurements, swap transformations, and conditional operations. We demonstrate that minimal theories with conditioning and a spanning set of non-separable states satisfy two quantum no-go theorems: no-information without disturbance and no-broadcasting. As a key example, we construct Minimal Strongly Causal Bilocal Classical Theory, a classical toy-theory that lacks incompatible measurements, preparation uncertainty relations, and is noncontextual (both Kochen-Specker and generalised), yet exhibits irreversibility of measurement disturbance, no-information without disturbance, and no-broadcasting. Therefore, the latter three properties cannot be understood $\textit{per se}$ as signatures of non-classicality. We further explore distinctions between a theory and its minimal strongly causal counterpart, showing that while the minimal strongly causal version of quantum theory diverges from full quantum theory, the same does not hold for classical theory. Additionally, we establish the pairwise independence of the properties of simpliciality, strong causality, and local discriminability.

quant-ph↗

arXiv2024

Symmetry-induced failures of tomographic locality: Constructing foil theories by twirling

Tomographic locality is a principle commonly used in the program of finding axioms that pick out quantum theory within the landscape of possible theories. The principle asserts the sufficiency of local measurements for achieving a tomographic characterization of any bipartite state. In this work, we explore the meaning of the principle of tomographic locality by developing a simple scheme for generating a wide variety of theories that violate the principle. In this scheme, one starts with a tomographically local theory -- which can be classical, quantum or post-quantum -- and a physical symmetry, and one restricts the processes in the theory to all and only those that are covariant with respect to the collective action of that symmetry. We refer to the resulting theories as twirled worlds. We show that failures of tomographic locality are ubiquitous in twirled worlds. From the possibility of such failures in classical twirled worlds, we argue that the failure of tomographic locality (i.e., tomographic nonlocality) does not imply ontological holism. Our results also demonstrate the need for researchers seeking to axiomatize quantum theory to take a stand on the question of whether there are superselection rules that have a fundamental status.

quant-ph↗

arXiv2023

Measurement incompatibility is strictly stronger than disturbance

The core of Heisenberg's heuristic argument for the uncertainty principle, involving the famous $\gamma$-ray microscope $\textit{Gedankenexperiment}$, hinges upon the existence of measurements that irreversibly alter the state of the system on which they are acting, causing an irreducible disturbance on subsequent measurements. The argument was put forward to justify measurement incompatibility in quantum theory, namely, the existence of measurements that cannot be performed jointly$-$a feature that is now understood to be different from irreversibility of measurement disturbance, though related to it. In this article, on the one hand, we provide a compelling argument showing that measurement incompatibility is indeed a sufficient condition for irreversibility of measurement disturbance; while, on the other hand, we exhibit a toy theory, termed the minimal classical theory (MCT), that is a counterexample for the converse implication. This theory is classical, hence it does not have complementarity nor preparation uncertainty relations, and it is both Kochen-Specker and generalised noncontextual. However, MCT satisfies not only irreversibility of measurement disturbance, but also the properties of no-information without disturbance and no-broadcasting, implying that these cannot be understood $\textit{per se}$ as signatures of nonclassicality.

quant-ph↗

arXiv2020

Classicality without local discriminability: decoupling entanglement and complementarity

An operational probabilistic theory where all systems are classical, and all pure states of composite systems are entangled, is constructed. The theory is endowed with a rule for composing an arbitrary number of systems, and with a nontrivial set of transformations. Hence, we demonstrate that the presence of entanglement is independent of the existence of incompatible measurements. We then study a variety of phenomena occurring in the theory -- some of them contradicting both Classical and Quantum Theories -- including: cloning, entanglement swapping, dense coding, additivity of classical capacities, non-monogamous entanglement, hypersignaling. We also prove the existence, in the theory, of a universal processor. The theory is causal and satisfies the no-restriction hypothesis. At the same time, it violates a number of information-theoretic principles enjoyed by Quantum Theory, most notably: local discriminability, purity of parallel composition of states, and purification. Moreover, we introduce an exhaustive procedure to construct generic operational probabilistic theories, and a sufficient set of conditions to verify their consistency. In addition, we prove a characterisation theorem for the parallel composition rules of arbitrary theories, and specialise it to the case of bilocal-tomographic theories. We conclude pointing out some open problems. In particular, on the basis of the fact that every separable state of the theory is a statistical mixture of entangled states, we formulate a no-go conjecture for the existence of a local-realistic ontological model.

quant-ph↗

arXiv2019

Classical theories with entanglement

We investigate operational probabilistic theories where the pure states of every system are the vertices of a simplex. A special case of such theories is that of classical theories, i.e. simplicial theories whose pure states are jointly perfectly discriminable. The usual Classical Theory satisfies also local discriminability. However, simplicial theories---including the classical ones---can violate local discriminability, thus admitting of entangled states. First, we prove sufficient conditions for the presence of entangled states in arbitrary probabilistic theories. Then, we prove that simplicial theories are necessarily causal, and this represents a no-go theorem for conceiving non-causal classical theories. We then provide necessary and sufficient conditions for simplicial theories to exhibit entanglement, and classify their system-composition rules. We conclude proving that, in simplicial theories, an operational formulation of the superposition principle cannot be satisfied, and that---under the hypothesis of $n$-local discriminability---no mixed state admits of a purification. Our results hold also in the general case where the sets of states fail to be convex.

quant-ph↗

arXiv2019

Chirality from quantum walks without quantum coin

Quantum walks (QWs) describe the evolution of quantum systems on graphs. An intrinsic degree of freedom---called the coin and represented by a finite-dimensional Hilbert space---is associated to each node. Scalar quantum walks are QWs with a one-dimensional coin. We propose a general strategy allowing one to construct scalar QWs on a broad variety of graphs, which admit embedding in Eulidean spaces, thus having a direct geometric interpretation. After reviewing the technique that allows one to regroup cells of nodes into new nodes, transforming finite spatial blocks into internal degrees of freedom, we prove that no QW with a two-dimensional coin can be derived from an isotropic scalar QW in this way. Finally we show that the Weyl and Dirac QWs can be derived from scalar QWs in spaces of dimension up to three, via our construction.

quant-ph↗

arXiv2017

Isotropic quantum walks on lattices and the Weyl equation

We present a thorough classification of the isotropic quantum walks on lattices of dimension $d=1,2,3$ for cell dimension $s=2$. For $d=3$ there exist two isotropic walks, namely the Weyl quantum walks presented in Ref. [G. M. D'Ariano and P. Perinotti, Phys. Rev. A 90, 062106 (2014)], resulting in the derivation of the Weyl equation from informational principles. The present analysis, via a crucial use of isotropy, is significantly shorter and avoids a superfluous technical assumption, making the result completely general.

quant-ph↗

arXiv2017

A Python program for the implementation of the {\Gamma}-method for Monte Carlo simulations

We present a modular analysis program written in Python devoted to the estimation of autocorrelation times for Monte Carlo simulations by means of the $\Gamma$-method algorithm. We give a brief review of this method and describe the main features of the program. The latter is characterized by a user-friendly interface and an open source environment which, along with its modularity, make it a versatile tool. Finally we present a simple application as an operational test for the program.

hep-lat↗

arXiv2016

Quantum walks with a one-dimensional coin

Quantum walks (QWs) describe particles evolving coherently on a lattice. The internal degree of freedom corresponds to a Hilbert space, called coin system. We consider QWs on Cayley graphs of some group $G$. In the literature, investigations concerning infinite $G$ have been focused on graphs corresponding to $G=\mathbb{Z}^d$ with coin system of dimension 2, whereas for one-dimensional coin (so called scalar QWs) only the case of finite $G$ has been studied. Here we prove that the evolution of a scalar QW with $G$ infinite Abelian is trivial, providing a thorough classification of this kind of walks. Then we consider the infinite dihedral group $D_\infty$, that is the unique non-Abelian group $G$ containing a subgroup $H\cong\mathbb{Z}$ with two cosets. We characterize the class of QWs on the Cayley graphs of $D_\infty$ and, via a coarse-graining technique, we show that it coincides with the class of spinorial walks on $\mathbb{Z}$ which satisfies parity symmetry. This class of QWs includes the Weyl and the Dirac QWs. Remarkably, there exist also spinorial walks that are not coarse-graining of a scalar QW, such as the Hadamard walk.

quant-ph↗

arXiv2015

Virtually Abelian Quantum Walks

We introduce quantum walks on Cayley graphs of non-Abelian groups. We focus on the easiest case of virtually Abelian groups, and introduce a technique to reduce the quantum walk to an equivalent one on an Abelian group with coin system having larger dimension. We apply the technique in the case of two quantum walks on virtually Abelian groups with planar Cayley graphs, finding the exact solution.

quant-ph↗