arXiv++ Combinatorics

The point-line incidence problem has been widely studied in Euclidean spaces and vector spaces over finite fields, whereas the analogous problem has rarely been considered over finite $p$-adic rings. In this paper, we investigate incidences in the $p$-adic setting and prove new incidence bounds for points and lines in $(\mathbb{Z}/p^k\mathbb{Z})^2$. Our first two results extend previously known incidence bounds over finite fields, assuming lines are well-separated. For non-separated lines, we establish a general incidence result for weighted points and lines under certain dimensional spacing conditions using the Fourier analytic method and the induction-on-scales argument.

Place cells are neurons that act as biological position sensors, associated with and firing in response to regions of an environment to situate an organism in space. These associations are recorded in (combinatorial) neural codes, motivating the following mathematical question: Which neural codes are generated by a collection of convex open sets in Euclidean space? Giusti and Itskov showed that a necessary condition for convexity is the absence of ``local obstructions." This necessary condition is, in fact, sufficient for certain families of codes. One such family consists of all codes with up to three maximal codewords. In this article, we investigate codes with four maximal codewords, showing that for many such codes, convexity is characterized by the absence of local obstructions, whereas for other such codes, convexity is characterized by the absence of local obstructions and a second type of obstruction, a ``wheel". Key to our analysis is a case-by-case investigation based on the nerve complex of the set of maximal codewords of a neural code. Up to symmetry, there are 20 possible nerves; and our results fully characterize convexity in 15 of the 20 cases.

Given the integral lattice $Λ^d$ in $d$-dimensional Euclidean space, partitions of the lattice nodes into orbits of finite-index subgroups of $Aut(Λ^d)$ have been computed for $d \leq 4$. These partitions can be interpreted as colourings of orbits defined up to permutation of colours. Complete results are obtained for $d=2$ up to 64 orbits, for $d=3$ up to 8 orbits, and for 2 orbits in dimension 4. The automorphism groups of the partitions are also determined. Our results for two orbits in dimension 3 correct the old result of H. Heesch [Z. Kristallogr., (1933), 85, 335--344] who overlooked one partition.

A finite set $X$ in a Euclidean space $\mathbb{R}^d$ is called Ramsey if for every $k$ there exists an integer $n$ such that whenever $\mathbb{R}^n$ is coloured with $k$ colours, there is a monochromatic copy of $X$. Graham conjectured that all spherical sets are Ramsey, but progress on this conjecture has been slow. A key result of Kříž is that all sets that embed in sets that are acted on transitively by a soluble group are Ramsey. We show that for nearly all known examples of Ramsey sets the converse is true, with only two possible exceptions.

This paper introduces a geometric representation of hypergraphs by representing hyperedges as simplices. Building on this framework, we employ homotopy groups to analyze the topological structure of hypergraphs embedded in high-dimensional Euclidean spaces. Under the assumptions of the triangulation and that all $i$-th homotopy groups are trivial for $i \leq d-2$, we provide a necessary and sufficient condition for a $d$-uniform hypergraph to be embeddable in $\mathbb{R}^d$, which can be regarded as a kind of high-dimensional extension of Wagner's Theorem for planar graphs. Specifically, we establish that a triangulated $d$-uniform topological hypergraph embeds into $\mathbb{R}^d$ if and only if it contains neither $K_{d+3}^d$ nor $K_{3,d+1}^d$ as a minor. Here, a triangulated $d$-uniform topological hypergraph constitutes a geometrized form of a $d$-uniform hypergraph, while $K_{d+3}^d$ and $K_{3,d+1}^d$ are the high-dimensional generalizations of the complete graph $K_5$ and the complete bipartite graph $K_{3,3}$ in $\mathbb{R}^d$, respectively.

