Consider the following arithmetic function, $f(a,b) = (a+1, \lceil a- \frac{a}{b} \rceil , \lceil a- \frac{2a}{b} \rceil, \dots, \lceil \frac{a}{b} \rceil, 1)$, where all terms except the first and last are computed by the application of a ceiling function.
For any pair of positive integers $(a,b)$, the vector $f(a,b)$ consists of the terms of an integer partition of length $a+1$. Moreover, $f(a,b)$ and $f(b,a)$ represent dual partitions and have reflected Ferrers Diagrams. This can be proved by recalling the identity \begin{eqnarray} \sum_{j = 0}^{b-1} \left \lceil \tfrac{a(b-j)}{b} \right \rceil = \sum_{j = 0}^{a-1} \left \lceil \tfrac{b(a-j)}{a} \right \rceil. \end{eqnarray} (Going in the other direction, one can use the methods outlined here to give a neat combinatorial proof of this ceiling summation identity.)
In general, these integer partitions contain no $0$s, contain at least one $1$ and at most $a$ $1$s.
Question: Are these partitions a special (read named) subset of the standard partitions?
Problem 1: Determine all pairs $(a,b)$ such that $f(a,b)$ are the terms of an integer partition of $k$ for a fixed $k > 1$. Determine a simple way to find $k$ from $a$ and $b$ (and not by simply adding the terms of the defining relation).
Problem 2: Find other symmetries like $f(a,b) \leftrightarrow f(b,a)$.
(Motivation) For example, $f(2,3) = (4,2,1)$, $f(3,2) = (3,2,1,1)$, $f(1,5) = (6,1)$ and $f(5,1) = (2,1,1,1,1,1)$, which are dual integer partitions of $7$.
Problem 3: Give an interpretation to the sequence {$f(a,b)$} in terms of $a$ and $b$ for fixed $a$ or $b$.
(Motivation) The sequence {$f(1,b)$} consists of terms of the form $(2,1, \dots, 1)$ with $b + 1$ $1$s, which are integer partitions of $b+2$; {$f(2,b)$} consists of terms of the form $(3, 1), (3,1,1), (3,2,1)$ or $(3, 2, \dots, 2, 1, \dots, 1)$ which are each integer partitions of those integers greater than 3 not divisible by $3$; {$f(3,b)$} consists of special integer partitions of integers congruent to {$1,2,5$} mod $6$. Similarly, {$f(4,b)$} consists of integer partitions of integers congruent to {$1, 2, 3$} mod $5$ or {$1,2,6,8$} mod $10$; {$f(5,b)$} consists of integer partitions of integers congruent to {$1, 2, 4$} mod $6$, etc.
Here is some Mathematica code that might be useful:
f[a_, b_] := Flatten[{a + 1, Table[Ceiling[a - j a/b], {j, 1, b - 1}], 1}];
a = 2; Table[Total@f[a, b], {b, 1, 100}]
Thanks!