2 BORWEIN & BRADLEY Koecher's formula points up a potential problem with symbolic searching. Namely, negative results need to be interpreted carefully

Size: px
Start display at page:

Download "2 BORWEIN & BRADLEY Koecher's formula points up a potential problem with symbolic searching. Namely, negative results need to be interpreted carefully"

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 π

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 information

Experimental Determination of Apéry-like Identities for ζ(2n +2)

Experimental 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 information

CECM. Centre for Experimental & Constructive Mathematics

CECM. 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 information

Integer Relation Methods : An Introduction

Integer 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 information

ON THE TAYLOR COEFFICIENTS OF THE HURWITZ ZETA FUNCTION

ON 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 information

The Value of the Zeta Function at an Odd Argument

The 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 information

On the Representations of xy + yz + zx

On 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 information

MATHEMATICS BONUS FILES for faculty and students

MATHEMATICS 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 information

Formulae for some classical constants

Formulae 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 information

David H. Bailey. NASA Ames Research Center. December 11, where high-precision numerical computations, together with advanced integer relation

David 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 information

SECTION 9.2: ARITHMETIC SEQUENCES and PARTIAL SUMS

SECTION 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 information

Strong Normality of Numbers

Strong 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 information

Zeta function: August 19, 2008

Zeta 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 information

A class of Dirichlet series integrals

A 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 information

Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers

Math 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 information

Research Article On Maslanka s Representation for the Riemann Zeta Function

Research 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 information

CHAPTER 1 NUMBER SYSTEMS. 1.1 Introduction

CHAPTER 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 information

DIVISIBILITY TESTS APOORVA KHARE

DIVISIBILITY 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 information

Dependence and independence

Dependence 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 information

Polyexponentials. Khristo N. Boyadzhiev Ohio Northern University Departnment of Mathematics Ada, OH

Polyexponentials. 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 information

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.

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. 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 information

Chapter 5. Number Theory. 5.1 Base b representations

Chapter 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 information

Inverse Symbolic Calculation: Jonathan Borwein, FRSC Computer Assisted Research Mathematics and Applications CARMA

Inverse 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 information

Champernowne 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 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 information

A P-ADIC SUPERCONGRUENCE CONJECTURE OF VAN HAMME

A 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 information

arxiv: v1 [math.ca] 17 Sep 2016

arxiv: 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 information

Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers Solutions

Math 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 information

Question 1: Is zero a rational number? Can you write it in the form p, where p and q are integers and q 0?

Question 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 information

Diverse Factorial Operators

Diverse 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 information

Mathematics 324 Riemann Zeta Function August 5, 2005

Mathematics 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 information

The restarted QR-algorithm for eigenvalue computation of structured matrices

The 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 information

Root systems and the Erdős Szekeres Problem

Root 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 information

Elementary Analysis on Ramanujan s Nested Radicals

Elementary 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 information

Arithmetic, Algebra, Number Theory

Arithmetic, 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 information

Identities Inspired by the Ramanujan Notebooks Second Series

Identities 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 information

2. ETA EVALUATIONS USING WEBER FUNCTIONS. Introduction

2. 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 information

KUMMER S LEMMA KEITH CONRAD

KUMMER 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 information

Algorithms for Experimental Mathematics I David H Bailey Lawrence Berkeley National Lab

Algorithms 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 information

How 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. 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 information

Divisor matrices and magic sequences

Divisor 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 information

Essentials of Intermediate Algebra

Essentials 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 information

A Combinatorial Approach to Finding Dirichlet Generating Function Identities

A 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 information

Peter Bala, Nov

Peter 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 information

Parametric Euler Sum Identities

Parametric 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 information

CHAPTER 1 NUMBER SYSTEMS. 1.1 Introduction

CHAPTER 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 information

9/5/17. Fermat s last theorem. CS 220: Discrete Structures and their Applications. Proofs sections in zybooks. Proofs.

9/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 information

Number Theory and Algebraic Equations. Odile Marie-Thérèse Pons

Number 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 information

THE MAHLER MEASURE OF POLYNOMIALS WITH ODD COEFFICIENTS

THE 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 information

