arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82901 papers, 47900 authors in database)
2007-06-20 v3
Duality of antidiagonals and pipe dreams
Published in Séminaire Lotharingien de Combinatoire, Issue 58 (2008), Article B58e. (electronic) • Search Publication
Weighted enumeration of reduced pipe dreams (or rc-graphs) results in a combinatorial expression for Schubert polynomials. The duality between the set of reduced pipe dreams and certain antidiagonals has important geometric implications [A. Knutson and E. Miller, Gröbner geometry of Schubert polynomials, Ann. Math. 161, 1245-1318]. The original proof of the duality was roundabout, relying on the algebra of certain monomial ideals and a recursive characterization of reduced pipe dreams. This paper provides a direct combinatorial proof.
2007-06-19
The p-modular Descent Algebra of the Symmetric Group
Published in Bull. of the London Math. Soc. 29:407-414 (1997) • View Publication • BIB
The descent algebra of the symmetric group, over a field of non-zero characteristic p, is studied. A homomorphism into the algebra of generalised p-modular characters of the symmetric group is defined. This is then used to determine the radical, and its nilpotency index. It also allows the irreducible representations of the descent algebra to be described.
2007-06-19
A Proof of Solomon's Rule
Published in J. of Algebra 206:693-698 (1998) • View Publication • BIB
We put forward a proof of Solomon's rule, in terms of matrices, for multiplication in the descent algebra of the symmetric group. Our proof exploits the graphs that we can obtain from all the subsets of the set of transpositions, $\{(i,i+1)\}_{i=1}^{n-1}$.
2007-06-19
On the Descent Algebra of Type $D$
Published in J. of Algebra 206:699-705 (1998) • View Publication • BIB
Here we give a combinatorial interpretation of Solomon's rule for multiplication in the descent algebra of Weyl groups of type $D$, $ΣD_n$. From here we show that $ΣD_n$ is a homomorphic image of the descent algebra of the hyperoctahedral group, $ΣB_{n-2}$.
2007-06-19 v2
Chains in the noncrossing partition lattice
Published • View Publication • BIB
We establish recursions counting various classes of chains in the noncrossing partition lattice of a finite Coxeter group. The recursions specialize a general relation which is proven uniformly (i.e. without appealing to the classification of finite Coxeter groups) using basic facts about noncrossing partitions. We solve these recursions for each finite Coxeter group in the classification. Among other results, we obtain a simpler proof of a known uniform formula for the number of maximal chains of noncrossing partitions and a new uniform formula for the number of edges in the noncrossing partition lattice. All of our results extend to the m-divisible noncrossing partition lattice.
2007-06-19
Extremal subsets of {1,...,n} avoiding solutions to linear equations in three variables
Published • View Publication • BIB
We refine previous results to provide examples, and in some cases precise classifications, of extremal subsets of {1,...,n} containing no solutions to a wide class of non-invariant, homogeneous linear equations in three variables, i.e.: equations of the form ax+by=cz with a+b \neq c.
Asymptotics of the allele frequency spectrum associated with the Bolthausen-Sznitman coalescent
Published • View Publication • BIB
We work in the context of the infinitely many alleles model. The allelic partition associated with a coalescent process started from n individuals is obtained by placing mutations along the skeleton of the coalescent tree; for each individual, we trace back to the most recent mutation affecting it and group together individuals whose most recent mutations are the same. The number of blocks of each of the different possible sizes in this partition is the allele frequency spectrum. The celebrated Ewens sampling formula gives precise probabilities for the allele frequency spectrum associated with Kingman's coalescent. This (and the degenerate star-shaped coalescent) are the only Lambda coalescents for which explicit probabilities are known, although they are known to satisfy a recursion due to Moehle. Recently, Berestycki, Berestycki and Schweinsberg have proved asymptotic results for the allele frequency spectra of the Beta(2-alpha,alpha) coalescents with alpha in (1,2). In this paper, we prove full asymptotics for the case of the Bolthausen-Sznitman coalescent.
2007-06-19
The angel wins
The angel-devil game is played on an infinite two-dimensional ``chessboard''. The squares of the board are all white at the beginning. The players called angel and devil take turns in their steps. When it is the devil's turn, he can turn a square black. The angel always stays on a white square, and when it is her turn she can fly at a distance of at most J steps (each of which can be horizontal, vertical or diagonal) to a new white square. Here J is a constant. The devil wins if the angel does not find any more white squares to land on. The result of the paper is that if J is sufficiently large then the angel has a strategy such that the devil will never capture her. This deceptively easy-sounding result has been a conjecture, surprisingly, for about thirty years. Several other independent solutions have appeared simultaneously, some of them prove that J=2 is sufficient (see the Wikipedia on the angel problem). Still, it is hoped that the hierarchical solution presented here may prove useful for some generalizations.
2007-06-19
A Polynomial Invariant Of Twisted Graph Diagrams
Twisted graph diagrams are virtual graph diagrams with bars on edges. A bijection between abstract graph diagrams and twisted graph diagrams is constructed. Then a polynomial invariant of Yamada-type is developed which provides a lower bound for the virtual crossing number of virtual graph diagrams.
2007-06-18 v2
The twisted Mellin transform
The "twisted Mellin transform" is a slightly modified version of the usual classical Mellin transform on $L^2(\mathbb R)$. In this short note we investigate some of its basic properties. From the point of views of combinatorics one of its most important interesting properties is that it intertwines the differential operator, $df/dx$, with its finite difference analogue, $\nabla f= f(x)-f(x-1)$. From the point of view of analysis one of its most important properties is that it describes the asymptotics of one dimensional quantum states in Bargmann quantization.
2007-06-17
Transitive decompositions of graphs and their links with geometry and origami
A transitive decomposition of a graph is a partition of the edge or arc set giving a set of subgraphs which are preserved and permuted transitively by a group of automorphisms of the graph. In this paper we give some background to the study of transitive decompositions and highlight a connection with partial linear spaces. We then describe a simple method for constructing transitive decompositions using graph quotients, and we show how this may be used in an application to modular origami.
2007-06-17 v3
Matching polytopes, toric geometry, and the non-negative part of the Grassmannian
Published • View Publication • BIB
In this paper we use toric geometry to investigate the topology of the totally non-negative part of the Grassmannian (Gr_{kn})_{\geq 0}. This is a cell complex whose cells Delta_G can be parameterized in terms of the combinatorics of plane-bipartite graphs G. To each cell Delta_G we associate a certain polytope P(G). The polytopes P(G) are analogous to the well-known Birkhoff polytopes, and we describe their face lattices in terms of matchings and unions of matchings of G. We also demonstrate a close connection between the polytopes P(G) and matroid polytopes. We then use the data of P(G) to define an associated toric variety X_G. We use our technology to prove that the cell decomposition of (Gr_{kn})_{\geq 0} is a CW complex, and furthermore, that the Euler characteristic of the closure of each cell of (Gr_{kn})_{\geq 0} is 1.
2007-06-16
On the Cordial Deficiency of Complete Multipartite Graphs
We calculate the cordial edge deficiencies of the complete multipartite graphs and find an upper bound for their cordial vertex deficiencies. We also give conditions under which the tensor product of two cordial graphs is cordial.
2007-06-15
Towards the Distribution of the Size of a Largest Planar Matching and Largest Planar Subgraph in Random Bipartite Graphs
Published • View Publication • BIB
We address the following question: When a randomly chosen regular bipartite multi--graph is drawn in the plane in the ``standard way'', what is the distribution of its maximum size planar matching (set of non--crossing disjoint edges) and maximum size planar subgraph (set of non--crossing edges which may share endpoints)? The problem is a generalization of the Longest Increasing Sequence (LIS) problem (also called Ulam's problem). We present combinatorial identities which relate the number of r-regular bipartite multi--graphs with maximum planar matching (maximum planar subgraph) of at most d edges to a signed sum of restricted lattice walks in Z^d, and to the number of pairs of standard Young tableaux of the same shape and with a ``descend--type'' property. Our results are obtained via generalizations of two combinatorial proofs through which Gessel's identity can be obtained (an identity that is crucial in the derivation of a bivariate generating function associated to the distribution of LISs, and key to the analytic attack on Ulam's problem). We also initiate the study of pattern avoidance in bipartite multigraphs and derive a generalized Gessel identity for the number of bipartite 2-regular multigraphs avoiding a specific (monotone) pattern.
2007-06-15 v2
Expanders and the Affine Building of ${\rm Sp}_n$
For $n \geq 2$ and a local field $K$, let $Δ_n$ denote the affine building naturally associated to the symplectic group ${\rm Sp}_n(K)$. We compute the spectral radius of the subgraph $Y_n$ of $Δ_n$ induced by the special vertices in $Δ_n$, from which it follows that $Y_n$ is an analogue of a family of expanders and is non-amenable.
2007-06-15
Partition Identities and the Coin Exchange Problem
Published • View Publication • BIB
The number of partitions of n into parts divisible by a or b equals the number of partitions of n in which each part and each difference of two parts is expressible as a non-negative integer combination of a or b. This generalizes identities of MacMahon and Andrews. The analogous identities for three or more integers (in place of a,b) hold in certain cases.
The first-passage area for drifted Brownian motion and the moments of the Airy distribution
Published in J. Phys. A: Math. Theor. 40, F863 (2007). • View Publication • BIB
An exact expression for the distribution of the area swept out by a drifted Brownian motion till its first-passage time is derived. A study of the asymptotic behaviour confirms earlier conjectures and clarifies their range of validity. The analysis also leads to a simple closed-form solution for the moments of the Airy distribution.
2007-06-14 v3
Geometry of curves with exceptional secant planes: linear series along the general curve
Published • View Publication • BIB
We study linear series on a general curve of genus $g$, whose images are exceptional with regard to their secant planes. Working in the framework of an extension of Brill-Noether theory to pairs of linear series, we prove that a general curve has no linear series with exceptional secant planes, in a very precise sense, whenever the total number of series is finite. Next, we partially solve the problem of computing the number of linear series with exceptional secant planes in a one-parameter family in terms of tautological classes associated with the family, by evaluating our hypothetical formula along judiciously-chosen test families. As an application, we compute the number of linear series with exceptional secant planes on a general curve equipped with a one-dimensional family of linear series. We pay special attention to the extremal case of $d$-secant $(d-2)$-planes to $(2d-1)$-dimensional series, which appears in the study of Hilbert schemes of points on surfaces. In that case, our formula may be rewritten in terms of hypergeometric series, which allows us both to prove that it is nonzero and to deduce its asymptotics in $d$.
2007-06-14 v2
Constrained Ramsey Numbers
Published • View Publication • BIB
For two graphs S and T, the constrained Ramsey number f(S, T) is the minimum n such that every edge coloring of the complete graph on n vertices, with any number of colors, has a monochromatic subgraph isomorphic to S or a rainbow (all edges differently colored) subgraph isomorphic to T. The Erdos-Rado Canonical Ramsey Theorem implies that f(S, T) exists if and only if S is a star or T is acyclic, and much work has been done to determine the rate of growth of f(S, T) for various types of parameters. When S and T are both trees having s and t edges respectively, Jamison, Jiang, and Ling showed that f(S, T) <= O(st^2) and conjectured that it is always at most O(st). They also mentioned that one of the most interesting open special cases is when T is a path. In this work, we study this case and show that f(S, P_t) = O(st log t), which differs only by a logarithmic factor from the conjecture. This substantially improves the previous bounds for most values of s and t.
2007-06-14
On the strong chromatic number of random graphs
Published • View Publication • BIB
Let G be a graph with n vertices, and let k be an integer dividing n. G is said to be strongly k-colorable if for every partition of V(G) into disjoint sets V_1 \cup ... \cup V_r, all of size exactly k, there exists a proper vertex k-coloring of G with each color appearing exactly once in each V_i. In the case when k does not divide n, G is defined to be strongly k-colorable if the graph obtained by adding k \lceil n/k \rceil - n isolated vertices is strongly k-colorable. The strong chromatic number of G is the minimum k for which G is strongly k-colorable. In this paper, we study the behavior of this parameter for the random graph G(n, p). In the dense case when p >> n^{-1/3}, we prove that the strong chromatic number is a.s. concentrated on one value Δ+1, where Δis the maximum degree of the graph. We also obtain several weaker results for sparse random graphs.