arXiv++ Combinatorics

We prove an infinite $(p,q)$-theorem for piercing fat compact convex sets in $\RR^d$ with $k$-flats. Additionally, we develop a new framework through which infinite $(p,q)$-theorems concerning compact sets and $k$-flats can be extended to their 'colorful' variants. Further, we show that the existence of an infinite $(p,q)$-theorem does not necessarily imply the existence of the corresponding finite $(p,q)$-theorem.

Let $ACG(2ν,\mathbb{F}_q)$ be the $2ν$-dimensional classical affine space with parameter $e$ over a $q$-element finite field $\mathbb{F}_q$, and ${\cal O}_ν$ be the set of all maximal totally isotropic flats in $ACG(2ν,\mathbb{F}_q)$. In this paper, we discuss Cameron-Liebler sets in ${\cal O}_ν$, obtain several equivalent definitions and present some classification results.

We study the Hilbert series of four objects arising in the Chow-theoretic and Kazhdan-Lusztig framework of matroids. These are, respectively, the Hilbert series of the Chow ring, the augmented Chow ring, the intersection cohomology module, and its stalk at the empty flat. We develop a parallelism between the Kazhdan-Lusztig polynomial of a matroid and the Hilbert series of its Chow ring. This extends to a parallelism between the $Z$-polynomial of a matroid and the Hilbert series of its augmented Chow ring. This suggests to bring ideas from one framework to the other. Our two main motivations are the real-rootedness conjecture for all of these polynomials, and the problem of computing them. We provide several intrinsic definitions of these invariants; also, by leveraging that they are valuations under matroid polytope subdivisions, we deduce a fast way for computing them for a large class of matroids. Uniform matroids are a case of combinatorial interest; we link the resulting polynomials with certain real-rooted families such as the (binomial) Eulerian polynomials, and we settle a conjecture of Hameister, Rao, and Simpson. Furthermore, we prove the real-rootedness of the Hilbert series of the augmented Chow rings of uniform matroids via a result of Haglund and Zhang; and in addition, we prove a version of a conjecture of Gedeon in the Chow setting: uniform matroids maximize coefficient-wisely these polynomials for matroids with fixed rank and size. By relying on the nonnegativity of the Kazhdan-Lusztig polynomials and the semi-small decompositions of Braden, Huh, Matherne, Proudfoot, and Wang, we strengthen the unimodality of the Hilbert series of Chow rings, augmented Chow rings, and intersection cohomologies to $γ$-positivity, a property for palindromic polynomials that lies between unimodality and real-rootedness; this settles a conjecture of Ferroni, Nasr, and Vecchi.

The Sylvester-Gallai Theorem states that every rank-$3$ real-representable matroid has a two-point line. We prove that, for each $k\ge 2$, every complex-representable matroid with rank at least $4^{k-1}$ has a rank-$k$ flat with exactly $k$ points. For $k=2$, this is a well-known result due to Kelly, which we use in our proof. A similar result was proved earlier by Barak, Dvir, Wigderson, and Yehudayoff and later refined by Dvir, Saraf, and Wigderson, but we get slightly better bounds with a more elementary proof.

A finite point set in $\mathbb{R}^d$ is in general position if no $d + 1$ points lie on a common hyperplane. Let $α_d(N)$ be the largest integer such that any set of $N$ points in $\mathbb{R}^d$, with no $d + 2$ members on a common hyperplane, contains a subset of size $α_d(N)$ in general position. Using the method of hypergraph containers, Balogh and Solymosi showed that $α_2(N) < N^{5/6 + o(1)}$. In this paper, we also use the container method to obtain new upper bounds for $α_d(N)$ when $d \geq 3$. More precisely, we show that if $d$ is odd, then $α_d(N) < N^{\frac{1}{2} + \frac{1}{2d} + o(1)}$, and if $d$ is even, we have $α_d(N) < N^{\frac{1}{2} + \frac{1}{d-1} + o(1)}$. We also study the classical problem of determining $a(d,k,n)$, the maximum number of points selected from the grid $[n]^d$ such that no $k + 2$ members lie on a $k$-flat, and improve the previously best known bound for $a(d,k,n)$, due to Lefmann in 2008, by a polynomial factor when $k$ = 2 or 3 (mod 4).

