Return to: MkDocs-MaterialX Start Page

2026-10-192026-10-19

And other Text Colors

Text Colours⚓︎

Text Colours

Be wary that the below color names are case-sensitive. For example, \color{olivegreen} raises an "undefined color" error, but \color{OliveGreen} works fine. Table can be sorted by color name, by hue, by saturation, or by lightness.

Go to: Text Colour: UMCS

Back to: #Advanced-Configuration

Name	Hex	Hue	Saturation	Lightness
Apricot	`#FBB982`	27.3	239.2	190.5
Aquamarine	`#00B5BE`	182.8	255.0	95.0
Bittersweet	`#C04F17`	19.9	200.4	107.5
Black	`#221E1F`	0.3	15.9	32.0
Blue	`#2D2F92`	238.2	134.8	95.5
BlueGreen	`#00B3B8`	181.6	255.0	92.0
BlueViolet	`#473992`	249.4	111.8	101.5
BrickRed	`#B6321C`	8.6	187.0	105.0
Brown	`#792500`	18.3	255.0	60.5
BurntOrange	`#F7921D`	32.2	237.6	138.0
CadetBlue	`#74729A`	243.0	42.1	134.0
CarnationPink	`#F282B4`	333.2	207.0	186.0
Cerulean	`#00A2E3`	197.2	255.0	113.5
CornflowerBlue	`#41B0E4`	199.1	191.5	146.5
Cyan	`#00AEEF`	196.3	255.0	119.5
Dandelion	`#FDBC42`	39.1	249.7	159.5
DarkOrchid	`#A4538A`	319.3	83.6	123.5
Emerald	`#00A99D`	175.7	255.0	84.5
ForestGreen	`#009B55`	152.9	255.0	77.5
Fuchsia	`#8C368C`	300.0	113.0	97.0
Goldenrod	`#FFDF42`	49.8	255.0	160.5
Gray	`#949698`	0.2	4.9	150.0
Green	`#00A64F`	148.6	255.0	83.0
GreenYellow	`#DFE674`	63.7	177.3	173.0
JungleGreen	`#00A99A`	174.7	255.0	84.5
Lavender	`#F49EC4`	333.5	203.1	201.0
LimeGreen	`#8DC73E`	85.4	140.3	130.5
Magenta	`#EC008C`	324.4	255.0	118.0
Mahogany	`#A9341F`	9.1	176.0	100.0
Maroon	`#AF3235`	358.6	141.7	112.5
Melon	`#F89E7B`	16.8	229.3	185.5
MidnightBlue	`#006795`	198.5	255.0	74.5
Mulberry	`#A93C93`	312.1	121.4	114.5
NavyBlue	`#006EB8`	204.1	255.0	92.0
OliveGreen	`#3C8031`	111.6	113.8	88.5
Orange	`#F58137`	23.4	230.7	150.0
OrangeRed	`#ED135A`	340.5	218.9	128.0
Orchid	`#AF72B0`	299.0	71.9	145.0
Peach	`#F7965A`	22.9	231.4	168.5
Periwinkle	`#7977B8`	241.8	80.1	151.5
PineGreen	`#008B72`	169.2	255.0	69.5
Plum	`#92268F`	301.7	149.7	92.0
ProcessBlue	`#00B0F0`	196.0	255.0	120.0
Purple	`#99479B`	298.6	94.8	113.0
RawSienna	`#974006`	24.0	235.5	78.5
Red	`#ED1B23`	357.7	217.7	132.0
RedOrange	`#F26035`	13.7	224.2	147.5
RedViolet	`#A1246B`	325.9	161.8	98.5
Rhodamine	`#EF559F`	331.2	211.1	162.0
RoyalBlue	`#0071BC`	203.9	255.0	94.0
RoyalPurple	`#613F99`	262.7	106.3	108.0
RubineRed	`#ED017D`	328.5	252.9	119.0
Salmon	`#F69289`	13.5	224.8	150.0

Source

Return to: Text Colour: UMCS

HTML Code for Text Colour⚓︎

HTML Text Colour

<table>
    <thead>
        <tr>
            <th>Color Name</th>
            <th>Color Swatch</th>
            <th>Example</th>
        </tr>
    </thead>
    <tbody>
        <tr>
            <td>Apricot</td>
            <td><span class="color-swatch" style="background-color: #FFB3A6;"></span></td>
            <td><span style="color: #FFB3A6;">The quick brown fox jumps over the lazy dog.</span></td>
        </tr>
        <tr>
            <td>Aquamarine</td>
            <td><span class="color-swatch" style="background-color: #7FFFD4;"></span></td>
            <td><span style="color: #7FFFD4;">The quick brown fox jumps over the lazy dog.</span></td>
        </tr>
        <tr>
            <td>Bittersweet</td>
            <td><span class="color-swatch" style="background-color: #FE6F5E;"></span></td>
            <td><span style="color: #FE6F5E;">The quick brown fox jumps over the lazy dog.</span></td>
        </tr>
        <tr>
            <td>Black</td>
            <td><span class="color-swatch" style="background-color: #000000;"></span></td>
            <td><span style="color: #000000;">The quick brown fox jumps over the lazy dog.</span></td>
        </tr>
        <tr>
            <td>Blue</td>
            <td><span class="color-swatch" style="background-color: #0000FF;"></span></td>
            <td><span style="color: #0000FF;">The quick brown fox jumps over the lazy dog.</span></td>
        </tr>
        <tr>
            <td>BlueGreen</td>
            <td><span class="color-swatch" style="background-color: #009966;"></span></td>
            <td><span style="color: #009966;">The quick brown fox jumps over the lazy dog.</span></td>
        </tr>
        <tr>
            <td>BlueViolet</td>
            <td><span class="color-swatch" style="background-color: #8A2BE2;"></span></td>
            <td><span style="color: #8A2BE2;">The quick brown fox jumps over the lazy dog.</span></td>
        </tr>
        <tr>
            <td>BrickRed</td>
            <td><span class="color-swatch" style="background-color: #CB4154;"></span></td>
            <td><span style="color: #CB4154;">The quick brown fox jumps over the lazy dog.</span></td>
        </tr>
        <tr>
            <td>Brown</td>
            <td><span class="color-swatch" style="background-color: #964B00;"></span></td>
            <td><span style="color: #964B00;">The quick brown fox jumps over the lazy dog.</span></td>
        </tr>
        <tr>
            <td>BurntOrange</td>
            <td><span class="color-swatch" style="background-color: #CC5500;"></span></td>
            <td><span style="color: #CC5500;">The quick brown fox jumps over the lazy dog.</span></td>
        </tr>
        <tr>
            <td>CadetBlue</td>
            <td><span class="color-swatch" style="background-color: #5F9EA0;"></span></td>
            <td><span style="color: #5F9EA0;">The quick brown fox jumps over the lazy dog.</span></td>
        </tr>
        <tr>
            <td>CarnationPink</td>
            <td><span class="color-swatch" style="background-color: #FFA6C9;"></span></td>
            <td><span style="color: #FFA6C9;">The quick brown fox jumps over the lazy dog.</span></td>
        </tr>
        <tr>
            <td>Cerulean</td>
            <td><span class="color-swatch" style="background-color: #007BA7;"></span></td>
            <td><span style="color: #007BA7;">The quick brown fox jumps over the lazy dog.</span></td>
        </tr>
        <tr>
            <td>CornflowerBlue</td>
            <td><span class="color-swatch" style="background-color: #6495ED;"></span></td>
            <td><span style="color: #6495ED;">The quick brown fox jumps over the lazy dog.</span></td>
        </tr>
        <tr>
            <td>Cyan</td>
            <td><span class="color-swatch" style="background-color: #00FFFF;"></span></td>
            <td><span style="color: #00FFFF;">The quick brown fox jumps over the lazy dog.</span></td>
        </tr>
        <tr>
            <td>Dandelion</td>
            <td><span class="color-swatch" style="background-color: #F0E68C;"></span></td>
            <td><span style="color: #F0E68C;">The quick brown fox jumps over the lazy dog.</span></td>
        </tr>
        <tr>
            <td>DarkOrchid</td>
            <td><span class="color-swatch" style="background-color: #9932CC;"></span></td>
            <td><span style="color: #9932CC;">The quick brown fox jumps over the lazy dog.</span></td>
        </tr>
        <tr>
            <td>Emerald</td>
            <td><span class="color-swatch" style="background-color: #50C878;"></span></td>
            <td><span style="color: #50C878;">The quick brown fox jumps over the lazy dog.</span></td>
        </tr>
        <tr>
            <td>ForestGreen</td>
            <td><span class="color-swatch" style="background-color: #228B22;"></span></td>
            <td><span style="color: #228B22;">The quick brown fox jumps over the lazy dog.</span></td>
        </tr>
        <tr>
            <td>Fuchsia</td>
            <td><span class="color-swatch" style="background-color: #FF00FF;"></span></td>
            <td><span style="color: #FF00FF;">The quick brown fox jumps over the lazy dog.</span></td>
        </tr>
        <tr>
            <td>Goldenrod</td>
            <td><span class="color-swatch" style="background-color: #DAA520;"></span></td>
            <td><span style="color: #DAA520;">The quick brown fox jumps over the lazy dog.</span></td>
        </tr>
        <tr>
            <td>Gray</td>
            <td><span class="color-swatch" style="background-color: #808080;"></span></td>
            <td><span style="color: #808080;">The quick brown fox jumps over the lazy dog.</span></td>
        </tr>
        <tr>
            <td>Green</td>
            <td><span class="color-swatch" style="background-color: #008000;"></span></td>
            <td><span style="color: #008000;">The quick brown fox jumps over the lazy dog.</span></td>
        </tr>
        <tr>
            <td>GreenYellow</td>
            <td><span class="color-swatch" style="background-color: #ADFF2F;"></span></td>
            <td><span style="color: #ADFF2F;">The quick brown fox jumps over the lazy dog.</span></td>
        </tr>
        <tr>
            <td>JungleGreen</td>
            <td><span class="color-swatch" style="background-color: #29AB87;"></span></td>
            <td><span style="color: #29AB87;">The quick brown fox jumps over the lazy dog.</span></td>
        </tr>
        <tr>
            <td>Lavender</td>
            <td><span class="color-swatch" style="background-color: #E6E6FA;"></span></td>
            <td><span style="color: #E6E6FA;">The quick brown fox jumps over the lazy dog.</span></td>
        </tr>
        <tr>
            <td>LimeGreen</td>
            <td><span class="color-swatch" style="background-color: #32CD32;"></span></td>
            <td><span style="color: #32CD32;">The quick brown fox jumps over the lazy dog.</span></td>
        </tr>
    </tbody>
</table>

Adding Colors

Adding colors to your text is supported by the xcolor (supersedes package color). Using this package, you can set the font color, text background, or page background. You can choose from predefined colors or define your own colors using RGB, Hex, or CMYK. Mathematical formulas can also be colored.

Pied Piper

The last 3 special directories.

 NB: The last 3 special directories (last, week and month) which links repectively to the last
 synced repository, to the last Monday and to the first of the current month.

LaTeX/Package

Adding the xcolor package

To make use of these features, the ${{LaTeX/Package|xcolor}}$ package must be imported. ${{LaTeX/Package|xcolor}}$ starts from the basic facilities of the ${{LaTeX/Package|color}}$ package and extends it.

$\displaystyle \sum_{i=0}^n i^2 = \frac{(n^2+n)(2n+1)}{6}$

\[ \sum_{i=0}^n i^2 = \frac{(n^2+n)(2n+1)}{6} \]

The package allows you to use the names of 19 base colors (black, white, blue, green, yellow, red etc.); these names are always available. Besides, the package has some options to get more predefined colors, which should be added globally.

