Source author record

Neil Hindman

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CO math.DS math.GN

Catalog footprint

Research overview

7works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2016arXiv

Duality for image and kernel partition regularity of infinite matrices

A matrix A is image partition regular over Q provided that whenever Q - {0} is finitely coloured, there is a vector x with entries in Q - {0} such that the entries of Ax are monochromatic. It is kernel partition regular over Q provided that whenever Q - {0} is finitely coloured, the matrix has a monochromatic member of its kernel. We establish a duality for these notions valid for both finite and infinite matrices. We also investigate the extent to which this duality holds for matrices partition regular over proper subsemigroups of Q.

preprint2016arXiv

Recurrence in the dynamical system $(X,\langle T_s\rangle_{s\in S})$ and ideals of $βS$

A {\it dynamical system\/} is a pair $(X,\langle T_s\rangle_{s\in S})$ , where $X$ is a compact Hausdorff space, $S$ is a semigroup, for each $s\in S$ , $T_s$ is a continuous function from $X$ to $X$ , and for all $s,t\in S$ , $T_s\circ T_t=T_{st}$ . Given a point $p\inβS$ , the Stone-\v Cech compactification of the discrete space $S$ , $T_p:X\to X$ is defined by, for $x\in X$ , $\displaystyle T_p(x)=p{-}\!\lim_{s\in S}T_s(x)$ . We let $βS$ have the operation extending the operation of $S$ such that $βS$ is a right topological semigroup and multiplication on the left by any point of $S$ is continuous. Given $p,q\inβS$ , $T_p\circ T_q=T_{pq}$ , but $T_p$ is usually not continuous. Given a dynamical system $(X,\langle T_s\rangle_{s\in S})$ , and a point $x\in X$ , we let $U(x)=\{p\inβS:T_p(x)$ is uniformly recurrent $\}$ . We show that each $U(x)$ is a left ideal of $βS$ and for any semigroup we can get a dynamical system with respect to which $K(βS)=\bigcap_{x\in X}U(x)$ and $c\ell K(βS)=\bigcap\{U(x):x\in X$ and $U(x)$ is closed $\}$ . And we show that weak cancellation assumptions guarantee that each such $U(x)$ properly contains $K(βS)$ and has $U(x) \setminus c\ell K(βS)\neq \emptyset$ .

preprint2015arXiv

Pairwise sums in colourings of the reals

Suppose that we have a finite colouring of the reals. What sumset-type structures can we hope to find in some colour class? One of our aims is to show that there is such a colouring for which no uncountable set has all of its pairwise sums monochromatic. We also show that there is such a colouring such that there is no infinite set X with X+X (the pairwise sums from X, allowing repetition) monochromatic. These results assume CH. In the other direction, we show that if each colour class is measurable, or each colour class is Baire, then there is an infinite set X (and even an uncountable X, of size the reals) with X+X monochromatic. We also give versions for all of these results for k-wise sums in place of pairwise sums.

preprint2014arXiv

Maximality of Infinite Partition Regular Matrices

