DOCSLIB.ORG

Almost Arithmetic Progressions in "Substantial’ Subsets of Integers

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Almost Arithmetic Progressions in Almost Arithmetic Progressions in "substantial’ subsets of Integers Shobha Madan Currently at Indian Institute of Technology, Goa October 17, 2020. Gonit Sora Shobha Madan Almost Arithmetic Progressions in "substantial’ subsets of Integers Infinitude of Prime Numbers There are infinitely many primes 1. Euclid’s Proof (4th century BC): Suppose not, i.e. there are only finitely many, say p1 < p2 < ::: < pn. Consider the number N = p1p2 ::: pn + 1 If N is a prime and N > pn . If not, note that N is not divisible by any pk ; k = 1; 2; :::n. By the Unique Factorization Theorem, there exists a prime p such that pjN, and p > pn. Shobha Madan Almost Arithmetic Progressions in "substantial’ subsets of Integers 2. Proof using Fermat Numbers 2n Theorem. The Fermat numbers Fn = 2 + 1 are pairwise coprime. We can prove by induction that n−1 Y Fn = Fk + 2 k=1 Now if p is a common divisor of Fk for some k < n and Fn, then pj(Fn − 2), so pj2, but all Fermat numbers are odd, and there are infinitely many. Shobha Madan Almost Arithmetic Progressions in "substantial’ subsets of Integers 3. Euler’s proof If there are finitely many primes, p1; p2; :::; pn, we let n Y 1 Pn = 1 − 1=pk k=1 Taking the truncated Taylor series expansion, for any m we have, n Y 1 1 1 Pn ≥ (1 + + 2 + ::: + m ) pk p p k=1 k k M X 1 = ! 1 j j=1 m m m where M = p1 p2 :::pn Shobha Madan Almost Arithmetic Progressions in "substantial’ subsets of Integers Density So there are infinitely many primes. But how sparse or dense is the set of primes in N? One measure of density of a subset A in N is to look at the proportion of elements of A asymptotically. More precisely, we define the upper asymptotic density of A by #(A \ [1; N]) δA = lim sup N N Shobha Madan Almost Arithmetic Progressions in "substantial’ subsets of Integers P δA > 0 implies n2A 1=n diverges. Suppose A ⊂ N, and δ = δA > 0. Let N0 = 1; we choose a 4Nk−1 sequence Nk such that Nk ≥ δ , and δ #(A \ [1; Nk )) ≥ 2 Nk for all k 2 N. Then, 1 X 1 X X 1 = n n n2A k=1 n2A\[Nk−1;Nk ) 1 X 1 ≥ (#(A \ [1; Nk )) − Nk−1) Nk k=1 1 1 X δ δ 1 X δ ≥ ( Nk − Nk ) = ! 1 2 4 Nk 4 k=1 k=1 Shobha Madan Almost Arithmetic Progressions in "substantial’ subsets of Integers The converse of this result is not true. For the primes P, Euler proved in 1737 that X 1 = 1 p p2P On the other hand, by the Prime Number theorem, it follows that the density δP = 0, since N π(N) = jfp prime : p ≤ Ngj ∼ log N Shobha Madan Almost Arithmetic Progressions in "substantial’ subsets of Integers ’Substantial’ sets We now have two ways of saying that a set is "substantial’: δA > 0 P 1 n2A n If a set is substantial (has enough elements!), then it is expected that some structures will exist in the set. Shobha Madan Almost Arithmetic Progressions in "substantial’ subsets of Integers Erdös - Turán Conjecture 1 In 1936, Erdös and Turán conjectured in a paper ’On some sequences of Integers’, that every set of integers A with positive upper asymptotic density contains a k-term arithmetic progression for every k. Erdös announced a prize of $1000 for a solution. Shobha Madan Almost Arithmetic Progressions in "substantial’ subsets of Integers Paul Erdös Pàl Turan Shobha Madan Almost Arithmetic Progressions in "substantial’ subsets of Integers Klaus Roth In 1953, K Roth proved the conjecture for the case k = 3, by using the Hardy-Littlewood Circle method (mentioned in his Fields Medal citation, 1958). In 1969, Szemerédi proved the result for k = 4, and in 1975, the general case. His proof is combinatorial, and brilliant! Szemerédi collected the $1000 Erdös prize! Shobha Madan Almost Arithmetic Progressions in "substantial’ subsets of Integers Klaus Roth Endre Szemerédi Fields Medal, 1958 Abel Prize 2012 Shobha Madan Almost Arithmetic Progressions in "substantial’ subsets of Integers Other Proofs There are now two other, different proofs of Szemerédi’s theorem: In 1977, Furstenberg and Katznelson gave an Ergodic Theory proof. In 2001, Timothy Gowers gave a new proof using Fourier Analysis and Combinatorics. It is rather interesting that proofs of this theorem come from very diverse fields of Mathematics. Shobha Madan Almost Arithmetic Progressions in "substantial’ subsets of Integers H. Furstenberg Timothy Gowers Abel Prize 2020 Fields Medal 1998 Shobha Madan Almost Arithmetic Progressions in "substantial’ subsets of Integers Erdös -Turan conjecture 2 Conjecture: Let a1 < a2 < ::: be an infinite sequence of P integers satisfying 1=aj = 1. Then for every k there are k a’s in an arithmetic progression. In 1976 Erdös attached a prize of $2500 for resolution of this conjecture. Later, in a paper Some of my favorite problems and results in 1996, he wrote: "I offer $5000 for a proof (or disproof) of this [problem]. Neither Szemerédi nor Furstenberg methods are able to settle this but perhaps the next century will see its resolution." Shobha Madan Almost Arithmetic Progressions in "substantial’ subsets of Integers Primes- a special case Erdös: ’It is not known if there are infinitely many sets of three consecutive primes . S Chowla has demonstrated this without the restriction to consecutive primes. I was told that Chowla was anticipated by van der Corput’. J. G. van der Corput. Uber Summen von Primzahlen und ´l Primzahlquadraten. Math. Ann., 116 (1939) 1-50. CHOWLA (S . D .) . - There exists an infinity of 3-combinations of primes in A . P ., Proc . Lahore philos . Soc . 6 (1944) 15-16 . Shobha Madan Almost Arithmetic Progressions in "substantial’ subsets of Integers Green-Tao Theorem [2004] . The sequence of prime numbers contains arbitrarily long arithmetic progressions The Green-Tao Theorem uses the very unique properties of the set of prime numbers and an amazing fusion of methods from analytic number theory and ergodic theory, Shobha Madan Almost Arithmetic Progressions in "substantial’ subsets of Integers Ben Green Terence Tao Shobha Madan Almost Arithmetic Progressions in "substantial’ subsets of Integers Most recently... On July 7, 2020, Bloom and Sisak uploaded a paper on Arxiv, where they have proved the Erdös-Turan conjecture 2 for 3-term APs. It is generally believed that their proof is correct. The paper is under review by the referees. Open: If divergence then APs of every finite length. Shobha Madan Almost Arithmetic Progressions in "substantial’ subsets of Integers "Almost" Arithmetic Progressions Definition: A set of positive integers A is said to get arbitrarily close to arbitrarily long APs if, for all k and > 0, there exists an arithmetic progression P of length k and gap size ∆ > 0 such that sup inf jp − aj ≤ ∆: p2P a2A Shobha Madan Almost Arithmetic Progressions in "substantial’ subsets of Integers JM Fraser Theorem (Fraser) + P1 If A ⊂ Z , such that k=1 1=ak = 1, then A is arbitrarily close to arbitrarily long APs. The interest of this result lies in the fact that the Erdös-Turan conjecture, the genuine one, is still open. Shobha Madan Almost Arithmetic Progressions in "substantial’ subsets of Integers Proof We define the upper logarithmic density by log jA \ [m + 1; m + n]j δlog = lim sup sup n!1 m≥0 log n Lemma (1) If A = fak g is a subset of integers such that 1 X 1 = 1; ak k=1 Then δlog = 1. Shobha Madan Almost Arithmetic Progressions in "substantial’ subsets of Integers Proof of Lemma 1 Suppose the upper logarithmic density δlog < 1. Let ρ be such that δlog < ρ < 1. Then there exists an integer N such that for all n ≥ N and for all m, log #(A \ [m + 1; m + n)) ≤ ρ log n or #(A \ [m + 1; m + n)) ≤ nρ Shobha Madan Almost Arithmetic Progressions in "substantial’ subsets of Integers n n+1 For integers n ≥ N, let An = A \ [2 ; 2 ), then ρn #(An) ≤ 2 : Then, 1 X X X 1=ak = 1=ak N k≥2 n=N fk:ak 2Ang 1 1 X −n X (ρ−1)n ≤ #(An)2 ≤ 2 < 1 n=N n=N P This is a contradiction, since we assumed k 1=ak = 1. Shobha Madan Almost Arithmetic Progressions in "substantial’ subsets of Integers Lemma 2 Lemma (2) If A = fak g is a subset of integers such that its upper logarithmic density δlog = 1, then A is arbitrarily close to arbitrarily long APs. Proof: Suppose not, then there exists some > 0 and a k such that given any AP P of length k and gap size ∆, sup inf jp − aj > ∆: p2P a2A We may assume that 1=2 = M, a large integer. We fix an interval J = [m + 1; m + n] Then jJj = n − 1. Shobha Madan Almost Arithmetic Progressions in "substantial’ subsets of Integers Subdivide this interval into kM equal intervals of length jJj=kM, and label them from left to right as 1; 2; 3; :::; kM. Now form congruence classes modulo M on these labels and associated intervals. Then the centers of the intervals in the same equivalence class form an arithmetic progression of length k and gap size jJj=k Shobha Madan Almost Arithmetic Progressions in "substantial’ subsets of Integers Shobha Madan Almost Arithmetic Progressions in "substantial’ subsets of Integers At least one interval from each equivalence class does not intersect A, since we have assumed sup inf jp − aj > ∆: p2P a2A so A \ J is contained in the union of (k − 1)M intervals of length jJj=kM.
Load more

