Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2009.04606

On the abstract chromatic number and its computability for finitely axiomatizable theories

Leonardo N. Coregliano
View original source ↗Read source document ↗Export metadata ↓

Abstract

The celebrated Erdős--Stone--Simonovits theorem characterizes the asymptotic maximum edge density in $\mathcal{F}$-free graphs as $1 - 1/(χ(\mathcal{F})-1) + o(1)$, where $χ(\mathcal{F})$ is the minimum chromatic number of a graph in $\mathcal{F}$. In Examples 25 and 31 of [L. N. Coregliano and A. A. Razborov. Semantic limits of dense combinatorial objects. Uspekhi Mat. Nauk, 75(4(454)):45-152, 2020], it was shown that this result can be extended to the general setting of graphs with extra structure: the maximum asymptotic density of a graph with extra structure without some induced subgraphs is $1 - 1/(χ(I) - 1) + o(1)$ for an appropriately defined abstract chromatic number $χ(I)$. As the name suggests, the original formula for the abstract chromatic number is so abstract that its (algorithmic) computability was left open. In this paper, we both extend this result to characterize maximum asymptotic density of $t$-cliques in of graphs with extra structure without some induced subgraphs in terms of $χ(I)$ and we present a more concrete formula for $χ(I)$ that allows us to show its computability when both the extra structure and the forbidden subgraphs can be described by a finitely axiomatizable universal first-order theory. Our alternative formula for $χ(I)$ makes use of a partite version of Ramsey's Theorem for structures on first-order relational languages.

Explore related subjects

math.CO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Leonardo N. Coregliano. 2020-09-09. On the abstract chromatic number and its computability for finitely axiomatizable theories. https://arxiv.org/abs/2009.04606

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Maximal number of mixed Nash equilibria in generic games where each player has two pure strategies

The number of Nash equilibria of the mixed extension of a generic finite game in normal form is finite and odd. This raises the question how large the number can be, depending on the number of players and the numbers of their pure strategies. Here we present a lower bound for the maximal possible number in the case of m-player games where each player has two pure strategies. It is surprisingly close to a known upper bound.

math.CO↗
arXiv2026

Simultaneous avoidance of length-4 patterns in ascent sequences

Ascent sequences form a central class of combinatorial objects, as they are in bijection with several important families such as (2+2)-free posets, Stoimenow matchings, and other Fishburn objects, and are enumerated by the Fishburn numbers. We study pattern avoidance in ascent sequences for the five patterns of length 4: $0101$, $0102$, $0112$, $0120$, and $0121$. These patterns arise naturally from recent work on pattern avoidance in related families of Fishburn objects, including Stoimenow matchings and (2+2)-free posets. We enumerate ascent sequences avoiding any subset of these patterns, with the exception of the sets $\{0120\}$, $\{0121\}$, and $\{0120,0121\}$, for which the enumeration remains open. Our results reveal that the corresponding avoidance classes fall into $16$ Wilf equivalence classes and exhibit a wide range of enumerative behaviour, including connections to classical sequences such as the Catalan and Fibonacci numbers, as well as polynomial formulas and rational generating functions; several of the sequences we obtain appear to be new. Our methods combine structural decompositions with generating-tree techniques and, in several cases, rely on reductions to shorter patterns via restricted growth functions. This work contributes to the broader study of pattern avoidance across Fishburn families and highlights further connections between ascent sequences and other combinatorial structures.

math.CO↗