arXiv++ Combinatorics

A greedoid is a generalization of a matroid allowing for more flexible analyses and modeling of combinatorial optimization problems. However, these structures decimate many matroid properties contributing to their pervasive nature. A polymatroid greedoid [KL85a] presents an interesting middle ground, so we further develop this class. First we prove every local poset greedoid for which the greedy algorithm correctly solves linear optimizations over its basic words must have a polymatroid representation. For this, we use relationships between the lattices of greedoid flats and closed sets of a polymatroid to generalize concepts in [KL85a]. Then, we show our generalization induces a Galois injection between the greedoid flats and closed sets of a representation. Finally, we apply this duality to identify a subclass of polymatroid greedoids with a maximum representation, giving a partial answer to an open problem of [KL85a]. As technical tools for our analyses, we introduce optimism and the Forking Lemma for interval greedoids. Both are pervasive in our work, and are of independent interest.

Determining the maximal density $m_1(\mathbb{R}^2)$ of planar sets without unit distances is a fundamental problem in combinatorial geometry. This paper investigates lower bounds for this quantity. We introduce a novel approach to estimating $m_1(\mathbb{R}^2)$ by reformulating the problem as a Maximal Independent Set (MIS) problem on graphs constructed from flat torus, focusing on periodic sets with respect to two non-collinear vectors. Our experimental results, supported by theoretical justifications of proposed method, demonstrate that for a sufficiently wide range of parameters this approach does not improve the known lower bound $0.22936 \le m_1(\mathbb{R}^2)$. The best discrete sets found are approximations of Croft's construction. In addition, several open source software packages for MIS problem are compared on this task.

This paper is a continuation of my paper "Lattices of flats for symplectic matroids". We explore geometric constructions originating from the lattice of flats of ranked symplectic matroids. We observe that a ranked symplectic matroid always sits between two ordinary matroids and use this fact to prove that it has many of the same properties of ordinary matroids. We compute the dimension of its order complex using its Möbius function, We show that its matroid polytope is geometrically defined using its flats and connected to its Bergman fan. We finish by highlighting differences between its toric variety and the toric variety of an ordinary matroid, and give a partial proof of Mason's conjecture for ranked symplectic matroids.

Pick $n$ independent and uniform random points $U_1,\ldots,U_n$ in a compact convex set $K$ of $\mathbb{R}^d$ with volume 1, and let $P^{(d)}_K(n)$ be the probability that these points are in convex position. The Sylvester conjecture in $\mathbb{R}^d$ is that $\min_K P^{(d)}_K(d+2)$ is achieved by the $d$-dimensional simplices $K$ (only). In this paper, we focus on a companion model, already studied in the $2d$ case, which we define in any dimension $d$: we say that $K$ has $F$ as a flat floor, if $F$ is a subset of $K$, contained in a hyperplan $P$, such that $K$ lies in one of the half-spaces defined by $P$. We define $Q_K^F(n)$ as the probability that $U_1,\cdots,U_n$ together with $F$ are in convex position (i.e., the $U_i$ are on the boundary of the convex hull ${\sf CH}(\{U_1,\cdots,U_n\}\cup F\})$). We prove that, for all fixed $F$, $K\mapsto Q_K^F(2)$ reaches its minimum on the "mountains" with floor $F$ (mountains are convex hull of $F$ union an additional vertex), while the maximum is not reached, but $K\mapsto Q_K^F(2)$ has values arbitrary close to 1. If the optimisation is done on the set of $K$ contained in $F\times[0,d]$ (the "subprism case"), then the minimum is also reached by the mountains, and the maximum by the "prism" $F\times[0,1]$. Since again, $Q_K^F{(2)}$ relies on the expected volume (of ${\sf CH}(\{V_1,V_2\}\cup F\})$), this result can be seen as a proof of the Sylvester problem in the floor case. In $2d$, where $F$ can essentially be the segment $[0,1],$ we give a general decomposition formula for $Q_K^F(n)$ so to compute several formulas and bounds for different $K$. In 3D, we give some bounds for $Q_K^F(n)$ for various floors $F$ and special cases of $K$.

We show that if all the finite coset spaces of a polycyclic group have diameter bounded uniformly below by a polynomial in their size then the group is virtually nilpotent. We obtain the same conclusion for a finitely generated residually torsion-free nilpotent group under the weaker assumption that the finite quotient groups have diameter bounded uniformly below by a polynomial in their size. This extends work of Khukhro and Valette.

