2 BORWEIN & BRADLEY Koecher's formula points up a potential problem with symbolic searching. Namely, negative results need to be interpreted carefully
|
|
- Tyrone Smith
- 5 years ago
- Views:
Transcription
1 SEARCHING SYMBOLICALLY FOR APERY-LIKE FORMULAE FOR VALUES OF THE RIEMANN ZETA FUNCTION Jonathan Borwein and David Bradley Abstract. We discuss some aspects of the search for identities using computer algebra and symbolic methods. To eep the discussion as concrete as possible, we shall focus on so-called Apery-lie formulae for special values of the Riemann Zeta function. Many of these results are apparently new, and much more wor needs to be done before they can be formally proved and properly classied. A rst step in this direction can be found in []. The Riemann Zeta function is (. (s =. Introduction In view of the \Apery-lie" formulae (.2 (2 = 3 2? 2 ; (3 = 5 2 ; <(s > : s (? + ; (4 = ? 2 4? 2 one is tempted to speculate that there is an analogous formula for (5, (6, (7 and so on. The ey word here is analogous. For example, extensive computation has ruled out the possibility of formulae of the form (5 = a b (? + 5? 2 ; (6 = c d 6? 2 where a, b, c, d are moderately sized integers. Such negative results are useful, as they tell us it would be a waste of time to search for interesting formulae of a given form. Thus, it would seem there are no corresponding Apery-lie formulae for higher zeta values. End of story. Consider however, the following result of Koecher [2, 3]: (.3 (5 = 2 (? + 5? 2? 5 2 (? + 3? 2? j= ; j 2 : ;
2 2 BORWEIN & BRADLEY Koecher's formula points up a potential problem with symbolic searching. Namely, negative results need to be interpreted carefully, lest they be given more weight than they deserve and unnecessarily discourage further investigation. Also, it becomes clear that symbolic searching is very much limited by the need to now fairly precisely the form of what one is searching for in advance. Koecher's formula (.3 suggests that one might prot by searching for a formula of the form (7 = r (? + + r 2 7? 2 (? + 5? 2? j= j + r 2 3 (? + 3? 2? j= j 4 ; where r, r 2, r 3 are rational numbers. The following (conjectured formula for (7 was found [] using high precision arithmetic and Maple's integer relations algorithms: (.4 (7 = 5 2 (? + 7? (? + 3? 2? j= j 4 : More generally, we have the (conjectured generating function formula [] (.5 3 (? z 4 = 4 = 5 2 (? + 3? 2? Y j 4 + 4z 4? z 4 = 4 j 4? z ; z 4 2 C: j= Note that the constant coecient in (.5 gives the formula for (3 in (.2. The coecient of z 4 in (.5 gives (.4. We arrived at (.5 by extensive use of Maple's lattice algorithms, combined with a good deal of insightful guessing. Interestingly, Maple's convert(series, ratpoly feature played a signicant role. The reader is referred to [] for details. Comparing our generating function formula (.5 with Koecher's [3] (.6 3 (? z 2 = 2 = (? + 3? 2 Y? (? z 2 = 2? z 2 =j 2 j= raises some interesting issues related to formula redundancy, and which remain unresolved. We address certain of these issues in the next section.
3 SYMBOLIC SEARCHING 3 2. Redundancy Relations To mitigate the problem of symbol clutter in what follows requires some notation. We denote the power sum symmetric functions by P r ( := Next, we dene functions, by (m; (m; ny j= ny j= 8? >< >: P rj := P rj := In the new notation, (.2 becomes j= j?r ; r > ; ; r = 0: (? + m? 2 m? 2 ny j= n Y j= P rj (; P rj (: (2. (2 = 3(2; P 0 ; (3 = 5 2 (3; P 0; (4 = 36 7 (4; P 0; while (.3 and (.4 become (2.2 (5 = 2(5; P 0? 5 2 (3; P 2; (7 = 5 2 (7; P (3; P 4; respectively. To illustrate the issue of formula redundancy, consider Koecher's formula for (7 [3] which becomes, in our notation, (2.3 (7 = 2(7; P 0? 2(5; P (3; P 2 2? 5 4 (3; P 4: In view of the second formula in (2.2, the middle two terms of (2. must be redundant. Indeed, lattice-based reduction shows that (2.4?2(5; P (3; P 2 2 = 55 4 (3; P (7; P 0: Although we currently have no real understanding why interrelations between sums such as (2.4 hold, we decided to limit our symbolic search for Zeta function identities in which no such interrelations exist. This was carried out by starting with a \full set" of sums and checing that a relation holds with the relevant Zeta value. Now recurse, using the following scheme. >From any Of course, we cannot prove that (.4 contains no redundancy, since, for example, we cannot even prove that (7 is irrational.
4 4 BORWEIN & BRADLEY found relation, toss out the Zeta value. If no relation is found amongst the remaining sums, output the relation that held when the Zeta value was included, and report it as non-redundant. Otherwise, systematically discard the various sums from the list, until a non-redundant relation remains. Carrying out the aforementioned procedure yields the following formulae which evidently exhaust the list of non-redundant formulae for each given Zeta value: 7(4? 36(4; P 0 = 5(4? 08(2; P 2 = 0; 7( (4; P 4? 944(2; P 2 2 = 25(6? 2592(4; P 2? 3888(2; P 4 = 229(6? 2592(4; P 2? 3888(2; P 2 2 = 48(6? 2592(6; P 0? 3888(2; P 2 2 = 33(6? 648(6; P (4; P 2 = 63(6? 288(6; P 0? 432(2; P 4 = 0; 2(7? 5(7; P 0? 25(3; P 4 = 4(7? 25(3; P (5; P (3; P 4 = 22(7? 25(3; P (5; P 2? 45(7; P 0 = 0; 72(9 + 35(7; P 2? 47(9; P 0? 60(5; P 2 2? 85(3; P (3; P 3 2 = 36(9? 540(5; P 4? 96(9; P (5; P 2 2? 30(3; P (3; P 4 P 2? 25(3; P 3 2 = 4(9 + 96(5; P (7; P 2? 36(5; P (3; P 6? 245(3; P 4 P 2 + 5(3; P 3 2 = 4(9? 20(5; P 4 + 5(7; P 2? 9(9; P 0? 45(3; P (3; P 4 P 2 = 6(9 + 68(5; P (7; P 2? 234(9; P 0? 08(5; P 2 2? 85(3; P 4 P (3; P 3 2 = 0; No additional formulae other than the formulae given in x were found for (2, (3 and (5. We discuss additional uniqueness issues in the next section.
5 SYMBOLIC SEARCHING 5 3. Uniqueness and (4n + 3 If one extends the list given in the previous section, it becomes apparent that (4n + 3 evidently has a unique representation in terms of sums of the form (m; P r in which r is always a multiple of four. We exploited this observation in [] to arrive at our generating function formula (.5. Unfortunately, there seems to be no sensible selection to mae amongst the formulae for (4n + which gives an analogous generating function identity. Our Maple code for producing all possible non-redundant formulae for (3 ran for over two months before it was illed. The resulting incomplete le is over three thousand lines long and contains hundreds and hundreds of independent formulae. If a generating function identity for (4n + is found, it is unliely that it will be discovered by hunting for the appropriate representatives from the identities for (9, (3, etc. and looing for a pattern. Recall Ramanujan's formulae [4] 2n+2 2(4n + 3 = (2 4n+3 (? + B 2 (2! =0 B 4n+4?2 (4n + 4? 2!? 4?4n?3 e 2? and 2(4n + = (2 4n+ 2n? 4 2n+ =0?4n? e 2?? n B 4n+2?2 (? + (2? B 2 (2! (4n + 2? 2!?4n sinh 2 ( : Here, the additional complexity in the 4n + case arises from taing the derivative of the appropriate modular transformation formula. Perhaps there is an analogous phenomenon operating in the case of these Apery-lie identities as well. References [] Ronald L. Graham, Donald E. Knuth, and Oren Patashni, Concrete Mathematics, Addison{Wesley, New Yor, 989, pp. 224{228. [2] Max Koecher, Klassische Elementaire Analysis, Birhauser, Boston, 987. [3] Max Koecher, Letter, Math. Intelligencer 2 (980, 62{64. [4] Bruce C. Berndt, Modular Transformations and Generalizations of Several Formulae of Ramanujan, Rocy Mt. J. Math. 7 (977, 47{89.
6 6 BORWEIN & BRADLEY Jonathan Borwein & David Bradley, Centre for Experimental and Constructive Mathematics, Simon Fraser University, Burnaby B.C., Canada V5A S6.
Formulas for Odd Zeta Values and Powers of π
3 47 6 3 Journal of Integer Sequences, Vol. 4 (0), Article..5 Formulas for Odd Zeta Values and Powers of π Marc Chamberland and Patrick Lopatto Department of Mathematics and Statistics Grinnell College
More informationExperimental Determination of Apéry-like Identities for ζ(2n +2)
Experimental Determination of Apéry-lie Identities for ζ(n + David H. Bailey, Jonathan M. Borwein, and David M. Bradley CONTENTS. Introduction. Discovering Theorem. 3. Proof of Theorem.. An Identity for
More informationCECM. Centre for Experimental & Constructive Mathematics
THREE ADVENTURES: SYMBOLICALLY DISCOVERED IDENTITIES FOR ZETA(4N+3) AND LIKE MATTERS Jonathan Borwein, Simon Fraser University CECM Centre for Experimental & Constructive Mathematics July 14, 1997 Vienna
More informationInteger Relation Methods : An Introduction
Integer Relation Methods : An Introduction Special Session on SCIENTIFIC COMPUTING: July 9 th 2009 Jonathan Borwein, FRSC www.carma.newcastle.edu.au/~jb616 Laureate Professor University of Newcastle, NSW
More informationON THE TAYLOR COEFFICIENTS OF THE HURWITZ ZETA FUNCTION
ON THE TAYLOR COEFFICIENTS OF THE HURWITZ ZETA FUNCTION Khristo N. Boyadzhiev Department of Mathematics, Ohio Northern University, Ada, Ohio, 45810 k-boyadzhiev@onu.edu Abstract. We find a representation
More informationThe Value of the Zeta Function at an Odd Argument
International Journal of Mathematics and Computer Science, 4(009), no., 0 The Value of the Zeta Function at an Odd Argument M CS Badih Ghusayni Department of Mathematics Faculty of Science- Lebanese University
More informationOn the Representations of xy + yz + zx
On the Representations of xy + yz + zx Jonathan Borwein and Kwok-Kwong Stephen Choi March 13, 2012 1 Introduction Recently, Crandall in [3] used Andrews identity for the cube of the Jacobian theta function
More informationMATHEMATICS BONUS FILES for faculty and students
MATHEMATICS BONUS FILES for faculty and students http://www2.onu.edu/~mcaragiu1/bonus_files.html RECEIVED: November 1, 2007 PUBLISHED: November 7, 2007 The Euler formula for ζ (2 n) The Riemann zeta function
More informationFormulae for some classical constants
Formulae for some classical constants Alexandru Lupaş (to appear in Proceedings of ROGER-000 The goal of this paper is to present formulas for Apéry Constant, Archimede s Constant, Logarithm Constant,
More informationDavid H. Bailey. NASA Ames Research Center. December 11, where high-precision numerical computations, together with advanced integer relation
Finding New Mathematical Identities via Numerical Computations David H. Bailey NASA Ames Research Center December 11, 1997 Ref: ACM SIGNUM, vol. 33, no. 1 (Jan. 1998), pg. 17-22 Abstract This note gives
More informationSECTION 9.2: ARITHMETIC SEQUENCES and PARTIAL SUMS
(Chapter 9: Discrete Math) 9.11 SECTION 9.2: ARITHMETIC SEQUENCES and PARTIAL SUMS PART A: WHAT IS AN ARITHMETIC SEQUENCE? The following appears to be an example of an arithmetic (stress on the me ) sequence:
More informationStrong Normality of Numbers
Strong Normality of Numbers Adrian Belshaw Peter Borwein... the problem of knowing whether or not the digits of a number like 2 satisfy all the laws one could state for randomly chosen digits, still seems...
More informationZeta function: August 19, 2008
Zeros and poles of Padé approximants to the symmetric Zeta function Greg Fee Peter Borwein August 19, 2008 Abstract We compute Padé approximants to Riemann s symmetric Zeta function. Next we calculate
More informationA class of Dirichlet series integrals
A class of Dirichlet series integrals J.M. Borwein July 3, 4 Abstract. We extend a recent Monthly problem to analyse a broad class of Dirichlet series, and illustrate the result in action. In [5] the following
More informationMath Circle Beginners Group February 28, 2016 Euclid and Prime Numbers
Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers Warm-up Problems 1. What is a prime number? Give an example of an even prime number and an odd prime number. (a) Circle the prime
More informationResearch Article On Maslanka s Representation for the Riemann Zeta Function
International Mathematics and Mathematical Sciences Volume 200, Article ID 7447, 9 pages doi:0.55/200/7447 Research Article On Maslana s Representation for the Riemann Zeta Function Luis Báez-Duarte Departamento
More informationCHAPTER 1 NUMBER SYSTEMS. 1.1 Introduction
N UMBER S YSTEMS NUMBER SYSTEMS CHAPTER. Introduction In your earlier classes, you have learnt about the number line and how to represent various types of numbers on it (see Fig..). Fig.. : The number
More informationDIVISIBILITY TESTS APOORVA KHARE
Furman University Electronic Journal of Undergraduate Mathematics Volume 3, 1997 1-5 DIVISIBILITY TESTS APOORVA KHARE Abstract. In this paper, we give a new method to test the divisibility of any positive
More informationDependence and independence
Roberto s Notes on Linear Algebra Chapter 7: Subspaces Section 1 Dependence and independence What you need to now already: Basic facts and operations involving Euclidean vectors. Matrices determinants
More informationPolyexponentials. Khristo N. Boyadzhiev Ohio Northern University Departnment of Mathematics Ada, OH
Polyexponentials Khristo N. Boyadzhiev Ohio Northern University Departnment of Mathematics Ada, OH 45810 k-boyadzhiev@onu.edu 1. Introduction. The polylogarithmic function [15] (1.1) and the more general
More informationThe next sequence of lectures in on the topic of Arithmetic Algorithms. We shall build up to an understanding of the RSA public-key cryptosystem.
CS 70 Discrete Mathematics for CS Fall 2003 Wagner Lecture 10 The next sequence of lectures in on the topic of Arithmetic Algorithms. We shall build up to an understanding of the RSA public-key cryptosystem.
More informationChapter 5. Number Theory. 5.1 Base b representations
Chapter 5 Number Theory The material in this chapter offers a small glimpse of why a lot of facts that you ve probably nown and used for a long time are true. It also offers some exposure to generalization,
More informationInverse Symbolic Calculation: Jonathan Borwein, FRSC Computer Assisted Research Mathematics and Applications CARMA
Inverse Symbolic Calculation: symbols from numbers Jonathan Borwein, FRSC www.carma.newcastle.edu.au/~jb616 Laureate Professor University of Newcastle, NSW Director, Centre for Computer Assisted Research
More informationChampernowne s Number, Strong Normality, and the X Chromosome. by Adrian Belshaw and Peter Borwein
Champernowne s Number, Strong Normality, and the X Chromosome by Adrian Belshaw and Peter Borwein ABSTRACT. Champernowne s number is the best-known example of a normal number, but its digits are far from
More informationA P-ADIC SUPERCONGRUENCE CONJECTURE OF VAN HAMME
A P-ADIC SUPERCONGRUENCE CONJECTURE OF VAN HAMME ERIC MORTENSON Abstract. In this paper we prove a p-adic supercongruence conjecture of van Hamme by placing it in the context of the Beuers-lie supercongruences
More informationarxiv: v1 [math.ca] 17 Sep 2016
HOW TO DISCOVER THE ROGERS RAMUNUJAN IDENTITIES arxiv:609.05325v [math.ca] 7 Sep 206 GAURAV BHATNAGAR Abstract. We examine a method to conjecture two very famous identities that were conjectured by Ramanujan,
More informationMath Circle Beginners Group February 28, 2016 Euclid and Prime Numbers Solutions
Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers Solutions Warm-up Problems 1. What is a prime number? Give an example of an even prime number and an odd prime number. A prime number
More informationQuestion 1: Is zero a rational number? Can you write it in the form p, where p and q are integers and q 0?
Class IX - NCERT Maths Exercise (.) Question : Is zero a rational number? Can you write it in the form p, where p and q are integers and q 0? q Solution : Consider the definition of a rational number.
More informationDiverse Factorial Operators
Diverse Factorial Operators CLAUDE ZIAD BAYEH 1, 1 Faculty of Engineering II, Lebanese University EGRDI transaction on mathematics (00) LEBANON Email: claude_bayeh_cbegrdi@hotmail.com NIKOS E.MASTORAKIS
More informationMathematics 324 Riemann Zeta Function August 5, 2005
Mathematics 324 Riemann Zeta Function August 5, 25 In this note we give an introduction to the Riemann zeta function, which connects the ideas of real analysis with the arithmetic of the integers. Define
More informationThe restarted QR-algorithm for eigenvalue computation of structured matrices
Journal of Computational and Applied Mathematics 149 (2002) 415 422 www.elsevier.com/locate/cam The restarted QR-algorithm for eigenvalue computation of structured matrices Daniela Calvetti a; 1, Sun-Mi
More informationRoot systems and the Erdős Szekeres Problem
ACTA ARITHMETICA LXXXI.3 (1997) Root systems and the Erdős Szekeres Problem by Roy Maltby (Burnaby, B.C.) 1. Introduction. An n-factor pure product is a polynomial which can be expressed in the form n
More informationElementary Analysis on Ramanujan s Nested Radicals
A project under INSPIRE-SHE program. Elementary Analysis on Ramanujan s Nested Radicals Gaurav Tiwari Reg. No. : 6/009 1 Contents Contents... 1 Abstract... About Ramanujan... 3 Introduction to Nested Radicals...
More informationArithmetic, Algebra, Number Theory
Arithmetic, Algebra, Number Theory Peter Simon 21 April 2004 Types of Numbers Natural Numbers The counting numbers: 1, 2, 3,... Prime Number A natural number with exactly two factors: itself and 1. Examples:
More informationIdentities Inspired by the Ramanujan Notebooks Second Series
Identities Inspired by the Ramanujan Notebooks Second Series by Simon Plouffe First draft August 2006 Revised March 4, 20 Abstract A series of formula is presented that are all inspired by the Ramanujan
More information2. ETA EVALUATIONS USING WEBER FUNCTIONS. Introduction
. ETA EVALUATIONS USING WEBER FUNCTIONS Introduction So ar we have seen some o the methods or providing eta evaluations that appear in the literature and we have seen some o the interesting properties
More informationKUMMER S LEMMA KEITH CONRAD
KUMMER S LEMMA KEITH CONRAD Let p be an odd prime and ζ ζ p be a primitive pth root of unity In the ring Z[ζ], the pth power of every element is congruent to a rational integer mod p, since (c 0 + c 1
More informationAlgorithms for Experimental Mathematics I David H Bailey Lawrence Berkeley National Lab
Algorithms for Experimental Mathematics I David H Bailey Lawrence Berkeley National Lab All truths are easy to understand once they are discovered; the point is to discover them. Galileo Galilei Algorithms
More informationHow Euler Did It. Many people have been interested in summing powers of integers. Most readers of this column know, for example, that ( )
How Euler Did It by Ed Sandifer Sums of powers June 009 Many people have been interested in summing powers of integers. Most readers of this column now, for example, that ( ) i = +, and many of us even
More informationDivisor matrices and magic sequences
Discrete Mathematics 250 (2002) 125 135 www.elsevier.com/locate/disc Divisor matrices and magic sequences R.H. Jeurissen Mathematical Institute, University of Nijmegen, Toernooiveld, 6525 ED Nijmegen,
More informationEssentials of Intermediate Algebra
Essentials of Intermediate Algebra BY Tom K. Kim, Ph.D. Peninsula College, WA Randy Anderson, M.S. Peninsula College, WA 9/24/2012 Contents 1 Review 1 2 Rules of Exponents 2 2.1 Multiplying Two Exponentials
More informationA Combinatorial Approach to Finding Dirichlet Generating Function Identities
The Waterloo Mathematics Review 3 A Combinatorial Approach to Finding Dirichlet Generating Function Identities Alesandar Vlasev Simon Fraser University azv@sfu.ca Abstract: This paper explores an integer
More informationPeter Bala, Nov
Fractional iteration of a series inversion operator Peter Bala, Nov 16 2015 We consider an operator on formal power series, closely related to the series reversion operator, and show how to dene comple
More informationParametric Euler Sum Identities
Parametric Euler Sum Identities David Borwein, Jonathan M. Borwein, and David M. Bradley September 23, 2004 Introduction A somewhat unlikely-looking identity is n n nn x m m x n n 2 n x, valid for all
More informationCHAPTER 1 NUMBER SYSTEMS. 1.1 Introduction
N UMBER S YSTEMS NUMBER SYSTEMS CHAPTER. Introduction In your earlier classes, you have learnt about the number line and how to represent various types of numbers on it (see Fig..). Fig.. : The number
More information9/5/17. Fermat s last theorem. CS 220: Discrete Structures and their Applications. Proofs sections in zybooks. Proofs.
Fermat s last theorem CS 220: Discrete Structures and their Applications Theorem: For every integer n > 2 there is no solution to the equation a n + b n = c n where a,b, and c are positive integers Proofs
More informationNumber Theory and Algebraic Equations. Odile Marie-Thérèse Pons
Number Theory and Algebraic Equations Odile Marie-Thérèse Pons Published by Science Publishing Group 548 Fashion Avenue New York, NY 10018, U.S.A. http://www.sciencepublishinggroup.com ISBN: 978-1-940366-74-6
More informationTHE MAHLER MEASURE OF POLYNOMIALS WITH ODD COEFFICIENTS
Bull. London Math. Soc. 36 (2004) 332 338 C 2004 London Mathematical Society DOI: 10.1112/S002460930300287X THE MAHLER MEASURE OF POLYNOMIALS WITH ODD COEFFICIENTS PETER BORWEIN, KEVIN G. HARE and MICHAEL
More informationGENERALIZED PALINDROMIC CONTINUED FRACTIONS
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 48, Number 1, 2018 GENERALIZED PALINDROMIC CONTINUED FRACTIONS DAVID M. FREEMAN ABSTRACT. In this paper, we introduce a generalization of palindromic continued
More informationNOTES Edited by Sergei Tabachnikov. Probabilistic Proofs of a Binomial Identity, Its Inverse, and Generalizations
NOTES Edited by Sergei Tabachniov Probabilistic Proofs of a Binomial Identity, Its Inverse, and Generalizations Michael Z Spivey Abstract We give elementary probabilistic proofs of a binomial identity,
More informationMaking Change for n Cents: Two Approaches
Maing Change for n Cents: Two Approaches William Gasarch arxiv:406523v4 [mathho] 26 Jun 204 Univ of MD at College Par Abstract Given a dollar, how many ways are there to mae change using pennies, nicels,
More informationHow to Discover the Rogers Ramanujan Identities
How to Discover the Rogers Ramanujan Identities Gaurav Bhatnagar We examine a method to conjecture two very famous identities that were conjectured by Ramanujan, and later found to be known to Rogers..
More informationEquations and Inequalities. College Algebra
Equations and Inequalities College Algebra Radical Equations Radical Equations: are equations that contain variables in the radicand How to Solve a Radical Equation: 1. Isolate the radical expression on
More informationNAME DATE PERIOD. A negative exponent is the result of repeated division. Extending the pattern below shows that 4 1 = 1 4 or 1. Example: 6 4 = 1 6 4
Lesson 4.1 Reteach Powers and Exponents A number that is expressed using an exponent is called a power. The base is the number that is multiplied. The exponent tells how many times the base is used as
More informationLinear Recurrence Relations for Sums of Products of Two Terms
Linear Recurrence Relations for Sums of Products of Two Terms Yan-Ping Mu College of Science, Tianjin University of Technology Tianjin 300384, P.R. China yanping.mu@gmail.com Submitted: Dec 27, 2010; Accepted:
More informationQUESTIONS ABOUT POLYNOMIALS WITH {0, 1, +1} COEFFICIENTS. Peter Borwein and Tamás Erdélyi
QUESTIONS ABOUT POLYNOMIALS WITH {0, 1, +1 COEFFICIENTS Peter Borwein and Tamás Erdélyi We are interested in problems concerning the location and multiplicity of zeros of polynomials with small integer
More informationA Combinatorial Interpretation of the Numbers 6 (2n)! /n! (n + 2)!
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 8 (2005), Article 05.2.3 A Combinatorial Interpretation of the Numbers 6 (2n)! /n! (n + 2)! Ira M. Gessel 1 and Guoce Xin Department of Mathematics Brandeis
More informationLimits and Continuity
Chapter Limits and Continuity. Limits of Sequences.. The Concept of Limit and Its Properties A sequence { } is an ordered infinite list x,x,...,,... The n-th term of the sequence is, and n is the index
More informationMATH Fundamental Concepts of Algebra
MATH 4001 Fundamental Concepts of Algebra Instructor: Darci L. Kracht Kent State University April, 015 0 Introduction We will begin our study of mathematics this semester with the familiar notion of even
More informationThe Pacic Institute for the Mathematical Sciences http://www.pims.math.ca pims@pims.math.ca Surprise Maximization D. Borwein Department of Mathematics University of Western Ontario London, Ontario, Canada
More informationElliptic Curves & Number Theory. R. Sujatha School of Mathematics TIFR
Elliptic Curves & Number Theory R. Sujatha School of Mathematics TIFR Aim: To explain the connection between a simple ancient problem in number theory and a deep sophisticated conjecture about Elliptic
More informationTopic 3 Random variables, expectation, and variance, II
CSE 103: Probability and statistics Fall 2010 Topic 3 Random variables, expectation, and variance, II 3.1 Linearity of expectation If you double each value of X, then you also double its average; that
More informationERROR BOUNDS ON COMPLEX FLOATING-POINT MULTIPLICATION
MATHEMATICS OF COMPUTATION Volume 00, Number 0, Pages 000 000 S 005-5718(XX)0000-0 ERROR BOUNDS ON COMPLEX FLOATING-POINT MULTIPLICATION RICHARD BRENT, COLIN PERCIVAL, AND PAUL ZIMMERMANN In memory of
More informationA COMPUTER PROOF OF A SERIES EVALUATION IN TERMS OF HARMONIC NUMBERS
A COMPUTER PROOF OF A SERIES EVALUATION IN TERMS OF HARMONIC NUMBERS RUSSELL LYONS, PETER PAULE, AND AXEL RIESE Abstract. A fruitful interaction between a new randomized WZ procedure and other computer
More information116 XIV. Reducing Product Representations
116 XIV. Reducing Product Representations XIV. Reducing Product Representations In Chapter X we began the consideration of nding the irreducible components of a product representation. The procedure for
More information16. . Proceeding similarly, we get a 2 = 52 1 = , a 3 = 53 1 = and a 4 = 54 1 = 125
. Sequences When we first introduced a function as a special type of relation in Section.3, we did not put any restrictions on the domain of the function. All we said was that the set of x-coordinates
More information1 Ordinary points and singular points
Math 70 honors, Fall, 008 Notes 8 More on series solutions, and an introduction to \orthogonal polynomials" Homework at end Revised, /4. Some changes and additions starting on page 7. Ordinary points and
More informationINDEPENDENCE POLYNOMIALS AND EXTENDED VERTEX REDUCTION. 1. Introduction
Contents 1. Introduction. Generating Independence Polynomials 6 3. Extending the Reduction Formula 19 4. A general formula 3 5. Future Research 8 6. Acknowledgments 8 References 8 1 INDEPENDENCE POLYNOMIALS
More informationClass IX Chapter 1 Number Sustems Maths
Class IX Chapter 1 Number Sustems Maths Exercise 1.1 Question Is zero a rational number? Can you write it in the form 0? and q, where p and q are integers Yes. Zero is a rational number as it can be represented
More informationGrade 8 Chapter 7: Rational and Irrational Numbers
Grade 8 Chapter 7: Rational and Irrational Numbers In this chapter we first review the real line model for numbers, as discussed in Chapter 2 of seventh grade, by recalling how the integers and then the
More informationEfficient implementation of the Hardy-Ramanujan-Rademacher formula
Efficient implementation of the Hardy-Ramanujan-Rademacher formula or: Partitions in the quintillions Fredrik Johansson RISC-Linz July 10, 2013 2013 SIAM Annual Meeting San Diego, CA Supported by Austrian
More informationPartitions in the quintillions or Billions of congruences
Partitions in the quintillions or Billions of congruences Fredrik Johansson November 2011 The partition function p(n) counts the number of ways n can be written as the sum of positive integers without
More information1 Sieving an interval
Math 05 notes, wee 9 C. Pomerance Sieving an interval It is interesting that our sieving apparatus that we have developed is robust enough to handle some problems on the distribution of prime numbers that
More informationMA 180 Lecture. Chapter 0. College Algebra and Calculus by Larson/Hodgkins. Fundamental Concepts of Algebra
0.) Real Numbers: Order and Absolute Value Definitions: Set: is a collection of objections in mathematics Real Numbers: set of numbers used in arithmetic MA 80 Lecture Chapter 0 College Algebra and Calculus
More informationSparse Polynomial Multiplication and Division in Maple 14
Sparse Polynomial Multiplication and Division in Maple 4 Michael Monagan and Roman Pearce Department of Mathematics, Simon Fraser University Burnaby B.C. V5A S6, Canada October 5, 9 Abstract We report
More informationConic Theta Functions and their relations to classical theta functions
Conic Theta Functions and their relations to classical theta functions International Number Theory Conference in Memory of Alf Van der Poorten The University of Newcastle, Australia Sinai Robins Nanyang
More informationBeukers integrals and Apéry s recurrences
2 3 47 6 23 Journal of Integer Sequences, Vol. 8 (25), Article 5.. Beukers integrals and Apéry s recurrences Lalit Jain Faculty of Mathematics University of Waterloo Waterloo, Ontario N2L 3G CANADA lkjain@uwaterloo.ca
More informationDefinition 6.1 (p.277) A positive integer n is prime when n > 1 and the only positive divisors are 1 and n. Alternatively
6 Prime Numbers Part VI of PJE 6.1 Fundamental Results Definition 6.1 (p.277) A positive integer n is prime when n > 1 and the only positive divisors are 1 and n. Alternatively D (p) = { p 1 1 p}. Otherwise
More informationPatterns & A Relations/Functions based approach to Algebra
Patterns & A Relations/Functions based approach to Algebra Does this look as familiar to you. as it does to me? Primary School First Year Third Year Does this look as familiar to you. as it does to me?
More informationLESSON OBJECTIVES NCTM MATH STANDARDS: GRADES 6 8 NCTM
NCTM Number and Operations Standard; Hands On Equations(R) Learning System: Algebra; Problem Solving; Communication; Level I Representation Lesson 1 Students will use a symbol to represent an unknown.
More informationCOMPACTNESS AND UNIFORMITY
COMPACTNESS AND UNIFORMITY. The Extreme Value Theorem Because the continuous image of a compact set is compact, a continuous complexvalued function ϕ on a closed ball B is bounded, meaning that there exists
More information2 Generating Functions
2 Generating Functions In this part of the course, we re going to introduce algebraic methods for counting and proving combinatorial identities. This is often greatly advantageous over the method of finding
More informationThe Analytic and Arithmetic Mystery of Riemann s Zeta Function at Positive Integers
The Analytic and Arithmetic Mystery of Riemann s Zeta Function at Positive Integers Hojoo Lee School of Mathematics, KIAS. Introduction The fundamental theorem of arithmetic (also known as the unique prime
More information1 Prologue (X 111 X 14 )F = X 11 (X 100 X 3 )F = X 11 (X 200 X 6 ) = X 211 X 17.
Prologue In this chapter we give a couple of examples where the method of auxiliary polynomials is used for problems that have no diophantine character. Thus we are not following Sam Goldwyn s advice to
More informationC.T.Chong National University of Singapore
NUMBER THEORY AND THE DESIGN OF FAST COMPUTER ALGORITHMS C.T.Chong National University of Singapore The theory of numbers has long been considered to be among the purest of pure mathematics. Gauss ( 1777-1855)
More informationCounterexamples to witness conjectures. Notations Let E be the set of admissible constant expressions built up from Z; + ;?;;/; exp and log. Here a co
Counterexamples to witness conjectures Joris van der Hoeven D pt. de Math matiques (b t. 45) Universit Paris-Sud 91405 Orsay CEDEX France August 15, 003 Consider the class of exp-log constants, which is
More informationDensity results for frames of exponentials
Density results for frames of exponentials P. G. Casazza 1, O. Christensen 2, S. Li 3, and A. Lindner 4 1 Department of Mathematics, University of Missouri Columbia, Mo 65211 USA pete@math.missouri.edu
More informationLet π and e be trancendental numbers and consider the case:
Jonathan Henderson Abstract: The proposed question, Is π + e an irrational number is a pressing point in modern mathematics. With the first definition of transcendental numbers coming in the 1700 s there
More informationMATH 25 CLASS 8 NOTES, OCT
MATH 25 CLASS 8 NOTES, OCT 7 20 Contents. Prime number races 2. Special kinds of prime numbers: Fermat and Mersenne numbers 2 3. Fermat numbers 3. Prime number races We proved that there were infinitely
More informationMath 314 Lecture Notes Section 006 Fall 2006
Math 314 Lecture Notes Section 006 Fall 2006 CHAPTER 1 Linear Systems of Equations First Day: (1) Welcome (2) Pass out information sheets (3) Take roll (4) Open up home page and have students do same
More informationA New Shuffle Convolution for Multiple Zeta Values
January 19, 2004 A New Shuffle Convolution for Multiple Zeta Values Ae Ja Yee 1 yee@math.psu.edu The Pennsylvania State University, Department of Mathematics, University Park, PA 16802 1 Introduction As
More informationA Remarkable Cubic Mean Iteration
- Computational Methods Function Theory Proceedings, Valparafso 1989 St. Ruseheweyh, E.B. Saff, L. C. Salinas, R.S. Varga (eds.) Lecture Notes in Mathematics 145, pp. 27-1 (~) Springer Berlin Heidelberg
More informationMath 110 (S & E) Textbook: Calculus Early Transcendentals by James Stewart, 7 th Edition
Math 110 (S & E) Textbook: Calculus Early Transcendentals by James Stewart, 7 th Edition 1 Appendix A : Numbers, Inequalities, and Absolute Values Sets A set is a collection of objects with an important
More informationNatural Numbers: Also called the counting numbers The set of natural numbers is represented by the symbol,.
Name Period Date: Topic: Real Numbers and Their Graphs Standard: 9-12.A.1.3 Objective: Essential Question: What is the significance of a point on a number line? Determine the relative position on the number
More informationRandomness in Number Theory *
Randomness in Number Theory * Peter Sarnak Asia Pacific Mathematics Newsletter Number Theory Probability Theory Mahler (953): Whole numbers Random objects Prime numbers Points in space Arithmetic operations
More informationExperimental mathematics and integration
Experimental mathematics and integration David H. Bailey http://www.davidhbailey.com Lawrence Berkeley National Laboratory (retired) Computer Science Department, University of California, Davis October
More informationWelcome to Math Video Lessons. Stanley Ocken. Department of Mathematics The City College of New York Fall 2013
Welcome to Math 19500 Video Lessons Prof. Department of Mathematics The City College of New York Fall 013 An important feature of the following Beamer slide presentations is that you, the reader, move
More informationNeverending Fractions
Neverending Fractions An Introduction to Continued Fractions ( c March 13, 2014: do not circulate) Jonathan Borwein, Alf van der Poorten, Jeffrey Shallit, and Wadim Zudilin Contents Preface page ix
More informationCHAPTER 1. REVIEW: NUMBERS
CHAPTER. REVIEW: NUMBERS Yes, mathematics deals with numbers. But doing math is not number crunching! Rather, it is a very complicated psychological process of learning and inventing. Just like listing
More informationNONCOMMUTATIVE GEOMETRY AND NUMBER THEORY
NONCOMMUTATIVE GEOMETRY AND NUMBER THEORY Noncommutative geometry is a modern field of mathematics created by Alain Connes at the beginning of the eighties. It provides powerful tools to treat spaces that
More information