arXiv++ Combinatorics

It is shown that the Whitney function of a representable q-matroid and the collection of all higher weight enumerators of any representing rank-metric code determine each other via a monomial substitution. Moreover, the q-matroid itself and the collection of all higher support enumerators of the code determine each other. Next, it is proven that the Whitney function of a q-matroid and the Whitney function of its projectivization determine each other via a monomial substitution. Finally, q-matroids with isomorphic projectivizations are studied. It is shown that the projectivizations are isomorphic iff the q-matroids admit a dimension-preserving lattice isomorphism between their lattices of flats. Such q-matroids are called weakly isomorphic.

Rook matroids were recently introduced by the author and Alexandersson as matroids whose bases arise from certain restricted rook placements on a skew-shaped board. They were shown to be a subclass of transversal matroids and positroids. We further investigate the structural properties of rook matroids with an emphasis on the positroidal point of view. In particular, we characterize rook matroids in terms of Grassmann necklaces of positroids, answering a question of Lam (2024). Along the way, we give a new proof of the positroidal structure of rook matroids and determine an important subclass of their cyclic flats.

Huh-Stevens and Ferroni-Schröter independently conjectured that Hilbert-Poincaré series of Chow rings of geometric lattices have only real zeros. Ferroni, Matherne and the second author extended this conjecture to Chow polynomials of Cohen-Macaulay poset. In this paper we address the above conjectures by providing new defining relations and properties of Chow functions of posets and matrices. These are used, in conjunction with new techniques on interlacing sequences of polynomials, to prove that Chow polynomials of totally nonnegative matrices have only real zeros, which, in turn, proves the above conjectures for a class of posets that contains projective and affine geometries, face lattices of cubical polytopes, partition lattices and Dowling lattices, perfect matroid designs, and lattices of flats of paving matroids. We also study Chow polynomials of Toeplitz matrices in greater detail, and show how these are related the combinatorics of binomial and Sheffer posets, as well as to a family of generalized Eulerian polynomials with coefficients in the ring of symmetric polynomials that have been studied by e.g. Stanley, Brenti, Stembridge and Shareshian-Wachs.

We study nested complexes of building sets on the Las Vergnas face lattices of oriented matroids. Such a nested complex is the face lattice of an oriented matroid, obtained by iterated stellar subdivisions of the positive tope. If the oriented matroid is realizable, the nested complex is isomorphic to the boundary complex of a polytope. We turn this into an explicit and combinatorially meaningful polytopal realization. We prove that the facial nested complex can be embedded as the acyclic subcomplex of the nested complex of a well-chosen boolean building set. In the realizable case, we show that this acyclic subcomplex can be geometrically selected as the section of a nestohedron by the evaluation space of the vector configuration, which we call acyclonestohedron. Our framework generalizes the poset associahedra recently introduced by P. Galashin, from order polytopes to any polytope. Poset associahedra are the graphical acyclonestohedra, and our approach recovers as particular cases the main results of P. Galashin and answers some of his open questions. Besides poset associahedra, our framework unifies various other existing families of nested-like polytopes, such as the simple polytope nestohedra, the hyperoctahedral nestohedra, the design graph associahedra and the permutopermutohedra, to which our palette of results can be directly applied. The core of our construction is the embedding of the facial nested complex inside a boolean nested complex. More generally, we provide conditions that guarantee an embedding between nested complexes over two lattices. For instance, any atomic nested complex has a canonical embedding inside a boolean nested complex. As another application, we embed nested complexes over lattices of faces into nested complexes over lattices of flats, recovering as a particular case, the embedding of the positive Bergman complex into the Bergman complex.

