Ciro Santilli @cirosantilli 40

Original playlist name: "PHYSICS 68 ADVANCED MECHANICS: LAGRANGIAN MECHANICS"

Author: Michel van Biezen.

High school classical mechanics material, no mention of the key continuous symmetry part.

But does have a few classic pendulum/pulley/spring worked out examples that would be really wise to get under your belt first.

GPU accelerated, simulates the Craig's minimized M. genitalium, JCVI-syn3A at a particle basis of some kind.

Lab head is the cutest-looking lady ever: chemistry.illinois.edu/zan, Zaida (Zan) Luthey-Schulten.

Published as "Fine Structure of the Hydrogen Atom by a Microwave Method" by Willis Lamb and Robert Retherford (1947) on Physical Review. This one actually has open accesses as of 2021, miracle! journals.aps.org/pr/pdf/10.1103/PhysRev.72.241

Microwave technology was developed in World War II for radar, notably at the MIT Radiation Laboratory. Before that, people were using much higher frequencies such as the visible spectrum. But to detect small energy differences, you need to look into longer wavelengths.

This experiment was fundamental to the development of quantum electrodynamics. As mentioned at Genius: Richard Feynman and Modern Physics by James Gleick (1994) chapter "Shrinking the infinities", before the experiment, people already knew that trying to add electromagnetism to the Dirac equation led to infinities using previous methods, and something needed to change urgently. However for the first time now the theorists had one precise number to try and hack their formulas to reach, not just a philosophical debate about infinities, and this led to major breakthroughs. The same book also describes the experiment briefly as:

It is two pages and a half long.

They were at Columbia University in the Columbia Radiation Laboratory. Robert was Willis' graduate student.

Previous less experiments had already hinted at this effect, but they were too imprecise to be sure.

What makes lasers so special: Lasers vs other light sources.

Bibliography:

An Introduction to Tensors and Group Theory for Physicists by Nadir Jeevanjee (2011) shows that this is a tensor that represents the volume of a parallelepiped.

It takes as input three vectors, and outputs one real number, the volume. And it is linear on each vector. This perfectly satisfied the definition of a tensor of order (3,0).

Given a basis $(e_i,e_j,e_k)$ and a function that return the volume of a parallelepiped given by three vectors $V(v_1,v_2,v_3)$, ${\epsilon }_{ikj}=V(e_i,e_j,e_k)$.

Publicly released documents from the Los Alamos National Laboratory are marked with this identifier. This is for example the case of each video on ther YouTube channel: www.youtube.com/@LosAlamosNationalLab. E.g. Video "Historic, unique Manhattan Project footage from Los Alamos by Los Alamos National Lab" is marked with "LA-UR 11-4449".

www.osti.gov/biblio/1372821 contains "How to Get an LA-UR: Using RASSTI to Release Your Work" which is of interest: permalink.lanl.gov/object/tr?what=info:lanl-repo/lareport/LA-UR-17-26023. That document documents the acronym's expansion, plus it leaks some internal-only URLs such as lasearch.lanl.gov/oppie/service.

TODO is there somewhere you can search for the document for a given identifier? Some PDFs are listed at: sgp.fas.org/othergov/doe/lanl/index2b.html

Founded partly due to the influence of Edward Teller who thought Los Alamos National Laboratory was not making good progress on thermonuclear weapons, large part of which was developed there.

When Ciro Santilli was studying electronics at the University of São Paulo, the courses, which were heavily inspired from the USA 50's were obsessed by this one! Thinking about it, it is kind of a cool thing though.

That Wikipedia page is the epitome of Wikipedia failure to explain things in a way that is of any interest to any learner. Video 1. "Tutorial on LC resonant circuits by w2aew (2012)" is the opposite.

Source code:

The way Lean and Coq mix programming and mathematics is a thing of great beauty. This is especially notable in lean as you start to play with with things such as:

They are huge fans of Unicode characters! Check this out from a formal proof of the prime number theorem: github.com/AlexKontorovich/PrimeNumberTheoremAnd/blob/fbdbb5310d036d33b9797b35f3b04b08f2447a6e/PrimeNumberTheoremAnd/ZetaBounds.lean Here's map to Ascii: proofassistants.stackexchange.com/questions/954/does-lean-have-a-standard-ascii-representation/5289#5289

Their dependency graph thingy is just beautiful however: alexkontorovich.github.io/PrimeNumberTheoremAnd/web/dep_graph_document.html

Their 2025 current installation method is bullshit, recommends VS Code extension on Ubuntu. Lol.

From CLI:Then when you run:it downloads the lean executable for you. Insane shit, could only come from a Microsoft mindset.

Founder: Peter Armstrong

The general idea is publishing entire books with usual copyright, but with gradual updates.

ruboss.com/ documents their stack, a somewhat similar choice to OurBigBook.com as of 2021, notably Next.js. But backend in Ruby on Rails. They actually managed Apollo/GraphQL, which Ciro Santilli would have liked, but din't have the patience for.

The founder/CEO Peter Armstrong www.linkedin.com/in/peterburtonarmstrong/ He looks like a nice guy.

A more specific type of E-learning website generally run by a specific organization.

A website, usually hosted by an university, that takes what is done in class, and pastes it online. It is already much more rational and efficient, and opens up the way for potential sharing outside of the institution (or by default paywalling as the University of Oxford did.

The fundametnal problem with VLEs is that they tend to not have enough incentives for students to contribute at all to the content. This is basically the major motivation behind OurBigBook.com.

$L^p$ is:

And then this is why quantum mechanics basically lives in $L^2$: not being complete makes no sense physically, it would mean that you can get closer and closer to states that don't exist!

TODO intuition

4 K. Enough for to make "low temperature superconductors" like regular metals superconducting, e.g. the superconducting temperature of aluminum if 1.2 K.

Contrast with liquid nitrogen, which is much cheaper but only goes to 77K.

Advantages over Riemann:

Show up when solving the Laplace's equation on spherical coordinates by separation of variables, which leads to the differential equation shown at: en.wikipedia.org/w/index.php?title=Legendre_polynomials&oldid=1018881414#Definition_via_differential_equation.

This is how you transform the Lagrangian into the Hamiltonian.

Suppose that a rod has is length $L$ measured on a rest frame $S$ (or maybe even better: two identical rulers were manufactured, and one is taken on a spaceship, a bit like the twin paradox).

Question: what is the length $L^{\prime }$ than an observer in frame $S^{\prime }$ moving relative to $S$ as speed $v$ observe the rod to be?

The key idea is that there are two events to consider in each frame, which we call 1 and 2:Note that what you visually observe on a photograph is a different measurement to the more precise/easy to calculate two event measurement. On a photograph, it seems you might not even see the contraction in some cases as mentioned at en.wikipedia.org/wiki/Terrell_rotation

Measuring a length means to measure the $x_2-x_1$ difference for a single point in time in your frame ($t2=t1$).

So what we want to obtain is $x_2^{\prime }-x_1^{\prime }$ for any given time $t^{\prime }2=t^{\prime }1$.

In summary, we have:

By plugging those values into the Lorentz transformation, we can eliminate $t_{2}and{t}_1$, and conclude that for any $t_2^{\prime }=t_1^{\prime }$, the length contraction relation holds:

The key question that needs intuitive clarification then is: but how can this be symmetric? How can both observers see each other's rulers shrink?

And the key answer is: because to the second observer, the measurements made by the first observer are not simultaneous. Notably, the two measurement events are obviously spacelike-separated events by looking at the light cone, and therefore can be measured even in different orders by different observers.