arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Enumeration of ad-nilpotent $\frak b$-ideals for simple Lie algebras
Published in Adv. Appl. Math. 28 (2002), 478-522. • View PublicationBIB
We provide explicit formulas for the number of ad-nilpotent ideals of a Borel subalgebra of a complex simple Lie algebra having fixed class of nilpotence.
2000-11-02 v4
Recurrence of Distributional Limits of Finite Planar Graphs
Published in Electron.J.Probab.6:1-13,2001 • View PublicationBIB
Suppose that $G_j$ is a sequence of finite connected planar graphs, and in each $G_j$ a special vertex, called the root, is chosen randomly-uniformly. We introduce the notion of a distributional limit $G$ of such graphs. Assume that the vertex degrees of the vertices in $G_j$ are bounded, and the bound does not depend on $j$. Then after passing to a subsequence, the limit exists, and is a random rooted graph $G$. We prove that with probability one $G$ is recurrent. The proof involves the Circle Packing Theorem. The motivation for this work comes from the theory of random spherical triangulations.
2000-11-01 v5
Compatible sequences and a slow Winkler percolation
Published in Combinatorics, Probability and Computing 13 (2004) pp. 815-856 • Search Publication
Two infinite 0-1 sequences are called compatible when it is possible to cast out 0's from both in such a way that they become complementary to each other. Answering a question of Peter Winkler, we show that if the two 0-1-sequences are random i.i.d. and independent from each other, with probability p of 1's, then if p is sufficiently small they are compatible with positive probability. The question is equivalent to a certain dependent percolation with a power-law behavior: the probability that the origin is blocked at distance n but not closer decreases only polynomially fast and not, as usual, exponentially.
2000-11-01 v3
Double Schubert polynomials and degeneracy loci for the classical groups
Published in Annales de l'Institut Fourier 52 (2002), 1681-1727 • View PublicationBIB
We propose a theory of double Schubert polynomials P_w(X,Y) for the Lie types B, C, D which naturally extends the family of Lascoux of Schutzenberger in type A. These polynomials satisfy positivity, orthogonality, and stability properties, and represent the classes of Schubert varieties and degeneracy loci of vector bundles. When w is a maximal Grassmannian element of the Weyl group, P_w(X,Y) can be expressed in terms of Schur-type determinants and Pfaffians, in analogy with the type A formula of Kempf and Laksov. An example, motivated by quantum cohomology, shows that there are no Chern class formulas for degeneracy loci of ``isotropic morphisms'' of bundles.
2000-10-31
The structure of Chip Firing Games and related models
Published • View PublicationBIB
In this paper, we study the dynamics of sand grains falling in sand piles. Usually sand piles are characterized by a decreasing integer partition and grain moves are described in terms of transitions between such partitions. We study here four main transition rules. The more classical one, introduced by Brylawski (1973) induces a lattice structure $L_B (n)$ (called dominance ordering) between decreasing partitions of a given integer n. We prove that a more restrictive transition rule, called SPM rule, induces a natural partition of L_B (n) in suborders, each one associated to a fixed point for SPM rule. In the second part, we extend the SPM rule in a natural way and obtain a model called Chip Firing Game (Goles and Kiwi, 1993). We prove that this new model has interesting properties: the induced order is a lattice, a natural greedoid can be associated to the model and it also defines a strongly convergent game. In the last section, we generalize the SPM rule in another way and obtain other lattice structure parametrized by some t: L(n,t), which form for -n+2 <= t <= n a decreasing sequence of lattices. For each t, we characterize the fixed point of L(n,t) and give the value of its maximal sized chain's lenght. We also note that L(n,-n+2) is the lattice of all compositions of n.
2000-10-28
Generalized Umemura polynomials
Published • View PublicationBIB
We introduce and study generalized Umemura polynomials $U_{n,m}^{(k)}(z,w;a,b)$ which are a natural generalization of the Umemura polynomials $U_n(z,w;a,b)$ related to Painlevé $VI$ equation. We will show that if $a=b$, or $a=0$, or $b=0$ then polynomials $U_{n,m}^{(0)}(z,w;a,b)$ generate solutions to Painlevé $VI$. We will describe a connection between polynomials $U_{n,m}^{(0)}(z,w;a,0)$ and certain Umemura polynomials $U_k(z,w;α,β)$.
2000-10-26
Some new identities for Schur functions
Published • View PublicationBIB
Some new identities for Schur functions are proved. In particular, we settle in the affirmative a recent conjecture of Ishikawa-Wakayama and solve a problem raised by Bressoud.
2000-10-25
Kirkman's hypothesis revisited
Watson proved Kirkman's hypothesis (partially solved by Cayley). Using Lagrange Inversion, we drastically shorten Watson's computations and generalize his results at the same time.
Lagrangian Matroids associated with Maps on Orientable Surfaces
The aim of the paper is to clarify the nature of combinatorial structures associated with maps on closed compact surfaces. We prove that maps give rise to Lagrangian matroids representable in a setting provided by cohomology of the surface with punctured points. Our proof is very elementary. We further observe that the greedy algorithm has a natural interpretation in this setting, as a `peeling' procedure which cuts the (connected) surface into a closed ring-shaped peel, and that this procedure is local.
Oriented Lagrangian Matroids
Published • View PublicationBIB
In this paper we present a definition of oriented Lagrangian symplectic matroids and their representations. Classical concepts of orientation and this extension may both be thought of as stratifications of thin Schubert cells into unions of connected components. The definitions are made first in terms of a combinatorial axiomatisation, and then again in terms of elementary geometric properties of the Coxeter matroid polytope. We also generalise the concept of rank and signature of a quadratic form to symplectic Lagrangian matroids in a surprisingly natural way.
2000-10-25
The critical group of a directed graph
The critical group K(G) of a directed graph G=(V,E) is the cokernel of the transpose of the Laplacian matrix of G acting on the integer lattice Z^V. For undirected graphs G, this has been considered by Bacher, de la Harpe, and Nagnibeda, and by Biggs. We prove several things, among which are: K(G/p) is a subgroup of K(G) when p is an equitable partition and G is strongly connected; for undirected graphs, the torsion subgroup of K(G) depends only on the graphic matroid of G; and, the `dollar game' of Biggs can be generalized to give a combinatorial interpretation for the elements of K(G), when G is strongly connected.
2000-10-25 v2
Hilbert schemes, polygraphs, and the Macdonald positivity conjecture
Published in J. Amer. Math. Soc. 14 (2001), 941-1006 • View PublicationBIB
We study the isospectral Hilbert scheme X_n, defined as the reduced fiber product of C^2n with the Hilbert scheme H_n of points in the plane, over the symmetric power S^n C^2. We prove that X_n is normal, Cohen-Macaulay, and Gorenstein, and hence flat over H_n. We derive two important consequences. (1) We prove the strong form of the "n! conjecture" of Garsia and the author, giving a representation-theoretic interpretation of the Kostka-Macdonald coefficients K_{lambda,mu}(q,t). This establishes the Macdonald positivity conjecture, that K_{lambda,mu}(q,t) is always a polynomial with non-negative integer coefficients. (2) We show that the Hilbert scheme H_n is isomorphic to the Hilbert scheme of orbits C^2n//S_n, in such a way that X_n is identified with the universal family over C^2n//S_n.
2000-10-24
Nonlinearity, Local and Global Avalanche Characteristics of Balanced Boolean Functions
First, we construct a class of functions with good local avalanche characteristics, but bad global avalanche characteristics. We also derive some bounds for the nonlinearity of such functions. It improves upon the results of Son et al., and Sung et al. In our second result we construct a class of highly nonlinear balanced functions with good local and global avalanche characteristics.
2000-10-24
Fast Evaluation, Weights and Nonlinearity of Rotation-Symmetric Functions
Published • View PublicationBIB
We study the nonlinearity and the weight of the rotation-symmetric (RotS) functions defined by Pieprzyk and Qu. We give exact results for the nonlinearity and weight of 2-degree RotS functions with the help of the semi-bent functions and we give the generating function for the weight of the 3-degree RotS function. Based on the numerical examples and our observations we state a conjecture on the nonlinearity and weight of the 3-degree RotS functions.
2000-10-24
Wulff construction in statistical mechanics and in combinatorics
Published • View PublicationBIB
We present the geometric solutions to some variational problems of statistical mechanics and combinatorics. Together with the Wulff construction, which predicts the shape of the crystals, we discuss the construction which exhibits the shape of a typical Young diagram and of a typical skyscraper.
2000-10-23 v3
On polytopes simple in edges
Published in Funct. Anal. Appl. 35(2001) no. 3, pp. 189-198 • View PublicationBIB
We investigate some combinatorial properties of convex polytopes simple in edges. For polytopes whose nonsimple vertices are located sufficiently far one from another, we prove an analog of the Hard Lefschetz theorem. It implies Stanley's conjecture for such polytopes.
2000-10-23 v2
Recent Progress in Algebraic Combinatorics
Published • View PublicationBIB
A survey of recent progress in three areas of algebraic combinatorics: (1) the Saturation Conjecture for Littlewood-Richardson coefficients, (2) the n! and (n+1)^{n-1} conjectures, and (3) longest increasing subsequences of permutations.
2000-10-18
Matrix Powers of Column-Justified Pascal Triangles and Fibonacci Sequences
Published • View PublicationBIB
If L, respectively R are matrices with entries binom{i-1,j-1}, respectively binom{i-1,n-j}, it is known that L^2 = I (mod 2), respectively R^3 = I (mod 2), where I is the identity matrix of dimension n > 1 (see P10735-May 1999 issue of the American Mathematical Monthly). We generalize it for any prime p, and give a beautiful connection to Fibonacci numbers.
2000-10-17
Annihilators of Ideals of Exterior Algebras
The Orlik-Solomon algebra A of a matroid is isomorphic to the quotient of an exterior algebra E by a defining ideal I. We find an explicit presentation of the annihilator ideal of I or, equivalently, the E-module dual to A. As an application of that we provide a necessary, combinatorial condition for the algebra A to be quadratic. We show that this is stronger than matroid being line-closed thereby resolving (negatively) a conjecture by Falk. We also show that our condition is not sufficient for the quadraticity.
2000-10-16 v2
Elementary derivations of identities for bilateral basic hypergeometric series
Published in Selecta Math. (N.S.) 9 (2003) 1, 119-159 • View PublicationBIB
We give elementary derivations of several classical and some new summation and transformation formulae for bilateral basic hypergeometric series. For purpose of motivation, we review our previous simple proof ("A simple proof of Bailey's very-well-poised 6-psi-6 summation", Proc. Amer. Math. Soc., to appear) of Bailey's very-well-poised 6-psi-6 summation. Using a similar but different method, we now give elementary derivations of some transformations for bilateral basic hypergeometric series. In particular, these include M. Jackson's very-well-poised 8-psi-8 transformation, a very-well-poised 10-psi-10 transformation, by induction, Slater's general transformation for very-well-poised 2r-psi-2r series, and Slater's transformation for general r-psi-r series. Finally, we derive some new transformations for bilateral basic hypergeometric series of Chu-Gasper-Karlsson-Minton-type.