An example of an "unlinked" set of $2k + 3$ points in $2k$-space

M. Starkov

2024-02-14

Abstract:Take any $d + 3$ points in $\mathbb{R}^d$. It is known that

Combinatorics,Metric Geometry

What problem does this paper attempt to address?

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.
On almost-equidistant sets

Alexandr Polyanskii

DOI: https://doi.org/10.1016/j.laa.2018.11.005

2018-11-10

Abstract:A finite set of points in $\mathbb R^d$ is called almost-equidistant if among any three distinct points in the set, some two are at unit distance. We prove that an almost-equidistant set in $\mathbb R^d$ has cardinality at most $5d^{13/9}$.

Metric Geometry,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
Bounding the Size of an Almost-Equidistant Set in Euclidean Space

ANDREY KUPAVSKII,NABIL H. MUSTAFA,KONRAD J. SWANEPOEL

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

2019-10-07

Abstract:A set of points in d -dimensional Euclidean space is almost equidistant if, among any three points of the set, some two are at distance 1. We show that an almost-equidistant set in R d has cardinality O ( d 4/3 ).

mathematics,statistics & probability,computer science, theory & methods
$3$-cluster-free families of subspaces

Gabriel Currier,Shahriar Shahriari

2024-03-08

Abstract:Three $k$-dimensional subspaces $A$, $B$, and $C$ of an $n$-dimensional vector space $V$ over a finite field are called a $3$-cluster if $A \cap B \cap C = \{\mathbf{0}_V\}$ and yet $\dim(A+B+C) \leq 2k$. A special kind of $3$-cluster, which we call a covering triple, consists of subspaces $A,B,C$ such that $A = (A \cap B )\oplus (A \cap C)$. We prove that, for $2 \leq k \le n/2$, the largest size of a covering triple-free family of $k$-dimensional subspaces is the same as the size of the largest such star (a family of subspaces all containing a designated non-zero vector). Moreover, we show that if $k < n/2$, then stars are the only families achieving this largest size. This in turn implies the same result for $3$-clusters, which gives the vector space-analogue of a theorem of Mubayi for set systems.

Combinatorics
On the two-distance embedding in real Euclidean space of coherent configuration of type (2,2;3)

Eiichi Bannai,Etsuko Bannai,Chin-Yen Lee,Ziqing Xiang,Wei-Hsuan Yu

DOI: https://doi.org/10.48550/arxiv.2211.02331

2022-01-01

Abstract: Finding the maximum cardinality of a $2$-distance set in Euclidean space is a classical problem in geometry. Lison\v{e}k in 1997 constructed a maximum $2$-distance set in $\mathbb R^8$ with $45$ points. That $2$-distance set constructed by Lison\v{e}k has a distinguished structure of a coherent configuration of type $(2,2;3)$ and is embedded in two concentric spheres in $\mathbb R^8$. In this paper we study whether there exists any other similar embedding of a coherent configuration of type $(2,2;3)$ as a $2$-distance set in $\mathbb R^n$, without assuming any restriction on the size of the set. We prove that there exists no such example other than that of Lison\v{e}k. The key ideas of our proof are as follows: (i) study the geometry of the embedding of the coherent configuration in Euclidean spaces and to drive diophantine equations coming from this embedding. (ii) solve diophantine equations with certain additional conditions of integrality of some parameters of the combinatorial structure by using the method of auxiliary equations.
On sets of $n$ points in general position that determine lines that can be pierced by $n$ points

Chaya Keller,Rom Pinchasi

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

2019-08-18

Abstract:Let $P$ be a set of $n$ points in general position in the plane. Let $R$ be a set of $n$ points disjoint from $P$ such that for every $x,y \in P$ the line through $x$ and $y$ contains a point in $R$ outside of the segment delimited by $x$ and $y$. We show that $P \cup R$ must be contained in a cubic curve.

Combinatorics,Computational Geometry
Tight colorful no-dimension Tverberg theorem

Polina Barabanshchikova,Alexander Polyanskii

2024-08-12

Abstract:We prove a tight colorful dimension-free Tverberg theorem asserting that for any pairwise disjoint $k$-point sets $Q_1,\dots, Q_r$ in the Euclidean space, there are a partition of the union $Q_1\cup\dots \cup Q_r$ into $r$-point subsets $P_1,\dots, P_k$ and a ball of radius $$ \frac{\mathrm{max}_{1\leq i\leq k}\mathrm{diam} P_i}{\sqrt{2r}} $$ such that each $P_i$ shares with each $Q_j$ exactly one point and the ball intersects the convex hulls of $P_i$.

Metric Geometry
On Optimal Point Sets Determining Distinct Triangles

Eyvindur A. Palsson,Edward Yu

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

2024-05-12