A finite or infinite matrix $A$ with rational entries (and only finitely many non-zero entries in each row) is called image partition regular if, whenever the natural numbers are finitely coloured, there is a vector $x$ , with entries in the natural numbers, such that $Ax$ is monochromatic. Many of the classical results of Ramsey theory are naturally stated in terms of image partition regularity. Our aim in this paper is to investigate maximality questions for image partition regular matrices. When is it possible to add rows on to $A$ and remain image partition regular? When can one add rows but `nothing new is produced'? What about adding rows and also new variables? We prove some results about extensions of the most interesting infinite systems, and make several conjectures. Perhaps our most surprising positive result is a compatibility result for Milliken-Taylor systems, stating that (in many cases) one may adjoin one Milliken-Taylor system to a translate of another and remain image partition regular. This is in contrast to earlier results, which had suggested a strong inconsistency between different Milliken-Taylor systems. Our main tools for this are some algebraic properties of the $βN$ , the Stone-Cech compactification of the natural numbers.

preprint2013arXiv

Multiply partition regular matrices

Let $A$ be a finite matrix with rational entries. We say that $A$ is {\it doubly image partition regular\/} if whenever the set ${\mathbb N}$ of positive integers is finitely coloured, there exists $\vec x$ such that the entries of $A\vec x$ are all the same colour (or {\it monochromatic\/}) and also, the entries of $\vec x$ are monochromatic. Which matrices are doubly image partition regular? More generally, we say that a pair of matrices $(A,B)$ , where $A$ and $B$ have the same number of rows, is {\it doubly kernel partition regular\/} if whenever ${\mathbb N}$ is finitely coloured, there exist vectors $\vec x$ and $\vec y$ , each monochromatic, such that $A \vec x + B \vec y = 0$ . There is an obvious sufficient condition for the pair $(A,B)$ to be doubly kernel partition regular, namely that there exists a positive rational $c$ such that the matrix $M=(\begin{array}{ccccc}A&cB\end{array})$ is kernel partition regular. (That is, whenever ${\mathbb N}$ is finitely coloured, there exists monochromatic $\vec x$ such that $M \vec x=\vec 0$ .) Our aim in this paper is to show that this sufficient condition is also necessary. As a consequence we have that a matrix $A$ is doubly image partition regular if and only if there is a positive rational $c$ such that the matrix $(\begin{array}{lr}A&cI\end{array})$ is kernel partition regular, where $I$ is the identity matrix of the appropriate size. We also prove extensions to the case of several matrices.

preprint2013arXiv

On additive properties of sets defined by the Thue-Morse word

In this paper we study some additive properties of subsets of the set $\nats$ of positive integers: A subset $A$ of $\nats$ is called {\it $k$ -summable} (where $k\in\ben$) if $A$ contains $\textstyle \big{\sum_{n\in F}x_n | \emp\neq F\subseteq {1,2,...,k\} \big}$ for some $k$ -term sequence of natural numbers $x_1<x_2 < ... < x_k$ . We say $A \subseteq \nats$ is finite FS-big if $A$ is $k$ -summable for each positive integer $k$ . We say is $A \subseteq \nats$ is infinite FS-big if for each positive integer $k,$ $A$ contains ${\sum_{n\in F}x_n | \emp\neq F\subseteq \nats and #F\leq k}$ for some infinite sequence of natural numbers $x_1<x_2 < ...$ . We say $A\subseteq \nats $ is an IP-set if $A$ contains ${\sum_{n\in F}x_n | \emp\neq F\subseteq \nats and #F<\infty}$ for some infinite sequence of natural numbers $x_1<x_2 < ...$ . By the Finite Sums Theorem [5], the collection of all IP-sets is partition regular, i.e., if $A$ is an IP-set then for any finite partition of $A$ , one cell of the partition is an IP-set. Here we prove that the collection of all finite FS-big sets is also partition regular. Let $\TM =011010011001011010... $ denote the Thue-Morse word fixed by the morphism $0\mapsto 01$ and $1\mapsto 10$ . For each factor $u$ of $\TM$ we consider the set $\TM\big|_u\subseteq \nats$ of all occurrences of $u$ in $\TM$. In this note we characterize the sets $\TM\big|_u$ in terms of the additive properties defined above. Using the Thue-Morse word we show that the collection of all infinite FS-big sets is not partition regular.

preprint2013arXiv

Partition regularity in the rationals

A system of homogeneous linear equations with integer coefficients is partition regular if, whenever the natural numbers are finitely coloured, the system has a monochromatic solution. The Finite Sums theorem provided the first example of an infinite partition regular system of equations. Since then, other such systems of equations have been found, but each can be viewed as a modification of the Finite Sums theorem. We present here a new infinite partition regular system of equations that appears to arise in a genuinely different way. This is the first example of a partition regular system in which a variable occurs with unbounded coefficients. A modification of the system provides an example of a system that is partition regular over Q but not N, settling another open problem.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Neil Hindman

Research overview

Is this your work?

7 publications

Duality for image and kernel partition regularity of infinite matrices

Recurrence in the dynamical system $(X,\langle T_s\rangle_{s\in S})$ and ideals of $βS$

Pairwise sums in colourings of the reals

Maximality of Infinite Partition Regular Matrices

Multiply partition regular matrices

On additive properties of sets defined by the Thue-Morse word

Partition regularity in the rationals

See the researcher in context

Building this map preview

Neil Hindman

Research overview

Is this your work?

7 publications

Duality for image and kernel partition regularity of infinite matrices

Recurrence in the dynamical system (X,⟨Ts⟩s∈S)(X,\langle T_s\rangle_{s\in S})(X,⟨Ts​⟩s∈S​) and ideals of βSβSβS

Pairwise sums in colourings of the reals

Maximality of Infinite Partition Regular Matrices

Multiply partition regular matrices

On additive properties of sets defined by the Thue-Morse word

Partition regularity in the rationals

See the researcher in context

Building this map preview

Recurrence in the dynamical system $(X,\langle T_s\rangle_{s\in S})$ and ideals of $βS$