Given a constant q∈(1,∞), we study the following property of a
normed sequence space E:
If {xn}n∈N is an element of E and if
{yn}n∈N is an element of ℓq such that
$\sum_{n=1}^{\infty}\left|x_{n}\right|^{q}=\sum_{n=1}^\infty
\left|y_{n}\right|^{q}$ and if the nonincreasing rearrangements of these two
sequences satisfy
∑n=1N∣xn∗∣q≤∑n=1N∣yn∗∣q
for all N∈N, then {yn}n∈N∈E
and $\left\Vert \left{ y_{n}\right}{n\inN}\right\Vert{E}\le
C\left\Vert \left{ x_{n}\right}{n\inN}\right\Vert{E}$ for some
constant C which depends only on E.
We show that this property is very close to characterizing the normed
interpolation spaces between ℓ1 and ℓq. More specificially, we
first show that every space which is a normed interpolation space with respect
to the couple (ℓp,ℓq) for some p∈[1,q] has the
above mentioned property. Then we show, conversely, that if E has the above
mentioned property, and also has the Fatou property, and is contained in
ℓq, then it is a normed interpolation space with respect to the couple
(ℓ1,ℓq). These results are our response to a
conjecture of Galina Levitina, Fedor Sukochev and Dmitriy Zanin in
arXiv:1703.04254v1 [math.OA].