A research programme after Leibniz for a future physics

In "Einstein’s Unfinished Revolution", Penguin Books, 2019, Lee Smolin introduces principles through which to develop fundamental physics. So, they are not mathematical or logical principles but founding elements for thinking about and then formulating physical theories.

Introduce five closely related principles for a future physics:

1. The principle of background independence 
2. The principle that space and time are relational 
3. The principle of causal completeness 
4. The principle of reciprocity 
5. The principle of the identity of indiscernibles.

These are all aspects, claims Smolin, of what Leibniz called the principle of sufficient reason (PSR). he interprets the principle as follows: 

Every time we identify some aspect of the universe which seemingly might be different, we will discover, on further examination, a rational reason why it is so and not otherwise.

 This is not quite standard but then, if we even go back to Leibniz, we have a number of versions. We shall examine the formulation and the five principles in light of their origin in the philosophy of Leibniz and then go on to discuss them as principles for developing physics especially in dealing with quantum mechanics and theories of space and time.

The promotion of the principle by Leibniz

Although the PSR is most closely associated with Leibniz there is an earlier formulation by Spinoza

Nothing exists of which it cannot be asked, what is the cause (or reason) [causa (sive ratio)], why it exists.

The version given by Smolin has an epistemic flavour while that of Spinoza is ontological. As Smolin is defending a realist view of physics an ontological formulation may be preferred. Leibniz provided a mixture of logical, ontological and epistemic formulations. The modern recovery of the reputation of Leibniz is based on his achievements as a logician and here is the version from the Monadology (not Leibniz's title)

31. Our reasonings are based on two great principles, that of contradiction, in virtue of which we judge that which involves a contradiction to be false, and that which is opposed or contradictory to the false to be true.
32. And that of sufficient reason, by virtue of which we consider that we can find no true or existent fact, no true assertion, without there being a sufficient reason why it is thus and not otherwise, although most of the time these reasons cannot be known to us. 

Ergodicity and investment growth

The status of Ergodicity Economics as a minority topic in mathematical economics may be about to change due to the profile it has achieved through a special 'perspective' article published in Nature in December 2019 authored by Ole Peters of the London Mathematical Laboratory.

The article itself provides a clear introduction that presents sufficient mathematics without being overly pedantic. The main point has been well known and put on a rigorous foundation in mathematical physics for several decades. The point being that the time average of a dynamical variable is not equal to the static expectation value over the associated probability distribution over that variable. The claim that this ignored in main stream economics seems incredible given the repeated claims that mathematics has too tight a hold on the subject currently. However the effects that Peters claims does seem to stand up to scrutiny.

The model that is used to illustrate is a simple gamble where with equal probability you can increase your pot (wealth) $W$ by $A$% or lose $B$%. If $A > B$ then the expected outcome is positive and traditionally the gamble is considered acceptable. In general the outcome is
$$<\Delta W> = W \frac{A - B}{2 \times 100} .$$
This simple game of chance could also be thought of as the outcome of a risky investment or a purchase that has associated unknowns.

However when the stakes are high most people are disinclined to accept the such a bet. High stake would mean something like betting your house. A bad outcome would leave you with significantly reduced  total wealth. The rejection of the gamble is often declared irrational as  you are rejecting an expected win.  But something slippery is going on; "expected" is being used in two distinct ways. The ordinary language use means what is likely happen and what is very likely to happen is that either your wealth increase significantly or it decreases significantly. The technical meaning is that it is the average over the probability distribution; Equation for $\Delta W$, above is that average for the gamble discussed.

Now one way to day with a large one off loss is to spread your bets over time. That is iterate the game. So what is the expected win if the game is played $N$ times? To address this we will have to introduce a more formal mathematical model. Let $s(0)$ be the initial stake and let the stake to iteration $n$ be
$$s(n) = \prod_{i=1}^{n} r_i s(0) $$
where $r_i = a$ with probability a half and $b$ with probability a half, where
$$a = 1 - A/100$$

and
$$b = 1 + B/100$$.
A further technical assumption is that each gamble is independent of the previous one, which gives for the expected stake:

$$<s(n)> = \prod_{i=1}^{n} <r_i >s(0) $$

$$<s(n)> = <r_i>^n s(0)= <r>^n s(0) $$

$$<r> =\frac{a+b}{2}$$
where we have used the fact that each gamble has the same probability distribution.

As long as $<r>$ is greater than one the stake will grow. Is the calculated expectation value what is to be expected? To test this we will look at what happens over time to $s(n)$, that is as $n$ increases. For large $n$, noting that the order in which $a$ or $b$ is randomly selected does not affect the value of $s(n)$. Therefore
$$s(n) = a^{m} b^{n-m} s(0) $$
\[\lim_{n \to \infty} s(n)^{1/n} = \hat{s} =\sqrt{ a b} s(0)\].

So this increases exponentially with rate $\sqrt{ a b}$ if $ab > 1$. Let us first consider the example with parameters used by Peters. The result for $a=0.6$ and $b=1.5$ is shown below for $100$ histories. This case shows that for these parameters playing the game leads to almost certain loss, amounting to ruin or almost complete loss of stake, but the expectation value estimate predicts an exponentially growing gain. For these parameters $\sqrt{ab} < 1$ so the analysis has told us to anticipate this. Here anticipation and expectation are not the same.

Lets keep $a=0.6 but now let $ab$ be greater than 1. This gives

 This give most histories growing, just, after $25000$ iterations. As  $\hat{r} =1.0003$ and now $,r. = 1.366$. By making   $<r>$ slightly bigger we get into a situation where the game becomes almost always favourable to the player.

A more realistic gamble such as investment in carefully chosen stock it likely to vary only a few percent between iterations. This is the situation shown below.

Here when $a$ and $b$ are close there is less uncertainty and the expectation value is not such a terrible estimate as in the previous examples. Perhaps the positive return is unrealistically high. An iterated sample with a 4% loss and 5% gain is shown below.