User rodrigo a. p&amp;eacute;rez - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T08:27:28Z http://mathoverflow.net/feeds/user/13923 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/14782/what-are-some-applications-of-other-fields-to-mathematics/131375#131375 Answer by Rodrigo A. Pérez for What are some applications of other fields to mathematics? Rodrigo A. Pérez 2013-05-21T18:53:10Z 2013-05-21T18:53:10Z <p>There have been many theoretical advances in diffusion, traveling waves, chaos, and pattern formation derived from the <a href="http://en.wikipedia.org/wiki/Belousov%E2%80%93Zhabotinsky_reaction" rel="nofollow">Belousov–Zhabotinsky reaction</a>.</p> http://mathoverflow.net/questions/14782/what-are-some-applications-of-other-fields-to-mathematics/131374#131374 Answer by Rodrigo A. Pérez for What are some applications of other fields to mathematics? Rodrigo A. Pérez 2013-05-21T18:49:44Z 2013-05-21T18:49:44Z <p>The Lotka-Volterra predator-prey equations are a fundamental example in the qualitative theory of ODEs. Volterra originally used it to explain the large increase in the mediterranean shark population during WWI.</p> http://mathoverflow.net/questions/131255/objects-which-cant-be-defined-without-making-choices-but-which-end-up-independen/131305#131305 Answer by Rodrigo A. Pérez for objects which can't be defined without making choices but which end up independent of the choice Rodrigo A. Pérez 2013-05-21T03:51:40Z 2013-05-21T03:51:40Z <p>Daniel Moskovich's notion of "support point" to anchor definitions on manifolds is interesting. I suggest a radically non-geometric example: MATROIDS.</p> <p>A <a href="http://en.wikipedia.org/wiki/Matroid" rel="nofollow">finite matroid</a> is a finite set with a family of subsets satisfying a list of properties. There are different lists of properties. The subsets could be independent sets, bases, circuits, flats, etc.</p> <p>Given a matroid defined by independent sets (say) there is a canonical way to find a family of subsets that form a basis (say). So the cool thing about this example is that to define a matroid you need <b>a choice of definition</b>.</p> http://mathoverflow.net/questions/130545/proof-of-the-weak-goldbach-conjecture Proof of the weak Goldbach Conjecture Rodrigo A. P&eacute;rez 2013-05-14T05:19:30Z 2013-05-19T05:13:29Z <p>What are the main ideas of Harald Helfgott's <a href="http://arxiv.org/abs/1305.2897" rel="nofollow">proof</a> that all odd $n \geq 5$ is the sum of 3 primes?</p> http://mathoverflow.net/questions/113959/a-function-whose-fixed-points-are-the-primes A function whose fixed points are the primes Rodrigo A. P&eacute;rez 2012-11-20T16:26:20Z 2013-05-15T16:22:00Z <p>If $a(n) = (\text{largest proper divisor of } n)$, let <code>$f:\mathbb{N} \setminus \{ 0,1\} \to \mathbb{N}$</code> be defined by $f(n) = n+a(n)-1$. For instance, $f(100)=100+50-1=149$. Clearly the fixed points of $f$ are the primes.</p> <blockquote> <p>Is every number preperiodic? In other words, is $f(f(\ldots(f(n)\ldots))$ eventually prime?</p> </blockquote> http://mathoverflow.net/questions/43148/basic-results-with-three-or-more-hypotheses/130666#130666 Answer by Rodrigo A. Pérez for Basic results with three or more hypotheses Rodrigo A. Pérez 2013-05-15T04:21:31Z 2013-05-15T04:21:31Z <p><b>Whyburn's Theorem:</b> Let $S$ be a planar set that is compact, connected, locally connected, nowhere dense, and such that any two components of the complement are bounded by disjoint simple closed curves. Then $S$ is homeomorphic to the Sierpinski carpet.</p> http://mathoverflow.net/questions/129517/the-prime-number-2/129523#129523 Answer by Rodrigo A. Pérez for The prime number $2$ Rodrigo A. Pérez 2013-05-03T11:53:41Z 2013-05-03T11:53:41Z <p>Because $p-1$ (an expression that appears often dealing with primes) equals 1 <b>iff</b> $p=2$.</p> http://mathoverflow.net/questions/129368/asymptotic-series Asymptotic series Rodrigo A. P&eacute;rez 2013-05-02T03:30:07Z 2013-05-02T16:10:27Z <p>I have found many references to Poincar&eacute; and Borel in relation to their work on asymptotic series, but so far, every source I can get my hands on is very old, hence hard to read (this is not true in general, but in this case, texts that predate Oh notation tend not to be clear).</p> <blockquote> <p>Can you explain the idea behind asymptotic series, give an illuminating example, and/or suggest a good modern exposition of the theory?</p> </blockquote> http://mathoverflow.net/questions/128786/history-of-the-high-dimensional-volume-paradox History of the high-dimensional volume paradox Rodrigo A. P&eacute;rez 2013-04-26T01:53:47Z 2013-04-27T07:05:28Z <p>Inscribe an $n$-ball in an $n$-dimensional hypercube of side equal to 1, and let $n \rightarrow \infty$. The hypercube will always have volume 1, while it is a fun folk fact (FFF) that the volume of the ball goes to 0.</p> <p>I first learnt of this in relation to Gromov. In the story I heard, he used to ask incoming students to compute the distance $(\sqrt{n}-1)/2$ from a hypercube corner to the ball, and observe them to see if they realized that the volume of the hypercube is concentrated in its corners.</p> <blockquote> <p>Is this story correct? And is this the origin of this FFF? I could imagine a situation where several people noticed this at different times, but where the fact did not become "viral" until much more recenttly.</p> </blockquote> http://mathoverflow.net/questions/106705/2d-problems-which-are-easier-to-solve-in-3d/128886#128886 Answer by Rodrigo A. Pérez for 2D Problems Which are Easier to Solve in 3D Rodrigo A. Pérez 2013-04-27T04:18:20Z 2013-04-27T04:18:20Z <p>Given two disjoint disks of different radii, find the intersection of their common external tangents. For lack of a better name, call this the h-center of the pair (h- for homothety?).</p> <p><b>Problem:</b> Given three mutually disjoint disks, the h-centers of the three pairs are colinear.</p> <blockquote> <p>The nicest solution involves adding one dimension and inflating the disks to balls (with centers in the original plane $\Pi$). The pairs of tangents become full-fledged cones with vertices in $\Pi$, and the proof is obtained by studying a plane tangent to all three balls. It is tangent to all three cones, so it contains their three vertices, but it also intersects $\Pi$ on a straight line :)</p> </blockquote> http://mathoverflow.net/questions/127045/fixed-point-theorems Fixed point theorems Rodrigo A. P&eacute;rez 2013-04-10T05:36:59Z 2013-04-27T03:14:31Z <p>It is surprising that fixed point theorems (FPTs) appear in so many different contexts throughout Mathematics: Applying Kakutani's FPT earned Nash a Nobel prize; I am aware of some uses in logic; and of course everyone should know <a href="http://en.wikipedia.org/wiki/Picard%E2%80%93Lindel%C3%B6f_theorem" rel="nofollow">Picard's Theorem</a> in ODEs. There are also results about local and global structure OF the fixed points themselves, and quite some famous conjectures (also labeled FP<b>T</b> for the purpose of this question).</p> <p>Many results are so far removed from my field that I am sure there are plenty of FPTs out there that I have never encountered. I know of several, and will post later if you do not beat me to them :)</p> <p>Community wiki rules apply. One FPT per answer, preferably with an inspiring list of interesting applications.</p> http://mathoverflow.net/questions/128038/great-mathematics-books-by-pre-modern-authors/128041#128041 Answer by Rodrigo A. Pérez for Great mathematics books by pre-modern authors Rodrigo A. Pérez 2013-04-19T03:30:27Z 2013-04-19T05:04:11Z <p>F. Klein's "Development of mathematics in the 19th century". It is a history book; it is a Math book; it is a great read.</p> http://mathoverflow.net/questions/127974/products-of-matrices-of-a-certain-form Products of matrices of a certain form Rodrigo A. P&eacute;rez 2013-04-18T15:37:34Z 2013-04-18T15:37:34Z <p>Are $n \times n$ matrices of the form $$\pmatrix{1&amp;1&amp;1&amp;1 \cr x&amp;1&amp;1&amp;1 \cr x&amp;x&amp;1&amp;1 \cr x&amp;x&amp;x&amp;1}$$ studied anywhere? I am interested in the structure of the matrix obtained by multiplying a bunch of these together.</p> http://mathoverflow.net/questions/127045/fixed-point-theorems/127126#127126 Answer by Rodrigo A. Pérez for Fixed point theorems Rodrigo A. Pérez 2013-04-10T18:19:08Z 2013-04-10T18:19:08Z <p><a href="http://en.wikipedia.org/wiki/Kakutani_fixed-point_theorem" rel="nofollow"><b>Kakutani's FPT</b></a>: Let $S$ be a non-empty, compact, convex subset of $\mathbb{R}^n$, and $\varphi:S \longrightarrow 2^S$ a set-valued function with a closed graph and the property that $\varphi(x)$ is non-empty and convex for all $x \in S$. Then $\varphi$ has a fixed point.</p> <p>Application: Consider a game with finitely many players and finitely many strategies. If players are allowed to choose mixed strategies, there is always a Nash equilibrium; that is, a set of strategy choices for all players such that no player can do better by unilaterally switching to a different strategy. This is the theorem that resulted in J. Nash getting the 1994 Nobel Prize in Economics.</p> http://mathoverflow.net/questions/127045/fixed-point-theorems/127049#127049 Answer by Rodrigo A. Pérez for Fixed point theorems Rodrigo A. Pérez 2013-04-10T05:50:38Z 2013-04-10T05:50:38Z <p><b>Arnold's Conjecture</b>: A Hamiltonian map on a compact symplectic manifold $(M,\omega)$ has at least as many fixed points as a function on $M$ has critical points.</p> http://mathoverflow.net/questions/127045/fixed-point-theorems/127046#127046 Answer by Rodrigo A. Pérez for Fixed point theorems Rodrigo A. Pérez 2013-04-10T05:37:57Z 2013-04-10T05:47:21Z <p><a href="http://en.wikipedia.org/wiki/Brouwer_fixed-point_theorem" rel="nofollow"><b>Brouwer's FPT</b></a>: Every continuous function from a closed ball in $\mathbb{R}^n$ to itself has a FP.</p> <p>For applications see <a href="http://mathoverflow.net/questions/19272/applications-of-brouwers-fixed-point-theorem" rel="nofollow">this</a> question.</p> http://mathoverflow.net/questions/127045/fixed-point-theorems/127047#127047 Answer by Rodrigo A. Pérez for Fixed point theorems Rodrigo A. Pérez 2013-04-10T05:39:00Z 2013-04-10T05:39:00Z <p><a href="http://en.wikipedia.org/wiki/Banach_fixed_point_theorem" rel="nofollow"><b>Banach's FPT</b> (or contraction FPT)</a>: Every contraction in a complete metric space has a unique FP.</p> <p>Application: If $f(t,y(t))$ is a real-valued function, Lipschitz continuous in $y$ and continuous in $t$, then the initial value problem $$y'(t) = f(t,y(t)),\quad y(t_0)=y_0,\quad t \in [t_0-\varepsilon,t_0+\varepsilon]$$ has a unique solution.</p> http://mathoverflow.net/questions/93411/fatou-coordinate-for-function-with-rationally-indifferent-fixed-point-and-repell/126930#126930 Answer by Rodrigo A. Pérez for Fatou Coordinate for function with rationally indifferent fixed point, and repelling fixed point Rodrigo A. Pérez 2013-04-09T03:54:50Z 2013-04-09T20:16:02Z <p>I just taught Leau's Flower Theorem today...</p> <p>Your best bet to understand this map is to read Milnor's book. Click <a href="http://arxiv.org/abs/math/9201272" rel="nofollow">here</a> for a copy of the original notes (which are less polished than the book). The chapter on parabolic points is perhaps the most pedestrian, but even that is clearer than other books!</p> <p>To give you an idea of the flow of ideas, Milnor considers an analytic function $f$ with a parabolic fixed point at 0. He first assumes the multiplier is $\lambda = 1$, and proves the attraction/repulsion picture directly from the power series (call this result T1). Some corollaries follow, and then he describes the case $\lambda = {\rm e}^{2\pi{\rm i}p/q}$, which is the same as before, except that the petals are permuted by $f$ instead of determining independent basins of attraction. THIS IS YOUR MAP. The multiplier is $\lambda = {\rm e}^{2\pi{\rm i}/5}$, so the petals map counterclockwise onto each other.</p> <p>The fifth iterate of your $f$ has a fixed point with multiplier 1 so each petal maps into itself. This is the situation where the Abel function makes sense. Milnor shows how to construct explicitly this coordinate change by refining the computations from the proof of T1. THIS IS THE ANSWER TO YOUR QUESTION.</p> http://mathoverflow.net/questions/126843/elementary-cases-of-mihailescu-theorem/126877#126877 Answer by Rodrigo A. Pérez for Elementary cases of Mihailescu theorem Rodrigo A. Pérez 2013-04-08T16:09:59Z 2013-04-08T16:09:59Z <p>Even though you are talking about long-known results, a note with an interesting twist or new insight is worth publishing. If your focus is pedagogic you may want to consider a venue like the AMS College Math Journal.</p> http://mathoverflow.net/questions/28758/uppercase-point-labels-in-high-school-diagrams-from-euclid/126655#126655 Answer by Rodrigo A. Pérez for Uppercase Point Labels in High-School Diagrams: from Euclid? Rodrigo A. Pérez 2013-04-05T19:02:47Z 2013-04-05T19:48:30Z <p>From <a href="http://en.wikipedia.org/wiki/Greek_language" rel="nofollow">Wikipedia</a>: "In classical Greek, as in classical Latin, only upper-case letters existed. The lower-case Greek letters were developed much later by medieval scribes to permit a faster, more convenient cursive writing style with the use of ink and quill."</p> <p>On the other hand (<a href="http://en.wikipedia.org/wiki/Euclid%27s_Elements" rel="nofollow">Wikipedia again</a>) "the oldest surviving Latin translation of the Elements is a 12th century work by Adelard, which translates to Latin from the Arabic."</p> <p>In other words, there is no clear connection between Euclid using uppercase (the only script he knew), and us using it too (what symbols did the old arab scholars use?). There is no point either in looking at "old" books like Coxeter's. The convention is surely older!</p> <blockquote> <p>I will hazard the guess that the convention is quite old, say 1700-1800, and that it started with some random edition of Euclid that became slightly more popular than others. Which one, I do not know, but it is improbable that it is the first English translation by <a href="http://en.wikipedia.org/wiki/Henry_Billingsley#Translation_of_Euclid" rel="nofollow">Billingsley</a> (very famous, with 3D pop-out models of solids, but English was not the most influential language at the time), or Oliver Byrne's [color coded edition](http://en.wikipedia.org/wiki/Oliver_Byrne_(mathematician)#Byrne.27s_Euclid) (which is beautiful, but became well known only recently, AND does not use labels :). See also <a href="http://www.math.ubc.ca/~cass/Euclid/" rel="nofollow">this page</a>...</p> </blockquote> <p><b>BTW</b>, in Spanish points are also represented with capital letters.</p> http://mathoverflow.net/questions/126420/functions-of-one-complex-variable-geometric-theory/126585#126585 Answer by Rodrigo A. Pérez for functions of one complex variable: geometric theory Rodrigo A. Pérez 2013-04-05T03:35:06Z 2013-04-05T03:35:06Z <p>I said this <a href="http://mathoverflow.net/questions/117415/old-books-still-used/117471#117471" rel="nofollow">before</a>, but the best book ever (in any subject) is Ahlfors'. The chapter on the Weierstrass function (e.g.) is impeccable.</p> <p>I have always claimed that the best way to study Complex Analysis correctly is to read Ahlfors for the theory, and Marsden for the worked examples and long list of computational exercises. </p> <p>BTW, you will also find much interesting material in "Visual complex analysis" by T. Needham. It is full of geometric insights, although on the elementary side (and it takes loooong to get to the harder material).</p> http://mathoverflow.net/questions/126519/is-there-a-mathematical-definition-of-simplify/126573#126573 Answer by Rodrigo A. Pérez for Is there a "mathematical" definition of "simplify"? Rodrigo A. Pérez 2013-04-04T23:43:50Z 2013-04-05T00:57:29Z <p>What is simpler, $1+\tan^2\theta$ or $\sec^2\theta$? I prefer to put trig expressions exclusively in terms of $\sin$, $\cos$, and $\tan$, but the second expression is shorter.</p> <p>What is simpler, $$x^6-20x^5+148x^4-518x^3+907x^2-758x+240$$ or</p> <p>$$(x-1)(x-1)(x-2)(x-3)(x-5)(x-8)?$$</p> <p>You may want your polynomials expressed in terms of the standard basis $1,x,x^2,\ldots$, or factored into linear terms; or then again, expressed in <a href="http://en.wikipedia.org/wiki/Bernstein_polynomial" rel="nofollow">Bernstein form</a>.</p> <p>The solution in each case depends on what is required from the expression, so the answer to your question is that "simplify" is not well defined. What happens in practice is that instructors in remedial math courses teach some simplification rules so the students obtain a canonical answer that can be compared to the answer at the back of the textbook... And what dumb rules they are sometimes! I particularly mind that students learn to write $\sin(\pi/4) = \frac{\sqrt{2}}{2}$ instead of the "simpler" $\frac{1}{\sqrt{2}}$ (apparently some authors think that the students will be scared if there is a radical in the denominator). As a result the students learn not to think by themselves.</p> <blockquote> <p>But all of this is moot... the true answer is that "simplifying" an expression may not be practical if, for instance, your expression is a word representing an element of a group whose word problem is not solvable :)</p> </blockquote> http://mathoverflow.net/questions/126553/is-there-a-deep-reason-for-the-fecundity-of-involutions/126576#126576 Answer by Rodrigo A. Pérez for Is there a deep reason for the fecundity of involutions? Rodrigo A. Pérez 2013-04-04T23:58:37Z 2013-04-04T23:58:37Z <p>It all boils down to the fact that $\mathbb{R}$ has two ends!</p> <p>In all (most) mathematical processes there is some notion of direction: counting, moving (along a curve), mapping from one space <b>into</b> another, reading a formula from left to right... the geometry of $\mathbb{R}$ is present always in one way or other, and the flip of the negative and positive ends usually induces some sort of involution.</p> http://mathoverflow.net/questions/125721/polyhedra-classification Polyhedra Classification Rodrigo A. P&eacute;rez 2013-03-27T13:27:13Z 2013-03-27T23:42:32Z <p>The following is inspired by <a href="http://mathoverflow.net/questions/119455/visualizing-polyhedra-from-their-1-skeletons" rel="nofollow">this question</a>. From time to time I search the web for tables of polyhedra, but without much success. Part of the problem is that there are many non-equivalent questions that can be asked. For example:</p> <ul> <li> If $G$ is a planar graph where every edge is in a cycle, what extra conditions are needed so that $G$ realizable as a polyhedron? </li> <li> How many polyhedra with $e$ edges are there? </li> <li> If $G$ is a planar graph where every edge is in a cycle, what extra conditions are needed so that $G$ realizable as a polyhedron with regular faces? </li> <li> How many polyhedra with $e$ edges and regular faces are there? </li> <li> What are the obstructions to realizability? </li> <li> etc$\ldots$ </li> </ul> <blockquote> <p><b>Meta-question:</b> Where are questions like these addressed?</p> </blockquote> http://mathoverflow.net/questions/124361/how-to-triangulate-a-math-reference/124366#124366 Answer by Rodrigo A. Pérez for How to triangulate a math reference? Rodrigo A. Pérez 2013-03-13T01:41:10Z 2013-03-13T02:37:07Z <p>This risks being a useless answer, but the correct method to find references is (drum roll)...</p> <p>...asking someone who knows more; perhaps by email. Even in the age of MathSciNet, Google, and MO, networking with experts is the way to go. There is someone out there who knows, or knows someone who knows, or gives you a hint to an obscure reference that may or may not have the answer. Plus you get to learn other (un)related math bits and you get to network with very knowledgeable people.</p> <p><b>Addendum</b> (in reply to David's comment): My point is that you cannot encode an automated database of mathematical theorems because you do not know how the search query will look like. What happens more often to me is that I find a structure in the setting I study, and notice that some property must hold. When I ask, the answer is something like <i>"That looks like Laramie's quintionic permafrost algebras, but not quite. Your formula is equivalent to Zygyljnski's Platypus Lemma, but the indices are different."</i></p> <p>A computer system smart enough to notice that what I describe is related to permafrost algebras would be smart enough to prove theorems of its own. I do not see that coming in the near future.</p> http://mathoverflow.net/questions/84003/are-there-some-original-papers-or-books-related-to-applications-of-algebraic-topo/124130#124130 Answer by Rodrigo A. Pérez for Are there some original papers or books related to applications of algebraic topology and algebraic geometry in complex dynamic systems Rodrigo A. Pérez 2013-03-10T06:06:50Z 2013-03-10T06:06:50Z <p>Densely scattered around the boundary of the Mandelbrot set $M$ you can find a miriad of tiny "Babybrots". We know that they are <em>quasi-conformally isomorphic copies</em> of $M$; that is to say, they are deformed, but not to wildly. Still, it is VERY surprising that they are visually recognizable. All the gray regions below seem to be bounded by circles and cardioids:</p> <p><img src="http://img4.blogs.yahoo.co.jp/ybi/1/bd/9a/blogchemistry/folder/429228/img_429228_6323541_15?1318579352" alt=""></p> <p>Surprise, surprise! The largest interior component of $M$ is indeed bounded by a cardioid, and the large disk to its left is truly round. But all other components are bounded by real algebraic curves of high degree, and are no longer true cardioids and circles:</p> <p><img src="http://upload.wikimedia.org/wikipedia/commons/1/14/Mandelbrot_DEM_Sobel.png" alt=""></p> <p>The paper <a href="http://www.ams.org/journals/proc/1995-123-12/S0002-9939-1995-1301497-3/S0002-9939-1995-1301497-3.pdf" rel="nofollow">A Parameterization of the Period 3 Hyperbolic Components of the Mandelbrot Set</a> by D. Giarrusso and Y. Fisher studies these boundaries as algebraic curves, and shows how to construct explicit parametrizations in the cases of period 1 (The Cardioid $C$), period 2 (The Disk), and period 3 (the two largest "disks" above and below $C$, plus the tiny "cardioid" visible in the middle of the left antenna).</p> http://mathoverflow.net/questions/124032/how-do-you-prove-that-every-curve-of-constant-width-is-convex/124044#124044 Answer by Rodrigo A. Pérez for How do you prove that every curve of constant width is convex? Rodrigo A. Pérez 2013-03-09T03:47:06Z 2013-03-09T03:47:06Z <p>Say that the compact set $K \subset \mathbb{R}^2$ of constant width $d$ is not convex; then there is some support line that touches two points, say $A$ and $B$ on $\partial K$. The parallel line that supports $K$ "from the other side" touches at least one point $C \in \partial K$. The distance between these two lines is the constant width $d$.</p> <p>But either the distance $\overline{AC}$ or $\overline{BC}$ (or both) is strictly larger than $d$, so the width in the direction orthogonal to that line is larger than $d$ and $K$ has not constant width.</p> http://mathoverflow.net/questions/123135/modern-developments-in-finite-dimensional-linear-algebra/123185#123185 Answer by Rodrigo A. Pérez for Modern developments in finite-dimensional linear algebra Rodrigo A. Pérez 2013-02-28T03:39:27Z 2013-02-28T03:39:27Z <p>From <a href="http://en.wikipedia.org/wiki/Linear_programming#History" rel="nofollow">Wikipedia</a>: "The linear-programming problem was first shown to be solvable in polynomial time by Leonid Khachiyan in 1979, but a larger theoretical and practical breakthrough in the field came in 1984 when Narendra Karmarkar introduced a new interior-point method for solving linear-programming problems."</p> http://mathoverflow.net/questions/122801/untangling-entwined-rigid-chains-in-3-space/122803#122803 Answer by Rodrigo A. Pérez for Untangling entwined rigid chains in 3-space Rodrigo A. Pérez 2013-02-24T15:46:50Z 2013-02-24T15:46:50Z <p>You can twist one wire into a linked double noose (with free endtips):</p> <p><img src="http://img1.etsystatic.com/003/0/7121128/il_170x135.368844821_ax9g.jpg" alt="alt text"></p> <p>If, in turn, you link two of these "loops", the whole thing cannot be unentangled.</p> http://mathoverflow.net/questions/122406/undecidability-and-holomorphic-functions-reference-request/122408#122408 Answer by Rodrigo A. Pérez for Undecidability and holomorphic functions (Reference request) Rodrigo A. Pérez 2013-02-20T14:54:07Z 2013-02-20T14:54:07Z <p>The paper <a href="http://arxiv.org/abs/math/0604371" rel="nofollow">Constructing Non-Computable Julia Sets</a> by Mark Braverman and Michael Yampolsky gives examples of quadratic polynomials with non-computable Julia sets. In particular, the question of deciding whether some point belongs to the Julia set is intractable.</p> http://mathoverflow.net/questions/62713/what-math-institutes-offer-research-in-pairs-research-in-teams/131120#131120 Comment by Rodrigo A. Pérez Rodrigo A. Pérez 2013-05-19T13:53:47Z 2013-05-19T13:53:47Z I went over the list and oversaw his answer. I am deleting. Thanks. http://mathoverflow.net/questions/113959/a-function-whose-fixed-points-are-the-primes Comment by Rodrigo A. Pérez Rodrigo A. Pérez 2013-05-15T19:22:54Z 2013-05-15T19:22:54Z @jjcale: Thanks! http://mathoverflow.net/questions/130545/proof-of-the-weak-goldbach-conjecture/130571#130571 Comment by Rodrigo A. Pérez Rodrigo A. Pérez 2013-05-14T16:47:10Z 2013-05-14T16:47:10Z Thank you! http://mathoverflow.net/questions/102159/good-codes-in-practice-for-correcting-combination-of-errors-and-erasures/102267#102267 Comment by Rodrigo A. Pérez Rodrigo A. Pérez 2013-05-14T03:40:45Z 2013-05-14T03:40:45Z +1 for the link. It's a great book! http://mathoverflow.net/questions/113959/a-function-whose-fixed-points-are-the-primes Comment by Rodrigo A. Pérez Rodrigo A. Pérez 2013-05-06T02:08:46Z 2013-05-06T02:08:46Z @jjcale: Thanks! Do you have that data available? I only went up to 100,000 many years ago. http://mathoverflow.net/questions/129368/asymptotic-series/129387#129387 Comment by Rodrigo A. Pérez Rodrigo A. Pérez 2013-05-02T12:10:02Z 2013-05-02T12:10:02Z Basically what I was hoping for... Thanks! http://mathoverflow.net/questions/128786/history-of-the-high-dimensional-volume-paradox/128789#128789 Comment by Rodrigo A. Pérez Rodrigo A. Pérez 2013-04-26T17:26:12Z 2013-04-26T17:26:12Z That is a beautiful article, and it still leaves so many interesting questions open. Thanks! http://mathoverflow.net/questions/128479/can-i-use-both-of-setbuilder-notations-in-one-article/128483#128483 Comment by Rodrigo A. Pérez Rodrigo A. Pérez 2013-04-23T13:46:37Z 2013-04-23T13:46:37Z Boy, this is the best answer I have seen in MO. I have learned a lot from other answers, but I was surprised to read more and more detail in only 7 lines; +2! (I wish). I would add that the two notations look natural enough that the reader will probably not notice if they are both used. http://mathoverflow.net/questions/128038/great-mathematics-books-by-pre-modern-authors/128040#128040 Comment by Rodrigo A. Pérez Rodrigo A. Pérez 2013-04-19T17:05:03Z 2013-04-19T17:05:03Z &quot;Wenn die Zahl a in der Differenz der Zahlen b, c aufgeht, so werden b und c nach a congruent, im andern Falle incongruent genannt. Die Zahl a nennen wir den Modul. Jede der beiden Zahlen b, c hei&#223;t im ersteren Falle Rest, im letzteren aber Nichtrest der anderen.&quot; Although, as Chandan points out, the original WAS in latin :) http://mathoverflow.net/questions/128038/great-mathematics-books-by-pre-modern-authors/128040#128040 Comment by Rodrigo A. Pérez Rodrigo A. Pérez 2013-04-19T12:11:24Z 2013-04-19T12:11:24Z When I was an undergraduate in Mexico, an important rite of passage was attending the geometry and number theory courses of A. Barajas. He was a legend as one of the founders of Mathematics in Mexico, having worked with Einstein, and organizing the famous 1956 International Symposium on Algebraic Topology. He always started the number theory class by citing the first chapter of Disquisitiones from memory: &quot;Wenn die zahl $a$...&quot; http://mathoverflow.net/questions/126099/notation-problem-fixed-rings-and-fields/128031#128031 Comment by Rodrigo A. Pérez Rodrigo A. Pérez 2013-04-19T02:09:15Z 2013-04-19T02:09:15Z @Erik: It's the empty checkmark below the up/down vote buttons next to the answer... http://mathoverflow.net/questions/127974/products-of-matrices-of-a-certain-form Comment by Rodrigo A. Pérez Rodrigo A. Pérez 2013-04-18T22:11:00Z 2013-04-18T22:11:00Z Thank you Martin and Federico. $1/(1-x)$ resonates well with my problem! http://mathoverflow.net/questions/127045/fixed-point-theorems/127081#127081 Comment by Rodrigo A. Pérez Rodrigo A. Pérez 2013-04-10T14:14:33Z 2013-04-10T14:14:33Z @R salimi: Can you explain your notation for readers from different areas of Mathematics? http://mathoverflow.net/questions/127045/fixed-point-theorems Comment by Rodrigo A. Pérez Rodrigo A. Pérez 2013-04-10T13:19:15Z 2013-04-10T13:19:15Z Also: Journal of Fixed Point Theory and Applications, Fixed Point Theory and Applications, Fixed Point Theory, Advances in Fixed Point Theory, and JP Journal of Fixed Point Theory and Applications. http://mathoverflow.net/questions/126519/is-there-a-mathematical-definition-of-simplify/126573#126573 Comment by Rodrigo A. Pérez Rodrigo A. Pérez 2013-04-10T03:44:42Z 2013-04-10T03:44:42Z @Ramiro: Entonces es verdad que un radical en el denominador da mas miedo :) Eso explica tambien porque escriben $2\sqrt{2}$ en lugar de $\sqrt{8}$...