arXiv++ Combinatorics

Split matroids form a minor-closed class of matroids, and are defined by placing conditions on the system of split hyperplanes in the matroid base polytope. They can equivalently be defined in terms of structural properties involving cyclic flats. We confirm a conjecture of Joswig and Schröter by proving an excluded-minor characterisation of the class of split matroids.

Mustafin varieties are flat degenerations of projective spaces, induced by a choice of an $n-$tuple of lattices in a vector space over a non-archimedean field. They were introduced by Mustafin in the 70s in order to generalise Mumford's groundbreaking work on the unformisation of curves to higher dimension. These varieties have a rich combinatorial structure as can be seen in pioneering work of Cartwright, Häbich, Sturmfels and Werner. In this paper, we introduce a new approach to Mustafin varieties in terms of images of rational maps, which were studied by Li. Applying tropical intersection theory and tropical convex hull computations, we use this method to give a new combinatorial description of the irreducible components of the special fibers of Mustafin varieties. This enables connections to various topics. In particular, we see that any multiview variety appears as an irreducible component of the special fiber of some Mustafin variety. Furthermore, we use an interpretation of Mustafin varieties as a moduli functor introduced by Faltings to relate them to certain moduli functors, called linked Grassmannians. These objects are featured in limit linear series theory. The focal point of study regarding linked Grassmannians are so-called \textit{simple points}. As a direct consequence of the new combinatorial description of Mustafin varieties, we prove that the simple points of linked Grassmannians are dense in every fiber. Finally, we use the connection to linked Grassmannians, to relate the special fibers of Mustafin varieties to certain local models of unitary Shimura varieties.

Locally repairable codes for distributed storage systems have gained a lot of interest recently, and various constructions can be found in the literature. However, most of the constructions result in either large field sizes and hence too high computational complexity for practical implementation, or in low rates translating into waste of the available storage space. In this paper we address this issue by developing theory towards code existence and design over a given field. This is done via exploiting recently established connections between linear locally repairable codes and matroids, and using matroid-theoretic characterisations of linearity over small fields. In particular, nonexistence can be shown by finding certain forbidden uniform minors within the lattice of cyclic flats. It is shown that the lattice of cyclic flats of binary matroids have additional structure that significantly restricts the possible locality properties of $\mathbb{F}_{2}$-linear storage codes. Moreover, a collection of criteria for detecting uniform minors from the lattice of cyclic flats of a given matroid is given, which is interesting in its own right.

An elliptic orbifold is the quotient of an elliptic curve by a finite group. Eskin and Okounkov proved that generating functions for the number of branched covers of an elliptic curve with specified ramification are quasimodular forms for the full modular group $SL_2(\mathbb{Z})$. They later generalized this theorem to the enumeration of branched covers of a pillowcase, i.e. the quotient of an elliptic curve by the elliptic involution, proving quasi-modularity for $Γ_1(2)$. We generalize their work to the quotient of an elliptic curve by cyclic groups of orders $N=3$, $4$, $6$, proving quasi-modularity for level $Γ_1(N)$. One corollary is that certain generating functions of hexagon, square, and triangle tilings of compact surfaces are quasi-modular. These tilings enumerate lattice points in moduli spaces of flat surfaces. We analyze the asymptotic behavior as the number of tiles goes to infinity, theoretically giving an algorithm to compute the Masur-Veech volumes of moduli spaces of cubic, quartic, and sextic differentials. We also deduce that the volume is polynomial in $π$.

An abstract polytope is \emph{flat} if every facet is incident on every vertex. In this paper, we prove that no chiral polytope has flat finite regular facets and finite regular vertex-figures. We then determine the three smallest non-flat regular polytopes in each rank, and use this to show that for $n \geq 8$, a chiral $n$-polytope has at least $48(n-2)(n-2)!$ flags.

We introduce a reduction from the distinct distances problem in ${\mathbb R}^d$ to an incidence problem with $(d-1)$-flats in ${\mathbb R}^{2d-1}$. Deriving the conjectured bound for this incidence problem (the bound predicted by the polynomial partitioning technique) would lead to a tight bound for the distinct distances problem in ${\mathbb R}^d$. The reduction provides a large amount of information about the $(d-1)$-flats, and a framework for deriving more restrictions that these satisfy. Our reduction is based on introducing a Lie group that is a double cover of the special Euclidean group. This group can be seen as a variant of the Spin group, and a large part of our analysis involves studying its properties.

In the present note we study certain arrangements of codimension $2$ flats in projective spaces, we call them "Fermat arrangements". We describe algebraic properties of their defining ideals. In particular, we show that they provide counterexamples to an expected containment relation between ordinary and symbolic powers of homogeneous ideals.