The package ${{LaTeX/Parameter|dvipsnames}}$ allows you to access more than 60 colors, and the package ${{LaTeX/Parameter|svgnames}}$ allows access to about 150 colors. If you need more color names, then you may also want to look at the ${{LaTeX/Parameter|x11names}}$ option that offers more than 300 colors.

The ${{LaTeX/Parameter|table}}$ option allows colors to be added to tables.

When there are 2 Solutions

\[\begin{align} p(v_i=1|\mathbf{h}) & = \sigma\left(\sum_j w_{ij}h_j + b_i\right) \\ p(h_j=1|\mathbf{v}) & = \sigma\left(\sum_i w_{ij}v_i + c_j\right) \end{align}\]

\[\begin{flalign} p(v_i=1|\mathbf{h}) & = \sigma\left(\sum_j w_{ij}h_j + b_i\right) & \\ p(h_j=1|\mathbf{v}) & = \sigma\left(\sum_i w_{ij}v_i + c_j\right) & \end{flalign}\]

When $a \ne 0$, there are two solutions to $ax^2 + bx + c = 0$ and they are $\displaystyle x = {-b \pm \sqrt{b^2-4ac} \over 2a}.$

The Riemann Curvature Tensor⚓︎

The Riemann Curvature Tensor

What it is: The central mathematical object in differential geometry that measures the intrinsic curvature of a space.

Why it matters: It tells you how much a manifold bends or twists. In Einstein's General Relativity, this tensor is what dictates how mass and energy warp spacetime, effectively defining gravity.

$\begin{aligned}\displaystyle R^\rho_{\ \sigma\mu\nu} = \partial_\mu \Gamma^\rho_{\ \nu\sigma} - \partial_\nu \Gamma^\rho_{\ \mu\sigma} + \Gamma^\rho_{\ \mu\lambda}\Gamma^\lambda_{\ \nu\sigma} - \Gamma^\rho_{\ \nu\lambda}\Gamma^\lambda_{\ \mu\sigma}\end{aligned}$

Geometric Interpretation

The Riemann tensor can also be compactly defined by analyzing how a vector field $X$ changes when you parallel transport it in a loop defined by two other vector fields, $Y$ and $Z$:

$\begin{aligned}R(Y, Z)X = \nabla_Y \nabla_Z X - \nabla_Z \nabla_Y X - \nabla_{[Y, Z]} X\end{aligned}$

The Lorenz Equations⚓︎

The Lorenz Equations

System of Equations⚓︎

The Lorenz equations are a system of three ordinary differential equations (ODEs) originally derived by meteorologist and mathematician Edward N. Lorenz in 1963. They model atmospheric convection, but became famous for being one of the first mathematical systems to demonstrate deterministic chaos and the "butterfly effect".

The Lorenz system is a set of three ordinary differential equations originally derived as a simplified model for atmospheric convection.

$\begin{aligned} \frac{dx}{dt} &= \sigma(y - x) \\ \frac{dy}{dt} &= x(\rho - z) - y \\ \frac{dz}{dt} &= xy - \beta z \end{aligned}$

The Cauchy-Schwarz Inequality⚓︎

The Cauchy-Schwarz Inequality

$\begin{align*} \left( \sum_{k=1}^n a_k b_k \right)^{\!\!2} \leq \left( \sum_{k=1}^n a_k^2 \right) \left( \sum_{k=1}^n b_k^2 \right) \end{align*}$

A Cross Product Formula⚓︎

A Cross Product Formula

$\begin{align*} \mathbf{V}_1 \times \mathbf{V}_2 = \begin{vmatrix} \mathbf{i} & \mathbf{j} & \mathbf{k} \\ \frac{\partial X}{\partial u} & \frac{\partial Y}{\partial u} & 0 \\ \frac{\partial X}{\partial v} & \frac{\partial Y}{\partial v} & 0 \\ \end{vmatrix} \end{align*}$

A Cross Product Formula

The probability of getting $k$ heads when flipping $n$ coins is: $P(E) = {n \choose k} p^k (1-p)^{ n-k}$

A Cross Product Formula

The probability of getting $k$ heads when flipping $n$ coins is:

$\begin{aligned} P(E) = \binom{n}{k} p^k (1-p)^{n-k} \end{aligned}$

An Identity of Ramanujan

An Identity of Ramanujan:

$\begin{align*} \frac{1}{\left(\sqrt{\phi \sqrt{5}}-\phi\right) e^{\frac25 \pi}} = 1 + \dfrac{e^{-2\pi}}{ 1 + \dfrac{e^{-4\pi}}{ 1 + \dfrac{e^{-6\pi}}{ 1 + \dfrac{e^{-8\pi}}{1+\ldots} } } } \end{align*}$

A Rogers-Ramanujan Identity

A Rogers-Ramanujan Identity: $1 + \frac{q^2}{(1-q)} + \frac{q^6}{(1-q)(1-q^2)} + \dots = \prod_{j=0}^{\infty} \frac{1}{(1-q^{5j+2})(1-q^{5j+3})}, \quad\quad \text{for } |q| < 1$

A Rogers-Ramanujan Identity

A Rogers-Ramanujan Identity:

$1 + \frac{q^2}{(1-q)} + \frac{q^6}{(1-q)(1-q^2)} + \dots = \prod_{j=0}^{\infty} \frac{1}{(1-q^{5j+2})(1-q^{5j+3})}, \quad\quad \text{for } |q| < 1$

A Rogers-Ramanujan Identity

A Rogers-Ramanujan Identity:

\[ 1 + \frac{q^2}{(1-q)}+\frac{q^6}{(1-q)(1-q^2)}+\cdots = \prod_{j=0}^{\infty}\frac{1}{(1-q^{5j+2})(1-q^{5j+3})}, \quad\quad \text{for $|q| < 1$} \]

Maxwell's Equations

Maxwell's Equations⚓︎

Maxwell's Equations:

(Single Block: Code left-aligned)

$\begin{aligned} &\nabla \cdot \mathbf{E} = \frac{\rho}{\varepsilon_0} && \text{(Gauss's Law)} \\ &\nabla \cdot \mathbf{B} = 0 && \text{(Gauss's Law for Magnetism)} \\ &\nabla \times \mathbf{E} = -\frac{\partial \mathbf{B}}{\partial t} && \text{(Faraday's Law)} \\ &\nabla \times \mathbf{B} = \mu_0 \left( \mathbf{J} + \varepsilon_0 \frac{\partial \mathbf{E}}{\partial t} \right) && \text{(Ampère-Maxwell's Law)} \end{aligned}$

(Individual: Code left-aligned)