We prove multiple generalizations of Fan's combinatorial labeling result for sphere triangulations. This can be seen as a comprehensive extension of the Borsuk--Ulam theorem. In typical applications, the Borsuk--Ulam theorem gives complexity bounds in a suitable sense, whereas our extension additionally provides insight into the structure of objects satisfying the complexity bound. This structure is governed by order types of finite point sets in Euclidean space and more generally by the intersection combinatorics of faces under continuous maps from the simplex. We develop some of those applications for sphere coverings, Kneser-type colorings, Hall-type results for hypergraphs, and hyperplane mass partitions, among other consequences. We provide a new proof of the topological Hall theorem and extend it into a result that simultaneously generalizes hypergraph Hall theorems and topological lower bounds for chromatic numbers.

We establish upper bounds for the size of two-distance sets in Euclidean space and spherical two-distance sets. The main recipe for obtaining upper bounds is the spectral method. We construct Seidel matrices to encode the distance relations and apply eigenvalue analysis to obtain explicit bounds. For Euclidean space, we have the upper bounds for the cardinality $n$ of a two-distance set. \[ n \le \dfrac{(d+1)\left(\left(\frac{1+δ^2}{1-δ^2}\right)^2 - 1\right)}{\left(\frac{1+δ^2}{1-δ^2}\right)^2-(d+1)}+1. \] if the two distances are $1$ and $δ$ in $\mathbb{R}^d$. For spherical two-distance sets with $n$ points and inner products $a, b$ on $\mathbb{S}^{d-1}$, we will have the following: \[ \begin{cases} n \le \dfrac{d\left(\left(\dfrac{a+b-2}{b-a}\right)^2-1\right)}{\left(\dfrac{a+b-2}{b-a}\right)^2-d}, &a+b \ge 0; n \le \dfrac{(d+1)\left(\left(\dfrac{a+b-2}{b-a}\right)^2-1\right)}{\left(\dfrac{a+b-2}{b-a}\right)^2-(d+1)}, &a+b < 0. \end{cases} \] Notice that the second bound (for $a+b < 0$) is the same as the relative bound for the equiangular lines in one higher dimension.

We study families of axis-aligned boxes in a $d$-dimensional Euclidean space $\mathbb{R}^d$ whose placement is restricted by bounds on the dimension of their pairwise intersections. More specifically, two such boxes in $\mathbb{R}^d$ are said to be \emph{$k$-neighborly} if their intersection has dimension at least $d-k$ and at most $d-1$. The maximum number of pairwise $k$-neighborly boxes in $\mathbb{R}^d$ is denoted by $n(k,d)$. It is known that $n(k,d)=Θ(d^k)$, for fixed $1\leqslant k\leqslant d$, however, exact formulas are known only in three cases: $k=1$, $k=d-1$, and $k=d$. In particular, the equality $n(1,d)=d+1$ is equivalent to the famous theorem of Graham and Pollak concerning partitions of complete graphs into complete bipartite graphs. In our main result we give a new construction of families of $k$-neighborly boxes which improves the lower bound for $n(k,d)$ when $k$ is close to $d$. Together with some recent upper bounds on $n(k,d)$, it gives the asymptotic equality $n(d-s,d)\thicksim\frac{2^s+1}{2^{s+1}}\cdot2^d$, for every fixed $s\leqslant d/2$. In our constructions we use a familiar interpretation of the problem in the language of Hamming cubes represented by binary strings with a special blank symbol, called \emph{joker}.

In the present paper, we study problems related to the classical Borsuk's problem. Recall that the Borsuk's problem consists in finding the smallest number $ f(n) $ of parts of smaller diameter into which an arbitrary set of diameter 1 in Euclidean space $ {\mathbb R}^n $ can be divided. Here we will discuss the quantity $ χ(n,b) $ which differs from the quantity $ f(n) $ in that in its definition an arbitrary set of diameter 1 in $ {\mathbb R}^n $ must be partitioned into parts whose diameters are strictly less than a given number $ b \in (0,1] $. In this paper, we collect information about the known upper bounds and, among other things, find a new upper bound for the quantity $ χ(n,b) $.

