partition
6235 papers tagged with this keyword
Partitions for semi-magic squares of size three
Published in Combinatorial and additive number theory IV. Springer Proc. in Math. and Stat. 347, 131-149, Springer, NY (2021)
• View Publication
• BIB
In the theory of Clebsch-Gordan coefficients, one may recognize the domain space as the set of weakly semi-magic squares of size three. Two partitions on this set are considered: a triangle-hexagon model based on top lines, and one based on the orbits under a finite group action. In addition to giving another proof of McMahon's formula, we give a generating function that counts the so-called trivial zeros of Clebsch-Gordan coefficients and its associated quasi-polynomial.
Index of seaweed algebras and integer partitions
Published
• View Publication
• BIB
The index of a Lie algebra is an important algebraic invariant. In 2000, Vladimir Dergachev and Alexandre Kirillov defined seaweed subalgebras of $\mathfrak{gl}_n$ (or $\mathfrak{sl}_n$) and provided a formula for the index of a seaweed algebra using a certain graph, so-called a meander. In a recent paper, Vincent Coll, Andrew Mayers, and Nick Mayers defined a new statistic for partitions, namely the index of a partition, which arises from seaweed Lie algebras of type A. At the end of their paper, they presented an interesting conjecture, which involves integer partitions into odd parts. Motivated by their work, in this paper, we exploit various index statistics and the index weight generating functions for partitions. In particular, we examine their conjecture by considering the generating function for partitions into odd parts. We will also reprove another result from their paper using generating functions.
The Rank Enumeration of Certain Parabolic Non-Crossing Partitions
Published in Algebraic Combinatorics 5 (2022), pages 437-468
• View Publication
• BIB
We consider $m$-divisible non-crossing partitions of $\{1,2,\ldots,mn\}$ with the property that for some $t\leq n$ no block contains more than one of the first $t$ integers. We give a closed formula for the number of multi-chains of such non-crossing partitions with prescribed number of blocks. Building on this result, we compute Chapoton's $M$-triangle in this setting and conjecture a combinatorial interpretation for the $H$-triangle. This conjecture is proved for $m=1$.
Random plane partitions and corner distributions
Published
• View Publication
• BIB
We explore some probabilistic applications arising in connections with $K$-theoretic symmetric functions. For instance, we determine certain corner distributions of random lozenge tilings and plane partitions. We also introduce some distributions that are naturally related to the corner growth model. Our main tools are dual symmetric Grothendieck polynomials and normalized Schur functions.
qFunctions -- A Mathematica package for $q$-series and partition theory applications
Published
• View Publication
• BIB
We describe the qFunctions Mathematica package for $q$-series and partition theory applications. This package includes both experimental and symbolic tools. The experimental set of elements includes guessers for $q$-shift equations and recurrences for given $q$-series and fitting/finding explicit expressions for sequences of polynomials. This package can symbolically handle formal manipulations on $q$-differential, $q$-shift equations and recurrences, such as switching between these forms, finding the greatest common divisor of recurrences, and formal substitutions. Here, we also extend the classical method of the weighted words approach. Moreover, qFunctions has implementations that automate the recurrence system creation of the weighted words approach as well as a scheme on cylindric partitions.
A proof of conjectured partition identities of Nandi
Published
• View Publication
• BIB
We generalize the theory of linked partition ideals due to Andrews using finite automata in formal language theory and apply it to prove three Rogers--Ramanujan type identities of modulo 14 that were posed by Nandi through vertex operator theoretic construction of the level 4 standard modules of the affine Lie algebra $A^{(2)}_{2}$.
Hamiltonicity of random graphs in the stochastic block model
Published
• View Publication
• BIB
We study the Hamiltonicity of the following model of a random graph. Suppose that we partition [n] into V_1,V_2,...,V_k and add edge {x,y} to our graph with probability p if there exists i such that x,y\in V_i. Otherwise, we add the edge with probbability q. We denote this model by G(n, p,q) and give tight results for Hamiltonicity, including a critical window analysis, under various conditions.
Number of Distinguishing Colorings and Partitions
Published in Discrete Mathematics Volume 343, Issue 9, September 2020, 111984
• View Publication
• BIB
A vertex coloring of a graph $G$ is called distinguishing (or symmetry breaking) if no non-identity automorphism of $G$ preserves it, and the distinguishing number, shown by $D(G)$, is the smallest number of colors required for such a coloring. This paper is about counting non-equivalent distinguishing colorings of graphs with $k$ colors. A parameter, namely $Φ_k (G)$, which is the number of non-equivalent distinguishing colorings of a graph $G$ with at most $k$ colors, is shown here to have an application in calculating the distinguishing number of the lexicographic product and the $X$-join of graphs. We study this index (and some other similar indices) which is generally difficult to calculate. Then, we show that if one knows the distinguishing threshold of a graph $G$, which is the smallest number of colors $θ(G)$ so that, for $k\geq θ(G)$, every $k$-coloring of $G$ is distinguishing, then, in some special cases, counting the number of distinguishing colorings with $k$ colors is very easy. We calculate $θ(G)$ for some classes of graphs including the Kneser graph $K(n,2)$. We then turn to vertex partitioning by studying the distinguishing coloring partition of a graph $G$; a partition of vertices of $G$ which induces a distinguishing coloring for $G$. There, we introduce $Ψ_k (G)$ as the number of non-equivalent distinguishing coloring partitions with at most $k$ cells, which is a generalization to its distinguishing coloring counterpart.
Sequences, q-Multinomial Identities, Integer Partitions with Kinds, and Generalized Galois Numbers
Published
• View Publication
• BIB
Using sequences of finite length with positive integer elements and the inversion statistic on such sequences, a collection of binomial and multinomial identities are extended to their $q$-analog form via combinatorial proofs. Using the major index statistic on sequences, a connection between integer partitions with kinds and finite differences of the coefficients of generalized Galois numbers is established.
Sandwich semigroups in diagram categories
This paper concerns a number of diagram categories, namely the partition, planar partition, Brauer, partial Brauer, Motzkin and Temperley-Lieb categories. If $\mathcal K$ denotes any of these categories, and if $σ\in\mathcal K_{nm}$ is a fixed morphism, then an associative operation $\star_σ$ may be defined on $\mathcal K_{mn}$ by $α\star_σβ=ασβ$. The resulting semigroup $\mathcal K_{mn}^σ=(\mathcal K_{mn},\star_σ)$ is called a sandwich semigroup. We conduct a thorough investigation of these sandwich semigroups, with an emphasis on structural and combinatorial properties such as Green's relations and preorders, regularity, stability, mid-identities, ideal structure, (products of) idempotents, and minimal generation. It turns out that the Brauer category has many remarkable properties not shared by any of the other diagram categories we study. Because of these unique properties, we may completely classify isomorphism classes of sandwich semigroups in the Brauer category, calculate the rank (smallest size of a generating set) of an arbitrary sandwich semigroup, enumerate Green's classes and idempotents, and calculate ranks (and idempotent ranks, where appropriate) of the regular subsemigroup and its ideals, as well as the idempotent-generated subsemigroup. Several illustrative examples are considered throughout, partly to demonstrate the sometimes-subtle differences between the various diagram categories.
Polynomization of the Bessenrodt-Ono inequality
Published
• View Publication
• BIB
In this paper we investigate the generalization of the Bessenrodt--Ono inequality by following Gian-Carlo Rota's advice in studying problems in combinatorics and number theory in terms of roots of polynomials. We consider the number of $k$-colored partitions of $n$ as special values of polynomials $P_n(x)$. We prove for all real numbers $x >2 $ and $a,b \in \mathbb{N}$ with $a+b >2$ the inequality \begin{equation*} P_a(x) \, \cdot \, P_b(x) > P_{a+b}(x). \end{equation*} We show that $P_n(x) < P_{n+1}(x)$ for $x \geq 1$, which generalizes $p(n) < p(n+1)$, where $p(n)$ denotes the partition function. Finally, we observe for small values, the opposite can be true since for example: $P_2(-3+ \sqrt{10}) = P_{3}(-3 + \sqrt{10})$.
Stability of the Hecke algebra of wreath products
The Hecke algebras $\mathcal{H}_{n,k}$ of the group pairs $(S_{kn}, S_k\wr S_n)$ can be endowed with a filtration with respect to the orbit structures of the elements of $S_{kn}$ relative to the action of $S_{kn}$ on the set of $k$-partitions of $\{1,\dots,kn\}$. We prove that the structure constants of the associated filtered algebra $\mathcal{F}_{n,k} $ is independent of $n$. The stability property enables the construction of a universal algebra $\mathcal{F}$ to govern the algebras $\mathcal{F}_{n,k}$. We also prove that the structure constants of the algebras $\mathcal{H}_{n,k}$ are polynomials in $n$. For $k=2$, when the algebras $(\mathcal{F}_{n,2})_{n\in \mathbb{N}}$ are commutative, these results were obtained by Aker and Can, by Can and Ozden, and by Tout.
A Fuss-Catalan variation of the caracol flow polytope
Recently, a combinatorial interpretation of Baldoni and Vergne's generalized Lidskii formula for the volume of a flow polytope was developed by Benedetti et al.. This converts the problem of computing Kostant partition functions into a problem of enumerating a set of objects called unified diagrams. We devise an enhanced version of this combinatorial model to compute the volumes of flow polytopes defined on a family of graphs called the k-caracol graphs, resulting in the first application of the model to non-planar graphs. At k=1 and k=n-1, we recover results for the classical caracol graph and the Pitman--Stanley graph. Furthermore, we introduce the notion of in-degree gravity diagrams for flow polytopes, which are equinumerous with (out-degree) gravity diagrams considered by Benedetti et al.. We show that for the k-caracol flow polytopes, these two kinds of gravity diagrams satisfy a natural combinatorial correspondence, which raises an intriguing question on the relationship in the geometry of two related polytopes.
Power Partitions and Semi-m-Fibonacci Partitions
Published
• View Publication
• BIB
George Andrews recently proved a new identity between the cardinalities of the set of Semi-Fibonacci partitions and the set of partitions into powers of two with all parts appearing an odd number of times. This paper extends the identity to the set of Semi-$m$-Fibonacci partitions of $n$ and the set of partitions of $n$ into powers of $m$ in which all parts appear with multiplicity not divisible by $m$.
Systematic Counting of Restricted Partitions
Integer partitions are one of the most fundamental objects of combinatorics (and number theory), and so is enumerating objects avoiding patterns. In the present paper we describe two approaches for the systematic counting of classes of partitions avoiding an arbitrary set of "patterns".
Overpartitions and Bressoud's conjecture, I
Published
• View Publication
• BIB
In 1980, Bressoud conjectured a combinatorial identity $A_j=B_j$ for $j=0$ or $1$, where the function $A_j$ counts the number of partitions with certain congruence conditions and the function $B_j$ counts the number of partitions with certain difference conditions. Bressoud's conjecture specializes to a wide variety of well-known theorems in the theory of partitions. Special cases of his conjecture have been subsequently proved by Bressoud, Andrews, Kim and Yee. Recently, Kim resolved Bressoud's conjecture for the case $j=1$. In this paper, we introduce a new partition function $\bar{B}_j$ which can be viewed as an overpartition analogue of the partition function $B_j$ introduced by Bressoud. By means of Gordon markings, we build bijections to obtain a relationship between $\bar{B}_1$ and $B_0$ and a relationship between $\bar{B}_0$ and $B_1$. Based on these former relationships, we further give overpartition analogues of many classical partition theorems including Euler's partition theorem, the Rogers-Ramanujan-Gordon identities, the Bressoud-Rogers-Ramanujan identities, the Andrews-Göllnitz-Gordon identities and the Bressoud-Göllnitz-Gordon identities.
Minimum entropy stochastic block models neglect edge distribution heterogeneity
Published
• View Publication
• BIB
The statistical inference of stochastic block models as emerged as a mathematicaly principled method for identifying communities inside networks. Its objective is to find the node partition and the block-to-block adjacency matrix of maximum likelihood i.e. the one which has most probably generated the observed network. In practice, in the so-called microcanonical ensemble, it is frequently assumed that when comparing two models which have the same number and sizes of communities, the best one is the one of minimum entropy i.e. the one which can generate the less different networks. In this paper, we show that there are situations in which the minimum entropy model does not identify the most significant communities in terms of edge distribution, even though it generates the observed graph with a higher probability.
Arctic curves of the twenty-vertex model with domain wall boundaries
Published in J Stat Phys 179, 33-89 (2020)
• View Publication
• BIB
We use the tangent method to compute the arctic curve of the Twenty-Vertex (20V) model with particular domain wall boundary conditions for a wide set of integrable weights. To this end, we extend to the finite geometry of domain wall boundary conditions the standard connection between the bulk 20V and 6V models via the Kagome lattice ice model. This allows to express refined partition functions of the 20V model in terms of their 6V counterparts, leading to explicit parametric expressions for the various portions of its arctic curve. The latter displays a large variety of shapes depending on the weights and separates a central liquid phase from up to six different frozen phases. A number of numerical simulations are also presented, which highlight the arctic curve phenomenon and corroborate perfectly the analytic predictions of the tangent method. We finally compute the arctic curve of the Quarter-turn symmetric Holey Aztec Domino Tiling (QTHADT) model, a problem closely related to the 20V model and whose asymptotics may be analyzed via a similar tangent method approach. Again results for the QTHADT model are found to be in perfect agreement with our numerical simulations.
Quantum isomorphism is equivalent to equality of homomorphism counts from planar graphs
Published
• View Publication
• BIB
Over 50 years ago, Lovász proved that two graphs are isomorphic if and only if they admit the same number of homomorphisms from any graph [Acta Math. Hungar. 18 (1967), pp. 321--328]. In this work we prove that two graphs are quantum isomorphic (in the commuting operator framework) if and only if they admit the same number of homomorphisms from any planar graph. As there exist pairs of non-isomorphic graphs that are quantum isomorphic, this implies that homomorphism counts from planar graphs do not determine a graph up to isomorphism. Another immediate consequence is that determining whether there exists some planar graph that has a different number of homomorphisms to two given graphs is an undecidable problem, since quantum isomorphism is known to be undecidable. Our characterization of quantum isomorphism is proven via a combinatorial characterization of the intertwiner spaces of the quantum automorphism group of a graph based on counting homomorphisms from planar graphs. This result inspires the definition of "graph categories" which are analogous to, and a generalization of, partition categories that are the basis of the definition of easy quantum groups. Thus we introduce a new class of "graph-theoretic quantum groups" whose intertwiner spaces are spanned by maps associated to (bi-labeled) graphs. Finally, we use our result on quantum isomorphism to prove an interesting reformulation of the Four Color Theorem: that any planar graph is 4-colorable if and only if it has a homomorphism to a specific Cayley graph on the symmetric group $S_4$ which contains a complete subgraph on four vertices but is not 4-colorable.
Bounding the tripartite-circle crossing number of complete tripartite graphs
Published in J. Graph Theory. 2022; 100: 5-27
• View Publication
• BIB
A tripartite-circle drawing of a tripartite graph is a drawing in the plane, where each part of a vertex partition is placed on one of three disjoint circles, and the edges do not cross the circles. We present upper and lower bounds on the minimum number of crossings in tripartite-circle drawings of $K_{m,n,p}$. In contrast to 1- and 2-circle drawings, which may attain the Harary-Hill bound, our results imply that balanced restricted 3-circle drawings of the complete graph are not optimal.