Causality and logic are both fundamental to our understanding of the universe, but our intuitions about these are challenged by quantum phenomena. This thesis reports progress in the analysis of causality and multi-agent logical paradoxes in quantum and post-quantum theories. Both these research areas are highly relevant for the development of quantum technologies such as quantum cryptography and computing. \n \nPart I of this thesis focuses on causality. Firstly, we develop techniques for using generalised entropies \nto analyse distinctions between classical and non-classical causal structures. We derive new properties of classical and quantum Tsallis entropies of systems that follow from the relevant causal structure, and apply these to obtain new necessary constraints for classicality in the Triangle causal structure. Supplementing the method with the post-selection technique, we provide evidence that Shannon and Tsallis entropic constraints are insufficient for detecting non-classicality in Bell scenarios with non-binary outcomes. This points to the need for better methods of characterising correlations in non-classical causal structures. Secondly, we investigate the relationships between causality and space-time by developing a framework for modelling cyclic and fine-tuned influences in non-classical theories. We derive necessary and sufficient conditions for such causal models to be compatible with a space-time structure and for ruling out operationally detectable causal loops. In particular, this provides an operational framework for analysing post-quantum theories admitting jamming non-local correlations. \n \nIn Part II of this thesis, we investigate multi-agent logical paradoxes, of which the quantum Frauchiger-Renner paradox has been the only example. We develop a framework for analysing such paradoxes in arbitrary physical theories. Applying this to box world, a post-quantum theory, we derive a stronger paradox that does not rely on post-selection. Our results reveal that reversible, unitary evolution of agents' memories is not necessary for deriving multi-agent logical paradoxes, rather that certain forms of contextuality could be.
Causality and logic are both fundamental to our understanding of the universe, but our intuitions about these are challenged by quantum phenomena. This thesis reports progress in the analysis of causality and multi-agent logical paradoxes in quantum and post-quantum theories. Both these research areas are highly relevant for the development of quantum technologies such as quantum cryptography and computing. \n \nPart I of this thesis focuses on causality. Firstly, we develop techniques for using generalised entropies \nto analyse distinctions between classical and non-classical causal structures. We derive new properties of classical and quantum Tsallis entropies of systems that follow from the relevant causal structure, and apply these to obtain new necessary constraints for classicality in the Triangle causal structure. Supplementing the method with the post-selection technique, we provide evidence that Shannon and Tsallis entropic constraints are insufficient for detecting non-classicality in Bell scenarios with non-binary outcomes. This points to the need for better methods of characterising correlations in non-classical causal structures. Secondly, we investigate the relationships between causality and space-time by developing a framework for modelling cyclic and fine-tuned influences in non-classical theories. We derive necessary and sufficient conditions for such causal models to be compatible with a space-time structure and for ruling out operationally detectable causal loops. In particular, this provides an operational framework for analysing post-quantum theories admitting jamming non-local correlations. \n \nIn Part II of this thesis, we investigate multi-agent logical paradoxes, of which the quantum Frauchiger-Renner paradox has been the only example. We develop a framework for analysing such paradoxes in arbitrary physical theories. Applying this to box world, a post-quantum theory, we derive a stronger paradox that does not rely on post-selection. Our results reveal that reversible, unitary evolution of agents' memories is not necessary for deriving multi-agent logical paradoxes, rather that certain forms of contextuality could be.
This thesis reports progress in the analysis of causality and multi-agent logical paradoxes in quantum and post-quantum theories. These research areas are highly relevant for the foundations of physics as well as the development of quantum technologies. In the first part, focussing on causality, we develop techniques for using generalised entropies to analyse distinctions between classical and non-classical causal structures. We derive new properties of Tsallis entropies of systems that follow from the relevant causal structure, and apply these to obtain new necessary constraints for classicality in the Triangle causal structure. Supplementing the method with the post-selection technique, we provide evidence that Shannon and Tsallis entropic constraints are insufficient for detecting non-classicality in Bell scenarios with non-binary outcomes. This points to the need for better methods of characterising correlations in non-classical causal structures. Further, we investigate the relationships between causality and space-time by developing a framework for modelling cyclic and fine-tuned influences in non-classical theories. We derive necessary and sufficient conditions for such causal models to be compatible with a space-time structure and for ruling out operationally detectable causal loops. In particular, this provides an operational framework for analysing post-quantum theories admitting jamming non-local correlations. In the second part, we investigate multi-agent logical paradoxes such as the Frauchiger-Renner paradox and develop a framework for analysing such paradoxes in arbitrary physical theories. Applying this to box world, a post-quantum theory, we derive a stronger paradox that does not rely on post-selection. Our results reveal that reversible evolution of agents' memories is not necessary for deriving multi-agent paradoxes, and that certain forms of contextuality might be.
The fundamental nature of causality has been challenged by quantum theory. In particular, recent developments have shown that by relaxing the standard assumption that quantum events are embedded in a fixed background causal structure, a new kind of causal relations, indefinite, can emerge. These indefinite causal structures have been interpreted as causal loops allowing for the violation of a form of causality without paradoxes. On the other hand, quantum contextuality shows that any attempt to extend quantum theory such that classical logic holds in the extended domain fails due to the rise of inconsistent logical loops. There has been increasing evidence that it is a key feature in the understanding quantum paradoxes. This thesis aims at improving our understanding of indefinite causal orders and quantum paradoxes in order to address the question: “Could the non-fundamental nature of causality be related to a form of contextuality ?”The process matrix formalism is a mathematical framework which, in analogy withentanglement and the violation of Bell inequalities (nonlocality), offers new tools - witnesses of causal nonseparability and the violation of causal inequalities with noncausalcorrelations - to study and identify indefinite causal orders. In a bottom-up approach, wehave identified a large class of physically implementable processes, the quantum circuitswith quantum control of causal order (QC-QCs), that includes causally nonseparable processes such as the celebrated “quantum switch”. However these circuits cannot be used to violate causal inequalities. Nevertheless, in another work, I have proposed a significant relaxation of assumptions to certify the causal nonseparability of many processes, showing that it can be done in a semi-device-independent scenario with untrusted local operations and trusted quantum inputs. In particular, I have shown that the quantum switch can generate noncausal correlations in this kind of scenario.In order to refine my understanding of quantum contextuality, I have investigated theorigins of the Kochen-Specker theorem and I have analysed how the Hardy paradox entails a form of logical contextuality. I have identified that the two possible intermediatemeasurements involved in a pre-post-selection version of the paradox differ causally fromeach other. This analysis might be useful to study of the Frauchiger-Renner paradox, a“meta-version” of the Hardy paradox. On a more metaphysical aspect, I have argued fora “Gödelian hunch” from quantum theory, the idea that quantum paradoxes emerge froma lack of distinction between theoretical and metatheoretical objects.Finally, in order to establish a link between indefinite causal orders and contextuality,I have proposed a new causal game, in which the grandfather paradox is formalized interms of a logical inequality. Some process matrices can violate the causal inequalitywithout violating the logical one. I suggest that the emergence of logical inconsistenciesfrom the violation of a logical inequality might be interpreted as a form of contextuality.
This thesis reports progress in two domains, causal structures and microscopic thermodynamics, both of which are pertinent in the development of quantum technologies. The first part is dedicated to the analysis of causal structure, which encodes the relationship between observed variables, in general restricting the set of possible correlations between them. Our considerations rely on a recent entropy vector method. Based on this, we develop techniques for deriving entropic constraints to differentiate between causal structures. We provide sufficient conditions for entropy vectors to be realisable within a causal structure and derive new, improved necessary conditions in terms of so-called non-Shannon inequalities. We also report that for a family of causal structures, including the bipartite Bell scenario and the bilocal causal structure, entropy vectors are unable to distinguish between classical and quantum causes, in spite of the existence of quantum correlations that are not classically reproducible. Hence, further development is needed in order to understand cause from a quantum perspective. In the second part we explore an axiomatic framework for modelling error-tolerant processes in microscopic thermodynamics. Our axiomatisation allows for the accommodation of finite precision levels, crucial for describing experiments in the microscopic regime. It leads to the emergence of manageable quantities that give insights into the feasibility and expenditure of processes, which for adiabatic processes are shown to be smooth entropy measures. Our framework also leads to thermodynamic behaviour at the macroscopic scale, meaning that for thermodynamic equilibrium states a unique function provides necessary and sufficient conditions for state transformations, like in the traditional second law.
Understanding cause-effect relationships is a crucial part of the scientific process. As Bell's theorem shows, within a given causal structure, classical and quantum physics impose different constraints on the correlations that are realizable, a fundamental feature that has technological applications. However, in general it is difficult to distinguish the set of classical and quantum correlations within a causal structure. Here we investigate a method to do this based on using entropy vectors for Tsallis entropies. We derive constraints on the Tsallis entropies that are implied by (conditional) independence between classical random variables and apply these to causal structures. We find that the number of independent constraints needed to characterize the causal structure is prohibitively high such that the computations required for the standard entropy vector method cannot be employed even for small causal structures. Instead, without solving the whole problem, we find new Tsallis entropic constraints for the triangle causal structure by generalizing known Shannon constraints. Our results reveal mathematical properties of classical and quantum Tsallis entropies and highlight difficulties of using Tsallis entropies for analyzing causal structures.
Which theories lead to a contradiction between simple reasoning principles and modelling observers’ memories as physical systems? Frauchiger and Renner have shown that this is the case for quantum theory (Frauchiger and Renner 2018 Nat. Commun. 9 3711). Here we generalize the conditions of the Frauchiger–Renner result so that they can be applied to arbitrary physical theories, and in particular to those expressed as generalized probabilistic theories (GPTs) (Hardy 2001 arXiv: quant-ph/0101012 ; Barrett 2007 Phys. Rev. A 75 032304). We then apply them to a particular GPT, box world, and find a deterministic contradiction in the case where agents may share a PR box (Popescu and Rohrlich 1994 Found. Phys. 24 379–85), which is stronger than the quantum paradox, in that it does not rely on post-selection. Obtaining an inconsistency for the framework of GPTs broadens the landscape of theories which are affected by the application of classical rules of reasoning to physical agents. In addition, we model how observers’ memories may evolve in box world, in a way consistent with Barrett’s criteria for allowed operations (Barrett 2007 Phys. Rev. A 75 032304; Gross et al 2010 Phys. Rev. Lett. 104 080402). Ordinary readers, forgive my paradoxes: one must make them when one reflects; and whatever you may say, I prefer being a man with paradoxes than a man with prejudices. Jean-Jacques Rousseau, Emile or On Education
Which theories lead to a contradiction between simple reasoning principles and modelling observers' memories as physical systems? Frauchiger and Renner have shown that this is the case for quantum theory (Frauchiger and Renner 2018 Nat. Commun. 9 3711). Here we generalize the conditions of the Frauchiger–Renner result so that they can be applied to arbitrary physical theories, and in particular to those expressed as generalized probabilistic theories (GPTs) (Hardy 2001 arXiv:quant-ph/0101012; Barrett 2007 Phys. Rev. A 75 032304). We then apply them to a particular GPT, box world, and find a deterministic contradiction in the case where agents may share a PR box (Popescu and Rohrlich 1994 Found. Phys. 24 379–85), which is stronger than the quantum paradox, in that it does not rely on post-selection. Obtaining an inconsistency for the framework of GPTs broadens the landscape of theories which are affected by the application of classical rules of reasoning to physical agents. In addition, we model how observers' memories may evolve in box world, in a way consistent with Barrett's criteria for allowed operations (Barrett 2007 Phys. Rev. A 75 032304; Gross et al 2010 Phys. Rev. Lett. 104 080402).