-
Some New Results on Monochromatic Sums and Products in the Rationals
Authors:
Neil Hindman,
Maria-Romina Ivan,
Imre Leader
Abstract:
Our aim in this paper is to show that, for any $k$, there is a finite colouring of the set of rationals whose denominators contain only the first $k$ primes such that no infinite set has all of its finite sums and products monochromatic. We actually prove a `uniform' form of this: there is a finite colouring of the rationals with the property that no infinite set whose denominators contain only fi…
▽ More
Our aim in this paper is to show that, for any $k$, there is a finite colouring of the set of rationals whose denominators contain only the first $k$ primes such that no infinite set has all of its finite sums and products monochromatic. We actually prove a `uniform' form of this: there is a finite colouring of the rationals with the property that no infinite set whose denominators contain only finitely many primes has all of its finite sums and products monochromatic. We also give various other results, including a new short proof of the old result that there is a finite colouring of the naturals such that no infinite set has all of its pairwise sums and products monochromatic.
△ Less
Submitted 7 March, 2023; v1 submitted 14 October, 2022;
originally announced October 2022.
-
Impermanent Loss in Uniswap v3
Authors:
Stefan Loesch,
Nate Hindman,
Mark B Richardson,
Nicholas Welch
Abstract:
AMMs are autonomous smart contracts deployed on a blockchain that make markets between different assets that live on that chain. In this paper we are examining a specific class of AMMs called Constant Function Market Makers whose trading profile, ignoring fees, is determined by their bonding curve. This class of AMM suffers from what is commonly referred to as Impermanent Loss, which we have previ…
▽ More
AMMs are autonomous smart contracts deployed on a blockchain that make markets between different assets that live on that chain. In this paper we are examining a specific class of AMMs called Constant Function Market Makers whose trading profile, ignoring fees, is determined by their bonding curve. This class of AMM suffers from what is commonly referred to as Impermanent Loss, which we have previously identified as the Gamma component of the associated self-financing trading strategy and which is the risk that LP providers wager against potential fee earnings.
The recent Uniswap v3 release has popularized the concept of leveraged liquidity provision - wherein the trading range in which liquidity is provided is reduced and achieves a higher degree of capital efficiency through elimination of unused collateral. This leverage increases the fees earned, but it also increases the risk taken, ie the IL. Fee levels on Uniswap v3 are well publicized so, in this paper, we focus on calculating the IL.
We found that for the 17 pools we analyzed, covering 43% of TVL and chosen by size, composite tokens and data availability, total fees earned since inception until the cut-off date was $199.3m. We also found that the total IL suffered by LPs during this period was USD 260.1m, meaning that in aggregate those LPs would have been better off by USD 60.8m had they simply HODLd.
△ Less
Submitted 17 November, 2021;
originally announced November 2021.
-
Combining extensions of the Hales-Jewett\\ Theorem with Ramsey Theory\\ in other structures
Authors:
Neil Hindman,
Dona Strauss,
Luca Q. Zamboni
Abstract:
The Hales-Jewett Theorem states that given any finite nonempty set $\A$ and any finite coloring of the free semigroup $S$ over the alphabet $\A$ there is a {\it variable word\/} over $\A$ all of whose instances are the same color. This theorem has some extensions involving several distinct variables occurring in the variable word. We show that, when combined with a sufficiently well behaved homomo…
▽ More
The Hales-Jewett Theorem states that given any finite nonempty set $\A$ and any finite coloring of the free semigroup $S$ over the alphabet $\A$ there is a {\it variable word\/} over $\A$ all of whose instances are the same color. This theorem has some extensions involving several distinct variables occurring in the variable word. We show that, when combined with a sufficiently well behaved homomorphism, the relevant variable word simultaneously satisfies a Ramsey-Theoretic conclusion in the other structure. As an example we show that if $τ$ is the homomorphism from the set of variable words into the natural numbers which associates to each variable word $w$ the number of occurrences of the variable in $w$, then given any finite coloring of $S$ and any infinite sequence of natural numbers, there is a variable word $w$ whose instances are monochromatic and $τ(w)$ is a sum of distinct members of the given sequence.
Our methods rely on the algebraic structure of the Stone-\v Cech compactification of $S$ and the other semigroups that we consider. We show for example that if $τ$ is as in the paragraph above, there is a compact subsemigroup $P$ of $β\ben$ which contains all of the idempotents of $β\ben$ such that, given any $p\in P$, any $A\in p$, and any finite coloring of $S$, there is a variable word $w$ whose instances are monochromatic and $τ(w)\in A$.
We end with a new short algebraic proof of an infinitary extension of the Graham-Rothschild Parameter Sets Theorem.
△ Less
Submitted 4 July, 2018;
originally announced July 2018.
-
Factoring a minimal ultrafilter into a thick part and a syndetic part
Authors:
Will Brian,
Neil Hindman
Abstract:
Let $S$ be an infinite discrete semigroup. The operation on $S$ extends uniquely to the Stone-Čech compactification $βS$ making $βS$ a compact right topological semigroup with $S$ contained in its topological center. As such, $βS$ has a smallest two sided ideal, $K(βS)$. An ultrafilter $p$ on $S$ is \emph{minimal} if and only if $p \in K(βS)$.
We show that any minimal ultrafilter $p$ factors int…
▽ More
Let $S$ be an infinite discrete semigroup. The operation on $S$ extends uniquely to the Stone-Čech compactification $βS$ making $βS$ a compact right topological semigroup with $S$ contained in its topological center. As such, $βS$ has a smallest two sided ideal, $K(βS)$. An ultrafilter $p$ on $S$ is \emph{minimal} if and only if $p \in K(βS)$.
We show that any minimal ultrafilter $p$ factors into a thick part and a syndetic part. That is, there exist filters $\mathcal F$ and $\mathcal G$ such that $\mathcal F$ consists only of thick sets, $\mathcal G$ consists only of syndetic sets, and $p$ is the unique ultrafilter containing $\mathcal F \cup \mathcal G$.
Letting $L = \widehat{\mathcal F}$ and $C = \widehat{\mathcal G}$, the sets of ultrafilters containing $\mathcal F$ and $\mathcal G$ respectively, we have that $L$ is a minimal left ideal of $βS$, $C$ meets every minimal left ideal of $βS$ in exactly one point, and $L \cap C = \{p\}$. We show further that $K(βS)$ can be partitioned into relatively closed sets, each of which meets each minimal left ideal in exactly one point.
With some weak cancellation assumptions on $S$, one has also that for each minimal ultrafilter $p$, $S^* \setminus \{p\}$ is not normal. In particular, if $p$ is a member of either of the disjoint sets $K(β\mathbb N , +)$ or $K(β\mathbb N , \cdot)$, then $\mathbb N^* \setminus \{p\}$ is not normal.
△ Less
Submitted 17 May, 2018;
originally announced May 2018.
-
Duality for image and kernel partition regularity of infinite matrices
Authors:
Neil Hindman,
Imre Leader,
Dona Strauss
Abstract:
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…
▽ More
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.
△ Less
Submitted 11 September, 2016;
originally announced September 2016.
-
Recurrence in the dynamical system $(X,\langle T_s\rangle_{s\in S})$ and ideals of $βS$
Authors:
Neil Hindman,
Dona Strauss,
Luca Q. Zamboni
Abstract:
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$,…
▽ More
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$.
△ Less
Submitted 19 August, 2016;
originally announced August 2016.
-
Pairwise sums in colourings of the reals
Authors:
Neil Hindman,
Imre Leader,
Dona Strauss
Abstract:
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) monochr…
▽ More
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.
△ Less
Submitted 11 May, 2015;
originally announced May 2015.
-
Maximality of Infinite Partition Regular Matrices
Authors:
Neil Hindman,
Imre Leader,
Dona Strauss
Abstract:
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.…
▽ More
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.
△ Less
Submitted 11 August, 2014;
originally announced August 2014.
-
Distinguishing subgroups of the rationals by their Ramsey properties
Authors:
Ben Barber,
Neil Hindman,
Imre Leader,
Dona Strauss
Abstract:
A system of linear equations with integer coefficients is partition regular over a subset S of the reals if, whenever S\{0} is finitely coloured, there is a solution to the system contained in one colour class. It has been known for some time that there is an infinite system of linear equations that is partition regular over R but not over Q, and it was recently shown (answering a long-standing op…
▽ More
A system of linear equations with integer coefficients is partition regular over a subset S of the reals if, whenever S\{0} is finitely coloured, there is a solution to the system contained in one colour class. It has been known for some time that there is an infinite system of linear equations that is partition regular over R but not over Q, and it was recently shown (answering a long-standing open question) that one can also distinguish Q from Z in this way.
Our aim is to show that the transition from Z to Q is not sharp: there is an infinite chain of subgroups of Q, each of which has a system that is partition regular over it but not over its predecessors. We actually prove something stronger: our main result is that if R and S are subrings of Q with R not contained in S, then there is a system that is partition regular over R but not over S. This implies, for example, that the chain above may be taken to be uncountable.
△ Less
Submitted 2 May, 2014;
originally announced May 2014.
-
Partition regularity without the columns property
Authors:
Ben Barber,
Neil Hindman,
Imre Leader,
Dona Strauss
Abstract:
A finite or infinite matrix A with rational entries is called partition regular if whenever the natural numbers are finitely coloured there is a monochromatic vector x with Ax=0. Many of the classical theorems of Ramsey Theory may naturally be interpreted as assertions that particular matrices are partition regular. In the finite case, Rado proved that a matrix is partition regular if and only it…
▽ More
A finite or infinite matrix A with rational entries is called partition regular if whenever the natural numbers are finitely coloured there is a monochromatic vector x with Ax=0. Many of the classical theorems of Ramsey Theory may naturally be interpreted as assertions that particular matrices are partition regular. In the finite case, Rado proved that a matrix is partition regular if and only it satisfies a computable condition known as the columns property. The first requirement of the columns property is that some set of columns sums to zero.
In the infinite case, much less is known. There are many examples of matrices with the columns property that are not partition regular, but until now all known examples of partition regular matrices did have the columns property. Our main aim in this paper is to show that, perhaps surprisingly, there are infinite partition regular matrices without the columns property --- in fact, having no set of columns summing to zero.
We also make a conjecture that if a partition regular matrix (say with integer coefficients) has bounded row sums then it must have the columns property, and prove a first step towards this.
△ Less
Submitted 7 January, 2014;
originally announced January 2014.
-
Multiply partition regular matrices
Authors:
Dennis Davenport,
Neil Hindman,
Imre Leader,
Dona Strauss
Abstract:
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?
M…
▽ More
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.
△ Less
Submitted 3 June, 2013;
originally announced June 2013.
-
On additive properties of sets defined by the Thue-Morse word
Authors:
Michelangelo Bucci,
Neil Hindman,
Svetlana Puzynina,
Luca Q. Zamboni
Abstract:
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…
▽ More
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.
△ Less
Submitted 2 March, 2013; v1 submitted 22 January, 2013;
originally announced January 2013.
-
Partition regularity in the rationals
Authors:
Ben Barber,
Neil Hindman,
Imre Leader
Abstract:
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 F…
▽ More
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.
△ Less
Submitted 19 December, 2013; v1 submitted 29 December, 2012;
originally announced December 2012.