English
Related papers

Related papers: Structure and enumeration theorems for hereditary …

200 papers

The theory of quasirandomness has greatly expanded from its inaugural graph theoretical setting to several different combinatorial objects such as hypergraphs, tournaments, permutations, etc. However, these quasirandomness variants have…

Combinatorics · Mathematics 2020-12-23 Leonardo N. Coregliano , Alexander A. Razborov

Szemeredi's Regularity Lemma is a very useful tool of extremal combinatorics. Recently, several refinements of this seminal result were obtained for special, more structured classes of graphs. We survey these results in their rich…

Combinatorics · Mathematics 2020-03-31 Yiting Jiang , Jaroslav Nesetril , Patrice Ossona de Mendez , Sebastian Siebertz

In our paper "Uniformity and the Taylor expansion of ordinary lambda-terms" (with Laurent Regnier), we studied a translation of lambda-terms as infinite linear combinations of resource lambda-terms, from a calculus similar to Boudol's…

Logic in Computer Science · Computer Science 2010-01-20 Thomas Ehrhard

In this paper, we deal with a notion of Banach space-valued mappings defined on a set consisting of finite graphs with uniformly bounded vertex degree. These functions will be endowed with certain boundedness and additivity criteria. We…

Combinatorics · Mathematics 2015-01-14 Felix Pogorzelski

Recent progress in language modeling has expanded the range of tasks that can be approached through natural language interfaces, including problems that require structured reasoning. However, it remains unclear how effectively…

Machine Learning · Computer Science 2026-04-30 Michal Podstawski

A graph theoretic approach is proposed for object shape representation in a hierarchical compositional architecture called Compositional Hierarchy of Parts (CHOP). In the proposed approach, vocabulary learning is performed using a hybrid…

Computer Vision and Pattern Recognition · Computer Science 2015-01-26 Umit Rusen Aktas , Mete Ozay , Ales Leonardis , Jeremy L. Wyatt

Let L contain only the equality symbol and let L^+ be an arbitrary finite symmetric relational language containing L . Suppose probabilities are defined on finite L^+ structures with ''edge probability'' n^{- alpha}. By T^alpha, the almost…

Logic · Mathematics 2016-09-06 John T. Baldwin , Saharon Shelah

Words are sequences of letters over a finite alphabet. We study two intimately related topics for this object: quasi-randomness and limit theory. With respect to the first topic we investigate the notion of uniform distribution of letters…

Combinatorics · Mathematics 2021-09-01 Hiêp Hàn , Marcos Kiwi , Matías Pavez-Signé

Language models pretrained on large collections of tabular data have demonstrated their effectiveness in several downstream tasks. However, many of these models do not take into account the row/column permutation invariances, hierarchical…

Machine Learning · Computer Science 2023-10-30 Pei Chen , Soumajyoti Sarkar , Leonard Lausen , Balasubramaniam Srinivasan , Sheng Zha , Ruihong Huang , George Karypis

We study the relation between the growth rate of a graph property and the entropy of the graph limits that arise from graphs with that property. In particular, for hereditary classes we obtain a new description of the colouring number,…

Combinatorics · Mathematics 2013-12-20 Hamed Hatami , Svante Janson , Balázs Szegedy

An aggregative composition is a binary operation obeying the principle that the whole is determined by the sum of its parts. The development of graph algebras, on which the theory of formal graph languages is built, relies on aggregative…

Formal Languages and Automata Theory · Computer Science 2025-10-13 Marius Bozga , Radu Iosif , Florian Zuleger

It is an important fact that extremal discrete structures -- that is, discrete structures of maximal size among those that avoid certain configurations -- exhibit strong pseudorandom behavior. We present instances of this phenomenon in the…

Combinatorics · Mathematics 2026-04-14 Noé de Rancourt , Pandelis Dodos , Konstantinos Tyros

A few steps are made towards representation theory of embeddability among uncountable graphs. A monotone class of graphs is defined by forbidding countable subgraphs, related to the graph's end-structure. Using a combinatorial theorem of…

Logic · Mathematics 2016-09-06 Menachem Kojman

In this survey we describe a recently-developed technique for bounding the number (and controlling the typical structure) of finite objects with forbidden substructures. This technique exploits a subtle clustering phenomenon exhibited by…

Combinatorics · Mathematics 2018-01-16 József Balogh , Robert Morris , Wojciech Samotij

Call a hereditary family $\mathcal{F}$ of graphs strongly persistent if there exists a graphon $W$ such that in all subgraphons $W'$ of $W$, $\mathcal{F}$ is precisely the class of finite graphs that have positive density in $W'$. Our first…

Combinatorics · Mathematics 2024-07-22 Leonardo N. Coregliano , Maryanthe Malliaris

Let $\mathfrak{C}$ be a class of finite combinatorial structures. The \textit{profile} of $\mathfrak{C}$ is the function $\varphi_{\mathfrak{C}}$ which counts, for every integer $n$, the number $\varphi_{\mathfrak{C}}(n)$ of members of…

Combinatorics · Mathematics 2014-09-04 Djamila Oudrar , Maurice Pouzet

We investigate a generalization of the {\L}o\'s-Tarski preservation theorem via the semantic notion of \emph{preservation under substructures modulo $k$-sized cores}. It was shown earlier that over arbitrary structures, this semantic notion…

Logic in Computer Science · Computer Science 2014-01-24 Abhisekh Sankaran , Bharat Adsul , Supratik Chakraborty

We present a structural approach of some results about jumps in the behavior of the profile (alias generating function) of hereditary classes of finite structures. We consider the following notion due to N.Thi\'ery and the second author. A…

Combinatorics · Mathematics 2023-12-12 Djamila Oudrar , Maurice Pouzet

In recent years several classical results in extremal graph theory have been improved in a uniform way and their proofs have been simplified and streamlined. These results include a new Erd\H{o}s-Stone-Bollob\'as theorem, several stability…

Combinatorics · Mathematics 2011-07-07 Vladimir Nikiforov

We develop a family of simple rank one theories built over quite arbitrary sequences of finite hypergraphs. (This extends an idea from the recent proof that Keisler's order has continuum many classes, however, the construction does not…

Logic · Mathematics 2024-07-24 M. Malliaris , S. Shelah