User tweetie-bird - MathOverflowmost recent 30 from http://mathoverflow.net2013-05-26T02:42:57Zhttp://mathoverflow.net/feeds/user/23993http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/100555/jordan-curve-theorem-for-cylinders/100556#100556Answer by tweetie-bird for Jordan curve theorem for cylinderstweetie-bird2012-06-25T00:32:37Z2012-06-25T00:57:49Z<p>This is the annulus theorem, and is indeed true for circles in $S^2$ without need for further hypotheses (which are needed in higher dimensions). </p>
<p>See <a href="http://en.wikipedia.org/wiki/Annulus_theorem" rel="nofollow">en.wikipedia.org/wiki/Annulus_theorem</a></p>
http://mathoverflow.net/questions/99506/blackbox-theorems/99526#99526Answer by tweetie-bird for Blackbox Theoremstweetie-bird2012-06-13T22:42:59Z2012-06-14T02:23:39Z<p>How is the proof of the Poincare' Conjecture (in all dimensions) not yet anywhere on this list? </p>
<p>Edit: in light of the comments below, this answer is now being upgraded to the proof of the Geometrization Conjecture (which implies the Poincare' Conjecture, among other things).</p>
http://mathoverflow.net/questions/89692/if-graph-is-tree-what-can-be-said-about-its-adjacency-matrix/98981#98981Answer by tweetie-bird for If graph is tree what can be said about its adjacency matrix ? tweetie-bird2012-06-06T19:42:11Z2012-06-06T23:52:59Z<p>A graph is bipartite iff the odd powers of the adjacency matrix have all 0's on the diagonal. So this implies that the sum of the $i$-th powers of the eigenvalues is 0 for each odd $i$. Since the adjacency matrix is symmetric, it has real eigenvalues. Thus, the eigenvalues are real numbers $\lambda_1,\dots ,\lambda_n $ with $\sum_{j=1}^n \lambda_j^i = 0$ for each odd $i$. </p>
<p>I am guessing this probably should mean that the nonzero eigenvalues come in pairs of equal magnitude and opposite sign. I wonder if there is a good trick for efficiently proving this sort of thing -- about collections of real numbers satisfying such an infinite family of relations? (If so, I don't know this trick.)</p>
<p>${\bf Edit:}$ Douglas Zare proved my above conjecture as a comment, so it is true for bipartite graphs that the nonzero eigenvalues of the adjacency matrix come in pairs of equal magnitude and opposite sign. </p>
http://mathoverflow.net/questions/98821/how-often-do-people-read-the-work-that-they-cite/98828#98828Answer by tweetie-bird for How often do people read the work that they cite?tweetie-bird2012-06-05T00:17:24Z2012-06-05T00:17:24Z<p>It depends whether I am citing the Poincare Conjecture or the five lemma. But I agree that either way, one should understand what one is doing well enough to use a result properly.</p>
http://mathoverflow.net/questions/98082/etiquette-question-how-to-acknowledge-bugs-bunnyEtiquette question: how to acknowledge Bugs Bunny?tweetie-bird2012-05-27T02:55:05Z2012-05-27T03:23:06Z
<p>Suppose that a mathematician such as Bugs Bunny answers one of my math questions here on MathOverflow, and then I use the idea in a research paper. How should I acknowledge such a distinguished mathematician in my paper, submitted to a reputable journal and all that?</p>
http://mathoverflow.net/questions/114245/i-know-that-you-know/114271#114271Comment by tweetie-birdtweetie-bird2012-11-24T11:59:11Z2012-11-24T11:59:11ZI was really trying to understand this answer, but now need to get some other work done outside MathOverflow.http://mathoverflow.net/questions/114245/i-know-that-you-know/114271#114271Comment by tweetie-birdtweetie-bird2012-11-23T23:18:50Z2012-11-23T23:18:50ZI deleted my previous comment so as not to confuse others. This logic puzzle is already confusing enough. http://mathoverflow.net/questions/112466/can-assumptions-about-forcing-produce-miceComment by tweetie-birdtweetie-bird2012-11-19T14:54:46Z2012-11-19T14:54:46Z@Michael: it's not terribly clear from what you've written here what you are so upset about, but I'm sure everything will be fine if you just treat these mice fairly. I imagine these are grown-up mice you are talking about. http://mathoverflow.net/questions/112385/poincare-3-homology-sphere/112410#112410Comment by tweetie-birdtweetie-bird2012-11-17T14:20:22Z2012-11-17T14:20:22ZWouldn't Whitney embedding theorem need 6 dimensions? Am I missing something? Wikipedia says you start with an immersion with transverse self-intersections, then you fix this. (I paraphrase.)http://mathoverflow.net/questions/112385/poincare-3-homology-sphereComment by tweetie-birdtweetie-bird2012-11-14T21:15:05Z2012-11-14T21:15:05ZI wonder if someone would add here the reference for the Freedman result. Thanks!http://mathoverflow.net/questions/111703/what-is-the-homotopy-type-of-the-space-of-the-homeomorphisms-of-the-n-ball-such-tComment by tweetie-birdtweetie-bird2012-11-10T00:59:29Z2012-11-10T00:59:29ZI imagine in 6 you meant to say "the restriction to the boundary is isotopic to the identity". Interesting question!http://mathoverflow.net/questions/110853/is-27-too-late-to-become-a-mathematician-or-something-else-that-is-math-intensiveComment by tweetie-birdtweetie-bird2012-10-27T21:24:13Z2012-10-27T21:24:13Z@GH: excellent summary of points already made recently on MO!http://mathoverflow.net/questions/60108/occurrences-of-cohomology-in-other-disciplines-and-or-nature/110622#110622Comment by tweetie-birdtweetie-bird2012-10-25T14:27:51Z2012-10-25T14:27:51ZWhile this isn't so clear from the title of the question, the first sentence in the text of the question mentions wanting things outside of pure mathematics. http://mathoverflow.net/questions/110158/what-if-i-want-to-look-for-a-space-with-vanishing-first-homology-but-nonzero-fund/110203#110203Comment by tweetie-birdtweetie-bird2012-10-20T23:22:22Z2012-10-20T23:22:22ZThank you for your help. I was being dense.http://mathoverflow.net/questions/110158/what-if-i-want-to-look-for-a-space-with-vanishing-first-homology-but-nonzero-fund/110203#110203Comment by tweetie-birdtweetie-bird2012-10-20T22:48:34Z2012-10-20T22:48:34ZI think the OP also wants the first homology group to be 0 -- going by the title of the question rather than the text.http://mathoverflow.net/questions/110052/enr-spaces-which-group-of-homeomorphisms-is-not-locally-contractableComment by tweetie-birdtweetie-bird2012-10-19T21:05:57Z2012-10-19T21:05:57ZI wonder if you would be willing to explain a little more how these wild arcs work -- I don't like opening links on the web, and I'm having a little trouble understanding your question without reading the Siebenmann manuscript. Thanks! Anyway, perhaps you'll get more answers to your question if you explain the question a little more.http://mathoverflow.net/questions/57337/when-should-a-supervisor-be-a-co-author/109259#109259Comment by tweetie-birdtweetie-bird2012-10-10T00:58:10Z2012-10-10T00:58:10ZWhat you've written is not an answer to the question. Meta is the place for this sort of meta-discussion. http://mathoverflow.net/questions/3559/colloquial-catchy-statements-encoding-serious-mathematics/3562#3562Comment by tweetie-birdtweetie-bird2012-10-10T00:42:23Z2012-10-10T00:42:23ZUh oh. Thanks for the warning.http://mathoverflow.net/questions/26821/is-thompsons-group-f-amenable/45891#45891Comment by tweetie-birdtweetie-bird2012-10-04T13:59:45Z2012-10-04T13:59:45Z@Justin: good luck with your work on this difficult question! http://mathoverflow.net/questions/106230/schubert-varieties-which-admit-small-resolutions-of-singularities/106293#106293Comment by tweetie-birdtweetie-bird2012-09-04T02:12:12Z2012-09-04T02:12:12ZThat's interesting! In case you edit your answer again, I think MacPherson has a capital "P".