Finding distributions of statistics in pattern-avoiding permutations has attracted significant attention in the literature. In particular, Chen, Kitaev, and Zhang derived functional equations for the joint distributions of any subset of classical minima and maxima statistics, as well as for the joint distributions of ascents and descents in separable permutations. Meanwhile, partially ordered patterns (POPs) have also been extensively studied. Notably, so-called flat POPs played a key role, via the notion of shape-Wilf-equivalence, in proving a conjecture on pattern-avoiding permutations. In this paper, we study flat POP-avoiding separable permutations, where the maximum element in a flat POP receives the largest label. Avoiding such a POP imposes restrictions on the position of the maximum element in a separable permutation, forcing it to be positioned to the left. We establish a system of functional equations describing the joint distribution of six classical statistics in the most general case, extending the work of Chen, Kitaev, and Zhang. As a specialization, when the POP has length 3, we recover a joint distribution result of Han and Kitaev on permutations avoiding classical patterns of length 3. As another specialization, for the flat POP of length 4, we derive an explicit rational generating function that captures the distribution of six statistics, with a numerator containing 100 monomials and a denominator containing 19 monomials.

Positroid subvarieties of complex Grassmannians are the images of the Richardson subvarieties of the full flag varieties under the natural projection map. Positroid varieties admit natural embedding into certain quiver Grassmannians for equioriented cyclic quivers. Varying representations of the quiver, one defines global positroid varieties inside the type A global affine Grassmannian. General fiber of a family is isomorphic to the corresponding classical positroid variety and the special fiber is a subvariety of the juggling variety. We show that the global positroid families are flat and describe their (conjecturally reduced) scheme structures. We also describe the special fibers inside the product of classical positroid varieties and realize the irreducible components of the special fibers in terms of the affine Richardson varieties.

Let $\mathscr{M}$ be a conditional oriented matroid. We define a graded algebra $\widehat{\mathscr{VG}}_\mathscr{M}$ with vector space dimension given by the number of covectors in $\mathscr{M}$ which admits a distinguished filtration indexed by the poset $\mathscr{L}(\mathscr{M})$ of flats of $\mathscr{M}$. The subquotients of this filtration are isomorphic to graded Varchenko-Gelfand rings of contractions of $\mathscr{M}$, so we call $\widehat{\mathscr{VG}}_\mathscr{M}$ the {\em graded big Varchenko-Gelfand ring of $\mathscr{M}$.} We describe a no broken circuit type basis of $\widehat{\mathscr{VG}}_\mathscr{M}$ and study its equivariant structure under the action of $\mathrm{Aut}(\mathscr{M})$. Our key technique is the orbit harmonics deformation which encodes $\widehat{\mathscr{VG}}_\mathscr{M}$ (as well as the classical Varchenko-Gelfand ring) in terms of a locus of points.

