Source author record

Dona Strauss

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

Catalog footprint

Research overview

5works

2topics

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.

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.

Dona Strauss

Research overview

Is this your work?

5 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

See the researcher in context

Building this map preview

Dona Strauss

Research overview

Is this your work?

5 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

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$