Abstract:Erdős and Fishburn studied the maximum number of points in the plane that span $k$ distances and classified these configurations, as an inverse problem of the Erdős distinct distances problem. We consider the analogous problem for triangles. Past work has obtained the optimal sets for one and two distinct triangles in the plane. In this paper, we resolve a conjecture that at most six points in the plane can span three distinct triangles, and obtain the hexagon as the unique configuration that achieves this. We also provide evidence that optimal sets cannot be on the square lattice in the general case.

Combinatorics
Planar point sets with forbidden $4$-point patterns and few distinct distances

Terence Tao

2024-09-02

Abstract:We show that for any large $n$, there exists a set of $n$ points in the plane with $O(n^2/\sqrt{\log n})$ distinct distances, such that any four points in the set determine at least five distinct distances. This answers (in the negative) a question of Erdős. The proof combines an analysis by Dumitrescu of forbidden four-point patterns with an algebraic construction of Thiele and Dumitrescu (to eliminate parallelograms), as well as a randomized transformation of that construction (to eliminate most other forbidden patterns).

Combinatorics
Volumes spanned by $k$ point configurations in $\mathbb{R}^d$

Belmiro Galo,Alex McDonald

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

2021-02-04

Abstract:Given a $k$-point configuration $x\in (\mathbb{R}^d)^k$, we consider the $\binom{k}{d}$-vector of volumes determined by choosing any $d$ points of $x$. We prove that a compact set $E\subset \R^d$ determines a positive measure of such volume types if the Hausdorff dimension of $E$ is greater than $d-\frac{d-1}{2k-d}$. This generalizes results of Greenleaf, Iosevich, and Mourgoglou, Greenleaf, Iosevich, and Taylor, and the second listed author.

Classical Analysis and ODEs
Evasive Sets, Covering by Subspaces, and Point-Hyperplane Incidences

Benny Sudakov,István Tomon

DOI: https://doi.org/10.1007/s00454-023-00601-1

Abstract:Given positive integers k ≤ d and a finite field F , a set S ⊂ F d is (k, c)-subspace evasive if every k-dimensional affine subspace contains at most c elements of S. By a simple averaging argument, the maximum size of a (k, c)-subspace evasive set is at most c | F | d - k . When k and d are fixed, and c is sufficiently large, the matching lower bound Ω ( | F | d - k ) is proved by Dvir and Lovett. We provide an alternative proof of this result using the random algebraic method. We also prove sharp upper bounds on the size of (k, c)-evasive sets in case d is large, extending results of Ben-Aroya and Shinkar. The existence of optimal evasive sets has several interesting consequences in combinatorial geometry. We show that the minimum number of k-dimensional linear hyperplanes needed to cover the grid [ n ] d ⊂ R d is Ω d ( n d ( d - k ) d - 1 ) , which matches the upper bound proved by Balko et al., and settles a problem proposed by Brass et al. Furthermore, we improve the best known lower bound on the maximum number of incidences between points and hyperplanes in R d assuming their incidence graph avoids the complete bipartite graph K c , c for some large constant c = c ( d ) .
On a $d$-degree Erdős-Ko-Rado Theorem

Hao Huang,Yi Zhang

2024-07-19

Abstract:A family of subsets $\mathcal{F}$ is intersecting if $A \cap B \neq \emptyset$ for any $A, B \in \mathcal{F}$. In this paper, we show that for given integers $k > d \ge 2$ and $n \ge 2k+2d-3$, and any intersecting family $\mathcal{F}$ of $k$-subsets of $\{1, \cdots, n\}$, there exists a $d$-subset of $[n]$ contained in at most $\binom{n-d-1}{k-d-1}$ subsets of $\mathcal{F}$. This result, proved using spectral graph theory, gives a $d$-degree generalization of the celebrated Erdős-Ko-Rado Theorem, improving a theorem of Kupavskii.

Combinatorics
On cliques in three-dimensional dense point-line arrangements

Andrew Suk,Ji Zeng

2024-08-29

Abstract:As a variant of the celebrated Szemerédi--Trotter theorem, Guth and Katz proved that $m$ points and $n$ lines in $\mathbb{R}^3$ with at most $\sqrt{n}$ lines in a common plane must determine at most $O(m^{1/2}n^{3/4})$ incidences for $n^{1/2}\leq m\leq n^{3/2}$. This upper bound is asymptotically tight and has an important application in Erdős distinct distance problem. We characterize the extremal constructions towards the Guth--Katz bound by proving that such a large dense point-line arrangement must contain a $k$-clique in general position provided $m \ll n$. This is an analog of a result by Solymosi for extremal Szemerédi--Trotter constructions in the plane.

Combinatorics
Acute sets of exponentially optimal size

Balázs Gerencsér,Viktor Harangi

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

2017-09-21