Finite unions of convex sets are a central object of study in discrete and computational geometry. In this paper we initiate a systematic study of complements of such unions -- i.e., sets of the form $S=\mathbb{R}^d \setminus (\cup_{i=1}^n K_i)$, where $K_i$ are convex sets. In the first part of the paper we study isolated points in $S$, whose number is related to the Betti numbers of $\cup_{i=1}^n K_i$ and to its non-convexity properties. We obtain upper bounds on the number of such points, which are sharp for $n=3$ and significantly improve previous bounds of Lawrence and Morris (2009) for all $n \ll \frac{2^d}{d}$. In the second part of the paper we study coverings of $S$ by well-behaved sets. We show that $S$ can be covered by at most $g(d,n)$ flats of different dimensions, in such a way that each $x \in S$ is covered by a flat whose dimension equals the `local dimension' of $S$ in the neighborhood of $x$. Furthermore, we determine the structure of a minimum cover that satisfies this property. Then, we study quantitative aspects of this minimum cover and obtain sharp upper bounds on its size in various settings.

We fully characterize the eigenvalues (flat bands) of the maximal abelian cover of a finite multi-graph in terms of the combinatorics of the base graph. This solves a problem of Higuchi and Nomura (2009, Problem 6.11). We use our new criterion to prove that the maximal abelian cover of any regular multi-graph has no eigenvalues, thereby proving a conjecture of (ibid., Conjecture 6.12). In an appendix, we relate our criterion for eigenvalues of the maximal abelian cover to an existing criterion for eigenvalues of the universal cover.

We prove that a finite graded simplicial poset with a top element added has real-rooted Chow and augmented Chow polynomials whenever it has a positive $h$-vector. This class of posets include Cohen-Macaulay simplicial posets and in particular lattices of flats of uniform matroids.

Dehn-Sommerville manifolds are a class of finite abstract simplicial complexes that generalize discrete manifolds. Despite a simpler definition in comparison to manifolds, they still share most properties of manifolds. They especially satisfy all Dehn-Sommerville symmetries telling that half of the f-vector entries are redundant. They also share other properties with q-manifolds: for every Dehn-Sommerville q-manifold G and any function g: V(G) to A={0, ..., k} with positive k, the set of x such that g(x) contains A is a Dehn-Sommerville (q-k)-manifold if not empty. We also see that for Dehn-Sommerville q-manifolds, all higher characteristics w_m(G) agree with Euler characteristic that the chromatic number is bounded above by 2q+2 and that odd-dimensional Dehn-Sommerville manifolds are flat and form a monoid under the join operation. In general, Dehn-Sommerville manifolds are invariant under edge refinement, Barycentric refinement and Cartesian products.

Athanasiadis and Kalampogia-Evangelinou recently conjectured that the chain polynomial of any geometric lattice has only real zeros. We verify this conjecture for families of geometric lattices including perfect matroid designs, Dowling lattices, and for a class of geometric lattices that contains all lattices of flats of paving matroids. We also investigate how the conjecture behaves with respect to certain operations such as direct products, ordinal sums and single-element extensions.

Following Welsh, a pre-independence space (pi-space) is a set $M$ together with a non-empty collection $I(M)$ of subsets of $M$, called independent sets, which is closed under taking subsets, and finite independent sets satisfy the exchange property from matroid theory. We show that $I(M)$, viewed as a poset, is contractible if it is infinite-dimensional, and Cohen-Macaulay otherwise. Moreover, the proper part of the associated poset of flats is also contractible in the infinite-dimensional case, and Cohen-Macaulay otherwise. These results generalize those for independence complexes and geometric lattices of (finite) matroids.

This paper explores the connection between perfect t-embeddings and the octahedron equation in the setting of the two-periodic Aztec diamond. In particular, we show that the positions of both the t-embedding and the corresponding origami map can be expressed as sums of density functions arising from solutions to the octahedron equation with appropriate flat initial conditions.

We study quantum coherence in continuous-time quantum walks on perfect graphs generated by the symmetric lift ${\mathrm{HL}}'_2(G)$, a canonical, unweighted, undirected construction defined as the line graph of a bipartite double cover of $G$. This lift acts as both a coherence-preserving and coherence-inducing transformation: it preserves and scales structured quantum interference in highly symmetric base graphs, and induces sustained coherence in random or weakly structured ones. In small graphs such as $K_4$, $K_5$, and the Petersen graph, where quantum walks exhibit sharp revivals and high return probability, repeated $\mathrm{HL}'_2$ lifting produces towers of perfect graphs with thousands to tens of thousands of vertices that retain periodic or quasi-periodic coherence. When applied to random regular or Erdős--Rényi graphs with flat or decaying return behavior, the lift introduces structured interference and significant amplification of mean and peak return probabilities. To quantify these effects, we evaluate standard coherence metrics from quantum resource theory, including inverse participation ratio (IPR), purity, relative entropy of coherence, and the logarithmic coherence number. These measures confirm that $\mathrm{HL}'_2$ lifting delocalizes eigenstates, increases coherence entropy, and expands the basis support of quantum states. These results demonstrate that $\mathrm{HL}'_2$ is a scalable and structurally grounded mechanism for organizing quantum interference, and introduce a new family of perfect graphs that support long-time quantum coherence without spectral tuning or engineered weights.

Given an origami crease pattern $C=(V,E)$, a straight-line planar graph embedded in a region of $\mathbb{R}^2$, we assign each crease to be either a mountain crease (which bends convexly) or a valley crease (which bends concavely), creating a mountain-valley (MV) assignment $μ:E\to\{-1,1\}$. An MV assignment $μ$ is locally valid if the faces around each vertex in $C$ can be folded flat under $μ$. In this paper, we investigate locally valid MV assignments of the Miura-ori, $M_{m,n}$, an $m\times n$ parallelogram tessellation used in numerous engineering applications. The origami flip graph $OFG(C)$ of $C$ is a graph whose vertices are locally valid MV assignments of $C$, and two vertices are adjacent if they differ by a face flip, an operation that swaps the MV-parity of every crease bordering a given face of $C$. We enumerate the number of vertices and edges in $OFG(M_{2,n})$ and prove several facts about the degrees of vertices in $OFG(M_{2,n})$. By finding recurrence relations, we show that the number of vertices of degree $d$ and $2n-a$ (for $0\leq a$) are both described by polynomials of particular degrees. We then prove that the diameter of $OFG(M_{2,n})$ is $\lceil \frac{n^2}{2}\rceil$ using techniques from 3-coloring reconfiguration graphs.

Recently, "cosmohedra" have been introduced as polytopes underlying the cosmological wavefunction for conformally coupled Tr($Φ^3$) theory in FRW cosmologies, generalizing associahedra for flat space scattering amplitudes. In this letter we show that correlation functions are also directly captured by a new polytope - the "Correlatron". The combinatorics of correlation functions is an interesting blend of flat space scattering amplitudes and wavefunctions. This is reflected in the correlatron geometry, which is a one-higher dimensional polytope sandwiched between cosmohedron and associahedron facets. We provide an explicit embedding for the correlatron, which is a natural extension of the "shaving" picture for cosmohedra to one higher dimension. As a byproduct, we also define "graph correlahedra" as polytopes for the contribution to correlators from any fixed graph. We show how the canonical form of these polytopes directly computes the graph correlator, without the power of two weights seen in previous geometric formulations. Finally, we give a prescription for extracting the full correlator from the canonical form of the correlatron.

The manuscript considers mathematical models for creating a topological drawing of a graph based on the methods of G. Ringel's vertex rotation theory. An algorithm is presented for generating a topological drawing of a flat part of a graph based on the selection of a basis for the cycle subspace C(G) using the Monte Carlo method. A steepest descent method for constructing a topological drawing of a flat subgraph is described in the manuscript. The topological drawing of a graph is constructed using a combination of the methods of vector intersection algebra developed by L. I. Rapport. Three stages of constructing a flat subgraph of a non-separable graph are described. The issues of constructing a Hamiltonian cycle based on constructing a flat subgraph are considered. A new method for constructing a Hamiltonian cycle of a graph based on the cycle graph of a flat subgraph is described.

The configuration of a matroid $M$ is the abstract lattice of cyclic flats (flats that are unions of circuits) where we record the size and rank of each cyclic flat, but not the set. One can compute the Tutte polynomial of $M$, and stronger invariants (notably, the $\mathcal{G}$-invariant), from the configuration. Given a matroid $M$ in which certain pairs of cyclic flats are non-modular, we show how to produce a matroid that is not isomorphic to $M$ but has the same configuration as $M$. We show that this construction applies to a lattice path matroid if and only if it is not a fundamental transversal matroid, and we enumerate the connected lattice path matroids on $[n]$ that are fundamental; these results imply that, asymptotically, almost no lattice path matroids are Tutte unique. We give a sufficient condition for a matroid to be determined, up to isomorphism, by its configuration. We treat constructions that yield matroids with different configurations where each matroid is determined by its configuration and all have the same $\mathcal{G}$-invariant. We also show that for any lattice $L$ other than a chain, there are non-isomorphic transversal matroids that have the same configuration and where the lattices of cyclic flats are isomorphic to $L$.

We study discrete period matrices associated with graphs cellularly embedded on closed surfaces, resembling classical period matrices of Riemann surfaces. Defined via integrals of discrete harmonic 1-forms, these period matrices are known to encode discrete conformal structure in the sense of circle patterns. We obtain a combinatorial interpretation of the discrete period matrix, where its minors are expressed as weighted sums over certain spanning subgraphs, which we call homological quasi-trees. Furthermore, we relate the period matrix to the determinant of the Laplacian for a flat complex line bundle. We derive a combinatorial analogue of the Weil-Petersson potential on the Teichmüller space, expressed as a weighted sum over homological quasi-trees. Finally, we study the collection of homological quasi-trees from a (delta-)matroidal perspective. The discrete period matrix plays a role similar to that of the response matrix in circular planar networks, thereby addressing a question posed by Richard Kenyon.