We study some examples when there is actually an equality in the linear algebra bound. When the vectors considered span in fact the entire space. We would like to point out that in some cases this provides some interesting extra information about the extremal configuration. We obtain results on set families satisfying conditions on pairwise intersections, or Hamming distances. Also, we have an application to 2-distance sets in Euclidean spaces.

In a seminal work, Cheng and Xu proved that for any positive integer \(r\), there exists an integer \(n_0\), independent of \(r\), such that every \(r\)-coloring of the \(n\)-dimensional Euclidean space \(\mathbb{E}^n\) with \(n \ge n_0\) contains either a monochromatic or a rainbow congruent copy of a square. This phenomenon of dimension-independence was later formalized as the canonical Ramsey property by Geheér, Sagdeev, and Tóth, who extended the result to all hypercubes, and to rectangles whose side lengths \(a\), \(b\) satisfy \((\frac{a}{b})^2\) is rational. They further posed the natural problem of whether every rectangle admits the canonical Ramsey property, regardless of the aspect ratio. In this paper, we show that all rectangles exhibit the canonical Ramsey property, thereby completely resolving this open problem of Geheér, Sagdeev, and Tóth. Our proof introduces a new structural reduction that identifies product configurations with bounded color complexity, enabling the application of simplex Ramsey theorems and product Ramsey amplification to control arbitrary aspect ratios.

In this paper, we obtain upper and lower bounds for the partition function $p(n)$ by using an elementary geometric inequality in Euclidean space and generalize the method to generalizations of the partition function.

Let $p_0,\ldots,p_n$ be a finite sequence of points in an Euclidean space $\R^d$. Suppose that there is a (pointlike) particle sitting at each point $p_i$. In a ``legal'' move, any one of them can jump over another, landing on the other side, at exactly the same distance. Under what circumstances can we guarantee that for any $\varepsilon>0$ and any other sequence of points $q_0,\ldots, q_n\in\R^d$, there is a finite sequence of legal moves that takes the particle at $p_i$ to the $\varepsilon$-neighborhood of $q_i$, simultaneously for every $i$? We prove that this is possible if and only if the additive group generated by the vectors $p_1-p_0,\ldots,p_n-p_0$ is dense in $\R^d$.

A bar-joint framework $(G,p)$ in Euclidean $d$-space is rigid if the only edge-length-preserving continuous motions arise from isometries of $\mathbb{R}^d$. In the generic case, rigidity is determined by the generic $d$-dimensional rigidity matroid of $G$. The combinatorial nature of this matroid is well understood when $d=1,2$ but open when $d\geq 3$. Jackson and Jordán 2005 characterised independence in this matroid for connected graphs with minimum degree at most $d+1$ and maximum degree at most $d+2$. Their characterisation is known to be false for $(d+2)$-regular graphs when $d\geq 4$ but when $d=3$ it remained open. Indeed they conjectured that their characterisation extends to 5-regular graphs when $d=3$. The purpose of this article is to prove their conjecture. That is, we prove that every 5-regular graph that has at most $3n-6$ edges in any subgraph on $n\geq 3$ vertices is independent in the generic 3-dimensional rigidity matroid.

A unit ball graph consists of a set of vertices, labeled by points in Euclidean space, and edges joining all pairs of points within distance 1. These geometric graphs are used to model a variety of spatial networks, including communication networks between agents in an autonomous swarm. In such an application, vertices and/or edges of the graph may not be perfectly reliable; an agent may experience failure or a communication link rendered inoperable. With the goal of designing robust swarm formations, or unit ball graphs with high reliability (probability of connectedness), in a preliminary conference paper we provided an algorithm with cubic time complexity to determine all possible changes to a unit ball graph by repositioning a single vertex. Using this algorithm and Monte Carlo simulations, one obtains an efficient method to modify a unit ball graph by moving a single vertex to a location which maximizes the reliability. Another important consideration in many swarm missions is area coverage, yet highly reliable ball graphs often contain clusters of vertices. Here, we generalize our previous algorithm to improve area coverage as well as reliability. Our algorithm determines a location to add or move a vertex within a unit ball graph which maximizes the reliability, under the constraint that no other vertices of the graph be within some fixed distance. We compare this method of obtaining graphs with high reliability and evenly distributed area coverage to another method which uses a modified Fruchterman-Reingold algorithm for ball graphs.

