arXiv subjects

Rob Sullivan

Publications and source records attributed to Rob Sullivan.

10 recordsLinked to original sources

arXiv2026

An unusual example of a universal automorphism group

Let $M$ be a Fra\"{i}ss\'{e} structure (a countably infinite ultrahomogeneous structure). We refer to the class of structures embeddable in $M$ as the $\omega$-age of $M$. We consider the following two properties of $M$: we say that $M$ has a universal automorphism group if, for each $A$ in the $\omega$-age of $M$, there is an embedding $\textrm{Aut}(A) \to \textrm{Aut}(M)$, and we say that $M$ has group-extensible $\omega$-age if, for each $A$ in the $\omega$-age of $M$, there is an embedding $A \to M$ such that each automorphism of the image extends to an automorphism of $M$ and the extension map preserves group composition. It is immediate that if $M$ has group-extensible $\omega$-age, then $M$ has a universal automorphism group. We give an example of a Fra\"{i}ss\'{e} structure with a universal automorphism group whose $\omega$-age is not group-extensible, showing that the above two properties are not equivalent.

math.LO↗

arXiv2026

Determining the normal subgroups of the automorphism groups of ultrahomogeneous structures via stabilisers

We show the simplicity of the automorphism groups of the generic $n$-hypertournament and the semigeneric tournament, and determine the normal subgroups of the automorphism groups of several other ultrahomogeneous oriented graphs. We also give a new proof of the simplicity of the automorphism group of the dense $\frac{2\pi}{n}$-local order $\mathbb{S}(n)$ for $n \geq 2$ (a result due to Droste, Giraudet and Macpherson). Previous techniques of Li, Macpherson, Tent and Ziegler involving stationary weak independence relations (SWIRs) cannot be applied directly to these structures; our approach involves applying these techniques to a certain expansion of each structure, where the expansion has a SWIR and its automorphism group is isomorphic to a stabiliser subgroup of the automorphism group of the original structure.

math.LO↗

arXiv2026

Structured sunflowers and canonical Ramsey properties

A first-order structure $M$ is said to have the infinite sunflower property if, for each $k \in \mathbb{N}_+$ and each structure $M' \cong M$ whose elements are $k$-sets, there is $S \subseteq M'$, $S \cong M$, such that $S$ is a sunflower: a collection of sets such that each pair of elements has the same intersection. A class $\mathcal{K}$ of finite structures is said to have the finite sunflower property if for all $k \in \mathbb{N}_+$ and $B \in \mathcal{K}$, there is $C \in \mathcal{K}$ such that any structure $C' \cong C$ whose elements consist of $k$-sets contains a copy of $B$ which is a sunflower. These two notions were introduced by Ackerman, Karker and Mirabi in a recent paper, and give a structural generalisation of the well-known Erd\H{o}s-Rado sunflower lemma for sets. We show two results for countable ultrahomogeneous relational structures with strong amalgamation: first, the infinite sunflower property is equivalent to the canonical infinite point-Ramsey property; second, a certain strengthening of the canonical finite point-Ramsey property implies the finite sunflower property. (Here, "canonical" refers to statements analogous to the Erd\H{o}s-Rado canonical Ramsey theorem, involving colourings with infinitely many colours.) We also show that all free amalgamation classes with a single vertex isomorphism-type have the finite sunflower property, as do many classes of finite metric spaces, and we give a variety of further examples and observations.

math.CO↗

arXiv2025

Group-extensive embeddings into Fra\"iss\'e structures and stationary weak independence relations

Let $M$ be a Fra\"iss\'e structure (a countably infinite ultrahomogeneous structure). We call an embedding $f : A \to M$ group-extensive if each automorphism of its image extends to an automorphism of $M$, where the extension map respects composition. We say that $M$ has group-extensible $\omega$-age if each substructure admits a group-extensive embedding into $M$. We investigate the relationship between the following two properties: the presence of a stationary weak independence relation (SWIR) on $M$, and group-extensibility of the $\omega$-age of $M$. We show that linearly ordered Fra\"iss\'e structures with a SWIR have group-extensible $\omega$-age, but also we give examples of Fra\"iss\'e structures where only one of the two properties holds. Finally, we consider whether a wide range of examples of Fra\"iss\'e structures have group-extensible $\omega$-age or a finite SWIR expansion, including all countably infinite ultrahomogeneous oriented graphs (with one exception).

math.LO↗

arXiv2025

Embeddings into the generic poset

