40,646 reputation
397205
bio website
location Pasadena
age 26
visits member for 4 years, 11 months
seen 2 hours ago

You can contact me at gzaimi[]caltech.edu


2d
comment Non-abelian freeness of SU_2
Qiaochu asked a similar question a while ago mathoverflow.net/questions/17197/… and then blogged about this at some point. I can't find all the posts, but one of them is qchu.wordpress.com/2010/03/07/…
Nov
25
comment Massive cancellations
Oh, oops :). My brain thought it was too good to be true.
Nov
25
comment Massive cancellations
I think, A is supposed to be finite.
Nov
20
comment “Nyldon words”: understanding a class of words factorizing the free monoid increasingly
Can these words be realized as Hall words for a specific ordering of words? (Maybe the dual ordering to lexicographic.) This would imply your conjectures if it was the case... encyclopediaofmath.org/index.php/Hall_word
Nov
10
comment A number theoretic identity
I agree with @Lucia and I voted to reopen.
Nov
7
answered Tower-of-squares sequence divides linear recurrent A001921 sequence?
Nov
6
awarded  Nice Answer
Nov
6
comment Why can't we take three loops?
Somewhat related mathoverflow.net/questions/96906/…
Nov
2
answered Visibility interpretation of Riemann zeta zeros on the critical line?
Oct
24
comment Is every number the sum of two cubes modulo p where p is a prime not equal to 7?
There should be a simpler proof using the Cauchy Davenport inequality. (We might need Vosper's result which also characterizes when equality can happen)
Oct
24
accepted Is there a geometric meaning of the Major index?
Oct
24
comment Is there a geometric meaning of the Major index?
@ChristianStump, If you want you can upgrade your comment to an answer (I would accept it :-)). What I had in mind was to compute cohomology in different ways (perhaps localize with respect to different group actions or something along those lines), but since this wouldn't distinguish the symmetric group among other Weyl/Coxeter groups, I am less hopeful because of the reasons you mention.
Oct
23
comment How do I check that this is a Frobenius algebra?
@AndréHenriques The main steps are roughly: 1) Reduce the global duality theorem (the statement in your question) to the local case around a single zero. 2) Prove it for the case $f_i=z_i^{k_i}$. 3) Deduce the general form by using the transformation formula (which says that if you take the residue with respect to $Af$ then the residue changes by factor of $\det (A)$.)
Oct
23
answered How do I check that this is a Frobenius algebra?
Oct
20
comment A curious Gauss-Sum type identity
What is the numerator when $j=1$? Or is the "j-2" a typo?
Oct
15
awarded  Notable Question
Oct
12
answered Finding a sufficiently large complete bipartite subgraph using matrix counting
Oct
2
awarded  Good Answer
Sep
30
awarded  Explainer
Sep
29
answered Decimal binary sequences that cannot be greater than 1