Sign in

Gregor

@coexact.bsky.social
246 followers 476 following 1.9K posts

only made of atoms

PostsRepliesMedia
Gregor @coexact.bsky.social · 06/10/2026
you are preceded by the aptly-named Captain Sir Mansfield Smith-Cumming
010
Gregor @coexact.bsky.social · 30/08/2026
so we can't have a bare vertex like above coupling the two, it's not gauge-invariant. Instead we have a Yukawa coupling with the Higgs field, and once that gains a vev (in some fixed gauge), the picture looks like this: we use the nonzero 1-pt functions at each of the x's.
110
Gregor @coexact.bsky.social · 30/08/2026
let me try to explain. As everyone knows from kindergarten, a massless fermion comes with a definite chirality and a mass term for a fermion is a bilinear coupling between two such of opposite chiralities (a Majorana is the special case where they are each others antiparticle).
131
Gregor @coexact.bsky.social · 28/08/2026
Here is a mathematical definition, which is an idealization of that situation. It's from section 3 of arxiv.org/abs/2403.11973, which might be more to your taste.. The way this works for charge was considered in the original paper by Susskind & Aharonov where they introduced QRFs
010
Gregor @coexact.bsky.social · 23/07/2026
exciting new developments here
 [Submitted on 22 Jul 2026]
Real Quantum Field Theory, J-Quantization, and Standard Model
I. Aref'eva, I. Volovich

    We present a formulation of quantum field theory based entirely on real numbers, which we call real quantum field theory (RQFT). The construction is obtained from the standard complex-number formulation by replacing the imaginary unit i with a matrix J throughout all formulas. Here J is the real 2x2 matrix satisfying the condition J^2=-1.
