Combinatorial Alexander Duality -- a Short and Elementary Proof

Let X be a simplicial complex with the ground set V. Define its Alexander dual as a simplicial complex X* = {A \subset V: V \setminus A \notin X}. The combinatorial Alexander duality states that the i-th reduced homology group of X is isomorphic to the (|V|-i-3)-th reduced cohomology group of X* (over a given commutative ring R). We give a self-contained proof.Comment: 7 pages, 2 figure; v3: the sign function was simplifie

A second look at the toric h-polynomial of a cubical complex

We provide an explicit formula for the toric $h$-contribution of each cubical shelling component, and a new combinatorial model to prove Clara Chan's result on the non-negativity of these contributions. Our model allows for a variant of the Gessel-Shapiro result on the $g$-polynomial of the cubical lattice, this variant may be shown by simple inclusion-exclusion. We establish an isomorphism between our model and Chan's model and provide a reinterpretation in terms of noncrossing partitions. By discovering another variant of the Gessel-Shapiro result in the work of Denise and Simion, we find evidence that the toric $h$-polynomials of cubes are related to the Morgan-Voyce polynomials via Viennot's combinatorial theory of orthogonal polynomials.Comment: Minor correction

The f-vector of the descent polytope

For a positive integer n and a subset S of [n-1], the descent polytope DP_S is the set of points x_1, ..., x_n in the n-dimensional unit cube [0,1]^n such that x_i >= x_{i+1} for i in S and x_i <= x_{i+1} otherwise. First, we express the f-vector of DP_S as a sum over all subsets of [n-1]. Second, we use certain factorizations of the associated word over a two-letter alphabet to describe the f-vector. We show that the f-vector is maximized when the set S is the alternating set {1,3,5, ...}. We derive a generating function for the f-polynomial F_S(t) of DP_S, written as a formal power series in two non-commuting variables with coefficients in Z[t]. We also obtain the generating function for the Ehrhart polynomials of the descent polytopes.Comment: 14 pages; to appear in Discrete & Computational Geometr

Parking functions, labeled trees and DCJ sorting scenarios

In genome rearrangement theory, one of the elusive questions raised in recent years is the enumeration of rearrangement scenarios between two genomes. This problem is related to the uniform generation of rearrangement scenarios, and the derivation of tests of statistical significance of the properties of these scenarios. Here we give an exact formula for the number of double-cut-and-join (DCJ) rearrangement scenarios of co-tailed genomes. We also construct effective bijections between the set of scenarios that sort a cycle and well studied combinatorial objects such as parking functions and labeled trees.Comment: 12 pages, 3 figure

Equality of multiplicity free skew characters

In this paper we show that two skew diagrams lambda/mu and alpha/beta can represent the same multiplicity free skew character [lambda/mu]=[alpha/beta] only in the the trivial cases when lambda/mu and alpha/beta are the same up to translation or rotation or if lambda=alpha is a staircase partition lambda=(l,l-1,...,2,1) and lambda/mu and alpha/beta are conjugate of each other.Comment: 16 pages, changes from v1 to v2: corrected the proof of Theorem 3.5 and some typos, changes from v2 to v3: minor layout change, enumeration changed, to appear in J. Algebraic Combi

Smooth Fano polytopes whose Ehrhart polynomial has a root with large real part

