Showing 20 papers (Total: 81324 papers, 47147 authors in database)
Random Domino Tilings and the Arctic Circle Theorem
In this article we study domino tilings of a family of finite regions called Aztec diamonds. Every such tiling determines a partition of the Aztec diamond into five sub-regions; in the four outer sub-regions, every tile lines up with nearby tiles, while in the fifth, central sub-region, differently-oriented tiles co-exist side by side. We show that when n is sufficiently large, the shape of the central sub-region becomes arbitrarily close to a perfect circle of radius n/sqrt(2) for all but a negligible proportion of the tilings. Our proof uses techniques from the theory of interacting particle systems. In particular, we prove and make use of a classification of the stationary behaviors of a totally asymmetric one-dimensional exclusion process in discrete time.
Characteristic varieties of arrangements
Published in Mathematical Proceedings of the Cambridge Philosophical Society 127 (1999), no. 1, 33-53
• View Publication
• BIB
The k-th Fitting ideal of the Alexander invariant B of an arrangement A of n complex hyperplanes defines a characteristic subvariety, V_k(A), of the complex algebraic n-torus. In the combinatorially determined case where B decomposes as a direct sum of local Alexander invariants, we obtain a complete description of V_k(A). For any arrangement A, we show that the tangent cone at the identity of this variety coincides with R^1_k(A), one of the cohomology support loci of the Orlik-Solomon algebra. Using work of Arapura and Libgober, we conclude that all positive-dimensional components of V_k(A) are combinatorially determined, and that R^1_k(A) is the union of a subspace arrangement in C^n, thereby resolving a conjecture of Falk. We use these results to study the reflection arrangements associated to monomial groups.
Automated counting of LEGO towers
Published
• View Publication
• BIB
H. N. V. Temperley's method for counting vertically convex polyominoes is modified, generalized, and most importantly, programmed (in Maple).
Characteristic and Ehrhart polynomials
Published in J. Algebraic Combin. 7 (1998), 115-126
• View Publication
• BIB
Let A be a subspace arrangement and let chi(A,t) be the characteristic polynomial of its intersection lattice L(A). We show that if the subspaces in A are taken from L(B_n), where B_n is the type B Weyl arrangement, then chi(A,t) counts a certain set of lattice points. One can use this result to study the partial factorization of chi(A,t) over the integers and the coefficients of its expansion in various bases for the polynomial ring R[t]. Next we prove that the characteristic polynomial of any Weyl hyperplane arrangement can be expressed in terms of an Ehrhart quasi-polynomial for its affine Weyl chamber. Note that our first result deals with all subspace arrangements embedded in B_n while the second deals with all finite Weyl groups but only their hyperplane arrangements.
Mobius functions of lattices
Published in Adv. in Math. 127 (1997), 94-123
• View Publication
• BIB
We introduce the concept of a bounded below set in a lattice. This can be used to give a generalization of Rota's broken circuit theorem to any finite lattice. We then show how this result can be used to compute and combinatorially explain the Möbius function in various examples including non-crossing set partitions, shuffle posets, and integer partitions in dominance order. Next we present a generalization of Stanley's theorem that the characteristic polynomial of a semimodular supersolvable lattice factors over the integers. We also give some applications of this second main theorem, including the Tamari lattices.
Arithmetic properties of generalized Euler numbers
Published in Southeast Asian Bull. Math. 21 (1997), 73-78
• Search Publication
The generalized Euler number E_{n|k} counts the number of permutations of {1,2,...,n} which have a descent in position m if and only if m is divisible by k. The classical Euler numbers are the special case when k=2. In this paper, we study divisibility properties of a q-analog of E_{n|k}. In particular, we generalize two theorems of Andrews and Gessel about factors of the q-tangent numbers.
The Wiener polynomial of a graph
Published in Internat. J. of Quantum Chem. 60 (1996), 959-969
• Search Publication
The Wiener index is a graphical invariant that has found extensive application in chemistry. We define a generating function, which we call the Wiener polynomial, whose derivative is a q-analog of the Wiener index. We study some of the elementary properties of this polynomial and compute it for some common graphs. We then find a formula for the Wiener polynomial of a dendrimer, a certain highly regular tree of interest to chemists, and show that it is unimodal. Finally, we point out a connection with the Poincare polynomial of a finite Coxeter group.
The Martin Boundary of the Young-Fibonacci Lattice
Published
• View Publication
• BIB
We find the Martin boundary for the Young-Fibonacci lattice YF. Along with the lattice of Young diagrams, this is the most interesting example of a differential poset. The Martin boundary construction provides an explicit Poisson-type integral representation of non-negative harmonic functions on YF. The latter are in a canonical correspondence with a set of traces on Okada locally semisimple algebra. The set is known to contain all the indecomposable traces. Presumably, all of the traces in the set are indecomposable, though we have no proof of this conjecture. Using a new explicit product formula for Okada characters, we derive precise regularity conditions under which a sequence of characters of finite-dimensional Okada algebras converges to a character of the infinite-dimensional one.
Anisotropic Young diagrams and Jack symmetric functions
Published
• View Publication
• BIB
We study the Young graph with edge multiplicities arising in a Pieri-type formula for Jack symmetric polynomials $P_μ(x;a)$ with a parameter $a$. Starting with the empty diagram, we define recurrently the `dimensions' $\dim_a$ in the same way as for the Young lattice or Pascal triangle.
New proofs are given for two known results. The first is the $a$-hook formula for $\dim_a$, first found by R.Stanley. Secondly, we prove (for all complex $u$ and $v$) a generalization of the identity $\sumν(c(b)+u)(c(b)+v)\dimν/\dimμ=(n+1)(n+uv)$, where $ν$ runs over immediate successors of a Young diagram $μ$ with $n$ boxes. Here $c(b)$ is the content of a new box $b$. The identity is known to imply the existence of an interesting family of positive definite central functions on the infinite symmetric group.
The approach is based on the interpretation of a Young diagram as a pair of interlacing sequences, so that analytic techniques may be used to solve combinatorial problems. We show that when dealing with Jack polynomials $P_μ(x;a)$, it makes sense to consider `anisotropic' Young diagrams made of rectangular boxes of size $1\times a$.
On certain multiple Bailey, Rogers and Dougall type summation formulas
Published in Publ. Res. Inst. Math. Sci. 33 (1997), 483-508
• View Publication
• BIB
A multidimensional generalization of Bailey's very-well-poised bilateral basic hypergeometric ${}_6ψ_6$ summation formula and its Dougall type ${}_5H_5$ hypergeometric degeneration for $q\to 1$ is studied. The multiple Bailey sum amounts to an extension corresponding to the case of a nonreduced root system of certain summation identities associated to the reduced root systems that were recently conjectured by Aomoto and Ito and proved by Macdonald. By truncation, we obtain multidimensional analogues of the very-well-poised unilateral (basic) hypergeometric Rogers ${}_6φ_5$ and Dougall ${}_5F_4$ sums (both nonterminating and terminating). The terminating sums may be used to arrive at product formulas for the norms of recently introduced ($q$-)Racah polynomials in several variables.
Some Generalizations of the Pinwheel Tiling
Published in Disc. Comp. Geom. 20 (1998), 79-110
• View Publication
• BIB
We introduce a new family of nonperiodic tilings, based on a substitution rule that generalizes the pinwheel tiling of Conway and Radin. In each tiling the tiles are similar to a single triangular prototile. In a countable number of cases, the tiles appear in a finite number of sizes and an infinite number of orientations. These tilings generally do not meet full-edge to full-edge, but CAN be forced through local matching rules. In a countable number of cases, the tiles appear in a finite number of orientations but an infinite number of sizes, all within a set range, while in an uncountable number of cases both the number of sizes and the number of orientations is infinite.
An Algebraic Invariant for Substitution Tiling Systems
Published in Geometriae Dedicata 73 (1998) 21-37
• View Publication
• BIB
We consider tilings of Euclidean spaces by polygons or polyhedra, in particular, tilings made by a substitution process, such as the Penrose tilings of the plane. We define an isomorphism invariant related to a subgroup of rotations and compute it for various examples. We also extend our analysis to more general dynamical systems.
Rhombus Tilings of a Hexagon with Three Fixed Border Tiles
Published in J. Combin. Theory Ser. A 88 (1999), 368-378
• Search Publication
We compute the number of rhombus tilings of a hexagon with sides $a+2,b+2,c+2,a+2,b+2,c+2$ with three fixed tiles touching the border. The particular case $a=b=c$ solves a problem posed by Propp. Our result can also be viewed as the enumeration of plane partitions having $a+2$ rows and $b+2$ columns, with largest entry $\le c+2$, with a given number of entries $c+2$ in the first row, a given number of entries 0 in the last column and a given bottom-left entry.
Tensor decompositions for SL(2) and outerplanar graphs
The main result of this article is the decomposition of tensor products of representations of SL(2) in the sum of irreducible representations parametrized by outerplanar graphs. An outerplanar graph is a graph with the vertices 0, 1, 2, ..., m, edges of which can be drawn in the upper half-plane without intersections. I allow for a graph to have multiple edges, but don't allow loops.
Hopf Algebras and Edge-Labeled Posets
Published in Journal of Algebra, 216 (1999), pp. 641-651
• View Publication
• BIB
Given a finite graded poset with labeled Hasse diagram, we construct a quasi- symmetric generating function for (saturated) chains whose labels have fixed descents. This is a common generalization of a generating function for the flag f-vector defined by Ehrenborg and of a symmetric function associated to certain edge-labeled posets which arose in the theory of Schubert polynomials. We show this construction gives a Hopf morphism from an incidence algebra of edge-labeled posets to the Hopf algebra of quasi-symmetric functions.
Fiber polytopes for the projections between cyclic polytopes
Published in European J. Combin. 21:1 (2000), 19-47
• View Publication
• BIB
The cyclic polytope $C(n,d)$ is the convex hull of any $n$ points on the moment curve ${(t,t^2,...,t^d):t \in \reals}$ in $\reals^d$. For $d' >d$, we consider the fiber polytope (in the sense of Billera and Sturmfels) associated to the natural projection of cyclic polytopes $π: C(n,d') \to C(n,d)$ which "forgets" the last $d'-d$ coordinates. It is known that this fiber polytope has face lattice indexed by the coherent polytopal subdivisions of $C(n,d)$ which are induced by the map $π$. Our main result characterizes the triples $(n,d,d')$ for which the fiber polytope is canonical in either of the following two senses:
- all polytopal subdivisions induced by $π$ are coherent,
- the structure of the fiber polytope does not depend upon the choice of points on the moment curve.
We also discuss a new instance with a positive answer to the Generalized Baues Problem, namely that of a projection $π:P\to Q$ where $Q$ has only regular subdivisions and $P$ has two more vertices than its dimension.
A Monoid for the Universal K-Bruhat Order
Published in European Journal of Combinatorics, 20, (1999), pp. 197-211
• View Publication
• BIB
Structure constants for the multiplication of Schubert polynomials by Schur symmetric polynomials are known to be related to the enumeration of chains in a new partial order on S_\infty, which we call the universal k-Bruhat order. Here we present a monoid M for this order and show that $M$ is analogous to the nil-Coxeter monoid for the weak order on S_\infty. For this, we develop a theory of reduced sequences for M. We use these sequences to give a combinatorial description of the structure constants above. We also give combinatorial proofs of some of the symmetry relations satisfied by these structure constants.
Homotopy types of complements of 2-arrangements in R^4
Published in Topology 39 (2000), no. 1, 61-88
• View Publication
• BIB
We study the homotopy types of complements of arrangements of n transverse planes in R^4, obtaining a complete classification for n <= 6, and lower bounds for the number of homotopy types in general. Furthermore, we show that the homotopy type of a 2-arrangement in R^4 is not determined by the cohomology ring, thereby answering a question of Ziegler. The invariants that we use are derived from the characteristic varieties of the complement. The nature of these varieties illustrates the difference between real and complex arrangements.
Spectra of semi-regular polytopes
Published
• View Publication
• BIB
We compute the spectra of the adjacency matrices of the semi-regular polytopes. A few different techniques are employed: the most sophisticated, which relates the 1-skeleton of the polytope to a Cayley graph, is based on methods akin to those of Lovász and Babai ([L], [B]). It turns out that the algebraic degree of the eigenvalues is at most 5, achieved at two 3-dimensional solids.
Orbifold Euler characteristics and the number of commuting n-tuples in symmetric groups
Published
• View Publication
• BIB
Generating functions for the number of commuting m-tuples in the symmetric groups are obtained. We define a natural sequence of ``orbifold Euler characteristics'' for a finite group G acting on a manifold X. Our definition generalizes the ordinary Euler characteristic of X/G and the string-theoretic orbifold Euler characteristic. Our formulae for commuting m-tuples underlie formulas that generalize the results of Macdonald and Hirzebruch-Hofer concerning the ordinary and string-theoretic Euler characteristics of symmetric products.