š¦¶TOESNAIL-MODEš
Theory of Everything - Some Novel Approach Including Love ā¤ļø ā Math on Demand Edition
$ \gdef\ltag#1{\tag{#1}} \gdef\eqref#1{(\text{#1})} $
About
Doesnāt Theory of Everything (TOE) sound just great? So thatās the general idea. A theory explaining life, the universe and everything. And since I was looking for an unused acronym starting with TOE that is sufficiently easy to pronounce I thought of TOENAIL. Then I thought better of potential internet search results and added the šS. And since all is full of love and all you need is love, thatās obviously what a theory of everything must include. Well, thatās the theory at least, letās see where we really end upā¦
https://xkcd.com/55 (CC BY-NC 2.5)
So the idea Iāve been carrying around is a bit different from the typical textbook approaches I know of. In Physics thereās usually the eternal cycle of observation, theoretical explanation, extrapolation (to new potential observations) and experimentation leading to both confirmed or new observation. This Scientific Method is just marvellous and really should be applied more in our everyday lives instead of hearsay, fake news and alternative facts. And thatās what I love about Theoretical Physics and Pure Mathematics ā you cannot argue with $1+1=2$. Itās pure theory, and no experiment can be rigged in order to favour a desired outcome, nor can measurement errors yield wrong conclusions. That is not to say itās perfect let alone trivial, and whatās the point of a great theory if thereās no reality to apply it to? So ultimately the goal of this project is to describe the actual world, and yes, even including love despite itās incredible capability to escape most logical explanations š
Math on Demand Edition?
Not everybody likes mathematics[citation needed]. Crazy, I know š¤Ŗ No, let me be honest: I like mathematics iff it is useful. So maybe Pure Mathematics is not actually my preference. As an example back when studying I saw no purpose in learning about Eigenvalues in Linear Algebra lectures until much later when in Physics they were applied to e.g. Quantum Mechanics. So in this project I try a different approach called āmath on demandā. There will be mathematics(https://en.wikipedia.org/wiki/Group_theory) as an example), but only when itās actually needed and motivated. Anything we donāt need here I wonāt bother to explain ā think YAGNI, or even better, Occamās razor, which boils down to ādonāt overthink it (unless you have to)ā, and good old KISS.
The Shape of Things to Come ā What to expect, and when?
Letās see where this leads toā¦ Consider yourself lucky I woke up way too early tonight so I felt like finally starting to write this, but be aware that Iām an expert in getting things not-so-done aka procrastination, so donāt get your hopes up too much. Then again, feel free to motivate me gently.
Getting started
Name it to tame it
First of all, always writing something like ālife, the universe and everythingā is quite tedious. It is very convenient to use single-letter1 variables as abbreviations instead, such as $t$ for a time. For various reasons, not only Latin letters are used, but sometimes also Greek ones. In order determine the state of a system, the letter Psi $\Psi$ (or itās lowercase version $\psi$) is a very typical choice. And in order to indicate that itās a state, it is surrounded by a bar $|$ and an angle bracket $\rangle$ as $\ket\Psi$. Since this is using the right half of an angle bracket pair, this is called a ket vector. And yes, weāll later also encounter the left bracket counterpart $\bra\Psi$, called a bra vector2. Such a ket-vector can describe things as complicated as ālife, the universe and everythingā and as simple as a tossed coin. The entirety of all possible ket vectors is called a vector space. Now if multiple states are considered, some options occur:
- Just use different letters, such as Phi $\Phi$ (lowercase $\phi$ or sometime $\varphi$ though that usually rather denotes an angle),
- Add indices as subscripts, e.g. $\ket{\Psi_{\text{in}}}$,
- Explicit labels, such as $\ket{42}$ or $\ket{\text{coin=heads}}$.
Observation: (Insert witty headline here)
So describing the entirety of existence as $\ket{42}$ is all fun and games until you try to actually work with it. To get more serious, reality and theory must meet somewhere.
Subsystems: Divide and Conquer!
If $\ket{42}$ is known, youāre omniscient and donāt need to read on (since you already know everything including this very text. #TODO: try and proof whether omniscience is impossible?). Most mortals however donāt, and it is infeasible to try and know everything about the entire universe at all times. Let us therefore split $\ket{42}$ into smaller parts that ideally donāt interact too strongly with one another, e.g.
\[\ket{42} = \ket{\text{coin}, \text{everything else}}.\]There are multiple kinds of notation for this, another form omits the comma, and sometimes one encounters the form
\[\ket{42} = \ket{\text{coin}} \otimes \ket{\text{everything else}}\]where the $\otimes$ denotes a so-called tensor product. Donāt worry about the details for now, itās just mathematical notation for the composition. The $\otimes$ makes it more clear that the state is considered to combine to partial states.
As mentioned before, the split should be made in such a way that $\ket{\text{everything else}}$ does not interfere much, at least for a while. Now, when we say āa whileā so nonchalantly, we are very much ignoring that we have not even defined the passage of time so far, which is something weāll fix later.
Projection: What you perceive is what you believe
In the coin example, the outcome can be either3 $\ket{\text{heads}}$ or $\ket{\text{tails}}$. If the probability of $\ket{\text{heads}}$ is $p$ (ideally 50% for a fair coin tossed fairly), then the probability of $\ket{\text{tails}}$ is $1-p$. Before the result of the toss is checked, or āmeasuredā, we hence have
\[\ket{\text{tossed coin}} \propto p\cdot\ket{\text{heads}} + (1-p)\cdot\ket{\text{tails}} \ltag{t1}.\]Here the symbol $\propto$ means āproportional toā, i.e. there can be a linear factor scaling between the sides, e.g. $a = c\cdot b$ implies $a\propto b$ but looses information about $c$. Weāre also adding a tag $\eqref{t1}$ so we can more easily refer to this formula later.
Note how we multiply multiple ket vectors with real numbers and add those together - just like youād say āthree apples and two bananasā. Itās not witchcraft, but if you havenāt seen this yet make sure you accept this crucial concept. This kind of combination of states is calles linear combination.
Bra-vectors
Before we talk about actual measurement, letās finally properly introduce a very convenient tool: The bra vector $\bra{\Psi}$, which is the dual vector to the ket vector $\ket{\Psi}$. The term ādualityā indicates that for each ket vector there exists precisely one unique āpartneringā bra vector and vice versa - a very important concept. Since the entirety of ket vectors is called vector space, its dual counterpart (the entirety of bra vectors) is called a dual (vector) space. What is it good for? Just like real numbers, we can also combine bra vectors with ket vectors, e.g. $\bra{\text{heads}}\cdot\ket{\text{tails}}$, or more concise as a so-called bra-ket $\braket{\text{heads}\vert\text{tails}}$. The bra vectors are constructed by definition such that a bra-ket term is a so-called inner product, which yields a scalar number.
Inner product - and complex numbers
The inner product $\braket{\Psi\vert\Phi}$ of two vectors $\ket\Psi$ and $\ket\Phi$ (the greek letter Phi) can be any number, not just also a negative one but even a so-called complex number. For some first details please refer to the footnote.[^complex-numbers]
[^complex-numbers]{
Complex numbers
For now, letās just say complex numbers are a pair of two real numbers, one denoting a positive length and the other an angle for a direction. The āusualā real numbers are either positive, which means an angle of 0Ā°, or negative, which means an angle of 180Ā° (but still a positive length!).
The angles of 90Ā° and 270Ā° yield imaginary numbers, which have the peculiar property of squaring to negative numbers - something deemed impossible for real numbers, hence the name. Just like $1$ denotes the positive unit of real numbers, i.e. a number of length one and angle 0Ā°, and $-1$ the negative unit, we use the letter $i$ to denote the imaginary unit of length one and angle 90Ā° (and similarly $-i$ has the angle 270Ā°, which is actually just a combination $(-1)\cdot i$). Complex numbers with arbitrary angles can be considered a linear combination of a real and an imaginary number, such as $3+4i$, which has the length $\sqrt{3^2+4^2}=5$ and angle slightly below 37Ā°. Complex numbers have many important properties and benefits compared to āmereā real numbers, which weāll learn more about later. For now it should suffice to say that there is also one significant drawback to complex numbers: They canāt be ordered! There is no unique way to determine which of two complex numbers is āgreaterā or āsmallerā than the other, e.g. $i \not>1$ but $i \not<1$ as well.
}
The inner product fulfills the following properties:
\[\begin{align*} \braket{\Phi\vert\Psi} &= \overline{\braket{\Psi\vert\Phi}} \ltag{conjugate symmetry} \\ \braket{\Xi\vert a\Psi+b\Phi} &= a\braket{\Xi\vert\Psi} + b\braket{\Xi\vert\Phi} \ltag{linearity} \\ \forall\ket\Psi\neq\ket0: \|\Psi\|^2 := \braket{\Psi\vert\Psi} &> 0 \ltag{positive-definiteness} \end{align*}\]Aside from having introduced another greek letter Xi $\Xi$ (lowercase $\xi$) in $\eqref{positive-definiteness}$ weāve used the forall-notation $\forall$ and the definition notation ā$:=$ā - spelled out this reads:
For each $\ket\Psi$ which is not the zero-Vector $\ket0$, the following holds: $|\Psi|^2$, which we define as $\braket{\Psi\vert\Psi}$, is always positive ($> 0$).
Clearly $\forall$ is shorter though it takes some getting used to, especially when we later combine it with the āthere existsā symbol $\exists$ š. Completely in passing we also introduced the zero-Vector $\ket0$, which however should be straight-forward to understand and gives us a direct opportunity to use $\forall$ again:
\[\begin{align*} \forall \ket\Psi &: \ket\Psi + \ket0 = \ket\Psi, \\\forall \ket\Psi &: 0\cdot\ket\Psi = \ket0 \end{align*}\]In other words, the zero-vector $\ket0$ basically behaves like the normal number zero 0 by not changing anything it is added to.
For two unit vectors, the length of the inner product is always $\le1$ and only exactly equal to one of the vectors are parallel or anti-parallel.
Norms
More specifically, the bra-ket of a vector with itself, $\braket{\Psi\vert\Psi} =: \Vert\Psi\Vert^2 \ge 0$ is a positive number or zero and its (positive) square-root $\sqrt{\braket{\Psi\vert\Psi}}=\Vert\Psi\Vert=:\Psi$ called its norm. We have also introduced some mathematical notations here:
- $=:$ means the term right to the colon is defined to be equal the term left of the equals sign. The other direction $:=$ is also possible. This is a helpful notation to introduce abbreviations or new definitions
- $\ge$ means āgreater $>$ or equal $=$ toā. If a number is $\ge0$ that means it either zero or positive, which is also called non-negative. Similarly thereās $\le$ denoting āless $<$ or equal toā
- It is very common in Physics to use the same variable name for different things that should be clear from context and notation. Here both the vector $\ket\Psi$ and its norm $\Psi$ use the greek letter $\Psi$. Weāll later also encounter e.g. operators $\hat\Psi$ and eigenvalues $\Psi_k$, but donāt worry about those for now and just keep in mind that the notation around the letter is relevant as well.
It is convention to use $\ket 0$ to denote the4 āsmallestā vector with vanishing norm $\Vert0\Vert=0$. Vectors $\ket e$ with a norm $\Vert e\Vert=1$ of one are called unit vectors. All vectors $\ket\Psi$ with a finite norm $\Psi=\Vert\Psi\Vert<\infty$ (where $\infty$ denotes infinity) can be normalized to a unit vector via division $\ket{e_\Psi} := \frac1{\Psi}\ket\Psi$. Since that unit vector only has to be multiplied by the original norm in order to obtain the original vector, it can be considered āpointing into $\ket\Psi$ās directionā. Note that there can exist vectors of infinite norm which are also called non-normalizable.
The inner product is a measure of the similarity of two vectors. If it is zero the two vectors have nothing in common and are called orthogonal or perpendicular.
Letās continue with a roughly commented outline, consider this a sneak preview.
Transition: Time keeps on slippinā
Basically $\ket{42}$ encodes everything forever. But being beings that perceive time in a linear fashion weāre typically interested in transitions between states, such as the question how a state evolves over time. Interactions between systems are of interest as well. Letās take the coin example again:
$\ket{\text{coin}} \to \ket{\text{tossed coin}}$
The arrow $\to$ just denotes this transition. #TODO: get to operatorsā¦
Observe
Measurement via operators, but not the Eigenvalue-Approach, rather some product space or such. Eigenvalues of course, too, but not as āmeasurement valuesā but rather to justify bases and such.
Symmetry / Noether / Gauge
Gently get from dynamics via operators to group theory, conservation thanks to Noetherās Theroem, and the connection between particle fields and gauge theory. Probably something about symmetry breaking Ć la Higgs, but Iāll have to read up on that again firstā¦
-
Programmers actually frown upon this, and indeed when programming thereās often too many variables to still keep an overview, so they use descriptive variable names instead. In physics, formulae such as āvelocity = (elapsed distance) / (elapsed time)ā instead of $v =\frac{\Delta x}{\Delta t}$ would get quite messy quickly, especially when doing maths by hand.Ā ↩
-
For more information feel free to consult the Wikipedia article on the bra-ket notation, but be advised it is heavy on maths and will quickly invoke terms such as Hilbert space ā a very important concept, but way too soon to explain here.Ā ↩
-
Yes, yes, it could also be $\ket{\text{picked by a bird mid-air}}$ and the likes, but remember KISS?Ā ↩
-
The vector and not a vector, since it turns out for a given vector space the vector of norm zero is unique - but that is a #TODO for later.Ā ↩