GENERALIZED PALINDROMIC CONTINUED FRACTIONS

GENERALIZED 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 information

NOTES Edited by Sergei Tabachnikov. Probabilistic Proofs of a Binomial Identity, Its Inverse, and Generalizations

NOTES 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 information

Making Change for n Cents: Two Approaches

Making 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 information

How to Discover the Rogers Ramanujan Identities

How 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 information

Equations and Inequalities. College Algebra

Equations 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 information

NAME 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

NAME 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 information

Linear Recurrence Relations for Sums of Products of Two Terms

Linear 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 information

QUESTIONS 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 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 information

A Combinatorial Interpretation of the Numbers 6 (2n)! /n! (n + 2)!

A 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 information

Limits and Continuity

Limits 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 information

MATH Fundamental Concepts of Algebra

MATH 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 information

The 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 information

Elliptic Curves & Number Theory. R. Sujatha School of Mathematics TIFR

Elliptic 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 information

Topic 3 Random variables, expectation, and variance, II

Topic 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 information

ERROR BOUNDS ON COMPLEX FLOATING-POINT MULTIPLICATION

ERROR 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 information

A COMPUTER PROOF OF A SERIES EVALUATION IN TERMS OF HARMONIC NUMBERS

A 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 information

116 XIV. Reducing Product Representations

116 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 information

16. . Proceeding similarly, we get a 2 = 52 1 = , a 3 = 53 1 = and a 4 = 54 1 = 125

16. . 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 information

1 Ordinary points and singular points

1 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 information

INDEPENDENCE POLYNOMIALS AND EXTENDED VERTEX REDUCTION. 1. Introduction

INDEPENDENCE 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 information

Class IX Chapter 1 Number Sustems Maths

Class 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 information

Grade 8 Chapter 7: Rational and Irrational Numbers

Grade 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 information

Efficient implementation of the Hardy-Ramanujan-Rademacher formula

Efficient 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 information

Partitions in the quintillions or Billions of congruences

Partitions 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 information

1 Sieving an interval

1 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 information

MA 180 Lecture. Chapter 0. College Algebra and Calculus by Larson/Hodgkins. Fundamental Concepts of Algebra

MA 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 information

Sparse Polynomial Multiplication and Division in Maple 14

Sparse 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 information

Conic Theta Functions and their relations to classical theta functions

Conic 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 information

Beukers integrals and Apéry s recurrences

Beukers 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 information

Definition 6.1 (p.277) A positive integer n is prime when n > 1 and the only positive divisors are 1 and n. Alternatively

Definition 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 information

Patterns & A Relations/Functions based approach to Algebra

Patterns & 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 information

LESSON OBJECTIVES NCTM MATH STANDARDS: GRADES 6 8 NCTM

LESSON 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 information

COMPACTNESS AND UNIFORMITY

COMPACTNESS 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 information

2 Generating Functions

2 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 information

The 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 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 information

1 Prologue (X 111 X 14 )F = X 11 (X 100 X 3 )F = X 11 (X 200 X 6 ) = X 211 X 17.

1 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 information

C.T.Chong National University of Singapore

C.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 information

Counterexamples 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. 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 information

Density results for frames of exponentials

Density 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 information

Let π and e be trancendental numbers and consider the case:

Let π 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 information

MATH 25 CLASS 8 NOTES, OCT

MATH 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 information

Math 314 Lecture Notes Section 006 Fall 2006

Math 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 information

A New Shuffle Convolution for Multiple Zeta Values

A 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 information

A Remarkable Cubic Mean Iteration

A 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 information

Math 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 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 information

Natural Numbers: Also called the counting numbers The set of natural numbers is represented by the symbol,.

Natural 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 information

Randomness in Number Theory *

Randomness 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 information

Experimental mathematics and integration

Experimental 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 information

Welcome to Math Video Lessons. Stanley Ocken. Department of Mathematics The City College of New York Fall 2013

Welcome 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 information

Neverending Fractions

Neverending 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 information

CHAPTER 1. REVIEW: NUMBERS

CHAPTER 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 information

NONCOMMUTATIVE GEOMETRY AND NUMBER THEORY

NONCOMMUTATIVE 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