@vacuumbubbles@mathstodon.xyz
@vacuumbubbles@mathstodon.xyz avatar

vacuumbubbles

@vacuumbubbles@mathstodon.xyz

Theoretical physics MSc student from Heidelberg, Europe, interested in general relativity, quantum field theory (gauge theories and quantum gravity in particular), statistical physics, geometric algebra, spinors and spaceflight. Feel free to ask me if you don't understand something I post :)

My non-physics things: #HardSF, #ScienceFantasy, #Bayeseanism, #Transhumanism

This profile is from a federated server and may be incomplete. Browse more on the original instance.

vacuumbubbles, to random
@vacuumbubbles@mathstodon.xyz avatar

It's interesting how expressive Feynman diagram notation can get if you just think of them as tensor contractions instead of particles bouncing all around the place.

Or in other words, I'd like to enter the "unhinged notation" contest please

image/png
image/png
image/png

vacuumbubbles,
@vacuumbubbles@mathstodon.xyz avatar

@johncarlosbaez That looks amazing, I'll have a look at it

vacuumbubbles, to random
@vacuumbubbles@mathstodon.xyz avatar

Right now I'm having the problem that I vaguely remember a (seemingly) useful equation, but can't find the reference. Now I'm questioning whether I actually saw this equation in reality or if it was just a nonsensical dream. Does anyone else here have this problem?

shadeow, to mathematics French
@shadeow@piaille.fr avatar

Alors la les matheux j'ai besoin de vous. Je suis tombé la dessus et je suis bouche bée 👀

vacuumbubbles,
@vacuumbubbles@mathstodon.xyz avatar

@shadeow @SvenGeier chaque nombre naturel a une decomposition en factors premiers, alors on peut utiliser celle de 36 pour trouver toutes les possibilités pour les âges (j'assume que l'âge est un nombre naturel):

36 = 2 * 2 * 3 * 3

maintenant il faut partitionner cette expression en trois pour obtenir toutes les distributions possibles - mais il faut que nous nous rappellons que l'âge peut être 1 et donc ne contenir aucun facteur premier:
(2 * 2 * 3 * 3) * 1 * 1 = 36 * 1 * 1
(2 * 2 * 3) * 3 * 1 = 12 * 3 * 1
(2 * 3 * 3) * 2 * 1 = 18 * 2 * 1
(2 * 2) * (3 * 3) * 1 = 4 * 9 * 1
(2 * 2) * 3 * 3 = 4 * 3 * 3
(2 * 3) * (2 * 3) * 1 = 6 * 6 * 1
(2 * 3) * 2 * 3 = 6 * 2 * 3
(3 * 3) * 2 * 2 = 9 * 2 * 2

Si on assume que c'est bien une mariage monogame on peut realistiquement excluer toutes les distributions avec deux enfants qui ont le même âge. Il nous reste
(12, 3, 1), (18, 2, 1), (9, 4, 1), (6, 2, 3)

mais à partir d'ici j'admets que je n'ai aucune idée.

vacuumbubbles,
@vacuumbubbles@mathstodon.xyz avatar

@SvenGeier @shadeow ah yeah good point, did't think of the twin possibility

vacuumbubbles, to random
@vacuumbubbles@mathstodon.xyz avatar

Geometric algebra can be represented by matrix representations. For instance, the geometric algebra of space Cl(3) can be represented by the Pauli matrix algebra, and the complex spacetime algebra Cl(1, 3, C) can be represented by the Dirac gamma matrix algebra. This way, every multivector is represented by a matrix.

Spinors are then defined as the "vectors" belonging to these matrices. They transform under the action of the matrices representing rotors.

Viewed this way, it makes more sense to think of matrix representations of geometric algebras as "spinor bases". If we choose a basis for spinors, we choose a matrix representation too, similar to how choosing basis states in QM also determines the "basis matrices" for matrix operators.

vacuumbubbles,
@vacuumbubbles@mathstodon.xyz avatar

@johncarlosbaez Whew, I just took a look into it, and it's very mathematical. Stuff like that always reminds me of the difference between theoretical physics and mathematical physics.

johncarlosbaez, (edited ) to random
@johncarlosbaez@mathstodon.xyz avatar

So you wake up one day wanting to invent a 2-dimensional number system. This requires a new number 𝑖 that's at right angles to 1. So you figure multiplying by 𝑖 must rotate numbers by 90°. So multiplying by 𝑖² rotates by 180°, so

𝑖² = -1

Cool!

