Showing 20 papers (Total: 81680 papers, 47334 authors in database)
An explicit formula for the characters of the symmetric group
Published in Mathematische Annalen 340 (2008), 383-405
• View Publication
• BIB
We give an explicit expression of the normalized characters of the symmetric group in terms of the contents of the partition labelling the representation.
Equidistribution of negative statistics and quotients of Coxeter groups of type B and D
Published
• View Publication
• BIB
We generalize some identities and q-identities previously known for the symmetric group to Coxeter groups of type B and D. The extended results include theorems of Foata and Schützenberger, Gessel, and Roselle on various distributions of inversion number, major index, and descent number. In order to show our results we provide caracterizations of the systems of minimal coset representatives of Coxeter groups of type B and D.
Spanning Trees with Many Leaves in Graphs without Diamonds and Blossoms
Published
• View Publication
• BIB
It is known that graphs on n vertices with minimum degree at least 3 have spanning trees with at least n/4+2 leaves and that this can be improved to (n+4)/3 for cubic graphs without the diamond K_4-e as a subgraph. We generalize the second result by proving that every graph with minimum degree at least 3, without diamonds and certain subgraphs called blossoms, has a spanning tree with at least (n+4)/3 leaves, and generalize this further by allowing vertices of lower degree. We show that it is necessary to exclude blossoms in order to obtain a bound of the form n/3+c.
We use the new bound to obtain a simple FPT algorithm, which decides in O(m)+O^*(6.75^k) time whether a graph of size m has a spanning tree with at least k leaves. This improves the best known time complexity for MAX LEAF SPANNING TREE.
Set partition statistics and q-Fibonacci numbers
We consider the set partition statistics ls and rb introduced by Wachs and White and investigate their distribution over set partitions avoiding certain patterns. In particular, we consider those set partitions avoiding the pattern 13/2, $Π_n(13/2)$, and those avoiding both 13/2 and 123, $Π_n(13/2,123)$. We show that the distribution over $Π_n(13/2)$ enumerates certain integer partitions, and the distribution over $Π_n(13/2,123)$ gives q-Fibonacci numbers. These q-Fibonacci numbers are closely related to q-Fibonacci numbers studied by Carlitz and by Cigler. We provide combinatorial proofs that these q-Fibonacci numbers satisfy q-analogues of many Fibonacci identities. Finally, we indicate how p,q-Fibonacci numbers arising from the bistatistic (ls, rb) give rise to p,q-analogues of identities.
Distributive lattices defined for representations of rank two semisimple Lie algebras
Published
• View Publication
• BIB
For a rank two root system and a pair of nonnegative integers, using only elementary combinatorics we construct two posets. The constructions are uniform across the root systems A1+A1, A2, C2, and G2. Examples appear in Figures 3.2 and 3.3. We then form the distributive lattices of order ideals of these posets. Corollary 5.4 gives elegant quotient-of-products expressions for the rank generating functions of these lattices (thereby providing answers to a 1979 question of Stanley). Also, Theorem 5.3 describes how these lattices provide a new combinatorial setting for the Weyl characters of representations of rank two semisimple Lie algebras. Most of these lattices are new; the rest of them (or related structures) have arisen in work of Stanley, Kashiwara, Nakashima, Littelmann, and Molev. In a future paper, one author shows that the posets constructed here form a Dynkin diagram-indexed answer to a combinatorially posed classification question. In a companion paper, some of these lattices are used to explicitly construct some representations of rank two semisimple Lie algebras. This implies that these lattices are strongly Sperner.
On embedding well-separable graphs
Published
• View Publication
• BIB
Call a simple graph $H$ of order $n$ well-separable, if by deleting a separator set of size $o(n)$ the leftover will have components of size at most $o(n)$. We prove, that bounded degree well-separable spanning subgraphs are easy to embed: for every $γ>0$ and positive integer $Δ$ there exists an $n_0$ such that if $n>n_0$, $Δ(H) \le Δ$ for a well-separable graph $H$ of order $n$ and $δ(G) \ge (1-{1 \over 2(χ(H)-1)} + γ)n$ for a simple graph $G$ of order $n$, then $H \subset G$. We extend our result to graphs with small band-width, too.
Stability for large forbidden subgraphs
Published
• View Publication
• BIB
We extend the classical stability theorem of Erdos and Simonovits for forbidden graphs of logarithmic order.
A note on the incidence coloring of outerplanar graphs
A proof that every outerplanar graph is Δ+2 colorable. This is slightly stronger then an unpublished result of Wang Shudong, Ma Fangfang, Xu Jin, and Yan Lijun proving the same for 2-connected outerplanar graphs.
An Elementary Proof of the Fundamental Theorem of Tropical Algebra
In this paper we give an elementary proof of the Fundamental Theorem of Algebra for polynomials over the rational tropical semi-ring. We prove that, tropically, the rational numbers are algebraically closed. We provide a simple algorithm for factoring tropical polynomials of a single variable. A central idea is the concept of least-coefficient polynomials as representatives for classes of functionally equivalent polynomials. This idea has importance far beyond the proof of the Fundamental Theorem of Tropical Algebra.
The crystal commutor and Drinfeld's unitarized R-matrix
Published
• View Publication
• BIB
Drinfeld defined a unitarized R-matrix for any quantum group U_q(g). This gives a commutor for the category of U_q(g) representations, making it into a coboundary category. Henriques and Kamnitzer defined another commutor which also gives U_q(g) representations the structure of a coboundary category. We show that a particular case of Henriques and Kamnitzer's construction agrees with Drinfeld's commutor. We then describe the action of Drinfeld's commutor on a tensor product of two crystal bases, and explain the relation to the crystal commutor.
A spectral Erdos-Stone-Bollobas theorem
Published
• View Publication
• BIB
We give a bound on the spectral radius of a graph implying a quantitative version of the Erdos-Stone theorem.
Edge colouring models for the Tutte polynomial and related graph invariants
For integer q>1, we derive edge q-colouring models for (i) the Tutte polynomial of a graph G on the hyperbola H_q, (ii) the symmetric weight enumerator of the set of group-valued q-flows of G, and (iii) a more general vertex colouring model partition function that includes these polynomials and the principal specialization order q of Stanley's symmetric monochrome polynomial. In the second half of the paper we exhibit a family of non-symmetric edge q-colouring models defined on k-regular graphs, whose partition functions for q >= k each evaluate the number of proper edge k-colourings of G when G is Pfaffian.
Parity, eulerian subgraphs and the Tutte polynomial
Published
• View Publication
• BIB
Identities obtained by elementary finite Fourier analysis are used to derive a variety of evaluations of the Tutte polynomial of a graph G at certain points (a,b) where (a-1)(b-1) equals 2 or 4. These evaluations are expressed in terms of eulerian subgraphs of G and the size of subgraphs modulo 2,3,4 or 6. In particular, a graph is found to have a nowhere-zero 4-flow if and only if there is a correlation between the event that three subgraphs A,B,C chosen uniformly at random have pairwise eulerian symmetric differences and the event that the integer part of (|A| + |B| + |C|) / 3 is even. Some further evaluations of the Tutte polynomial at points (a,b) where (a-1)(b-1) = 3 are also given that illustrate the unifying power of the methods used. The connection between results of Matiyasevich, Alon and Tarsi and Onn is highlighted by indicating how they may all be derived by the techniques adopted in this paper.
Integer partitions and exclusion statistics: Limit shapes and the largest part of Young diagrams
Published in J. Stat. Mech. (2007) P10001
• View Publication
• BIB
We compute the limit shapes of the Young diagrams of the minimal difference $p$ partitions and provide a simple physical interpretation for the limit shapes. We also calculate the asymptotic distribution of the largest part of the Young diagram and show that the scaled distribution has a Gumbel form for all $p$. This Gumbel statistics for the largest part remains unchanged even for general partitions of the form $E=\sum_i n_i i^{1/ν}$ with $ν>0$ where $n_i$ is the number of times the part $i$ appears.
Negative dependence and the geometry of polynomials
Published in J. Amer. Math. Soc. 22 (2009), 521-567.
• View Publication
• BIB
We introduce the class of {\em strongly Rayleigh} probability measures by means of geometric properties of their generating polynomials that amount to the stability of the latter. This class covers important models such as determinantal measures (e.g. product measures, uniform random spanning tree measures) and distributions for symmetric exclusion processes. We show that strongly Rayleigh measures enjoy all virtues of negative dependence and we also prove a series of conjectures due to Liggett, Pemantle, and Wagner, respectively. Moreover, we extend Lyons' recent results on determinantal measures and we construct counterexamples to several conjectures of Pemantle and Wagner on negative dependence and ultra log-concave rank sequences.
Cycle lengths in sparse graphs
Published
• View Publication
• BIB
Let C(G) denote the set of lengths of cycles in a graph G. In the first part of this paper, we study the minimum possible value of |C(G)| over all graphs G of average degree d and girth g. Erdos conjectured that |C(G)| =Ω(d^{\lfloor (g-1)/2\rfloor}) for all such graphs, and we prove this conjecture. In particular, the longest cycle in a graph of average degree d and girth g has length Ω(d^{\lfloor (g-1)/2\rfloor}). The study of this problem was initiated by Ore in 1967 and our result improves all previously known lower bounds on the length of the longest cycle. Moreover, our bound cannot be improved in general, since known constructions of d-regular Moore Graphs of girth g have roughly that many vertices. We also show that Ω(d^{\lfloor (g-1)/2\rfloor}) is a lower bound for the number of odd cycle lengths in a graph of chromatic number d and girth g. Further results are obtained for the number of cycle lengths in H-free graphs of average degree d.
In the second part of the paper, motivated by the conjecture of Erdos and Gyarfas that every graph of minimum degree at least three contains a cycle of length a power of two, we prove a general theorem which gives an upper bound on the average degree of an n-vertex graph with no cycle of even length in a prescribed infinite sequence of integers. For many sequences, including the powers of two, our theorem gives the upper bound e^{O(\log^* n)} on the average degree of graph of order n with no cycle of length in the sequence, where \log^* n is the number of times the binary logarithm must be applied to n to get a number which is at most
The 2-adic valuation of a sequence arising from a rational integral
Published
• View Publication
• BIB
We analyze properties of the 2-adic valuations of an integer sequence that originates from an explicit evaluation of a quartic integral. We also give a combinatorial interpretation of the valuations of this sequence. Connections with the orbits arising from the Collatz (3x+1) problem are discussed.
Cyclic (v;r,s;lambda) difference families with two base blocks and v <= 50
Published in Ann. Comb. 15 (2011) 233-254
• View Publication
• BIB
We construct many new cyclic (v;r,s;lambda) difference families with v less than or equal 50. In particular we construct the difference families with parameters (45;18,10;9), (45;22,22;21), (47;21,12;12), (47;19,15;12), (47;22,14;14), (48;20,10;10), (48;24,4;12), (50;25,20;20) for which the existence question was an open problem. The (45;22,22;21) difference family gives a BIBD with parameters v=45, b=90, r=44, k=22 and lambda=21, and the one with parameters (50;25,20;20) gives a pair of binary sequences of length 50 with zero periodic autocorrelation function (the periodic analog of a Golay pair). We also construct nine new D-optimal designs. A normal form for cyclic difference families is proposed and used effectively in compiling the list of known and new difference families.
Nearly optimal embeddings of trees
In this paper we show how to find nearly optimal embeddings of large trees in several natural classes of graphs. The size of the tree T can be as large as a constant fraction of the size of the graph G, and the maximum degree of T can be close to the minimum degree of G. For example, we prove that any graph of minimum degree d without 4-cycles contains every tree of size εd^2 and maximum degree at most (1-2ε)d - 2. As there exist d-regular graphs without 4-cycles of size O(d^2), this result is optimal up to constant factors. We prove similar nearly tight results for graphs of given girth, graphs with no complete bipartite subgraph K_{s,t}, random and certain pseudorandom graphs. These results are obtained using a simple and very natural randomized embedding algorithm, which can be viewed as a "self-avoiding tree-indexed random walk".
A new approach to the giant component problem
Published
• View Publication
• BIB
We study the largest component of a random (multi)graph on n vertices with a given degree sequence. We let n tend to infinity. Then, under some regularity conditions on the degree sequences, we give conditions on the asymptotic shape of the degree sequence that imply that with high probability all the components are small, and other conditions that imply that with high probability there is a giant component and the sizes of its vertex and edge sets satisfy a law of large numbers; under suitable assumptions these are the only two possibilities. In particular, we recover the results by Molloy and Reed on the size of the largest component in a random graph with a given degree sequence.
We further obtain a new sharp result for the giant component just above the threshold, generalizing the case of G(n,p) with np=1+omega(n)n^{-1/3}, where omega(n) tends to infinity arbitrarily slowly.
Our method is based on the properties of empirical distributions of independent random variables, and leads to simple proofs.