We study the combinatorics of modular flats of oriented matroids and the topological consequences for their Salvetti complexes. We show that the natural map to the localized Salvetti complex at a modular flat of corank one is what we call a poset quasi-fibration -- a notion derived from Quillen's fundamental Theorem B from algebraic $K$-theory. As a direct consequence, the Salvetti complex of an oriented matroid whose geometric lattice is supersolvable is a $K(π,1)$-space -- a generalization of the classical result for supersolvable hyperplane arrangements due to Falk, Randell and Terao. Furthermore, the fundamental group of the Salvetti complex of a supersolvable oriented matroid is an iterated semidirect product of finitely generated free groups -- analogous to the realizable case. Our main tools are discrete Morse theory, the shellability of certain subcomplexes of the covector complex of an oriented matroid, a nice combinatorial decomposition of poset fibers of the localization map, and an isomorphism of covector posets associated to modular elements. We provide a simple construction of supersolvable oriented matroids. This gives many non-realizable supersolvable oriented matroids and by our main result aspherical CW-complexes.

The main result is Theorem MAT 11 which states that every finite closure operator is the ground set of a matroid. Its base sets consist of nonredundant covers of of the closure. These are minimal subsets that determine the closure operator using a closure algorithm from the theory of relational databases. For each hereditary collection there is one flat closure that define a matroid or simplicial complexes, but every closure defines a hereditary collection, its keys in database theory. The normalization algorithm by Maier is the basis of this paper. This follows his development, and his relevant results are cited to aid reading his original work. The main purpose of this paper is to introduce the importance of database theory into the analysis of all finite closure including the flat closures of matroids.

We are interested in expanding our understanding of symplectic matroids by exploring the properties of a class of symplectic matroids with a "lattice of flats". Taking a well-behaved family of subdivisions of the cross polytope we obtain a construction of lattices, resembling a known definition for the geometric lattice corresponding to ordinary matroid. We construct a correspondence to a set of enveloped symplectic matroids, we denote ranked symplectic matroids. As a by-product of our construction, we also obtain a new way of finding symplectic matroids from ordinary ones and an embedding Theorem into geometric lattices. The second part of this paper is dedicated to the properties of ranked symplectic matroids and their enveloping ordinary matroids. We focus on establishing a geometric approach to the study of ranked symplectic matroids, demonstrating the ability to take minors, and proving shellability. We finish with a characterization of ranked symplectic matroids using recursive atom orderings.

In a finite Coxeter group $W$ and with two given conjugacy classes of parabolic subgroups $[X]$ and $[Y]$, we count those parabolic subgroups of $W$ in $[Y]$ that are full support, while simultaneously being simple extensions (i.e., extensions by a single reflection) of some standard parabolic subgroup of $W$ in $[X]$. The enumeration is given by a product formula that depends only on the two parabolic types. Our derivation is case-free and combines a geometric interpretation of the "full support" property with a double counting argument involving Crapo's beta invariant. As a corollary, this approach gives the first case-free proof of Chapoton's formula for the number of reflections of full support in a real reflection group $W$.

The natural matroid of an integer polymatroid was introduced to show that a simple construction of integer polymatroids from matroids yields all integer polymatroids. As we illustrate, the natural matroid can shed much more light on integer polymatroids. We focus on characterizations of integer polymatroids using their bases, their circuits, and their cyclic flats along with the rank of each cyclic flat and each element; we offer some new characterizations and insights into known characterizations.

In this paper, we study visibility representations of graphs that are embedded on a torus or a Klein bottle. Mohar and Rosenstiehl showed that any toroidal graph has a visibility representation on a flat torus bounded by a parallelogram, but left open the question whether one can assume a rectangular flat torus, i.e., a flat torus bounded by a rectangle. Independently the same question was asked by Tamassia and Tollis. We answer this question in the positive. With the same technique, we can also show that any graph embedded on a Klein bottle has a visibility representation on the rectangular flat Klein bottle.

The present paper is a continuation of \cite{jrz} and is devoted to the study of limit varieties of additively idempotent semirings. A limit variety is a nonfinitely based variety whose proper subvarieties are all finitely based. We present concrete constructions for one infinite family of limit additively idempotent semiring varieties, and one further ad hoc example. Each of these examples can be generated by a finite flat semiring, with the infinite family arising by a way of a complete characterisation of limit varieties that can be generated by the flat extension of a finite group. We also demonstrate the existence of other examples of limit varieties of additively idempotent semirings, including one further continuum-sized family, each with no finite generator, and two further ad hoc examples. While an explicit description of these latter examples is not given, one of the examples is proved to contain only trivial flat semirings.