The lattice of flats $\mathcal L_M$ of a matroid $M$ is combinatorially well-behaved and, when $M$ is realizable, admits a geometric model in the form of a "Schubert variety of hyperplane arrangement". In contrast, the lattice of flats of a polymatroid exhibits many combinatorial pathologies and admits no similar geometric model. We address this situation by defining the lattice $\mathcal L_P$ of "combinatorial flats" of a polymatroid $P$. Combinatorially, $\mathcal L_P$ exhibits good behavior analogous to that of $\mathcal L_M$: it is graded, determines $P$ when $P$ is simple, and is top-heavy. When $P$ is realizable over a field of characteristic 0, we show that $\mathcal L_P$ is modeled by "the Schubert variety of a subspace arrangement". Our work generalizes a number of results of Ardila-Boocher and Huh-Wang on Schubert varieties of hyperplane arrangements; however, the geometry of Schubert varieties of subspace arrangements is noticeably more complicated than that of Schubert varieties of hyperplane arrangements. Many natural questions remain open.

In this article we emphasize on the connection between two fields of study that are Penny Graphs, and the Optimal Packing of Spheres on the Flat Torus. We give a brief litterature overview on related results in the fields of planar graphs, penny graphs, toroidal penny graphs and spherical codes.We also show that $K5$ and $K_{3,3}$ are penny graphs on the flat square torus.

We prove a flat torus theorem for quadric complexes. In particular, we show that if a non-cyclic free abelian group $G$ acts metrically properly on a quadric complex $X$, then $G \cong \mathbb{Z}^2$ and $X$ contains a $G$-invariant isometric copy of the regular square tiling of the plane. Along the way, we also give a complete proof of the fact that any closed surface subgroup in the fundamental group of a combinatorial 2-complex is represented by a combinatorial map from a cellulation of the surface that is locally injective away from vertices.

Generalizing a theorem of the first two authors and Geelen for planes, we show that, for a real-representable matroid $M$, either the average hyperplane-size in $M$ is at most a constant depending only on its rank, or each hyperplane of $M$ contains one of a set of at most $r(M)-2$ lines. Additionally, in the latter case, the ground set of $M$ has a partition $(E_{1}, E_{2})$, where $E_{1}$ can be covered by few flats of relatively low rank and $|E_{2}|$ is bounded. These results extend to complex-representable and orientable matroids. Finally, we formulate a high-dimensional generalization of a classic problem of Motzkin, Grünbaum, Erdős and Purdy on sets of red and blue points in the plane with no monochromatic blue line. We show that the solution to this problem gives a tight upper bound on $|E_{2}|$. We also discuss this high-dimensional problem in its own right, and prove some initial results.

We investigate the property of a spatial graph of having a leveled embedding and characterize the abstract graphs with this property. We show that all leveled embeddings are free and we compare leveled and paneled (also known as flat) embeddings. Two new graph invariants are introduced: the level number, an invariant for graphs that admit a leveled embedding, and the Hamiltonian level number, an invariant for Hamiltonian graphs. These invariants provide a measure on how far a graph is from being planar. We study the relation between the (Hamiltonian) level number and other graph invariants that minimize the decomposition of a graph in planar subgraphs, namely the thickness and the book thickness of a graph. We characterize graphs with low level number and determine both the level number and the Hamiltonian level number of complete graphs and of complete bipartite graphs.

In this paper, we find distributions of the left-to-right maxima, right-to-left maxima, left-to-right minima and right-to-left-minima statistics on up-down and down-up permutations of even and odd lengths. For instance, we show that the distribution of right-to-left maxima on up-down permutations of even length is given by $(\sec (t))^{q}$. We also derive the joint distribution of the maxima (resp., minima) statistics. To accomplish this, we generalize a result of Kitaev and Remmel by deriving joint distributions involving non-maxima (resp., non-minima) statistics. Consequently, we refine classic enumeration results of André by introducing new $q$-analogues and $(p,q)$-analogues for the number of alternating permutations. Additionally, we verify Callan's conjecture (2012) that the number of up-down permutations of even length fixed by reverse and complement equals the Springer numbers, thereby offering another combinatorial interpretation of these numbers. Furthermore, we propose two $q$-analogues and a $(p,q)$-analogue of the Springer numbers. Lastly, we enumerate alternating permutations that avoid certain flat partially ordered patterns (POPs), where the only minimum or maximum elements are labeled by the largest or smallest numbers.

We study the potentially undecidable problem of whether a given 2-dimensional CW complex can be embedded into $\mathbb{R}^4$. We provide operations that preserve embeddability, including joining and cloning of 2-cells, as well as $Δ\mathrm Y$-transformations. We also construct a CW complex for which $\mathrm YΔ$-transformations do not preserve embeddability. We use these results to study 4-flat graphs, i.e., graphs that embed in $\mathbb{R}^4$ after attaching any number of 2-cells to their cycles; a graph class that naturally generalizes planarity and linklessness. We verify several conjectures of van der Holst; in particular, we prove that each of the 78 graphs of the Heawood family is an excluded minor for the class of 4-flat graphs.

