Maximal increasing sequences in fillings of almost-moon polyominoes

It was proved by Rubey that the number of fillings with zeros and ones of a given moon polyomino that do not contain a northeast chain of size $k$ depends only on the set of columns of the polyomino, but not the shape of the polyomino. Rubey's proof is an adaption of jeu de taquin and promotion for arbitrary fillings of moon polyominoes. In this paper we present a bijective proof for this result by considering fillings of almost-moon polyominoes, which are moon polyominoes after removing one of the rows. Explicitly, we construct a bijection which preserves the size of the largest northeast chains of the fillings when two adjacent rows of the polyomino are exchanged. This bijection also preserves the column sum of the fillings. We also present a bijection that preserves the size of the largest northeast chains, the row sum and the column sum if every row of the fillings has at most one 1.Comment: 18 page

Quasifinite representations of classical Lie subalgebras of W_{1+infty}

We show that there are precisely two, up to conjugation, anti-involutions sigma_{\pm} of the algebra of differential operators on the circle preserving the principal gradation. We classify the irreducible quasifinite highest weight representations of the central extension \hat{D}^{\pm} of the Lie subalgebra of this algebra fixed by - sigma_{\pm}, and find the unitary ones. We realize them in terms of highest weight representations of the central extension of the Lie algebra of infinite matrices with finitely many non-zero diagonals over the truncated polynomial algebra C[u] / (u^{m+1}) and its classical Lie subalgebras of B, C and D types. Character formulas for positive primitive representations of \hat{D}^{\pm} (including all the unitary ones) are obtained. We also realize a class of primitive representations of \hat{D}^{\pm} in terms of free fields and establish a number of duality results between these primitive representations and finite-dimensional irreducible representations of finite-dimensional Lie groups and supergroups. We show that the vacuum module V_c of \hat{D}^+ carries a vertex algebra structure and establish a relationship between V_c for half-integral central charge c and W-algebras.Comment: Latex, 77 page

A major index for matchings and set partitions

We introduce a statistic \pmaj on partitions of $[n]=\{1,2,..., n\}$, and show that it is equidistributed with the number of 2-crossings over partitions of $[n]$ with given sets of minimal block elements and maximal block elements. This generalizes the classical result of equidistribution for the permutation statistics inversion number and major index.Comment: 17 pages, 9 figure

Mixed Statistics on 01-Fillings of Moon Polyominoes

We establish a stronger symmetry between the numbers of northeast and southeast chains in the context of 01-fillings of moon polyominoes. Let \M be a moon polyomino with $n$ rows and $m$ columns. Consider all the 01-fillings of \M in which every row has at most one 1. We introduce four mixed statistics with respect to a bipartition of rows or columns of \M. More precisely, let $S \subseteq \{1,2,..., n\}$ and $\mathcal{R}(S)$ be the union of rows whose indices are in $S$. For any filling $M$, the top-mixed (resp. bottom-mixed) statistic $\alpha(S; M)$ (resp. $\beta(S; M)$) is the sum of the number of northeast chains whose top (resp. bottom) cell is in $\mathcal{R}(S)$, together with the number of southeast chains whose top (resp. bottom) cell is in the complement of $\mathcal{R}(S)$. Similarly, we define the left-mixed and right-mixed statistics $\gamma(T; M)$ and $\delta(T; M)$, where $T$ is a subset of the column index set $\{1,2,..., m\}$. Let $\lambda(A; M)$ be any of these four statistics $\alpha(S; M)$, $\beta(S; M)$, $\gamma(T; M)$ and $\delta(T; M)$, we show that the joint distribution of the pair $(\lambda(A; M), \lambda(\bar A; M))$ is symmetric and independent of the subsets $S, T$. In particular, the pair of statistics $(\lambda(A;M), \lambda(\bar A; M))$ is equidistributed with (\se(M),\ne(M)), where \se(M) and $\ne(M)$ are the numbers of southeast chains and northeast chains of $M$, respectively.Comment: 20 pages, 6 figure

High-Energy String Scattering Amplitudes and Signless Stirling Number Identity

