arXiv subjects

Luke Pebody

Publications and source records attributed to Luke Pebody.

10 recordsLinked to original sources

arXiv2026

The Dilate Rollercoaster

Given a finite subset $A\subseteq\mathbb{Z}$ and a multiset of non-zero integers $Λ=\{λ_1, \ldots, λ_k\}$, the dilate sum \[Λ\cdot A:=λ_1\cdot A+λ_2\cdot A+\cdots+λ_k\cdot A =\{λ_1a_1+\cdots+λ_ka_k: a_1, \ldots, a_k\in A\}.\] For a non-zero real number $r$, say that $Λ_2$ $r$-dominates $Λ_1$ if we can partition some of the elements of $Λ_2$ into blocks summing to the elements of $r\cdotΛ_1$. Then for all finite subsets $A\subseteq\mathbb{Z}$, $Λ_2\cdot A$ contains a translate of $r\cdot(Λ_1\cdot A)$, and hence $|Λ_1\cdot A|\le|Λ_2\cdot A|$ for all $A$. In a recent paper, Kravitz (arXiv:2606.27087) proves the converse: if $Λ_2$ does not $r$-dominate $Λ_1$ for any $r$, then there exists a finite set $A$ satisfying $|Λ_1\cdot A|>|Λ_2\cdot A|$. For example, $\{2, 3, 5, 7\}$ does not contain two disjoint subsets with a sum ratio of 7, and so there exists a finite $A\subseteq\mathbb{Z}$ for which $|A+7\cdot A|>|2\cdot A+3\cdot A+5\cdot A+7\cdot A|$. We extend Kravitz's method to apply it to multiple inequalities and multiple sets, showing that for multisets $Λ_{i,j}$ with $1\le i\le k$ and $1\le j\le\ell$, there exist finite sets $A_1, \ldots, A_\ell\subseteq\mathbb{Z}$ such that for all $1\le i |Λ_{i+1,1}\cdot A_1+\cdots+Λ_{i+1,\ell}\cdot A_\ell|\] provided there do not exist indices $1\le i_1<i_2\le k$ and a non-zero scalar $r$ such that $Λ_{i_2,j}$ $r$-dominates $Λ_{i_1,j}$ for all $1\le j\le\ell$. Along the way, we resolve the analogue of Nathanson's Problem 1 for his Theorem 4 (arXiv:1604.08940), as well as the problems in Section 1.4.3 of Kravitz's paper.

math.CO↗

arXiv2024

Sums, Differences and Dilates

Given a set of integers $A$ and an integer $k$, write $A+k\cdot A$ for the set $\{a+kb:a\in A,b\in A\}$. Hanson and Petridis showed that if $|A+A|\le K|A|$ then $|A+2\cdot A|\le K^{2.95}|A|$. At a presentation of this result, Petridis stated that the highest known value for $\frac{\log(|A+2\cdot A|/|A|)}{\log(|A+A|/|A|)}$ (bounded above by 2.95) was $\frac{\log 4}{\log 3}$. We show that, for all $ε>0$, there exist $A$ and $K$ with $|A+A|\le K|A|$ but with $|A+2\cdot A|\ge K^{2-ε}|A|$. Further, we analyse a method of Ruzsa, and generalise it to give continuous analogues of the sizes of sumsets, differences and dilates. We apply this method to a construction of Hennecart, Robert and Yudin to prove that, for all $ε>0$, there exists a set $A$ with $|A-A|\ge |A|^{2-ε}$ but with $|A+A|<|A|^{1.7354+ε}$. The second author would like to thank E. Papavassilopoulos for useful discussions about how to improve the efficiency of his computer searches.

math.CO↗

arXiv2024

Nordhaus-Gaddum inequalities for the number of cliques in a graph

Nordhaus and Gaddum proved sharp upper and lower bounds on the sum and product of the chromatic number of a graph and its complement. Over the years, similar inequalities have been shown for a plenitude of different graph invariants. In this paper, we consider such inequalities for the number of cliques (complete subgraphs) in a graph $G$, denoted $k(G)$. We note that some such inequalities have been well-studied, e.g., lower bounds on $k(G)+k(\overline{G})=k(G)+i(G)$, where $i(G)$ is the number of independent subsets of $G$, has been come to be known as the study of Ramsey multiplicity. We give a history of such problems. One could consider fixed sized versions of these problems as well. We also investigate multicolor versions of these problems, meaning we $r$-color the edges of $K_n$ yielding graphs $G_1,G_2,\ldots,G_r$ and give bounds on $\sum k(G_i)$ and $\prod k(G_i)$.

