arXiv++ Combinatorics

An abstract polytope is chiral if its automorphism group has two orbits on the flags, such that adjacent flags belong to distinct orbits. There are still few examples of chiral polytopes, and few constructions that can create chiral polytopes with specified properties. In this paper, we show how to build self-dual chiral polytopes using the mixing construction for polytopes.

While the intersection of the Grassmannian Bruhat decompositions for all coordinate flags is an intractable mess, the intersection of only the cyclic shifts of one Bruhat decomposition turns out to have many of the good properties of the Bruhat and Richardson decompositions. This decomposition coincides with the projection of the Richardson stratification of the flag manifold, studied by Lusztig, Rietsch, Brown-Goodearl-Yakimov and the present authors. However, its cyclic-invariance is hidden in this description. Postnikov gave many cyclic-invariant ways to index the strata, and we give a new one, by a subset of the affine Weyl group we call bounded juggling patterns. We call the strata positroid varieties. Applying results from the authors' previous work, we show that positroid varieties are normal, Cohen-Macaulay, have rational singularities, and are defined as schemes by the vanishing of Plucker coordinates. We prove that their associated cohomology classes are represented by affine Stanley functions. This last fact lets us connect Postnikov's and Buch-Kresch-Tamvakis' approaches to quantum Schubert calculus.

An abstract polytope of rank n is said to be chiral if its automorphism group has two orbits on the flags, such that adjacent flags belong to distinct orbits. Examples of chiral polytopes have been difficult to find. A "mixing" construction lets us combine polytopes to build new regular and chiral polytopes. By using the chirality group of a polytope, we are able to give simple criteria for when the mix of two polytopes is chiral.

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.

We establish an equivariant quantum Giambelli formula for partial flag varieties. The answer is given in terms of a specialization of universal double Schubert polynomials. Along the way, we give new proofs of the presentation of the equivariant quantum cohomology ring, as well as Graham-positivity of the structure constants in equivariant quantum Schubert calculus.

This article discusses the theory, model, implementation and performance of a combinatorial fuzzy-binary and-or (FBAR) algorithm for lossless data compression (LDC) and decompression (LDD) on 8-bit characters. A combinatorial pairwise flags is utilized as new zero/nonzero, impure/pure bit-pair operators, where their combination forms a 4D hypercube to compress a sequence of bytes. The compressed sequence is stored in a grid file of constant size. Decompression is by using a fixed size translation table (TT) to access the grid file during I/O data conversions. Compared to other LDC algorithms, double-efficient (DE) entropies denoting 50% compressions with reasonable bitrates were observed. Double-extending the usage of the TT component in code, exhibits a Universal Predictability via its negative growth of entropy for LDCs > 87.5% compression, quite significant for scaling databases and network communications. This algorithm is novel in encryption, binary, fuzzy and information-theoretic methods such as probability. Therefore, information theorists, computer scientists and engineers may find the algorithm useful for its logic and applications.

If $\mathcal{F}$ is a family of graphs then the Turán density of $\mathcal{F}$ is determined by the minimum chromatic number of the members of $\mathcal{F}$. The situation for Turán densities of 3-graphs is far more complex and still very unclear. Our aim in this paper is to present new exact Turán densities for individual and finite families of 3-graphs, in many cases we are also able to give corresponding stability results. As well as providing new examples of individual 3-graphs with Turán densities equal to 2/9,4/9,5/9 and 3/4 we also give examples of irrational Turán densities for finite families of 3-graphs, disproving a conjecture of Chung and Graham. (Pikhurko has independently disproved this conjecture by a very different method.) A central question in this area, known as Turán's problem, is to determine the Turán density of $K_4^{(3)}=\{123,124, 134, 234\}$. Turán conjectured that this should be 5/9. Razborov [On 3-hypergraphs with forbidden 4-vertex configurations, in SIAM J. Disc. Math. 24 (2010), 946-963] showed that if we consider the induced Turán problem forbidding $K_4^{(3)}$ and $E_1$, the 3-graph with 4 vertices and a single edge, then the Turán density is indeed 5/9. We give some new non-induced results of a similar nature, in particular we show that $π(K_4^{(3)},H)=5/9$ for a 3-graph $H$ satisfying $π(H)=3/4$. We end with a number of open questions focusing mainly on the topic of which values can occur as Turán densities. Our work is mainly computational, making use of Razborov's flag algebra framework. However all proofs are exact in the sense that they can be verified without the use of any floating point operations. Indeed all verifying computations use only integer operations, working either over $\mathbb{Q}$ or in the case of irrational Turán densities over an appropriate quadratic extension of $\mathbb{Q}$.

