Category Archives: Uncategorized

There’s a new paper out on the Formalization of QFT, purporting to formalize a QFT using Lean/Mathlib. I’ve been trying to avoid spending time on the hot topics of AI and theorem proving, but in this case there’s a lot … Continue reading →

I’ve been trying to understand (not entirely successfully yet…) Wick rotation using hyperfunctions, which are a sort of distributions not as well-known as they should be. Some notes about them are in a separate pdf. What is well-known is that … Continue reading →

If one tries to Wick rotate a quantum field theory with spinor fields, it’s well-known that problems arise, something first recognized in Schwinger’s earliest papers on the subject. I’ll try and outline here the 1972 proposal by Osterwalder and Schrader … Continue reading →

This is related to the Osterwalder-Schrader posting, but is much, much more elementary. I’ll write up some basic facts about the quantum harmonic oscillator and explain what bothers me about the relation to Osterwalder-Schrader. Every quantum mechanics course covers the … Continue reading →

Update: Sorry, but a commenter points out that this may just be an artifact of counting based on when most recently modified, not on original submission date. Numbers using original, not most recent, submission dates For 12/1 to 12/31 the … Continue reading →

I’ve been trying to write up some new ideas about Wick rotation for a long time now, keep getting stuck as it becomes clear at various points that I haven’t gotten to the bottom of what is going on. To … Continue reading →

Like millions of people, I couldn’t stop myself from spending a fair amount of time recently doing searches here, where one can read endless emails, texts, etc. showing in detail what Jeffrey Epstein was up to over many years. I … Continue reading →

For now, a math item and a physics item, maybe more later… Four years ago, after the decision to have the 2026 ICM in the US was announced, I wrote: With the 2022 experience in mind, hopefully the IMU will … Continue reading →

In recent years I’ve been struggling with depressive thoughts whenever I think about what’s been going on in the field of fundamental theoretical physics research. As an example of what I find depressing, today I learned that the Harvard Physics … Continue reading →