egg's Avatar

egg

@eggular.bsky.social

the sea advances insensibly in silence, nothing seems to happen, nothing moves, the water is so far off you hardly hear it.. yet it finally surrounds the resistant substance.

174 Followers  |  91 Following  |  153 Posts  |  Joined: 04.07.2023  |  2.2937

Latest posts by eggular.bsky.social on Bluesky

everything is about the tensor product except the tensor product, which is about power

03.11.2025 01:03 โ€” ๐Ÿ‘ 19    ๐Ÿ” 3    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

indeed!!

23.11.2025 00:11 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

I wish I could have met Oded Schramm

22.11.2025 22:04 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
3-strand braid Markov trace

3-strand braid Markov trace

5-strand braid Markov trace

5-strand braid Markov trace

another 5-strand braid Markov trace

another 5-strand braid Markov trace

15-strand braid Markov trace

15-strand braid Markov trace

Some links generated by taking the Markov trace of random words in the braid group ๐Ÿงฎ

18.11.2025 00:13 โ€” ๐Ÿ‘ 36    ๐Ÿ” 5    ๐Ÿ’ฌ 5    ๐Ÿ“Œ 1

woah. a must-click

18.11.2025 00:34 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

one of the things I've never liked about algebraic topology is how much one you seem to compute hard crunchy things (e.g. homology groups) by drawing loopy pictures. in probability it feels like you tend to understand what's visually going on with hard syntactic calculation, which I much prefer

15.11.2025 18:36 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

reading this paper on the Poisson zoo and I love my field so much. I love thinking about lattice animals and random walks and factor of iid processes. I love probability, the tools, the language, the objects studied and how we study them

15.11.2025 18:36 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

I love this, I also think of nilpotents as "thick" points

14.11.2025 22:33 โ€” ๐Ÿ‘ 5    ๐Ÿ” 0    ๐Ÿ’ฌ 3    ๐Ÿ“Œ 0
Post image

Uh huh

14.11.2025 19:37 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Wikipedia article called "Cabal (set theory)". The main text reads, The Cabal was, or perhaps is, a set of set theorists in Southern California, particularly at UCLA and Caltech, but also at UC Irvine. Organization and procedures range from informal to nonexistent, so it is difficult to say whether it still exists or exactly who has been a member, but it has included such notable figures as Donald A. Martin, Yiannis N. Moschovakis, John R. Steel, and Alexander S. Kechris. Others who have published in the proceedings of the Cabal seminar include Robert M. Solovay, W. Hugh Woodin, Matthew Foreman, and Steve Jackson.

The work of the group is characterized by free use of large cardinal axioms, and research into the descriptive set theoretic behavior of sets of reals if such assumptions hold.

Some of the philosophical views of the Cabal seminar were described in Maddy 1988a and Maddy 1988b.

Wikipedia article called "Cabal (set theory)". The main text reads, The Cabal was, or perhaps is, a set of set theorists in Southern California, particularly at UCLA and Caltech, but also at UC Irvine. Organization and procedures range from informal to nonexistent, so it is difficult to say whether it still exists or exactly who has been a member, but it has included such notable figures as Donald A. Martin, Yiannis N. Moschovakis, John R. Steel, and Alexander S. Kechris. Others who have published in the proceedings of the Cabal seminar include Robert M. Solovay, W. Hugh Woodin, Matthew Foreman, and Steve Jackson. The work of the group is characterized by free use of large cardinal axioms, and research into the descriptive set theoretic behavior of sets of reals if such assumptions hold. Some of the philosophical views of the Cabal seminar were described in Maddy 1988a and Maddy 1988b.

๐Ÿ‘€

14.11.2025 00:52 โ€” ๐Ÿ‘ 4    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

yeah seems like a wildly bad heuristic, especially when the "good at math" level here is pre-k math...

11.11.2025 23:22 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Summaring the problems in every maths department.

11.11.2025 21:26 โ€” ๐Ÿ‘ 17    ๐Ÿ” 3    ๐Ÿ’ฌ 4    ๐Ÿ“Œ 0

"semi-mature" is really pushing it

11.11.2025 18:54 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Okay this is embarrasing but I as a semi-mature probabilist only recently realized that the event {S_n = 0 infinitely often} is not in the tail sigma algebra (where S_n denotes a simple random walk, idk S_n = X_1 + ... + X_n for X_i iid centred e.g.). It is still in the exchangeable algebra though!

11.11.2025 18:54 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

ME TOO it's so satisfying

11.11.2025 18:53 โ€” ๐Ÿ‘ 1    ๐Ÿ” 1    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

This is a real sign from a real deli near the Wesleyan math department, and they put it up because the mathematicians were too engrossed in their mathematics discussions to efficiently order sandwiches. www.cbc.ca/radio/asitha...

29.10.2025 20:21 โ€” ๐Ÿ‘ 37    ๐Ÿ” 11    ๐Ÿ’ฌ 3    ๐Ÿ“Œ 0

I can't tell if I love or hate the terminology of going up and going down. On the one hand, extremely transparent name for a property. On the other hand, asking "Does this ring hom satisfy going up?" sounds mildly ungrammatical to me

10.11.2025 21:29 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
image of Alexander Horned Sphere. made by Ryan Dahl, Creative Commons license

image of Alexander Horned Sphere. made by Ryan Dahl, Creative Commons license

local lovecraftian horror the alexander horned sphere asking "please sir, I want some more". would you deny him?

10.11.2025 18:42 โ€” ๐Ÿ‘ 13    ๐Ÿ” 5    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

I would rather whip cream by hand and give myself carpal tunnel (speaking from experience) than buy cool whip

10.11.2025 01:07 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

I guess for us, the prototypical graphs are like Z^d, complete graphs on n vertices, or maybe a k-regular trees, perhaps the most boring graphs possible from a graph-theoretic perspective!

10.11.2025 00:28 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

oh I very much feel this, as a probabilist I don't have the same conception of graphs that a finite graph theorist does at all, clearly. the most I would really think about is if a graph is bipartite. there's some intersection certainly, but I'm never thinking about like, Ramsey numbers

10.11.2025 00:18 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

(he was thinking about d-dimensional hyperbolic space or something if I recall correctly and there's some relevant algebra there)

09.11.2025 23:17 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

definitely feel this as a probabilist. was talking with one of the best percolation theorists in the world and he told me about a proud moment at a conference recently where he wrote down a short exact sequence for the first time. lol

09.11.2025 23:17 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

i'm waiting for my poisson clock. i'm going to infect you at rate 1. you will not evade me

09.11.2025 23:14 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

two years of having Stein's method explained to me and I still can't remember it

09.11.2025 23:10 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

sensational energy here

17.10.2025 09:21 โ€” ๐Ÿ‘ 52    ๐Ÿ” 7    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

give me an example! this is really interesting to me

09.11.2025 23:08 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

it's crazy to me that I have a master's and I still am basically at strong undergrad level of good at math. like I was a strong undergrad and I feel like I never transcended it

08.11.2025 02:10 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

it's actually insane to me how much good control we get over (some of these) models in this class, down to exact cumulative probability functions of the positions of multi-point particle systems at arbitrary times. and it comes from the richness of the algebra \lambda of symmetric functions etc.

07.11.2025 22:56 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

out-of-left-field answer but Young tableaux and representation theory of S_n is one of the reasons why we have exact understanding of certain probabilistic models in the KPZ universality class, like e.g. TASEP. see arxiv.org/pdf/1212.3351

07.11.2025 22:56 โ€” ๐Ÿ‘ 4    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

@eggular is following 20 prominent accounts