arXiv++ Combinatorics

Browse math.CO papers from arXiv

partition

6235 papers tagged with this keyword
2006-08-06 v2
On multiplicity-free skew characters and the Schubert Calculus
Published in Annals of Combinatorics: Volume 14, Issue 3 (2010), Page 339 • View PublicationBIB
In this paper we classify the multiplicity-free skew characters of the symmetric group. Furthermore we show that the Schubert calculus is equivalent to that of skew characters in the following sense: If we decompose the product of two Schubert classes we get the same as if we decompose a skew character and replace the irreducible characters by Schubert classes of the `inverse' partitions (Theorem 4.2).
On a conjecture of Wilf
Published in Journal of Combinatorial Theory, Series A 114 (2007), 1332-1349 • View PublicationBIB
Let n and k be natural numbers and let S(n,k) denote the Stirling numbers of the second kind. It is a conjecture of Wilf that the alternating sum \sum_{j=0}^{n} (-1)^{j} S(n,j) is nonzero for all n>2. We prove this conjecture for all n not congruent to 2 and not congruent to 2944838 modulo 3145728 and discuss applications of this result to graph theory, multiplicative partition functions, and the irrationality of p-adic series.
2006-08-03 v2
Truncations of random unitary matrices and Young tableaux
Published • View PublicationBIB
Let $U$ be a matrix chosen randomly, with respect to Haar measure, from the unitary group $U(d).$ We express the moments of the trace of any submatrix of $U$ as a sum over partitions whose terms count certain standard and semistandard Young tableaux. Using this combinatorial interpretation, we obtain a simple closed form for the moments of an individual entry of a random unitary matrix and use this to deduce that the entries converge in moments to standard complex Gaussian random variables. In addition, we recover a well-known theorem of E. Rains which shows that the moments of the trace of a random unitary matrix enumerate permutations with restricted increasing subsequence length.
2006-07-27
On the number of plane partitions and non isomorphic subgroup towers of abelian groups
We study the number of $k \times r$ plane partitions, weighted on the sum of the first row. Using Erhart reciprocity, we prove an identity for the generating function. For the special case $k=1$ this result follows from the classical theory of partitions, and for $k=2$ it was proved in Andersson-Bhowmik with another method. We give an explicit formula in terms of Young tableaux, and study the corresponding zeta-function. We give an application on the average orders of towers of abelian groups. In particular we prove that the number of isomorphism classes of ``subgroups of subgroups of ... ($k-1$ times) ... of abelian groups'' of order at most $N$ is asymptotic to $c_k N (\log N)^{k-1}$. This generalises results from Erd{\H o}s-Szekeres and Andersson-Bhowmik where the corresponding result was proved for $k=1$ and $k=2$.
Linked Partitions and Linked Cycles
Published • View PublicationBIB
The notion of noncrossing linked partition arose from the study of certain transforms in free probability theory. It is known that the number of noncrossing linked partitions of [n+1] is equal to the n-th large Schroder number $r_n$, which counts the number of Schroder paths. In this paper we give a bijective proof of this result. Then we introduce the structures of linked partitions and linked cycles. We present various combinatorial properties of noncrossing linked partitions, linked partitions, and linked cycles, and connect them to other combinatorial structures and results, including increasing trees, partial matchings, k-Stirling numbers of the second kind, and the symmetry between crossings and nestings over certain linear graphs.
2006-07-25 v3
A unifying framework for $k$-statistics, polykays and their multivariate generalizations
Published in Bernoulli 2008, Vol. 14, No. 2, 440-468 • View PublicationBIB
Through the classical umbral calculus, we provide a unifying syntax for single and multivariate $k$-statistics, polykays and multivariate polykays. From a combinatorial point of view, we revisit the theory as exposed by Stuart and Ord, taking into account the Doubilet approach to symmetric functions. Moreover, by using exponential polynomials rather than set partitions, we provide a new formula for $k$-statistics that results in a very fast algorithm to generate such estimators.
2006-07-23 v2
Asymptotic Behavior of Partition Functions with Graph Laplacian
We introduce the matrix sums that represent a discrete analog of the matrix models with quartic potential. The probability space is given by the set of all simple n-vertex graphs with the Gibbs weight determined by the graph Laplacian. We study the large-n limit of the free energy per site and show that it is determined by the number of connected acyclic diagrams on the set of two-valent vertices.
2006-07-19
Totally Symmetric Self-Complementary Plane Partitions and Quantum Knizhnik-Zamolodchikov equation: a conjecture
Published in J. Stat. Mech. (2006) P09008 • View PublicationBIB
We present a new conjecture relating the minimal polynomial solution of the level-one $U_q(\frak{sl}(2))$ quantum Knizhnik-Zamolodchikov equation for generic values of $q$ in the link pattern basis and some $q$-enumeration of Totally Symmetric Self-Complementary Plane Partitions.
2006-07-11 v2
Noncrossing normal ordering for functions of boson operators
Published • View PublicationBIB
Normally ordered forms of functions of boson operators are important in many contexts in particular concerning Quantum Field Theory and Quantum Optics. Beginning with the seminal work of Katriel [Lett. Nuovo Cimento, 10(13):565--567, 1974], in the last few years, normally ordered forms have been shown to have a rich combinatorial structure, mainly in virtue of a link with the theory of partitions. In this paper, we attempt to enrich this link. By considering linear representations of noncrossing partitions, we define the notion of noncrossing normal ordering. Given the growing interest in noncrossing partitions, because of their many unexpected connections (like, for example, with free probability), noncrossing normal ordering appears to be an intriguing notion. We explicitly give the noncrossing normally ordered form of the functions (a^{r}(a^†)^{s})^{n}) and (a^{r}+(a^†)^{s})^{n}, plus various special cases. We are able to establish for the first time bijections between noncrossing contractions of these functions, k-ary trees and sets of lattice paths.
2006-07-07
Proof of Razumov-Stroganov conjecture for some infinite families of link patterns
Published • View PublicationBIB
We prove the Razumov--Stroganov conjecture relating ground state of the O(1) loop model and counting of Fully Packed Loops in the case of certain types of link patterns. The main focus is on link patterns with three series of nested arches, for which we use as key ingredient of the proof a generalization of the Mac Mahon formula for the number of plane partitions which includes three series of parameters.
2006-07-05
Line partitions of internal points to a conic in PG(2,q)
Published • View PublicationBIB
All sets of lines providing a partition of the set of internal points to a conic C in PG(2,q), q odd, are determined. There exist only three such linesets up to projectivities, namely the set of all nontangent lines to C through an external point to C, the set of all nontangent lines to C through a point in C, and, for square q, the set of all nontangent lines to C belonging to a Baer subplane with at least 5 common points with C. This classification theorem is the analogous of a classical result by Segre and Korchmaros characterizing the pencil of lines through an internal point to C as the unique set of lines, up to projectivities, which provides a partition of the set of all noninternal points to C. However, the proof is not analogous, since it does not rely on the famous Lemma of Tangents of Segre. The main tools in the present paper are certain partitions in conics of the set of all internal points to C, together with some recent combinatorial characterizations of blocking sets of non-secant lines, and of blocking sets of external lines.
2006-07-05
Dyson's new symmetry and generalized Rogers-Ramanujan identities
Published • View PublicationBIB
We present a generalization, which we call (k,m)-rank, of Dyson's notion of rank to integer partitions with k successive Durfee rectangles and give two combinatorial symmetries associated with this new definition. We prove these symmetries bijectively. Using the two symmetries we give a new combinatorial proof of generalized Roger-Ramanujan identities. We also describe the relationship between (k,m)-rank and Garvan's k-rank.
2006-06-20
Labeled Partitions and the q-Derangement Numbers
Published • View PublicationBIB
By a re-examination of MacMahon's original proof of his celebrated theorem on the distribution of the major indices over permutations, we give a reformulation of his argument in terms of the structure of labeled partitions. In this framework, we are able to establish a decomposition theorem for labeled partitions that leads to a simple bijective proof of Wachs' formula on the q-derangement numbers.
2006-06-19 v2
A conjectured combinatorial interpretation of the normalized irreducible character values of the symmetric group
In math.CO/0109093 the author obtained a formula for the value of an irreducible symmetric group character indexed by a partition of rectangular shape. In the present paper this formula is (conjecturally) generalized to arbitrary shapes.
2006-06-16 v3
Let's Expand Rota's Twelvefold Way For Counting Partitions!
Rota's Twelvefold Way gave formulas for the numbers of partitions which could be formed in twelve scenarios. This proposed AMM article expands Rota's 4 x 3 table. The resulting 6 x 5 table considers a broader collection of splitting-distributing-grouping-arranging scenarios, each of which can be visualized with the distribution of m items into certain kinds of bins. The additional counts or scenarios include: the Bell numbers B(m), the partition numbers p(m), arrangements of m books on b shelves, standings of m teams in a league, arrangements of m books into b scattered stacks, and pairings of 2m items. Teaching remarks are included. The two additional rows (due to K. Bogart) consider ordering the items within the bins. One additional column distributes the items into an unspecified number of bins, each receiving at least one item. The other (due to T. Brylawski) distributes the items into bins such that the number of bins containing a given number of items is specified. The quotient and summation relationships amongst the thirty counts are stated. A closely related table formed by the same six rows and seven certain columns is used to complete and to organize a 6 x 7 family of counting sequences in the On-Line Encyclopedia of Integer Sequences.
2006-06-09
Quadratic transformations of Macdonald and Koornwinder polynomials
Published • View PublicationBIB
When one expands a Schur function in terms of the irreducible characters of the symplectic (or orthogonal) group, the coefficient of the trivial character is 0 unless the indexing partition has an appropriate form. A number of q-analogues of this fact were conjectured in math.QA/0112035; the present paper proves most of those conjectures, as well as some new identities suggested by the proof technique. The proof involves showing that a nonsymmetric version of the relevant integral is annihilated by a suitable ideal of the affine Hecke algebra, and that any such annihilated functional satisfies the desired vanishing property. This does not, however, give rise to vanishing identities for the standard nonsymmetric Macdonald and Koornwinder polynomials; we discuss the required modification to these polynomials to support such results.
2006-06-08 v2
Cambrian fans
Published • View PublicationBIB
For a finite Coxeter group W and a Coxeter element c of W, the c-Cambrian fan is a coarsening of the fan defined by the reflecting hyperplanes of W. Its maximal cones are naturally indexed by the c-sortable elements of W. The main result of this paper is that the known bijection cl_c between c-sortable elements and c-clusters induces a combinatorial isomorphism of fans. In particular, the c-Cambrian fan is combinatorially isomorphic to the normal fan of the generalized associahedron for W. The rays of the c-Cambrian fan are generated by certain vectors in the W-orbit of the fundamental weights, while the rays of the c-cluster fan are generated by certain roots. For particular ("bipartite") choices of c, we show that the c-Cambrian fan is linearly isomorphic to the c-cluster fan. We characterize, in terms of the combinatorics of clusters, the partial order induced, via the map cl_c, on c-clusters by the c-Cambrian lattice. We give a simple bijection from c-clusters to c-noncrossing partitions that respects the refined (Narayana) enumeration. We relate the Cambrian fan to well known objects in the theory of cluster algebras, providing a geometric context for g-vectors and quasi-Cartan companions.
2006-06-08
Meanders in a Cayley graph
A meander of order n is a simple closed curve in the plane which intersects a horizontal line transversely at 2n points. (Meanders which differ by an isotopy of the line and plane are considered equivalent.) Let Gamma_n be the Cayley graph of the symmetric group S_n as generated by all (n choose 2) transpositions. Let Lambda_n be any interval of maximal length in Gamma_n; this graph is the Hasse diagram of the lattice of noncrossing partitions. The meanders of order n are in one-to-one correspondence with ordered pairs of maximally separated vertices of Lambda_n.
2006-06-07 v2
Polynomials, meanders, and paths in the lattice of noncrossing partitions
Published • View PublicationBIB
For every polynomial f of degree n with no double roots, there is an associated family C(f) of harmonic algebraic curves, fibred over the circle, with at most n-1 singular fibres. We study the combinatorial topology of C(f) in the generic case when there are exactly n-1 singular fibres. In this case, the topology of C(f) is determined by the data of an n-tuple of noncrossing matchings on the set {0,1,...,2n-1} with certain extra properties. We prove that there are 2(2n)^{n-2} such n-tuples, and that all of them arise from the topology of C(f) for some polynomial f.
2006-06-06 v2
Correlation decay and deterministic FPTAS for counting list-colorings of a graph
Published • View PublicationBIB
We propose a deterministic algorithm for approximately counting the number of list colorings of a graph. Under the assumption that the graph is triangle free, the size of every list is at least $αΔ$, where $α$ is an arbitrary constant bigger than $α^{**}=2.8432...$, and $Δ$ is the maximum degree of the graph, we obtain the following results. For the case when the size of the each list is a large constant, we show the existence of a \emph{deterministic} FPTAS for computing the total number of list colorings. The same deterministic algorithm has complexity $2^{O(\log^2 n)}$, without any assumptions on the sizes of the lists, where $n$ is the instance size. We further extend our method to a discrete Markov random field (MRF) model. Under certain assumptions relating the size of the alphabet, the degree of the graph and the interacting potentials we again construct a deterministic FPTAS for computing the partition function of a MRF. Our results are not based on the most powerful existing counting technique -- rapidly mixing Markov chain method. Rather we build upon concepts from statistical physics, in particular, the decay of correlation phenomena and its implication for the uniqueness of Gibbs measures in infinite graphs. This approach was proposed in two recent papers \cite{BandyopadhyayGamarnikCounting} and \cite{weitzCounting}. The principle insight of this approach is that the correlation decay property can be established with respect to certain \emph{computation tree}, as opposed to the conventional correlation decay property with respect to graph theoretic neighborhoods of a given node. This allows truncation of computation at a logarithmic depth in order to obtain polynomial accuracy in polynomial time.