Abstract
A partition into distinct parts is refinable if one of its parts a can be replaced by two different integers which do not belong to the partition and whose sum is a, and it is unrefinable otherwise. Clearly, the condition of being unrefinable imposes on the partition a nontrivial limitation on the size of the largest part and on the possible distributions of the parts. We prove a \(O(n^{1/2})\)upper bound for the largest part in an unrefinable partition of n, and we call maximal those which reach the bound. We show a complete classification of maximal unrefinable partitions for triangular numbers, proving that if n is even there exists only one maximal unrefinable partition of \(n(n+1)/2\), and that if n is odd the number of such partitions equals the number of partitions of \(\lceil n/2\rceil \) into distinct parts. In the second case, an explicit bijection is provided.
1 Introduction
Integer partitions into distinct parts may appear in several areas of mathematics, sometimes unexpectedly. For example, they have been recently shown to be linked to the set of generators of groups in a grouptheoretical problem related to cryptography [1, 2]. In particular, Aragona et al. showed that the generators of a given group are linked to partitions into distinct parts which satisfy a condition of nonrefinability [3] together with a condition on the minimal excludant. This motivates us to investigate some combinatorial aspects of unrefinable partitions, i.e. those in which no part can be written as the sum of two different integers which do not belong to the partition, which to our knowledge have not been investigated so far (cf. the OnLine Encyclopedia of Integer Sequences for the first values [8, https://oeis.org/A179009]).
Computational results suggest that the maximal part in an unrefinable partition of n is approximatively \(\sqrt{n}\). In this paper, we first prove a matching upper bound for the maximal part and then we define maximal unrefinable partitions as those which reach the bound. As a main contribution, we provide a complete classification of maximal unrefinable partitions for triangular numbers. We constructively prove, denoting by \(T_n\) the nth triangular number, that for even n there exists exactly one maximal unrefinable partition of \(T_n\). For odd n, we obtain a lower bound for the minimal excludant for the maximal unrefinable partitions of \(T_n\), defined to be the least integers which is not a part [6] and which has been investigated also recently by other authors [4, 7]. The knowledge of a bound on the minimal excludant, among other considerations, allows us to show an explicit bijection between the set of the maximal unrefinable partitions of \(T_n\) and the set of partitions of \(\lceil n/2\rceil \) into distinct parts in the classical sense [5].
The remainder of the paper is organized as follows: in Sect. 2 we introduce the notation and define unrefinable partitions. In Sect. 3 we prove two upper bounds for the maximal part in an unrefinable partition of n, distinguishing the case when n is a triangular number and when it is not. The classification theorem, i.e. Theorem 4.1, is proved in Sect. 4, which also contains the result on triangular numbers of an even number. The odd case is developed in Sec 5, which concludes the paper. In particular, we show in Theorem 5.11 a bijective proof that the number of maximal unrefinable partitions of \(T_n\) equals the number of partitions of \(\lceil n/2\rceil \) into distinct parts.
2 Preliminaries
Let \(N \in {\mathbb {N}}\). A partition of N is a finite sequence \(\lambda = (\lambda _1,\lambda _2, \dots , \lambda _t)\) of positive integers such that \(\lambda _1\le \lambda _2\le \dots \le \lambda _t\) and \(\sum _{i=1}^{t}\lambda _i= N\). When \(\lambda \) is a partition of N we write \(\lambda \vdash N\). Each \(\lambda _i\) is called a part of the partition \(\lambda \) and we call \(\lambda _t\) its maximal part. We denote by \((\lambda _1,\lambda _2, \dots , \lambda _{i1},\widehat{\lambda _i}, \lambda _{i+1}, \dots , \lambda _t)\) the partition \((\lambda _1,\lambda _2, \dots , \lambda _{i1}, \lambda _{i+1}, \dots , \lambda _t)\) where the part \(\lambda _i\) is removed.
The partition \(\lambda = (\lambda _1,\lambda _2, \dots , \lambda _t)\) is a partition into distinct parts if \(\lambda _1< \lambda _2< \dots < \lambda _t\) and \(t \ge 2\), i.e. if each part appears exactly once. The set \({\mathbb {D}}_N\) denotes the set of all the partitions of N into distinct parts. If \(\lambda = (\lambda _1,\lambda _2, \dots , \lambda _t)\in {\mathbb {D}}_N\), the integers belonging to
are called the missing parts of \(\lambda \), and are denoted by \(\mu _1< \mu _2< \dots <\mu _m\), for some \(m \ge 0\). The least integer which is not a part of \(\lambda \), i.e. \(\mu _1\), is the minimal excludant of \(\lambda \) [6]. We denote this by writing \(\mu _1 = {\mathrm {mex}}(\lambda )\), taking \({\mathrm {mex}}(\lambda ) = 0\) when \({\mathcal {M}}_\lambda = \emptyset \) as it is customary in the literature.
Definition 2.1
Let \(N \in {\mathbb {N}}\). Let \(\lambda = (\lambda _1,\lambda _2, \dots , \lambda _t)\) be a partition of N into distinct parts and let \(\mu _1< \mu _2< \dots <\mu _m\) be its missing parts. The partition \(\lambda \) is refinable if there exist \(1 \le \ell \le t\) and \(1\le i<j \le m \) such that \(\mu _i+\mu _j = \lambda _{\ell }\), and unrefinable otherwise. The set of unrefinable partitions is denoted by \({\mathbb {U}}\), and by \({\mathbb {U}}_N\) we denote those whose sum of the parts is N.
Definition 2.2
Let \(n \in {\mathbb {N}}\). We denote by \(T_n\) the nth triangular number, i.e.
The complete partition \(\pi _n \mathrel {{\mathop {=}\limits ^{{\mathrm{def}}}}}(1,2,\ldots ,n)\) is the partition of \(T_n\) with no missing parts.
Notice that every complete partition is unrefinable. The same holds, by definition, for partitions with a single missing part. In particular, if \(N=T_n\) for some n, then \(\pi _n\) is an unrefinable partition of N. Otherwise, if n is the least integer such that \(N < T(n)\), then
is an unrefinable partition of N, where \(d =T_n  N\). In general, the admissible number of missing parts in an unrefinable partition is bounded as in the following result.
Lemma 2.3
Let \(\lambda = (\lambda _1,\lambda _2, \dots , \lambda _t)\) be unrefinable and let \(\mu _1< \mu _2< \dots < \mu _m\) be the missing parts. Then the number of missing parts m is bounded by
Proof
Let us start by observing that \(\lambda _t\mu _i \in \lambda \) for \(1 \le i \le m\), otherwise from \(\lambda _t\mu _i, \mu _i \in {\mathcal {M}}_\lambda \) we obtain \( (\lambda _t\mu _i)+\mu _i=\lambda _t\in \lambda \) and thus \(\lambda \) is refinable. We prove the claim considering the complete partition \(\pi _{\lambda _t}\) and removing from this the maximum number of parts different from \(\lambda _t\). For the previous observation, each candidate part \(\mu _i\) to be removed has a counterpart \(\lambda _t\mu _i\) in the partition. The bound of Eq. (2) depends on the fact that this process can be repeated no more than \(\lfloor {\lambda _t}/{2}\rfloor \) times. \(\square \)
As already anticipated, our focus is on the maximal part in a partition as in Definition 2.1. In the next section, using Lemma 2.3, we show that the maximal part in an unrefinable partition of n is \(O(n^{1/2})\).
3 Upper bounds on the maximal part
It is easy to check that the complete partitions \(\pi _1, \pi _2, \dots , \pi _5\) are the only unrefinable partitions for the triangular numbers \(T_1, T_2, \ldots , T_5\) respectively. In the general case of \(T_n\) for \(n\ge 6\), this is not true. For example, the partition \((1,2,3,7,8)\vdash 21 = T_6\) is unrefinable. As a more complex example, in the case of \(T_9\) we can calculate that
are all the unrefinable partitions of \(45=T_9\).
It is clear that the property of being unrefinable imposes on the one hand an upper limitation on the size of the largest part which is admissible in the partition, and on the other a lower limitation on the minimal excludant. We address in this section the natural question of determining what is the maximal part in an unrefinable partition of N. In the case where N is a triangular number the following result provides an answer. The notation introduced in the proof will be used throughout the paper.
Proposition 3.1
Let \(n \in {\mathbb {N}}\) and \(N =T_n\). For every unrefinable partition \(\lambda = (\lambda _1,\lambda _2, \dots , \lambda _t)\) of N we have
Equivalently,
Proof
Let us start by considering the complete partition \(\pi _n\vdash N\). Other unrefinable partitions of N are obtained from \(\pi _n\) by removing some parts smaller than or equal to n and replacing them with parts larger than n. Hence, the lower bound for the maximal part in any partition of N is n, obtained when no part is removed. Since \(N=n(n+1)/2\), n is the positive solution of \(n^2+n2N=0\) and so we have
Let \(h,j \in {\mathbb {N}}\) and let us denote by \(1 \le a_1< a_2< \dots < a_h \le n\) the candidate parts to be removed from \(\pi _n\) to obtain a new unrefinable partition of N, and by \(n+1 \le \alpha _1< \alpha _2< \dots < \alpha _j\) the corresponding replacements. Since \(\sum a_i = \sum \alpha _i\) we have \(h > j\). Moreover \(j>1\), otherwise from \(\sum a_i = \alpha _1\) the obtained partition is refinable. Hence we obtain
There are h missing parts in the interval \(\{1,2,\dots ,n\}\) and exactly j parts appear in the interval \(\{n+1,n+2,\dots , \alpha _j\}\). Therefore the number of missing parts of \(\lambda \) is
To prove \(\alpha _j \le 2n4\) we consider the cases where \(\alpha _j\) is either equal to \(2n3\), equal to \(2n2\), or strictly larger than \(2n2\). We derive a contradiction in each case. Let us observe that
In the case \(\alpha _j= 2n3\) we obtain \(m=h+n3j\). By Lemma 2.3, we have \(m\le \left\lfloor \alpha _j/2\right\rfloor =n2\), hence \(h\le j +1\), and so \(h=j+1\). Notice that
Therefore, since \(\sum a_i = \sum \alpha _i\), we have
which is satisfied if \(h < 3\), a contradiction.
In the case \(\alpha _j= 2n2\) we obtain \(m=h+n2j\). By Lemma 2.3, we have \(m\le \left\lfloor \alpha _j/2\right\rfloor =n1\), hence \(h\le j +1\), and so again \(h=j+1\). Notice that
Therefore, since \(\sum \alpha _i = \sum a_i\), we have
which is satisfied if \(h< {(1+\sqrt{17})}/{2}< 3\), a contradiction.
To conclude we consider the last case \(\alpha _j> 2n2\). We have \(n1< {\alpha _j}/{2}\) and so
Hence, since \(h\ge j+1\), we have
which contradicts Lemma 2.3. \(\square \)
Notice that the upper bound of Eq. 3 is tight. Indeed, let us define the following partition:
It is easy to notice that \(\widetilde{\pi _n}\vdash N\) and that \(\widetilde{\pi _n}\) is unrefinable, since its least missing parts are \(n2\) and \(n1\), and \(2n4 <(n2)+(n1)\). In the notation of the proof of Proposition 3.1, \(\widetilde{\pi _n}\) is obtained in the case \(h=3\) and \(j=h1=2\).
The counterpart of Proposition 3.1 in the case of nontriangular numbers is obtained in a similar way.
Proposition 3.2
Let \(N \in {\mathbb {N}}\) be such that \(T_{n1}< N < T_n\) for some \(n \in {\mathbb {N}}\). For every unrefinable partition \(\lambda = (\lambda _1,\lambda _2, \dots , \lambda _t)\) of N we have
Equivalently,
where \(d=T_n  N\).
Proof
Let us start by considering d and the partition \(\pi _{n,d}\vdash N\) as in Eq. (1). Other partitions of N are obtained from \(\pi _{n,d}\) by removing some parts smaller than or equal to n which are replaced by d and other parts larger than n or only by other parts larger than n. Proceeding as in the proof of Proposition 3.1, let \(h,j \in {\mathbb {N}}\) and let us denote by \(1 \le a_1< a_2< \dots < a_h \le n\) the candidate parts to be removed from \(\pi _{n,d}\) to obtain a new partition of N, and by \(\alpha _1< \alpha _2<\dots <\alpha _j\) the corresponding replacements. Since \(\sum a_i = \sum \alpha _i\) we have \(h \ge j>1\), and we may obtain \(h=j\) only if \(\alpha _1=d\). For this reason, we need to consider the two cases separately.
Let us assume \(\alpha _i > n\), for every \(1\le i\le j\). Reasoning as in the proof of Proposition 3.1 we can count \(m=(h+1)+\alpha _jnj\). On the other hand, if \(\alpha _1=d\) and \(\alpha _i > n\) for every \(2\le i\le j\), then we obtain just h missing parts in the interval \(\{1,2,\dots ,n\}\) and exactly \(j1\) parts appear in the interval \(\{n+1,n+2,\dots , \alpha _j\}\), therefore we obtain the same formula for the number of missing parts \(m=h+\alpha _jn(j1)\). By Lemma 2.3 we obtain
If \(\alpha _j > 2n2\), then \(\left\lceil {\alpha _j}/{2}\right\rceil \ge n\) and from Eq. (6) we obtain \(h\le j1\), a contradiction. \(\square \)
Remark 1
Notice that the bound of Eq. (5) is reached by the partition \((1,2,\ldots ,n2,2n2)\vdash T_n1\) constructed from \(\pi _{n,1}=(2,3,\ldots ,n)\).
We now introduce maximal unrefinable partitions, the main subject of this work, as those partitions \(\lambda = (\lambda _1,\lambda _2, \dots , \lambda _t)\in \widetilde{{\mathbb {U}}}_{N}\) whose \(\lambda _t\) is maximal.
Definition 3.3
Let \(N \in {\mathbb {N}}\). An unrefinable partition \(\lambda = (\lambda _1,\lambda _2, \dots , \lambda _t)\) of N is called maximal if
We denote by \({\widetilde{{\mathbb {U}}}_{N}}\) the set of the maximal unrefinable partitions of N.
In the case of triangular numbers \(N =T_n\) for some \(n \ge 6\), by virtue of Proposition 3.1, we have that \(\lambda = (\lambda _1,\lambda _2, \dots , \lambda _t)\in \widetilde{{\mathbb {U}}}_{N}\) is maximal if and only if \(\lambda _t = 2n4\).
Remark 2
As already observed in the proof of Proposition 3.1, for each \(\lambda \in {\mathbb {U}}\) there exist \(1<j< h\), \(1\le a_1< a_2<\dots < a_h\le n\) and \(\alpha _1, \alpha _2,\dots , \alpha _j\ge n+1\) such that \(\lambda \) is obtained from \(\pi _n\) by removing the parts \(a_i\)s which are replaced by the parts \(\alpha _i\)s. Consequently, \(\#\widetilde{{\mathbb {U}}}_{N}\) coincides with the number of choices which lead to partitions meeting the mentioned conditions and, in addition, the condition \(\lambda _t=2n4\). In the remainder of the work, when \(\lambda \in {\mathbb {U}}\) we will refer to \(a_i\)s, \(\alpha _i\)s, j and h as intended here.
4 Classification of maximal unrefinable partitions of triangular numbers
We are now ready to prove our first main contribution. Using arguments similar to those of the proofs in the previous section, we classify maximal unrefinable partitions for triangular numbers.
Theorem 4.1
Let \(n \in {\mathbb {N}}\), \(n \ge 6\), and \(N =T_n\). Then

(1)
if n is even, then \( \widetilde{{\mathbb {U}}}_{N}= \{\widetilde{\pi _n}\}\);

(2)
if n is odd, then \(\widetilde{\pi _n}\in \widetilde{{\mathbb {U}}}_{N}\) and the other partitions \(\lambda \in \widetilde{{\mathbb {U}}}_{N}\), \(\lambda \ne \widetilde{\pi _n}\), are such that \(j = h2\) and the following conditions hold:

(i)
the removed parts \(a_1,\ldots , a_{h3}\) are replaced by \(2n4a_1, 2n4a_2, \ldots , 2n4a_{h3}\), and

(ii)
the triple \((a_{h2},a_{h1},a_{h})\) is one of the following
$$\begin{aligned} (n4,n3,n2),(n4,n2,n1),(n3,n2,n),(n2,n1,n). \end{aligned}$$

(i)
Proof
Let \(\lambda \in \widetilde{{\mathbb {U}}}_{N}\) and let \(a_1,a_2,\ldots , a_h\) and \(\alpha _1,\alpha _2,\ldots ,\alpha _j=2n4\) as in Remark 2. We already know that \(h\ge 3\). From the hyphotheses on \(\lambda \) we have that
By Lemma 2.3 we have \(hj\le 2\), and, since \(h>j\), we obtain \(j\in \{h1,h2\}\). Notice that if \(a \in \{a_1,\ldots ,a_h\}\) is such that \(a < n4\), then \(\alpha \mathrel {{\mathop {=}\limits ^{{\mathrm{def}}}}}2n4a\) must belong to \(\{\alpha _1,\ldots ,\alpha _{j1}\}\), otherwise \(\alpha +a=2n4=\alpha _j\in \lambda \), and so \(\lambda \) is refinable. Then each removed part \(a_i\) such that \(a_i<n4\) is in onetoone correspondence with its replacement which, for the sake of simplicity, we will denote from now on by \(\alpha _i\). On the other side, for the same symmetry argument, no part in the interval \(\{n4,\dots , n\}\) has a replacement. In such an interval we may choose at most 5 parts. However, we are not allowed to remove, at the same time, parts from one of the pairs \((n4,n)\) and \((n3,n1)\) without contradicting the unrefinability of \(\lambda \). Analogously, we are not allowed to remove more than three parts. Moreover, we cannot choose to pick only one part to be removed in that interval, otherwise we would obtain \(h1\) replacements but at most \(j1\) are allowed, and \(h > j\).
We are left to consider the cases of two or three parts to be removed in the interval \(\{n4,\dots , n\}\), both with the assumptions \(j = h1\) or \(j = h2\). In particular, we will show that in both settings of j, there exists no maximal partition with two removed parts in the selected interval. Moreover, in the case \(j=h1\) and three removed parts, we show that the only admissible partition is \(\widetilde{\pi _n}\). Finally, partitions in the case \(j=h2\) and three removed parts are only possible for odd n as claimed in (2). Let us address each of the four cases separately.
Let us suppose \(j=h1\) and \(1\le a_1<a_2<\dots <a_{h2}\le n5\) and \(n4\le a_{h1}<a_h\le n \). For each \(1\le i \le j1 = h2\) we have \(\alpha _i=\alpha _ja_i\). We will now show that this configuration leads to a contradiction. To do this, we estimate \(\sum a_i\) and \(\sum \alpha _i\) from above and from below, respectively. This is clearly accomplished by noticing that \(\alpha _{h2}\ge n+1, \alpha _{h3}\ge n +2, \ldots , \alpha _1\ge n+h2\) and \(a_h\le n, a_{h1}\le n1\), obtaining \(a_{h2}\le \alpha _j\alpha _{h2} \le n5, a_{h3} \le n6, \ldots , a_{1} \le nh2\). Hence
For \(\sum a_i = \sum \alpha _i\) we obtain an inequality which is satisfied for \(h< 3\) , which is a contradiction.
In the second case, i.e. \(j=h1\), and \(1\le a_1<a_2<\dots <a_{h3}\le n5\), \(n4\le a_{h2}<a_{h1}<a_h\le n\), we have \(\alpha _i=\alpha _ja_i\) for every \(1\le i \le h3=j2\). Notice that, in this case, the part \(\alpha _{j1} = \alpha _{h2}\) is not determined by one of the \(a_i\)s. Proceeding as before, since \(\alpha _{h3}\ge n+1, \alpha _{h4} \ge n+2, \ldots , \alpha _1 \ge n+h3\), \(\alpha _{h2} \ge n+h2\) and \(a_h\le n, a_{h1} \le n1, a_{h2} \le n2\), we determine \(a_{h3} \le \alpha _j\alpha _{h3} \le n5, a_{h4} \le n6, \ldots , a_{1} \le nh1\) and we obtain the bounds
From \(\sum a_i = \sum \alpha _i\) we obtain an inequality which is satisfied only for \(h= 3\), which corresponds to the partition (cf. also Eq. (4))
The third case \(j=h2\) with two removed parts is immediately contradictory, since the parts \(a_1, a_2, \dots , a_{h2}\) determine \(h2=j\) replacements but at most \(j1\) are possible.
The last case to be considered is the one where \(j = h2 \) and the three largest parts \(a_i\)s are chosen in the interval \(\{n4,\dots , n\}\). As already observed, since \(\lambda \) is unrefinable, the only possible choices are
which means \(a_{h2}+a_{h1}+a_h \in \{3n9, 3n7, 3n5, 3n3\}\). From \(\sum a_i = \sum \alpha _i\) we obtain
and so, since \(\alpha _{h2}=\alpha _j = 2n4\),
Since the right side of Eq. (7) is even and \(a_{h2}+a_{h1}+a_h\) is even only if n is odd, Eq. (7) can be satisfied only in the case when n is odd. This proves (2) when n is odd and that the partition \(\widetilde{\pi _n}\) of Eq. (4) is the only maximal unrefinable partition of \(T_n\) when n is even, i.e. (1). \(\square \)
From Theorem 4.1 we obtain that the description of maximal unrefinable partitions for the triangular number of an even integer is completed. The odd case is addressed in the following section.
Corollary 4.2
Let \(k \in {\mathbb {N}}\) and \(N=T_{2k}\). Then \(\#\widetilde{{\mathbb {U}}}_{N}= 1\).
5 Triangular numbers of odd integers
Throughout this last section, N will denote the triangular number of an odd integer. More precisely, let \(n = 2k1 \in {\mathbb {N}}\) be such that \(N =T_n\).
From Theorem 4.1 we have that the set of maximal unrefinable partitions of triangular numbers of odd integers can be partitioned in the following way
where
and
Each set \({\mathcal {A}}_h,{\mathcal {B}}_h,{\mathcal {C}}_h,{\mathcal {D}}_h\) is called a class of maximal unrefinable partitions. If \(\lambda \in {\mathcal {A}}_h\) (resp. \( {\mathcal {B}}_h, {\mathcal {C}}_h\) or \( {\mathcal {D}}_h\)) for some h we say that \(\lambda \) is a partition of class \({\mathcal {A}}_h\) (resp. \( {\mathcal {B}}_h, {\mathcal {C}}_h\) or \( {\mathcal {D}}_h\)).
The following consideration is a trivial but important consequence of Theorem 4.1.
Corollary 5.1
Let \(n\in {\mathbb {N}}\) and \(N=T_n\). If \(\lambda = (\lambda _1,\lambda _2, \dots , \lambda _t)\in \widetilde{{\mathbb {U}}}_{N}\), then \(\lambda _i\ne n2\) for every \(1\le i\le t\).
Remark 3
(Antisymmetric property) From Theorem 4.1(2) and Corollary 5.1 we derive that every partition \(\lambda \in \widetilde{{\mathbb {U}}}_{T_n}, \lambda \ne \widetilde{\pi _n}\), is antisymmetric with respect to \(n2\), i.e. for \(1 \le a <2n4\) we have
provided that \(a \ne n2\).
Example 5.2
Let us fix \(n=13\). In Table 1 we have displayed the three different partitions of \(\widetilde{{\mathbb {U}}}_{T_{13}} \setminus \{\widetilde{\pi _{13}}\}\), where a black dot means that the corresponding integer is a part and the white dot means otherwise. Disregarding the last part which is fixed to be \(2n4\) due to the maximality constraint, the antisymmetric property with respect to \(n2\) can be appreciated. Notice also that \(\min _{\lambda \in \widetilde{{\mathbb {U}}}_{T_{13}}}{\mathrm {mex}}(\lambda ) = 5 = (n3)/2\) and that \((n2)5+1 = 7 = \lceil n/2\rceil \).
Example 5.3
As another significative example, we show in Table 2 all the partitions in \(\widetilde{{\mathbb {U}}}_{T_{27}} = \widetilde{{\mathbb {U}}}_{378}\), classified according to the description of Theorem 4.1. It is important to notice that, when \(h \ge 5\), partitions in the same class may appear with different multiplicities. Here all the parts \(\lambda _i\)s of the partitions are listed, divided in three areas \(1 \le \lambda _i \le n5\), \(n4 \le \lambda _i \le n\) and \(n+1 \le \lambda _i \le 2n4\) naturally induced by Theorem 4.1. Notice again that we have \(\min _{\lambda \in \widetilde{{\mathbb {U}}}_{T_{27}}}{\mathrm {mex}}(\lambda ) = 12 = (n3)/2\).
5.1 Bounds for h and the minimal excludant
It is natural to wonder, recalling that in general \(h \ge 4\), what is an upper bound for h in a maximal unrefinable partition \(\lambda \in \widetilde{{\mathbb {U}}}_{T_{2k1}}\). The answer to this question is provided in Proposition 5.6, from which we also derive the result on the lower bound for the minimal excludant in maximal unrefinable partitions (cf. Corollary 5.9). Let us address before the two extremal cases \(h=4\) and \(h=5\).
Proposition 5.4
Let \(n \ge 7\) be odd. We have:

(1)
\(\widetilde{{\mathbb {U}}}_{T_n}\cap {\mathcal {D}}_4=\emptyset \),

(2)
\(\widetilde{{\mathbb {U}}}_{T_7}\cap {\mathcal {C}}_4=\emptyset \) and if \(n\ge 9\), then \(\#(\widetilde{{\mathbb {U}}}_{T_n}\cap {\mathcal {C}}_4)=1\),

(3)
\(\widetilde{{\mathbb {U}}}_{T_7}\cap {\mathcal {B}}_4=\widetilde{{\mathbb {U}}}_{T_9}\cap {\mathcal {B}}_4=\emptyset \) and if \(n\ge 11\), then \(\#(\widetilde{{\mathbb {U}}}_{T_n}\cap {\mathcal {B}}_4)=1\),

(4)
\(\widetilde{{\mathbb {U}}}_{T_7}\cap {\mathcal {A}}_4=\widetilde{{\mathbb {U}}}_{T_9}\cap {\mathcal {A}}_4=\emptyset \) and if \(n\ge 11\), then \(\#(\widetilde{{\mathbb {U}}}_{T_n}\cap {\mathcal {A}}_4)=1\).
Proof
Let \(\lambda \in \widetilde{{\mathbb {U}}}_{T_n}\) be obtained by removing the integers \(a_1, a_2, a_3, a_4\) and adding the replacements \(\alpha _1\) and \(\alpha _2=2n4\), which need to satisfy the following conditions:

(i)
\(1\le a_1\le n5\),

(ii)
\(n4\le a_2<a_3<a_4\le n\),

(iii)
\(n+1\le \alpha _1=2n4a_1\),

(iv)
\(a_1+a_2+a_3+a_4=\alpha _1+\alpha _2\).
For a contradiction, let us assume that \(\lambda \in {\mathcal {D}}_4\), and so \(a_2=n2, a_3=n1\) and \(a_4=n\). From Eq. (iv) we obtain
Notice that \(a_1+(n+1)=\alpha _1\) and, by hypothesis, \(\alpha _1 \ge n+1\). If \(\alpha _1=n+1\), we obtain \(n=5\), a contradiction. Otherwise, since \((n+1) \notin \lambda \), we obtain that \(\lambda \) is refinable. The claim (1) is then proved.
Let us now address the case (2). Similarly as before, we now have \(a_2=n3, a_3=n2\) and \(a_4=n\) and so we determine
Notice that from \(\alpha _1 \ge n+1\) we obtain \(n \ge 7\). However, assuming \(n=7\) leads to \(a_1+a_2=6=n1 \in \lambda \), a contradiction since \(\lambda \) is unrefinable. Let us now prove that the obtained partition
is unrefinable by showing that each possible sum \(a_i+a_j\), with \(1\le i < j \le 4\), is different from \(\alpha _1\). Recall that by the classification of Theorem 4.1 we have already ruled out those partitions which contradict the unrefinability in \(2n4\). Since \(n\ge 9\), we have that \(a_1+a_2={(3n9)}/{2}>n1\). Consequently, every sum of missing parts is larger than \(n1\in \lambda \). Moreover, \(a_1+a_2\ne \alpha _1\), \(a_1+a_3={(3n7)}/{2}\ne \alpha _1\), \(a_1+a_4={(3n3)}/{2}>\alpha _1\), \(a_2+a_3=2n5>\alpha _1\) and therefore \(a_2+a_4, a_3+a_4 > \alpha _1\). Therefore \(\lambda \in {\mathcal {C}}_4\) and it is unique by construction, which proves the claim (2).
In the case of \({\mathcal {B}}_4\), we find
From \(\alpha _1\ge n+1\) we have \(n\ge 9\), and assuming \(n=9\) contradicts again the unrefinability; therefore \(n\ge 11\). With arguments similar to those of the previous case the partition
is proved unrefinable and unique by construction, hence (3) is obtained.
Finally, considering the case of \({\mathcal {A}}_4\), we obtain
Now, \(\alpha _1\ge n+1\) implies \(n\ge 11\) and \(a_1+a_2={(3n7)}/{2}>\alpha _1\). This proves that
i.e. the claim (4). \(\square \)
Proposition 5.5
Let \(n \ge 7\) be odd and \(k\ge 0\). We have:

(1)
if \(n < 15\), then \(\widetilde{{\mathbb {U}}}_{T_n}\cap {\mathcal {C}}_5=\emptyset \) and if \(n \ge 15\), then \(\#(\widetilde{{\mathbb {U}}}_{T_{15+2k}} \cap {\mathcal {C}}_5) = \lfloor k/2\rfloor +1\),

(2)
if \(n < 17\), then \(\widetilde{{\mathbb {U}}}_{T_n}\cap {\mathcal {B}}_5=\emptyset \) and if \(n \ge 17\), then \(\#(\widetilde{{\mathbb {U}}}_{T_{17+2k}} \cap {\mathcal {B}}_5 )= \lfloor k/2\rfloor +1\),

(3)
if \(n < 17\), then \(\widetilde{{\mathbb {U}}}_{T_n}\cap {\mathcal {D}}_5=\emptyset \) and if \(n \ge 17\), then \(\#(\widetilde{{\mathbb {U}}}_{T_{17+2k}} \cap {\mathcal {D}}_5) = \lfloor k/2\rfloor +1\),

(4)
if \(n < 19\), then \(\widetilde{{\mathbb {U}}}_{T_n}\cap {\mathcal {A}}_5=\emptyset \) and if \(n \ge 19\), then \(\#(\widetilde{{\mathbb {U}}}_{T_{19+2k}} \cap {\mathcal {A}}_5) = \lfloor k/2\rfloor +1\).
Proof
Let us proceed as in the proof of Proposition 5.4. Let \(\lambda \in \widetilde{{\mathbb {U}}}_{T_n}\) be obtained by removing the integers \(a_1, a_2, \dots , a_5 \) and adding the replacements \(\alpha _1\), \(\alpha _2\) and \(\alpha _3=2n4\), which need to satisfy the following conditions:

(i)
\(1\le a_1<a_2\le n5\),

(ii)
\(n4\le a_3<a_4<a_5\le n\),

(iii)
\(n+1\le \alpha _2=2n4a_2<\alpha _1=2n4a_1\),

(iv)
\(a_1+a_2+a_3+a_4+a_5=\alpha _1+\alpha _2+\alpha _3\).
First, let us address the case (1). We have \(a_3=n3, a_4=n2\) and \(a_5=n\) and, from Eq. (iii) and Eq. (iv), \(a_1\) and \(a_2\) satisfy the condition
We first consider the case when \(a_2\) is maximal, i.e. \(a_2=n5\), in which we have \(a_1=(n+3)/2\) and consequently \(\alpha _1 = (3n11)/2\) and \(\alpha _2= n+1\). Notice then that the condition of Eq. (8) can be met in \(\lfloor (a_2a_11)/2\rfloor \) other ways by taking the first two parts to be removed as \(a_1+i\) and \(a_2i\), for \(1\le i \le \lfloor (a_2a_11)/2\rfloor \). Now, from \(a_1 <a_2\) we obtain \(n\ge 15\). If \(n=15\), the partition
is unique by construction and is unrefinable since \(a_1+a_2 > \alpha _1\). In the other cases, which are
we obtain an unrefinable partition since, letting \(\alpha _1'= 2n4(a_1+i)\) and \(\alpha _2'= 2n4(a_2i)\), we have
The claim (1) is then obtained writing \(n=15+2k\) in Eq. (9).
The proofs for (2) and (4) are obtained in the same way. When \(n=17\), the partition
and is unique by construction, and when \(n > 17\) it can be modified in \(\lfloor (a_2a_11)/2\rfloor = \lfloor (n17)/4\rfloor \) ways as in the proof of (1). Analogously, when \(n=19\) the partition
and is unique by construction, and when \(n > 19\) it can be modified in \(\lfloor (n19)/4\rfloor \) ways.
It remains to prove the slightly different case (3). Here, we have \(a_1+a_2=(3n9)/2\) and, proceeding as above, from \(a_2=n5\) we obtain \(a_1=(n+1)/2\) and \(\alpha _1 = (3n9)/2\). This leads to the contradiction \(a_1+a_2 = \alpha _1\). The argument of (1) is here replicated starting from \(a_2= n6\). It is now easy to see that, when \(n=17\), the partition
unique by construction, is unrefinable. When \(n > 17\), it can be modified in \(\lfloor (n17)/4\rfloor \) ways, which proves (3). \(\square \)
Proposition 5.6
Let \(n\ge 7\) be odd and \(h\ge 6\). We have

(1)
\(\widetilde{{\mathbb {U}}}_{T_n}\cap {\mathcal {D}}_h \ne \emptyset \) if and only if \(n \ge h^2h7\),

(2)
\(\widetilde{{\mathbb {U}}}_{T_n}\cap {\mathcal {C}}_h \ne \emptyset \) if and only if \(n\ge h^2h5\),

(3)
\(\widetilde{{\mathbb {U}}}_{T_n}\cap {\mathcal {B}}_h \ne \emptyset \) if and only if \(n \ge h^2h3\),

(4)
\(\widetilde{{\mathbb {U}}}_{T_n}\cap {\mathcal {A}}_h \ne \emptyset \) if and only if \(n \ge h^2h1\).
Proof
We proceed as in Proposition 5.4 and Proposition 5.5, assuming the conditions

(i)
\(1\le a_1<a_2< \dots <a_{h3}\le n5\),

(ii)
\(n4\le a_{h2}<a_{h1}<a_h\le n\),

(iii)
\(n+1\le \alpha _{h3}=2n4a_{h3}<\alpha _{h4}=2n4a_{h4}<\dots <\alpha _1=2n4a_1\),

(iv)
\(\sum a_i=\sum \alpha _i\).
If \(\lambda \in \widetilde{{\mathbb {U}}}_{T_n}\cap {\mathcal {D}}_h\), then \(a_{h2}+a_{h1}+a_h=3n3\) and therefore, from Eq. (iii) and Eq. (iv),
Let us now assume that \(a_{h3}=n5, a_{h4}=n6,\dots , a_2=nh\), i.e. let us maximize the sum \(a_2+\dots +a_{h3}\). We obtain
from which we can calculate
Imposing \(a_1<a_2\) we obtain \(n>h^2h9\). In this setting, we have
Notice that \(a_1+a_2 > \alpha _1\) is satisfied for \(h \ge 6\), hence the provided construction leads to a partition \(\lambda \) which belongs to \({\mathcal {D}}_h\) if and only if \(n\ge h^2h7\), i.e. (1).
In the cases (2), (3) and (4) we proceed analogously, maximizing \(a_2+a_3+\dots a_{h3}\), provided that \(a_{h2}, a_{h1},a_h\) are modified accordingly. In particular, when considering \({\mathcal {C}}_h\) we have
From \(a_1<a_2\) we have \(n\ge h^2h5\) and from
we obtain \(\lambda \in {\mathcal {C}}_h\), i.e. the claim (2) follows.
In the case of \({\mathcal {B}}_h\) we have
From \(a_1<a_2\) we have \(n\ge h^2h3\) and from
we obtain \(\lambda \in {\mathcal {B}}_h\), i.e. the claim (3) is proved.
Finally, assuming the conditions of \({\mathcal {A}}_h\) we have
From \(a_1<a_2\) we have \(n\ge h^2h1\) and from
we obtain \(\lambda \in {\mathcal {A}}_h\), from which the desired result (4) follows. \(\square \)
By interchanging the role of n and h in the statements of Proposition 5.6, we obtain the following description of the set of maximal unrefinable partitions of triangular numbers of an odd number, where we can read the upper bound for h in each different class.
Corollary 5.7
Let \(n\ge 7\) be odd. Then
Remark 4
In the proof of Proposition 5.6 we have exhibited an example of unrefinable partition for each class, constructed by maximizing \(a_2+a_3+\dots a_{h3}\) and consequently by determining \(a_1\). The unrefinability of the obtained partition is then granted from the fact that \(a_1+a_2 > \alpha _1\). Notice that, each other partition \(\lambda '\) of the same class is determined by the removed parts \(a_1', a_2', \dots , a_{h3}'\) such that \(a_1'=a_1+i\) and \(a_s'=a_si_{s1}\) for \(s > 1\) and \(i_s \ge 0\), where \(i=\sum _{s=1}^{h4}i_s\), provided that \(a_i' < a_s'\) for \(i<s\). The unrefinability of \(\lambda '\) is then easily proved, since
Example 5.8
Let \(n=49\). For the bound in the previous corollary, when considering partitions of class \({\mathcal {D}}\) we have \(5 \le h \le (1+\sqrt{29+4n})/{2}=8\). Let us fix \(h=7\) and construct all the partitions in \(\widetilde{{\mathbb {U}}}_{T_{49}} \cap {\mathcal {D}}_7\). We recall that, for Theorem 4.1, a partition of class \({\mathcal {D}}_7\) is given when \(a_1, a_2 \dots , a_{h3}=a_4 \) are specified. Therefore, for the sake of simplicity, we denote the partitions just by listing the removed parts \((a_1,a_2,a_3,a_4)\). Let us start, as in Proposition 5.6, from the partition
All the remaining partitions in \({\mathcal {D}}_7\), obtained as in Remark 4, are:
The partitions in other classes are obtained analogously.
We have already highlighted in Example 5.2 and in Example 5.3 what \(\min _{\lambda \in \widetilde{{\mathbb {U}}}_{T_{n}}}{\mathrm {mex}}(\lambda )\) looks like. The intuition can now be easily proved as a consequence of the previous propositions.
Corollary 5.9
Let \(n\ge 7\) be odd. For each \(\lambda \in \widetilde{{\mathbb {U}}}_{T_n}\) we have
Proof
Notice that \(\mu _1=a_1\). The claim is trivial if \(\lambda = \widetilde{\pi _n}\). Otherwise it follows from Propositions 5.4, 5.5 and 5.6 , recalling that \(a_1\) was calculated in order to be minimal, since \(a_2+a_3+\dots +a_{h3}\) was maximized. The results are summarized in Table 3, where it is not hard to check that \({(n3)}/{2}\) is the smaller value that \(a_1\) can assume. \(\square \)
5.2 The bijection
In this conclusive section we prove the main contribution of this work, i.e. we show that, when n is odd, the number of maximal unrefinable partitions of \(T_n\) equals the number of partitions of \(\lceil n/2\rceil \) into distinct parts by means of a bijective proof. Notice that, by the antisymmetric property (Remark 3) and by the bound on the minimal excludant (Corollary 5.9), a partition in \(\widetilde{{\mathbb {U}}}_{T_n}\) is determined by at most
parts. The following theorem is used to establish a bijection between \(\widetilde{{\mathbb {U}}}_{T_{2k1}}\) and \({\mathbb {D}}_k\).
Theorem 5.10
Let \(a_1, a_2, \dots , a_u\) be the missing parts smaller than or equal to \(n3\) of an unrefinable partition \(\lambda \ne \widetilde{\pi _n}\) of \(T_n\), for some odd integer \(n \ge 7\). Then n, \(\lambda \) and its class are uniquely determined.
Proof
Let us start by proving that n can be obtained from knowing \(a_1, a_2, \dots , a_u\). In particular, let us prove that
by distinguishing the four possible classes. Let us first assume \(\lambda \in {\mathcal {D}}_h\) for some \(h\ge 5\). Recalling that \(a_u \le n3\) and, by the definition of \({\mathcal {D}}_h\) and by Remark 3, since \(a_{h1} = n1\) and \(a_h=n\), we have \(a_u \notin \{n3,n4\}\). Therefore \(a_u \le n5\), and so \(u=h3\). Recalling that the following conditions hold

(i)
\(1\le a_1<a_2< \dots <a_{h3}\le n5\),

(ii)
\(n4\le a_{h2}<a_{h1}<a_h\le n\),

(iii)
\(n<\alpha _{h3}=2n4a_{h3}<\alpha _{h4}=2n4a_{h4}<\dots <\alpha _1=2n4a_1\),

(iv)
\(\sum a_i=\sum \alpha _i\),
we obtain
from which we determine n as claimed.
Let us consider the class \({\mathcal {C}}_h\). In this case, reasoning as above, we have \(a_u =n3\) and \(a_{u1} \le n5\), which means \(u1=h3\). Therefore
from which we obtain again Eq. (10).
When \(\lambda \in {\mathcal {B}}_h\), we have \(a_u=n4\), which means \(h=u+2\), so
from which the same n is determined.
In conclusion, if \(\lambda \in {\mathcal {A}}_h\), we have \(a_u = n3\) and \(a_{u1}=n4\), so \(h=u+1\) and Eq. (10) is satisfied since
Now that n is determined from \(a_1, a_2, \dots , a_u\), the class of the partition can be recognized by looking at \(a_{u1}\) and \(a_u\). In particular

\(a_u< n4 \iff \lambda \in {\mathcal {D}}_{u+3}\),

\(a_u = n3\) and \(a_{u1} < n4 \iff \lambda \in {\mathcal {C}}_{u+2}\),

\(a_u = n4 \iff \lambda \in {\mathcal {B}}_{u+2}\),

\(a_u = n3\) and \(a_{u1} = n4 \iff \lambda \in {\mathcal {A}}_{u+1}\).
To conclude, we determine the partition by using the antisymmetric property (cf. Remark 3). \(\square \)
We are now ready to prove our last result. Denoting by \({\mathbb {D}}\) the set of all the partitions into distinct parts, let us define the following subsets of \({\mathbb {D}}\):
It is not hard to notice that
where
Let us conclude the paper by proving a bijection between \(\widetilde{{\mathbb {U}}}_{T_{2k1}}\) and \({\mathbb {D}}_k\).
Theorem 5.11
Let \(k \in {\mathbb {N}}\), \(k \ge 7\), \(n=2k1\) and \(N=T_{n}\). Let \(\sigma :\widetilde{{\mathbb {U}}}_{T_n}\rightarrow {\mathbb {D}}_k\) be such that
where, if \(\lambda \ne \widetilde{\pi _n}\), then \((a_1, a_2, \dots , a_u)\) are the missing parts of \({\mathcal {M}}_\lambda \cap \{1,2,\dots ,n3\}\) as in Theorem 5.10. Then \(\sigma \) is bijective, therefore \(\#\widetilde{{\mathbb {U}}}_{T_{2k1}}= \#{\mathbb {D}}_k\).
Proof
For the sake of brevity and by virtue of Theorem 5.10, we will denote each \(\lambda \in \widetilde{{\mathbb {U}}}_{T_n}\setminus \{\widetilde{\pi _n}\}\) by listing its missing parts \(a_1, a_2, \dots , a_u\) in \({\mathcal {M}}_\lambda \cap \{1,2,\dots ,n3\}\). We prove that \(\sigma \) is bijective by proving explicitly that partitions of \({\mathcal {A}}\cap \widetilde{{\mathbb {U}}}_{T_{2k1}}\) are in onetoone correspondence with those of \({\mathcal {A}}^*_{}\cap {\mathbb {D}}_k\) and that the same holds respectively for \({\mathcal {B}}\) and \({\mathcal {B}}^*_{}\), \({\mathcal {C}}\) and \({\mathcal {C}}^*_{}\), and \({\mathcal {D}}\cup \{\widetilde{\pi _n}\}\) and \({\mathcal {D}}^*_{}\).
Let us start by proving that \(\sigma \) is well defined, i.e. for each \(\lambda \in \widetilde{{\mathbb {U}}}_{T_n}\) we have that \(\sigma (\lambda )\) is a partition of k into distinct parts. If \(\lambda = \widetilde{\pi _n}\) there is nothing to prove, otherwise, since the missing parts of \(\lambda \) are distinct, so are the parts \( n2a_u<\dots<n2a_2<n2a_1\) of \(\sigma (\lambda )\). We now prove that the sum of the parts of \(\sigma (\lambda )\) is k in each possible case, making extensive use of Proposition 5.4, Proposition 5.5 and Proposition 5.6 without further mention.
If \(\lambda \in {\mathcal {A}}_4\), then \(\lambda =\left( ({n+1})/{2},n4,n3\right) \) and so
Notice that, in particular, \(\sigma (\lambda ) \in {\mathbb {D}}_k \cap {\mathcal {A}}^*_{3}\). Similarly, if \(\lambda \in {\mathcal {B}}_4\), then \(\lambda =\left( {(n1)}/{2},n4\right) \) and \(\sigma (\lambda )=\left( 2,{(n+1)}/{2}2\right) =(2,k2) \in {\mathbb {D}}_k\cap {\mathcal {B}}^*_{2}\). If \(\lambda \in {\mathcal {C}}_4\) we have \(\lambda =\left( {(n3)}/{2},n3\right) \), so \(\sigma (\lambda )=\left( 1,{(n+1)}/{2}1\right) =(1,k1) \in {\mathbb {D}}_k \cap {\mathcal {C}}^*_{2}\).
If \(\lambda \in {\mathcal {A}}_5\), then \(\lambda =\left( (n+7)/{2}+i,n5i,n4,n3\right) \), for \(0\le i \le \lfloor (n19)/4 \rfloor \), and
for \(0\le i \le \lfloor (n19)/4 \rfloor \). In particular, \(\sigma (\lambda ) \in {\mathbb {D}}_k \cap {\mathcal {A}}^*_{4}\). Similarly, if \(\lambda \in {\mathcal {B}}_5\), then \(\lambda =\left( (n+5)/{2}+i,n5i,n4\right) \) and
for \(0\le i \le \lfloor (n17)/4 \rfloor \). If \(\lambda \in {\mathcal {C}}_5\), we have \(\lambda =\left( (n+3)/{2}+i,n5i,n3\right) \) and so
for \(0\le i \le \lfloor (n15)/4 \rfloor \). In the case when \(\lambda =\left( (n+3)/{2}+i,n6i\right) \in {\mathcal {D}}_5\), we have
for \(0\le i \le \lfloor (n17)/4 \rfloor \).
Let us now consider \(\lambda \in {\mathcal {D}}_h\) for \(h\ge 6\). In this case
where \(i=\sum _{s=1}^{h4}i_s\), and so
Notice that
and so \(\sigma (\lambda )\in {\mathbb {D}}_k \cap {\mathcal {D}}^*_{h3}\). Similarly, if \(\lambda \in {\mathcal {C}}_h\), then
and
since the sum of the first \(h3\) terms is \((h^23h)/{2}1+\sum _{s=1}^{h4}i_s\). If \(\lambda \in {\mathcal {B}}_h\), we have
an so
since the sum of the first \(h3\) terms is \((h^23h)/{2}+\sum _{s=1}^{h4}i_s\). Finally, in the case when
we obtain
noticing that the sum of the first \(h2\) terms is \((h^23h)/{2}+1+\sum _{s=1}^{h4}i_s\).
We proved that \(\sigma \) is well defined. Notice also that \(\sigma \) is trivially injective. Therefore it remains to prove that \(\sigma \) is surjective. In particular, it suffices to check that for each partition \(\lambda ^*\in ({\mathcal {A}}^*_{} \,{\dot{\cup }}\, {\mathcal {B}}^*_{} \,{\dot{\cup }}\, {\mathcal {C}}^*_{}\,{\dot{\cup }}\, {\mathcal {D}}^*_{})\cap {\mathbb {D}}_k\), \(\lambda ^* \ne (3,k3)\), there exists \(\lambda \in ({\mathcal {A}}\,{\dot{\cup }}\, {\mathcal {B}}\,{\dot{\cup }}\, {\mathcal {C}}\,{\dot{\cup }}\, {\mathcal {D}})\cap \widetilde{{\mathbb {U}}}_{T_{2k1}}\) such that \(\sigma (\lambda )=\lambda ^*\), since \(\sigma (\widetilde{\pi _n})=(3,k3)\) by definition. Given \(\lambda ^* = (\lambda _1^*,\lambda _2^*, \dots , \lambda _t^*)\in {\mathbb {D}}_k\), by the definition of \(\sigma \) we have that the partition \(\lambda \) denoted by its missing parts \((n2\lambda _t^*, \dots , n2\lambda _2^*, n2\lambda _1^*)\) is such that \(\sigma (\lambda )=\lambda ^*\). It remains to prove that such \(\lambda \) is a maximal unrefinable partition of n. The full details of the proof are here omitted since they can be obtained by arguments very similar to those used for proving that \(\sigma \) is well defined. As an example, let us consider the case when \(\lambda ^*\in {\mathcal {A}}^*_{t} \cap {\mathbb {D}}_k\), for \(t\ge 5\), and let us prove that \(\lambda ^*\) is the image of an unrefinable partition \(\lambda \) of class \({\mathcal {A}}\). Since \(\lambda ^*\) is a partition of k into t distinct parts and contains 1 and 2 by definition we can write
where
for some \(i_1, i_2, \dots , i_{t3} \ge 0\) (cf. also Eq. (12)). We can now substitute \(t1\) to \(h2\) and \((n+1)/2\) to k in Eq. (13). Applying the correspondence \(\lambda _i \leftrightarrow n2\lambda _{ti+1}^*\) and denoting the obtained partition \(\lambda \) by listing its missing parts, we obtain
as in Eq. (11). This proves that \(\lambda \in \widetilde{{\mathbb {U}}}_{T_{2k1}}\cap {\mathcal {A}}_{t+1}\) is unrefinable (cf. Proposition 5.6 and Remark 4) and such that \(\sigma (\lambda ) = \lambda ^*\). The remaining cases are similar. \(\square \)
Remark 5
The bijection \(\sigma \) is not well defined when \(k < 7\). However, it can be easily shown that the result of Theorem 5.11 is still valid when \(k=4\) and \(k=5\), where we have \(\#\widetilde{{\mathbb {U}}}_{T_{7}}= \#{\mathbb {D}}_4 = 1\) and \(\#\widetilde{{\mathbb {U}}}_{T_{9}}= \#{\mathbb {D}}_5 = 2\), respectively. The claim is false instead in the case \(k=6\), where we have \(\#\widetilde{{\mathbb {U}}}_{T_{11}} = 4\) and \(\#{\mathbb {D}}_6 = 3\).
In the proof of Theorem 5.11 we showed that \(\sigma \) is a bijection from \(\widetilde{{\mathbb {U}}}_{T_{2k1}}\) to \({\mathbb {D}}_k\). Moreover, we also proved that \(\sigma \) is bijective when it is restricted to each class.
Corollary 5.12
The function \(\sigma \) of Theorem 5.11 maps in a bijective way

(i)
\({\mathcal {A}}_{h}\cap \widetilde{{\mathbb {U}}}_{T_{2k1}}\) to \({\mathcal {A}}^*_{h1}\cap {\mathbb {D}}_k\),

(ii)
\({\mathcal {B}}_{h}\cap \widetilde{{\mathbb {U}}}_{T_{2k1}}\) to \({\mathcal {B}}^*_{h2}\cap {\mathbb {D}}_k\),

(iii)
\({\mathcal {C}}_{h}\cap \widetilde{{\mathbb {U}}}_{T_{2k1}}\) to \({\mathcal {C}}^*_{h2}\cap {\mathbb {D}}_k\),

(iv)
\({\mathcal {D}}_{h}\cap \widetilde{{\mathbb {U}}}_{T_{2k1}}\) to \(\left( {\mathcal {D}}^*_{h3}\setminus \{(3,k3)\}\right) \cap {\mathbb {D}}_k\).
Example 5.13
Coming back to the case of Example 5.2, we represent in Table 4 the bijection \(\sigma \) between maximal unrefinable partitions of 13 obtained in the case \(h = j2\) (hence those different from \(\widetilde{\pi _{13}}\)), represented by black dots, and the partitions of 7 into distinct parts, represented by blue dots. Notice that the partition (3, 4) is not displayed since it corresponds to \(\widetilde{\pi _{13}}\). Here x corresponds to
Equivalently, by the antisymmetric property, partitions of 7 into distinct parts can be read looking at the black dots on the right side of the table.
Remark 6
Another combinatorial equality can be derived from the provided construction for \(\widetilde{{\mathbb {U}}}_{N}\). Indeed, assuming \(n=2k1\) for \(k \ge 7\), \(h\ge 6\), and reasoning as in Example 5.8, it can be easily shown that \(\#\left( \widetilde{{\mathbb {U}}}_{T_n} \cap {\mathcal {D}}_h\right) \) equals the number of partitions in \(h3\) parts of f(n, h) in which each part is smaller than or equal to g(n, h), where
The proof is obtained from Proposition 5.6, considering the bijection
In Table 5 the result is summarized for each class. Notice that, using the bijection of Eq. (14) on the partitions shown in Example 5.8, one can recover the eleven partitions of 31 in 4 parts, where each part is not larger than 11.
References
Aragona, R., Civino, R., Gavioli, N., Scoppola, C.M.: Regular subgroups with large intersection. Ann. Mat. Pura Appl. (4) 198(6), 2043–2057 (2019)
Aragona, R., Civino, R., Gavioli, N., Scoppola, C.M.: Rigid commutators and a normalizer chain. Monatsh. Math. 196(3), 431–455 (2021)
Aragona, R., Civino, R., Gavioli, N., Scoppola, C.M.: Unrefinable partitions into distinct parts in a normalizer chain. Discrete Math. Lett. 8, 72–77 (2022)
Andrews, G.E., Newman, D.: Partitions and the minimal excludant. Ann. Comb. 23(2), 249–254 (2019)
Andrews, G.E.: The Theory of Partitions, Encyclopedia of Mathematics and its Applications, vol. 2. AddisonWesley Publishing Co., Reading Mass, LondonAmsterdam (1976)
Fraenkel, A.S., Peled, U.: Harnessing the unwieldy MEX function, Games of no chance 4, Math. Sci. Res. Inst. Publ., vol. 63, Cambridge Univ. Press, New York, pp. 77–94 (2015)
Hopkins, B., Sellers, J. A., Stanton, D.: Dyson’s crank and the mex of integer partitions, J. Combin. Theory Ser. A 185, Paper No. 105523, 10 (2022)
The OnLine Encyclopedia of Integer Sequences, Published electronically at https://oeis.org, Accessed: 20211101
Acknowledgements
The authors are thankful to the referees for their feedback and for their valuable comments improving the quality of the manuscript, and to Alessandro Gambini for useful discussions which motivated the research.
Funding
Open access funding provided by Università degli Studi dell’Aquila within the CRUICARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
R. Aragona and R. Civino are members of INdAMGNSAGA (Italy). R. Civino is partially funded by the Centre of excellence ExEMERGE at the University of L’Aquila.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Aragona, R., Campioni, L., Civino, R. et al. On the maximal part in unrefinable partitions of triangular numbers. Aequat. Math. 96, 1339–1363 (2022). https://doi.org/10.1007/s00010022008906
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00010022008906
Keywords
 Unrefinable partitions
 Partitions into distinct parts
 Triangular numbers
 Minimal excludant
 Bijective proof
Mathematics Subject Classification
 11P81
 05A17
 05A19