In this paper, we prove several new Turán density results for 3-graphs with independent neighbourhoods. We show: π(K_4^-, C_5, F_{3,2})=12/49, π(K_4^-, F_{3,2})=5/18, and π(J_4, F_{3,2})=π(J_5, F_{3,2})=3/8, where J_t is the 3-graph consisting of a single vertex x together with a disjoint set A of size t and all $\binom{|A|}{2}$ 3-edges containing x. We also prove two Turán density results where we forbid certain induced subgraphs: π(F_{3,2}, induced K_4^-)=3/8 and π(K_5, 5-set spanning 8 edges)=3/4. The latter result is an analogue for K_5 of Razborov's result that π(K_4, 4-set spanning 1 edge)=5/9. We give several new constructions, conjectures and bounds for Turán densities of 3-graphs which should be of interest to researchers in the area. Our main tool is `Flagmatic', an implementation of Razborov's flag algebra calculus, which we are making publicly available. In a bid to make the power of Razborov's method more widely accessible, we have tried to make Flagmatic as user-friendly as possible, hoping to remove thereby the major hurdle that needs to be cleared before using the flag algebra calculus. Finally, we spend some time reflecting on the limitations of our approach, and in particular on which problems we may be unable to solve. Our discussion of the `complexity barrier' for the flag algebra calculus may be of general interest.

We study the problem of maximizing Betti numbers of simplicial complexes. We prove an upper bound of 1.32^n for the sum of Betti numbers of any n-vertex flag complex and 1.25^n for the independence complex of a triangle-free graph. These findings imply upper bounds for the Betti numbers of various related classes of spaces, including the neighbourhood complex of a graph. We also make some related observations.

We study the generalized Galois numbers which count flags of length r in N-dimensional vector spaces over finite fields. We prove that the coefficients of those polynomials are asymptotically Gaussian normally distributed as N becomes large. Furthermore, we interpret the generalized Galois numbers as weighted inversion statistics on the descent classes of the symmetric group on N elements and identify their asymptotic limit as the Mahonian inversion statistic when r approaches infinity. Finally, we apply our statements to derive further statistical aspects of generalized Rogers-Szegoe polynomials, re-interpret the asymptotic behavior of linear q-ary codes and characters of the symmetric group acting on subspaces over finite fields, and discuss implications for affine Demazure modules and joint probability generating functions of descent-inversion statistics.

A hypermap is bipartite if its set of flags can be divided into two parts A and B so that both A and B are the union of vertices, and consecutive vertices around an edge or a face are contained in alternate parts. A bipartite hypermap is bipartite-regular if its set of automorphisms is transitive on A and on B. In this paper we see some properties of the constructions of bipartite hypermaps described algebraically by Breda and Duarte which generalize the construction induced by the Walsh representation of hypermaps. As an application we show that all surfaces have bipartite-regular hypermaps.

Generalized Galois numbers count the number of flags in vector spaces over finite fields. Asymptotically, as the dimension of the vector space becomes large, we give their exponential growth and determine their initial values. The initial values are expressed analytically in terms of theta functions and Euler's generating function for the partition numbers. Our asymptotic enumeration method is based on a Demazure module limit construction for integrable highest weight representations of affine Kac-Moody algebras. For the classical Galois numbers, that count the number of subspaces in vector spaces over finite fields, the theta functions are Jacobi theta functions. We apply our findings to the asymptotic number of q-ary codes, and conclude with some final remarks about possible future research concerning asymptotic enumerations via limit constructions for affine Kac-Moody algebras.

We give positive descriptions for certain Schubert structure constants $c_{u,v}^w$ for the full flag variety in Lie types $C$ and $D$. This is accomplished by first observing that a number of the $K=GL(n,\C)$-orbit closures on these flag varieties coincide with Richardson varieties, and then applying a theorem of M. Brion on the decomposition of such an orbit closure in the Schubert basis in terms of paths in the weak order graph.

Unlike the situation in the classical theory of convex polytopes, there is a wealth of semi-regular abstract polytopes, including interesting examples exhibiting some unexpected phenomena. We prove that even an equifacetted semi-regular abstract polytope can have an arbitrary large number of flag orbits or face orbits under its combinatorial automorphism group.

We give positive combinatorial descriptions of Schubert structure constants $c_{u,v}^w$ for the full flag variety in type $A_{n-1}$ when $u$ and $v$ form what we refer to as a "$(p,q)$-pair" ($p+q=n$). The key observation is that a certain subset of the $GL(p,\mathbb{C}) \times GL(q,\mathbb{C})$-orbit closures on the flag variety (those satisfying an easily stated pattern avoidance condition) are Richardson varieties. The result on structure constants follows when one combines this observation with a theorem of Brion concerning intersection numbers of spherical subgroup orbit closures and Schubert varieties.

The quantum double Schubert polynomials studied by Kirillov and Maeno, and by Ciocan-Fontanine and Fulton, are shown to represent Schubert classes in Kim's presentation of the equivariant quantum cohomology of the flag variety. We define parabolic analogues of quantum double Schubert polynomials, and show that they represent Schubert classes in the equivariant quantum cohomology of partial flag varieties. For complete flags Anderson and Chen have announced a proof with different methods.

We define the flag space and space of singular vectors for an arrangement A of hyperplanes in projective space equipped with a system of weights a: A --> C. We show that the contravariant bilinear form of the corresponding weighted central arrangement induces a well-defined form on the space of singular vectors of the projectivization. If the sum of the weights a(H), H in A, is zero, then this form is naturally isomorphic to the restriction to the space of singular vectors of the contravariant form of any affine arrangement obtained from A by dehomogenizing with respect to one of its hyperplanes.

We characterize the cd-indices of Gorenstein* posets of rank 5, equivalently the flag f-vectors of Gorenstein* order complexes of dimension 3. As a corollary, we characterize the f-vectors of Gorenstein* order complexes in dimensions 3 and 4. This characterization rise a speculated intimate connection between the f-vectors of flag homology spheres and the f-vectors of Gorenstein* order complexes.

We show that various genus zero Gromov-Witten invariants for flag varieties representing different homology classes are indeed the same. In particular, many of them are classical intersection numbers of Schubert cycles.

We consider a desingularization Gamma of a Richardson variety X_w^v=X_w \cap X^v in the flag variety Fl(n)=GL(n)/B, obtained as a fibre of a projection from a certain Bott-Samelson variety Z. We then construct a basis of the homogeneous coordinate ring of Gamma inside Z, indexed by combinatorial objects which we call w_0-standard tableaux.