English
Related papers

Related papers: Ramsey Theory on Infinite Structures and the Metho…

200 papers

A {\em tree cover} of a metric space $(X,d)$ is a collection of trees, so that every pair $x,y\in X$ has a low distortion path in one of the trees. If it has the stronger property that every point $x\in X$ has a single tree with low…

Data Structures and Algorithms · Computer Science 2019-05-21 Yair Bartal , Nova Fandina , Ofer Neiman

We present a new structure theorem for finite fields of odd order that relates multiplicative and additive structure in an interesting way. This theorem has several applications, including an improved understanding of Dickson and Chebyshev…

Number Theory · Mathematics 2021-05-04 Antonia W. Bluher

We study the reverse mathematics of infinitary extensions of the Hales-Jewett theorem, due to Carlson and Simpson. These theorems have multiple applications in Ramsey's theory, such as the existence of finite big Ramsey numbers for the…

Logic · Mathematics 2023-05-11 Paul-Elliot Anglès d'Auriac , Bastien Mignoty , Lu Liu , Ludovic Patey

Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the safe omission of the occurs-check) and increased expressivity (cyclic terms can…

Programming Languages · Computer Science 2007-05-23 Roberto Bagnara , Roberta Gori , Patricia M. Hill , Enea Zaffanella

Ramsey theory is the study of conditions under which mathematical objects show order when partitioned. Ramsey theory on the integers concerns itself with partitions of $[1,n]$ into $r$ subsets and asks the question whether one (or more) of…

Combinatorics · Mathematics 2014-04-30 Mano Vikash Janardhanan

Extending a result of K. Milliken \cite{Mi2}, in this paper we prove a Ramsey classification result for equivalence relations defined on uniform families of finite strong subtrees of a finite sequence $(U_i)_{i\in d}$ of fixed trees $U_i$,…

Logic · Mathematics 2014-10-21 Dimitris Vlitas

We prove the Erd\H os--S\'os conjecture for trees with bounded maximum degree and large dense host graphs. As a corollary, we obtain an upper bound on the multicolour Ramsey number of large trees whose maximum degree is bounded by a…

Combinatorics · Mathematics 2020-08-13 Guido Besomi , Matías Pavez-Signé , Maya Stein

Random coding arguments are the backbone of most channel capacity achievability proofs. In this paper, we show that in their standard form, such arguments are insufficient for proving some network capacity theorems: structured coding…

Information Theory · Computer Science 2008-02-05 Bobak Nazer , Michael Gastpar

Let F be a set of relational trees and let Forbh(F) be the class of all structures that admit no homomorphism from any tree in F; all this happens over a fixed finite relational signature $\sigma$. There is a natural way to expand Forbh(F)…

Combinatorics · Mathematics 2015-07-01 Jan Foniok

The study of symmetric structures is a new trend in Ramsey theory. Recently in [7], Di Nasso initiated a systematic study of symmetrization of classical Ramsey theoretical results, and proved a symmetric version of several Ramsey theoretic…

Combinatorics · Mathematics 2025-06-03 Arkabrata Ghosh , Sayan Goswami , Sourav Kanti Patra

Large tree structures are ubiquitous and real-world relational datasets often have information associated with nodes (e.g., labels or other attributes) and edges (e.g., weights or distances) that need to be communicated to the viewers. Yet,…

Computational Geometry · Computer Science 2023-05-18 Kathryn Gray , Mingwei Li , Reyan Ahmed , Md. Khaledur Rahman , Ariful Azad , Stephen Kobourov , Katy Börner

The Pathwidth Theorem states that if a class of graphs has unbounded pathwidth, then it contains all trees as graph minors. We prove a similar result for dense graphs. More precisely, we give a finite family of tree-like patterns and prove…

Logic in Computer Science · Computer Science 2026-04-09 Mikołaj Bojańczyk , Pierre Ohlmann

Predicting the nodes of a given graph is a fascinating theoretical problem with applications in several domains. Since graph sparsification via spanning trees retains enough information while making the task much easier, trees are an…

Machine Learning · Computer Science 2013-03-01 Fabio Vitale , Nicolo Cesa-Bianchi , Claudio Gentile , Giovanni Zappella

An infinite graph is said to be highly connected if the induced subgraph on the complement of any set of vertices of smaller size is connected. We continue the study of weaker versions of Ramsey Theorem on uncountable cardinals asserting…

Logic · Mathematics 2024-11-20 Michael Hrušák , Saharon Shelah , Jing Zhang

This work will appear as a chapter in a forthcoming volume titled "Topics in Probabilistic Graph Theory". A theory of scaling limits for random graphs has been developed in recent years. This theory gives access to the large-scale geometric…

Probability · Mathematics 2024-10-18 Louigi Addario-Berry , Christina Goldschmidt

The goal of this work is to decompose random populations with a genealogy in subfamilies of a given degree of kinship and to obtain a notion of infinitely divisible genealogies. We model the genealogical structure of a population by…

Probability · Mathematics 2019-04-09 Patrick Gloede , Andreas Greven , Thomas Rippl

We prove that finite partial orders with a linear extension form a Ramsey class. Our proof is based on the fact that class of acyclic graphs has the Ramsey property and uses the partite construction.

Combinatorics · Mathematics 2017-03-03 Jaroslav Nešetřil , Vojtěch Rödl

We study the notion of sparseness for regular languages over finite trees and infinite words. A language of trees is called sparse if the relative number of $n$-node trees in the language tends to zero, and a language of infinite words is…

Formal Languages and Automata Theory · Computer Science 2025-07-08 Kord Eickmeyer , Georg Schindling

Does the $n^{th}$ root of the diagonal Ramsey number converge to a finite limit? The answer is yes. A sequence can be shown to converge if it satifies convergence conditions other than or besides monotonicity. We show such a property holds…

Number Theory · Mathematics 2012-10-09 Robert J. Betts

Limits of graphs were initiated recently in the two extreme contexts of dense and bounded degree graphs. This led to elegant limiting structures called graphons and graphings. These approach have been unified and generalized by authors in a…

Combinatorics · Mathematics 2013-12-03 Jaroslav Nesetril , Patrice Ossona De Mendez