The existence of inequality of wages, assets, and other incomes in a society has been gaining wide attention recently especially since Pikkety  (Atkinson et al.  , Gabaix et al.  , Grossman and Helpman  , Jones  , Jones and Kim  , Kasa and Lei  , Mankiw  to name only a few). Many researchers tackled this problem by providing models that explain the empirical data, say, the large gap between capital income and labor one, or inequality among labor incomes, and its extent of that inequality. They employ growth models that endogenously induce the inequality underlining the market mechanism. However, whether the inequality is the problem that needs some remedy or should be taken as mere phenomena depends on the sources of inequality. If the inequality arises from the pure market forces, some people think that interference must be as little as possible and the inequality is not a serious problem. If the inequality is born beyond the individual capacity (e.g. inheritance or pure luck), governmental or nongovernmental policies are considered to be required in many respects (tax, wage control, nationalization of institutions and so on) and the inequality is an important problem we must grapple with.
What this paper concerns is the sources of inequality and especially we focus on the possibility that the inequality arises from pure luck. We provide a simple stochastic model in which the ex-post realization of the equilibrium stochastic process is quite biased among people.
To complete this purpose, we have to investigate the existence of some regularity within randomness. Intuitively, the realization of randomness from uniform distribution offers quite equal benefit among people in the long run, for example, in throwing dices or flipping coins, the same numbers realize in almost the same times as experiments continue infinitely. However, from a different mathematical viewpoint, it is possibly said that the same number arises in a regular manner so that the same numbers fall upon almost the same people. To support this aspect, we employ a monumental mathematical theorem which is recently solved. That theorem is the so called Erdös Discrepancy Problem, long time being conjecture from around 1932, which is proved by Terence Tao in  . This theorem roughly states that for any random sequence, the realization of which contains almost the same number periodically.
In this paper, we construct a stochastic equilibrium model in which consumers who have different discount factors buy periodically the capital stock so that they are exposed to randomness at arithmetic progression times. Therefore according to the Erdös Discrepancy Problem, there are some people who obtain high wages arbitrary larger times than low wages or who get low wages arbitrary larger times than high wages corresponding to their distinct discount factors.1
The main feature in this paper is its approach to elucidating the inequality. The existent models (such as  -  ) basically attribute the inequality to intrinsic character such as productivity, ability and income resource. Since we aim to investigate the other resources that give rise to inequality, the model developed in this paper is in a class of its own though based on standard economics notions such as utility, production and equilibrium, and we draw the distinctive conclusion that the pure randomness possibly causes inequality. The underlying mathematics is the Erdös Discrepancy Problem which is deep and new theorem in the number theory. After Tao’s proof  , some papers clarify the substance of this problem (such as Soundararajan  ).
The next section describes the stochastic model in which people who have different discount factors select capital stock with different periodicity. The third section explains the Erdös Discrepancy Problem and applies it to prove the realization of stochastic equilibrium. The last section offers concluding remark.
2. The Model
Let be a probability space and define a two point valued stochastic process for with . The producers’ behavior is described as the following maximization problem.
where means the aggregate labor and is the wage rate.
We normalize .
Consumers buy the capital stock and directly obtain the utility from it and supply labors that yield disutility. Let be the quantity of capital and denote the labor supply by at t. The quantity of initial capital decays at the depreciation rate of . So the stock remains like as the time passes until the period written by . Consumers buy the new capital and replace the old one at . We assume that in the period no capital is available because buying and replacement are assumed to take a time. Next, the new capital is installed after one period at . Then by the same manner , , decays as until . Consumers buy the new capital and replace the old one at , and the new capital is installed after one period at . So we need and the period represents the length of time during which the capital is available. Define for ,
where . Consumers’ objective function can be described by
with where and stand for the utility function and disutility one respectively. In what follows, we assume that the utility and disutility functions are linear.
For convenience, we write down the consumers’ maximization problem by setting the length of the remaining period of stock, , namely the period between the beginning of newly installed capital, and the end of it, . Note that the period at which no capital is not yet available is written by . Denote the set of time at which the capital exists by
Denote the set of nonnegative integers by (namely ). Then the consumers’ maximization problem is written as follows.
where is the price of stock, which is used for financing the capital or saving, and means the increment of quantity of the stock at t. Notice that is bought at t.
We assume that the price of stock has no trend.
for some .
Thus consumers prefer buying at most capital to saving something at the periods other than due to the linearity of utility, presence of discounting and no trend of stock prices. They save only when being in and buy the capital using all the savings and current wages while being in other than . Hence we can express as
for . Set the price process and by for some ,
Since it needs to hold in equilibrium due to the linearity of production function, putting is required for equilibrium. Next we impose parametric assumptions, which lead to the situation where consumers postpone working as late as possible but cannot help but work when buying capital in the time of the form .
Let be the positive solution to , namely, .
Since , we have . Due to , we have . Thus the assumptions are consistent. From the latter part of Assumption 3 and due to , we obtain
Note from (1) and (2) that for , the marginal utility of that contributes to is , and marginal disutility is .
We calculate as follows; for ,
The second and fourth equalities come from (4) and the last inequality is obtained by (5). Hence consumers select for . For , , the same arguments apply. Hence we conclude that
Consider . We see from (1) and (2) that the marginal utility of that contributes to is , and marginal disutility is . We calculate as
Therefore if , it follows that , if otherwise, holds. But if , consumers cannot replace the capital so , whose case can be neglected because the period arising from new capital is not selected at the outset. For , , the same arguments apply. Thus we see that
Hence from (2) and (3) it holds that for ,
Thus we have for all n. So we can rewrite the objective function in (1) as follows.
Define the value function by
We can write
From the recursive character seen above, we see that at the optimal, all are the same. Write the optimal as . Then the maximal value takes the form
In what follows, we aim to determine the concrete number of . Let us put
Then the optimization problem boils down to
We investigate the difference of the above with respect to k. One has
It suffices to know the sign of the numerator in (9) to determine the sign of the fraction (9). Note that
Then we can write as
Now we further put the following assumption on the parameters.
Both inequalities in Assumption 4 are satisfied when is sufficiently small because if , all inequalities hold consistently with Assumption 3.
It follows from former part of Assumption 4 that , which leads to for , and further we see that
for . Thus we find that is strictly decreasing function in k. So equivalently is strictly decreasing function in k. Together with the fact that is strictly increasing in k, we see that
Thus we process the following arguments.
If , it holds that for . In this case, we have since v is decreasing entirely. It requires , which induces , .
If and , it holds that for . In this case, we have if which leads to , .
If and , it holds that and for . In this case, we have if which implies , .
And so forth . Thus we see that for ,
if and , then we have .
if which leads to , .
Note that for large k because converges to and converges to as , and because by (5).
Since in Assumption 3, we have , which leads to . Thus it holds that (recall the definition of before Assumption 3). We can confirm for that
and that for any k,
Consider the case of . Then
Since for and , we obtain .
Although at (since k rises and (10)), we see from (11) and (12) that for some . Since
we obtain . Therefore for , we see and with . So it follows that for .
In the same way, we have for some . Then it holds that for . We have for some . Then it holds that for , and so on.
If , which is out of concern due to Assumption 3, it holds for all k, which means , in other words, this consumer wants to hold the initial stock forever.
To summarize we conclude that for , for , for , , for , . Since
it follows for some that in order for to hold as (note is equivalent to ). Hence we have
where and .
Let . A consumer who has a discount factor in selects , . For people who belong to , the supply of labor is one when , which is the unique opportunity of receiving wages and being exposed by uncertainty, for example, -people who select supply one labor at , -people who select provide one labor at , -people who select supply one labor at , and so on. For example, in the case of , the prime factorization is and people who supply one labor are represented by , namely, 6th time of -people, 4th time of -people, 3rd time of -people, 2nd time of -people and 1st time of -people are those who supply one labor. Denote the prime factorization of t by
where is a prime number and means its multiplicity. Notation obeys the convention in the number theory, which means the number of distinct primes and approximately follows normal distribution (Erdös and Kac Theorem). We write the following expansion as
where . Denote the set of label of people who supply one labor at t by
In the case of aforementioned example , one see that . So we get that stands for the set who supply one labor as before. Therefore we have
Since labor demand is arbitrary from linearity, the supply of labor is always in equilibrium of the labor market. The goods equilibrium condition is denoted by
Because (note is available from but bought at t), its condition holds. The stock market equilibrium condition is written as
Because and the labor other than equals 0 (for each consumer, labor supply is zero in ), the above condition follows.
3. Realization of Stochastic Capital Process
This section concerns the realization of stochastic capital process. The aggregate capital process in equilibrium is described by
as in the previous section where is the exogenous productivity stochastic process taking value or , and stands for a deterministic one endogenously determined in equilibrium. However, each individual consumer potentially face and really encounter at arithmetic progression times the exogenous stochastic productivity process (equivalently wages) , which is realized as , or , or , and so on.
At this point, we introduce the monumental mathematical theorem, known as Erdös Discrepancy Problem, long time being conjecture from around 1932, proved by Terence Tao in (2016). It states that for any sign sequence ,
is infinite. Formally, for any and , there exist and such that
Roughly speaking, given infinite sign sequence, say, , pick up each number skipping times (e.g. pick up skipping 2 times (avoiding )), which adds up to sufficiently large for sufficiently large length of numbers. This topic generally concerns the problem as to whether there exists some regularity within random sequences. Van der Waerden’s theorem (1927) asserts that for any and , there exist and such that
namely, for any sign sequence there exists any long arithmetic progression with the same number. Erdös Discrepancy Problem says the similar statements that taking a homogeneous arithmetic progression, the either sign outnumbers the other one by arbitrary large extent.
We apply this Erdös Discrepancy Problem to the exogenous , which is equal to in equilibrium. In the model in the previous section, consumers are exposed to randomness periodically, namely, -people encounter the randomness at , periods for . By redefining and reinterpret , we can say the following theorem.
Theorem. For arbitrary large number, , and any realization of , there exists a long period of time, , and -people who face the high wages or low wages for periods that outnumber the other ones by difference , namely,
Roughly speaking, even under random environment, there may be a fixed member in a society who is almost always lucky or unlucky for large period of time. Note that in the case of that attains the given C, we take periods, say, that -people encounter and reinterpret it as original sequence, then we can take subsequence that attains the given C.
This paper proposes a stochastic dynamics in which people who are endowed with different discount factors buy the capital stock periodically and are exposed to randomness at arithmetic progression times. We prove that the realization of the stochastic equilibrium may render to the people quite unequal benefits. Its proof is based on Erdös Discrepancy Problem that an arithmetic progression sum of any sign sequence goes to infinity, which is recently solved by Terence Tao (2016). There are some people who obtain high wages arbitrary larger times than low wages or who get low wages arbitrary larger times than high wages corresponding to their distinct discount factors. The result in this paper implies that in a certain society, the sources of inequality come from pure luck.
Finally we note the topics that remain in future research. Inequality arising from realization of stochastic processes only identifies the most lucky or the least one and does not explain the distribution of various income realization. In addition, whether people face the fortunate case or not reflects observation of the finite time and we cannot say anything about what occurs beyond the periods. The type of phenomena that is in this paper out of scope may be explained by other approach or more generalized mathematical theorem on the number theory or stochastic analysis.
1The claim that the possession of capital becomes biased among people according to heterogeneous discount factors is apparently related to the Ramsey’s conjecture, which says that the people who have the lowest discount factors own all the capital and is solved by many authors in various settings (e.g. Becker  , Mitra and Sorger  ). However, in our paper, the discount factor endowed by people who have much capital depends on the realization of stochastic processes and it is not necessarily the lowest discount factor’s people who have the large capital.
 Becker, R.A. (1980) On the Long-Run Steady State in a Simple Dynamic Model of Equilibrium with Heterogeneous Households. The Quarterly Journal of Economics, 95, 375-382.