partition
6235 papers tagged with this keyword
Efficient Calculation the Number of Partitions of the Set $\{1, 2, \ldots, 3n\}$ into Subsets $\{x, y, z\}$ Satisfying $x+y=z$
Published in Mathematics Open 2024
• View Publication
• BIB
Consider the set $\{1,2,\ldots,3n\}$. We are interested in the number of partitions of this set into subsets of three elements each, where the sum of two of them equals the third.
We give some criteria such a partition has to fulfill, which can be used for efficient pruning in the search for these partitions. In particular, we enumerate all such partitions for $n=16$ and $n=17$ adding new terms to the series A108235 in the Online Encyclopedia of Integer Sequences.
Hopf Algebra on Vincular Permutation Patterns
We introduce a new Hopf algebra that operates on pairs of finite interval partitions and permutations of equal length. This algebra captures vincular patterns, which involve specifying both the permutation patterns and the consecutive occurrence of values. Our motivation stems from linear functionals that encode the number of occurrences of these patterns, and we show that they behave well with respect to the operations of this Hopf algebra.
Extracting Mergers and Projections of Partitions
We study the problem of extracting randomness from somewhere-random sources, and related combinatorial phenomena: partition analogues of Shearer's lemma on projections.
A somewhere-random source is a tuple $(X_1, \ldots, X_t)$ of (possibly correlated) $\{0,1\}^n$-valued random variables $X_i$ where for some unknown $i \in [t]$, $X_i$ is guaranteed to be uniformly distributed. An $extracting$ $merger$ is a seeded device that takes a somewhere-random source as input and outputs nearly uniform random bits. We study the seed-length needed for extracting mergers with constant $t$ and constant error. We show:
$\cdot$ Just like in the case of standard extractors, seedless extracting mergers with even just one output bit do not exist.
$\cdot$ Unlike the case of standard extractors, it $is$ possible to have extracting mergers that output a constant number of bits using only constant seed. Furthermore, a random choice of merger does not work for this purpose!
$\cdot$ Nevertheless, just like in the case of standard extractors, an extracting merger which gets most of the entropy out (namely, having $Ω$ $(n)$ output bits) must have $Ω$ $(\log n)$ seed. This is the main technical result of our work, and is proved by a second-moment strengthening of the graph-theoretic approach of Radhakrishnan and Ta-Shma to extractors.
In contrast, seed-length/output-length tradeoffs for condensing mergers (where the output is only required to have high min-entropy), can be fully explained by using standard condensers.
Inspired by such considerations, we also formulate a new and basic class of problems in combinatorics: partition analogues of Shearer's lemma. We show basic results in this direction; in particular, we prove that in any partition of the $3$-dimensional cube $[0,1]^3$ into two parts, one of the parts has an axis parallel $2$-dimensional projection of area at least $3/4$.
Fulkerson duality for modulus of spanning trees and partitions
One of the main properties of modulus on graphs is Fulkerson duality. In this paper, we study Fulkerson duality for spanning tree modulus. We introduce a new notion of Beurling partition, and we identify two important ones, which correspond to the notion of strength and maximum denseness of an arbitrary graph. These special partitions, also give rise to two deflation processes that reveal a hierarchical structure for general graphs. While Fulkerson duality for spanning tree families can be deduced from a well-known result in combinatorics due to Chopra, we give an alternative approach based on a result of Nash-Williams and Tutte. Finally, we introduce the weighted variant of spanning tree modulus.
Genus Permutations and Genus Partitions
Published in Enumerative Combinatorics and Applications 5:1 (2025) Article S2R5
• View Publication
• BIB
For a given permutation or set partition there is a natural way to assign a genus. Counting all permutations or partitions of a fixed genus according to cycle lengths or block sizes, respectively, is the main content of this article. After a variable transformation, the generating series are rational functions with poles located at the ramification points in the new variable. The generating series for any genus is given explicitly for permutations and up to genus 2 for set partitions. Extending the topological structure not just by the genus but also by adding more boundaries, we derive the generating series of non-crossing partitions on the cylinder from known results of non-crossing permutations on the cylinder. Most, but not all, outcomes of this article are special cases of already known results, however they are not represented in this way in the literature, which however seems to be the canonical way. To make the article as accessible as possible, we avoid going into details into the explicit connections to Topological Recursion and Free Probability Theory, where the original motivation came from.
Companions to the Andrews-Gordon and Andrews-Bressoud identities, and recent conjectures of Capparelli, Meurman, Primc, and Primc
We find bivariate generating functions for the $k=1$ cases of recently conjectured colored partition identities of Capparelli, Meurman, A. Primc, and M. Primc that are slight variants of the generating functions for the sum sides of the Andrews-Gordon and Andrews-Bressoud identities, relating them to recent work of Warnaar. This $k=1$ cases turn out to be equivalent to identities of Jing, Misra, and Savage. Finally, we provide bijections for these identities involving two-line cylindric partitions, in the spirit of Corteel.
New Infinite Families of Congruences Modulo Powers of 2 for 2--Regular Partitions with Designated Summands
Published in INTEGERS 24 (2024), Article A16
• Search Publication
In 2002, Andrews, Lewis, and Lovejoy introduced the combinatorial objects which they called {\it partitions with designated summands}. These are built by taking unrestricted integer partitions and designating exactly one of each occurrence of a part. In that same work, Andrews, Lewis, and Lovejoy also studied such partitions wherein all parts must be odd. Recently, Herden, Sepanski, Stanfill, Hammon, Henningsen, Ickes, and Ruiz proved a number of Ramanujan--like congruences for the function $PD_2(n)$ which counts the number of partitions of weight $n$ with designated summands wherein all parts must be odd. In this work, we prove some of the results conjectured by Herden, et. al. by proving the following two infinite families of congruences satisfied by $PD_2(n)$: For all $α\geq 0$ and $n\geq 0,$ \begin{eqnarray*} PD_2(2^α(4n+3)) &\equiv & 0 \pmod{4} \ \ \ \ \ {\textrm and} \\ PD_2(2^α(8n+7)) &\equiv & 0 \pmod{8}. \end{eqnarray*} All of the proof techniques used herein are elementary, relying on classical $q$--series identities and generating function manipulations.
On a particular specialization of monomial symmetric functions
Let $m_{λ}$ be the monomial symmetric functions, $ λ$ being an integer partition of $n\in \mathbb{N}^{\ast }$. For the specialization corresponding to the $q$-deformation of the exponential, we prove that each $m_{λ}$ is associated with a polynomial $J_{λ}\left( q\right) $ whose coefficients belong to $\mathbb{Z}$. $J_{λ}$ is a generalization of the case $λ=\left( n\right) $ for which $ J_{\left( n\right) }=J_{n}$ is the enumerator of tree inversions. Some relations between $J_{λ}$ and $J_{n}^{\left( r\right) }$ are obtained, these $J_{n}^{\left( r\right) }$ having been defined algebraically in a previous work of the author for $n\geq r\geq 1$ and being classically combinatorial enumerators with $J_{n}^{\left( 1\right) }=J_{n}$. From the calculation by induction of $J_{λ}$ for $n\leq 6$, we conjecture that the coefficients of each $J_{λ}$ are strictly positive and log-concave. As a consequence of Huh's Theorem on the $h$-vector of matroid complex it is shown that the coefficients of $J_{n}^{\left( r\right) }$ are strictly positive and log-concave, which gives a second argument in favor of these conjectures. It is also proven that the last $n-1$ coefficients of $ J_{λ}$ are proportional to the first coefficients of column $n-r-1$ of Pascal's triangle, $r$ being the length of $λ$. This is a third argument to state the conjectures. The calculation of $J_{\left( 3,2,1\right) }$ shows the existence of an obstacle, if one wants to prove the conjectures by application of Huh's theorem cited above.
Codes and Orbit Covers of Finite Abelian Groups
It is well known that the discrete analogue of a lattice is a linear code which is a vector subspace of Hamming space $\mathbb{F}^n$. The set $\mathbb{F}$ is a finite field and $n \in \mathbb{Z}_{>0}$. Our attempt is to construct a class of lattices such that its discrete analogues are variable length non-linear codes. Let $\mathcal{G}$ and $\mathcal{H}$ be two finite groups, and let $\mathcal{S}$ be a fixed set of generators for $\mathcal{G}$. The homomorphism code is defined as the set of all homomorphisms from $\mathcal{G}$ to $\mathcal{H}$, denoted by, $\mathcal{C} = Hom(\mathcal{G}, \mathcal{H})$. To each homomorphism $\varphi$ between $\mathcal{G}$ and $\mathcal{H}$, a codeword $c_\varphi$ is associated, it is a vector of values of $\varphi$ on the generators in $\mathcal{S}$, that is, $c_\varphi = (\varphi(s_1), \varphi(s_2), \dots, \varphi(s_k))$, where $\varphi(s_i)$ is the image of $s_i \in \mathcal{S}$, $1 \leq i \leq k$. We provide a design to construct a variable length binary non-linear code called as automorphism orbit code from a finite abelian $p$-group of rank more than 1, where $p$ is a prime number. For each finite abelian $p$-group, the codewords of the automorphism orbit code are variable length codewords called as automorphism orbit codewords. Note that homomorphism codes are determined by homomorphisms between groups, whereas automorphism orbit codes are specified by partitions of a number, orbits of a group action, homomorphisms and automorphisms of groups. We make use of elements of $Hom(\mathcal{G}, \mathcal{H})$ to present a cover relation for bit strings of codewords of an automorphism orbit code and formulate a lattice of variable length non-linear codes. Finally, we discuss some information related to the future research work on connections to representation theory of groups and algebras.
Shuffle formula in science fiction for Macdonald polynomials
Published in Compositio Math. 161 (2025) 1075-1127
• View Publication
• BIB
We initiate the study of the Macdonald intersection polynomials $\operatorname{I}_{μ^{(1)},\dots,μ^{(k)}}[X;q,t]$, which are indexed by $k$-tuples of partitions $μ^{(1)},\dots,μ^{(k)}$. These polynomials are conjectured to be equal to the bigraded Frobenius characteristic of the intersection of Garsia-Haiman modules, as proposed by the science fiction conjecture of Bergeron and Garsia. In this work, we establish the vanishing identity and the shape independence of the Macdonald intersection polynomials. Additionally, we unveil a remarkable connection between $\operatorname{I}_{μ^{(1)},\dots,μ^{(k)}}$ and the character $\nabla e_{k-1}$ of diagonal coinvariant algebra by employing the plethystic formula for the Macdonald polynomials of Garsia--Haiman--Tesler. Furthermore, we establish a connection between $\operatorname{I}_{μ^{(1)},\dots,μ^{(k)}}$ and the shuffle formula $D_{k-1}[X;q,t]$, utilizing novel combinatorial tools such as the column exchange rule, a new fermionic formula for the shuffle formula, and the lightning bolt formula for Macdonald intersection polynomials. Notably, our findings provide a new proof for the shuffle theorem.
Partitions with parts separated by parity: conjugation, congruences and the mock theta functions
Published in Proceedings of the Royal Society of Edinburgh: Section A Mathematics 155 (2025) 954-974
• View Publication
• BIB
Noting a curious link between Andrews' even-odd crank and the Stanley rank, we adopt a combinatorial approach building on the map of conjugation and continue the study of integer partitions with parts separated by parity. Our motivation is twofold. First off, we derive results for certain restricted partitions with even parts below odd parts. These include a Franklin-type involution proving a parametrized identity that generalizes Andrews' bivariate generating function, and two families of Andrews--Beck type congruences. Secondly, we introduce several new subsets of partitions that are stable (i.e., invariant under conjugation) and explore their connections with three third order mock theta functions $ω(q)$, $ν(q)$, and $ψ^{(3)}(q)$, introduced by Ramanujan and Watson.
On boundedness of zeros of the independence polynomial of tori
We study boundedness of zeros of the independence polynomial of tori for sequences of tori converging to the integer lattice. We prove that zeros are bounded for sequences of balanced tori, but unbounded for sequences of highly unbalanced tori. Here balanced means that the size of the torus is at most exponential in the shortest side length, while highly unbalanced means that the longest side length of the torus is super exponential in the product over the other side lengths cubed. We discuss implications of our results to the existence of efficient algorithms for approximating the independence polynomial on tori.
This project was partially inspired by the relationship between zeros of partition functions and holomorphic dynamics, a relationship that in the last two decades played a prominent role in the field. Besides presenting new results, we survey this relationship and its recent consequences.
Combinatorial Fiedler Theory and Graph Partition
Partition problems in graphs are extremely important in applications, as shown in the Data science and Machine learning literature. One approach is spectral partitioning based on a Fiedler vector, i.e., an eigenvector corresponding to the second smallest eigenvalue $a(G)$ of the Laplacian matrix $L_G$ of the graph $G$. This problem corresponds to the minimization of a quadratic form associated with $L_G$, under certain constraints involving the $\ell_2$-norm. We introduce and investigate a similar problem, but using the $\ell_1$-norm to measure distances. This leads to a new parameter $b(G)$ as the optimal value. We show that a well-known cut problem arises in this approach, namely the sparsest cut problem. We prove connectivity results and different bounds on this new parameter, relate to Fiedler theory and show explicit expressions for $b(G)$ for trees. We also comment on an $\ell_{\infty}$-norm version of the problem.
Flattened Stirling Permutations
Published
• View Publication
• BIB
Recall that a Stirling permutation is a permutation on the multiset $\{1,1,2,2,\ldots,n,n\}$ such that any numbers appearing between repeated values of $i$ must be greater than $i$. We call a Stirling permutation ``flattened'' if the leading terms of maximal chains of ascents (called runs) are in weakly increasing order. Our main result establishes a bijection between flattened Stirling permutations and type $B$ set partitions of $\{0,\pm1,\pm2,\ldots,\pm (n-1)\}$, which are known to be enumerated by the Dowling numbers, and we give an independent proof of this fact. We also determine the maximal number of runs for any flattened Stirling permutation, and we enumerate flattened Stirling permutations with a small number of runs or with two runs of equal length. We conclude with some conjectures and generalizations worthy of future investigation.
Distributions of parity differences and biases in partitions into distinct parts
Published in European J. Combin. 127 (2025) 104157
• View Publication
• BIB
For a partition $λ\vdash n$, we let $\operatorname{pd}(λ)$, the parity difference of $λ$, be the number of odd parts of $λ$ minus the number of even parts of $λ$. We prove for $c_0\in\mathbb{R}$ an asymptotic expansion for the number of partitions of $n$ into distinct parts with normalised parity difference $n^{- 1/4}\operatorname{pd}(λ)$ greater than $c_0$ as $n\to \infty$. As a corollary, we find the distribution of the parity differences and parity biases for partitions of $n$ into distinct parts. We also establish analogous results for generalised parity differences modulo $N$.
Modular relations involving generalized digamma functions
Generalized digamma functions $ψ_k(x)$, studied by Ramanujan, Deninger, Dilcher, Kanemitsu, Ishibashi etc., appear as the Laurent series coefficients of the zeta function associated to an indefinite quadratic form. In this paper, a modular relation of the form $F_k(α)=F_k(1/α)$ containing infinite series of $ψ_k(x)$, or, equivalently, between the generalized Stieltjes constants $γ_k(x)$, is obtained for any $k\in\mathbb{N}$. When $k=0$, it reduces to a famous transformation given on page $220$ of Ramanujan's Lost Notebook. For $k=1$, an integral containing Riemann's $Ξ$-function, and corresponding to the aforementioned modular relation, is also obtained along with its asymptotic expansions as $α\to0$ and $α\to\infty$. Carlitz-type and Guinand-type finite modular relations involving $ψ_j^{(m)}(x), 0\leq j\leq k, m\in\mathbb{N}\cup\{0\},$ are also derived, thereby extending previous results on the digamma function $ψ(x)$. The extension of Guinand's result for $ψ_j^{(m)}(x), m\geq2,$ involves an interesting combinatorial sum $h(r)$ over integer partitions of $2r$ into exactly $r$ parts. This sum plays a crucial role in an inversion formula needed for this extension. This formula has connection with the inversion formula for the inverse of a triangular Toeplitz matrix. The modular relation for $ψ_j'(x)$ is subtle and requires delicate analysis.
Jack Littlewood-Richardson Coefficients and the Nazarov-Sklyanin Lax Operator
We continue the work begun by Mickler-Moll investigating the properties of the polynomial eigenfunctions of the Nazarov-Sklyanin quantum Lax operator. By considering products of these eigenfunctions, we produce a novel generalization of a formula of Kerov relating Jack Littlewood-Richardson coefficients and residues of certain rational functions. Precisely, we derive a system of constraints on Jack Littlewood-Richardson coefficients in terms of a simple multiplication operation on partitions.
Algorithmic Cluster Expansions for Quantum Problems
Published in PRX Quantum 5, 010305 (2024)
• View Publication
• BIB
We establish a general framework for developing approximation algorithms for a class of counting problems. Our framework is based on the cluster expansion of abstract polymer models formalism of Kotecký and Preiss. We apply our framework to obtain efficient algorithms for (1) approximating probability amplitudes of a class of quantum circuits close to the identity, (2) approximating expectation values of a class of quantum circuits with operators close to the identity, (3) approximating partition functions of a class of quantum spin systems at high temperature, and (4) approximating thermal expectation values of a class of quantum spin systems at high temperature with positive-semidefinite operators. Further, we obtain hardness of approximation results for approximating probability amplitudes of quantum circuits and partition functions of quantum spin systems. This establishes a computational complexity transition for these problems and shows that our algorithmic conditions are optimal under complexity-theoretic assumptions. Finally, we show that our algorithmic condition is almost optimal for expectation values and optimal for thermal expectation values in the sense of zero freeness.
Combinatorial generation via permutation languages. VI. Binary trees
In this paper we propose a notion of pattern avoidance in binary trees that generalizes the avoidance of contiguous tree patterns studied by Rowland and non-contiguous tree patterns studied by Dairyko, Pudwell, Tyner, and Wynn. Specifically, we propose algorithms for generating different classes of binary trees that are characterized by avoiding one or more of these generalized patterns. This is achieved by applying the recent Hartung-Hoang-Mütze-Williams generation framework, by encoding binary trees via permutations. In particular, we establish a one-to-one correspondence between tree patterns and certain mesh permutation patterns. We also conduct a systematic investigation of all tree patterns on at most 5 vertices, and we establish bijections between pattern-avoiding binary trees and other combinatorial objects, in particular pattern-avoiding lattice paths and set partitions.
Some combinatorial interpretations of the Macdonald identities for affine root systems and Nekrasov--Okounkov type formulas
We explore some connections between vectors of integers and integer partitions seen as bi-infinite words. This methodology enables us on the one hand to obtain enumerations connecting products of hook lengths and vectors of integers. This yields on the other hand a combinatorial interpretation of the Macdonald identities for affine root systems of the $7$ infinite families in terms of Schur functions, symplectic and special orthogonal Schur functions. From these results, we are able to derive $q$-Nekrasov--Okounkov formulas associated to each type. The latter for limit cases of $q$ yield Nekrasov--Okounkov type formulas corresponding to all the specializations given by Macdonald.