Then you notice something else. The derivative of a function in the 𝑦 direction must be 𝑖 times its derivative in the 𝑥 direction, because the derivative is linear and you get the 𝑦 direction by rotating the 𝑥 direction by 90°: that is, multiplying it by 𝑖. So you get this equation:

[ \frac{\partial f}{\partial y} = i \frac{\partial f}{\partial x} ]

Cool!

Then you notice something else. If you use this equation twice you get

[ \frac{\partial^2 f}{\partial y^2} = i \frac{\partial f}{\partial x\partial y} = i^2 \frac{\partial^2 f}{\partial x^2} = - \frac{\partial^2 f}{\partial x^2} ]

so

[ \frac{\partial^2 f}{\partial x^2} + \frac{\partial^2 f}{\partial y^2} = 0 ]

Wow! Every function with a second derivative obeys the Laplace equation!

You decide this one is a keeper.

https://en.wikipedia.org/wiki/Cauchy%E2%80%93Riemann_equations

vacuumbubbles,
@vacuumbubbles@mathstodon.xyz avatar

@johncarlosbaez
Obligatory GA reformulation comment:

In GA, complex numbers are represented as even 2D multivectors
[ \psi = a + bI ]
where I is the 2D pseudoscalar. The requirement that a complex number field should be differentiable translates to:
[ \nabla \psi = 0 ]
where (\nabla) is the geometric derivative. Because the geometric product is associative, we can premultiply with another derivative and obtain:
[ \nabla^2 \psi = 0 ]
the Laplacian being equal to zero.

Fun fact: in GA, Maxwell's equations are just ( \nabla F = j ), or ( \nabla F = 0 ) in a vacuum. We can use the GA generalisation of Cauchy's integral formula to solve EM boundary problems too.

vacuumbubbles,
@vacuumbubbles@mathstodon.xyz avatar

@pschwahn @johncarlosbaez Almost - just like the geometric product is the sum of the interior and the exterior product, the geometric derivative (also called "vector derivative") is the sum of the interior and exterior derivative. For instance, the geometric derivative of a vector field is the sum of a scalar (the divergence) and a bivector (the curl).

So in differential forms language, it would be d +/- d, with the sign depending on the grade of the k-form you are acting on.

vacuumbubbles, to random
@vacuumbubbles@mathstodon.xyz avatar

I am explicitly not celebrating pi day. Here's why: https://hexnet.org/files/documents/tau-manifesto.pdf

vacuumbubbles, (edited )
@vacuumbubbles@mathstodon.xyz avatar

@johncarlosbaez Actually I think that makes sense.. Pi/Tau are commonly given as decimal fractions, which are big endian. So using MM.DD here is justified IMO. Note that I also hate the US date format - but consider that ISO 893 is YYYY-MM-DD too :)

ColinTheMathmo, (edited ) to random
@ColinTheMathmo@mathstodon.xyz avatar

[I'm not asking for advice ... please don't try to help me]

OK, so ...

Trying to assist to to things on the computer. These are things that they are absolutely capable of, and will (I believe) greatly enhance their quality of life.

Then Oh. My. God.

The misconceptions are f'n unbelievably. The way they think things work, the things they believe happen when they perform certain operations, it's just ... inconceivable.

I've started to unpick some of what's going on, and it's horrendous.

To start ...

vacuumbubbles,
@vacuumbubbles@mathstodon.xyz avatar

@ColinTheMathmo Not just elderly people. From personal experience, I can attest that ~70% of Generation Z has no idea what a file or a folder is. My generation might feel "more at home" in the digital world, but they effectively just consume whatever the tech corporations spoonfeed them. As soon as you try to explain basic concepts like directories, the networking stack, end-to-end encryption or the client-server model, the vast majority of them blank out.

johncarlosbaez, (edited ) to random
@johncarlosbaez@mathstodon.xyz avatar

The CEO of Exxon just said "we've waited too long" to tackle climate change. He blames "society" and "activists".

Yes, Exxon. Yes, Exxon. Yes, Exxon: the corporation that for decades has been spending millions to slow progress on climate change, despite its own research showing the problem was urgent.

He said:

"We've waited too long to open the aperture on the solution sets in terms of what we need, as a society, to start reducing emissions.... Frankly, society, and the activist — the dominant voice in this discussion — has tried to exclude the industry that has the most capacity and the highest potential for helping with some of the technologies."

What is this — some sort of dark, twisted joke?

The interview is here:

https://web.archive.org/web/20240228015207/https://fortune.com/2024/02/27/exxon-ceo-darren-woods-interview-pay-the-price-for-net-zero/

https://www.salon.com/2024/02/29/exxon-ceo-to-world-climate-isnt-our-fault-now-pay-the-price/