$\begin{aligned} &\nabla \cdot \mathbf{E} = \frac{\rho}{\varepsilon_0} && \text{(Gauss's Law)} \end{aligned}$

$\begin{aligned} &\nabla \cdot \mathbf{B} = 0 && \text{(Gauss's Law for Magnetism)} \end{aligned}$

$\begin{aligned} &\nabla \times \mathbf{E} = -\frac{\partial \mathbf{B}}{\partial t} && \text{(Faraday's Law)} \end{aligned}$

$\nabla \times \mathbf{B} = \mu_0 \left( \mathbf{J} + \varepsilon_0 \frac{\partial \mathbf{E}}{\partial t} \right) \quad \text{(Ampère-Maxwell's Law)}$

(Inline variation below, of the above code:)

$\nabla \cdot \mathbf{E} = \frac{\rho}{\varepsilon_0} \quad \text{(Gauss's Law)} \\ \quad\nabla \cdot \mathbf{B} = 0 \quad \text{(Gauss's Law for Magnetism)}$

$\nabla \times \mathbf{E} = -\frac{\partial \mathbf{B}}{\partial t} \quad \text{(Faraday's Law)} \\ \quad\nabla \times \mathbf{B} = \mu_0 \left( \mathbf{J} + \varepsilon_0 \frac{\partial \mathbf{E}}{\partial t} \right) \quad \text{(Ampère-Maxwell's Law)}$

In-line Mathematics

In-line Mathematics⚓︎

Finally, while display equations look good for a page of samples, the ability to mix math and text in a paragraph is also important. This expression $\sqrt{3x-1}+(1+x)^2$ is an example of an inline equation. As you see, MathJax equations can be used this way as well, without unduly disturbing the spacing between lines.

1. The Derivative Cycle

The Derivative Cycle⚓︎

The magic of $\cos(x)$ is that its derivatives follow a repeating pattern of four. Let’s calculate them at the center $a = 0$:

$n=0$: $f(0) = \cos(0) = \mathbf{1}$
$n=1$: $f'(0) = -\sin(0) = \mathbf{0}$
$n=2$: $f''(0) = -\cos(0) = \mathbf{-1}$
$n=3$: $f'''(0) = \sin(0) = \mathbf{0}$
$n=4$: $f^{(4)}(0) = \cos(0) = \mathbf{1}$ (and we are back to the start)

2. Plugging into the Formula

Plugging into the Formula⚓︎

Now we substitute these values into the series. Notice that every odd power of $x$ disappears because the derivative is $0$.

$f(x) = \frac{1}{0!}x^0 + \frac{0}{1!}x^1 + \frac{-1}{2!}x^2 + \frac{0}{3!}x^3 + \frac{1}{4!}x^4 + \dots$

Simplifying that, we get: $1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \frac{x^6}{6!} + \dots$

3. Generalizing with Sigma Notation

Generalizing with Sigma Notation⚓︎

To turn this into the summation you provided, we need to account for two things:
1. Alternating Signs: We use $(-1)^k$. When $k=0$ it's positive, when $k=1$ it's negative, etc.
2. Even Powers Only: Since only the even positions survived, we replace $n$ with $2k$.

This leads us exactly to: $\cos x = \sum_{k=0}^{\infty} \frac{(-1)^k}{(2k)!} x^{2k}$

The Maclaurin Expansion of $\cos(x)$

Breaking Down the Series⚓︎

The expansion of $\cos(x)$ is essentially an "infinite polynomial" that mimics the curve of the cosine wave perfectly around the origin. Because $\cos(x)$ is an even function (symmetrical across the y-axis), its series only contains even powers of $x$.

As you add more terms from the series, the approximation "hugs" the actual cosine wave further and further away from zero, which is mathematically expressed as $\displaystyle \cos x = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \frac{x^6}{6!} + \dots$

The Lorenz Equations

System of Equations⚓︎

The Lorenz system is a set of three ordinary differential equations originally derived as a simplified model for atmospheric convection.

$\begin{aligned} \frac{dx}{dt} &= \sigma(y - x) \\ \frac{dy}{dt} &= x(\rho - z) - y \\ \frac{dz}{dt} &= xy - \beta z \end{aligned}$

The Variables & Parameters

$x, y, z$: The state variables (representing convection rate, horizontal temperature variation, and vertical temperature variation).
$\sigma$ (sigma): The Prandtl number (ratio of momentum diffusivity to thermal diffusivity).
$\rho$ (rho): The Rayleigh number (representing the heat flow into the system).
$\beta$ (beta): A geometric factor related to the physical dimensions of the layer.

Why It Matters

Deterministic Chaos⚓︎

For certain parameter values (famously $\sigma=10, \rho=28, \beta=8/3$), the system exhibits chaotic behavior. Even though the equations are deterministic, the smallest change in starting conditions leads to vastly different outcomes—this is why long-term weather forecasting is so difficult!

MathJax & MaterialX Configuration Summary⚓︎

A complete, neat summary of everything finalized for the MaterialX for MkDocs (v9.7.0) site.

1. Updated JavaScript Configuration File⚓︎

Replace the entire contents of your javascripts/mathjax.js file with this clean, optimized version. It fixes the trailing pipe regex bug, preserves your dynamic page-switching hooks, and forces your single-click zoom layout for everyone sitewide.

MathJax .js config Click To See Code

window.MathJax = {
  tex: {
    inlineMath: [["\\(", "\\)"]],
    displayMath: [["\\[", "\\]"]],
    processEscapes: true,
    processEnvironments: true
  },
  options: {
    ignoreHtmlClass: ".*", // FIXED: Cleaned up the trailing pipe '|' to prevent parsing bugs
    processHtmlClass: "arithmatex",

    // LOCKS USER ZOOM PREFERENCES SITEWIDE FOR ALL VISITORS
    menuOptions: {
      settings: {
        zoom: 'Click',     // Forces a simple left-mouse click to trigger the zoom window
        zscale: '200%'     // Sets the default zoom scaling level to 200%
      }
    }
  }
};

// CRITICAL FOR MATERIALX / MKDOCS: Handles dynamic theme changes and SPA page switches
document\$.subscribe(() => { 
  MathJax.startup.output.clearCache()
  MathJax.typesetClear()
  MathJax.texReset()
  MathJax.typesetPromise()
})

2. Streamlined mkdocs.yml Settings⚓︎

Configuration blocks are clean and perfectly structured. Active components load immediately, while unused options are safely preserved as plain comments for future reference without causing layout compile errors:

yaml restructure Click To See Code

extra_css:
  # Future Reference (KaTeX Toggle):
  # https://unpkg.com/katex@0/dist/katex.min.css
  - styles/custom.css

extra_javascript:
  - javascripts/mathjax.js
  - javascripts/expand-code.js
  - https://unpkg.com/mathjax@3/es5/tex-mml-chtml.js
  # Future Reference (MathJax Toggles):
  # https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js
  - javascripts/theme_extra.js
  # Future Reference (KaTeX Toggles):
  # javascripts/katex.js
  # https://unpkg.com/katex@0/dist/katex.min.js
  # https://unpkg.com/katex@0/dist/contrib/auto-render.min.js
  - https://unpkg.com/tablesort@5.3.0/dist/tablesort.min.js
  - https://unpkg.com/tablesort@5.3.0/dist/sorts/tablesort.number.min.js
  - javascripts/tablesort.js
  - javascripts/iconsearch.js

3. Page Layout Cheat Sheet (The 3 Math Situations)⚓︎

Use these exact Markdown syntax patterns depending on the alignment and sizing goals for page sections:

Situation 1 Example One

Situation 1: Inline Math (Inside a Text Sentence)

Goal: Blend equations directly into sentences without disrupting regular line heights.
How to write it: Use single dollar signs ($) on the same line as your text.

Rogers-Ramanujan Identity 1

Placed inside a sentence, $1 + \frac{q^2}{(1-q)} + \frac{q^6}{(1-q)(1-q^2)} + \dots = \prod_{j=0}^{\infty} \frac{1}{(1-q^{5j+2})(1-q^{5j+3})}, \quad \text{for } |q| < 1$ this is what a Rogers-Ramanujan Identity looks like.

Situation 1 Example Two

Situation 1: Inline Math (Inside a Text Sentence)

Goal: Blend equations directly into sentences without disrupting regular line heights.
How to write it: Use single dollar signs ($) on the same line as your text.

Inline Equation Example

The famous Euler identity, $e^{i\pi} + 1 = 0$, connects five fundamental mathematical constants seamlessly within a single sentence.

Situation 2

Situation 2: Left-Aligned Display Math (Full Sized)

Goal: Display mathematical symbols at full scale (large fractions, stacked summation/product symbols) but align them neatly with your left text margin.
How to write it: Put your formula on a new line, open with a single $, and immediately lead with \displaystyle.

Rogers-Ramanujan Identity 2

A Rogers-Ramanujan Identity:

$\displaystyle 1 + \frac{q^2}{(1-q)} + \frac{q^6}{(1-q)(1-q^2)} + \dots = \prod_{j=0}^{\infty} \frac{1}{(1-q^{5j+2})(1-q^{5j+3})}, \quad \text{for } |q| < 1$

Situation 3

Situation 3: Centered Display Math (Standalone)

Goal: Give highly important formulas full breathing room by centering them standalone on their own structural block.
How to write it: Isolate the equation completely on its own line wrapped in double dollar signs ($$).

Rogers-Ramanujan Identity 3

A Rogers-Ramanujan Identity:

\[ 1 + \frac{q^2}{(1-q)} + \frac{q^6}{(1-q)(1-q^2)} + \dots = \prod_{j=0}^{\infty} \frac{1}{(1-q^{5j+2})(1-q^{5j+3})}, \quad \text{for } |q| < 1 \]

Rogers-Ramanujan Identity 2

1. Identify the Formula⚓︎

The given expression is the standard form of the Second Rogers-Ramanujan Identity, which equates an infinite series to an infinite product.

2. Verify the Series Side⚓︎

The left-hand side (LHS) is expressed as the summation $\sum_{n=0}^{\infty} \frac{q^{n(n+1)}}{(q; q)_n}$, where $(q; q)_n = \prod_{k=1}^n (1-q^k)$ is the $q$-Pochhammer symbol, yielding terms like $1 + \frac{q^2}{1-q} + \frac{q^6}{(1-q)(1-q^2)} + \cdots$ for $n=0,1,2$.

3. Verify the Product Side⚓︎

The right-hand side (RHS) is equivalent to $\prod_{m=1}^{\infty} \frac{1}{(1-q^{5m-2})(1-q^{5m-3})}$, which can be rewritten with an index of $j=0$ to match the product form $\prod_{j=0}^{\infty} \frac{1}{(1-q^{5j+3})(1-q^{5j+2})}$.

👉 Advanced-Configuration

1. Identify the Formula⚓︎

The given expression represents the component expansion of the covariant derivative of a vector field $Y$ along a vector field $X$. This formula uniquely defines the Christoffel Symbols of the Second Kind ($\Gamma_{im}^k$) as the connection coefficients of the Levi-Civita connection.

2. Verify the Directional Derivative⚓︎

The expression transitions from an abstract coordinate-free notation to a localized coordinate frame:
* $(\nabla_X Y)^k$ represents the $k$-th component of the covariant derivative along the full vector field $X$.
* By utilizing the linearity of the connection, we extract the component fields $X^i$, rewriting the operator as $X^i (\nabla_i Y)^k$. This isolates the derivative with respect to the coordinate basis vector $\partial_i$.

3. Verify the Index Expansion⚓︎

Evaluating the localized operator $(\nabla_i Y)^k$ reveals how the vector field changes, accounting for both the changing components and the changing basis vectors of a curved manifold or curvilinear system:
* The Ordinary Derivative: $\frac{\partial Y^k}{\partial x^i}$ captures the standard calculus rate of change of the component $Y^k$ along the $x^i$ direction.
* The Correction Term: $\Gamma_{im}^k Y^m$ acts as a geometric correction. It uses the Einstein summation convention over the dummy index $m$ to compute how the underlying basis vectors twist, stretch, or rotate across the space.

Definition of Christoffel Symbols

$(\nabla_X Y)^k = X^i (\nabla_i Y)^k = X^i \left( \frac{\partial Y^k}{\partial x^i} + \Gamma_{im}^k Y^m \right)$

Curl of a Vector Field

$\vec{\nabla} \times \vec{F} = \left( \frac{\partial F_z}{\partial y} - \frac{\partial F_y}{\partial z} \right) \mathbf{i} + \left( \frac{\partial F_x}{\partial z} - \frac{\partial F_z}{\partial x} \right) \mathbf{j} + \left( \frac{\partial F_y}{\partial x} - \frac{\partial F_x}{\partial y} \right) \mathbf{k}$

Gauss' Divergence Theorem

$\int_D ({\nabla\cdot} F)dV=\int_{\partial D} F\cdot ndS$

Angle Sum Formula for Cosines

$\cos(\theta+\phi)=\cos(\theta)\cos(\phi)−\sin(\theta)\sin(\phi)$

Cauchy's Integral Formula

$f(a) = \frac{1}{2\pi i} \oint\frac{f(z)}{z-a}dz$

The Quadratic Formula

$x = {-b \pm \sqrt{b^2-4ac} \over 2a}$

The Fourier Transform⚓︎

The Fourier Transform

What it is: A mathematical tool that decomposes a function or signal into its constituent frequencies.

Why it matters: It bridges the gap between the time domain and the frequency domain. It underpins modern signal processing, JPEG/MP3 compression, medical imaging (MRI), and audio engineering.

$\hat{f}(\xi) = \int_{-\infty}^{\infty} f(t) e^{-2\pi i t \xi} \, dt$

The Inverse Fourier Transform

To reverse the process and reconstruct the original time-domain signal from its frequency components, the inverse transform is used:

$f(t) = \int_{-\infty}^{\infty} \hat{f}(\xi) e^{2\pi i t \xi} \, d\xi$

3 Steps To Convert °F to °C

1. Perform Subtraction

First, subtract 32 from the Fahrenheit temperature.

111 - 32 = 79

$(111^\circ\text{F} - 32) = 79^\circ\text{F}$

2. Multiply by Fraction

Next, multiply the result by 5 and then divide by 9.

79 × 5/9 = 395/9

$79 \times \frac{5}{9} = \frac{395}{9}$

3. Convert to Decimal

Finally, divide the numbers to get the repeating decimal.

395/9 = 43.8889

$\frac{395}{9} \approx 43{,}8889^\circ\text{C}$

$(111^\circ\text{F} - 32) \times \frac{5}{9} = 43{,}8889^\circ\text{C}$

$({\color[RGB]{255,107,107}{111^\circ\text{F}}} - 32) = {\color[RGB]{77,173,247}{79^\circ\text{F}}}$

🌡️ Temperature Conversion Guide⚓︎

Temperature Conversion Guide

Task: Convert Fahrenheit ($^\circ\text{F}$) to Celsius ($^\circ\text{C}$)

1. Perform Subtraction

First, subtract 32 from the Fahrenheit temperature.

111 - 32 = 79

$\color{#ff6b6b}({111^\circ\text{F}} - 32) = \color{#4dadf7}{79^\circ\text{F}}$

2. Multiply by Fraction

Next, multiply the result by 5 and then divide by 9.

79 × 5/9 = 395/9

$\color{#4dadf7}{79} \times \frac{5}{9} = \color{#ffd43b}{\frac{395}{9}}$

3. Convert to Decimal

Finally, divide the numbers to get the repeating decimal.

395/9 = 43.8889

$\color{#ffd43b}{\frac{395}{9}} \approx \color{#20c997}{43{,}8889^\circ\text{C}}$

Summary Formula: $\color{#ff6b6b}({111^\circ\text{F}} - 32) \times \frac{5}{9} \approx \color{#20c997}{43{,}8889^\circ\text{C}}$

🌡️ Temperature Conversion Guide 2⚓︎

Temperature Conversion Celsius ($^\circ\text{C}$) to Fahrenheit ($^\circ\text{F}$)

Task: Convert Celsius ($^\circ\text{C}$) to Fahrenheit ($^\circ\text{F}$)

1. Multiply by Fraction

First, multiply the Celsius temperature by 9 and divide by 5.

43.8889 × 9/5 = 79

$\color{#20c997}({43{,}8889^\circ\text{C}} \times \frac{9}{5}) \approx \color{#4dadf7}{79^\circ\text{C equivalent}}$

2. Add Constant

Next, add 32 to the result to get the final Fahrenheit temperature.

79 + 32 = 111

$\color{#4dadf7}{79} + 32 = \color{#ff6b6b}{111^\circ\text{F}}$

Summary Formula: $\color{#20c997}({43{,}8889^\circ\text{C}} \times \frac{9}{5}) + 32 \approx \color{#ff6b6b}{111^\circ\text{F}}$

Extraterrestrial Solar Irradiance

This equation, $\color{#20c997}E_{\rm {ext}} = \color{#ff6b6b}E_{\rm {sc}} \cdot \left(1 + 0.033412 \cdot \cos {\color{#4dadf7}\left(2\pi \frac{{\rm {dn}} - 3}{365}\right)}\right)$ calculates extraterrestrial solar irradiance, which is the intensity of the Sun's energy reaching the top of Earth's atmosphere on any given day of the year.

\[E_{\rm {ext}}=E_{\rm {sc}}\cdot \left(1+0.033412\cdot \cos \left(2\pi {\frac {{\rm {dn}}-3}{365}}\right)\right)\]

Equation Overview⚓︎

The formula accounts for the predictable, annual variation in solar intensity caused by Earth's elliptical orbit.
As the distance between the Earth and the Sun changes, the incoming power density fluctuates by approximately ± 3.34% relative to the average solar constant.

Technical Specifications⚓︎

Technical Specifications

$\color{#20c997}\boldsymbol{E}_{\mathbf{ext}}$: Extraterrestrial radiation flux measured in watts per square meter $\color{#4dadf7}\mathbf{W/m²}$.
$\color{#ff6b6b}\boldsymbol{E}_{\mathbf{sc}}$: The canonical Solar Constant, typically valued at $\color{#4dadf7}\mathbf{\approx 1361.5 \text{ W/m²}}$ or $\color{#4dadf7}\mathbf{\approx 1367 \text{ W/m²}}$.
0.033412: Orbit eccentricity correction factor reflecting the Earth - Sun distance ratio squared.
$\color{#4dadf7}\mathbf{dn}$: Day number of the year ranging sequentially from 1 (January 1^st) to 365 (December 31^st).
-3: Shift factor adjusting for Earth's perihelion, which occurs around January 3^rd.

This equation, $\color{#20c997}E_{\rm {ext}} = \color{#ff6b6b}E_{\rm {sc}} \cdot \left(1 + 0.033412 \cdot \cos {\color{#4dadf7}\left(2\pi \frac{{\rm {dn}} - 3}{365}\right)}\right)$ calculates extraterrestrial solar irradiance, which is the intensity of the Sun's energy reaching the top of Earth's atmosphere on any given day of the year.

Quantitative Impact Analysis⚓︎

Quantitative Impact Analysis

Maximum Intensity: Reaches $\color{#4dadf7}\mathbf{\approx 1407 \text{ W/m²}}$ at perihelion (January 3^rd) when Earth is closest to the Sun.
Minimum Intensity: Drops to $\color{#20c997}\mathbf{\approx 1316 \text{ W/m²}}$ at aphelion (early July) when Earth is furthest away.
Total Variance: The input power density fluctuates by $\color{#ff6b6b}\mathbf{\approx \pm 3.34\%}$ across a net span of $\color{#ff6b6b}\mathbf{\approx 91 \text{ W/m²}}$ over the 12-month orbital path.

Solar spectrum compared to black-body at 5775 K

This page breaks down how to calculate the intensity of sunlight both outside Earth's atmosphere and at ground level, factoring in orbital variance and atmospheric loss.

Core Concept

Solar Irradiance and Illuminance Models⚓︎

Solar Irradiance and Illuminance Models

Solar radiation levels are not static. They fluctuate based on Earth's position in its elliptical orbit and the thickness of the atmosphere the light must penetrate.

Extraterrestrial Solar Irradiance ($G_0$)

Solar Irradiance⚓︎

Solar Irradiance ($G_0$)

The base formula calculates extraterrestrial solar irradiance, representing the intensity of the Sun's energy hitting the top of Earth's atmosphere on any specific day of the year.

\[\begin{flalign*} \color{#20c997}E_{\rm {ext}} = \color{#ff6b6b}E_{\rm {sc}} \cdot \left(1 + 0.033412 \cdot \cos {\color{#4dadf7}\left(2\pi \frac{{\rm {dn}} - 3}{365}\right)}\right) && \end{flalign*}\]

Technical Specifications⚓︎

Technical Specifications

$\color{#20c997}\boldsymbol{E}_{\mathbf{ext}}$: Extraterrestrial radiation flux measured in watts per square meter $\color{#4dadf7}\mathbf{W/m²}$.
$\color{#ff6b6b}\boldsymbol{E}_{\mathbf{sc}}$: The canonical Solar Constant, typically valued at $\color{#4dadf7}\mathbf{\approx 1361.5 \text{ W/m²}}$ or $\color{#4dadf7}\mathbf{\approx 1367 \text{ W/m²}}$.
0.033412: Orbit eccentricity correction factor reflecting the Earth - Sun distance ratio squared.
$\color{#4dadf7}\mathbf{dn}$: Day number of the year ranging sequentially from 1 (January 1^st) to 365 (December 31^st).
-3: Shift factor adjusting for Earth's perihelion, which occurs around January 3^rd.

Orbital Impact Analysis

Maximum Intensity: Reaches $\color{#4dadf7}\mathbf{\approx 1407 \text{ W/m²}}$ at perihelion (January 3^rd) when Earth is closest to the Sun.
Minimum Intensity: Drops to $\color{#20c997}\mathbf{\approx 1316 \text{ W/m²}}$ at aphelion (early July) when Earth is furthest away.
Total Variance: The input power density fluctuates by $\color{#ff6b6b}\mathbf{\approx \pm 3.34\%}$ across a net span of $\color{#ff6b6b}\mathbf{\approx 91 \text{ W/m²}}$ over the 12-month orbital path.

Ground-Level Solar Illuminance

Solar Illuminance⚓︎

Solar Illuminance

To calculate the actual amount of sunlight reaching the ground, we swap from irradiance (energy) to illuminance (visible brightness) and account for atmospheric filtering. The solar illuminance constant $\color{#ff6b6b}\boldsymbol{E}_{\mathbf{sc}}$ in this model is equal to ${\color{#4dadf7}{128 \times 10^3 \text{ lux}}} = {\color{#ffd43b}{128,000 \text{ lux}}}$.
The direct normal illuminance $\color{#4dadf7}\boldsymbol{E}_{\mathbf{dn}}$, corrected for the attenuating effects of the atmosphere, is given by Beer-Lambert's Law:

\[\begin{flalign*} \color{#4dadf7}\boldsymbol{E}_{\mathbf{dn}} = \color{#20c997}\boldsymbol{E}_{\mathbf{ext}} \, e^{-\mathbf{cm}} && \end{flalign*}\]

Atmospheric Attenuation Variables

Attenuation Variables⚓︎

Attenuation Variables

$\color{#4dadf7}\boldsymbol{E}_{\mathbf{dn}}$: The final Direct Normal Illuminance reaching a surface on the ground, measured in lux.
$\color{#20c997}\boldsymbol{E}_{\mathbf{ext}}$: The orbital-corrected extraterrestrial illuminance entering the upper atmosphere.
${\color{#ffd43b}{e}}$: Euler's constant (${\color{#ffd43b}{\approx 2.718}}$), acting as the mathematical base for natural exponential decay.
${\color{#ff6b6b}{\mathbf{c}}}$: The atmospheric extinction coefficient. This describes air clarity; clean, crisp skies have a low value, while humid, dusty, or smoggy skies have a high value.
${\color{#cc5de8}{\mathbf{m}}}$: The relative optical airmass. This dictates the physical volume of air the light beams must pass through before reaching the ground.

Airmass Mechanics

Airmass Mechanics
The value of ${\color{#cc5de8}{\mathbf{m}}}$ is entirely dependent on the sun's position in the sky:
* When the sun is directly overhead (at zenith), the light takes the shortest path straight down, meaning ${\color{#cc5de8}{\mathbf{m} = 1}}$.
* As the sun moves lower toward the horizon, the sunlight must travel sideways through a dramatically thicker layer of the atmosphere (${\color{#cc5de8}{\mathbf{m} > 1}}$).

Summary of Environmental Loss

Environmental Loss⚓︎

Environmental Loss
The filtering term ${\color{#ff6b6b}{e^{-\mathbf{cm}}}}$ scales down the incoming light. While raw space sunlight $\color{#20c997}\boldsymbol{E}_{\mathbf{ext}}$ hovers around ${\color{#20c997}{128,000 \text{ lux}}}$, standard atmospheric scattering and absorption under a clear sky typically brings that number down to roughly ${\color{#4dadf7}{100,000 \text{ lux}}}$ at sea level.

Spectral distribution of sunlight.

The different curves reflect 3 different equally valid ways of characterizing the same sunlight. These curves have peaks at different wavelengths, which demonstrates that the notion of a location where the "peak" amount of sunlight is emitted is not meaningful, and is not a characteristic of the light itself (but is merely an artifact of how the spectrum is represented).
Percentiles offer a way of thinking about the distribution of energy which is independent of the representation. 50 percent of solar irradiance is associated with wavelengths less than about 711 nm (based on approximating sunlight by the emissions of a 5775 K blackbody).

Solar spectral irradiance (watts per square metre per nanometre) above atmosphere (yellow) and at surface (red). Extreme UV and X-rays are produced (left of wavelength range) but comprise very small amounts of the Sun's total output power (area under the curve).

The First Isomorphism Theorem

R. C. Daileda

Misc Maths Fun! Click on the formulas to see the magic.

1^st Isomorphism Theorem⚓︎

1^st Isomorphism Theorem

The homomorphism $\color{#ff6b6b}{f}$ is injective if and only if its kernel is only the singleton set $\color{#f08c00}{e_G}$, because otherwise $\color{#cc5de8}{\exists}\, \color{#f08c00}{a},\color{#f08c00}{b}\color{#cc5de8}{\in} \color{#4dadf7}{G}$ with $\color{#f08c00}{a}\color{#cc5de8}{\neq} \color{#f08c00}{b}$ such that $\color{#ff6b6b}{f}(\color{#f08c00}{a})=\color{#ff6b6b}{f}(\color{#f08c00}{b})$.

Let $\color{#4dadf7}{G}$ be a group. For any $\color{#20c997}{H} \color{#cc5de8}{<} \color{#4dadf7}{G}$, the "reduction mod $\color{#20c997}{H}$" map

\[\begin{flalign*} \color{#ff6b6b}{\pi} : \color{#4dadf7}{G} &\to \color{#4dadf7}{G}/\color{#20c997}{H}, \\ \color{#f08c00}{a} &\mapsto \color{#f08c00}{a}\color{#20c997}{H}, && \end{flalign*}\]

which sends each element of $\color{#4dadf7}{G}$ to its coset in $\color{#4dadf7}{G}/\color{#20c997}{H}$ is called the natural surjection. When $\color{#20c997}{H} \color{#cc5de8}{\triangleleft} \color{#4dadf7}{G}$, we have:

\[\color{#ff6b6b}{\pi}(\color{#f08c00}{a}\color{#f08c00}{b}) = (\color{#f08c00}{a}\color{#f08c00}{b})\color{#20c997}{H} = (\color{#f08c00}{a}\color{#20c997}{H})(\color{#f08c00}{b}\color{#20c997}{H}) = \color{#ff6b6b}{\pi}(\color{#f08c00}{a})\color{#ff6b6b}{\pi}(\color{#f08c00}{b}),\]

for all $\color{#f08c00}{a}, \color{#f08c00}{b} \color{#cc5de8}{\in} \color{#4dadf7}{G}$. This means that $\color{#ff6b6b}{\pi}$ is actually a surjective homomorphism in this case, which we call the natural epimorphism. Since $\color{#20c997}{H}$ is the identity coset in $\color{#4dadf7}{G}/\color{#20c997}{H}$, notice that $\color{#f08c00}{a} \color{#cc5de8}{\in} \color{#20c997}{\ker \pi}$ if and only if:

\[\color{#f08c00}{a}\color{#20c997}{H} = \color{#ff6b6b}{\pi}(\color{#f08c00}{a}) = \color{#20c997}{H} \color{#cc5de8}{\iff} \color{#f08c00}{a} \color{#cc5de8}{\in} \color{#20c997}{H}.\]

Thus:

\[\color{#20c997}{\ker \pi} = \color{#20c997}{H}.\]

That is, every normal subgroup of $\color{#4dadf7}{G}$ is the kernel of a homomorphism with domain $\color{#4dadf7}{G}$. The converse is also true.

Lemma 1. Let $\color{#ff6b6b}{f} : \color{#4dadf7}{G} \to \color{#20c997}{G'}$ be a homomorphism of groups. Then $\color{#20c997}{\ker f} \color{#cc5de8}{\triangleleft} \color{#4dadf7}{G}$.

Proof. Let $\color{#f08c00}{x} \color{#cc5de8}{\in} \color{#4dadf7}{G}$ and let $\color{#f08c00}{a} \color{#cc5de8}{\in} \color{#20c997}{\ker f}$. Then $\color{#ff6b6b}{f}(\color{#f08c00}{a}) = \color{#f08c00}{e'}$ is the identity in $\color{#20c997}{G'}$ so that:

\[\color{#ff6b6b}{f}(\color{#f08c00}{x}\color{#f08c00}{a}\color{#f08c00}{x}^{-1}) = \color{#ff6b6b}{f}(\color{#f08c00}{x})\color{#ff6b6b}{f}(\color{#f08c00}{a})\color{#ff6b6b}{f}(\color{#f08c00}{x})^{-1} = \color{#ff6b6b}{f}(\color{#f08c00}{x})\color{#f08c00}{e'}\color{#ff6b6b}{f}(\color{#f08c00}{x})^{-1} = \color{#ff6b6b}{f}(\color{#f08c00}{x})\color{#ff6b6b}{f}(\color{#f08c00}{x})^{-1} = \color{#f08c00}{e'},\]

which shows that $\color{#f08c00}{x}\color{#f08c00}{a}\color{#f08c00}{x}^{-1} \color{#cc5de8}{\in} \color{#20c997}{\ker f}$.

Since $\color{#f08c00}{a} \color{#cc5de8}{\in} \color{#20c997}{\ker f}$ was arbitrary, this proves:

\[\color{#f08c00}{x}(\color{#20c997}{\ker f})\color{#f08c00}{x}^{-1} \color{#cc5de8}{\subseteq} \color{#20c997}{\ker f}.\]

And since $\color{#f08c00}{x} \color{#cc5de8}{\in} \color{#4dadf7}{G}$ was arbitrary, this proves $\color{#20c997}{\ker f} \color{#cc5de8}{\triangleleft} \color{#4dadf7}{G}$. $\square$

Given a group $\color{#4dadf7}\mathbf{G}$ and a subgroup $\color{#20c997}\mathbf{H}$, Lemma 1 provides perhaps the easiest way to show that $\color{#20c997}\mathbf{H}$ is normal in $\color{#4dadf7}\mathbf{G}$: simply identify $\color{#20c997}\mathbf{H}$ as the kernel of a homomorphism $\color{#ff6b6b}{\mathbf{f}} : \color{#4dadf7}\mathbf{G} \to \color{#20c997}\mathbf{G'}$.

There is actually a deeper connection between normal subgroups and kernels. Let $\color{#ff6b6b}{\mathbf{f}} : \color{#4dadf7}\mathbf{G} \to \color{#20c997}\mathbf{G'}$ be a group homomorphism. We have seen that $\color{#ff6b6b}{\mathbf{f}}$ is injective if and only if $\color{#20c997}\boldsymbol{\ker \mathbf{f}}$ is trivial. Until now this is the only real utility we’ve found for the kernel of a homomorphism.

But when $\color{#20c997}\boldsymbol{\ker \mathbf{f}}$ is nontrivial it actually provides a precise measurement of the failure of the injectivity of $\color{#ff6b6b}{\mathbf{f}}$.

To see why, for $\color{#f08c00}{\mathbf{a}}, \color{#f08c00}{\mathbf{b}} \in \color{#4dadf7}\mathbf{G}$ we define $\color{#f08c00}{\mathbf{a}} \color{#ff6b6b}\boldsymbol{\sim} \color{#f08c00}{\mathbf{b}}$ if and only if $\color{#ff6b6b}{\mathbf{f}}(\color{#f08c00}{\mathbf{a}}) = \color{#ff6b6b}{\mathbf{f}}(\color{#f08c00}{\mathbf{b}}).$ It is an easy exercise to see that $\color{#ff6b6b}\boldsymbol{\sim}$ is an equivalence relation on $\color{#4dadf7}\mathbf{G}$ (indeed, on the domain of any function between two sets). Since

\[\color{#ff6b6b}{\mathbf{f}(\mathbf{a}) = \mathbf{f}(\mathbf{b})} \;\color{#cc5de8}{\iff}\; \color{#f08c00}{\mathbf{e}} \color{#ffffff}{=} \color{#ff6b6b}{\mathbf{f}(\mathbf{b})^{-1}\mathbf{f}(\mathbf{a}) = \mathbf{f}(\mathbf{b}^{-1}\mathbf{a})} \;\color{#cc5de8}{\iff}\; \color{#f08c00}{\mathbf{b}^{-1}\mathbf{a}} \color{#cc5de8}{\in} \color{#20c997}\boldsymbol{\ker \mathbf{f}} \;\color{#cc5de8}{\iff}\; \color{#f08c00}{\mathbf{a}} \color{#cc5de8}{\equiv} \color{#f08c00}{\mathbf{b}} \;\color{#cc5de8}{\pmod{\color{#20c997}\boldsymbol{\ker \mathbf{f}}}}\]

the relation $\color{#ff6b6b}\boldsymbol{\sim}$ is just congruence modulo $\color{#20c997}\boldsymbol{\ker \mathbf{f}}.$ So the equivalence class of $\color{#f08c00}{\mathbf{a}} \in \color{#4dadf7}\mathbf{G}$ under $\color{#ff6b6b}\boldsymbol{\sim}$ is just the coset $\color{#f08c00}{\mathbf{a}}(\color{#20c997}\boldsymbol{\ker \mathbf{f}}):$

\[\color{#f08c00}{\mathbf{a}}(\color{#20c997}\boldsymbol{\ker \mathbf{f}}) = \color{#cc5de8}{\{}\color{#f08c00}{\mathbf{b}} \color{#cc5de8}{\in} \color{#4dadf7}\mathbf{G} \;\color{#cc5de8}{\mid}\; \color{#ff6b6b}{\mathbf{f}(\mathbf{b}) = \mathbf{f}(\mathbf{a})}\color{#cc5de8}{\}}\]

(1)

Part 1: Forward Direction (⟹)⚓︎

Given: $f: G \to H$ is a group homomorphism, and $f$ is injective.
To Prove: $\ker(f) = \{1_G\}$ (i.e., $1_G$ is the only element that maps to $1_H$).

Statements	Reasons
1. $f$ is a group homomorphism.	1. Given
2. $f(1_G) = 1_H$	2. Property of group homomorphisms
3. $1_G \in \ker(f)$	3. Definition of kernel (from Statement 2)
4. $f$ is injective.	4. Given
5. If $f(g) = f(1_G)$, then $g = 1_G$.	5. Definition of an injective function
6. If $f(g) = 1_H$, then $g = 1_G$.	6. Substitution (from Statement 2 into Statement 5)
7. $\ker(f) = \{1_G\}$	7. Direct conclusion from Statements 3 and 6

Part 2: Backward Direction (⟸)⚓︎

Given: $f: G \to H$ is a group homomorphism, and $\ker(f) = \{1_G\}$.
To Prove: $f$ is injective (i.e., if $f(g_1) = f(g_2)$, then $g_1 = g_2$).

Statements	Reasons
1. $f$ is a group homomorphism.	1. Given
2. $\ker(f) = \{1_G\}$	2. Given
3. Let $g_1, g_2 \in G$ such that $f(g_1) = f(g_2)$.	3. Assumption for proving injectivity
4. $f(g_2) \cdot [f(g_1)]^{-1} = f(g_1) \cdot [f(g_1)]^{-1}$	4. Right-multiplication property of equality
5. $f(g_2) \cdot [f(g_1)]^{-1} = 1_H$	5. Inverse property of groups
6. $f(g_2) \cdot f(g_1^{-1}) = 1_H$	6. Homomorphism property of inverses: $[f(x)]^{-1} = f(x^{-1})$
7. $f(g_2 g_1^{-1}) = 1_H$	7. Homomorphism property of operation preservation
8. $g_2 g_1^{-1} \in \ker(f)$	8. Definition of kernel
9. $g_2 g_1^{-1} = 1_G$	9. Substitution (from Statement 2 into Statement 8)
10. $(g_2 g_1^{-1}) \cdot g_1 = 1_G \cdot g_1$	10. Right-multiplication property of equality
11. $g_2 \cdot (g_1^{-1} g_1) = g_1$	11. Associative and identity properties of groups
12. $g_2 \cdot 1_G = g_1$	12. Inverse property of groups
13. $g_2 = g_1$	13. Identity property of groups
14. $f$ is injective.	14. Direct conclusion from Statements 3 and 13

Phase 1: Well-Definedness⚓︎

Goal: Prove that the mapping $\bar{f}(a \ker f) = f(a)$ is independent of the choice of coset representative.

Statements	Reasons
1. Let $a \ker f = b \ker f$.	1. Assumption for checking well-definedness
2. $b^{-1}a \in \ker f$	2. Property of cosets ($xH = yH \iff y^{-1}x \in H$)
3. $f(b^{-1}a) = e'$	3. Definition of the kernel
4. $f(b)^{-1}f(a) = e'$	4. Homomorphism property ($f(b^{-1}) = f(b)^{-1}$)
5. $f(a) = f(b)$	5. Left-multiplying both sides by $f(b)$
6. $\bar{f}(a \ker f) = \bar{f}(b \ker f)$	6. Definition of the mapping $\bar{f}$
7. $\bar{f}$ is well-defined.	7. Direct conclusion from Statements 1 and 6

Phase 2: Homomorphism Property⚓︎

Goal: Prove that $\bar{f}$ preserves the group operation.

Statements	Reasons
1. Let $a \ker f, b \ker f \in G/\ker f$.	1. Selected elements from the quotient group domain
2. $(a \ker f)(b \ker f) = (ab) \ker f$	2. Definition of coset multiplication in quotient groups
3. $\bar{f}((a \ker f)(b \ker f)) = \bar{f}((ab) \ker f)$	3. Applying $\bar{f}$ to both sides
4. $\bar{f}((ab) \ker f) = f(ab)$	4. Definition of the mapping $\bar{f}$
5. $f(ab) = f(a)f(b)$	5. Given that $f$ is a group homomorphism
6. $f(a)f(b) = \bar{f}(a \ker f)\bar{f}(b \ker f)$	6. Definition of the mapping $\bar{f}$
7. $\bar{f}$ is a homomorphism.	7. Transitive closure from Statements 3 through 6

Phase 3: Injectivity⚓︎

Goal: Prove that the kernel of $\bar{f}$ is trivial, confirming it is a monomorphism.

Statements	Reasons
1. Let $\bar{f}(a \ker f) = e'$.	1. Assumption to determine the kernel of $\bar{f}$
2. $f(a) = e'$	2. Definition of the mapping $\bar{f}$
3. $a \in \ker f$	3. Definition of the kernel
4. $a \ker f = \ker f$	4. Absorptive property of cosets ($x \in H \iff xH = H$)
5. $\ker \bar{f} = \{\ker f\}$	5. The only element mapping to $e'$ is the identity coset
6. $\bar{f}$ is injective.	6. A homomorphism is injective iff its kernel is trivial

Phase 4: Uniqueness and Commutativity⚓︎

Goal: Prove that $\bar{f}$ makes the diagram commute ($\bar{f} \circ \pi = f$) and that it is the unique homomorphism doing so.

Statements	Reasons
1. Let $\pi: G \to G/\ker f$ be the natural surjection given by $\pi(a) = a \ker f$.	1. Definition of the natural projection map
2. $(\bar{f} \circ \pi)(a) = \bar{f}(\pi(a)) = \bar{f}(a \ker f)$	2. Definition of function composition
3. $\bar{f}(a \ker f) = f(a)$	3. Definition of the mapping $\bar{f}$
4. $\bar{f} \circ \pi = f$	4. Commutativity confirmed (from Statements 2 and 3)
5. Let $g: G/\ker f \to G'$ be any map such that $g \circ \pi = f$.	5. Assumption for checking uniqueness
6. $g(a \ker f) = g(\pi(a)) = (g \circ \pi)(a)$	6. Defintion of function composition and projection
7. $(g \circ \pi)(a) = f(a) = \bar{f}(a \ker f)$	7. Substitution using Statement 5 and Statement 3
8. $g = \bar{f}$	8. Direct conclusion showing $\bar{f}$ is completely unique

Einstein's Challenge: The Path to Bell's Inequality

Einstein's Challenge⚓︎

Einstein's Challenge: The Path to Bell's Inequality
Before Bell's inequality, Albert Einstein famously rejected the standard interpretation of quantum entanglement. Here is how his skepticism shaped physics history:

The EPR Paradox (1935): Einstein, Podolsky, and Rosen argued that quantum mechanics was incomplete.
Spooky Action: Measuring one entangled particle instantly determines the state of its distant partner.
Instant Communication: Einstein argued this required faster-than-light "spooky action at a distance," violating relativity.
Local Realism: He believed particles must hold definite, predetermined traits before any measurement occurs.
Hidden Variables: He proposed that undiscovered, local "hidden variables" already determined the outcomes inside
the particles.
Bell's Decisive Test (1964): John Stewart Bell formulated his inequality specifically to test if Einstein's hidden variables existed.

This historical clash directly set up the mathematical boundaries detailed in the deep-dive below.

Bell's Inequality

Bell's Inequality⚓︎

Bell's Inequality (CHSH Variant)

In classical physics, any local hidden variable theory must satisfy the following inequality for the correlation of measurements between two distant detectors:

\[\color{#cc5de8}{|}\color{#ff6b6b}{E}(\color{#4dadf7}{\mathbf{a}}, \color{#20c997}{\mathbf{b}}) - \color{#ff6b6b}{E}(\color{#4dadf7}{\mathbf{a}}, \color{#20c997}{\mathbf{b'}})\color{#cc5de8}{|} + \color{#cc5de8}{|}\color{#ff6b6b}{E}(\color{#4dadf7}{\mathbf{a'}}, \color{#20c997}{\mathbf{b}}) + \color{#ff6b6b}{E}(\color{#4dadf7}{\mathbf{a'}}, \color{#20c997}{\mathbf{b'}})\color{#cc5de8}{|} \;\color{#cc5de8}{\le}\; \color{#f08c00}{2}\]

Where:
* $\color{#4dadf7}{\mathbf{a}}$ and $\color{#4dadf7}{\mathbf{a'}}$ are two different measurement settings for Detector A (Alice).
* $\color{#20c997}{\mathbf{b}}$ and $\color{#20c997}{\mathbf{b'}}$ are two different measurement settings for Detector B (Bob).
* $\color{#ff6b6b}{E}(\color{#4dadf7}{\mathbf{a}}, \color{#20c997}{\mathbf{b}})$ is the expectation value (the correlation coefficient) of the joint measurements, ranging from $\color{#f08c00}{-1}$ to $\color{#f08c00}{+1}$.

The Quantum Violation⚓︎

The Quantum Violation
Quantum mechanics predicts that for perfectly entangled pairs (such as twin photons), specific choices of angles for $\color{#4dadf7}{\mathbf{a}}, \color{#4dadf7}{\mathbf{a'}}, \color{#20c997}{\mathbf{b}},$ and $\color{#20c997}{\mathbf{b'}}$ yield a maximum value known as the Tsirelson bound:

\[\color{#cc5de8}{|}\color{#ff6b6b}{E}(\color{#4dadf7}{\mathbf{a}}, \color{#20c997}{\mathbf{b}}) - \color{#ff6b6b}{E}(\color{#4dadf7}{\mathbf{a}}, \color{#20c997}{\mathbf{b'}})\color{#cc5de8}{|} + \color{#cc5de8}{|}\color{#ff6b6b}{E}(\color{#4dadf7}{\mathbf{a'}}, \color{#20c997}{\mathbf{b}}) + \color{#ff6b6b}{E}(\color{#4dadf7}{\mathbf{a'}}, \color{#20c997}{\mathbf{b'}})\color{#cc5de8}{|} \;\color{#cc5de8}{=}\; \color{#f08c00}{2\sqrt{2}} \;\color{#cc5de8}{\approx}\; \color{#f08c00}{2.828}\]

Because $\color{#f08c00}{2\sqrt{2}} \color{#cc5de8}{>} \color{#f08c00}{2}$, quantum mechanics mathematically violates Bell's inequality, proving that nature cannot be explained by local hidden variables.

From Theory to Experiment

Bell's inequality wasn't just a mathematical curiosity — it was designed to be tested. The first experimental evidence of a violation came from Freedman and Clauser in 1972, and a decade later Alain Aspect's 1982 experiments closed several of the remaining loopholes, giving much stronger confirmation that entanglement really does violate the classical bound.

This experimental line of work — extended further by John Clauser, Alain Aspect, and Anton Zeilinger — earned the three of them the 2022 Nobel Prize in Physics, cementing Bell test violations as one of the most rigorously confirmed results in modern physics.

Maximum Quantum Violation

Maximum Quantum Violation⚓︎

The Angles of Maximum Quantum Violation⚓︎

The Angles of Maximum Quantum Violation.

To achieve the maximum violation of Bell's inequality, Detector A (Alice) and Detector B (Bob) must orient their measurement settings at specific, interlocking angles.
Let the angles for Alice be $\color{#4dadf7}{a}$ and $\color{#4dadf7}{a'}$, and the angles for Bob be $\color{#20c997}{b}$ and $\color{#20c997}{b'}$. The ideal setup uses an offset of $\color{#f08c00}{22.5^\circ}$ between successive settings:
* Alice's settings:
* $\color{#4dadf7}{a} \color{#cc5de8}{=} \color{#f08c00}{0^\circ}$
* $\color{#4dadf7}{a'} \color{#cc5de8}{=} \color{#f08c00}{45^\circ}$
* Bob's settings:
* $\color{#20c997}{b} \color{#cc5de8}{=} \color{#f08c00}{22.5^\circ}$
* $\color{#20c997}{b'} \color{#cc5de8}{=} \color{#f08c00}{67.5^\circ}$

The Correlation Formula⚓︎

The Correlation Formula

According to quantum mechanics, the correlation $\color{#ff6b6b}{E}(\color{#4dadf7}{\theta_A}, \color{#20c997}{\theta_B})$ for a pair of entangled photons depends on the cosine of twice the angle difference between the detectors:

\[\color{#ff6b6b}{E}(\color{#4dadf7}{\theta_A}, \color{#20c997}{\theta_B}) = \cos(2(\color{#4dadf7}{\theta_A} - \color{#20c997}{\theta_B}))\]

Calculating the Violation⚓︎

Calculating the Violation.

Plugging our specific angles into the CHSH inequality formula:

$\color{#ff6b6b}{E}(\color{#4dadf7}{a}, \color{#20c997}{b}) \color{#cc5de8}{=} \cos(2(\color{#f08c00}{0^\circ} - \color{#f08c00}{22.5^\circ})) \color{#cc5de8}{=} \cos(\color{#f08c00}{-45^\circ}) \color{#cc5de8}{=} \color{#f08c00}{\frac{\sqrt{2}}{2}}$
$\color{#ff6b6b}{E}(\color{#4dadf7}{a}, \color{#20c997}{b'}) \color{#cc5de8}{=} \cos(2(\color{#f08c00}{0^\circ} - \color{#f08c00}{67.5^\circ})) \color{#cc5de8}{=} \cos(\color{#f08c00}{-135^\circ}) \color{#cc5de8}{=} \color{#f08c00}{-\frac{\sqrt{2}}{2}}$
$\color{#ff6b6b}{E}(\color{#4dadf7}{a'}, \color{#20c997}{b}) \color{#cc5de8}{=} \cos(2(\color{#f08c00}{45^\circ} - \color{#f08c00}{22.5^\circ})) \color{#cc5de8}{=} \cos(\color{#f08c00}{45^\circ}) \color{#cc5de8}{=} \color{#f08c00}{\frac{\sqrt{2}}{2}}$
$\color{#ff6b6b}{E}(\color{#4dadf7}{a'}, \color{#20c997}{b'}) \color{#cc5de8}{=} \cos(2(\color{#f08c00}{45^\circ} - \color{#f08c00}{67.5^\circ})) \color{#cc5de8}{=} \cos(\color{#f08c00}{-45^\circ}) \color{#cc5de8}{=} \color{#f08c00}{\frac{\sqrt{2}}{2}}$

Now, we substitute these values into the left side of Bell's inequality:

\[\color{#cc5de8}{|}\color{#ff6b6b}{E}(\color{#4dadf7}{a}, \color{#20c997}{b}) - \color{#ff6b6b}{E}(\color{#4dadf7}{a}, \color{#20c997}{b'})\color{#cc5de8}{|} + \color{#cc5de8}{|}\color{#ff6b6b}{E}(\color{#4dadf7}{a'}, \color{#20c997}{b}) + \color{#ff6b6b}{E}(\color{#4dadf7}{a'}, \color{#20c997}{b'})\color{#cc5de8}{|}\]

\[\left| \color{#f08c00}{\frac{\sqrt{2}}{2}} - \left(\color{#f08c00}{-\frac{\sqrt{2}}{2}}\right) \right| + \left| \color{#f08c00}{\frac{\sqrt{2}}{2}} + \color{#f08c00}{\frac{\sqrt{2}}{2}} \right| \color{#cc5de8}{=} \color{#f08c00}{\sqrt{2}} + \color{#f08c00}{\sqrt{2}} \color{#cc5de8}{=} \color{#f08c00}{2\sqrt{2}} \color{#cc5de8}{\approx} \color{#f08c00}{2.828}\]

Because $\color{#f08c00}{2.828} \color{#cc5de8}{>} \color{#f08c00}{2}$, choosing these exact angles mathematically maximizes the proof that Einstein's local reality does not exist.

Deep Dive: BFSS & IKKT Matrix Formulations

BFSS & IKKT Matrix Formulations⚓︎

1. The BFSS Model (M-Theory in Lightcone Gauge)⚓︎

1. The BFSS Model (M-Theory in Lightcone Gauge)

The BFSS model establishes that the non-perturbative degrees of freedom of M-theory are uncompactified $D0$-branes. In the infinite momentum frame ($P^+ \to \infty$), the theory reduces to a $U(N)$ Super Yang-Mills quantum mechanics in $1+0$ dimensions.

The Complete BFSS Hamiltonian⚓︎

The Complete BFSS Hamiltonian

Derived from the matrix Lagrangian via Legendre transformation, the quantum mechanical Hamiltonian governs the dynamics of nine $N \times N$ spatial matrices $\color{#20b2aa}{X^i}$ and their canonical conjugate momenta $\color{#4da6ff}{P^i} = \frac{1}{R}\dot{X}^i$:

\[\color{#ee82ee}{H_{\text{BFSS}}} = R \;\text{Tr} \left( \frac{1}{2} \sum_{i=1}^9 (\color{#4da6ff}{P^i})^2 - \frac{1}{4} \sum_{i,j=1}^9 [\color{#20b2aa}{X^i}, \color{#20b2aa}{X^j}]^2 + \color{#dda0dd}{\bar{\Psi}} \sum_{i=1}^9 \gamma_i [\color{#20b2aa}{X^i}, \color{#dda0dd}{\Psi}] \right)\]

Large-$N$ Limit and Continuous Membrane Emergence⚓︎

Large-$N$ Limit and Continuous Membrane Emergence

In the $N \to \infty$ limit, the discrete matrix commutators map to continuous Poisson brackets on a 2-dimensional worldvolume topology $\Sigma$ (the M2-brane membrane configuration):

\[\lim_{N \to \infty} (-iN) [\color{#20b2aa}{X^i}, \color{#20b2aa}{X^j}] = \{\color{#20b2aa}{X^i}(\sigma_1, \sigma_2), \color{#20b2aa}{X^j}(\sigma_1, \sigma_2)\}_{\text{P.B.}} = \frac{\partial \color{#20b2aa}{X^i}}{\partial \sigma_1}\frac{\partial \color{#20b2aa}{X^j}}{\partial \sigma_2} - \frac{\partial \color{#20b2aa}{X^i}}{\partial \sigma_2}\frac{\partial \color{#20b2aa}{X^j}}{\partial \sigma_1}\]

2. The IKKT Model (Emergent Spacetime & Type IIB)⚓︎

2. The IKKT Model (Emergent Spacetime & Type IIB)

Unlike BFSS, the IKKT model lacks a fundamental time parameter. It is a strictly 0-dimensional statistical/quantum mechanical system where time and space emerge on equal footing from the eigenvalue distributions of the matrices.

Lorentzian vs. Euclidean Action Signatures⚓︎

Lorentzian vs. Euclidean Action Signatures

The path integral behavior changes drastically depending on the chosen global metric signature. The structural transformation is governed by the switch in the bosonic commutator footprint:

Euclidean Signature Action ($A_0 \to iA_{10}$):
$\color{#4da6ff}{S_{\text{E}}} = -\frac{1}{g^2} \text{Tr} \left( \frac{1}{4} \sum_{\mu,\nu=1}^{10} [\color{#20b2aa}{A_\mu}, \color{#20b2aa}{A_\nu}]^2 + \frac{1}{2} \color{#dda0dd}{\bar{\Psi}} \sum_{\mu=1}^{10} \Gamma^\mu [\color{#20b2aa}{A_\mu}, \color{#dda0dd}{\Psi}] \right)$
Lorentzian Signature Action (Physical Spacetime):
$\color{#4da6ff}{S_{\text{L}}} = \frac{1}{g^2} \text{Tr} \left( -\frac{1}{2} [\color{#20b2aa}{A_0}, \color{#20b2aa}{A_i}]^2 + \frac{1}{4} [\color{#20b2aa}{A_i}, \color{#20b2aa}{A_j}]^2 + \frac{1}{2} \color{#dda0dd}{\bar{\Psi}} \Gamma^0 [\color{#20b2aa}{A_0}, \color{#dda0dd}{\Psi}] + \frac{1}{2} \color{#dda0dd}{\bar{\Psi}} \sum_{i=1}^9 \Gamma^i [\color{#20b2aa}{X^i}, \color{#dda0dd}{\Psi}] \right)$

Extraction of the Emergent Spacetime Metric⚓︎

Extraction of the Emergent Spacetime Metric

Smooth geometric space manifests by analyzing the expectation values of the matrix blocks. An effective local spacetime metric $\color{#ff6666}{g_{\mu\nu}(x)}$ is extracted using the non-commutative coordinates defined by the components of $\color{#20b2aa}{A_\mu}$:

\[\color{#ff6666}{g^{\mu\nu}(x)} \sim \lim_{N \to \infty} \left\langle \frac{1}{N} \text{Tr} \left( \phi(x) [\color{#20b2aa}{A^\mu}, \color{#20b2aa}{A_\lambda}][\color{#20b2aa}{A^\nu}, \color{#20b2aa}{A^\lambda}] \right) \right\rangle\]

Where $\phi(x)$ is a localized state checking scale structures in the matrix eigenvalue space.

3. Gauge Invariant Observables (Wilson Loops)⚓︎

3. Gauge Invariant Observables (Wilson Loops)

To probe physical geometry and find graviton scattering states without referencing coordinate frames, gauge-invariant operators must be mapped out.

The primary non-local observable in IKKT is the generalized Wilson Loop, defined via an exponentiated source field $k^\mu$:

\[\color{#ffcc00}{W(k)} = \text{Tr} \left( \exp \left( i \sum_{\mu=0}^9 \color{#ffb366}{k^\mu} \color{#20b2aa}{A_\mu} \right) \right)\]

In the continuum limit, expanding $\color{#ffcc00}{W(k)}$ in powers of $\color{#ffb366}{k^\mu}$ yields a complete set of local operators corresponding to off-shell supergravity fields, establishing the exact link back to 10D and 11D effective field actions.

M-Theory & Matrix Theory Foundations

M-Theory & Matrix Theory Foundations⚓︎

M-Theory & Matrix Theory Foundations

M-Theory is the unifying framework of all five consistent ten-dimensional superstring theories and eleven-dimensional supergravity, linked by dualities like S-duality and T-duality, with low-energy dynamics governed by 11-dimensional supergravity and fundamental excitations including 2-branes and 5-branes.

11-Dimensional Supergravity Action⚓︎

11-Dimensional Supergravity Action

The low-energy effective field theory of M-theory is 11-dimensional supergravity. Its bosonic sector includes the metric $\color{#20b2aa}{g_{\mu\nu}}$ and a 3-form gauge field $\color{#33cc33}{C_3}$ with a 4-form field strength $\color{#ffcc00}{G_4} = d\color{#33cc33}{C_3}$.

\[\begin{flalign*} \color{#4da6ff}{S_{11}} = \frac{1}{2\kappa_{11}^2} \int d^{11}x \sqrt{-g} \left( \color{#ff6666}{R} - \frac{1}{2} |\color{#ffcc00}{G_4}|^2 \right) - \frac{1}{6} \int \color{#33cc33}{C_3} \wedge \color{#ffcc00}{G_4} \wedge \color{#ffcc00}{G_4} && \end{flalign*}\]

Where:
* Action: $\color{#4da6ff}{S_{11}}$ is the 11D Supergravity Action.
* Curvature: $\color{#ff6666}{R}$ is the Ricci scalar curvature.
* Field Strength: $\color{#ffcc00}{G_4}$ is the 4-form field strength defined as $\color{#ffcc00}{G_4} = d\color{#33cc33}{C_3}$.
* Potential: $\color{#33cc33}{C_3}$ is the 3-form gauge potential.

Brane Tensions⚓︎

Brane Tensions

M-theory contains dynamical extended objects called branes. The fundamental membrane is the M2-brane, and its magnetic dual is the M5-brane. Their tensions depend on the 11D Planck length $\color{#cc99ff}{l_p}$:

M2-Brane Tension:

\[\begin{flalign*} \color{#ffb366}{T_{M2}} = \frac{1}{(2\pi)^2 \color{#cc99ff}{l_p}^3} && \end{flalign*}\]

M5-Brane Tension:

\[\begin{flalign*} \color{#ff80df}{T_{M5}} = \frac{1}{(2\pi)^5 \color{#cc99ff}{l_p}^6} && \end{flalign*}\]

Compactification to Type IIA String Theory⚓︎

Compactification to Type IIA String Theory

Compactifying M-theory on a circle $\color{#f08c00}{S^1}$ of radius $\color{#f08c00}{R_{10}} = \color{#e0cda9}{g_s} \color{#cc99ff}{l_s}$ yields Type IIA string theory. The 11D metric splits into the 10D metric $\color{#20b2aa}{g_{\mu\nu}^{(10)}}$, a graviphoton gauge field $\color{#4da6ff}{A_\mu}$, and the dilaton $\color{#00fa9a}{\phi}$:

\[\begin{flalign*} ds_{11}^2 = e^{-2\color{#00fa9a}{\phi}/3} g_{\mu\nu}^{(10)} dx^\mu dx^\nu + e^{4\color{#00fa9a}{\phi}/3} \left( dx^{10} + A_\mu dx^\mu \right)^2 && \end{flalign*}\]

The string coupling constant $\color{#e0cda9}{g_s}$ is directly related to the radius of the 11^th dimension:

\[\begin{flalign*} \color{#e0cda9}{g_s} = e^{\langle \color{#00fa9a}{\phi} \rangle} = \left( \frac{R_{10}}{l_s} \right)^{3/2} && \end{flalign*}\]

Matrix Theory (BFSS Model) Formulations⚓︎

Matrix Theory (BFSS Model) Formulations

The BFSS Matrix Theory describes M-theory in the infinite momentum frame as the quantum mechanics of $N \times N$ Hermitian matrices. The variables are nine spatial matrices $\color{#20b2aa}{X^i}$ ($i=1, \dots, 9$) and their fermionic superpartners $\color{#dda0dd}{\Psi}$.

BFSS Matrix Model Lagrangian:

$\color{#ee82ee}{L} = \text{Tr} \left( \frac{1}{2R}\sum_{i=1}^9 \color{#4da6ff}{\dot{X}^i}^2 + \frac{R}{4} \sum_{i,j=1}^9 [\color{#20b2aa}{X^i}, \color{#20b2aa}{X^j}]^2 + i \color{#dda0dd}{\Psi}^T \color{#4da6ff}{\dot{\Psi}} - R\color{#dda0dd}{\Psi}^T \sum_{i=1}^9 \gamma_i [\color{#20b2aa}{X^i}, \color{#dda0dd}{\Psi}] \right)$

Gauss Constraint (Matrix Gauge Invariance):

\[\begin{flalign*} \color{#ee82ee}\sum_{i=1}^9 [\color{#20b2aa}{X^i}, \color{#4da6ff}{\dot{X}^i}] - \frac{i}{2} \{\color{#dda0dd}{\Psi}, \color{#dda0dd}{\Psi}^T\} = \color{#ff6666}{0} && \end{flalign*}\]

Supersymmetry Generators (Supercharges):

\[\begin{flalign*} \color{#ffb366}{Q} = \text{Tr} \left( \sum_{i=1}^9 \color{#4da6ff}{\dot{X}^i} \gamma_i \color{#dda0dd}{\Psi} + \frac{i}{2} \sum_{i,j=1}^9 [\color{#20b2aa}{X^i}, \color{#20b2aa}{X^j}] \gamma_{ij} \color{#dda0dd}{\Psi} \right) && \end{flalign*}\]

IKKT Matrix Model (Type IIB Matrix Theory)

IKKT Matrix Model (Type IIB Theory⚓︎

The IKKT Matrix Model (Ishibashi, Kawai, Kitazawa, and Tsuchiya) is a non-perturbative formulation of Type IIB Superstring Theory, providing a dual perspective to the BFSS model (which describes M-Theory). Unlike the quantum-mechanical BFSS model, IKKT is a zero-dimensional matrix model where spacetime coordinates themselves emerge dynamically from eigenvalues of large $\color{#20b2aa}N \times N$ matrices.

The IKKT Action⚓︎

The IKKT Action

The action is composed of a bosonic commutator term and a fermionic inner product:

\[\color{#4da6ff}{S_{\text{IKKT}}} = -\frac{1}{4g^2} \text{Tr} \left( \sum_{\mu,\nu=0}^9 [\color{#20b2aa}{A_\mu}, \color{#20b2aa}{A_\nu}]^2 \right) - \frac{1}{2g^2} \text{Tr} \left( \color{#dda0dd}{\bar{\Psi}} \sum_{\mu=0}^9 \Gamma^\mu [\color{#20b2aa}{A_\mu}, \color{#dda0dd}{\Psi}] \right)\]

Where:
* Action: $\color{#4da6ff}{S_{\text{IKKT}}}$ is the total Euclidean or Lorentzian IKKT action.
* Coordinates: $\color{#20b2aa}{A_\mu}$ represents ten $\color{#20b2aa}N \times N$ Hermitian matrices ($\color{#20b2aa}\mu = 0, \dots, 9$) representing spacetime points.
* Fermions: $\color{#dda0dd}{\Psi}$ is a 10D Majorana-Weyl fermionic matrix superpartner.
* Coupling: $\color{#4da6ff}g$ is the matrix coupling constant.

Relationship and Duality to BFSS (M-Theory)⚓︎

Relationship and Duality to BFSS (M-Theory)

The IKKT model can be directly related to the BFSS model derived previously via dimensional reduction and regularization:

Dimensional Reduction: By recovering time dependence, the BFSS model's Lagrangian can be seen as a 1D version of the 0D IKKT structure.
The T-Duality Link: While the BFSS model computes the discrete lightcone quantization of M-Theory (Type IIA limit), IKKT represents the configuration space of Type IIB string theory via a lattice-free matrix regularization of the worldsheet action.

Equations of Motion⚓︎

Equations of Motion

Varying the IKKT action with respect to the bosonic coordinates yields the classical matrix field equations:

\[\sum_{\nu=0}^9 [\color{#20b2aa}{A^\nu}, [\color{#20b2aa}{A_\mu}, \color{#20b2aa}{A_\nu}]] + \frac{1}{2} \{\color{#dda0dd}{\bar{\Psi}}, \Gamma_\mu \color{#dda0dd}{\Psi}\} = \color{#ff6666}{0}\]

In 1947, General Mills launched one of the most audacious cereal premiums ever: the Lone Ranger Atomic Bomb Ring, offered through Kix for just 15 cents and a box top.
The ring’s “bomb” chamber housed a tiny spinthariscope, a real scientific device featuring a minuscule amount of radioactive Polonium-210 (an alpha emitter with a 138-day half-life) positioned against a zinc sulfide screen.
In a darkened room, children could remove the red tailfin and peer through the lens to witness brilliant flashes of light as alpha particles struck the screen, marketed as watching “atoms splitting” in action.
The quantity was too small for external harm and alpha particles can’t penetrate skin.
$^{210}_{84}\text{Po} \rightarrow ^{206}_{82}\text{Pb} + ^{4}_{2}\text{He} + \text{Energy}$
$\color{#F282B4}{^{210}_{84}\text{Po}} \rightarrow \color{#00B0F0}{^{206}_{82}\text{Pb}} + \color{#00A99A}{^{4}_{2}\text{He}} + \color{magenta}{\text{Energy}}$

Statements	Reasons
1. Let \(a \ker f = b \ker f\).	1. Assumption for checking well-definedness
2. \(b^{-1}a \in \ker f\)	2. Property of cosets (\(xH = yH \iff y^{-1}x \in H\))
3. \(f(b^{-1}a) = e'\)	3. Definition of the kernel
4. \(f(b)^{-1}f(a) = e'\)	4. Homomorphism property (\(f(b^{-1}) = f(b)^{-1}\))
5. \(f(a) = f(b)\)	5. Left-multiplying both sides by \(f(b)\)
6. \(\bar{f}(a \ker f) = \bar{f}(b \ker f)\)	6. Definition of the mapping \(\bar{f}\)
7. \(\bar{f}\) is well-defined.	7. Direct conclusion from Statements 1 and 6

Statements	Reasons
1. Let \(a \ker f, b \ker f \in G/\ker f\).	1. Selected elements from the quotient group domain
2. \((a \ker f)(b \ker f) = (ab) \ker f\)	2. Definition of coset multiplication in quotient groups
3. \(\bar{f}((a \ker f)(b \ker f)) = \bar{f}((ab) \ker f)\)	3. Applying \(\bar{f}\) to both sides
4. \(\bar{f}((ab) \ker f) = f(ab)\)	4. Definition of the mapping \(\bar{f}\)
5. \(f(ab) = f(a)f(b)\)	5. Given that \(f\) is a group homomorphism
6. \(f(a)f(b) = \bar{f}(a \ker f)\bar{f}(b \ker f)\)	6. Definition of the mapping \(\bar{f}\)
7. \(\bar{f}\) is a homomorphism.	7. Transitive closure from Statements 3 through 6

Statements	Reasons
1. Let \(\bar{f}(a \ker f) = e'\).	1. Assumption to determine the kernel of \(\bar{f}\)
2. \(f(a) = e'\)	2. Definition of the mapping \(\bar{f}\)
3. \(a \in \ker f\)	3. Definition of the kernel
4. \(a \ker f = \ker f\)	4. Absorptive property of cosets (\(x \in H \iff xH = H\))
5. \(\ker \bar{f} = \{\ker f\}\)	5. The only element mapping to \(e'\) is the identity coset
6. \(\bar{f}\) is injective.	6. A homomorphism is injective iff its kernel is trivial

Statements	Reasons
1. Let \(\pi: G \to G/\ker f\) be the natural surjection given by \(\pi(a) = a \ker f\).	1. Definition of the natural projection map
2. \((\bar{f} \circ \pi)(a) = \bar{f}(\pi(a)) = \bar{f}(a \ker f)\)	2. Definition of function composition
3. \(\bar{f}(a \ker f) = f(a)\)	3. Definition of the mapping \(\bar{f}\)
4. \(\bar{f} \circ \pi = f\)	4. Commutativity confirmed (from Statements 2 and 3)
5. Let \(g: G/\ker f \to G'\) be any map such that \(g \circ \pi = f\).	5. Assumption for checking uniqueness
6. \(g(a \ker f) = g(\pi(a)) = (g \circ \pi)(a)\)	6. Defintion of function composition and projection
7. \((g \circ \pi)(a) = f(a) = \bar{f}(a \ker f)\)	7. Substitution using Statement 5 and Statement 3
8. \(g = \bar{f}\)	8. Direct conclusion showing \(\bar{f}\) is completely unique

Statements	Reasons
1. \(f\) is a group homomorphism.	1. Given
2. \(f(1_G) = 1_H\)	2. Property of group homomorphisms
3. \(1_G \in \ker(f)\)	3. Definition of kernel (from Statement 2)
4. \(f\) is injective.	4. Given
5. If \(f(g) = f(1_G)\), then \(g = 1_G\).	5. Definition of an injective function
6. If \(f(g) = 1_H\), then \(g = 1_G\).	6. Substitution (from Statement 2 into Statement 5)
7. \(\ker(f) = \{1_G\}\)	7. Direct conclusion from Statements 3 and 6

Statements	Reasons
1. \(f\) is a group homomorphism.	1. Given
2. \(\ker(f) = \{1_G\}\)	2. Given
3. Let \(g_1, g_2 \in G\) such that \(f(g_1) = f(g_2)\).	3. Assumption for proving injectivity
4. \(f(g_2) \cdot [f(g_1)]^{-1} = f(g_1) \cdot [f(g_1)]^{-1}\)	4. Right-multiplication property of equality
5. \(f(g_2) \cdot [f(g_1)]^{-1} = 1_H\)	5. Inverse property of groups
6. \(f(g_2) \cdot f(g_1^{-1}) = 1_H\)	6. Homomorphism property of inverses: \([f(x)]^{-1} = f(x^{-1})\)
7. \(f(g_2 g_1^{-1}) = 1_H\)	7. Homomorphism property of operation preservation
8. \(g_2 g_1^{-1} \in \ker(f)\)	8. Definition of kernel
9. \(g_2 g_1^{-1} = 1_G\)	9. Substitution (from Statement 2 into Statement 8)
10. \((g_2 g_1^{-1}) \cdot g_1 = 1_G \cdot g_1\)	10. Right-multiplication property of equality
11. \(g_2 \cdot (g_1^{-1} g_1) = g_1\)	11. Associative and identity properties of groups
12. \(g_2 \cdot 1_G = g_1\)	12. Inverse property of groups
13. \(g_2 = g_1\)	13. Identity property of groups
14. \(f\) is injective.	14. Direct conclusion from Statements 3 and 13

And other Text Colors

Text Colours⚓︎

HTML Code for Text Colour⚓︎

The Riemann Curvature Tensor⚓︎

The Lorenz Equations⚓︎

System of Equations⚓︎

The Cauchy-Schwarz Inequality⚓︎

A Cross Product Formula⚓︎

Maxwell's Equations⚓︎

In-line Mathematics⚓︎

The Derivative Cycle⚓︎

Plugging into the Formula⚓︎

Generalizing with Sigma Notation⚓︎

Breaking Down the Series⚓︎

System of Equations⚓︎

Deterministic Chaos⚓︎

MathJax & MaterialX Configuration Summary⚓︎

1. Updated JavaScript Configuration File⚓︎

2. Streamlined mkdocs.yml Settings⚓︎

3. Page Layout Cheat Sheet (The 3 Math Situations)⚓︎

1. Identify the Formula⚓︎

2. Verify the Series Side⚓︎

3. Verify the Product Side⚓︎

1. Identify the Formula⚓︎

2. Verify the Directional Derivative⚓︎

3. Verify the Index Expansion⚓︎

The Fourier Transform⚓︎

🌡️ Temperature Conversion Guide⚓︎

🌡️ Temperature Conversion Guide 2⚓︎

Equation Overview⚓︎

Technical Specifications⚓︎

Quantitative Impact Analysis⚓︎

Solar spectrum compared to black-body at 5775 K

Solar Irradiance and Illuminance Models⚓︎

Solar Irradiance⚓︎

Technical Specifications⚓︎

Solar Illuminance⚓︎

Attenuation Variables⚓︎

Environmental Loss⚓︎

Spectral distribution of sunlight.

The First Isomorphism Theorem

R. C. Daileda

1st Isomorphism Theorem⚓︎

Part 1: Forward Direction (⟹)⚓︎

Part 2: Backward Direction (⟸)⚓︎

Phase 1: Well-Definedness⚓︎

Phase 2: Homomorphism Property⚓︎

Phase 3: Injectivity⚓︎

Phase 4: Uniqueness and Commutativity⚓︎

Einstein's Challenge⚓︎

Bell's Inequality⚓︎

The Quantum Violation⚓︎

Maximum Quantum Violation⚓︎

The Angles of Maximum Quantum Violation⚓︎

The Correlation Formula⚓︎

Calculating the Violation⚓︎

BFSS & IKKT Matrix Formulations⚓︎

1. The BFSS Model (M-Theory in Lightcone Gauge)⚓︎

The Complete BFSS Hamiltonian⚓︎

Large-\(N\) Limit and Continuous Membrane Emergence⚓︎

2. The IKKT Model (Emergent Spacetime & Type IIB)⚓︎

Lorentzian vs. Euclidean Action Signatures⚓︎

Extraction of the Emergent Spacetime Metric⚓︎

3. Gauge Invariant Observables (Wilson Loops)⚓︎

M-Theory & Matrix Theory Foundations⚓︎

11-Dimensional Supergravity Action⚓︎

Brane Tensions⚓︎

Compactification to Type IIA String Theory⚓︎

Matrix Theory (BFSS Model) Formulations⚓︎

IKKT Matrix Model (Type IIB Theory⚓︎

The IKKT Action⚓︎

Relationship and Duality to BFSS (M-Theory)⚓︎

Equations of Motion⚓︎

1^st Isomorphism Theorem⚓︎