Abstract:We present a simple construction of an acute set of size $2^{d-1}+1$ in $\mathbb{R}^d$ for any dimension $d$. That is, we explicitly give $2^{d-1}+1$ points in the $d$-dimensional Euclidean space with the property that any three points form an acute triangle. It is known that the maximal number of such points is less than $2^d$. Our result significantly improves upon a recent construction, due to Dmitriy Zakharov, with size of order $\varphi^d$ where $\varphi = (1+\sqrt{5})/2 \approx 1.618$ is the golden ratio.

Metric Geometry,Combinatorics
Distinct distances between a collinear set and an arbitrary set of points

Ariel Bruner,Micha Sharir

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

IF: 0.961

2018-01-01

Discrete Mathematics

Abstract:We consider the number of distinct distances between two finite sets of points in Rk, for any constant dimension k≥2, where one set P1 consists of n points on a line l, and the other set P2 consists of m arbitrary points, such that no hyperplane orthogonal to l and no hypercylinder having l as its axis contains more than O(1) points of P2. The number of distinct distances between P1 and P2 is then Ωminn2∕3m2∕3,n10∕11m4∕11log2∕11m,n2,m2.Without the assumption on P2, there exist sets P1, P2 as above, with only O(m+n) distinct distances between them.

mathematics
A Semi-orthogonal Sequence in the Derived Category of the Hilbert Scheme of Three Points

Erik Nikolov

2024-04-19

Abstract:For a smooth projective variety $X$ of dimension $d \geq 5$ over an algebraically closed field $k$ of characteristic zero, it is shown in this paper that the bounded derived category of the Hilbert scheme of three points $X^{[3]}$ admits a semi-orthogonal sequence of length $\binom{d-3}{2}$. Each subcategory in this sequence is equivalent to the derived category of $X$ and realized as the image of a Fourier-Mukai transform along a Grassmannian bundle $\mathbb{G}$ over $X$ parametrizing planar subschemes in $X^{[3]}$. The main ingredient in the proof is the computation of the normal bundle of $\mathbb{G}$ in $X^{[3]}$. An analogous result for generalized Kummer varieties is deduced at the end.

Algebraic Geometry
$k$-spaces of non-domain-valued geometric points

Amartya Goswami

2024-10-01

Abstract:The aim of this paper is to study the topological properties of algebraic sets with zero divisors. We impose a subbasic topology on the set of proper ideals of a $k$-algebra and this new ``$k$-space'' becomes a generalization of the corresponding Zariski space. We prove that a $k$-space is $T_{\scriptscriptstyle 0}$, quasi-compact, spectral, and connected. Moreover, we study continuous maps between such $k$-spaces. We conclude with a question about construction of a sheaf of $k$-spaces similar to affine schemes.

Algebraic Geometry
Acute sets

D. Zakharov

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

2017-04-30

Abstract:A set of points in $\mathbb{R}^d$ is acute, if any three points from this set form an acute angle. In this note we construct an acute set in $\mathbb{R}^d$ of size at least $2^{d/2}$.

Metric Geometry,Combinatorics
Equilateral Dimension of the Rectilinear Space

Jack Koolen,Monique Laurent,Alexander Schrijver

DOI: https://doi.org/10.1023/A:1008391712305

2000-01-01

Abstract:Itis conjectured that there exist at most 2 k equidistantpoints in the k -dimensional rectilinear space.This conjecture has been verified for k ≤ 3; we show here its validity in dimension k = 4. We alsodiscuss a number of related questions. For instance, what isthe maximum number of equidistant points lying in the hyperplane: ∑_i = 1^k x_i = 0? If this number would be equal to k , then the above conjecture would follow. Weshow, however, that this number is ≥ k + 1 for k ≥ 4.

An example of an "unlinked" set of $2k + 3$ points in $2k$-space

On Almost-Equidistant Sets - II

On almost-equidistant sets

Enumeration of points, lines, planes, etc

Bounding the Size of an Almost-Equidistant Set in Euclidean Space

$3$-cluster-free families of subspaces

On the two-distance embedding in real Euclidean space of coherent configuration of type (2,2;3)

On sets of $n$ points in general position that determine lines that can be pierced by $n$ points

Tight colorful no-dimension Tverberg theorem

On Optimal Point Sets Determining Distinct Triangles

Planar point sets with forbidden $4$-point patterns and few distinct distances

Volumes spanned by $k$ point configurations in $\mathbb{R}^d$

Evasive Sets, Covering by Subspaces, and Point-Hyperplane Incidences

On a $d$-degree Erdős-Ko-Rado Theorem

On cliques in three-dimensional dense point-line arrangements

Acute sets of exponentially optimal size

Distinct distances between a collinear set and an arbitrary set of points

A Semi-orthogonal Sequence in the Derived Category of the Hilbert Scheme of Three Points

$k$-spaces of non-domain-valued geometric points

Acute sets

Equilateral Dimension of the Rectilinear Space