vacuumbubbles,
@vacuumbubbles@mathstodon.xyz avatar

@johncarlosbaez
"War is peace"

vacuumbubbles, to random
@vacuumbubbles@mathstodon.xyz avatar

Here's a calculation that surprised me: People talk about Heisenberg's uncertainty relation as if it was something that only shows up on QM scales. But let' say we have an electron Gaussian wave packet with a width of σₓ=1𝑚𝑚. The uncertainty in velocity will be:
σᵥ=σₚ/𝑚=ℏ/(𝑚σₓ)≈11𝑐𝑚/𝑠
That's something my primate brain can imagine quite easily

parismarx, to tech
@parismarx@mastodon.online avatar

I used to look at these kinds of statements as deceptive PR, but increasingly I see them more through the lens of faith.

The tech billionaires are true believers and don’t accept they’re misunderstanding things like intelligence because they believe themselves to be geniuses.

https://www.wired.co.uk/article/deepmind

#tech #ai #agi #deepmind

vacuumbubbles,
@vacuumbubbles@mathstodon.xyz avatar

@parismarx What's wrong with the statement "the brain is a computer"? As far as I understand, that's the current status of modern neuroscience.

vacuumbubbles, to random
@vacuumbubbles@mathstodon.xyz avatar

In the hard sci-fi Xeelee Sequence by Stephen Baxter (a theoretical physicist), the first intelligent alien species humanity encounters are the Squeem (/stʃiːm/). They are a hivemind species of symbiotic aquatic organisms utterly unlike anything humanity had imagined - for a start, they had no concept of integer numbers except as a very outlandish mathematical concept, a bit like spinors are a very outlandish concept to humans.

This got me thinking - is something like this plausible mathematically? I'd argue that it is. Mathematics is an axiomatic science - you postulate some axioms and derive stuff from them. In principle, you can postulate any axioms you want, but most of the time, you want to do something with the results from mathematics, so they should have some relation to your lived reality. For instance, humanity first developed geometry in Ancient Egypt to record land claims, and integer algebra to facilitate trade. More advanced concepts of mathematics emerged relatively slowly after that - negative numbers during the Han dynasty, calculus in Medieval Europe, etc, whenever they were needed. The concept of doing abstract mathematics with no practical use is relatively new.

Analogously, a symbiotic aquatic hivemind species probably would only have little use for 2D geometry and trading in our sense, and would instead be concerned with wave mechanics, real numbers, etc.. Only after Squeem and human physicists reach the Standard Model of particle physics, their mathematics would be expected to converge in some sense.

1/2

vacuumbubbles,
@vacuumbubbles@mathstodon.xyz avatar

Historically, humans have been completely taken aback by spinors and quantum entanglement - and the Squeem might be totally stumped by the concept of Fock (integer-number) particle states.

I think that this consideration has some very real practical significance for modern-day theoretical physics. We might be researching the realms of quantum gravity, but we are still essentially using the same math that's also used to build planes. (think derivatives, integrals, matrices, tensors, etc). Perhaps we should be more bold with introducing new mathematical concepts.

2/2

vacuumbubbles,
@vacuumbubbles@mathstodon.xyz avatar

@johncarlosbaez This might be tangential, but do know know good mathematical frameworks to describe the anticommutativity of spinors? The common concept of Grassmann numbers seems pretty ugly and ad-hoc to me.

vacuumbubbles,
@vacuumbubbles@mathstodon.xyz avatar

@johncarlosbaez Hm okay, so far I only knew the "physicist's way" of doing it (see for instance Peskin & Schroeder). It's basically just postulating the exterior algebra and differentiation and integration rules, and then post hoc justifying them by showing that they give the results they want. Do you have some good introductory resources on supermathematics?

vacuumbubbles,
@vacuumbubbles@mathstodon.xyz avatar

@gerenuk
My main gripe with Grassmann numbers so far are the ad-hoc Berezin differentiation and integration rules. It's also impossible that I just wasn't introduced to them properly, the only texts I read about them were Lancaster & Blundell and Peskin & Schroeder.

christianp, to random
@christianp@mathstodon.xyz avatar

Heard on a food podcast today: "they might not be infinite, but they're definitely uncountable!"

Should come with a content warning for mathematicians.

vacuumbubbles,
@vacuumbubbles@mathstodon.xyz avatar

@christianp
It took me some time to figure out what this was supposed to say in non-mathematical English

gregeganSF, to random
@gregeganSF@mathstodon.xyz avatar

Me: Of course I’m not stupid enough to deliberately pour bleach onto metal!

