442 reputation
517
bio website dictionary.reference.com/…
location Paris
age 29
visits member for 4 years, 7 months
seen 5 hours ago

In 2014, I obtained my PhD in math at CUNY Graduate Center. I enjoy mathematics.

In the song "Watching the Wheels," J. Lennon sings "There are no problems, only solutions." However, I prefer the simple Hegelian reversal of this statement: There are no solutions, only non-problems.


Oct
20
comment Probability of the maximum of a throw of an infinite number of $n$-sided dice being $k$
Actually, this way is very easy also $\sum_{j=0}^{k-1} j^m = \frac{1}{m}(B_m(k) - B_m)$ which will immediately imply the result which you proved. The Bernoulli numbers were a red-herring.
Oct
20
accepted Probability of the maximum of a throw of an infinite number of $n$-sided dice being $k$
Oct
20
comment Probability of the maximum of a throw of an infinite number of $n$-sided dice being $k$
ah, yes, now the other hint makes sense too. Thanks for your help. Your answer implies that $(B_m(k)-B_m)/mn^m$ goes to zero as $m$ approaches infinity provided $n>1$. I thought that maybe there is a way to prove this second fact directly.
Oct
20
comment Probability of the maximum of a throw of an infinite number of $n$-sided dice being $k$
Thanks for your hint. Yes, it is true, but the events $E_i$ given by $\{(l_j) \mid l_i = n\}$ are not mutually exclusive. I should say that neither probability theory nor analysis are my specialty so perhaps I missed the hint.
Oct
20
asked Probability of the maximum of a throw of an infinite number of $n$-sided dice being $k$
Sep
30
awarded  Explainer
Aug
14
answered Vanishing of Motivic Cohomology
Aug
14
revised Vanishing of Motivic Cohomology
fixed a couple of typos
Aug
14
suggested suggested edit on Vanishing of Motivic Cohomology
Jan
1
awarded  Yearling
Dec
28
accepted formally étale morphisms which are also universally closed
Dec
23
answered Integration on Compact Semirings
Dec
21
comment formally étale morphisms which are also universally closed
yes, you are right on both counts. the premise of the question is more or less wrong with regards to formally étale morphisms. and, for étale morphisms, the best one can say is finite étale covers. but of course one can study finite pro-étale covers or finite formally étale covers.
Dec
14
comment formally étale morphisms which are also universally closed
yes, it the second case f is finite etale. I guess not much can be said if I relax noetherian condition.
Dec
13
asked formally étale morphisms which are also universally closed
Nov
23
awarded  Civic Duty
Nov
19
comment algebraic multivariate power series over a field
Sure, my pleasure. I can think of another proof in the univariant case. I believe it should follow from cell-decomposition for definable subassignments in the language of Denef-Pas over $\mathbb{Q}[[X]]$, but this model-theoretic. Even though this is neither here nor there, I would like to know how to prove the multivariant case model-theoretically.
Nov
19
awarded  Vox Populi
Nov
19
awarded  Enthusiast
Nov
17
revised algebraic multivariate power series over a field
added 14 characters in body