Caps in $\mathbf{\mathbb{Z}_n^2}$

Sascha Kurz

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

2014-01-17

Abstract:We consider point sets in $\mathbb{Z}_n^2$ where no three points are on a line - also called caps or arcs. For the determination of caps with maximum cardinality and complete caps with minimum cardinality we provide integer linear programming formulations and identify some values for small $n$.

Combinatorics

What problem does this paper attempt to address?

Arcs in $\Z^2_{2p}$

Zofia Stępień,Lucjan Szymaszkiewicz

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

2015-12-07

Combinatorics

Abstract:An arc in $\Z^2_n$ is defined to be a set of points no three of which are collinear. We describe some properties of arcs and determine the maximum size of arcs for some small $n$.
The cap set problem: 41-cap 5-flats

Henry Robert Thackeray

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

2022-06-20

Abstract:An s-cap n-flat, or an n-dimensional cap of size s, is a pair (S,F) where F is an n-dimensional affine space over Z/3Z and the size-s subset S of F contains no triple of collinear points. The cap set problem in dimension n asks for the largest s for which an s-cap n-flat exists. This series of articles investigates the cap set problem in dimensions up to and including 7. This is the second paper in the series. By applying and adapting methods from the first paper in the series, we systematically classify all 5-dimensional caps of size at least 41.

Combinatorics
The cap set problem: Up to dimension 7

Henry Robert Thackeray

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

2022-06-20

Abstract:An s-cap n-flat is given by a set of s points, no three of which are on a common line, in an n-dimensional affine space over the field of three elements. The cap set problem in dimension n is: what is the maximum s such that there is an s-cap n-flat? The first two papers in this series of articles considered the cap set problem in dimensions up to and including 5. In this paper, which is the third in the series, we consider dimensions 6 and 7: we prove that every 110-cap 6-flat is a 112-cap 6-flat minus two cap points, and that there are no 289-cap 7-flats.

Combinatorics
Demicaps in AG(4,3) and Their Relation to Maximal Cap Partitions

Jordan Awan,Clare Frechette,Yumi Li,Elizabeth McMahon

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

2021-06-27

Abstract:In this paper, we introduce a fundamental substructure of maximal caps in the affine geometry $AG(4,3)$ that we call \emph{demicaps}. Demicaps provide a direct link to particular partitions of $AG(4,3)$ into 4 maximal caps plus a single point. The full collection of 36 maximal caps that are in exactly one partition with a given cap $C$ can be expressed as unions of two disjoint demicaps taken from a set of 12 demicaps; these 12 can also be found using demicaps in $C$. The action of the affine group on these 36 maximal caps includes actions related to the outer automorphisms of $S_6$.

Combinatorics
Partitions of AG(4,3) into Maximal Caps

Michael Follett,Kyle Kalail,Elizabeth McMahon,Catherine Pelland,Robert Won

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

2013-02-20

Abstract:In a geometry, a maximal cap is a collection of points of largest size containing no lines. In AG(4,3), maximal caps contain 20 points. The 81 points of AG(4,3) can be partitioned into 4 mutually disjoint maximal caps together with a single point P, where every pair of points that makes a line with P lies entirely inside one of those caps. The caps in a partition can be paired up so that both pairs are either in exactly one partition or they are both in two different partitions. This difference determines the two equivalence classes of partitions of AG(4,3) under the action by affine transformations.

Combinatorics
Maximal subsets free of arithmetic progressions in arbitrary sets

Aliaksei Semchankau

DOI: https://doi.org/10.1134/S0001434617090097

2020-10-09

Abstract:We consider the problem of determining the maximum cardinality of a subset containing no arithmetic progressions of length $k$ in a given set of size $n$. It is proved that it is sufficient, in a certain sense, to consider the interval $[1,\dots, n]$. The study continues the work of Komlós, Sulyok, and Szemerédi.

Combinatorics,Number Theory
On the minimum diameter of plane integral point sets

Sascha Kurz,Alfred Wassermann

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

2008-04-08