Incidence problems between geometric objects is a key area of focus in the field of discrete geometry. Among them, the study of incidence problems over finite fields have received a considerable amount of attention in recent years. In this paper, by characterizing the singular values and singular vectors of the corresponding incidence matrix through group algebras, we prove a bound on the number of incidences between points and varieties of a certain form over finite fields. Our result leads to a new incidence bound for points and flats in finite geometries, which improves previous results for certain parameter regimes. As another application of our point-variety incidence bound, we extend a result on pinned distance problems by Phuong, Thang, and Vinh, and independently by Cilleruelo, Iosevich, Lund, Roche-Newton, and Rudnev, under a weaker condition.

There are many similarities between the theories of matroids and $q$-matroids. However, when dealing with the direct sum of $q$-matroids many differences arise. Most notably, it has recently been shown that the direct sum of representable $q$-matroids is not necessarily representable. In this work, we focus on the direct sum of uniform $q$-matroids. Using algebraic and geometric tools, together with the notion of cyclic flats of $q$-matroids, we show that this is always representable, by providing a representation over a sufficiently large field.

A Cayley permutation is a word of positive integers such that if a letter appears in this word, then all positive integers smaller than that letter also appear. We initiate a systematic study of pattern avoidance on Cayley permutations adopting a combinatorial species approach. Our methods lead to species equations, generating series, and counting formulas for Cayley permutations avoiding any pattern of length at most three. We also introduce the species of primitive structures as a generalization of Cayley permutations with no "flat steps". Finally, we explore various notions of Wilf equivalence arising in this context.

We study pairs of matrices $A,B\in GL_n({\mathbb C})$ such that the eigenvalues of $A$, of $B$ and of the product $AB$ are specified in advance. We show that the space of such pairs $(A,B)$ under simultaneous conjugation has dimension $(n-1)(n-2)$, and give an explicit parameterization. More generally let $Σ$ be a surface of genus $g$ with $k$ punctures. We find a parameterization of the space $Ω_{g,k,n}$ of flat $GL_n({\mathbb C})$-structures on $Σ$ whose holonomies around the punctures have prescribed eigenvalues. We show furthermore that, for $3\le k\le 2g+6$ (or $3\le k\le 9$ if $g=1$, or $3\le k$ if $g=0$), the space $Ω_{g,k,n}$ has an explicit symplectic structure and an associated Liouville integrable system, equivalent to a leaf of a Goncharov-Kenyon dimer integrable system.

Perfect colouring of isonemal fabrics by thin and thick striping of warp and weft with more than two colours is examined where the cells with warps and wefts of the same colour do not appear along diagonal lines (not twilly redundancy). In species 33 to 39, all fabrics of specific orders (linear periods) can be perfectly coloured by thin striping with satin redundancy. In fewer species, all fabrics of specific orders can be perfectly coloured by thick striping in two different ways with doubled satin redundancy. The isonemal fabric 6-1-1 can be used as a redundancy configuration. All these colourings allow the coloured weaving of flat tori and -- a few of them -- cubes.

Some of the most classically relevant Hyperplane arrangements are the Braid Arrangements $B_n$ and their associated compliment spaces $\mathcal{F}_n$. In their recent work, Tsilevich, Vershik, and Yuzvinsky construct what they refer to as the intrinsic hyperplane arrangement within any irreducible representation of the symmetric group that generalize the classical braid arrangements. Through examples it is also shown that the associated compliment spaces to these intrinsic arrangements display behaviors far removed from $\mathcal{F}_n$. In this work we study the intrinsic hyperplane arrangements of irreducible representations of the symmetric group from the perspective of representation stability. This work is both theoretical, proving representation stability theorems for hyperplane complements, as well as statistical, examining the outputs of a number of simulations designed to enumerate flats.

We investigate the random bipartite optimal matching problem on a flat torus in two-dimensions, considering general strictly convex power costs of the distance. We extend the successful ansatz first introduced by Caracciolo et al. for the quadratic case, involving a linear Poisson equation, to a non-linear equation of $q$-Poisson type, allowing for a more comprehensive analysis of the optimal transport cost. Our results establish new asymptotic connections between the energy of the solution to the PDE and the optimal transport cost, providing insights on their asymptotic behavior.

The convolution product of two conjugacy classes of the unitary group $U_n$ is described by a probability distribution on the space of central measures. Relating this convolution to the quantum cohomology of Grassmannians and using recent results describing the structure constants of the latter, we give a manifestly positive formula for the density of the probability distribution for the product of generic conjugacy classes. In the same flavor as the hive model of Knutson and Tao, this formula is given in terms of a subtraction-free sum of volumes of explicit polytopes. As a consequence, this expression also provides a positive and explicit formula for the volume of $SU_n$-valued flat connections on the three-holed two dimensional sphere, which was first given by Witten in terms of an infinite sum of characters.