arXiv++ Combinatorics

We study geometric and combinatorial properties of the degenerate flag varieties of type A. These varieties are acted upon by the automorphism group of a certain representation of a type A quiver, containing a maximal torus T. Using the group action, we describe the moment graphs, encoding the zero- and one-dimensional T-orbits. We also study the smooth and singular loci of the degenerate flag varieties. We show that the Euler characteristic of the smooth locus is equal to the large Schröder number and the Poincaré polynomial is given by a natural statistics counting the number of diagonal steps in a Schröder path. As an application we obtain a new combinatorial description of the large and small Schröder numbers and their q-analogues.

We study those $(2,m,n)$-groups which are almost simple and for which the absolute value of the Euler characteristic is a product of two prime powers. All such groups which are not isomorphic to $PSL_2(q)$ or $PGL_2(q)$ are completely classified.

We consider the independence complexes of square grids with cylindrical boundary conditions. When one of the dimensions is small we use simple reductions induced by edge removals to show explicit natural homotopy equivalences between those spaces. In the second part we expand the results of Jonsson, who calculated the Euler characteristic of cylinders with odd circumference. We describe a series of results for cylinders of even circumference. Finally we define a completely independent combinatorial model (necklaces) which calculates the generating functions of the Euler characteristic of cylindrical grids. We conjecture that this model has some particularly simple structure.

We use some basic properties of binomial and Stirling numbers to prove that the Euler characteristic is, essentially, the unique numerical topological invariant for compact polyhedra which can be expressed as a linear combination of the numbers of faces of triangulations. We obtain this result converting it into an eigenvalue problem.

Möbius inversion, originally a tool in number theory, was generalized to posets for use in group theory and combinatorics. It was later generalized to categories in two different ways, both of which are useful. We provide a unifying abstract framework. This allows us to compare and contrast the two theories of Möbius inversion for categories, and advance each of them. Among several side benefits is an improved understanding of the following fact: the Euler characteristic of the classifying space of a (suitably finite) category depends only on its underlying graph.

