partition
6235 papers tagged with this keyword
An Integer Programming Formulation of the Minimum Common String Partition problem
Published
• View Publication
• BIB
We consider the problem of finding a minimum common partition of two strings (MCSP). The problem has its application in genome comparison. MCSP problem is proved to be NP-hard. In this paper, we develop an Integer Programming (IP) formulation for the problem and implement it. The experimental results are compared with the previous state-of-the-art algorithms and are found to be promising.
Refined enumeration of noncrossing chains and hook formulas
Published in Annals of Combinatorics 19(3) (2015), 443--460
• View Publication
• BIB
In the combinatorics of finite finite Coxeter groups, there is a simple formula giving the number of maximal chains of noncrossing partitions. It is a reinterpretation of a result by Deligne which is due to Chapoton, and the goal of this article is to refine the formula. First, we prove a one-parameter generalization, by the considering enumeration of noncrossing chains where we put a weight on some relations. Second, we consider an equivalence relation on noncrossing chains coming from the natural action of the group on set partitions, and we show that each equivalence class has a simple generating function. Using this we recover Postnikov's hook length formula in type A and obtain a variant in type B.
The Hopf monoid on nonnesting supercharacters of pattern groups
Published
• View Publication
• BIB
We construct supercharacter theories for a collection of unipotent matrix groups and produce a Hopf monoid from the supercharacters. These supercharacter theories are coarser than those defined by Diaconis--Isaacs for algebra groups and have supercharacters and superclasses indexed by nonnesting labeled set partitions. We compute the supercharacter tables and describe the product and coproduct of the Hopf monoid combinatorially. We also show that this Hopf monoid is free.
Isomorphism of Weighted Trees and Stanley's Conjecture for Caterpillars
Published
• View Publication
• BIB
This paper contributes to a programme initiated by the first author: `How much information about a graph is revealed in its Potts partition function?'. We show that the $W$-polynomial distinguishes non-isomorphic weighted trees of a \emph{good} family. The framework developed to do so also allows us to show that the $W$-polynomial distinguishes non-isomorphic caterpillars. This establishes Stanley's isomorphism conjecture for caterpillars, an extensively studied problem.
Vacillating Hecke Tableaux and Linked Partitions
Published
• View Publication
• BIB
We introduce the structure of vacillating Hecke tableaux, and establish a one-to-one correspondence between vacillating Hecke tableaux and linked partitions by using the Hecke insertion algorithm developed by Buch, Kresch, Shimozono, Tamvakis and Yong. Linked partitions arise in free probability theory. Motivated by the Hecke insertion algorithm, we define a Hecke diagram as a Young diagram possibly with a marked corner. A vacillating Hecke tableau is defined as a sequence of Hecke diagrams subject to certain addition and deletion of rook strips. The notion of a rook strip was introduced by Buch in the study of the Littlewood-Richardson rule for stable Grothendieck polynomials. A rook strip is a skew Young diagram with at most one square in each row and column. We show that the crossing number and the nesting number of a linked partition can be determined by the maximal number of rows and the maximal number of columns of the diagrams in the corresponding vacillating Hecke tableau. The proof relies on a theorem due to Thomas and Yong concerning the lengths of the longest strictly increasing and the longest strictly decreasing subsequences in a word. This implies that the crossing number and the nesting number have a symmetric joint distribution over linked partitions, confirming a conjecture of de Mier. We also prove a conjecture of Kim which states that the crossing number and the nesting number have a symmetric joint distribution over the front representations of partitions.
On Reflection Orders Compatible with a Coxeter Element
In this article we give a simple, almost uniform proof that the lattice of noncrossing partitions associated with a well-generated complex reflection group is lexicographically shellable. So far a uniform proof is available only for Coxeter groups. In particular we show that, for any complex reflection group $W$ and any element $x\in W$, every $x$-compatible reflection order is a recursive atom order of the corresponding interval in absolute order. Since any Coxeter element $γ$ in any well-generated complex reflection group admits a $γ$-compatible reflection order, the lexicographic shellability follows from a well-known result due to Björner and Wachs.
Arithmetic Properties of Andrews' Singular Overpartitions
Published in International Journal of Number Theory 11, no. 5 (2015), 1463-1476
• View Publication
• BIB
In a very recent work, G. E. Andrews defined the combinatorial objects which he called {\it singular overpartitions} with the goal of presenting a general theorem for overpartitions which is analogous to theorems of Rogers--Ramanujan type for ordinary partitions with restricted successive ranks. As a small part of his work, Andrews noted two congruences modulo 3 which followed from elementary generating function manipulations. In this work, we prove that Andrews' results modulo 3 are two examples of an infinite family of congruences modulo 3 which hold for that particular function. We also expand the consideration of such arithmetic properties to other functions which are part of Andrews' framework for singular overpartitions.
The covering number of the difference sets in partitions of $G$-spaces and groups
Published in Europ. J. Math. 1:4 (2015) 762-772
• View Publication
• BIB
We prove that for every finite partition $G=A_1\cup\dots\cup A_n$ of a group $G$ either $cov(A_iA_i^{-1})\le n$ for all cells $A_i$ or else $cov(A_iA_i^{-1}A_i)<n$ for some cell $A_i$ of the partition. Here $cov(A)=\min\{|F|:F\subset G,\;G=FA\}$ is the covering number of $A$ in $G$. A similar result is proved also of partitions of $G$-spaces. This gives two partial answers to a problem of Protasov posed in 1995.
Average Size of a Self-conjugate (s, t)-Core Partition
Published
• View Publication
• BIB
Armstrong, Hanusa and Jones conjectured that if $s,t$ are coprime integers, then the average size of an $(s,t)$-core partition and the average size of a self-conjugate $(s,t)$-core partition are both equal to $\frac{(s+t+1)(s-1)(t-1)}{24}$. Stanley and Zanello showed that the average size of an $(s,s+1)$-core partition equals $\binom{s+1}{3}/2$. Based on a bijection of Ford, Mai and Sze between self-conjugate $(s,t)$-core partitions and lattice paths in $\lfloor \frac{s}{2} \rfloor\times \lfloor \frac{t}{2}\rfloor$ rectangle, we obtain the average size of a self-conjugate $(s,t)$-core partition as conjectured by Armstrong, Hanusa and Jones.
Completely Transitive Designs
We view a design $\mathcal{D}$ as a set of $k$-subsets of a fixed set $X$ of $v$ points. A $k$-subset of $X$ is at distance $i$ from $\mathcal{D}$ if it intersects some $k$-set in $\mathcal{D}$ in $k-i$ points, and no subset in more than $k-i$ points. Thus $\mathcal{D}$ determines a partition by distance of the $k$-subsets of $X$. We say $\mathcal{D}$ is completely transitive if the cells of this partition are the orbits of the automorphism group of $\mathcal{D}$ in its induced action on the $k$-subsets of $X$. This paper initiates a study of completely transitive designs $\mathcal{D}$. A classification is given of all examples for which the automorphism group is not primitive on $X$. In the primitive case the focus is on examples with the property that any two distinct $k$-subsets in $\mathcal{D}$ have at most $k-3$ points in common. Here a reduction is given to the case where the automorphism group is $2$-transitive on $X$. New constructions are given by classifying all examples for some families of $2$-transitive groups, leaving several unresolved cases.
Representing Partitions on Trees
Published
• View Publication
• BIB
In evolutionary biology, biologists often face the problem of constructing a phylogenetic tree on a set $X$ of species from a multiset $Π$ of partitions corresponding to various attributes of these species. One approach that is used to solve this problem is to try instead to associate a tree (or even a network) to the multiset $Σ_Π$ consisting of all those bipartitions $\{A,X-A\}$ with $A$ a part of some partition in $Π$. The rational behind this approach is that a phylogenetic tree with leaf set $X$ can be uniquely represented by the set of bipartitions of $X$ induced by its edges. Motivated by these considerations, given a multiset $Σ$ of bipartitions corresponding to a phylogenetic tree on $X$, in this paper we introduce and study the set $P(Σ)$ consisting of those multisets of partitions $Π$ of $X$ with $Σ_Π=Σ$. More specifically, we characterize when $P(Σ)$ is non-empty, and also identify some partitions in $P(Σ)$ that are of maximum and minimum size. We also show that it is NP-complete to decide when $P(Σ)$ is non-empty in case $Σ$ is an arbitrary multiset of bipartitions of $X$. Ultimately, we hope that by gaining a better understanding of the mapping that takes an arbitrary partition system $Π$ to the multiset $Σ_Π$, we will obtain new insights into the use of median networks and, more generally, split-networks to visualize sets of partitions.
Restrictions of rainbow supercharacters
Published
• View Publication
• BIB
The maximal subgroup of unipotent upper-triangular matrices of the finite general linear groups are a fundamental family of $p$-groups. Their representation theory is well-known to be wild, but there is a standard supercharacter theory, replacing irreducible representations by super-representations, that gives us some control over its representation theory. While this theory has a beautiful underlying combinatorics built on set partitions, the structure constants of restricted super-representations remain mysterious. This paper proposes a new approach to solving the restriction problem by constructing natural intermediate modules that help "factor" the computation of the structure constants. We illustrate the technique by solving the problem completely in the case of rainbow supercharacters (and some generalizations). Along the way we introduce a new $q$-analogue of the binomial coefficients that depend on an underlying poset.
Computing the partition function for cliques in a graph
Published
• View Publication
• BIB
We present a deterministic algorithm which, given a graph G with n vertices and an integer 1<m < n, computes in n^{O(ln m)} time the sum of weights w(S) over all m-subsets S of the set of vertices of G, where w(S)=exp{gamma t m +O(1/m)} provided exactly t{m choose 2} pairs of vertices of S span an edge of G for some 0 < t < 1. Here gamma >0 is an absolute constant: we can choose gamma=0.06, and if n > 4m and m > 10, we can choose gamma=0.18. This allows us to tell apart the graphs that do not have m-subsets of high density from the graphs that have sufficiently many m-subsets of high density, even when the probability to hit such a subset at random is exponentially small in m.
On permutations avoiding the dashed patterns 32-41 and 41-32
We show that permutations of size $n$ avoiding both of the dashed patterns 32-41 and 41-32 are equinumerous with indecomposable set partitions of size $n+1$, and deduce a related result.
Noncrossing partitions and Bruhat order
Published
• View Publication
• BIB
We give a criterion for Bruhat order on noncrossing partitions corresponding to the Coxeter element $c=s_1 s_2\cdots s_n$. Using it we prove that the Bruhat order endows noncrossing partitions with a lattice structure. We then explain what happens if we change the Coxeter element; in that case the lattice property fails and we explain which order to consider to get the same lattice structure as for the Coxeter element $c$. In particular we get bijections between noncrossing partitions associated to distinct Coxeter elements, which fix the set of reflections.
Intersections of Cycling 2-factors
Define an embedding of graph $G=(V,E)$ with $V$ a finite set of distinct points on the unit circle and $E$ the set of line segments connecting the points. Let $V_1,\ldots,V_k$ be a labeled partition of $V$ into equal parts. A 2-factor is said to be {\em cycling} if for each $u\in V$, $u\in V_i$ implies $u$ is adjacent to a vertex in $V_{i+1\: (mod \: k)}$ and a vertex in $V_{i-1\: (mod\: k)}$. In this paper, we will present some new results about cycling 2-factors including a tight upper bound on the minimum number of intersections of a cycling 2-factor for $k=3$.
Multipodal Structure and Phase Transitions in Large Constrained Graphs
Published
• View Publication
• BIB
We study the asymptotics of large, simple, labeled graphs constrained by the densities of edges and of $k$-star subgraphs, $k\ge 2$ fixed. We prove that under such constraints graphs are "multipodal": asymptotically in the number of vertices there is a partition of the vertices into $M < \infty$ subsets $V_1, V_2, \ldots, V_M$, and a set of well-defined probabilities $g_{ij}$ of an edge between any $v_i \in V_i$ and $v_j \in V_j$. For $2\le k\le 30$ we determine the phase space: the combinations of edge and $k$-star densities achievable asymptotically. For these models there are special points on the boundary of the phase space with nonunique asymptotic (graphon) structure; for the 2-star model we prove that the nonuniqueness extends to entropy maximizers in the interior of the phase space.
On Simultaneous 2-locally-balanced 2-partition for Two Forests with Same Vertices
Published in Transactions of the Institute for Informatics and Automation Problems of the NAS of RA, Mathematical Problems of Computer Science 29, 2007, p. 104-106
• Search Publication
The existence of a partition of the common set of the vertices of two forests into two subsets, when difference of their capacities in the neighborhood of each vertex of each forest not greater than 2 is proved, and an example, which shows that improvement of the specified constant is impossible is brought.
Distinguishing subgroups of the rationals by their Ramsey properties
Published in J. Combin. Theory Ser. A 129 (2015), 93-104
• View Publication
• BIB
A system of linear equations with integer coefficients is partition regular over a subset S of the reals if, whenever S\{0} is finitely coloured, there is a solution to the system contained in one colour class. It has been known for some time that there is an infinite system of linear equations that is partition regular over R but not over Q, and it was recently shown (answering a long-standing open question) that one can also distinguish Q from Z in this way.
Our aim is to show that the transition from Z to Q is not sharp: there is an infinite chain of subgroups of Q, each of which has a system that is partition regular over it but not over its predecessors. We actually prove something stronger: our main result is that if R and S are subrings of Q with R not contained in S, then there is a system that is partition regular over R but not over S. This implies, for example, that the chain above may be taken to be uncountable.
Partition Statistics Equidistributed with the Number of Hook Difference One Cells
Let $λ$ be a partition, viewed as a Young diagram. We define the hook difference of a cell of $λ$ to be the difference of its leg and arm lengths. Define $h_{1,1}(λ)$ to be the number of cells of $λ$ with hook difference one. In the paper of Buryak and Feigin (arXiv:1206.5640), algebraic geometry is used to prove a generating function identity which implies that $h_{1,1}$ is equidistributed with $a_2$, the largest part of a partition that appears at least twice, over the partitions of a given size. In this paper, we propose a refinement of the theorem of Buryak and Feigin and prove some partial results using combinatorial methods. We also obtain a new formula for the q-Catalan numbers which naturally leads us to define a new q,t-Catalan number with a simple combinatorial interpretation.