Search Talks

"Quantum computing requires the ability to manipulate large nonclassical quantum systems. As we are far from any useful quantum computing advantage, certifying this ability is an important benchmark to assess progress toward this goal. This can be done using the nonlocal nature of quantum correlations, which allows to certify a non-trusted experimental apparatus from its input/output behaviour in a device independent way. It first requires to introduce the concept of Genuine Multipartite Nonlocality (GMNL) of size n, which designate systems which nonlocality cannot be understood an obtained from many states composed of n − 1 (or less) constituents. The first historical definition of GMNL, proposed by Svetlichny, is ill-defined when used to assess the large nonclassical nature of quantum systems, as it predicts that maximal GMNL states can be obtain from bipartite sources only. A more appropriate re-definition of that concept, called LOSR-GMNL, was proposed recently [arXiv:2105.09381]. However, it is not satisfactory in all experimental situations, as it cannot (by design) capture potential communications between the systems which could occur in some realistic experimental systems (e.g., many-body systems) – which Svetlichny definition captures in a naïve way. In this talk, I will propose a new alternative re-definition solving this issue, called Communication-Genuine Multipartite Nonlocality of length t (C-GMNL). It is based on a model inspired from synchronous distributed computing, that involves t communications steps along a graph. I will show that (i) the GHZ state is maximally nonlocal according to this C-GMNL definition, (ii) the cluster state is trivial in this C-GMNL definition but that (iii) the cluster state is maximally difficult in the LOSR-GMNL definition. Hence, some complicated LOSR-GMNL states become trivial when a small amount of communication is allowed. Based on a joint work in preparation with Xavier Coiteux-Roy, Owidiusz Makuta, Fionnuala Curran, Remigiusz Augusiak."

When some variables in a directed acyclic graph (DAG) are hidden, a notoriously complicated set of constraints on the distribution of observed variables is implied. In this talk, we present inequality constraints implied by graphical criteria in hidden variable DAGs. The constraints can intuitively be understood to follow from the fact that the capacity of variables along a causal pathway to convey information is restricted by their entropy. For DAGs that exhibit e-separation relations, we present entropic inequality constraints and we show how they can be used to learn about the true causal model from an observed data distribution (arXiv:2107.07087).

"If one only performs experiments involving passive observations, in general there are multiple causal structures that can explain the same set of distributions over the observed variables. In this case, we say that these causal structures are observationally equivalent. In this work, we explore all the known techniques for proving observational equivalence or inequivalence, as well as some original ones. Even if the existing rules are not enough to achieve the full classification of the causal structures with four observed variables, our results get close to such classification and show that admitting inequality constraints is a generic feature among structures with four observed variables."

Quantum measurements have been a central topic of research in quantum theory for many years. In the context of causal structures and communication over networks, we are often particularly interested in local measurements of subsystems of a multi-partite system and classical processing of their inputs and outcomes. Formally, this processing can often be described by means of maps that are known as wirings. These wirings are furthermore interesting for the analysis of generalized probabilistic theories, as they are shared by all of them. In this work, we explicitly characterise all possible mulitpartite measurements in the generalised probabilistic theory box-world for various numbers of parties n with systems characterised by n_i fiducial measurements (which can be thought of as inputs here) and n_o outcomes, for small n, n_i, n_o. This includes all n-party n_i-input, n_o-outcome wirings. For n > 2, we further classify these measurements into three classes: wirings, deterministic non-wiring type and non-deterministic non-wiring type measurements. We explore advantages of these different types of measurements over previous protocols in the context of non-locality distillation and state-distingishability. We further find examples of non-locality without entanglement (contrary to previous claims) and a relation of these measurements to classical process matrices.

Hank Chen, Perimeter Institute and University of Waterloo

Drinfel’d double symmetry of the 4d Kitaev model

We construct the 2-Drinfel'd double associated to a finite 2-group G, and compute its braided 2-category of 2-representations, in order to characterize the topological excitations in the 4d toric code and its spin-Z_2 variant. This work relates the categorical and field theoretical approaches toward characterizing higher-dimensional topological phases in existing literature. In particular, we show that particular twists of the underlying 2-Drinfel'd double is responsible for much of the higher-structural properties that arise in gapped topological phases in 4d. We emphasize that this work also displays the first ever instance of higher Tannakian duality for 2-categories.

Jacob Barnett, Perimeter Institute

Locality and Exceptional Points in Pseudo-Hermitian Physics

This talk discusses the role of non-Hermitian operators in fundamental and effective theories of physics. An implicit assumption of the tensor product model of locality is that the inner product factorizes with the tensor product. Quasi-Hermitian quantum frameworks can be used to lift this assumption while preserving the reality of spectra and unitarity. After characterizing local observable algebras and expectation values, I will examine Bell's inequality and its generalizations, the nonlocal games, in the setting of quasi-Hermitian theories. Pseudo-Hermitian operators characterize systems with time-reversal symmetry. These operators exhibit rich perturbative and symmetry-breaking properties that are unparalleled in the Hermitian regime. I will convey some geometric and topological aspects of these features, with emphasis placed on non-interacting many-body systems.
 

"Imsets, introduced by Studený (see Studený, 2005 for details), are an algebraic method for representing conditional independence models. They have many attractive properties when applied to such models, and they are particularly nice when applied to directed acyclic graph (DAG) models. In particular, the standard imset for a DAG is in one-to-one correspondence with the independence model it induces, and hence is a label for its Markov equivalence class. We present a proposed extension to standard imsets for maximal ancestral graph (MAG) models, which have directed and bidirected edges, using the parameterizing set representation of Hu and Evans (2020). By construction, our imset also represents the Markov equivalence class of the MAG. We show that for many such graphs our proposed imset defines the model, though there is a subclass of graphs for which the representation does not. We prove that it does work for MAGs that include models with no adjacent bidirected edges, as well as for a large class of purely bidirected models. If there is time, we will also discuss applications of imsets to structure learning in MAGs. This is joint work with Zhongyi Hu (Oxford). References Z. Hu and R.J. Evans, Faster algorithms for Markov equivalence, In Proceedings for the 36th Conference on Uncertainty in Artificial Intelligence (UAI-2020), 2020. M. Studený, Probabilistic Conditional Independence Structures, Springer-Verlag, 2005."