partition
6354 papers tagged with this keyword
Parameterized complexity of isometric path partition: treewidth and diameter
We investigate the parameterized complexity of the Isometric Path Partition problem when parameterized by the treewidth ($\mathrm{tw}$) of the input graph, arguably one of the most widely studied parameters. Courcelle's theorem shows that graph problems that are expressible as MSO formulas of constant size admit FPT algorithms parameterized by the treewidth of the input graph. This encompasses many natural graph problems. However, many metric-based graph problems, where the solution is defined using some metric-based property of the graph (often the distance) are not expressible as MSO formulas of constant size. These types of problems, Isometric Path Partition being one of them, require individual attention and often draw the boundary for the success story of parameterization by treewidth.
We prove that Isometric Path Partition is $W[1]$-hard when parameterized by treewidth (in fact, even pathwidth), answering the question by Dumas et al. [SIDMA, 2024], Fernau et al. [CIAC, 2023], and confirming the aforementioned tendency. We complement this hardness result by designing a tailored dynamic programming algorithm running in $n^{O(\mathrm{tw})}$ time. This dynamic programming approach also results in an algorithm running in time $\textrm{diam}^{O(\mathrm{tw}^2)} \cdot n^{O(1)}$, where $\textrm{diam}$ is the diameter of the graph. Note that the dependency on treewidth is unusually high, as most problems admit algorithms running in time $2^{O(\mathrm{tw})}\cdot n^{O(1)}$ or $2^{O(\mathrm{tw} \log (\mathrm{tw}))}\cdot n^{O(1)}$. However, we rule out the possibility of a significantly faster algorithm by proving that Isometric Path Partition does not admit an algorithm running in time $\textrm{diam}^{o(\mathrm{tw}^2/(\log^3(\mathrm{tw})))} \cdot n^{O(1)}$, unless the Randomized-ETH fails.
One-weight codes in the sum-rank metric
Published
• View Publication
• BIB
One-weight codes, in which all nonzero codewords share the same weight, form a highly structured class of linear codes with deep connections to finite geometry. While their classification is well understood in the Hamming and rank metrics - being equivalent to (direct sums of) simplex codes - the sum-rank metric presents a far more intricate landscape. In this work, we explore the geometry of one-weight sum-rank metric codes, focusing on three distinct classes. First, we introduce and classify \emph{constant rank-list} sum-rank codes, where each nonzero codeword has the same tuple of ranks, extending results from the rank-metric setting. Next, we investigate the more general \emph{constant rank-profile} codes, where, up to reordering, each nonzero codeword has the same tuple of ranks. Although a complete classification remains elusive, we present the first examples and partial structural results for this class. Finally, we consider one-weight codes that are also MSRD (Maximum Sum-Rank Distance) codes. For dimension two, constructions arise from partitions of scattered linear sets on projective lines. For dimension three, we connect their existence to that of special $2$-fold blocking sets in the projective plane, leading to new bounds and nonexistence results over certain fields.
Non-Rascoe partitions and a rank parity function associated to the Rogers-Ramanujan partitions
We study the generating function of the excess number of Rogers-Ramanujan partitions with odd rank over those with even rank, and, using combinatorial and analytical techniques, show that this generating function is closely connected with an interesting class of restricted partitions, namely, partitions into distinct parts where the number of parts is not a part. We derive arithmetic properties of the number of such partitions and conjecture an interesting mod $4$ congruence. Generalizations of most of these results in a parameter $\ell$ are also obtained.
New formulas for Macdonald polynomials via the multispecies exclusion and zero range processes
Published in Contemporary Mathematics; Macdonald Theory and Beyond: Combinatorics, Geometry, and Integrable Systems, vol. 815, American Mathematical Society, Providence, RI, 2025
• View Publication
• BIB
We describe some recently discovered connections between one-dimensional interacting particle models and Macdonald polynomials. The first such model is the multispecies asymmetric simple exclusion process (ASEP) on a ring, linked to the symmetric Macdonald polynomial $P_λ(X;q,t)$ through its partition function. Through this connection, a new formula was found for $P_λ$ by generalizing multiline queues, which were introduced by Martin in 2018 to compute stationary probabilities of the ASEP. The second particle model is the multispecies totally asymmetric zero range process (TAZRP) on a ring, which was very recently found to have an analogous connection to the modified Macdonald polynomial $\widetilde{H}_λ(X;q,t)$ through its partition function. This discovery coincided with a new formula for $\widetilde{H}_λ$, this time in terms of tableaux with a queue inversion statistic, which also compute stationary probabilities of the TAZRP. We explain the plethystic relationship between multiline queues and queue inversion tableaux, and along the way, derive a new formula for $P_λ$ using the queue inversion statistic. This plethystic correspondence is closely related to fusion in the setting of integrable systems.
Grounded partitions of type $A_1^{(1)}$ at levels 1 and 2: bijections, affine crystal graphs, and partition identities
Grounded partitions, introduced by Dousse and Konan, are coloured partitions satisfying difference conditions given by a matrix with nonnegative integer entries. For the matrices studied in this paper, the generating functions are known to be infinite products, corresponding to the principal specialisation of characters of highest weight modules of type $A_1^{(1)}$. We give the first bijective proof that the generating functions of grounded partitions at level $2$ are infinite products. We then give a new combinatorial model for affine crystal graphs of type $A_1^{(1)}$ at level $2$, where the vertices are grounded partitions and the arrows are given by explicit bracketing rules. The grounded partition model for affine crystal graphs of highest weights $Λ_0$, $Λ_1$ and $Λ_0 + Λ_1$ gives rise to new $q$-series identities obtained by decomposing the affine crystal graphs into the crystal graphs of finite type $A_1$ via the restricted representation.
A Note on Lower Bounds in Szemerédi's Theorem with Random Differences
Published
• View Publication
• BIB
In this note, we consider Szemerédi's theorem on $k$-term arithmetic progressions over finite fields $\mathbb{F}_p^n$, where the allowed set $S$ of common differences in these progressions is chosen randomly of fixed size. Combining a generalization of an argument of Altman with Moshkovitz--Zhu's bounds for the partition rank of a tensor in terms of its analytic rank, we (slightly) improve the best known lower bounds (due to Briët) on the size $|S|$ required for Szemerédi's theorem with difference in $S$ to hold asymptotically almost surely.
A note on multiset reconstruction from sum and pairwise products
Ballantine, Beck, and Merca defined a map $\mathrm{pre}_2$, which sends an integer partition $λ= (λ_1, \dots, λ_{\ell})$ to the set $\{λ_iλ_j : 1 \leq i < j \leq \ell\}$ consisting of the pairwise products of parts of $λ$. The same three authors and Sagan conjectured that for each $n$, the map $\mathrm{pre}_2$ is injective on the set of integer partitions of $n$. In this note, we prove their conjecture.
Weighted $K$-$k$-Schur functions and their application to the $K$-$k$-Schur alternating conjecture
We introduce the new concept of weighted $K$-$k$-Schur functions -- a novel family within the broader class of Katalan functions -- that unifies and extends both $K$-$k$-Schur functions and closed $k$-Schur Katalan functions. This new notion exhibits a fundamental alternating property under certain conditions on the indexed $k$-bounded partitions. As a central application, we resolve the $K$-$k$-Schur alternating conjecture -- posed by Blasiak, Morse, and Seelinger in 2022 -- for a wide class of $k$-bounded partitions, including all strictly decreasing $k$-bounded partitions. Our results shed new light on the combinatorial structure of $K$-theoretic symmetric functions.
On elementary estimates for the partition function
In this paper, we obtain upper and lower bounds for the partition function $p(n)$ by using an elementary geometric inequality in Euclidean space and generalize the method to generalizations of the partition function.
Fuss--Catalan algebras on generalized Dyck paths via non-crossing partitions
We study the Fuss--Catalan algebras, which are generalizations of the Temperley--Lieb algebra and act on generalized Dyck paths, through non-crossing partitions. First, the Temperley--Lieb algebra is defined on non-crossing partitions, and a bijection between a Dyck path and a non-crossing partition is shown to be compatible with the Temperley--Lieb algebra on Dyck paths, or equivalently chord diagrams. We show that the Kreweras endomorphism on non-crossing partitions is equivalent to the rotation of chord diagrams under the bijection. Secondly, by considering an increasing $r$-chain in the graded lattice of non-crossing partitions, we define the Fuss--Catalan algebras on increasing $r$-chains. Through a bijection between an increasing $r$-chain and a generalized Dyck path, one naturally obtains the Fuss--Catalan algebra on generalized Dyck paths. As generalizations of the Fuss--Catalan algebra, we introduce the one- and two-boundary Fuss--Catalan algebras. Increasing $r$-chains of symmetric non-crossing partitions give symmetric generalized Dyck paths by the bijection, and the boundary Fuss--Catalan algebras naturally act on them. We show that these representations are compatible with the diagrammatic representations of the algebras by use of generalized chord diagrams. Thirdly, we discuss the integrability of the Fuss--Catalan algebras. For the Fuss--Catalan algebras with boundaries, we obtain a new solution of the reflection equation in the case of $r=2$.
Partitioning set $[n] = \{1, \dots, n\}$ into subsets of size at most $m$ such that all sums are powers of $m$
Given integer $n > 0$ and $m > 1$, we call a partition of set $[n] = \{1, \dots, n\}$ {\em $m$-good} if each of the partitioning sets is of size at most $m$ and the sum of numbers in it is a power of $m$, that is, $m^t$ for some $t \geq 0$. It is easily seen that a unique 2-good partition exists for each $n$ and, in contrast, for each fixed $m>3$, for infinitely many $n$, no $m$-good partition exists.
Case $m=3$ is more difficult. We conjecture that 3-good partitions exist for each $n$ and prove that a minimal counter-example, if any, is at least 101 and must belong to the set
{\centering $N_o = \{n \equiv 2 \pmod 3\} \cap \{3^t+1 < n < (3^{t+1}+1)/2 \mid t \geq 4\}.$ }
For this case we provide some partial results. We also show that a 3-good partition is unique if $n \in N_u = \{1, 2, 3, 4, 3^t-4, 3^t-2, 3^t-1, 3^t, 3^t+1, 3^t+2, 3^t+3 \mid t > 1\}$ and conjecture that the inverse holds too.
On simultaneous $(s, s+t, s+2t, \dots)$-core partitions
Published
• View Publication
• BIB
We consider simultaneous $(s,s+t,s+2t,\dots,s+pt)$-core partitions in the large-$p$ limit, or (when $s<t$), partitions in which no hook may be of length $s \pmod{t}$. We study generating functions, containment properties, and congruences when $s$ is not coprime to $t$. As a boundary case of the general study made by Cho, Huh and Sohn, we provide enumerations when $s$ is coprime to $t$, and answer positively a conjecture of Fayers on the polynomial behavior of the size of the set of simultaneous $(s,s+t,s+2t,\dots,s+pt)$-core partitions when $p$ grows arbitrarily large. Of particular interest throughout is the comparison to the behavior of simultaneous $(s,t)$-cores.
Rook sums in the symmetric group algebra
Let $\mathcal{A}$ be the group algebra $\mathbf{k}[S_n]$ of the $n$-th symmetric group $S_n$ over a commutative ring $\mathbf{k}$. For any two subsets $A$ and $B$ of $[n]$, we define the elements \[ \nabla_{B,A}:=\sum_{\substack{w\in S_n;\\w\left( A\right) =B}} w \qquad \text{and} \qquad \widetilde{\nabla}_{B,A}:=\sum_{\substack{w\in S_n;\\w\left( A\right) \subseteq B}}w \] of $\mathcal{A}$. We study these elements, showing in particular that their minimal polynomials factor into linear factors (with integer coefficients). We express the product $\nabla_{D,C}\nabla_{B,A}$ as a $\mathbb{Z}$-linear combination of $\nabla_{U,V}$'s.
More generally, for any two set compositions (i.e., ordered set partitions) $\mathbf{A}$ and $\mathbf{B}$ of $\left\{ 1,2,\ldots,n\right\} $, we define $\nabla_{\mathbf{B},\mathbf{A}}\in\mathcal{A}$ to be the sum of all permutations $w\in S_n$ that send each block of $\mathbf{A}$ to the corresponding block of $\mathbf{B}$. This generalizes $\nabla_{B,A}$. The factorization property of minimal polynomials does not extend to the $\nabla_{\mathbf{B},\mathbf{A}}$, but we describe the ideal spanned by the $\nabla_{\mathbf{B},\mathbf{A}}$ and a further ideal complementary to it. These two ideals have a "mutually annihilative" relationship, are free as $\mathbf{k}$-modules, and appear as annihilators of tensor product $S_n$-representations; they are also closely related to Murphy's cellular bases, Specht modules, pattern-avoiding permutations and even some algebras appearing in quantum information theory.
Algorithm for computing the partition function of the Potts model for SP-graphs
The q-state Potts model is a fundamental framework in statistical physics and graph theory, with its partition function encoding rich information about spin configurations. The multivariate Tutte polynomial (known as the partition function of the Potts model) can be defined on an arbitrary finite graph $G$ and encodes a lot of important combinatorial information about the graph. As a special case, it contains the familiar Tutte polynomial with two variables and, consequently, its specialization with one variable, such as the chromatic polynomial, the flow polynomial and the reliability polynomial. The main goal of this paper is to present an efficient algorithm for computing the Potts model partition function on SP-graphs (series-parallel graphs) with arbitrary weights. The algorithm for SP-graphs is based on simplifying the graph by replacing several edges with a single edge of equivalent weight, which significantly reduces computational complexity. In this paper, we present a linear-time algorithm for exactly computing the Potts model partition function on series-parallel graphs (SP-graphs).
Partial Deranged Bell Numbers and Their Combinatorial Properties
We introduce a novel generalization of deranged Bell numbers by defining the partial deranged Bell numbers $w_{n,r}$, which count the number of set partitions of $\left[ n\right] $ with exactly $r$ fixed blocks, while the remaining blocks are deranged. This construction provides a unified framework that connects partial derangements, Stirling numbers, and ordered Bell numbers. We investigate their combinatorial properties, including explicit formulas, generating functions, and recurrence relations. Moreover, we demonstrate that these numbers are expressible in terms of classical sequences such as deranged Bell numbers and ordered Bell numbers, and reveal their relationship to complementary Bell numbers, offering insights relevant to Wilf's conjecture. Notably, we derive the identity \[ \tildeφ_{n}=\Tilde{w}_{n,0}-\Tilde{w}_{n,1}=\tilde{w}_{n-1,0}-2\tilde {w}_{n-1,2}, \] which illustrates their structural connection to complementary Bell numbers. We also introduce a polynomial expansion for these numbers and explore their connections with exponential polynomials, geometric polynomials, and Bernoulli numbers. These relationships facilitate the derivation of closed-form expressions for certain finite summations involving Stirling numbers of the second kind, Bernoulli numbers, and binomial coefficients, articulated through partial derangement numbers.
A note on multiplicative-inverse chaining in finite fields
We consider chaining multiplicative-inverse operations in finite fields under alternating polynomial bases. When using two distinct polynomial bases to alternate the inverse operation we obtain a partition of $\mathbb F_{p^n}\setminus \mathbb F_p$ into disjoint cycles of even length. This allows a natural interpretation of the cycles as permutation cycles. Finally, we explore chaining under more than two polynomial bases.
Rook decomposition of the Partition function
The rook numbers are fairly well-studied in the literature. In this paper, we study the max-rook number of the Ferrers boards associated to integer partitions. We show its connections with the Durfee triangle of the partitions. The max-rook number gives a new decomposition of the partition function. We derive the generating functions of the partitions with the Durfee triangle of sizes $3$, $4$ and $5$. We obtain their exact formula and further use it to show the periodicity modulo $p$ for any $p \in \mathbb{N}$ and $p\geq2$. We also establish their parity and parity bias. We give the growth asymptotics of partitions with the Durfee triangle of sizes $3$ and $4$. We obtain a new rook analogue of the recurrence relation of the partition function.
A Note on Edge Coalitions in Graphs
Haynes et al. (2020) introduced and investigated the concept of coalition in graphs \cite{hhhmm1}. Their study examined this concept from a vertex-based perspective, whereas in this paper, we extend the investigation to an edge-based perspective of graphs. \\ An edge coalition in a graph $G=(V,E)$ consists of two disjoint sets of edges $E_1$ and $E_2$, neither of which individually forms an edge dominating set, but whose union $E_1\cup E_2$ is an edge dominating set. An edge coalition partition in a graph $G$ of order $n=|V|$ and size $|E|=m$ is an edge partition $π=\{E_1,\cdots,E_k\}$ so that every set $E_i$ of $π$ either is a singleton edge dominating set, or is not an edge dominating set but forms an edge coalition with another set $E_j$ in $π$, which is also not an edge dominating set.
In this paper, we introduce the concept of an edge coalition and demonstrate its existence in particular graphs and trees. Additionally, we characterize graphs with small number of edge coalitions and analyze edge coalition structures in various special graph classes.
Partitions with Durfee triangles of fixed size
Published
• View Publication
• BIB
A well-studied statistic of an integer partition is the size of its Durfee square. In particular, the number $D_k (n)$ of partitions of $n$ with Durfee square of fixed size $k$ has a well-known simple rational generating function. We study the number $R_k (n)$ of partitions of $n$ with Durfee triangle of size $k$ (the largest subpartition with parts $1, 2, \ldots, k$). We determine the corresponding generating functions which are rational functions of a similar form. Moreover, we explicitly determine the leading asymptotic of $R_k (n)$, as $n \rightarrow \infty$.
On $k$-coalition in graphs: bounds and exact values
Given a graph $G=\big{(}V(G),E(G)\big{)}$, a set $S\subseteq V(G)$ is called a $k$-dominating set if every vertex in $V(G)\setminus S$ has at least $k$ neighbors in $S$. Two disjoint sets $A,B\subset V(G)$ form a $k$-coalition in $G$ if neither set is a $k$-dominating set in $G$ but their union $A\cup B$ is a $k$-dominating set. A partition $Ω$ of $V(G)$ is a $k$-coalition partition if each set in $Ω$ is either a $k$-dominating set of cardinality $k$ or forms a $k$-coalition with another set in $Ω$. The $k$-coalition number $C_{k}(G)$ equals the maximum cardinality of a $k$-coalition partition of $G$. In this work, we give general upper and lower bounds on this parameter. In particular, we show that if $G$ has minimum degree $δ\ge 2$ and maximum degree $Δ\ge 4 \lfloor δ/2 \rfloor$, then $C_{2}(G) \leq (Δ-2\lfloor δ/2 \rfloor+1)(\lfloor δ/2 \rfloor+1) + \lceil δ/2 \rceil+1$, and this bound is sharp. If $T$ is a tree of order~$n \ge 2$, then we prove the upper bound $C_{2}(T) \leq \big\lfloor \frac{n}{2}\big\rfloor+1$ and we characterize the extremal trees achieving equality in this bound. We determine the exact value of $C_{k}(G)$ for any cubic graph $G$ and $k\geq2$. Finally, we give the exact value of $C_{k}$ for any complete bipartite graph, which completes a partial result and resolves an issue from an earlier paper.