arXiv++ Combinatorics

Browse math.CO papers from arXiv

partition

6235 papers tagged with this keyword
2025-05-02
Multiplicative congruences for Andrews's even parts below odd parts function and related infinite products
We prove multiplicative congruences mod $2^{12}$ for George Andrews's partition function, $\overline{\mathcal{EO}}(n)$, the number of partitions of $n$ in which every even part is less than each odd part and only the largest even part occurs an odd number of times. We find analogous congruences for more general infinite products. These congruences are obtained using Fricke involutions and Newman's approach to half integer weight Hecke operators on eta quotients, and were inspired by Atkin's multiplicative congruences for the partition function.
2025-05-01 v2
Cluster deletion and clique partitioning in graphs with bounded clique number
The Cluster Deletion problem takes a graph $G$ as input and asks for a minimum size set of edges $X$ such that $G-X$ is the disjoint union of complete graphs. An equivalent formulation is the Clique Partition problem, which asks to find a partition of $V(G)$ into cliques such that the number of edges in the cliques is maximized. We begin by giving a much simpler proof of a theorem of Gao, Hare, and Nastos that Cluster Deletion is efficiently solvable on the class of cographs. We then investigate Cluster Deletion and Clique Partition on permutation graphs, which are a superclass of cographs. Our findings suggest that Cluster Deletion may be NP-hard on permutation graphs. Finally, we prove that for graphs with clique number at most $c$, there is a $\frac{2\binom{c}{2}}{\binom{c}{2}+1}$-approximation algorithm for Clique Partition. This is the first polynomial time algorithm which achieves an approximation ratio better than 2 for graphs with bounded clique number. More generally, our algorithm runs in polynomial time on any graph class for which Maximum Clique can be computed in polynomial time. We also provide a class of examples which shows that our approximation ratio is best possible.
2025-04-30
The inequality on the number of $1$-hooks, $2$-hooks and $3$-hooks in $t$-regular partitions
Let $b_{n,k}$ denote the number of hooks of length $k$ in all the $t$-regular partitions of $n$. Singh and Barman raised the question of finding the relation between $b_{t,2}(n)$ and $b_{t,1}(n)$. Kim showed that there exists $N$ such that $b_{t,2}(n)\ge b_{t,1}(n)$ and $b_{t,2}(n) \geq b_{t,3}(n)$ for $n>N$. In this paper, we find an explicit bound of $N=O(t^5)$ for $b_{t,2}(n)\geq b_{t,1}(n)$ and show that $b_{t,2}(n) \geq b_{t,3}(n)$ for all $n\ge 4$.
2025-04-29
Six types of separable integer partitions
Recently, Andrews introduced separable integer partition classes and studied some well-known theorems. In this atricle, we will investigate six types of partitions from the view of the point of separable integer partition classes.
The partial derivative of ratios of Schur polynomials and applications to symplectic quotients
Published in European Journal of Combinatorics Volume 134 (2026), 104351 • View PublicationBIB
We show that a ratio of Schur polynomials $s_λ/s_ρ$ associated to partitions $λ$ and $ρ$ such that $λ\subsetneqρ$ has a negative partial derivative at any point where all variables are positive. This is accomplished by establishing an injective map between sets of pairs of skew semistandard Young tableaux that preserves the product of the corresponding monomials. We use this result and the description of the first Laurent coefficient of the Hilbert series of the graded algebra of regular functions on a linear symplectic quotient by the circle to demonstrate that many such symplectic quotients are not graded regularly diffeomorphic. In addition, we give an upper bound for this Laurent coefficient in terms of the largest two weights of the circle representation and demonstrate that all but finitely many circle symplectic quotients of each dimension are not graded regularly diffeomorphic to linear symplectic quotients by $\operatorname{SU}_2$.
2025-04-28
Identities involving partitions with distinct odd parts and no parts congruent to 2 mod 4
Recently, Pankaj Jyoti Mahanta and Manjil P. Saikika proved some identities relating certain restricted partitions into distinct odd parts with the partition whose odd parts are distinct combinatorially. They asked for the q-series proofs. In this paper, we give q-series proofs of these identities. Also, the number of partitions into distinct odd parts equals to the number of the partitions with no parts congruent to 2 mod 4, so we can get some identities. We also give combinatorial proofs of these identities.
2025-04-27 v2
Structure constants for spin Hall--Littlewood functions
We provide a combinatorial formula for the structure constants of spin Hall--Littlewood functions. This is achieved by representing these functions and the structure constants as the partition function of a lattice model and applying the underlying Yang--Baxter equation. Our combinatorial expression is in terms of generalised honeycombs; the latter were introduced by Knutson and Tao for ordinary Littlewood--Richardson coefficients and applied to the computation of Hall polynomials by Zinn--Justin.
2025-04-26 v2
Bernoulli and Euler Partitions
Exact rational partitions are presented for Bernoulli and Euler numbers as novel sums involving Faulhaber and Salié coefficients.
2025-04-24
Graph Quasirandomness for Hypothesis Testing of Stochastic Block Models
The celebrated theorem of Chung, Graham, and Wilson on quasirandom graphs implies that if the 4-cycle and edge counts in a graph $G$ are both close to their typical number in $\mathbb{G}(n,1/2),$ then this also holds for the counts of subgraphs isomorphic to $H$ for any $H$ of constant size. We aim to prove a similar statement where the notion of close is whether the given (signed) subgraph count can be used as a test between $\mathbb{G}(n,1/2)$ and a stochastic block model $\mathbb{SBM}.$ Quantitatively, this is related to approximately maximizing $H \longrightarrow |Φ(H)|^{\frac{1}{|\mathsf{V}(H)|}},$ where $Φ(H)$ is the Fourier coefficient of $\mathbb{SBM}$, indexed by subgraph $H.$ This formulation turns out to be equivalent to approximately maximizing the partition function of a spin model over alphabet equal to the community labels in $\mathbb{SBM}.$ We resolve the approximate maximization when $\mathbb{SBM}$ satisfies one of four conditions: 1) the probability of an edge between any two vertices in different communities is exactly $1/2$; 2) the probability of an edge between two vertices from any two communities is at least $1/2$ (this case is also covered in a recent work of Yu, Zadik, and Zhang); 3) the probability of belonging to any given community is at least $c$ for some universal constant $c>0$; 4) $\mathbb{SBM}$ has two communities. In each of these cases, we show that there is an approximate maximizer of $|Φ(H)|^{\frac{1}{|\mathsf{V}(H)|}}$ in the set $\mathsf{A} = \{\text{stars, 4-cycle}\}.$ This implies that if there exists a constant-degree polynomial test distinguishing $\mathbb{G}(n,1/2)$ and $\mathbb{SBM},$ then the two distributions can also be distinguished via the signed count of some graph in $\mathsf{A}.$ We conjecture that the same holds true for distinguishing $\mathbb{G}(n,1/2)$ and any graphon if we also add triangles to $\mathsf{A}.$
On Bell numbers of type $D$
In this paper, we will introduce Bell numbers $D(n)$ of type $D$ as an analogue to the classical Bell numbers related to all the partitions of the set $[n]$. Then based on a signed set partition of type $D$, we will construct the recurrence relations of Bell numbers $D(n)$. In addition, we deduce the exponential generating function for $D(n)$. Finally, we will provide an explicit formula for $D(n)$.
2025-04-23 v3
Lower Bound for The Number of Zeros in The Character Table of The Symmetric Group
For any two partitions $λ$ and $μ$ of a positive integer $N$, let $χ_λ(μ)$ be the value of the irreducible character of the symmetric group $S_{N}$ associated with $λ$, evaluated at the conjugacy class of elements whose cycle type is determined by $μ$. Let $Z(N)$ be the number of zeros in the character table of $S_N$, and $Z_{t}(N)$ be defined as $$ Z_{t}(N):= \#\{(λ,μ): χ_λ(μ) = 0 \; \text{with $λ$ a $t$-core}\}. $$ We prove $$ Z(N) \ge \frac{2\, p(N)^{2}}{\log N} \left( 1 + O\left(\frac{\log\log N}{\log N} \right)\right), $$ where $p(N)$ denotes the number of partitions of $N$. We also give explicit lower bounds for $Z_t(N)$ in various ranges of $t$.
Equivariant quasisymmetry and noncrossing partitions
We introduce a definition of ``equivariant quasisymmetry'' for polynomials in two sets of variables. Using this definition we define quasisymmetric generalizations of the theory of double Schur and double Schubert polynomials that we call double fundamental polynomials and double forest polynomials, where the subset of ``noncrossing partitions'' plays the role of $S_n$. In subsequent work we will show this combinatorics is governed by a new geometric construction we call the ``quasisymmetric flag variety'' which plays the same role for equivariant quasisymmetry as the usual flag variety plays in the classical story.
A new definition for m-Cambrian lattices
Published in 37th International Conference on Formal Power Series and Algebraic Combinatorics (Sapporo 2025), Jul 2025, Sapporo, Hokkaido, Japan • Search Publication
The Cambrian lattices, introduced in (Reading, 2006), generalize the Tamari lattice to any choice of Coxeter element in any finite Coxeter group. They are further generalized to the m-Cambrian lattices (Stump, Thomas, Williams, 2015). However, their definitions do not provide a practical setup to work with combinatorially. In this paper, we provide a new equivalent definition of the m-Cambrian lattices on simple objects called m-noncrossing partitions, using a simple and effective comparison criterion. It is obtained by showing that each interval has a unique maximal chain that is c-increasing, which is computed by a greedy algorithm. Our proof is uniform, involving all Coxeter groups and all choices of Coxeter element at the same time. This work has been accepted as an extended abstract for the FPSAC 2025 conference. A long version of this work will be available later.
2025-04-18
On $\ell-$regular and $2-$color partition triples modulo powers of $3$
Let $T_\ell(n)$ denote the number of $\ell-$regular partition triples of $n$ and let $p_{\ell, 3}(n)$ enumerates the number of 2--color partition triples of $n$ where one of the colors appear only in parts that are multiples of $\ell$. In this paper, we prove several infinite families of congruences modulo powers of 3 for $T_\ell(n)$ and $p_{\ell, 3}(n)$, where $\ell \geq 1$ and $\equiv 0\pmod{3^k}$, and $\equiv \pm 3^k \pmod{3^{k+1}}$.
2025-04-18 v2
On Refined Vogel's universality
Published in Phys.Lett. B867 (2025) 139596 • View PublicationBIB
In accordance with P. Vogel, a set of algebra structures in Chern-Simons theory can be made universal, independent of a particular family of simple Lie algebras. In particular, this means that various quantities in the adjoint representations of these simple Lie algebras such as dimensions and quantum dimensions, Racah coefficients, etc. are simple rational functions of two parameters on Vogel's plane, giving three lines associated with $sl$, $so/sp$ and exceptional algebras correspondingly. By analyzing the partition function of refined of Chern-Simons theory, it was suggested earlier that the refinement may preserve the universality for simply laced algebras. Here we support this conjecture by analysing the Macdonald dimensions, i.e. values of Macdonald polynomials at $q^ρ$, where $ρ$ is the Weyl vector: there is a universality formula that describes these dimensions for the simply laced algebras as a function on the Vogel's plane.
2025-04-17
Tree-Line graphs and their quantum walks
For a simple graph $Γ$, a (bipartite)tree-line graph and a tree-graph of $Γ$ can be defined. With a (bipartite)tree-line graph constructed by the function $(b)\ell$, we study the continuous quantum walk on $(b)\ell ^n Γ$. An equitable partition of a bipartite tree-line graph is obtained by its corresponding derived tree graph. This paper also examines quantum walks on derived graphs, whose vertices represent their basis state.
2025-04-16 v2
Ideal Decomposition of Hyperplane Arrangements
Let $\mathcal{A}$ be an affine hyperplane arrangement, $L(\mathcal{A})$ its intersection poset, and $χ_{\mathcal{A}}(t)$ its characteristic polynomial. This paper aims to propose combinatorial structures for the factorization of $χ_{\mathcal{A}}(t)$. To this end, we introduce the notion of an ideal decomposition of $L(\mathcal{A})$ and use the Möbius algebra as a key tool to derive such a factorization. This concept provides a unified and substantial generalization of both the modular elements proposed by Stanley (1971) and the nice partitions proposed by Terao (1992). We also define modular ideals of $L(\mathcal{A})$, which yield a tensor decomposition of the Orlik-Solomon algebra of $\mathcal{A}$. We further show that every modular ideal can be realized as the intersection poset of some hyperplane arrangement.
2025-04-15
Proposal of a generating function of partition sequences
In this paper, we introduce the generating functions of partition sequences. Partition sequences have a one-to-one correspondence with partitions. Therefore, the generating function has no multiplicity and appears meaningless initially. However, we show that using a matrix can give meaning to the coefficients and preserve valuable information about partitions. We also introduce some restrictions on partitions suitable for these generating functions.
2025-04-11 v2
The $k$-elongated plane partition function modulo small powers of $5$
Andrews and Paule revisited combinatorial structures known as the $k$-elongated partition diamonds, which were introduced in connection with the study of the broken $k$-diamond partitions. They found the generating function for the number $d_k(n)$ of partitions obtained by summing the links of such partition diamonds of length $n$ and discovered congruences for $d_k(n)$ using modular forms. Since then, congruences for $d_k(n)$ modulo certain powers of primes have been proven via elementary means and modular forms by many authors, most recently Banerjee and Smoot who established an infinite family of congruences for $d_5(n)$ modulo powers of $5$. We extend in this paper the list of known results for $d_k(n)$ by proving infinite families of congruences for $d_k(n)$ modulo $5,25$, and $125$ using classical $q$-series manipulations and $5$-dissections.
Counting independent sets in percolated graphs via the Ising model
Given a graph $G$, we form a random subgraph $G_p$ by including each edge of $G$ independently with probability $p$. We provide an asymptotic expansion of the expected number of independent sets in random subgraphs of regular bipartite graphs satisfying certain vertex-isoperimetric properties, extending the work of Kronenberg and Spinka on the percolated hypercube. Combining graph containers with the cluster expansion from statistical physics, we give an expansion of the partition function of the Ising model in certain range of the parameters. Among other applications, we obtain results for even tori of growing side-length. As a tool, we prove a refined container lemma for the Ising model, which mildly improves recent bounds of Jenssen, Malekshahian, and Park.