In this thesis, we explore connections between solitons, black holes, and harmonic maps in two-dimensional gravitation. Euclidean sine-Gordon theory, naturally admitting soliton solutions, and Schwarzschild-type black hole metrics, of physical interest, are studied in detail for the case of JT gravity. Establishing an explicit soliton-black hole correspondence in this setting, new solutions to the associated JT field equations are given. Consequences and concrete applications of the constructed gauge transformations are also discussed, including characterisation of the Killing vector fields and solutions to a nontrivial Eigenvalue Problem using the theory of hypergeometric equations. We next consider a generalised two-dimensional action and establish a correspondence between nonconstant curvature soliton metrics and black hole metrics. The theory is applied to completely solve the static case, as well as study other classical dilaton models, including Spherically Symmetric Gravity and String Inspired Gravity. Finally, a connection between harmonicity and generalised solitons is given through construction of harmonic maps of the plane to the 2-sphere, suggesting new solutions to field equations admitting black hole metrics. Other directions for studying the integrable systems structure of generalised two-dimensional dilaton theories are indicated.

We show that Einstein’s gravitational field equations for the Friedmann-Robertson-Lemaître-Walker (FRLW) and for two conformal versions of the Bianchi I and Bianchi V perfect fluid scalar field cosmological models, can be equivalently reformulated in terms of a single equation of either generalized Ermakov-Milne-Pinney (EMP) or (non)linear Schrödinger (NLS) type. This work generalizes or presents an alternative to similar reformulations published by the authors who inspired this thesis: R. Hawkins, J. Lidsey, T. Christodoulakis, T. Grammenos, C. Helias, P. Kevrekidis, G. Papadopoulos and F.Williams. In particular we cast much of these authors’ works into a single framework via straightforward derivations of the EMP and NLS equations from a simple linear combination of the relevant Einstein equations. By rewriting the resulting expression in terms of the volume expansion factor and performing a change of variables, we obtain an uncoupled EMP or NLS equation that is independent of the imposition of additional conservation equations. Since the correspondences shown here present an alternative route for obtaining exact solutions to Einstein’s equations, we reconstruct many known exact solutions via their EMP or NLS counterparts and show by numerical analysis the stability properties of many solutions.

<p> In this work we investigate the global symmetries of six-dimensional superconformal field theories (6D SCFTs) via their description in F-theory. We provide computer algebra system routines determining global symmetry maxima for all known 6D SCFTs while tracking the singularity types of the associated elliptic fibrations. We tabulate these bounds for many CFTs including every 0-link based theory. The approach we take provides explicit tracking of geometric information which has remained implicit in the classifications of 6D SCFTs to date. We derive a variety of new geometric restrictions on collections of singularity collisions in elliptically fibered Calabi-Yau varieties and collect data from local model analyses of these collisions. The resulting restrictions are sufficient to match the known gauge enhancement structure constraints for all 6D SCFTs without appeal to anomaly cancellation and enable our global symmetry computations for F-theory SCFT models to proceed similarly. </p><p>

Categorical quantum mechanics is a way of formalising the structural features of quantum theory using category theory. It uses compound systems as the primitive notion, which is formalised by using symmetric monoidal categories. This leads to an elegant formalism for describing quantum protocols such as quantum teleportation. In particular, categorical quantum mechanics provides a graphical calculus that exposes the information flow of such protocols in an intuitive way. However, the graphical calculus also reveals surprising features of these protocols; for example, in the quantum teleportation protocol, information appears to flow `backwards-in-time'. This leads to question of how causal structure can be described within categorical quantum mechanics, and how this might lead to insight regarding the structural compatibility between quantum theory and relativity. This thesis is concerned with the project of formalising causal structure in categorical quantum mechanics. We begin by studying an abstract view of Bell-type experiments, as described by `no-signalling boxes', and we show that under time-reversal no-signalling boxes generically become signalling. This conflicts with the underlying symmetry of relativistic causal structure. This leads us to consider the framework of categorical quantum mechanics from the perspective of relativistic causal structure. We derive the properties that a symmetric monoidal category must satisfy in order to describe systems in such a background causal structure. We use these properties to define a new type of category, and this provides a formal framework for describing protocols in spacetime. We explore this new structure, showing how it leads to an understanding of the counter-intuitive information flow of protocols in categorical quantum mechanics. We then find that the formal properties of our new structure are naturally related to axioms for reconstructing quantum theory, and we show how a reconstruction scheme based on purification can be formalised using the structures of categorical quantum mechanics. Finally, we discuss the philosophical aspects of using category theory to describe fundamental physics. We consider a recent argument that category-theoretic formulations of physics, such as categorical quantum mechanics, can be used to support a variant of structural realism. We argue against this claim. The work of this thesis suggests instead that the philosophy of categorical quantum mechanics is subtler than either operationalism or realism.

