Researcher profile

Raymond Lal

Raymond Lal contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - Emerging
8works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

8 published item(s)

preprint2014arXiv

Categorical Generalization and Physical Structuralism

Category theory has become central to certain aspects of theoretical physics. Bain [Synthese, 190:1621--1635 (2013)] has recently argued that this has significance for ontic structural realism. We argue against this claim. In so doing, we uncover two pervasive forms of category-theoretic generalization. We call these `generalization by duality' and `generalization by categorifying physical processes'. We describe in detail how these arise, and explain their significance using detailed examples. We show that their significance is two-fold: the articulation of high-level physical concepts, and the generation of new models.

preprint2014arXiv

Non-locality in theories without the no-restriction hypothesis

The framework of generalized probabilistic theories (GPT) is a widely-used approach for studying the physical foundations of quantum theory. The standard GPT framework assumes the no-restriction hypothesis, in which the state space of a physical theory determines the set of measurements. However, this assumption is not physically motivated. In Janotta and Lal [Phys. Rev. A 87, 052131 (2013)], it was shown how this assumption can be relaxed, and how such an approach can be used to describe new classes of probabilistic theories. This involves introducing a new, more general, definition of maximal joint state spaces, which we call the generalised maximal tensor product. Here we show that the generalised maximal tensor product recovers the standard maximal tensor product when at least one of the systems in a bipartite scenario obeys the no-restriction hypothesis. We also show that, under certain conditions, relaxing the no-restriction hypothesis for a given state space does not allow for stronger non-locality, although the generalized maximal tensor product may allow new joint states.

preprint2014arXiv

Theory-independent limits on correlations from generalised Bayesian networks

Bayesian networks provide a powerful tool for reasoning about probabilistic causation, used in many areas of science. They are, however, intrinsically classical. In particular, Bayesian networks naturally yield the Bell inequalities. Inspired by this connection, we generalise the formalism of classical Bayesian networks in order to investigate non-classical correlations in arbitrary causal structures. Our framework of `generalised Bayesian networks' replaces latent variables with the resources of any generalised probabilistic theory, most importantly quantum theory, but also, for example, Popescu-Rohrlich boxes. We obtain three main sets of results. Firstly, we prove that all of the observable conditional independences required by the classical theory also hold in our generalisation; to obtain this, we extend the classical $d$-separation theorem to our setting. Secondly, we find that the theory-independent constraints on probabilities can go beyond these conditional independences. For example we find that no probabilistic theory predicts perfect correlation between three parties using only bipartite common causes. Finally, we begin a classification of those causal structures, such as the Bell scenario, that may yield a separation between classical, quantum and general-probabilistic correlations.

preprint2013arXiv

Generalized Probabilistic Theories Without the No-Restriction Hypothesis

The framework of generalized probabilistic theories (GPTs) is a popular approach for studying the physical foundations of quantum theory. The standard framework assumes the no-restriction hypothesis, in which the state space of a physical theory determines the set of measurements. However, this assumption is not physically motivated. We generalize the framework to account for systems that do not obey the no-restriction hypothesis. We then show how our framework can be used to describe new classes of probabilistic theories, for example those which include intrinsic noise. Relaxing the restriction hypothesis also allows us to introduce a 'self-dualization' procedure, which yields a new class of theories that share many features of quantum theory, such as obeying Tsirelson's bound for the maximally entangled state. We then characterize joint states, generalizing the maximal tensor product. We show how this new tensor product can be used to describe the convex closure of the Spekkens toy theory, and in doing so we obtain an analysis of why it is local in terms of the geometry of its state space. We show that the unrestricted version of the Spekkens toy theory is the theory known as 'boxworld' that allows maximal nonlocal correlations.

preprint2013arXiv

No $ψ$-epistemic model can fully explain the indistinguishability of quantum states

According to a recent no-go theorem (M. Pusey, J. Barrett and T. Rudolph, Nature Physics 8, 475 (2012)), models in which quantum states correspond to probability distributions over the values of some underlying physical variables must have the following feature: the distributions corresponding to distinct quantum states do not overlap. This is significant because if the distributions do not overlap, then the quantum state itself is encoded by the physical variables. In such a model, it cannot coherently be maintained that the quantum state merely encodes information about underlying physical variables. The theorem, however, considers only models in which the physical variables corresponding to independently prepared systems are independent. This work considers models that are defined for a single quantum system of dimension $d$, such that the independence condition does not arise. We prove a result in a similar spirit to the original no-go theorem, in the form of an upper bound on the extent to which the probability distributions can overlap, consistently with reproducing quantum predictions. In particular, models in which the quantum overlap between pure states is equal to the classical overlap between the corresponding probability distributions cannot reproduce the quantum predictions in any dimension $d \geq 3$. The result is noise tolerant, and an experiment is motivated to distinguish the class of models ruled out from quantum theory.

preprint2011arXiv

Causal categories: relativistically interacting processes

A symmetric monoidal category naturally arises as the mathematical structure that organizes physical systems, processes, and composition thereof, both sequentially and in parallel. This structure admits a purely graphical calculus. This paper is concerned with the encoding of a fixed causal structure within a symmetric monoidal category: causal dependencies will correspond to topological connectedness in the graphical language. We show that correlations, either classical or quantum, force terminality of the tensor unit. We also show that well-definedness of the concept of a global state forces the monoidal product to be only partially defined, which in turn results in a relativistic covariance theorem. Except for these assumptions, at no stage do we assume anything more than purely compositional symmetric-monoidal categorical structure. We cast these two structural results in terms of a mathematical entity, which we call a `causal category'. We provide methods of constructing causal categories, and we study the consequences of these methods for the general framework of categorical quantum mechanics.

preprint2011arXiv

Time-asymmetry and causal structure

We consider devices with two inputs and two outputs, Alice and Bob each having access to one input and one output. To such a device we associate time-reverses by exchanging the roles of the inputs and the outputs. We find that there are devices which admit a local hidden variable representation, but for which time-reverses enable perfect signaling between Alice and Bob. That is, a `perfect channel in one time direction' becomes a `non-channel in the other direction'. Also, for PR boxes time-reverses enable signaling between Alice and Bob, but never as a perfect channel. These results undermine the representation of causal structures as partial orders or similar `time-symmetric structures', as is often assumed in search of a theory of quantum gravity. They also provide new insights into the structure of the polytope of generalized probabilistic correlations, and contribute to the growing area of research into quantum information processing in relativistic spacetimes.

preprint2011arXiv

Time-asymmetry of probabilities versus relativistic causal structure: an arrow of time

There is an incompatibility between the symmetries of causal structure in relativity theory and the signaling abilities of probabilistic devices with inputs and outputs: while time-reversal in relativity will not introduce the ability to signal between spacelike separated regions, this is not the case for probabilistic devices with space-like separated input-output pairs. We explicitly describe a non-signaling device which becomes a perfect signaling device under time-reversal, where time-reversal can be conceptualized as playing backwards a videotape of an agent manipulating the device. This leads to an arrow of time that is identifiable when studying the correlations of events for spacelike separated regions. Somewhat surprisingly, although time-reversal of Popuscu-Roerlich boxes also allows agents to signal, it does not yield a perfect signaling device. Finally, we realize time-reversal using post-selection, which could lead experimental implementation.