Also me: Leaves a bottle of bleach on the floor, and fails to notice that it’s sprung a minuscule leak until a nearby drain is coated in cupric chloride.

vacuumbubbles,
@vacuumbubbles@mathstodon.xyz avatar

@gregeganSF Do you know whether it was elementary copper or copper oxide reacting with the hypochlorite from the bleach? This might be a good way to DIY produce copper chloride en masse.

johncarlosbaez, (edited ) to random
@johncarlosbaez@mathstodon.xyz avatar

Camembert is an endangered species! It relies on a mold that had lost the ability to reproduce sexually... and now, thanks to inbreeding, this mold has also lost the ability to reproduce using spores. Roquefort is also in trouble, but for Camembert it's worse:

"The world over, this other symbol of French gastronomy is inoculated exclusively with one single strain of Penicillium camemberti, a white mutant that was selected for Brie cheeses in 1898 and Camemberts in 1902.

The problem is that ever since then the strain has been replicated by vegetative propagation only. Until the 1950s, Camemberts still had grey, green or in some cases orange-tinged moulds on their surface. But the industry was not fond of these colours, considering them unappealing, and staked everything on the albino strain of P. camemberti, which is completely white and moreover has a silky texture. This is how Camembert acquired its now-characteristic pure white rind.

Year after year, generation after generation, the albino strain of P. camemberti, which was already incapable of sexual reproduction, lost its ability to produce asexual spores. As a result it is now very difficult for the entire industry to obtain enough P. camemberti spores to inoculate their production of the famous Norman cheese.

Worse still, while the Roquefort PDO (Protected Designation of Origin) standard retains a degree of microbial biodiversity, the PDO specifications for Camembert require farmers and other producers to use P. camemberti exclusively."

What to do about it? Switch to eating American cheese, or Velveeta? Read on....

(1/2)

vacuumbubbles,
@vacuumbubbles@mathstodon.xyz avatar

@johncarlosbaez blinks eyes
Yeah I need more sleep

gregeganSF, to random
@gregeganSF@mathstodon.xyz avatar

TIL that “spinor” is pronounced “spin”+“or”, which makes perfect sense ... but either none of my physics lecturers used the word, or I forgot how they said it. When reading it in text for the last 4 decades, I’ve been mentally pronouncing it “spine”+“or”.

https://www.bbc.co.uk/programmes/m000fw0p

vacuumbubbles,
@vacuumbubbles@mathstodon.xyz avatar

@gregeganSF
My GA professor also pronounced it "spine-or", until I told him about this :D

ARBB, to random Portuguese

The Lorentz Group ( O(3,1) ), can, as usual, be neatly decomposed into four subgroups ( \mathfrak{L}(\cdot,\cdot) ) . The often considered decomposition is the one that conserves both parity and time direction, which the proper orthochronous subgroup ( \mathfrak{L}(\uparrow, +) ).

However, one can be interested in the subgroup of transforms that reverse the time direction, rarely called the "antichronous" group. (1/n)

vacuumbubbles,
@vacuumbubbles@mathstodon.xyz avatar

@ARBB In the sense of this article (which aligns with my personal POV on antiparticles), antiparticles simply are negative-frequency wavemodes. Viewed this way, antiparticles are a perfectly classical phenomenon. There's a caveat though, as alluded to by @johncarlosbaez :

Macroscopic fields (\phi(x), \ \ x = (t, x^i)) are always real (at least I can't think of any that are complex). When you take the Fourier transform of such a real field (\phi(x)), you will obtain a complex function ( \phi(p), \ \ p = (E, p^i) ) whose values are in general complex. The requirement that (\phi(x)) be real translates to
[ \phi(p) = \phi(-p)^\dagger ]
This way, the two wavemodes (p, -p) interfere with each other in a way that the resulting field is purely real. In other words: both particle and antiparticle modes exist, but their values are not independent variables. If a real field is excited, the antiparticle modes always have the exact same excitation as their antiparticle counterparts. This is what physicists mean by "particles are identical to antiparticles".

  • All
  • Subscribed
  • Moderated
  • Favorites
  • JUstTest
  • everett
  • magazineikmin
  • mdbf
  • thenastyranch
  • khanakhh
  • rosin
  • Youngstown
  • ethstaker
  • slotface
  • modclub
  • kavyap
  • DreamBathrooms
  • Durango
  • provamag3
  • ngwrru68w68
  • InstantRegret
  • tacticalgear
  • GTA5RPClips
  • cubers
  • normalnudes
  • osvaldo12
  • tester
  • anitta
  • cisconetworking
  • megavids
  • Leos
  • lostlight
  • All magazines