Let $\operatorname{tr}(n)$ be [A007814][1], number of trailing zeros in the binary representation of $n$. Also, let $\operatorname{ntr}(n)$ be [A086784][2], number of non-trailing zeros in the binary representation of $n$. Finally $$f(n)=2^{n-1}+n, f(0)=0$$ I conjecture that positive number $k$ has only one partition into parts with same binary weight as a binary weight of $k$ if and only if - second leftmost bit of $k+1$ equals $0$ and $\operatorname{tr}(k+1)\geqslant f(\operatorname{ntr}(k+1))$ - second leftmost bit of $k+1$ equals $1$ and $\operatorname{tr}(k+1)\geqslant 2^{\operatorname{ntr}(k+1)}$ Here binary weight is [A000120][3], number of $1$'s in the binary representation of $n$. See also [A091891][4] (number of partitions of $n$ into parts which are a sum of exactly as many distinct powers of $2$ as $n$ has $1$'s in its binary representation) and [A091892][5] (numbers $k$ having only one partition into parts which are a sum of exactly as many distinct powers of $2$ as there are $1$'s in the binary representation of $k$). Given conjecture was verified up to max term in a b-file for [A091892][5] with no counterexamples. Here is the PARI/GP prog to check it numerically: tr(n) = valuation(n, 2) ntr(n) = logint(n, 2) - hammingweight(n) - valuation(n, 2) + 1 f(n) = if(n == 0, 0, 2^(n - 1) + n) my(z=1); for(k=1, 2053, while(!(if(bittest(z, logint(z, 2) - 1), tr(z) >= 2^ntr(z), tr(z) >= f(ntr(z)))), z++); print([k, z-1]); z++;); Is there a way to prove it? Is there a way to compute more data (as much as possible) to additionally verify it? Please leave the answers to the second question in the comments. Thank you in advance! [1]: https://oeis.org/A007814 [2]: https://oeis.org/A086784 [3]: https://oeis.org/A000120 [4]: https://oeis.org/A091891 [5]: https://oeis.org/A091892