For an arc on a bordered surface with marked points, we associate a holonomy matrix using a product of elements of the supergroup $\mathrm{OSp}(1|2)$, which defines a flat $\mathrm{OSp}(1|2)$-connection on the surface. We show that our matrix formulas of an arc yields its super $λ$-length in Penner-Zeitlin's decorated super Teichmüller space. This generalizes the matrix formulas of Fock-Goncharov and Musiker-Williams. We also prove that our matrix formulas agree with the combinatorial formulas given in the authors' previous works. As an application, we use our matrix formula in the case of an annulus to obtain new results on super Fibonacci numbers.

A net in $\mathbb{P}^2$ is a configuration of lines $\mathcal A$ and points $X$ satisfying certain incidence properties. Nets appear in a variety of settings, ranging from quasigroups to combinatorial design to classification of Kac-Moody algebras to cohomology jump loci of hyperplane arrangements. For a matroid $M$ and rank $r$, we associate a monomial ideal (a monomial variant of the Orlik-Solomon ideal) to the set of flats of $M$ of rank $\le r$. In the context of line arrangements in $\mathbb{P}^2$, applying Alexander duality to the resulting ideal yields insight into the combinatorial structure of nets.

It is well known that the set of $m$-Dyck paths with a fixed height and a fixed amount of valleys is counted by the Fuß-Narayana numbers. In this article, we consider the set of $m$-Dyck paths that start with at least $t$ north steps. We give exact formulas for the number of such paths with fixed height, fixed number of returns and (i) fixed number of valleys, (ii) fixed number of valleys with $x$-coordinate divisible by $m$ and (iii) fixed number of valleys with $x$-coordinate not divisible by $m$. The enumeration (ii) combinatorially realizes the $H$-triangle appearing in a recent article of Krattenthaler and the first author (Algebr. Comb. 5, 2022) in the context of certain parabolic noncrossing partitions. Through a transformation formula due to Chapoton, we give an explicit formula for the associated $F$-triangle. We realize this polynomial combinatorially by means of generalized Schröder paths as well as flats in certain hyperplane arrangements. Along the way we exhibit two new combinatorial reciprocity results.

Tutte showed that a graph $G$ is planar if and only if the conflict graph associated to every cycle of $G$ is bipartite. We define a (not necessarily unique) signed conflict graph associated to a maximally planar subgraph of a nonplanar graph such that if $G$ has a flat embedding, every possible conflict graph associated to every maximally planar subgraph of $G$ is balanced. In doing this, we show that for every graph $G$ with flat embedding, and a planar subgraph $P$ of $G$, $P$ lies on a sphere that intersects $G$ only in $P$. We conjecture that $G$ is intrinsically linked if and only if every maximal planar subgraph of $G$ has every possible conflict graph unbalanced.

A Hadamard matrix is balanced splittable if some subset of its rows has the property that the dot product of every two distinct columns takes at most two values. This definition was introduced by Kharaghani and Suda in 2019, although equivalent formulations have been previously studied using different terminology. We collate previous results phrased in terms of balanced splittable Hadamard matrices, real flat equiangular tight frames, spherical two-distance sets, and two-distance tight frames. We use combinatorial analysis to restrict the parameters of a balanced splittable Hadamard matrix to lie in one of several classes, and obtain strong new constraints on their mutual relationships. An important consideration in determining these classes is whether the strongly regular graph associated with the balanced splittable Hadamard matrix is primitive or imprimitive. We construct new infinite families of balanced splittable Hadamard matrices in both the primitive and imprimitive cases. A rich source of examples is provided by packings of partial difference sets in elementary abelian 2-groups, from which we construct Hadamard matrices admitting a row decomposition so that the balanced splittable property holds simultaneously with respect to every union of the submatrices of the decomposition.

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.

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.

The bottom complex of a finite polyhedal pointed rational cone is the lattice polytopal complex of the compact faces of the convex hull of nonzero lattice points in the cone. The algebra, associated to the bottom complex of a cone, defines a flat deformation of the affine toric variety, associated to the polyhedral cone, set-theoretically. We describe three explicit infinite families of abstract polytopal complexes, defining such flat deformations scheme-theoretically.