Abstract:Since ancient times mathematicians consider geometrical objects with integral side lengths. We consider plane integral point sets $\mathcal{P}$, which are sets of $n$ points in the plane with pairwise integral distances where not all the points are collinear. The largest occurring distance is called its diameter. Naturally the question about the minimum possible diameter $d(2,n)$ of a plane integral point set consisting of $n$ points arises. We give some new exact values and describe state-of-the-art algorithms to obtain them. It turns out that plane integral point sets with minimum diameter consist very likely of subsets with many collinear points. For this special kind of point sets we prove a lower bound for $d(2,n)$ achieving the known upper bound $n^{c_2\log\log n}$ up to a constant in the exponent. A famous question of Erdős asks for plane integral point sets with no 3 points on a line and no 4 points on a circle. Here, we talk of point sets in general position and denote the corresponding minimum diameter by $\dot{d}(2,n)$. Recently $\dot{d}(2,7)=22 270$ could be determined via an exhaustive search.

Combinatorics
Maximal Sets of Equiangular Lines

Blake C. Stacey

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

2020-08-31

Abstract:I introduce the problem of finding maximal sets of equiangular lines, in both its real and complex versions, attempting to write the treatment that I would have wanted when I first encountered the subject. Equiangular lines intersect in the overlap region of quantum information theory, the octonions and Hilbert's twelfth problem. The question of how many equiangular lines can fit into a space of a given dimension is easy to pose -- a high-school student can grasp it -- yet it is hard to answer, being as yet unresolved. This contrast of ease and difficulty gives the problem a classic charm.

Quantum Physics
An extremum property characterizing the n-dimensional regular cross-polytope

Wlodzimierz Kuperberg

DOI: https://doi.org/10.48550/arXiv.math/0112290

2001-12-28

Metric Geometry

Abstract:In the spirit of the Genetics of the Regular Figures, by L. Fejes T\'oth, we prove the following theorem: If $2n$ points are selected in the $n$-dimensional Euclidean ball $B^n$ so that the smallest distance between any two of them is as large as possible, then the points are the vertices of an inscribed regular cross-polytope. This generalizes a result of R. A. Rankin for $2n$ points on the surface of the ball. We also generalize, in the same manner, a theorem of Davenport and Haj\'os on a set of $n+2$ points. As a corollary, we obtain a solution to the problem of packing $k$ unit $n$-dimensional balls $(n+2\le k\le 2n)$ into a spherical container of minimum radius.
Upper bounds for the number of substructures in finite geometries from the container method

Sam Mattheus,Geertrui Van de Voorde

2024-04-08

Abstract:We use techniques from algebraic and extremal combinatorics to derive upper bounds on the number of independent sets in several (hyper)graphs arising from finite geometry. In this way, we obtain asymptotically sharp upper bounds for partial ovoids and EKR-sets of flags in polar spaces, line spreads in $\mathrm{PG}(2r-1,q)$ and plane spreads in $\mathrm{PG}(5,q)$, and caps in $\mathrm{PG}(3,q)$. The latter result extends work due to Roche-Newton and Warren and Bhowmick and Roche-Newton. Finally, we investigate caps in $p$-random subsets of $\mathrm{PG}(r,q)$, which parallels recent work for arcs in projective planes by Bhowmick and Roche-Newton, and by Roche-Newton and Warren, and arcs in projective spaces by Chen, Liu, Nie and Zeng.

Combinatorics
Maximal line-free sets in $\mathbb{F}_p^n$

Christian Elsholtz,Jakob Führer,Erik Füredi,Benedek Kovács,Péter Pál Pach,Dániel Gábor Simon,Nóra Velich

2024-05-07

Abstract:We study subsets of $\mathbb{F}_p^n$ that do not contain progressions of length $k$. We denote by $r_k(\mathbb{F}_p^n)$ the cardinality of such subsets containing a maximal number of elements. In this paper we focus on the case $k=p$ and therefore sets containing no full line. A~trivial lower bound $r_p(\mathbb{F}_p^n)\geq(p-1)^n$ is achieved by a hypercube of side length $p-1$ and it is known that equality holds for $n\in\{1,2\}$. We will however show that $r_p(\mathbb{F}_p^3)\geq (p-1)^3+p-2\sqrt{p}$, which is the first improvement in the three dimensional case that is increasing in $p$. We will also give the upper bound $r_p(\mathbb{F}_p^{3})\leq p^3-2p^2-(\sqrt{2}-1)p+2$ as well as generalizations for higher dimensions. Finally we present some bounds for individual $p$ and $n$, in particular $r_5(\mathbb{F}_5^{3})\geq 70$ and $r_7(\mathbb{F}_7^{3})\geq 225$ which can be used to give the asymptotic lower bound $4.121^n$ for $r_5(\mathbb{F}_5^{n})$ and $6.082^n$ for $r_7(\mathbb{F}_7^{n})$.