This thesis contains a study of topological phases of matter, with a strong emphasis on symmetry as a unifying theme. We take the point of view that the "topology" in many examples of what is loosely termed "topological matter", has its origin in the symmetry data of the system in question. From the fundamental work of Wigner, we know that topology resides not only in the group of symmetries, but also in the cohomological data of projective unitary-antiunitary representations. Furthermore, recent ideas from condensed matter physics highlight the fundamental role of charge-conjugation symmetry. With these as physical motivation, we propose to study the topological features of gapped phases of free fermions through a Z₂-graded C*-algebra encoding the symmetry data of their dynamics. In particular, each combination of time reversal and charge conjugation symmetries can be associated with a Clifford algebra. K-theory is intimately related to topology, representation theory, Clifford algebras, and Z₂-gradings, so it presents itself as a powerful tool for studying gapped topological phases. Our basic strategy is to use various K</em-theoretic invariants of the symmetry algebra to classify symmetry-compatible gapped phases. The super-representation group of the algebra classifies such gapped phases, while its K-theoretic difference-group classifies the obstructions in passing between two such phases. Our approach is a noncommutative version of the twisted K-theory approach of Freed--Moore, and generalises the K-theoretic classification first suggested by Kitaev. It has the advantage of conceptual simplicity in its uniform treatment of all symmetries. Physically, it encompasses phenomena which require noncommutative algebras in their description; mathematically, it clarifies and provides rigour to the meaning of "homotopic phases", and easily explains the salient features of Kitaev's Periodic Table.

Issues of control and causation are central to the Quantum Theory of Computation. Yet there is no place for them in fundamental laws of Physics when expressed in the prevailing conception, i.e., in terms of initial conditions and laws of motion. This thesis aims at arguing that Constructor Theory, recently proposed by David Deutsch to generalise the quantum theory of computation, is a candidate to provide a theory of control and causation within Physics. To this end, I shall present a physical theory of information that is formulated solely in constructor-theoretic terms, i.e., in terms of which transformations of physical systems are possible and which are impossible. This theory solves the circularity at the foundations of existing information theory; it provides a unifying relation between classical and quantum information, revealing the single property underlying the most distinctive phenomena associated with the latter: the unpredictability of the outcomes of some deterministic processes, the lack of distinguishability of some states, the irreducible perturbation caused by measurement and the existence of locally inaccessible information in composite systems (entanglement). This thesis also aims to investigate the restrictions that quantum theory imposes on copying-like tasks. To this end, I will propose a unifying, picture-independent formulation of the no-cloning theorem. I will also discuss a protocol to accomplish the closely related task of transferring perfectly a quantum state along a spin chain, in the presence of systematic errors. Furthermore, I will address the problem of whether self-replication (as it occurs in living organisms) is compatible with Quantum Mechanics. Some physicists, notably Wigner, have argued that this logic is in fact forbidden by Quantum Mechanics, thus claiming that the latter is not a universal theory. I shall prove that those claims are invalid and that the logic of self-replication is, of course, compatible with Quantum Mechanics.

In the first part of this thesis, we discuss some aspects of the four-dimensional N = 2 superconformal index of theories of class S. We first consider a generalized index on S¹ × S³/Z_r, and prove S-duality in a particular fugacity slice. We then go on to study the (round) superconformal index in the presence of surface defects. We develop a systematic prescription to compute surface defects labeled by arbitrary irreducible representations of the gauge group and subject those defects to various tests in several different limits. Each of these limits is interesting in its own right, and we go on to explore them in some depth. In the second part of this thesis, we construct the gravity duals of large N supersymmetric gauge theories defined on squashed five-spheres with SU(3) × U(1) symmetry. The gravity duals are constructed in Euclidean Romans F(4) gauged supergravity in six- dimensions, and uplift to massive type IIA supergravity. We compute the partition function and Wilson loop in the large N limit of the gauge theory and compare them to their corresponding supergravity dual quantities. As expected from AdS/CFT, both sides agree perfectly. Based on these results, we conjecture a general formula for the partition function and Wilson loop on any five-sphere background, which for fixed gauge theory depends only on a certain supersymmetric Killing vector. We then go on to construct rigid supersymmetric gauge theories on more general Riemannian five-manifolds. We follow a holographic approach, realizing the manifold as the conformal boundary of the six-dimensional bulk supergravity solution. This leads to a systematic classification of five-dimensional supersymmetric backgrounds with gravity duals.

