User paul-olivier dehaye - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T19:08:52Z http://mathoverflow.net/feeds/user/8739 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/110152/location-of-archimedes-grave-in-syracuse-math-archaelogy-trivia/110161#110161 Answer by Paul-Olivier Dehaye for Location of Archimedes' grave in Syracuse (math/archaelogy trivia) Paul-Olivier Dehaye 2012-10-20T15:33:36Z 2012-10-20T17:13:52Z <p>I think the book <a href="http://books.google.ch/books?id=6TBY0R4ZPVYC&amp;lpg=PP1&amp;hl=fr&amp;pg=PA598#v=onepage&amp;q&amp;f=false" rel="nofollow">http://books.google.ch/books?id=6TBY0R4ZPVYC&amp;lpg=PP1&amp;hl=fr&amp;pg=PA598#v=onepage&amp;q&amp;f=false</a> corroborates much of what you say about the connection Necropolis del Fusco-Archimedes. This book was written in 1904. If you search for "Orsi" in the book, you see that a professor Paolo Orsi was an "antiquarian" who contributed extensively to the book. Interesting terms to search for: "Archimedes", "Fusco", "Agragian". With all this you can patch together a topographic description of the area.</p> <p>So in short, this professor (indirectly) confirms the link Fusco-Archimedes. It is possible the shopping center is sitting right on top of the grave, but the area of the "west of the necropolis" is still pretty big, so it might be a bit much to deduce that.</p> http://mathoverflow.net/questions/105448/product-on-representations-of-an-integer-by-a-quadratic-form Product on representations of an integer by a quadratic form? Paul-Olivier Dehaye 2012-08-25T07:06:18Z 2012-08-26T23:15:30Z <p>Define the quadratic form $$Q(z_1,z_2,z_3,z_4) = 13 + \sum_{i=1}^4 (10+i)z_i +5 \sum_{1 \le i \le j \le 4} z_iz_j.$$ Then, $r_Q(n) := \left|{(z_1,z_2,z_3,z_4) \in \mathbb{Z}^4 : Q(z_1,z_2,z_3,z_4) = n }\right|$ is weakly multiplicative. I can prove this by using the generating function $\sum r_Q(n) q^n$ which is in the Eisenstein subspace of $\mathcal{M}_2(\chi_5)$, with $\chi_5$ the Legendre symbol. </p> <p>Because $r_Q(n)$ counts something, a likely alternative explanation is that there exists some product on solutions to $Q(\vec{z})=n$ that would explain this multiplicativity directly, hence the question:</p> <blockquote> <p>Does there exist a product $\times$ on solutions to $Q(\vec{z})=n$ such that, whenever $(m,n)=1$, </p> <ul> <li>$Q(\vec{x})=m$ and $Q(\vec{y})=n$ imply $Q(\vec{x}\times \vec{y})=mn$;</li> <li>$Q(\vec{z})=mn$ implies we can find unique $\vec{x}, \vec{y}$ with $Q(\vec{x})=m$, $Q(\vec{y})=n$ and $\vec{x} \times \vec{y} = mn$?</li> </ul> </blockquote> <p>I am interested in this because results of Garvan, Kim and Stanton give a bijection between the representations of $n$ by $Q$ and the number of $5-$core partitions of size $n-1$, which would lead to a product on 5-cores that I would like to understand. This multiplicativity has been used at 5 <em>only</em> by GKS to show combinatorially that $p(5n+4) \equiv 0 \mod5$. </p> <p><strong>Note 1:</strong> After the change of variables $v_i := 5z_i+i$ and the introduction of the fifth variable $v_0 := -v_1-v_2-v_3-v_4$, one can also define $Q$ by the more symmetric and homogeneous $$Q(v_0,v_1,v_2,v_3,v_4) = \frac{1}{10} \sum_{i=0}^4 v_i^2,$$ but we are not looking at all solutions then: we need $\sum_{i=0}^4 v_i = 0$ and $v_i \equiv i \mod 5$.</p> <p><strong>Note 2:</strong> For the multiplicativity, 5 is special at the moment, but could conceivably be replaced by 7 and 11 later, judging from the theory of Garvan, Kim and Stanton. However I am hoping that a combinatorial construction for the product on 5-cores could be generalized more widely.</p> <p><strong>UPDATE:</strong> I am sure the $r_Q(n)$ is not completely multiplicative. In fact, here is a list of the first 50 values, starting at 1: 1, 1, 2, 3, 5, 2, 6, 5, 7, 5, 12, 6, 12, 6, 10, 11, 16, 7, 20, 15, 12, 12, 22, 10, 25, 12, 20, 18, 30, 10, 32, 21, 24, 16, 30, 21, 36, 20, 24, 25, 42, 12, 42, 36, 35, 22, 46, 22, 43, 25,... ( it's at <a href="http://oeis.org/A053723" rel="nofollow">http://oeis.org/A053723</a> ). There are actually closed forms there for $r_Q(p^e)$, but I don't see how they help for my question.</p> <p>In particular, we have $r_Q(2) = 1$, and $r_Q(4) = 3$, corresondign respectively to the solutions $(0, -1, 0, -1)$ and $(-1, 0, -1, 0), (0, -1, -1, -1), (0, 0, 0, -1)$.</p> http://mathoverflow.net/questions/40337/ingenuity-in-mathematics/40344#40344 Answer by Paul-Olivier Dehaye for Ingenuity in mathematics Paul-Olivier Dehaye 2010-09-28T17:08:26Z 2010-09-28T17:08:26Z <p>Certainly Cantor diagonalization? You have Russell's paradox, which is perfectly understandable to the lay person, going to the uncountability of reals, going to Godel's incompleteness. I think each incarnation passes Andrew Stacey's tests...</p> http://mathoverflow.net/questions/24850/is-there-a-generalisation-of-the-sunflower-spiral-to-higher-dimensions/40205#40205 Answer by Paul-Olivier Dehaye for Is there a generalisation of the "sunflower spiral" to higher dimensions? Paul-Olivier Dehaye 2010-09-27T20:15:20Z 2010-09-27T20:15:20Z <p>I think a good reference for this is "The discrepancy method" by Bernard Chazelle, page 59 and following. It's available at <a href="http://books.google.com/books?id=dmOPmEh6LdYC&amp;printsec=frontcover&amp;dq=the+discrepancy+method&amp;hl=en&amp;ei=WvqgTO7xLIXKOLzCxa4M&amp;sa=X&amp;oi=book_result&amp;ct=result&amp;resnum=1&amp;ved=0CCkQ6AEwAA#v=onepage&amp;q&amp;f=false" rel="nofollow">http://books.google.com/books?id=dmOPmEh6LdYC&amp;printsec=frontcover&amp;dq=the+discrepancy+method&amp;hl=en&amp;ei=WvqgTO7xLIXKOLzCxa4M&amp;sa=X&amp;oi=book_result&amp;ct=result&amp;resnum=1&amp;ved=0CCkQ6AEwAA#v=onepage&amp;q&amp;f=false</a> to read. Chapter title is "An orbital construction for points on a spehere", and the method is compared to $\phi$ for the circle.</p> http://mathoverflow.net/questions/40118/a-sum-involving-irreducible-characters-of-the-symmetric-group/40142#40142 Answer by Paul-Olivier Dehaye for A sum involving irreducible characters of the symmetric group Paul-Olivier Dehaye 2010-09-27T12:58:22Z 2010-09-27T14:07:58Z <p>Hi Thomas,</p> <p>This is very similar to things I have been working on or thinking about. I would be very interested to know the source of this problem. My own source for similar questions was in Random Matrix Theory. What do you want to know about those sums? </p> <p>First a remark. In your definition of H(n,L), you could see this as a sum over all partitions of $2n$. The term $\chi^{Y_{i,j,w}}(\tau)$ ensures only the diagrams you describe give non-zero contribution.</p> <p>You might know this, but the $-p+q$ is the content of the cell $(p,q)$. </p> <p>You can compute $\chi^{Y_{i,j,w}}([2^n])$ via the Murnaghan-Nakayama rule indeed: it is counting all the different ways to express $Y_{i,j,w}$ as an incremental union of 2-ribbons (with signs!). Another way uses the so-called rim hook lattice. If the 2-core $Y_{i,j,w}$ is non-empty, this character value is 0. If it is empty, take the two 2-quotients of $Y_{i,j,w}$ and compute the dimension of each. Combining this with a binomial sum, you can obtain the character value you are looking for. [*]</p> <p>Finally, I would send you to Stanley's recent paper (look at the version on his homepage <a href="http://math.mit.edu/~rstan/papers.html#hooks" rel="nofollow">http://math.mit.edu/~rstan/papers.html#hooks</a> ) called ''Some combinatorial properties of hook lengths, contents, and parts of partitions'' There he has sums over partitions of functions of the contents (like you do), but weighted by the Plancherel measure. I think you can make that measure aappear out of your sum. His result would typically take the form of a polynomiality in $n$ of the $L^i$ coefficient of $H(n,L)$. </p> <p>, concerning part [*]: This is essentially what's done in the accepted answer to this question: <a href="http://mathoverflow.net/questions/8776/statistics-of-irreps-of-s-n-that-can-be-read-off-the-young-diagram-and-consequen" rel="nofollow">http://mathoverflow.net/questions/8776/statistics-of-irreps-of-s-n-that-can-be-read-off-the-young-diagram-and-consequen</a> (I was describing the Fomin-Lulov method, while that answer to the MO question describes their result).</p> http://mathoverflow.net/questions/38671/how-to-recover-partition-from-its-multiset-of-hook-lengths How to recover partition from its multiset of hook lengths? Paul-Olivier Dehaye 2010-09-14T11:17:25Z 2010-09-15T16:20:45Z <p>One of the invariants associated to a partition is its multiset of hook lengths. For instance, as shown <a href="http://en.wikipedia.org/wiki/Young_tableau" rel="nofollow">here</a>, the partition (5,4,1) has hook lengths {1,1,1,2,3,3,4,5,5,7}. Is there a good way to go backwards (up to conjugation, of course)? An actual algorithm that does not involve brute forcing through a bunch of possibilities, and would give me one (or all) of the possible partitions? </p> <p>What about the decision problem "Is this multiset the multiset of hook lengths of a partition?" For instance, for {1, 1, 1, 2, 3, 3, 4, 4, 5, 7, 8, 10} the answer is no, but I can only come up with very ad hoc ways to show that. </p> http://mathoverflow.net/questions/38671/how-to-recover-partition-from-its-multiset-of-hook-lengths/38841#38841 Answer by Paul-Olivier Dehaye for How to recover partition from its multiset of hook lengths? Paul-Olivier Dehaye 2010-09-15T16:20:45Z 2010-09-15T16:20:45Z <p>One condition on hooks that hasn't been mentioned yet is that $$h_{(1,1)} + h_{(i,j)} = h_{(i,1)} + h_{(1,j)}.$$ (and similarly, based at other points).</p> <p>When $i&lt;>1$ and $j&lt;>1$, this means that the cells $(1,1)$ and $(i,j)$ in that property are corners of a (unique) square, whose other two corners are the other two points.</p> <p>Since 10+4 is not expressible as the sum of any two of the other given hook lengths in my negative example, we know that 4 and 4 are on the same line as 10 (not that suprising given the large size of first hook length 10 compared to the size 12, but could be useful for bigger partitions). </p> http://mathoverflow.net/questions/36025/explicit-computations-using-the-haar-measure/36501#36501 Answer by Paul-Olivier Dehaye for Explicit computations using the Haar measure Paul-Olivier Dehaye 2010-08-23T22:23:53Z 2010-08-23T22:23:53Z <p>Couldn't resist to point this out: actually, $$\lim_{N \rightarrow \infty} \frac{1}{N^{k^2}} \mathbb{E}_{U\in U(N)} |Z_U|^{2k} = \frac{G(k+1)^2}{G(2k+1)},$$ with $G$ the <a href="http://en.wikipedia.org/wiki/Barnes_G-function" rel="nofollow">Barnes $G$ function</a>, $Z_U$ the characteristic polynomial of the matrix $U$ in $U(N)$, taken according to Haar measure and evaluated somewhere along the unit circle in $\mathbb{C}$, say 1 (where on the circle is irrelevant as Haar measure is rotationally invariant). </p> <p>When $k=3$, this actually evaluates to $$\frac{\mathbf{42}}{9!},$$ and accounts for the 3rd (and first new) case in the Keating-Snaith discovery of the interest of random matrices for quantitative formulations of analytic number theory conjectures, as explained in their paper "Random Matrix Theory and $\zeta (1/2 + i t )$" or less formally in <a href="http://seedmagazine.com/content/article/prime_numbers_get_hitched/" rel="nofollow">http://seedmagazine.com/content/article/prime_numbers_get_hitched/</a> .</p> <p>Incidentally, the connections between random matrix theory and number theory indeed lead to many practical computations for Haar-random matrices in classical compact groups. Some are easier to understand (for instance via the Weyl integration formula or reformulations in terms of Selberg integrals), while some are much less clear (for instance, subsitute in the above statement $|Z_U'|$ instead of $|Z_U|$ and study again the behaviour for large k, or analytic continuation in k of the RHS. The renormalization in that case, however, is know, and would be $\frac{1}{N^{k^2+2k}}$).</p> <p>Since this is a reference request, look also at papers by Conrey or Hughes for examples of such explicit computations. </p> http://mathoverflow.net/questions/110152/location-of-archimedes-grave-in-syracuse-math-archaelogy-trivia Comment by Paul-Olivier Dehaye Paul-Olivier Dehaye 2012-10-20T15:16:31Z 2012-10-20T15:16:31Z Britannica says a tiny bit more about the location (And various other sources too): <a href="http://books.google.ch/books?ei=BbOCUKHtM8awhAei2IDgDw&amp;hl=fr&amp;id=gjsyAQAAMAAJ&amp;dq=fusco+orsi+archimedes&amp;q=fusco#search_anchor" rel="nofollow">books.google.ch/&hellip;</a> It looks like the necropolis was inside the walls, which included the Fusco gorge, a defensive weakness. http://mathoverflow.net/questions/110152/location-of-archimedes-grave-in-syracuse-math-archaelogy-trivia Comment by Paul-Olivier Dehaye Paul-Olivier Dehaye 2012-10-20T15:01:56Z 2012-10-20T15:01:56Z <a href="http://books.google.ch/books?id=MjGPXOLGxJ8C&amp;lpg=PA157&amp;ots=zifgmygjVy&amp;dq=fusco%20orsi&amp;hl=fr&amp;pg=PA157#v=onepage&amp;q&amp;f=false" rel="nofollow">books.google.ch/&hellip;</a> Footnote 39. It was the line from Syracuse to Noto. This is fun on a lazy Saturday. http://mathoverflow.net/questions/110152/location-of-archimedes-grave-in-syracuse-math-archaelogy-trivia Comment by Paul-Olivier Dehaye Paul-Olivier Dehaye 2012-10-20T14:43:31Z 2012-10-20T14:43:31Z I am not sure &quot;rotabile&quot; translate to &quot;railway&quot;. In fact, there is no railway leading to Floridia (they go either north or south, if you follow them on Google maps, not west to Floridia), but there is a road in the area leading in the right direction (Strada Statale 124). About railways, it says somewhere that Orsi's work were prompted by the construction of a railway. So this would certainly be consistent with putting the necropolis south and east of the &quot;via Necropolis del Fusco&quot; (note that it goes on after crossing the railway), leaving a chance the tomb would be in an open field. http://mathoverflow.net/questions/105448/product-on-representations-of-an-integer-by-a-quadratic-form Comment by Paul-Olivier Dehaye Paul-Olivier Dehaye 2012-08-27T08:48:13Z 2012-08-27T08:48:13Z Yes, a potential way to get the product is by showing that $Q$ behaves like a norm on an order of a particular quaternion algebra. I am hoping invariants of the form can help narrow down where to look. http://mathoverflow.net/questions/105448/product-on-representations-of-an-integer-by-a-quadratic-form Comment by Paul-Olivier Dehaye Paul-Olivier Dehaye 2012-08-26T03:39:39Z 2012-08-26T03:39:39Z It is not completely multiplicative. I think the two conditions you wrote are equivalent. Anyways, it fails $r_Q(4) = r_Q(2)^2$, as shown in my update. http://mathoverflow.net/questions/41345/how-to-resolve-an-issue-with-pranesachar-et-al-s-formula-for-the-number-of-four/41371#41371 Comment by Paul-Olivier Dehaye Paul-Olivier Dehaye 2010-10-07T09:17:55Z 2010-10-07T09:17:55Z This is also what I would look for, but it won't work here. To work, you need for every single term to be able to &quot;cancel poles&quot; and give a meaning to that term. But consider $$\alpha =0 , \beta_i =0, \delta_i =0 , \epsilon=0$$ and $n=k$. Then $T$ will have one $(-n)!$, with all other factors involving only factorials of positive integers... http://mathoverflow.net/questions/40920/what-if-current-foundations-of-mathematics-are-inconsistent/40969#40969 Comment by Paul-Olivier Dehaye Paul-Olivier Dehaye 2010-10-04T13:13:50Z 2010-10-04T13:13:50Z You could collect seven or eight million, not six or seven (depending on Yang Mills): the P=NP prize is the only one formulated in such a way that either a positive or negative answer is guaranteed 1 million (in contrast, if one found a zero of zeta off the line, a committee would have to decide whether this was really a significant achievement worthy of that million). So if you prove inconsistency, you (or your lawyer) can claim P=NP and P&lt;&gt;NP... http://mathoverflow.net/questions/26342/chebyshevs-approach-to-the-distribution-of-primes/26344#26344 Comment by Paul-Olivier Dehaye Paul-Olivier Dehaye 2010-10-01T13:26:42Z 2010-10-01T13:26:42Z There is also the work of Sylvester, but I haven't seen that presented anywhere in detail. http://mathoverflow.net/questions/26342/chebyshevs-approach-to-the-distribution-of-primes/26344#26344 Comment by Paul-Olivier Dehaye Paul-Olivier Dehaye 2010-10-01T13:23:34Z 2010-10-01T13:23:34Z There is also a summary of that paper of Diamond and Erdos in Diamond's &quot;Elementary methods in the study of the distribution of prime numbers&quot; in the Bulletin AMS (sections 3 and 9). It exposes the ideas in several steps: first $$\frac{(2n)!}{n!n!}$$, then $$\frac{(30 n)! n!}{(15 n)! (10 n)! (6 n)!}$$ (Chebyshev's approach) and finally a (related) general form, due to Erdos-Diamond, which uses a function $\mu_T$ close to the Moebius $\mu$ function. The closest analogue of Chebyshev's is then $$\frac{(30 n)!^5(5n)!}{(15 n)!^5(10 n)!^5(6 n)!^5}.$$ http://mathoverflow.net/questions/40337/ingenuity-in-mathematics/40344#40344 Comment by Paul-Olivier Dehaye Paul-Olivier Dehaye 2010-09-28T19:12:38Z 2010-09-28T19:12:38Z I plead guilty to being a nerd, in any case. http://mathoverflow.net/questions/40337/ingenuity-in-mathematics/40344#40344 Comment by Paul-Olivier Dehaye Paul-Olivier Dehaye 2010-09-28T19:11:40Z 2010-09-28T19:11:40Z What I had in mind when I wrote &quot;Russell's paradox&quot; is the barber paradox version. I think it can be understood by a painter. If it helps, you can even turn it into a painter paradox version, with the painter drawing portraits! The second part, about Cantor or Godel, can be put into language very similar to the barber paradox. While I don't expect a painter to understand all the words that fit in these statements, it should be possible to explain the similarity with the more tangible barber paradox. And you can confidently say that this idea has revolutionized math twice in the past century. http://mathoverflow.net/questions/24850/is-there-a-generalisation-of-the-sunflower-spiral-to-higher-dimensions/40205#40205 Comment by Paul-Olivier Dehaye Paul-Olivier Dehaye 2010-09-28T08:31:05Z 2010-09-28T08:31:05Z Thanks, I learned a new &quot;word&quot;. http://mathoverflow.net/questions/19987/math-paper-authors-order/36460#36460 Comment by Paul-Olivier Dehaye Paul-Olivier Dehaye 2010-09-17T08:44:33Z 2010-09-17T08:44:33Z There is also Selberg, Atle, Chowla, S, &quot;On Epstein's zeta-function.&quot; J. Reine Angew. Math. 227 1967 86--110. (Selberg's only joint paper) http://mathoverflow.net/questions/38671/how-to-recover-partition-from-its-multiset-of-hook-lengths Comment by Paul-Olivier Dehaye Paul-Olivier Dehaye 2010-09-15T16:24:08Z 2010-09-15T16:24:08Z For the record, another ad hoc way I have to exclude {1, 1, 1, 2, 3, 3, 4, 4, 5, 7, 8, 10} is as follows. Only 2 cells are not in the first hook and they thus have hook lengths 1 and 2. 8 has to be next to 10, either aligned with the 2,1 we just placed or not. Both choices quickly lead to contradiction, as we now know exactly how long the arm based at 8 is. http://mathoverflow.net/questions/38671/how-to-recover-partition-from-its-multiset-of-hook-lengths/38808#38808 Comment by Paul-Olivier Dehaye Paul-Olivier Dehaye 2010-09-15T16:03:28Z 2010-09-15T16:03:28Z Yes. this is the &quot;very ad hoc&quot; ways I was referring in my original post. Actually, the argument does not require branching if you take k=4, since you then have the multiset {1,1,2} which is supposed to be the union of 4 partitions. Since I know what those are (empty, empty, [1], ([2] or $[2]^t$)) and I know the core as well (empty), I &quot;only&quot; have 2 * 4! /2 possiblities to check, corresponding to the different orderings of the quotients. The hooks have to satisfy tremendous divisibility conditions, and it is precisely to clarify this that I am asking the question...