A subset $A$ of the $k$-dimensional grid $\{1,2, \cdots, N\}^k$ is called $k$-dimensional corner-free if it does not contain a set of points of the form $\{ a \} \cup \{ a + de_i : 1 \leq i \leq k \}$ for some $a \in \{1,2, \cdots, N\}^k$ and $d > 0$, where $e_1,e_2, \cdots, e_k$ is the standard basis of $\mathbb{R}^k$. We define the maximum size of a $k$-dimensional corner-free subset of $\{1,2, \cdots, N\}^k$ by $c_k(N)$. In this paper, we show that the number of $k$-dimensional corner-free subsets of the $k$-dimensional grid $\{1,2, \cdots, N\}^k$ is at most $2^{O(c_k(N))}$ for infinitely many values of $N$. Our main tool for the proof is a supersaturation result for $k$-dimensional corners in sets of size $Θ(c_k(N))$ and the hypergraph container method.
It was proved by Ron Graham and the second author that for any coloring of the $N \times N$ grid using fewer than $\log \log N$ colours, one can always find a monochromatic isosceles right triangle, a triangle with vertex coordinates $(x, y),(x + d, y),$ and $(x, y + d).$ In this paper we are asking questions where not only axis-parallel, but tilted isosceles right triangles are considered as well. Both colouring and density variants of the problem will be discussed.
Let $Q$ be a finite subgraph of the integer grid $G$ in the plane, and let $T$ be a set of pairs of distinct vertices in $G$, called `terminal pairs'. Escaping a subset $X\subset T\cap Q$ from $Q$ means finding edge disjoint paths from the terminals in $X$ into distinct vertices of a set $L$ in the boundary of $Q$. Here we prove several lemmas for the cases where $Q$ is a $3\times 3$ grid, $L$ is the union of a vertical and horizontal boundary line of $Q$, furthermore, $T$ is a set of four terminal pairs in $G$ such that $|T\cap Q|\geq 5$. These lemmas are applied in [4] and complete the proof…
Let $G$ be a finite $D$-quasirandom group and $A \subset G^{k}$ a $δ$-dense subset. Then the density of the set of side lengths $g$ of corners \[ \{(a_{1},\dots,a_{k}),(ga_{1},a_{2},\dots,a_{k}),\dots,(ga_{1},\dots,ga_{k})\} \subset A \] converges to $1$ as $D\to\infty$.
For a compact abelian group $G$, a corner in $G \times G$ is a triple of points $(x,y)$, $(x,y+d)$, $(x+d,y)$. The classical corners theorem of Ajtai and Szemerédi implies that for every $α> 0$, there is some $δ> 0$ such that every subset $A \subset G \times G$ of density $α$ contains a $δ$ fraction of all corners in $G \times G$, as $x,y,d$ range over $G$. Recently, Mandache proved a "popular differences" version of this result in the finite field case $G = \mathbb F_p^n$, showing that for any subset $A \subset G \times G$ of density $α$, one can fix $d \neq 0$ such that $A$ contains a large …
We generalize a result by Cook, Magyar, and Pramanik [3] on three-term arithmetic progressions in subsets of $\mathbb{R}^d$ to corners in subsets of $\mathbb{R}^d\times\mathbb{R}^d$. More precisely, if $1<p<\infty$, $p\neq 2$, and $d$ is large enough, we show that an arbitrary measurable set $A\subseteq\mathbb{R}^d\times\mathbb{R}^d$ of positive upper Banach density contains corners $(x,y)$, $(x+s,y)$, $(x,y+s)$ such that the $\ell^p$-norm of the side $s$ attains all sufficiently large real values. Even though we closely follow the basic steps from [3], the proof diverges at the part relying o…
This paper focuses on vertices of the master corner polyhedra $P(G,g_0),$ the core of the group-theoretical approach to integer linear programming. We introduce two combinatorial operations that transform each vertex of $P(G,g_0)$ to adjacent ones. This implies that for any $P(G,g_0),$ there exists a subset of basic vertices, we call them support vertices, from which all others can be built. The class of support vertices is proved to be invariant under the automorphism group of $G,$ so this basis can be further reduced to a subset of pairwise non-equivalent support vertices. Among other result…
A two-dimensional \emph{grid} is a set $\Gnm = [n]\times[m]$. A grid $\Gnm$ is \emph{$c$-colorable} if there is a function $χ_{n,m}: \Gnm \to [c]$ such that there are no rectangles with all four corners the same color. We address the following question: for which values of $n$ and $m$ is $\Gnm$ $c$-colorable? This problem can be viewed as a bipartite Ramsey problem and is related to a the Gallai-Witt theorem (also called the multidimensioanl Van Der Waerden's Theorem). We determine (1) \emph{exactly} which grids are 2-colorable, (2) \emph{exactly} which grids are 3-colorable, and (3) \emph{exa…
Let Q_n be the graph of n times n times n cube with all non-decreasing diagonals (including the facial ones) in its constituent unit cubes. Suppose that a subset S of V(Q_n) separates the left side of the cube from the right side. We show that S induces a subgraph of tree-width at least n/sqrt{18}-1. We use a generalization of this claim to prove that the vertex set of Q_n cannot be partitioned to two parts, each of them inducing a subgraph of bounded tree-width.
Let $G$ be the Cartesian product of two finite paths, called a grid, and let $T$ be the set of eight distinct vertices of $G$, called terminals. Assume that $T$ is partitioned into four terminal pairs $\{s_i,t_i\}$, $1\leq i\leq 4$, to be linked in $G$ by using edge disjoint paths. To prove that such a linkage always exists we need a sequence of technical lemmas making possible for some terminals to `escape' from a $3\times 3$ corner of $Q\subset G$, called a `quadrant'. Here we state those lemmas, and give a proof for the cases when $Q$ contains at most $4$ terminals.
May the $\mathit{triforce}$ be the 3-uniform hypergraph on six vertices with edges $\{123',12'3,1'23\}$. We show that the minimum triforce density in a 3-uniform hypergraph of edge density $δ$ is $δ^{4-o(1)}$ but not $O(δ^4)$. Let $M(δ)$ be the maximum number such that the following holds: for every $ε> 0$ and $G = \mathbb{F}_2^n$ with $n$ sufficiently large, if $A \subseteq G \times G$ with $A \ge δ|G|^2$, then there exists a nonzero "popular difference" $d \in G$ such that the number of "corners" $(x,y), (x+d,y), (x,y+d) \in A$ is at least $(M(δ) - ε)|G|^2$. As a corollary via a recent resul…
A subset of the integer planar grid $[N] \times [N]$ is called corner-free if it contains no triple of the form $(x,y), (x+δ,y), (x,y+δ)$. It is known that such a set has a vanishingly small density, but how large this density can be remains unknown. The best previous construction was based on Behrend's large subset of $[N]$ with no $3$-term arithmetic progression. Here we provide the first substantial improvement to this lower bound in decades. Our approach to the problem is based on the theory of communication complexity. In the $3$-players exactly-$N$ problem the players need to decide whet…
For positive integers $m$ and $n$, define $f(m,n)$ to be the smallest integer such that any subset $A$ of the $m \times n$ integer grid with $|A| \geq f(m,n)$ contains a rectangle; that is, there are $x\in [m]$ and $y \in [n]$ and $d_{1},d_{2} \in \mathbb{Z}^{+}$ such that all four points $(x,y)$, $(x+d_{1},y)$, $(x,y+d_{2})$, and $(x+d_{1},y+d_{2})$ are contained in $A$. In \cite{kovarisosturan}, Kövari, Sós, and Turán showed that $\dlim_{k \to \infty}\dfrac{f(k,k)}{k^{3/2}} = 1$. They also showed that whenever $p$ is a prime number, $f(p^{2},p^{2}+p) = p^{2}(p+1)+1$. We recover their asympto…
Given an undirected simple graph, a subset of the vertices of the graph is a {\em dominating set} if every vertex not in the subset is adjacent to at least one vertex in the subset. A subset of the vertices of the graph is a {\em connected dominating set} if the subset is a dominating set and the subgraph induced by the subset is connected. In this paper, we determine the minimum cardinality of a connected dominating set, called the {\em connected domination number}, of an $m \times n$ grid graph for any $m$ and $n$.
A corner is a set of three points in $\mathbf{Z}^2$ of the form $(x, y), (x + d, y), (x, y + d)$ with $d \neq 0$. We show that for infinitely many $N$ there is a set $A \subset [N]^2$ of size $2^{-(c + o(1)) \sqrt{\log_2 N}} N^2$ not containing any corner, where $c = 2 \sqrt{2 \log_2 \frac{4}{3}} \approx 1.822\dots$.
We prove a Roth type theorem for polynomial corners in the finite field setting. Let $ϕ_1$ and $ϕ_2$ be two polynomials of distinct degree. For sufficiently large primes $p$, any subset $ A \subset \mathbb F_p \times \mathbb F_p$ with $ \lvert A\rvert > p ^{2 - \frac1{16}} $ contains three points $ (x_1, x_2) , (x_1 + ϕ_1 (y), x_2), (x_1, x_2 + ϕ_2 (y))$. The study of these questions on $ \mathbb F_p$ was started by Bourgain and Chang. Our Theorem adapts the argument of Dong, Li and Sawin, in particular relying upon deep Weil type inequalities established by N. Katz.
Let $\mathbb F_2^n$ be the finite field of cardinality $2 ^{n}$. For all large $n$, any subset $A\subset \mathbb F_2^n\times \mathbb F_2 ^n$ of cardinality \begin{equation*} \abs{A} \gtrsim 4^n \log\log n (\log n) ^{-1} \end{equation*} must contain three points $ \{(x,y) ,(x+d,y) ,(x,y+d)\}$ for $x,y,d\in \mathbb F_2^n$ and $d\neq0$. Our argument is an elaboration of an argument of Shkredov \cite {math.NT/0405406}, building upon the finite field analog of Ben Green \cite {math.NT/0409420}. The interest in our result is in the exponent on $ \log n$, which is larger than has been obtained previo…
The domination number of a graph $G = (V,E)$ is the minimum cardinality of any subset $S \subset V$ such that every vertex in $V$ is in $S$ or adjacent to an element of $S$. Finding the domination numbers of $m$ by $n$ grids was an open problem for nearly 30 years and was finally solved in 2011 by Goncalves, Pinlou, Rao, and Thomassé. Many variants of domination number on graphs have been defined and studied, but exact values have not yet been obtained for grids. We will define a family of domination theories parameterized by pairs of positive integers $(t,r)$ where $1 \leq r \leq t$ which gen…
We determine the shape of all sum-free sets in $\{1,2,\ldots,n\}^2$ of size close to the maximum $\frac{3}{5}n^2$, solving a problem of Elsholtz and Rackham. We show that all such asymptotic maximum sum-free sets lie completely in the stripe $\frac{4}{5}n-o(n)\le x+y\le\frac{8}{5}n+ o(n)$. We also determine for any positive integer $p$ the maximum size of a subset $A\subseteq \{1,2,\ldots,n\}^2$ which forbids the triple $(x,y,z)$ satisfying $px+py=z$.
Let $p$ be a positive integer and $G=(V,E)$ be a simple graph. A subset $D\subseteq V$ is a $p$-dominating set if each vertex not in $D$ has at least $p$ neighbors in $D$. The $p$-domination number $\g_p(G)$ is the minimum cardinality among all $p$-dominating sets of $G$. The $p$-bondage number $b_p(G)$ is the cardinality of a smallest set of edges whose removal from $G$ results in a graph with a $p$-domination number greater than the $p$-domination number of $G$. In this note we determine the 2-domination number $\g_2$ and 2-bondage number $b_2$ for the grid graphs $G_{m,n}=P_m\times P_n$ for…
This proof without words demonstrates that there are $\binom{n+2}{4}$ equilateral triangles in the regular $n$-vertices-per-side triangular grid by describing a map from four-element subsets of $\{1,2, \dots, n+2\}$ into the set of equilateral triangles in this grid. Specifically, we illustrate the triangle that corresponds to the subset $\{4,5,8,11\}$ under this bijection when $n = 10$.
An open-locating-dominating set (OLD-set) is a subset of vertices of a graph such that every vertex in the graph has at least one neighbor in the set and no two vertices in the graph have the same set of neighbors in the set. This is an analogue to the well-studied identifying code in the literature. In this paper, we prove that the optimal density of the OLD-set for the infinite triangular grid is $4/13$.
We show that if $A \subset [k]^n$, then $A$ is $ε$-close to a junta depending upon at most $\exp(O(|\partial A|/(k^{n-1}ε)))$ coordinates, where $\partial A$ denotes the edge-boundary of $A$ in the $\ell^1$-grid. This is sharp up to the value of the absolute constant in the exponent. This result can be seen as a generalisation of the Junta theorem for the discrete cube, from [E. Friedgut, Boolean functions with low average sensitivity depend on few coordinates, Combinatorica 18 (1998), 27-35], or as a characterization of large subsets of the $\ell^1$-grid whose edge-boundary is small. We use i…
An $r$-identifying code on a graph $G$ is a set $C\subset V(G)$ such that for every vertex in $V(G)$, the intersection of the radius-$r$ closed neighborhood with $C$ is nonempty and unique. On a finite graph, the density of a code is $|C|/|V(G)|$, which naturally extends to a definition of density in certain infinite graphs which are locally finite. We present new lower bounds for densities of codes for some small values of $r$ in both the square and hexagonal grids.
A Salem-Spencer-Type Construction for Large Subsets of Integer Grids with No Isosceles Right Triangles
HUN–REN Alfréd Rényi Institute of Mathematics（匈牙利研究与教育网络阿尔弗雷德·雷尼数学研究所）；Eötvös University（厄特沃什大学）；University of British Columbia（不列颠哥伦比亚大学）；Óbuda University（奥比达乌斯大学）
A subset $M$ of the edge set of a graph $G$ is an induced matching of $G$ if given any two $e_1,e_2 \in M$, none of the vertices on $e_1$ is adjacent to any of the vertices on $e_2$. Suppose that $MIM_G$, a positive integer, is the largest possible size of $M$ in $G$, then, $M$ is the maximum induced matching, $MIM$, of $G$ and $MIM_G$ is the maximum induced matching number of $G$. We obtain some upper bounds for the maximum induced matching numbers of some specific grids.
A two-dimensional grid consists of vertices of the form (i,j) for 1 \leq i \leq m and 1 \leq j \leq n, for fixed m,n > 1. Two vertices are adjacent if the \ell_1 distance between their vectors is equal to 1. A landmark set is a subset of vertices L \subseteq V, such that for any distinct pair of vertices u,v \in V, there exists a vertex of L whose distances to u and v are not equal. We design an efficient algorithm for finding a minimum landmark set with respect to total cost in a grid graph with non-negative costs defined on the vertices.
In an additive group (G,+), a three-dimensional corner is the four points g, g+d(1,0,0), g+d(0,1,0), g+d(0,0,1), where g is in G^3, and d is a non-zero element of G. The Ramsey number of interest is R_3(G) the maximal cardinality of a subset of G^3 that does not contain a three-dimensional corner. Furstenberg and Katznelson have shown R_3(Z_N) is little-o of N^3, and in fact the corresponding result holds in all dimensions, a result that is a far reaching extension of the Szemeredi Theorem. We give a new proof of the finite field version of this fact, a proof that is a common generalization of…
We call a subset $C$ of vertices of a graph $G$ a $(1,\leq \ell)$-identifying code if for all subsets $X$ of vertices with size at most $\ell$, the sets $\{c\in C |\exists u \in X, d(u,c)\leq 1\}$ are distinct. The concept of identifying codes was introduced in 1998 by Karpovsky, Chakrabarty and Levitin. Identifying codes have been studied in various grids. In particular, it has been shown that there exists a $(1,\leq 2)$-identifying code in the king grid with density 3/7 and that there are no such identifying codes with density smaller than 5/12. Using a suitable frame and a discharging proce…
We consider the edge- and vertex-isoperimetric probem on finite and infinite hexagonal grids: For a subset W of the hexagonal grid of given cardinality, we give a lower bound for the number of edges between W and its complement, and lower bounds for the number of vertices in the neighborhood of W and for the number of vertices in the boundary of W. For the infinite hexagonal grid the given bounds are tight.
There is a large and important collection of Ramsey-type combinatorial problems, closely related to central problems in complexity theory, that can be formulated in terms of the asymptotic growth of the size of the maximum independent sets in powers of a fixed small (directed or undirected) hypergraph, also called the Shannon capacity. An important instance of this is the corner problem studied in the context of multiparty communication complexity in the Number On the Forehead (NOF) model. Versions of this problem and the NOF connection have seen much interest (and progress) in recent works of…
