arXiv++ Combinatorics

We first give two new proofs of an old result that the reduced Euler characteristic of a matroid complex is equal to the Möbius number of the lattice of cycles of the matroid up to the sign. The purpose has been to find a model to establish an analogous result for the case of $q$-matroids and we find a relation between the Euler characteristic of the simplicial chain complex associated to a $q$-matroid complex and the lattice of $q$-cycles of the $q$-matroid. We use this formula to find the complete homology over $\mathbb{Z}$ of this shellable simplicial complex. We give a characterization of nonzero Euler characteristic for such order complexes. Finally, based on these results we remark why singular homology of a $q$-matroid equipped with order topology may not be effective to describe the $q$-cycles unlike the classical case of matroids.

This article studies a large, general class of orthogonal polytopes which we may call "generic orthotopes". These objects emerged from a desire to represent a Coxeter complex by an orthogonal polytope that is particularly nice with respect to traditional topological, structural, or combinatorial considerations. Generic orthotopes have a pleasant "homogeneity" property, somewhat like a smoothly bounded compact subset of Euclidean space. Thus, as soon as we demand that every vertex of an orthogonal polytope be a floral arrangement, as defined here, many derivative structures such as faces and cross-sections are also described by floral arrangements. We also give formulas for the volume and Euler characteristic of a generic orthotope using a couple of statistics that are defined naturally for floral arrangements.

We study the $K$-ring of the wonderful variety of a hyperplane arrangement and give a combinatorial presentation that depends only on the underlying matroid. We use this combinatorial presentation to define the $K$-ring of an arbitrary loopless matroid. We construct an exceptional isomorphism, with integer coefficients, to the Chow ring of the matroid that satisfies a Hirzebruch--Riemann--Roch-type formula, generalizing a recent construction of Berget, Eur, Spink, and Tseng for the permutohedral variety (the wonderful variety of a Boolean arrangement). As an application, we give combinatorial formulas for Euler characteristics of arbitrary line bundles on wonderful varieties. We give analogous constructions and results for augmented wonderful varieties, and for Deligne--Mumford--Knudsen moduli spaces of stable rational curves with marked points.

In this article we propose formulas for the connected K-theory class of the pointed Brill-Noether loci in Prym varieties, which extends the result by Concini and Pragacz. Applying the formulas, we compute the holomorphic Euler Characteristics of the loci.

In this paper, we study growth rates of Coxeter systems with Davis complexes of dimension at most $2$. We show that if the Euler characteristic $χ$ of the nerve of a Coxeter system is vanishing (resp. positive), then its growth rate is a Salem (resp. a Pisot) number. In this way, we extend results due to Floyd and Parry. Moreover, in the case where $χ$ is negative, we provide infinitely many non-hyperbolic Coxeter systems whose growth rates are Perron numbers.

A multipath in a directed graph is a disjoint union of paths. The multipath complex of a directed graph ${\tt G}$ is the simplicial complex whose faces are the multipaths of ${\tt G}$. We compute the Euler characteristic, and associated generating function, of the multipath complex for some families of graphs, including transitive tournaments and complete bipartite graphs. Then, we compute the homotopy type of multipath complexes of linear graphs, polygons, small grids and transitive tournaments. We show that they are all contractible or wedges of spheres. We introduce a new technique for decomposing directed graphs into dynamical regions, which allows us to simplify the homotopy computations.

