Abstract:Bessenrodt and Ono, Chen, Wang and Jia, DeSalvo and Pak were the first to discover the log-subadditivity, log-concavity, and the third-order Turán inequality of partition function, respectively. Many other important partition statistics are proved to enjoy similar properties. This paper focuses on the partition function $\overline{p}_k(n)$, which counts the number of overpartitions of $n$ with no parts divisible by $k$. We provide a combinatorial proof to establish that for any $k\geq2$, the partition function $\overline{p}_k(n)$ exhibits strict log-subadditivity. Specifically, we show that $\overline{p}_k(a)\overline{p}_k(b)>\overline{p}_k(a+b)$ for integers $a\geq b\geq1$ and $a+b\geq k$. Furthermore, we investigate the log-concavity and the satisfaction of the third-order Turán inequality for $\overline{p}_k(n)$, where $2\leq k\leq9$.

What problem does this paper attempt to address?

This paper aims to explore and prove the inequality relations related to the $k$-regular partition function, especially the strict sub - additivity in the logarithmic sense, log - concavity and the third - order Turán inequality. Specifically: 1. **Strict sub - additivity in the logarithmic sense**: The authors prove by combinatorial methods that for any $k\geq2$, $p_k(n)$ (representing the number of $n$ - multiple partitions without parts divisible by $k$) exhibits strict sub - additivity in the logarithmic sense, that is, for integers $a\geq b\geq1$ and $a + b\geq k$, we have: \[ p_k(a)p_k(b)>p_k(a + b) \] 2. **Log - concavity and the third - order Turán inequality**: Further study whether the log - concavity and the third - order Turán inequality of $p_k(n)$ hold. Specifically, when $2\leq k\leq9$, the authors prove that these multiple partition functions satisfy log - concavity and the third - order Turán inequality. In order to establish these inequality relations, the authors first develop the asymptotic formula of $p_k(n)$, especially in the case of $2\leq k\leq9$. These asymptotic formulas are derived by combinatorial methods and analytical techniques, providing a basis for the subsequent inequality proofs. ### Main Results 1. **Theorem 1.1**: For integers $k, a, b$, if $k\geq2, a\geq b\geq1, a + b\geq k$, then: \[ p_k(a)p_k(b)>p_k(a + b) \] 2. **Theorem 1.2**: For each fixed $2\leq k\leq9$ and $\mu_k\geq n_k$, we have: \[ p_k(n)=C_k(n)I_1(\mu_k)+R_k(n) \] where $\vert R_k(n)\vert\leq R'_k(n)$, and the specific values are given in Table 1.1. 3. **Theorem 1.3**: For $2\leq k\leq9$, $p_k(n)$ satisfies log - concavity (when $n\geq\bar{n}_k$) and the third - order Turán inequality (when $n\geq\hat{n}_k$). The specific ranges are given in Table 1.2. ### Paper Structure - **Section 2**: Rigorously prove the sub - additivity in the logarithmic sense of $p_k(n)$ by combinatorial methods. - **Section 3**: Derive the asymptotic formula of $p_k(n)$ using the results of Cherm, Ji and Dong, especially in the case of $2\leq k\leq9$. - **Section 4**: Apply the derived asymptotic formula to prove the log - concavity and the third - order Turán inequality of $p_k(n)$. Through these steps, the authors systematically prove the inequality properties of the $k$-regular partition function under specific conditions, providing theoretical support for further research in related fields.

Inequalities for the $k$-Regular Overpartitions

Inequalities for $k$-regular partitions

Unimodality of $k$-Regular Partitions into Distinct Parts with Bounded Largest Part

Some inequalities for $k$-colored partition functions

The Briggs inequality for partitions and overpartitions

Separable integer partition classes and partitions with congruence conditions

Inequalities for the overpartition function arising from determinants

Turán inequalities for k-th power partition functions

Hook length biases in $t$-regular and $t$-distinct partitions

Determinantal inequalities for the partition function

Higher Order Turan Inequalities for the Distinct Partition Function

On the restricted $k$-multipartition function

Hook length biases in ordinary and $t$-regular partitions

Distribution of the k-regular partition function modulo composite integers M

Polynomization of the Bessenrodt-Ono type inequalities for A-partition functions

Combinatorial proofs of inequalities involving the number of partitions with parts separated by parity

On the $k$th smallest part of a partition into distinct parts

Higher order log-concavity of the overpartition function and its consequences

Convexity and log-concavity of the partition function weighted by the parity of the crank

On the Bessenrodt-Ono type inequality for a wide class of $A$-partition functions

A unified framework to prove multiplicative inequalities for the partition function