  This study considers a model of the income distribution of agents whose
pairwise interaction is asymmetric and price-invariant. Asymmetric transactions
are typical for chain-trading groups who arrange their business such that
commodities move from senior to junior partners and money moves in the opposite
direction. The price-invariance of transactions means that the probability of a
pairwise interaction is a function of the ratio of incomes, which is
independent of the price scale or absolute income level. These two features
characterize the hierarchical model. The income distribution in this class of
models is a well-defined double-Pareto function, which possesses Pareto tails
for the upper and lower incomes. For gross and net upper incomes, the model
predicts definite values of the Pareto exponents, $a_{\rm gross}$ and $a_{\rm
net}$, which are stable with respect to quantitative variation of the
pair-interaction. The Pareto exponents are also stable with respect to the
choice of a demand function within two classes of status-dependent behavior of
agents: linear demand ($a_{\rm gross}=1$, $a_{\rm net}=2$) and unlimited slowly
varying demand ($a_{\rm gross}=a_{\rm net}=1$). For the sigmoidal demand that
describes limited returns, $a_{\rm gross}=a_{\rm net}=1+\alpha$, with some
$\alpha>0$ satisfying a transcendental equation. The low-income distribution
may be singular or vanishing in the neighborhood of the minimal income; in any
case, it is $L_1$-integrable and its Pareto exponent is given explicitly.
  The theory used in the present study is based on a simple balance equation
and new results from multiplicative Markov chains and exponential moments of
random geometric progressions.