Non-locality and contextuality are key features of quantum mechanics that distinguish it from classical physics. We aim to develop a deeper, more structural understanding of these phenomena, underpinned by robust and elegant mathematical theory with a view to providing clarity and new perspectives on conceptual and foundational issues. A general framework for logical non-locality is introduced and used to prove that 'Hardy's paradox' is complete for logical non-locality in all (2,2,l) and (2,k,2) Bell scenarios, a consequence of which is that Bell states are the only entangled two-qubit states that are not logically non-local, and that Hardy non-locality can be witnessed with certainty in a tripartite quantum system. A number of developments of the unified sheaf-theoretic approach to non-locality and contextuality are considered, including the first application of cohomology as a tool for studying the phenomena: we find cohomological witnesses corresponding to many of the classic no-go results, and completely characterise contextuality for large families of Kochen-Specker-like models. A connection with the problem of the existence of perfect matchings in k-uniform hypergraphs is explored, leading to new results on the complexity of deciding contextuality. A refinement of the sheaf-theoretic approach is found that captures partial approximations to locality/non-contextuality and can allow Bell models to be constructed from models of more general kinds which are equivalent in terms of non-locality/contextuality. Progress is made on bringing recent results on the nature of the wavefunction within the scope of the logical and sheaf-theoretic methods. Computational tools are developed for quantifying contextuality and finding generalised Bell inequalities for any measurement scenario which complement the research programme. This also leads to a proof that local ontological models with `negative probabilities' generate the no-signalling polytopes for all Bell scenarios.

Models of geometry that are intrinsically quantum-mechanical in nature arise from the recoupling theory of space-time symmetry groups. Roger Penrose constructed such a model from SU(2) recoupling in his theory of spin networks; he showed that spin measurements in a classical limit are necessarily consistent with a three-dimensional Euclidian vector space. T. Regge and G. Ponzano expressed the semi-classical limit of this spin model in a form resembling a path integral of the Einstein-Hilbert action in three Euclidian dimensions. This thesis gives new proofs of the Penrose spin geometry theorem and of the Regge-Ponzano decomposition theorem. We then consider how to generalize these two approaches to other groups that give rise to new models of quantum geometries. In particular, we show how to construct quantum models of four-dimensional relativistic space-time from the re-coupling theory of the Poincare group.

This work is about diagrammatic languages, how they can be represented, and what they in turn can be used to represent. More specifically, it focuses on representations and applications of string diagrams. String diagrams are used to represent a collection of processes, depicted as "boxes" with multiple (typed) inputs and outputs, depicted as "wires". If we allow plugging input and output wires together, we can intuitively represent complex compositions of processes, formalised as morphisms in a monoidal category. While string diagrams are very intuitive, existing methods for defining them rigorously rely on topological notions that do not extend naturally to automated computation. The first major contribution of this dissertation is the introduction of a discretised version of a string diagram called a string graph. String graphs form a partial adhesive category, so they can be manipulated using double-pushout graph rewriting. Furthermore, we show how string graphs modulo a rewrite system can be used to construct free symmetric traced and compact closed categories on a monoidal signature. The second contribution is in the application of graphical languages to quantum information theory. We use a mixture of diagrammatic and algebraic techniques to prove a new classification result for strongly complementary observables. Namely, maximal sets of strongly complementary observables of dimension D must be of size no larger than 2, and are in 1-to-1 correspondence with the Abelian groups of order D. We also introduce a graphical language for multipartite entanglement and illustrate a simple graphical axiom that distinguishes the two maximally-entangled tripartite qubit states: GHZ and W. Notably, we illustrate how the algebraic structures induced by these operations correspond to the (partial) arithmetic operations of addition and multiplication on the complex projective line. The third contribution is a description of two software tools developed in part by the author to implement much of the theoretical content described here. The first tool is Quantomatic, a desktop application for building string graphs and graphical theories, as well as performing automated graph rewriting visually. The second is QuantoCoSy, which performs fully automated, model-driven theory creation using a procedure called conjecture synthesis.