# TODO list for learning

## Table of Contents

- TODO [C] John Carlos Baez on Twitter: "Entropy is the amount of information you don't have about the random details of a system: what you'd need to describe those details. It takes 500 zettabytes to fully describe a gram of liquid water, but a manageable amount per molecule! (1/n) https://t.co/cDg7ZFpLt3" / Twitter
- [C] Nikita Lisitsa on Twitter: "Simulating Hamiltonian mechanics instead of Metropolis-Hastings algorithm: https://t.co/cVZiaTGP7u" / Twitter
- TODO [A] Viktor T. Toth - Spinors in three dimensions
- Quantum vs. classical - Dee Mon. Былое и думы — LiveJournal
- [B] Understanding quaternions and the Dirac belt trick (2010)
- [B] general topology - What is a topological space good for? - Mathematics Stack Exchange topology
- [B] III Advanced Quantum Field Theory - QFT in one dimension (i.e. QM) qft
- TODO [B] visualising QFT vizqft
- [B] A new way of visualising quantum fields - IOPscience vizqft
- [B] software - Where can I find visualizations of quantum field theory equations? - Physics Stack Exchange vizqft
- qftviz shit… so apparently it's pretty much impossible to visualise due to high number of states…

- [B] Proton quarks empty mass calculation GIF : askscience vizqft
- [B] Derek Leinweber vizqftqcd
- TODO [B] hmm, no one seems to have visualised klein gordon, even numerically? vizqftquantum
- [B] (8) Empty Space is NOT Empty - YouTube vizqft

- START [B] Is it true that the Schrödinger equation only applies to spin-1/2 particles? - Physics Stack Exchange
- [B] (6) Quantum Spin - Visualizing the physics and mathematics - YouTube spinviz
- TODO [B] III Advanced Quantum Field Theory - QFT in zero dimensions qftstudy
- qftstudy really nice looking book!

- [B] Lagrangian formalism for fields - Scholarpedia lagrangianspinor
- lagrangianspinor pretty good motivation for the shape of lagrangian and examples with different kinds of fields

- [B] Tensors tensor
- TODO need to make sure I understand it and archive tensor
- [C] Tensor Calculus tensor
- [C] Tensor derivative (continuum mechanics) - Wikipedia tensor
- [C] Partial derivative of tensor with respect to tensor - Mathematics Stack Exchange tensor
- [C] partial differentiation of a variable w.r.t. its time derivative - Mathematics Stack Exchange tensor
- [D] Tensors
_{Poor}_{Man.pdf}tensor

- START [B] Aharonov-Bohm Experiment quantumstudy
- [B] Einstein–Hilbert action - Wikipedia
- tensor some nice calculations involving tensor chain rule

- [B] SO3 vs SU2 https://labcit.ligo.caltech.edu/~ethrane/Resources/seminar/Ch2.Spinors.pdf reprtheory
- [B] Quantum computing for the very curious qft
- [B] What is the point of complex fields in classical field theory? - Physics Stack Exchange qft
- START [B] electromagnetism - Are electron fields and photon fields part of the same field in QED? - Physics Stack Exchange qft
- qft
The 'covariant derivative' Dμ≡∂μ+ieAμ encodes the interaction between the two fields Aμ and Ψ, and the 'strength' of the interaction is given by e, the charge of the electron.
- qft hmm that sort of makes sense, because covariant derivatives gives the connection for fiber bundle, which is related to the gauges and that stuff??

- qft
The 'covariant derivative' Dμ≡∂μ+ieAμ encodes the interaction between the two fields Aμ and Ψ, and the 'strength' of the interaction is given by e, the charge of the electron.
- [B] Cambridge Notes mathphysics
- mathphysics some nicery rendered stuff

- [B] III Quantum Field Theory - Spinors
- [B] Simulation of Lattice Quantum-Chromodynamics and Other Lattice Models : TechWeb : Boston University vizqft
- STRT [B] Tweet from Borja Sotomayor (@borjasotomayor), at Apr 2, 12:21 art
- art huh. liberal arts means whole set of sciences, not just 'art'
- TODO do some of these? https://www.coursera.org/browse/arts-and-humanities art
- art graphic design could be interesting, 'modern art & ideas'; creative writing?

- [B] angular momentum - An electron has no known internal structure, does that imply it has an unknown one? - Physics Stack Exchange spin
- TODO [B] chirality and helicity
- [B] polarization - What is polarisation, spin, helicity, chirality and parity? - Physics Stack Exchange
- [B] polarization - What is polarisation, spin, helicity, chirality and parity? - Physics Stack Exchange
- [B] What should be the intuitive explanation of wave equation? - Physics Stack Exchange
- [C] polarisation and helicity some derivations gauge

- TODO [B] read rosetta stone again study
- [B] Gauge invariance - Scholarpedia
- TODO [B] Jacopo Bertolotti on Twitter: "I am not satisfied yet, but this is my spin rotating around the x-axis, with the color representing the phase term common to both components of the spinor (which shows that you need two rounds to go back to the original state). I will work more on it in the next days.… https://t.co/ji4cYUNRu8" spinorviz
- spinorvizbaez also baez got a discussion in comments, so might help with my understaning!

- TODO [B] Tweet from George Corney (@Haxiomic), at Oct 3, 00:08 simqft
- STRT [B] John Carlos Baez on Twitter: "Murray Gell-Mann won the Nobel prize for discovering "quarks":" protons, neutrons, and other baryons are made of 3 quarks, while pions, kaons and other mesons are made of a quark and an antiquark. But he got some help from his tennis partner! (1/n) https://t.co/YHGDNpvfZX" / Twitter
- TODO [B] Tweet from Nikita Lisitsa (@lisyarus), at Nov 22, 14:40
- STRT [B] Tweet from Dr Martin Kleppmann (@martinkl), at Nov 15, 15:49
- quantum Experimental test of local observer independence | Science Advances

- [B] Mel Andrews 𓃻 on Twitter: "Explain mean field theory to philosophers in one sentence GO!" / Twitter
- TODO [B] (1) jestem króliczkiem on Twitter: "@litgenstein I was hoping to work on some interactive Python notebooks based on this: https://t.co/yUd0TyTmQZ Will finally have some time to try it out soon!" / Twitter toblog
- [B] Valentin Fadeev on Twitter: "Hamiltonian or Lagrangian? Why choose when you can have the best of both (provided you have some cyclic coordinates). Enter Routhian. From L&L "Mechanics" §41. https://t.co/AcuXAxR4hf" / Twitter
- TODO [B] Nikita Lisitsa on Twitter: "Digging through "Introduction to Quantum Field Theory for Mathematicians" by Sourav Chatterjee. The first book with a title like this I've found that seems to actually do the job." / Twitter study
- [B] Simulating physical reality with a quantum computer totweet
- [B] (1) John Carlos Baez on Twitter: "A wonderful thing: any differentiable function from the complex numbers to the complex numbers preserves angles - except where its derivative is zero. So it's a conformal mapping! The complex numbers capture the geometry of angles in 2 dimensions. (4/n) https://t.co/NQBOMOFibR" / Twitter
- TODO [B] Qft rigorous book qft
- STRT [B] How can electrons be “topological”? | Gravity and Levity
- STRT [B] Phase plane analysis: examples toblog
- toblog useful for they see me flowin they hatin

- STRT [B] Quantum Field Theory visualized - YouTube
- [B] Dirac — Greg Egan
- [B] I made an animation showing how a ring of N classical (left) or quantum (right) harmonic oscillators reproduces the physics of fields when N becomes large! (More details in comments) /r/Physics
- TODO [B] Tweet from Nikita Lisitsa (@lisyarus), at Jul 17, 15:52
- TODO [B] https://www.google.com/url?q=https://www.math.tecnico.ulisboa.pt/~jnatar/MG-03/Marsden/ms_book_ch7.pdf&sa=U&ved=2ahUKEwinuLe39freAhWLLMAKHUKTBFkQFjACegQIHBAB&usg=AOvVaw0VdF3GJLsrDR7x48z6XgBq
- TODO [B] Tweet from Valentin Fadeev (@ValFadeev), at Oct 9, 01:21 dirac equation
- TODO [B] Три книги - Dee Mon. Былое и думы — LiveJournal
- [B] thinking about schrodinger's cat experiment studythinktoblog
- studythinktoblog ah, ok, so transformation from |A> to |A> + |D> is ok, it's unitary?

