arXiv++ Combinatorics

We introduce new methods for understanding the topology of $\Hom$ complexes (spaces of homomorphisms between two graphs), mostly in the context of group actions on graphs and posets. We view $\Hom(T,-)$ and $\Hom(-,G)$ as functors from graphs to posets, and introduce a functor $(-)^1$ from posets to graphs obtained by taking atoms as vertices. Our main structural results establish useful interpretations of the equivariant homotopy type of $\Hom$ complexes in terms of spaces of equivariant poset maps and $Γ$-twisted products of spaces. When $P = F(X)$ is the face poset of a simplicial complex $X$, this provides a useful way to control the topology of $\Hom$ complexes. Our foremost application of these results is the construction of new families of `test graphs' with arbitrarily large chromatic number - graphs $T$ with the property that the connectivity of $\Hom(T,G)$ provides the best possible lower bound on the chromatic number of $G$. In particular we focus on two infinite families, which we view as higher dimensional analogues of odd cycles. The family of `spherical graphs' have connections to the notion of homomorphism duality, whereas the family of `twisted toroidal graphs' lead us to establish a weakened version of a conjecture (due to Lovász) relating topological lower bounds on chromatic number to maximum degree. Other structural results allow us to show that any finite simplicial complex $X$ with a free action by the symmetric group $S_n$ can be approximated up to $S_n$-homotopy equivalence as $\Hom(K_n,G)$ for some graph $G$; this is a generalization of a result of Csorba. We conclude the paper with some discussion regarding the underlying categorical notions involved in our study.

The ring of symmetric functions $Λ$, with natural basis given by the Schur functions, arise in many different areas of mathematics. For example, as the cohomology ring of the grassmanian, and as the representation ring of the symmetric group. One may define a coproduct on $Λ$ by the plethystic addition on alphabets. In this way the ring of symmetric functions becomes a Hopf algebra. The Littlewood--Richardson numbers may be viewed as the structure constants for the co-product in the Schur basis. In the first part of this thesis we show that by using a generalization of the classical umbral calculus of Gian-Carlo Rota, one may deform the basis of Schur functions to find many other bases for which the Littlewood--Richardson numbers as coproduct structure constants. The Macdonald polynomials are a somewhat mysterious qt-deformation of the Schur functions. The second part of this thesis contains a proof a generating function identity for the Macdonald polynomials which was originally conjectured by Kawanaka.

Let V be a complex vector space with basis {x_1,x_2,...,x_n} and G be a finite subgroup of GL(V). The tensor algebra T(V) over the complex is isomorphic to the polynomials in the non-commutative variables x_1, x_2,..., x_n with complex coefficients. We want to give a combinatorial interpretation for the decomposition of T(V) into simple G-modules. In particular, we want to study the graded space of invariants in T(V) with respect to the action of G. We give a general method for decomposing the space T(V) into simple modules in terms of words in a Cayley graph of the group G. To apply the method to a particular group, we require a homomorphism from a subalgebra of the group algebra into the character algebra. In the case of G as the symmetric group, we give an example of this homomorphism from the descent algebra. When G is the dihedral group, we have a realization of the character algebra as a subalgebra of the group algebra. In those two cases, we have an interpretation for the graded dimensions of the invariant space in term of those words.

Let $S(d,N)$ denote the number of permutations in the symmetric group on $[N]$ which have no decreasing subsequence of length $d+1.$ We prove that $S(d,dn)$ is asymptotically equal to the number of standard Young tableaux of rectangular shape $R(d,2n)$ in the limit $n \to \infty,$ with $d$ fixed.

If χ^λis the irreducible character of the symmetric group S_n corresponding to the partition λof n then we may symmetrize a tensor v_1 \otimes ... \otimes v_n by χ^λ. Gamas's theorem states that the result is not zero if and only if we can partition the set {v_i} into linearly independent sets whose sizes are the parts of the transpose of λ. We give a short and self-contained proof of this fact.

