Characterizing convex trace ranges in finite atomic von Neumann algebras

The paper is devoted to characterizing convex trace ranges in finite atomic von Neumann algebras. The main result provides us with the necessary and sufficient condition for the range of a faithful normal trace on a finite atomic von Neumann algebra to be convex. In order to prove this result we will prove the following result, which has independent interest. Let $\mathbf{a}=(a_1,\dots ,a_n,\dots )$ be a non-increasing positive sequence such that ${\sum }_{n=1}^{\mathrm{\infty }}{a}_n=1.$ Then each real number $0\le r\le 1$ can be represented in the form $r={\sum }_{n=1}^{\mathrm{\infty }}{\epsilon }_n{a}_n,{\epsilon }_n\in \{0,1\},n\ge 1,$ if and only if the sequence $\mathbf{a}$ satisfies $a_n\le 1-{\sum }_{k=1}^n{a}_k$ for all $n\ge 1.$ A set $K$ of all sequences that satisfy the last property can be represented as a convex weak-compact subset of ${\mathrm{\ell }}_1=c_0^{\ast }$. We will describe the set of all extreme points of $K\mathrm{.}$