In this paper we study the homology of a random Cech complex generated by a homogeneous Poisson process in a compact Riemannian manifold M. In particular, we focus on the phase transition for "homological connectivity" where the homology of the complex becomes isomorphic to that of M. The results presented in this paper are an important generalization of [7], from the flat torus to general compact Riemannian manifolds. In addition to proving the statements related to homological connectivity, the methods we develop in this paper can be used as a framework for translating results for random geometric graphs and complexes from the Euclidean setting into the more general Riemannian one.

We study additive properties of the set $S$ of bijections (or permutations) $\{1,\dots,n\}\to G$, thought of as a subset of $G^n$, where $G$ is an arbitrary abelian group of order $n$. Our main result is an asymptotic for the number of solutions to $π_1 + π_2 + π_3 = f$ with $π_1,π_2,π_3\in S$, where $f:\{1,\dots,n\}\to G$ is an arbitary function satisfying $\sum_{i=1}^n f(i) = \sum G$. This extends recent work of Manners, Mrazović, and the author. Using the same method we also prove a less interesting asymptotic for solutions to $π_1 + π_2 + π_3 + π_4 = f$, and we also show that the distribution $π_1+π_2$ is close to flat in $L^2$. As in the previous paper, our method is based on Fourier analysis, and we prove our results by carefully carving up $\widehat{G}^n$ and bounding various character sums. This is most complicated when $G$ has even order, say when $G = \mathbf{F}_2^d$. At the end of the paper we explain two applications, one coming from the Latin squares literature (counting transversals in Latin hypercubes) and one from cryptography (PRP-to-PRF conversion).

Building on classical theorems of Sperner and Kruskal-Katona, we investigate antichains $\mathcal F$ in the Boolean lattice $B_n$ of all subsets of $[n]:=\{1,2,\dots,n\}$, where $\mathcal F$ is flat, meaning that it contains sets of at most two consecutive sizes, say $\mathcal F=\mathcal{A}\cup\mathcal{B}$, where $\mathcal{A}$ contains only $k$-subsets, while $\mathcal{B}$ contains only $(k-1)$-subsets. Moreover, we assume $\mathcal{A}$ consists of the first $m$ $k$-subsets in squashed (colexicographic) order, while $\mathcal{B}$ consists of all $(k-1)$-subsets not contained in the subsets in $\mathcal{A}$. Given reals $α,β>0$, we say the weight of $\mathcal F$ is $α\cdot|\mathcal{A}|+β\cdot|\mathcal{B}|$. We characterize the minimum weight antichains $\mathcal F$ for any given $n,k,α,β$, and we do the same when in addition $\mathcal F$ is a maximal antichain. We can then derive asymptotic results on both the minimum size and the minimum Lubell function.

For which positive integers $n,k,r$ does there exist a linear $[n,k]$ code $C$ over $\mathbb{F}_q$ with all codeword weights divisible by $q^r$ and such that the columns of a generating matrix of $C$ are projectively distinct? The motivation for studying this problem comes from the theory of partial spreads, or subspace codes with the highest possible minimum distance, since the set of holes of a partial spread of $r$-flats in $\operatorname{PG}(v-1,\mathbb{F}_q)$ corresponds to a $q^r$-divisible code with $k\leq v$. In this paper we provide an introduction to this problem and report on new results for $q=2$.

This paper addresses the problem of finding minimum forcing sets in origami. The origami material folds flat along straight lines called creases that can be labeled as mountains or valleys. A forcing set is a subset of creases that force all the other creases to fold according to their labels. The result is a flat folding of the origami material. In this paper we develop a linear time algorithm that finds minimum forcing sets in one dimensional origami.

An equiangular tight frame (ETF) is a type of optimal packing of lines in Euclidean space. They are often represented as the columns of a short, fat matrix. In certain applications we want this matrix to be flat, that is, have the property that all of its entries have modulus one. In particular, real flat ETFs are equivalent to self-complementary binary codes that achieve the Grey-Rankin bound. Some flat ETFs are (complex) Hadamard ETFs, meaning they arise by extracting rows from a (complex) Hadamard matrix. These include harmonic ETFs, which are obtained by extracting the rows of a character table that correspond to a difference set in the underlying finite abelian group. In this paper, we give some new results about flat ETFs. One of these results gives an explicit Naimark complement for all Steiner ETFs, which in turn implies that all Kirkman ETFs are possibly-complex Hadamard ETFs. This in particular produces a new infinite family of real flat ETFs. Another result establishes an equivalence between real flat ETFs and certain types of quasi-symmetric designs, resulting in a new infinite family of such designs.

In this paper, we give a new axioms system based on nonseparable flats with their ranks to define a matroid. We deduce a polynomial time algorithm for deciding if a given matroid (respectively, arbitrary structure) is an uniform matroid. This problem is intractable if we use an independence or an equivalent oracle.

A positroid is a special case of a realizable matroid that arose from the study of the totally nonnegative part of the Grassmannian by Postnikov. In this paper, we study the facets of its matroid polytope and the independent set polytope. This allows one to describe the bases and independent sets directly from the decorated permutation, bypassing the use of the Grassmann necklace. We also describe a criterion for determining whether a given cyclic interval is a flat or not using the decorated permutation, then show how it applies to checking the concordancy of positroids.

