English
Related papers

Related papers: A Combinatorial Proof of the Dense Hindman Theorem

200 papers

We prove that for every integer $k$, every finite set of points in the plane can be $k$-colored so that every half-plane that contains at least $2k-1$ points, also contains at least one point from every color class. We also show that the…

Combinatorics · Mathematics 2015-05-19 Shakhar Smorodinsky , Yelena Yuditsky

Given a fixed integer $n$, we prove Ramsey-type theorems for the classes of all finite ordered $n$-colorable graphs, finite $n$-colorable graphs, finite ordered $n$-chromatic graphs, and finite $n$-chromatic graphs.

Combinatorics · Mathematics 2014-01-07 L. Nguyen Van Thé

Introducing the notion of a rational system of measure preserving transformations and proving a recurrence result for such systems, we give sufficient conditions in order a subset of rational numbers to contain arbitrary long arithmetic…

Combinatorics · Mathematics 2012-12-19 Andreas Koutsogiannis

This paper shows how the study of colored compositions of integers reveals some unexpected and original connection with the Invert operator. The Invert operator becomes an important tool to solve the problem of directly counting the number…

Number Theory · Mathematics 2014-09-24 Marco Abrate , Stefano Barbero , Umberto Cerruti , Nadir Murru

We present a new short proof of Van der Waerden's Theorem about the existence of arbitrarily long monochromatic arithmetic progressions. The proof uses algebra in the compact space of ultrafilters $\beta\N$, but contrarily to the other…

Logic · Mathematics 2026-03-05 Mauro Di Nasso

Motivated by Dohmen-P\"onitz-Tittmann's bivariate chromatic polynomial $\chi_G(x,y)$, which counts all $x$-colorings of a graph $G$ such that adjacent vertices get different colors if they are $\le y$, we introduce a bivarate version of…

Combinatorics · Mathematics 2021-12-21 Matthias Beck , Maryam Farahmand , Gina Karunaratne , Sandra Zuniga Ruiz

We obtain strong coloring theorems at successors of singular cardinals from failures of certain instances of simultaneous reflection of stationary sets. Along the way, we establish new results in club-guessing and in the general theory of…

Logic · Mathematics 2009-05-26 Todd Eisworth

A famous theorem of Szemer\'edi asserts that given any density $0 < \delta \leq 1$ and any integer $k \geq 3$, any set of integers with density $\delta$ will contain infinitely many proper arithmetic progressions of length $k$. For general…

Combinatorics · Mathematics 2007-05-23 Terence Tao

We give a complete self-contained proof of Statman's finite completeness theorem and of a corollary of this theorem stating that the $\lambda$-definability conjecture implies the higher-order matching conjecture.

Logic in Computer Science · Computer Science 2023-09-08 Richard Statman , Gilles Dowek

For a finite set of integers such that the first few gaps between its consecutive elements equal $a$, while the remaining gaps equal $b$, we study dense packings of its translates on the line. We obtain an explicit lower bound on the…

Combinatorics · Mathematics 2025-09-29 Alexander Natalchenko , Arsenii Sagdeev

We establish a theorem regarding the maximum size of an {\it{induced}} matching in the bipartite complement of the incidence graph of a set system $(X,\mathcal{F})$. We show that this quantity plus one provides an upper bound on the…

Combinatorics · Mathematics 2025-01-30 Cosmin Pohoata , Kevin Yang , Shengtong Zhang

The Cyclic Coloring Conjecture asserts that the vertices of every plane graph with maximum face size D can be colored using at most 3D/2 colors in such a way that no face is incident with two vertices of the same color. The Cyclic Coloring…

Combinatorics · Mathematics 2016-02-08 Michael Hebdige , Daniel Kral

The first part of the paper is a brief overview of Hindman's finite sums theorem, its prehistory and a few of its further generalizations, and a modern technique used in proving these and similar results, which is based on idempotent…

General Topology · Mathematics 2024-12-30 Denis I. Saveliev

The quantum de Finetti theorem asserts that the k-body density matrices of a N-body bosonic state approach a convex combination of Hartree states (pure tensor powers) when N is large and k fixed. In this note we review a construction due to…

Mathematical Physics · Physics 2014-08-25 Mathieu Lewin , Phan Thành Nam , Nicolas Rougerie

Consider a graph whose vertices are colored in one of two colors, say black or white. A white vertex is called integrated if it has at least as many black neighbors as white neighbors, and similarly for a black vertex. The coloring as a…

Combinatorics · Mathematics 2025-06-10 Charles Burnette , Broden Caton , Olivia Coward , Julian Davis , Austin Teter

A classical question in combinatorial number theory asks whether an equation has a solution inside a particular subset of its domain. The Rado's Theorem gives a set of necessary and sufficient conditions for a systems of linear equations to…

Combinatorics · Mathematics 2022-10-04 Hongyi Zhou

We study the list-chromatic number and the coloring number of graphs, especially uncountable graphs. We show that the coloring number of a graph coincides with its list-chromatic number provided that the diamond principle holds. Under the…

Logic · Mathematics 2021-12-30 Toshimichi Usuba

We define a $P$-compelling coloring as a proper coloring of the vertices of a graph such that every subset consisting of one vertex of each color has property $P$. The $P$-compelling chromatic number is the minimum number of colors in such…

Combinatorics · Mathematics 2021-05-11 Anna Bachstein , Wayne Goddard , Michael A. Henning , John Xue

An abstract, Hales-Jewett type extension of the polynomial van der Waerden Theorem [J. Amer. Math. Soc. 9 (1996),725-753] is established: Theorem. Let r,d,q \in \N. There exists N \in \N such that for any r-coloring of the set of subsets of…

Combinatorics · Mathematics 2016-09-07 Vitaly Bergelson , Alexander Leibman

Given $d+1$ sets, or colours, $S_1, S_2,...,S_{d+1}$ of points in $\mathbb{R}^d$, a {\em colourful} set is a set $S\subseteq\bigcup_i S_i$ such that $|S\cap S_i|\leq 1$ for $i=1,...,d+1$. The convex hull of a colourful set $S$ is called a…

Computational Geometry · Computer Science 2014-03-07 Frédéric Meunier , Antoine Deza
‹ Prev 1 8 9 10 Next ›