arXiv.itsnick.co

an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org

Author

Rob Sullivan

19 papers · 2011–2026

2011: 62012: 02013: 02014: 02015: 02016: 12017: 12018: 02019: 02020: 02021: 02022: 02023: 22024: 22025: 32026: 4
2011peak 6 in 20112026

Frequent co-authors

Papers

showing 1–19 of 19 RSS

Classification and Prediction

Rob Sullivan

Artificial Intelligence · Humana Press eBooks · · cited 24× · DOI ↗ · more like this ·

Assigning our input instances to one of some number of distinct classes is one of the fundamental data-mining activities, allowing us a plethora of techniques to address the question “how similar are X and Y?” Once we have a sense of what characterizes such differences (or similarities), it is natural to then ask how we can predict what will come next. There are some specific data preparation challenges that we need to consider and once we have these in mind, we can focus on some of the common methods that are used by researchers. Linear regression is by far the most common method used for prediction, but decision trees and a very simple algorithm, 1R, provide valuable insight into our datasets without a huge amount of work being necessary. As we increase the sophistication of our models, the concept of the nearest neighbor becomes more important, and, following that, we discuss some…

Sparse graphs and the fixed points on type spaces property

Rob Sullivan

math.LO · · cited 3× · arXiv ↗ · more like this ·

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.

Can Large Language Models Act as Symbolic Reasoners?

Rob Sullivan, Nelly Elsayed

cs.CL · · cited 2× · arXiv ↗ · more like this ·

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.

Representing Data Mining Results

Rob Sullivan

Information Systems · Humana Press eBooks · · cited 2× · DOI ↗ · more like this ·

How many different ways can we represent our data in order to convey its meaning to its intended audience? What is the most effective approach? Is one technique better than another? The answer depends on your data, your audience, and the message you are trying to convey. In this chapter, we provide context for the output of our analyses, discussing very traditional representation methodologies, including tables, histograms, graphs, and plots of various types, as well as some of the more creative approaches that have seen increasing mindshare as vehicles of communication across the Internet. We also include an important technique that spans both the algorithmic and representation concepts – trees and rules – since such techniques can be valuable for both explanation and input to other systems and show that not all representations necessarily need to be graphical.

The externally definable Ramsey property and fixed points on type spaces

Nadav Meir, Rob Sullivan

math.LO · · cited 1× · arXiv ↗ · more like this ·

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.

Ultrahomogeneous hypertournaments

Rob Sullivan

math.LO · · cited 0× · arXiv ↗ · more like this ·

A $k$-hypertournament is a higher-arity generalisation of a tournament, consisting of a set together with an irreflexive $k$-ary relation such that the automorphism group of each substructure of size $k$ is the alternating group $\mathrm{A}_k$. We show that, for each $k \geq 3$, there are continuum-many non-isomorphic countable ultrahomogeneous $k$-hypertournaments, answering a question of Cherlin.

Group-extensive embeddings into Fraïssé structures and stationary weak independence relations

Aleksandra Kwiatkowska, Rob Sullivan, Jeroen Winkel

math.LO · · cited 0× · arXiv ↗ · more like this ·

Let $M$ be a Fraïssé 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 $ω$-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 $ω$-age of $M$. We show that linearly ordered Fraïssé structures with a SWIR have group-extensible $ω$-age, but also we give examples of Fraïssé structures where only one of the two properties holds. Finally, we consider whether a wide range of examples of Fraïssé structures have group-extensible $ω$-age or a finite SWIR expansion, including all countably infinite…

Two generalisations of sharp k-transitivity

J. de la Nuez González, Rob Sullivan

math.GR · · cited 0× · arXiv ↗ · more like this ·

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 $Θ\leq \mathbb{S}_k$, we define a sharply $Θ$-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 Θ$. An action is sharply $\mathbb{S}_k$-transitive iff it is sharply $k$-transitive. We characterise for which $Θ\leq \mathbb{S}_k$ there is a sharply $Θ$-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…

Flows of linear orders on sparse graphs

Rob Sullivan

math.LO · · cited 0× · arXiv ↗ · more like this ·

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.

The sentient city

Rob Sullivan

Geography, Planning and Development · · cited 0× · DOI ↗ · more like this ·

