Showing 20 papers (Total: 82311 papers, 47607 authors in database)
Littlewood-Richardson coefficients and Kazhdan-Lusztig polynomials
Published
• View Publication
• BIB
We show that the Littlewood-Richardson coefficients are values at 1 of certain parabolic Kazhdan-Lusztig polynomials for affine symmetric groups. These q-analogues of Littlewood-Richardson multiplicities coincide with those previously introduced in terms of ribbon tableaux.
Lattice Diagram Polynomials and Extended Pieri Rules
Published in Adv. Math. 142 (1999), no. 2, 244--334
• View Publication
• BIB
The lattice cell in the ${i+1}^{st}$ row and ${j+1}^{st}$ column of the positive quadrant of the plane is denoted $(i,j)$. If $μ$ is a partition of $n+1$, we denote by $μ/ij$ the diagram obtained by removing the cell $(i,j)$ from the (French) Ferrers diagram of $μ$. We set $Δ_{μ/ij}=\det \| x_i^{p_j}y_i^{q_j} \|_{i,j=1}^n$, where $(p_1,q_1),... ,(p_n,q_n)$ are the cells of $μ/ij$, and let ${\bf M}_{μ/ij}$ be the linear span of the partial derivatives of $Δ_{μ/ij}$. The bihomogeneity of $Δ_{μ/ij}$ and its alternating nature under the diagonal action of $S_n$ gives ${\bf M}_{μ/ij}$ the structure of a bigraded $S_n$-module. We conjecture that ${\bf M}_{μ/ij}$ is always a direct sum of $k$ left regular representations of $S_n$, where $k$ is the number of cells that are weakly north and east of $(i,j)$ in $μ$. We also make a number of conjectures describing the precise nature of the bivariate Frobenius characteristic of ${\bf M}_{μ/ij}$ in terms of the theory of Macdonald polynomials. On the validity of these conjectures, we derive a number of surprising identities. In particular, we obtain a representation theoretical interpretation of the coefficients appearing in some Macdonald Pieri Rules.
Science Fiction and Macdonald's Polynomials
Published
• View Publication
• BIB
This work studies the remarkable relationships that hold among certain m-tuples of the Garsia-Haiman modules $ {\bf M}_μ$ and corresponding elements of the Macdonald basis. We recall that ${\bf M}_μ$ is defined for a partition $μ\part n$, as the linear span of derivatives of a certain bihomogeneous polynomial $Δ_ μ(x,y)$ in the variables $x_1,x_2,..., x_n, y_1,y_2,..., y_n$. It has been conjectured by Garsia and Haiman that ${\bf M}_μ$ has $n!$ dimensions and that its bigraded Frobenius characteristic is given by the symmetric polynomial ${\widetilde{H}}_μ(x;q,t)=\sum_{λ\part n} S_λ(X) {\widetilde{K}}_{λμ}(q,t)$ where the ${\widetilde{K}}_{λμ}(q,t)$ are related to the Macdonald $q,t$-Kostka coefficients $ K_{λμ}(q,t)$ by the identity ${\widetilde{K}}_{λμ}(q,t)=K_{λμ}(q,1/t)t^{n(μ)}$ with $n(μ)$ the x-degree of $Δ_ μ(x;y)$. Computer data has suggested that as $ν$ varies among the immediate predecessors of a partition $μ$, the spaces ${\bf M}_ν$ behave like a boolean lattice. We formulate a number of remarkable conjectures about the Macdonald polynomials. In particular we obtain a representation theoretical interpretation for some of the symmetries that can be found in the computed tables of $q,t$-Kostka coefficients.
Signed shape tilings of squares
Published
• View Publication
• BIB
Let T be a tile in the Cartesian plane made up of finitely many rectangles whose corners have rational coordinates and whose sides are parallel to the coordinate axes. This paper gives necessary and sufficient conditions for a square to be tilable by finitely many \Q-weighted tiles with the same shape as T, and necessary and sufficient conditions for a square to be tilable by finitely many \Z-weighted tiles with the same shape as T. The main tool we use is a variant of F. W. Barnes's algebraic theory of brick packing, which converts tiling problems into problems in commutative algebra.
Regression Depth and Center Points
Published in Discrete Comput. Geom. 23(3):305-323, 2000
• View Publication
• BIB
We show that, for any set of n points in d dimensions, there exists a hyperplane with regression depth at least ceiling(n/(d+1)). as had been conjectured by Rousseeuw and Hubert. Dually, for any arrangement of n hyperplanes in d dimensions there exists a point that cannot escape to infinity without crossing at least ceiling(n/(d+1)) hyperplanes. We also apply our approach to related questions on the existence of partitions of the data into subsets such that a common plane has nonzero regression depth in each subset, and to the computational complexity of regression depth problems.
Graphs, flags and partitions
This paper defines, for each graph $G$, a flag vector $fG$. The flag vectors of the graphs on $n$ vertices span a space whose dimension is $p(n)$, the number of partitions on $n$. The analogy with convex polytopes indicates that the linear inequalities satisfied by $fG$ may be both interesting and accessible. Such would provide inequalities both sharp and subtle on the combinatorial structure of $G$. These may be related to Ramsey theory.
Multivision: an intractable impartial game with a linear winning strategy
Published
• View Publication
• BIB
Something is definitely wrong. If the game has a linear winning strategy, then it is tractable. What's going on? Well, we describe a two-person game which has a definite winner, that is, a player who can force a win in a finite number of moves, and we determine the winner in linear time. Moreover, the winner's winning moves can be computed in linear time, yet the game is highly intractable. In particular, at each step, except the very last ones, a player can make the length of play arbitrarily long.
Unfortunately, the space for this summary is too small to contain a proof that these properties are not contradictory.
How far can Nim in disguise be stretched?
Published
• View Publication
• BIB
A move in the game of nim consists of taking any positive number of tokens from a single pile. Suppose we add the class of moves of taking a nonnegative number of tokens jointly from all the piles. We give a complete answer to the question which moves in the class can be adjoined without changing the winning strategy of nim. The results apply to other combinatorial games with unbounded Sprague-Grundy function values. We formulate two weakened conditions of the notion of nim-sum 0 for proving the results.
Finite Dimensional Representations of Quantum Affine Algebras
We investigate the characters of some finite-dimensional representations of the quantum affine algebras $U_q(\hat{g})$ using the action of the copy of $U_q(g)$ embedded in it.
First, we present an efficient algorithm for computing the Kirillov-Reshetikhin conjectured formula for these characters when $g$ is simply-laced. This replaces the original formulation, in terms of "rigged configurations", with one based on polygonal paths in the Weyl chamber. It also gives a new algorithm for decomposing a tensor product of any number of representations of $sl(n)$ corresponding to rectangular Young diagrams, in a way symmetric in all the factors. This section is an expanded version of q-alg/9611032 .
Second, we study a generalization of certain remarkable quadratic relations that hold among characters of $sl(n)$ (the "discrete Hirota relations") whose solutions seem to be characters of quantum affine algebras. We use show that these relations have a unique solution over characters of $U_q(g)$.
A new heap game
Published
• View Publication
• BIB
Given $k\ge 3$ heaps of tokens. The moves of the 2-player game introduced here are to either take a positive number of tokens from at most $k-1$ heaps, or to remove the {\sl same} positive number of tokens from all the $k$ heaps. We analyse this extension of Wythoff's game and provide a polynomial-time strategy for it.
Infinite cyclic impartial games
Published
• View Publication
• BIB
We define the family of {\it locally path-bounded} digraphs, which is a class of infinite digraphs, and show that on this class it is relatively easy to compute an optimal strategy (winning or nonlosing); and realize a win, when possible, in a finite number of moves. This is done by proving that the Generalized Sprague-Grundy function exists uniquely and has finite values on this class.
Heap games, numeration systems and sequences
Published
• View Publication
• BIB
We propose and analyse a 2-parameter family of 2-player games on two heaps of tokens, and present a strategy based on a class of sequences. The strategy looks easy, but is actually hard. A class of exotic numeration systems is then used, which enables us to decide whether the family has an efficient strategy or not. We introduce yet another class of sequences, and demonstrate its equivalence with the class of sequences defined for the strategy of our games.
On the Asymptotics of the Finite-Perimeter Partition Function of Two-Dimensional Lattice Vesicles
Published
• View Publication
• BIB
We derive the dominant asymptotic form and the order of the correction terms of the finite-perimeter partition function of self-avoiding polygons on the square lattice, which are weighted according to their area A as q^A, in the inflated regime, q>1. The approach q->1^+ of the asymptotic form is examined.
The Entropy of Square-Free Words
Published in Mathl. Comput. Modelling 26 (1997) 13--26
• View Publication
• BIB
Finite alphabets of at least three letters permit the construction of square-free words of infinite length. We show that the entropy density is strictly positive and derive reasonable lower and upper bounds. Finally, we present an approximate formula which is asymptotically exact with rapid convergence in the number of letters.
Coordination Sequences and Critical Points
Published in Proceedings of the 6th International Conference on Quasicrystals, Eds. S. Takeuchi and T. Fujiwara (World Scientific, Singapore, 1998), pp. 124-127
• Search Publication
Coordination sequences of periodic and quasiperiodic graphs are analysed. These count the number of points that can be reached from a given point of the graph by a number of steps along its bonds, thus generalising the familiar coordination number which is just the first member of this series. A possible application to the theory of critical phenomena in lattice models is outlined.
Symmetry Structure of the Elser-Sloane Quasicrystal
Published in Aperiodic 97, eds. M. de Boissieu et al., World Scientific, Singapore (1998), pp. 63-67.
• Search Publication
The 4D quasicrystal of Elser and Sloane, obtained from the root lattice E8 by the cut-and-project method, can be parametrized by the points of an 8D torus. This allows for an explicit analysis of its point and inflation symmetry structure.
Invariant Submodules and Semigroups of Self-Similarities for Fibonacci Modules
Published in Aperiodic 97, eds. M. de Boissieu et al., World Scientific, Singapore (1998), pp. 21-27.
• Search Publication
The problem of invariance and self-similarity in Z-modules is investigated. For a selection of examples relevant to quasicrystals, especially Fibonacci modules, we determine the semigroup of self-similarities and encapsulate the number of similarity submodules in terms of Dirichlet series generating functions.
Identities for classical group characters of nearly rectangular shape
Published in J. Algebra 209 (1998), 1-64
• View Publication
• BIB
We derive several identities that feature irreducible characters of the general linear, the symplectic, the orthogonal, and the special orthogonal groups. All the identities feature characters that are indexed by shapes that are "nearly" rectangular, by which we mean that the shapes are rectangles except for one row or column that might be shorter than the others. As applications we prove new results in plane partitions and tableaux enumeration, including new refinements of the Bender-Knuth and MacMahon (ex-)conjectures.
Elementary proofs of identities for Schur functions and plane partitions
Published
• View Publication
• BIB
Elementary proofs are given for sums of Schur functions over partitions into at most n parts each less than or equal to m for which i) all parts are even, ii) all parts of the conjugate partition are even. Also, an elementary proof of a recent result of Ishikawa and Wakayama is given.
The Abstract Lace Expansion
Published in Advances in Applied Mathematics 19(1997), 355-359
• View Publication
• BIB
David Brydges and Thomas Spencer's Lace Expansion is abstracted, and it is shown how it sometimes gives rise to sieves.