math.CO↗

arXiv2024

Admissable sets do not exist for all parameters

A cap set in $\mathbb{F}_3^n$ is a subset that contains no three elements adding to 0. Building on a construction of Edel, a recent paper of Tyrrell gave the first improvement to the lower bound for a size of a cap set in two decades showing that, for large enough $n$, there is always a cap set in $\mathbb{F}_3^n$ of size at least $2.218^n$. This was shown by constructing what is called an $I(11,7)$ admissible set. An admissible set is a subset of $\{0,1,2\}^m$ such that the supports of the vectors form an antichain with respect to inclusion and each triple of vectors has some coordinate where either exactly one of them is non-zero or exactly two are and they have different values. Such an admissible set is said to be $I(m,w)$ if it is of size $\binom mw$ and all of the vectors have exactly $w$ non-zero elements. In Tyrrell's paper they conjectured that $I(m,w)$ admissible set exists for all parameters. We resolve this conjecture by showing that there exists an $N$ such that an $I(N,4)$ admissible set does not exist. We refer to the type of a vector in $\{0,1,2\}^m$ is the ordered sequence of its non-zero coefficients. The vectors of type $12$ form an $I(m,2)$ admissible set and the vectors of type $121$ form an $I(m,3)$ admissible set (as can be easily checked by an interested reader). Sadly it is quite easily proved that there is no $I(6,4)$ admissible set where all vectors are of the same type. It follows by Ramsey's Theorem applied to 4-regular hypergraphs that there exists an $N$ such that an $I(N,4)$ admissible set does not exist. A similar argument shows that there exists an $N'$ such that an $I(N',N'-2)$ admissible set does not exist. Since we can construct an $I(m-1,w)$ and an $I(m-1,w-1)$ admissible set from an $I(m,w)$ admissible set, it follows that there are only finitely many $I(m,w)$ admissible sets exist other than the known forms.

math.CO↗

arXiv2023

Minimum degrees of finite rectangular bands, null semigroups, and variants of full transformation semigroups

For a positive integer $n$, the full transformation semigroup $T_n$ consists of all self maps of the set $\{1,\ldots,n\}$ under composition. Any finite semigroup $S$ embeds in some $T_n$, and the least such $n$ is called the (minimum transformation) degree of $S$ and denoted $μ(S)$. We find degrees for various classes of finite semigroups, including rectangular bands, rectangular groups and null semigroups. The formulae we give involve natural parameters associated to integer compositions. Our results on rectangular bands answer a question of Easdown from 1992, and our approach utilises some results of independent interest concerning partitions/colourings of hypergraphs. As an application, we prove some results on the degree of a variant $T_n^a$. (The variant $S^a=(S,\star)$ of a semigroup $S$, with respect to a fixed element $a\in S$, has underlying set $S$ and operation $x\star y=xay$.) It has been previously shown that $n\leq μ(T_n^a)\leq 2n-r$ if the sandwich element $a$ has rank $r$, and the upper bound of $2n-r$ is known to be sharp if $r\geq n-1$. Here we show that $μ(T_n^a)=2n-r$ for $r\geq n-6$. In stark contrast to this, when $r=1$, and the above inequality says $n\leqμ(T_n^a)\leq 2n-1$, we show that $μ(T_n^a)/n\to1$ and $μ(T_n^a)-n\to\infty$ as $n\to\infty$. Among other results, we also classify the $3$-nilpotent subsemigroups of $T_n$, and calculate the maximum size of such a subsemigroup.

math.CO↗

arXiv2023

On Tribonacci Sequences

Let a tribonacci sequence be a sequence of integers satisfying $a_k=a_{k-1}+a_{k-2}+a_{k-3}$ for all $k\ge 4$. For any positive integers $k$ and $n$, denote by $f_k(n)$ the number of tribonacci sequences with $a_1, a_2, a_3>0$ and with $a_k=n$. For all $n$, there is a maximum $k$ such that $f_k(n)$ is non-zero. Answering a question of Spiro \cite{Spiro}, we show that there is a finite upper bound (we specifically prove 561001) on $f_k(n)$ for any positive integer $n\ge 3$ and this maximum $k$. We do this by showing that $f_k(n)$ has transitions in $n$ around constant multiples of $ϕ^{3k/2}$ (where $ϕ$ is the real root of $ϕ^3=ϕ^2+ϕ+1$): there exists a constant $C$ such that $f_k(n)>0$ whenever $n>Cϕ^{3k/2}$ and for any constant $T$, the values of $f_k(n)$ with $n<Tϕ^{3k/2}$ have an upper bound independent of $k$.