Recently, Adiprasito et al. have initiated the study of the so-called no-dimensional Tverberg problem. This problem can be informally stated as follows: Given $n\geq k$, partition an $n$-point set in Euclidean space into $k$ parts such that their convex hulls intersect a ball of relatively small radius. In this survey, we aim to present the recent progress towards solving the no-dimensional Tverberg problem and new open questions arising in its context. Also, we discuss the colorful variation of this problem and its algorithmic aspects, particularly focusing on the case when each part of a partition contains exactly 2 points. The latter turns out to be related to the following no-dimensional Tverberg-type problem of Huemer et al.: For an even set of points in Euclidean space, find a perfect matching such that the balls with diameters induced by its edges intersect.

The Grassmannian, which is the manifold of all $k$-dimensional subspaces in the Euclidean space $\mathbb{R}^n$, was decomposed through three equivalent methods connecting combinatorial geometries, Schubert cells and convex polyhedra by Gelfand, Goresky, MacPherson and Serganova. Recently, Liang, Wang and Zhao discovered a novel decomposition of the Grassmannian via an essential hyperplane arrangement, which generalizes the first two methods. However, their work was confined to essential hyperplane arrangements. Motivated by their research, we extend their results to a general hyperplane arrangement $\mathcal{A}$, and demonstrate that the $\mathcal{A}$-matroid, the $\mathcal{A}$-adjoint and the refined $\mathcal{A}$-Schubert decompositions of the Grassmannian are consistent. As a byproduct, we provide a classification for $k$-restrictions of $\mathcal{A}$ related to all $k$-subspaces through two equivalent methods: the $\mathcal{A}$-matroid decomposition and the $\mathcal{A}$-adjoint decomposition.

We show that a smooth $d$-manifold $M$ is diffeomorphic to $\mathbb R^d$ if it admits a Lyapunov-Reeb function, i.e., a smooth map $f:M\to\mathbb R$ that is proper, lower-bounded, and has a unique critical point. By constructing such functions, we prove that the moduli spaces of self-avoiding polygonal linkages and configurations are diffeomorphic to Euclidean spaces. This resolves the Refined Carpenter's Rule Problem and confirms a conjecture proposed by González and Sedano-Mendoza. Furthermore, we describe foliation structures of these moduli spaces via level sets of Lyapunov-Reeb functions and develop algorithms for related problems.

Graph rigidity, the study of vertex realizations in $\mathbb{R}^d$ and the motions that preserve the induced edge lengths, has been the focus of extensive research for decades. Its equivalency to graph connectivity for $d=1$ is well known; thus it can be viewed as a generalization that incorporates geometric constraints. Graph connectivity is commonly quantified by the algebraic connectivity, the second-smallest eigenvalue of the Laplacian matrix. Recently, a graph invariant for quantifying graph rigidity in $\mathbb{R}^d$, termed the generalized algebraic connectivity, was introduced. Recognizing the intrinsic relationship between rigidity and connectivity, this article presents new contributions. In particular, we introduce the d-rigidity ratio as a metric for expressing the level of rigidity of a graph in $\mathbb{R}^d$ relative to its connectivity. We show that this ratio is bounded and provide extremal examples. Additionally, we offer a new upper bound for the generalized algebraic connectivity that depends inversely on the diameter and on the vertex connectivity, thereby improving previous bounds. Moreover, we investigate the relationship between graph rigidity and the diameter, a measure of the graph's overall extent. We provide the maximal diameter achievable by rigid graphs and show that generalized path graphs serve as extremal examples. Finally, we derive an upper bound for the generalized algebraic connectivity of generalized path graphs that (asymptotically) improves upon existing ones by a factor of four.

We construct a $2$-distance set with $277$ points in the $23$-dimensional Euclidean space having distances $2$ and $\sqrt{6}$.