Celebrated work of Jerrum, Sinclair, and Vigoda has established that the permanent of a {0,1} matrix can be approximated in randomized polynomial time by using a rapidly mixing Markov chain. A separate strand of the literature has pursued the possibility of an alternate, purely algebraic, polynomial-time approximation scheme. These schemes work by replacing each 1 with a random element of an algebra A, and considering the determinant of the resulting matrix. When A is noncommutative, this determinant can be defined in several ways. We show that for estimators based on the conventional determinant, the critical ratio of the second moment to the square of the first--and therefore the number of trials we need to obtain a good estimate of the permanent--is (1 + O(1/d))^n when A is the algebra of d by d matrices. These results can be extended to group algebras, and semi-simple algebras in general. We also study the symmetrized determinant of Barvinok, showing that the resulting estimator has small variance when d is large enough. However, for constant d--the only case in which an efficient algorithm is known--we show that the critical ratio exceeds 2^{n} / n^{O(d)}. Thus our results do not provide a new polynomial-time approximation scheme for the permanent. Indeed, they suggest that the algebraic approach to approximating the permanent faces significant obstacles. We obtain these results using diagrammatic techniques in which we express matrix products as contractions of tensor products. When these matrices are random, in either the Haar measure or the Gaussian measure, we can evaluate the trace of these products in terms of the cycle structure of a suitably random permutation. In the symmetrized case, our estimates are then derived by a connection with the character theory of the symmetric group.

Adriano Garsia has provided an explicit formula to enumerate a certain class of permutations in the symmetric group S_n. In this short note, we prove a stronger version of the assertion under a specific conjecture.

For a real oriented hyperplane arrangement, we show that the corresponding Salvetti complex is homotopy equivalent to the complement of the complexified arrangement. This result was originally proved by M. Salvetti. Our proof follows the framework of a proof given by L. Paris and relies heavily on the notation of oriented matroids. We also show that homotopy equivalence is preserved when we quotient by the action of the corresponding reflection group. In particular, the Salvetti complex of the braid arrangement in $\ell$ dimensions modulo the action of the symmetric group is a cell complex which is homotopy equivalent to the space of unlabelled configurations of $\ell$ distinct points. Lastly, we describe a construction of the orbit complex from the dual complex for all finite reflection arrangements in dimension 2. This description yields an easy derivation of the so-called "braid relations" in the case of braid arrangement.

We consider a point process on one-dimensional lattice originated from the harmonic analysis on the infinite symmetric group, and defined by the z-measures with the deformation (Jack) parameter 2. We derive an exact Pfaffian formula for the correlation function of this process. Namely, we prove that the correlation function is given as a Pfaffian with a matrix kernel. The kernel is given in terms of the Gauss hypergeometric functions, and can be considered as a matrix analogue of the Hypergeometric kernel introduced by A. Borodin and G. Olshanski. Our result holds for all values of admissible complex parameters.

In this paper, we look at the number of factorizations of a given permutation into star transpositions. In particular, we give a natural explanation of a hidden symmetry, answering a question of I.P. Goulden and D.M. Jackson. We also have a new proof of their explicit formula. Another result is the normalized class expansion of some central elements of the symmetric group algebra introduced by P. Biane. To obtain this results, we use natural analogs of Jucys-Murphy elements in the algebra of partial permutations of V. Ivanov and S. Kerov. We investigate their properties and use a formula of A. Lascoux and J.Y. Thibon to give the expansion of their power sums on the natural basis of the invariant subalgebra.

It is well-known that Catalan numbers $C_n = \frac{1}{n+1} \binom{2n}{n}$ count the number of dominant regions in the Shi arrangement of type $A$, and that they also count partitions which are both $n$-cores as well as $(n+1)$-cores. These concepts have natural extensions, which we call here the $m$-Catalan numbers and $m$-Shi arrangement. In this paper, we construct a bijection between dominant regions of the $m$-Shi arrangement and partitions which are both $n$-cores as well as $(mn+1)$-cores. The bijection is natural in the sense that it commutes with the action of the affine symmetric group.

In a recent paper Gunnells, Scott and Walden have determined the complete spectrum of the Schreier graph on the symmetric group corresponding to the Young subgroup $S_{n-2}\times S_2$ and generated by initial reversals. In particular they find that the first nonzero eigenvalue, or spectral gap, of the Laplacian is always 1, and report that "empirical evidence" suggests that this also holds for the corresponding Cayley graph. We provide a simple proof of this last assertion, based on the decomposition of the Laplacian of Cayley graphs, into a direct sum of irreducible representation matrices of the symmetric group.

From the combinatorial characterizations of the right, left, and two-sided Kazhdan-Lusztig cells of the symmetric group, 'RSK bases' are constructed for certain quotients by two-sided ideals of the group ring and the Hecke algebra. Applications to invariant theory, over various base rings, of the general linear group and representation theory of the symmetric group are discussed.

