On skew corner-free sets

Cosmin Pohoata,Dmitrii Zakharov

2024-01-31

Abstract:We construct skew corner-free sets in $[n]^2$ of size $n^{5/4}$, thereby disproving a conjecture of Kevin Pratt. We also show that any skew corner-free set in $\mathbb{F}_{q}^{n} \times \mathbb{F}_{q}^{n}$ must have size at most $q^{(2-c)n}$, for some positive constant $c$ which depends on $q$.

Combinatorics

What problem does this paper attempt to address?

Improved bounds for skew corner-free sets

Adrian Beker

2024-02-29

Abstract:We construct skew corner-free subsets of $[n]^2$ of size $n^2\exp(-O(\sqrt{\log n}))$, thereby improving on recent bounds of the form $\Omega(n^{5/4})$ obtained by Pohoata and Zakharov. In the other direction, we prove that any such set has size at most $O(n^2(\log n)^{-c})$ for some absolute constant $c > 0$. This improves on the previously best known upper bound, coming from Shkredov's work on the corners theorem.

Combinatorics,Number Theory
Strong bounds for skew corner-free sets

Michael Jaber,Shachar Lovett,Anthony Ostuni

2024-04-13

Abstract:Motivated by applications to matrix multiplication algorithms, Pratt asked (ITCS'24) how large a subset of $[n] \times [n]$ could be without containing a skew-corner: three points $(x,y), (x,y+h),(x+h,y')$ with $h \ne 0$. We prove any skew corner-free set has size at most $\exp(-\Omega(\log^{1/12} n))\cdot n^2$, nearly matching the best known lower bound of $\exp(-O(\sqrt{\log n}))\cdot n^2$ by Beker (arXiv'24). Our techniques generalize those of Kelley and Meka's recent breakthrough on three-term arithmetic progression (FOCS'23), answering a question of Beker (arXiv'24). We note that a similar bound was obtained concurrently and independently by Milićević (arXiv'24).

Combinatorics,Number Theory
Good bounds for sets lacking skew corners

Luka Milićević

2024-04-13

Abstract:A skew corner is a triple of points in $\mathbb{Z} \times \mathbb{Z}$ of the form $(x,y), (x, y + a)$ and $(x + a, y')$. Pratt posed the following question: how large can a set $A \subseteq [n] \times [n]$ be, provided it contains no non-trivial skew corner (i.e. one for which $a\not=0$)? We prove that $|A| \leq \exp(- c\log^c n) n^2$, for an absolute constant $c > 0$, which, along with a construction of Beker, essentially resolves Pratt's question.

Combinatorics,Number Theory
Cyclotomic Constructions of Skew Hadamard Difference Sets.

Tao Feng,Qing Xiang

DOI: https://doi.org/10.1016/j.jcta.2011.08.007

IF: 1.263

2012-01-01

Journal of Combinatorial Theory Series A

Abstract:We revisit the old idea of constructing difference sets from cyclotomic classes. Two constructions of skew Hadamard difference sets are given in the additive groups of finite fields by using union of cyclotomic classes of Fq of order N=2p1m, where p1 is a prime and m a positive integer. Our main tools are index 2 Gauss sums, instead of cyclotomic numbers.
New Constructions of Large Cyclic Subspace Codes and Sidon Spaces.

Tao Feng,Ye Wang

DOI: https://doi.org/10.1016/j.disc.2020.112273

IF: 0.961

2021-01-01

Discrete Mathematics

Abstract:Let n be a positive integer with a factor k such that n≥3k. Let q be a prime power, and let Gq(n,k) be the set of all k-dimensional Fq-subspaces of the field Fqn. In this paper, we construct cyclic subspace codes in Gq(n,k) with minimum distance 2k−2 and size (⌈n2k⌉−1)⋅(qn−1)qkq−1. In the case n=3k, their sizes differ from the sphere-packing bound for subspace codes by a factor of 1q−1 asymptotically as k goes to infinity. Our construction makes use of variants of the Sidon spaces constructed by Roth et al. (2018) and analogous to the results they attained for the case n=2k. We also establish the existence of Sidon spaces of Gq(7k,2k), and thus we resolve part of the conjecture about the existence of cyclic subspace codes in Gq(n,k) with minimum distance 2k−2 and size qn−1q−1.
On generalized corners and matrix multiplication

Kevin Pratt

2023-09-08

Abstract:Suppose that $S \subseteq [n]^2$ contains no three points of the form $(x,y), (x,y+\delta), (x+\delta,y')$, where $\delta \neq 0$. How big can $S$ be? Trivially, $n \le |S| \le n^2$. Slight improvements on these bounds are obtained from Shkredov's upper bound for the corners problem [Shk06], which shows that $|S| \le O(n^2/(\log \log n)^c)$ for some small $c > 0$, and a construction due to Petrov [Pet23], which shows that $|S| \ge \Omega(n \log n/\sqrt{\log \log n})$. Could it be that for all $\varepsilon > 0$, $|S| \le O(n^{1+\varepsilon})$? We show that if so, this would rule out obtaining $\omega = 2$ using a large family of abelian groups in the group-theoretic framework of Cohn, Kleinberg, Szegedy and Umans [CU03,CKSU05] (which is known to capture the best bounds on $\omega$ to date), for which no barriers are currently known. Furthermore, an upper bound of $O(n^{4/3 - \varepsilon})$ for any fixed $\varepsilon > 0$ would rule out a conjectured approach to obtain $\omega = 2$ of [CKSU05]. Along the way, we encounter several problems that have much stronger constraints and that would already have these implications.

Combinatorics,Discrete Mathematics,Data Structures and Algorithms
Maximum subsets of $\mathbb{F}^n_q$ containing no right angles

Gennian Ge,Chong Shangguan

DOI: https://doi.org/10.48550/arXiv.1612.08255

2019-09-30

Abstract:Recently, Croot, Lev, and Pach (Ann. of Math., 185:331--337, 2017.) and Ellenberg and Gijswijt (Ann. of Math., 185:339--443, 2017.) developed a new polynomial method and used it to prove upper bounds for three-term arithmetic progression free sets in $\mathbb{Z}_4^n$ and $\mathbb{F}_3^n$, respectively. Their approach was later summarized by Tao and is now known as the slice rank method. In this paper, we apply this method to obtain a new upper bound on the cardinality of subsets of $\mathbb{F}^n_q$ which contain no right angles. More precisely, let $q$ be a fixed odd prime power and $x\cdot y$ be the standard inner product of two vectors $x,y\in\mathbb{F}_q^n$, we prove that the maximum cardinality of a subset $A\subseteq\mathbb{F}_q^n$ without three distinct elements $x,y,z\in A$ satisfying $(z-x)\cdot (y-x)=0$ is at most $\binom{n+q}{q-1}+3$. For sufficiently large $n$, our result significantly improves the previous upper bound of Bennett (European J. Combin., 70:155--163, 2018.), who showed that $|A|=\mathcal{O}(q^{\frac{n+2}{3}})$.

Combinatorics
Corners with polynomial side length

Noah Kravitz,Borys Kuca,James Leng

2024-09-02

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 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 <a class="link-https" data-arxiv-id="2407.08636" href="https://arxiv.org/abs/2407.08636">arXiv:2407.08636</a> and a novel degree-lowering argument for box norms.

Combinatorics,Number Theory
Larger Corner-Free Sets from Combinatorial Degenerations

Matthias Christandl,Omar Fawzi,Hoang Ta,Jeroen Zuiddam

DOI: https://doi.org/10.4230/LIPIcs.ITCS.2022.48

2021-11-16

Abstract: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 Linial, Pitassi and Shraibman (ITCS 2019) and Linial and Shraibman (CCC 2021). We introduce and study a general algebraic method for lower bounding the Shannon capacity of directed hypergraphs via combinatorial degenerations, a combinatorial kind of "approximation" of subgraphs that originates from the study of matrix multiplication in algebraic complexity theory (and which play an important role there) but which we use in a novel way. Using the combinatorial degeneration method, we make progress on the corner problem by explicitly constructing a corner-free subset in $F_2^n \times F_2^n$ of size $\Omega(3.39^n/poly(n))$, which improves the previous lower bound $\Omega(2.82^n)$ of Linial, Pitassi and Shraibman (ITCS 2019) and which gets us closer to the best upper bound $4^{n - o(n)}$. Our new construction of corner-free sets implies an improved NOF protocol for the Eval problem. In the Eval problem over a group $G$, three players need to determine whether their inputs $x_1, x_2, x_3 \in G$ sum to zero. We find that the NOF communication complexity of the Eval problem over $F_2^n$ is at most $0.24n + O(\log n)$, which improves the previous upper bound $0.5n + O(\log n)$.

Computational Complexity,Combinatorics
Corners in Quasirandom Groups via Sparse Mixing

Michael Jaber,Shachar Lovett,Anthony Ostuni

2024-11-05

Abstract:We improve the best known upper bounds on the density of corner-free sets over quasirandom groups from inverse poly-logarithmic to quasi-polynomial. We make similarly substantial improvements to the best known lower bounds on the communication complexity of a large class of permutation functions in the 3-player Number-on-Forehead model. Underpinning both results is a general combinatorial theorem that extends the recent work of Kelley, Lovett, and Meka (STOC'24), itself a development of ideas from the breakthrough result of Kelley and Meka on three-term arithmetic progressions (FOCS'23).

Combinatorics,Computational Complexity
On sets of points with few odd secants

Simeon Ball,Bence Csajbók

DOI: https://doi.org/10.1017/S0963548319000245

2020-01-14

Abstract:We prove that, for q odd, a set of q + 2 points in the projective plane over the field with q elements has at least 2 q − c odd secants, where c is a constant and an odd secant is a line incident with an odd number of points of the set.

mathematics,statistics & probability,computer science, theory & methods
Schur covers of skew braces

T. Letourmy,L. Vendramin

DOI: https://doi.org/10.1016/j.jalgebra.2024.01.021

2024-01-31

Abstract:We develop the theory of Schur covers of finite skew braces. We prove the existence of at least one Schur cover. We also compute several examples. We prove that different Schur covers are isoclinic. Finally, we prove that Schur covers have the lifting property concerning projective representations of skew braces.

Group Theory,K-Theory and Homology,Quantum Algebra,Rings and Algebras
About almost covering subsets of the hypercube

Arijit Ghosh,Chandrima Kayal,Soumi Nandi

2024-09-25

Abstract:Let $\mathbb{F}$ be a field, and consider the hypercube $\{ 0, 1 \}^{n}$ in $\mathbb{F}^{n}$. Sziklai and Weiner (Journal of Combinatorial Theory, Series A 2022) showed that if a polynomial $P ( X_{1}, \dots, X_{n} ) \in \mathbb{F}[ X_{1}, \dots, X_{n}]$ vanishes on every point of the hypercube $\{0,1\}^{n}$ except those with at most $r$ many ones then the degree of the polynomial will be at least $n-r$. This is a generalization of Alon and Füredi's fundamental result (European Journal of Combinatorics 1993) about polynomials vanishing on every point of the hypercube except at the origin (point with all zero coordinates). Sziklai and Weiner proved their interesting result using Möbius inversion formula and the Zeilberger method for proving binomial equalities. In this short note, we show that a stronger version of Sziklai and Weiner's result can be derived directly from Alon and Füredi's result.

Combinatorics,Discrete Mathematics
Larger Corner-Free Sets from Better NOF Exactly-$N$ Protocols

Nati Linial,Adi Shraibman

DOI: https://doi.org/10.48550/arXiv.2102.00421

2021-10-03

Abstract: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+\delta,y), (x,y+\delta)$. 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 whether $x+y+z=N$ for inputs $x,y,z$ and fixed $N$. This is the first problem considered in the multiplayer Number On the Forehead (NOF) model. Despite the basic nature of this problem, no progress has been made on it throughout the years. Only recently have explicit protocols been found for the first time, yet no improvement in complexity has been achieved to date. The present paper offers the first improved protocol for the exactly-$N$ problem. This is also the first significant example where algorithmic ideas in communication complexity bear fruit in additive combinatorics.

Combinatorics
Avoiding secants of given size in finite projective planes

Tamás Héger,Zoltán Lóránt Nagy

2024-09-22

Abstract:Let $q$ be a prime power and $k$ be a natural number. What are the possible cardinalities of point sets ${S}$ in a projective plane of order $q$, which do not intersect any line at exactly $k$ points? This problem and its variants have been investigated before, in relation with blocking sets, untouchable sets or sets of even type, among others. In this paper we show a series of results which point out the existence of all or almost all possible values $m\in [0, q^2+q+1]$ for $|S|=m$, provided that $k$ is not close to the extremal values $0$ or $q+1$. Moreover, using polynomial techniques we show the existence of a point set $S$ with the following property: for every prescribed list of numbers $t_1, \ldots t_{q^2+q+1}$, $|S\cap \ell_i|\neq t_i$ holds for the $i$th line $\ell_i$, $\forall i \in \{1, 2, \ldots, q^2+q+1\}$.

Combinatorics
On Almost-Equidistant Sets - II

Alexandr Polyanskii

DOI: https://doi.org/10.37236/8044

2019-05-03

The Electronic Journal of Combinatorics

Abstract:A set in $\mathbb R^d$ is called almost-equidistant if for any three distinct points in the set, some two are at unit distance apart. First, we give a short proof of the result of Bezdek and Lángi claiming that an almost-equidistant set lying on a $(d-1)$-dimensional sphere of radius $r$, where $r<1/\sqrt{2}$, has at most $2d+2$ points. Second, we prove that an almost-equidistant set $V$ in $\mathbb R^d$ has $O(d)$ points in two cases: if the diameter of $V$ is at most $1$ or if $V$ is a subset of a $d$-dimensional ball of radius at most $1/\sqrt{2}+cd^{-2/3}$, where $c<1/2$. Also, we present a new proof of the result of Kupavskii, Mustafa and Swanepoel that an almost-equidistant set in $\mathbb R^d$ has $O(d^{4/3})$ elements.
Skew braces of size $p^2q$

Emiliano Acri,Marco Bonatto

DOI: https://doi.org/10.48550/arXiv.1912.11889

2020-05-08

Abstract:In this paper we enumerate the skew braces of size $p^2q$ for $p,q$ odd primes by the classification of regular subgroups of the holomorph of the groups of size $p^2q$. In particular, we provide explicit formulas for the skew braces of abelian type.

Group Theory,Quantum Algebra,Rings and Algebras
Stabbing simplices by points and flats

Boris Bukh,Jiří Matoušek,Gabriel Nivasch

DOI: https://doi.org/10.1007/s00454-008-9124-4

2008-09-18

Abstract:The following result was proved by Barany in 1982: For every d >= 1 there exists c_d > 0 such that for every n-point set S in R^d there is a point p in R^d contained in at least c_d n^{d+1} - O(n^d) of the simplices spanned by S. We investigate the largest possible value of c_d. It was known that c_d <= 1/(2^d(d+1)!) (this estimate actually holds for every point set S). We construct sets showing that c_d <= (d+1)^{-(d+1)}, and we conjecture this estimate to be tight. The best known lower bound, due to Wagner, is c_d >= gamma_d := (d^2+1)/((d+1)!(d+1)^{d+1}); in his method, p can be chosen as any centerpoint of S. We construct n-point sets with a centerpoint that is contained in no more than gamma_d n^{d+1}+O(n^d) simplices spanned by S, thus showing that the approach using an arbitrary centerpoint cannot be further improved. We also prove that for every n-point set S in R^d there exists a (d-2)-flat that stabs at least c_{d,d-2} n^3 - O(n^2) of the triangles spanned by S, with c_{d,d-2}>=(1/24)(1- 1/(2d-1)^2). To this end, we establish an equipartition result of independent interest (generalizing planar results of Buck and Buck and of Ceder): Every mass distribution in R^d can be divided into 4d-2 equal parts by 2d-1 hyperplanes intersecting in a common (d-2)-flat.

Combinatorics,Computational Geometry
Disproof of a conjecture by Erdős and Guy on the crossing number of hypercubes

Yuansheng Yang,Guoqing Wang,Haoli Wang,Yan Zhou

DOI: https://doi.org/10.48550/arXiv.1201.4700

2021-12-22

Abstract:Let $Q_n$ be the $n$-dimensional hypercube, and let ${\rm cr}(Q_n)$ be the \textit{crossing number} of $Q_n$. Erdős and Guy in 1973 conjectured the following equality: ${\rm cr}(Q_n)=\frac{5}{32}4^n-\lfloor\frac{n^2+1}{2}\rfloor 2^{n-2}$. In this paper, we construct a drawing of $Q_n$ with less crossings when $n>6$, which implies that for $n>6$ we have a strict inequality.

Combinatorics

On skew corner-free sets

Improved bounds for skew corner-free sets

Strong bounds for skew corner-free sets

Good bounds for sets lacking skew corners

Cyclotomic Constructions of Skew Hadamard Difference Sets.

New Constructions of Large Cyclic Subspace Codes and Sidon Spaces.

On generalized corners and matrix multiplication

Maximum subsets of $\mathbb{F}^n_q$ containing no right angles

Corners with polynomial side length

Larger Corner-Free Sets from Combinatorial Degenerations

Corners in Quasirandom Groups via Sparse Mixing

On sets of points with few odd secants

Schur covers of skew braces

About almost covering subsets of the hypercube

Larger Corner-Free Sets from Better NOF Exactly-$N$ Protocols

Avoiding secants of given size in finite projective planes

On Almost-Equidistant Sets - II

Skew braces of size $p^2q$

Stabbing simplices by points and flats

Disproof of a conjecture by Erdős and Guy on the crossing number of hypercubes