[Paper Review] Colouring homogeneous structures

Norbert Sauer|arXiv (Cornell University)|Aug 5, 2020

Advanced Topology and Set Theory14 references4 citations

TL;DR

This paper establishes a necessary and sufficient condition for Henson-type homogeneous structures to be indivisible, using a novel characterization of types and ranks in free amalgamation homogeneous structures. The key contribution is a structural criterion based on the order type of type ranks, showing that indivisibility is equivalent to the age of the structure being closed under free amalgamation with a specific boundary condition.

ABSTRACT

A relational structure is indivisible if for every partition of its set of elements into two parts there exists an embedding of the structure into one of the parts of the partition. A relational structure is homogeneous if every embedding of a finite induced substructure to a finite induced substructure extends to an automorphism. This article establishes a necessary and sufficient condition for Henson type, see [4], homogeneous structures to be indivisible.

Motivation & Objective

• To determine when Henson-type homogeneous relational structures are indivisible, extending classical results in model theory and Ramsey theory.
• To characterize the structural conditions under which every finite coloring of a homogeneous structure admits a monochromatic copy of the structure.
• To analyze the role of free amalgamation and boundary conditions in determining indivisibility of homogeneous structures.
• To investigate the order type of type ranks in homogeneous structures and its connection to indivisibility.
• To provide a general framework for identifying indivisible homogeneous structures using type-theoretic and model-theoretic tools.

Proposed method

• Uses Fraïssé theory to define homogeneous structures as limits of age-closed classes of finite structures.
• Introduces the concept of type ranks in homogeneous structures, where each type is assigned a rank based on the minimal rational value in a boundary condition.
• Applies the notion of free amalgamation to construct new structures from compatible substructures while preserving closure under induced substructures.
• Defines a boundary class of forbidden finite substructures that determine the age of the homogeneous structure.
• Employs a partial order on type ranks to analyze the structure of embeddings and substructures, particularly in irreducible components.
• Uses the Gaifman graph (2-section) of a structure to define irreducibility and analyze connectivity properties critical to indivisibility.

Experimental results

Research questions

• RQ1 What conditions on the age of a homogeneous structure ensure that it is indivisible?
• RQ2 How do type ranks in a homogeneous structure relate to its indivisibility and free amalgamation properties?
• RQ3 Can the order type of type ranks in a homogeneous structure determine whether it is indivisible?
• RQ4 What role do boundary classes of finite substructures play in characterizing indivisibility of Henson-type structures?
• RQ5 Under what conditions does a homogeneous structure admit a monochromatic copy under every 2-coloring of its elements?

Key findings

• A homogeneous structure is indivisible if and only if its age is a free amalgamation age and the structure satisfies a specific boundary condition on its type ranks.
• The partial order of type ranks in a free amalgamation homogeneous structure can be isomorphic to the rationals with a maximum, demonstrating a rich and non-trivial order structure.
• There exist indivisible homogeneous structures whose type rank order is isomorphic to the rationals with a maximum, showing that such structures can have complex, dense rank orderings.
• The paper constructs explicit examples of indivisible homogeneous structures using boundary classes of irreducible finite substructures, such as 3-uniform hypergraphs and multi-sorted relational structures.
• For a given type in the homogeneous structure, the image of its realization under the rank map determines whether it contains or avoids certain finite substructures, which is key to indivisibility.
• The paper proves that if a structure U has a type T with rank r, then the age of the structure ρ(T) is equal to the age of U if no A(m) with α(m) ≥ r exists, which characterizes the closure of the age under free amalgamation.