Combinatorics
The number of arcs in $\mathbb{F}_q^2$ of a given cardinality

Rajko Nenadov

2024-10-29

Abstract:A subset of $\mathbb{F}_q^2$ is called an arc if it does not contain three collinear points. We show that there are at most $\binom{(1 + o(1))q}{m}$ arcs of size $m \gg q^{1/2} (\log q)^{3/2}$, nearly matching a trivial lower bound $\binom{q}{m}$. This was previously known to hold for $m \gg q^{2/3} (\log q)^3$, due to Bhowmick and Roche-Newton. The lower bound on $m$ is best possible up to a logarithmic factor.

Combinatorics
Restricted sums of sets of cardinality $2p + 1$ in $\mathbb{Z}_p^2$

Jacob Terkel

2024-10-23

Abstract:Let $A\subseteq \mathbb{Z}_p^2$ be a set of size $2p+1$ for prime $p\geq 5$. In this paper, we prove that $A\hat{+}A=\{a_1+a_2\mid a_1,a_2\in A, a_1\neq a_2\}$ has cardinality at least $4p$. This result is the first advancement in over two decades on a variant of the Erdős-Heilbronn problem studied by Eliahou and Kervaire.

Combinatorics,Number Theory
Caps and Wickets

Jakob Führer,Jozsef Solymosi

2024-06-26

Abstract:Let $H_n^{(3)}$ be a 3-uniform linear hypergraph, i.e. any two edges have at most one vertex common. A special hypergraph, {\em wicket}, is formed by three rows and two columns of a $3 \times 3$ point matrix. In this note, we give a new lower bound on the Turán number of wickets using estimates on cap sets. We also show that this problem is closely connected to important questions in additive combinatorics.

Combinatorics
Enumeration of points, lines, planes, etc

June Huh,Botong Wang

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

2017-01-30

Abstract:One of the earliest results in enumerative combinatorial geometry is the following theorem of de Bruijn and Erdős: Every set of points $E$ in a projective plane determines at least $|E|$ lines, unless all the points are contained in a line. Motzkin and others extended the result to higher dimensions, who showed that every set of points $E$ in a projective space determines at least $|E|$ hyperplanes, unless all the points are contained in a hyperplane. Let $E$ be a spanning subset of a $d$-dimensional vector space. We show that, in the partially ordered set of subspaces spanned by subsets of $E$, there are at least as many $(d-k)$-dimensional subspaces as there are $k$-dimensional subspaces, for every $k$ at most $d/2$. This confirms the "top-heavy" conjecture of Dowling and Wilson for all matroids realizable over some field. The proof relies on the decomposition theorem package for $\ell$-adic intersection complexes.

Combinatorics,Commutative Algebra,Algebraic Geometry
The Geometric Structure of Max-Plus Hemispaces

Daniel Ehrmann,Zach Higgins,Viorel Nitica

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

2014-02-12

Abstract:Given a set S endowed with a convexity structure, a hemispace is a convex subset of S which has convex complement. We recall that R^n_{max} is a semimodule over the max-plus semifield. A convexity structure of current interest is provided by R^n_{max} naturally endowed with the max-plus (or tropical) convexity. In this paper we provide a geometric description of a max-plus hemispace. We show that a max-plus hemispace has a conical decomposition as a finite union of disjoint max-plus cones. These cones can be interpreted as faces of several max-plus hyperplanes. Briec-Horvath proved that the closure of a max-plus hemispace is bounded by a max-plus hyperplane. Given a hyperplane, we give a simple condition for the assignment of the faces between a pair of complementary max-plus hemispaces. Our result allows for counting and enumeration of the associated max-plus hemispaces. We recall that an n-dimensional max-plus hyperplane is called strictly affine and nondegenerate if it has a linear equation that contains all variables x_1,x_2,...,x_n and a free term. We prove that the number of max-plus hemispaces in R^n_max, supported by strictly affine nondegenerate hyperplanes centered in the origin, is twice the n-th ordered Bell number. Our work can be viewed as a complement to the recent results of Katz-Nitica-Sergeev, who described generating sets for max-plus hemispaces, and the results of Briec-Horvath, who proved that closed/open max-plus hemispaces are max-plus closed/open halfspaces.

