DOCSLIB.ORG

Arxiv:1909.07661V2 [Math-Ph] 11 Jan 2021 Absence of Ground

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:1909.07661V2 [Math-Ph] 11 Jan 2021 Absence of Ground Absence of Ground States in the Renormalized Massless Translation-Invariant Nelson Model Thomas Norman Dam Benjamin Hinrichs Aarhus Universitet∗ Friedrich Schiller Universität Jena Nordre Ringgade 1 Ernst-Abbe-Platz 2 8000 Aarhus C 07743 Jena Denmark Germany [email protected] July 28, 2021 Abstract We consider the model of a massive uncharged non-relativistic particle interacting with a mass- less bosonic field, widely referred to as the Nelson model. It is well known that an ultraviolet renormalized Hamilton operator exists in this case. Further, due to translation-invariance, it decomposes into fiber operators. In this paper, we treat the renormalized fiber operators. We give a description of the operator and form domains and prove that the fiber operators do not have a ground state. Our results especially hold for any non-zero coupling constant and arbitrary total momentum. Our proof for the absence of ground states is a new generalization of methods recently applied to related models. A major enhancement we provide is that the method can be applied to models with degenerate ground state eigenspaces. 1 Introduction arXiv:1909.07661v2 [math-ph] 11 Jan 2021 In this paper, we prove absence of ground states for the fiber operators in the translation invariant renormalized massless Nelson model. The method used in the proof follows along the lines of [Dam20], but crucially avoids non-degeneracy of ground states as an ingredient, even though it would be available (see [Miy18]). Instead, we rely on a momentum estimate for hypothetical ground states derived via rotation invariance. The purpose of avoiding non-degeneracy of ground states as an ingredient is threefold: First of all, the method found in this paper can in principle be applied to translation invariant models which cannot be expected to have non-degenerate ground states, such as models with spin. Second, it allows us to remove unnatural technical assumptions and work under very general hypotheses. Third, it allows us to an almost self-contained proof of our claim. Along the way, we obtain several new results about the domain and the form domain of the renormalized fiber operators that also hold for the massive model. In particular, we show that all fiber operators have the same form domain, but the intersection between the domain of two different fiber operators is 0 in case of the 3-dimensional Nelson model. { } ∗Present Affiliation: Danske Bank, Superfly Analytics, QRA, Laksegade 11, 1063 Copenhagen K, Denmark T.N. Dam, B. Hinrichs 2 To further introduce the results, we will use vague but standard definitions of the operators. For rigorous definitions we refer the reader to Section 2. The Nelson model was originally treated by Edward Nelson in his paper [Nel64]. He investigated a formal expression for a Hamiltonian describing the interaction of a chargeless particle with a scalar bosonic field. We here denote the dispersion relation of the bosonic field as ω : R3 R and the → interaction function between particle and field as v : R3 R. In the physical case, they are given as ω(k) = µ2 + k2 and v = gω−1/2 for some coupling→ constant g R 0 and the photon ∈ \{ } mass µ 0p. By removing the interaction between the particle and field modes with momentum ≥ larger than a parameter Λ (0, ), the so-called ultraviolet cutoff, Nelson was able to define the corresponding operator acting∈ on∞ψ L2(R3, ) as ∈ F −ikx † HΛψ(x)= ∆xψ(x)+ dΓ(ω)ψ(x)+ e v(k)(a + ak)ψ(x)dk. − Z k |k|<Λ 2 3 2 3 Here, ∆x denotes the positive Laplacian on L (R ), denotes the bosonic Fock space on L (R ), − F † dΓ is the second-quantization of a multiplication operator, and ak, ak are the pointwise annihilation and creation operators. He then found a constant EΛ, sometimes referred to as the self-energy, such that H E converges to an operator H in the strong resolvent sense as Λ . H is Λ − Λ ∞ → ∞ ∞ the operator we refer to as the translation-invariant renormalized Nelson Hamiltonian. It was later proven in [Can71] that the convergence is actually in the norm resolvent sense. The operators HΛ and H∞ strongly commute with the total momentum P = i + dΓ(m), where m : R3 R3, k k, − ∇ → 7→ which is the reason they are called translation-invariant. This implies that there is a unitary operator V (sometimes called the Lee-Low-Pines operator, see [LLP53]) such that the operator ∗ VHΛV decomposes into a direct integral ⊕ ∗ VHΛV = HΛ(ξ)dξ for all Λ (0, ], ZR3 ∈ ∞ where the so-called fiber operators H (ξ) act on . For Λ < they can explicitly be written as Λ F ∞ 2 † HΛ(ξ)=(ξ dΓ(m)) + dΓ(ω)+ v(k)(a + ak)dk. − Z k |k|<Λ In [Can71] it was also proven, that HΛ(ξ) EΛ converges to H∞(ξ) in the norm resolvent sense as Λ for all ξ R3. − →∞ ∈ The treatment of the renormalized operators H∞ and H∞(ξ) is considerably harder than ana- lyzing the operators with finite cutoff Λ < , starting with the identification of form and operator ∞ domains. Results on the full operator H∞ are hereby derived in [GW18], whereas we treat the renormalized fibers H∞(ξ) (cf. Theorem 2.6). Explicitly, we prove that the form domain of the renormalized fibers H∞(ξ) is independent of the total momentum ξ. We further derive a necessary and sufficient condition for the operator domain to also be independent of ξ. If this is not the case, we show that the domains of H∞(ξ1) and H∞(ξ2) only have the zero-vector in common if ξ1 = ξ2. This result especially holds for the physical case independent of coupling constant or photon mass.6 Theorem 3.8 in Section 3 also contains numerous interesting results about improved convergence of H (ξ) as Λ , which hold in very high generality. In a recent paper [LS19] an explicit expression Λ →∞ Absence of Ground States in the Renormalized Massless Translation-Invariant Nelson Model T.N. Dam, B. Hinrichs 3 for the renormalized operators has been derived using interior boundary conditions. However, the regularity assumptions therein are considerably stronger than the ones we use. We say the Nelson model is infrared divergent, if v/ω is not square-integrable in any ball centred at zero. In the physical example this is the case if we set the photon mass µ =0. In Theorem 2.7, we prove that in case of infrared divergence the renormalized operator H∞(ξ) does not have a 3 ground state for any ξ R , i.e., inf σ(H∞(ξ)) is not an eigenvalue. The proof is based on the techniques developed in∈ the papers [Dam20, HH08], but extends them to a more general setting. The method used in [HH08] needs the differentiability of the mass-shell ΣΛ(ξ) = inf(σ(HΛ(ξ))) with nonzero derivative, which is hard to prove by itself. In [Dam20] this condition is replaced by using the non-degeneracy of the eigenspace associated with ΣΛ(ξ), which yields the first non-perturbative proof along this line. Using new results from [Miy19, Miy18] the non-degeneracy of Σ∞(ξ) can be proven. This, in principal, would allow us to extend the method from [Dam20] to the renormalized case more directly. This, however, has two severe disadvantages. First, proving the non-degeneracy of the mass-shell requires the use of a technically different approach, based on the work of Perron, Frobenius and Faris. Second, it prevents the method from being applied to any model having a natural degeneracy of the mass-shell, such as models involving spins. Therefore, we derive a generalization of the method in [Dam20] which lets us drop the assumption of non-degeneracy and can therefore be applied to a broader class of models. Theorem 2.7 stands in a long line of results on ground state existence and absence for the Nelson model. For the full operator with cutoff HΛ existence in the infrared regular case, i.e., µ> 0 for the physical example, goes back to [G00],´ while non-existence in the infrared divergent case is proven in [DG04]. The equivalent results for the renormalized operator H∞ can be found in [GHL14] and [HM19]. The situation is similar for the fiber operators. The infrared regular case is treated in [Fro73, Fro74]. For the non-renormalized fiber operators HΛ(ξ) absence of ground states for all ξ R3 and Λ (0, ) in the infrared divergent case is proven in [Dam20]. Our result is therefore a somewhat∈ natural,∈ although∞ non-trivial, generalization of known results. In the context of scattering theory this result poses some challenges, as ground states near ξ = 0 are used to define scattering states, which is why results of this type are often referred to as the infrared catastrophe. One workaround is to construct ground states in a so called non-equivalent Fock representation, which is done in [BDP12, Piz03]. 2 Notation, Model and Main Result In this section we first introduce Fock space notation and operators in Section 2.1. Then, we define the Nelson model in Section 2.2 and state our main results Theorem 2.6 and Theorem 2.7. 2.1 Fock Space Operators Throughout this paper we assume ν N and write = L2(Rν) for the state space of a single boson. Then, let be the bosonic Fock∈ space definedH by F ∞ = C (n) with (n) = L2 (Rnν), (2.1) F ⊕ F F sym Mn=1 where we symmetrize over the n Rν -variables in each component. We write an element ψ in ∈ F terms of its coordinates ψ =(ψ(n)) and define the vacuum Ω=(1, 0, 0,..
Load more

Recommended publications
  • The Consistency of Arithmetic
    The Consistency of Arithmetic Timothy Y. Chow July 11, 2018 In 2010, Vladimir Voevodsky, a Fields Medalist and a professor at the Insti- tute for Advanced Study, gave a lecture entitled, “What If Current Foundations of Mathematics Are Inconsistent?” Voevodsky invited the audience to consider seriously the possibility that first-order Peano arithmetic (or PA for short) was inconsistent. He briefly discussed two of the standard proofs of the consistency of PA (about which we will say more later), and explained why he did not find either of them convincing. He then said that he was seriously suspicious that an inconsistency in PA might someday be found. About one year later, Voevodsky might have felt vindicated when Edward Nelson, a professor of mathematics at Princeton University, announced that he had a proof not only that PA was inconsistent, but that a small fragment of primitive recursive arithmetic (PRA)—a system that is widely regarded as implementing a very modest and “safe” subset of mathematical reasoning—was inconsistent [11]. However, a fatal error in his proof was soon detected by Daniel Tausk and (independently) Terence Tao. Nelson withdrew his claim, remarking that the consistency of PA remained “an open problem.” For mathematicians without much training in formal logic, these claims by Voevodsky and Nelson may seem bewildering. While the consistency of some axioms of infinite set theory might be debatable, is the consistency of PA really “an open problem,” as Nelson claimed? Are the existing proofs of the con- sistency of PA suspect, as Voevodsky claimed? If so, does this mean that we cannot be sure that even basic mathematical reasoning is consistent? This article is an expanded version of an answer that I posted on the Math- Overflow website in response to the question, “Is PA consistent? do we know arXiv:1807.05641v1 [math.LO] 16 Jul 2018 it?” Since the question of the consistency of PA seems to come up repeat- edly, and continues to generate confusion, a more extended discussion seems worthwhile.
    [Show full text]
  • Irving Ezra Segal (1918–1998)
    mem-segal.qxp 5/12/99 12:57 PM Page 659 Irving Ezra Segal (1918–1998) John C. Baez, Edwin F. Beschler, Leonard Gross, Bertram Kostant, Edward Nelson, Michèle Vergne, and Arthur S. Wightman Irving Segal died suddenly on August 30, 1998, After the war while taking an evening walk. He was seventy-nine Segal spent two and was vigorously engaged in research. years at the Insti- Born on September 13, 1918, in the Bronx, he tute for Advanced grew up in Trenton and received his A.B. from Study, where he Princeton in 1937. What must it have been like to held the first of the be a member of the Jewish quota at Princeton in three Guggenheim the 1930s? He told me once that a fellow under- Fellowships that he graduate offered him money to take an exam in his was to win. Other stead and was surprised when Irving turned him honors included down. election to the Na- He received his Ph.D. from Yale in 1940. His the- tional Academy of sis was written under the nominal direction of Sciences in 1973 Einar Hille, who suggested that Segal continue his and the Humboldt Award in 1981. At and Tamarkin’s investigation of the ideal theory the University of of the algebra of Laplace-Stieltjes transforms ab- Chicago from 1948 solutely convergent in a fixed half-plane. But, Segal to 1960, he had fif- wrote, “For conceptual clarification and for other teen doctoral stu- reasons, an investigation of the group algebra of dents, and at MIT, a general [locally compact] abelian group was of where he was pro- Irving Segal interest.” And the thesis was not restricted to fessor from 1960 abelian groups.
    [Show full text]
  • 1995 Steele Prizes
    steele.qxp 4/27/98 3:29 PM Page 1288 1995 Steele Prizes Three Leroy P. Steele Prizes were presented at The text that follows contains, for each award, the awards banquet during the Summer Math- the committee’s citation, the recipient’s response fest in Burlington, Vermont, in early August. upon receiving the award, and a brief bio- These prizes were established in 1970 in honor graphical sketch of the recipient. of George David Birkhoff, William Fogg Osgood, and William Caspar Graustein Edward Nelson: 1995 Steele Prize for and are endowed under the Seminal Contribution to Research terms of a bequest from The 1995 Leroy P. Steele award for research of Leroy P. Steele. seminal importance goes to Professor Edward The Steele Prizes are Nelson of Princeton University for the following ...for a research awarded in three categories: two papers in mathematical physics character- for a research paper of fun- ized by leaders of the field as extremely innov- paper of damental and lasting impor- ative: tance, for expository writing, 1. “A quartic interaction in two dimensions” in fundamental and for cumulative influence Mathematical Theory of Elementary Particles, and lasting extending over a career, in- MIT Press, 1966, pages 69–73; cluding the education of doc- 2. “Construction of quantum fields from Markoff importance, toral students. The current fields” in Journal of Functional Analysis 12 award is $4,000 in each cate- (1973), 97–112. for expository gory. In these papers he showed for the first time The recipients of the 1995 how to use the powerful tools of probability writing, and for Steele Prizes are Edward Nel- theory to attack the hard analytic questions of son for seminal contribution constructive quantum field theory, controlling cumulative to research, Jean-Pierre Serre renormalizations with Lp estimates in the first influence for mathematical exposition, paper and, in the second, turning Euclidean and John T.
    [Show full text]
  • Edward Nelson (1932-2014) 3
    EDWARD NELSON (1932-2014) MIKHAIL G. KATZ AND SEMEN S. KUTATELADZE On September 10, 2014 we lost Edward Nelson, one of the most original and controversial mathematical thinkers of our time. Nelson was born on May 4, 1932 in Decatur, Georgia. His father spoke fluent Russian, having spent some time in St. Petersburg in con- nection with issues related to prisoners of war (Nelson 1995 [11]). Nel- son was educated at the University of Chicago. In 1953 he was awarded a master’s degree, and in 1955 he earned a doctorate under the super- vision of Irving Segal, an expert in mathematical methods of quantum mechanics and functional analysis and one of the founders of the theory of C*-algebras. Not surprisingly, Nelson’s early papers were devoted to quantum mechanics. In 1995, Nelson received the Steele prize awarded by the American Mathematical Society, for his 1963 and 1977 papers on applications of probability theory to quantum fluctuations. After graduating, Nelson spent three years at Princeton’s Institute for Advanced Study, and from 1959 until his retirement in 2013, he worked at Princeton University where he became a Professor in 1964. In his memory the university flag was raised at half-mast for three days. In 1975 Nelson was elected to the American Academy of Arts and Sciences, and in 1997, to the National Academy of Sciences of the USA. Princeton University Press published the following six monographs by Nelson: arXiv:1506.01570v1 [math.HO] 4 Jun 2015 (1) Dynamical theories of Brownian motion. Princeton University Press, Princeton, N.J.
    [Show full text]
  • Publications of Irving Segal Papers
    Publications of Irving Segal Papers [1] Fiducial distribution of several parameters with application to a normal system, Proc. Camb. Philos. Soc. , 34 (1938), 41–47. Zbl 018.15703 [2] The automorphisms of the symmetric group, Bull. Amer. Math. Soc. 46 (1940), 565. MR 2 #1c Zbl 061.03301 [3] The group ring of a locally compact group. I, Proc. Nat. Acad. Sci. U. S. A. 27 (1941), 348–352. MR 3 #36b Zbl 063.06858 [4] The span of the translations of a function in a Lebesgue space, Proc. Nat. Acad. Sci. U. S. A. 30 (1944), 165–169. MR 6 #49c Zbl 063.06859 [5] Topological groups in which multiplication of one side is differen- tiable, Bull. Amer. Math. Soc. 52 (1946), 481–487. MR 8 #132d Zbl 061.04411 [6] Semi-groups of operators and the Weierstrass theorem, Bull. Amer. Math. Soc. 52 (1946), 911–914. (with Nelson Dunford) MR 8 #386e Zbl 061.25307 [7] The group algebra of a locally compact group, Trans. Amer. Math. Soc. 61 (1947), 69–105. MR 8 #438c Zbl 032.02901 [8] Irreducible representations of operator algebras, Bull. Amer. Math. Soc. 53 (1947), 73–88. MR 8 #520b Zbl 031.36001 [9] The non-existence of a relation which is valid for all finite groups, Bol. Soc. Mat. S˜aoPaulo 2 (1947), no. 2, 3–5 (1949). MR 13 #316b [10] Postulates for general quantum mechanics, Ann. of Math. (2) 48 (1947), 930–948. MR 9 #241b Zbl 034.06602 [11] Invariant measures on locally compact spaces, J. Indian Math. Soc.
    [Show full text]
  • Ed Nelson's Work in Quantum Theory 1
    ED NELSON’S WORK IN QUANTUM THEORY BARRY SIMON¤ Abstract. We review Edward Nelson’s contributions to nonrel- ativistic quantum theory and to quantum field theory. 1. Introduction It is a pleasure to contribute to this celebration of Ed Nelson’s scien- tific work, not only because of the importance of that work but because it allows me an opportunity to express my gratitude and acknowledge my enormous debt to Ed. He and Arthur Wightman were the key for- mulative influences on my education, not only as a graduate student but during my early postdoctoral years. Thanks, Ed! I was initially asked to talk about Ed’s work in quantum field theory (QFT), but I’m going to exceed my assignment by also discussing Ed’s impact on conventional nonrelativistic quantum mechanics (NRQM). There will be other talks on his work on unconventional quantum the- ory. After discussion of NRQM and the Nelson model, I’ll turn to the truly great contributions: the first control of a renormalization, albeit the Wick ordering that is now regarded as easy, and the seminal work on Euclidean QFT. Many important ideas I’ll discuss below involve crucial remarks of Ed that — in his typically generous fashion — he allowed others to publish. 2. NRQM Ed has very little published specifically on conventional NRQM but he had substantial impact through his lectures, students, and ideas from his papers that motivated work on NRQM. In particular, two of Date: August 12, 2004. ¤ Mathematics 253-37, California Institute of Technology, Pasadena, CA 91125, USA. E-mail: [email protected].
    [Show full text]
  • John Horton Conway 2013 Book.Pdf
    Princeton University Honors Faculty Members Receiving Emeritus Status May 2013 The biographical sketches were written by colleagues in the departments of those honored, except where noted. Copyright © 2013 by The Trustees of Princeton University 350509-13 Contents Faculty Members Receiving Emeritus Status Leonard Harvey Babby 1 Mark Robert Cohen 4 Martin C. Collcutt 6 John Horton Conway 10 Edward Charles Cox 14 Frederick Lewis Dryer 16 Thomas Jeffrey Espenshade 19 Jacques Robert Fresco 22 Charles Gordon Gross 24 András Peter Hámori 28 Marie-Hélène Huet 30 Morton Daniel Kostin 32 Heath W. Lowry 34 Richard Bryant Miles 36 Chiara Rosanna Nappi 39 Susan Naquin 42 Edward Nelson 44 John Abel Pinto 47 Albert Jordy Raboteau 49 François P. Rigolot 54 Daniel T. Rodgers 57 Gilbert Friedell Rozman 61 Peter Schäfer 64 José A. Scheinkman 68 Anne-Marie Slaughter 71 Robert Harry Socolow 74 Zoltán G. Soos 78 Eric Hector Vanmarcke 81 Maurizio Viroli 83 Frank Niels von Hippel 85 Andrew John Wiles 87 Michael George Wood 89 John Horton Conway John Conway is a mathematician whose interests run broad and deep, ranging from classical geometry to the 196,884-dimensional Monster group to infinity and beyond. Perhaps his greatest achievement (certainly his proudest achievement) is the invention of new system of numbers, the surreal numbers—a continuum of numbers that include not only real numbers (integers, fractions, and irrationals such as pi, which in his heyday he could recite from memory to more than 1,100 digits), but also the infinitesimal and the infinite numbers. When he discovered them in 1970, the surreals had John wandering around in a white-hot daydream for weeks.
    [Show full text]
  • Gnomes in the Fog: the Reception of Brouwer's Intuitionism in the 1920S
    Gnomes in the Fog: The Reception of Brouwer’s Intuitionism in the 1920s, by Dennis E. Hesseling, Science Networks – Historical Studies, vol. 28, Birkh¨auser,Basel, 2003, xxviii+447 pp., ISBN 3-7643-6536-6 A classical mathematician C and an intuitionist I use the same logical operators, ∧ ∀ → ¬ ∃ ∨, but with different semantics and different deductive procedures. When C asserts a closed formula A, she is making an ontological statement: A is true in the structure under consideration. Then A ∨ ¬A always holds: either A is true or it is not, there is no third possibility. But when I asserts A, he is making an epistemological statement: I know A. Thus to him, A ∨ ¬A means: I know A or I know that A is absurd—but now there is clearly a third possibility. He rejects the principle of the excluded middle because to him it is a principle of omniscience. I overheard two conversations between C and I. She spoke first: I have just proved ∃xA. Congratulations! What is it? I don’t know. I assumed ∀x¬A and derived a contradiction. Oh. You proved ¬∀x¬A. That’s what I said. I have proved A ∨ B. Good. Which did you prove? What? You said you proved A or B; which did you prove? Neither; I assumed ¬A ∧ ¬B and derived a contradiction. Oh, you proved ¬[¬A ∧ ¬B]. That’s right. It’s another way of saying the same thing. He does not agree with her last statement, of course, but at least C can explain to him what she has proved in a way that he can understand.
    [Show full text]
  • Mathematics and Faith by Edward Nelson Department of Mathematics Princeton University Nelson/Papers.Html ∼
    Mathematics and Faith by Edward Nelson Department of Mathematics Princeton University http:==www.math.princeton.edu= nelson=papers.html ∼ In this reflection about mathematics I shall confine myself to arith- metic, the study of the numbers 0, 1, 2, 3, 4, ::: . Everyone has at least the feeling of familiarity with arithmetic, and the issues that concern the human search for truth in mathematics are already present in arithmetic. Here is an illustration of research in arithmetic. About 2500 years ago, the Pythagoreans defined a number to be perfect in case it is the sum of all its divisors other than itself. Thus 6 = 1 + 2 + 3 and 28 = 1 + 2 + 4 + 7 + 14 are perfect. The Pythagoreans, or perhaps Eu- n n n 1 clid himself, proved that if 2 1 is a prime, then (2 1) 2 − is perfect.1 More than 2000 years− later, Euler proved that every− even· per- fect number is of this form. This left open the question whether there exists an odd perfect number. The search for an odd perfect number or, alternatively, for a proof that no odd perfect number exists, continues today, several centuries after Euler and in the fourth millennium from Pythagoras. No other field of human endeavor so transcends the barriers of time and culture. What accounts for the astounding ability of Pythagoras, Euler, and mathematicians of the 21st century to engage in a common pursuit? Of the three schools of thought on the foundations of mathematics| Platonic realism, intuitionism, and formalism|the Platonists offer what seems to be the simplest explanation.
    [Show full text]
  • Mathematics and Religion October 17, 2009 2:30 PM the Philoctetes Center
    Mathematics and Religion October 17, 2009 2:30 PM The Philoctetes Center Levy: Francis Levy Nersessian: Edward Nersessian Balestra: Dominic Balestra Goldstein: Rebecca Newberger Goldstein Graham: Loren Graham Nelson: Edward Nelson Tegmark: Max Tegmark Audience: Question from audience Levy: I’m Francis Levy. Ed Nersessian and I are co-directors of the Philoctetes Center, and welcome to Mathematics and Religion. Before we begin today’s program I wanted to again call your attention to the exhibit on the walls, which is the Aesthetics of Mathematics, which is curated by Hallie Cohen and Adam Ludwig. Now I’m pleased to present Rebecca Newberger Goldstein. Rebecca Newberger Goldstein is a novelist and philosopher. She is the author of eight books, six of them fiction, including the best- selling The Mind-Body Problem. Her last two books have been non-fiction: Incompleteness: The Proof and Paradox of Kurt Gödel, which was chosen by Discover Magazine, The Chicago Tribune, and The New York Sun as one of the best books of 2005, and Betraying Spinoza: The Renegade Jew Who Gave Us Modernity, which won the 2006 Koret International Award for Jewish Thought. The recipient of numerous awards for scholarships and fiction, she received a MacArthur “genius” award in 1996—and I didn’t need to know she’d gotten a MacArthur to know that she’s a genius, because we were talking on the way over here. At a certain point in the conversation I was with her, and then at another point I knew it was making a lot of sense but that I couldn’t follow it any longer.
    [Show full text]
  • RAMIFIED RECURSION and INTUITIONISM Edward Nelson Department of Mathematics Princeton University
    RAMIFIED RECURSION AND INTUITIONISM Edward Nelson Department of Mathematics Princeton University Both Jean-Louis Callot and Georges Reeb had a strong interest in the relationship between computers and nonstandard analysis, and Reeb was a dedicated intuitionist. These are the themes of this talk given to honor their memory. First I shall give a brief introduction to recent work on ramified recursion, expressed in language familiar to nonstandard analysts, and then I shall sketch an approach to a constructive logic of the feasible. I. Ramified recursion The 1930s witnessed a flowering of mathematical logic. One of the achievements of this period was the creation by Turing, G¨odel,and Church of the theory of recursive functions, work that laid the theo- retical foundations for the study of computers. With the advent of high- speed computers, attention focused on feasible computations as opposed to computations possible in principle. The usual model for a feasible computation is that of polynomial time functions, functions that can be evaluated in time that is bounded by a polynomial in the lengths of their arguments. This notion is robust under changes in the model of computation (Turing machine, register machine, etc.). If a class of functions is characterized by time of eval- uation, if it is closed under composition (and this is necessary to have a sensible theory), and if it contains one function requiring time x 1+" (where x is the length of the argument x and " > 0), then it containsj j all polynomialj j time functions. On the other hand, a function that is not polynomial time cannot be regarded as feasible for all arguments.
    [Show full text]
  • Publications of Edward Nelson BOOKS
    Publications of Edward Nelson BOOKS http://www.math.princeton.edu/˜nelson/books.html 1. Dynamical Theories of Brownian Motion, Mathematical Notes, Princeton University Press, 1967. 2. Tensor Analysis, Mathematical Notes, Princeton University Press, 1967. 3. Topics in Dynamics I: Flows, Mathematical Notes, Princeton University Press, 1969. 4. Quantum Fluctuations, Princeton Series in Physics, Princeton University Press, 1985. 5. Predicative Arithmetic, Mathematical Notes, Princeton University Press, 1986. 6. Radically Elementary Probability Theory, Annals of Mathematics Studies, Princeton Uni- versity Press, 1987. [Also in French and Russian translations.] ARTICLES 1. Kernel functions and eigenfunction expansions, Duke Mathematical Journal 25 (1958), 15– 28. 2. A functional calculus using singular Laplace integrals, Transactions of the American Math- ematical Society 88 (1958), 400–413. [Online at JSTOR.] 3. An existence theorem for second order parabolic equations, Transactions of the American Mathematical Society, 88 (1958), 414–429. [Online at JSTOR.] 4. The adjoint Markoff process, Duke Mathematical Journal 25 (1958), 671–690. 5. Representation of a Markovian semigroup and its infinitesimal generator, Journal of Math- ematics and Mechanics 7 (1958), 977–988. 6. Regular probability measures on functions space, Annals of Mathematics 69 (1959), 630– 643. [Online at JSTOR.] 7. Correction to “Kernel functions and eigenfunctions expansions,” Duke Mathematical Jour- nal 26 (1959), 697–698. 8. (with W. F. Stinespring) Representation of elliptic operators in an enveloping algebra, American Journal of Mathematics 81 (1959), 547–560. [Online at JSTOR.] 9. Analytic vectors, Annals of Mathematics 70 (1959), 572–615. [Online at JSTOR.] 10. The distinguished boundary of the unit operator ball, Proceedings of the American Math- ematical Society 12 (1961), 994–995.
    [Show full text]