User bruce arnold - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T11:35:08Z http://mathoverflow.net/feeds/user/2797 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/10124/the-factorial-of-1-2-3 The factorial of -1, -2, -3, ... Bruce Arnold 2009-12-30T11:32:10Z 2012-01-08T23:00:35Z <p>Well, n! is for integer n &lt; 0 not defined -- as yet.</p> <p>So the question is: How could a sensible generalization of the factorial for negative integers look like?</p> <p>Clearly a good generalization should have a clear combinatorial meaning which combines well with the nonnegative case.</p> http://mathoverflow.net/questions/50343/what-would-you-want-to-see-at-the-museum-of-mathematics/50426#50426 Answer by Bruce Arnold for What would you want to see at the Museum of Mathematics? Bruce Arnold 2010-12-26T14:49:09Z 2010-12-26T14:49:09Z <p>Look at the <a href="http://www.imaginary-exhibition.com/surfer.php" rel="nofollow">'surfer video'</a> which among other things shows how visualizations of algebraic geometry can be presented in real-time in an exhibition.</p> http://mathoverflow.net/questions/9746/who-invented-the-gamma-function Who invented the gamma function? Bruce Arnold 2009-12-25T14:36:50Z 2010-12-09T20:19:54Z <p>Who was the first person who solved the problem of extending the factorial to non-integer arguments? </p> <p>Detlef Gronau writes [1]: "As a matter of fact, it was Daniel Bernoulli who gave in 1729 the first representation of an interpolating function of the factorials in form of an infinite product, later known as gamma function."</p> <p>On the other hand many other places say it was Leonhard Euler. Will the real inventor please stand up? </p> <p>[1] "Why is the gamma function so as it is?" by Detlef Gronau, Teaching Mathematics and Computer Science, 1/1 (2003), 43-53.</p> http://mathoverflow.net/questions/24396/would-eulers-proofs-get-published-in-a-modern-math-journal-especially-consideri/40381#40381 Answer by Bruce Arnold for Would Euler's proofs get published in a modern math Journal, especially considering his treatment of the Infinite? Bruce Arnold 2010-09-28T20:22:12Z 2010-09-28T20:22:12Z <p>Let me answer by rephrasing your question. How will Andrew Wiles' proof of Fermat's Last Theorem be seen in the year 2260? I think it will be acknowledged then as much as it is acknowledged today that the proof was a major step in the history of mathematics. However, I seriously doubt that his proof will be considered as 'rigorous' by the standards of the year 2260. A well-respected math journal will then require a proof formally verified by a symbolic engine. (See the Notices of AMS 2008, vol. 55, issue 11).</p> http://mathoverflow.net/questions/17209/consequences-of-the-riemann-hypothesis/17241#17241 Answer by Bruce Arnold for Consequences of the Riemann hypothesis Bruce Arnold 2010-03-05T22:48:54Z 2010-03-06T00:05:57Z <p>(Jeffrey C. Lagarias) The following is equivalent to RH. Let $H_n = \sum\limits_{j=1}^n \frac{1}{j}$ be the $n$-th harmonic number. For each $n \ge 1$ $$\sum\limits_{d|n} d \le H_n + \exp (H_n) \log (H_n),$$ with equality only for $n = 1.$ (<a href="http://de.arxiv.org/abs/math.NT/0008177" rel="nofollow">An Elementary Problem Equivalent to the Riemann Hypothesis</a>. See also OEIS A057641.)</p> http://mathoverflow.net/questions/13682/which-mathematical-ideas-have-done-most-to-change-history/13716#13716 Answer by Bruce Arnold for Which mathematical ideas have done most to change history? Bruce Arnold 2010-02-01T18:19:58Z 2010-02-01T18:19:58Z <p>The introduction of order. Orders are ubiquitous in life. And orders are ubiquitous mathematics. These are the concepts of reflexivity, antisymmetry and transitivity and those of maximality.</p> http://mathoverflow.net/questions/11517/computer-algebra-errors/11529#11529 Answer by Bruce Arnold for Computer Algebra Errors Bruce Arnold 2010-01-12T12:11:16Z 2010-01-12T12:11:16Z <p>There are too many to be listed on the margins of MO.</p> <p>Look at the archives of the newsgroups comp.soft-sys.math.maple, comp.soft-sys.matlab, sci.math.symbolic, comp.soft-sys.math.mathematica. There you can find hundreds of bugs reported.</p> <p>There is a notorious CAS bug hunter who once maintained a bug list for Maple and shows more than 5000 disturbing observations. (Press the <a href="http://maple.bug-list.org/" rel="nofollow">Go!</a> button.) Or go to MapleSoft and search <a href="http://www.mapleprimes.com/search/node/bug" rel="nofollow">Maple Primes</a>.</p> <p>Please don't shoot the messenger. </p> http://mathoverflow.net/questions/11084/what-programming-languages-do-mathematicians-use/11137#11137 Answer by Bruce Arnold for What programming languages do mathematicians use? Bruce Arnold 2010-01-08T12:18:44Z 2010-01-08T12:18:44Z <p>For mathematicians which do scientific computing in the sens of numerical analysis a very good choice are the XSC languages (C-XSC and Pascal-XSC) which provide tools to solve numerical problems <i>with a verification of the results</i>. See U. Kulisch et alia, Springer Series in Computational Mathematics, vol. 21, for an introduction to Verified Computing and this link for the <a href="http://www.math.uni-wuppertal.de/~xsc/" rel="nofollow">software</a>. </p> http://mathoverflow.net/questions/10496/an-inequality-relating-the-factorial-to-the-primorial An inequality relating the factorial to the primorial. Bruce Arnold 2010-01-02T17:34:17Z 2010-01-03T15:59:23Z <p>Let [a,b] = {k integer | a &lt; k &lt;= b}. Further let <br></p> <ul> <li>Comp[a,b] = product_{c in [a,b]} c composite; <br></li> <li>Fact[a,b] = product_{k in [a,b]} k integer; <br></li> <li>Prim[a,b] = product_{p in [a,b]} p prime.</li> </ul> <p><i>Question</i>: For n > 2 and n not in {10,15,27,39} is it true that</p> <p>$$\text{Comp}[{\left\lfloor n /2 \right\rfloor}, n] &lt; \text{Fact}[1, {\left\lfloor n /2 \right\rfloor}] \ \text{Prim}[{\left\lfloor n /2 \right\rfloor}, n] \ ?$$</p> <p><i>Update</i>: The state of affairs: Gjergji Zaimi showed that for large enough n the inequality is true. In my answer I affirm that the inequality is true in the range 40 &lt;= n &lt;= 10^5. It remains open whether 10^5 is 'large enough' in the sense of Gjergji's analysis.</p> http://mathoverflow.net/questions/10496/an-inequality-relating-the-factorial-to-the-primorial/10595#10595 Answer by Bruce Arnold for An inequality relating the factorial to the primorial. Bruce Arnold 2010-01-03T15:57:22Z 2010-01-03T15:57:22Z <p>A computational approach to the Compositorial-Factorial-Primorial Inequality (CFPI).</p> <p>Let $u_{0}=1,u_{1}=1,u_{2}=1/2$ and for $n>2$ define $u_{n}$ by $${\text{if}\ n\ \ \text{odd} \ \text{then }\text{if}\ n\ \ prime\ \ \text{then } \ u_{n}=1/n\text{ else }u_{n}=n\ \text{fi}\ \text{fi};}$$ $${\text{if}\ n\ \text{even}\ \text{then } \text{if}\ n/2\ prime\ \text{then}\ u_{n} =n\text{ else }u_{n}=4/n\ \text{fi}\ \text{fi}.}$$ Let the sequence of partial products of $u_{n}$ given by $U_{0}=1$ and $$U_{n}=U_{n-1}u_{n}\quad\left( n>0\right) .$$ The CFPI as stated in the question is equivalent to the statement $$\text{numerator }U_{n}&lt;\text{denominator }U_{n}\quad\left(n\geq40\right) .$$</p> <p>Using this algorithm I checked the CFPI in the range $40 \leq n \leq 10^5$ and found no counterexamples.</p> http://mathoverflow.net/questions/10124/the-factorial-of-1-2-3/10195#10195 Answer by Bruce Arnold for The factorial of -1, -2, -3, ... Bruce Arnold 2009-12-30T23:46:51Z 2009-12-30T23:46:51Z <p>My question was intended somewhat along the line: Assume the Gamma function is not yet invented and Goldbach asks you the question: "What is (-n)! ?" You know that Goldbach expects a combinatorial answer in the domain of integer or rational numbers. What would you answer? I will give my answer in this sens.</p> <p>Looking at GKP's ConMath, Table 253, the combined Stirling triangles in their dual form, we see: If we sum the columns in this triangle for k &lt; 0 we get the factorial numbers, if we sum the rows for k > 0 we get the Bell numbers.</p> <p>What about saying the Bell numbers are the factorial numbers at negative integers? Is the answer encoded in one of the most important triangles in combinatorics? </p> <p>See what <a href="http://arxiv.org/abs/math/9205211" rel="nofollow">Knuth</a> says about the origin of this duality (table on page 11). </p> <p><br/> {120} <br/> ......{24} <br/> .1,.......{6} <br/> 10, .1,......{2} <br/> 35, .6, .1,.....{1} <br/> 50, 11, 3, 1, <br/> 24, .6, 2, 1, 1,....{1} <br/> .0, .0, 0, 0, 0, 1, <br/> .0, .0, 0, 0, 0, 0, 1,...{1} <br/> .0, .0, 0, 0, 0, 0, 1, .1,....{2} <br/> .0, .0, 0, 0, 0, 0, 1, .3, .1,....{5} <br/> .0, .0, 0, 0, 0, 0, 1, .7, .6, .1,....{15} <br/> .0, .0, 0, 0, 0, 0, 1, 15, 25, 10, 1,....{52} <br/></p> http://mathoverflow.net/questions/9878/a-product-of-gamma-values-over-the-numbers-coprime-to-n A product of gamma values over the numbers coprime to n. Bruce Arnold 2009-12-27T12:38:35Z 2009-12-27T18:13:51Z <p>Let &phi;(n) denote Euler's totient function and k $\perp$ n denote that k, n are integers and relatively prime. Let N = &phi;(n) + 1. If n is not a prime power $$\prod_{\substack{0 &lt; k &lt; n, \ k \perp n }} \Gamma \left(\frac{k}{n}\right) = \sqrt{N}\prod_{ 0 &lt; k &lt; N}\Gamma \left(\frac{k}{N}\right) \quad (n \neq p^a) .$$ This identity was proved <a href="http://arxiv.org/abs/0909.1838" rel="nofollow">here</a> as a corollary to some other identities, but the authors asked: is there some natural direct proof of this formula?´´ </p> http://mathoverflow.net/questions/9746/who-invented-the-gamma-function/9828#9828 Answer by Bruce Arnold for Who invented the gamma function? Bruce Arnold 2009-12-26T23:00:48Z 2009-12-26T23:00:48Z <p>The first person who gave a representation of the so called gamma function was Daniel Bernoulli in a letter to Goldbach from 1729-10-06. The letter can be seen <a href="http://commons.wikimedia.org/wiki/File%3ADanielBernoulliLetterToGoldbach-1729-10-06.jpg" rel="nofollow">here</a>. </p> <p>The formula reads in modern notation as given by Gronau in the article cited in the answer: </p> <p>$x! = \lim_{n\rightarrow \infty}\left(n+1+\frac{x}{2}\right)^{x-1} \prod_{i=1}^n\frac{i+1}{i+x}$</p> <p>Gronau also observes that "Numerical experiments show that the formula of Bernoulli converges much faster to its limit than that of Euler ...", "that of Euler" refers here to a formula Euler has given in a letter to Goldbach dated 1729-10-13. </p> <p>Gronau writes: "Euler who, at that time, stayed together with D. Bernoulli in St. Petersburg gave a similar representation of this interpolating function. But then, Euler did much more. He gave further representations by integrals, and formulated interesting theorems on the properties of this function." </p> <p>Though this justifies the name 'Euler gamma function' Euler's representation was historically only second to Daniel Bernoulli's.</p> <p>The correspondence between Goldbach, Daniel Bernoulli and Euler which undoubtedly gave birth to the gamma function is well documented in Paul Heinrich Fuss's „Correspondance mathématique et physique de quelques célèbres géomètres du XVIIIeme siècle ..“, St. Pétersbourg, 1843. </p> http://mathoverflow.net/questions/73297/whats-so-schematic-about-schemes/73304#73304 Comment by Bruce Arnold Bruce Arnold 2011-08-21T09:32:59Z 2011-08-21T09:32:59Z The 'infini' in &quot;&#233;ventail (infini) de vari&#233;t&#233;s&quot; does not match with a hand fan - it suggest much more the botanic meaning and a fractal nature, something like this 'magic fan' <a href="http://www.fraktalwelt.de/myhome/images/farn.gif" rel="nofollow">fraktalwelt.de/myhome/images/farn.gif</a>. http://mathoverflow.net/questions/49303/mazurs-unpublished-manuscript-on-primes-and-knots/55488#55488 Comment by Bruce Arnold Bruce Arnold 2011-05-31T19:07:47Z 2011-05-31T19:07:47Z See also Lieven le Bruyn's blog <a href="http://www.neverendingbooks.org/index.php/who-dreamed-up-the-primesknots-analogy.html" rel="nofollow">neverendingbooks.org/index.php/&hellip;</a> http://mathoverflow.net/questions/57031/biography-of-felix-hausdorff Comment by Bruce Arnold Bruce Arnold 2011-03-02T14:58:43Z 2011-03-02T14:58:43Z Only short &lt;a href=&quot;<a href="http://books.google.de/books?id=J8TBXux80G0C&amp;lpg=PP1&amp;ots=JR9pRXQzYj&amp;dq=deiser%20mengenlehre&amp;pg=PA407#v=onepage&amp;q&amp;f=false&quot;&gt;overview&lt;/a&gt" rel="nofollow">books.google.de/&hellip;</a>;. http://mathoverflow.net/questions/53603/has-fn-prod-p-rm-prime-p-1np-been-studied/53606#53606 Comment by Bruce Arnold Bruce Arnold 2011-01-28T15:15:32Z 2011-01-28T15:15:32Z See also <a href="http://oeis.org/A160014" rel="nofollow">oeis.org/A160014</a> http://mathoverflow.net/questions/9746/who-invented-the-gamma-function/48825#48825 Comment by Bruce Arnold Bruce Arnold 2010-12-10T17:35:45Z 2010-12-10T17:35:45Z Well of course, these three noble men discussed this subject for a long time. Do you think the sentence you cite sheds any new light on the matter resp. doubt that Daniel Bernoulli was the first to come up with the gamma function? Since my Latin is a little bit rusty I might not be able to extract further relevant information from this letter; on the other hand Bernoulli in his letter, which he wrote a week earlier, gives not the slightest indication that he had the &quot;term general pour la suite 1, 1*2, 1*2*3, etc.&quot; from Euler. He would certainly have mentioned this if it had been the case. http://mathoverflow.net/questions/41994/basic-software-libraries-for-numerical-analysis-using-modern-programming-language Comment by Bruce Arnold Bruce Arnold 2010-11-30T23:07:20Z 2010-11-30T23:07:20Z Have a look at <a href="http://numerics.mathdotnet.com/" rel="nofollow">numerics.mathdotnet.com</a> . http://mathoverflow.net/questions/45923/divisibility-of-a-binomial-coefficient-by-p2-current-status Comment by Bruce Arnold Bruce Arnold 2010-11-13T21:47:23Z 2010-11-13T21:47:23Z This might also interest you: Robert J Betts, Lack of divisibility of C(2N,N) by three fixed odd primes infinitely often, ... [1010.3070] at arXiv. http://mathoverflow.net/questions/45185/pseudonyms-of-famous-mathematicians/45208#45208 Comment by Bruce Arnold Bruce Arnold 2010-11-07T21:19:27Z 2010-11-07T21:19:27Z Andr&#233; Weil was the author of the first article of Nicolas Bourbaki. Bourbaki N.: Sur un th&#233;oreme de Carath&#233;odory et la mesure dans les espaces topologiques. C. R. Acad. sci. Paris 201 (1935), 1309-1311. Zbl 0013.15503 http://mathoverflow.net/questions/42929/suggestions-for-good-notation/42932#42932 Comment by Bruce Arnold Bruce Arnold 2010-10-22T15:46:56Z 2010-10-22T15:46:56Z With Knuth's proposal to write $k \perp n$ for k relatively prime to n' we can write by the Moebius inversion formula $\sum_{1 \le k \le n} \left[ k \perp n \right] = \sum_{1 \le k \le n} \left[ k \mid n \right] \mu\left(\frac{n}{k}\right).$ Note that by the conventions of the Iverson bracket when the Iverson-bracketed statement is false, it annihilates anything it is multiplied by - even if that other factor is undefined'. http://mathoverflow.net/questions/42929/suggestions-for-good-notation/43006#43006 Comment by Bruce Arnold Bruce Arnold 2010-10-21T13:50:05Z 2010-10-21T13:50:05Z Knuth's &lt;i&gt; x to the n falling &lt;/i&gt; is $x^{\underline{n}}$, not $x_{\underline{n}}$. http://mathoverflow.net/questions/40920/what-if-current-foundations-of-mathematics-are-inconsistent/41030#41030 Comment by Bruce Arnold Bruce Arnold 2010-10-04T20:59:34Z 2010-10-04T20:59:34Z Thus Paul Feyerabend's &quot;Great scientists are methodological opportunists who use any moves that come to hand, even if they thereby violate canons of empiricist methodology&quot; translates into &quot;Great mathematicans are foundational opportunists who use any moves that come to hand, even if they thereby violate canons of logical methodology&quot;? http://mathoverflow.net/questions/39096/how-to-distribute-the-source-of-programs-used-in-a-paper/39104#39104 Comment by Bruce Arnold Bruce Arnold 2010-09-17T16:40:37Z 2010-09-17T16:40:37Z I agree. However, the life-span of a personal webpage is much shorter than the life time of its owner. Therefore a repository for such software should be set up and sponsored. For example by using the \$1 mil. prize the Clay Institute is looking to spend for the benefit of mathematics. Let me suggest: 1/3 mil. for MO, 1/3 mil. for the arXiv and 1/3 mil. for a mathematical software repository. This would &quot;increase and disseminate mathematical knowledge&quot; and maybe such a solution would also please Perelman as it would acknowledge the way he shared his work with the public? http://mathoverflow.net/questions/33358/fields-medalist Comment by Bruce Arnold Bruce Arnold 2010-07-26T07:06:20Z 2010-07-26T07:06:20Z I can confirm that there are at least 6 errors in way you wrote the 3 names. http://mathoverflow.net/questions/31741/largest-pair-of-homometric-golomb-rulers Comment by Bruce Arnold Bruce Arnold 2010-07-13T19:47:21Z 2010-07-13T19:47:21Z Be careful! Optimal rulers are not necessarily Golomb rulers. There are 4 homometric optimal rulers of length 123 and a homometric pair of length 138 is known. Look around at the given site. http://mathoverflow.net/questions/31741/largest-pair-of-homometric-golomb-rulers Comment by Bruce Arnold Bruce Arnold 2010-07-13T19:12:36Z 2010-07-13T19:12:36Z Some information on the related 'optimal rulers' can be found on this page: <a href="http://www.luschny.de/math/rulers/optimallist.html" rel="nofollow">luschny.de/math/rulers/optimallist.html</a>