Let M be the generic poset, defined as the Fra\"iss\'e limit of the class of finite posets. We show that every countably infinite poset A can be embedded with coinfinite image into M so that each automorphism of the image of A extends uniquely to an automorphism of M.

math.LO↗

arXiv2025

Two generalisations of sharp k-transitivity

An action $U \curvearrowleft G$ of a group $G$ on a set $U$ is sharply $k$-transitive if, for any two $k$-tuples $\bar{a}, \bar{b} \in U^k$ of distinct elements, there is a unique $g \in G$ with $\bar{a} \cdot g = \bar{b}$. We consider two generalisations of this. Firstly, given $\Theta \leq \mathbb{S}_k$, we define a sharply $\Theta$-transitive action $U \curvearrowleft G$ to be a $k$-set-transitive action where the restricted action on each $k$-set of its setwise-stabiliser is isomorphic to the permutation action $\mathbf{k} \curvearrowleft \Theta$. An action is sharply $\mathbb{S}_k$-transitive iff it is sharply $k$-transitive. We characterise for which $\Theta \leq \mathbb{S}_k$ there is a sharply $\Theta$-transitive action on an infinite set, and show that if such an action exists, then the acting group $G$ can be taken to be a finitely generated non-abelian virtually free group. As a consequence, we obtain for $k = 2, 3$ the first examples of non-split finitely-presented groups admitting sharply $k$-transitive actions on an infinite set, answering a question of Andr\'{e} and Tent, and we obtain a strengthening of the well-known result of Tits that no group admits a sharply $k$-transitive action on an infinite set for $k \geq 4$. Secondly, we generalise sharp $k$-transitivity to relational structures. Given an action $\mathcal{M} \curvearrowleft G$ of a group $G$ on a relational structure $\mathcal{M}$, we say that the action is sharply $k$-homogeneous if, for any two $k$-tuples $\bar{a}, \bar{b}$ of distinct elements of $\mathcal{M}$ where $\bar{a} \mapsto \bar{b}$ is an isomorphism, there is a unique $g \in G$ with $\bar{a} \cdot g = \bar{b}$. We show that, for $1 \leq k \leq 3$, a wide range of countable ultrahomogeneous structures admit sharply $k$-homogeneous actions by finitely generated non-abelian virtually free groups, answering a question of Cameron from 1990.

math.GR↗

arXiv2024

Can Large Language Models Act as Symbolic Reasoners?

The performance of Large language models (LLMs) across a broad range of domains has been impressive but have been critiqued as not being able to reason about their process and conclusions derived. This is to explain the conclusions draw, and also for determining a plan or strategy for their approach. This paper explores the current research in investigating symbolic reasoning and LLMs, and whether an LLM can inherently provide some form of reasoning or whether supporting components are necessary, and, if there is evidence for a reasoning capability, is this evident in a specific domain or is this a general capability? In addition, this paper aims to identify the current research gaps and future trends of LLM explainability, presenting a review of the literature, identifying current research into this topic and suggests areas for future work.

cs.CL↗

arXiv2024

Flows of linear orders on sparse graphs

We consider the topological dynamics of the automorphism group of a particular sparse graph M_1 resulting from an ab initio Hrushovski construction. We show that minimal subflows of the flow of linear orders on M_1 have all orbits meagre, partially answering a question of Tsankov regarding results of Evans, Hubicka and Nesetril on the topological dynamics of automorphism groups of sparse graphs.

math.LO↗

arXiv2023

Sparse graphs and the fixed points on type spaces property

We examine the topological dynamics of the automorphism groups of omega-categorical sparse graphs resulting from Hrushovski constructions. Specifically, we consider the fixed points on type spaces property, which a structure M has if, for each positive integer n, every Aut(M)-subflow of the space of n-types has a fixed point. Extending a result of Evans, Hubicka and Nesetril, we show that there exists an omega-categorical structure M, resulting from a Hrushovski construction, such that no omega-categorical expansion of M has the fixed points on type spaces property.

math.LO↗

arXiv2023

The externally definable Ramsey property and fixed points on type spaces

We discuss the externally definable Ramsey property, a weakening of the Ramsey property for ultrahomogeneous structures, where the only colourings considered are those that are externally definable: that is, definable with parameters in an elementary extension. We show a number of basic results analogous to the classical Ramsey theory, and show that, for an ultrahomogeneous structure M with countable age, the externally definable Ramsey property is equivalent to the dynamical statement that, for each natural number n, every subflow of the space of n-types with parameters in M has a fixed point. We discuss a range of examples, including results regarding the lexicographic product of structures.

math.LO↗