partition
6235 papers tagged with this keyword
Partitions enumerated by self-similar sequences
The Fibonacci numbers are the prototypical example of a recursive sequence, but grow too quickly to enumerate sets of integer partitions. The same is true for the other classical sequences $a(n)$ defined by Fibonacci-like recursions: the tribonacci, Padovan, Pell, Narayana's cows, and Lucas sequences. For each sequence $a(n)$, however, we can define a related sequence $\textrm{sa}(n)$ by defining $\textrm{sa}(n)$ to have the same recurrence and initial conditions as $a(n)$, except that $\textrm{sa}(2n)=\textrm{sa}(n)$. Growth is no longer a problem: for each $n$ we construct recursively a set $\mathcal{SA}(n)$ of partitions of $n$ such that the cardinality of $\mathcal{SA}(n)$ is $\textrm{sa}(n)$. We study the properties of partitions in $\mathcal{SA}(n)$ and in each case we give non-recursive descriptions. We find congruences for $\textrm{sa}(n)$ and also for $\textrm{psa}(n)$, the total number of parts in all partitions in $\mathcal{SA}(n)$.
A pipe dream perspective on totally symmetric self-complementary plane partitions
Published in Forum of Mathematics, Sigma. 2024;12:e17
• View Publication
• BIB
We characterize totally symmetric self-complementary plane partitions (TSSCPP) as bounded compatible sequences satisfying a Yamanouchi-like condition. As such, they are in bijection with certain pipe dreams. Using this characterization and the recent bijection of [Gao-Huang] between reduced pipe dreams and reduced bumpless pipe dreams, we give a bijection between alternating sign matrices and TSSCPP in the reduced, 1432-avoiding case. We also give a different bijection in the 1432- and 2143-avoiding case that preserves natural poset structures on the associated pipe dreams and bumpless pipe dreams.
$P$-partitions with flags and back stable quasisymmetric functions
Stanley's theory of $(P,ω)$-partitions is a standard tool in combinatorics. It can be extended to allow for the presence of a restriction, that is a given maximal value for partitions at each vertex of the poset, as was shown by Assaf and Bergeron. Here we present a variation on their approach, which applies more generally. The enumerative side of the theory is more naturally expressed in terms of back stable quasisymmetric functions. We study the space of such functions, following the work of Lam, Lee and Shimozono on back stable symmetric functions. As applications we describe a new basis for the ring of polynomials that we call forest polynomials. Additionally we give a signed multiplicity-free expansion for any monomial expressed in the basis of slide polynomials.
A cyclic sieving phenomenon for symplectic tableaux
Published in ECA 4:1 (2024) Article #S2R8
• View Publication
• BIB
We give a cyclic sieving phenomenon for symplectic $λ$-tableaux $SP(λ,2m)$, where $λ$ is a partition of an odd integer $n$ and $gcd(m,p)=1$ for any odd prime $p\leq n$. We use the crystal structure on Kashiwara-Nakashima symplectic tableaux to get a cyclic sieving action as the product $σ$ of simple reflections in the Weyl group. The cyclic sieving polynomial is the $q$-anologue of the hook-content formula for symplectic tableaux. More generally, we give a CSP for symplectic skew tableaux with analogous conditions on the shape and a cyclic group action that rotates tableaux weights in a way motivated by the $σ$-action.
The Gini index in the representation theory of the general linear group
The Gini index is a function that attempts to measure the amount of inequality in the distribution of a finite resource throughout a population. It is commonly used in economics as a measure of inequality of income or wealth. We define a discrete Gini index on the set of integer partitions with at most $n$ parts and show how this function emerges in the representation theory of the complex general linear group.
A 2-opt Algorithm for Locally Optimal Set Partition Optimization
Our research deals with the optimization version of the set partition problem, where the objective is to minimize the absolute difference between the sums of the two disjoint partitions. Although this problem is known to be NP-hard and requires exponential time to solve, we propose a less demanding version of this problem where the goal is to find a locally optimal solution. In our approach, we consider the local optimality in respect to any movement of at most two elements. To accomplish this, we developed an algorithm that can generate a locally optimal solution in at most $O(N^2)$ time and $O(N)$ space. Our algorithm can handle arbitrary input precisions and does not require positive or integer inputs. Hence, it can be applied in various problem scenarios with ease.
A Combinatorial Approach to Frobenius Numbers of Some Special Sequences (Complete Version)
Let $A=(a_1, a_2, ..., a_n)$ be relative prime positive integers with $a_i\geq 2$. The Frobenius number $g(A)$ is the greatest integer not belonging to the set $\big\{ \sum_{i=1}^na_ix_i\ |x_i\in \mathbb{N}\big\}$. The general Frobenius problem includes the determination of $g(A)$ and the related Sylvester number $n(A)$ and Sylvester sum $s(A)$. We present a new approach to the Frobenius problem. Basically, we transform the problem into an easier optimization problem. If the new problem can be solved explicitly, then we will be able to obtain a formula of $g(A)$. We illustrate the idea by giving concise proof of some existing formulas and finding some interesting new formulas of $g(A), n(A), s(A)$. Moreover, we find that MacMahon's partition analysis applies to give a new way of calculating $n(A), s(A)$ by using a rational function representation of a polynomial determined by $A$.
The set-theoretic Yang-Baxter equation, Kimura semigroups and functional graphs
Published in Research in the Mathematical Sciences, volume 12, article number 34, (2025)
• Search Publication
We prove that the category of solutions of the set-theoretic Yang-Baxter equation of Frobenius-Separability (FS) type is equivalent to the category of pointed Kimura semigroups. As applications, all involutive, idempotent, nondegenerate, surjective, finite order, unitary or indecomposable solutions of FS type are classified. For instance, if $|X| = n$, then the number of isomorphism classes of all such solutions on $X$ that are (a) left non-degenerate, (b) bijective, (c) unitary or (d) indecomposable and left-nondegenerate is: (a) the Davis number $d(n)$, (b) $\sum_{m|n} \, p(m)$, where $p(m)$ is the Euler partition number, (c) $τ(n) + \sum_{d|n}\left\lfloor \frac d2\right\rfloor$, where $τ(n)$ is the number of divisors of $n$, or (d) the Harary number $\mathfrak{c} (n)$. The automorphism groups of such solutions can also be recovered as automorphism groups $\mathrm{Aut}(f)$ of sets $X$ equipped with a single endo-function $f:X\to X$. We describe all groups of the form $\mathrm{Aut}(f)$ as iterations of direct and (possibly infinite) wreath products of cyclic or full symmetric groups, characterize the abelian ones as products of cyclic groups, and produce examples of symmetry groups of FS solutions not of the form $\mathrm{Aut}(f)$.
Combinatorial proofs of theorems of Merca on the sum of different parts congruent to $r$ modulo $m$ in all partitions of $n$
We give combinatorial proofs of several recent results due to Merca on the sum of different parts congruent to $r$ modulo $m$ in all partitions of $n$. The proofs make use of some well known involutions from the literature and some new involutions introduced here.
Enumeration of non-crossing partitions according to subwords with repeated letters
An avoidance pattern where the letters within an occurrence of which are required to be adjacent is referred to as a subword. In this paper, we enumerate members of the set NC_n of non-crossing partitions of length n according to the number of occurrences of several infinite families of subword patterns each containing repeated letters. As a consequence of our results, we obtain explicit generating function formulas counting the members of NC_n for n >= 0 according to all subword patterns of length three containing a repeated letter. Further, simple expressions are deduced for the total number of occurrences over all members of NC_n for the various families of patterns. Finally, combinatorial proofs can be given explaining three infinite families of subword equivalences over NC_n, which generalize the following equivalences: 211 = 221, 1211 = 1121 and 112 = 122.
A $k$-medoids Approach to Exploring Districting Plans
Researchers and legislators alike continue the search for methods of drawing fair districting plans. A districting plan is a partition of a state's subdivisions (e.g. counties, voting precincts, etc.). By modeling these districting plans as graphs, they are easier to create, store, and operate on. Since graph partitioning with balancing populations is a computationally intractable (NP-hard) problem most attempts to solve them use heuristic methods. In this paper, we present a variant on the $k$-medoids algorithm where, given a set of initial medoids, we find a partition of the graph's vertices to admit a districting plan. We first use the $k$-medoids process to find an initial districting plan, then use local search strategies to fine-tune the results, such as reducing population imbalances between districts. We also experiment with coarsening the graph to work with fewer vertices. The algorithm is tested on Iowa and Florida using 2010 census data to evaluate the effectiveness.
New Results on Edge-coloring and Total-coloring of Split Graphs
A split graph is a graph whose vertex set can be partitioned into a clique and an independent set. A connected graph $G$ is said to be $t$-admissible if admits a special spanning tree in which the distance between any two adjacent vertices is at most $t$. Given a graph $G$, determining the smallest $t$ for which $G$ is $t$-admissible, i.e. the stretch index of $G$ denoted by $σ(G)$, is the goal of the $t$-admissibility problem. Split graphs are $3$-admissible and can be partitioned into three subclasses: split graphs with $σ=1, 2 $ or $3$. In this work we consider such a partition while dealing with the problem of coloring a split graph. Vizing proved that any graph can have its edges colored with $Δ$ or $Δ+1$ colors, and thus can be classified as Class 1 or Class 2, respectively. When both, edges and vertices, are simultaneously colored, i.e., a total coloring of $G$, it is conjectured that any graph can be total colored with $Δ+1$ or $Δ+2$ colors, and thus can be classified as Type 1 or Type 2. These both variants are still open for split graphs. In this paper, using the partition of split graphs presented above, we consider the edge coloring problem and the total coloring problem for split graphs with $σ=2$. For this class, we characterize Class 2 and Type 2 graphs and we provide polynomial-time algorithms to color any Class 1 or Type 1 graph.
Counting partitions by genus. I. Genus 0 to 2
The counting of partitions according to their genus is revisited. The case of genus 0 -- non-crossing partitions -- is well known. Our approach relies on two pillars: first a functional equation between generating functions, originally written in genus 0 and interpreted graphically by Cvitanovic, is generalized to higher genus; secondly, we show that all partitions may be reconstructed from the "(semi)-primitive" ones introduced by Cori and Hetyei. Explicit results for the generating functions of all types of partitions are obtained in genus 1 and 2. This gives a second order interpolation between expansions on ordinary or on free cumulants
Thinness and its variations on some graph families and coloring graphs of bounded thinness
Published
• View Publication
• BIB
Interval graphs and proper interval graphs are well known graph classes, for which several generalizations have been proposed in the literature. In this work, we study the (proper) thinness, and several variations, for the classes of cographs, crowns graphs and grid graphs.
We provide the exact values for several variants of thinness (proper, independent, complete, precedence, and combinations of them) for the crown graphs $CR_n$. For cographs, we prove that the precedence thinness can be determined in polynomial time. We also improve known bounds for the thinness of $n \times n$ grids $GR_n$ and $m \times n$ grids $GR_{m,n}$, proving that $\left \lceil \frac{n-1}{3} \right \rceil \leq \mbox{thin}(GR_n) \leq \left \lceil \frac{n+1}{2} \right \rceil$. Regarding the precedence thinness, we prove that $\mbox{prec-thin}(GR_{n,2}) = \left \lceil \frac{n+1}{2} \right \rceil$ and that $\left \lceil \frac{n-1}{3} \right \rceil \left \lceil\frac{n-1}{2} \right \rceil + 1 \leq \mbox{prec-thin}(GR_n) \leq \left \lceil\frac{n-1}{2} \right \rceil^2+1$. As applications, we show that the $k$-coloring problem is NP-complete for precedence $2$-thin graphs and for proper $2$-thin graphs, when $k$ is part of the input. On the positive side, it is polynomially solvable for precedence proper $2$-thin graphs, given the order and partition.
Fast computation of permutation equivariant layers with the partition algebra
Linear neural network layers that are either equivariant or invariant to permutations of their inputs form core building blocks of modern deep learning architectures. Examples include the layers of DeepSets, as well as linear layers occurring in attention blocks of transformers and some graph neural networks. The space of permutation equivariant linear layers can be identified as the invariant subspace of a certain symmetric group representation, and recent work parameterized this space by exhibiting a basis whose vectors are sums over orbits of standard basis elements with respect to the symmetric group action. A parameterization opens up the possibility of learning the weights of permutation equivariant linear layers via gradient descent. The space of permutation equivariant linear layers is a generalization of the partition algebra, an object first discovered in statistical physics with deep connections to the representation theory of the symmetric group, and the basis described above generalizes the so-called orbit basis of the partition algebra. We exhibit an alternative basis, generalizing the diagram basis of the partition algebra, with computational benefits stemming from the fact that the tensors making up the basis are low rank in the sense that they naturally factorize into Kronecker products. Just as multiplication by a rank one matrix is far less expensive than multiplication by an arbitrary matrix, multiplication with these low rank tensors is far less expensive than multiplication with elements of the orbit basis. Finally, we describe an algorithm implementing multiplication with these basis elements.
A definitely periodic chain in the integral Lie ring of partitions
Given an integer $n$, we introduce the integral Lie ring of partitions with bounded maximal part, whose elements are in one-to-one correspondence to integer partitions with parts in $\{1,2,\dots, n-1\}$. Starting from an abelian subring, we recursively define a chain of idealizers and we prove that the sequence of ranks of consecutive terms in the chain is definitely periodic. Moreover, we show that its growth depends of the partial sum of the partial sum of the sequence counting the number of partitions. This work generalizes our previous recent work on the same topic, devoted to the modular case where partitions were allowed to have a bounded number of repetitions of parts in a ring of coefficients of positive characteristic.
Multiple 3-Coloring, an Approach to 4-Coloring of Planar Graphs
A planar graph can be embedded in a piecewise linear manifold, and the lattice on each linear piece can be colored with 3-coloring. If a planar graph can be colored with multiple 3-coloring, i.e. coloring the graph in pieces with different 3-color subsets of 4 colors, then the graph is 4-colorable. In this paper, multiple 3-coloring was introduced, and then the combination and partition of planar graphs for multiple 3-coloring was studied. The study reveals that planar graphs can generally be decomposed into independent subgraphs, and each subgraph can be triangulated into a symmetric structure for multiple 3-coloring.
Higher Order Turan Inequalities for the Distinct Partition Function
Published in J. Number Theory 260 (2024) 71-102
• Search Publication
We prove that the number $q(n)$ of partitions into distinct parts is log-concave for $n \geq 33$ and satisfies the higher order Turán inequalities for $n\geq 121$ conjectured by Craig and Pun. In doing so, we establish explicit error terms for $q(n)$ and for $q(n-1)q(n+1)/q(n)^2$ based on Chern's asymptotic formulas for $η$-quotients.
Distribution of Andrews' Singular Overpartitions $\overline{C}_{p,1}(n)$
Andrews introduced the partition function $\overline{C}_{k, i}(n)$, called singular overpartition, which counts the number of overpartitions of $n$ in which no part is divisible by $k$ and only parts $\equiv \pm i\pmod{k}$ may be overlined. We study the parity and distribution results for $\overline{C}_{k,i}(n),$ where $k>3$ and $1\leq i \leq \left\lfloor\frac{k}{2}\right\rfloor$. More particularly, we prove that for each integer $\ell\geq 2$ depending on $k$ and $i$, the interval $\left[\ell, \frac{\ell(3\ell+1)}{2}\right]$ $\Big($resp.\ $\left[2\ell-1, \frac{\ell(3\ell-1)}{2}\right] \Big)$ contains an integer $n$ such that $\overline{C}_{k,i}(n)$ is even (resp.\ odd). Finally we study the distribution for $\overline{C}_{p,1}(n)$ where $p\geq 5$ be a prime number.
Divisibility and distribution of $MEX$ related integer partitions of Andrews and Newman
Published in International Journal of Number Theory, Vol. 19 (2023)
• View Publication
• BIB
Andrews and Newman introduced the minimal excludant or ``$mex$'' function for an integer partition $π$ of a positive integer $n$, $mex(π)$, as the smallest positive integer that is not a part of $π$. They defined $σmex(n)$ to be the sum of $mex(π)$ taken over all partitions $π$ of $n$. We prove infinite families of congruence and multiplicative formulas for $σmex(n)$. By restricting to the part of $π$, Andrews and Newman also introduced $moex(π)$ to be the smallest odd integer that is not a part of $π$ and $σmoex(n)$ to be the sum of $moex(π)$ taken over all partitions $π$ of $n$. In this article, we show that for any sufficiently large $X$, the number of all positive integer $n\leq X$ such that $σmoex(n)$ is an even (or odd) number is at least $\mathcal{O}(\log \log X)$.