arXiv++ Combinatorics

Browse math.CO papers from arXiv

partition

6231 papers tagged with this keyword
2001-09-24
Structure of Binary Sequences
The distribution of a given sequence in the set of all sequences with n ones and m = M - n zeros are found by relating the problem to the partitions of a natural number in m natural summands, taking into account the order. The formulas obtained have many applications both in Physics and Mathematics. Examples discussed in the present paper are: non Markovian chains, partition functions of binary alloys and Ising magnets, generalized Kaplansky lemma, generalized Fibonacci numbers and a general expansion of \sum_{h=0}^{m} h^{r} {\binom{m}{h}}^{2} in terms of the Stirling numbers of second kind.
2001-09-18
The Gelfand map and symmetric products
Published • View PublicationBIB
If A is an algebra of functions on X, there are many cases when X can be regarded as included in Hom(A,C) as the set of ring homomorphisms. In this paper the corresponding results for the symmetric products of X are introduced. It is shown that the symmetric product Sym^n(X) is included in Hom(A,C) as the set of those functions that satisfy equations generalising f(xy)=f(x)f(y). These equations are related to formulae introduced by Frobenius and, for the relevant A, they characterise linear maps on A that are the sum of ring homomorphisms. The main theorem is proved using an identity satisfied by partitions of finite sets.
2001-09-14
The Rank and Minimal Border Strip Decompositions of a Skew Partition
Published • View PublicationBIB
Nazarov and Tarasov recently generalized the notion of the rank of a partition to skew partitions. We give several characterizations of the rank of a skew partition and one possible characterization that remains open. One of the characterizations involves the decomposition of a skew shape into a minimal number of border strips, and we develop a theory of these MBSD's as well as of the closely related minimal border strip tableaux. An application is given to the value of a character of the symmetric group S_n indexed by a skew shape z at a permutation whose number of cycles is the rank of z.
2001-09-14 v2
Irreducible Symmetric Group Characters of Rectangular Shape
We give a new formula for the values of an irreducible character of the symmetric group S_n indexed by a partition of rectangular shape. Some observations and a conjecture are given concerning a generalization to arbitrary shapes.
2001-08-29
Hooks and powers of parts in partitions
This paper shows that the number of hooks of length k contained in all partitions of n equals k times the number of parts of length k in all partitions of n. It contains also formulas for the moments (under uniform distribution) of k-th parts in partitions of n.
2001-08-22 v2
Kasteleyn cokernels
Published in Electron. J. Combin. 9 (2002), #R29 • View PublicationBIB
We consider Kasteleyn and Kasteleyn-Percus matrices, which arise in enumerating matchings of planar graphs, up to matrix operations on their rows and columns. If such a matrix is defined over a principal ideal domain, this is equivalent to considering its Smith normal form or its cokernel. Many variations of the enumeration methods result in equivalent matrices. In particular, Gessel-Viennot matrices are equivalent to Kasteleyn-Percus matrices. We apply these ideas to plane partitions and related planar of tilings. We list a number of conjectures, supported by experiments in Maple, about the forms of matrices associated to enumerations of plane partitions and other lozenge tilings of planar regions and their symmetry classes. We focus on the case where the enumerations are round or $q$-round, and we conjecture that cokernels remain round or $q$-round for related ``impossible enumerations'' in which there are no tilings. Our conjectures provide a new view of the topic of enumerating symmetry classes of plane partitions and their generalizations. In particular we conjecture that a $q$-specialization of a Jacobi-Trudi matrix has a Smith normal form. If so it could be an interesting structure associated to the corresponding irreducible representation of $\SL(n,\C)$. Finally we find, with proof, the normal form of the matrix that appears in the enumeration of domino tilings of an Aztec diamond.
2001-07-21
Vanishing ideals of Lattice Diagram determinants
Published in J. Combin. Theory Ser. A 99 (2002), no. 2, 244-260 • View PublicationBIB
A lattice diagram is a finite set $L=\{(p_1,q_1),... ,(p_n,q_n)\}$ of lattice cells in the positive quadrant. The corresponding lattice diagram determinant is $Δ_L(\X;\Y)=\det \| x_i^{p_j}y_i^{q_j} \|$. The space $M_L$ is the space spanned by all partial derivatives of $Δ_L(\X;\Y)$. We denote by $M_L^0$ the $Y$-free component of $M_L$. For $μ$ a partition of $n+1$, we denote by $μ/ij$ the diagram obtained by removing the cell $(i,j)$ from the Ferrers diagram of $μ$. Using homogeneous partially symmetric polynomials, we give here a dual description of the vanishing ideal of the space $M_μ^0$ and we give the first known description of the vanishing ideal of $M_{μ/ij}^0$.
2001-07-18 v2
Subsequence containment by involutions
Published • View PublicationBIB
Inspired by work of McKay, Morse, and Wilf, we give an exact count of the involutions in S_n which contain a given permutation τin S_k as a subsequence; this number depends on the patterns of the first j values of τfor 1<=j<=k. We then use this to define a partition of S_k, analogous to Wilf-classes in the study of pattern avoidance, and examine properties of this equivalence. In the process, we show that a permutation τ_1...τ_k is layered iff, for 1<=j<=k, the pattern of τ_1...τ_j is an involution. We also obtain a result of Sagan and Stanley counting the standard Young tableaux of size $n$ which contain a fixed tableau of size $k$ as a subtableau.
2001-07-06 v2
Bosonic formulas for (k,l)-admissible partitions
Published • View PublicationBIB
Bosonic formulas for generating series of partitions with certain restrictions are obtained by solving a set of linear matrix q-difference equations. Some particular cases are related to combinatorial problems arising from solvable lattice models, representation theory and conformal field theory.
2001-07-06 v3
Correlation function of Schur process with application to local geometry of a random 3-dimensional Young diagram
Published • View PublicationBIB
Schur process is a time-dependent analog of the Schur measure on partitions studied in math.RT/9907127. Our first result is that the correlation functions of the Schur process are determinants with a kernel that has a nice contour integral representation in terms of the parameters of the process. This general result is then applied to a particular specialization of the Schur process, namely to random 3-dimensional Young diagrams. The local geometry of a large random 3-dimensional diagram is described in terms of a determinantal point process on a 2-dimensional lattice with the incomplete beta function kernel (which generalizes the discrete sine kernel). A brief discussion of the universality of this answer concludes the paper.
2001-06-29 v2
Arithmetic partition sums and orbits of Z_n^k under the symmetric group S_k
We study M(n,k,r), the number of orbits of {(a_1,...,a_k)\in Z_n^k | a_1+...+a_k = r (mod n)} under the action of S_k. Equivalently, M(n,k,r) sums the partition numbers of an arithmetic sequence: M(n,k,r) = sum_{t \geq 0} p(n-1,k,r+nt), where p(a,b,t) denotes the number of partitions of t into at most b parts, each of which is at most a. We derive closed formulas and various identities for such arithmetic partition sums. These results have already appeared in Elashvili/Jibladze/Pataraia, Combinatorics of necklaces and "Hermite reciprocity", J. Alg. Combin. 10 (1999) 173-188, and the main result was also published by Von Sterneck in Sitzber. Akad. Wiss. Wien. Math. Naturw. Class. 111 (1902), 1567-1601 (see Lemma 2 and references in math.NT/9909121). Thanks to Don Zagier and Robin Chapman for bringing these references to our attention.
2001-06-14
Extended Bell and Stirling numbers from hypergeometric exponentiation
Exponentiating the hypergeometric series gives a recursion relation for integer sequences which are generalizations of conventional Bell numbers. The corresponding associated Stirling numbers of the second kind are also generated and investigated. For the lowest order generalisation, one can give a combinatorial interpretation of these 'Bell' numbers, and of some Stirling numbers associated with them. We also consider these analogues of Bell numbers in the case of restricted partitions.
2001-04-30
Algebraic Unimodular Counting
Published • View PublicationBIB
We study algebraic algorithms for expressing the number of non-negative integer solutions to a unimodular system of linear equations as a function of the right hand side. Our methods include Todd classes of toric varieties via Gröbner bases, and rational generating functions as in Barvinok's algorithm. We report polyhedral and computational results for two special cases: counting contingency tables and Kostant's partition function.
2001-04-20 v2
Critical and Multicritical Semi-Random (1+d)-Dimensional Lattices and Hard Objects in d Dimensions
Published in J.Phys.A35:897-928,2002 • View PublicationBIB
We investigate models of (1+d)-D Lorentzian semi-random lattices with one random (space-like) direction and d regular (time-like) ones. We prove a general inversion formula expressing the partition function of these models as the inverse of that of hard objects in d dimensions. This allows for an exact solution of a variety of new models including critical and multicritical generalized (1+1)-D Lorentzian surfaces, with fractal dimensions $d_F=k+1$, k=1,2,3,..., as well as a new model of (1+2)-D critical tetrahedral complexes, with fractal dimension $d_F=12/5$. Critical exponents and universal scaling functions follow from this solution. We finally establish a general connection between (1+d)-D Lorentzian lattices and directed-site lattice animals in (1+d) dimensions.
2001-04-07
Clusters of Cycles
Published • View PublicationBIB
A {\it cluster of cycles} (or {\it $(r,q)$-polycycle}) is a simple planar 2--co nnected finite or countable graph $G$ of girth $r$ and maximal vertex-degree $q$, which admits {\it $(r,q)$-polycyclic realization} on the plane, denote it by $P(G)$, i.e. such that: (i) all interior vertices are of degree $q$, (ii) all interior faces (denote their number by $p_r$) are combinatorial $r$-gons and (implied by (i), (ii)) (iii) all vertices, edges and interior faces form a cell-complex. An example of $(r,q)$-polycycle is the skeleton of $(r^q)$, i.e. of the $q$-valent partition of the sphere $S^2$, Euclidean plane $R^2$ or hyperbolic plane $H^2$ by regular $r$-gons. Call {\it spheric} pairs $(r,q)=(3,3),(3,4),(4,3),(3,5),(5,3)$; for those five pairs $P(r^q)$ is $(r^q)$ without the exterior face; otherwise $P(r^q)=(r^q)$. We give here a compact survey of results on $(r,q)$-polycycles.
2001-04-06 v2
Products of random matrices and q-Catalan numbers
We describe one interpretation of the q-Catalan numbers in frameworks of random matrix theory and weighted partitions of the set of integers.
2001-04-04
Enumeration of lozenge tilings of hexagons with cut off corners
Published in J. Combin. Theory Ser. A 100 (2002), 201-231. • View PublicationBIB
Motivated by the enumeration of a class of plane partitions studied by Proctor and by considerations about symmetry classes of plane partitions, we consider the problem of enumerating lozenge tilings of a hexagon with ``maximal staircases'' removed from some of its vertices. The case of one vertex corresponds to Proctor's problem. For two vertices there are several cases to consider, and most of them lead to nice enumeration formulas. For three or more vertices there do not seem to exist nice product formulas in general, but in one special situation a lot of factorization occurs, and we pose the problem of finding a formula for the number of tilings in this case.
2001-02-14
A computer proof of a polynomial identity implying a partition theorem of Goellnitz
Published • View PublicationBIB
In this paper we give a computer proof of a new polynomial identity, which extends a recent result of Alladi and the first author. In addition, we provide computer proofs for new finite analogs of Jacobi and Euler formulas. All computer proofs are done with the aid of the new computer algebra package qMultiSum developed by the second author. qMultiSum implements an algorithmic refinement of Wilf and Zeilberger's multi-q-extension of Sister Celine's technique utilizing additional ideas of Verbaeten and Wegschaider.
2001-02-07 v3
Free stochastic measures via noncrossing partitions II
Published in Pacific J. Math. 207 (2002), 13-30. • View PublicationBIB
We show that for stochastic measures with freely independent increments, the partition-dependent stochastic measures of math.OA/9903084 can be expressed purely in terms of the higher stochastic measures and the higher diagonal measures of the original.
2001-01-25
The quantum symmetric XXZ chain at Delta=-1/2, alternating sign matrices and plane partitions
Published in J.Phys.A 34 (2001) L265-L270 • View PublicationBIB
We consider the groundstate wavefunction of the quantum symmetric antiferromagnetic XXZ chain with open and twisted boundary conditions at $Δ=-{1/2}$, along with the groundstate wavefunction of the corresponding O($n$) loop model at $n=1$. Based on exact results for finite-size systems, sums involving the wavefunction components, and in some cases the largest component itself, are conjectured to be directly related to the total number of alternating sign matrices and plane partitions in certain symmetry classes.