The inductive dimension dim(G) of a finite undirected graph G=(V,E) is a rational number defined inductively as 1 plus the arithmetic mean of the dimensions of the unit spheres dim(S(x)) at vertices x primed by the requirement that the empty graph has dimension -1. We look at the distribution of the random variable "dim" on the Erdos-Renyi probability space G(n,p), where each of the n(n-1)/2 edges appears independently with probability p. We show here that the average dimension E[dim] is a computable polynomial of degree n(n-1)/2 in p. The explicit formulas allow experimentally to explore limiting laws for the dimension of large graphs. We also study the expectation E[X] of the Euler characteristic X, considered as a random variable on G(n,p). We look experimentally at the statistics of curvature K(v) and local dimension dim(v) = 1+dim(S(v)) which satisfy the Gauss-Bonnet formula X(G) = sum K(v) and by definition dim(G) = sum dim(v)/|V|. We also look at the signature functions f(p)=E[dim], g(p)=E[X] and matrix values functions A(p) = Cov[{dim(v),dim(w)], B(p) = Cov[K(v),K(w)] on the probability space G(p) of all subgraphs of a host graph G=(V,E) with the same vertex set V, where each edge is turned on with probability p. If G is the complete graph or a union of cyclic graphs with have explicit formulas for the signature polynomials f and g.

We consider the problem of computing the Euler characteristic of an abstract simplicial complex given by its vertices and facets. We show that this problem is #P-complete and present two new practical algorithms for computing Euler characteristic. The two new algorithms are derived using combinatorial commutative algebra and we also give a second description of them that requires no algebra. We present experiments showing that the two new algorithms can be implemented to be faster than previous Euler characteristic implementations by a large margin.

The bondage number $b(G)$ of a graph $G$ is the smallest number of edges whose removal from $G$ results in a graph with larger domination number. Recently Gagarin and Zverovich showed that, for a graph $G$ with maximum degree $Δ(G)$ and embeddable on an orientable surface of genus $h$ and a non-orientable surface of genus $k$, $b(G)\leq\min\{Δ(G)+h+2,Δ+k+1\}$. They also gave examples showing that adjustments of their proofs implicitly provide better results for larger values of $h$ and $k$. In this paper we establish an improved explicit upper bound for $b(G)$, using the Euler characteristic $χ$ instead of the genera $h$ and $k$, with the relations $χ=2-2h$ and $χ=2-k$. We show that $b(G)\leqΔ(G)+\lfloor r\rfloor$ for the case $χ\leq0$ (i.e. $h\geq1$ or $k\geq2$), where $r$ is the largest real root of the cubic equation $z^3+2z^2+(6χ-7)z+18χ-24=0$. Our proof is based on the technique developed by Carlson-Develin and Gagarin-Zverovich, and includes some elementary calculus as a new ingredient. We also find an asymptotically equivalent result $b(G)\leqΔ(G)+\lceil\sqrt{12-6χ\,}-1/2\rceil$ for $χ\leq0$, and a further improvement for graphs with large girth.

The goal of this paper is twofold. First, we review the recently developed geometric approach to the combinatorics of the median Genocchi numbers. The Genocchi numbers appear in this context as Euler characteristics of the degenerate flag varieties. Second, we prove that the generating function of the Poincar\' e polynomials of the degenerate flag varieties can be written as a simple continued fraction. As an application we prove that the Poincar\' e polynomials coincide with the $q$-version of the normalized median Genocchi numbers introduced by Han and Zeng.

Among all equivelar vertex-transitive maps on a given closed surface S, the automorphism groups of maps with Schläfli types {3, 7} and {7, 3} allow the highest possible order. We describe a procedure to transform all such maps into 1- or 2-orbit maps, whose symmetry type has been previously studied. In so doing we provide a procedure to determine all vertex-transitive maps with Schläfli type {3, 7} which are neither regular or chiral. We determine all such maps on surfaces with Euler characteristic -1 \geq \c{hi} \geq -40.

What polynomial in the coefficients of a system of algebraic equations should be called its discriminant? We prove a package of facts that provide a possible answer. Let us call a system typical, if the homeomorphic type of its set of solutions does not change as we perturb its (non-zero) coefficients. The set of all atypical systems turns out to be a hypersurface in the space of all systems of k equations in n variables, whose monomials are contained in k given finite sets. This hypersurface B contains all systems that have a singular solution, this stratum is conventionally called the discriminant, and the codimension of its components has not been fully understood yet (e.g. dual defect toric varieties are not classified), so the purity of dimension of B looks somewhat surprising. We deduce it from a similar tropical purity fact. A generic system of equations in a component B_i of the hypersurface B differs from a typical system by the Euler characteristic of its set of solutions. Regarding the difference of these Euler characteristics as the multiplicity of B_i, we turn B into an effective divisor, whose equation we call the Euler discriminant by the following reasons. Firstly, it vanishes exactly at those systems that have a singular solution (possibly at infinity). Secondly, despite its topological definition, there is a simple linear-algebraic formula for it, and a positive formula for its Newton polytope. Thirdly, it interpolates many classical objects (sparse resultant, A-determinant, discriminant of deformation) and inherits many of their nice properties. This allows to specialize our results to generic polynomial maps: the bifurcation set of a dominant polynomial map, whose components are generic linear combinations of finitely many monomials, is always a hypersurface, and a generic atypical fiber of such a map differs from a typical one by its Euler characteristic.

Let S be a surface of genus g with p punctures with negative Euler characteristic. We study the diameter of the $ε$-thick part of moduli space of S equipped with the Teichmüller or Thurston's Lipschitz metric. We show that the asymptotic behaviors in both metrics are of order $\log \frac{g+p}ε$. The same result also holds for the $ε$-thick part of the moduli space of metric graphs of rank n equipped with the Lipschitz metric. The proof involves a sorting algorithm that sorts an arbitrary labeled tree with n labels with simultaneous Whitehead moves, where the number of steps is of order log(n).

A (1,λ)-embedded graph is a graph that can be embedded on a surface with Euler characteristic λ so that each edge is crossed by at most one other edge. A graph G is called α-linear if there exists an integral constant β such that e(G') \leq α v(G')+β for each G'\subseteq G. In this paper, it is shown that every (1,λ)-embedded graph G is 4-linear for all possible λ, and is acyclicly edge-(3Δ(G)+70)-choosable for λ=1,2.

Quiver Grassmannians are varieties parametrizing subrepresentations of a quiver representation. It is observed that certain quiver Grassmannians for type A quivers are isomorphic to the degenerate flag varieties investigated earlier by the second named author. This leads to the consideration of a class of Grassmannians of subrepresentations of the direct sum of a projective and an injective representation of a Dynkin quiver. It is proven that these are (typically singular) irreducible normal local complete intersection varieties, which admit a group action with finitely many orbits, and a cellular decomposition. For type A quivers explicit formulas for the Euler characteristic (the median Genocchi numbers) and the Poincare polynomials are derived.

The strong Macdonald theorems state that, for $L$ reductive and $s$ an odd variable, the cohomology algebras $H^*(L[z]/z^N)$ and $H^*(L[z,s])$ are freely generated, and describe the cohomological, $s$-, and $z$-degrees of the generators. The resulting identity for the $z$-weighted Euler characteristic is equivalent to Macdonald's constant term identity for a finite root system. We calculate $H^*(\mathfrak{p} / z^N \mathfrak{p})$ and $H^*(\mathfrak{p}[s])$ for $\mathfrak{p}$ a standard parahoric in a twisted loop algebra, giving strong Macdonald theorems that take into account both a parabolic component and a possible diagram automorphism twist. In particular we show that $H^*(\mathfrak{p} / z^N \mathfrak{p})$ contains a parabolic subalgebra of the coinvariant algebra of the fixed-point subgroup of the Weyl group of $L$, and thus is no longer free. We also prove a strong Macdonald theorem for $H^*(\mathfrak{b}; S^* \mathfrak{n}^*)$ and $H^*(\mathfrak{b} / z^N \mathfrak{n})$ when $\mathfrak{b}$ and $\mathfrak{n}$ are Iwahori and nilpotent subalgebras respectively of a twisted loop algebra. For each strong Macdonald theorem proved, taking $z$-weighted Euler characteristics gives an identity equivalent to Macdonald's constant term identity for the corresponding affine root system. As part of the proof, we study the regular adjoint orbits for the adjoint action of the twisted arc group associated to $L$, proving an analogue of the Kostant slice theorem.

The (d,1)-total labelling of graphs was introduced by Havet and Yu. In this paper, we consider the list version of (d,1)-total labelling of graphs. Let G be a graph embedded in a surface with Euler characteristic $ε$ whose maximum degree $Δ(G)$ is sufficiently large. We prove that the (d,1)-total choosability $C_{d,1}^T(G)$ of $G$ is at most $Δ(G)+2d$.

Given a finite simplicial complex L and a collection of pairs of spaces indexed by its vertex set, one can define their polyhedral product. We record a simple formula for its Euler characteristic. In special cases the formula simplifies further to one involving the h-polynomial of L.

Let De_n be the simplicial complex of squarefree positive integers less than or equal to n ordered by divisibility. It is known that the asymptotic rate of growth of its Euler characteristic (the Mertens function) is closely related to deep properties of the prime number system. In this paper we study the asymptotic behavior of the individual Betti numbers and of their sum. We show that De_n has the homotopy type of a wedge of spheres, and that as n tends to infinity: $$\sum \be_k(\De_n) = \frac{2n}{π^2} + O(n^θ),\;\; \mbox{for all} θ> \frac{17}{54}.$$ We also study a CW complex tDe_n that extends the previous simplicial complex. In tDe_n all numbers up to n correspond to cells and its Euler characteristic is the summatory Liouville function. This cell complex is shown to be homotopy equivalent to a wedge of spheres, and as n tends to infinity: $$\sum \be_k(\tDe_n) = \frac{n}{3} + O(n^θ),\;\; \mbox{for all} θ> \frac{22}{27}.$$

We show that there is no 4-dimensional analogue of the 5-prismatoids used in Santos' recent counterexample to the Hirsch conjecture.

Semi-Equivelar maps are generalizations of Archimedean Solids (as are equivelar maps of the Platonic solids) to the surfaces other than $2-$Sphere. We classify some semi equivelar maps on surface of Euler characteristic -1 and show that none of these are vertex transitive. We establish existence of 12-covered triangulations for this surface. We further construct double cover of these maps to show existence of semi-equivelar maps on the surface of double torus. We also construct several semi-equivelar maps on the surfaces of Euler characteristics -8 and -10 and on non-orientable surface of Euler characteristics -2.