-
Corners with polynomial side length
Authors:
Noah Kravitz,
Borys Kuca,
James Leng
Abstract:
A $P$-polynomial corner, for $P \in \mathbb{Z}[z]$ a polynomial, is a triple of points $(x,y),\; (x+P(z),y),\; (x,y+P(z))$ for $x,y,z \in \mathbb{Z}$. In the case where $P$ has an integer root of multiplicity $1$, we show that if $A \subseteq [N]^2$ does not contain any nontrivial $P$-polynomial corners, then $$|A| \ll_P \frac{N^2}{(\log\log\log N)^c}$$ for some absolute constant $c>0$. This simul…
▽ More
A $P$-polynomial corner, for $P \in \mathbb{Z}[z]$ a polynomial, is a triple of points $(x,y),\; (x+P(z),y),\; (x,y+P(z))$ for $x,y,z \in \mathbb{Z}$. In the case where $P$ has an integer root of multiplicity $1$, we show that if $A \subseteq [N]^2$ does not contain any nontrivial $P$-polynomial corners, then $$|A| \ll_P \frac{N^2}{(\log\log\log N)^c}$$ for some absolute constant $c>0$. This simultaneously generalizes a result of Shkredov about corner-free sets and a recent result of Peluse, Sah, and Sawhney about sets without $3$-term arithmetic progressions of common difference $z^2-1$. The main ingredients in our proof are a multidimensional quantitative concatenation result from our companion paper \cite{KKL24a} and a novel degree-lowering argument for box norms.
△ Less
Submitted 11 July, 2024;
originally announced July 2024.
-
Quantitative concatenation for polynomial box norms
Authors:
Noah Kravitz,
Borys Kuca,
James Leng
Abstract:
We prove PET and quantitative concatenation results for general multidimensional polynomial progressions, with at most polynomial losses in the parameters. In the companion paper \cite{KKL24b}, we use these estimates to obtain an explicit upper bound on the size of a set in $[N]^2$ lacking nondegenerate progressions of the form $(x, y), (x + P(z), y), (x, y + P(z))$, where $P \in \mathbb{Z}[z]$ is…
▽ More
We prove PET and quantitative concatenation results for general multidimensional polynomial progressions, with at most polynomial losses in the parameters. In the companion paper \cite{KKL24b}, we use these estimates to obtain an explicit upper bound on the size of a set in $[N]^2$ lacking nondegenerate progressions of the form $(x, y), (x + P(z), y), (x, y + P(z))$, where $P \in \mathbb{Z}[z]$ is any fixed polynomial with an integer root of multiplicity 1.
△ Less
Submitted 11 July, 2024;
originally announced July 2024.
-
Rearranging small sets for distinct partial sums
Authors:
Noah Kravitz
Abstract:
A conjecture of Graham (repeated by Erdős) asserts that for any set $A \subseteq \mathbb{F}_p \setminus \{0\}$, there is an ordering $a_1, \ldots, a_{|A|}$ of the elements of $A$ such that the partial sums $a_1, a_1+a_2, \ldots, a_1+a_2+\cdots+a_{|A|}$ are all distinct. We give a very short proof of this conjecture for sets $A$ of size at most $\log p/\log\log p$.
A conjecture of Graham (repeated by Erdős) asserts that for any set $A \subseteq \mathbb{F}_p \setminus \{0\}$, there is an ordering $a_1, \ldots, a_{|A|}$ of the elements of $A$ such that the partial sums $a_1, a_1+a_2, \ldots, a_1+a_2+\cdots+a_{|A|}$ are all distinct. We give a very short proof of this conjecture for sets $A$ of size at most $\log p/\log\log p$.
△ Less
Submitted 1 July, 2024;
originally announced July 2024.
-
Rainbow Stackings of Random Edge-Colorings
Authors:
Noga Alon,
Colin Defant,
Noah Kravitz
Abstract:
A rainbow stacking of $r$-edge-colorings $χ_1, \ldots, χ_m$ of the complete graph on $n$ vertices is a way of superimposing $χ_1, \ldots, χ_m$ so that no edges of the same color are superimposed on each other. We determine a sharp threshold for $r$ (as a function of $m$ and $n$) governing the existence and nonexistence of rainbow stackings of random $r$-edge-colorings $χ_1,\ldots,χ_m$.
A rainbow stacking of $r$-edge-colorings $χ_1, \ldots, χ_m$ of the complete graph on $n$ vertices is a way of superimposing $χ_1, \ldots, χ_m$ so that no edges of the same color are superimposed on each other. We determine a sharp threshold for $r$ (as a function of $m$ and $n$) governing the existence and nonexistence of rainbow stackings of random $r$-edge-colorings $χ_1,\ldots,χ_m$.
△ Less
Submitted 23 May, 2024;
originally announced May 2024.
-
Bender--Knuth Billiards in Coxeter Groups
Authors:
Grant Barkley,
Colin Defant,
Eliot Hodges,
Noah Kravitz,
Mitchell Lee
Abstract:
Let $(W,S)$ be a Coxeter system, and write $S=\{s_i:i\in I\}$, where $I$ is a finite index set. Fix a nonempty convex subset $\mathscr{L}$ of $W$. If $W$ is of type $A$, then $\mathscr{L}$ is the set of linear extensions of a poset, and there are important Bender--Knuth involutions $\mathrm{BK}_i\colon\mathscr{L}\to\mathscr{L}$ indexed by elements of $I$. For arbitrary $W$ and for each $i\in I$, w…
▽ More
Let $(W,S)$ be a Coxeter system, and write $S=\{s_i:i\in I\}$, where $I$ is a finite index set. Fix a nonempty convex subset $\mathscr{L}$ of $W$. If $W$ is of type $A$, then $\mathscr{L}$ is the set of linear extensions of a poset, and there are important Bender--Knuth involutions $\mathrm{BK}_i\colon\mathscr{L}\to\mathscr{L}$ indexed by elements of $I$. For arbitrary $W$ and for each $i\in I$, we introduce an operator $τ_i\colon W\to W$ (depending on $\mathscr{L}$) that we call a noninvertible Bender--Knuth toggle; this operator restricts to an involution on $\mathscr{L}$ that coincides with $\mathrm{BK}_i$ in type $A$. Given a Coxeter element $c=s_{i_n}\cdots s_{i_1}$, we consider the operator $\mathrm{Pro}_c=τ_{i_n}\cdotsτ_{i_1}$. We say $W$ is futuristic if for every nonempty finite convex set $\mathscr{L}$, every Coxeter element $c$, and every $u\in W$, there exists an integer $K\geq 0$ such that $\mathrm{Pro}_c^K(u)\in\mathscr{L}$. We prove that finite Coxeter groups, right-angled Coxeter groups, rank-3 Coxeter groups, affine Coxeter groups of types $\widetilde A$ and $\widetilde C$, and Coxeter groups whose Coxeter graphs are complete are all futuristic. When $W$ is finite, we actually prove that if $s_{i_N}\cdots s_{i_1}$ is a reduced expression for the long element of $W$, then $τ_{i_N}\cdotsτ_{i_1}(W)=\mathscr{L}$; this allows us to determine the smallest integer $\mathrm{M}(c)$ such that $\mathrm{Pro}_c^{\mathrm{M}(c)}(W)=\mathscr{L}$ for all $\mathscr{L}$. We also exhibit infinitely many non-futuristic Coxeter groups, including all irreducible affine Coxeter groups that are not of type $\widetilde A$, $\widetilde C$, or $\widetilde G_2$.
△ Less
Submitted 27 February, 2024; v1 submitted 30 January, 2024;
originally announced January 2024.
-
Ordering Candidates via Vantage Points
Authors:
Noga Alon,
Colin Defant,
Noah Kravitz,
Daniel G. Zhu
Abstract:
Given an $n$-element set $C\subseteq\mathbb{R}^d$ and a (sufficiently generic) $k$-element multiset $V\subseteq\mathbb{R}^d$, we can order the points in $C$ by ranking each point $c\in C$ according to the sum of the distances from $c$ to the points of $V$. Let $Ψ_k(C)$ denote the set of orderings of $C$ that can be obtained in this manner as $V$ varies, and let $ψ^{\mathrm{max}}_{d,k}(n)$ be the m…
▽ More
Given an $n$-element set $C\subseteq\mathbb{R}^d$ and a (sufficiently generic) $k$-element multiset $V\subseteq\mathbb{R}^d$, we can order the points in $C$ by ranking each point $c\in C$ according to the sum of the distances from $c$ to the points of $V$. Let $Ψ_k(C)$ denote the set of orderings of $C$ that can be obtained in this manner as $V$ varies, and let $ψ^{\mathrm{max}}_{d,k}(n)$ be the maximum of $\lvertΨ_k(C)\rvert$ as $C$ ranges over all $n$-element subsets of $\mathbb{R}^d$. We prove that $ψ^{\mathrm{max}}_{d,k}(n)=Θ_{d,k}(n^{2dk})$ when $d \geq 2$ and that $ψ^{\mathrm{max}}_{1,k}(n)=Θ_k(n^{4\lceil k/2\rceil -1})$. As a step toward proving this result, we establish a bound on the number of sign patterns determined by a collection of functions that are sums of radicals of nonnegative polynomials; this can be understood as an analogue of a classical theorem of Warren. We also prove several results about the set $Ψ(C)=\bigcup_{k\geq 1}Ψ_k(C)$; this includes an exact description of $Ψ(C)$ when $d=1$ and when $C$ is the set of vertices of a vertex-transitive polytope.
△ Less
Submitted 9 August, 2023;
originally announced August 2023.
-
Hermite--Hadamard inequalities for nearly-spherical domains
Authors:
Noah Kravitz,
Mitchell Lee
Abstract:
A conjecture of Pasteczka, generalizing the classical Hermite--Hadamard Inequality, states that if $Ω\subseteq \mathbb{R}^d$ is a compact convex domain such that $Ω$ and $\partial Ω$ have the same center of mass, then for every convex function $f: Ω\to \mathbb{R}^d$, the average value of $f$ on $Ω$ is less than or equal to the average value of $f$ on $\partial Ω$. Pasteczka proved this conjecture…
▽ More
A conjecture of Pasteczka, generalizing the classical Hermite--Hadamard Inequality, states that if $Ω\subseteq \mathbb{R}^d$ is a compact convex domain such that $Ω$ and $\partial Ω$ have the same center of mass, then for every convex function $f: Ω\to \mathbb{R}^d$, the average value of $f$ on $Ω$ is less than or equal to the average value of $f$ on $\partial Ω$. Pasteczka proved this conjecture for the case where $Ω$ is a polytope with an inscribed ball. We generalize this result by proving Pasteczka's conjecture in the case where some point lies at most $(d+1)|Ω|/|\partial Ω|$ away from all hyperplanes tangent to $\partial Ω$.
△ Less
Submitted 22 August, 2023; v1 submitted 11 July, 2023;
originally announced July 2023.
-
Reconstructing a set from its subset sums: $2$-torsion-free groups
Authors:
Federico Glaudo,
Noah Kravitz
Abstract:
For a finite multiset $A$ of an abelian group $G$, let $\text{FS}(A)$ denote the multiset of the $2^{|A|}$ subset sums of $A$. It is natural to ask to what extent $A$ can be reconstructed from $\text{FS}(A)$. We fully solve this problem for $2$-torsion-free groups $G$ by giving characterizations, both algebraic and combinatorial, of the fibers of $\text{FS}$. Equivalently, we characterize all pair…
▽ More
For a finite multiset $A$ of an abelian group $G$, let $\text{FS}(A)$ denote the multiset of the $2^{|A|}$ subset sums of $A$. It is natural to ask to what extent $A$ can be reconstructed from $\text{FS}(A)$. We fully solve this problem for $2$-torsion-free groups $G$ by giving characterizations, both algebraic and combinatorial, of the fibers of $\text{FS}$. Equivalently, we characterize all pairs of multisets $A,B$ with $\text{FS}(A)=\text{FS}(B)$. Our results build on recent work of Ciprietti and the first author.
△ Less
Submitted 18 May, 2023;
originally announced May 2023.
-
The structure of Lonely Runner spectra
Authors:
Vikram Giri,
Noah Kravitz
Abstract:
For each subtorus $T$ of $(\mathbb{R}/\mathbb{Z})^n$, let $D(T)$ denote the (infimal) $L^\infty$-distance from $T$ to the point $(1/2,\ldots, 1/2)$. The $n$-th Lonely Runner spectrum $\mathcal{S}(n)$ is defined to be the set of all values achieved by $D(T)$ as $T$ ranges over the $1$-dimensional subtori of $(\mathbb{R}/\mathbb{Z})^n$ that are not contained in the coordinate hyperplanes. The Lonely…
▽ More
For each subtorus $T$ of $(\mathbb{R}/\mathbb{Z})^n$, let $D(T)$ denote the (infimal) $L^\infty$-distance from $T$ to the point $(1/2,\ldots, 1/2)$. The $n$-th Lonely Runner spectrum $\mathcal{S}(n)$ is defined to be the set of all values achieved by $D(T)$ as $T$ ranges over the $1$-dimensional subtori of $(\mathbb{R}/\mathbb{Z})^n$ that are not contained in the coordinate hyperplanes. The Lonely Runner Conjecture predicts that $\mathcal{S}(n) \subseteq [0,1/2-1/(n+1)]$. Rather than attack this conjecture, we study the structure of the sets $\mathcal{S}(n)$. The main purpose of this note is to show that the set of accumulation points of $\mathcal{S}(n)$ is precisely $\mathcal{S}(n-1)$.
△ Less
Submitted 9 December, 2023; v1 submitted 3 April, 2023;
originally announced April 2023.
-
The Ungar Games
Authors:
Colin Defant,
Noah Kravitz,
Nathan Williams
Abstract:
Let $L$ be a finite lattice. An Ungar move sends an element $x\in L$ to the meet of $\{x\}\cup T$, where $T$ is a subset of the set of elements covered by $x$. We introduce the following Ungar game. Starting at the top element of $L$, two players -- Atniss and Eeta -- take turns making nontrivial Ungar moves; the first player who cannot do so loses the game. Atniss plays first. We say $L$ is an At…
▽ More
Let $L$ be a finite lattice. An Ungar move sends an element $x\in L$ to the meet of $\{x\}\cup T$, where $T$ is a subset of the set of elements covered by $x$. We introduce the following Ungar game. Starting at the top element of $L$, two players -- Atniss and Eeta -- take turns making nontrivial Ungar moves; the first player who cannot do so loses the game. Atniss plays first. We say $L$ is an Atniss win (respectively, Eeta win) if Atniss (respectively, Eeta) has a winning strategy in the Ungar game on $L$. We first prove that the number of principal order ideals in the weak order on $S_n$ that are Eeta wins is $O(0.95586^nn!)$. We then consider a broad class of intervals in Young's lattice that includes all principal order ideals, and we characterize the Eeta wins in this class; we deduce precise enumerative results concerning order ideals in rectangles and type-$A$ root posets. We also characterize and enumerate principal order ideals in Tamari lattices that are Eeta wins. Finally, we conclude with some open problems and a short discussion of the computational complexity of Ungar games.
△ Less
Submitted 11 January, 2024; v1 submitted 13 February, 2023;
originally announced February 2023.
-
Cats in cubes
Authors:
Noga Alon,
Noah Kravitz
Abstract:
Answering a recent question of Patchell and Spiro, we show that when a $d$-dimensional cube of side length $n$ is filled with letters, the word $\mathsf{CAT}$ can appear contiguously at most $(3^{d-1}/2)n^d$ times (allowing diagonals); we also characterize when equality occurs and extend our results to words other than $\mathsf{CAT}$.
Answering a recent question of Patchell and Spiro, we show that when a $d$-dimensional cube of side length $n$ is filled with letters, the word $\mathsf{CAT}$ can appear contiguously at most $(3^{d-1}/2)n^d$ times (allowing diagonals); we also characterize when equality occurs and extend our results to words other than $\mathsf{CAT}$.
△ Less
Submitted 27 November, 2022;
originally announced November 2022.
-
Foot-Sorting for Socks
Authors:
Colin Defant,
Noah Kravitz
Abstract:
If your socks come out of the laundry all mixed up, how should you sort them? We introduce and study a novel foot-sorting algorithm that uses feet to attempt to sort a sock ordering; one can view this algorithm as an analogue of Knuth's stack-sorting algorithm for set partitions. The sock orderings that can be sorted using a fixed number of feet are characterized by Klazar's notion of set partitio…
▽ More
If your socks come out of the laundry all mixed up, how should you sort them? We introduce and study a novel foot-sorting algorithm that uses feet to attempt to sort a sock ordering; one can view this algorithm as an analogue of Knuth's stack-sorting algorithm for set partitions. The sock orderings that can be sorted using a fixed number of feet are characterized by Klazar's notion of set partition pattern containment. We give an enumeration involving Fibonacci numbers for the $1$-foot-sortable sock orderings within a naturally-arising class. We also prove that if you have socks of $n$ different colors, then you can always sort them using at most $\left\lceil\log_2(n)\right\rceil$ feet, and we use a Ramsey-theoretic argument to show that this bound is tight.
△ Less
Submitted 29 June, 2024; v1 submitted 3 November, 2022;
originally announced November 2022.
-
Logarithmically larger deletion codes of all distances
Authors:
Noga Alon,
Gabriela Bourla,
Ben Graham,
Xiaoyu He,
Noah Kravitz
Abstract:
The deletion distance between two binary words $u,v \in \{0,1\}^n$ is the smallest $k$ such that $u$ and $v$ share a common subsequence of length $n-k$. A set $C$ of binary words of length $n$ is called a $k$-deletion code if every pair of distinct words in $C$ has deletion distance greater than $k$. In 1965, Levenshtein initiated the study of deletion codes by showing that, for $k\ge 1$ fixed and…
▽ More
The deletion distance between two binary words $u,v \in \{0,1\}^n$ is the smallest $k$ such that $u$ and $v$ share a common subsequence of length $n-k$. A set $C$ of binary words of length $n$ is called a $k$-deletion code if every pair of distinct words in $C$ has deletion distance greater than $k$. In 1965, Levenshtein initiated the study of deletion codes by showing that, for $k\ge 1$ fixed and $n$ going to infinity, a $k$-deletion code $C\subseteq \{0,1\}^n$ of maximum size satisfies $Ω_k(2^n/n^{2k}) \leq |C| \leq O_k( 2^n/n^k)$. We make the first asymptotic improvement to these bounds by showing that there exist $k$-deletion codes with size at least $Ω_k(2^n \log n/n^{2k})$. Our proof is inspired by Jiang and Vardy's improvement to the classical Gilbert--Varshamov bounds. We also establish several related results on the number of longest common subsequences and shortest common supersequences of a pair of words with given length and deletion distance.
△ Less
Submitted 17 October, 2023; v1 submitted 23 September, 2022;
originally announced September 2022.
-
Extensions of Hitomezashi Patterns
Authors:
Colin Defant,
Noah Kravitz,
Bridget Eileen Tenner
Abstract:
Hitomezashi, a form of traditional Japanese embroidery, gives rise to intricate arrangements of axis-parallel unit-length stitches in the plane. Pete studied these patterns in the context of percolation theory, and the first two authors recently investigated additional structural properties of them. In this paper, we establish several optimization-style results on hitomezashi patterns and provide…
▽ More
Hitomezashi, a form of traditional Japanese embroidery, gives rise to intricate arrangements of axis-parallel unit-length stitches in the plane. Pete studied these patterns in the context of percolation theory, and the first two authors recently investigated additional structural properties of them. In this paper, we establish several optimization-style results on hitomezashi patterns and provide a complete classification of "long-stitch" hitomezashi patterns in which stitches have length greater than 1. We also study variants in which stitches can have directions not parallel to the coordinate axes.
△ Less
Submitted 31 May, 2023; v1 submitted 30 August, 2022;
originally announced August 2022.
-
Counting Dope Matrices
Authors:
Noga Alon,
Noah Kravitz,
Kevin O'Bryant
Abstract:
For a polynomial $P$ of degree $n$ and an $m$-tuple $Λ=(λ_1,\dots,λ_m)$ of distinct complex numbers, the dope matrix of $P$ with respect to $Λ$ is $D_P(Λ)=(δ_{ij})_{i\in [1,m],j\in[0,n]}$, where $δ_{ij}=1$ if $P^{(j)}(λ_i)=0$, and $δ_{ij}=0$ otherwise. Our first result is a combinatorial characterization of the $2$-row dope matrices (for all pairs $Λ$); using this characterization, we solve the as…
▽ More
For a polynomial $P$ of degree $n$ and an $m$-tuple $Λ=(λ_1,\dots,λ_m)$ of distinct complex numbers, the dope matrix of $P$ with respect to $Λ$ is $D_P(Λ)=(δ_{ij})_{i\in [1,m],j\in[0,n]}$, where $δ_{ij}=1$ if $P^{(j)}(λ_i)=0$, and $δ_{ij}=0$ otherwise. Our first result is a combinatorial characterization of the $2$-row dope matrices (for all pairs $Λ$); using this characterization, we solve the associated enumeration problem. We also give upper bounds on the number of $m\times(n+1)$ dope matrices, and we show that the number of $m \times (n+1)$ dope matrices for a fixed $m$-tuple $Λ$ is maximized when $Λ$ is generic. Finally, we resolve an ``extension'' problem of Nathanson and present several open problems.
△ Less
Submitted 10 December, 2022; v1 submitted 18 May, 2022;
originally announced May 2022.
-
Loops and Regions in Hitomezashi Patterns
Authors:
Colin Defant,
Noah Kravitz
Abstract:
Hitomezashi patterns, which originate from traditional Japanese embroidery, are intricate arrangements of unit-length line segments called stitches. The stitches connect to form hitomezashi strands and hitomezashi loops, which divide the plane into regions. We investigate the deeper mathematical properties of these patterns, which also feature prominently in the study of corner percolation. It was…
▽ More
Hitomezashi patterns, which originate from traditional Japanese embroidery, are intricate arrangements of unit-length line segments called stitches. The stitches connect to form hitomezashi strands and hitomezashi loops, which divide the plane into regions. We investigate the deeper mathematical properties of these patterns, which also feature prominently in the study of corner percolation. It was previously known that every loop in a hitomezashi pattern has odd width and odd height. We additionally prove that such a loop has length congruent to $4$ modulo $8$ and area congruent to $1$ modulo $4$. Although these results are simple to state, their proofs require us to understand the delicate topological and combinatorial properties of slicing operations that can be applied to hitomezashi patterns. We also show that the expected number of regions in a random $m\times n$ hitomezashi pattern (chosen according to a natural random model) is asymptotically $\left(\frac{π^2-9}{12}+o(1)\right)mn$.
△ Less
Submitted 29 June, 2022; v1 submitted 10 January, 2022;
originally announced January 2022.
-
The runsort permuton
Authors:
Noga Alon,
Colin Defant,
Noah Kravitz
Abstract:
Suppose we choose a permutation $π$ uniformly at random from $S_n$. Let $\mathsf{runsort}(π)$ be the permutation obtained by sorting the ascending runs of $π$ into lexicographic order. Alexandersson and Nabawanda recently asked if the plot of $\mathsf{runsort}(π)$, when scaled to the unit square $[0,1]^2$, converges to a limit shape as $n\to\infty$. We answer their question by showing that the mea…
▽ More
Suppose we choose a permutation $π$ uniformly at random from $S_n$. Let $\mathsf{runsort}(π)$ be the permutation obtained by sorting the ascending runs of $π$ into lexicographic order. Alexandersson and Nabawanda recently asked if the plot of $\mathsf{runsort}(π)$, when scaled to the unit square $[0,1]^2$, converges to a limit shape as $n\to\infty$. We answer their question by showing that the measures corresponding to the scaled plots of these permutations $\mathsf{runsort}(π)$ converge with probability $1$ to a permuton (limiting probability distribution) that we describe explicitly. In particular, the support of this permuton is $\{(x,y)\in[0,1]^2:x\leq ye^{1-y}\}$.
△ Less
Submitted 28 June, 2021;
originally announced June 2021.
-
Typical and Extremal Aspects of Friends-and-Strangers Graphs
Authors:
Noga Alon,
Colin Defant,
Noah Kravitz
Abstract:
Given graphs $X$ and $Y$ with vertex sets $V(X)$ and $V(Y)$ of the same cardinality, the friends-and-strangers graph $\mathsf{FS}(X,Y)$ is the graph whose vertex set consists of all bijections $σ:V(X)\to V(Y)$, where two bijections $σ$ and $σ'$ are adjacent if they agree everywhere except for two adjacent vertices $a,b \in V(X)$ such that $σ(a)$ and $σ(b)$ are adjacent in $Y$. The most fundamental…
▽ More
Given graphs $X$ and $Y$ with vertex sets $V(X)$ and $V(Y)$ of the same cardinality, the friends-and-strangers graph $\mathsf{FS}(X,Y)$ is the graph whose vertex set consists of all bijections $σ:V(X)\to V(Y)$, where two bijections $σ$ and $σ'$ are adjacent if they agree everywhere except for two adjacent vertices $a,b \in V(X)$ such that $σ(a)$ and $σ(b)$ are adjacent in $Y$. The most fundamental question that one can ask about these friends-and-strangers graphs is whether or not they are connected; we address this problem from two different perspectives. First, we address the case of "typical" $X$ and $Y$ by proving that if $X$ and $Y$ are independent Erdős-Rényi random graphs with $n$ vertices and edge probability $p$, then the threshold probability guaranteeing the connectedness of $\mathsf{FS}(X,Y)$ with high probability is $p=n^{-1/2+o(1)}$. Second, we address the case of "extremal" $X$ and $Y$ by proving that the smallest minimum degree of the $n$-vertex graphs $X$ and $Y$ that guarantees the connectedness of $\mathsf{FS}(X,Y)$ is between $3n/5+O(1)$ and $9n/14+O(1)$. When $X$ and $Y$ are bipartite, a parity obstruction forces $\mathsf{FS}(X,Y)$ to be disconnected. In this bipartite setting, we prove analogous "typical" and "extremal" results concerning when $\mathsf{FS}(X,Y)$ has exactly $2$ connected components; for the extremal question, we obtain a nearly exact result.
△ Less
Submitted 15 June, 2021; v1 submitted 16 September, 2020;
originally announced September 2020.
-
Friends and Strangers Walking on Graphs
Authors:
Colin Defant,
Noah Kravitz
Abstract:
Given graphs $X$ and $Y$ with vertex sets $V(X)$ and $V(Y)$ of the same cardinality, we define a graph $\mathsf{FS}(X,Y)$ whose vertex set consists of all bijections $σ:V(X)\to V(Y)$, where two bijections $σ$ and $σ'$ are adjacent if they agree everywhere except for two adjacent vertices $a,b \in V(X)$ such that $σ(a)$ and $σ(b)$ are adjacent in $Y$. This setup, which has a natural interpretation…
▽ More
Given graphs $X$ and $Y$ with vertex sets $V(X)$ and $V(Y)$ of the same cardinality, we define a graph $\mathsf{FS}(X,Y)$ whose vertex set consists of all bijections $σ:V(X)\to V(Y)$, where two bijections $σ$ and $σ'$ are adjacent if they agree everywhere except for two adjacent vertices $a,b \in V(X)$ such that $σ(a)$ and $σ(b)$ are adjacent in $Y$. This setup, which has a natural interpretation in terms of friends and strangers walking on graphs, provides a common generalization of Cayley graphs of symmetric groups generated by transpositions, the famous $15$-puzzle, generalizations of the $15$-puzzle as studied by Wilson, and work of Stanley related to flag $h$-vectors. We derive several general results about the graphs $\mathsf{FS}(X,Y)$ before focusing our attention on some specific choices of $X$. When $X$ is a path graph, we show that the connected components of $\mathsf{FS}(X,Y)$ correspond to the acyclic orientations of the complement of $Y$. When $X$ is a cycle, we obtain a full description of the connected components of $\mathsf{FS}(X,Y)$ in terms of toric acyclic orientations of the complement of $Y$. We then derive various necessary and/or sufficient conditions on the graphs $X$ and $Y$ that guarantee the connectedness of $\mathsf{FS}(X,Y)$. Finally, we raise several promising further questions.
△ Less
Submitted 15 June, 2021; v1 submitted 10 September, 2020;
originally announced September 2020.
-
The smoothest average: Dirichlet, Fejér and Chebyshev
Authors:
Noah Kravitz,
Stefan Steinerberger
Abstract:
We are interested in the ``smoothest'' averaging that can be achieved by convolving functions $f \in \ell^2(\mathbb{Z})$ with an averaging function $u$. More precisely, suppose $u:\{-n, \ldots, n\} \to \mathbb{R}$ is a symmetric function normalized to $\sum_{k=-n}^{n}u(k) = 1$. We show that every convolution operator is not-too-smooth, in the sense that…
▽ More
We are interested in the ``smoothest'' averaging that can be achieved by convolving functions $f \in \ell^2(\mathbb{Z})$ with an averaging function $u$. More precisely, suppose $u:\{-n, \ldots, n\} \to \mathbb{R}$ is a symmetric function normalized to $\sum_{k=-n}^{n}u(k) = 1$. We show that every convolution operator is not-too-smooth, in the sense that $$\sup_{f \in \ell^2(\mathbb{Z})} \frac{\| \nabla (f*u)\|_{\ell^2(\mathbb{Z})}}{\|f\|_{\ell^2}}\geq \frac{2}{2n+1},$$ and we show that equality holds if and only if $u$ is constant on the interval $\{-n, \ldots, n\}$. In the setting where smoothness is measured by the $\ell^2$-norm of the discrete second derivative and we further restrict our attention to functions $u$ with nonnegative Fourier transform, we establish the inequality $$\sup_{f \in \ell^2(\mathbb{Z})} \frac{\| Δ(f*u)\|_{\ell^2(\mathbb{Z})}}{\|f\|_{\ell^2(\mathbb{Z})}} \geq \frac{4}{(n+1)^2},$$ with equality if and only if $u$ is the triangle function $u(k)=(n+1-|k|)/(n+1)^2$. We also discuss a continuous analogue and several open problems.
△ Less
Submitted 27 July, 2020;
originally announced July 2020.
-
Inverse problems for minimal complements and maximal supplements
Authors:
Noga Alon,
Noah Kravitz,
Matt Larson
Abstract:
Given a subset $W$ of an abelian group $G$, a subset $C$ is called an additive complement for $W$ if $W+C=G$; if, moreover, no proper subset of $C$ has this property, then we say that $C$ is a minimal complement for $W$. It is natural to ask which subsets $C$ can arise as minimal complements for some $W$. We show that in a finite abelian group $G$, every non-empty subset $C$ of size…
▽ More
Given a subset $W$ of an abelian group $G$, a subset $C$ is called an additive complement for $W$ if $W+C=G$; if, moreover, no proper subset of $C$ has this property, then we say that $C$ is a minimal complement for $W$. It is natural to ask which subsets $C$ can arise as minimal complements for some $W$. We show that in a finite abelian group $G$, every non-empty subset $C$ of size $|C| \leq 2^{2/3}|G|^{1/3}/((3e \log |G|)^{2/3}$ is a minimal complement for some $W$. As a corollary, we deduce that every finite non-empty subset of an infinite abelian group is a minimal complement. We also derive several analogous results for ``dual'' problems about maximal supplements.
△ Less
Submitted 29 December, 2020; v1 submitted 31 May, 2020;
originally announced June 2020.
-
Promotion Sorting
Authors:
Colin Defant,
Noah Kravitz
Abstract:
Schützenberger's promotion operator is an extensively-studied bijection that permutes the linear extensions of a finite poset. We introduce a natural extension $\partial$ of this operator that acts on all labelings of a poset. We prove several properties of $\partial$; in particular, we show that for every labeling $L$ of an $n$-element poset $P$, the labeling $\partial^{n-1}(L)$ is a linear exten…
▽ More
Schützenberger's promotion operator is an extensively-studied bijection that permutes the linear extensions of a finite poset. We introduce a natural extension $\partial$ of this operator that acts on all labelings of a poset. We prove several properties of $\partial$; in particular, we show that for every labeling $L$ of an $n$-element poset $P$, the labeling $\partial^{n-1}(L)$ is a linear extension of $P$. Thus, we can view the dynamical system defined by $\partial$ as a sorting procedure that sorts labelings into linear extensions. For all $0\leq k\leq n-1$, we characterize the $n$-element posets $P$ that admit labelings that require at least $n-k-1$ iterations of $\partial$ in order to become linear extensions. The case in which $k=0$ concerns labelings that require the maximum possible number of iterations in order to be sorted; we call these labelings tangled. We explicitly enumerate tangled labelings for a large class of posets that we call inflated rooted forest posets. For an arbitrary finite poset, we show how to enumerate the sortable labelings, which are the labelings $L$ such that $\partial(L)$ is a linear extension.
△ Less
Submitted 14 May, 2020;
originally announced May 2020.
-
Generalized difference sets and autocorrelation integrals
Authors:
Noah Kravitz
Abstract:
In 2010, Cilleruelo, Ruzsa, and Vinuesa established a surprising connection between the maximum possible size of a generalized Sidon set in the first $N$ natural numbers and the optimal constant in an ``analogous'' problem concerning nonnegative-valued functions on $[0,1]$ with autoconvolution integral uniformly bounded above. Answering a recent question of Barnard and Steinerberger, we prove the…
▽ More
In 2010, Cilleruelo, Ruzsa, and Vinuesa established a surprising connection between the maximum possible size of a generalized Sidon set in the first $N$ natural numbers and the optimal constant in an ``analogous'' problem concerning nonnegative-valued functions on $[0,1]$ with autoconvolution integral uniformly bounded above. Answering a recent question of Barnard and Steinerberger, we prove the corresponding dual result about the minimum size of a so-called generalized difference set that covers the first $N$ natural numbers and the optimal constant in an analogous problem concerning nonnegative-valued functions on $\mathbb{R}$ with autocorrelation integral bounded below on $[0,1]$. These results show that the correspondence of Cilleruelo, Ruzsa, and Vinuesa is representative of a more general phenomenon relating discrete problems in additive combinatorics to questions in the continuous world.
△ Less
Submitted 14 April, 2020;
originally announced April 2020.
-
Barely lonely runners and very lonely runners
Authors:
Noah Kravitz
Abstract:
We introduce a sharpened version of the well-known Lonely Runner Conjecture of Wills and Cusick. Given a real number $x$, let $\Vert x \Vert$ denote the distance from $x$ to the nearest integer. For each set of positive integer speeds $v_1, \ldots, v_n$, we define the associated maximum loneliness to be $\text{ML}(v_1, \ldots, v_n)=\max_{t \in \mathbb{R}}\min_{1 \leq i \leq n} \Vert tv_i \Vert$. T…
▽ More
We introduce a sharpened version of the well-known Lonely Runner Conjecture of Wills and Cusick. Given a real number $x$, let $\Vert x \Vert$ denote the distance from $x$ to the nearest integer. For each set of positive integer speeds $v_1, \ldots, v_n$, we define the associated maximum loneliness to be $\text{ML}(v_1, \ldots, v_n)=\max_{t \in \mathbb{R}}\min_{1 \leq i \leq n} \Vert tv_i \Vert$. The Lonely Runner Conjecture asserts that $\text{ML}(v_1, \ldots, v_n) \geq 1/(n+1)$ for all choices of $v_1, \ldots, v_n$. If the Lonely Runner Conjecture is true, then the quantity $1/(n+1)$ is the best possible, for there are known equality cases with $\text{ML}(v_1, \ldots, v_n)=1/(n+1)$. A natural but (to our knowledge) hitherto unasked question is: If $v_1, \ldots, v_n$ satisfy the Lonely Runner Conjecture but are not an equality case, must $\text{ML}(v_1, \ldots, v_n)$ be uniformly bounded away from $1/(n+1)$? We conjecture that, contrary to what one might expect, this question has an affirmative answer that reflects an underlying rigidity of the problem. More precisely, we conjecture that for each choice of $v_1, \ldots, v_n$, we have either $\text{ML}(v_1, \ldots, v_n)=s/(ns+1)$ for some $s \in \mathbb{N}$ or $\text{ML}(v_1, \ldots, v_n) \geq 1/n$. Our main results are: confirming this stronger conjecture for $n \leq 3$; and confirming it for $n=4$ and $n=6$ in the case where one speed is much faster than the rest. We also obtain a number of related results.
△ Less
Submitted 12 December, 2019;
originally announced December 2019.
-
Supertrees
Authors:
Colin Defant,
Noah Kravitz,
Ashwin Sah
Abstract:
A $k$-universal permutation, or $k$-superpermutation, is a permutation that contains all permutations of length $k$ as patterns. The problem of finding the minimum length of a $k$-superpermutation has recently received significant attention in the field of permutation patterns. One can ask analogous questions for other classes of objects. In this paper, we study $k$-supertrees. For each $d\geq 2$,…
▽ More
A $k$-universal permutation, or $k$-superpermutation, is a permutation that contains all permutations of length $k$ as patterns. The problem of finding the minimum length of a $k$-superpermutation has recently received significant attention in the field of permutation patterns. One can ask analogous questions for other classes of objects. In this paper, we study $k$-supertrees. For each $d\geq 2$, we focus on two types of rooted plane trees called $d$-ary plane trees and $[d]$-trees. Motivated by recent developments in the literature, we consider "contiguous" and "noncontiguous" notions of pattern containment for each type of tree. We obtain both upper and lower bounds on the minimum possible size of a $k$-supertree in three cases; in the fourth, we determine the minimum size exactly. One of our lower bounds makes use of a recent result of Albert, Engen, Pantone, and Vatter on $k$-universal layered permutations.
△ Less
Submitted 15 May, 2020; v1 submitted 8 August, 2019;
originally announced August 2019.
-
Linear extension numbers of $n$-element posets
Authors:
Noah Kravitz,
Ashwin Sah
Abstract:
We address the following natural but hitherto unstudied question: what are the possible linear extension numbers of an $n$-element poset? Let $\mathbf{LE}(n)$ denote the set of all positive integers that arise as the number of linear extensions of some $n$-element poset. We show that $\mathbf{LE}(n)$ skews towards the "small" end of the interval $[1,n!]$. More specifically, $\mathbf{LE}(n)$ contai…
▽ More
We address the following natural but hitherto unstudied question: what are the possible linear extension numbers of an $n$-element poset? Let $\mathbf{LE}(n)$ denote the set of all positive integers that arise as the number of linear extensions of some $n$-element poset. We show that $\mathbf{LE}(n)$ skews towards the "small" end of the interval $[1,n!]$. More specifically, $\mathbf{LE}(n)$ contains all of the positive integers up to $\exp\left(c\frac{n}{\log n}\right)$ for some absolute constant $c$, and $|\mathbf{LE}(n) \cap ((n-1)!,n!]|<(n-3)!$. The proof of the former statement involves some intermediate number-theoretic results about the Stern-Brocot tree that are of independent interest.
△ Less
Submitted 14 June, 2019;
originally announced June 2019.
-
The largest $(k, \ell)$-sum-free sets in compact abelian groups
Authors:
Noah Kravitz
Abstract:
A subset $A$ of a finite abelian group is called $(k,\ell)$-sum-free if $kA \cap \ell A=\emptyset.$ In this paper, we extend this concept to compact abelian groups and study the question of how large a measurable $(k,\ell)$-sum-free set can be. For integers $1 \leq k <\ell$ and a compact abelian group $G$, let $$λ_{k,\ell}(G)=\sup\{ μ(A): kA \cap \ell A =\emptyset \}$$ be the maximum possible size…
▽ More
A subset $A$ of a finite abelian group is called $(k,\ell)$-sum-free if $kA \cap \ell A=\emptyset.$ In this paper, we extend this concept to compact abelian groups and study the question of how large a measurable $(k,\ell)$-sum-free set can be. For integers $1 \leq k <\ell$ and a compact abelian group $G$, let $$λ_{k,\ell}(G)=\sup\{ μ(A): kA \cap \ell A =\emptyset \}$$ be the maximum possible size of a $(k,\ell)$-sum-free subset of $G$. We prove that if $G=\mathbb{I} \times M$, where $\mathbb{I}$ is the identity component of $G$, then $$λ_{k, \ell}(G)=\max \left\{ λ_{k, \ell}(M), λ_{k, \ell}(\mathbb{I}) \right\}.$$ Moreover, if $\mathbb{I}$ is nontrivial, then $λ_{k,\ell}(\mathbb{I})=\frac{1}{k+\ell}$. Finally, we discuss how this problem motivates a new framework for studying $(k,\ell)$-sum-free sets in finite groups.
△ Less
Submitted 14 January, 2019; v1 submitted 10 January, 2019;
originally announced January 2019.
-
Stack-sorting for Words
Authors:
Colin Defant,
Noah Kravitz
Abstract:
We introduce operators $\mathsf{hare}$ and $\mathsf{tortoise}$, which act on words as natural generalizations of West's stack-sorting map. We show that the heuristically slower algorithm $\mathsf{tortoise}$ can sort words arbitrarily faster than its counterpart $\mathsf{hare}$. We then generalize the combinatorial objects known as valid hook configurations in order to find a method for computing t…
▽ More
We introduce operators $\mathsf{hare}$ and $\mathsf{tortoise}$, which act on words as natural generalizations of West's stack-sorting map. We show that the heuristically slower algorithm $\mathsf{tortoise}$ can sort words arbitrarily faster than its counterpart $\mathsf{hare}$. We then generalize the combinatorial objects known as valid hook configurations in order to find a method for computing the number of preimages of any word under these two operators. We relate the question of determining which words are sortable by $\mathsf{hare}$ and $\mathsf{tortoise}$ to more classical problems in pattern avoidance, and we derive a recurrence for the number of words with a fixed number of copies of each letter (permutations of a multiset) that are sortable by each map. In particular, we use generating trees to prove that the $\ell$-uniform words on the alphabet $[n]$ that avoid the patterns $231$ and $221$ are counted by the $(\ell+1)$-Catalan number $\frac{1}{\ell n+1}{(\ell+1)n\choose n}$. We conclude with several open problems and conjectures.
△ Less
Submitted 8 December, 2018; v1 submitted 24 September, 2018;
originally announced September 2018.
-
A stronger connection between the Erdős-Burgess and Davenport constants
Authors:
Noah Kravitz,
Ashwin Sah
Abstract:
The Erdős-Burgess constant of a semigroup $S$ is the smallest positive integer $k$ such that any sequence over $S$ of length $k$ contains a nonempty subsequence whose elements multiply to an idempotent element of $S$. In the case where $S$ is the multiplicative semigroup of $\mathbb{Z}/n\mathbb{Z}$, we confirm a conjecture connecting the Erdős-Burgess constant of $S$ and the Davenport constant of…
▽ More
The Erdős-Burgess constant of a semigroup $S$ is the smallest positive integer $k$ such that any sequence over $S$ of length $k$ contains a nonempty subsequence whose elements multiply to an idempotent element of $S$. In the case where $S$ is the multiplicative semigroup of $\mathbb{Z}/n\mathbb{Z}$, we confirm a conjecture connecting the Erdős-Burgess constant of $S$ and the Davenport constant of $(\mathbb{Z}/n\mathbb{Z})^{\times}$ for $n$ with at most two prime factors. We also discuss the extension of our techniques to other rings.
△ Less
Submitted 17 August, 2018;
originally announced August 2018.
-
On the number of simultaneous core partitions with $d$-distinct parts
Authors:
Noah Kravitz
Abstract:
We investigate the number $N_{d,r}(s)$ of $(s, s+r)$-core integer partitions with $d$-distinct parts. Our first main result is a proof of a recurrence relation conjectured by Sahin in 2018. We also derive generating functions, asymptotics, and exact formulas for $N_{d,r}(s)$ when $r$ is within $d$ of a multiple of $s$. Finally, we exhibit a surprising connection to $A$-restricted compositions.
We investigate the number $N_{d,r}(s)$ of $(s, s+r)$-core integer partitions with $d$-distinct parts. Our first main result is a proof of a recurrence relation conjectured by Sahin in 2018. We also derive generating functions, asymptotics, and exact formulas for $N_{d,r}(s)$ when $r$ is within $d$ of a multiple of $s$. Finally, we exhibit a surprising connection to $A$-restricted compositions.
△ Less
Submitted 15 August, 2019; v1 submitted 23 July, 2018;
originally announced July 2018.
-
Harborth Constants for Certain Classes of Metacyclic Groups
Authors:
Noah Kravitz
Abstract:
The Harborth constant of a finite group $G$ is the smallest integer $k\geq \exp(G)$ such that any subset of $G$ of size $k$ contains $\exp(G)$ distinct elements whose product is $1$. Generalizing previous work on the Harborth constants of dihedral groups, we compute the Harborth constants for the metacyclic groups of the form $H_{n, m}=\langle x, y \mid x^n=1, y^2=x^m, yx=x^{-1}y \rangle$. We also…
▽ More
The Harborth constant of a finite group $G$ is the smallest integer $k\geq \exp(G)$ such that any subset of $G$ of size $k$ contains $\exp(G)$ distinct elements whose product is $1$. Generalizing previous work on the Harborth constants of dihedral groups, we compute the Harborth constants for the metacyclic groups of the form $H_{n, m}=\langle x, y \mid x^n=1, y^2=x^m, yx=x^{-1}y \rangle$. We also solve the "inverse" problem of characterizing all smaller subsets that do not contain $\exp(H_{n,m})$ distinct elements whose product is $1$.
△ Less
Submitted 12 July, 2018;
originally announced July 2018.
-
Refining the Two-Dimensional Signed Small Ball Inequality
Authors:
Noah Kravitz
Abstract:
The two-dimensional signed small ball inequality states that for all possible choices of signs, $$ \left\| \sum_{|R| = 2^{-n}}{ \varepsilon_R h_R} \right\|_{L^{\infty}} \gtrsim n,$$ where the summation runs over all dyadic rectangles in the unit square and $h_R$ denotes the associated Haar function. This inequality first appeared in the work of Talagrand, and alternative proofs are due to Temlyako…
▽ More
The two-dimensional signed small ball inequality states that for all possible choices of signs, $$ \left\| \sum_{|R| = 2^{-n}}{ \varepsilon_R h_R} \right\|_{L^{\infty}} \gtrsim n,$$ where the summation runs over all dyadic rectangles in the unit square and $h_R$ denotes the associated Haar function. This inequality first appeared in the work of Talagrand, and alternative proofs are due to Temlyakov and Bilyk & Feldheim (who showed that the supremum equals $n+1$ in all cases). We prove that for all integers $0\leq k \leq n+1$ and all possible choices of signs, $$ \left| \left\{ x \in [0,1)^2: \sum_{|R| = 2^{-n}}{ \varepsilon_R h_R} = n + 1 - 2k\right\} \right| = \frac{1}{2^{n+1}}\binom{n+1}{k}.$$
△ Less
Submitted 24 May, 2018; v1 submitted 4 December, 2017;
originally announced December 2017.
-
Ulam Sequences and Ulam Sets
Authors:
Noah Kravitz,
Stefan Steinerberger
Abstract:
The Ulam sequence is given by $a_1 =1, a_2 = 2$, and then, for $n \geq 3$, the element $a_n$ is defined as the smallest integer that can be written as the sum of two distinct earlier elements in a unique way. This gives the sequence $1, 2, 3, 4, 6, 8, 11, 13, 16, \dots$, which has a mysterious quasi-periodic behavior that is not understood. Ulam's definition naturally extends to higher dimensions:…
▽ More
The Ulam sequence is given by $a_1 =1, a_2 = 2$, and then, for $n \geq 3$, the element $a_n$ is defined as the smallest integer that can be written as the sum of two distinct earlier elements in a unique way. This gives the sequence $1, 2, 3, 4, 6, 8, 11, 13, 16, \dots$, which has a mysterious quasi-periodic behavior that is not understood. Ulam's definition naturally extends to higher dimensions: for a set of initial vectors $\left\{v_1, \dots, v_k\right\} \subset \mathbb{R}^n$, we define a sequence by repeatedly adding the smallest elements that can be uniquely written as the sum of two distinct vectors already in the set. The resulting sets have very rich structure that turns out to be universal for many commuting binary operations. We give examples of different types of behavior, prove several universality results, and describe new unexplained phenomena.
△ Less
Submitted 27 August, 2018; v1 submitted 4 May, 2017;
originally announced May 2017.