020
Gregor @coexact.bsky.social · 21/07/2026
indeed equivalent (scispace.com/pdf/the-subs...)
120
Gregor @coexact.bsky.social · 30/06/2026
from my blog post ^^
110
Gregor @coexact.bsky.social · 17/06/2026
Clausen-Scholze laser eyes
081
Gregor @coexact.bsky.social · 01/06/2026
so here's one experiment..
010
Gregor @coexact.bsky.social · 31/05/2026
wait I was joking
140
Gregor @coexact.bsky.social · 27/05/2026
it does this without the prior questions also On desktop I also don't get the AI responses but I think I did disable or block them at some point
110
Gregor @coexact.bsky.social · 22/05/2026
interesting behavior when n is increased too much
140
Gregor @coexact.bsky.social · 19/05/2026
the site seems to be hiding your replies for some reason
100
Gregor @coexact.bsky.social · 11/05/2026
:^) you will want to look at this paper from the references then! arxiv.org/pdf/2007.00580
120
Gregor @coexact.bsky.social · 10/05/2026
bike selfie from yesterday
160
Gregor @coexact.bsky.social · 03/05/2026
a decomp like this can happen for other groups, it depends depends on the way the group acts
110
Gregor @coexact.bsky.social · 29/04/2026
essential browser extension
040
Gregor @coexact.bsky.social · 12/04/2026
I suspect there might be some difficulty in reaching him
120
Gregor @coexact.bsky.social · 05/04/2026
a big radio, a polaroid camera (still works) and.. a PSP?!
020
Gregor @coexact.bsky.social · 05/04/2026
these spinny iron things which we were usually not allowed to spin, out of consideration for the downstairs neighbors
120
Gregor @coexact.bsky.social · 05/04/2026
some kind of hefty metal gadget
110
Gregor @coexact.bsky.social · 05/04/2026
messed up the threading. These glass contraptions are a nifty way to make coffee, where you put water in the bottom and an open flame underneath. The water is pushed to the upper container and, upon removing the flame, sucked back down through the coffee grains by negative pressure
110
Gregor @coexact.bsky.social · 05/04/2026
the story I was told is this was gifted to my great-grandfather by one of his patients when he was a doctor during WW1. Mary has three hands here which is apparently common in serbian orthodoxy. There should be a full painting beneath but one is not supposed to open
120
Gregor @coexact.bsky.social · 05/04/2026
big geode. the can of peanuts contains shredded banknotes, part of a piece of art called Kleingeld (small change)
030
Gregor @coexact.bsky.social · 05/04/2026
a fuel pebble for a pebble-bed type nuclear reactor
231
Gregor @coexact.bsky.social · 05/04/2026
A TV set encased in lead and a stack of books with glass pages
174
Gregor @coexact.bsky.social · 05/04/2026
Brain Combing sounds like the most pleasant option here, but I could also go for a Void mechanism
031
Gregor @coexact.bsky.social · 05/04/2026
will have to use the spring to get back in shape
170
Gregor @coexact.bsky.social · 05/04/2026
this plant grows orbifolds (the conical thing)
calathea orbifolia, a plant with a conical leaf
061
Gregor @coexact.bsky.social · 24/03/2026
Well I believe that if I have Cauchy data on the purple slice not containing GWs, then I have a well-posed problem wherein me observing GWs at a later time depends on whether or not I choose to throw in my mass. I would say that means they haven't happened before horizon formation.
110
Gregor @coexact.bsky.social · 24/03/2026
so maybe there is an actual disagreement after all. Say I am at the green dot and throw something at the horizon. Clearly it can't collide with the collapsing matter prior to crossing the horizon. This is true even if the thing I threw in is a black hole itself or massive enough to cause GWs
100
Gregor @coexact.bsky.social · 24/03/2026
you have to admit she got your ass here
1140
Gregor @coexact.bsky.social · 21/03/2026
I suspect the answer is here, 15.25 in your linked pdf. For the lowest resonances, the space part should be all s-orbits, and for Δ the flavor factor is symmetric by itself as well. So spin must be also
110
Gregor @coexact.bsky.social · 15/03/2026
no but
One of the referees asked: “Why not also a short comment at least on the effect of a
surplus of 2, for instance?” Excellent idea! It turns out that if you toss a coin until the
number of heads first exceeds the number of tails by +2 rather than +1, then the expected
proportion of heads is ln 2 rather than π/4. Replacing +2 by a generic positive integer a
appears to give rise to expressions involving π when a is odd and ln 2 when a is even, but
we have not checked ChatGPT’s derivations and therefore regard its claims and formulas as
conjectural. We leave further investigation to others
270
Gregor @coexact.bsky.social · 11/03/2026
received a blessing—
arXiv bot (math-ph) liked your post
070
Gregor @coexact.bsky.social · 03/03/2026
inventing "ced" to annoy you
030
Gregor @coexact.bsky.social · 26/02/2026
Can anyone make a carpet with this pattern?
Adams spectral sequence
020
Gregor @coexact.bsky.social · 24/02/2026
Thanks, he is indeed more explicit about the compatibility of MWI here. He says he is fine with ψ-ontic and ψ-epistemic views.
220
Gregor @coexact.bsky.social · 22/02/2026
let the record show that I still have a face
190
Gregor @coexact.bsky.social · 17/02/2026
very nice, but I gotta point out: this diagram is not a braid group relation, you want all the crossings to have the same sign :p
100
Gregor @coexact.bsky.social · 13/02/2026
advice from Dirac for whoever needs it
It is a bottomless sea, but we do not have to worry about that. The picture of a bottomless sea is not so disturhing really . We just have to think of the situation near the surface,
0102
Gregor @coexact.bsky.social · 04/02/2026
me dropping 'I think' into every math/phys thing I say on here (I don't like the hedges but they're necessary in some form or other, one does want to communicate abt things one hasn't yet understood 100%—which includes every interesting thing—, and then one has to signal a rough level of confidence)
120
Gregor @coexact.bsky.social · 29/01/2026
the choice there—apart from spin^c, they mostly talk about spin^h which is G=SU(2) and again has a unique choice. Already in dim≤3 all manifolds are spin^c, in dim≤4 all orientable ones are, and for spin^h see here:
000
Gregor @coexact.bsky.social · 27/01/2026
yeah
120
Gregor @coexact.bsky.social · 27/01/2026
It was already in the blog post that the question links to!


One might instead be tempted to argue that the map V\otimes_{\mathbb{R}}V^*\to Hom(V,V) is surjective because it is an injective map between vector spaces of the same dimension (I’m not entirely sure how to prove it’s injective without picking a basis, but it might well be possible; however I do not know how to prove that the dimension of V\otimes W is the product of the dimensions of V and W without picking a basis :-/ ). Anyway, talking of dimensions, here is the other “basis-free” method I learnt to do these sorts of things: the canonical method to work out the determinant of an endomorphism without choosing a basis. If \phi:V\to V is a linear map, and if n is the dimension of V then \phi induces a linear map on top wedge powers \bigwedge^n(V)\to\bigwedge^n(V), and an endomorphism of a 1-dimensional space is canonically a number (proof: pick a basis :-/ and check it’s independent of the choice) which can be checked to be the determinant of \phi, and if you can do determinants then you can do char polys and hence traces.
120
Gregor @coexact.bsky.social · 22/01/2026
doing so was one of the primary motivations for Scholze&Clausen's condensed formalism! (to what extent that promise is fulfilled I can't really judge)
030
Gregor @coexact.bsky.social · 17/01/2026
also, bug report: clicking on comments expands beyond the screenspace for me, and there is no horizontal scrollbar. Possibly bc I have a sidebar open? But other sites seem to calculate screenspace correctly
110
Gregor @coexact.bsky.social · 09/01/2026
I'll just paste this from Witten's notes on entanglement in qft
We have arrived at the usual analytic behavior of a real time two-point correlation function in a
thermal ensemble: two-point functions with different operator ordering are opposite boundary values of
a single function that is holomorphic in a strip. We have found a strip of width 2πR, so the effective
temperature is 1/2πR.
A derivation that begins with the Euclidean correlation functions might be more transparent. Let
tE = it be the Euclidean time. A Euclidean version of eqn. (5.28) is
tE = R sin θ, x = R cos θ. (5.36)
This is the thermal circle that is related to the observations of the accelerated observer. Let xE =(tE
x
)
. In Euclidean space, one considers the correlation function 〈O(xE (θ))O†(xE (0))〉. A priori, a
Euclidean correlation function has no operator interpretation. To introduce an operator interpretation,
one picks a direction as Euclidean time and introduces a transfer matrix that propagates operators
in that direction. Then Euclidean correlation functions acquire an operator interpretation, with the
operators being ordered in the direction of increasing Euclidean time. For example, if tE is chosen as
the Euclidean time direction, then a general Euclidean two-point function is interpreted in the transfer
matrix formalism as
〈O(tE , x)O†(t′
E , x′)〉 =
{
〈Ω|O(tE , x)O†(t′
E , x′)|Ω〉 if tE ≥ t′
E
〈Ω|O†(t′
E , x′)O(tE , x)|Ω〉 if t′
E ≥ tE . (5.37)
As before, this is consistent because if tE = t′
E , the operator ordering does not matter. Given this, the op-
erator ordering in the operator interpretation of the Euclidean correlation function 〈O(xE (θ))O†(xE (0))〉
depends on the sign of tE = R sin θ, as in the above derivation. When we analytically continue
〈O(xE (θ))O†(xE (0))〉 from a function of θ to a function of τ = R(s + iθ), we get the two operator
orderings depending on the sign of sin θ, as above. This distinction remains in the limit θ → 0±, where
we recover the real time correlation functions with different operator orderings.
6 Algebras With a…
120
Gregor @coexact.bsky.social · 02/01/2026
nothing appropriate.
020
Gregor @coexact.bsky.social · 27/12/2025
020