La mesure de Mahler supérieure et la question de Lehmer
|
|
- Johnathan Harrington
- 6 years ago
- Views:
Transcription
1 La mesure de Mahler supérieure et la question de Lehmer Matilde Lalín (joint with Kaneenika Sinha (IISER, Kolkata)) Université de Montréal mlalin Conférence Québec-Maine Université Laval 2 octobre, 2010 (j/w Sinha) Lalín (U de M) La mesure de Mahler supérieure Conférence Québec-Maine 1 / 23
2 Mahler measure for one-variable polynomials Pierce (1918): P Z[x] monic, P(x) = i (x r i ) n = i (r n i 1) P(x) = x 2 n = 2 n 1 (j/w Sinha) Lalín (U de M) La mesure de Mahler supérieure Conférence Québec-Maine 2 / 23
3 Lehmer (1933): { r n+1 1 r if r > 1 lim = n r n 1 1 if r < 1 For M(P) = a P(x) = a (x r i ) i r i, m (P) = log a + log r i. By Jensen's formula, r i >1 r i >1 m(p) := 1 0 ( log P 2πiθ) e dθ. (j/w Sinha) Lalín (U de M) La mesure de Mahler supérieure Conférence Québec-Maine 3 / 23
4 Kronecker's Lemma P Z[x], P 0, m(p) = 0 P(x) = x k Φ ni (x) where Φ ni are cyclotomic polynomials. (j/w Sinha) Lalín (U de M) La mesure de Mahler supérieure Conférence Québec-Maine 4 / 23
5 Lehmer's question Lehmer (1933): Given ɛ > 0, can we nd a polynomial P(x) Z[x] such that 0 < m(p) < ɛ? m(x 10 + x 9 x 7 x 6 x 5 x 4 x 3 + x + 1) = Is the above polynomial the best possible?. 379 = 1, 794, 327, 140, 357 (j/w Sinha) Lalín (U de M) La mesure de Mahler supérieure Conférence Québec-Maine 5 / 23
6 Lehmer's question Lehmer (1933): Given ɛ > 0, can we nd a polynomial P(x) Z[x] such that 0 < m(p) < ɛ? m(x 10 + x 9 x 7 x 6 x 5 x 4 x 3 + x + 1) = Is the above polynomial the best possible?. 379 = 1, 794, 327, 140, 357 (j/w Sinha) Lalín (U de M) La mesure de Mahler supérieure Conférence Québec-Maine 5 / 23
7 P C[x] reciprocal i P(x) = ±x deg P P ( x 1). Theorem (Smyth, 1971) P Z[x] nonreciprocal, m(p) m(x 3 x 1) = (j/w Sinha) Lalín (U de M) La mesure de Mahler supérieure Conférence Québec-Maine 6 / 23
8 Higher Mahler measure For k Z 0, the k-higher Mahler measure of P is m k (P) := 1 0 log k P (e 2πiθ) dθ. k = 1 : m 1 (P) = m(p), and m 0 (P) = 1. (j/w Sinha) Lalín (U de M) La mesure de Mahler supérieure Conférence Québec-Maine 7 / 23
9 The simplest examples (Kurokawa, L., Ochiai) m 2 (x 1) = ζ(2) 2 = π2 12. m 3 (x 1) = 3ζ(3). 2 m 4 (x 1) = 3ζ(2)2 + 21ζ(4) 4 = 19π m 5 (x 1) = 15ζ(2)ζ(3) + 45ζ(5). 2 m 6 (x 1) = 45 2 ζ(3) π6. (j/w Sinha) Lalín (U de M) La mesure de Mahler supérieure Conférence Québec-Maine 8 / 23
10 k=0 m k (x 1) s k = k! = 1 0 2πiθ e 1 s dθ ( ) Γ(s + 1) Γ ( s + 1) = exp ( 1) k (1 2 1 k )ζ(k) s k. 2 k 2 k=2 Transform the integral into a Beta function, then use the Weierstrass product of the Γ-function. (j/w Sinha) Lalín (U de M) La mesure de Mahler supérieure Conférence Québec-Maine 9 / 23
11 Lehmer's question for even higher measure Theorem If P(x) Z[x], then for any h 1, ( ) π 2 h 12, if P(x) is reciprocal, m 2h(P) ( ) π 2 h 48, if P(x) is non-reciprocal. (j/w Sinha) Lalín (U de M) La mesure de Mahler supérieure Conférence Québec-Maine 10 / 23
12 m 2 (P) for P reciprocal is minimized when P is a product of monomials and cyclotomic polynomials. m 2 (P) π2 for P a product of monomials and cyclotomic 12 polynomials. For P nonreciprocal, take P(x)x deg P P ( x 1 ). For m 2h(P), use Hölder's inequality. (j/w Sinha) Lalín (U de M) La mesure de Mahler supérieure Conférence Québec-Maine 11 / 23
13 Multiple Mahler measure Let P 1,..., P k C[x ± ] be non-zero Laurent polynomials. Their multiple higher Mahler measure is dened by m(p 1,..., P k ) = m 2 ( i 1 0 (x r i ) ( log P 2πiθ) Pk 1 e log (e 2πiθ) dθ. ) = i,j m(x r i, x r j ). (j/w Sinha) Lalín (U de M) La mesure de Mahler supérieure Conférence Québec-Maine 12 / 23
14 Multiple Mahler measure for simple polynomials Lemma (Kurokawa, L., Ochiai) For 0 α 1 m(x 1, x e 2πiα ) = π2 2 ( α 2 α + 1 ). 6 (j/w Sinha) Lalín (U de M) La mesure de Mahler supérieure Conférence Québec-Maine 13 / 23
15 m 2 of cyclotomic polynomials Proposition For any two positive integers a and b, m(x a 1, x b 1) = π2 12 (a, b) 2 ab. For a positive integer n, let φ n (x) denote the n-th cyclotomic polynomial and ϕ Euler's function. Then m 2 (φ n (x)) = π2 12 ϕ(n)2 r(n), n where r(n) denotes the number of distinct prime divisors of n. (j/w Sinha) Lalín (U de M) La mesure de Mahler supérieure Conférence Québec-Maine 14 / 23
16 m 2 of noncyclotomic polynomials P(x) m(p) m2(p) x 8 + x 5 x 4 + x x 10 + x 9 x 7 x 6 x 5 x 4 x 3 + x x 10 x 6 + x 5 x x 10 + x 7 + x 5 + x x 10 x 8 + x 5 x x 10 + x 8 + x 7 + x 5 + x 3 + x x 10 + x 9 x 5 + x x 12 + x 11 + x 10 x 8 x 7 x 6 x 5 x 4 + x 2 + x x 12 + x 11 + x 10 + x 9 x 6 + x 3 + x 2 + x x 12 + x 11 x 7 x 6 x 5 + x x 12 + x 10 + x 7 x 6 + x 5 + x x 12 + x 10 + x 9 + x 8 + 2x 7 + x 6 + 2x 5 + x 4 + x 3 + x x 14 + x 11 x 10 x 7 x 4 + x x 14 x 12 + x 7 x x 14 x 12 + x 11 x 9 + x 7 x 5 + x 3 x x 14 + x 11 + x 10 + x 9 + x 8 + x 7 + x 6 + x 5 + x 4 + x x 14 + x 13 x 8 x 7 x 6 + x x 14 + x 13 + x 12 x 9 x 8 x 7 x 6 x 5 + x 2 + x x 14 + x 13 x 11 x 7 x 3 + x Known noncyclotomic P Z[x], deg P 14, m(p) < (Mossingho: mjm/lehmer/search/) (j/w Sinha) Lalín (U de M) La mesure de Mahler supérieure Conférence Québec-Maine 15 / 23
17 m 3 Lemma (Kurokawa, L., Ochiai) m(x 1, x e 2πiα, x e 2πiβ ) = k,l 1 k,m 1 l,m cos 2π((k + l)β lα) kl(k + l) cos 2π((k + m)α mβ) km(k + m) cos 2π(lα + mβ). lm(l + m) (j/w Sinha) Lalín (U de M) La mesure de Mahler supérieure Conférence Québec-Maine 16 / 23
18 m 3 ( x n 1 x 1 ) = 32 ζ(3) ( 2 + 3n n 3 n 2 ) + 3π 2 j=1 n j ( ) cot π j n. j 2 Examples m 3 ( x 2 m 3 ( x 3 + x + 1 ) = 10 3π 3 ζ(3) + 2 L(2, χ 3). + x 2 + x + 1 ) = ζ(3) + 3π 2 L(2, χ 4). (j/w Sinha) Lalín (U de M) La mesure de Mahler supérieure Conférence Québec-Maine 17 / 23
19 Lehmer's question for odd higher measure Theorem Let P n (x) = x n 1. For h 1 xed, x 1 lim m 2h+1(P n ) = 0. n Moreover, the sequence m 2h+1(P n ) is nonconstant. (j/w Sinha) Lalín (U de M) La mesure de Mahler supérieure Conférence Québec-Maine 18 / 23
20 Theorem (essentially Boyd, Lawton) Let P(x 1,..., x n ) C[x 1,..., x n ] and r = (r 1,..., r n ), r i Z >0. Dene P r (x) as P r (x) = P(x r 1,..., x rn ), and let q(r) = min H(s) : s = (s 1,..., s n ) Z n, s (0,..., 0), n s j r j = 0, j=1 Then lim m(p 1r,..., P l r ) = m(p 1,..., P l ). q(r) (j/w Sinha) Lalín (U de M) La mesure de Mahler supérieure Conférence Québec-Maine 19 / 23
21 m 2h+1 lim n m 2h+1 ( x n ) 1 x 1 (suggested by Soundararajan) ( x n ) ( ) 1 y 1 = m 2h+1 = 0. x 1 x 1 = C(h) log2h 1 n n ( ( )) 1 + O log 1 n. (j/w Sinha) Lalín (U de M) La mesure de Mahler supérieure Conférence Québec-Maine 20 / 23
22 Summing up Lehmer's question FALSE for m 2h, h 1. Lehmer's question TRUE for m 2h+1, h 1. m k (P) is interesting for P cyclotomic and that answers Lehmer's question. (j/w Sinha) Lalín (U de M) La mesure de Mahler supérieure Conférence Québec-Maine 21 / 23
23 Further questions m 3 (P) for P noncyclotomic? Lehmer's question for P noncyclotomic. Bounds for m 2h(P), h 2. Explain zeta values!!! (j/w Sinha) Lalín (U de M) La mesure de Mahler supérieure Conférence Québec-Maine 22 / 23
24 Thank you! Merci! (j/w Sinha) Lalín (U de M) La mesure de Mahler supérieure Conférence Québec-Maine 23 / 23
Mahler measure as special values of L-functions
Mahler measure as special values of L-functions Matilde N. Laĺın Université de Montréal mlalin@dms.umontreal.ca http://www.dms.umontreal.ca/~mlalin CRM-ISM Colloquium February 4, 2011 Diophantine equations
More informationMahler measure and special values of L-functions
Mahler measure and special values of L-functions Matilde N. Laĺın University of Alberta mlalin@math.ualberta.ca http://www.math.ualberta.ca/~mlalin October 24, 2008 Matilde N. Laĺın (U of A) Mahler measure
More informationHigher Mahler measures and zeta functions
Higher Mahler measures and zeta functions N Kuroawa, M Lalín, and H Ochiai September 4, 8 Abstract: We consider a generalization of the Mahler measure of a multivariable polynomial P as the integral of
More informationAPPLICATIONS OF MULTIZETA VALUES TO MAHLER MEASURE
APPLICATIONS OF MULTIZETA VALUES TO MAHLER MEASURE MATILDE LALÍN Abstract. These notes correspond to a mini-course taught by the author during the program PIMS-SFU undergraduate summer school on multiple
More informationHigher Mahler measures and zeta functions
Higher Mahler measures and zeta functions N Kuroawa, M Lalín, and H Ochiai arxiv:987v [mathnt] 3 Aug 9 November 5, 8 Abstract: We consider a generalization of the Mahler measure of a multivariablepolynomialp
More informationOn Mahler measures of several-variable polynomials and polylogarithms
On Mahler measures of several-variable polynomials and polylogarithms Zeta Functions Seminar University of California at Berkeley May 17th, 2004 Matilde N. Lalín University of Texas at Austin 1 1. Mahler
More informationSome aspects of the multivariable Mahler measure
Some aspects of the multivariable Mahler measure Séminaire de théorie des nombres de Chevaleret, Institut de mathématiques de Jussieu, Paris, France June 19th, 2006 Matilde N. Lalín Institut des Hautes
More informationThe Mahler measure of elliptic curves
The Mahler measure of elliptic curves Matilde Lalín (Université de Montréal) joint with Detchat Samart (University of Illinois at Urbana-Champaign) and Wadim Zudilin (University of Newcastle) mlalin@dms.umontreal.ca
More informationMinimal polynomials of some beta-numbers and Chebyshev polynomials
Minimal polynomials of some beta-numbers and Chebyshev polynomials DoYong Kwon Abstract We consider the β-expansion of 1 which encodes a rational rotation on R/Z under a certain partition Via transforming
More informationO.B. Berrevoets. On Lehmer s problem. Bachelor thesis. Supervisor: Dr J.H. Evertse. Date bachelor exam: 24 juni 2016
O.B. Berrevoets On Lehmer s problem Bachelor thesis Supervisor: Dr J.H. Evertse Date bachelor exam: 24 juni 2016 Mathematical Institute, Leiden University Contents 1 Introduction 2 1.1 History of the Mahler
More informationAuxiliary polynomials for some problems regarding Mahler s measure
ACTA ARITHMETICA 119.1 (2005) Auxiliary polynomials for some problems regarding Mahler s measure by Artūras Dubickas (Vilnius) and Michael J. Mossinghoff (Davidson NC) 1. Introduction. In this paper we
More informationThere s something about Mahler measure
There s something about Mahler measure Junior Number Theory Seminar University of Texas at Austin March 29th, 2005 Matilde N. Lalín Mahler measure Definition For P C[x ±,...,x± n ], the logarithmic Mahler
More informationThe Mahler measure of trinomials of height 1
The Mahler measure of trinomials of height 1 Valérie Flammang To cite this version: Valérie Flammang. The Mahler measure of trinomials of height 1. Journal of the Australian Mathematical Society 14 9 pp.1-4.
More informationFor k a positive integer, the k-higher Mahler measure of a non-zero, n-variable, rational function P (x 1,..., x n ) C(x 1,..., x n ) is given by
HIGHER MAHLER MEASURE OF AN n-variable FAMILY MATILDE N LALÍN AND JEAN-SÉBASTIEN LECHASSEUR Abstract We prove formulas for the k-higher Mahler measure of a family of rational functions with an arbitrary
More informationExamples of Mahler Measures as Multiple Polylogarithms
Examples of Mahler Measures as Multiple Polylogarithms The many aspects of Mahler s measure Banff International Research Station for Mathematical Innovation and Discovery BIRS, Banff, Alberta, Canada April
More informationThe values of Mahler measures
The values of Mahler measures John D. Dixon Artūras Dubickas September 28, 2004 Abstract We investigate the set M of numbers which occur as Mahler measures of integer polynomials and the subset M of Mahler
More informationOn links with cyclotomic Jones polynomials
On links with cyclotomic Jones polynomials Abhijit Champanerkar Department of Mathematics and Statistics University of South Alabama Ilya Kofman Department of Mathematics College of Staten Island, City
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 informationZsigmondy s Theorem. Lola Thompson. August 11, Dartmouth College. Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, / 1
Zsigmondy s Theorem Lola Thompson Dartmouth College August 11, 2009 Lola Thompson (Dartmouth College) Zsigmondy s Theorem August 11, 2009 1 / 1 Introduction Definition o(a modp) := the multiplicative order
More informationA combinatorial problem related to Mahler s measure
A combinatorial problem related to Mahler s measure W. Duke ABSTRACT. We give a generalization of a result of Myerson on the asymptotic behavior of norms of certain Gaussian periods. The proof exploits
More informationOn a secant Dirichlet series and Eichler integrals of Eisenstein series
On a secant Dirichlet series and Eichler integrals of Eisenstein series Oberseminar Zahlentheorie Universität zu Köln University of Illinois at Urbana Champaign November 12, 2013 & Max-Planck-Institut
More informationCyclotomic Matrices and Graphs. Graeme Taylor
Cyclotomic Matrices and Graphs Graeme Taylor Doctor of Philosophy University of Edinburgh 00 Abstract We generalise the study of cyclotomic matrices - those with all eigenvalues in the interval [, ] -
More informationTHE DISTRIBUTION OF ROOTS OF A POLYNOMIAL. Andrew Granville Université de Montréal. 1. Introduction
THE DISTRIBUTION OF ROOTS OF A POLYNOMIAL Andrew Granville Université de Montréal 1. Introduction How are the roots of a polynomial distributed (in C)? The question is too vague for if one chooses one
More informationMahler measure of K3 surfaces
Mahler measure of K3 surfaces Marie José BERTIN Institut Mathématique de Jussieu Université Paris 6 4 Place Jussieu 75006 PARIS bertin@math.jussieu.fr November 7, 2011 Introduction Introduced by Mahler
More informationQuasi-reducible Polynomials
Quasi-reducible Polynomials Jacques Willekens 06-Dec-2008 Abstract In this article, we investigate polynomials that are irreducible over Q, but are reducible modulo any prime number. 1 Introduction Let
More informationOn the friendship between Mahler measure and polylogarithms
On the friendship between Mahler measure and polylogarithms Number Theory Seminar University of Texas at Austin September 30th, 2004 Matilde N. Lalín 1. Mahler measure Definition 1 For P C[x ±1 1,...,x±1
More informationOn K2 T (E) for tempered elliptic curves
On K T 2 (E) for tempered elliptic curves Department of Mathematics, Nanjing University, China guoxj@nju.edu.cn hrqin@nju.edu.cn Janurary 19 2012 NTU 1. Preliminary and history K-theory of categories Let
More informationAn Asymptotic Formula for Goldbach s Conjecture with Monic Polynomials in Z[x]
An Asymptotic Formula for Goldbach s Conjecture with Monic Polynomials in Z[x] Mark Kozek 1 Introduction. In a recent Monthly note, Saidak [6], improving on a result of Hayes [1], gave Chebyshev-type estimates
More informationζ (s) = s 1 s {u} [u] ζ (s) = s 0 u 1+sdu, {u} Note how the integral runs from 0 and not 1.
Problem Sheet 3. From Theorem 3. we have ζ (s) = + s s {u} u+sdu, (45) valid for Res > 0. i) Deduce that for Res >. [u] ζ (s) = s u +sdu ote the integral contains [u] in place of {u}. ii) Deduce that for
More informationDIOPHANTINE PROBLEMS, POLYNOMIAL PROBLEMS, & PRIME PROBLEMS. positive ) integer Q how close are you guaranteed to get to the circle with rationals
DIOPHANTINE PROBLEMS, POLYNOMIAL PROBLEMS, & PRIME PROBLEMS CHRIS PINNER. Diophantine Problems. Given an arbitrary circle in R 2 and( positive ) integer Q how close are you guaranteed to get to the circle
More informationMTH310 EXAM 2 REVIEW
MTH310 EXAM 2 REVIEW SA LI 4.1 Polynomial Arithmetic and the Division Algorithm A. Polynomial Arithmetic *Polynomial Rings If R is a ring, then there exists a ring T containing an element x that is not
More informationCLOSED SETS OF MAHLER MEASURES
CLOSED SETS OF MAHLER MEASURES CHRIS SMYTH Abstract. Given a k-variable Laurent polynomial F, any l k integer matrix A naturally defines an l-variable Laurent polynomial F A. I prove that for fixed F the
More informationP -adic root separation for quadratic and cubic polynomials
P -adic root separation for quadratic and cubic polynomials Tomislav Pejković Abstract We study p-adic root separation for quadratic and cubic polynomials with integer coefficients. The quadratic and reducible
More informationerm Michael Mossinghoff Davidson College Introduction to Topics 2014 Brown University
Complex Pisot Numbers and Newman Polynomials I erm Michael Mossinghoff Davidson College Introduction to Topics Summer@ICERM 2014 Brown University Mahler s Measure f(z) = nx k=0 a k z k = a n n Y k=1 (z
More informationTHE LIND-LEHMER CONSTANT FOR 3-GROUPS. Stian Clem 1 Cornell University, Ithaca, New York
#A40 INTEGERS 18 2018) THE LIND-LEHMER CONSTANT FOR 3-GROUPS Stian Clem 1 Cornell University, Ithaca, New York sac369@cornell.edu Christopher Pinner Department of Mathematics, Kansas State University,
More informationMahler measure of K3 surfaces (Lecture 4)
Mahler measure of K3 surfaces (Lecture 4) Marie José BERTIN Institut Mathématique de Jussieu Université Paris 6 4 Place Jussieu 75006 PARIS bertin@math.jussieu.fr June 25, 2013 Introduction Introduced
More informationFIELD THEORY. Contents
FIELD THEORY MATH 552 Contents 1. Algebraic Extensions 1 1.1. Finite and Algebraic Extensions 1 1.2. Algebraic Closure 5 1.3. Splitting Fields 7 1.4. Separable Extensions 8 1.5. Inseparable Extensions
More informationA Gel fond type criterion in degree two
ACTA ARITHMETICA 111.1 2004 A Gel fond type criterion in degree two by Benoit Arbour Montréal and Damien Roy Ottawa 1. Introduction. Let ξ be any real number and let n be a positive integer. Defining the
More informationElementary Properties of Cyclotomic Polynomials
Elementary Properties of Cyclotomic Polynomials Yimin Ge Abstract Elementary properties of cyclotomic polynomials is a topic that has become very popular in Olympiad mathematics. The purpose of this article
More informationCopyright. Matilde Noemi Lalin
Copyright by Matilde Noemi Lalin 005 The Dissertation Committee for Matilde Noemi Lalin certifies that this is the approved version of the following dissertation: Some relations of Mahler measure with
More informationRoot statistics of random polynomials with bounded Mahler measure
Root statistics of random polynomials with bounded Mahler measure Maxim L. Yattselev Indiana University-Purdue University Indianapolis AMS Sectional Meeting Bloomington, IN April 1st, 2017 Mahler Measure
More informationArtūras Dubickas and Jonas Jankauskas. On Newman polynomials, which divide no Littlewood polynomial. Mathematics of Computation, 78 (2009).
Artūras Dubickas and Jonas Jankauskas On Newman polynomials, which divide no Littlewood polynomial Mathematics of Computation, 78 (2009). Definitions A polynomial P (x) with all coefficients from the set
More informationZero Determination of Algebraic Numbers using Approximate Computation and its Application to Algorithms in Computer Algebra
Zero Determination of Algebraic Numbers using Approximate Computation and its Application to Algorithms in Computer Algebra Hiroshi Sekigawa NTT Communication Science Laboratories, Nippon Telegraph and
More informationMath 680 Fall A Quantitative Prime Number Theorem I: Zero-Free Regions
Math 68 Fall 4 A Quantitative Prime Number Theorem I: Zero-Free Regions Ultimately, our goal is to prove the following strengthening of the prime number theorem Theorem Improved Prime Number Theorem: There
More informationSection X.55. Cyclotomic Extensions
X.55 Cyclotomic Extensions 1 Section X.55. Cyclotomic Extensions Note. In this section we return to a consideration of roots of unity and consider again the cyclic group of roots of unity as encountered
More informationRoots of Polynomials in Subgroups of F p and Applications to Congruences
Roots of Polynomials in Subgroups of F p and Applications to Congruences Enrico Bombieri, Jean Bourgain, Sergei Konyagin IAS, Princeton, IAS Princeton, Moscow State University The decimation problem Let
More informationClassification of Finite Fields
Classification of Finite Fields In these notes we use the properties of the polynomial x pd x to classify finite fields. The importance of this polynomial is explained by the following basic proposition.
More informationProof by Contradiction
Proof by Contradiction MAT231 Transition to Higher Mathematics Fall 2014 MAT231 (Transition to Higher Math) Proof by Contradiction Fall 2014 1 / 12 Outline 1 Proving Statements with Contradiction 2 Proving
More informationContinuing the pre/review of the simple (!?) case...
Continuing the pre/review of the simple (!?) case... Garrett 09-16-011 1 So far, we have sketched the connection between prime numbers, and zeros of the zeta function, given by Riemann s formula p m
More informationON THE IRREDUCIBILITY OF SUM OF TWO RECIPROCAL POLYNOMIALS
Bull. Korean Math. Soc. 53 (16), No. 3, pp. 833 84 http://dx.doi.org/1.4134/bkms.b15363 pissn: 115-8634 / eissn: 34-316 ON THE IRREDUCIBILITY OF SUM OF TWO RECIPROCAL POLYNOMIALS Minsang Bang and DoYong
More informationCYCLOTOMIC POLYNOMIALS
CYCLOTOMIC POLYNOMIALS 1. The Derivative and Repeated Factors The usual definition of derivative in calculus involves the nonalgebraic notion of limit that requires a field such as R or C (or others) where
More informationMETRIC HEIGHTS ON AN ABELIAN GROUP
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 44, Number 6, 2014 METRIC HEIGHTS ON AN ABELIAN GROUP CHARLES L. SAMUELS ABSTRACT. Suppose mα) denotes the Mahler measure of the non-zero algebraic number α.
More informationTHE t-metric MAHLER MEASURES OF SURDS AND RATIONAL NUMBERS
Acta Math. Hungar., 134 4) 2012), 481 498 DOI: 10.1007/s10474-011-0126-y First published online June 17, 2011 THE t-metric MAHLER MEASURES OF SURDS AND RATIONAL NUMBERS J. JANKAUSKAS 1 and C. L. SAMUELS
More informationExplicit Methods in Algebraic Number Theory
Explicit Methods in Algebraic Number Theory Amalia Pizarro Madariaga Instituto de Matemáticas Universidad de Valparaíso, Chile amaliapizarro@uvcl 1 Lecture 1 11 Number fields and ring of integers Algebraic
More informationCYCLOTOMIC POLYNOMIALS
CYCLOTOMIC POLYNOMIALS 1. The Derivative and Repeated Factors The usual definition of derivative in calculus involves the nonalgebraic notion of limit that requires a field such as R or C (or others) where
More informationPolynomial Rings. i=0. i=0. n+m. i=0. k=0
Polynomial Rings 1. Definitions and Basic Properties For convenience, the ring will always be a commutative ring with identity. Basic Properties The polynomial ring R[x] in the indeterminate x with coefficients
More informationProposed by Jean-Marie De Koninck, Université Laval, Québec, Canada. (a) Let φ denote the Euler φ function, and let γ(n) = p n
10966. Proposed by Jean-Marie De Koninck, Université aval, Québec, Canada. (a) et φ denote the Euler φ function, and let γ(n) = p n p, with γ(1) = 1. Prove that there are exactly six positive integers
More informationNewman s Conjecture for function field L-functions
Newman s Conjecture for function field L-functions David Mehrle Presenters: t < Λ t Λ Λ Joseph Stahl September 28, 2014 Joint work with: Tomer Reiter, Dylan Yott Advisors: Steve Miller, Alan Chang The
More informationON VALUES OF CYCLOTOMIC POLYNOMIALS. V
Math. J. Okayama Univ. 45 (2003), 29 36 ON VALUES OF CYCLOTOMIC POLYNOMIALS. V Dedicated to emeritus professor Kazuo Kishimoto on his seventieth birthday Kaoru MOTOSE In this paper, using properties of
More informationMathematical Olympiad Training Polynomials
Mathematical Olympiad Training Polynomials Definition A polynomial over a ring R(Z, Q, R, C) in x is an expression of the form p(x) = a n x n + a n 1 x n 1 + + a 1 x + a 0, a i R, for 0 i n. If a n 0,
More informationAbsolute zeta functions and the absolute automorphic forms
Absolute zeta functions and the absolute automorphic forms Nobushige Kurokawa April, 2017, (Shanghai) 1 / 44 1 Introduction In this report we study the absolute zeta function ζ f (s) associated to a certain
More informationRational Points on Curves
Rational Points on Curves 1 Q algebraic closure of Q. k a number field. Ambient variety: Elliptic curve E an elliptic curve defined over Q. E N = E E. In general A an abelian variety defined over Q. For
More informationTHE HEIGHT OF ALGEBRAIC UNITS IN LOCAL FIELDS*
THE HEIGHT OF ALGEBRAIC UNITS IN LOCAL FIELDS* CLAYTON PETSCHE Abstract. Given a number field k and a non-archimedean place v of k, we give a quantitative lower bound on the height of non-torsion algebraic
More information3. Heights of Algebraic Numbers
3. Heights of Algebraic Numbers A nonzero rational integer has absolute value at least 1. A nonzero rational number has absolute value at least the inverse of any denominator. Liouville s inequality (
More informationPolynomials. Chapter 4
Chapter 4 Polynomials In this Chapter we shall see that everything we did with integers in the last Chapter we can also do with polynomials. Fix a field F (e.g. F = Q, R, C or Z/(p) for a prime p). Notation
More information1, for s = σ + it where σ, t R and σ > 1
DIRICHLET L-FUNCTIONS AND DEDEKIND ζ-functions FRIMPONG A. BAIDOO Abstract. We begin by introducing Dirichlet L-functions which we use to prove Dirichlet s theorem on arithmetic progressions. From there,
More informationMath Circles: Number Theory III
Math Circles: Number Theory III Centre for Education in Mathematics and Computing University of Waterloo March 9, 2011 A prime-generating polynomial The polynomial f (n) = n 2 n + 41 generates a lot of
More informationCopyright by Matilde Noem ı Lal ın 2005
Copyright by Matilde Noemí Lalín 005 The Dissertation Committee for Matilde Noemí Lalín certifies that this is the approved version of the following dissertation: Some relations of Mahler measure with
More informationMATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION
MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION 1. Polynomial rings (review) Definition 1. A polynomial f(x) with coefficients in a ring R is n f(x) = a i x i = a 0 + a 1 x + a 2 x 2 + + a n x n i=0
More informationAlgebra. Pang-Cheng, Wu. January 22, 2016
Algebra Pang-Cheng, Wu January 22, 2016 Abstract For preparing competitions, one should focus on some techniques and important theorems. This time, I want to talk about a method for solving inequality
More informationA connection between number theory and linear algebra
A connection between number theory and linear algebra Mark Steinberger Contents 1. Some basics 1 2. Rational canonical form 2 3. Prime factorization in F[x] 4 4. Units and order 5 5. Finite fields 7 6.
More informationOn intervals containing full sets of conjugates of algebraic integers
ACTA ARITHMETICA XCI4 (1999) On intervals containing full sets of conjugates of algebraic integers by Artūras Dubickas (Vilnius) 1 Introduction Let α be an algebraic number with a(x α 1 ) (x α d ) as its
More informationarxiv: v1 [math.nt] 26 Nov 2008
Uniform distribution of Galois conjugates and beta-conjugates of a Parry number near the unit circle and dichotomy of Perron numbers arxiv:0811.4288v1 [math.nt] 26 Nov 2008 Jean-Louis Verger-Gaugry Institut
More informationSection IV.23. Factorizations of Polynomials over a Field
IV.23 Factorizations of Polynomials 1 Section IV.23. Factorizations of Polynomials over a Field Note. Our experience with classical algebra tells us that finding the zeros of a polynomial is equivalent
More informationRoots of Unity, Cyclotomic Polynomials and Applications
Swiss Mathematical Olympiad smo osm Roots of Unity, Cyclotomic Polynomials and Applications The task to be done here is to give an introduction to the topics in the title. This paper is neither complete
More informationGeometry of points over Q of small height Part II
Geometry of points over Q of small height Part II Georgia Institute of Technology MSRI Introductory Workshop on Rational and Integral Points on Higher-dimensional Varieties January 21, 2006 Lehmer s problem
More informationComplexity of Knots and Integers FAU Math Day
Complexity of Knots and Integers FAU Math Day April 5, 2014 Part I: Lehmer s question Integers Integers Properties: Ordering (total ordering)..., 3, 2, 1, 0, 1, 2, 3,..., 10,... Integers Properties: Size
More informationLinear Mahler Measures and Double L-values of Modular Forms
Linear Mahler Measures and Double L-values of Modular Forms Masha Vlasenko (Trinity College Dublin), Evgeny Shinder (MPIM Bonn) Cologne March 1, 2012 The Mahler measure of a Laurent polynomial is defined
More informationSolutions Manual for Homework Sets Math 401. Dr Vignon S. Oussa
1 Solutions Manual for Homework Sets Math 401 Dr Vignon S. Oussa Solutions Homework Set 0 Math 401 Fall 2015 1. (Direct Proof) Assume that x and y are odd integers. Then there exist integers u and v such
More informationCLOSED SETS OF MAHLER MEASURES
CLOSED SETS OF MAHLER MEASURES CHRIS SMYTH Abstract. Given a k-variable Laurent polynomial F, any l k integer matrix A naturally defines an l-variable Laurent polynomial F A. I prove that for fixed F the
More informationThe lowest degree 0, 1-polynomial divisible by cyclotomic polynomial arxiv: v2 [math.nt] 15 Nov 2011
The lowest degree 0, 1-polynomial divisible by cyclotomic polynomial arxiv:1106.1271v2 [math.nt] 15 Nov 2011 A. Satyanarayana Reddy Abstract Let n be an even positive integer with at most three distinct
More informationThe Riemann Hypothesis
The Riemann Hypothesis Matilde N. Laĺın GAME Seminar, Special Series, History of Mathematics University of Alberta mlalin@math.ualberta.ca http://www.math.ualberta.ca/~mlalin March 5, 2008 Matilde N. Laĺın
More informationSome Interesting Properties of the Riemann Zeta Function
Some Interesting Properties of the Riemann Zeta Function arxiv:822574v [mathho] 2 Dec 28 Contents Johar M Ashfaque Introduction 2 The Euler Product Formula for ζ(s) 2 3 The Bernoulli Numbers 4 3 Relationship
More informationEach aix i is called a term of the polynomial. The number ai is called the coefficient of x i, for i = 0, 1, 2,..., n.
Polynomials of a single variable. A monomial in a single variable x is a function P(x) = anx n, where an is a non-zero real number and n {0, 1, 2, 3,...}. Examples are 3x 2, πx 8 and 2. A polynomial in
More informationarxiv:math/ v2 [math.nt] 28 Jan 2008
arxiv:math/0701397v2 [math.nt] 28 Jan 2008 THE MAHLER MEASURE OF ALGEBRAIC NUMBERS: A SURVEY CHRIS SMYTH Abstract. A survey of results for Mahler measure of algebraic numbers, and one-variable polynomials
More informationMahler measures and computations with regulators
Journal of Number Theory 18 008) 131 171 www.elsevier.com/locate/jnt Mahler measures and computations with regulators Matilde N. Lalín 1 Department of Mathematics, University of British Columbia, Vancouver,
More informationarxiv: v3 [math.nt] 15 Dec 2016
Lehmer s totient problem over F q [x] arxiv:1312.3107v3 [math.nt] 15 Dec 2016 Qingzhong Ji and Hourong Qin Department of Mathematics, Nanjing University, Nanjing 210093, P.R.China Abstract: In this paper,
More informationP -ADIC ROOT SEPARATION FOR QUADRATIC AND CUBIC POLYNOMIALS. Tomislav Pejković
RAD HAZU. MATEMATIČKE ZNANOSTI Vol. 20 = 528 2016): 9-18 P -ADIC ROOT SEPARATION FOR QUADRATIC AND CUBIC POLYNOMIALS Tomislav Pejković Abstract. We study p-adic root separation for quadratic and cubic
More informationProblem 1A. Find the volume of the solid given by x 2 + z 2 1, y 2 + z 2 1. (Hint: 1. Solution: The volume is 1. Problem 2A.
Problem 1A Find the volume of the solid given by x 2 + z 2 1, y 2 + z 2 1 (Hint: 1 1 (something)dz) Solution: The volume is 1 1 4xydz where x = y = 1 z 2 This integral has value 16/3 Problem 2A Let f(x)
More informationArithmetic properties of periodic points of quadratic maps, II
ACTA ARITHMETICA LXXXVII.2 (1998) Arithmetic properties of periodic points of quadratic maps, II by Patrick Morton (Wellesley, Mass.) 1. Introduction. In this paper we prove that the quadratic map x f(x)
More informationCounting Perfect Polynomials
Enrique Treviño joint work with U. Caner Cengiz and Paul Pollack 49th West Coast Number Theory December 18, 2017 49th West Coast Number Theory 2017 1 Caner (a) Caner Cengiz (b) Paul Pollack 49th West Coast
More informationMASTERS EXAMINATION IN MATHEMATICS
MASTERS EXAMINATION IN MATHEMATICS PURE MATHEMATICS OPTION FALL 2007 Full points can be obtained for correct answers to 8 questions. Each numbered question (which may have several parts) is worth the same
More informationFactorization in Integral Domains II
Factorization in Integral Domains II 1 Statement of the main theorem Throughout these notes, unless otherwise specified, R is a UFD with field of quotients F. The main examples will be R = Z, F = Q, and
More informationReciprocal Polynomials Having Small Measure
MATHEMATICS OF COMPUTATION, VOLUME 5, NUMBER 5 OCTOBER 98, PAGES 6-77 Reciprocal Polynomials Having Small Measure By David W. Boyd* Abstract. The measure of a monic polynomial is the product of the absolute
More informationMath 201C Homework. Edward Burkard. g 1 (u) v + f 2(u) g 2 (u) v2 + + f n(u) a 2,k u k v a 1,k u k v + k=0. k=0 d
Math 201C Homework Edward Burkard 5.1. Field Extensions. 5. Fields and Galois Theory Exercise 5.1.7. If v is algebraic over K(u) for some u F and v is transcendental over K, then u is algebraic over K(v).
More informationA talk given at University of Wisconsin at Madison (April 6, 2006). Zhi-Wei Sun
A tal given at University of Wisconsin at Madison April 6, 2006. RECENT PROGRESS ON CONGRUENCES INVOLVING BINOMIAL COEFFICIENTS Zhi-Wei Sun Department of Mathematics Nanjing University Nanjing 210093,
More informationMahler s Measure and Möbius Transformations
Bachelor Thesis Mahler s Measure and Möbius Transformations Jan-Willem van Ittersum Supervisor: Prof. dr. Gunther Cornelissen July 7, 015 Contents 1 Introduction 1 Mahler s Measure 3.1 Mahler s Papers....................................
More informationPart II. Number Theory. Year
Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section I 1G 70 Explain what is meant by an Euler pseudoprime and a strong pseudoprime. Show that 65 is an Euler
More informationCoding Theory and Applications. Solved Exercises and Problems of Cyclic Codes. Enes Pasalic University of Primorska Koper, 2013
Coding Theory and Applications Solved Exercises and Problems of Cyclic Codes Enes Pasalic University of Primorska Koper, 2013 Contents 1 Preface 3 2 Problems 4 2 1 Preface This is a collection of solved
More informationGalois Theory, summary
Galois Theory, summary Chapter 11 11.1. UFD, definition. Any two elements have gcd 11.2 PID. Every PID is a UFD. There are UFD s which are not PID s (example F [x, y]). 11.3 ED. Every ED is a PID (and
More information