arXiv++ Combinatorics

Browse math.CO papers from arXiv

partition

6235 papers tagged with this keyword
Decomposing sequences into monotonic subsequences
The function f:X -> Y is called k-monotonically increasing if there is a partition X = X_1 U ... U X_k such that f|X_i : X_i -> Y is monotonically increasing for i=1,...,k. It is proved that a one-to-one function f:N -> N is k-monotonically increasing if and only if every set of k+1 positive integers contains two integers x,x' with x < x' such that f(x) <= f(x'). The function f:X \to Y is called k-monotonic if there is a partition X = X_1 U ... U X_k such that f|X_i : X_i -> Y is monotonically increasing or monotonically decreasing for i=1,...,k. It is also proved that there does not exist a k-monotonic function from N onto Q.
2006-03-20 v4
Avoidance of Partitions of a Three-element Set
Published • View PublicationBIB
Klazar defined and studied a notion of pattern avoidance for set partitions, which is an analogue of pattern avoidance for permutations. Sagan considered partitions which avoid a single partition of three elements. We enumerate partitions which avoid any family of partitions of a 3-element set as was done by Simion and Schmidt for permutations. We also consider even and odd set partitions. We provide enumerative results for set partitions restricted by generalized set partition patterns, which are an analogue of the generalized permutation patterns of Babson and Steingr{í}msson. Finally, in the spirit of work done by Babson and Steingr{'ı}msson, we will show how these generalized partition patterns can be used to describe set partition statistics.
2006-03-15 v2
Nested set complexes of Dowling lattices and complexes of Dowling trees
Published • View PublicationBIB
Given a finite group G and a natural number n, we study the structure of the complex of nested sets of the associated Dowling lattice Q(G) and of its subposet of the G-symmetric partitions Q_G which was recently introduced by Hultman together with the complex of G-symmetric phylogenetic trees T_G. Hultman shows that T_G and Q_G are homotopy equivalent and Cohen-Macaulay, and determines the rank of their top homology. An application of the theory of building sets and nested set complexes by Feichtner and Kozlov shows that in fact T_G is subdivided by the order complex of Q_G. We introduce the complex of Dowling trees T(G) and prove that it is subdivided by the order complex of Q(G) and contains T_G as a subcomplex. We show that T(G) is obtained from T_G by successive coning over certain subcomplexes. We explicitly and independently calculate how many homology spheres are added in passing from T_G to T(G).
2006-03-13
SPM Bulletin 16
CONTENTS OF THE ISSUE: Hurewicz-like tests for Borel subsets of the plane; Ordered Spaces, Metric Preimages, and Function Algebras; On the independence of a generalized statement of Egoroff's theorem from ZFC, after T. Weiss; Forty annotated questions about large topological groups; Strong compactness and a partition property; Countable Borel equivalence relations and quotient Borel spaces; Decisive creatures and large continuum; Models of real-valued measurability; Hausdorff ultrafilters; Block combinatorics; Maharam's problem; Universality of uniform Eberlein compacta; Linearly ordered compacta and Banach spaces with a projectional resolution of the identity; Steinhaus Sets and Jackson Sets; Problem of the Issue; Problems from earlier issues.
2006-03-07 v6
Multinets, resonance varieties, and pencils of plane curves
Published • View PublicationBIB
We show that a line arrangement in the complex projective plane supports a nontrivial resonance variety if and only if it is the underlying arrangement of a "multinet," a multi-arrangement with a partition into three or more equinumerous classes which have equal multiplicities at each inter-class intersection point, and satisfy a connectivity condition. We also prove that this combinatorial structure is equivalent to the existence of a pencil of plane curves, also satisfying a connectivity condition, whose singular fibers include at least three products of lines, which comprise the arrangement. We derive numerical conditions which impose restrictions on the number of classes, and the line and point multiplicities that can appear in multinets, and allow us to detect whether the associated pencils yield nonlinear fiberings of the complement.
2006-03-07 v4
Degrees of stretched Kostka coefficients
Published • View PublicationBIB
Given a partition l and a composition b, the stretched Kostka coefficient K_{l, b}(n) is the map sending each positive integer n to the Kostka coefficient indexed by nl and nb. Kirillov and Reshetikhin (1986) have shown that stretched Kostka coefficients are polynomial functions of n. King, Tollu, and Toumazet have conjectured that these polynomials always have nonnegative coefficients (2004), and they have given a conjectural expression for their degrees (2006). We prove the values conjectured by King, Tollu, and Toumazet for the degrees of stretched Kostka coefficients. Our proof depends upon the polyhedral geometry of Gelfand--Tsetlin polytopes and uses tilings of GT-patterns, a combinatorial structure introduced in De Loera & McAllister (2004).
2006-03-06 v2
New Identities for 7-cores with prescribed BG-rank
Published • View PublicationBIB
A q-series with nonnegative power series coefficients is called positive. The partition statistics BG-rank is defined as an alternating sum of parities of parts of a partition. It is known that the generating function for the number of partitions of n that are 7-cores with given BG-rank can be written as certain sum of multi-theta functions. We give explicit representations for these generating functions in terms of sums of positive eta-quotients and derive inequalities for the their coefficients. New identities for the generating function of unrestricted 7-cores and inequalities for their coefficients are also obtained. Our proofs utilize Ramanujan's theory of modular equations.
2006-03-03 v3
Schur Q-polynomials, multiple hypergeometric series and enumeration of marked shifted tableaux
Published in J. Combin. Theory A 115 (2008), 376-406 • View PublicationBIB
We study Schur Q-polynomials evaluated on a geometric progression, or equivalently q-enumeration of marked shifted tableaux, seeking explicit formulas that remain regular at q=1. We obtain several such expressions as multiple basic hypergeometric series, and as determinants and pfaffians of continuous q-ultraspherical or continuous q-Jacobi polynomials. As special cases, we obtain simple closed formulas for staircase-type partitions.
2006-02-25 v2
The Forest Metrics for Graph Vertices
Published in Electronic Notes in Discrete Mathematics 11 (July 2002) 98-107 • View PublicationBIB
We propose a new graph metric and study its properties. In contrast to the standard distance in connected graphs, it takes into account all paths between vertices. Formally, it is defined as d(i,j)=q_{ii}+q_{jj}-q_{ij}-q_{ji}, where q_{ij} is the (i,j)-entry of the {\em relative forest accessibility matrix} Q(ε)=(I+εL)^{-1}, L is the Laplacian matrix of the (weighted) (multi)graph, and εis a positive parameter. By the matrix-forest theorem, the (i,j)-entry of the relative forest accessibility matrix of a graph provides the specific number of spanning rooted forests such that i and j belong to the same tree rooted at i. Extremely simple formulas express the modification of the proposed distance under the basic graph transformations. We give a topological interpretation of d(i,j) in terms of the probability of unsuccessful linking i and j in a model of random links. The properties of this metric are compared with those of some other graph metrics. An application of this metric is related to clustering procedures such as "centered partition." In another procedure, the relative forest accessibility and the corresponding distance serve to choose the centers of the clusters and to assign a cluster to each non-central vertex. The notion of cumulative weight of connections between two vertices is proposed. The reasoning involves a reciprocity principle for weighted multigraphs. Connections between the resistance distance and the forest distance are established.
2006-02-22 v4
On Tree-Partition-Width
Published in European J. Combinatorics 30:1245-1253, 2009 • View PublicationBIB
A \emph{tree-partition} of a graph $G$ is a proper partition of its vertex set into `bags', such that identifying the vertices in each bag produces a forest. The \emph{tree-partition-width} of $G$ is the minimum number of vertices in a bag in a tree-partition of $G$. An anonymous referee of the paper by Ding and Oporowski [\emph{J. Graph Theory}, 1995] proved that every graph with tree-width $k\geq3$ and maximum degree $Δ\geq1$ has tree-partition-width at most $24kΔ$. We prove that this bound is within a constant factor of optimal. In particular, for all $k\geq3$ and for all sufficiently large $Δ$, we construct a graph with tree-width $k$, maximum degree $Δ$, and tree-partition-width at least $(\eighth-ε)kΔ$. Moreover, we slightly improve the upper bound to ${5/2}(k+1)({7/2}Δ-1)$ without the restriction that $k\geq3$.
2006-02-21 v3
Enumeration of Rota-Baxter Words
Published in Math in Comput. Sci 4 (2010), 313-337 • View PublicationBIB
In this paper, we prove results on enumerations of sets of Rota-Baxter words in a finite number of generators and a finite number of unary operators. Rota-Baxter words are words formed by concatenating generators and images of words under Rota-Baxter operators. Under suitable conditions, they form canonical bases of free Rota-Baxter algebras and are studied recently in relation to combinatorics, number theory, renormalization in quantum field theory, and operads. Enumeration of a basis is often a first step to choosing a data representation in implementation. Our method applies some simple ideas from formal languages and compositions (ordered partitions) of an integer. We first settle the case of one generator and one operator where both have exponent 1 (the idempotent case). Some integer sequences related to these sets of Rota-Baxter words are known and connected to other combinatorial sequences, such as the Catalan numbers, and others are new. The recurrences satisfied by the generating series of these sequences prompt us to discover an efficient algorithm to enumerate the canonical basis of certain free Rota-Baxter algebras. More general sets of Rota-Baxter words are enumerated with summation techniques related to compositions of integers.
2006-02-18 v2
A Schur function identity related to the (-1)-enumeration of self-complementary plane partitions
We give another proof for the (-1)-enumeration of self-complementary plane partitions with at least one odd side-length by specializing a certain Schur function identity. The proof is analogous to Stanley's proof for the ordinary enumeration. In addition, we obtain enumerations of 180-degree symmetric rhombus tilings of hexagons with a barrier of arbitrary length along the central line.
2006-02-16 v4
The BG-rank of a partition and its applications
Published • View PublicationBIB
Let πbe a partition. In [2] we defined BG-rank(π) as an alternating sum of parities of parts. This statistic was employed to generalize and refine the famous Ramanujan modulo 5 partition congruence. Let p_j(n)(a_{t,j}(n)) denote a number of partitions (t-cores) of n with BG-rank=j. Here, we provide an elegant combinatorial proof that 5|p_j(5n+4) by showing that the residue of the 5-core crank mod 5 divides the partitions enumerated by p_j(5n+4) into five equal classes. This proof uses the orbit construction in [2] and new identity for BG-rank. In addition, we find eta-quotient representation for the generating functions for coefficients a_{t,floor((t+1)/4)}(n), a_{t,-floor((t-1)/4)}(n) when t is an odd, positive integer. Finally, we derive explicit formulas for the coefficients a_{5,j}(n) with j=0,1,-1.
h-vectors of generalized associahedra and non-crossing partitions
Published • View PublicationBIB
A case-free proof is given that the entries of the $h$-vector of the cluster complex $Δ(Φ)$, associated by S. Fomin and A. Zelevinsky to a finite root system $Φ$, count elements of the lattice $\nc$ of noncrossing partitions of corresponding type by rank. Similar interpretations for the $h$-vector of the positive part of $Δ(Φ)$ are provided. The proof utilizes the appearance of the complex $Δ(Φ)$ in the context of the lattice $\nc$, in recent work of two of the authors, as well as an explicit shelling of $Δ(Φ)$.
2006-02-09 v2
k-noncrossing and k-nonnesting graphs and fillings of Ferrers diagrams
Published • View PublicationBIB
We give a correspondence between graphs with a given degree sequence and fillings of Ferrers diagrams by nonnegative integers with prescribed row and column sums. In this setting, k-crossings and k-nestings of the graph become occurrences of the identity and the antiidentity matrices in the filling. We use this to show the equality of the numbers of k-noncrossing and k-nonnesting graphs with a given degree sequence. This generalizes the analogous result for matchings and partition graphs of Chen, Deng, Du, Stanley, and Yan, and extends results of Klazar to k>2. Moreover, this correspondence reinforces the links recently discovered by Krattenthaler between fillings of diagrams and the results of Chen et al.
2006-02-04 v2
On refined enumerations of totally symmetric self-complementary plane partitions I
In this paper we give Pfaffian expressions and constant term identities for the enumeration problems presented by Mills, Robbins and Rumsey (``Self-complementary totally symmetric plane partitions'' J. Combin. Theory Ser. A, 42, 277--292), concerning the totally symmetric self-complementary plane partitions (TSSCPPs). We also present some new conjectures and give Pfaffian expressions for them.
2006-01-30 v2
Higher spin vertex models with domain wall boundary conditions
Published in J.Stat.Mech.0603:P03012,2006 • View PublicationBIB
We derive determinant expressions for the partition functions of spin-k/2 vertex models on a finite square lattice with domain wall boundary conditions.
2006-01-27 v5
The $M$-triangle of generalised non-crossing partitions for the types $E_7$ and $E_8$
Published in Séminaire Lotharingien Combin. 54 (2006), Article B54l, 34 pages • Search Publication
The $M$-triangle of a ranked locally finite poset $P$ is the generating function $\sum_{u,w\in P} ^{}μ(u,w) x^{\rk u}y^{\rk w}$, where $μ(.,.)$ is the Möbius function of $P$. We compute the $M$-triangle of Armstrong's poset of $m$-divisible non-crossing partitions for the root systems of type $E_7$ and $E_8$. For the other types except $D_n$ this had been accomplished in the earlier paper "The $F$-triangle of the generalised cluster complex." Altogether, this almost settles Armstrong's $F=M$ Conjecture predicting a surprising relation between the $M$-triangle of the $m$-divisible partitions poset and the $F$-triangle (a certain refined face count) of the generalised cluster complex of Fomin and Reading, the only gap remaining in type $D_n$. Moreover, we prove a reciprocity result for this $M$-triangle, again with the possible exception of type $D_n$. Our results are based on the calculation of certain decomposition numbers for the reflection groups of types $E_7$ and $E_8$, which carry in fact finer information than does the $M$-triangle. The decomposition numbers for the other exceptional reflection groups had been computed in the earlier paper. We present a conjectured formula for the type $A_n$ decomposition numbers.
2006-01-27
Noncrossing partitions in surprising locations
Published • View PublicationBIB
Certain mathematical structures make a habit of reoccuring in the most diverse list of settings. Some obvious examples exhibiting this intrusive type of behavior include the Fibonacci numbers, the Catalan numbers, the quaternions, and the modular group. In this article, the focus is on a lesser known example: the noncrossing partition lattice. The focus of the article is a gentle introduction to the lattice itself in three of its many guises: as a way to encode parking functions, as a key part of the foundations of noncommutative probability, and as a building block for a contractible space acted on by a braid group. Since this article is aimed primarily at nonspecialists, each area is briefly introduced along the way.
Stable Grothendieck polynomials and K-theoretic factor sequences
Published in Math. Ann. 340 (2008), no. 2, 359--382. • View PublicationBIB
We formulate a nonrecursive combinatorial rule for the expansion of the stable Grothendieck polynomials of [Fomin-Kirillov '94] in the basis of stable Grothendieck polynomials for partitions. This gives a common generalization, as well as new proofs of the rule of [Fomin-Greene '98] for the expansion of the stable Schubert polynomials into Schur polynomials, and the K-theoretic Grassmannian Littlewood-Richardson rule of [Buch '02]. The proof is based on a generalization of the Robinson-Schensted and Edelman-Greene insertion algorithms. Our results are applied to prove a number of new formulas and properties for K-theoretic quiver polynomials, and the Grothendieck polynomials of [Lascoux-Schutzenberger '82]. In particular, we provide the first $K$-theoretic analogue of the factor sequence formula of [Buch-Fulton '99] for the cohomological quiver polynomials.