Intuition Behind a Decimal Representation with Catalan Numbers - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T03:37:51Z http://mathoverflow.net/feeds/question/108216 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/108216/intuition-behind-a-decimal-representation-with-catalan-numbers Intuition Behind a Decimal Representation with Catalan Numbers Benjamin Dickman 2012-09-27T07:15:28Z 2012-09-28T00:20:45Z <p>From $0 = 0.5 - 0.5 = 0.5 - \sqrt{0.25}$, we can adjust the subtrahend slightly to obtain</p> <p>$$0.5 - \sqrt{0.249} = 0.001\ 001\ 002\ 005\ 014\ 042\ldots$$</p> <p>where the decimal representation contains the first few Catalan numbers: $1, 1, 2, 5, 14, 42 \ldots$</p> <p>We can see even more Catalan numbers (albeit spaced apart with more $0$s) by using more $9$s. </p> <p>(For example, check the decimal representation of $0.5 - \sqrt{0.24999999999}$.)</p> <p>My question is not how to show this formally; it is a straightforward problem to show how one derives, e.g., the decimal representation given above. (I'll include a derivation below for anyone who doesn't want to think this through her/himself.)</p> <p>Instead, my <strong>question</strong> is: why would it make sense, <em>intuitively</em>, for the Catalan numbers to show up in these decimal representations?</p> <hr> <p><strong>Derivation:</strong></p> <p>Recall that the generating function for the Catalan numbers $c(x)$ satisfies $c(x) = 1 + xc(x)^2$. Rearranging, we find that $c(x) = \frac{2}{1 + \sqrt{1 - 4x}}.$ Then</p> <p>$$\sum_{n = 0}^{\infty}\frac{C_n}{10^{3n + 3}} = \frac{1}{1000}\sum_{n=0}^{\infty}\frac{C_n}{1000^{n}} = x \sum_{n=0}^{\infty}C_n x^n = xc(x) = \frac{2x}{1 + \sqrt{1 - 4x}},$$</p> <p>where we have simplified our computations by letting $x = \frac{1}{1000}$.</p> <p>Evaluating at this value of $x$ yields $0.5 - \sqrt{0.249}$.</p> http://mathoverflow.net/questions/108216/intuition-behind-a-decimal-representation-with-catalan-numbers/108218#108218 Answer by Pietro Majer for Intuition Behind a Decimal Representation with Catalan Numbers Pietro Majer 2012-09-27T08:09:50Z 2012-09-27T08:09:50Z <p>As a general fact, I think, <em>intuitive</em> is not an absolute notion. Working enough time on a mathematical subject has the effect of developping a number of authomatisms in the reasoning about that subject. This makes facts and constructions appear more intuitive, in that, we seem to acquire knowledge on them without use of reason. This phenomenon appears very clearly when you talk with an expert on a subject you do not know... </p> http://mathoverflow.net/questions/108216/intuition-behind-a-decimal-representation-with-catalan-numbers/108261#108261 Answer by Qiaochu Yuan for Intuition Behind a Decimal Representation with Catalan Numbers Qiaochu Yuan 2012-09-27T16:41:25Z 2012-09-27T16:41:25Z <p>Whenever you want to invert a function you should think about <a href="http://en.wikipedia.org/wiki/Lagrange_inversion_theorem" rel="nofollow">Lagrange inversion</a>. In this case you want to invert a quadratic function. Lagrange inversion happens to have an elegant proof using trees which can be found, for example, in Stanley's <em>Enumerative Combinatorics</em> (Vol. II). This proof interprets an implicit identity satisfied by a generating function (such as the one satisfied by the generating function for the Catalan numbers) as recursively describing a certain kind of tree; for much more on this point of view, see Bergeron, Labelle, and Leroux's <em>Combinatorial Species and Tree-Like Structures.</em> Specializing to this case gets you one of the flavors of trees counted by the Catalan numbers. </p> <p>(But this is not the train of thought that would have actually occurred to me because the Catalan numbers are more familiar than Lagrange inversion; I just look for $\sqrt{1 - 4x}$ everywhere, and in this problem I see $\sqrt{ \frac{1}{4} - x}$, so... )</p> http://mathoverflow.net/questions/108216/intuition-behind-a-decimal-representation-with-catalan-numbers/108268#108268 Answer by Aaron Meyerowitz for Intuition Behind a Decimal Representation with Catalan Numbers Aaron Meyerowitz 2012-09-27T17:27:05Z 2012-09-28T00:20:45Z <p>To make it less surprising is to fade some of the magic! But, ok. </p> <p>First let us say that any real sequence $a_1,a_2,\cdots$ has an ordinary generating function (ogf) $f(x)=\sum a_ix^i$ which may be a formal series with radius of convergence $0$ (and still be useful) BUT if the $a_i$ are positive integers and $f(x)$ converges at $\frac{1}{b^k}$ then $f(\frac{1}{b^k})$ is a number whose base $b$ expansion is the sequence $a_i$ buffered by $0$'s until they start to bump into each other. I'll stick to $b=10$ and I'll use $(10^{-j})f(10^{-k})$ if there is an $a_0$ term I want to shift past the decimal point. </p> <p>So the question might be which series have a nice ogf? That the Catalan numbers do is very nice.</p> <p>From $\frac{1}{(1-x)^k}=\sum \binom{k+i}{k}x^i$ one obtains</p> <p>$\frac{1}{0.9998}=0.10002000400080016003200640128025605121024$</p> <p>$\frac{1}{10(0.999)^2}=0.10002000300040005000600070008000900100011$</p> <p>$\frac{1}{10(0.999)^3}=0.10003000600100015002100280036004500550066$</p> <p>Since $\binom{i}{2}+\binom{i+1}{2}=i^2$, </p> <p>we can use $(\frac{1}{10}+\frac{1}{100000})\frac{1}{(1-x)^3}$ at $x=0.0001$ to get</p> <p>$\frac{1.0001}{10(0.999)^3}=\frac{100010000000}{999700029999}=0.100040009001600250036004900640081010001210$</p> <p>But it is more productive to use $\binom{i}{1}+2\binom{i}{2}=i^2$ for </p> <p>$\frac{1}{10(1-x)^2}+\frac{1}{5000(1-x)^3}.$ Another function which coincides with the previous one at $x=0.0001.$ So the same rational but obtained another way. This second approach makes it clear how to get any polynomial sequence $a_i=p(i).$</p> <p>This already seems less fun. So thinking of a dramatic last target, the Fibonacci numbers remind us that anything given by a recurrence relation (linear, with constant coefficients...) has a nice ogf.</p> <p>At $x=\frac{1}{100}$, </p> <p>$\frac{1}{10(1-x-x^2)}=\frac{100000}{998999}=0.1001002003005008013021034055089144$</p> <p>A cute point is that all my examples (none of which are as nice as yours) lead to a rational number so as the $a_i$ increase in size and overlap they result in an eventually repeating decimal. For example the base $10$ "Fibonacci" rational I gave has period $496620$ while $\frac{10}{89}=0.\overline{11235955056179775280898876404494382022471910}$</p>