math.NT↗

arXiv2022

Extension of a Method of Gilmer

It is a well-known conjecture, sometimes attributed to Frankl, that for any family of sets which is closed under the union operation, there is some element which is contained in at least half of the sets. Gilmer was the first to prove a constant bound, showing that there is some element contained in at least 1\% of the sets. They state in their paper that the best possible bound achievable by the same method is $\frac{3-\sqrt5}2\approx 38.1\%$. This note achieves that bound by finding the optimum value, given a binary variable $X$ potentially depending on some other variable $S$ with a given expected value $E(X)$ and conditional entropy $H(X|S)$ of the conditional entropy of $H(X_1\cup X_2|S_1,S_2)$ for independent readings $X_1, S_1$ and $X_2,S_2$.

math.CO↗

arXiv2018

Proof of a Conjecture of Kleinberg-Sawin-Speyer

In Ellenberg and Gijswijt's groundbreaking work, the authors show that a subset of $\mathbb{Z}_3^{n}$ with no arithmetic progression of length 3 must be of size at most $2.755^n$ (no prior upper bound was known of $(3-ε)^n)$), and provide for any prime $p$ a value $λ_p 0$, such sets of size $e^{(μ_p-ε) n}$ exist for all sufficiently large $n$. The value of $μ_p$ was left open, but a conjecture was stated which would imply that $e^{μ_p}=λ_p$, i.e. the Ellenberg-Gijswijt bound is correct for the sum-free set problem. The purpose of this note is to close that gap. The conjecture of Kleinberg, Sawin and Speyer is true, and the Ellenberg-Gijswijt bound is the correct exponent for the sum-free set problem.

math.CO↗

arXiv2017

Set Reconstruction on the Hypercube

Given an action of a group $G$ on a set $S$, the $k$-deck of a subset $T$ of $S$ is the multiset of all subsets of $T$ of size $k$, each given up to translation by $G$. For a given subset $T$, the {\em reconstruction number} of $T$ is the minimum $k$ such that the $k$-deck uniquely identifies $T$ up to translation by $G$, and the {\em reconstruction number} of the action $G:S$ is the maximum reconstruction number of any subset of $S$. The concept of reconstruction number extends naturally to multisubsets $T$ of $S$ and in~\cite{CPC:257539}, the author calculated the multiset-reconstruction number of all finite abelian groups. In particular, it was shown that the multiset-reconstruction number of $\mathbb{Z}_2^n$ was $n+1$. This provides an upper bound of $n+1$ to the reconstruction number of $\mathbb{Z}_2^n$. The author also showed a lower bound of $\lfloor{\frac{n+1}2}\rfloor$ in the same paper. The purpose of this note is to close the gap. The reconstruction number of $\mathbb{Z}_2^n$ is $\lfloor{n+1-\log_2(n+1-\log_2(n))}\rfloor.$

math.CO↗

arXiv2014

Maximal-clique partitions and the Roller Coaster Conjecture

A graph $G$ is {\em well-covered} if every maximal independent set has the same cardinality $q$. Let $i_k(G)$ denote the number of independent sets of cardinality $k$ in $G$. Brown, Dilcher, and Nowakowski conjectured that the independence sequence $(i_0(G), i_1(G), \ldots, i_q(G))$ was unimodal for any well-ordered graph $G$ with independence number $q$. Michael and Traves disproved this conjecture. Instead they posited the so-called ``Roller Coaster" Conjecture: that the terms \[ i_{\left\lceil\frac{q}2\right\rceil}(G), i_{\left\lceil\frac{q}2\right\rceil+1}(G), \ldots, i_q(G) \] could be in any specified order for some well-covered graph $G$ with independence number $q$. Michael and Traves proved the conjecture for $q<8$ and Matchett extended this to $q<12$. In this paper, we prove the Roller Coaster Conjecture using a construction of graphs with a property related to that of having a maximal-clique partition. In particular, we show, for all pairs of integers $1\le k<q$ and positive integers $m$, that there is a well-covered graph $G$ with independence number $q$ for which every independent set of size $k+1$ is contained in a unique maximal independent set, but each independent set of size $k$ is contained in at least $m$ distinct independent sets.

math.CO↗