The symmetric edge polytopes of odd cycles (del Pezzo polytopes) are known as smooth Fano polytopes. In this paper, we show that if the length of the cycle is 127, then the Ehrhart polynomial has a root whose real part is greater than the dimension. As a result, we have a smooth Fano polytope that is a counterexample to the two conjectures on the roots of Ehrhart polynomials.Comment: 4 pages, We changed the order of the auhors and omitted a lot of parts of the paper. (If you are interested in omitted parts, then please read v1

The Tchebyshev transforms of the first and second kind

We give an in-depth study of the Tchebyshev transforms of the first and second kind of a poset, recently discovered by Hetyei. The Tchebyshev transform (of the first kind) preserves desirable combinatorial properties, including Eulerianess (due to Hetyei) and EL-shellability. It is also a linear transformation on flag vectors. When restricted to Eulerian posets, it corresponds to the Billera, Ehrenborg and Readdy omega map of oriented matroids. One consequence is that nonnegativity of the cd-index is maintained. The Tchebyshev transform of the second kind is a Hopf algebra endomorphism on the space of quasisymmetric functions QSym. It coincides with Stembridge's peak enumerator for Eulerian posets, but differs for general posets. The complete spectrum is determined, generalizing work of Billera, Hsiao and van Willigenburg. The type B quasisymmetric function of a poset is introduced. Like Ehrenborg's classical quasisymmetric function of a poset, this map is a comodule morphism with respect to the quasisymmetric functions QSym. Similarities among the omega map, Ehrenborg's r-signed Birkhoff transform, and the Tchebyshev transforms motivate a general study of chain maps. One such occurrence, the chain map of the second kind, is a Hopf algebra endomorphism on the quasisymmetric functions QSym and is an instance of Aguiar, Bergeron and Sottile's result on the terminal object in the category of combinatorial Hopf algebras. In contrast, the chain map of the first kind is both an algebra map and a comodule endomorphism on the type B quasisymmetric functions BQSym.Comment: 33 page

Quantum Diffusion and Delocalization for Band Matrices with General Distribution

We consider Hermitian and symmetric random band matrices $H$ in $d \geq 1$ dimensions. The matrix elements $H_{xy}$, indexed by $x,y \in \Lambda \subset \Z^d$, are independent and their variances satisfy \sigma_{xy}^2:=\E \abs{H_{xy}}^2 = W^{-d} f((x - y)/W) for some probability density $f$. We assume that the law of each matrix element $H_{xy}$ is symmetric and exhibits subexponential decay. We prove that the time evolution of a quantum particle subject to the Hamiltonian $H$ is diffusive on time scales $t\ll W^{d/3}$. We also show that the localization length of the eigenvectors of $H$ is larger than a factor $W^{d/6}$ times the band width $W$. All results are uniform in the size \abs{\Lambda} of the matrix. This extends our recent result \cite{erdosknowles} to general band matrices. As another consequence of our proof we show that, for a larger class of random matrices satisfying $\sum_x\sigma_{xy}^2=1$ for all $y$, the largest eigenvalue of $H$ is bounded with high probability by $2 + M^{-2/3 + \epsilon}$ for any $\epsilon > 0$, where M \deq 1 / (\max_{x,y} \sigma_{xy}^2).Comment: Corrected typos and some inaccuracies in appendix

Lattice Point Generating Functions and Symmetric Cones

We show that a recent identity of Beck-Gessel-Lee-Savage on the generating function of symmetrically contrained compositions of integers generalizes naturally to a family of convex polyhedral cones that are invariant under the action of a finite reflection group. We obtain general expressions for the multivariate generating functions of such cones, and work out the specific cases of a symmetry group of type A (previously known) and types B and D (new). We obtain several applications of the special cases in type B, including identities involving permutation statistics and lecture hall partitions.Comment: 19 page

Baxter operator formalism for Macdonald polynomials

We develop basic constructions of the Baxter operator formalism for the Macdonald polynomials associated with root systems of type A. Precisely we construct a dual pair of mutually commuting Baxter operators such that the Macdonald polynomials are their common eigenfunctions. The dual pair of Baxter operators is closely related to the dual pair of recursive operators for Macdonald polynomials leading to various families of their integral representations. We also construct the Baxter operator formalism for the q-deformed gl(l+1)-Whittaker functions and the Jack polynomials obtained by degenerations of the Macdonald polynomials associated with the type A_l root system. This note provides a generalization of our previous results on the Baxter operator formalism for the Whittaker functions. It was demonstrated previously that Baxter operator formalism for the Whittaker functions has deep connections with representation theory. In particular the Baxter operators should be considered as elements of appropriate spherical Hecke algebras and their eigenvalues are identified with local Archimedean L-factors associated with admissible representations of reductive groups over R. We expect that the Baxter operator formalism for the Macdonald polynomials has an interpretation in representation theory of higher-dimensional arithmetic fields.Comment: 22 pages, typos are fixe