Structured Sunflowers

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Ackerman, Nathanael, Karker, Mary Leah, Mirabi, Mostafa
Format: Preprint
Published: 2025
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866913962075881472
author Ackerman, Nathanael
Karker, Mary Leah
Mirabi, Mostafa
author_facet Ackerman, Nathanael
Karker, Mary Leah
Mirabi, Mostafa
contents We call an infinite structure $\mathcal{M}$ sunflowerable if whenever $\mathcal{M}'$ is isomorphic to $\mathcal{M}$ with underlying set $M'$, consisting of finite sets of bounded size, there is an $M_0 \subseteq M'$ such that $M_0$ is a sunflower and $\mathcal{M}'\!\!\upharpoonright[M_0]$ is isomorphic to $\mathcal{M}$. We give sufficient conditions on $\mathcal{M}$ to show that $\mathcal{M}$ is sunflowerable. These conditions allow us to show that several well-known structures are sunflowerable and give a complete characterization of the countable linear orderings which are sunflowerable. We show that a sunflowerable structure must be indivisible. This allows us to show that any Fraïssé limit which has the 3-disjoint amalgamation property and a single unary type must be indivisible. In addition to studying sunflowerability of infinite structures, we also consider an analogous property of an age which we call the sunflower property. We show that any sunflowerable structure must have an age with the sunflower property. We also give concrete bounds in the case that the age has the hereditary property, the 3-disjoint amalgamation property, and is indivisible.
format Preprint
id arxiv_https___arxiv_org_abs_2507_20381
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Structured Sunflowers
Ackerman, Nathanael
Karker, Mary Leah
Mirabi, Mostafa
Combinatorics
Logic
05C55, 03C50, 03E05
We call an infinite structure $\mathcal{M}$ sunflowerable if whenever $\mathcal{M}'$ is isomorphic to $\mathcal{M}$ with underlying set $M'$, consisting of finite sets of bounded size, there is an $M_0 \subseteq M'$ such that $M_0$ is a sunflower and $\mathcal{M}'\!\!\upharpoonright[M_0]$ is isomorphic to $\mathcal{M}$. We give sufficient conditions on $\mathcal{M}$ to show that $\mathcal{M}$ is sunflowerable. These conditions allow us to show that several well-known structures are sunflowerable and give a complete characterization of the countable linear orderings which are sunflowerable. We show that a sunflowerable structure must be indivisible. This allows us to show that any Fraïssé limit which has the 3-disjoint amalgamation property and a single unary type must be indivisible. In addition to studying sunflowerability of infinite structures, we also consider an analogous property of an age which we call the sunflower property. We show that any sunflowerable structure must have an age with the sunflower property. We also give concrete bounds in the case that the age has the hereditary property, the 3-disjoint amalgamation property, and is indivisible.
title Structured Sunflowers
topic Combinatorics
Logic
05C55, 03C50, 03E05
url https://arxiv.org/abs/2507.20381