Metric Geometry
Some spherical coverings on S2 and their algebraic numbers

Randall L. Rathbun

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

2020-08-10

Metric Geometry

Abstract:Spherical coverings on the S2 sphere and their algebraic numbers are given for the putatively optimal global solutions for some n-congruent spherical caps with minimal radius to completely cover the S2 sphere. A few locally optimal solutions are also examined.
Small-dimensional normed barrelled spaces

Will Brian,Christopher Stuart

2024-10-18

Abstract:We prove that there is a normed barrelled space with dimension $\mathrm{non}(\mathcal M)$, which denotes the smallest cardinality of a non-meager subset of $\mathbb R$. Consequently, it is consistent with $\mathsf{ZFC}$ that there is a normed barrelled space with dimension $<\!\mathfrak{c}$. This answers a question of Sánchez Ruiz and Saxon. This is a special case of a more general theorem: for every infinite cardinal $\kappa$, every Banach space with density character $\kappa$ contains a barrelled subspace with dimension $\mathrm{cf}[\kappa]^\omega \cdot \mathrm{non}(\mathcal M)$. We also prove that if the dual of a Banach space does not contain $c_0$ or $\ell^p$ for any $p \geq 1$, then that spaces does not have a barrelled subspaces with dimension $<\!\mathrm{cov}(\mathcal N)$, which denotes the smallest cardinality of a collection of Lebesgue null sets covering $\mathbb R$. In particular, it is consistent with $\mathsf{ZFC}$ that no classical Banach spaces contain barrelled subspaces with dimension $\mathfrak{b}$. This partly answers another question of Sánchez Ruiz and Saxon.

Functional Analysis,Logic
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
$(n,k)$-Besicovitch sets do not exist in $\mathbb{Z}_p^n$ and $\hat{\mathbb{Z}}^n$ for $k\ge 2$

Manik Dhar

2023-12-05

Abstract:Besicovitch showed that a compact set in $\mathbb{R}^n$ which contains a unit line segment in every direction can have measure $0$. These constructions also work over other metric spaces like the $p$-adics and profinite integers. It is conjectured that it is impossible to construct sets with measure $0$ which contain a unit $2$-disk in every direction in $\mathbb{R}^n$. We prove that over the $p$-adics and profinite integers any set which contains a 2-flat in every direction must have positive measure. The main ingredients are maximal Kakeya estimates for $(\mathbb{Z}/N\mathbb{Z})^n$ proven in [Dha22] and adapting Fourier analytic arguments of Oberlin [Obe05]. In general, we prove $L^{n-1}$ to $L^{n-1}$ estimates for the maximal operator corresponding to $2$-flats.

Classical Analysis and ODEs,Combinatorics

Caps in $\mathbf{\mathbb{Z}_n^2}$

Arcs in $\Z^2_{2p}$

The cap set problem: 41-cap 5-flats

The cap set problem: Up to dimension 7

Demicaps in AG(4,3) and Their Relation to Maximal Cap Partitions

Partitions of AG(4,3) into Maximal Caps

Maximal subsets free of arithmetic progressions in arbitrary sets

On the minimum diameter of plane integral point sets

Maximal Sets of Equiangular Lines

An extremum property characterizing the n-dimensional regular cross-polytope

Upper bounds for the number of substructures in finite geometries from the container method

Maximal line-free sets in $\mathbb{F}_p^n$

The number of arcs in $\mathbb{F}_q^2$ of a given cardinality

Restricted sums of sets of cardinality $2p + 1$ in $\mathbb{Z}_p^2$

Caps and Wickets

Enumeration of points, lines, planes, etc

The Geometric Structure of Max-Plus Hemispaces

Some spherical coverings on S2 and their algebraic numbers

Small-dimensional normed barrelled spaces

Avoiding secants of given size in finite projective planes

$(n,k)$-Besicovitch sets do not exist in $\mathbb{Z}_p^n$ and $\hat{\mathbb{Z}}^n$ for $k\ge 2$