partition
6235 papers tagged with this keyword
On multidimensional Schur rings of finite groups
For any finite group $G$ and a positive integer $m$, we define andstudy a Schur ring over the direct power $G^m$, which gives an algebraic interpretation of the partition of $G^m$ obtained by the $m$-dimensional Weisfeiler-Leman algorithm. It is proved that this ring determines the group $G$ up to isomorphism if $m\ge 3$, and approaches the Schur ring associated with the group $Aut(G)$ acting on $G^m$ naturally if $m$ increases. It turns out that the problem of finding this limit ring is polynomial-time equivalent to the group isomorphism problem.
$6$-regular partitions: new combinatorial properties, congruences, and linear inequalities
We consider the number of the $6$-regular partitions of $n$, $b_6(n)$, and give infinite families of congruences modulo $3$ (in arithmetic progression) for $b_6(n)$. We also consider the number of the partitions of $n$ into distinct parts not congruent to $\pm 2$ modulo $6$, $Q_2(n)$, and investigate connections between $b_6(n)$ and $Q_2(n)$ providing new combinatorial interpretations for these partition functions. In this context, we discover new infinite families of linear inequalities involving Euler's partition function $p(n)$. Infinite families of linear inequalities involving the $6$-regular partition function $b_6(n)$ and the distinct partition function $Q_2(n)$ are proposed as open problems.
A combinatorial proof of a partition perimeter inequality
The partition perimeter is a statistic defined to be one less than the sum of the number of parts and the largest part. Recently, Amdeberhan, Andrews, and Ballantine proved the following analog of Glaisher's theorem: for all $m \geq 2$ and $n \geq 1$, there are at least as many partitions with perimeter $n$ and parts $\not \equiv 0 \pmod{m}$ as partitions with perimeter $n$ and parts repeating fewer than $m$ times. In this work, we provide a combinatorial proof of their theorem by relating the combinatorics of the partition perimeter to that of compositions. Using this technique, we also show that a composition theorem of Huang implies a refinement of another perimeter theorem of Fu and Tang.
Parity of the coefficients of certain eta-quotients, II: The case of even-regular partitions
Published in J. Number Theory 251 (2023), 84--101
• Search Publication
We continue our study of the density of the odd values of eta-quotients, here focusing on the $m$-regular partition functions $b_m$ for $m$ even. Based on extensive computational evidence, we propose an elegant conjecture which, in particular, completely classifies such densities: Let $m = 2^j m_0$ with $m_0$ odd. If $2^j < m_0$, then the odd density of $b_m$ is $1/2$; moreover, such density is equal to $1/2$ on every (nonconstant) subprogression $An+B$. If $2^j > m_0$, then $b_m$, which is already known to have density zero, is identically even on infinitely many non-nested subprogressions. This and all other conjectures of this paper are consistent with our ''master conjecture'' on eta-quotients presented in the previous work.
In general, our results on $b_m$ for $m$ even determine behaviors considerably different from the case of $m$ odd. Also interesting, it frequently happens that on subprogressions $An+B$, $b_m$ matches the parity of the multipartition functions $p_t$, for certain values of $t$. We make a suitable use of Ramanujan-Kolberg identities to deduce a large class of such results; as an example, $b_{28}(49n+12) \equiv p_3(7n+2) \pmod{2}$. Additional consequences are several ''almost always congruences'' for various $b_m$, as well as new parity results specifically for $b_{11}$.
We wrap up our work with a much simpler proof of the main result of a recent paper by Cherubini-Mercuri, which fully characterized the parity of $b_8$.
Continued Fractions for partition generating functions
We derive continued fractions for partition generating functions, utilizing both Euler's techniques and Ramanujan's techniques. Although our results are for integer partitions there is scope to extend this work to vector partitions, including for binary and n-ary partitions.
Bounded Littlewood identities for cylindric Schur functions
Published in Trans. Amer. Math. Soc. 378 (2025), 6765-6829
• View Publication
• BIB
The identities which are in the literature often called ``bounded Littlewood identities" are determinantal formulas for the sum of Schur functions indexed by partitions with bounded height. They have interesting combinatorial consequences such as connections between standard Young tableaux of bounded height, lattice walks in a Weyl chamber, and noncrossing matchings. In this paper we prove affine analogs of the bounded Littlewood identities. These are determinantal formulas for sums of cylindric Schur functions. We also study combinatorial aspects of these identities. As a consequence we obtain an unexpected connection between cylindric standard Young tableaux and \( r \)-noncrossing and \( s \)-nonnesting matchings.
Partitioned Matching Games for International Kidney Exchange
We introduce partitioned matching games as a suitable model for international kidney exchange programmes, where in each round the total number of available kidney transplants needs to be distributed amongst the participating countries in a "fair" way. A partitioned matching game $(N,v)$ is defined on a graph $G=(V,E)$ with an edge weighting $w$ and a partition $V=V_1 \cup \dots \cup V_n$. The player set is $N = \{1, \dots, n\}$, and player $p \in N$ owns the vertices in $V_p$. The value $v(S)$ of a coalition $S \subseteq N$ is the maximum weight of a matching in the subgraph of $G$ induced by the vertices owned by the players in $S$. If $|V_p|=1$ for all $p\in N$, then we obtain the classical matching game. Let $c=\max\{|V_p| \; |\; 1\leq p\leq n\}$ be the width of $(N,v)$. We prove that checking core non-emptiness is polynomial-time solvable if $c\leq 2$ but co-NP-hard if $c\leq 3$. We do this via pinpointing a relationship with the known class of $b$-matching games and completing the complexity classification on testing core non-emptiness for $b$-matching games. With respect to our application, we prove a number of complexity results on choosing, out of possibly many optimal solutions, one that leads to a kidney transplant distribution that is as close as possible to some prescribed fair distribution.
New partition identities for odd w odd
In this note we conjecture Rogers-Ramanujan type colored partition identities for an array with odd number of rows w such that the first and the last row consist of even positive integers. In a strange way this is different from the partition identities for the array with odd number of rows w such that the first and the last row consist of odd positive integers -- the partition identities conjectured by S. Capparelli, A. Meurman, A. Primc and the author and related to standard representations of the affine Lie algebra of type $C^{(1)}_\ell$ for $w=2\ell+1$. The conjecture is based on numerical evidence.
Fully complementary higher dimensional partitions
We introduce a symmetry class for higher dimensional partitions - fully complementary higher dimensional partitions (FCPs) - and prove a formula for their generating function. By studying symmetry classes of FCPs in dimension 2, we define variations of the classical symmetry classes for plane partitions. As a by-product we obtain conjectures for three new symmetry classes of plane partitions and prove that another new symmetry class, namely quasi transpose complementary plane partitions are equinumerous to symmetric plane partitions.
Decompositions into two linear forests of bounded lengths
For some $k \in \mathbb{Z}_{\geq 0}\cup \infty$, we call a linear forest $k$-bounded if each of its components has at most $k$ edges. We will say a $(k,\ell)$-bounded linear forest decomposition of a graph $G$ is a partition of $E(G)$ into the edge sets of two linear forests $F_k,F_\ell$ where $F_k$ is $k$-bounded and $F_\ell$ is $\ell$-bounded. We show that the problem of deciding whether a given graph has such a decomposition is NP-complete if both $k$ and $\ell$ are at least $2$, NP-complete if $k\geq 9$ and $\ell =1$, and is in P for $(k,\ell)=(2,1)$. Before this, the only known NP-complete cases were the $(2,2)$ and $(3,3)$ cases. Our hardness result answers a question of Bermond et al. from 1984. We also show that planar graphs of girth at least nine decompose into a linear forest and a matching, which in particular is stronger than $3$-edge-colouring such graphs.
Linked partition ideals and a family of quadruple summations
Recently, $4$-regular partitions into distinct parts are connected with a family of overpartitions. In this paper, we provide a uniform extension of two relations due to Andrews for the two types of partitions. Such an extension is made possible with recourse to a new trivariate Rogers--Ramanujan type identity, which concerns a family of quadruple summations appearing as generating functions for the aforementioned overpartitions. More interestingly, the derivation of this Rogers--Ramanujan type identity is relevant to a certain well-poised basic hypergeometric series.
Biases in Non-Unitary Partitions
Recently, the concept of parity bias in integer partitions has been studied by several authors. We continue this study here, but for non-unitary partitions (namely, partitions with parts greater than $1$). We prove analogous results for these restricted partitions to those that have been obtained by Kim, Kim, and Lovejoy (2020) and Kim and Kim (2021). We also look at inequalities between two classes of partitions studied by Andrews (2019), where the parts are separated by parity (either all odd parts are smaller than all even parts or vice versa).
Extensions of some results of Jovovic and Dhar
We look at extensions of formulas given by Jovovic and recently proved by Dhar on integer partitions where the smallest part occurs at least $m$ times and on integer partitions with fixed differences between the largest and smallest parts where the smallest part occurs at least $k$ times. Our results extend Dhar's results for the $m=2$ and $k=1$ cases to the general cases for arbitrary $m$ and $k$. We also look at analogous results for overpartitions and $\ell$-regular partitions.
General sharp upper bounds on the total coalition number
Let $G(V,E)$ be a finite, simple, isolate-free graph. Two disjoint sets $A,B\subset V$ form a total coalition in $G$, if none of them is a total dominating set, but their union $A\cup B$ is a total dominating set. A vertex partition $Ψ=\{C_1,C_2,\dots,C_k\}$ is a total coalition partition, if none of the partition classes is a total dominating set, meanwhile for every $i\in\{1,2,\dots,k\}$ there exists a distinct $j\in\{1,2,\dots,k\}$ such that $C_i$ and $C_j$ form a total coalition. The maximum cardinality of a total coalition partition of $G$ is the total coalition number of $G$ and denoted by $TC(G)$. We give a general sharp upper bound on the total coalition number as a function of the maximum degree. We further investigate this optimal case and study the total coalition graph. We show that every graph can be realised as a total coalition graph.
On the Biplanarity of Blowups
Published in Journal of Graph Algorithms and Applications, 28(2), 83-99, 2024
• View Publication
• BIB
The 2-blowup of a graph is obtained by replacing each vertex with two non-adjacent copies; a graph is biplanar if it is the union of two planar graphs. We disprove a conjecture of Gethner that 2-blowups of planar graphs are biplanar: iterated Kleetopes are counterexamples. Additionally, we construct biplanar drawings of 2-blowups of planar graphs whose duals have two-path induced path partitions, and drawings with split thickness two of 2-blowups of 3-chromatic planar graphs, and of graphs that can be decomposed into a Hamiltonian path and a dual Hamiltonian path.
Contractions and extractions on twisted bialgebras and coloured Fock functors
We introduce a notion of extraction-contraction coproduct on twisted bialgebras, that is to say bialgebras in the category of linear species. If $P$ is a twisted bialgebra, a contraction-extraction coproduct sends $P[X]$ to $P[X/\sim]\otimes P[X]$ for any finite set $X$ and any equivalence relation $\sim$ on $X$, with a coassociativity constraint and compatibilities with the product and coproduct of $P$. We prove that if $P$ is a twisted bialgebra with an extraction-contraction coproduct, then $P\circ Com$ is a bialgebra in the category of coalgebraic species, that is to say species in the category of coalgebras.We then introduce a coloured version of the bosonic Fock functor. This induces a bifunctor which associates to any bialgebra $(V,\cdot,δ_V)$ and to any twisted bialgebra $P$ with an extraction-contraction coproduct a comodule-bialgebra $F_V[P]$: this object inherits a product $m$ and two coproducts $Δ$ and $δ$, such that $(F_V[P],m,Δ)$ is a bialgebra in the category of right $(F_V[P],m,δ)$-comodules.As an example, this is applied to the twisted bialgebra of graphs. The coloured Fock functors then allow to extend the construction of the double bialgebra of graphs to double bialgebras of graphs which vertices are decorated by elements of any bialgebra $V$. Other examples (on mixed graphs, hypergraphs, noncrossing partitions...) will be given in a series of forthcoming papers.
Dimension identities, almost self-conjugate partitions, and BGG complexes for Hermitian symmetric pairs
Published in J. Combin. Theory Ser. A. 219(2026), article #106118
• View Publication
• BIB
An almost self-conjugate (ASC) partition has a Young diagram in which each arm along the diagonal is exactly one box longer than its corresponding leg. Classically, the ASC partitions and their conjugates appear in two of Littlewood's symmetric function identities. These identities can be viewed as Euler characteristics of BGG complexes of the trivial representation, for classical Hermitian symmetric pairs. In this paper, we consider partitions in which the arm-leg difference is an arbitrary constant $m$. By viewing these partitions as highest weights, we establish an infinite family of dimension identities between $\mathfrak{gl}_n$- and $\mathfrak{gl}_{n+m}$-modules. We then interpret this result in the context of blocks in parabolic category $\mathcal{O}$: in particular, we exhibit six infinite families of congruent blocks whose corresponding posets of highest weights consist of the partitions in question. These posets, in turn, lead to generalizations of the Littlewood identities and their corresponding BGG complexes. Our results in this paper shed light on the surprising combinatorics underlying the work of Enright and Willenbring (2004).
Cutting a Cake Fairly for Groups Revisited
Published in American Mathematical Monthly, 130(3):203-213 (2023)
• View Publication
• BIB
Cake cutting is a classic fair division problem, with the cake serving as a metaphor for a heterogeneous divisible resource. Recently, it was shown that for any number of players with arbitrary preferences over a cake, it is possible to partition the players into groups of any desired size and divide the cake among the groups so that each group receives a single contiguous piece and every player is envy-free. For two groups, we characterize the group sizes for which such an assignment can be computed by a finite algorithm, showing that the task is possible exactly when one of the groups is a singleton. We also establish an analogous existence result for chore division, and show that the result does not hold for a mixed cake.
Infinite product of power series
We give an exact coefficients formula of any infinite product of power series with constant term equal to $1$, by using structures from partitions of integers and permutation groups. This is an universal theorem for various of Binomial-type theorems in many sense. In particular, we give the new formulas as the double counting of Bell polynomial, Binomial Theorem and Multinomial Theorem.
A modular idealizer chain and unrefinability of partitions with repeated parts
Recently Aragona et al. have introduced a chain of normalizers in a Sylow 2-subgroup of Sym(2^n), starting from an elementary abelian regular subgroup. They have shown that the indices of consecutive groups in the chain depend on the number of partitions into distinct parts and have given a description, by means of rigid commutators, of the first n-2 terms in the chain. Moreover, they proved that the (n-1)-th term of the chain is described by means of rigid commutators corresponding to unrefinable partitions into distinct parts. Although the mentioned chain can be defined in a Sylow p-subgroup of Sym(p^n), for p > 2 computing the chain of normalizers becomes a challenging task, in the absence of a suitable notion of rigid commutators. This problem is addressed here from an alternative point of view. We propose a more general framework for the normalizer chain, defining a chain of idealizers in a Lie ring over Z_m whose elements are represented by integer partitions. We show how the corresponding idealizers are generated by subsets of partitions into at most m-1 parts and we conjecture that the idealizer chain grows as the normalizer chain in the symmetric group. As an evidence of this, we establish a correspondence between the two constructions in the case m=2.