User benjamin dickman - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T00:42:34Z http://mathoverflow.net/feeds/user/22971 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/132036/can-you-prove-the-fundamental-theorem-of-algebra-just-using-fixed-point-theory/132080#132080 Answer by Benjamin Dickman for Can you prove the Fundamental Theorem of Algebra just using fixed point theory? Benjamin Dickman 2013-05-28T05:50:23Z 2013-06-05T14:39:52Z <p>Rather than reading the wall of text above, I am basing my reply off of <a href="http://mathoverflow.net/questions/132036/can-you-prove-the-fundamental-theorm-of-algebra-just-using-fixed-point-theory/132038#132038" rel="nofollow">the answer already provided</a>:</p> <p>The Arnold proof is well known to be erroneous, but a correct (as far as I know) version is cited in an earlier MO post <a href="http://mathoverflow.net/questions/19272/applications-of-brouwers-fixed-point-theorem/112779#112779" rel="nofollow">here</a>. In particular, it is a proof of the FTA via the Brouwer Fixed Point Theorem.</p> <p>The latter source is: </p> <p>Some Properties of Continuous Functions. M. K. Fort, Jr. The American Mathematical Monthly, Vol. 59, No. 6 (Jun. - Jul., 1952), pp. 372-375. <a href="http://www.jstor.org/stable/2306806" rel="nofollow">http://www.jstor.org/stable/2306806</a>.</p> <p>[<strong>Edit:</strong> Todd Trimble has kindly provided a link to the Fort paper that does not require jstor access.]</p> <p>Separately, I see the following quotation:</p> <p>"Recently, there have been very interesting proofs of the Brouwer theorem. Kulpa deduced a generalization of the Brouwer theorem from the Fubini theorem and the Weierstrass approximation theorem, and applied it to give a simple proof of the fundamental theorem of algebra."</p> <p>The source of this excerpt is: </p> <p>Park, S. (1999). Ninety years of the Brouwer fixed point theorem. Vietnam Journal of Mathematics, 27(3), 187-222. <a href="http://www.math.ac.vn/publications/vjm/vjm_27/No.3/187-222_Park.PDF" rel="nofollow">http://www.math.ac.vn/publications/vjm/vjm_27/No.3/187-222_Park.PDF</a></p> <p>And the reference under discussion is:</p> <p>W. Kulpa, An integral criterion for coincidence property, Radovi Mat.6 (1990) 313-321.</p> <p>I gathered this information at the request of D. Goroff some time ago, at which point my search for the Kulpa paper was, unfortunately, fruitless. <strong>If anyone can find an accessible copy of this paper, I would be most interested in it (and I know he would be as well).</strong></p> http://mathoverflow.net/questions/131176/question-about-tetrahedron-decomposition/131372#131372 Answer by Benjamin Dickman for Question about tetrahedron decomposition Benjamin Dickman 2013-05-21T18:23:44Z 2013-05-21T20:33:56Z <p>In the case where the three parts are each congruent to one another, the answer to your question is <strong>no</strong>: there is no such decomposition of a tetrahedron.</p> <p>The terminology needed to find such an answer in the literature is "reptile" or "$k$-reptile simplices."</p> <p><strong>Citation for proof:</strong></p> <p>Safernová, Z.: Perfect tilings of simplices. Bc. degree thesis. Charles University, Prague (2008).</p> <p>Unfortunately (for many) this thesis is written in Czech.</p> <p>Fortunately, though, there is a more general paper on this topic, entitled "<a href="http://link.springer.com/article/10.1007/s00454-011-9334-z" rel="nofollow">On the Nonexistence of $k$-reptile Tetrahedra</a>." In particular, see <strong>Theorem 1.1</strong> (p. 600, pdf 2/11) for the citation above; alternatively, see page 2 of the arxiv version <a href="http://arxiv.org/pdf/1006.1807.pdf" rel="nofollow">here</a>.</p> <p>The citation for this latter paper is:</p> <p>Matoušek, J., &amp; Safernová, Z. (2011). On the Nonexistence of k-reptile Tetrahedra. Discrete &amp; Computational Geometry, 46(3), 599-609.</p> <p>If you relax the condition and require the simplices be similar to one another but not necessarily congruent, then the term "irreptile" is sometimes used (at least in the $2D$ case). Sadly, I do not know of any work on $k$-irreptile tetrahedra.</p> http://mathoverflow.net/questions/124011/similarities-between-posts-problem-and-cohens-forcing Similarities between Post's Problem and Cohen's Forcing Benjamin Dickman 2013-03-08T19:55:21Z 2013-03-16T06:46:32Z <p><strong>Remark:</strong> I have since learned that G.H. Moore addresses this question in the third reference listed at the end of this post, beginning on p. 157 in which he cites a letter from Kreisel to Gödel dated 4/15/63, followed by the parenthetical note: <em>Thus Kreisel saw an analogy between forcing and Friedberg's [1957] priority argument.</em> The following page suggests other logicians agree <em>that forcing was implicit in priority arguments from recursion theory</em> (p. 158) and mentions Kunen (who is cited in one of the answers here). On the same page, it is mentioned that Kreisel claimed <em>he had a form of forcing in his interpretation of intuitionism</em> in the 1961 paper "Set-theoretic problems suggested by the notion of potential infinity." However, Moore contends that Cohen was the first to use forcing and related ideas in Set Theory. Nevertheless, I am grateful for the responses thus far, and would warmly welcome further clarification regarding my question below from other experts in the area of Set Theory and/or Mathematical Logic.</p> <hr> <p><strong>Background:</strong> Paul Cohen began to think deeply about the Continuum Hypothesis in 1962, and published his proof of its independence (in two parts) by the following year. Of course, there were earlier mathematical moments that led to his "discovery of forcing," including his familiarity with Skolem's work (in particular, the <a href="http://en.wikipedia.org/wiki/Lowenheim%E2%80%93Skolem_theorem" rel="nofollow">Löwenheim–Skolem theorem</a>) and a desire to think in terms of "decision procedures." I will include a few relevant references at the end of this question, including a retrospective/introspective piece by Cohen himself.</p> <p>My <strong>question</strong> concerns an occurrence in 1957, when Richard Friedberg provided a solution to Post's Problem. First, allow me to transcribe an excerpt from Cohen's talk at the <a href="http://www.youtube.com/watch?v=1qSSZqzfY9U&amp;t=7m46s" rel="nofollow">2006 Gödel centennial</a>:</p> <p><em>At that time there was great interest among Raymond [Smullyan] and some other people about the Post Problem. And that’s a problem which could have interested me; it had a mathematical flavor to it. But I never thought about it, and occasionally we’d have coffee and I’d hear these people talk about it. But one day, someone came to my office and said, “This problem’s been solved.” And I said, “Really?” “Yes, here’s the letter. I can’t believe it’s true!” And he gave it to me and I read it. I went to the blackboard, took some chalk, and I said, “Well, it seems right.” This is the proof by Friedberg – and so that was my only contact with logic at that point. But I still never lost this idea of somehow thinking about the foundations of mathematics: trying to find some kind of inductive technique for simplifying propositions; perhaps leading to a decision procedure, when impossible.</em></p> <p>This talk is summed up in the introduction to a re-printing of "Set Theory and the Continuum Hypothesis" (Cohen, 2008) in which the remarks corresponding to the above excerpt are:</p> <p><em>A small group of students were very interested in Emil Post's problem about maximal degree of unsolvability. I did dally with the thought of working on it, but in the end did not. Suddenly, one day a letter arrived containing a sketch of the solution by Richard Friedberg (Friedberg, 1957), and it was brought to my office. Amidst a certain degree of skepticism, I checked the proof and could find nothing wrong. It was exactly the kind of thing I would like to have done. I mentally resolved that I would not let an opportunity like that pass me again.</em></p> <p>I find the last sentence of this latter quotation rather interesting, particularly since it concerns a time five years before Cohen's work on ~CH officially commenced. A quick check of <a href="http://en.wikipedia.org/wiki/Post%27s_problem" rel="nofollow">Wikipedia</a> gives a problem statement and solution (i.e., the priority method) that sound remarkably similar, at least on the superficial level, to Cohen's subsequent work with forcing. Unfortunately, work on Turing degrees falls well outside of my bailiwick.</p> <p><strong>Question:</strong> Can someone who specializes in Set Theory or Mathematical Logic comment on the similarities between Post's problem/the priority method and ~CH/Cohen's forcing? In particular, is there reason to believe that what was Cohen's "only contact with logic" by 1957 would have contributed in a meaningful (mathematical) way to his work half a decade later?</p> <hr> <p><strong>References:</strong></p> <p>Cohen, P. (2002). The discovery of forcing. Rocky Mountain Journal of Mathematics, 32(4).</p> <p>Kanamori, A. (2008). Cohen and set theory. The Bulletin of Symbolic Logic, 351-378. </p> <p>Moore, G. H. (1988). The origins of forcing, Logic Colloquium ’86. Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 143-173.</p> http://mathoverflow.net/questions/107298/realizable-order-sequences-for-finite-groups Realizable Order Sequences for Finite Groups Benjamin Dickman 2012-09-16T03:17:04Z 2013-02-02T01:17:34Z <p>My post is motivated at least in part by this <a href="http://mathoverflow.net/questions/104183/order-increasing-bijection-from-arbitrary-groups-to-cyclic-groups" rel="nofollow">MO question</a>. </p> <p>Has there been any work done on realizable order sequences for finite groups? By an "order sequence" I mean a non-decreasing list of the orders of the elements of the group. By "realizable" I mean there is some finite group that has that particular order sequence.</p> <p>For example, $(1, 2, 4, 4)$ is a realizable order sequence; it is the order sequence of $\mathbb{Z}/4\mathbb{Z}$.</p> <p>Is this something that has been studied in any depth? (Perhaps under a different name?) Are there any non-trivial theorems about realizable order sequences? (Examples of trivial theorems: ones that fall immediately out of Lagrange's Theorem; the degree sequence of $\mathbb{Z}/n\mathbb{Z}$)</p> <p>I know that there are some nice theorems about degree sequences in graph theory (e.g., Erdős-Gallai theorem; Havel-Hakimi theorem), and though I have seen "order sequence" defined in a few Abstract Algebra texts, I have yet to come across any results of much interest.</p> <p>I also wonder whether results such as <a href="http://www.jstor.org/stable/2324168" rel="nofollow">this problem solution</a> (Problem 6636, F. Schmidt, Amer. Math. Monthly, Vol. 98, No. 10 (Dec., 1991), pp. 970-972) or <a href="http://www.tandfonline.com/doi/abs/10.1080/00927870802502530" rel="nofollow">this paper</a> (Isaacs et al (2009). Sums of element orders in finite groups. Commun. Alg. 37(9):2978-2980) contain ideas that would be applicable to such a topic.</p> <p>Finally, is there an easily accessible (and organized) database that lists order sequences for all finite groups up to a certain not-too-small size? <hr> <strong>Edit 1:</strong> Is anyone up to computing such a list and posting it somewhere accessible?</p> <p><hr> <strong>Edit 2:</strong> Now that Alexander Gruber has kindly posted computations for a fair number of order sequences, I wonder: <strong>(a)</strong> when does the same order sequence correspond to more than one group? <strong>(b)</strong> given an order sequence that corresponds to precisely one group, how difficult is it to recover the corresponding group's structure?</p> <p><hr> <strong>Edit 3:</strong> Mr. Gruber has <a href="http://math.stackexchange.com/questions/219993/recovering-a-finite-groups-structure-from-the-order-of-its-elements" rel="nofollow">most recently</a> pointed me toward a related area of research on "OD-characterizability." One mathematician who has done a fair bit of work in this area is AR Moghaddamfar. See, for example, <a href="http://www.worldscientific.com/doi/abs/10.1142/S1005386708000424" rel="nofollow">Recognizing Finite Groups Through Order and Degree Pattern</a>.</p> http://mathoverflow.net/questions/117904/elementary-examples-of-the-weil-conjectures/118023#118023 Answer by Benjamin Dickman for Elementary examples of the Weil conjectures Benjamin Dickman 2013-01-04T04:52:41Z 2013-01-04T05:47:27Z <p>Perhaps the following two examples would be of interest to you; my apologies if they are too simple.</p> <p><strong>Notation:</strong> (in accordance with Koblitz's "p-adic Numbers, p-adic Analysis, and Zeta-Functions")</p> <p>Given $f \in \mathbb{F}_{q}[X_1, \ldots, X_n]$ let us define a sequence $N_s = |(H_{f} (\mathbb{F}_{q^s})|$, where $H_f(K) :=${$(x_1, \ldots, x_n) \in \mathbb{A}^{n}_{K} | f(x_1, \ldots, x_n) = 0$}.</p> <p>The zeta function is then defined for a hyperplane $H_f$ and field $\mathbb{F}_q$ by</p> <p>$$Z(T) = \exp\big(\sum_{s=1}^{\infty} N_s T^s /s\big)$$</p> <p>Before giving a few examples of the rationality of $Z(T)$, we recall the Maclaurin series</p> <p>$$-\log(1 - T) = \sum_{s=1}^{\infty}T^s / s$$</p> <p><strong>Example 1.</strong> $f(x_1, \ldots, x_n) \equiv 0$. Then $N_s =|{\mathbb{A}}_{\mathbb{F}_{q^s}}^{n}| = q^{ns}$, so that we find $Z(T)$ becomes</p> <p>$$\exp\big(\sum_{s=1}^{\infty} N_s T^s /s\big) = \exp\big(\sum_{s=1}^{\infty} (q^n T)^s /s\big) = \exp(-\log(1-q^n T)) = 1/(1 - q^n T)$$</p> <p><strong>Example 2.</strong> Let $f = x_1 x_4 - x_2 x_3 - 1$. We now consider two cases:</p> <p><em>Case 1.</em> $x_3 = 0$. Then $x_1 x_4 - x_2 x_3 = 1$ becomes $x_1 x_4 = 1$. Since $x_2$ is out of the equation, it can be any element of $\mathbb{F}_{q^s}$. Thus, there are $q^s$ choices for $x_2$. Meanwhile, $x_1$ can be any nonzero element of $\mathbb{F}_{q^s}$, and in each case this will determine $x_4$. Hence there are $q^s(q^s - 1) = q^{2s} - q^s$ points in $H_f$ when $x_3 = 0$. </p> <p><em>Case 2.</em> $x_3 \neq 0$. Then $x_1$ and $x_4$ can be any elements of $F_{q^s}$, and $x_3$ can be any nonzero element of $F_{q^s}$. But this completely determines $x_2$, so that there are $q^s q^s (q^s - 1) = q^{3s} - q^{2s}$ points in $H_f$ when $x_3 \neq 0$.</p> <p>Therefore, $N_s = q^{3s} - q^{2s} + q^{2s} - q^{s} = q^{3s} - q^{s}$, whence the zeta-function $Z(T)$ is</p> <p>$$\frac{\exp(\sum_{s=1}^{\infty}q^{3s}T^s /s)}{\exp(\sum_{s=1}^{\infty}q^s T^s /s)} = \frac{1 - qT}{1 - q^3 T}$$</p> <p><strong>Note:</strong> The case for an affine variety $H_{f_1, \ldots, f_m}$ follows from the affine hypersurface $H_f$ case by a simple application of the Inclusion/Exclusion Principle. Bearing this in mind, it shouldn't be too hard to construct examples similar to those above over a variety for which the rationality can be witnessed directly. I imagine this would be somewhat tedious, though.</p> http://mathoverflow.net/questions/109582/seeking-a-geometric-proof-of-a-generalized-alternating-series-convergence Seeking a Geometric Proof of a Generalized Alternating Series' Convergence Benjamin Dickman 2012-10-14T05:46:00Z 2012-12-29T05:48:41Z <p>Let $z \in \mathbb{C} \backslash \lbrace 1 \rbrace$ with $|z| = 1$. We consider the following infinite series, which necessarily converges: $$S(z) := \sum_{n = 1}^{\infty}\frac{z^n}{n}$$</p> <p>Note that $S(-1)$ is the alternating harmonic series.</p> <p>A straightforward application of the <a href="http://www.mathreference.com/lc-ser,diri.html" rel="nofollow">Dirichlet Convergence Test</a> proves any such series converges, but I feel this is a bit like killing a fly with a sledgehammer. (I realize some of you might not think this test is a sledgehammer; I wonder also whether this series is a fly.) In any event, I'm wondering whether there is a way to prove convergence using only a simple geometric argument (with some basic analysis).</p> <p>For example, we can think of $S(i)$ as taking steps in the plane of length $1/n$, but turning ninety degrees after each one. Then the partial sums correspond to a nested sequence of squares, where the area of the squares is clearly converging to $0$. Thus, an argument using the Nested Interval Property (or really its corresponding $2D$ version) indicates that the series converges.</p> <p>More generally, I'd think that because we are taking steps of size decreasing to $0$ and rotating by the same amount after each step, there should be a general geometric argument for why $S(z)$ will converge. Ideally, I'd like to have a proof that could be made accessible to early Calculus students, even if not every step is presented in fully rigorous form.</p> <p>For clarity's sake, I will directly state my <strong>question:</strong> How does one prove $S(z)$ converges using a simple geometric argument that relies at most on basic analysis (e.g., makes no appeal to stronger theorems from Complex Analysis)?</p> http://mathoverflow.net/questions/117307/permuting-racked-pool-balls-with-a-single-break Permuting Racked Pool Balls with a Single Break Benjamin Dickman 2012-12-27T07:28:30Z 2012-12-28T07:06:58Z <p>Given reasonable physical assumptions (on friction, collisions, etc.), would it be possible to "break" in a pool game such that when all the balls come to rest, the only difference is that the racked balls have been permuted non-trivially? </p> <p><strong>Example:</strong> </p> <p><img src="http://i.imgur.com/moBv2.jpg" alt="alt text"></p> <p>More generally, would any non-trivial permutation be possible?</p> http://mathoverflow.net/questions/117241/arithmetic-dynamics-and-dynamics-on-moduli-spaces/117246#117246 Answer by Benjamin Dickman for Arithmetic dynamics and dynamics on moduli spaces Benjamin Dickman 2012-12-26T11:22:01Z 2012-12-26T11:22:01Z <p>Joseph H. Silverman has compiled a long list of articles and books on arithmetic dynamical systems. </p> <p>It is available for free <a href="http://www.math.brown.edu/~jhs/ADSBIB.pdf" rel="nofollow">here</a>. (Plug for myself: I made it in at #82!)</p> http://mathoverflow.net/questions/112627/why-is-gauss-credited-with-his-connection/112635#112635 Answer by Benjamin Dickman for Why is Gauss credited with his connection? Benjamin Dickman 2012-11-17T01:48:03Z 2012-11-17T01:48:03Z <p>The short answer is <em>we</em> call it the Gauss-Manin connection because that's what Grothendieck called it. The name is attributed to Grothendieck in two early, seminal pieces: namely, <a href="http://www.springerlink.com/content/9362428463qp7843/" rel="nofollow">Katz's thesis</a> and a <a href="http://projecteuclid.org/DPubS?service=UI&amp;version=1.0&amp;verb=Display&amp;handle=euclid.kjm/1250524135" rel="nofollow">subsequent article</a> of his ("On the differentiation of De Rham cohomology classes with respect to parameters", Katz &amp; Oda).</p> <p>If you can read (some) French, look through Yves Andre's chapter in <a href="http://books.google.com/books?id=oCYuGl_9bycC&amp;lpg=PP1&amp;dq=Geometric%2520Aspects%2520of%2520Work%2520Theory%2520connection&amp;pg=PA56#v=onepage&amp;q&amp;f=false" rel="nofollow">"Geometric Aspects of Dwork Theory"</a>. If not, check through the start of this <a href="http://books.google.com/books?id=oCYuGl_9bycC&amp;lpg=PP1&amp;dq=Geometric%2520Aspects%2520of%2520Work%2520Theory%2520connection&amp;pg=PA56#v=onepage&amp;q&amp;f=false" rel="nofollow">arxiv paper</a> (through the first couple paragraphs of <strong>1.2</strong>).</p> <p>The slightly less short answer is the one Gerhard Paseman alluded to above; quoting from the aforelinked arxiv paper ("Towards a nonlinear Schwarz’s list", Philip Boalch):</p> <p>"One reason hypergeometric equations are interesting is that they provide the simplest explicit examples of <em>Gauss–Manin connections.</em> Indeed this is one reason Gauss was interested in them: he observed that the periods of a family of elliptic curves satisfy a (Gauss) hypergeometric equation. (The modern interpretation of this is as the explicit form of the natural flat connection on the vector bundle of first cohomologies over the base of the family of elliptic curves, written with respect to the basis given by the holomorphic one forms—and their derivatives—on the fibres.) Nowadays there is still much interest in such linear differential equations “coming from geometry”.</p> <p>Thus the nonlinear analogue of the Gauss hypergeometric equation should be the explicit form of the simplest nonabelian Gauss–Manin connection (i.e the explicit form of the natural connection on the bundle of first nonabelian cohomologies of some family of varieties). The simplest interesting case corresponds to taking the universal family of four punctured spheres and taking cohomology with coefficients in $SL_2(\mathbb{C})$ (one needs a non-trivial family of varieties with nonabelian fundamental groups)."</p> http://mathoverflow.net/questions/110939/origin-of-the-theorem-on-the-existence-of-the-smallest-field-of-definition-of-an/110945#110945 Answer by Benjamin Dickman for Origin of the theorem on the existence of the smallest field of definition of an affine variety Benjamin Dickman 2012-10-28T21:57:48Z 2012-10-29T03:34:04Z <p>I suspect that this theorem is indeed due to Weil. </p> <p>"Foundations of Algebraic Geometry" by Weil was published in 1946, but the 1944 paper "<a href="http://www.jstor.org/stable/1990140" rel="nofollow">Some Properties of Ideals in Rings of Power Series</a>" by Claude Chevalley (Transactions of the American Mathematical Society, Vol. 55, No. 1 (Jan., 1944), pp. 68-84) attributes to Weil the development of the theory around "ideals in polynomial rings" over a decade earlier in "Arithmetique et geometrie sur les varietes algebriques" in 1935 (see footnote on p. 83).</p> <p>Reading the <a href="http://www.ams.org/journals/bull/1936-42-09/S0002-9904-1936-06368-8/S0002-9904-1936-06368-8.pdf" rel="nofollow">AMS review</a> it seems the only other possible originators would have been Siegel, or perhaps Noether or van der Waeden. I don't have a copy of Weil's 1935 work, but you might track it down and (if you can read enough French) check for this particular result.</p> <hr> <p><strong>Edit:</strong> For remarks which are perhaps related/interesting (in terms of Weil's background and his familiarity with Kronecker's work) read from the last paragraph of page 12 <a href="http://books.google.com/books?id=YLcPxfZW47EC&amp;lpg=PA13&amp;ots=M9cEaHHZzY&amp;dq=%2522field%2520of%2520definition%2522%2520kronecker&amp;pg=PA12#v=onepage&amp;q&amp;f=false" rel="nofollow">here</a> and the referenced <a href="http://www.mathunion.org/ICM/ICM1950.2/Main/icm1950.2.0090.0102.ocr.pdf" rel="nofollow">ICM address</a> by Weil in 1950.</p> http://mathoverflow.net/questions/110800/is-there-a-function-that-determines-the-rank-of-a-multiset-after-inserting-anothe/110804#110804 Answer by Benjamin Dickman for Is there a function that determines the rank of a multiset after inserting another element? Benjamin Dickman 2012-10-27T03:24:31Z 2012-10-27T03:41:12Z <p>Start by attempting the problem for ordered multisets; once you have found a formula, go back and adjust for non-ordered multisets (if you so desire).</p> <p><strong>First, re-stating your ranks for ordered multisets:</strong> The rank of (1,1) is 6, since it's what you have and (1,0). Similarly, (0,1,1)'s rank is 10, because it has 9 multisets less than it (omitting parentheses and commas): 0, 1, 00, 01, 10, 11, 000, 001, 010. </p> <p><strong>Next:</strong> to find the rank of a lexicographically ordered multiset, concatenate the elements with an extra 1 at the start, view this as a binary number, and subtract 1 from its decimal representation. For example, (1,1) becomes 111 which is binary for 7. Now subtract 1 to get rank 6. Similarly, (0,1,1) becomes 1011 which is binary for 11. Subtract 1 to get rank 10. </p> <p>I am quite certain the above is sufficient for you to work out $f(2,x,n)$ and - though slightly more difficult - to work out $f(3,x,n)$, after which you can probably figure out $f(r,x,n)$. </p> http://mathoverflow.net/questions/108968/seeking-a-seemingly-missing-reference-of-casson/108969#108969 Answer by Benjamin Dickman for Seeking a seemingly missing reference of Casson Benjamin Dickman 2012-10-05T23:28:31Z 2012-10-08T16:38:10Z <p>According to <a href="http://projecteuclid.org/DPubS?verb=Display&amp;version=1.0&amp;service=UI&amp;handle=euclid.jdg/1214510050&amp;page=record" rel="nofollow">the following paper</a>, this invariant's introduction is sourced as: A. Casson, Lecture notes, MSRI Lectures, Berkeley, 1985.</p> <p>The first published discussion appears to be found in: S. Akbulut &amp; J. McCarthy, Casson's invariant for oriented homology 3-spheres, an exposition, Math. Notes, No. 36, Princeton Univ. Press, Princeton, 1990.</p> <hr> <p>"I don't know if he [Casson] has ever written his notes. I attended his lectures at MSRI then I went back to MSU and tried to fill in the details together with McCarthy, those notes are the result." S. Akbulut</p> <hr> <p>"<a href="https://www.dropbox.com/s/jxe820nij8bcs33/Casson%20notes.PDF" rel="nofollow">Here</a> is a pdf of hand-written notes of T. Cochran's. Page two includes annotated notes by Boyer, and I got the notes from my friend and colleague, A. Nicas." H. Boden</p> http://mathoverflow.net/questions/108598/is-xtanx-integrable-in-elementary-functions/108606#108606 Answer by Benjamin Dickman for Is x*tan(x) integrable in elementary functions? Benjamin Dickman 2012-10-02T06:48:12Z 2012-10-02T06:48:12Z <p><strong>Some thoughts on this antiderivative:</strong></p> <p>Attacking $\log(\cos x)$ using integration by parts, we find:</p> <p>$$\int \log(\cos x) = x\log(\cos x) + \int x \tan x dx$$</p> <p>So the question has now become: how do we find an antiderivative for log(cos x)?</p> <p>Next, we observe that </p> <p>$$\cos x = \frac{1}{2}(e^{ix} + e^{-ix}) = \frac{1}{2}e^{ix}(1 + e^{-2ix})$$</p> <p>Taking the log of this, we end up with:</p> <p>$$-\log 2 + ix + \log(1 + e^{-2ix})$$</p> <p>Recall that we can write </p> <p>$$\log(1 + y) = \sum_{k = 1}^{\infty} \frac{(-1)^{k+1}y^{k}}{k}$$</p> <p>We can now apply this with $y = e^{-2ix}$ as above and integrate term by term.</p> <p>Putting all these pieces together will give you a (nasty) way to integrate $x\tan x$.</p> <p>As far as showing it's not integrable in elementary functions, I suspect your best bet would be an appeal to a theorem of Liouville. See, for example, <a href="http://math.hunter.cuny.edu/ksda/papers/churchill.pdf" rel="nofollow">this link</a>. (Sorry I can't be of more help here!)</p> <p>All that said, perhaps you could ask your students some form of the following: show</p> <p>$$\int x\tan^{2}x dx = x\tan x - \frac{x^2}{2} + \log(\cos x) + C$$</p> <p>(You can find this latter, more tractable problem and its solution written out in nice detail <a href="http://mathforum.org/library/drmath/view/53700.html" rel="nofollow">here</a>.)</p> 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/105272/thurstons-senior-thesis-at-new-college/107146#107146 Answer by Benjamin Dickman for Thurston's senior thesis at New College Benjamin Dickman 2012-09-14T05:32:30Z 2012-09-14T05:32:30Z <p>I've emailed you a pdf copy of "A Constructive Foundation for Topology" by Bill Thurston (June 14, 1967; New College Senior Thesis; submitted to Roger Renne).</p> <p>In consideration of the comments above, I'm hesitant to post the file in a publicly accessible location. Perhaps the mathoverflow community can figure out whether such a posting would be appropriate.</p> http://mathoverflow.net/questions/106292/proposed-counterexample-to-a-theorem-of-differential-geometry-on-banach-manifold Proposed Counterexample to a Theorem of Differential Geometry (on Banach manifolds) Benjamin Dickman 2012-09-04T01:54:46Z 2012-09-14T05:03:00Z <p>This question stems from Jeff Rubin's earlier <a href="http://mathoverflow.net/questions/104575/under-exactly-what-extra-conditions-if-any-is-a-connected-hausdorff-manifold" rel="nofollow">MO question</a> and a <a href="http://mathoverflow.net/questions/104965/non-regular-connected-hausdorff-banach-manifold" rel="nofollow">follow-up</a> that I posted. </p> <p>The former recalls the following result proved by both Serge Lang (Fundamentals of Differential Geometry, 1999, Springer-Verlag) and Abraham, Marsden, and Ratiu (Manifolds, Tensor Analysis, and Applications, 1988, Springer-Verlag):</p> <p><strong>Theorem:</strong> A connected Hausdorff Banach manifold with a Riemannian metric is a metric space. </p> <p>That said, consider 27.6 (pdf pp. 262-263) in <a href="http://www.mat.univie.ac.at/~kriegl/Skripten/apbook.pdf" rel="nofollow">The convenient setting of global analysis</a> (AMS, 1997), and in particular the example given at the end of it, which concludes with: "Then the same results are valid, but $X$ is now even second countable."</p> <p><strong>My question:</strong> Is this second countable $X$ a counterexample to the above theorem?</p> <p>I'm hoping someone can shed some light on this matter, either by explaining why it fails as a counterexample (offhand, I'd deem this the more likely scenario) or by proving/sketching why it might actually suffice.</p> <hr> <p><b>Edit 1:</b> Here's a sketch of why one might even consider this example:</p> <p>If indeed the proposed space $X$ described in 27.6 of the link above is second-countable, then at least one <a href="http://tinyurl.com/budt9hs" rel="nofollow">source</a> I have found claims that $X$ would, as a result, admit a Riemannian metric. [<strong>NB:</strong> It has been pointed out that this source states its claim strictly in the context of finite-dimensional manifolds.] Furthermore, $X$ is described as a modification (where "the same results are valid") of a space that is a connected Hausdorff Banach manifold that is separable and not regular. </p> <p>To summarize, we might have $X$ as a connected Hausdorff Banach manifold with a Riemannian metric, which is separable and not regular (hence non-metrizable by Urysohn's Theorem), in which case, $X$ would be a counterexample to the above-stated theorem.</p> <p><strong>Sub-question 1:</strong> can anyone find other sources (preferably with proof) that a second-countable connected Hausdorff manifold necessarily admits a Riemannian metric? Alternatively, can anyone find a counterexample to this? [<strong>NB:</strong> Particularly in the context of infinite dimensional manifolds.]</p> <p><strong>Sub-question 2:</strong> can anyone prove (or sketch a proof of) the connectedness of $X$? Alternatively, can anyone show that $X$ is not connected? [<strong>NB:</strong> This has been answered: $X$ is connected.]</p> <p>I'd appreciate even a partial answer to my original question or either of my sub-questions. Also, if you should know (of) anyone who is doing work in this area of mathematics, perhaps you could direct them to my query. </p> <p>Thanks!</p> <hr> <p><strong>Edit 2:</strong> My second sub-question has been answered in the affirmative by Wolfgang Loehr: $X$ is indeed a connected space.</p> <p>I see numerous mentions of the result mentioned in my first sub-question (that second-countability alone implies a connected Hausdorff manifold admits a Riemannian metric) but I'm wondering whether this is in fact only a theorem for finite dimensional manifolds. </p> <p>Nonetheless, my initial <strong>question</strong> still stands: is the space $X$ described in the AMS book on Global Analysis a counterexample to the theorem stated above?</p> <hr> <p><strong>Edit 3:</strong> As time winds down on the question's bounty, I wonder whether anyone has helpful thoughts with regard to non-regular manifolds that admit Riemannian metrics. More precisely, how could one prove that $X$ does or does not admit a Riemannian metric?</p> <hr> <p><strong>Post-bounty Edit:</strong> I awarded the bounty since my sub-question 2 was answered entirely. There is still no conclusion as to whether or not the space referenced above is a counterexample to the aforementioned theorem, but it is increasingly clear that there is a fair bit of confusion surrounding when theorems about Banach manifolds do or do not extend from the finite dimensional case to the infinite dimensional one.</p> http://mathoverflow.net/questions/106943/who-named-it-the-snake-lemma/106962#106962 Answer by Benjamin Dickman for Who named it the Snake Lemma? Benjamin Dickman 2012-09-11T22:56:48Z 2012-09-12T08:37:43Z <p>I suspect the name just arose naturally (for obvious reasons) and that it would be tough to trace back to any single person. After Cartan-Eilenberg proved it in 1956 (Homological Algebra, p.40) the first mention I see in English is by Tate in 1966/67 (p-divisible groups, p.178) followed by Hartshorne in 1968 (Cohomological Dimension of Algebraic Varieties, p.446), neither of which bother with a citation, reference, or quotation marks (<a href="http://tinyurl.com/8h59j7o" rel="nofollow">1</a>). However, it was used a bit earlier - also without citation or quotation marks - by Begueri-Poitou in 1965 (<a href="http://tinyurl.com/9aoxzl7" rel="nofollow">2</a>) as 'lemme du serpent'; mentioned early on in their abstract. [NB: the first page of the linked pdf incorrectly lists the second author's surname as Poiton.]</p> <p>I realize this answer is a bit unsatisfying, but the best I can say is that the name took hold at some point between 1956 and 1965; though I can't even say for sure whether the first use was in English or French. Each of the references above uses the term so casually that I would guess by the late 50s/early 60s it was already being referred to as such in Algebra classes -- though this is just a hunch.</p> <p>I also did searches in Russian (and, for fun, Chinese) but could find nothing appearing any earlier than 1965.</p> <p>If I were to suggest where to look next, it'd be in Cartan's Seminar Notes (reference: H. Cartan, Séminaire E.N.S., 1950-1951) or perhaps in the recently published book of letters between Cartan and Weil (Correspondance entre Henri Cartan et André Weil 1928-1991) to see if the word 'serpent' ever comes up.</p> <hr> <p><strong>Edit:</strong> I used <a href="http://www.numdam.org/numdam-bin/search" rel="nofollow">numdam</a> to search for 'serpent'. Cartan has a <a href="http://archive.numdam.org/ARCHIVE/SB/SB_1964-1966__9_/SB_1964-1966__9__271_0/SB_1964-1966__9__271_0.pdf" rel="nofollow">quotation</a> about a snake nearly biting its own tail (1965, pdf p.16/17), but more interesting is a <a href="http://archive.numdam.org/ARCHIVE/PMIHES/PMIHES_1964__20_/PMIHES_1964__20__5_0/PMIHES_1964__20__5_0.pdf" rel="nofollow">paper</a> by Grothendieck dating to 1964 mentioning a <em>snake diagram</em> ("le diagramme du serpent", pdf p.195/258) that he attributes to (Bourbaki, <em>Alg. comm</em>, chap. I, $\S$1, no 4, prop. 2). You can see the term <em>snake diagram</em> in the much later <a href="http://books.google.com/books?id=Bb30CjGW7EAC&amp;lpg=PA21&amp;vq=snake&amp;pg=PA4#v=onepage&amp;q&amp;f=true" rel="nofollow">English translation</a>, but I'm not sure when the original French version was written (I <a href="http://books.google.com/books/about/%25C3%2589l%25C3%25A9ments_de_math%25C3%25A9matique.html?id=qqhbcgAACAAJ" rel="nofollow">think</a> at least as early as 1961). If someone could dig up that reference, it would probably hold the first published instance (rooted out thus far) that uses the <em>snake</em> terminology.</p> <p><strong>My guess for the time being:</strong> The term <em>snake diagram</em> originated (in French) around 1960 and was first used by one of the Bourbaki members (possibly Cartan, Eilenberg, or Grothendieck). <em>Snake lemma</em> almost certainly has a similar origin.</p> http://mathoverflow.net/questions/104965/non-regular-connected-hausdorff-banach-manifold Non-regular Connected Hausdorff Banach Manifold Benjamin Dickman 2012-08-18T03:02:17Z 2012-09-02T19:10:28Z <p>After reading <a href="http://mathoverflow.net/questions/104575/under-exactly-what-extra-conditions-if-any-is-a-connected-hausdorff-manifold" rel="nofollow">this MO post</a>, I am wondering: </p> <p><strong>Is every (connected) Hausdorff Banach manifold a regular space?</strong></p> <p>Though unjustified, page 53 of <a href="http://www.maik.ru/full/rusmath/97/10/rusmath10_97p49full.pdf" rel="nofollow">this paper</a> nonchalantly states: "Note that a Hausdorff Banach manifold X is a regular space."</p> <p>But does anyone know of a proof of this statement (or a counterexample)?</p> <p>Of course, the real difficulty arises in proving the statement for the infinite-dimensional version, since such a Banach manifold will <em>not</em> be locally compact.</p> <hr> <p><strong>Follow-up:</strong> Now that Theo Buehler has kindly pointed to a counterexample (i.e. a connected Hausdorff Banach manifold which is <em>not</em> regular) perhaps it will give someone an idea about how to tackle <a href="http://mathoverflow.net/questions/104575/under-exactly-what-extra-conditions-if-any-is-a-connected-hausdorff-manifold" rel="nofollow">the question</a> that provided the inspiration for this one.</p> http://mathoverflow.net/questions/105400/extending-an-assignment-property-from-q-to-r-or-c Extending an assignment property from Q to R (or C) Benjamin Dickman 2012-08-24T17:15:40Z 2012-08-30T06:33:02Z <p><strong>Property of any odd number of nonnegative integers:</strong></p> <p>Given $x_1 \leq \ldots \leq x_{2n + 1}$ with each $x_i \in \mathbb{Z}_{\geq 0}$, suppose that for any $x_i$ we remove that the remaining numbers can be assigned to disjoint multisets $A$ and $B$ such that $|A| = |B| (= n)$ and $\sum_{x \in A} A = \sum_{x \in B} B.$ Then all the $x_i$ must be equal.</p> <p>To prove this, fix any $n \geq 0$ and note that all the $x_i$ must have the same parity. Suppose there were an assignment of values such that the $x_i$ weren't all equal; using the Well-Ordering Principle, consider such a non-trivial assignment with $\sum x_i$ minimal. If $x_1 = 0,$ divide each $x_i$ by $2$ to derive a contradiction; if $x_1 > 0,$ subtract $1$ from each $x_i$ to derive a contradiction. Thus, all the $x_i$ must be equal.</p> <p>This property extends easily from the nonnegative integers to the rational numbers: if we had a non-trivial assignment of rational values, we could multiply through by their lcd to obtain a non-trivial assignment of integer values, and then subtract from each the smallest integer value to obtain a non-trivial assignment of nonnegative integers, thereby contradicting our earlier conclusion.</p> <p><strong>Question:</strong> Does this property also hold for any odd number of real (or complex) numbers?</p> <p>Any connections between this question and other areas would, of course, be welcomed.</p> <p><strong>Question re-stated explicitly:</strong> Given $x_1 \leq \ldots \leq x_{2n + 1}$ with each $x_i \in \mathbb{R}$ (or $\mathbb{C}$), suppose that for any $x_i$ we remove that the remaining numbers can be assigned to disjoint multisets $A$ and $B$ such that $|A| = |B| (= n)$ and $\sum_{x \in A} A = \sum_{x \in B} B.$ Is it true that all the $x_i$ must be equal?</p> <hr> <p><strong>Edit 1:</strong> An equivalent problem appears as #15.23 in "Problems and Theorems in Classical Set Theory" (solution on pp. 323-324) by Péter Komjáth and Vilmos Totik (2006).</p> <hr> <p><strong>Edit 2:</strong> The integer version of this problem was <a href="http://mks.mff.cuni.cz/kalva/putnam/psoln/psol737.html" rel="nofollow">Putnam Problem B1</a> (1973); the question about extending to the reals is posed at that solution link as well. The integer version (for 2n+1 = 23) is also included as problem #3.4.31 in "The Art and Craft of Problem Solving" (2e, p. 107) by Paul Zeitz. An earlier extension to the positive reals (easily seen as equivalent to the reals) is AMM <a href="http://www.mat.uniroma2.it/~tauraso/AMM/AMM11002.pdf" rel="nofollow">Problem 11002</a> (2003), though the solver whose answer is linked to proceeds in a manner quite different from that of Pierre or Péter.</p> <hr> <p><strong>Edit 3:</strong> In a <a href="http://www.jstor.org/stable/2690490" rel="nofollow">1992 article</a>, Liong-shin Hahn notes the connection between B1/1973 and an article on abelian groups with no nontrivial element of odd order (Respective sources: L.-S. Hahn, "Alternate Solutions to Putnam Competition Problems," Mathematics Magazine, 65(2), 1992; G.A. Martin, "A class of Abelian groups arising from an analysis of a proof," Amer. Math. Monthly, 95, 1988). </p> <p>Hahn then proceeds to solve the problem over R and C using the sort of approach used above in AMM 11002's solution. This appears to be an English version of Hahn's earlier write-up (1981), in which he claims to have solved this problem (known as Problem 4304 in Mathmedia). I couldn't find his first solution (see Edit 4); however, I did locate another citation for his having solved it, as well as the <a href="http://w3.math.sinica.edu.tw/math_media/d43/4313.pdf" rel="nofollow">original problem</a>. All were written in Chinese (Hahn was born in Taiwan; see his <a href="http://www.ams.org/notices/199804/comm-cit-pubserv.pdf" rel="nofollow">AMS Citation for Public Service</a>), so I will type out the original problem and provide an English translation below.</p> <p>Traditional Chinese:</p> <p>4304 （編輯部提供） 有17個球，假定無論任取一個後，剩下的16個都可以分為重重相等的兩堆，每堆8個。試證此17個球的重量必然相同。</p> <p>Simplified Chinese:</p> <p>4304 （编辑部提供） 有17个球，假定无论任取一个后，剩下的16个都可以分为重重相等的两堆，每堆8个。试证此17个球的重量必然相同。</p> <p>English Translation:</p> <p>4304 (Proposed by the editors) Given 17 balls, suppose that no matter which one is removed, the remaining 16 can be separated into two piles of equal weight, with 8 balls in each pile. Prove that these 17 balls must all be equal in weight.</p> <hr> <p><strong>Edit 4:</strong> I managed to obtain a copy of Hahn's original solution (1981) to this problem (over $\mathbb{R}_{+}$, which easily extends to $\mathbb{C}$) by contacting an administrator at Academia Sinica, Taipei, Taiwan. His approach proceeds using only basic linear algebra with an application of Cramer's Rule as the coup de grâce. The solution in Chinese can be viewed <a href="http://i.imgur.com/Ih4Bn.jpg" rel="nofollow">here</a>; I will not endeavor to translate it unless it is somehow essential to someone's research. Nonetheless, it's interesting to see a full solution that preceded the AMM solution by 22 years. Though this is nothing like Weil's popularization of the Shimura-Taniyama conjecture from a Japanese journal, it does make one wonder what other gems have been hidden away in Asian journals of mathematics.</p> http://mathoverflow.net/questions/104714/building-a-physical-model-to-solve-sudoku Building a Physical Model to Solve Sudoku Benjamin Dickman 2012-08-14T19:22:18Z 2012-08-14T21:40:30Z <p>Before asking my questions, allow me to begin with a separate example to help clarify what I'm driving at. For terms that are not defined formally, please interpret them as you feel would be most appropriate, and I welcome any attempts to modify this question so as to make it more interesting and/or understandable.</p> <p><strong>Background Example:</strong> Suppose you have Cartesian coordinates for $n$ different points $p_1, \ldots, p_n$ in the plane, and you want to find a point $p$ that minimizes $\sum_{i}^{n}|p-p_i|.$ (In other words, you want to find the "geometric median" for these $n$ points.)</p> <p>Finding such a $p$ is trivial for $n = 1$ and $n = 2$, and <a href="http://en.wikipedia.org/wiki/Fermat_point" rel="nofollow">well-known</a> for $n = 3.$</p> <p>Note that even for $n = 4,$ finding a general approach that leads to an exact answer is tough. For larger values, say, $n = 10,$ we would (in most real life situations) estimate $p$ using a computer.</p> <p>But here's a way to estimate $p$ using a physical model: take a piece of plexi-glass, draw a grid on it, drill tiny holes corresponding to the $n$ points, thread equally-weighted wires through each of the holes (tie, say, a $10g$ weight to the ends below the plexi-glass), and fuse the tops of all the wires together. Holding the plexi-glass level, a minimal energy argument suggests that the final resting point for this "fused top" will be (approximately, because we're talking about the real world here) at $p.$</p> <p><strong>Question 1:</strong> Is there some way to build a physical model where you start with a $9$x$9$ Sudoku grid and its clues (i.e. the numbers filled in at the start) and then separately have all the numbers yet to be placed, and by "doing something" (dropping balls, something with weighted-strings, I'm not sure -- hence the question) release the non-placed numbers so that they "quickly" fall into place (e.g. as a "minimal energy" or "path of least resistance" consequence)?</p> <p><strong>Remark:</strong> On the one hand, Sudoku is "discrete" in a way that the aforementioned background example is not, which suggests to me that it might be possible to create such a physical model. On the other hand, the $NP$-completeness of Sudoku has me nearly convinced that no such model could be built. However, I haven't the faintest idea as to how one <em>proves</em> the non-existence of this sort of physical model.</p> <p><strong>Question 2:</strong> What would the implications of the existence (or non-existence) of a physical model to "quickly" solve Sudoku be for the question of $P = NP$?</p> http://mathoverflow.net/questions/103892/solving-a-modified-birthday-problem-at-a-glance Solving a modified birthday problem at a glance Benjamin Dickman 2012-08-03T19:22:56Z 2012-08-04T15:02:10Z <p><strong>Modified Birthday Problem:</strong> a bunch of people line up, and the winner is the first person who shares his birthday with someone lined up ahead of him. What position in the line is optimal?</p> <p><strong>Three (similar) approaches:</strong> Recall the well known <a href="http://en.wikipedia.org/wiki/Birthday_problem" rel="nofollow">Birthday Problem</a>, and let $b(n)$ denote the likelihood that there is a shared birthday in a collection of $n$ people. Suppose you are the $(n+1)$st person in line, and you want to be the first person to share your birthday with someone ahead of you. 'None of the people ahead of you sharing a birthday' happens with probability $1 - b(n)$, and 'you sharing a birthday with one of them' happens with probability $n/365$. Therefore, we wish to maximize: $(1-b(n))(n/365)$. A computer search (e.g. in WolframAlpha) can find $n$ is about $19$, and so you want position $20$.</p> <p>Alternatively, we can <a href="http://en.wikipedia.org/wiki/Birthday_problem#Approximations" rel="nofollow">approximate</a> $1-b(n)$ with $e^{-n(n-1)/730}$ pretty well. Now consider setting $\frac{d}{dx} e^{-x(x-1)/730} (x/365) = 0,$ which ends up requiring only that we solve a quadratic. In particular, we end up with the quadratic $x^2 - x/2 = 365.$ Then $x$ is a little over $19$, and again we guess the optimal position is at $20.$</p> <p>Finally, we consider the ratio of probabilities of winning for consecutive people in line. Eliding over some details (e.g. showing initial ratio $> 1$, the ratios are decreasing) we can check to see when this ratio drops below $1.$ This will again culminate in solving a quadratic, namely, $x^2 - x = 365.$ Since $x$ is about $19$, we have (for the third time) found the optimal position to be at $20.$</p> <p><strong>Question 0:</strong> Why do the quadratics arrived at in our second and third approach differ? (I suspect this is just an artifact of the rough estimation used in the second approach, although I could not explain the reasoning behind this difference in any greater detail.)</p> <p><strong>Question 1:</strong> Since our third method indicates that solving for $x$ in $x(x-1) = 365$ ultimately leads to the solution, I am wondering: is there a way to have seen "at a glance" the importance of this quadratic? My intuition tells me that there is a much more straightforward way of thinking about this problem, but I am not sure what it would be.</p> http://mathoverflow.net/questions/103736/are-there-any-interesting-or-lesser-known-proofs-related-to-bertrands-postulate/103744#103744 Answer by Benjamin Dickman for Are there any interesting or lesser known proofs related to Bertrand's Postulate Benjamin Dickman 2012-08-02T00:35:48Z 2012-08-02T00:35:48Z <p>Bertrand's Postulate follows as a direct consequence of the following theorem of J.J. Sylvester: </p> <p><strong>Theorem (Sylvester, 1892):</strong> Let $k$ be a positive integer. Then at least one of any $k$ consecutive integers greater than $k$ is divisible by a prime greater than $k$.</p> <p>(For comparison: Chebyshev's analytic proof dates to 1850; Erdos' elementary proof dates to 1932.)</p> <p>See Theorem 6 (p. 6) in <a href="http://www.math.sc.edu/~filaseta/papers/schurpaper.pdf" rel="nofollow">http://www.math.sc.edu/~filaseta/papers/schurpaper.pdf</a>, from which I quote: </p> <p>"The theorem implies immediately that for any positive integer $k$, one of $k+1, k+2, \ldots, 2k$ is a prime (since one of these integers must be divisible by a prime $\geq k+1).$"</p> <p>Unfortunately, my internet search has not led me to the original paper by Sylvester.</p> http://mathoverflow.net/questions/103129/irrationality-proof-technique-no-factorial-in-the-denominator Irrationality proof technique: no factorial in the denominator Benjamin Dickman 2012-07-25T22:43:41Z 2012-07-26T07:54:38Z <p>Jonathan Sondow elegantly proves the irrationality of <em>e</em> in his aptly titled <em>A Geometric Proof that e Is Irrational and a New Measure of Its Irrationality</em> (The American Mathematical Monthly, Vol. 113, No. 7 (Aug. - Sep., 2006), pp. 637, <a href="http://www.jstor.org/stable/27642006" rel="nofollow">http://www.jstor.org/stable/27642006</a>).</p> <p>In his argument, he constructs a sequence of nested intervals $I_n$ for every $n \geq 1$, each of the form $[k/n!, (k+1)/n!]$, such that $\bigcap I_n =${$e$}, with $e$ lying strictly between the endpoints of each $I_n.$ From this, we conclude that $e$ cannot be written as a fraction with denominator $n!$ for any $n \geq 1.$</p> <p><strong>Fact:</strong> Every rational number $p/q$ can be written as a fraction with a factorial in its denominator: $p/q = p(q-1)!/q!$. </p> <p>Thus, we conclude that $e$ is irrational.</p> <p>The reason this proof technique works so well with $e$ is, of course, related to the Maclaurin series for the exponential function, $e^x.$</p> <p>That any rational number can be written in lowest terms is employed in other irrationality proofs (e.g., the classic proof for that of $\sqrt{2}$) but I had not seen the above fact drawn upon before reading this particular paper.</p> <p><strong>My question is:</strong> are there other examples of real numbers (which are not related to $e$ in some trivial way) whose irrationality can be proved using the <strong>Fact</strong> above?</p> http://mathoverflow.net/questions/94282/crossing-number-of-the-grotzsch-graph Crossing number of the Grötzsch graph Benjamin Dickman 2012-04-17T09:07:45Z 2012-04-21T13:24:12Z <p>Related wikipage: <a href="http://en.wikipedia.org/wiki/Gr%C3%B6tzsch_graph" rel="nofollow">http://en.wikipedia.org/wiki/Gr%C3%B6tzsch_graph</a></p> <p>Is the crossing number of the Grötzsch graph known? I have heard it conjectured to be 5 (certainly it is no greater), but came up empty-handed in my search of the literature.</p> http://mathoverflow.net/questions/133708/the-riemann-zeta-function-summing-over-the-gamma-function Comment by Benjamin Dickman Benjamin Dickman 2013-06-17T15:54:43Z 2013-06-17T15:54:43Z [The closed-form at the end has an $n$ term and a $k$ term; perhaps you should change the denominator to $n!^s$.] http://mathoverflow.net/questions/133938/correspondence-between-fractal-sets-and-trees Comment by Benjamin Dickman Benjamin Dickman 2013-06-17T11:22:16Z 2013-06-17T11:22:16Z Cross-posted (under the name Rob): <a href="http://math.stackexchange.com/questions/422449/correspondence-between-fractal-sets-and-trees" rel="nofollow" title="correspondence between fractal sets and trees">math.stackexchange.com/questions/422449/&hellip;</a> http://mathoverflow.net/questions/132036/can-you-prove-the-fundamental-theorem-of-algebra-just-using-fixed-point-theory/132038#132038 Comment by Benjamin Dickman Benjamin Dickman 2013-06-06T00:13:45Z 2013-06-06T00:13:45Z @Todd: Yes, it would be nice to see these discrepancies sorted out. (Also, it's Dickman' not Dickson'!) http://mathoverflow.net/questions/132036/can-you-prove-the-fundamental-theorem-of-algebra-just-using-fixed-point-theory Comment by Benjamin Dickman Benjamin Dickman 2013-06-05T15:05:56Z 2013-06-05T15:05:56Z @Todd: We were apparently editing the (rather prolix) question simultaneously! I rolled back to your version. http://mathoverflow.net/questions/132036/can-you-prove-the-fundamental-theorem-of-algebra-just-using-fixed-point-theory/132080#132080 Comment by Benjamin Dickman Benjamin Dickman 2013-06-05T14:29:42Z 2013-06-05T14:29:42Z @Todd: Thanks! Also, I reiterate here: If anyone can find a copy of Kulpa's paper (cited in my response above) it would be greatly appreciated. http://mathoverflow.net/questions/132350/rectangology-and-squareology Comment by Benjamin Dickman Benjamin Dickman 2013-05-30T22:55:30Z 2013-05-30T22:55:30Z Also: to count, e.g., the number of rectangles that can be formed (in the natural way) in an n by n grid of unit squares, turn it into an n by n multiplication table and sum the entries. In particular, the number of squares that can be formed in an n by n grid of unit squares is the sum along the diagonal, n(n+1)(2n+1)/6. http://mathoverflow.net/questions/132350/rectangology-and-squareology Comment by Benjamin Dickman Benjamin Dickman 2013-05-30T22:52:55Z 2013-05-30T22:52:55Z One note that comes to mind (and this may not be of any use) is that a square can be decomposed into 1, 4, or 6, 7, 8, ... subsquares (not necessarily of the same size). Showing 2, 3, and 5 are impossible is a nice exercise (especially 5). Once you have 1, 6, and 8, you can take a single subsquare and re-subdivide into a 2x2 for a net gain of 3. E.g., 1 to 4, and then 4 to 7; and then from 6, 7, and 8 you can get all subsequent natural numbers. (There are lots of other fun students activities that can be done with this idea, but that would stray too far from your question.) http://mathoverflow.net/questions/104575/under-exactly-what-extra-conditions-if-any-is-a-connected-hausdorff-manifold Comment by Benjamin Dickman Benjamin Dickman 2013-05-29T07:39:14Z 2013-05-29T07:39:14Z An answer to my question (see comment above) posed last August: <a href="http://mathoverflow.net/questions/104965/non-regular-connected-hausdorff-banach-manifold" rel="nofollow" title="non regular connected hausdorff banach manifold">mathoverflow.net/questions/104965/&hellip;</a> http://mathoverflow.net/questions/132036/can-you-prove-the-fundamental-theorem-of-algebra-just-using-fixed-point-theory/132038#132038 Comment by Benjamin Dickman Benjamin Dickman 2013-05-28T06:01:08Z 2013-05-28T06:01:08Z The idea of blocking a method from being used in a proof is quite interesting in general, but I believe that, in this case, the BFPT <i>can</i> be used to prove the FTA. (See my answer elsewhere in this post.) http://mathoverflow.net/questions/131998/needle-probing-for-a-convex-body Comment by Benjamin Dickman Benjamin Dickman 2013-05-28T02:02:00Z 2013-05-28T02:02:00Z Perhaps you may wish to edit the post so that Question 1 is emphasized. In terms of literature, it may be that the reverse scenario has been researched in greater depth: namely, finding empty convex regions in tightly packed three-space. Of course, this should be equivalent to what you are asking. I haven't read through carefully, but check out <a href="http://compgeom.com/~piyush/papers/occluder.pdf" rel="nofollow">compgeom.com/~piyush/papers/occluder.pdf</a> and some of the sources given in section 2 (Previous Work'). http://mathoverflow.net/questions/131998/needle-probing-for-a-convex-body Comment by Benjamin Dickman Benjamin Dickman 2013-05-28T00:51:29Z 2013-05-28T00:51:29Z @Joseph: Assuming I have correctly understood your <b>Q2</b>, those three needles suffice. (Clearly it is also <i>necessary</i> to have at least three.) This should indicate your <b>Q3</b> is answered in the affirmative. Surely <b>Q1</b> is a bit tougher. http://mathoverflow.net/questions/132015/mathematical-model-for-hanoi-towers Comment by Benjamin Dickman Benjamin Dickman 2013-05-27T15:50:31Z 2013-05-27T15:50:31Z There's an interesting piece in: <i>Stewart, I. (1995). Four encounters with sierpińriski’s gasket. The Mathematical Intelligencer, 17(1), 52-64.</i> In particular, see Encounter 3. (Paywall, I think: <a href="http://link.springer.com/article/10.1007%2FBF03024718" rel="nofollow">link.springer.com/article/10.1007%2FBF03024718</a>) http://mathoverflow.net/questions/131880/quotient-of-3-sphere-by-binary-octahedral-group Comment by Benjamin Dickman Benjamin Dickman 2013-05-27T02:28:02Z 2013-05-27T02:28:02Z @fuzzytron: Jeff Weeks' name comes up after a cursory search through google (e.g., for binary octahedral space'). See: <a href="http://arxiv.org/pdf/math.SP/0502566.pdf" rel="nofollow">arxiv.org/pdf/math.SP/0502566.pdf</a> As for some `special role this manifold has', see, e.g., <a href="http://arxiv.org/pdf/astro-ph/0504656v1.pdf" rel="nofollow">arxiv.org/pdf/astro-ph/0504656v1.pdf</a> Perhaps literature related to the latter link would provide more relevant information. http://mathoverflow.net/questions/131715/a-curious-sequence-of-rationals-finite-or-infinite Comment by Benjamin Dickman Benjamin Dickman 2013-05-24T22:03:18Z 2013-05-24T22:03:18Z For a particularly nice example of how strangely even quadratics can behave, consider: $f(x) = x^2 - \frac{181}{144}$ and the point $x = \frac{7}{12}$. http://mathoverflow.net/questions/131715/a-curious-sequence-of-rationals-finite-or-infinite Comment by Benjamin Dickman Benjamin Dickman 2013-05-24T21:59:50Z 2013-05-24T21:59:50Z Unless there is some underlying trick that I do not see, I suspect this problem is very difficult in general. You are asking when certain pairs $(x,y)$ are preperiodic for $f(x,y) = \frac{xy}{x+y-1}$. Even in one variable, questions about preperiodic points of rational functions can be quite tough. See, for example, RL Benedetto's &quot;Heights and Preperiodic Points of Polynomials Over Function Fields&quot; (<a href="http://arxiv.org/abs/math/0510444" rel="nofollow">arxiv.org/abs/math/0510444</a>) or - for the polynomial case in one variable - &quot;Computing points of small height for cubic polynomials&quot; (<a href="http://arxiv.org/abs/0807.0468" rel="nofollow">arxiv.org/abs/0807.0468</a>).