Jeromie Beasley

My new paper: When the Neutrinos Leave doi.org/10.5281/zenodo.23858… Is based of @Quasilocal Free-streaming neutrinos make it harder for primordial black holes to form paper (doi.org/10.5281/zenodo.23809…). I asked what sets how fast that effect fades as the neutrinos decouple. Short answer: not just when they leave, but how. 🧵 I ran Stephen McCormick's public simulation code on 5 cases outside his paper, changing one line, the decoupling exponent. Every prediction and kill line was written down and timestamped before the runs. Test A: a broad profile collapses about twice as late as a Gaussian (ε ≈ 7–9 vs ≈ 4) but keeps the same share of the neutrino effect or less. G = 0.181 and 0.045, against 0.190 and 0.063. Collapse time alone doesn't set the clock. Tests B–D: a steeper decoupling history, κ/H = (ε_dec/ε)^6, gives G = 0.648, 0.317 and 0.154 at ε_dec = 1, 2 and 3, against 0.683, 0.431 and ≈ 0.30 for the standard history. Same end point, less of the effect kept. 5/ What survived: the memory of the kept sector. One weight was fitted to McCormick's curve, then frozen. It predicted 0.663, 0.246 and 0.118; the runs gave 0.648, 0.317 and 0.154. All three are inside the 0.08 kill line set in advance. A history-blind rule fails at ε_dec = 3, by 0.146. Four other readings (linear first maximum, a sharp wall, escape fractions, diffusive escape) are reported as failed, with their numbers. Where the memory lives: two neutrino states with the same density, flux and stress but different finer angular structure. If that difference is set at or after decoupling, the later density, flux and stress differ by several %. Set earlier, it's erased. A fluid closure can't carry it. All the collision operator's non-normality sits on one link, density to flux: (1/8)‖[L,L*]‖² = κ²k²/3. The weight across the cut is the sound speed, k/√3. Lean 4 proves the identities, the counterexample and the verdict arithmetic, and CI is green. Limits, stated plainly: the memory form is a fitted shape, not a derived law. The rate-cap control ran at ε_dec = 2 only. Whether the angular memory moves the nonlinear threshold is untested. AI-assisted (Claude); the simulations are runs of McCormick's code. Lean and scripts: github.com/dicipler-pixel/ne… McCormick's code: doi.org/10.5281/zenodo.23808…

Twelve fifths against seven octaves miss by about 23.46 cents. Fifty-three fifths against thirty-one octaves miss by about 3.6. That leftover gap is Verse 2 of Fifty-three Steps. #Music @AtlasMemoriae:youtu.be/0_tLBz6RBlo

Just some inspiration for those in need.

Shout out to @Ebayednoob for helping me see how to make this finally happen, this is basically a visual of some of my ACC challenge methods as well as so much more enjoy and go follow another man with a plan.

Thanks @SAIRfoundation @Peter_SAIR and the Open Math Model. For letting me use your platform to reintroduce my work with AI Forever grateful! doi.org/10.5281/zenodo.23787… github.com/dicipler-pixel/no…

Look at the Collatz map through many eyes at once. My Compound Eye mixer scans every odd start from 3 to 250,000 and lets you bend the map to see what changes. Exact results stay apart from the projections: many eyes lighting up isn't a proof. atlas-memoriae.dicipler.work…

Where do we come from, and where do we go? It’s an age-old question. I don’t know the answer, but I keep seeing a few things come up over and over again. The main one is direction. From the way light moves and changes direction, to the flow of galaxies through the cosmic web, I keep wondering what guides the path—and what remains as things change. We keep finding more of the picture: the Great Attractor, Shapley, Vela, the Sloan Great Wall. Each time we look farther, there’s more to see. Does the story end when the differences fade, or could something carry forward into a new beginning? I don’t know. But I’m going to keep checking the lines. 🎵

Wow this is freaking awesome

Two great places for Lean 4 proofs, both open to AI-assisted work. Go check them out: Tau Ceti, a Lean library built on Mathlib: github.com/TauCetiProjectLea… Pool, a home for finished proofs: github.com/LeanPool/lean-poo… My own work: github.com/dicipler-pixel#Le…

doi.org/10.5281/zenodo.23351… DESCRIPTION Maps Don't Make the Sky is a song about my paper "Intrinsic Quantum Geometric Tensor on the Grassmannian and Spectral Lower Bounds on Dissipation" (IQGT). The idea in one line: the quantum geometric tensor is usually written in a chosen set of parameters, a map. IQGT defines it directly on the space of subspaces held by a spectral gap, before any map is chosen. Every parameter chart is just a pullback of it. The map draws a path; the geometry was already there. The video has three layers. The nature and space footage tells one story. The figures from the paper's interactive mixer tell the second. The equations from the paper tell the third. Every equation on screen is taken directly from the paper. What you will see: • The tensor itself: Q(A,B) = Tr(Π A†B), with Q = g − (i/2)Ω • Tangent vectors as off-diagonal blocks, and the Riesz–Kato spectral projector • Pullback to any parameter chart, and a Chern number that needs no metric • The sharp bound between curvature and metric, met exactly on complex lines • Folds versus closing gaps, and total internal reflection at a polar line • The gap as a speed limit, and friction on rotating projectors • Measured data from other groups' published experiments (a NIST condensate and a quantum heat engine), read through the paper • Three bodies on the shape sphere, and ring-laser gyroscope lock-in • Positive definiteness: a structural comparison with a light cone. The comparison is structural only; the intrinsic metric is never set equal to a spacetime metric. CHAPTERS 0:00 Opening 0:09 The intrinsic quantum geometric tensor 0:19 Three bodies on the shape sphere 0:29 Pullback and the spectral realization 0:45 One pair sum, many weights 0:55 Metric–curvature inequalities and the Chern number 1:12 Tangent vectors and the Riesz–Kato projector 1:31 Folds, and two ways the pullback degenerates 1:52 Total internal reflection 2:03 Narrowing gaps and the speed limit 2:18 Friction on projector rotations 2:28 Metric, curvature and the complex structure 2:44 The tip and the tail 2:57 Measured data: condensate and heat engine 3:09 Mixed states, permutations and the trace sector 3:30 Positive definiteness: a structural comparison 3:46 Ring-laser gyroscope lock-in 4:06 Pullback to a parameter chart 4:22 IQGT Paper, interactive mixer and more: atlas-memoriae.dicipler.work… Music: suno.com/@dicipler X: @d1c1pler Song, paper and direction by Jeromie Beasley. AI tools were used for computation, music generation and building the video; I directed the work. Footage: [CONFIRM SOURCES BEFORE POSTING: SpaceX launch, Starship and Starlink-view footage; ISS/Dragon footage; nature clips; AI-generated clips] Atlas Memoriae · Ex memoria lux, ex luce materia HASHTAGS #QuantumGeometry #Physics #MathMusic @X @SpaceX @elonmusk

Welcome to the future, you guys have no idea where I am going next, stay tuned and thanks for all the inspiration out there at @X this is what inspires us. This video not of mine like the creators vid is just a hint.

Coming soon this is still not finished let me know what parts you like or dont. The paper has been finished for a while now. doi.org/10.5281/zenodo.23351…

The longest proof in maths is now checked in Lean: 43.1M lines in 24 days, and the checker caught 34 places the published record didn't match. That's the point of a checker. My IQGT bundle is tiny next to it: 90 theorems, no sorry, plus 6 false controls that must fail. The proofs, the false controls and the check scripts: github.com/dicipler-pixel/iq…