Joined July 2022
- Tweets 2,353
- Following 6
- Followers 30,374
- Likes 2,592
124 Photos and videos
Pinned Tweet
8 Sep 2022
NON-THEOREM ANNOUNCEMENT: As someone struggling with depression/isolation, one reason I opened this account is to get some sense of belonging with the math community. I would appreciate if you can refrain from "that is obvious duh", "you miss the point" type of comments. Thanks.
88
40
1,493
May 24
[Conder 2017]. There is a finite group G with a Sylow 5-subgroup P and g∈G–P such that every element of the coset Pg has order 5.
1
1
29
3,145
May 23
A finitely presented residually finite group has a decidable word problem.
19
2,129
May 21
The AI-bro "Plan accordingly" discourse is insufferable.
3
35
1,572
May 18
Given a finite group G, write P(G) for the commuting probability of G, that is, the ratio of commuting ordered pairs in G x G.
[Browning 2023]: Under the reverse ordering of rational numbers in [0,1], the set
{P(G) : G finite}
is well-ordered with order type ω^ω.
1
7
63
7,436
Some theorems retweeted
4 Feb 2024
[Kirby–Siebenmann]. TOP/PL = K(ℤ/2, 3).
10
70
13,370
Some theorems retweeted
7 Sep 2024
42 = (-80538738812075974)³ (80435758145817515)³ (12602123297335631)³
6
9
181
32,884
Some theorems retweeted
24 Sep 2024
[Antonyan–Dobrowolski 2015]. For a locally compact Hausdorff group G with a closed subgroup H, TFAE:
(1) G/H is locally contractible.
(2) G/H is a manifold.
19 Mar 2023
[Antonyan 2011]: For a compact Hausdorff group G with a closed subgroup H, TFAE:
(1) The coset space G/H is contractible.
(2) H = G.
10
73
8,121
Some theorems retweeted
Jan 31
ALT From the introduction of https://arxiv.org/abs/1902.04011v1
1
7
98
7,611
ALT Implications involved in Lam's treatment (specifically Theorem 4.10 in his noncommutative rings book) of the Hopkins–Levitzki theorem.
1
34
2,500
Some theorems retweeted
3 Feb 2024
[Bosboom–Demaine–Hesterberg–Lynch–Waingarten 2015]. It is PSPACE-hard to decide whether Player 1 has a forced win in a two-player Mario Kart race from given starting positions for the players.
2
38
212
21,473
Some theorems retweeted
18 Oct 2025
Every position of Rubik's cube can be solved in at most 20 half-turn moves. Moreover there are positions for which 19 moves is not enough.
5
21
193
17,384
Apr 27
[Bui–Heath-Brown 2013]. If RH holds, then at least 19/27 of the zeros of the Riemann zeta-function are simple.
2
10
90
7,499
Some theorems retweeted
11 Oct 2025
The upper bound is improved to 46 here:
arxiv.org/abs/2409.15709
16 Aug 2022
43 ≤ R(5,5) ≤ 48 .
1
15
209
20,975
Some theorems retweeted
1 Nov 2025
[Davis 1955]. Given a lattice (L, ≤), TFAE:
(1) Every monotone f:L→L has a fixed point.
(2) L is complete.
5
8
106
10,237
Apr 11
The product rule follows from the multivariate chain rule.
1
17
2,142
Mar 18
A triangle is called rational if it has rational side lengths.
[Hirakawa–Matsumura 2019]. Up to similitude, there exists a unique pair of a rational right triangle and a rational isosceles triangle which have the same perimeter and the same area.
1
2
60
4,563
Mar 18
The unique pair consists of the right triangle with sides of lengths (377, 135, 352) and the isosceles triangle with sides of lengths (366, 366, 132).
31
1,365
Some theorems retweeted
2 Aug 2024
[Anderson 1977]. For a commutative ring R, every Artinian R-module is countably generated.
1
6
72
5,748
Some theorems retweeted
13 Nov 2025
[Elkies–Klagsbrun 2024]. The elliptic curve
y² xy = x³ – 27006183241630922218434652145297453784768054621836357954737385x
55258058551342376475736699591118191821521067032535079608372404779149413277716173425636721497
has rank ≥ 29.
3
11
191
11,432