This chapter examines the city as sentient being in three different modes. It looks at historical cities as they have come to life and then passed away, replicating the course of a biological lifetime as they do so. The chapter also examines the city as a physiological, biological being, an entity imbued with life just as its inhabitants are imbued with life. It pays special attention to the ways in which the city undergoes transformation, through processes ranging from infrastructural change to the inscription of the city through graffiti. The chapter provides a few selections of fiction which have used the urban milieu as essential, transforming the city into a living canvas upon which and through which the characters of these novels manifest their lives. The chapter concludes by connecting the sentience of the city to other instrumentalities: the mobile city, the relational city, and…

A Museum of Geography, What?

Rob Sullivan

Geography, Planning and Development · AAG newsletter · · cited 0× · DOI ↗ · more like this ·

AAG - A Museum of Geography, What? - On October 21, 2016, the Los Angeles Museum of Geography opened its first exhibition, “The Homeless Amongst Us,” in its temporary home at 2426 SET in the West Adams district of L.A.

The Input Side of the Equation

Rob Sullivan

Signal Processing · Humana Press eBooks · · cited 0× · DOI ↗ · more like this ·

The data we will analyze will typically come from multiple places – both internal repositories and external databases. Even when all of the data is in one place, it is highly unlikely that our needs are met in its current form. Preparing the data for analysis takes an appreciable amount of time and can often be the most complex part of the analytical effort. So what do we need to do so that the data is in the right format, with the right content, so that our analysis is not skewed by incorrect, inadequate, or invalid data? Here, we focus on some of the physical data manipulation activities we may (or will) need to undertake in order to transform the data into the structure and content we need to be able to effectively analyze it. Is each piece of data relevant? What do we do about data elements missing from our dataset? Can we enforce consistency on the data without changing its…

Let’s Call It a Day

Rob Sullivan

Artificial Intelligence · Humana Press eBooks · · cited 0× · DOI ↗ · more like this ·

What have we left out? Too much, as it happens, which is often the case with a broad subject such as data mining. What we'd like to leave you with is a pseudo-guide: try a few different approaches to your problem. Using multiple, different techniques can often uncover useful nuggets of information.

Data Architecture and Data Modeling

Rob Sullivan

Computer Networks and Communications · Humana Press eBooks · · cited 0× · DOI ↗ · more like this ·

Unless we have a good solid data repository, all the techniques in the world are of limited use. In this chapter, we focus on the data layer: what the primary repository types are that you can expect to encounter, specifically the relational database environment – an example model – and some of the issues you will have to deal with, such as with time and historical data. The primary purpose of this chapter is to set the scene for how we deal with the data issues that inevitably occur.

Fundamental Concepts

Rob Sullivan

Computer Vision and Pattern Recognition · Humana Press eBooks · · cited 0× · DOI ↗ · more like this ·

Data mining aims to go beyond the mere describing of a set of data to identify those relationships – patterns – that exist between seemingly unrelated items. In this chapter, we pose some of the types of questions we might need to answer, basic concepts such as that of overfitting, bias, normalization, and dimensionality. We also introduce a broad, but certainly not exhaustive, range of techniques to illustrate how widely we can cast our net when looking for techniques to help us. For example, principal component analysis (PCA) can help us with the curse of dimensionality. We also list a number of statistical measures that we use consistently in data mining. In fact, statistical analysis is still one of, if not the, major sets of techniques used in analysis. We also include some important topics such as distance; distance is used in many techniques as a measure of similarity.

An unusual example of a universal automorphism group

Rob Sullivan, Jeroen Winkel

math.LO · · arXiv ↗ · more like this ·

Let $M$ be a Fraïssé structure (a countably infinite ultrahomogeneous structure). We refer to the class of structures embeddable in $M$ as the $ω$-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 $ω$-age of $M$, there is an embedding $\textrm{Aut}(A) \to \textrm{Aut}(M)$, and we say that $M$ has group-extensible $ω$-age if, for each $A$ in the $ω$-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 $ω$-age, then $M$ has a universal automorphism group. We give an example of a Fraïssé structure with a universal automorphism group whose $ω$-age is not group-extensible, showing that the above two properties are not equivalent.

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

Thomas Bernert, Rob Sullivan, Jeroen Winkel +1 more

math.LO · · arXiv ↗ · more like this ·

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π}{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.

Structured sunflowers and canonical Ramsey properties

Rob Sullivan, Jeroen Winkel

math.CO · · arXiv ↗ · more like this ·

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ős-Rado sunflower lemma for sets. We show two results for countable ultrahomogeneous relational structures with strong amalgamation: first, the…