By a {\em Riemann function} we mean a function $f\colon{\mathbb Z}^n\to{\mathbb Z}$ such that $f({\bf d})=f(d_1,\ldots,d_n)$ is equals $0$ for ${\rm deg}({\bf d})=d_1+\cdots+d_n$ sufficiently small, and equals $d_1+\cdots+d_n+C$ for a constant, $C$ -- the {\em offset of $f$} -- for ${\rm deg}({\bf d})$ sufficiently large. By adding $1$ to the Baker-Norine rank function of a graph, one gets an equivalent Riemann function, and similarly for related rank functions. For such an $f$, for any ${\bf K}\in{\mathbb Z}^n$ there is a unique Riemann function $f^\wedge_{\bf K}$ such that for all ${\bf d}\in{\mathbb Z}^n$ we have $$ f({\bf d}) - f^\wedge_{\bf K}({\bf K}-{\bf d}) = {\rm deg}({\bf d})+C $$ which we call a {\em generalized Riemann-Roch formula}. We show that any such equation can be viewed as an Euler charactersitic equation of sheaves of a particular simple type that we call {\em diagrams}. This article does not assume any prior knowledge of sheaf theory. To certain Riemann functions $f\colon{\mathbb Z}^2\to{\mathbb Z}$ there is a simple family of diagrams $\{\mathcal{M}_{W,{\bf d}}\}_{{\bf d}\in{\mathbb Z}^2}$ such that $f({\bf d})=b^0({\mathcal{M}}_{W,{\bf d}})$ and $f^\wedge_{\bf K}({\bf K}-{\bf d})=b^1({\mathcal{M}}_{W,{\bf d}})$. Furthermore we give a canonical isomorphism $$ H^1({\mathcal{M}}_{W,{\bf d}})^* \to H^0({\mathcal{M}}_{W',{\bf K}-{\bf d}}) $$ where $W'$ is the weight of $f^\wedge_{\bf K}$. General Riemann functions $f\colon{\mathbb Z}^2\to{\mathbb Z}$ are similarly modeled with formal differences of diagrams. Riemann functions ${\mathbb Z}^n\to{\mathbb Z}$ are modeled using their restrictions to two of their variables. These constructions involve some ad hoc choices, although the equivalence class of virtual diagram obtained is independent of the ad hoc choices.

We develop a general method for constructing random manifolds and submanifolds in arbitrary dimensions. The method is based on associating colors to the vertices of a triangulated manifold, as in recent work for curves in 3-dimensional space by Sheffield and Yadin (2014). We determine conditions on which submanifolds can arise, in terms of Stiefel-Whitney classes and other properties. We then consider the random submanifolds that arise from randomly coloring the vertices. Since this model generates submanifolds, it allows for studying properties and using tools that are not available in processes that produce general random subcomplexes. The case of 3 colors in a triangulated 3-ball gives rise to random knots and links. In this setting, we answer a question raised by de Crouy-Chanel and Simon (2019), showing that the probability of generating an unknot decays exponentially. In the general case of k colors in d-dimensional manifolds, we investigate the random submanifolds of different codimensions, as the number of vertices in the triangulation grows. We compute the expected Euler characteristic, and discuss relations to homological percolation and other topological properties. Finally, we explore a method to search for solutions to topological problems by generating random submanifolds. We describe computer experiments that search for a low-genus surface in the 4-dimensional ball whose boundary is a given knot in the 3-dimensional sphere.

We define the notion of $(p_0,p_1,\dots,p_d)$-type semi-equivelar gems for closed connected PL $d$-manifolds, related to the regular embedding of gems $Γ$ representing $M$ on a surface $S$ such that the face-cycles at all the vertices of $Γ$ on $S$ are of the same type. The term is inspired by semi-equivelar maps of surfaces. Given a surface $S$ having non-negative Euler characteristic, we find all regular embedding types on $S$ and then construct a genus-minimal semi-equivelar gem (if it exists) of each such type embedded on $S$. Moreover, we present constructions of the following semi-equivelar gems: (1) For each closed connected surface $S$, we construct a genus-minimal semi-equivelar gem that represents $S$. In particular, for $S=\#_n (\mathbb{S}^1 \times \mathbb{S}^1)$ (resp., $\#_n(\mathbb{RP}^2)$), the semi-equivelar gem of type $((4n+2)^3)$ (resp., $((2n+2)^3)$) is constructed. (2) For a closed connected orientable PL $d$-manifold $M$ (where $d \geq 3$) of regular genus at most $1$, we show that $M$ admits a genus-minimal semi-equivelar gem if and only if $M$ is a lens space. Moreover, if we consider semi-equivelar gems with $2$-gons then for a closed connected orientable $d$-manifold $M$ (where $d \geq 3$) with $\mathcal{G}(M)\leq 1$, $M$ admits a genus-minimal semi-equivelar gem (with bigons).

We study the asymptotic behaviour of random integer partitions under a new probability law that we introduce, the Plancherel-Hurwitz measure. This distribution, which has a natural definition in terms of Young tableaux, is a deformation of the classical Plancherel measure which appears naturally in the context of Hurwitz numbers, enumerating certain transposition factorisations in symmetric groups. We study a regime in which the number of factors in the underlying factorisations grows linearly with the order of the group, and the corresponding topological objects, Hurwitz maps, are of high genus. We prove that the limiting behaviour exhibits a new, twofold, phenomenon: the first part becomes very large, while the rest of the partition has the standard Vershik-Kerov-Logan-Shepp limit shape. As a consequence, we obtain asymptotic estimates for unconnected Hurwitz numbers with linear Euler characteristic, which we use to study random Hurwitz maps in this regime. This result can also be interpreted as the return probability of the transposition random walk on the symmetric group after linearly many steps.

We prove that every triangulation of either of the torus, projective plane and Klein bottle, contains a vertex-spanning planar Laman graph as a subcomplex. Invoking a result of Kir{á}ly, we conclude that every $1$-skeleton of a triangulation of a surface of nonnegative Euler characteristic has a rigid realization in the plane using at most 26 locations for the vertices.

Let $α$ and $β$ be uniformly random permutations of orders $2$ and $3$, respectively, in $S_{N}$, and consider, say, the permutation $αβαβ^{-1}$. How many fixed points does this random permutation have on average? The current paper studies questions of this kind and relates them to surprising topological and algebraic invariants of elements in free products of groups. Formally, let $Γ=G_{1}*\ldots*G_{k}$ be a free product of groups where each of $G_1,\ldots,G_k$ is either finite, finitely generated free, or an orientable hyperbolic surface group. For a fixed element $γ\inΓ$, a $γ$-random permutation in the symmetric group $S_{N}$ is the image of $γ$ through a uniformly random homomorphism $Γ\to S_{N}$. In this paper we study local statistics of $γ$-random permutations and their asymptotics as $N$ grows. We first consider $\mathbb{E}\left[\mathrm{fix}_γ\left(N\right)\right]$, the expected number of fixed points in a $γ$-random permutation in $S_{N}$. We show that unless $γ$ has finite order, the limit of $\mathbb{E}\left[\mathrm{fix}_γ\left(N\right)\right]$ as $N\to\infty$ is an integer, and is equal to the number of subgroups $H\leΓ$ containing $γ$ such that $H\cong\mathbb{Z}$ or $H\cong C_{2}*C_{2}$. Equivalently, this is the number of subgroups $H\leΓ$ containing $γ$ and having (rational) Euler characteristic zero. We also prove there is an asymptotic expansion for $\mathbb{E}\left[\mathrm{fix}_γ\left(N\right)\right]$ and determine the limit distribution of the number of fixed points as $N\to\infty$. These results are then generalized to all statistics of cycles of fixed lengths.

Dorpalen-Barry et al. proved Elser's conjecture about sign of Elser's number by interpreting them as certain sums of reduced Euler characteristics of an abstract simplicial complex known as $U$-nucleus complex. We prove a conjecture posed by them regarding the homology of $U$-nucleus complex.

We find families of simplicial complexes where the simplicial chromatic polynomials defined by Cooper--de Silva--Sazdanovic \cite{CdSS} are Hilbert series of Stanley--Reisner rings of auxiliary simplicial complexes. As a result, such generalized chromatic polynomials are determined by $h$-vectors of auxiliary simplicial complexes. In addition to generalizing related results on graphs and matroids, the simplicial complexes used allow us to consider problems that are not necessarily analogues of those considered for graphs. Some examples include supports of cyclotomic polynomials, log concavity properties of a polynomial or some translate of the polynomial, and symmetry relations between a polynomial and its reciprocal polynomial. If the $h$-vectors involed have sufficiently large entries, the Hilbert series are Hilbert polynomials of some $k$-algebra. As a consequence of connections between $h$-vectors and simplicial chromatic polynomials, we also find simplicial complexes whose $h$-vectors are determined by addition-contraction relations of simplicial complexes analogous to deletion-contraction relations of graphs. The constructions used involve generalizations of relations Euler characteristics of configuration spaces and chromatic polynomials of graphs.

This paper explains how to use quantum field theory techniques to find formal power series that encode the virtual Euler characteristics of $\mathrm{Out}(F_n)$ and related graph complexes. Finding such power series was a necessary step in the asymptotic analysis of $χ(\mathrm{Out}(F_n))$ carried out in the authors' previous paper.

We study the holomorphic Euler characteristics of tautological sheaves on Hilbert schemes of points on surfaces. In particular, we establish the rationality of K-theoretic descendent series. Our approach is to control equivariant holomorphic Euler characteristics over the Hilbert scheme of points on the affine plane. To do so, we slightly modify a Macdonald polynomial identity of Mellit.

Überhomology is a recently defined homology theory for simplicial complexes, which yields subtle information on graphs. We prove that bold homology, a certain specialisation of überhomology, is related to dominating sets in graphs. To this end, we interpret überhomology as a poset homology, and investigate its functoriality properties. We then show that the Euler characteristic of the bold homology of a graph coincides with an evaluation of its connected domination polynomial. Even more, the bold chain complex retracts onto a complex generated by connected dominating sets. We conclude with several computations of this homology on families of graphs; these include a vanishing result for trees, and a characterisation result for complete graphs.

A quiver representation assigns a vector space to each vertex, and a linear map to each arrow. When one considers the category $\textrm{Vect}(\mathbb{F}_1)$ of vector spaces ``over $\mathbb{F}_1$'' (the field with one element), one obtains $\mathbb{F}_1$-representations of a quiver. In this paper, we study representations of a quiver over the field with one element in connection to coefficient quivers. To be precise, we prove that the category $\textrm{Rep}(Q,\mathbb{F}_1)$ is equivalent to the (suitably defined) category of coefficient quivers over $Q$. This provides a conceptual way to see Euler characteristics of a class of quiver Grassmannians as the number of ``$\mathbb{F}_1$-rational points'' of quiver Grassmannians. We generalize techniques originally developed for string and band modules to compute the Euler characteristics of quiver Grassmannians associated to $\mathbb{F}_1$-representations. These techniques apply to a large class of $\mathbb{F}_1$-representations, which we call the $\mathbb{F}_1$-representations with finite nice length: we prove sufficient conditions for an $\mathbb{F}_1$-representation to have finite nice length, and classify such representations for certain families of quivers. Finally, we explore the Hall algebras associated to $\mathbb{F}_1$-representations of quivers. We answer the question of how a change in orientation affects the Hall algebra of nilpotent $\mathbb{F}_1$-representations of a quiver with bounded representation type. We also discuss Hall algebras associated to representations with finite nice length, and compute them for certain families of quivers.

In this paper we study the orthogonal momentum amplituhedron $\mathcal{O}_k$, a recently introduced positive geometry that encodes the tree-level scattering amplitudes in ABJM theory. We generate the full boundary stratification of $\mathcal{O}_k$ and show that its boundaries can be labelled by so-called orthogonal Grassmannian forests (OG forests). We also determine the generating function for enumerating boundaries according to their dimension and show that the Euler characteristic of $\mathcal{O}_k$ equals one. This provides a strong indication that the orthogonal momentum amplituhedron is homeomorphic to a ball. This paper is supplemented with the Mathematica package "orthitroids" which contains useful functions for studying the positive orthogonal Grassmannian and the orthogonal momentum amplituhedron.

The Exponential Formula allows one to enumerate any class of combinatorial objects built by choosing a set of connected components and placing a structure on each connected component which depends only on its size. There are multiple variants of this result, including Speicher's result for noncrossing partitions, as well as analogues of the Exponential Formula for series-reduced planar trees and forests. In this paper we use these formulae to give generating functions contracted Grassmannian trees and forests, certain graphs whose vertices are decorated with a helicity. Along the way we enumerate bipartite planar trees and forests, and we apply our results to enumerate various families of permutations: for example, bipartite planar trees are in bijection with separable permutations. Our generating function for Grassmannian forests can be interpreted as the rank generating function for the boundary strata of the momentum amplituhedron, an object which encodes the tree-level S-matrix of maximally supersymmetric Yang-Mills theory. This allows us to verify that the Euler characteristic of the momentum amplituhedron is 1.