pith. sign in

arxiv: 2406.04433 · v2 · submitted 2024-06-06 · 🧮 math.LO

Flows of linear orders on sparse graphs

Rob Sullivan This is my paper

Pith reviewed 2026-05-24 00:06 UTC · model grok-4.3

classification 🧮 math.LO
keywords topological dynamicsautomorphism groupsparse graphlinear ordersmeagre orbitsminimal subflowsflow of orders
0
0 comments X

The pith

Minimal subflows of the flow of linear orders on the sparse graph M_1 have all orbits meagre.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper examines the continuous action of the automorphism group of the sparse graph M_1 on the space of all linear orders of its vertices. It focuses on the closed invariant subsets of this space that are minimal under the group action. The central result states that every such minimal subflow has the property that each of its orbits is a meagre set in the topology of the space. A reader would care because this pins down the topological size of the smallest possible dynamical systems that arise when ordering the vertices while respecting the graph's symmetries.

Core claim

The paper shows that minimal subflows of the flow of linear orders on M_1 have all orbits meagre. This is obtained by studying the topological dynamics of the automorphism group of this particular sparse graph and determining the structure of its smallest nonempty closed invariant subsets under the induced action.

What carries the argument

The flow of linear orders on M_1 together with its minimal subflows under the automorphism group action

If this is right

  • Every orbit appearing in a minimal subflow is a meagre subset of the space of linear orders.
  • The smallest closed invariant sets under the group action are topologically small.
  • No minimal subflow admits a comeager orbit.
  • The property is established specifically for the linear orders on this graph M_1.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same meagreness could be checked for flows of other relations, such as graphs or tournaments, on the same vertex set.
  • The result might limit how complex the orbit closures can become when additional structure is imposed on M_1.
  • One could test whether the meagreness persists if the graph is enlarged while keeping the same local properties.
  • Similar restrictions on orbit size might appear in the dynamics of automorphism groups of other countable structures with controlled growth.

Load-bearing premise

The sparse graph M_1 arising from the given construction has the property that its automorphism group action on linear orders permits the minimal subflows to be analyzed and shown to consist of meagre orbits.

What would settle it

An explicit example of a minimal subflow of linear orders on M_1 that contains at least one non-meagre orbit would falsify the claim.

Figures

Figures reproduced from arXiv: 2406.04433 by Rob Sullivan.