We give a complete proof of a set of identities (7) proposed recently from calculation of high-energy string scattering amplitudes. These identities allow one to extract ratios among high-energy string scattering amplitudes in the fixed angle regime from high-energy amplitudes in the Regge regime. The proof is based on a signless Stirling number identity in combinatorial theory. The results are valid for arbitrary real values $L$ rather than only for $L=0,1$ proved previously. The identities for non-integer real value $L$ were recently shown to be realized in high-energy compactified string scattering amplitudes [He S., Lee J.C., Yang Y., arXiv:1012.3158]. The parameter $L$ is related to the mass level of an excited string state and can take non-integer values for Kaluza-Klein modes

Apollonian Circle Packings: Geometry and Group Theory III. Higher Dimensions

This paper gives $n$-dimensional analogues of the Apollonian circle packings in parts I and II. We work in the space \sM_{\dd}^n of all $n$-dimensional oriented Descartes configurations parametrized in a coordinate system, ACC-coordinates, as those $(n+2) \times (n+2)$ real matrices \bW with \bW^T \bQ_{D,n} \bW = \bQ_{W,n} where $Q_{D,n} = x_1^2 +... + x_{n+2}^2 - \frac{1}{n}(x_1 +... + x_{n+2})^2$ is the $n$-dimensional Descartes quadratic form, $Q_{W,n} = -8x_1x_2 + 2x_3^2 + ... + 2x_{n+2}^2$, and \bQ_{D,n} and \bQ_{W,n} are their corresponding symmetric matrices. There are natural actions on the parameter space \sM_{\dd}^n. We introduce $n$-dimensional analogues of the Apollonian group, the dual Apollonian group and the super-Apollonian group. These are finitely generated groups with the following integrality properties: the dual Apollonian group consists of integral matrices in all dimensions, while the other two consist of rational matrices, with denominators having prime divisors drawn from a finite set $S$ depending on the dimension. We show that the the Apollonian group and the dual Apollonian group are finitely presented, and are Coxeter groups. We define an Apollonian cluster ensemble to be any orbit under the Apollonian group, with similar notions for the other two groups. We determine in which dimensions one can find rational Apollonian cluster ensembles (all curvatures rational) and strongly rational Apollonian sphere ensembles (all ACC-coordinates rational).Comment: 37 pages. The third in a series on Apollonian circle packings beginning with math.MG/0010298. Revised and extended. Added: Apollonian groups and Apollonian Cluster Ensembles (Section 4),and Presentation for n-dimensional Apollonian Group (Section 5). Slight revision on March 10, 200

Apollonian Circle Packings: Geometry and Group Theory I. The Apollonian Group

Apollonian circle packings arise by repeatedly filling the interstices between four mutually tangent circles with further tangent circles. We observe that there exist Apollonian packings which have strong integrality properties, in which all circles in the packing have integer curvatures and rational centers such that (curvature)$\times$(center) is an integer vector. This series of papers explain such properties. A {\em Descartes configuration} is a set of four mutually tangent circles with disjoint interiors. We describe the space of all Descartes configurations using a coordinate system \sM_\DD consisting of those $4 \times 4$ real matrices \bW with \bW^T \bQ_{D} \bW = \bQ_{W} where \bQ_D is the matrix of the Descartes quadratic form $Q_D= x_1^2 + x_2^2+ x_3^2 + x_4^2 -{1/2}(x_1 +x_2 +x_3 + x_4)^2$ and \bQ_W of the quadratic form $Q_W = -8x_1x_2 + 2x_3^2 + 2x_4^2$. There are natural group actions on the parameter space \sM_\DD. We observe that the Descartes configurations in each Apollonian packing form an orbit under a certain finitely generated discrete group, the {\em Apollonian group}. This group consists of $4 \times 4$ integer matrices, and its integrality properties lead to the integrality properties observed in some Apollonian circle packings. We introduce two more related finitely generated groups, the dual Apollonian group and the super-Apollonian group, which have nice geometrically interpretations. We show these groups are hyperbolic Coxeter groups.Comment: 42 pages, 11 figures. Extensively revised version on June 14, 2004. Revised Appendix B and a few changes on July, 2004. Slight revision on March 10, 200