partition
6235 papers tagged with this keyword
A simple regularization of graphs
The well-known regularity lemma of E. Szemerédi for graphs (i.e. 2-uniform hypergraphs) claims that for any graph there exists a vertex partition with the property of quasi-randomness. We give a simple construction of such a partition. It is done just by taking a constant-bounded number of random vertex samplings only one time (thus, iteration-free). Since it is independent from the definition of quasi-randomness, it can be generalized very naturally to hypergraph regularization. In this expository note, we show only a graph case of the paper [I] on hypergraphs, but may help the reader to access [I].
Counting Complex Disordered States by Efficient Pattern Matching: Chromatic Polynomials and Potts Partition Functions
Published in New J. Phys. 11:023001 (2009); freely available online
• View Publication
• BIB
Counting problems, determining the number of possible states of a large system under certain constraints, play an important role in many areas of science. They naturally arise for complex disordered systems in physics and chemistry, in mathematical graph theory, and in computer science. Counting problems, however, are among the hardest problems to access computationally. Here, we suggest a novel method to access a benchmark counting problem, finding chromatic polynomials of graphs. We develop a vertex-oriented symbolic pattern matching algorithm that exploits the equivalence between the chromatic polynomial and the zero-temperature partition function of the Potts antiferromagnet on the same graph. Implementing this bottom-up algorithm using appropriate computer algebra, the new method outperforms standard top-down methods by several orders of magnitude, already for moderately sized graphs. As a first application, we compute chromatic polynomials of samples of the simple cubic lattice, for the first time computationally accessing three-dimensional lattices of physical relevance. The method offers straightforward generalizations to several other counting problems.
Matrix models for 2* theories
Published in Phys.Rev.D80:086006,2009
• View Publication
• BIB
We show how to represent a class of expressions involving discrete sums over partitions as matrix models. We apply this technique to the partition functions of 2* theories, i.e. Seiberg-Witten theories with the massive hypermultiplet in the adjoint representation. We consider theories in four, five and six dimensions, and obtain new matrix models respectively of rational, trigonometric and elliptic type. The matrix models for five- and six-dimensional U(1) theories are derived from the topological vertex construction related to curves of genus one and two.
A bijection between dominant Shi regions and core partitions
Published
• View Publication
• BIB
It is well-known that Catalan numbers $C_n = \frac{1}{n+1} \binom{2n}{n}$ count the number of dominant regions in the Shi arrangement of type $A$, and that they also count partitions which are both $n$-cores as well as $(n+1)$-cores. These concepts have natural extensions, which we call here the $m$-Catalan numbers and $m$-Shi arrangement. In this paper, we construct a bijection between dominant regions of the $m$-Shi arrangement and partitions which are both $n$-cores as well as $(mn+1)$-cores. The bijection is natural in the sense that it commutes with the action of the affine symmetric group.
Generalized exponents of small representations. II
Published
• View Publication
• BIB
This is the second paper in a sequence devoted to giving manifestly non-negative formulas for generalized exponents of small representations in all types. It contains a first formula for generalized exponents of small weights which extends the Shapiro-Steinberg formula for classical exponents. The formula is made possible by a computation of Fourier coefficients of the degenerate Cherednik kernel. Unlike the usual partition function coefficients, the answer reflects only the combinatorics of minimal expressions as a sum of roots.
A commutative algebra on degenerate CP^1 and Macdonald polynomials
Published
• View Publication
• BIB
We introduce a unital associative algebra A over degenerate CP^1. We show that A is a commutative algebra and whose Poincar'e series is given by the number of partitions. Thereby we can regard A as a smooth degeneration limit of the elliptic algebra introduced by one of the authors and Odesskii. Then we study the commutative family of the Macdonald difference operators acting on the space of symmetric functions. A canonical basis is proposed for this family by using A and the Heisenberg representation of the commutative family studied by one of the authors. It is found that the Ding-Iohara algebra provides us with an algebraic framework for the free filed construction. An elliptic deformation of our construction is discussed, showing connections with the Drinfeld quasi-Hopf twisting a la Babelon Bernard Billey, the Ruijsenaars difference operator and the operator M(q,t_1,t_2) of Okounkov-Pandharipande.
Ramsey Theory for Words over an Infinite Alphabet
A complete partition theory is presented for omega-located words (and omega-words), namely for located words over an infinite alphabet dominated by a fixed increasing sequence. This theory strengthens in an essential way the classical Carlson, Furstenberg-Katznelson, and Bergelson-Blass-Hindman partition theory for words over a finite alphabet. Consequences of this theory are strong simultaneous extensions of the classical Hindman, Milliken-Taylor partition theorem, and of a van der Waerden theorem for general semigroups, extending results of Hindman-Strauss and Beiglbock.
Random Walks on Strict Partitions
Published in Journal of Mathematical Sciences, vol. 168, no. 3, pp. 437-463, 2010
• View Publication
• BIB
We consider a certain sequence of random walks. The state space of the n-th random walk is the set of all strict partitions of n (that is, partitions without equal parts).
We prove that, as n goes to infinity, these random walks converge to a continuous-time Markov process. The state space of this process is the infinite-dimensional simplex consisting of all nonincreasing infinite sequences of nonnegative numbers with sum less than or equal to one. The main result about the limit process is the expression of its the pre-generator as a formal second order differential operator in a polynomial algebra.
Of separate interest is the generalization of Kerov interlacing coordinates to the case of shifted Young diagrams.
Crossings and nestings in set partitions of classical types
Published
• View Publication
• BIB
In this article, we investigate bijections on various classes of set partitions of classical types that preserve openers and closers. On the one hand we present bijections that interchange crossings and nestings. For types B and C, they generalize a construction by Kasraoui and Zeng for type A, whereas for type D, we were only able to construct a bijection between non-crossing and non-nesting set partitions. On the other hand we generalize a bijection to type B and C that interchanges the cardinality of the maximal crossing with the cardinality of the maximal nesting, as given by Chen, Deng, Du, Stanley and Yan for type A. Using a variant of this bijection, we also settle a conjecture by Soll and Welker concerning generalized type B triangulations and symmetric fans of Dyck paths.
Permutation Statistics and $q$-Fibonacci Numbers
Published
• View Publication
• BIB
In a recent paper, Goyt and Sagan studied distributions of certain set partition statistics over pattern restricted sets of set partitions that were counted by the Fibonacci numbers. Their study produced a class of $q$-Fibonacci numbers, which they related to $q$-Fibonacci numbers studied by Carlitz and Cigler. In this paper we will study the distributions of some Mahonian statistics over pattern restricted sets of permutations. We will give bijective proofs connecting some of our $q$-Fibonacci numbers to those of Carlitz, Cigler, Goyt and Sagan. We encode these permutations as words and use a weight to produce bijective proofs of $q$-Fibonacci identities. Finally, we study the distribution of some of these statistics on pattern restricted permutations that West showed were counted by even Fibonacci numbers.
Graphs, links, and duality on surfaces
Published in Combin. Probab. Comput. 20 (2011), 267-287
• View Publication
• BIB
We introduce a polynomial invariant of graphs on surfaces, $P_G$, generalizing the classical Tutte polynomial. Topological duality on surfaces gives rise to a natural duality result for $P_G$, analogous to the duality for the Tutte polynomial of planar graphs. This property is important from the perspective of statistical mechanics, where the Tutte polynomial is known as the partition function of the Potts model. For ribbon graphs, $P_G$ specializes to the well-known Bollobas-Riordan polynomial, and in fact the two polynomials carry equivalent information in this context. Duality is also established for a multivariate version of the polynomial $P_G$. We then consider a 2-variable version of the Jones polynomial for links in thickened surfaces, taking into account homological information on the surface. An analogue of Thistlethwaite's theorem is established for these generalized Jones and Tutte polynomials for virtual links.
SQS-graphs of extended 1-perfect codes
Published in Congressus Numerantium, {\bf 193}(2008), 175--194, {\bf MR}2487725; 94B05, (05C90)
• Search Publication
A binary extended 1-perfect code $\mathcal C$ folds over its kernel via the Steiner quadruple systems associated with its codewords. The resulting folding, proposed as a graph invariant for $\mathcal C$, distinguishes among the 361 nonlinear codes $\mathcal C$ of kernel dimension $κ$ with $9\geqκ\geq 5$ obtained via Solov'eva-Phelps doubling construction. Each of the 361 resulting graphs has most of its nonloop edges expressible in terms of the lexicographically disjoint quarters of the products of the components of two of the ten 1-perfect partitions of length 8 classified by Phelps, and loops mostly expressible in terms of the lines of the Fano plane.
Two-batch liar games on a general bounded channel
Published
• View Publication
• BIB
We consider an extension of the 2-person Rényi-Ulam liar game in which lies are governed by a channel $C$, a set of allowable lie strings of maximum length $k$. Carole selects $x\in[n]$, and Paul makes $t$-ary queries to uniquely determine $x$. In each of $q$ rounds, Paul weakly partitions $[n]=A_0\cup >... \cup A_{t-1}$ and asks for $a$ such that $x\in A_a$. Carole responds with some $b$, and if $a\neq b$, then $x$ accumulates a lie $(a,b)$. Carole's string of lies for $x$ must be in the channel $C$. Paul wins if he determines $x$ within $q$ rounds. We further restrict Paul to ask his questions in two off-line batches. We show that for a range of sizes of the second batch, the maximum size of the search space $[n]$ for which Paul can guarantee finding the distinguished element is $\sim t^{q+k}/(E_k(C)\binom{q}{k})$ as $q\to\infty$, where $E_k(C)$ is the number of lie strings in $C$ of maximum length $k$. This generalizes previous work of Dumitriu and Spencer, and of Ahlswede, Cicalese, and Deppe. We extend Paul's strategy to solve also the pathological liar variant, in a unified manner which gives the existence of asymptotically perfect two-batch adaptive codes for the channel $C$.
Binary nullity, Euler circuits and interlace polynomials
Published
• View Publication
• BIB
A theorem of Cohn and Lempel [J. Combin. Theory Ser. A 13 (1972), 83-89] gives an equality relating the number of circuits in a directed circuit partition of a 2-in, 2-out digraph to the GF(2)-nullity of an associated matrix. This equality is essentially equivalent to the relationship between directed circuit partitions of 2-in, 2-out digraphs and vertex-nullity interlace polynomials of interlace graphs. We present an extension of the Cohn-Lempel equality that describes arbitrary circuit partitions in (undirected) 4-regular graphs. The extended equality incorporates topological results that have been of use in knot theory, and it implies that if H is obtained from an interlace graph by attaching loops at some vertices then the vertex-nullity interlace polynomial $q_{N}(H)$ is essentially the generating function for certain circuit partitions of an associated 4-regular graph.
Paths and partitions: combinatorial descriptions of the parafermionic states
Published in J.Math.Phys.50:095210,2009
• View Publication
• BIB
The Z_k parafermionic conformal field theories, despite the relative complexity of their modes algebra, offer the simplest context for the study of the bases of states and their different combinatorial representations. Three bases are known. The classic one is given by strings of the fundamental parafermionic operators whose sequences of modes are in correspondence with restricted partitions with parts at distance k-1 differing at least by 2. Another basis is expressed in terms of the ordered modes of the k-1 different parafermionic fields, which are in correspondence with the so-called multiple partitions. Both types of partitions have a natural (Bressoud) path representation. Finally, a third basis, formulated in terms of different paths, is inherited from the solution of the restricted solid-on-solid model of Andrews-Baxter-Forrester. The aim of this work is to review, in a unified and pedagogical exposition, these four different combinatorial representations of the states of the Z_k parafermionic models.
The first part of this article presents the different paths and partitions and their bijective relations; it is purely combinatorial, self-contained and elementary; it can be read independently of the conformal-field-theory applications. The second part links this combinatorial analysis with the bases of states of the Z_k parafermionic theories. With the prototypical example of the parafermionic models worked out in detail, this analysis contributes to fix some foundations for the combinatorial study of more complicated theories. Indeed, as we briefly indicate in ending, generalized versions of both the Bressoud and the Andrews-Baxter-Forrester paths emerge naturally in the description of the minimal models.
Orbites d'Hurwitz des factorisations primitives d'un élément de Coxeter
Published in Journal of Algebra 323 (2010), pp. 1432-1453
• View Publication
• BIB
We study the Hurwitz action of the classical braid group on factorisations of a Coxeter element c in a well-generated complex reflection group W. It is well-known that the Hurwitz action is transitive on the set of reduced decompositions of c in reflections. Our main result is a similar property for the primitive factorisations of c, i.e. factorisations with only one factor which is not a reflection. The motivation is the search for a geometric proof of Chapoton's formula for the number of chains of given length in the non-crossing partitions lattice NCP_W. Our proof uses the properties of the Lyashko-Looijenga covering and the geometry of the discriminant of W.
RNA-RNA interaction prediction: partition function and base pair pairing probabilities
Published
• View Publication
• BIB
In this paper, we study the interaction of an antisense RNA and its target mRNA, based on the model introduced by Alkan {\it et al.} (Alkan {\it et al.}, J. Comput. Biol., Vol:267--282, 2006). Our main results are the derivation of the partition function
\cite{Backhofen} (Chitsaz {\it et al.}, Bioinformatics, to appear, 2009), based on the concept of tight-structure and the computation of the base pairing probabilities. This paper contains the folding algorithm {\sf rip} which computes the partition function as well as the base pairing probabilities in $O(N^4M^2)+O(N^2M^4)$ time and $O(N^2M^2)$ space, where $N,M$ denote the lengths of the interacting sequences.
Biclique Coverings and the Chromatic Number
Published
• View Publication
• BIB
Consider a graph $G$ with chromatic number $k$ and a collection of complete bipartite graphs, or bicliques, that cover the edges of $G$. We prove the following two results: \medskip
\noindent
$\bullet$ If the bicliques partition the edges of $G$, then their number is at least $2^{\sqrt{\log_2 k}}$. This is the first improvement of the easy lower bound of $\log_2 k$, while the Alon-Saks-Seymour conjecture states that this can be improved to $k-1$. \medskip
\noindent $\bullet$ The sum of the orders of the bicliques is at least $(1-o(1))k\log_2 k$. This generalizes, in asymptotic form, a result of Katona and Szemerédi who proved that the minimum is $k\log_2 k$ when $G$ is a clique.
The Schur Cone and the Cone of Log Concavity
Let $\{h_1,h_2,...\}$ be a set of algebraically independent variables. We ask which vectors are extreme in the cone generated by $h_ih_j-h_{i+1}h_{j-1}$ ($i\geq j>0$) and $h_i$ ($i>0$). We call this cone the cone of log concavity. More generally, we ask which vectors are extreme in the cone generated by Schur functions of partitions with $k$ or fewer parts. We give a conjecture for which vectors are extreme in the cone of log concavity. We prove the characterization in one direction and give partial results in the other direction.
A recipe theorem for the topological Tutte polynomial of Bollobas and Riordan
Published
• View Publication
• BIB
In [A polynomial invariant of graphs on orientable surfaces, Proc. Lond. Math. Soc., III Ser. 83, No. 3, 513-531 (2001)] and [A polynomial of graphs on surfaces, Math. Ann. 323, 81-96 (2002)], Bollobas and Riordan generalized the classical Tutte polynomial to graphs cellularly embedded in surfaces, i.e. ribbon graphs, thus encoding topological information not captured by the classical Tutte polynomial. We provide a `recipe theorem' for their new topological Tutte polynomial, R(G). We then relate R(G) to the generalized transition polynomial Q(G) via a medial graph construction, thus extending the relation between the classical Tutte polynomial and the Martin, or circuit partition, polynomial to ribbon graphs. We use this relation to prove a duality property for R(G) that holds for both oriented and unoriented ribbon graphs. We conclude by placing the results of Chumutov and Pak [The Kauffman bracket and the Bollobas-Riordan polynomial of ribbon graphs, Moscow Mathematical Journal 7(3) (2007) 409-418] for virtual links in the context of the relation between R(G) and Q(R).