bio  website  

location  Pasadena  
age  26  
visits  member for  4 years, 11 months 
seen  2 hours ago  
stats  profile views  22,097 
You can contact me at gzaimi[]caltech.edu
2d

comment 
Nonabelian 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  Towerofsquares 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 GaussSum type identity
What is the numerator when $j=1$? Or is the "j2" 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 