Recommended publications
  • Roth's Theorem in the Primes
    Annals of Mathematics, 161 (2005), 1609–1636 Roth’s theorem in the primes By Ben Green* Abstract We show that any set containing a positive proportion of the primes con- tains a 3-term arithmetic progression. An important ingredient is a proof that the primes enjoy the so-called Hardy-Littlewood majorant property. We de- rive this by giving a new proof of a rather more general result of Bourgain which, because of a close analogy with a classical argument of Tomas and Stein from Euclidean harmonic analysis, might be called a restriction theorem for the primes. 1. Introduction Arguably the second most famous result of Klaus Roth is his 1953 upper bound [21] on r3(N), defined 17 years previously by Erd˝os and Tur´an to be the cardinality of the largest set A [N] containing no nontrivial 3-term arithmetic ⊆ progression (3AP). Roth was the first person to show that r3(N) = o(N). In fact, he proved the following quantitative version of this statement. Proposition 1.1 (Roth). r (N) N/ log log N. 3 " There was no improvement on this bound for nearly 40 years, until Heath- Brown [15] and Szemer´edi [22] proved that r N(log N) c for some small 3 " − positive constant c. Recently Bourgain [6] provided the best bound currently known. Proposition 1.2 (Bourgain). r (N) N (log log N/ log N)1/2. 3 " *The author is supported by a Fellowship of Trinity College, and for some of the pe- riod during which this work was carried out enjoyed the hospitality of Microsoft Research, Redmond WA and the Alfr´ed R´enyi Institute of the Hungarian Academy of Sciences, Bu- dapest.
    [Show full text]
  • All That Math Portraits of Mathematicians As Young Researchers
    Downloaded from orbit.dtu.dk on: Oct 06, 2021 All that Math Portraits of mathematicians as young researchers Hansen, Vagn Lundsgaard Published in: EMS Newsletter Publication date: 2012 Document Version Publisher's PDF, also known as Version of record Link back to DTU Orbit Citation (APA): Hansen, V. L. (2012). All that Math: Portraits of mathematicians as young researchers. EMS Newsletter, (85), 61-62. General rights Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights. Users may download and print one copy of any publication from the public portal for the purpose of private study or research. You may not further distribute the material or use it for any profit-making activity or commercial gain You may freely distribute the URL identifying the publication in the public portal If you believe that this document breaches copyright please contact us providing details, and we will remove access to the work immediately and investigate your claim. NEWSLETTER OF THE EUROPEAN MATHEMATICAL SOCIETY Editorial Obituary Feature Interview 6ecm Marco Brunella Alan Turing’s Centenary Endre Szemerédi p. 4 p. 29 p. 32 p. 39 September 2012 Issue 85 ISSN 1027-488X S E European M M Mathematical E S Society Applied Mathematics Journals from Cambridge journals.cambridge.org/pem journals.cambridge.org/ejm journals.cambridge.org/psp journals.cambridge.org/flm journals.cambridge.org/anz journals.cambridge.org/pes journals.cambridge.org/prm journals.cambridge.org/anu journals.cambridge.org/mtk Receive a free trial to the latest issue of each of our mathematics journals at journals.cambridge.org/maths Cambridge Press Applied Maths Advert_AW.indd 1 30/07/2012 12:11 Contents Editorial Team Editors-in-Chief Jorge Buescu (2009–2012) European (Book Reviews) Vicente Muñoz (2005–2012) Dep.
    [Show full text]
  • Klaus Friedrich Roth, 1925–2015 the Godfrey Argent Studio C
    e Bull. London Math. Soc. 50 (2018) 529–560 C 2017 Authors doi:10.1112/blms.12143 OBITUARY Klaus Friedrich Roth, 1925–2015 The Godfrey Argent Studio C Klaus Friedrich Roth, who died in Inverness on 10 November 2015 aged 90, made fundamental contributions to different areas of number theory, including diophantine approximation, the large sieve, irregularities of distribution and what is nowadays known as arithmetic combinatorics. He was the first British winner of the Fields Medal, awarded in 1958 for his solution in 1955 of the famous Siegel conjecture concerning approximation of algebraic numbers by rationals. He was elected a member of the London Mathematical Society on 17 May 1951, and received its De Morgan Medal in 1983. 1. Life and career Klaus Roth, son of Franz and Matilde (n´ee Liebrecht), was born on 29 October 1925, in the German city of Breslau, in Lower Silesia, Prussia, now Wroclaw in Poland. To escape from Nazism, he and his parents moved to England in 1933 and settled in London. He would recall that the flight from Berlin to London took eight hours and landed in Croydon. Franz, a solicitor by training, had suffered from gas poisoning during the First World War, and died a few years after their arrival in England. Roth studied at St Paul’s School between 1937 and 1943, during which time the school was relocated to Easthampstead Park, near Crowthorne in Berkshire, as part of the wartime evac- uation of London. There he excelled in mathematics and chess, and one master, Mr Dowswell, observed interestingly that he possessed complete intellectual honesty.
    [Show full text]
  • EMS Newsletter September 2012 1 EMS Agenda EMS Executive Committee EMS Agenda
    NEWSLETTER OF THE EUROPEAN MATHEMATICAL SOCIETY Editorial Obituary Feature Interview 6ecm Marco Brunella Alan Turing’s Centenary Endre Szemerédi p. 4 p. 29 p. 32 p. 39 September 2012 Issue 85 ISSN 1027-488X S E European M M Mathematical E S Society Applied Mathematics Journals from Cambridge journals.cambridge.org/pem journals.cambridge.org/ejm journals.cambridge.org/psp journals.cambridge.org/flm journals.cambridge.org/anz journals.cambridge.org/pes journals.cambridge.org/prm journals.cambridge.org/anu journals.cambridge.org/mtk Receive a free trial to the latest issue of each of our mathematics journals at journals.cambridge.org/maths Cambridge Press Applied Maths Advert_AW.indd 1 30/07/2012 12:11 Contents Editorial Team Editors-in-Chief Jorge Buescu (2009–2012) European (Book Reviews) Vicente Muñoz (2005–2012) Dep. Matemática, Faculdade Facultad de Matematicas de Ciências, Edifício C6, Universidad Complutense Piso 2 Campo Grande Mathematical de Madrid 1749-006 Lisboa, Portugal e-mail: [email protected] Plaza de Ciencias 3, 28040 Madrid, Spain Eva-Maria Feichtner e-mail: [email protected] (2012–2015) Society Department of Mathematics Lucia Di Vizio (2012–2016) Université de Versailles- University of Bremen St Quentin 28359 Bremen, Germany e-mail: [email protected] Laboratoire de Mathématiques Newsletter No. 85, September 2012 45 avenue des États-Unis Eva Miranda (2010–2013) 78035 Versailles cedex, France Departament de Matemàtica e-mail: [email protected] Aplicada I EMS Agenda .......................................................................................................................................................... 2 EPSEB, Edifici P Editorial – S. Jackowski ........................................................................................................................... 3 Associate Editors Universitat Politècnica de Catalunya Opening Ceremony of the 6ECM – M.
    [Show full text]
  • Roth's Orthogonal Function Method in Discrepancy Theory and Some
    Roth’s Orthogonal Function Method in Discrepancy Theory and Some New Connections Dmitriy Bilyk Abstract In this survey we give a comprehensive, but gentle introduction to the cir- cle of questions surrounding the classical problems of discrepancy theory, unified by the same approach originated in the work of Klaus Roth [85] and based on mul- tiparameter Haar (or other orthogonal) function expansions. Traditionally, the most important estimates of the discrepancy function were obtained using variations of this method. However, despite a large amount of work in this direction, the most im- portant questions in the subject remain wide open, even at the level of conjectures. The area, as well as the method, has enjoyed an outburst of activity due to the recent breakthrough improvement of the higher-dimensional discrepancy bounds and the revealed important connections between this subject and harmonic analysis, proba- bility (small deviation of the Brownian motion), and approximation theory (metric entropy of spaces with mixed smoothness). Without assuming any prior knowledge of the subject, we present the history and different manifestations of the method, its applications to related problems in various fields, and a detailed and intuitive outline of the latest higher-dimensional discrepancy estimate. 1 Introduction The subject and the structure of the present chapter is slightly unconventional. In- stead of building the exposition around the results from one area, united by a com- mon topic, we concentrate on problems from different fields which all share a com- mon method. The starting point of our discussion is one of the earliest results in discrepancy theory, Roth’s 1954 L2 bound of the discrepancy function in dimensions d ≥ 2 [85], as well as the tool employed to obtain this bound, which later evolved into a pow- Dmitriy Bilyk Department of Mathematics, University of South Carolina, Columbia, SC 29208 USA e-mail: [email protected] 1 2 Dmitriy Bilyk erful orthogonal function method in discrepancy theory.
    [Show full text]
  • Calculus Redux
    THE NEWSLETTER OF THE MATHEMATICAL ASSOCIATION OF AMERICA VOLUME 6 NUMBER 2 MARCH-APRIL 1986 Calculus Redux Paul Zorn hould calculus be taught differently? Can it? Common labus to match, little or no feedback on regular assignments, wisdom says "no"-which topics are taught, and when, and worst of all, a rich and powerful subject reduced to Sare dictated by the logic of the subject and by client mechanical drills. departments. The surprising answer from a four-day Sloan Client department's demands are sometimes blamed for Foundation-sponsored conference on calculus instruction, calculus's overcrowded and rigid syllabus. The conference's chaired by Ronald Douglas, SUNY at Stony Brook, is that first surprise was a general agreement that there is room for significant change is possible, desirable, and necessary. change. What is needed, for further mathematics as well as Meeting at Tulane University in New Orleans in January, a for client disciplines, is a deep and sure understanding of diverse and sometimes contentious group of twenty-five fac­ the central ideas and uses of calculus. Mac Van Valkenberg, ulty, university and foundation administrators, and scientists Dean of Engineering at the University of Illinois, James Ste­ from client departments, put aside their differences to call venson, a physicist from Georgia Tech, and Robert van der for a leaner, livelier, more contemporary course, more sharply Vaart, in biomathematics at North Carolina State, all stressed focused on calculus's central ideas and on its role as the that while their departments want to be consulted, they are language of science. less concerned that all the standard topics be covered than That calculus instruction was found to be ailing came as that students learn to use concepts to attack problems in a no surprise.
    [Show full text]
  • NEWSLETTER No
    NEWSLETTER No. 453 December 2015 JOINT ANNIVERSARY WEEKEND Report Pavel Exner, President of the European Mathematical Society and Terry Lyons, President of the London Mathematical Society he weekend 18 to 20 September 2015 saw lain Memorial Clock-tower (or ‘Old Joe’, T mathematicians from around the world the world’s tallest free-standing clock-tow- congregate at the University of Birming- er), participants divided between parallel ham, UK, for a conference in celebration of sessions on the themes of Algebra, Com- two birthdays: the 150th of the venerable binatorics, and Analysis, and reunited for London Mathematical Society (LMS), and plenary talks from some of mathematics’ the 25th of the relatively youthful European current leading lights. Mathematical Society. After warm greetings from Terry Lyons and Under the watch of the Joseph Chamber- Pavel Exner, the two societies’ respective (Continued on page 3) SOCIETY MEETINGS AND EVENTS • 10–11 December: Joint Meeting with the Edinburgh Mathematical Society, • 26 February: Mary Cartwright Lecture, London Edinburgh page 5 • 21 March: Society Meeting at the BMC, Bristol • 14 December: SW & South Wales Regional Meeting, • 21–25 March: LMS Invited Lectures, Loughborough Southampton page 29 page 22 • 15–16 December: LMS Prospects in Mathematics, • 8 July: Graduate Student Meeting, London Loughborough page 14 • 8 July: Society Meeting, London NEWSLETTER ONLINE: newsletter.lms.ac.uk @LondMathSoc LMS NEWSLETTER http://newsletter.lms.ac.uk Contents No. 453 December 2015 8 33 150th Anniversary Events
    [Show full text]
  • On the Depth of Szemerédi's Theorem
    1–13 10.1093/philmat/nku036 Philosophia Mathematica On the Depth of Szemerédi’s Theorem† Andrew Arana Department of Philosophy, University of Illinois at Urbana-Champaign, Urbana, Illinois 61801, U.S.A. E-mail: [email protected] ABSTRACT 5 Many mathematicians have cited depth as an important value in their research. How- ever, there is no single, widely accepted account of mathematical depth. This article is an attempt to bridge this gap. The strategy is to begin with a discussion of Szemerédi’s theorem, which says that each subset of the natural numbers that is sufficiently dense contains an arithmetical progression of arbitrary length. This theorem has been judged 10 deepbymanymathematicians,andsomakesforagood caseonwhichtofocusinanalyz- ing mathematical depth. After introducing the theorem, four accounts of mathematical depth will be considered. Mathematicians frequently cite depth as an important value for their research. A perusal of the archives of just the Annals of Mathematics since the 1920s reveals 15 more than a hundred articles employing the modifier ‘deep’, referring to deep results, theorems, conjectures, questions, consequences, methods, insights, connections, and analyses. However, there is no single, widely-shared understanding of what mathemat- ical depth consists in. This article is a modest attempt to bring some coherence to mathematicians’ understandings of depth, as a preliminary to determining more pre- 20 cisely what its value is. I make no attempt at completeness here; there are many more understandings of depth in the mathematical literature than I have categorized here, indeed so many as to cast doubt on the notion that depth is a single phenomenon at all.
    [Show full text]
  • RM Calendar 2019
    Rudi Mathematici x3 – 6’141 x2 + 12’569’843 x – 8’575’752’975 = 0 www.rudimathematici.com 1 T (1803) Guglielmo Libri Carucci dalla Sommaja RM132 (1878) Agner Krarup Erlang Rudi Mathematici (1894) Satyendranath Bose RM168 (1912) Boris Gnedenko 2 W (1822) Rudolf Julius Emmanuel Clausius (1905) Lev Genrichovich Shnirelman (1938) Anatoly Samoilenko 3 T (1917) Yuri Alexeievich Mitropolsky January 4 F (1643) Isaac Newton RM071 5 S (1723) Nicole-Reine Étable de Labrière Lepaute (1838) Marie Ennemond Camille Jordan Putnam 2004, A1 (1871) Federigo Enriques RM084 Basketball star Shanille O’Keal’s team statistician (1871) Gino Fano keeps track of the number, S( N), of successful free 6 S (1807) Jozeph Mitza Petzval throws she has made in her first N attempts of the (1841) Rudolf Sturm season. Early in the season, S( N) was less than 80% of 2 7 M (1871) Felix Edouard Justin Émile Borel N, but by the end of the season, S( N) was more than (1907) Raymond Edward Alan Christopher Paley 80% of N. Was there necessarily a moment in between 8 T (1888) Richard Courant RM156 when S( N) was exactly 80% of N? (1924) Paul Moritz Cohn (1942) Stephen William Hawking Vintage computer definitions 9 W (1864) Vladimir Adreievich Steklov Advanced User : A person who has managed to remove a (1915) Mollie Orshansky computer from its packing materials. 10 T (1875) Issai Schur (1905) Ruth Moufang Mathematical Jokes 11 F (1545) Guidobaldo del Monte RM120 In modern mathematics, algebra has become so (1707) Vincenzo Riccati important that numbers will soon only have symbolic (1734) Achille Pierre Dionis du Sejour meaning.
    [Show full text]
  • Large Complex Networks: Deterministic Models
    Internet C. Elegans Large Complex Networks: Deteministic Models (Recursive Clique-Trees) WWW Erdös number Air routes http://www.caida.org/tools/visualization/plankton/ Francesc Comellas Departament de Matemàtica Aplicada IV, Proteins Universitat Politècnica de Catalunya, Barcelona [email protected] Power grid Real networks very often are Most “real” networks are Large Complex systems small-world scale-free self-similar Small-world Different elements (nodes) Interaction among elements (links) small diameter log(|V|), large clustering Scale-free power law degree distribution ( “hubs” ) Complex networks Self-similar / fractal Mathematical model: Graphs Deterministic models Small diameter (logarithmic) Power law Fractal (degrees) Based on cliques Milgram 1967 Song, Havlin & (hierarchical graphs, recursive High clustering Barabási & Makse Watts & Albert 1999 2005,2006 clique-trees, Apollonian graphs) Strogatz 1998 6 degrees of separation ! Stanley Milgram (1967) Main parameters (invariants) 160 letters Omaha -Nebraska- -> Boston Diameter – average distance Degree Δ degree. Small-world networks P(k): Degree distribution. small diameter (or average dist.) Clustering Are neighbours of a vertex also neighbours among high clustering them? Small world phenomenon in social networks What a small-world ! Structured graph Small-world graph Random graph Network characteristics •highclustering •highclustering • small clustering • large diameter • small diameter • small diameter # of links among neighbors •regular Clustering C(v) = Erdös number •almostregular n(n-1)/2 http://www.oakland.edu/enp/ Diameter or Average distance Maximum communication delay 1- 509 Degree distribution 2- 7494 Resilience N= 268.000 Jul 2004 |V| = 1000 Δ =10 |V|=1000 Δ =8-13 |V|=1000 Δ = 5-18 Real life networks are clustered, large C(p), but have small (connected component) D = 100 d =49.51 D = 14 d = 11.1 D = 5 d = 4.46 average distance L(p ).
    [Show full text]
  • The Abel Prize Ceremony May 22, 2012
    The Abel Prize Ceremony May 22, 2012 Procession accompanied by the “Abel Fanfare” (Klaus Sandvik) Performed by musicians from The Staff Band of the Norwegian Armed Forces His Majesty King Harald enters the University Aula Cow-call and Little Goats´ dance (Edvard Grieg) Tine Thing Helseth, trumpet, and Gunnar Flagstad, piano Opening speech by Professor Nils Chr. Stenseth President of The Norwegian Academy of Science and Letters Speech by Minister of Education and Research Kristin Halvorsen Was it a dream? and The girl returned from meeting her lover (Jean Sibelius) Tine Thing Helseth, trumpet, and Gunnar Flagstad, piano The Abel Committee’s Citation Professor Ragni Piene Chair of the Abel Committee His Majesty King Harald presents the Abel Prize to Endre Szemerédi Acceptance speech by Abel Laureate Endre Szemerédi Libertango (Astor Piazzolla, arr: Storløkken) Tine Thing Helseth, trumpet, Gunnar Flagstad, piano, Erik Jøkling Kleiva, drums/percussion, and Nikolay Matthews, bass His Majesty King Harald leaves the University Aula Procession leaves The Prize Ceremony will be followed by a reception in Frokostkjelleren. During the reception, Endre Szemerédi will be interviewed by Tonje Steinsland. Many of his discoveries carry his name. One of the most important is Szemerédi’s Professor Endre Szemerédi Theorem, which shows that in any set of integers with positive density, there are arbitrarily long arithmetic progressions. Szemerédi’s proof was a masterpiece of com- Alfréd Rényi Institute of Mathematics, Hungarian Academy of Sciences, Budapest, binatorial reasoning, and was immediately recognized to be of exceptional depth and and Department of Computer Science, Rutgers, The State University of New Jersey, importance.
    [Show full text]
  • Arxiv:1705.01703V3 [Math.CO] 10 Aug 2017 K Particular a Santrlnme Edefine We Number Natural a Is That 1 E Eto O H Smttcntto Sdi Hspaper
    NEW BOUNDS FOR SZEMEREDI’S´ THEOREM, III: A POLYLOGARITHMIC BOUND FOR r4(N) BEN GREEN AND TERENCE TAO Abstract. Define r4(N) to be the largest cardinality of a set A ⊂ {1,...,N} which does not contain four elements in arithmetic progres- sion. In 1998 Gowers proved that c r4(N) ≪ N(log log N)− for some absolute constant c> 0. In 2005, the authors improved this to c√log log N r4(N) ≪ Ne− . In this paper we further improve this to c r4(N) ≪ N(log N)− , which appears to be the limit of our methods. Contents 1. Introduction 1 2. Notation 3 3. High-level overview of argument 5 4. Bohr sets 18 5. Dilated tori 34 6. Constructing the approximants 37 7. Bad lower bound implies dimension decrement 40 8. Bad approximation implies energy decrement 50 9. Local inverse U 3 theorem 59 References 93 arXiv:1705.01703v3 [math.CO] 10 Aug 2017 1. Introduction Let N > 100 be a natural number (so that log log N is positive). If k > 3 is a natural number we define rk(N) to be the largest cardinality of a set A [N] := 1,...,N which does not contain an arithmetic progression of k distinct⊂ elements.{ } 1 Klaus Roth proved in 1953 [34] that r3(N) N(log log N)− , and so in particular1 r (N) = o(N) as N . Since≪ Szemer´edi’s 1969 proof [41] 3 → ∞ that r4(N) = o(N), and his later proof [42] that rk(N) = ok(N) for k > 5 1See Section 2 for the asymptotic notation used in this paper.
    [Show full text]