From 4e730beb9c2f4a4edfd14b18bb0215b30ae5b0bd Mon Sep 17 00:00:00 2001 From: "@groxMC" <152037816+g0del-esch3r-bach@users.noreply.github.com> Date: Tue, 15 Apr 2025 14:23:26 -0700 Subject: [PATCH] Update problems.js i propose to add the following formulae: Skein Relation of the Jones Polynomial Jones' Definition of the HOMFLY Polynomial Fine Structure Constant King's Rule of Integration Inner Product on 4-Momenta Lagrange's Four Square Theorem thx! --- public/assets/js/problems.js | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) diff --git a/public/assets/js/problems.js b/public/assets/js/problems.js index 8f2ae4c..5b14e4c 100644 --- a/public/assets/js/problems.js +++ b/public/assets/js/problems.js @@ -910,5 +910,35 @@ let problems = [ "title": "Cartan's magic formula", "description": "A cool little magic trick", "latex": String.raw`\mathcal{L}_X = \mathrm{d} \circ \iota_X + \iota_X \circ \mathrm{d}` + }, + { + "title": "Skein Relation of the Jones Polynomial", + "description": "cf. Przytycki et al.", + "latex": String.raw`\frac{V_{L_+}}{t}-tV_{L_-}=\left(\sqrt t-\frac1{\sqrt t}\right)V_{L_0}` + }, + { + "title": "Jones' Definition of the HOMFLY Polynomial", + "description": "cf. Hecke algebra representations by Jones", + "latex": String.raw`P_L(t,x)=\left(\frac{1-t^2}{tx}\right)^{n-1}\left(\frac{2t}{x+\sqrt{x^2+4}}\right)^{e}\operatorname{tr}(\pi(\alpha))` + }, + { + "title": "Fine Structure Constant", + "description": "appears in USAPhO 2021 A3", + "latex": String.raw`\alpha=\frac{e^2}{4\pi\epsilon_0\hbar c}\approx\frac{1}{137}` + }, + { + "title": "King's Rule of Integration", + "description": "lol", + "latex": String.raw`\int_a^b f(x)\mathrm dx=\int_a^b f(a+b-x)\mathrm dx` + }, + { + "title": "Inner Product on 4-Momenta", + "description": "usapho stuff", + "latex": String.raw`\mathbf{P}_1\cdot\mathbf{P}_2=E_1E_2-\mathbf{p}_1\cdot\mathbf{p}_2` + }, + { + "title": "Lagrange's Four Square Theorem", + "description": "uses minkowski set addition notation (4A = A + A + A + A)", + "latex": String.raw`4\{n^2\mid n\in\mathbb{N}\}=\mathbb{N}` } ];