In this paper, we study the geometry of various Hessenberg varieties in type A, as well as families thereof, with the additional goal of laying the groundwork for future computations of Newton-Okounkov bodies of Hessenberg varieties. Our main results are as follows. We find explicit and computationally convenient generators for the local defining ideals of indecomposable regular nilpotent Hessenberg varieties, and then show that all regular nilpotent Hessenberg varieties are local complete intersections. We also show that certain families of Hessenberg varieties, whose generic fibers are regular semisimple Hessenberg varieties and the special fiber is a regular nilpotent Hessenberg variety, are flat and have reduced fibres. This result further allows us to give a computationally effective formula for the degree of a regular nilpotent Hessenberg variety with respect to a Plücker embedding. Furthermore, we construct certain flags of subvarieties of a regular nilpotent Hessenberg variety, obtained by intersecting with Schubert varieties, which are suitable for computing Newton-Okounkov bodies. As an application of our results, we explicitly compute many Newton-Okounkov bodies of the two-dimensional Peterson variety with respect to Plücker embeddings.

Skeletal polyhedra are discrete structures made up of finite, flat or skew, or infinite, helical or zigzag, polygons as faces, with two faces on each edge and a circular vertex-figure at each vertex. When a variant of Wythoff's construction is applied to the forty-eight regular skeletal polyhedra (Grunbaum-Dress polyhedra) in ordinary space, new highly symmetric skeletal polyhedra arise as "truncations" of the original polyhedra. These Wythoffians are vertex-transitive and often feature vertex configurations with an attractive mix of different face shapes. The present paper describes the blueprint for the construction and treats the Wythoffians for distinguished classes of regular polyhedra. The Wythoffians for the remaining classes of regular polyhedra will be discussed in Part II, by the second author. We also examine when the construction produces uniform skeletal polyhedra.

Let $P$ be a set of $m$ points and $L$ a set of $n$ lines in $\mathbb R^4$, such that the points of $P$ lie on an algebraic three-dimensional surface of degree $D$ that does not contain hyperplane or quadric components, and no 2-flat contains more than $s$ lines of $L$. We show that the number of incidences between $P$ and $L$ is $$ I(P,L) = O\left(m^{1/2}n^{1/2}D + m^{2/3}n^{1/3}s^{1/3} + nD + m\right) , $$ for some absolute constant of proportionality. This significantly improves the bound of the authors, for arbitrary sets of points and lines in $\mathbb R^4$, when $D$ is not too large. The same bound holds when the three-dimensional surface is embedded in any higher dimensional space. For the proof of this bound, we revisit certain parts of [Sharir-Solomon16], combined with the following new incidence bound. Let $P$ be a set of $m$ points and $L$ a set of $n$ lines in $\mathbb R^d$, for $d\ge 3$, which lie in a common two-dimensional algebraic surface of degree $D$ (assumed to be $\ll n^{1/2}$) that does not contain any 2-flat, so that no 2-flat contains more than $s$ lines of $L$ (here we require that the lines of $L$ also be contained in the surface). Then the number of incidences between $P$ and $L$ is $$ I(P,L) = O\left(m^{1/2}n^{1/2}D^{1/2} + m^{2/3}D^{2/3}s^{1/3} + m + n\right). $$ When $d=3$, this improves the bound of Guth and Katz for this special case, when $D \ll n^{1/2}$. Moreover, the bound does not involve the term $O(nD)$, that arises in most standard approaches, and its removal is a significant aspect of our result. Finally, we also obtain (slightly weaker) variants of both results over the complex field. For two-dimensional varieties, the bound is as in the real case, with an added term of $O(D^3)$. For three-dimensional varieties, the bound is as in the real case, with an added term of $O(D^6)$.

There are no square $L^2$-flat sequences of polynomials of the type $$\frac{1}{\sqrt q}( ε_0 + ε_1z + ε_2z^2 + \cdots + ε_{q-2}z^{q-2} +ε_q z^{q-1}),$$ where for each $j,~~ 0 \leq j\leq q-1,~ε_j = \pm 1$. It follows that Erdös's conjectures on Littlewood polynomials hold. Consequently, Turyn-Golay's conjecture is true, that is, there are only finitely many Barker sequences. We further get that the spectrum of dynamical systems arising from continuous Morse sequences is singular. This settles an old question due to M. Keane. Applying our reasoning to the Liouville function we obtain that the popular Chowla conjecture on the %Bernouillicity normality of the Liouville function implies Riemann hypothesis.

Following the historical track in pursuing $T$-equivariant flat toric degenerations of flag varieties and spherical varieties, we explain how powerful tools in algebraic geometry and representation theory, such as canonical bases, Newton-Okounkov bodies, PBW-filtrations and cluster algebras come to push the subject forward.