arXiv++ Combinatorics

Browse math.CO papers from arXiv

partition

6235 papers tagged with this keyword
2010-04-15
Cycle indices for finite orthogonal groups of even characteristic
Published • View PublicationBIB
We develop cycle index generating functions for orthogonal groups in even characteristic, and give some enumerative applications. A key step is the determination of the values of the complex linear-Weil characters of the finite symplectic group, and their inductions to the general linear group, at unipotent elements. We also define and study several natural probability measures on integer partitions.
2010-04-06 v2
Equality of Graver bases and universal Gröbner bases of colored partition identities
Published in Experimental Mathematics 2012, Vol. 21 (4), 395-401 • View PublicationBIB
Associated to any vector configuration A is a toric ideal encoded by vectors in the kernel of A. Each toric ideal has two special generating sets: the universal Gröbner basis and the Graver basis. While the former is generally a proper subset of the latter, there are cases for which the two sets coincide. The most prominent examples among them are toric ideals of unimodular matrices. Equality of universal Gröbner basis and Graver basis is a combinatorial property of the toric ideal (or, of the defining matrix), providing interesting information about ideals of higher Lawrence liftings of a matrix. Nonetheless, a general classification of all matrices for which both sets agree is far from known. We contribute to this task by identifying all cases with equality within two families of matrices; namely, those defining rational normal scrolls and those encoding homogeneous primitive colored partition identities.
2010-04-05
Congruences for Bipartitions with Odd Parts Distinct
Published • View PublicationBIB
Hirschhorn and Sellers studied arithmetic properties of the number of partitions with odd parts distinct. In another direction, Hammond and Lewis investigated arithmetic properties of the number of bipartitions. In this paper, we consider the number of bipartitions with odd parts distinct. Let this number be denoted by $pod_{-2}(n)$. We obtain two Ramanujan type identities for $pod_{-2}(n)$, which imply that $pod_{-2}(2n+1)$ is even and $pod_{-2}(3n+2)$ is divisible by 3. Furthermore, we show that for any $α\geq 1$ and $n\geq 0$, $ pod_{-2}(3^{2α+1}n+\frac{23\times 3^{2α}-7}{8})$ is a multiple of 3 and $pod_{-2}(5^{α+1}n+\frac{11\times 5^α+1}{4})$ is divisible by 5. We also find combinatorial interpretations for the two congruences modulo 2 and 3.
2010-03-29
Differences of Augmented Staircase Skew Schur Functions
We define a fat staircase to be a Ferrers diagram corresponding to a partition of the form $(n^{α_n}, {n-1}^{α_{n-1}},..., 1^{α_1})$, where $α= (α_1,...,α_n)$ is a composition, or the $180^\circ$ rotation of such a diagram. We look at collections of skew diagrams consisting of a fixed fat staircase augmented with all hooks of a given size. Among these diagrams we determine precisely which pairs give a Schur-positive difference. We extend this classification to collections of fat staircases augmented with hook-complements.
2010-03-27 v2
A note on 2-distant noncrossing partitions and weighted Motzkin paths
Published in Discrete Math., (310) 3421-3425, 2010 • View PublicationBIB
We prove a conjecture of Drake and Kim: the number of $2$-distant noncrossing partitions of $\{1,2,...,n\}$ is equal to the sum of weights of Motzkin paths of length $n$, where the weight of a Motzkin path is a product of certain fractions involving Fibonacci numbers. We provide two proofs of their conjecture: one uses continued fractions and the other is combinatorial.
2010-03-25 v3
A tree-decomposed transfer matrix for computing exact Potts model partition functions for arbitrary graphs, with applications to planar graph colourings
Published • View PublicationBIB
Combining tree decomposition and transfer matrix techniques provides a very general algorithm for computing exact partition functions of statistical models defined on arbitrary graphs. The algorithm is particularly efficient in the case of planar graphs. We illustrate it by computing the Potts model partition functions and chromatic polynomials (the number of proper vertex colourings using Q colours) for large samples of random planar graphs with up to N=100 vertices. In the latter case, our algorithm yields a sub-exponential average running time of ~ exp(1.516 sqrt(N)), a substantial improvement over the exponential running time ~ exp(0.245 N) provided by the hitherto best known algorithm. We study the statistics of chromatic roots of random planar graphs in some detail, comparing the findings with results for finite pieces of a regular lattice.
2010-03-25 v2
A note on the partition dimension of Cartesian product graphs
Published in Applied Mathematics and Computation 217 (7) (2010) 3571-3574 • View PublicationBIB
Let $G=(V,E)$ be a connected graph. The distance between two vertices $u,v\in V$, denoted by $d(u, v)$, is the length of a shortest $u-v$ path in $G$. The distance between a vertex $v\in V$ and a subset $P\subset V$ is defined as $min\{d(v, x): x \in P\}$, and it is denoted by $d(v, P)$. An ordered partition $\{P_1,P_2, ...,P_t\}$ of vertices of a graph $G$, is a \emph{resolving partition}of $G$, if all the distance vectors $(d(v,P_1),d(v,P_2),...,d(v,P_t))$ are different. The \emph{partition dimension} of $G$, denoted by $pd(G)$, is the minimum number of sets in any resolving partition of $G$. In this article we study the partition dimension of Cartesian product graphs. More precisely, we show that for all pairs of connected graphs $G, H$, $pd(G\times H)\le pd(G)+pd(H)$ and $pd(G\times H)\le pd(G)+dim(H).$ Consequently, we show that $pd(G\times H)\le dim(G)+dim(H)+1.$
2010-03-17
A New Heuristic for Feature Selection by Consistent Biclustering
Given a set of data, biclustering aims at finding simultaneous partitions in biclusters of its samples and of the features which are used for representing the samples. Consistent biclusterings allow to obtain correct classifications of the samples from the known classification of the features, and vice versa, and they are very useful for performing supervised classifications. The problem of finding consistent biclusterings can be seen as a feature selection problem, where the features that are not relevant for classification purposes are removed from the set of data, while the total number of features is maximized in order to preserve information. This feature selection problem can be formulated as a linear fractional 0-1 optimization problem. We propose a reformulation of this problem as a bilevel optimization problem, and we present a heuristic algorithm for an efficient solution of the reformulated problem. Computational experiments show that the presented algorithm is able to find better solutions with respect to the ones obtained by employing previously presented heuristic algorithms.
Random graph states, maximal flow and Fuss-Catalan distributions
Published in J. Phys. A: Math. Theor. 43 (2010), no. 27, 275303 • View PublicationBIB
For any graph consisting of $k$ vertices and $m$ edges we construct an ensemble of random pure quantum states which describe a system composed of $2m$ subsystems. Each edge of the graph represents a bi-partite, maximally entangled state. Each vertex represents a random unitary matrix generated according to the Haar measure, which describes the coupling between subsystems. Dividing all subsystems into two parts, one may study entanglement with respect to this partition. A general technique to derive an expression for the average entanglement entropy of random pure states associated to a given graph is presented. Our technique relies on Weingarten calculus and flow problems. We analyze statistical properties of spectra of such random density matrices and show for which cases they are described by the free Poissonian (Marchenko-Pastur) distribution. We derive a discrete family of generalized, Fuss-Catalan distributions and explicitly construct graphs which lead to ensembles of random states characterized by these novel distributions of eigenvalues.
2010-03-13 v3
Promotion and evacuation on standard Young tableaux of rectangle and staircase shape
Published • View PublicationBIB
(Dual-)promotion and (dual-)evacuation are bijections on SYT(λ) for any partition λ. Let c^r denote the rectangular partition (c,...,c) of height r, and let sc_k (k > 2) denote the staircase partition (k,k-1,...,1). B. Rhoades showed representation-theoretically that promotion on SYT(c^r) exhibits the cyclic sieving phenomenon (CSP). In this paper, we demonstrate a promotion- and evacuation-preserving embedding of SYT(sc_k) into SYT(k^{k+1}). This arose from an attempt to demonstrate the CSP of promotion action on SYT(sc_k).
2010-03-08
Skew Schur Functions of Sums of Fat Staircases
We define a fat staircase to be a Ferrers diagram corresponding to a partition of the form $(n^{α_n}, {n-1}^{α_{n-1}},..., 1^{α_1})$, where $α= (α_1,...,α_n)$ is a composition, or the $180^\circ$ rotation of such a diagram. If a diagram's skew Schur function is a linear combination of Schur functions of fat staircases, we call the diagram a sum of fat staircases. We prove a Schur-positivity result that is obtained each time we augment a sum of fat staircases with a skew diagram. We also determine conditions on which diagrams can be sums of fat staircases, including necessary and sufficient conditions in the special case when the diagram is a fat staircase skew a single row or column.
2010-03-04 v2
Congruence properties of the function which counts compositions into powers of 2
Published in Journal of Integer Sequences 13 (2010), Article: 10.5.3, 9 p. • Search Publication
Let v(n) denote the number of compositions (ordered partitions) of a positive integer n into powers of 2. It appears that the function v(n) satisfies many congruences modulo 2^N. For example, for every integer B there exists (as k tends to infinity) the limit of v(2^k+B) in the 2-adic topology. The parity of v(n) obeys a simple rule. In this paper we extend this result to higher powers of 2. In particular, we prove that for each positive integer N there exists a finite table which lists all the possible cases of this sequence modulo 2^N. One of our main results claims that v(n) is divisible by 2^N for almost all n, however large the value of N is.
2010-03-02 v3
Congruences for an arithmetic function from 3-colored Frobenius partitions
Let $a(n)$ defined by $\sum_{n=1}^{\infty}a(n)q^n := \prod_{n=1}^{\infty}\frac{1}{(1-q^{3n})(1-q^n)^3}.$ In this note, we prove that for every non-negative integer $n$, a(15n+6) \equiv 0\pmod{5}, a(15n+12) \equiv 0\pmod{5}. As a corollary, we obtained some results of Ono
Partition functions of the Ising model on some self-similar Schreier graphs
Published in Progress in Probability: Random Walks, Boundaries and Spectra (D.Lenz, F. Sobieczky and W. Woess editors), 64 (2011), 277-304, Springer Basel • Search Publication
We study partition functions and thermodynamic limits for the Ising model on three families of finite graphs converging to infinite self-similar graphs. They are provided by three well-known groups realized as automorphism groups of regular rooted trees: the first Grigorchuk's group of intermediate growth; the iterated monodromy group of the complex polynomial $z^2-1$ known as the Basilica group; and the Hanoi Towers group $H^{(3)}$ closely related to the Sierpinsky gasket.
2010-03-01 v5
Ramanujan-Type congruences for cubic partition functions
The cubic partitions of a natural number $n$, introduced by Chan and Kim, have generating function $\sum_{n=0}^{\infty}a(n)q^n= \frac{1}{(q; q)_{\infty}(q^2; q^2)_{\infty}}.$ In this paper, we generalize some results of Chen-Lin, which suggest that $a(n)$ should have analogous properties of the ordinary partition function. Specifically, we show that for every non-negative integer $n$, $a(5^4n+547)\equiv 0\pmod{5^2}, a(7^3n+190)\equiv 0\pmod{7^2}, a(7^3n+288 \equiv 0\pmod{7^2} and a(7^3n+337)\equiv 0\pmod{7^2}.$
2010-02-28
The Second Subconstituent of some Strongly Regular Graphs
This is a report on a failed attempt to construct new graphs that are strongly regular with no triangles. The approach is based on the assumption that the second subconstituent has an equitable partition with four parts. For infinitely many odd prime powers we construct a graph that is a plausible candidate for the second subconstituent. Unfortuantely we also show that the corresponding graph is strongly regular only when the prime power is 3, in which case the graph is already known.
2010-02-27 v3
Congruences modulo powers of 5 for three-colored Frobenius partitions
Motivated by a question of Lovejoy \cite{lovejoy}, we show that three-colored Frobenius partition function $\c3$ and related arithmetic fuction $\cc3$ vanish modulo some powers of 5 in certain arithmetic progressions.
2010-02-24
Humps for Dyck and for Motzkin paths
We calculate the total number of humps in Dyck and in Motzkin paths, and we give Standard-Young-Tableaux-interpretations of the numbers involved. One then observes the intriguing phenomena that the humps-calculations change the partitions in a strip to partitions in a hook.
2010-02-23
Regularity partitions and the topology of graphons
We highlight a topological aspect of the graph limit theory. Graphons are limit objects for convergent sequences of dense graphs. We introduce the representation of a graphon on a unique metric space and we relate the dimension of this metric space to the size of regularity partitions. We prove that if a graphon has an excluded induced sub-bigraph then the underlying metric space is compact and has finite packing dimension. It implies in particular that such graphons have regularity partitions of polynomial size.
Proof of George Andrews's and David Robbins's q-TSPP Conjecture
Published in Proceedings of the National Academy of Sciences 108(6), pp. 2196-2199. 2011. ISSN 0027-8424 • View PublicationBIB
The conjecture that the orbit-counting generating function for totally symmetric plane partitions can be written as an explicit product formula, has been stated independently by George Andrews and David Robbins around 1983. We present a proof of this long-standing conjecture.