User thei - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T07:02:06Z http://mathoverflow.net/feeds/user/14102 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/23478/examples-of-common-false-beliefs-in-mathematics/61231#61231 Answer by thei for Examples of common false beliefs in mathematics. thei 2011-04-10T18:08:02Z 2012-05-09T18:17:27Z <blockquote> <p>The cost of multiplying two $n$-digit numbers is of order $n^2$ (because each digit of the first number has to be multiplied with each digit of the second number).</p> </blockquote> <hr> <p>A lot of information is found on <a href="http://en.wikipedia.org/wiki/Multiplication_algorithm" rel="nofollow">http://en.wikipedia.org/wiki/Multiplication_algorithm</a> .</p> <p>The first faster (and easily understandable) algorithm was <a href="http://en.wikipedia.org/wiki/Karatsuba_algorithm" rel="nofollow">http://en.wikipedia.org/wiki/Karatsuba_algorithm</a> with complexity $n^{log_2 3} \sim n^{1.585}$.</p> <p>Basic idea: To multiply $x_1x_2$ and $y_1y_2$ where all letters refer to $n/2$-digit parts of $n$-digit numbers, calculate $x_1 \cdot y_1$, $x_2\cdot y_2$ and $(x_1+x_2)\cdot(y_1+y_2)$ and note that this is sufficient to calculate the result with three such products instead of four.</p> http://mathoverflow.net/questions/80133/article-about-partitions-with-forbidden-parts-multiplicities Article about partitions with forbidden parts/multiplicities thei 2011-11-05T14:31:05Z 2011-11-05T23:21:18Z <p>I am looking for an article, most likely from the 90s, that generalized the bijection between partitions with odd and distinct parts by explaining how a bijection between the forbidden parts could be transformed into a bijection of the partitions.</p> <p>(So, in the example above, a bijection can be formed using the fact that $(2k)$ is in bijection with $(k,k)$ which form the forbidden parts on both sides.)</p> http://mathoverflow.net/questions/79621/two-rectangular-parallelepiped/79655#79655 Answer by thei for Two rectangular parallelepiped thei 2011-10-31T21:32:51Z 2011-10-31T22:05:20Z <p>This version works for all parallelepipeds, not only rectangular ones:</p> <p>If you replace each parallelepiped by all points that have distance at most $\varepsilon$ to a point in the parallelepiped, you can still place the smaller inside the bigger one. In particular, the smaller object has a smaller volume. </p> <p>We divide up the extended parallepipeds by extending the planes corresponding to the six faces. This gives the volume of the original solid in the center, parallelepipeds of height $\varepsilon$ on top of each face, partial cylinders (with slanted parallel ends) of radius $\varepsilon$ and length the corresponding edge, and partial spheres of radius $\varepsilon$ around each vertex.</p> <p>The partial spheres add up to exactly one whole sphere simply by translation. The partial cylinders corresponding to parallel edges add up to one whole cylinder by translation.</p> <p>Now let $\varepsilon$ tend to infinity (yes, really). The term with $\varepsilon^3$ comes from the sphere of radius $\varepsilon$ and does not depend on the parallelepiped at all, . The coefficient of $\varepsilon^2$ comes from the cylinders and is clearly the sum of the edges times some constant.</p> <p>So, for the inequality to be valid the sum of the edges of the smaller box must be smaller than the sum of the edges of the larger box.</p> <p>I don't see any problem with the generalization to higher dimension.</p> http://mathoverflow.net/questions/63321/what-are-some-examples-of-chimeras-in-mathematics/63332#63332 Answer by thei for What are some examples of "chimeras" in mathematics? thei 2011-04-28T20:28:32Z 2011-04-28T20:28:32Z <p>I propose $$f(x)=\begin{cases} e^{-\frac 1x} \text{ for } x> 0\\ 0 \text{ else.} \end{cases}$$ which can be used to construct concrete partitions of unity.</p> http://mathoverflow.net/questions/62543/what-is-the-relation-between-hypocycloids-and-ideals-in-polynomial-rings-as-allud What is the relation between hypocycloids and ideals in polynomial rings as alluded to in Arnold's text on teaching mathematics? thei 2011-04-21T15:18:46Z 2011-04-21T16:49:51Z <p>While browsing through this site, I came upon the text of Arnold: "On teaching mathematics".</p> <p><a href="http://pauli.uni-muenster.de/~munsteg/arnold.html" rel="nofollow">http://pauli.uni-muenster.de/~munsteg/arnold.html</a></p> <p>containing the phrase</p> <blockquote> <p>... it can be said that a hypocycloid is as inexhaustible as an ideal in a polynomial ring. But teaching ideals to students who have never seen a hypocycloid is as ridiculous as teaching addition of fractions to children who have never cut (at least mentally) a cake or an apple into equal parts.</p> </blockquote> <p>So, here is my question:</p> <blockquote> <p>What <em>is</em> the relation between the hypocycloid and ideals?</p> </blockquote> <p>Edited to add in view of the first comment:</p> <p>The hypocycloid is an algebraic curve and the polynomials that vanish on this curve form an ideal. But is there anything about the hypocycloid that motivates the question of regarding vanishing polynomials (which is clearly the case for cutting cakes and adding fractions or some of the other mathematical/physical examples in the text).</p> http://mathoverflow.net/questions/62218/german-mathematical-terms-like-nullstellensatz/62254#62254 Answer by thei for German mathematical terms like "Nullstellensatz" thei 2011-04-19T11:28:26Z 2011-04-19T11:28:26Z <p>An indirect answer:</p> <p>Klein bottle</p> <p>which has probably started out as:</p> <p>Kleinsche Fläche (=Klein surface)</p> <p>Kleinsche Flache (lost umlaut in English print)</p> <p>Klein bottle (translation of Flasche instead of Flache) </p> http://mathoverflow.net/questions/23478/examples-of-common-false-beliefs-in-mathematics/60933#60933 Answer by thei for Examples of common false beliefs in mathematics. thei 2011-04-07T12:45:11Z 2011-04-10T20:22:01Z <blockquote> <p>Regard a reasonably nice surface in $\mathbb R^3$ that can locally be expressed by each of the functions $x(y,z)$, $y(x,z)$ and $z(x,z)$, then obviously</p> <p>$\frac {dy} {dx} \cdot \frac {dz} {dy} \cdot \frac {dx} {dz} = 1$</p> <p>(provided everything exists and is evaluated at the same point).</p> <p>After all, this kind of reasoning works in $\mathbb R^2$ when calculating the derivative of the inverse function, it works for the chain rule and it works for separation of variables.</p> </blockquote> <hr> <p>Note that this product is in fact $-1$ which can either be seen by just thinking about what happens to the equation $ax+by+cz=d$ of a plane / tangent plane or by looking at the expression coming out of the implicit function theorem. </p> <p>I recall someone claiming that this example proves that $dx$ should be regarded as linear function rather than infinitesimal, but I cannot reconstruct the argument at the moment as this discussion was 15 years ago.</p> <p>In particular, it is true under appropriate conditions in $\mathbb R^4$ that $\frac {\partial y} {\partial x} \cdot \frac {\partial z} {\partial y} \cdot \frac {\partial w} {\partial z} \cdot \frac {\partial x} {\partial w} = 1$</p> http://mathoverflow.net/questions/8846/proofs-without-words/61219#61219 Answer by thei for Proofs without words thei 2011-04-10T15:54:03Z 2011-04-10T15:54:03Z <p>I suggest the videos of Viennot explaining the bijections between different families of objects counted by Catalan numbers:</p> <p><a href="http://web.mac.com/xgviennot/Cont_Science/vid%C3%A9os.html" rel="nofollow">http://web.mac.com/xgviennot/Cont_Science/vid%C3%A9os.html</a></p> http://mathoverflow.net/questions/58374/product-of-hypergeometric-functions-jacobi-polynomials/61157#61157 Answer by thei for Product of hypergeometric functions/Jacobi Polynomials thei 2011-04-09T18:23:47Z 2011-04-09T18:23:47Z <p>Have you tried to look at the recurrence relation satisfied by the product of Jacobi polynomials? (For example, maple/gfun finds product recurrences, but a list of related packages is on the site <a href="http://www.mat.univie.ac.at/~slc/divers/software.html" rel="nofollow">http://www.mat.univie.ac.at/~slc/divers/software.html</a> of the Seminaire Lotharingien de Combinatoire.)</p> <p>In general, this will not be a single sum, but a lot of things can be done just by using the recurrence relation instead of a sum representation and there is the Petkovsek algorithm to check if a nice closed-form solution exists.</p> <p>(A good reference is the book A=B by Petkovsek, Wilf and Zeilberger <a href="http://www.math.upenn.edu/~wilf/Downld.html" rel="nofollow">http://www.math.upenn.edu/~wilf/Downld.html</a>)</p> <p>(BTW I don't think that your expression for the coefficient is correct but I may have copied it incorrectly.)</p> http://mathoverflow.net/questions/61126/how-can-i-get-this-paper/61128#61128 Answer by thei for How can I get this paper? thei 2011-04-09T10:47:28Z 2011-04-09T12:17:27Z <p>Did you consider looking it up on Mathscinet/Google Scholar/Zentralblatt and then order it through your library?</p> <p>au:Mathieu, Olivier &amp; ti:demazure &amp; py:1986-1986 on zentralblatt gives</p> <p>Mathieu, Olivier</p> <p>Formules de Demazure-Weyl, et généralisation du théorème de Borel-Weil-Bott. (Demazure-Weyl formulas, and generalization of the Borel-Weil-Bott theorem). (French)</p> <p>[J] C. R. Acad. Sci., Paris, Sér. I 303, 391-394 (1986). ISSN 0764-4442</p> <p>but I also got this information with a google search.</p> <p>Edited to add: Look at Willie Wong's comment to the accepted answer. The above reference corresponds to the question, but the actual long article is presumably</p> <p>MR980506 (90d:17024) 17B67 (14M15 17B10 20G05) Mathieu, Olivier Formules de caractères pour les algèbres de Kac-Moody générales. (French) [Character formulas for general Kac-Moody algebras] Astérisque No. 159-160 (1988), 267 pp. </p> http://mathoverflow.net/questions/61059/what-are-the-lengths-that-can-be-constructed-with-straightedge-but-without-compas/61069#61069 Answer by thei for What are the lengths that can be constructed with straightedge but without compass? thei 2011-04-08T14:10:42Z 2011-04-08T14:10:42Z <p>It depends on what you regard as a starting point.</p> <p>For ruler and compass, we start with the points 0 and 1.</p> <p>For an unmarked ruler, this is not a good start, because an unmarked ruler is good at conserving cross-ratios, but if you start with two (or three including $\infty$) points, there is no cross-ratio yet to conserve.</p> <p>With a marked ruler, this problem disappears because you obviously get all the integers and then are able to construct parallel lines by building a complete quadrilateral over three equidistant points. So you already get all the rational numbers.</p> http://mathoverflow.net/questions/60790/a-set-with-lower-density-equal-to-0-and-upper-density-different-from-0/60798#60798 Answer by thei for A set with lower density equal to $0$ and upper density different from $0$ thei 2011-04-06T10:56:30Z 2011-04-06T10:56:30Z <p>For an explicit example, you could use $A= \{ n: \lfloor \log_2 \log_2{n} \rfloor \text{ is even} \}$.</p> http://mathoverflow.net/questions/23478/examples-of-common-false-beliefs-in-mathematics/61231#61231 Comment by thei thei 2012-05-09T18:18:13Z 2012-05-09T18:18:13Z @Junyan Xu : Thanks, I corrected it. http://mathoverflow.net/questions/80133/article-about-partitions-with-forbidden-parts-multiplicities/80138#80138 Comment by thei thei 2011-11-07T20:07:06Z 2011-11-07T20:07:06Z Thank you, the last two articles are exactly what I was looking for. I appreciate your useful summaries that makes me recognize them immediately. I also appreciate your other links. http://mathoverflow.net/questions/79659/how-to-isolate-fx-in-fxafxa-times-gx Comment by thei thei 2011-10-31T23:01:44Z 2011-10-31T23:01:44Z You are actually trying to calculate the indefinite sum of terms defined by $f$ (just look at the case $a=1$), so you really should narrow down the class of functions to have summation algorithms. http://mathoverflow.net/questions/79621/two-rectangular-parallelepiped/79655#79655 Comment by thei thei 2011-10-31T21:56:33Z 2011-10-31T21:56:33Z @David Eppstein: What you write is absolutely correct, but note that in the OP we had <i>rectangular</i> parallelepipeds, so I mentioned the number of vertices to indicate that it is not necessary to think more about this in this case. Sorry for being both too lazy to repeat the word &quot;rectangular&quot; and to give the more general argument. I don't like the English term &quot;rectangular parallelepiped&quot;. http://mathoverflow.net/questions/63589/the-first-eigenvalue-of-a-graph-what-does-it-reflect Comment by thei thei 2011-05-01T09:40:51Z 2011-05-01T09:40:51Z They can also be the eigenvalues of the Laplacian of the graph. http://mathoverflow.net/questions/63589/the-first-eigenvalue-of-a-graph-what-does-it-reflect Comment by thei thei 2011-05-01T08:43:44Z 2011-05-01T08:43:44Z The largest eigenvalue of which matrix? http://mathoverflow.net/questions/63221/ideas-on-how-to-prevent-a-department-from-being-shut-down/63241#63241 Comment by thei thei 2011-04-28T00:49:29Z 2011-04-28T00:49:29Z I would agree with you if this were about a decision to only hire researches of B in the future. But in taking on four tenured researchers, the university has expressed an explicit commitment to the geometry group a few years ago. http://mathoverflow.net/questions/63221/ideas-on-how-to-prevent-a-department-from-being-shut-down/63244#63244 Comment by thei thei 2011-04-28T00:26:16Z 2011-04-28T00:26:16Z I wouldn't concede that &quot;you need to fire two faculty members&quot;. I would only concede that &quot;you need to save money&quot;. http://mathoverflow.net/questions/63221/ideas-on-how-to-prevent-a-department-from-being-shut-down Comment by thei thei 2011-04-27T23:51:38Z 2011-04-27T23:51:38Z @Willie Wong Thanks for the info. It would be interesting to know about precedent. If this loophole is something never used in the Netherlands in practice, I would put much more emphasis in the petition on the perspective that excellent foreign mathematicians (or Dutch mathematicians in other countries) will hesitate to take a position in the Netherlands if tenure means nothing <i>in practice</i> and that this kind of trust will be hard to regain. http://mathoverflow.net/questions/63221/ideas-on-how-to-prevent-a-department-from-being-shut-down Comment by thei thei 2011-04-27T23:37:54Z 2011-04-27T23:37:54Z Furthermore, there is something strange about the text: There are two retirements, four potential firings and two new positions. That means that there are <i>four</i> positions eliminated in total, not two. http://mathoverflow.net/questions/63221/ideas-on-how-to-prevent-a-department-from-being-shut-down Comment by thei thei 2011-04-27T23:26:05Z 2011-04-27T23:26:05Z Could you explain what &quot;tenure&quot; means in the Netherlands? http://mathoverflow.net/questions/62839/pochhammer-symbol Comment by thei thei 2011-04-24T18:27:09Z 2011-04-24T18:27:09Z Usually, people woud say that the hypergeometric function is expressed by the product, not the other way around. http://mathoverflow.net/questions/62692/should-insights-be-secret Comment by thei thei 2011-04-23T17:16:26Z 2011-04-23T17:16:26Z @Spencer I think that in the oral exam case, the main problem is not the homework scenario, but simply the other student's implicit suggestion that since it was no trouble, he would not have to reciprocate in some way. http://mathoverflow.net/questions/62567/geometric-interpretation-of-distributivity Comment by thei thei 2011-04-21T20:02:39Z 2011-04-21T20:02:39Z You have interchanged some maxs and mins and it is a bit hard to pick out the questions from your text. http://mathoverflow.net/questions/62543/what-is-the-relation-between-hypocycloids-and-ideals-in-polynomial-rings-as-allud Comment by thei thei 2011-04-21T16:53:06Z 2011-04-21T16:53:06Z Thanks for your comment, I have added something to the question because I suspect (and could be wrong, of course) that the author had a more exact parallel in mind.