Showing 20 papers (Total: 81324 papers, 47147 authors in database)
Random walks and random permutations
Published
• View Publication
• BIB
A connection is made between the random turns model of vicious walkers and random permutations indexed by their increasing subsequences. Consequently the scaled distribution of the maximum displacements in a particular asymmeteric version of the model can be determined to be the same as the scaled distribution of the eigenvalues at the soft edge of the GUE. The scaling of the distribution gives the maximum mean displacement $μ$ after $t$ time steps as $μ= (2t)^{1/2}$ with standard deviation proportional to $μ^{1/3}$. The exponent 1/3 is typical of a large class of two-dimensional growth problems.
A q-analogue of a formula of Hernandez obtained by inverting a result of Dilcher
We prove a q-analogue of the formula $ \sum_{1\le k\le n} \binom nk(-1)^{k-1}\sum_{1\le i_1\le i_2\le... \le i_m=k}\frac1{i_1i_2... i_m} = \sum_{1\le k\le n}\frac{1}{k^m} $ by inverting a formula due to Dilcher.
Set-polynomials and polynomial extension of the Hales-Jewett Theorem
Published in Ann. of Math. (2) 150 (1999), no. 1, 33-75
• View Publication
• BIB
An abstract, Hales-Jewett type extension of the polynomial van der Waerden Theorem [J. Amer. Math. Soc. 9 (1996),725-753] is established:
Theorem. Let r,d,q \in \N. There exists N \in \N such that for any r-coloring of the set of subsets of V={1,...,N}^{d} x {1,...,q} there exist a set a \subset V and a nonempty set γ\subseteq {1,...,N} such that a \cap (γ^{d} x {1,...,q}) = \emptyset, and the subsets a, a \cup (γ^{d} x {1}), a \cup (γ^{d} x {2}), ..., a \cup (γ^{d} x {q}) are all of the same color.
This ``polynomial'' Hales-Jewett theorem contains refinements of many combinatorial facts as special cases. The proof is achieved by introducing and developing the apparatus of set-polynomials (polynomials whose coefficients are finite sets) and applying the methods of topological dynamics.
Simply-laced Coxeter groups and groups generated by symplectic transvections
Published
• View Publication
• BIB
Let W be an arbitrary Coxeter group of simply-laced type (possibly infinite but of finite rank), u,v be any two elements in W, and i be a reduced word (of length m) for the pair (u,v) in the Coxeter group W\times W. We associate to i a subgroup Gamma_i in GL_m(Z) generated by symplectic transvections. We prove among other things that the subgroups corresponding to different reduced words for the same pair (u,v) are conjugate to each other inside GL_m(Z). We also generalize the enumeration result of the first three authors (see AG/9802093) by showing that, under certain assumptions on u and v, the number of Gamma_i(F_2)-orbits in F_2^m is equal to 3\times 2^s, where s is the number of simple reflections that appear in a reduced decomposition for u or v and F_2 is the two-element field.
Uniquely 2-List Colorable Graphs
Published in Discrete Appl. Math. 119 (2002), no. 3, 217--225
• View Publication
• BIB
A graph is called to be uniquely list colorable, if it admits a list assignment which induces a unique list coloring. We study uniquely list colorable graphs with a restriction on the number of colors used. In this way we generalize a theorem which characterizes uniquely 2-list colorable graphs. We introduce the uniquely list chromatic number of a graph and make a conjecture about it which is a generalization of the well known Brooks' theorem.
Using Automata to obtain Regular Expressions for Induced Actions
Presentations of Kan extensions of category actions provide a natural framework for expressing induced actions, and therefore a range of different combinatorial problems. Rewrite systems for Kan extensions have been defined and a variation on the Knuth-Bendix completion procedure can be used to complete them -- when possible. Regular languages and automata are a useful way of expressing sets and actions, and in this paper we explain how to use rewrite systems for Kan extensions to construct automata expressing the induced action and how sets of normal forms can be calculated by obtaining language equations from the automata.
Patterns and Fractions
Published
• View Publication
• BIB
We find, in the form of a continued fraction, the generating function for the number of (132)-avoiding permutations that have a given number of (123) patterns, and show how to extend this to permutations that have exactly one (132) pattern. We find some properties of the continued fraction, which is similar to, though more general than, those that were studied by Ramanujan.
Mixed hook-length formula for degenerate affine Hecke algebras
Published in Lecture Notes in Math. 1815 (2003), 223-236
• Search Publication
Take the degenerate affine Hecke algebra $H_{l+m}$ corresponding to the group $GL_{l+m}$ over a $p$-adic field. Consider the $H_{l+m}$-module $W$ induced from the tensor product of the evaluation modules over the algebras $H_l$ and $H_m$. The module $W$ depends on two partitions $λ$ of $l$ and $μ$ of $m$, and on two complex numbers $z$ and $w$. There is a canonical operator $J$ acting in $W$, it corresponds to the rational Yang $R$-matrix.
The algebra $H_{l+m}$ contains the symmetric group $S_{l+m}$, and $J$ commutes with the action of $S_{l+m}$ in $W$. Under this action, $W$ decomposes into irreducible subspaces according to the Littlewood-Richardson rule. We compute the eigenvalues of $J$, corresponding to certain multiplicity-free irreducible components of $W$. In particular, we obtain a nice formula for the ratio of two eigenvalues of $J$, corresponding to the "highest" and "lowest" (multiplicity-free) irreducible components of $W$.
Discrete orthogonal polynomial ensembles and the Plancherel measure
Published in Ann. of Math. (2) 153 (2001), no. 2, 259--296
• View Publication
• BIB
We consider discrete orthogonal polynomial ensembles which are discrete analogues of the orthogonal polynomial ensembles in random matrix theory. These ensembles occur in certain problems in combinatorial probability and can be thought of as probability measures on partitions. The Meixner ensemble is related to a two-dimensional directed growth model, and the Charlier ensemble is related to the lengths of weakly increasing subsequences in random words. The Krawtchouk ensemble occurs in connection with zig-zag paths in random domino tilings of the Aztec diamond, and also in a certain simplified directed first-passage percolation model. We use the Charlier ensemble to investigate the asymptotics of weakly increasing subsequences in random words and to prove a conjecture of Tracy and Widom. As a limit of the Meixner ensemble or the Charlier ensemble we obtain the Plancherel measure on partitions, and using this we prove a conjecture of Baik, Deift and Johansson that under the Plancherel measure, the distribution of the lengths of the first k rows in the partition, appropriately scaled, converges to the asymptotic joint distribution for the k largest eigenvalues of a random matrix from the Gaussian Unitary Ensemble. In this problem a certain discrete kernel, which we call the discrete Bessel kernel, plays an important role.
Polyhedral Realizations of Crystal Bases and Braid-type Isomorphisms
Published
• View Publication
• BIB
We review the polyhedral realizations of crystal bases in the former half and in the latter half, we introduce braid-type isomorphisms for some rank 2 finite type crystals. Using this isomorphisms, for semi-simple Lie algebra we can show that polyhedral realizations can be obtained in the lattice of finite rank which coincides with the length of the longest element in the associated Weyl group.
Enumeration of rhombus tilings of a hexagon which contain a fixed rhombus in the centre
Published
• View Publication
• BIB
We compute the number of rhombus tilings of a hexagon with side lengths a,b,c,a,b,c which contain the central rhombus and the number of rhombus tilings of a hexagon with side lengths a,b,c,a,b,c which contain the `almost central` rhombus above the centre.
Conjugate Bailey pairs
In this paper it is shown that the one-dimensional configuration sums of the solvable lattice models of Andrews, Baxter and Forrester and the string functions associated with admissible representations of the affine Lie algebra A$_1^{(1)}$ as introduced by Kac and Wakimoto can be exploited to yield a very general class of conjugate Bailey pairs. Using the recently established fermionic or constant-sign expressions for the one-dimensional configuration sums, our result is employed to derive fermionic expressions for fractional-level string functions, parafermion characters and A$_1^{(1)}$ branching functions. In addition, $q$-series identities are obtained whose Lie algebraic and/or combinatorial interpretation is still lacking.
A new bound on partial sum-sets and difference-sets, and applications to the Kakeya conjecture
Published
• View Publication
• BIB
Let $A, B$, be finite subsets of an abelian group, and let $G \subset A \times B$ be such that $# A, # B, # \{a+b: (a,b) \in G \} \leq N$. We consider the question of estimating the quantity $# \{a-b: (a,b) \in G \}$. Recently Bourgain improved the trivial upper bound of $N^2$ to $N^{2-1/13}$, and applied this to the Kakeya conjecture. We improve Bourgain's estimate further to $N^{2-1/6}$, and obtain the further improvement of $N^{2-1/4}$ if we also know that $# \{a+2b: (a,b) \in G\} \leq N$. We conclude that Besicovitch sets in $\R^n$ have Hausdorff dimension at least 6n/11+5/11 and Minkowski dimension at least $4n/7 + 3/7$. This is new for $n > 8$.
On a Combinatorial Identity
Published in Intern. Math. Res. Notices, No. 6 (2000), 325-332.
• Search Publication
Recently the second named author discovered a combinatorial identity in the context of vertex representations of quantum Kac-Moody algebras. We give a direct and elementary proof of this identity. Our method is to show a related identity of distributions.
Embedding of regular tilings and star-honeycomb
We review the regular tilings of d-sphere, Euclidean d-space, hyperbolic d-space and Coxeter's regular hyperbolic honeycombs (with infinite or star-shaped cells or vertex figures) with respect of possible embedding, isometric up to a scale, of their skeletons into a m-cube or m-dimensional cubic lattice. In section 2 the last remaining 2-dimensional case is decided: for any odd m>6, star-honeycombs {m, m/2} are embeddable while {m/2, m} are not (unique case of non-embedding for dimension 2). As a spherical analogue of those honeycombs, we enumerate, in section 3, 36 Riemann surfaces representing all nine regular polyhedra on the sphere. In section 4, non-embeddability of all remaining star-honeycombs (on 3-sphere and hyperbolic 4-space) is proved. In the last section 5, all cases of embedding for dimension d>2 are identified. Besides hyper-simplices and hyper-octahedra, they are exactly those with bipartite skeleton: hyper-cubes, cubic lattices and 8, 2, 1 tilings of hyperbolic 3-, 4-, 5-space (only two, {435} and {4335}, of those 11 are compact).
Dimer statistics on the Möbius strip and the Klein bottle
Published in Physics Letters A 259,108-114(1999)
• View Publication
• BIB
Closed-form expressions are obtained for the generating function of close-packed dimers on a $2M \times 2N$ simple quartic lattice embedded on a Möbius strip and a Klein bottle. Finite-size corrections are also analyzed and compared with those under cylindrical and free boundary conditions. Particularly, it is found that, for large lattices of the same size and with a square symmetry, the number of dimer configurations on a Möbius strip is 70.2% of that on a cylinder. We also establish two identities relating dimer generating functions for Möbius strips and cylinders.
Uniform partitions of 3-space, their relatives and embedding
Published
• View Publication
• BIB
We review 28 uniform partitions of 3-space in order to find out which of them have graphs (skeletons) embeddable isometrically (or with scale 2) into some cubic lattice ${\bf Z}_n$. We also consider some relatives of those 28 partitions, including Achimedean 4-polytopes of Conway-Guy, non-compact uniform partitions, Kelvin partitions and those with unique vertex figure (i.e. Delaunay star). Among last ones we indicate two continuums of aperiodic tilings by semi-regular 3-prisms with cubes or with regular tetrahedra and regular octahedra. On the way many new partitions are added to incomplete cases considered here.
Three, four and five-dimensional fullerenes
Published in Southeast Asian Bulletin of Mathematics (1999) 23: 1-10
• Search Publication
We explore some generalizations of fullerenes F_v (simple polyhedra with v vertices and only 5- and 6-gonal faces) seen as (d-1)-dimensional simple manifolds (preferably, spherical or polytopal) with only 5- and 6-gonal 2-faces. First, finite and planar (infinite) 3-fullerenes are described. Three infinite families of spherical 4-fullerenes are presented in Constructions A,B,C. The Construction A gives 4-polytopes by suitable insertion of fullerenes F_{30}(D_{5h}) into glued 120-cells. The Construction B gives 3-spheres by growing dodecahedra and barrels F_{24} around of given fullerene. The Construction C gives 4-fullerenes from special decoration of given 4-fullerene, which add facets F_{20}, F_{24}, F_{26} and F_{28}(T_d) only. Some 5-fullerenes are obtained, by a variation of gluing of two regular tilings {5333} of hyperbolic 4-space or of their suitable quotients.
On a generalization of property B
A set-theoretic property called Property S is introduced as a generalization of the well-known Property B. Property S is named for A.Schrijver who first used it to formulate an equivalent of the boolean prime ideal theorem. It was independently introduced by A. Kolany to give a uniform treatment for a variety of satisfiability problems who then used a generalized resolution method to determine satisfiability. Here we further investigate Property S and the resolution method.
A Multiple Integral Explicit Evaluation Inspired by the Multi-WZ Method
Published
• View Publication
• BIB
We give an identity which is conjectured and proved by using an implementation in Multi-WZ.