Given a finite simple graph $\cG$ with $n$ vertices, we can construct the Cayley graph on the symmetric group $S_n$ generated by the edges of $\cG$, interpreted as transpositions. We show that, if $\cG$ is complete multipartite, the eigenvalues of the Laplacian of $\Cay(\cG)$ have a simple expression in terms of the irreducible characters of transpositions, and of the Littlewood-Richardson coefficients. As a consequence we can prove that the Laplacians of $\cG$ and of $\Cay(\cG)$ have the same first nontrivial eigenvalue. This is equivalent to saying that Aldous's conjecture, asserting that the random walk and the interchange process have the same spectral gap, holds for complete multipartite graphs.

The well known Erdos-Turan law states that the logarithm of an order of a random permutation is asymptotically normally distributed. The aim of this work is to estimate convergence rate in this theorem and also to prove analogous result for distribution of the logarithm of an order of a random permutation on a certain class of subsets of the symmetric group. We also study the asymptotic behavior of the mean values of multiplicative functions on the symmetric group and the results we obtain are of independent interest besides their application to the investigation of the remainder term in the Erdos-Turan law. We also study a related problem of distribution of the degree of a splitting field of a random polynomial and obtain sharp estimates for its convergence rate to normal law. In research we apply both probabilistic and analytic methods. Some analytic methods used here have their origins in the probabilistic number theory, and some have their roots in the theory of summation of divergent series. One of the approaches we use is to apply Tauberian type estimates for Voronoi summability of divergent series to analyze the generating functions of the mean values of multiplicative functions.

In type A, the q,t-Fuss-Catalan numbers can be defined as a bigraded Hilbert series of a module associated to the symmetric group. We generalize this construction to (finite) complex reflection groups and, based on computer experiments, we exhibit several conjectured algebraic and combinatorial properties of these polynomials with non-negative integer coefficients. We prove the conjectures for the dihedral groups and for the cyclic groups. Finally, we present several ideas how the q,t-Fuss-Catalan numbers could be related to some graded Hilbert series of modules arising in the context of rational Cherednik algebras and thereby generalize known connections.

A special type of conjugacy classes in symmetric groups is studied and used to answer a question about odd-degree irreducible characters

In 1999, Reg Wood conjectured that the quotient of Q[x_1,...,x_n] by the action of the rational Steenrod algebra is a graded regular representation of the symmetric group S_n. As pointed out by Reg Wood, the analog of this statement is a well known result when the rational Steenrod algebra is replaced by the ring of symmetric functions; actually, much more is known about the structure of the quotient in this case. We introduce a non-commutative q-deformation of the ring of symmetric functions, which specializes at q=1 to the rational Steenrod algebra. We use this formalism to obtain some partial results. Finally, we describe several conjectures based on an extensive computer exploration. In particular, we extend Reg Wood's conjecture to q formal and to any q complex not of the form -a/b, with a in {1,...,n} and b a positive natural number.

It is becoming increasingly clear that the supercharacter theory of the finite group of unipotent upper-triangular matrices has a rich combinatorial structure built on set-partitions that is analogous to the partition combinatorics of the classical representation theory of the symmetric group. This paper begins by exploring a connection to the ring of symmetric functions in non-commuting variables that mirrors the symmetric group's relationship with the ring of symmetric functions. It then also investigates some of the representation theoretic structure constants arising from the restriction, tensor products and superinduction of supercharacters in this context.

In a previous work (arXiv:0806.1503v2), we defined a family of subcomplexes of the $n$-dimensional half cube by removing the interiors of all half cube shaped faces of dimension at least $k$, and we proved that the homology of such a subcomplex is concentrated in degree $k-1$. This homology group supports a natural action of the Coxeter group $W(D_n)$ of type $D$. In this paper, we explicitly determine the characters (over ${\Bbb C}$) of these homology representations, which turn out to be multiplicity free. Regarded as representations of the symmetric group $S_n$ by restriction, the homology representations turn out to be direct sums of certain representations induced from parabolic subgroups. The latter representations of $\sym_n$ agree (over ${\Bbb C}$) with the representations of $\sym_n$ on the $(k-2)$-nd homology of the complement of the $k$-equal real hyperplane arrangement.