I was
inspired by Noah Smith's review of Big Ideas in Macroeconomics to see what I could do about showing a Arrow-Debreu-McKenzie-style equilibrium in the information transfer model. I'm going to just attack the problem in bits and pieces. This first piece uses some assumptions I would hope to be able to eliminate in a future approach, but I thought I'd put the ideas down so I can reference them later.
The starting point is at
this link which describes the basic idea of a money-mediated economy in an information transfer framework. We'll try to show how a macroeconomy is built out of many small markets (indexed with a subscript
i). We'll start with the equation:
sidsilogσi=cimdmlogM=nidnilogνi
where
si,
ni are the quantities supplied/demanded in the
ith market and
m is the total amount of money in the economy. The
log's keep track of the information units. This gives us the differential equations:
(1) dnidm=ainim
(2) dsidm=bisim
(3) pij=dnidsj=kijnisj→pi=dnidsi=kinisi
Where
(4) ai=logνicilogM and bi=logσicilogM and ki=logνilogσi
We've already incorporated our first assumptions (one that is key and I think may be key to understanding all of macroeconomics of money): all the
dmi=dm so that the infinitesimal element of money is the same across all sub-markets, which implies that all the
mi=cim+di (linear transformation). If we then assume that the amount of money transferring information for any individual good is small relative to the total amount of money on average, so we can take
m≫di/ci so that
m≃cim and then subsume the
ci into the definitions of
a and
b above. (This is connected to a maximum ignorance assumption and is related to the
equipartition theorem: the money is on average equally distributed among the markets so that no
mi dominates the distribution.) I'd like to do this more rigorously in the future (e.g. using distributions and integrating over them).
In the last differential equation (3), we defined the prices
pi and made the assumption of non-interacting markets (
dni/dsj=piδij, also made at
this link) -- i.e. the prices for a particular good don't depend strongly on the prices for other goods or services. I'd like to relax this assumption in the future, but
Arrow-Debreu appears to make it as well [pdf]. At the end of this post, I make a hand-waving argument in terms of a geometric interpretation of the trace. That gives you, kind reader, something to look forward to because you are about to get slapped in the face with a bunch of algebra.
Let's define aggregate demand using a weighted sum (with weights
wi):
(5) N≡∑iwipini
I put in the weights because measures of NGDP actually do this (e.g. some weights on food and energy are zero for some measures of CPI). You can also see why I used n for the demand. Now let's take a derivative with respect to money:
dNdm=ddm∑iwipini
(6)dNdm=∑iwidpidmni+wipidnidm
Now using equations (1) and (3) above we can show
dpidm=d2nidmdsi=ddsidnidm
dpidm=aimdnidsi−ainim2dmdsi
with a little algebra, we finally obtain:
dpidm=ainipim(1−1biki)
so that equation (6) becomes, after substituting the differential equation (1) for the second term and taking m outside the sum:
(7) dNdm=1m∑iwipini(2ai−aibiki)
note that
aibiki=logνicilogMlogσicilogMlogνilogσi=1
so that substituting into equation (7) we obtain the result:
(8) dNdm=1m∑iwipini(2ai−1)
The piece outside the parentheses is our original aggregate demand N, but we can't just ignore the term in the parentheses. We'll resort to an averaging argument. If the number of markets is large, we can use the law of large numbers to say that ai≃ˉa (maximum ignorance about the actual distribution of the ai) so that:
(9) dNdm≃2ˉa−1m∑iwipini=(2ˉa−1)Nm
P=dNdm=1κNm
where
P is the price level. This shows that a macroeconomy can be built up from a bunch of individual markets in a relatively straightforward way. There are some criticisms brought up by economists regarding the so-called
aggregation problem (and aggregate demand in particular). Those appear to come down to challenges to the assumptions that
ai≃ˉa and
dni/dsj=piδij (i.e. changes in agent preferences change with income and significantly affect the distribution of the
ai and relative prices matter, respectively). The first can be defended with a
maximum entropy argument: if aggregate models appear to work in the sense that e.g. GDP seems to be meaningful (recessions are a real thing -- e.g. Okun's law appears valid on average), then the n-dimensional space of agents does seem to be reduced to a lower dimensional space consisting of GDP and unemployment rates and your extra dimensions (agents) aren't particularly relevant.
The second challenge is more serious at first glance, hence why I'd like to drop it in the future. However, the trace
tr p=∑ipii
is an invariant measure for matrices under various transformations. Also via
Jacobi's formula, the trace is basically the differential of the determinant which means that it represents an infinitesimal volume measure (
detp is the volume spanned by the vectors of
p). That volume represents the size of the aggregate economy, so the trace represents an infinitesimal change in the size of the economy -- and that depends only on the diagonal elements of
p, so the relative prices
pij don't matter. At least that's the reasoning I'd like to use to prove that the
pij don't really matter, only the
pii≡pi.
PPS The values of ˉa are about 3/2 to 7/6 for values of κ being 1/2 to 3/4.
PPPS After going through all this, I did the same calculation using the quantity supplied (see picture at the top of the post) and got κ=1/ˉa. This may have something to do with the right hand side of the supply and demand equations giving us pisi=kini such that the demand ni already contains the price (the units of ni are total value demanded, not total quantity demanded). This makes the whole derivation above from the demand side much easier:
dNdm=ddm∑iwini=∑iwidnidm
=∑iwiainim≃ˉaNm
and gives consistent measures of κ=1/ˉa approaching the problem from the supply side and from the demand side. I'm thinking that's actually the right way to do it.