- Sam Adam-Day, Theodor Mihai Iliant, and İsmail İlkan CeylanIn Proceedings of the 37th Annual Conference on Neural Information Processing Systems (NeurIPS), 2023
Graph neural networks (GNNs) are de facto standard deep learning architectures for machine learning on graphs. This has led to a large body of work analyzing the capabilities and limitations of these models, particularly pertaining to their representation and extrapolation capacity. We offer a novel theoretical perspective on the representation and extrapolation capacity of GNNs, by answering the question: how do GNNs behave as the number of graph nodes become very large? Under mild assumptions, we show that when we draw graphs of increasing size from the Erdős-Rényi model, the probability that such graphs are mapped to a particular output by a class of GNN classifiers tends to either zero or to one. This class includes the popular graph convolutional network architecture. The result establishes ’zero-one laws’ for these GNNs, and analogously to other convergence laws, entails theoretical limitations on their capacity. We empirically verify our results, observing that the theoretical asymptotic limits are evident already on relatively small graphs.
- Sam Adam-Day, Nick Bezhanishvili, David Gabelaia, and Vincenzo Marra2023Preprint
We investigate a recent semantics for intermediate (and modal) logics in terms of polyhedra. The main result is a finite axiomatisation of the intermediate logic of the class of all polytopes – i.e., compact convex polyhedra – denoted PL. This logic is defined in terms of the Jankov-Fine formulas of two simple frames. Soundness of this axiomatisation requires extracting the geometric constraints imposed on polyhedra by the two formulas, and then using substantial classical results from polyhedral geometry to show that convex polyhedra satisfy those constraints. To establish completeness of the axiomatisation, we first define the notion of the geometric realisation of a frame into a polyhedron. We then show that any PL frame is a p-morphic image of one which has a special form: it is a ’sawed tree’. Any sawed tree has a geometric realisation into a convex polyhedron, which completes the proof.
- Sam Adam-DayTopology and its Applications, 2022
An \(\mathbb R\)-tree is a certain kind of metric space tree in which every point can be branching. Favre and Jonsson posed the following problem in 2004: can the class of orders underlying \(\mathbb R\)-trees be characterised by the fact that every branch is order-isomorphic to a real interval? In the first part, I answer this question in the negative: there is a ’branchwise-real tree order’ which is not ‘continuously gradable’. In the second part, I show that a branchwise-real tree order is continuously gradable if and only if every well-stratified subtree is \(\mathbb R\)-gradable. This link with set theory is put to work in the third part answering refinements of the main question, yielding several independence results. For example, when \(κ≥\mathfrak c\), there is a branchwise-real tree order which is not continuously gradable, and which satisfies a property corresponding to \(κ\)-separability. Conversely, under Martin’s Axiom at \(κ\)such a tree does not exist.
- Sam Adam-Day2022Preprint accepted by the Israel Journal of Mathematics
A branchwise-real tree order is a partial order tree in which every branch is isomorphic to a real interval. I give constructions of such trees which are both rigid (i.e. without non-trivial order-automorphisms) and uniform (in two different senses). Specifically, I show that there is a rigid branchwise-real tree order in which every branching point has the same degree, one in which every point is branching and of the same degree, and finally one in which every point is branching of the same degree and which admits no order-preserving function into the reals. Trees are grown iteratively in stages, and a key technique is the construction (in ZFC) of a family of colourings of \((0,∞)\)which is ’sufficiently generic’, using these colourings to determine how to proceed with the construction.
- Sam Adam-Day2022Preprint submitted to the Journal of Symbolic Logic
A potentialist system is a first-order Kripke model based on embeddings. I define the notion of bisimulation for these systems, and provide a number of examples. Given a first-order theory \(T\), the system Mod(\(T\)) consists of all models of \(T\). We can then take either all embeddings, or all substructure inclusions, between these models. I show that these two ways of defining Mod(\(T\)) are bitotally bisimilar. Next, I relate the notion of bisimulation to a generalisation of the Ehrenfeucht-Fraïsé game, and use this to show the equivalence of the existence of a bisimulation with elementary equivalence with respect to an infinitary language. Finally, I consider the question of when a potentialist system is bitotally bisimilar to a system containing set-many models, providing too different sufficient conditions.
- Sam Adam-Day, Nick Bezhanishvili, David Gabelaia, and Vincenzo MarraThe Journal of Symbolic Logic, 2022
We investigate a recently-devised polyhedral semantics for intermediate logics, in which formulas are interpreted in n-dimensional polyhedra. An intermediate logic is polyhedrally complete if it is complete with respect to some class of polyhedra. The first main result of this paper is a necessary and sufficient condition for the polyhedral-completeness of a logic. This condition, which we call the Nerve Criterion, is expressed in terms of Alexandrov’s notion of the nerve of a poset. It affords a purely combinatorial characterisation of polyhedrally-complete logics. Using the Nerve Criterion we show, easily, that there are continuum many intermediate logics that are not polyhedrally-complete but which have the finite model property. We also provide, at considerable combinatorial labour, a countably infinite class of logics axiomatised by the Jankov-Fine formulas of ’starlike trees’ all of which are polyhedrally-complete. The polyhedral completeness theorem for these ’starlike logics’ is the second main result of this paper.
- Sam Adam-Day2020
In this paper, I consider the use of mathematical results in philosophical arguments arriving at conclusions with non-mathematical content, with the view that in general such usage requires additional justification. As a cautionary example, I examine Kreisel’s arguments that the Continuum Hypothesis is determined by the axioms of Zermelo-Fraenkel set theory, and interpret Weston’s 1976 reply as showing that Kreisel fails to provide sufficient justification for the use of his main technical result. If we take the perspective that mathematical results are used in the context of a modelling of something not necessarily mathematical, then the situation is clarified somewhat, and the procedure for arriving at justification for the use of such results becomes clear. I give an example of a particularly strong form this justification might take, using the idea of formalism independence due to Gödel and Kennedy.
- Polyhedral Completeness in Intermediate and Modal LogicsSam Adam-Day2019MSc Thesis
This thesis explores a newly-defined polyhedral semantics for intuitionistic and modal logics. Formulas are interpreted inside the Heyting algebra of open subpolyhedra of a polyhedron, and the modal algebra of arbitrary subpolyhedra with the topological interior operator. This semantics enjoys a Tarski-style completeness result: IPC and S4.Grz are complete with respect to the class of all polyhedra. In this thesis I explore the general phenomenon of completeness with respect to some class of polyhedra. I present a criterion for the polyhedral completeness of a logic based on Alexandrov’s nerve construction. I then use this criterion to exhibit an infinite class of polyhedrally-complete logics of each finite height, as well as demonstrating the polyhedral completeness of Scott’s logic SL. Taking a different approach, I provide an axiomatisation for the logic of all convex polyhedra of each dimension \(n\). The main conceptual contribution of this thesis is the development of a combinatorial approach to the interaction between logic and geometry via polyhedral semantics.