- [B] Higgs mechanism - Wikipedia
- TODO [B] weinstein says yang-mills equations are simpler? study
- [B] Higgs fermions and bosons
- TODO [B] Nyquist frequency - Wikipedia
- [B] Gluon - Wikipedia
- TODO [B] Tweet from @wickrotate
- [B] Excellent article, need to reread and process study
- [B] Klein–Gordon equation - Wikipedia
- [B] Why don’t photons interact with the Higgs field? - Physics Stack Exchange
- [B] On the Higgs Mechanism
- [B] On the Higgs Mechanism
- [B] mathpages.com/home/kmath654/kmath654.htm readagain
- [B] Klein–Gordon equation - Wikipedia
- [B] dirac gif
- [B] Shtetl-Optimized » Blog Archive » Rosser’s Theorem via Turing machines
- [B] Viktor T. Toth - Quaternions and the Dirac equation
- [B] Spinor Info – About physics and other things
- TODO [B] Tweet from michael
_{nielsen}(@michael_{nielsen}), at Oct 18, 20:59 - TODO [B] Tweet from John Carlos Baez (@johncarlosbaez), at Nov 29, 18:54
- TODO [B] Tweet from John Carlos Baez (@johncarlosbaez), at Nov 29, 19:21
- [B] Gauge Symmetry [The Physics Travel Guide
- TODO [B] ax
- [B] File:Metals and insulators, quantum difference from band structure.ogv - Wikipedia
- [B] america hater sarahzrf on Twitter: "@lisyarus …so conservation of energy is {H, H} = 0 when the hamiltonian is the same as energy, which i seem to recall being the case exactly when consrevation of energy is true 👀" / Twitter
- TODO [B] Tweet from @gregeganSF
- [B] Black Holes Are Not Empty Voids. A Black Hole at the Heart! /r/Physics
- TODO [B] The hydrogen atom is the simplest atom, and you ought to be able to understand it if you understand atoms at all study
- [B] Novel insight reveals topological tangle in unexpected corner of the universe
- [B] John Carlos Baez on Twitter: "I love condensed matter physics! I hadn't even known dielectrons were a thing: normally electrons repel. But in a sodium-ammonia solution, electrons pair up with opposite spins. Here's a new simulation of a dielectron, lasting 2.75 picoseconds: (2/n) https://t.co/onDLm8yP4S" / Twitter
- TODO [C] Quote of the day: Physics · Andrew's Blog
- STRT [C] Finally We May Have a Path to the Fundamental Theory of Physics… and It’s Beautiful—Stephen Wolfram Writings
- STRT [C] Tweet from @lisyarus Quantum Chemistry Done Wrong
- TODO [C] SICM https://news.ycombinator.com/item?id=23155017
- STRT [C] Dan Girshovich - Foundations Journal Club. studyphysics
- studyphysics eh, no rss

- TODO [C] books http://math.ucr.edu/home/baez/books.html
- [C] Unruh effect
- The Unruh Effect | Space Time - YouTube
- Эффект Унру — Википедия
- Unruh effect - Wikipedia
- What causes the Unruh effect? : askscience
- Can someone explain the Unruh effect/radiation to me? How are virtual particles forced into existence if they are nothing but convenient mathematical models and don't actually exist? : askscience
- TODO [B] Эффект Унру — Заметки о теоретической физике

- [C] Talk:Photon/Photons and Mass Debate3 - Wikipedia
- [C] quantum mechanics - Einstein's box - unclear about Bohr's retort - Physics Stack Exchange
- [C] energy - Explain how (or if) a box full of photons would weigh more due to massless photons - Physics Stack Exchange
- TODO [C] from Lisitsa: алгебры клиффорда и спинорные группы towatch
- TODO [C] CFDPython/14
_{Step}_{11.ipynb}at master · barbagroup/CFDPython ipython - TODO [C] Schrödinger Equation https://physkcstravelguide.com/equations/schroedinger_equation#tab__faq
- STRT [C] Everything about Representation theory of finite groups : math reprtheory
- reprtheory These representations are unique up to a change of basis (equivalent to a similarity transform), so this means each possible eigenvalue of the Hamiltonian 'belongs' to a certain representation of the group of the Schrodinger Equation.
- reprtheory Also remember that each eigenvalue has its own representation, so different eigenvalues of the same Hamiltonian can have different degeneracy.
- reprtheory Normally, if the degeneracy cannot be explained by symmetry then it is known as an 'accidental' degeneracy, but Fock showed that there is actually a set of operations in 4-D which exploits the symmetry. The hydrogen potential has the group O(4), and you should be able to understand most of the language in the introduction here.

- [C] (2) Quantum Tunneling - Complex Plot - YouTube quantumviz
- [C] Nikita Lisitsa on Twitter: ""When a classical physics problem is described by a variety, some magic happens. The process of quantization becomes completely systematic—and surprisingly simple." @johncarlosbaez Would you be so kind to provide any reference on this?"
- [C] ¬¬(Dan Piponi) on Twitter: "What I find confusing is that I learnt QFT two different ways: (1) pretending univariate wavefunction is classical and quantizing again & (2) considering multivariate wavefunctions. Not obvious these get you to the same place.… https://t.co/uaw1AZIEDz" qft
**that**as a classical system and quantize it again. This is a nice way to get Fock space qft https://twitter.com/johncarlosbaez/status/1101541977105981440 Furthermore unitary time evolution in a Hilbert space is a fine classical dynamics. So, we can quantize a classical system, get a Hilbert space, and treat

- [C] Field Play viz
- viz nice vizualisation for 2D vector fields, allows to change integration parameters etc

- TODO [C] На пути к теории всего https://nplus1.ru/material/2018/02/02/just-looking-for-some-action
- [C] Quantum electrodynamics - Wikipedia qed
- TODO [C] I first saw this kind of explanation in Steve Vickers' Topology via Logic, which is an excellent little book studytopology
- TODO [C] revise cs/math/physics stuff habitspacedrep
- [C] Integral manipulations · Issue #5396 · sympy/sympy
- TODO [C] The Born Rule Has Been Derived From Simple Physical Principles | Quanta Magazine
- TODO [C] Easier than harmonic oscillator: repulsive potential? Admits both trajectories
- TODO [C] start following one of scott aaronsons posts about motivation for square probability rule and play with equations quantumviz
- [C] A Neighborhood of Infinity: What's all this E8 stuff about then? Part 1. reprtheory
- TODO [C] A Journey to The Manifold SU(2): Differentiation, Spheres and Fiber Bundles study
- [C] www.math.lsa.umich.edu/~idolga/lecturenotes.html mathphysicslagrangian
- STRT [C] Charts on SO(3) - Wikipedia
- [C] 3D rotation group - Wikipedia
- [C] How is a Lie Algebra able to describe a Group? – Jakob Schwichtenberg lie
- [C] Group Theory and Physics - S. Sternberg - Google Books
- [C] List of Fundamental Groups of Common Spaces - Mathonline
- [C] Seminar: Fall 2008 baez
- [C] Nikita Lisitsa on Twitter: "The rep.theory book by Fulton & Harris demonstrates the idea of restricting to an abelian subgroup (which is fundamental for Lie groups) using S₃ as an example (rather than, say, SL(n)) and it is beautifully simple and understandable."
- STRT [C] User ACuriousMind - Physics Stack Exchange
- [C] quantum mechanics - Spin operators in QM - Physics Stack Exchange spin
- [C] * To semidecide this, just start generating every possible proof.
- [C] * Suppose the property N[D[
_{x}_]D](_{y}_) = (_{x}_ ≠ y) is semidecidable for each x - [C] homework and exercises - Functional Derivative of action - Physics Stack Exchange
- [C] resource recommendations - What is a complete book for introductory quantum field theory? - Physics Stack Exchange
- STRT [C] Is there a reason why a relativistic quantum theory of a single fermion exists, but of a single scalar not? - Physics Stack Exchange
- [C] general topology - Triangulation of torus - understanding why - Mathematics Stack Exchange topology
- [C] What is a Lagrangian? What is the action? Why does the principle of least (stationary) action work? : askscience
- [C] What is a Lagrangian? What is the action? Why does the principle of least (stationary) action work? : askscience
- [C] What is a Lagrangian? What is the action? Why does the principle of least (stationary) action work? : askscience
- [C] general topology - Why aren’t continuous functions defined the other way around? - Mathematics Stack Exchange topology
- [C] From Griffiths to Peskin: a lit review for beginners | An American Physics Student in England
- [C] general relativity - Why do we select the metric tensor for raising and lowering indices? - Physics Stack Exchange
- STRT [C] https://math.stackexchange.com/questions/36683/math-and-music-theory-books musictheory
- [C] The Reference Frame: Why are there spinors? spinor
- [C] Book
_{Chapter}_{Lagrangian.pdf} - [C] lec33.dvi - lec33.pdf
- [C] radiation.dvi - radiation.pdf
- [C] Yoneda yoneda
- TODO [C] Soham Chowdhury on Twitter: "Vakil (in his book, or perhaps on MO) likens the Yoneda lemma to a particle accelerator, in that if you know how a particle reacts to being smashed into by other particles, you know everything about it… https://t.co/jtdQupZoGH" yoneda
- [B] From the Yoneda lemma to categorical physics yoneda
- [B] 🇪🇸🇵🇹
_{jack}on Twitter: Yoneda yoneda - [B] Understanding Yoneda | Bartosz Milewski's Programming Cafe yoneda
- [B] The Yoneda Lemma — Math3ma yoneda

- [C] Introduction to the Modern Theory of Dynamical Systems - Anatole Katok, Boris Hasselblatt - Google Books lagrangian
- [C] A Python utility for analyzing a given solution to the Einstein field equations. /r/Python
- [C] Gödel metric - Wikipedia
- [C] quantum mechanics - Relation between radio waves and photons generated by a classical current - Physics Stack Exchange
- [C] I've been making a gravity simulator using Rust-SDL2! Source is in the comments, hope you enjoy it! /r/rust sim
- [C] Higgs
- [C] Higgs Mechanism
- [C] Higgs Mechanism
- [C] Demystifying the Higgs mechanism – Jakob Schwichtenberg
- I thunk I should postpone reading about the Higgs etc until I start properly understanding photons at least.

- [C] at.algebraic topology - How to demonstrate \(SO(3)\) is not simply connected? - MathOverflow
- [C] Real projective plane - Wikipedia
- [C] mass - Why is the \(S_{z} =0\) state forbidden for photons? - Physics Stack Exchange
- [C] mass - Why is the \(S_{z} =0\) state forbidden for photons? - Physics Stack Exchange
- [C] Quarks, Gluon flux tubes, Strong Nuclear Force, & Quantum Chromodynamics - YouTube viz
- [C] Quantum Diaries
- [C] Quantum Diaries
- [C] classification theorem topology
- TODO [C] renormalisation group flow
- TODO [C] group of physicists and mathematicians is studying a geometric object called an “amplituhedron” that has the potential to further simplify calculations of particle interactions.
- TODO [C] Slowly start learning IPA? Use spaced repetition
- STRT [C] Sight reading on computer keyboard piano
- piano could at least do it in pairs

- TODO [C] Why is the phase picked up during identical particle exchange a topological invariant? - Physics Stack Exchange
- TODO [C] The Difference Between 3/4 & 6/8 Time (with examples) | School of Composition music
- TODO [C] "Higher Homotopy Groups Are Spooky: Enter the world of 3-dimensional holes in 2-dimensional objects". A blog post by Evelyn Lamb. /r/math
- TODO [C] (2) Dirac equation: Zitterbewegung in two dimensions - YouTube
- [C] Topological Quantum Computer - Professor John Preskill, Caltech - YouTube qcomp
- TODO [C] Quantum Python: Animating the Schrodinger Equation | Pythonic Perambulations vizpythonmatplotlib
- TODO [C] Spare me the math: the Lamb Shift | Gravity and Levity quantum
- TODO [C] Tweet from Igal Tabachnik (@hmemcpy), at Oct 21, 20:23 Category Theory for Programmers by @BartoszMilewski is now complete, and available for purchase in hardcover! cattheory
- TODO [C] Todo visualise that??? viz
- TODO [C] Looking inside the standard model: Electromagnetism, photons, and symmetry
- TODO [C] what happens when computer: structural regular expressions studyproject
- TODO [C] Problems with the Standard Model Higgs | Azimuth
- TODO [C] Serious What's the most USEFUL course I can take online for FREE? /r/AskReddit
- TODO [C] Tweet from Eric Aleman (@EricAleman_), at Jun 13, 10:28
- STRT [C] What happens if we don't postulate speed of light limit?
- TODO [C] Tweet from Smart Biology (@SmartBiology3D), at Jun 24, 15:17
- TODO [C] fast.ai · Making neural nets uncool again ai
- ai has practical deep learning for coders course

- START [C] The Picture Book of Quantum Mechanics: Siegmund Brandt, Hans Dieter Dahmen: 9781461439509: Amazon.com: Books quantum
- START [C] The Geometry of Physics: An Introduction: Amazon.co.uk: Theodore Frankel: 9781107602601: Books
- TODO [C] Tweet from Nikita Lisitsa (@lisyarus), at Jul 11, 22:23
- TODO [C] Tweet from Некстджен и Усиление (@turbojedi), at Jul 18, 11:16 ml
- [C] Kevin Boone's Web site
- TODO [C] Amir on Twitter: "Итого, чтобы собрать программируемый транзисторный микропроцессор, нужно уметь проектировать 1) ISA – см. MIPS 2) микроархитектуру – см Harris&Harris 3) RTL - верилог 4) цифровую технику - см курс Панчула… https://t.co/MqVes4WlZu"
- TODO [C] Tweet from niall tl (@nialltl), at Aug 1, 13:02
- TODO [C] Tweet from 〈 Berger | Dillon 〉 (@InertialObservr), at Jul 31, 17:07
- [C] 〈 Berger | Dillon 〉 (@InertialObservr) / Twitter
- [C] convention - Obtaining the \(\frac{1}{2\pi}\) factor in the Fourier transform - Mathematics Stack Exchange
- [C] ho.history overview - The \(2\pi\) in the definition of the Fourier transform - MathOverflow
- TODO [C] Quantum Diaries https://www.quantumdiaries.org/2011/06/19/helicity-chirality-mass-and-the-higgs/ readagainstm
- [C] Michael Nielsen
- TODO [C] Cadabra manual: Sphere https://cadabra.science/notebooks/sphere.html
- [C] Geometric Quantization (Part 1) | Azimuth
- [C] resource recommendations - Gentle introduction to the Formalism of Quantum Zeno Effect - Physics Stack Exchange
- TODO [C] Tweet from michael
_{nielsen}(@michael_{nielsen}), at Apr 15, 19:22 This is true - a set of ideas introduced by economists to study the distribution of wealth also turn out to govern the behaviour of quantum entanglement. Pretty wild! Here's the paper: https://t.co/Wf9iGL59JO https://t.co/wXXbIP697I - [C] Jacopo Bertolotti on Twitter: ""I quickly learned to hate spinors. They’re non-intuitive, far more complicated than they have any right to be, and come either with two components or four, both versions being equally hard to comprehend." A Child’s Guide to Spinors William O. Straub"
- [C] (6) Abhishek Singharoy on Twitter: "The first study of an entire cell organelle in all-atom details. https://t.co/R2t6YdyiAu I am told it'll take the field either 30 years back or 30 years forward. Please help me decide :)" / Twitter
- TODO [C] Tweet from John Carlos Baez (@johncarlosbaez), at Aug 11, 05:50 I've been thinking about this sum for a while. I finally had an idea, which you can see here:
- TODO [C] Tweet from John Carlos Baez (@johncarlosbaez), at Aug 14, 11:28
- [C] (3) michael
_{nielsen}on Twitter: "Amazing Twitter thread, giving an overview of work on quantum computer architectures. Lots of intuition-building tidbits, broad principles, and detailed references. Summarized here: https://t.co/VDzUrfCpA8 https://t.co/i30oRFruw2" / Twitter - TODO [C] Something Deeply Hidden | Not Even Wrong
- TODO [C] Нейронауки для всех. Методы: транскраниальная магнитная стимуляция - Neuronovosti
- TODO [C] Tweet from 1/(1 - 1/(1 - 1/(1 - Dan Piponi))) (@sigfpe), at Aug 18, 07:06
- [C] (1) Daniel Litt on Twitter: "The fundamental group of SO(3) is Z/2Z! https://t.co/MnJS0YnNrJ" / Twitter
- [C] (1) Daniel Piker on Twitter: "New 'Live Soap' component for interactive form-finding of minimal surfaces with topology changes https://t.co/YuARGfXlSO" / Twitter
- TODO [C] Anki decks by LW users - LessWrong 2.0
- TODO [C] Tweet from Nikita Lisitsa (@lisyarus), at Aug 26, 18:32
- TODO [C] Tweet from Dmitrii Kovanikov (@ChShersh), at Aug 27, 13:51
- TODO [C] Tweet from 〈 Berger | Dillon 〉 (@InertialObservr), at Aug 30, 18:28
- [C] Finding a potential function for conservative vector fields - Math Insight
- [C] Finding a potential function for conservative vector fields - Math Insight
- TODO [C] David Pfau on Twitter: "Thrilled to be able to share what I've been working on for the last year - solving the fundamental equations of quantum mechanics with deep learning! https://t.co/pzp0Xhsxbu" / Twitter
- [C] Particle filter - Wikipedia
- TODO [C] explained.ai ai
- TODO [C] Tweet from isis agora lovecruft (@isislovecruft), at Sep 22, 00:47
- TODO [C] The Yoneda Perspective
- [C] John Carlos Baez on Twitter: "@sigfpe There are theorems about this stuff. A simple example is the lowest eigenvalue of -d²/dx² + x² + λx⁴ as a function of λ. You can formally compute the Taylor series of this function, which diverges, and Borel sum it, and get the right answer for λ>0." / Twitter
- [C] Going Critical — Melting Asphalt sim
- [C] An argument against call/cc /r/programming
- TODO [C] An argument against call/cc /r/programming
- TODO [C] Understandable RayTracing in 256 lines of bare C++ /r/cpp
- TODO [C] ELI5 The Wigner's Friend Thought Experiment /r/explainlikeimfive quantum
- TODO [C] Tweet from michael
_{nielsen}(@michael_{nielsen}), at Nov 4, 01:38 - TODO [C] Tweet from Nikita Lisitsa (@lisyarus), at Mar 20, 09:27 An excellent read - "The stability of matter: from atoms to stars" https://t.co/qFktkarHAk studyread
- [C] The Hardware of a Quantum Computer | edX
- [C] Are we expecting to have a symmetry breaking of the electromagnetic force in the future? /r/Physics
- [C] Are we expecting to have a symmetry breaking of the electromagnetic force in the future? /r/Physics
- [C] What exactly is explicit symmetry breaking? And what are some examples? /r/Physics
- [C] Can Representation Theory be Explained Using Basic Abstract and Linear Algebra? /r/math
- TODO [C] Tweet from 1/(1 - 1/(1 - 1/(1 - Dan Piponi))) (@sigfpe), at Dec 14, 23:57
- TODO [C] Tweet from 1/(1 - 1/(1 - 1/(1 - Dan Piponi))) (@sigfpe), at Dec 15, 00:02
- [C] Quantum Leaps, Long Assumed to Be Instantaneous, Take Time | Quanta Magazine /r/Physics
- TODO [C] Try TLA
- TODO [C] 1/(1 - 1/(1 - 1/(1 - Dan Piponi))) on Twitter: "The p-adics are like science fiction in mathematics. They are alternative universes alongside the familiar realm of the reals. And there are objects that transcend the barriers between these worlds but manifest a little differently in each one." / Twitter
- [C] 〈 Berger |🎄| Dillon 〉 on Twitter: "Putting it all together, we get the leading order Feynman diagram that led to the discovery of the Higgs Boson. 👀 https://t.co/w9ug4yfJc1" / Twitter
- TODO [C] What Makes the Hardest Equations in Physics So Difficult? (2018) | Hacker News
- [C] Simulating physical reality with a quantum computer
- TODO [C] Tweet from 〈 Berger | Dillon 〉 (@InertialObservr), at Jan 4, 19:35
- TODO [C] the Synthetic Biology Open Language (SBOL) | a language for genetic design
- TODO [C] Tweet from John Carlos Baez (@johncarlosbaez), at Jan 17, 17:34 Planck
- TODO [C] bollu.github.io | code + contents of my website, and programming life
- [C] Spin, Statistics, CPT and All That Jazz
- [C] Are quantum fields in any way similar to classical fields? /r/askscience
- TODO [C] That being said, a lot of research asking very fundamental questions about QM is happening, and it does not necessarily involve large colliders Tweet from Valentin Fadeev (@ValFadeev), at Jan 13, 11:03
- TODO [C] Tweet from @nntaleb
- TODO [C] New spaces in mathematics and physics https://ncatlab.org/nlab/show/New+Spaces+for+Mathematics+and+Physics
- [C] Physicists Criticize Stephen Wolfram’s ‘Theory of Everything’ | Hacker News
- [C] Simone Sturniolo on Twitter: "@InertialObservr @_
_{ice9}@tequehead That we observe a single eigenvalue isn't what interpretations are about. Interpretations try to explain WHY we do. Which is the whole problem." / Twitter - [C] Mathematical formulation of the Standard Model - Wikipedia
- [C] Mathematical formulation of the Standard Model - Wikipedia
- [C] newtonian mechanics - Anti-gravity in an infinite lattice of point masses - Physics Stack Exchange
- [C] electrostatics - Paradox with Gauss' law when space is uniformly charged everywhere - Physics Stack Exchange
- [C] AVƎ on Twitter: "If you're interested in the animated anatomy studies; Here's a 1 minute tute on how to make your own (You'll only need Zbrush) : https://t.co/RMlLZKSLH0 They've definitely helped me improve my understanding, hope they help you :) https://t.co/pXZew0PP9k" / Twitter
- [C] AVƎ on Twitter: "2/6 - Anatomy studies. Arm supination/pronation and flex.
- [C] 1/(1 - 1/(1 - 1/(1 - Dan Piponi))) on Twitter: "An explanation of dimensional regularisation, one of the more bizarre sounding ideas in physics, applied to
**classical**electrodynamics. Should make it accessible to a wider audience https://t.co/3Dj0eG3Brv (Spot the 1/ε subtraction, related to my recent "moral truth" example.)" / Twitter - [C] \mathcal{L} on Twitter: "Are there any good QFT visualizations that facilitate genuine understanding and don’t mislead?" / Twitter
- TODO [C] EPR is arguably the most controversial paper Einstein ever published,
- TODO [C] Tweet from Path Integral Salesman (@litgenstein), at Dec 31, 01:53
- [C] Your statement is 100% correct but misses the entire point | Lobsters security
- [C] Tweet from @johncarlosbaez: In 1907 Einstein tried to combine special relativity with gravity - and very soon he realized gravity would make clocks tick slower, and would bend light
- TODO [C] Path Integral Salesman on Twitter: "I’ve been reading a lot of old conference proceedings. Here are some from the 1927 Solvay Conference attended by Einstein, Planck, Pauli, Born, Lorentz, Schrödinger, etc. https://t.co/1mD4Fdk4GS Responding to Einstein, Bohr says: “I do not know what quantum mechanics is.” https://t.co/ybyKjp6EHK" / Twitter
- TODO [C] (1) John Carlos Baez on Twitter: "For more, see Hubert Goenner's article "On the history of unified field theories". Part I: https://t.co/vapByPYAi4 Part II: https://t.co/YBIqX120Gg" / Twitter qft
- TODO [C] Physics stuff
- [C] Paul Dirac: The Mozart of Science (2008) | Hacker News
- TODO [C] Tweet from George Corney (@Haxiomic), at Oct 1, 21:59 The author Wyatt Flanders makes incredible things! Here's his website https://t.co/RYAHVDDAM8 simqft
- simqft eh? I don't quite understand, what 'coupling' between gravity and other forces??

- TODO [C] (1) John Carlos Baez on Twitter: "Einstein worked obsessively on unified field theories until his death in 1955. He lost touch with his colleagues' discoveries in particle physics. He had an assistant try to teach him quantum field theory, but lost interest in a month. But there's more to this story… (6/n) https://t.co/f4C9e7iAHx" / Twitter
- TODO [C] Perhaps most spectacularly of all, in 2020, Zhengfeng Ji, Anand Natarajan, Thomas Vidick, John Wright, and Henry Yuen proved that MIP*=RE. Here MIP* means the class of problems solvable using multi-prover interactive proof systems with quantumly entangled provers (and classical polynomial-time verifiers), while RE means Recursively Enumerable: a class that includes not only all the computable problems, but even the infamous halting problem (!). To say it more simply, entangled provers can convince a polynomial-time verifier that an arbitrary Turing machine halts.
- TODO [C] key ceremonies studysecurity
- TODO [C] (1) 14 Subatomic Stories: Where Einstein failed- quantum gravity - YouTube
- STRT [C] Maissam Barkeshli on Twitter: "1/ The study of topological quantum matter has been one of the most popular and exciting developments in physics in the last 15 years, although there has been a steady stream of amazing developments for the last 50 years." / Twitter
- [C] bollu.github.io | code + contents of my website, and programming life
- TODO [C] Tweet from @johncarlosbaez
- [C] Спиральность частицы — Википедия
- [C] Understanding quaternions and the Dirac belt trick (2010) | Hacker News
- TODO [C] Tweet from Statebox | ステートボックス (@statebox), at Dec 18, 18:38
- [C] Amazon.com: Lectures On Phase Transitions And The Renormalization Group (Frontiers in Physics) (9780201554090): Goldenfeld, Nigel: Books
- [C] Michael Nielsen on Twitter: "Somehow, the combination: quasiparticles + statistics + universality / RG + equilibrium is just mindbogglingly rich." / Twitter
- TODO [C] Neutrino oscillation - Wikipedia
- [C] quantum field theory - How does the Higgs mechanism work? - Physics Stack Exchange
- [C] HiggsLectureNote.pdf - HiggsLectureNote.pdf
- [C] How can SU(2) group has 3 dimensional representation? - Mathematics Stack Exchange reprtheory
- TODO [C] Tweet from @akivaw
- [C] Fundamental Forces
- [C] Brian Skinner on Twitter: "@michael
_{nielsen}@sigfpe I like this example. Generally bosonic systems store heat/entropy much more easily than fermionic systems. In a boson system, all the particles can store heat, while in a fermionic system only the ones near the Fermi surface can." / Twitter - [C] Maissam Barkeshli on Twitter: "@michael
_{nielsen}But we do live in a superconductor in a sense! The Higgs boson has condensed, which is the origin of mass, similar to how photons acquire mass in electronic superconductors. The idea of technicolor in particle physics is that the Higgs may be a pair of more fundamental fermions" / Twitter - STRT [C] Vijay Mocherla on Twitter: "@michael
_{nielsen}Check out the notes by David Tong from Cambridge. Ch3 of statistical physics notes is the shortest comprehensive summary of BEC I can think off. https://t.co/ED0PrMXvBK" / Twitter - [C] arXiv:0910.4855v1 [hep-ph] 26 Oct 2009 - 0910.4855.pdf
- [C] special relativity - Why don't we construct a spin 1/4 spinor? - Physics Stack Exchange
- TODO [C] X Thus, in a given direction, the momentum has a maximum possible magnitude. The space of allowable momenta is called the Brillouin zone, and its shape depends on the arrangement of atoms in the crystal.
- [C] PPlect17.pdf lecture 17 – the Higgs Boson
- [C] lomb-2nd-Ed.pdf Lomb: Polyglot - How I Learn Languages
- TODO [C] Viktor T. Toth - Kaluza-Klein theory
- TODO [C] Tweet from John Carlos Baez (@johncarlosbaez), at Sep 9, 08:09
- TODO [C] Shtetl-Optimized » 2013 » March The zone
- TODO [C] Tweet from 〈 Zach | Kim 〉 (@litgenstein), at Oct 16, 08:49
- TODO [C] Tweet from 〈 Zach | Kim 〉 (@litgenstein), at Aug 19, 14:45
- TODO [C] Tweet from 〈 Zach | Kim 〉 (@litgenstein), at Aug 19, 14:51
- TODO [C] Tweet from John Carlos Baez (@johncarlosbaez), at Oct 16, 16:46
- TODO [C] Greg Egan on Twitter: "
`[1/4]`

Welcome to HopfWorld! Every point on the surface of our own world has been replaced by a circle, creating a three-dimensional sphere in four dimensions. If you take a rotating slice through that 3-sphere (as shown in the second image), this is what the slice looks like: https://t.co/Rn12So6iKf" / Twitter - TODO [C] Три книги - Dee Mon. Былое и думы — LiveJournal
- TODO [C] GR tensor – it's the only way to construct it? (from Physics from Symmetry book) study
- [C] gravitational waves
- [C] fusion
- [C] wigner's friend experiment is different from shrodinger's cat in that the entangled observer (the friend) is conscious quantum
- [C] Van der Waals force - Wikipedia
- [C] Feynman diagram - Wikipedia
- [C] MathPages: Physics
- [C] Cracking a Black Hole Paradox - Sixty Symbols - YouTube study
- [C] Reflections on Relativity readstudy
- [C] fine
_{structure.pdf} - [C] The Lamb Shift
- [C] The Hydrogen 21-cm Line
- [C] Visualizing quaternions | 3blue1brown + Ben Eater
- [C] Wavefunction Visualizer
- [C] Ask Ethan #36: The Amazing Spinning Electron | by Ethan Siegel | Starts With A Bang! | Medium
- [C] algebraic geometer BLM on Twitter: "@KSHartnett @stevenstrogatz @QuantaMagazine Sad that there was no room for one of the main storylines, the love/hate relationship/competition between symplectic and complex geometry." / Twitter
- [C] Алгебры Клиффорда, часть 1 | VK
- TODO [C] Tweet from michael
_{nielsen}(@michael_{nielsen}), at Aug 5, 22:37 - TODO [C] Classically, a scalar field is a collection of an infinity of oscillator normal modes. It suffices to consider a 1+1-dimensional space-time ℝ×S1, in which the spatial direction is compactified to a circle of circumference 2π, rendering the momenta discrete.
- [C] statistical mechanics - Is there any proof for the 2nd law of thermodynamics? - Physics Stack Exchange
- TODO [C] Tweet from David Holz (@DavidSHolz), at Nov 7, 21:36
- TODO [C] Bartosz Milewski on Twitter: "@johncarlosbaez @sigfpe I even adapted his notation to profunctors. https://t.co/f7p0BErEip" / Twitter
- TODO [C] michael
_{nielsen}on Twitter: "@predzemshara The IPCC report is surprisingly good - try assessment report 5. There are, of course, many many books. I enjoyed Daniel Schrag's EdX class, though it focuses more on the earth-system aspect, and only gradually moves onto human-caused climate stuff." / Twitter climate - TODO [C] Georgi–Glashow model - Wikipedia
- [C] (1) Sean Carroll on Twitter: "The Biggest Ideas in the Universe: idea #11 is Renormalization. We deal with "infinities" in quantum field theory by admitting that we don't understand arbitrarily high energies, and constructing "effective" theories instead. https://t.co/kZ8pnYJ5nA" / Twitter
- [C] Breakthrough in inverse Laplace transform procedures | Hacker News
- [C] Breakthrough in inverse Laplace transform procedures | Hacker News
- [C] MathStory - Hilberts Problems(1).pdf
- [C] (2) Introduction to Energy Band Theory - Material Science - YouTube study
- [C] D ␣ a ␣ n ␣ P ␣ i ␣ p ␣ o ␣ n ␣ i on Twitter: "@johncarlosbaez @sarah
_{zrf}Yeah, symplectic integrators are the way to go. They often conserve not-quite-energy which is the wrong thing to conserve but it still stops things getting out of hand." / Twitter - TODO [C] Tweet from @johncarlosbaez
- [C] Dave Burke on Twitter: "RNA looks like DNA except the T is replaced with a U. The RNA moves out into the cell and is used to build proteins it specifies. This DNA->RNA->protein sequence is called the central dogma of molecular biology." / Twitter
- [C] Dave Burke on Twitter: "Every cell in your body contains your full DNA or genome (3 bn base pairs). But each cell doesn't use all of the instructions, e.g. a skin cell shouldn't make an iris. This is where gene expression comes in. DNA in the nucleus is first copied to short strands of RNA." / Twitter
- [C] Geom algebra Vs vector
- STRT [C] Structure and Interpretation of Classical Mechanics - Wikipedia
- TODO [C] Tweet from @litgenstein
- [C] (1) The Holographic Universe Explained - YouTube physics
- [C] Tensors Explained Intuitively: Covariant, Contravariant, Rank - YouTube
- [C] Tensors Explained Intuitively: Covariant, Contravariant, Rank - YouTube
- [C] A theory of everything | Garrett Lisi - YouTube qft
- TODO [C] Tweet from @johncarlosbaez
- TODO [C] Subatomic Stories: Antimatter - YouTube study
- TODO [C] Tweet from @litgenstein study
- [C] Joe Rogan Experience #1203 - Eric Weinstein - YouTube study
- TODO [C] Tweet from @johncarlosbaez
- [C] conductivity stuff physics
- [C] Majorana fermion - Wikipedia
- TODO [D] Tweet from John Carlos Baez (@johncarlosbaez), at May 10, 16:05
- [D] Why The Schrodinger Equation Fails at Relativity : Physics
- [D] Locally constant function - Wikipedia
- TODO [D] Math3ma cattheory
- cattheory interesting, some illustreated category theory?

- TODO [D] books studyelectronics
- [D] Life on the lattice qftqcd
- [D] [hep-lat/0506036] Lattice QCD for Novices qcd
- [D] pushout in nLab cattheory
- cattheory try to understand it sentence by sentence..

- [D] logic - How can a formal system ever be non-obviously unsound? - Mathematics Stack Exchange logic
- [D] (2) Slut
_{jack}on Twitter: "Q: wat is Functor F A: you can add F to both ends a -> b F a -> F b Q: FullyFaithful F? A: rm F from both ends F a -> F b a -> b Q: L left adjoint to R? A: Pulling L right turns it to R A: Pulling R left turns it to L L a -> b a -> R b L a -> b" / Twitter - TODO [D] Nontransitive dice - Wikipedia
- TODO [D] Tweet from Jibran Haider (@jibranhaider), at Jan 2, 09:11 numeric
- [D] Hacker's guide to Neural Networks nn
- [D] How a Kalman filter works, in pictures | Bzarg
- [D] myPhysicsLab Single Spring viz
- TODO [D] Derivatives and dissections of data types | Lambda the Ultimate
- TODO [D] Really interesting and informative site about physical simulations and mechanics, and the maths behind it.👍👍👍 vizsim
- TODO [D] Tweet from John Carlos Baez (@johncarlosbaez), at Mar 23, 17:08 sheaf
- TODO [D] Linear algebra done right
- [D] plot of sin(z)/(z - mouse position) in the complex plane /r/math viz
- TODO [D] Tweet from John Carlos Baez (@johncarlosbaez), at Apr 10, 03:21 cattheorybaez
- TODO [D] Tweet from ¬¬(Dan Piponi) (@sigfpe), at Apr 10, 22:05 cattheory
- TODO [D] Таким образом, любой, даже самый маленький электрический заряд черной дыры полностью меняет тип сингулярности в ее центре.
- [D] Fundamental polygon - Wikipedia
- [D] The 5/8 Theorem | Azimuth
- [D] klein bottle topology
- [D] armstrong p.138 van jampen theorem for simplicial complexes topology
- TODO [D] Tweet from John Carlos Baez (@johncarlosbaez), at May 12, 17:51 baez
- TODO [D] Fundamental Design Issues of Gradle Build System
- TODO [D] Tweet from Nikita Lisitsa (@lisyarus), at May 28, 15:10
- TODO [D] Tweet from Roman Elizarov (@relizarov), at May 20, 22:48
- [D] Product Spaces topology
- TODO [D] https://www.reddit.com/r/AskElectronics/wiki/education electronics
- TODO [D] Физик оправдал принцип космической цензуры https://nplus1.ru/news/2019/06/19/censorship
- TODO [D] Visual complex analysis
- TODO [D] John Carlos Baez on Twitter: "Fong and Spivak's book on applied category theory is coming out! I'm getting my copy in the mail soon! (cont)… "
- [D] Mathematical Methods of Classical Mechanics (Graduate Texts in Mathematics, Vol. 60): V. I. Arnold, A. Weinstein, K. Vogtmann: 9780387968902: Amazon.com: Books mathphysics
- TODO [D] короче очень советую, если ты хочешь немного инсайтов в статистику-мл-датасаенс без хуйни https://medium.com/@kozyrkov Cassie Kozyrkov – Medium
- TODO [D] Tweet from Jamie Portsmouth (@jamportz), at Jan 3, 09:14 physicsviz
- TODO [D] Sam Walters ☕️ on Twitter: "My Einstein paper is posted on arXiv. (It resulted from my Math-Physics Symposium talk.) https://t.co/b7qp6baxIJ… "
- TODO [D] Tweet from Derek Lowe (@Dereklowe), at Oct 11, 15:03 study
- TODO [D] A Proposal for Proquints: Identifiers that are Readable, Spellable, and Pronounceable
- TODO [D] Formalizing expresiveness of line editors /r/dependent
_{types} - TODO [D] Tweet from Nikita Lisitsa (@lisyarus), at Nov 27, 08:41
- TODO [D] щас посмотрел видос пиздос, типа Планк не верил в фотоны (да и чуть ли не в атомы) до 20х годов
- TODO [D] Physicists of reddits, what's the most Intetesting stuff you've studied so far?? /r/Physics
- [D] A Concurrency Cost Hierarchy | Performance Matters
- [D] https://arbital.com/p/bayes_rule_proportional/?pathId=36904
- TODO [D] Tweet from Eric Lengyel (@EricLengyel), at Jul 29, 11:11
- [D] Same-origin policy - Wikipedia https://en.wikipedia.org/wiki/Same-origin_policy
- [D] Об Байеса - 2: plakhov — LiveJournal
- [D] reddit: the front page of the internet
- TODO [D] Tweet from @preskill
- TODO [D] Tweet from John Carlos Baez (@johncarlosbaez), at Aug 14, 03:29
- [D] Breit–Wheeler process - Wikipedia
- [D] (1) We certainly do have formal derivations of Lorentz covariance and the Einste… | Hacker News
- Drill
- TODO S(N) is { det = 1 } U(N) is { M*M = 1 } drillreprtheory
- TODO [C] lorenzian vs riemannian manifold {spacetime vs space} drill
- TODO [C] exponentiating the observable results in representations reprtheorydrill
- drill Cook–Levin theorem - Wikipedia
- TODO {Zu veil geld} too much money drill
- drill universe is { 13.7 billion } years old
- TODO [C] Margolus-levitin theorem: limit on QC . Processing rate is or order {10 ** 33} op/s per joule. Or, system needs time about {h / E} to flip the state to orthogonal drill
- [C] Upgrading the Particle Physics Toolkit: The Future Circular Collider - Harry Cliff, John Womersley - YouTube studydrill

- TODO hmm, quantum fields seem to be very poorly visualised. I wonder if I can do better with something very simple vizqft
- John Carlos Baez on Twitter: "Take the real numbers. Throw in some square roots of +1 and some square roots of -1, all anticommuting. You get a Clifford algebra. Clifford algebras are important in geometry and physics - we need them to understand spin! They also display some amazing patterns. (1/n) https://t.co/IlnbpTbBqN" / Twitter
- John Carlos Baez on Twitter: "@gregeganSF @monsoon0 @wtgowers @LauraDeming Okay, you've managed to cancel out any potential "insult" with an overload of praise. It was this paper: https://t.co/vlxpqR8G1w The stabilization hypothesis, homotopy hypothesis, cobordism hypothesis and tangle hypothesis are in here. No theorems, amusingly." / Twitter
- TODO Jesper Cockx - Rewriting type theory /r/agda
- Sofia 🧹 on Twitter: "Follow up, matrix multiplication is essentially the unique solution to the following problem: given dot :: (j -> a) -> (j -> b) -> c derive mmul :: (i -> j -> a) -> (j -> k -> b) -> (i -> k -> c) the solution is: mmul as bs i k = dot (as i) (flip bs k)" / Twitter
- Nikita Lisitsa on Twitter: "Hence we are forced to include this bizarre state into consideration. Are we missing some more states? Surely we are. This all boils down to representations of the SO(3) group and how those behave under tensor product - this is known as Clebsch-Gordan decomposition. (8/8)" / Twitter
- TODO Tweet from 1/(1 - 1/(1 - 1/(1 - Dan Piponi))) (@sigfpe), at Nov 30, 19:14
- TODO Tweet from michael
_{nielsen}(@michael_{nielsen}), at Nov 30, 18:57 - TODO [D] Tweet from Quanta Magazine (@QuantaMagazine), at Dec 5, 19:02
- TODO Tweet from michael
_{nielsen}(@michael_{nielsen}), at Dec 6, 03:04 - TODO Tweet from Juan Carlos ∞ (@PonceCampuzano), at Jan 8, 17:04
- Path Integral Salesman on Twitter: "If you want to study physics but your life just does not permit you the time or energy to do maths rigorously (or, at least, however rigorously we physicists do maths), check out these 3 friendly texts: https://t.co/G62SmoXuPc https://t.co/uFCqVj4Exs https://t.co/1QhwJVOKBI https://t.co/ZWhDtvFyju" / Twitter
- TODO vacuum
_{offering.pdf}mathematical- notes10.pdf
- 404 Not Found
- 404 Not Found
- Klein–Gordon equation - Wikipedia
- Schrödinger field - Wikipedia
- Tweet from @johncarlosbaez
- Tweet from @johncarlosbaez
- Tweet from @litgenstein
- reference request - Atlas-like websites on specific areas of mathematics - MathOverflow
- Phil Lynch on Twitter: "My copy of the Bible finally arrived https://t.co/8XomO2d887" / Twitter
- On the shoulders of the giants | Hacker News
- Tweet from @johncarlosbaez
- John Carlos Baez on Twitter: "@seanmcarroll The CRC Handbook of Chemistry and Physics. Imagine how much work it took to collect all that knowledge…" / Twitter
- DONE [A] John Baez on Research Tactics - Machine Intelligence Research Institute researchlearning
- DONE [B] How I learn and practice music with anki /r/Anki musicspacedrep
- musicspacedrep ok, interesting, he basically learns systematically fingering, chords etc

- DONE [B] The Frustrating Success of Our Best Theory of Physics – The Third Triumvirate relativityphysics
- relativityphysics very intuitive explanations how to get physical fields from symmetry justification; and rationale for Higgs field

- DONE [C] https://vk.com/wall-9471321_26902 Фундаментально ли время во Вселенной
- В 2013 году команда исследователей из Италии экспериментально продемонстрировала этот феномен. Подводя итоги своей работы, ученые сообщали: «Мы показываем, как статическое запутанное состояние двух фотонов можно рассматривать в качестве развивающегося с точки зрения наблюдателя, использующего один из двух фотонов как часы — для оценки временного развития другого фотона. Однако сторонний наблюдатель может показать, что глобально запутанное состояние не развивается».

- TODO [B] Topology Illustrated - Mathematics Is A Science
- The fundamental Group of the Torus is abelian - YouTube
- Two-state quantum system - Wikipedia
_{03.tex}- Twostates_{03.pdf}quantumstudy Twostates- quantumstudy The Feynman Lectures on Physics Vol. III Ch. 8: The Hamiltonian Matrix

- The Feynman Lectures on Physics Vol. III Ch. 9: The Ammonia Maser
- Тензор энергии-импульса
- TODO [D] NATO phonetic alphabet - Wikipedia https://en.m.wikipedia.org/wiki/NATO_phonetic_alphabet study
- TODO [C] symplectic.ipynb symplectictostudy
- TODO [C] Tweet from @gravity
_{levity} - TODO [C] Tweet from @nplusodin
- TODO [C] Tweet from @Dereklowe
- ---------------------------------------
- TODO [C] Tweet from @mekarpeles chinese
- TODO [C] Metamorphisms | Bartosz Milewski's Programming Cafe https://bartoszmilewski.com/2019/01/03/metamorphisms/
- TODO [C] Tweet from Nick Sharp (@nmwsharp), at Jul 24, 13:25
- ----------------------------------------------
- TODO [C] ECAP10 Joscha Bach on AI singularity.pdf
- TODO [C] Syllabus for Classics of Computer Science tostudyhci
- TODO [D] kitspace/awesome-electronics: A curated list of awesome resources for electronic engineers and hobbyists https://github.com/kitspace/awesome-electronics
- TODO [D] Maldacena: The symmetry and simplicity of thelaws of physics and the Higgs boson https://arxiv.org/pdf/1410.6753.pdf
- [D] A visual introduction to machine learning http://www.r2d3.us/visual-intro-to-machine-learning-part-1/ ml
- TODO [C] Shtetl-Optimized » Blog Archive » The Busy Beaver Frontier toread
- TODO [C] Can We Understand The Standard Model? | Azimuth towatchtoread
- TODO [C] Mathematics in the 21st Century | Azimuth towatch
- TODO [C] Black Dwarf Supernovae | Azimuth
- STRT [D] Tweet from Patrick Collison (@patrickc), at Nov 17, 23:15 environment
- environment dunno, interesting but not sure if there is anything actionable. buy pollution meter?

- TODO [D] Tweet from Valentin Fadeev (@ValFadeev), at Sep 26, 09:03

## ¶TODO [C] John Carlos Baez on Twitter: "Entropy is the amount of information you don't have about the random details of a system: what you'd need to describe those details. It takes 500 zettabytes to fully describe a gram of liquid water, but a manageable amount per molecule! (1/n) https://t.co/cDg7ZFpLt3" / Twitter

https://twitter.com/johncarlosbaez/status/1218927345836285952

Entropy is the amount of information you don't have about the random details of a system: what you'd need to describe those details. It takes 500 zettabytes to fully describe a gram of liquid water, but a manageable amount per molecule!

## ¶[C] Nikita Lisitsa on Twitter: "Simulating Hamiltonian mechanics instead of Metropolis-Hastings algorithm: https://t.co/cVZiaTGP7u" / Twitter

https://twitter.com/lisyarus/status/1229487593684901889

Simulating Hamiltonian mechanics instead of Metropolis-Hastings algorithm:

## ¶TODO [A] Viktor T. Toth - Spinors in three dimensions

So what are spinors for anyway? Quantities that transform like a spinor appear in quantum mechanics: the coefficients in the Dirac-equation form a spinor, for instance, because when you rewrite the equation under a change of coordinates, in order for it to remain invariant, the Dirac-coefficients must transform as spinors do.

ok, this is a very clear spinor explanation

## ¶ Quantum vs. classical - Dee Mon. Былое и думы — LiveJournal

Потому, кстати, диаграммы с большим числом промежуточных узлов вносят очень малый вклад - там заряд в энной степени, и если он изначально мал, в энной степени выходит совсем мало. Кроме сильного взаимодействия, там он не так мал.

## ¶[B] general topology - What is a topological space good for? - Mathematics Stack Exchange topology

https://math.stackexchange.com/questions/1795583/what-is-a-topological-space-good-for/1795995

Given topological spaces X,YX,Y, the product topology on X×YX×Y is the smallest topology which makes the projections continuous. (this also holds for infinite products) Given a topological space XX and a subset AA, the induced topology on AA is the smallest topology which makes the inclusion continuous. Given a topological space XX and an equivalence relation ∼∼ on XX, the quotient topology on X/∼X/∼ is the biggest topology which makes the projection continuous. The topology induced by a metric on XX is the smallest topology which makes dd a continuous functions.

## ¶[B] III Advanced Quantum Field Theory - QFT in one dimension (i.e. QM) qft

## ¶TODO [B] visualising QFT vizqft

### ¶[B] A new way of visualising quantum fields - IOPscience vizqft

### ¶[B] software - Where can I find visualizations of quantum field theory equations? - Physics Stack Exchange vizqft

#### ¶ shit… so apparently it's pretty much impossible to visualise due to high number of states… qftviz

### ¶[B] Proton quarks empty mass calculation GIF : askscience vizqft

https://www.reddit.com/r/askscience/comments/gyqaz/proton_quarks_empty_mass_calculation_gif/

The only way we've figured out for handling these calculations is to do them numerically, on a lattice. (In the computer program, we discretize space and time instead of having them be continuous.) Even with this, the calculations are notoriously hard to implement, but some of them turn out good results. That animation is the result of one of those.

right, so lattice QCD will result in something fruitful presumably

### ¶[B] Derek Leinweber vizqftqcd

### ¶TODO [B] hmm, no one seems to have visualised klein gordon, even numerically? vizqftquantum

### ¶[B] (8) Empty Space is NOT Empty - YouTube vizqft

https://www.youtube.com/watch?v=J3xLuZNKhlY&feature=youtu.be

visualisation of vacuum for a proton sized box

## ¶START [B] Is it true that the Schrödinger equation only applies to spin-1/2 particles? - Physics Stack Exchange

If we pretend the wave function is a classical field (which happens all the time during the "second quantization" procedure), then it turns out to describe a spin-0 field. See Brian Hatfield's Quantum Field Theory of Point Particles and Strings, specifically chapter 2 --- on "Second Quantization". But wait, there's more! If we consider other non-relativistic fields and attempt quantizing, e.g. the Newton Cartan theory of gravity, we also get spin-0 boson! For this result (specific to quantizing Newtonian gravity), see: Joy Christian's "Exactly Soluble Sector of Quantum Gravity"

### ¶ mm. can't say I really understand it..

The "vanilla" Schrodinger's equation (from non-relativistic QM) does not describe a spin-1/2 particle. The plain, old Schrodinger's equation describes a non-relativistic spin-0 field.

### ¶ for those interested in more on this, geocalc.clas.asu.edu/pdf/Consistency.pdf argues that "Schrodinger theory is identical to the Pauli theory when the electron is in an eigenstate of the spin"

## ¶[B] (6) Quantum Spin - Visualizing the physics and mathematics - YouTube spinviz

https://www.youtube.com/watch?v=3k5IWlVdMbo&list=WL&t=0s&index=81

Eugene Khutoryansky

really good spin visualisations. ok, so spin is a unit quaternion, ok

## ¶TODO [B] III Advanced Quantum Field Theory - QFT in zero dimensions qftstudy

### ¶ really nice looking book! qftstudy

## ¶[B] Lagrangian formalism for fields - Scholarpedia lagrangianspinor

### ¶ pretty good motivation for the shape of lagrangian and examples with different kinds of fields lagrangianspinor

## ¶[B] Tensors tensor

### ¶TODO need to make sure I understand it and archive tensor

### ¶[C] Tensor Calculus tensor

https://ion.uwinnipeg.ca/~vincent/4500.6-001/Cosmology/Tensor-Calculus.htm

This problem arises because of the very definition of the derivative. Differentiation involves comparing a quantity evaluated at two neighbouring points, To define a tensor derivative we shall introduce a quantity called an affine connection and use it to define covariant differentiation.

### ¶[C] Tensor derivative (continuum mechanics) - Wikipedia tensor

https://en.wikipedia.org/wiki/Tensor_derivative_(continuum_mechanics)#Derivative_{of}_{the}_{inverse}_{of}_{a}_{second}-order_{tensor}

### ¶[C] Partial derivative of tensor with respect to tensor - Mathematics Stack Exchange tensor

### ¶[C] partial differentiation of a variable w.r.t. its time derivative - Mathematics Stack Exchange tensor

### ¶[D] Tensors_{Poor}_{Man.pdf} tensor

https://web2.ph.utexas.edu/~jcfeng/notes/Tensors_Poor_Man.pdf

some ok explanations for covariant derivatives ans some index notation

## ¶START [B] Aharonov-Bohm Experiment quantumstudy

- State "START" from

https://physicstravelguide.com/experiments/aharonov-bohm#tab__abstract

Functions that are not single valued can only exist in spaces that are not simply connected, or those that do not have trivial first homotopy group. We see that the manifold of the vacuum is thus the key to understanding the new physical result, and the topological defect gives us the intuition

### ¶[B] Euler–Lagrange equation - Wikipedia quantumstudylagrangian

https://en.wikipedia.org/wiki/Euler%E2%80%93Lagrange_equation

Derivation of one-dimensional Euler–Lagrange equation

Derivation of one-dimensional Euler–Lagrange equation – this section is actually the one that makes sense of it

### ¶ basically quantumstudy

we have J = int F(x, f, f'). for any variaiton v, g_{e} = f + e v. So, F_{e} = F(x, g_{e}, g'_{e}) and J_{e} = int F(x, g_{e}, g'_{e})

next, total derivative: dJ_{e}/de = int dF_{e}/de dx

dF_{e}/de = dx/de pF_{e}/px + dg_{e}/de pF_{e}/pg_{e} + dg'_{e}/de pF_{e}/pg'_{e}

but dx/de = 0; dg_{e}/de = v and dg'_{e}/de = v'

in general we can't just replace pF_{e}/pg_{e} with pF/pf!!! but, we can use the fact that we are computing derivative at zero, and at zero g_{e} is equal to f.

so, we get dJ/de|e=0 = int v(x) dF/df + v'(x) dF/df' = 0

use integration by parts to eliminate higher order derivatives of the variation

## ¶[B] Einstein–Hilbert action - Wikipedia

### ¶ some nice calculations involving tensor chain rule tensor

## ¶[B] SO3 vs SU2 https://labcit.ligo.caltech.edu/~ethrane/Resources/seminar/Ch2.Spinors.pdf reprtheory

SU2 – three-sphere; purely algebraically x^{2} + y^{2} + u^{2} + v^{2}

SO3 – more tricky

each rotation is described by unit vector n (two spherical angles) and rotation angle gamma (from 0 to pi)

we have a degeneracy (n, pi) = (-n, pi)

these angles are ALSO a surface of a three sphere; but if we have a degeneracy, opposite points are identified

## ¶[B] Quantum computing for the very curious qft

The standard model is an example of a particular type of quantum mechanical theory called a quantum field theory. John Preskill and his collaborators have written a series of papersFor a review of progress see: John Preskill, Simulating quantum field theory with a quantum computer (2018). explaining how to use quantum computers to efficiently simulate quantum field theories. Those papers don’t yet simulate the full standard model, but they do make considerable progress. It remains an exciting open problem, albeit a problem where much encouraging progress has been made.

## ¶[B] What is the point of complex fields in classical field theory? - Physics Stack Exchange qft

Two real scalar fields ϕ1ϕ1 and ϕ2ϕ2 satisfying an SO(2)SO(2) symmetry and one complex scalar field ψψ are equivalent. However, the latter is more convenient because the particles made by ψψ and ψ†ψ† are each others' antiparticles. In the real case, the fields that have this property are ϕ1±iϕ2ϕ1±iϕ2, so once you change basis from ϕ1ϕ1 and ϕ2ϕ2 to ϕ1±iϕ2ϕ1±iϕ2 you've reinvented the complex scalar field. This is explained nicely starting from p.53 in Sidney Coleman's QFT notes.

## ¶START [B] electromagnetism - Are electron fields and photon fields part of the same field in QED? - Physics Stack Exchange qft

In our modern understanding, every electron is thought to be a localized excitation of the electron (or Dirac) (spinor) field Ψ(xμ)Ψ(xμ), while every photon is considered to be an excitation of the photon (vector) field Aν(xμ)Aν(xμ), which is the quantum field-theoretic counterpart of the classical four-potential.

### ¶ The 'covariant derivative' Dμ≡∂μ+ieAμ encodes the interaction between the two fields Aμ and Ψ, and the 'strength' of the interaction is given by e, the charge of the electron. qft

#### ¶ hmm that sort of makes sense, because covariant derivatives gives the connection for fiber bundle, which is related to the gauges and that stuff?? qft

## ¶[B] III Quantum Field Theory - Spinors

https://dec41.user.srcf.net/h/III_M/quantum_field_theory/4_1

read all these course notes over again

## ¶[B] Simulation of Lattice Quantum-Chromodynamics and Other Lattice Models : TechWeb : Boston University vizqft

## ¶STRT [B] Tweet from Borja Sotomayor (@borjasotomayor), at Apr 2, 12:21 art

A liberal arts curriculum (like the one at @UChicagoCollege) makes you a more well-rounded individual, and builds a lot of cross-cutting skills like good writing, critical thinking, building a good argument, etc. I didn't really appreciate that when I was younger.

https://twitter.com/borjasotomayor/status/1113038716929560578

### ¶ huh. liberal arts means whole set of sciences, not just 'art' art

### ¶TODO do some of these? https://www.coursera.org/browse/arts-and-humanities art

#### ¶ graphic design could be interesting, 'modern art & ideas'; creative writing? art

## ¶[B] angular momentum - An electron has no known internal structure, does that imply it has an unknown one? - Physics Stack Exchange spin

Spin is a purely quantum mechanical phenomenon, it cannot be understood with classical physics alone, and every analogy will break down. It has also, intrinsically, nothing to do with any kind of internal structure. (Non-relativistic) spin arises simply because quantum things must transform in some representation of the rotation group SO(3)SO(3) in order for the operators of angular momentum to act upon them (and because we need to explain the degree of freedom observed in, e.g., the Stern-Gerlach experiment. Since the states in the QM space of states are only determined up to rays, we seek a projective representation upon the space, and this means that we actually represent the covering group SU(2)SU(2). The SU(2)SU(2) representations are labeled by a number s∈N∨s∈N+12s∈N∨s∈N+12, which we call spin. Whether the thing we are looking at is "composite" or "fundamental" has no impact on the general form of this argument.

## ¶TODO [B] chirality and helicity

### ¶[B] polarization - What is polarisation, spin, helicity, chirality and parity? - Physics Stack Exchange

Spin is determined from the representation of the Lorentz group the quantum field transforms in. The projective finite-dimensional representations of the Lorentz group are labeled by two half-integers (s1,s2)(s1,s2). The spin of a field is the sum s=s1+s2s=s1+s2. For example, a scalar transforms in (0,0)(0,0), a vector field in (12,12)(12,12), a Dirac spinor in (12,0)⊕(0,12)(12,0)⊕(0,12), and those have spin 00, 11 and 1212, respectively.

### ¶[B] polarization - What is polarisation, spin, helicity, chirality and parity? - Physics Stack Exchange

What is polarisation, spin, helicity, chirality and parity?

good answer from acurious mind

### ¶[B] What should be the intuitive explanation of wave equation? - Physics Stack Exchange

Observe that (v2∂2∂x2−∂2∂t2)y=0 (v2∂2∂x2−∂2∂t2)y=0 can be factored as (which is what you probably mean by "squaring" in the question) (v∂∂x+∂∂t)(v∂∂x−∂∂t)y=0 (v∂∂x+∂∂t)(v∂∂x−∂∂t)y=0

hmm…. wonder if that might help with solving wave equation in sympy

### ¶[C] polarisation and helicity some derivations gauge

## ¶TODO [B] read rosetta stone again study

## ¶[B] Gauge invariance - Scholarpedia

## ¶TODO [B] Jacopo Bertolotti on Twitter: "I am not satisfied yet, but this is my spin rotating around the x-axis, with the color representing the phase term common to both components of the spinor (which shows that you need two rounds to go back to the original state). I will work more on it in the next days.… https://t.co/ji4cYUNRu8" spinorviz

https://twitter.com/j_bertolotti/status/1141724827599941633

I am not satisfied yet, but this is my spin rotating around the x-axis, with the color representing the phase term common to both components of the spinor (which shows that you need two rounds to go back to the original state). I will work more on it in the next days.

### ¶ also baez got a discussion in comments, so might help with my understaning! spinorvizbaez

## ¶TODO [B] Tweet from George Corney (@Haxiomic), at Oct 3, 00:08 simqft

This realtime simulation of field equations coupling gravity, electromagnetism and chromodynamics is the coolest damn thing <3<3, by wyatt on shadertoy https://t.co/KSiohs52r7 https://t.co/Zg55xtkfOF

## ¶STRT [B] John Carlos Baez on Twitter: "Murray Gell-Mann won the Nobel prize for discovering "quarks":" protons, neutrons, and other baryons are made of 3 quarks, while pions, kaons and other mesons are made of a quark and an antiquark. But he got some help from his tennis partner! (1/n) https://t.co/YHGDNpvfZX" / Twitter

https://twitter.com/johncarlosbaez/status/1195047685922807808

Murray Gell-Mann won the Nobel prize for discovering "quarks":" protons, neutrons, and other baryons are made of 3 quarks, while pions, kaons and other mesons are made of a quark and an antiquark. But he got some help from his tennis partner!

### ¶TODO [C] https://en.wikipedia.org/wiki/Eightfold_way_(physics) study

## ¶TODO [B] Tweet from Nikita Lisitsa (@lisyarus), at Nov 22, 14:40

Went through the first 20 pages of this and already learned a lot. Seems to be an excellent overview & roadmap for learning QFT, Feynman diagrams, Standard Model, etc.

## ¶STRT [B] Tweet from Dr Martin Kleppmann (@martinkl), at Nov 15, 15:49

Fascinating quantum mechanics experiment: measurements are subjective to observers, suggesting that there is no objective reality at a quantum level https://t.co/mCF3jGiTk0

### ¶ Experimental test of local observer independence | Science Advances quantum

https://advances.sciencemag.org/content/5/9/eaaw9832

eh, still didn't quite get what are the mscroscopic consequences of that?

## ¶[B] Mel Andrews 𓃻 on Twitter: "Explain mean field theory to philosophers in one sentence GO!" / Twitter

Nathaniel Virgo @NathanielVirgo Level 2: Replying to @bayesianboy 1/ Every part of a system interacts with its immediate surrounding parts, which interact with their surrounding parts, and so on. A mean field approximation consists of replacing this complex spatial structure by an assumption that every part of the system interacts with 11:20 PM · May 10, 2020·Twitter Web App 7 Likes jestem króliczkiem Tweet your reply Nathaniel Virgo @NathanielVirgo · 9h Level 3: 2/ the *average* of all other parts of the system, regardless of their spatial location or network structure. For deep and surprising reasons, this sometimes gives not just approximately the right answer, but *exactly* the right answer, at least in an infinite limit.

## ¶TODO [B] (1) jestem króliczkiem on Twitter: "@litgenstein I was hoping to work on some interactive Python notebooks based on this: https://t.co/yUd0TyTmQZ Will finally have some time to try it out soon!" / Twitter toblog

I was hoping to work on some interactive Python notebooks based on this: https://dec41.user.srcf.net/h/III_L/advanced_quantum_field_theory/ 1 Will finally have some time to try it out soon!

## ¶[B] Valentin Fadeev on Twitter: "Hamiltonian or Lagrangian? Why choose when you can have the best of both (provided you have some cyclic coordinates). Enter Routhian. From L&L "Mechanics" §41. https://t.co/AcuXAxR4hf" / Twitter

Valentin Fadeev @ValFadeev Level 1: Hamiltonian or Lagrangian? Why choose when you can have the best of both (provided you have some cyclic coordinates). Enter Routhian. From L&L "Mechanics" §41.

## ¶TODO [B] Nikita Lisitsa on Twitter: "Digging through "Introduction to Quantum Field Theory for Mathematicians" by Sourav Chatterjee. The first book with a title like this I've found that seems to actually do the job." / Twitter study

Digging through "Introduction to Quantum Field Theory for Mathematicians" by Sourav Chatterjee. The first book with a title like this I've found that seems to actually do the job.

## ¶[B] Simulating physical reality with a quantum computer totweet

useful for my tweet thread for physical impl of quantum computations

## ¶[B] (1) John Carlos Baez on Twitter: "A wonderful thing: any differentiable function from the complex numbers to the complex numbers preserves angles - except where its derivative is zero. So it's a conformal mapping! The complex numbers capture the geometry of angles in 2 dimensions. (4/n) https://t.co/NQBOMOFibR" / Twitter

A wonderful thing: any differentiable function from the complex numbers to the complex numbers preserves angles - except where its derivative is zero. So it's a conformal mapping! The complex numbers capture the geometry of angles in 2 dimensions.

## ¶TODO [B] Qft rigorous book qft

(from hn)

Ballentine's book is a modern textbook that relies on that (as opposed to Shankar which you mentioned)

## ¶[B] Dirac — Greg Egan

nice illustration of spinor states

## ¶[B] I made an animation showing how a ring of N classical (left) or quantum (right) harmonic oscillators reproduces the physics of fields when N becomes large! (More details in comments) /r/Physics

## ¶TODO [B] Tweet from Nikita Lisitsa (@lisyarus), at Jul 17, 15:52

"... there is no such thing as a photon. Only a comedy of errors and historical accidents led to its popularity among physicists and optical scientists." Lamb, Anti-photon - quite an interesting read

## ¶TODO [B] https://www.google.com/url?q=https://www.math.tecnico.ulisboa.pt/~jnatar/MG-03/Marsden/ms_book_ch7.pdf&sa=U&ved=2ahUKEwinuLe39freAhWLLMAKHUKTBFkQFjACegQIHBAB&usg=AOvVaw0VdF3GJLsrDR7x48z6XgBq

## ¶TODO [B] Tweet from Valentin Fadeev (@ValFadeev), at Oct 9, 01:21 dirac equation

Let's talk about the Dirac equation. What interesting physics can we extract from it using relatively simple manipulations? And why does it matter outside of high-energy world? Let's confine ourselves to the time-independent case, and write it in components. (a long thread<<EOF) https://t.co/foe5zQmzpi https://twitter.com/ValFadeev/status/1181726341844148224

## ¶TODO [B] Три книги - Dee Mon. Былое и думы — LiveJournal

https://thedeemon.livejournal.com/140306.html

Клейн-Гордон и Дирак логически вылезают из метрики п-ва Минковского. Ну и чуток постулирования, как и оное пространство с его метрикой. И с СТО математически КМ давно подружили, на этом вся КТП стоит. А вот как эти формулы понимать, что они говорят содержательно о мире - это вопрос интерпретаций. И тут не все одинаково хорошо справляются. Про разложение в КТП есть такое, там при критическом анализе у математиков волосы дыбом встают, ряды частенько не сходятся. Но как-то получается у физиков на это наплевать и получать практически подтверждаемые результаты. :) Но это не относится к вопросу интерпретации, это к вопросу вычислений.

## ¶[B] thinking about schrodinger's cat experiment studythinktoblog

conscious actions arent' unitary

radioactive atom – necessarily interacts with the environment by entangling?

so let's say the atom starts stable (state |0> ) and the cat is alive: |0> |A>

how does this end up in p_{a} |0> |A> + p_{d} |1> |D> after a certain time interval??? needs to be some kind of evolution?

it depends on the definition of |D> and I guess here quantum immortality comes into play

actually I guess somehow the idea is that |1> |A> is transformed into |1> |D> somehow. This is def weird and something is missing

### ¶ ah, ok, so transformation from |A> to |A> + |D> is ok, it's unitary? studythinktoblog

## ¶[B] Higgs mechanism - Wikipedia

Fermions, such as the leptons and quarks in the Standard Model, can also acquire mass as a result of their interaction with the Higgs field, but not in the same way as the gauge bosons.

## ¶TODO [B] weinstein says yang-mills equations are simpler? study

## ¶[B] Higgs fermions and bosons

In this model, the particles acquire mass through spontaneous symmetry breaking; the W and Z as a result of a local gauge symmetry and the fermions, such as the muon, as a result of Yukawa couplings to the Higgs field – a novel type of interaction among fundamental particles that is not derived from a symmetry principle

## ¶TODO [B] Nyquist frequency - Wikipedia

## ¶[B] Gluon - Wikipedia

It is often said that the stable strongly interacting particles (such as the proton and the neutron, i.e. hadrons) observed in nature are "colorless", but more precisely they are in a "color singlet" state, which is mathematically analogous to a spin singlet state.[7] Such states allow interaction with other color singlets, but not with other color states; because long-range gluon interactions do not exist, this illustrates that gluons in the singlet state do not exist either.[7]

## ¶TODO [B] Tweet from @wickrotate

https://twitter.com/wickrotate/status/1280624828026740737

@wickrotate: @AsplingEric Try this https://t.co/A8Yk5kYMN6

## ¶[B] Excellent article, need to reread and process study

### ¶ On the Higgs Mechanism study

### ¶ On the Higgs Mechanism study

However, there is one remaining case to consider. Suppose there exists a field ψi with non-zero Ki and with a non-zero self-interaction coefficient kii. Such a field, in isolation, satisfies the equation

### ¶ On the Higgs Mechanism study

The particles have an effective mass only because of the existence of one special field, called the Higgs field, whose governing equation has a negative Ki and positive kii.

### ¶ Self-energy - Wikipedia study

The photon and gluon do not get a mass through renormalization because gauge symmetry protects them from getting a mass.

### ¶ Self-energy - Wikipedia study

The photon and gluon do not get a mass through renormalization because gauge symmetry protects them from getting a mass. This is a consequence of the Ward identity. The W-boson and the Z-boson get their masses through the Higgs mechanism; they do undergo mass renormalization through the renormalization of the electroweak theory.

### ¶ On the Higgs Mechanism study

Consequently, whenever some quantity of energy is contained and prevented from propagating (macroscopically) at the speed c, the configuration has rest mass.

### ¶ On the Higgs Mechanism study

For example, a photon bouncing around inside a box with mirrored internal walls is microscopically massless and propagates at c as it travels from wall to wall, but the photon’s energy contained within the box contributes to the rest mass of the stationary box. Likewise the mass of an atom is not just the sum of the microscopic rest masses of the constituent elementary particles, it also has contributions from the bound kinetic energies of those particles, as well as the binding energies.

### ¶ On the Higgs Mechanism study

Thus it would be more accurate to say that all rest mass arises from mechanisms that constrain configurations of energy, preventing them from propagating (at least macroscopically) at the speed of light, which implies that they are (at least macroscopically) stationary in some inertial frame. The Higgs interaction is just one such mechanism, albeit one that operates on perhaps the most fundamental level.

## ¶[B] Klein–Gordon equation - Wikipedia

Since the Higgs boson is a spin-zero particle, it is the first observed ostensibly elementary particle to be described by the Klein–Gordon equation

## ¶[B] On the Higgs Mechanism

Even if we were previously unacquainted with the Dirac equation, these considerations might have led us to suspect that most elementary quantum fields have multiple components that would individually be massless and propagate at c, but that are mutually coupled together in a bound configuration of energy that possesses a rest frame.

## ¶[B] On the Higgs Mechanism

Likewise the mass of an electron (for example) can be associated with the coupling between the two 2-spinor components of Dirac’s model.

## ¶[B] mathpages.com/home/kmath654/kmath654.htm readagain

## ¶[B] Klein–Gordon equation - Wikipedia

The analogous limit of a quantum Klein-Gordon field is complicated by the non-commutativity of the field operator. In the limit v << c, the creation and annihilation operators decouple and behave as independent quantum Schrödinger fields.

## ¶[B] dirac gif

https://www.gregegan.net/images/DiracAnimation.gif

## ¶[B] Shtetl-Optimized » Blog Archive » Rosser’s Theorem via Turing machines

Why didn’t Gödel simply talk about soundness? Because unlike consistency or ω-consistency, soundness is a “metatheoretic” concept that’s impossible to formalize in F. So, if he used soundness, then the First Incompleteness Theorem couldn’t even be stated, let alone proved, in F itself, and that in turn would create problems for the proof of his Second Incompleteness Theorem.

## ¶[B] Viktor T. Toth - Quaternions and the Dirac equation

One way to make this work is to have αi that satisfy the equation, αiαj+αjαi=ηij+ηji, where ηij is the Minkowski-metric.

## ¶TODO [B] Tweet from michael_{nielsen} (@michael_{nielsen}), at Oct 18, 20:59

Terrific paper by @johncarlosbaez and Ted Emory, explaining the meaning of the Einstein field equations for general relativity: https://t.co/drNd6NsAfE https://t.co/65fMVQR2tH

https://twitter.com/michael_nielsen/status/1185284280542322688

## ¶TODO [B] Tweet from John Carlos Baez (@johncarlosbaez), at Nov 29, 18:54

What's "free energy"? I don't mean energy you get for free. I mean the concept from physics: roughly, energy that you can use to do work. More precisely, free energy is energy that you can use to do work at constant temperature. But why the fine print?

https://twitter.com/johncarlosbaez/status/1200473111029698560

## ¶TODO [B] Tweet from John Carlos Baez (@johncarlosbaez), at Nov 29, 19:21

But what's really going on here! In which situations does "free energy" make sense? It's very general. We can define free energy whenever we have a finite set X with a probability distribution p and real-valued function E on it, and a number T called "temperature".

https://twitter.com/johncarlosbaez/status/1200480005119078400

## ¶[B] Gauge Symmetry [The Physics Travel Guide

The best laymen explanation can be found in The symmetry and simplicity of the laws of physics and the Higgs boson by Juan Maldacena

## ¶TODO [B] ax

No, Quanta is fine -- you're making a subtle error, which is in fact common even in graduate textbooks. There are two distinct things going on here: formally "swapping" the arguments in the wavefunction, and physically moving the particles around. A priori, there is no reason the phase shifts from these two actions should be related. You're focusing on the swap, but it's not interesting: your argument that the swap phase squares to 1 applies to both 2D and 3D equally well. When people talk about anyons, they're talking about the phase from moving the particles. That has more options in 2D because the paths one can take when moving particles around can have a greater range of topologies (https://en.wikipedia.org/wiki/Braid_group).

The reason that textbooks mix these things up is because in relativistic quantum field theories these two phases are always the same, by virtue of the spin-statistics theorem. But the anyons of condensed matter are nonrelativistic.

## ¶[B] america hater sarahzrf on Twitter: "@lisyarus …so conservation of energy is {H, H} = 0 when the hamiltonian is the same as energy, which i seem to recall being the case exactly when consrevation of energy is true 👀" / Twitter

...so conservation of energy is {H, H} = 0 when the hamiltonian is the same as energy, which i seem to recall being the case exactly when consrevation of energy is true

## ¶TODO [B] Tweet from @gregeganSF

https://twitter.com/gregeganSF/status/1307163276837441536 @gregeganSF: U(1) is the circle S^1 with points that add modulo 2π. Its universal cover is the real line, (R,+). Both have the same Lie algebra, so … apparently some physicists refer to the latter as “a non-compact U(1)”. This is why they can’t have nice things. https://t.co/PbmBsaVXAs

## ¶[B] Black Holes Are Not Empty Voids. A Black Hole at the Heart! /r/Physics

## ¶TODO [B] The hydrogen atom is the simplest atom, and you ought to be able to understand it if you understand atoms at all study

todo

from ip A Math Puzzle Worthy of Freeman Dyson | Quanta Magazine

## ¶[B] John Carlos Baez on Twitter: "I love condensed matter physics! I hadn't even known dielectrons were a thing: normally electrons repel. But in a sodium-ammonia solution, electrons pair up with opposite spins. Here's a new simulation of a dielectron, lasting 2.75 picoseconds: (2/n) https://t.co/onDLm8yP4S" / Twitter

I love condensed matter physics! I hadn't even known dielectrons were a thing: normally electrons repel. But in a sodium-ammonia solution, electrons pair up with opposite spins.

## ¶TODO [C] Quote of the day: Physics · Andrew's Blog

If one wants to summarize our knowledge of physics in the briefest possible terms, there are three really fundamental observations: (i) Space-time is a pseudo-Riemannian manifold M, endowed with a metric tensor and goverened by geometrical laws. (ii) Over M is a vector bundle X with a nonabelian gauge group G. (iii) Fermions are sections of (S~+⊗VR)⊕(S~−⊗VR~). R and R~ are not isomorphic; their failure to be isomorphic explains why the light fermions are light and presumably has its origins in a representation difference Δ in some underlying theory. All of this must be supplemented with the understanding that the geometrical laws obeyed by the metric tensor, the gauge fields, and the fermions are to be interpreted in quantum mechanical terms. -Edward Witten, “Physics and Geometry”, 1986

## ¶STRT [C] Finally We May Have a Path to the Fundamental Theory of Physics… and It’s Beautiful—Stephen Wolfram Writings

## ¶STRT [C] Tweet from @lisyarus Quantum Chemistry Done Wrong

https://twitter.com/lisyarus/status/1251429402526846976

@lisyarus: Finished it: "Quantum Chemistry Done Wrong", by me, - a book about using numpy & scipy to solve some tiny quantum-chemical systems. github.com/lisyarus/chembook/r…

## ¶TODO [C] SICM https://news.ycombinator.com/item?id=23155017

I posted this because it was recommended to me several times in [0], together with several other "computational approaches to Physics" books, and thought it would be interesting to HN users. If you're looking for more books like this, the whole Twitter thread is worth a read. It's full of good recommendations. [0] https://twitter.com/dennybritz/status/1260137814982787073

## ¶STRT [C] Dan Girshovich - Foundations Journal Club. studyphysics

I’ve been organizing the Foundations Journal Club, which meets online every few weeks. If you’d like to be included, shoot me an email.

### ¶ eh, no rss studyphysics

## ¶TODO [C] books http://math.ucr.edu/home/baez/books.html

## ¶[C] Unruh effect

### ¶ The Unruh Effect | Space Time - YouTube

https://www.youtube.com/watch?v=7cj6oiFDEXc&list=WL&index=3&t=0s

ok, interesting. basically the idea is that observer

with constant acceleration would generate an event horizon behind them

(the bigger acceleration the closer), because certain photos won't reach them ever.

Even temporary acceleration creates temporary Rindler horizons.

Then, it's similar to hawking radiation and for an accelerating observer it would create particles.

### ¶ Эффект Унру — Википедия

https://ru.wikipedia.org/wiki/%D0%AD%D1%84%D1%84%D0%B5%D0%BA%D1%82_%D0%A3%D0%BD%D1%80%D1%83

Эффект Унру позволяет дать грубое объяснение излучения Хокинга, но не может считаться полным его аналогом.[4] При равноускоренном движении позади ускоряющегося тела тоже возникает горизонт событий, но разница в граничных условиях задач даёт различные решения для этих эффектов. В частности, подход, основанный на расчёте ограниченных интегралов по путям, даёт следующую картину для эффекта Унру: «тепловая атмосфера» ускоренного наблюдателя состоит из виртуальных частиц, но если такая виртуальная частица поглощается ускоренным наблюдателем, то соответствующая античастица становится реальной и доступна для детектирования инерциальным наблюдателем.[4] В этом случае ускоренный наблюдатель теряет часть своей энергии. В случае эффекта Хокинга для чёрной дыры, сформировавшейся в результате гравитационного коллапса, картина другая: появляющиеся в результате эффекта частицы «тепловой атмосферы» являются реальными. Эти частицы, уходящие на бесконечность, могут наблюдаться и поглощаться удаленным наблюдателем, однако, независимо от их поглощения, эти частицы уносят массу (энергию) чёрной дыры.[4]

### ¶ Unruh effect - Wikipedia

https://en.wikipedia.org/wiki/Unruh_effect

The free field needs to be decomposed into positive and negative frequency components before defining the creation and annihilation operators. This can only be done in spacetimes with a timelike Killing vector field. This decomposition happens to be different in Cartesian and Rindler coordinates (although the two are related by a Bogoliubov transformation). This explains why the "particle numbers", which are defined in terms of the creation and annihilation operators, are different in both coordinat

### ¶ What causes the Unruh effect? : askscience

https://www.reddit.com/r/askscience/comments/4s653u/what_causes_the_unruh_effect/

Because the accelerating and inertial observer can "see" different portions of spacetime (the accelerating observer sees only a wedge of spacetime bounded by a Rindler horizon). Therefore they are not bound to agree on what the state of minimum energy (the ground aka the vacuum) is, because inertial dude has access to a larger system.

### ¶ Can someone explain the Unruh effect/radiation to me? How are virtual particles forced into existence if they are nothing but convenient mathematical models and don't actually exist? : askscience

From "Spacetime and Geometry, an Introduction to General Relativity" by Sean Carroll, chapter 9, pg. 412:

If the Rindler observer is to detect background particles, she must carry a detector--some sort of apparatus coupled to the particles being detected. But if a detector is being maintained at constant acceleration, energy is not conserved; we need to do work constantly on the detector to keep it accelerating. From the point of view of the Minkowski observer, the Rindler detector emits as well as absorbs particles; once the coupling is introduced, the possibility of emission is unavoidable. When the detector registers a particle, the inertial observer would say that it had emitted a particle and felt a radiation-reaction force in response. Ultimately, then, the energy needed to excite the Rindler detector does not come from the background energy-momentum tensor, but from the energy we put into the detector to keep it accelerating.

So from "our" perspective as inertial observers, the accelerating observer is detecting particles due to a sort of back-emf countering whatever is accelerating her. The accelerating observer interprets this as her passing through a thermal spectrum of particles instead.

### ¶TODO [B] Эффект Унру — Заметки о теоретической физике

## ¶[C] Talk:Photon/Photons and Mass Debate3 - Wikipedia

Weight/mass of single photon in a box bouncing up and down

## ¶[C] energy - Explain how (or if) a box full of photons would weigh more due to massless photons - Physics Stack Exchange

## ¶TODO [C] from Lisitsa: алгебры клиффорда и спинорные группы towatch

https://twitter.com/lisyarus/status/1186739246650052614

https://www.lektorium.tv/course/22937

@johncarlosbaez @zariskitopology @silvascientist I now realized that I do know an excellent source, but sadly it is on video and only in Russian

## ¶TODO [C] CFDPython/14_{Step}_{11.ipynb} at master · barbagroup/CFDPython ipython

https://github.com/barbagroup/CFDPython/blob/master/lessons/14_Step_11.ipynb

go throught and make sure I understand how I compute things…

## ¶TODO [C] Schrödinger Equation https://physkcstravelguide.com/equations/schroedinger_equation#tab__faq

Schrodinger's equation can be derived using symmetry arguments. Specifically, you write out the commutation relations that exist between the generators of the Galilei group and then choose the position representation. What you find is that the generator of time translations has the same form that is usually ascribed to the Hamiltonian. Details can be found, for example, in the third chapter of Ballentine's "Quantum Mechanics: A Modern Development" Schrödingers equation can be derived by using Galilei invariance: "I encourage everyone to learn the derivation of Schrödinger's equation straight from the representation theory of the Galilei group! It's cool. (I think it appears in the books by Mackey and Jauch listed here.)" http://math.ucr.edu/home/baez/symmetries.html -> Page 209 in Josef M. Jauch, Foundations of Quantum Mechanics page V (I.e. chapter 12-5)

## ¶STRT [C] Everything about Representation theory of finite groups : math reprtheory

Then RH psi = R E psi, which means H (R psi) = E (R psi), so (R psi) is a new eigenfunction which has the same energy as the original. We can continue with all operations in the group to find all the degenerate wavefunctions corresponding to the eigenvalue E

### ¶ These representations are unique up to a change of basis (equivalent to a similarity transform), so this means each possible eigenvalue of the Hamiltonian 'belongs' to a certain representation of the group of the Schrodinger Equation. reprtheory

### ¶ Also remember that each eigenvalue has its own representation, so different eigenvalues of the same Hamiltonian can have different degeneracy. reprtheory

### ¶ Normally, if the degeneracy cannot be explained by symmetry then it is known as an 'accidental' degeneracy, but Fock showed that there is actually a set of operations in 4-D which exploits the symmetry. The hydrogen potential has the group O(4), and you should be able to understand most of the language in the introduction here. reprtheory

## ¶[C] (2) Quantum Tunneling - Complex Plot - YouTube quantumviz

## ¶[C] Nikita Lisitsa on Twitter: ""When a classical physics problem is described by a variety, some magic happens. The process of quantization becomes completely systematic—and surprisingly simple." @johncarlosbaez Would you be so kind to provide any reference on this?"

## ¶[C] ¬¬(Dan Piponi) on Twitter: "What I find confusing is that I learnt QFT two different ways: (1) pretending univariate wavefunction is classical and quantizing again & (2) considering multivariate wavefunctions. Not obvious these get you to the same place.… https://t.co/uaw1AZIEDz" qft

https://twitter.com/sigfpe/status/1101554393126584320

What I find confusing is that I learnt QFT two different ways: (1) pretending univariate wavefunction is classical and quantizing again & (2) considering multivariate wavefunctions. Not obvious these get you to the same place.

### ¶ https://twitter.com/johncarlosbaez/status/1101541977105981440 Furthermore unitary time evolution in a Hilbert space is a fine classical dynamics. So, we can quantize a classical system, get a Hilbert space, and treat **that** as a classical system and quantize it again. This is a nice way to get Fock space qft

hmm….

## ¶[C] Field Play viz

### ¶ nice vizualisation for 2D vector fields, allows to change integration parameters etc viz

## ¶TODO [C] На пути к теории всего https://nplus1.ru/material/2018/02/02/just-looking-for-some-action

Самым простым таким инвариантом является детерминант метрики. Тем не менее, если мы включим в действие только его, мы не получим дифференциальное уравнение, поскольку это выражение не содержит производных метрики. А если уравнение не является дифференциальным, оно не может описывать ситуации, в которых метрика меняется со временем. Поэтому нам нужно добавить к действию простейший инвариант, который содержит производные gμν. Таким инвариантом является так называемый скаляр Риччи R,

## ¶[C] Quantum electrodynamics - Wikipedia qed

## ¶TODO [C] I first saw this kind of explanation in Steve Vickers' Topology via Logic, which is an excellent little book studytopology

## ¶TODO [C] revise cs/math/physics stuff habitspacedrep

### ¶TODO [C] def need more systematic way of rehearsing habitspacedrep

## ¶[C] Integral manipulations · Issue #5396 · sympy/sympy

## ¶TODO [C] The Born Rule Has Been Derived From Simple Physical Principles | Quanta Magazine

The Born rule itself, he said, is thus an example of Wheeler’s “law without law.”

## ¶TODO [C] Easier than harmonic oscillator: repulsive potential? Admits both trajectories

## ¶TODO [C] start following one of scott aaronsons posts about motivation for square probability rule and play with equations quantumviz

## ¶[C] A Neighborhood of Infinity: What's all this E8 stuff about then? Part 1. reprtheory

## ¶TODO [C] A Journey to The Manifold SU(2): Differentiation, Spheres and Fiber Bundles study

https://www.physicsforums.com/insights/journey-manifold-su2mathbbc-part/

really read this through and try to understand all the definitions. e.g. coordinate charts etc

## ¶[C] www.math.lsa.umich.edu/~idolga/lecturenotes.html mathphysicslagrangian

http://www.math.lsa.umich.edu/~idolga/lecturenotes.html

shit.. some interesting mathematical details about metric from the very beginning

## ¶STRT [C] Charts on SO(3) - Wikipedia

- State "STRT" from

https://en.wikipedia.org/wiki/Charts_on_SO(3)#The_{hypersphere}_{of}_{rotations}

### ¶ shit.

Problems of this sort are inevitable, since SO(3) is diffeomorphic to real projective space P3(R), which is a quotient of S3 by identifying antipodal points

S^{3} is a 4 dim sphere! hmm. although perhaps it's same thing as 3-ball with opposite points identified?

another thought: if you have a disk with opposite points identified – which topology does it have?? it's not same as torus right?

## ¶[C] 3D rotation group - Wikipedia

https://en.wikipedia.org/wiki/3D_rotation_group

Consider the solid ball in R3 of radius π (that is, all points of R3 of distance π or less from the origin). Given the above, for every point in this ball there is a rotation, with axis through the point and the origin, and rotation angle equal to the distance of the point from the origin. The identity rotation corresponds to the point at the center of the ball. Rotation through angles between 0 and −π correspond to the point on the same axis and distance from the origin but on the opposite side of the origin. The one remaining issue is that the two rotations through π and through −π are the same. So we identify (or "glue together") antipodal points on the surface of the ball. After this identification, we arrive at a topological space homeomorphic to the rotation group.

## ¶[C] How is a Lie Algebra able to describe a Group? – Jakob Schwichtenberg lie

http://jakobschwichtenberg.com/lie-algebra-able-describe-group/

well, ok, so the point we can associal lie algebra elements with lie groups elements via exponentiation

## ¶[C] Group Theory and Physics - S. Sternberg - Google Books

## ¶[C] List of Fundamental Groups of Common Spaces - Mathonline

## ¶[C] Seminar: Fall 2008 baez

## ¶[C] Nikita Lisitsa on Twitter: "The rep.theory book by Fulton & Harris demonstrates the idea of restricting to an abelian subgroup (which is fundamental for Lie groups) using S₃ as an example (rather than, say, SL(n)) and it is beautifully simple and understandable."

## ¶STRT [C] User ACuriousMind - Physics Stack Exchange

- State "STRT" from

## ¶[C] quantum mechanics - Spin operators in QM - Physics Stack Exchange spin

https://physics.stackexchange.com/questions/295412/spin-operators-in-qm

to be precise, in quantum mechanics we are interested in projective representations because physically, two vectors that differ by a phase are indistinguishable.

## ¶[C] * To semidecide this, just start generating every possible proof.

https://perl.plover.com/classes/data-topology/samples/slide007.html

Gödel's first incompleteness theorem: This property is semidecidable, but not decidable.

## ¶[C] * Suppose the property N[D[_{x}_]D](_{y}_) = (_{x}_ ≠ y) is semidecidable for each x

https://perl.plover.com/classes/data-topology/samples/slide020.html

Suppose the property Nx(y) = (x ≠ y) is semidecidable for each x Then the set { x } is closed for each x Then the space is Hausdorff

## ¶[C] homework and exercises - Functional Derivative of action - Physics Stack Exchange

## ¶[C] resource recommendations - What is a complete book for introductory quantum field theory? - Physics Stack Exchange

Mark Srednicki, Quantum Field Theory. I really like the organisation and design of the book, which consists of around a hundred of short and essentially self-contained chapters that introduce a single topic, discuss it in the necessary level of detail, and move on to the next topic.

## ¶STRT [C] Is there a reason why a relativistic quantum theory of a single fermion exists, but of a single scalar not? - Physics Stack Exchange

### ¶ eh, can't say I understood any of arguments

## ¶[C] general topology - Triangulation of torus - understanding why - Mathematics Stack Exchange topology

https://math.stackexchange.com/questions/1772650/triangulation-of-torus-understanding-why

In a triangulation (specifically, a simplicial complex), the three vertices of a triangle are distinct.

right, maybe for computational and efficiency purposes it would be ok to generate pseudo triangulations

## ¶[C] What is a Lagrangian? What is the action? Why does the principle of least (stationary) action work? : askscience

Although the action S may not generally have a meaningful interpretation, there is an alternative formulation of the EL-equations which gives an equation that gives the value of S directly but not the function that achieves the minimum value of S. This equation is called the Hamilton-Jacobi equation, and is also a very widely studied equation, particularly in the context of conservation laws and symplectic geometry. The standard method of solving the HJ-equation is by the method of characteristics. The characteristic equations are precisely the Hamiltonian equations also learned in a typical mechanics course.

## ¶[C] What is a Lagrangian? What is the action? Why does the principle of least (stationary) action work? : askscience

At this point you can look in any standard text to see what happens next. The gold standard in calculus of variations is the text by Gelfand & Fomin (I strongly recommend this text, and it's also very cheap). The punchline here is twofold. The minimum value of S is guaranteed to exist under certain conditions on L. (Most of the standard theorems require some sort of convexity condition on L.) Under the same conditions, the minimum value of S (and which functions achieve that minimum) can be found by solving the associated Euler-Lagrange equations, which is a set of coupled, non-linear partial differential equations. (The EL-equations are found by using L.)

## ¶[C] What is a Lagrangian? What is the action? Why does the principle of least (stationary) action work? : askscience

This study started in the 1930s (?), and Douglas discovered necessary and sufficient conditions for a Lagrangian to exist. These conditions, which you would think should be called the Douglas conditions, are called the Helmholtz conditions. (Douglas was a mathematician who won a Fields Medal for his work in the calculus of variations, specifically in the theory of minimal surfaces (think: soap films).) These conditions though are not at all easy to verify though. The conditions are of the form "Lagrangian exists if there is a non-singular matrix G such that (1), (2), and (3)". The first condition is purely algebraic, the second condition is that a certain ODE for the components of G have a solution, and the third condition is that a certain system of coupled PDE's for the components of G have a solution. The third condition is the one that is not at all easy to verify.

## ¶[C] general topology - Why aren’t continuous functions defined the other way around? - Mathematics Stack Exchange topology

## ¶[C] From Griffiths to Peskin: a lit review for beginners | An American Physics Student in England

## ¶[C] general relativity - Why do we select the metric tensor for raising and lowering indices? - Physics Stack Exchange

If your manifold is guaranteed to carry other non-degenerate 2-tensors, then you may use those as well to raise and lower indices (though the meaning is different from that of raising and lowering with the metric). This is the case, for instance, if your manifold is symplectic (i.e. carries a closed, non-degenerate 2-form ωω).

## ¶STRT [C] https://math.stackexchange.com/questions/36683/math-and-music-theory-books musictheory

- State "STRT" from "TODO"

## ¶[C] The Reference Frame: Why are there spinors? spinor

https://motls.blogspot.com/2012/04/why-are-there-spinors.html

jeez, this guy is a graphomaniac…

## ¶[C] Book_{Chapter}_{Lagrangian.pdf}

chrome-extension://gfbliohnnapiefjpjlpjnehglfpaknnc/pages/pdf_{viewer.html}?r=http://www.physics-quest.org/Book_Chapter_Lagrangian.pdf

whoa. that's something interesitng

## ¶[C] lec33.dvi - lec33.pdf

chrome-extension://gfbliohnnapiefjpjlpjnehglfpaknnc/pages/pdf_{viewer.html}?r=http://www.tapir.caltech.edu/~chirata/ph236/2011-12/lec33.pdf

ok, this is kind of on the right track

## ¶[C] radiation.dvi - radiation.pdf

chrome-extension://gfbliohnnapiefjpjlpjnehglfpaknnc/pages/pdf_{viewer.html}?r=http://www.iphc.cnrs.fr/IMG/pdf/radiation.pdf

ok, at least here they are treating variations with asymptotic terms…

## ¶[C] Yoneda yoneda

### ¶TODO [C] Soham Chowdhury on Twitter: "Vakil (in his book, or perhaps on MO) likens the Yoneda lemma to a particle accelerator, in that if you know how a particle reacts to being smashed into by other particles, you know everything about it… https://t.co/jtdQupZoGH" yoneda

https://twitter.com/mrkgrnao/status/979353398225993728

Vakil (in his book, or perhaps on MO) likens the Yoneda lemma to a particle accelerator, in that if you know how a particle reacts to being smashed into by other particles, you know everything about it

### ¶[B] From the Yoneda lemma to categorical physics yoneda

### ¶[B] 🇪🇸🇵🇹_{jack} on Twitter: Yoneda yoneda

### ¶[B] Understanding Yoneda | Bartosz Milewski's Programming Cafe yoneda

### ¶[B] The Yoneda Lemma — Math3ma yoneda

## ¶[C] Introduction to the Modern Theory of Dynamical Systems - Anatole Katok, Boris Hasselblatt - Google Books lagrangian

https://books.google.co.uk/books?id=9nL7ZX8Djp4C&pg=PA367&lpg=PA367&dq=%22euler+lagrange%22+solutions+%22global+minimum%22&source=bl&ots=oUmdX3lEHJ&sig=lWeYTxDvVFemkLadlfSg7rgc8_8&hl=en&sa=X&ved=2ahUKEwjF4c7ukoDfAhU9SxUIHatDDmYQ6AEwD3oECA8QAQ#v=onepage&q=%22euler%20lagrange%22%20solutions%20%22global%20minimum%22&f=false

sufficiently long segments cease to be the minimum..

## ¶[C] A Python utility for analyzing a given solution to the Einstein field equations. /r/Python

I wanted to share with the community an open source python package I had been developing since November. It is called Spacetime Engine. [github.com/spacetimeengineer/spacetimeengine](https://github.com/spacetimeengineer/spacetimeengine) My name is Michael. I am a physicist who works as an engineer. My story is that in October 2018 I was preparing to submit my first physics publication, which reviewed a particular cosmological model that I had been working with for some time. I was at the point where I had completed all of my research and was fully prepared. The only problem was that at the time I felt concerned that I may have made some mistakes which went unnoticed, so I decided to write a computer algebra software to check the veracity of my solutions so that I could feel confident in my results. After using this new utility, I realized I had made some fairly significant errors in my approach, and so the software apparently did it’s job. At first I was quite frustrated because I had put a significant amount of time into this solution, but I realized I had a new ability to correct my own errors and expand upon what I already knew. I was now able to study any solution, and not just the ones that interested me. In fact, anyone could study any solution to the Einstein field equations if they wanted to by using this software. For this reason I realized the research I wanted to publish was not yet ready to be submitted, but the software became the real publication. I then decided to polish, package, and publish the code into a form that was accessible, informative, and educational. If you are a student new to general relativity, a gravity researcher actively working with solutions to the Einstein field equations, or an engineer who is interested in importing some of the functionality, then this package should come in handy. I was not able to publish my physics research, unfortunately, but I felt that this project served as a good alternative, and perhaps had more potential value. If you have technical questions, use the Github tools to communicate with me. You can install the package with

## ¶[C] Gödel metric - Wikipedia

## ¶[C] quantum mechanics - Relation between radio waves and photons generated by a classical current - Physics Stack Exchange

## ¶[C] I've been making a gravity simulator using Rust-SDL2! Source is in the comments, hope you enjoy it! /r/rust sim

## ¶[C] Higgs

### ¶[C] Higgs Mechanism

https://physicstravelguide.com/advanced_notions/symmetry_breaking/higgs_mechanism#tab__faq

“In summary, the Higgs mechanism accounts for about 1 per cent of the mass of ordinary matter, and for only 0.2 per cent of the mass of the universe. This is not nearly enough to justify the claim of explaining the origin of mass”.

### ¶[C] Higgs Mechanism

(Breaking of gauge symmetry is a bad thing, because the renormalizability, i.e. the removing of the infinities that pop-up in most quantum field theory calculations, depends on the existence of gauge symmetry

### ¶[C] Demystifying the Higgs mechanism – Jakob Schwichtenberg

### ¶ I thunk I should postpone reading about the Higgs etc until I start properly understanding photons at least.

## ¶[C] at.algebraic topology - How to demonstrate \(SO(3)\) is not simply connected? - MathOverflow

https://mathoverflow.net/questions/22975/how-to-demonstrate-so3-is-not-simply-connected

here are two kinds of loops on the unit ball with antipodal identifications in the boundary: either it's also a loop in the ball (without identifications) or else it starts and ends at antipodal points. The example curve in the question is of the latter kind. It seems intuitive that any continuous deformation of this curve which remains closed has to still connect antipodal points, since you cannot move the ends closer to each other -- which is what you'd have to do in order to get a contractible loop -- while keeping it a closed curve.

hm, good point, I have to move both points on the sphere?

## ¶[C] Real projective plane - Wikipedia

https://en.wikipedia.org/wiki/Real_projective_plane

The projective sphere[edit] Consider a sphere, and let the great circles of the sphere be "lines", and let pairs of antipodal points be "points". It is easy to check that this system obeys the axioms required of a projective plane: any pair of distinct great circles meet at a pair of antipodal points; and any two distinct pairs of antipodal points lie on a single great circle.

## ¶[C] mass - Why is the \(S_{z} =0\) state forbidden for photons? - Physics Stack Exchange

physics.stackexchange.com/q/73911 . For photon we use helicity, not spin, because massless representations of the Poincare group can't be characterized by the spin. – user8817 Aug 31 '13 at 17:27

## ¶[C] mass - Why is the \(S_{z} =0\) state forbidden for photons? - Physics Stack Exchange

Massless particles with spin do not have a "Sz=0Sz=0" state because they actually do not have spin like massive particles do. They have helicity, which is the value of the projection of the spin operator onto the momentum operator. The reason for this is the representation theory of the group of spacetime symmetry, the Poincaré group.

## ¶[C] Quarks, Gluon flux tubes, Strong Nuclear Force, & Quantum Chromodynamics - YouTube viz

https://www.youtube.com/watch?v=FoR3hq5b5yE

at 9:11 interesting visual explanation why the force is not decreasing for strong nuclear force

## ¶[C] Quantum Diaries

https://www.quantumdiaries.org/2014/12/01/standard-model-introduction/

In fact, electric charge is a combination of hyper and isospin charges.

## ¶[C] Quantum Diaries

https://www.quantumdiaries.org/2014/12/01/standard-model-introduction/

Mass and Electroweak Symmetry Breaking: In the early universe, all elementary fermions and gauge bosons were massless. At some point, everything underwent a phase transition that broke the hypercharge and isospin conservation laws. During this phase transition, quarks and charged leptons acquired mass

## ¶[C] classification theorem topology

compact closed surfaces are spheres with handles and klein bottles (remove a disk, attach the mobius strip, which has a circular surface)

## ¶TODO [C] renormalisation group flow

## ¶TODO [C] group of physicists and mathematicians is studying a geometric object called an “amplituhedron” that has the potential to further simplify calculations of particle interactions.

todo

from ip How Feynman Diagrams Revolutionized Physics | Quanta Magazine

## ¶TODO [C] Slowly start learning IPA? Use spaced repetition

## ¶STRT [C] Sight reading on computer keyboard piano

### ¶ could at least do it in pairs piano

## ¶TODO [C] Why is the phase picked up during identical particle exchange a topological invariant? - Physics Stack Exchange

## ¶TODO [C] The Difference Between 3/4 & 6/8 Time (with examples) | School of Composition music

https://www.schoolofcomposition.com/what-is-the-difference-between-3-4-and-6-8-time/

## ¶TODO [C] "Higher Homotopy Groups Are Spooky: Enter the world of 3-dimensional holes in 2-dimensional objects". A blog post by Evelyn Lamb. /r/math

## ¶TODO [C] (2) Dirac equation: Zitterbewegung in two dimensions - YouTube

## ¶[C] Topological Quantum Computer - Professor John Preskill, Caltech - YouTube qcomp

## ¶TODO [C] Quantum Python: Animating the Schrodinger Equation | Pythonic Perambulations vizpythonmatplotlib

## ¶TODO [C] Spare me the math: the Lamb Shift | Gravity and Levity quantum

https://gravityandlevity.wordpress.com/2013/04/24/the-lamb-shift/

some supposedly simple argument about Lamb shift… still need to follow more carefully. maybe, visualise?

## ¶TODO [C] Tweet from Igal Tabachnik (@hmemcpy), at Oct 21, 20:23 Category Theory for Programmers by @BartoszMilewski is now complete, and available for purchase in hardcover! cattheory

Category Theory for Programmers by @BartoszMilewski is now complete, and available for purchase in hardcover! As always, the PDF is free, and available online!

Hardcover: https://t.co/2nsnzq1dFu

PDF: https://t.co/UzrVSy9IyV https://t.co/H5w8E0G9Uu

## ¶TODO [C] Todo visualise that??? viz

Right at the critical point, something very cool happens: the system transforms in a simple way under scaling! What does this mean? Well, if you get some water right at the critical point, it looks "opalescent" like a moonstone. If you stare at it carefully, you'll see a bunch of liquid water droplets of all different sizes floating around in steam. However, if you look closely at any of these droplets, you see they are full of bubbles of steam, and if you look closely at the steam, you see it's full of little droplets of liquid! It's like a random fractal: no matter how closely you look, you see the same thing. You can't tell if you're looking at water droplets in steam or bubbles of steam in water, and there is no distinguished length scale... at least until you get down to the scale of atoms, that is.

from renormalization http://math.ucr.edu/home/baez/renormalization.html

## ¶TODO [C] Looking inside the standard model: Electromagnetism, photons, and symmetry

https://axelmaas.blogspot.com/2010/10/electromagnetism-photons-and-symmetry.html

Now, the relation between the four convenient numbers and the two important ones is quite in analogy to this case, and is therefore also a U(1) symmetry. That is how the symmetry becomes associated with electromagnetism. This tells us that if we change the four numbers by, so to say, moving them around on the circle, we do not change the two numbers describing the photon (or the six describing the electric and magnetic field). Only when we move away from the circumference, the two (and six) numbers change.

## ¶TODO [C] what happens when computer: structural regular expressions studyproject

https://what.happens.when.computer/2016-08-30/structural-res/

As Ron Minnich once said: You want to make your way in the CS field? Simple. Calculate rough time of amnesia (hell, 10 years is plenty, probably 10 months is plenty), go to the dusty archives, dig out something fun, and go for it. It's worked for many people, and it can work for you.

## ¶TODO [C] Problems with the Standard Model Higgs | Azimuth

## ¶TODO [C] Serious What's the most USEFUL course I can take online for FREE? /r/AskReddit

A basic first aid course.

## ¶TODO [C] Tweet from Eric Aleman (@EricAleman_), at Jun 13, 10:28

@patrickc Principles of Electrodynamics by Melvin Schwartz has the clearest derivation

## ¶STRT [C] What happens if we don't postulate speed of light limit?

### ¶ https://physics.stackexchange.com/questions/160759/einsteins-first-postulate-implies-the-second ok so basically we need some speed in lorentz transformations, that's how we end up with c

## ¶TODO [C] Tweet from Smart Biology (@SmartBiology3D), at Jun 24, 15:17

The Bacterial Flagellum is powered by the flow of protons across the cell membrane and driven by a rotating protein engine. It is an enormous protein mega-complex that can reach incredibly high RPMs. #biology #cellbiology #flagellum #education #biologyanimation https://t.co/nWqX9bF9J5

https://twitter.com/SmartBiology3D/status/1142837932388167685

## ¶TODO [C] fast.ai · Making neural nets uncool again ai

### ¶ has practical deep learning for coders course ai

## ¶START [C] The Picture Book of Quantum Mechanics: Siegmund Brandt, Hans Dieter Dahmen: 9781461439509: Amazon.com: Books quantum

- State "START" from

https://www.amazon.com/Picture-Book-Quantum-Mechanics/dp/1461439507

## ¶START [C] The Geometry of Physics: An Introduction: Amazon.co.uk: Theodore Frankel: 9781107602601: Books

## ¶TODO [C] Tweet from Nikita Lisitsa (@lisyarus), at Jul 11, 22:23

Representation theory of the group with 2 elements at work

## ¶TODO [C] Tweet from Некстджен и Усиление (@turbojedi), at Jul 18, 11:16 ml

То есть это всё было не слишком смешной шуткой ровно до момента, когда оказалось, что это и правда неплохо работает, причём даже не на специализированной модели. https://t.co/rVvPF4P5N2

## ¶[C] Kevin Boone's Web site

http://www.kevinboone.net/separation_variables.html

basically the point is that separation of variables is disguised chain rule – make sense

## ¶TODO [C] Amir on Twitter: "Итого, чтобы собрать программируемый транзисторный микропроцессор, нужно уметь проектировать 1) ISA – см. MIPS 2) микроархитектуру – см Harris&Harris 3) RTL - верилог 4) цифровую технику - см курс Панчула… https://t.co/MqVes4WlZu"

https://twitter.com/disruptnhandlr/status/1141788486938349578

Итого, чтобы собрать программируемый транзисторный микропроцессор, нужно уметь проектировать 1) ISA – см. MIPS 2) микроархитектуру – см Harris&Harris 3) RTL - верилог 4) цифровую технику - см курс Панчула

## ¶TODO [C] Tweet from niall tl (@nialltl), at Aug 1, 13:02

🌊 i've written a big reference for implementing the Material Point Method: https://t.co/UopvaXxotV included: an MIT-licensed, incremental, commented implementation of MLS-MPM for softbodies and fluids: https://t.co/q26gakgHD1

## ¶TODO [C] Tweet from 〈 Berger | Dillon 〉 (@InertialObservr), at Jul 31, 17:07

The concept of "spontaneous symmetry breaking" (SSB) is vital to understanding the Higgs 👉 SSB is when the equations of motion satisfy a certain symmetry, but its lowest-energy vacuum solutions do not • For the Higgs, SSB is triggered entirely by the Higgs potential (below) https://t.co/e3vNaLRHy7

https://twitter.com/InertialObservr/status/1156595791378571265

## ¶[C] 〈 Berger | Dillon 〉 (@InertialObservr) / Twitter

https://twitter.com/InertialObservr

SSB is when the equations of motion satisfy a certain symmetry, but its lowest-energy vacuum solutions do not

## ¶[C] convention - Obtaining the \(\frac{1}{2\pi}\) factor in the Fourier transform - Mathematics Stack Exchange

## ¶[C] ho.history overview - The \(2\pi\) in the definition of the Fourier transform - MathOverflow

## ¶TODO [C] Quantum Diaries https://www.quantumdiaries.org/2011/06/19/helicity-chirality-mass-and-the-higgs/ readagainstm

omg, that's a really super intuitive explanation of chirality, helicity, interactions with Higgs and I think explains the representations as well.

## ¶[C] Michael Nielsen

Geometric complexity: Understanding quantum computing as free fall in a curved geometry. And some preliminary investigations into how that curved geometry works.

## ¶TODO [C] Cadabra manual: Sphere https://cadabra.science/notebooks/sphere.html

This notebook computes the curvature of a 2-sphere by computing connection coefficients and the Riemann tensor components.

## ¶[C] Geometric Quantization (Part 1) | Azimuth

## ¶[C] resource recommendations - Gentle introduction to the Formalism of Quantum Zeno Effect - Physics Stack Exchange

My first, introductory, quantum course was (partially) from Griffiths introduction to quantum mechanics. We went through the whole book and, I recall a section introducing the quantum Zeno effect. They did a nice series expansion of the decay probability fir a state transition and showed for measurements very close together you can increase (or possibly decrease) the lifetime of a state. Very simple introductory explanation. –

## ¶TODO [C] Tweet from michael_{nielsen} (@michael_{nielsen}), at Apr 15, 19:22 This is true - a set of ideas introduced by economists to study the distribution of wealth also turn out to govern the behaviour of quantum entanglement. Pretty wild! Here's the paper: https://t.co/Wf9iGL59JO https://t.co/wXXbIP697I

https://twitter.com/michael_nielsen/status/1117855694936371201

## ¶[C] Jacopo Bertolotti on Twitter: ""I quickly learned to hate spinors. They’re non-intuitive, far more complicated than they have any right to be, and come either with two components or four, both versions being equally hard to comprehend." A Child’s Guide to Spinors William O. Straub"

https://twitter.com/j_bertolotti/status/1140611372214038528

thread where Baez answers some questions about spinors

## ¶[C] (6) Abhishek Singharoy on Twitter: "The first study of an entire cell organelle in all-atom details. https://t.co/R2t6YdyiAu I am told it'll take the field either 30 years back or 30 years forward. Please help me decide :)" / Twitter

https://twitter.com/abhisekhsingha1/status/1157302336219312128

Abhishek Singharoy @abhisekhsingha1 The first study of an entire cell organelle in all-atom details. (link: https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3365009) papers.ssrn.com/sol3/papers.cf… I am told it'll take the field either 30 years back or 30 years forward. Please help me decide :)

## ¶TODO [C] Tweet from John Carlos Baez (@johncarlosbaez), at Aug 11, 05:50 I've been thinking about this sum for a while. I finally had an idea, which you can see here:

It lets you calculate the entropy of a bunch of classical harmonic oscillators if *all you know* is their maximum allowed energy - not how many there are! https://t.co/OV5MAvxobY

https://twitter.com/johncarlosbaez/status/1160413211843104768

## ¶TODO [C] Tweet from John Carlos Baez (@johncarlosbaez), at Aug 14, 11:28

@arula_artwork @RAnachro To understand colimits you just need to understand colimits; all these things you list are special cases of those. But it's good to start by understanding some special cases. You've already met "coproducts", which in the category of sets are just disjoint unions. 1/2

https://twitter.com/johncarlosbaez/status/1161585331600150529

## ¶[C] (3) michael_{nielsen} on Twitter: "Amazing Twitter thread, giving an overview of work on quantum computer architectures. Lots of intuition-building tidbits, broad principles, and detailed references. Summarized here: https://t.co/VDzUrfCpA8 https://t.co/i30oRFruw2" / Twitter

## ¶TODO [C] Something Deeply Hidden | Not Even Wrong

I found Carroll’s clear explanations especially useful on topics where I disagree with him, since reading him clarified for me several different issues. I wrote recently here about one of them. I’ve always been confused about whether I fall in the “Copenhagen/standard textbook interpretation” camp or “Everett” camp, a

## ¶TODO [C] Нейронауки для всех. Методы: транскраниальная магнитная стимуляция - Neuronovosti

## ¶TODO [C] Tweet from 1/(1 - 1/(1 - 1/(1 - Dan Piponi))) (@sigfpe), at Aug 18, 07:06

BTW do you know Penrose's celestial sphere work? That's where I first came across Möbius transformations as conformal maps of spheres. https://t.co/vN0lOD0lW7

## ¶[C] (1) Daniel Litt on Twitter: "The fundamental group of SO(3) is Z/2Z! https://t.co/MnJS0YnNrJ" / Twitter

https://twitter.com/littmath/status/1162723903204220930

The fundamental group of SO(3) is Z/2Z!

## ¶[C] (1) Daniel Piker on Twitter: "New 'Live Soap' component for interactive form-finding of minimal surfaces with topology changes https://t.co/YuARGfXlSO" / Twitter

https://twitter.com/KangarooPhysics/status/1135989061976563715

New 'Live Soap' component for interactive form-finding of minimal surfaces with topology changes

## ¶TODO [C] Tweet from Nikita Lisitsa (@lisyarus), at Aug 26, 18:32

I've recently learnt the technique called "imaginary time evolution" that can be used to obtain e.g. ground states of quantum systems and I want to share a tiny thread on how it works. The usual evolution operator is exp(-itH/h). (1/n)

## ¶TODO [C] Tweet from Dmitrii Kovanikov (@ChShersh), at Aug 27, 13:51

Just finished reading this article. Interesting usage of Free monads in #haskell. Now, the next blog post would be really nice: 1. Take one small but real-life problem 2. Solve it with different approaches 3. Explain each approach 4. Compare them and present the pros and cons https://t.co/FBQyAbNFXz

## ¶TODO [C] Tweet from 〈 Berger | Dillon 〉 (@InertialObservr), at Aug 30, 18:28

How was the Higgs Boson discovered? (1/n) 👉The main process which led to its discovery is its decay into 2 photons: ℎ → γ + γ 👉This process is occurs at "loop level" mediated by the top and bottom quarks 𝑡 & 𝑏 👉The higgs lifetime is 1.56×10⁻²² s https://t.co/A4swAukBBY

https://twitter.com/InertialObservr/status/1139242278755553280

## ¶[C] Finding a potential function for conservative vector fields - Math Insight

## ¶[C] Finding a potential function for conservative vector fields - Math Insight

## ¶TODO [C] David Pfau on Twitter: "Thrilled to be able to share what I've been working on for the last year - solving the fundamental equations of quantum mechanics with deep learning! https://t.co/pzp0Xhsxbu" / Twitter

https://twitter.com/pfau/status/1169981588412817409

David Pfau @pfau Thrilled to be able to share what I've been working on for the last year - solving the fundamental equations of quantum mechanics with deep learning!

### ¶ David Pfau on Twitter: "Thrilled to be able to share what I've been working on for the last year - solving the fundamental equations of quantum mechanics with deep learning! https://t.co/pzp0Xhsxbu" / Twitter

https://twitter.com/pfau/status/1169981588412817409

We've developed a new neural network architecture that can represent wavefunctions for systems of fermions - the kind of particles that make up most matter - and show that it is much more accurate than conventional approximate wavefunctions.

### ¶ David Pfau (@pfau) / Twitter

study brains and intelligence. Anarchist biocosmist. So far I have not found the science, but the numbers keep on circling me. http://davidpfau.com

## ¶[C] Particle filter - Wikipedia

## ¶TODO [C] explained.ai ai

## ¶TODO [C] Tweet from isis agora lovecruft (@isislovecruft), at Sep 22, 00:47

it’s like pointing at a fucking Zener diode and saying, “quantum supremacy” simply because quantum electromagnetic domain wall tunnelling happens at random, followed by a non-justification of “well your iphone can’t do that”

https://twitter.com/isislovecruft/status/1175557098375004160

## ¶TODO [C] The Yoneda Perspective

## ¶[C] John Carlos Baez on Twitter: "@sigfpe There are theorems about this stuff. A simple example is the lowest eigenvalue of -d²/dx² + x² + λx⁴ as a function of λ. You can formally compute the Taylor series of this function, which diverges, and Borel sum it, and get the right answer for λ>0." / Twitter

https://twitter.com/johncarlosbaez/status/1178330369449328641

There are theorems about this stuff. A simple example is the lowest eigenvalue of -d²/dx² + x² + λx⁴ as a function of λ. You can formally compute the Taylor series of this function, which diverges, and Borel sum it, and get the right answer for λ>0.

## ¶[C] Going Critical — Melting Asphalt sim

## ¶[C] An argument against call/cc /r/programming

I was reading this thinking "heck yeah... but I hope they're aware of delimited continuations". Then I look at the site address... *rolleyes* It's Oleg -- I use *his* delimcc.

## ¶TODO [C] An argument against call/cc /r/programming

## ¶TODO [C] Understandable RayTracing in 256 lines of bare C++ /r/cpp

## ¶TODO [C] ELI5 The Wigner's Friend Thought Experiment /r/explainlikeimfive quantum

To understand Wigner's Friend, you must first understand Schrödinger's cat; so if you don't, search ELI5 for explanations of that first. So the Wigner's Friend experiment is basically like the Schrödinger's cat experiment, except it involves 2 people and a cat, instead of just one person and a cat. Wigner leaves the laboratory, then Wigner's friend performs the Schrödinger's cat experiment. Wigner then comes back, to find out whether or not the cat died. In Schrödinger's cat experiment, we say that the cat is in a super position of being both alive and dead. The question is, in Wigner's Friend experiment, do we also say that the friend is in a superposition of being happy and sad (on the assumption that the friend would be happy if the cat is alive, and sad if the cat is dead). Thought experiments are generally not created with the intent of "messing with people". They are often formulate to raise a point. In this case, Wigner wanted to raise the point that quantum physics, as he understood it, placed some sort of special importance on the concept of "consciousness". Wigner claims that it's not meaningful for someone to be in a superposition of being happy and sad, and so he claims that the action that "triggers" the collapse of the superposition is the friend's consciousness, and not Wigner returning to the lab to "observe" whether the friend is happy or sad. That said, some people believe it IS possible for a person to be in a superposition of happy and sad, and so they claim that Wigner's experiment doesn't actually show that consciousness is important after all.

## ¶TODO [C] Tweet from michael_{nielsen} (@michael_{nielsen}), at Nov 4, 01:38

Well, I goofed. Energy conservation in GR turns out to be subtle, and it's certainly not right to flatly say energy is conserved. Quite a few people pointed this out. Here's a couple of samples, at different levels of explanation: https://t.co/1TpCKKiCPy

https://twitter.com/michael_nielsen/status/1191167713789399041

## ¶TODO [C] Tweet from Nikita Lisitsa (@lisyarus), at Mar 20, 09:27 An excellent read - "The stability of matter: from atoms to stars" https://t.co/qFktkarHAk studyread

## ¶[C] The Hardware of a Quantum Computer | edX

## ¶[C] Are we expecting to have a symmetry breaking of the electromagnetic force in the future? /r/Physics

One can think of superconductivity as a breakdown of electromagnetism gauge symmetry. In other words, the "photon" acquires a mass in a superconductor. This is the description for instance given by Weinberg in his book "Quantum Field Theory" if you want to take a look. The order parameter is related to the attractive strength of electrons in the condensation of Cooper pairs.

However that does not apply to the universe as a whole. A material piece of superconductor does break Lorentz invariance in a sense (the material occupies a finite amount of space so it is not invariant under translations).

## ¶[C] Are we expecting to have a symmetry breaking of the electromagnetic force in the future? /r/Physics

Just as an FYI, electromagnetic gauge symmetry is not *really* broken in a superconductor. The BCS wavefunction is still fully gauge invariant. [This paper here](https://arxiv.org/abs/cond-mat/0503400) gives a good discussion, but the basic point is that superconductivity comes about due to global U(1) symmetry breaking, and that a gauge symmetry can never *really* be broken in a physical system because it is not a physical symmetry - only a symmetry of description.

## ¶[C] What exactly is explicit symmetry breaking? And what are some examples? /r/Physics

If you understand SSB, you’re probably familiar with the Mexican hat potential. Let’s say I have a system where the potential energy function V(**r**) = U(r), where U(r) is a typical Mexican hat potential. The potential energy function has rotational symmetry, but the ground state of the system doesn’t. That’s a spontaneous symmetry breaking.

Now imagine my potential is V(**r**) = U(r) + kx^(2).

Now my potential has explicit dependence on x. This is an explicit breaking of rotational symmetry. The symmetry is broken in the Hamiltonian and the ground state of the system.

## ¶[C] Can Representation Theory be Explained Using Basic Abstract and Linear Algebra? /r/math

I highly recommend [this book](http://www.amazon.com/Representations-Characters-Groups-Second-Gordon/dp/052100392X) for an introduction to representation theory over the complex numbers. It's one of my favorite math books as far as presentation and writing style are concerned. For an example of something that can be proved about groups using representation theory there's the [Burnside theorem](http://en.wikipedia.org/wiki/Burnside_theorem). For about 60 years the only known proof was using representation theory. Nowadays we know how to prove it without representation theory but the proof is **much** more difficult. It seems that using representation theory is the "right" or "natural" way to prove this theorem. In combinatorics there is a theorem concerning conjugates of regular [partitions](http://en.wikipedia.org/wiki/Partition_%28number_theory%29) and the Mullineux map; I have it written down in my office but I can't remember it off the top of my head. Anyway the theorem is proven using the representation theory of S_n (group of permutations on n letters). To date there is no known combinatorial proof.

## ¶TODO [C] Tweet from 1/(1 - 1/(1 - 1/(1 - Dan Piponi))) (@sigfpe), at Dec 14, 23:57

...but only at low frequencies or we couldn't see the sun or receive radio waves above a certain frequency. So we can model the atmosphere as a thin shell between two spheres, from ground to maybe 50km up. We can solve Maxwell's equation to find out what kind of waves...

## ¶TODO [C] Tweet from 1/(1 - 1/(1 - 1/(1 - Dan Piponi))) (@sigfpe), at Dec 15, 00:02

You can guess the lowest frequency resonance simply by computing the time it takes for an EM wave to get around the earth: (speed of light)/(circumference of earth)=7.5Hz (Hope I did that right).

## ¶[C] Quantum Leaps, Long Assumed to Be Instantaneous, Take Time | Quanta Magazine /r/Physics

The experiment is great, but it needs to be emphasized that it does not overturn _anything_ we know about quantum mechanics. It is a cool experimental technique, not a theoretical revolution. Instant quantum jumps simply don't exist outside of bad-quality popsci; they are a basic misconception. This experiment, like many others, implies this naive popsci picture is wrong, but every physicist already knew that. The fact that quantum states evolve continuously (rather than jumping) is basic QM 101 material in every textbook. Despite that, I'm seeing tons of buzz about how this has upended all of quantum mechanics. It really doesn't.

## ¶TODO [C] Try TLA

## ¶TODO [C] 1/(1 - 1/(1 - 1/(1 - Dan Piponi))) on Twitter: "The p-adics are like science fiction in mathematics. They are alternative universes alongside the familiar realm of the reals. And there are objects that transcend the barriers between these worlds but manifest a little differently in each one." / Twitter

https://twitter.com/sigfpe/status/1208051225255538688

1/(1 - 1/(1 - 1/(1 - Dan Piponi))) @sigfpe The p-adics are like science fiction in mathematics. They are alternative universes alongside the familiar realm of the reals. And there are objects that transcend the barriers between these worlds but manifest a little differently in each one.

## ¶[C] 〈 Berger |🎄| Dillon 〉 on Twitter: "Putting it all together, we get the leading order Feynman diagram that led to the discovery of the Higgs Boson. 👀 https://t.co/w9ug4yfJc1" / Twitter

https://twitter.com/InertialObservr/status/1139315877080207360

〈 Berger | 🎄 | Dillon 〉 @InertialObservr Putting it all together, we get the leading order Feynman diagram that led to the discovery of the Higgs Boson.

## ¶TODO [C] What Makes the Hardest Equations in Physics So Difficult? (2018) | Hacker News

## ¶[C] Simulating physical reality with a quantum computer

## ¶TODO [C] Tweet from 〈 Berger | Dillon 〉 (@InertialObservr), at Jan 4, 19:35

I'm starting a channel on Discord for Quantum Field Theory/Particle Physics discussion (1) Ask questions at *any level* of the topic (stay on topic) (2) Mods do our best to answer (others welcome to answer) Current mods: me & @litgenstein

https://twitter.com/InertialObservr/status/1213543568754634752

## ¶TODO [C] the Synthetic Biology Open Language (SBOL) | a language for genetic design

## ¶TODO [C] Tweet from John Carlos Baez (@johncarlosbaez), at Jan 17, 17:34 Planck

For more on this, read Helge Kragh's great article "Max Planck: the reluctant revolutionary": It seems he was not trying to revolutionize physics. He was trying to understand the data.

https://twitter.com/johncarlosbaez/status/1218225086202703873

## ¶TODO [C] bollu.github.io | code + contents of my website, and programming life

https://bollu.github.io/#stuff-i-learnt-in-2019

Gravitation by Misner Thorne and Wheeler This is an imposing book. I first read through the entire thing (Well, the parts I thought I needed), to be able to get a vague sense of what they’re going for. They’re rigorous in a very curious way: It has a bunch of great physics perspectives of looking at things, and that was invaluable to me. Their view of forms as “slot machines” is also fun. In general, I found myself repeatedly consulting this book for the “true physical” meaning of a thing, such as curvature, parallel transport, the equation of a geodesic, and whatnot.

## ¶[C] Spin, Statistics, CPT and All That Jazz

## ¶[C] Are quantum fields in any way similar to classical fields? /r/askscience

In the canonical picture, quantum fields are operator-valued fields (distributions, to be more precise). The Hilbert space on which they act is spanned by number states. Each number state consists of a given number of particles with given momenta and other quantum numbers (spin, color etc.). In fact the \*free\* fields behave like a set of harmonic oscillators for each momentum/spin/color/etc. Of course not every state is a number state, but they provide a basis by which you can express any state by linear combination. In this picture, the fields are just operators that create and destroy particles, but the particle content is in the abstract quantum state. The path integral picture is closer to the classical interpretation, but the relationship to particles is a bit more difficult to see. Basically, there is the path integral/partition functional, which consists of a sum over all possible classical field configurations weighted by the value of the action on the given field configuration. Thus all possible field configurations contribute to the amplitudes and expectation values. In the classical limit, only those configurations contribute for which the action is stationary, eg. those that satisfy the classical equations of motion. TL;DR: In the canonical approach, fields are just tools. In the path integral approach, physical processes happen by summing over classical fields, even those that do not solve the (classical) equations of motion.

## ¶TODO [C] That being said, a lot of research asking very fundamental questions about QM is happening, and it does not necessarily involve large colliders Tweet from Valentin Fadeev (@ValFadeev), at Jan 13, 11:03

## ¶TODO [C] Tweet from @nntaleb

https://twitter.com/nntaleb/status/1250286202877440007

@nntaleb: Witness here how salaried physicists are dismissing @stephen_{wolfram} Wolfram's automata BEFORE even hearing him

Just as Freeman Dyson publicly dismissed **A New Kind of Science** c. 2002; it turned out that he did not read the book. & pple who refused to read it referred to Dyson! twitter.com/jimalkhalili/statu…

## ¶TODO [C] New spaces in mathematics and physics https://ncatlab.org/nlab/show/New+Spaces+for+Mathematics+and+Physics

New Space in Physics will explain new concepts of space as applied to physics, including twistors, stringy geometry, derived and higher symplectic geometry, and noncommutative geometry, topos theory in quantum physics, and supergeometry. (My own paper just poses some problems.) https://t.co/EatvZx7rPm

https://twitter.com/johncarlosbaez/status/1117837769546428416

### ¶TODO [C] Tweet from John Carlos Baez (@johncarlosbaez), at Apr 15, 17:58

Yay! Mathieu Anel and Gabriel Catren's book New Spaces in Mathematics and Physics has officially been accepted by Cambridge U. Press. But they've chopped it in two: one on math, one on physics. My chapter, "Struggles with the Continuum", is here:

https://twitter.com/johncarlosbaez/status/1117834503118942208

## ¶[C] Simone Sturniolo on Twitter: "@InertialObservr @__{ice9} @tequehead That we observe a single eigenvalue isn't what interpretations are about. Interpretations try to explain WHY we do. Which is the whole problem." / Twitter

https://twitter.com/SturnioloSimone/status/1205422218005622784

That we observe a single eigenvalue isn't what interpretations are about. Interpretations try to explain WHY we do. Which is the whole problem.

## ¶[C] Mathematical formulation of the Standard Model - Wikipedia

https://en.wikipedia.org/wiki/Mathematical_formulation_of_the_Standard_Model#Free_parameters

Renormalization scheme (point)

## ¶[C] Mathematical formulation of the Standard Model - Wikipedia

https://en.wikipedia.org/wiki/Mathematical_formulation_of_the_Standard_Model#Free_parameters

From the theoretical point of view, the Standard Model exhibits four additional global symmetries, not postulated at the outset of its construction, collectively denoted accidental symmetries, which are continuous U(1) global symmetries.

## ¶[C] newtonian mechanics - Anti-gravity in an infinite lattice of point masses - Physics Stack Exchange

https://physics.stackexchange.com/questions/2196/anti-gravity-in-an-infinite-lattice-of-point-masses

This is incorrect--- but Newton made the same mistake, so no downvote. The constant density over all space Newtonian gravitating system is not allowed, except in an expanding or contracting Newtonian cosmology, and there is no antigravity for the missing particle. The symmetry arguments are misleading, because the limit is subtle.

## ¶[C] electrostatics - Paradox with Gauss' law when space is uniformly charged everywhere - Physics Stack Exchange

The quantities you want to associate with the infinite distribution (electric field, gravitational potential, whatever) depend on how you construct it, and there is no clear "natural" way to do it.

## ¶[C] AVƎ on Twitter: "If you're interested in the animated anatomy studies; Here's a 1 minute tute on how to make your own (You'll only need Zbrush) : https://t.co/RMlLZKSLH0 They've definitely helped me improve my understanding, hope they help you :) https://t.co/pXZew0PP9k" / Twitter

## ¶[C] AVƎ on Twitter: "2/6 - Anatomy studies. Arm supination/pronation and flex.

## ¶[C] 1/(1 - 1/(1 - 1/(1 - Dan Piponi))) on Twitter: "An explanation of dimensional regularisation, one of the more bizarre sounding ideas in physics, applied to **classical** electrodynamics. Should make it accessible to a wider audience https://t.co/3Dj0eG3Brv (Spot the 1/ε subtraction, related to my recent "moral truth" example.)" / Twitter

https://twitter.com/sigfpe/status/1204513555791278080

An explanation of dimensional regularisation, one of the more bizarre sounding ideas in physics, applied to *classical* electrodynamics.

## ¶[C] \mathcal{L} on Twitter: "Are there any good QFT visualizations that facilitate genuine understanding and don’t mislead?" / Twitter

Are there any good QFT visualizations that facilitate genuine understanding and don’t mislead?

## ¶TODO [C] EPR is arguably the most controversial paper Einstein ever published,

todo

from ip Einstein Versus the Physical Review

## ¶TODO [C] Tweet from Path Integral Salesman (@litgenstein), at Dec 31, 01:53

It took place in the year that Heisenberg built the uncertainty principle, a year after Schrödinger demonstrated the equivalence of wave and matrix mechanics (2 QM formulations before thought to be in tension), and just after the death of the old quantum theory. Random excerpts: https://t.co/d1MREkwoBE

## ¶[C] Your statement is 100% correct but misses the entire point | Lobsters security

There are books on threat modeling that actually go into a variety of models.

## ¶[C] Tweet from @johncarlosbaez: In 1907 Einstein tried to combine special relativity with gravity - and very soon he realized gravity would make clocks tick slower, and would bend light

https://twitter.com/johncarlosbaez/status/1230905689809121280

It took him until 1915 to find the equations of general relativity. He needed the right kind of math.

## ¶TODO [C] Path Integral Salesman on Twitter: "I’ve been reading a lot of old conference proceedings. Here are some from the 1927 Solvay Conference attended by Einstein, Planck, Pauli, Born, Lorentz, Schrödinger, etc. https://t.co/1mD4Fdk4GS Responding to Einstein, Bohr says: “I do not know what quantum mechanics is.” https://t.co/ybyKjp6EHK" / Twitter

https://twitter.com/litgenstein/status/1211823189237456896

I’ve been reading a lot of old conference proceedings. Here are some from the 1927 Solvay Conference attended by Einstein, Planck, Pauli, Born, Lorentz, Schrödinger, etc. https://arxiv.org/pdf/quant-ph/0609184.pdf Responding to Einstein, Bohr says: “I do not know what quantum mechanics is.”

## ¶TODO [C] (1) John Carlos Baez on Twitter: "For more, see Hubert Goenner's article "On the history of unified field theories". Part I: https://t.co/vapByPYAi4 Part II: https://t.co/YBIqX120Gg" / Twitter qft

https://twitter.com/johncarlosbaez/status/1209903923227549696

For more, see Hubert Goenner's article "On the history of unified field theories". Part I: http://livingreviews.org/lrr-2004-2 Part II: http://livingreviews.org/lrr-2014-5

## ¶TODO [C] Physics stuff

Here's the page one up in the directory structure: https://www.av8n.com/physics/ It's got a lot of very interesting math and physics information.

## ¶[C] Paul Dirac: The Mozart of Science (2008) | Hacker News

https://news.ycombinator.com/item?id=20667889

The creativity of the Dirac equation really struck me when I first learned it. Basically, it uses a mathematical trick to write sqrt(a^2 + b^2) = a + b, which doesn't work for normal math, but does work if a and b anticommute: ab = -ba. You can implement this with matrices, and in the resulting solution quantum spin just pops out. Astounding.

## ¶TODO [C] Tweet from George Corney (@Haxiomic), at Oct 1, 21:59 The author Wyatt Flanders makes incredible things! Here's his website https://t.co/RYAHVDDAM8 simqft

The author Wyatt Flanders makes incredible things! Here's his website https://t.co/RYAHVDDAM8 and more details on the simulation https://t.co/b74Vm06VLV

### ¶ eh? I don't quite understand, what 'coupling' between gravity and other forces?? simqft

## ¶TODO [C] (1) John Carlos Baez on Twitter: "Einstein worked obsessively on unified field theories until his death in 1955. He lost touch with his colleagues' discoveries in particle physics. He had an assistant try to teach him quantum field theory, but lost interest in a month. But there's more to this story… (6/n) https://t.co/f4C9e7iAHx" / Twitter

https://twitter.com/johncarlosbaez/status/1209900884131401728

Schrödinger & Einstein helped invent quantum mechanics, but they didn't really believe in it, so they were sidelined for the rest of their careers. While others studied elementary particles, they criticized quantum theory and tried to invent "unified field theories".

## ¶TODO [C] Perhaps most spectacularly of all, in 2020, Zhengfeng Ji, Anand Natarajan, Thomas Vidick, John Wright, and Henry Yuen proved that MIP*=RE. Here MIP* means the class of problems solvable using multi-prover interactive proof systems with quantumly entangled provers (and classical polynomial-time verifiers), while RE means Recursively Enumerable: a class that includes not only all the computable problems, but even the infamous halting problem (!). To say it more simply, entangled provers can convince a polynomial-time verifier that an arbitrary Turing machine halts.

## ¶TODO [C] key ceremonies studysecurity

Insane. Just think of the risk that this 'master key' exposed to the bank's employees. Having access to something as insanely valuable as a bank 'master key' puts the employees at risk of blackmail, extortion, etc. That's why you have HSMs, key ceremonies, Shamir's secret sharing etc. It's not just for trust, it's also for protection of those involved. Unauthorized wire transfers can be undone, or covered by insurance. Loss of life cannot.

## ¶TODO [C] (1) 14 Subatomic Stories: Where Einstein failed- quantum gravity - YouTube

weinberg spin 2 boson GR

## ¶STRT [C] Maissam Barkeshli on Twitter: "1/ The study of topological quantum matter has been one of the most popular and exciting developments in physics in the last 15 years, although there has been a steady stream of amazing developments for the last 50 years." / Twitter

The study of topological quantum matter has been one of the most popular and exciting developments in physics in the last 15 years, although there has been a steady stream of amazing developments for the last 50 years

## ¶[C] bollu.github.io | code + contents of my website, and programming life

https://bollu.github.io/#leapfrog-integration

We have a system we wish to simulate using hamilton’s equations:

## ¶TODO [C] Tweet from @johncarlosbaez

https://twitter.com/johncarlosbaez/status/1283210127781199873

@johncarlosbaez: ... I think the pictures and animations in the blog article here help bring topological matter down to earth. Not all of it is easy to visualize, but the stuff that won Kosterlitz and Thouless the 2016 Nobel Prize is pretty simple - and gorgeous!

## ¶[C] Спиральность частицы — Википедия

Спиральность — квантовое число[1], характеристика состояния элементарной частицы. Представляет собой проекцию спина частицы на направление движения. Используется при описании элементарных частиц, движущихся со скоростью света или близкой к ней. Является сохраняющейся лоренц-инвариантной величиной для безмассовых частиц.[2][3]

helicity

## ¶[C] Understanding quaternions and the Dirac belt trick (2010) | Hacker News

I am pretty sure I have studied every interpretation and explanation of spinors and the non-simply-connectedness of SO(3) rotations, and I eventually finally understood it -- but, by ignoring explanations like the 'belt trick', rather than embracing them. I don't think this article makes it any better. As long as you're stuck on quaternions you're not going to be able to see what's going on, and the belt metaphor just adds complexity as well.

## ¶TODO [C] Tweet from Statebox | ステートボックス (@statebox), at Dec 18, 18:38

oh, my! you'd better watch out! snakes, time traveling and string diagrams! @RickandMorty what else will #categorytheory unleash? thanks to @erikagain for pointing it out! https://t.co/Vv6m8i8JeN

## ¶[C] Amazon.com: Lectures On Phase Transitions And The Renormalization Group (Frontiers in Physics) (9780201554090): Goldenfeld, Nigel: Books

## ¶[C] Michael Nielsen on Twitter: "Somehow, the combination: quasiparticles + statistics + universality / RG + equilibrium is just mindbogglingly rich." / Twitter

Somehow, the combination: quasiparticles + statistics + universality / RG + equilibrium is just mindbogglingly rich.

## ¶TODO [C] Neutrino oscillation - Wikipedia

In the Standard Model of particle physics, fermions only have mass because of interactions with the Higgs field

Hm, and what about bosons?

## ¶[C] quantum field theory - How does the Higgs mechanism work? - Physics Stack Exchange

The Higgs mechanism is no different from superconductivity, except the condensate responsible for superconductivity is a relativistically invariant scalar field. If you have a bosonic field, its particles can be in a Bose-Einstein condensate. When this condensate is charged, you call it a superconductor. A photon in a superconductor gets a mass, and this is the Higgs mechanism.

## ¶[C] How can SU(2) group has 3 dimensional representation? - Mathematics Stack Exchange reprtheory

o construct the n-dimensional irreducible representation of SU(2), use the spin j=(n−1)/2 angular momentum matrices as Jx,Jy,Jz.

## ¶TODO [C] Tweet from @akivaw

https://twitter.com/akivaw/status/1313727123325161472

@akivaw: Proof of Gödel’s Incompleteness Theorem in a Twitter thread Peano Arithmetic (PA) is a formal proof system. Statements and proofs must follow a very strict syntax. 1/4

## ¶[C] Fundamental Forces

One of the four fundamental forces, the weak interaction involves the exchange of the intermediate vector bosons, the W and the Z. Since the mass of these particles is on the order of 80 GeV, the uncertainty principle dictates a range of about 10-18 meters which is about 0.1% of the diameter of a proton.

## ¶[C] Brian Skinner on Twitter: "@michael_{nielsen} @sigfpe I like this example. Generally bosonic systems store heat/entropy much more easily than fermionic systems. In a boson system, all the particles can store heat, while in a fermionic system only the ones near the Fermi surface can." / Twitter

I like this example. Generally bosonic systems store heat/entropy much more easily than fermionic systems. In a boson system, all the particles can store heat, while in a fermionic system only the ones near the Fermi surface can.

### ¶ hmm. what if we 'store heat' carefully in a bosonic quasiparticle condensate, and then disturb it to make it fermionic again? What would happen?

## ¶[C] Maissam Barkeshli on Twitter: "@michael_{nielsen} But we do live in a superconductor in a sense! The Higgs boson has condensed, which is the origin of mass, similar to how photons acquire mass in electronic superconductors. The idea of technicolor in particle physics is that the Higgs may be a pair of more fundamental fermions" / Twitter

But we do live in a superconductor in a sense! The Higgs boson has condensed, which is the origin of mass, similar to how photons acquire mass in electronic superconductors. The idea of technicolor in particle physics is that the Higgs may be a pair of more fundamental fermions

## ¶STRT [C] Vijay Mocherla on Twitter: "@michael_{nielsen} Check out the notes by David Tong from Cambridge. Ch3 of statistical physics notes is the shortest comprehensive summary of BEC I can think off. https://t.co/ED0PrMXvBK" / Twitter

Check out the notes by David Tong from Cambridge. Ch3 of statistical physics notes is the shortest comprehensive summary of BEC I can think off. https://damtp.cam.ac.uk/user/tong/statphys/three.pdf

## ¶[C] special relativity - Why don't we construct a spin 1/4 spinor? - Physics Stack Exchange

Dirac spinors actually belong to the 4-dimensional reducible representation (1/2,0)⊕(0,1/2). Another 4-dimensional representation is the irreducible (1/2,1/2) to which the 4-vectors belong. As you can see, this is all just representation theory and there is no spin-1/4 representation in 4 spacetime dimensions. However, in 2 spacetime dimensions this is no longer valid and representations with fractional spins exist.

## ¶TODO [C] X Thus, in a given direction, the momentum has a maximum possible magnitude. The space of allowable momenta is called the Brillouin zone, and its shape depends on the arrangement of atoms in the crystal.

todo drill

from How can electrons be “topological”?

## ¶[C] PPlect17.pdf lecture 17 – the Higgs Boson

## ¶[C] lomb-2nd-Ed.pdf Lomb: Polyglot - How I Learn Languages

## ¶TODO [C] Tweet from John Carlos Baez (@johncarlosbaez), at Sep 9, 08:09

@gregeganSF If you search Wiki- and Scholarpedia under "n-body choreography" you'll see people have techniques for proving existence of periodic solutions with various properties. Basic idea: principle of least action with periodic boundary conditions!

https://twitter.com/johncarlosbaez/status/1170957378432290817

## ¶TODO [C] Shtetl-Optimized » 2013 » March The zone

https://www.scottaaronson.com/blog/?m=201303

Lenny gave a typically-masterful summary, which for the first time enabled me to understand the role played in the AMPS argument by “the Zone” (a region near the black hole but outside its event horizon, in which the Hawking radiation behaves a little differently than it does when it’s further away).

## ¶TODO [C] Tweet from 〈 Zach | Kim 〉 (@litgenstein), at Oct 16, 08:49

What's an Effective field theory (EFT), and why we care about it? 𝐈𝐧𝐝𝐞𝐱 (yes, there's an index for this twitter thread): 1. Decoupling 2. Effective 3. Renormalization 4. References

## ¶TODO [C] Tweet from 〈 Zach | Kim 〉 (@litgenstein), at Aug 19, 14:45

3. Renormalization It is equivalent to the demand that, when we vary the cutoff, physics remains the same; our fiddling can't mysteriously change physics. We shift the coupling constants λ → λ′ at every scale so that the cutoff Λ dependence is absorbed or cancelled.

## ¶TODO [C] Tweet from 〈 Zach | Kim 〉 (@litgenstein), at Aug 19, 14:51

3. Renormalization The RG is our best method for taking advantage of the autonomy of scales in nature, or the fact that some scales decouple from other scales. While heavily simplified, this is the physical interpretation of renormalization attributed to Kenneth Wilson.

## ¶TODO [C] Tweet from John Carlos Baez (@johncarlosbaez), at Oct 16, 16:46

In physics, the complex numbers describe points in 2d space. The split complex numbers describe points in 2d Minkowski spacetime. The dual numbers describe points in 2d Galilean spacetime - the version of spacetime in classical mechanics before special relativity.

https://twitter.com/johncarlosbaez/status/1184495830843064322

## ¶TODO [C] Greg Egan on Twitter: "`[1/4]`

Welcome to HopfWorld! Every point on the surface of our own world has been replaced by a circle, creating a three-dimensional sphere in four dimensions. If you take a rotating slice through that 3-sphere (as shown in the second image), this is what the slice looks like: https://t.co/Rn12So6iKf" / Twitter

https://twitter.com/gregeganSF/status/1165249104672219136

[1/4] Welcome to HopfWorld! Every point on the surface of our own world has been replaced by a circle, creating a three-dimensional sphere in four dimensions. If you take a rotating slice through that 3-sphere (as shown in the second image), this is what the slice looks like:

## ¶TODO [C] Три книги - Dee Mon. Былое и думы — LiveJournal

https://thedeemon.livejournal.com/140306.html

У КМ ровно две проблемы вследствие которых она не может быть объединена с релятивистской теорией. 1) основные уравнения (Шрёдингера, Клейна-Гордона-Фока и Дирака) постулированы, а не выведены из первых принципов. 2) вся теория КМ и КТП построена на разложеннии по малому параметру, смысл которого раскладывающим не известен. Я имею ввиду постоянную тонкой структуры, которая обратнопропорциональна постоянной Планка.

## ¶TODO [C] GR tensor – it's the only way to construct it? (from Physics from Symmetry book) study

## ¶[C] gravitational waves

The last term, O(ε2 ω2 |x|2 ) , may be hard to understand for beginners. It says that, actually, the plane wave isn’t plane, it gets corrections that grow quadratically with distance. These corrections, which I do not spell out in detail, come from the non-linear terms in Einstein’s equations. For trained physicists, however, it is easy to understand their physical origin: the gravitational wave carries energy, therefore has a tiny mass density, and therefore generates a gravitational field by itself. For LIGO, this is totally negligible: only if |x| becomes hundreds of millions of light years, this term becomes bothersome, but the actual gravitational source is not that far away, and/or does not shine for so many millions of years, so we never have a wave that stretches that far. To be precise: in practice you only need the linear parts of Einstein’s equations, and you have to build wave packets by superimposing these plane waves. Then, these wave packets don’t stretch that far, and the bothersome correction term never becomes large.

## ¶[C] fusion

Nuclear fusion: lighter elements merge into heavier elements, using kinetic energy. Energy has to bypass electrostatic repulsion, however, two factors are decreasing the temperature needed for the reaction: 1. Quantum effects: particles can tunnel through the electrostatic potential barrier

## ¶[C] wigner's friend experiment is different from shrodinger's cat in that the entangled observer (the friend) is conscious quantum

## ¶[C] Van der Waals force - Wikipedia

The van der Waals force has the same origin as the Casimir effect, arising from quantum interactions with the zero-point field.[2]

## ¶[C] Cracking a Black Hole Paradox - Sixty Symbols - YouTube study

read the papers

## ¶[C] Reflections on Relativity readstudy

## ¶[C] The Lamb Shift

## ¶[C] The Hydrogen 21-cm Line

The 1420 MHz radiation comes from the transition between the two levels of the hydrogen 1s ground state, slightly split by the interaction between the electron spin and the nuclear spin. The splitting is known as hyperfine structure.

### ¶TODO need to split roughtly in 'facts' and 'actual todos/stuff I need to learn'

## ¶[C] Ask Ethan #36: The Amazing Spinning Electron | by Ethan Siegel | Starts With A Bang! | Medium

So if we ask how do two hydrogen atoms can be configured together, there are two possible configurations: either in a spatially-symmetric but spin-anti-aligned state, or in a spatially-anti-symmetric but spin-aligned state!

## ¶[C] algebraic geometer BLM on Twitter: "@KSHartnett @stevenstrogatz @QuantaMagazine Sad that there was no room for one of the main storylines, the love/hate relationship/competition between symplectic and complex geometry." / Twitter

Sad that there was no room for one of the main storylines, the love/hate relationship/competition between symplectic and complex geometry.

## ¶[C] Алгебры Клиффорда, часть 1 | VK

Мы поступим так: не будем пытаться задать произведение любой пары элементов, а потребуем лишь, чтобы квадрат x² вектора x в смысле умножения в алгебре совпадал с его скалярным квадратом <x,x>. Собственно, так и определяется алгебра Клиффорда — как самая общая алгебра, удовлетворяющая этому соотношению (самая общая — в смысле некого универсального свойства в соответствующих категориях). Технически

## ¶TODO [C] Tweet from michael_{nielsen} (@michael_{nielsen}), at Aug 5, 22:37

https://twitter.com/michael_nielsen/status/1158492254639656966

I think I've shared this on Twitter before, but this is a fun introduction to all the incredibly interesting recent work on new phases of matter: https://t.co/SOuMBP3rgy (by @nattyover ).

## ¶TODO [C] Classically, a scalar field is a collection of an infinity of oscillator normal modes. It suffices to consider a 1+1-dimensional space-time ℝ×S1, in which the spatial direction is compactified to a circle of circumference 2π, rendering the momenta discrete.

https://hyp.is/adaalFGBEemsHa807OIUkQ/en.wikipedia.org/wiki/Canonical_quantization

## ¶[C] statistical mechanics - Is there any proof for the 2nd law of thermodynamics? - Physics Stack Exchange

It's simple to "roughly prove" the second law in the context of statistical physics. The evolution A→B of macrostate A, containing exp(SA) microstates, to macrostate B, containing exp(SB) microstates, is easily shown by the formula for the probability "summing over final outcomes, averaging over initial states", to be exp(SB−SA) higher than the probability of the inverse process (with velocities reversed). Because SB−SA is supposed to be macroscopic, such as 1026 for a kilogram of matter, the probability in the wrong direction is the exponential of minus this large difference and is zero for all practical purposes.

## ¶TODO [C] Tweet from David Holz (@DavidSHolz), at Nov 7, 21:36

@michael_nielsen @patrickc A famous Silicon designer once told me "all speed comes from parallelism" & power efficiency as well. Clock speed by itself can be a VERY deceptive measure. Power usage increases linearly with parallelism, but exponentially with clockrate. Speed increases linearly with both.

## ¶TODO [C] Bartosz Milewski on Twitter: "@johncarlosbaez @sigfpe I even adapted his notation to profunctors. https://t.co/f7p0BErEip" / Twitter

https://twitter.com/BartoszMilewski/status/1192494002144067584

Einstein was a very important physicist 'n' all, but let's face it, the way he touches most of our lives in a technical capacity is that he gave us license to leave out our sigma signs. John Carlos Baez @johncarlosbaez It's been called his biggest contribution to mathematics. @BartoszMilewski @sigfpe I even adapted his notation to profunctors

## ¶TODO [C] michael_{nielsen} on Twitter: "@predzemshara The IPCC report is surprisingly good - try assessment report 5. There are, of course, many many books. I enjoyed Daniel Schrag's EdX class, though it focuses more on the earth-system aspect, and only gradually moves onto human-caused climate stuff." / Twitter climate

https://twitter.com/michael_nielsen/status/1193629850721865728

The IPCC report is surprisingly good - try assessment report 5. There are, of course, many many books. I enjoyed Daniel Schrag's EdX class, though it focuses more on the earth-system aspect, and only gradually moves onto human-caused climate stuff.

## ¶TODO [C] Georgi–Glashow model - Wikipedia

, the Georgi–Glashow model is a particular grand unification theory (GUT) proposed by Howard Georgi and Sheldon Glashow in 1974. In this model the standard model gauge groups SU(3) × SU(2) × U(1) are combined into a single simple gauge group SU(5). The unified group SU(5) is then thought to be spontaneously broken into the standard model subgroup below some very high energy scale called the grand unification scale.

## ¶[C] (1) Sean Carroll on Twitter: "The Biggest Ideas in the Universe: idea #11 is Renormalization. We deal with "infinities" in quantum field theory by admitting that we don't understand arbitrarily high energies, and constructing "effective" theories instead. https://t.co/kZ8pnYJ5nA" / Twitter

The Biggest Ideas in the Universe: idea #11 is Renormalization. We deal with "infinities" in quantum field theory by admitting that we don't understand arbitrarily high energies, and constructing "effective" theories instead.

## ¶[C] Breakthrough in inverse Laplace transform procedures | Hacker News

Yes. The Fourier transform characterizes on a circle (usually the unit circle in the complex domain) at different frequencies. It is properly defined for periodic signals. The Laplace transform takes any exponential spiral in the complex plane, and reduces to the Fourier transform if you only care about the unit circle.

## ¶[C] Breakthrough in inverse Laplace transform procedures | Hacker News

With Fourier you can analyze oscillatory characteristics of function (frequency and phase). With Laplace you can also analyze amplification/attenuation.

## ¶[C] D ␣ a ␣ n ␣ P ␣ i ␣ p ␣ o ␣ n ␣ i on Twitter: "@johncarlosbaez @sarah_{zrf} Yeah, symplectic integrators are the way to go. They often conserve not-quite-energy which is the wrong thing to conserve but it still stops things getting out of hand." / Twitter

Yeah, symplectic integrators are the way to go. They often conserve not-quite-energy which is the wrong thing to conserve but it still stops things getting out of hand.

## ¶TODO [C] Tweet from @johncarlosbaez

https://twitter.com/johncarlosbaez/status/1279106414493831169

@johncarlosbaez: The symmetry group of the forces other than gravity is SU(3)×SU(2)×U(1). SU(3) for the strong force and SU(2)×U(1) for weak and electromagnetic forces combined. Why this group? Can we derive it from beautiful math? Yes! But I don't know if it helps.

## ¶[C] Dave Burke on Twitter: "RNA looks like DNA except the T is replaced with a U. The RNA moves out into the cell and is used to build proteins it specifies. This DNA->RNA->protein sequence is called the central dogma of molecular biology." / Twitter

https://twitter.com/davey_burke/status/1238672101545893889

RNA looks like DNA except the T is replaced with a U. The RNA moves out into the cell and is used to build proteins it specifies. This DNA->RNA->protein sequence is called the central dogma of molecular biology.

## ¶[C] Dave Burke on Twitter: "Every cell in your body contains your full DNA or genome (3 bn base pairs). But each cell doesn't use all of the instructions, e.g. a skin cell shouldn't make an iris. This is where gene expression comes in. DNA in the nucleus is first copied to short strands of RNA." / Twitter

https://twitter.com/davey_burke/status/1238672100832862215

Every cell in your body contains your full DNA or genome (3 bn base pairs). But each cell doesn't use all of the instructions, e.g. a skin cell shouldn't make an iris. This is where gene expression comes in. DNA in the nucleus is first copied to short strands of RNA.

## ¶[C] Geom algebra Vs vector

Geometric algebra is something that hasn't found a "killer app," if you will. The largest users of vector calculus are physicists and engineers, and those communities have 1) enormous existing literature using Gibbs-Heaviside vectors, and 2) enormous institutional investment in teaching them across departments. We haven't found a justification for switching that would outweigh the amount of inertia involved. It's hardly a new thing. David Hestenes has been writing books about its advantages in physics since the 1960's.

## ¶STRT [C] Structure and Interpretation of Classical Mechanics - Wikipedia

Structure and Interpretation of Classical Mechanics (SICM) is a classical mechanics textbook written by Gerald Jay Sussman and Jack Wisdom with Meinhard E. Mayer. The first edition was published by MIT Press in 2001, and a second edition was released in 2015. T

## ¶TODO [C] Tweet from @litgenstein

https://twitter.com/litgenstein/status/1253904085742313472

@litgenstein: astonishing how wrong Dirac was here https://t.co/4zHvPfQHuQ

## ¶[C] (1) The Holographic Universe Explained - YouTube physics

https://www.youtube.com/watch?v=klpDHn8viX8&list=WL&index=13&t=0s

good intro to the holographic principle and ads/cft correspondense

scale invariance

## ¶[C] Tensors Explained Intuitively: Covariant, Contravariant, Rank - YouTube

"contra"variant – when you increase basis vectors, the components decrease

## ¶[C] Tensors Explained Intuitively: Covariant, Contravariant, Rank - YouTube

but if you describe a vector with dot products (with the bases), the associated dot products will double with the scaling of the basis vectors

## ¶[C] A theory of everything | Garrett Lisi - YouTube qft

electric charge is a combination of isoweak and hyperchange?

higgs breaks the symmetry so weak particles are too massive?

overall, interesting, but looks pretty mad

he's saying there must be other particles like higgs?

## ¶TODO [C] Tweet from @johncarlosbaez

https://twitter.com/johncarlosbaez/status/1262058096643325952

@johncarlosbaez: In 2987 Feynman wrote an essay explaining how negative probabilities could be used. Read it! He explains things well: https://t.co/vQE8G21UUm The idea is that negative probabilities are only allowed in intermediate steps of a calculation, not the final results.

(3/n) https://t.co/Rz14sNzhfa

## ¶TODO [C] Subatomic Stories: Antimatter - YouTube study

Of all of the claims of modern physics, perhaps the most amazing is that for every kind of known matter, there is a cousin version called antimatter. Antimatter is the opposite of ordinary matter and will annihilate into pure energy when it encounters matter. In episode 7 of Subatomic Stories, Fermilab’s Dr. Don Lincoln gives you the lowdown on this amazing substance.

quantum diaries explanations of higgs/symmetry breaking

## ¶TODO [C] Tweet from @litgenstein study

https://twitter.com/litgenstein/status/1266178085574946816

@litgenstein: easy twitter.com/samuelgwalters/sta… pic.twitter.com/oEjbxX…

## ¶[C] Joe Rogan Experience #1203 - Eric Weinstein - YouTube study

55:10 hopf worlds weinstein

## ¶TODO [C] Tweet from @johncarlosbaez

https://twitter.com/johncarlosbaez/status/1275677652586823682

@johncarlosbaez: There's a theory to deal with this... it's standard stuff from analysis. I could explain it. Briefly, when you have a self-adjoint operator with continuous spectrum, its "eigenvectors" are not actually elements of the Hilbert space, but suitable integrals involving them are.

## ¶[C] conductivity stuff physics

- fermi level – makes sense at low temperatures only? at higher, it shifts up https://youtu.be/mwlWIfNvt1w?t=154
- graphene – dirac cones – "no intertia"??

topological insulator?? https://en.wikipedia.org/wiki/Topological_insulator - energy bands – X axis is momentum?? https://www.youtube.com/watch?v=w3rFHJkUuIM

## ¶[C] Majorana fermion - Wikipedia

In condensed matter physics, bound Majorana fermions can appear as quasiparticle excitations—the collective movement of several individual particles, not a single one, and they are governed by non-abelian statistics.

## ¶TODO [D] Tweet from John Carlos Baez (@johncarlosbaez), at May 10, 16:05

I'm digging into the foundations of arithmetic with my old internet pal Michael Weiss - the guy who wrote the famous "Photons, Schmotons" series. Turns out he's an expert on logic! He's teaching me a lot of stuff.

https://twitter.com/johncarlosbaez/status/1126865911858618369

## ¶[D] Why The Schrodinger Equation Fails at Relativity : Physics

https://www.reddit.com/r/Physics/comments/ad23sp/why_the_schrodinger_equation_fails_at_relativity/

Physics students always say that the Schrodinger equation doesn't hold for SR, but it does. It's not the Schrodinger equation that fails though, it's the non-relativistic Hamiltonian that fails. The Dirac equation is the Schrodinger equation, but with the Dirac Hamiltonian. The Schrodinger equation is valid.

## ¶[D] Locally constant function - Wikipedia

https://en.wikipedia.org/wiki/Locally_constant_function

Every locally constant function from the real numbers R to R is constant, by the connectedness of R. But the function f from the rationals Q to R, defined by f(x) = 0 for x < π, and f(x) = 1 for x > π, is locally constant (here we use the fact that π is irrational and that therefore the two sets {x∈Q : x < π} and {x∈Q : x > π} are both open in Q).

## ¶TODO [D] books studyelectronics

/r/AskElectronics wiki

Well, there's a book Code by Charles Petzold that does a really solid job of explaining a lot of stuff from the very basics. Then there's This site, which is very useful too. You can download it's content in the form of a PDF book too.

## ¶[D] Life on the lattice qftqcd

https://latticeqcd.blogspot.com/

some blog abbout lattice qft/qcd

## ¶[D] [hep-lat/0506036] Lattice QCD for Novices qcd

## ¶[D] logic - How can a formal system ever be non-obviously unsound? - Mathematics Stack Exchange logic

## ¶[D] (2) Slut_{jack} on Twitter: "Q: wat is Functor F A: you can add F to both ends a -> b F a -> F b Q: FullyFaithful F? A: rm F from both ends F a -> F b a -> b Q: L left adjoint to R? A: Pulling L right turns it to R A: Pulling R left turns it to L L a -> b a -> R b L a -> b" / Twitter

## ¶TODO [D] Nontransitive dice - Wikipedia

## ¶TODO [D] Tweet from Jibran Haider (@jibranhaider), at Jan 2, 09:11 numeric

I am very pleased to announce the open source release of the explicit solid dynamics toolkit implemented using OpenFOAM via @github.

## ¶[D] Hacker's guide to Neural Networks nn

## ¶[D] How a Kalman filter works, in pictures | Bzarg

## ¶[D] myPhysicsLab Single Spring viz

## ¶TODO [D] Derivatives and dissections of data types | Lambda the Ultimate

## ¶TODO [D] Really interesting and informative site about physical simulations and mechanics, and the maths behind it.👍👍👍 vizsim

https://t.co/7hOPwcPQtR

depicted left is a physical simulation of a book tossed in the air. https://t.co/hlhYf0JPon

## ¶TODO [D] Tweet from John Carlos Baez (@johncarlosbaez), at Mar 23, 17:08 sheaf

A "sheaf" on a space X assigns a set of "sections" F(U) to any open subset U of that space, with the ability to restrict sections to smaller subsets, and to glue sections that agree on overlaps to get sections on bigger subsets! Sheaves let us study local vs. global issues. https://t.co/thCy9U0zvq

https://twitter.com/johncarlosbaez/status/1109502266174636032

## ¶TODO [D] Linear algebra done right

## ¶[D] plot of sin(z)/(z - mouse position) in the complex plane /r/math viz

This is generated with [https://kisonecat.github.io/phase-plot/](https://kisonecat.github.io/phase-plot/)

## ¶TODO [D] Tweet from John Carlos Baez (@johncarlosbaez), at Apr 10, 03:21 cattheorybaez

@michael_nielsen @stevenstrogatz @emilyriehl Maybe try "A prehistory of n-categorical physics" or "Quantum quandaries", both on the arXiv.

https://twitter.com/johncarlosbaez/status/1115801886743863296

## ¶TODO [D] Tweet from ¬¬(Dan Piponi) (@sigfpe), at Apr 10, 22:05 cattheory

@michael_nielsen What got my interest originally was learning that lattice meets and products of sets, groups, topological spaces etc. could all be defined using a single definition. And then learning that you could dualise by reversing the arrows and double the # of definitions blew my mind.

## ¶TODO [D] Таким образом, любой, даже самый маленький электрический заряд черной дыры полностью меняет тип сингулярности в ее центре.

## ¶[D] Fundamental polygon - Wikipedia

## ¶[D] The 5/8 Theorem | Azimuth

## ¶[D] klein bottle topology

bend a cylinder as you would do for torus. then you need to match the circles, but in the direction opposite to cicle. in order to do that you'd have to pierce through the cylinder

## ¶[D] armstrong p.138 van jampen theorem for simplicial complexes topology

## ¶TODO [D] Tweet from John Carlos Baez (@johncarlosbaez), at May 12, 17:51 baez

It looks like an island made of mathematics. It's actually a map of some definitions Xena knows. Xena is a computer proof assistant. She's just been taught the definition of "perfectoid space" - the green star in the southeast. Click on the image to see it.

https://twitter.com/johncarlosbaez/status/1127602183636054017

## ¶TODO [D] Fundamental Design Issues of Gradle Build System

Gradle losing its grounds now that Bazel is getting momentum after years of being a closed source system.

## ¶TODO [D] Tweet from Nikita Lisitsa (@lisyarus), at May 28, 15:10

A nice MO thread with examples of unnatural isomorphisms between functors: https://t.co/iCMsmBnf7T

## ¶TODO [D] Tweet from Roman Elizarov (@relizarov), at May 20, 22:48

The was the key realization that lead us to introduce structured concurrency in Kotlin Coroutines before we made their APIs stable: https://t.co/I70IkaUqFH

## ¶[D] Product Spaces topology

## ¶TODO [D] https://www.reddit.com/r/AskElectronics/wiki/education electronics

## ¶TODO [D] Физик оправдал принцип космической цензуры https://nplus1.ru/news/2019/06/19/censorship

## ¶TODO [D] Visual complex analysis

## ¶TODO [D] John Carlos Baez on Twitter: "Fong and Spivak's book on applied category theory is coming out! I'm getting my copy in the mail soon! (cont)… "

https://twitter.com/johncarlosbaez/status/1144662487356231680

Fong and Spivak's book on applied category theory is coming out! I'm getting my copy in the mail soon! (cont)

## ¶[D] Mathematical Methods of Classical Mechanics (Graduate Texts in Mathematics, Vol. 60): V. I. Arnold, A. Weinstein, K. Vogtmann: 9780387968902: Amazon.com: Books mathphysics

## ¶TODO [D] короче очень советую, если ты хочешь немного инсайтов в статистику-мл-датасаенс без хуйни https://medium.com/@kozyrkov Cassie Kozyrkov – Medium

## ¶TODO [D] Tweet from Jamie Portsmouth (@jamportz), at Jan 3, 09:14 physicsviz

Uploaded a new version of Fibre dynamical systems renderer, with a bunch more presets and tools for rendering GIF animations and turntables https://t.co/WfXyDtQLLp https://t.co/H8WySstKdI https://t.co/JBm7VYdb52

## ¶TODO [D] Sam Walters ☕️ on Twitter: "My Einstein paper is posted on arXiv. (It resulted from my Math-Physics Symposium talk.) https://t.co/b7qp6baxIJ… "

https://twitter.com/SamuelGWalters/status/767888754543505408

### ¶ how einstein got his field equations https://arxiv.org/abs/1608.05752

## ¶TODO [D] Tweet from Derek Lowe (@Dereklowe), at Oct 11, 15:03 study

Some chemical weirdness for Friday: the element copernicium: https://t.co/73IZYzWutJ

## ¶TODO [D] A Proposal for Proquints: Identifiers that are Readable, Spellable, and Pronounceable

## ¶TODO [D] Formalizing expresiveness of line editors /r/dependent_{types}

## ¶TODO [D] Tweet from Nikita Lisitsa (@lisyarus), at Nov 27, 08:41

@karlicoss Thank you! :3 I believe this thing will contain most of stuff that I post, in one way or another.

## ¶TODO [D] щас посмотрел видос пиздос, типа Планк не верил в фотоны (да и чуть ли не в атомы) до 20х годов

## ¶TODO [D] Physicists of reddits, what's the most Intetesting stuff you've studied so far?? /r/Physics

Honestly, no matter the subject, very old foundational articles. Someone explaining extremely clearly and formally a very basic concept, because it was breaking new at the point of writing, is deeply satisfying. There's a clarity in those papers that's impossible to find mostly anywhere else.

## ¶[D] https://arbital.com/p/bayes_rule_proportional/?pathId=36904

The proportional form of Bayes' rule is perhaps the fastest way of describing Bayesian reasoning that sounds like it ought to be true. If you were having a fictional character suddenly give a Bayesian argument in the middle of a story being read by many people who'd never heard of Bayes' rule, you might have them say: Similarly, if you were a doctor trying to explain the meaning of a positive test result to a patient, you might say: "If we haven't seen any test results, patients like you are a thousand times as likely to be healthy as sick. This test is only a hundred times as likely to be positive for sick as for healthy patients. So now we think you're ten times as likely to be healthy as sick, which is still a pretty good chance!"

## ¶TODO [D] Tweet from Eric Lengyel (@EricLengyel), at Jul 29, 11:11

Foundations of Game Engine Development, Volume 2: Rendering (FGED2) is now available on most Amazon websites worldwide!

## ¶[D] Same-origin policy - Wikipedia https://en.wikipedia.org/wiki/Same-origin_policy

## ¶[D] Об Байеса - 2: plakhov — LiveJournal

## ¶[D] reddit: the front page of the internet

https://www.reddit.com/r/dataisbeautiful/wiki/advice

Information about Colorblindness There are colorblindness issues associated with many common color palettes that are rarely discussed among practitioners. Allow me to provide some useful information:

## ¶TODO [D] Tweet from @preskill

@preskill: If you are curious about the exciting recent progress on the black hole information puzzle, but don't want to wade into a lot of technical details, this review is a very good place to start. https://t.co/IOQlZUjEjN

## ¶TODO [D] Tweet from John Carlos Baez (@johncarlosbaez), at Aug 14, 03:29

https://twitter.com/johncarlosbaez/status/1161464741191012352

The free commutative monoid on X is exp(X) = 1 + X + X²/2! + X³/3! + ... whenever X is an object in a category with products and colimits obeying the distributive law. Now + means "coproduct", Xⁿ is defined using products, and Xⁿ/n! is Xⁿ modulo permutations. (11/n)

## ¶[D] Breit–Wheeler process - Wikipedia

https://en.wikipedia.org/wiki/Breit%E2%80%93Wheeler_process

The Breit–Wheeler process or Breit–Wheeler pair production is a physical process in which a positron–electron pair is created from the collision of two photons. It is the simplest mechanism by which pure light can be potentially transformed into matter.

## ¶[D] (1) We certainly do have formal derivations of Lorentz covariance and the Einste… | Hacker News

(1) We certainly do have formal derivations of Lorentz covariance and the Einstein field equations, given in detail here: http://wolframcloud.com/obj/wolframphysics/Documents/some-re... (2) The article above already discusses the derivation of the matter contribution to the Lagrangian density, the derivation of energy-momentum tensor, and Lorentz transformations for elementary particles. (3) Both Hawking radiation and black hole entropy, and connections between our formalism and the AdS-CFT correspondence, are detailed here: http://wolframcloud.com/obj/wolframphysics/Documents/some-qu... (4) We do not yet know how to do this. (5) The quantum mechanics paper above makes, for instance, quite specific predictions about the location of stretched horizons around non-semiclassical black holes. (6) (7) This we are still working on.

## ¶Drill

### ¶TODO S(N) is { det = 1 } U(N) is { M*M = 1 } drillreprtheory

### ¶TODO [C] lorenzian vs riemannian manifold {spacetime vs space} drill

### ¶TODO [C] exponentiating the observable results in representations reprtheorydrill

### ¶ Cook–Levin theorem - Wikipedia drill

https://en.wikipedia.org/wiki/Cook%E2%80%93Levin_theorem

In computational complexity theory, the Cook–Levin theorem, also known as Cook's theorem, states that the Boolean satisfiability problem is NP-complete

### ¶TODO {Zu veil geld} too much money drill

### ¶ universe is { 13.7 billion } years old drill

### ¶TODO [C] Margolus-levitin theorem: limit on QC . Processing rate is or order {10 ** 33} op/s per joule. Or, system needs time about {h / E} to flip the state to orthogonal drill

https://en.wikipedia.org/wiki/Margolus%E2%80%93Levitin_theorem

### ¶[C] Upgrading the Particle Physics Toolkit: The Future Circular Collider - Harry Cliff, John Womersley - YouTube studydrill

5:04 nice table of standard model.. perhaps I should memorize

## ¶TODO hmm, quantum fields seem to be very poorly visualised. I wonder if I can do better with something very simple vizqft

## ¶ John Carlos Baez on Twitter: "Take the real numbers. Throw in some square roots of +1 and some square roots of -1, all anticommuting. You get a Clifford algebra. Clifford algebras are important in geometry and physics - we need them to understand spin! They also display some amazing patterns. (1/n) https://t.co/IlnbpTbBqN" / Twitter

https://twitter.com/johncarlosbaez/status/1190314607979585536

Take the real numbers. Throw in some square roots of +1 and some square roots of -1, all anticommuting. You get a Clifford algebra. Clifford algebras are important in geometry and physics - we need them to understand spin! They also display some amazing patterns.

## ¶ John Carlos Baez on Twitter: "@gregeganSF @monsoon0 @wtgowers @LauraDeming Okay, you've managed to cancel out any potential "insult" with an overload of praise. It was this paper: https://t.co/vlxpqR8G1w The stabilization hypothesis, homotopy hypothesis, cobordism hypothesis and tangle hypothesis are in here. No theorems, amusingly." / Twitter

https://twitter.com/johncarlosbaez/status/1178816967601340417

Okay, you've managed to cancel out any potential "insult" with an overload of praise. It was this paper: https://arxiv.org/abs/q-alg/9503002 The stabilization hypothesis, homotopy hypothesis, cobordism hypothesis and tangle hypothesis are in here. No theorems, amusingly.

## ¶TODO Jesper Cockx - Rewriting type theory /r/agda

## ¶ Sofia 🧹 on Twitter: "Follow up, matrix multiplication is essentially the unique solution to the following problem: given dot :: (j -> a) -> (j -> b) -> c derive mmul :: (i -> j -> a) -> (j -> k -> b) -> (i -> k -> c) the solution is: mmul as bs i k = dot (as i) (flip bs k)" / Twitter

https://twitter.com/typeswitch/status/1193878474940960770

Follow up, matrix multiplication is essentially the unique solution to the following problem: given dot :: (j -> a) -> (j -> b) -> c derive mmul :: (i -> j -> a) -> (j -> k -> b) -> (i -> k -> c) the solution is: mmul as bs i k = dot (as i) (flip bs k)

## ¶ Nikita Lisitsa on Twitter: "Hence we are forced to include this bizarre state into consideration. Are we missing some more states? Surely we are. This all boils down to representations of the SO(3) group and how those behave under tensor product - this is known as Clebsch-Gordan decomposition. (8/8)" / Twitter

https://twitter.com/lisyarus/status/1194374457676247045

Hence we are forced to include this bizarre state into consideration. Are we missing some more states? Surely we are. This all boils down to representations of the SO(3) group and how those behave under tensor product - this is known as Clebsch-Gordan decomposition. (8/8)

## ¶TODO Tweet from 1/(1 - 1/(1 - 1/(1 - Dan Piponi))) (@sigfpe), at Nov 30, 19:14

Feynman's book QED describes simplified path integral approach to optics. Field at point Q is integral of exp(iL/ℏ) over paths from source P to Q. Sort of Huygens' principle. Not correct but tried it anyway

## ¶TODO Tweet from michael_{nielsen} (@michael_{nielsen}), at Nov 30, 18:57

Fun: a recent paper from Lenny Susskind, in which he heuristically derives Newton's laws, using ideas from holography and computational complexity theory https://t.co/M6a6weyP36 https://t.co/5ZljvKoJVr

https://twitter.com/michael_nielsen/status/1200836282399649792

## ¶TODO [D] Tweet from Quanta Magazine (@QuantaMagazine), at Dec 5, 19:02

https://twitter.com/QuantaMagazine/status/1202664570940252160

## ¶TODO Tweet from michael_{nielsen} (@michael_{nielsen}), at Dec 6, 03:04

@3blue1brown I don't mean "similar", I mean there really is an isomorphism. You can use map everything in one problem over to the other, and use the same mathematics to solve them. Here's a table showing the ways different things correspond: https://t.co/iqNvlkScfH

https://twitter.com/michael_nielsen/status/1202785958074019840

## ¶TODO Tweet from Juan Carlos ∞ (@PonceCampuzano), at Jan 8, 17:04

Studying or teaching Complex Analysis? This online book might be useful. ⭐️Complex Analysis: A Visual and Interactive Introduction⭐️ Thanks everyone for your suggestions and reporting issues to improve this project. https://t.co/ElaWs4XjIV

https://twitter.com/PonceCampuzano/status/1214850688506716160

## ¶ Path Integral Salesman on Twitter: "If you want to study physics but your life just does not permit you the time or energy to do maths rigorously (or, at least, however rigorously we physicists do maths), check out these 3 friendly texts: https://t.co/G62SmoXuPc https://t.co/uFCqVj4Exs https://t.co/1QhwJVOKBI https://t.co/ZWhDtvFyju" / Twitter

https://twitter.com/litgenstein/status/1210643695046811648

Path Integral Salesman @litgenstein If you want to study physics but your life just does not permit you the time or energy to do maths rigorously (or, at least, however rigorously we physicists do maths), check out these 3 friendly texts:

## ¶TODO vacuum

## ¶ mathematical_{offering.pdf}

chrome-extension://gfbliohnnapiefjpjlpjnehglfpaknnc/pages/pdf_{viewer.html}?r=https://musicaeadoracao.com.br/recursos/arquivos/tecnicos/matematica/mathematical_offering.pdf

## ¶ notes10.pdf

http://www.math.columbia.edu/~woit/notes10.pdf

topics in repr theory woit

## ¶ Klein–Gordon equation - Wikipedia

https://en.wikipedia.org/wiki/Klein%E2%80%93Gordon_equation

Any solution of the free Dirac equation is, component-wise, a solution of the free Klein–Gordon equation.

## ¶ Schrödinger field - Wikipedia

## ¶Tweet from @johncarlosbaez

https://twitter.com/johncarlosbaez/status/1231259529666420737

@johncarlosbaez: When you remove an electron from a quantum wire, the resulting defect can split into a "spinon" that acts like a particle with spin but no electric charge, and a "holon" that acts like a particle with no spin but positive charge! This is called "spin-charge separation".

## ¶Tweet from @johncarlosbaez

https://twitter.com/johncarlosbaez/status/1231263103502802944

@johncarlosbaez: In 3 dimensions, an electron in a suitable solid medium can effectively split into *three* parts: a "spinon" carrying its spin, a "chargon" carrying its charge, and a "orbiton" carrying the information about which orbital

## ¶Tweet from @litgenstein

https://twitter.com/litgenstein/status/1232891521109676033

@litgenstein: The jets are themselves reconstructed using recombination schemes which tell you what the properties of the jets are given the observed constituents of the jets. Perhaps it will surprise you that Voronoi diagrams find a use here too: pic.twitter.com/4NSVTE…

## ¶ reference request - Atlas-like websites on specific areas of mathematics - MathOverflow

## ¶ Phil Lynch on Twitter: "My copy of the Bible finally arrived https://t.co/8XomO2d887" / Twitter

https://twitter.com/PhilipLynchGW/status/1236343035220365312

My copy of the Bible finally arrived

wheeler gravitation

## ¶ On the shoulders of the giants | Hacker News

https://news.ycombinator.com/item?id=22515743

I’ll second designing data intensive applications as one of the most interesting, readable, and relevant technical books I’ve ever read.

## ¶Tweet from @johncarlosbaez

https://twitter.com/johncarlosbaez/status/1236359942619070464

@johncarlosbaez: Also, everything is wiggling around, not fixed. So it's hard to visualize what a proton does in water. But it's important, because this governs how acids behave. Water is amazingly tricky stuff! For much more, read my blog article:

## ¶ John Carlos Baez on Twitter: "@seanmcarroll The CRC Handbook of Chemistry and Physics. Imagine how much work it took to collect all that knowledge…" / Twitter

https://twitter.com/johncarlosbaez/status/1240670369775665153

The CRC Handbook of Chemistry and Physics. Imagine how much work it took to collect all that knowledge...

## ¶DONE [A] John Baez on Research Tactics - Machine Intelligence Research Institute researchlearning

## ¶DONE [B] How I learn and practice music with anki /r/Anki musicspacedrep

### ¶ ok, interesting, he basically learns systematically fingering, chords etc musicspacedrep

## ¶DONE [B] The Frustrating Success of Our Best Theory of Physics – The Third Triumvirate relativityphysics

https://thirdtriumvirate.wordpress.com/2019/02/13/the-frustrating-success-of-the-standard-model/

fucking hell, really awesome explanation for standard model.. read it again!

### ¶ very intuitive explanations how to get physical fields from symmetry justification; and rationale for Higgs field relativityphysics

## ¶DONE [C] https://vk.com/wall-9471321_26902 Фундаментально ли время во Вселенной

- State "START" from "TODO"

### ¶ В 2013 году команда исследователей из Италии экспериментально продемонстрировала этот феномен. Подводя итоги своей работы, ученые сообщали: «Мы показываем, как статическое запутанное состояние двух фотонов можно рассматривать в качестве развивающегося с точки зрения наблюдателя, использующего один из двух фотонов как часы — для оценки временного развития другого фотона. Однако сторонний наблюдатель может показать, что глобально запутанное состояние не развивается».

## ¶ The fundamental Group of the Torus is abelian - YouTube

The fundamental Group of the Torus is abelian

video 'proof'

## ¶ Two-state quantum system - Wikipedia

The two-state system cannot be used as a description of absorption or decay, because such processes require coupling to a continuum. Such processes would involve exponential decay of the amplitudes, but the solutions of the two-state system are oscillatory.

## ¶ Twostates_{03.tex} - Twostates_{03.pdf} quantumstudy

good summary of two state systems

- energy can be chosen arbitrarily such that eigenvalues are +- eps
- pauli matrices are basis for the observables (!)
- I guess mixing of basis states only happens if they have complex amplitudes? otherwise both just rotate?
- right, so during the state evolution, hilbert state (all of it?) simply rotates https://www.youtube.com/watch?v=x-M-a-Gm9u8

### ¶ The Feynman Lectures on Physics Vol. III Ch. 8: The Hamiltonian Matrix quantumstudy

Now the interesting thing is that if the molecule is known to be in some state at some instant, it will not be in the same state a little while later.

## ¶ The Feynman Lectures on Physics Vol. III Ch. 9: The Ammonia Maser

Note that each of the Eqs. (9.8) and (9.9) look just like what we had in Section 8–6 for the equation of a one-state system. They have a simple exponential time dependence corresponding to a single energy. As time goes on, the amplitudes to be in each state act independently.

right, ok, even though it 'seems' that the basis state doesn't change because it 'merely' changes the phase, in some other basis you'd see basis states rotating

so it's not any less important effect

## ¶ Тензор энергии-импульса

Подматрица 3 x 3 из чисто пространственных компонент T^{ik} \ = \ \left( \begin{matrix} T^{11} & T^{12} & T^{13} \\ T^{21} & T^{22} & T^{23} \\ T^{31} & T^{32} & T^{33} \end{matrix} \right) есть 3-мерный тензор плотности потока импульса, или тензор напряжений со знаком минус. В механике жидкости диагональные её компоненты соответствуют давлению, а прочие составляющие — тангенциальным усилиям (напряжениям или в старой терминологии — натяжениям), вызванным вязкостью. Для жидкости в покое тензор энергии-импульса сводится к диагональной матрице ~{\rm{diag}}({{\rho}c^2},~p,~p,~p), где ~{\rho} есть плотность массы, а ~p — гидростатическое давление.

## ¶TODO [D] NATO phonetic alphabet - Wikipedia https://en.m.wikipedia.org/wiki/NATO_phonetic_alphabet study

## ¶TODO [C] symplectic.ipynb symplectictostudy

## ¶TODO [C] Tweet from @gravity_{levity}

https://twitter.com/gravity_levity/status/1339271605852246022

@gravity_levity: Here's something else weird about copper. Electrons in its interior are flying around at (literally) a million miles per hour. If you take a census of their momentum, you'll find that all the values sit neatly inside a geometric surface ("Fermi surface") that looks like this: pic.twitter.com/44CCA2...

## ¶TODO [C] Tweet from @nplusodin

https://twitter.com/nplusodin/status/1351837811834580992

@nplusodin: Немецкие физики впервые обнаружили кристаллы Паули, возникающие за счет неразличимости фермионов. Мы уже писали об этом открытии, а теперь статья о нем была опубликована в Physical Review Letters

## ¶TODO [C] Tweet from @Dereklowe

https://twitter.com/Dereklowe/status/1348692521040359424

@Dereklowe: Here's a more detailed look at the mRNA vaccines - their mode of action and how they're delivered. The emphasis is on the years (decades) of research in a variety of fields that was fortunately ready to be deployed this year:

## ¶---------------------------------------

processing on

## ¶TODO [C] Tweet from @mekarpeles chinese

https://twitter.com/mekarpeles/status/1338041556763254784

@mekarpeles: For any TOTAL CHINESE BEGINNERS who are finding it challenging to find Chinese learning materials, here's a thread of resources I wish I knew about sooner. twitter.com/mekarpeles/status/...

## ¶TODO [C] Metamorphisms | Bartosz Milewski's Programming Cafe https://bartoszmilewski.com/2019/01/03/metamorphisms/

## ¶TODO [C] Tweet from Nick Sharp (@nmwsharp), at Jul 24, 13:25

Check out the fast-forward preview for our SIGGRAPH 2019 paper "The Vector Heat Method"! We found a way to parallel transport vector fields with heat flow, and it opens up awesome applications. Talk is Wed July 31 at 11:30 in Room 153. With @yousufmsoliman and @keenanisalive. https://t.co/jXiP4zxqjt

## ¶----------------------------------------------

## ¶TODO [C] Syllabus for Classics of Computer Science tostudyhci

## ¶TODO [D] kitspace/awesome-electronics: A curated list of awesome resources for electronic engineers and hobbyists https://github.com/kitspace/awesome-electronics

## ¶TODO [D] Maldacena: The symmetry and simplicity of thelaws of physics and the Higgs boson https://arxiv.org/pdf/1410.6753.pdf

## ¶[D] A visual introduction to machine learning http://www.r2d3.us/visual-intro-to-machine-learning-part-1/ ml

## ¶TODO [C] Shtetl-Optimized » Blog Archive » The Busy Beaver Frontier toread

an 18-page survey article about the Busy Beaver function: the staggeringly quickly-growing function that probably encodes a huge portion of all interesting mathematical truth in its first hundred values, if only we could know those values or exploit them if we did.

## ¶TODO [C] Can We Understand The Standard Model? | Azimuth towatchtoread

## ¶TODO [C] Mathematics in the 21st Century | Azimuth towatch

## ¶TODO [C] Black Dwarf Supernovae | Azimuth

## ¶STRT [D] Tweet from Patrick Collison (@patrickc), at Nov 17, 23:15 environment

Partly inspired by @albrgr's tweets, I dug a little more into recent findings on the relationship between air pollution and cognition. The effects seem rather amazingly large: https://t.co/gC24nfXLuC.

### ¶ dunno, interesting but not sure if there is anything actionable. buy pollution meter? environment

## ¶TODO [D] Tweet from Valentin Fadeev (@ValFadeev), at Sep 26, 09:03

I don't mean to re-ignite a flame war but, in a way, writing \int dx f(x) is like writing r=ix+jy+kz. What follows \int is a differential form, and dx is a basis 1-form. That said... I still find myself using that syntax in repeated integrals. https://t.co/OvKF6axJHT