Figure 1
Figure 1. Figure 1: The oriented graph DT . • • C • • • • • • • • • • • • • • • ≺ ··· ≺ ≺ ··· ≺ T T ··· ··· ··· ··· [PITH_FULL_IMAGE:figures/full_fig_p008_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: The ordered graph C ≺ T with witness vertices indicated on one vertex. (Lemma 4.6), and also showing that the ordered graphs that we construct to force orientations of edges in ρ do in fact lie in J (Lemma 4.7). 4.4. Attaching trees and near-trees. For q ∈ N+, let T0(q) be the digraph given by a binary tree of height 2q + 1, oriented outwards towards the leaves and with head vertex c. Let T1(q) be the digr… view at source ↗
read the original abstract

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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 0 minor

Summary. The manuscript studies the topological dynamics of the automorphism group of the sparse graph M_1 arising from an ab initio Hrushovski construction. It proves that every minimal subflow of the flow of linear orders on M_1 has meagre orbits, thereby partially answering a question of Tsankov in light of the Evans-Hubicka-Nesetril results on automorphism groups of sparse graphs.

Significance. If the central claim holds, the work supplies a concrete new example of meagre orbits in minimal subflows for an automorphism group obtained via Hrushovski amalgamation, extending the scope of the Evans-Hubicka-Nesetril theory beyond standard Fraïssé classes. The result is a modest but genuine contribution to the interface between model theory and topological dynamics.

major comments (1)
  1. [Introduction / construction of M_1] The central claim that minimal subflows have meagre orbits rests on the direct applicability of one or more theorems from Evans-Hubicka-Nesetril to Aut(M_1). Because M_1 is defined by an ab initio Hrushovski construction whose controlling function and sparsity parameters are specific, the manuscript must contain an explicit lemma (most naturally placed immediately after the definition of M_1) verifying that every hypothesis of the invoked theorem(s) is satisfied; without this verification the reduction is not secured.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive evaluation of the manuscript and for the constructive suggestion regarding the verification of hypotheses from Evans-Hubicka-Nesetril. We address the single major comment below.

read point-by-point responses

  1. Referee: [Introduction / construction of M_1] The central claim that minimal subflows have meagre orbits rests on the direct applicability of one or more theorems from Evans-Hubicka-Nesetril to Aut(M_1). Because M_1 is defined by an ab initio Hrushovski construction whose controlling function and sparsity parameters are specific, the manuscript must contain an explicit lemma (most naturally placed immediately after the definition of M_1) verifying that every hypothesis of the invoked theorem(s) is satisfied; without this verification the reduction is not secured.

    Authors: We agree that an explicit verification lemma is required to make the application of the Evans-Hubicka-Nesetril theorems fully rigorous for this specific ab initio construction. In the revised version we will add, immediately after the definition of M_1, a new lemma that enumerates and checks each hypothesis of the relevant theorems (controlling function, sparsity parameters, hereditary property, joint embedding property, and the relevant amalgamation conditions) against the concrete parameters chosen for M_1. revision: yes

Circularity Check

0 steps flagged

No circularity: result follows from external theorems applied to M_1

full rationale

The paper's central claim is obtained by applying the cited external results of Evans, Hubicka and Nesetril on automorphism groups of sparse graphs to the specific structure M_1 arising from an ab initio Hrushovski construction. No equations, parameters, or definitions inside the paper are shown to be fitted or renamed in a way that forces the meagreness conclusion by construction. The derivation relies on independent prior work rather than self-citation chains or self-definitional steps. The abstract and description indicate a direct application without internal reduction of the target property to fitted inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper rests on the existence and dynamical properties of the Hrushovski-constructed graph M_1 and on background results from Evans-Hubicka-Nesetril; no free parameters or invented entities are visible in the abstract.

axioms (1)
  • domain assumption Existence of the sparse graph M_1 from an ab initio Hrushovski construction with the required automorphism-group dynamics
    Invoked in the first sentence of the abstract as the object whose linear-order flow is studied.

pith-pipeline@v0.9.0 · 5568 in / 1289 out tokens · 19781 ms · 2026-05-24T00:06:38.089760+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages · 1 internal anchor

  1. [1]

    Angel, A

    O. Angel, A. S. Kechris, and R. Lyons. Random orderings and uniq ue ergodicity of automorphism groups. Journal of the European Mathematical Society , 016(10):2059–2095, 2014

    work page 2059

  2. [2]

    Ben Yaacov, J

    I. Ben Yaacov, J. Melleray, and T. Tsankov. Metrizable universa l minimal flows of Polish groups have a comeagre orbit. Geom. Funct. Anal. , 27(1):67–77, 2017

    work page 2017

  3. [3]

    D. Evans. Homogeneous structures, omega-categoricity and amalgamation constructions. http://wwwf.imperial.ac.uk/~dmevans/Bonn2013_DE.pdf - unpublished notes from talks given at the Hausdorff Institute for Mathematics, Bonn, 2013

    work page 2013

  4. [4]

    Automorphism groups and Ramsey properties of sparse graphs

    D. Evans, J. Hubiˇ cka, and J. Neˇ setˇ ril. Automorphism groups and Ramsey properties of sparse graphs. arXiv:1801.01165v3 - 2018 preprint (version 3) of the 2019 publishe d paper, 2018

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  5. [5]

    Evans, J

    D. Evans, J. Hubiˇ cka, and J. Neˇ setˇ ril. Automorphism groups and Ramsey properties of sparse graphs. Proceedings of the London Mathematical Society , 119(2):515–546, 2019

    work page 2019

  6. [6]

    Evans, J

    D. Evans, J. Hubiˇ cka, and J. Neˇ setˇ ril. Ramsey properties and extending partial automorphisms for classes of finite structures. Fund. Math., 253(2):121–153, 2021

    work page 2021

  7. [7]

    D. M. Evans. Ample dividing. J. Symbolic Logic , 68(4):1385–1402, 2003

    work page 2003

  8. [8]

    D. M. Evans. Trivial stable structures with non-trivial reducts . J. London Math. Soc. (2) , 72(2):351–363, 2005

    work page 2005

  9. [9]

    Hrushovski

    E. Hrushovski. A stable ℵ 0-categorical pseudoplane. Unpublished notes, 1988

    work page 1988

  10. [10]

    Hrushovski

    E. Hrushovski. A new strongly minimal set. Ann. Pure Appl. Logic , 62(2):147–166, 1993

    work page 1993

  11. [11]

    A. A. Ivanov. Generic expansions of ω-categorical structures and semantics of generalized quantifier s. J. Symbolic Logic, 64(2):775–789, 1999

    work page 1999

  12. [12]

    A. S. Kechris, V. G. Pestov, and S. Todorcevic. Fra ¨ ıss´ e limits , Ramsey theory, and topological dynamics of automorphism groups. Geom. Funct. Anal. , 15(1):106–189, 2005

    work page 2005

  13. [13]

    A. S. Kechris and C. Rosendal. Turbulence, amalgamation, and g eneric automorphisms of homogeneous structures. Proc. Lond. Math. Soc. (3) , 94(2):302–350, 2007

    work page 2007

  14. [14]

    C. S. J. A. Nash-Williams. Decomposition of finite graphs into fore sts. J. of London Math Soc. , 39(1):12, 1964

    work page 1964

  15. [15]

    Nguyen Van Th´ e

    L. Nguyen Van Th´ e. More on the Kechris-Pestov-Todorcevic correspondence: precompact expansions. Fund. Math., 222(1):19–47, 2013

    work page 2013

  16. [16]

    Sullivan

    R. Sullivan. Aspects of the topological dynamics of sparse graph automor phism groups. PhD thesis, Imperial College London, 2022

    work page 2022

  17. [17]

    A. Zucker. Topological dynamics of automorphism groups, ultr afilter combinatorics, and the generic point problem. Trans. Amer. Math. Soc. , 368(9):6715–6740, 2016. Rob Sullivan, Institut f ¨ur Mathematische Logik, Universit ¨at M ¨unster, Einsteinstraße 62, 48149 M ¨unster, Germany Email address : robertsullivan1990+maths@gmail.com 11

    work page 2016