Ohno-type relation for finite multiple zeta values
|
|
- Bruno Parker
- 5 years ago
- Views:
Transcription
1 Ohno-tye relation for finite multile zeta values Kojiro Oyama Abstract arxiv: v3 [math.nt] 23 Se 2017 Ohno s relation is a well-known relation among multile zeta values. In this aer, we rove Ohno-tye relation for finite multile zeta values, which is conjectured by Kaneko. As a corollary, we give an alternative roof of the sum formula for finite multile zeta values, which was first roved by Saito and Wakabayashi. 1 Introduction 1.1 Finite multile zeta values The finite multile zeta value is defined by Zagier [5, 6]. Definition 1.1. The Q-algebra A is defind by / A : Z/Z Z/Z {a a Z/Z}/, :rime :rime where a b means a b for all but finitely many rimes. Definition 1.2. For any k k 1,..., k r Z 1 r, the finite multile zeta value is defined by 1 ζ A k ζ A k 1,..., k r : mod A. m k 1 1 m kr r >m 1 > >m r>0 For an index k k 1,..., k r Z 0 r, the integer k k r is called the weight of k denoted by wtk and the integer r is called the deth of k denoted by dek. For k k 1,....k r and k k 1,..., k r, the symbol k + k reresents the comonentwise sum: k + k : k 1 + k 1,..., k r + k r. For any k k 1,..., k r, we define Hoffman s dual of k by By definition, we easily find k : 1,..., 1 + 1,..., 1 +1,..., 1 + 1,..., 1. }{{}}{{}}{{} k 1 k 2 k r dek + dek wtk + 1, k k Mathematics Subject Classification Numbers: Primary 11M32. Secondary 05A19. Key words and hrases: finite multile zeta value, Ohno s relation, sum formula. 1
2 Examle , 3, 1, 2 1, 1 + 1, 1, 1 + }{{}}{{}}{{} 1 + 1, 1 }{{} , 2, 1, 3, 1, 1, 2, 1, 3, 1 }{{} 1 + 1, 1 + }{{}}{{} 1 + 1, 1, 1 + }{{}}{{} , 3, 1, 2. Our main theorem is the following result conjectured by Kaneko [5, 6]: Theorem 1.4 Main Theorem. For any k 1,..., k r Z 1 r and n Z 0, we have ζ A k 1 + e 1,..., k r + e r ζ A + e 1,..., k s + e s, e 1 + +e rn e i 0 e 1 + +e sn e i 0 where k 1,..., k s k 1,..., k r is Hoffman s dual of k 1,..., k r Z 1 r. Remark 1.5. We can rove Ohno-tye relation for finite real multile zeta values, by exactly the same roof given in Algebraic setu and Notation Let H : Q x, y be the non-commutative olynomial algebra over Q in two indeterminates x and y, and H 1 : Q + Hy its subalgebra. Put z k : x k 1 y for a ositive integer k. Then H 1 is generated by z k k 1, 2, 3,.... For a word w H, the total degree of w is called the weight of w denoted by w and the degree in y is called the deth of w. The harmonic roduct on H 1 is the Q-bilinear ma : H 1 H 1 defined inductively by the following rules: i For any w H 1, w 1 1 w w. ii For any w 1, w 2 H 1 and m, n Z 1, z m w 1 z n w 2 z m w 1 z n w 2 + z n z m w 1 w 2 + z m+n w 1 w 2. The shuffle roduct X on H is the Q-bilinear ma X : H H defined inductively by the following rules: i For any w H, w X 1 1 X w w. ii For u 1, u 2 {x, y} and any w 1, w 2 H, u 1 w 1 X u 2 w 2 u 1 w 1 X u 2 w 2 + u 2 u 1 w 1 X w 2. It is known that these roducts are commutative and associative cf: [3, 8]. We define a Q-linear ma Z A : H 1 A by setting Z A 1 1, Z A z z kr ζ A k 1,..., k r. The following roosition gives the imortant roerties of Z A : Proosition 1.6 [3, 5, 6]. For any words w z z kr and w z k 1 z k s H 1, we have 1 Z A w w Z A wz A w, 2 Z A w X w 1 w Z A z kr z z k 1 z k s. 2
3 We define a Q-linear ma T : H 1 H 1 by T w : τw y for any w w y H 1, where τ is the automorhism of H given by τx y, τy x. The ma T reresents Hoffman s dual for words, namely, if Z A w ζ A k, then Z A T w ζ A k. 2 Proof of the main theorem 2.1 Preliminaries Proosition 2.1 [4, Corollary 3]. For any w H 1, we have where u is the automorhism of H given by 1 1 yu w 1 1 yu X uw, 1 u x x1 + yu 1, u y y + x1 + yu 1 yu, and u is a formal arameter. We define the symbols required to rove Theorem 1.4 by the following: Definition 2.2. For k k 1, k 2,..., k r Z 1 r, r Z 1, and n, l Z 0, we define a l k 1, k 2,..., k r : A k,l,n : e 1 + +e + +kr l e i 0 λ 1 + +λ rn λ j {0,1} j 1 1 xy e j 1 y k2 j 2 1 xy e k 1 +j 2 y kr a l k λ 1, k λ 2,..., k r 1 + λ r. j r1 xy e k 1 + +k r 1 +jr Lemma 2.3. For any k k 1, k 2,..., k r and n Z 1, we have 1 i Z A y k A k,l,i 0. 2 i0 k+ln i Proof. For w z z k2 z kr, we calculate both sides of 1. L.H.S. of 1 yu n z z k2 z kr n0 z1 n z z k2 z kr u n. n0 y, 3
4 Here, by the definition of u, we obtain u z z k2 z kr x1 + yu 1 x1 + yu 1 {y + x1 + yu 1 yu} }{{} k 1 1 x1 + yu 1 x1 + yu 1 {y + x1 + yu 1 yu} }{{} k 2 1 x1 + yu 1 x1 + yu 1 {y + x1 + yu 1 yu} }{{} k r 1 r 1 l A k,l,i u l+i. l0 i0 Thus we have R.H.S. of 1 yu k X k0 n0 i0 l0 r 1 l A k,l,i u l+i i0 r 1 l y k X A k,l,i u n+i. k+ln Comaring the cofficients of u n on both sides, we have 1 l y k X A k,l,i z1 n z z k2 z kr. 3 i0 k+ln i Alying Z A to both sides of 3 gives Z A L.H.S. of 3 Z A i0 i0 i0 k+ln i k+ln i k+ln i Z A R.H.S. of 3 Z A z n 1 z z k2 z kr Z A z n 1 Z A z z k2 z kr 1 l y k X A k,l,i 1 l Z A y k X A k,l,i 1 n i Z A y k A k,l,i, ζ A 1,..., 1ζ }{{} A k 1, k 2,..., k r 0. n The last equality is a consequence of [2, Equation15] which asserts that ζ A a,..., a 0 }{{} r 4
5 for any a, r Z 1. Multilying both sides by 1 n gives 1 i Z A y k A k,l,i 0. i0 k+ln i Lemma 2.4. For any k k 1, k 2,..., k r and n Z 1, we have i0 where s dek. 1i wtλi e Z 0 s+i wten i Proof. We first show the following equality: Z A y k a l k 1 1, k 2 1,..., k r 1 k+ln ζ A k + λ + e 0, e Z 0 s wten ζ A k + e, 4 where s dek. By the definition of a l k 1, k 2,..., k r, we easily find 1 kr 1 L.H.S. of 4 Z A y k xy e j 1 y xy e k 1 + +k r 1 r+1+jr y k+e 1 + +e + +kr rn k, e i 0 e 1 + +e + +kr r+1n e i 0 e 1 + +e + +kr r+1n e i 0 Z A y e 1 j j 1 1 ζ A k + e, xy e j 1 +1 y j r1 kr 1 j r1 xy e k 1 + +k r 1 r+2+jr where the last equality holds by observing the following: The word which corresonds to the index k k 1,..., k r is and thus 1 j 1 1 T x k 1 1 yx k 2 1 y x kr 1 y y k 1 1 xy k 2 1 x y kr, x e j 1 y x k2 1 j 2 1 x e k 1 1+j 2 y x kr j r1 x e k 1 + +k r 1 r+1+jr y corresonds to k + e e e 1,..., e + +k r r+1. By taking Hoffman s dual, we see that the word which corresonds to k + e is 1 k2 1 kr T x e j 1 y x x e k 1 1+j 2 y x x e k 1 + +k r 1 r+1+jr y y e 1 j j 1 1 xy e j 1 +1 j 2 1 y k2 1 j 2 1 xy e k 1 +j 2 y j r1 kr 1 j r1 xy e k 1 + +k r 1 r+2+jr y. y 5
6 Thus we find 4. Accordingly, we have L.H.S. of 2 i0 i0 i0 1 i 1i 1i k+ln i k+ln i wtλi Z A y k A k,l,i λ 1 + +λ ri λ j {0,1} e Z 0 s+i wten i 2.2 Proof of the main theorem Thorem 1.4 can be rewritten as follows: Z A y k a l k λ 1, k λ 2,..., k r 1 + λ r ζ A k + λ + e. Theorem 2.5 Theorem 1.4. For any k k 1, k 2,, k r and n Z 0, we have where s dek. e Z 0 r wten ζ A k + e e Z 0 s wte n ζ A k + e, Proof. Let us rove Theorem 1.4 by induction on n. First, it is trivial in the case n 0. Next, we assume that the equality holds for values smaller than n. Then the assumtion shows that ζ A k + λ + e ζ A k + λ + e wtλi e Z 0 s+i wten i e Z 0 r wtλi wte n i 1 µ 1 < <µ i r for i with 1 i min{n, r}. By Lemma 2.4, we obtain wtλ0 e Z 0 s wten ζ A k + λ + e i1 1i 1 wtλi e Z 0 r wte n e µ1,...,e µi 1 e Z 0 s+i wten i ζ A k + e ζ A k + λ + e. 6
7 Therefore we have ζ A k + e e Z 0 s wten e Z 0 s wtλ0 wten i1 i1 1i 1 1 i 1 Hence we must show the following identity: i1 1 i 1 1 µ 1 < <µ i r e Z 0 r wte n e µ1,...,e µi 1 ζ A k + λ + e wtλi e Z 0 s+i wten i 1 µ 1 < <µ i r ζ A k + λ + e e Z 0 r wte n e µ1,...,e µi 1 ζ A k + e e Z 0 r wten ζ A k + e. ζ A k + e. We fix the index e e 1,..., e r such that wte n, and let the number of non-zero comonents of the fixed index e be m 1 m min{n, r}. In the left-hand side, the number of aearances of the index e is Thus we have i1 m 1 1 i 1 m µ 1 < <µ i r m 3 e Z 0 r wte n e µ1,...,e µi 1 Therefore the identity holds for n. The roof is comlete. 3 Sum formula m m 1 i 1 1. i i1 ζ A k + e e Z 0 r wten The following identity was first roved by Saito and Wakabayashi [9]. k 1 + +k rk k j 1,k i 2 ζ A k + e. Corollary 3.1 Sum fomula [9, Theorem 1.4]. For k, r, i Z 1 with 1 i r k 1, we have k 1 k 1 ζ A k 1,..., k r 1 i r B k mod. 5 i 1 r i k 7
8 Proof. Let k 1,..., 1, 2, 1,..., 1 and n k r 1. Then k }{{}}{{} i, r + 1 i and s 2. i 1 r i Aly Theorem 1.4 to this k to get: ζ A k + e e Z 0 r wtek r 1 e 1 + +e rk r 1 e j 0 k 1 + +k rk k j 1,k i 2 e Z 0 2 wte k r 1 e 1 +e 2 k r 1 e j 0 e 1 +e 2 k r 1 e 1 +e 2 k r 1 e j 0 ζ A 1 + e 1,..., 1 + e i 1, 2 + e i, 1 + e i+1,..., 1 + e r ζ A k 1,..., k r, ζ A k + e ζ A i + e1, r + 1 i + e 2 ζ A 1,..., 1, 2, 1,..., 1 }{{}}{{} e j 0 i 1+e 1 r i+e 2 r i+e k B k r i + e k mod k i k 1 e B k mod by utting e r i + e e k er i+1 k i r i k 1 e B k mod e k e0 e0 k 1 k 1 1 i 1 1 k r B k mod. i 1 r i k Thus we have k 1 + +k rk k j 1,k i 2 ζ A k 1,..., k r 1 i 1 1 k+1 k 1 i 1 by [7, Theorem 4.5] k r B k r i k mod. 6 If k is even, then the right-hand side of 5 is equal to the right-hand side of 6 because B k 0 whenever k + 3. If k is odd, then the right-hand side of the 5 is equal to the right-hand side of 6 because 1 k+1 1. Therefore the roof is comlete. Acknowledgment The author would like to exress his sincere gratitude to Professors Masanobu Kaneko and Shingo Saito for helful comments and advice. 8
9 References [1] M. E. Hoffman, Multile harmonic series, Pacific J. Math , [2] M. E. Hoffman, Quasi-symmetric functions and mod multile harmonic sums, Kyushu J. Math , [3] M. E. Hoffman, The algebra of multile harmonic series, J. Algebra , [4] K. Ihara, M. Kaneko and D. Zagier, Derivation and double shuffle relations for multile zeta values, Comositio Math , [5] M. Kaneko, Finite multile zeta values. in Jaanese, RIMS Kôkyûroku Bessatsu, to aear. [6] M. Kaneko and D. Zagier, Finite multile zeta values, in rearation. [7] Kh. Hessami Pilehrood, T. Hessami Pilehrood, and R. Tauraso, New roerties of multile harmonic sums modulo and -analogues of Leshchiner s series, Trans. Amer. Math. Soc , [8] C. Reutenauer, Free Lie Algebras, Oxford Science Publications, [9] S. Saito and N. Wakabayashi, Sum formula for finite multile zeta values, J. Math. Soc. Jaan , [10] S. Saito and N. Wakabayashi, Bowman-Bradley tye theorem for finite multile zeta values, Tohoku Math. J , Kojiro Oyama k-oyama@kyudai.j 9
Some sophisticated congruences involving Fibonacci numbers
A tal given at the National Center for Theoretical Sciences (Hsinchu, Taiwan; July 20, 2011 and Shanghai Jiaotong University (Nov. 4, 2011 Some sohisticated congruences involving Fibonacci numbers Zhi-Wei
More information#A45 INTEGERS 12 (2012) SUPERCONGRUENCES FOR A TRUNCATED HYPERGEOMETRIC SERIES
#A45 INTEGERS 2 (202) SUPERCONGRUENCES FOR A TRUNCATED HYPERGEOMETRIC SERIES Roberto Tauraso Diartimento di Matematica, Università di Roma Tor Vergata, Italy tauraso@mat.uniroma2.it Received: /7/, Acceted:
More informationZhi-Wei Sun Department of Mathematics, Nanjing University Nanjing , People s Republic of China
Ramanuan J. 40(2016, no. 3, 511-533. CONGRUENCES INVOLVING g n (x n ( n 2 ( 2 0 x Zhi-Wei Sun Deartment of Mathematics, Naning University Naning 210093, Peole s Reublic of China zwsun@nu.edu.cn htt://math.nu.edu.cn/
More informationarxiv: v2 [math.nt] 3 Jan 2016
A NOTE ON FINITE REAL MULTIPLE ZETA VALUES HIDEKI MURAHARA Abstract. We prove three theorems on finite real multiple zeta values: the symmetric formula, the sum formula and the height-one duality theorem.
More information#A47 INTEGERS 15 (2015) QUADRATIC DIOPHANTINE EQUATIONS WITH INFINITELY MANY SOLUTIONS IN POSITIVE INTEGERS
#A47 INTEGERS 15 (015) QUADRATIC DIOPHANTINE EQUATIONS WITH INFINITELY MANY SOLUTIONS IN POSITIVE INTEGERS Mihai Ciu Simion Stoilow Institute of Mathematics of the Romanian Academy, Research Unit No. 5,
More informationp-adic Properties of Lengyel s Numbers
1 3 47 6 3 11 Journal of Integer Sequences, Vol. 17 (014), Article 14.7.3 -adic Proerties of Lengyel s Numbers D. Barsky 7 rue La Condamine 75017 Paris France barsky.daniel@orange.fr J.-P. Bézivin 1, Allée
More informationThe Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001
The Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001 The Hasse-Minkowski Theorem rovides a characterization of the rational quadratic forms. What follows is a roof of the Hasse-Minkowski
More informationElementary Analysis in Q p
Elementary Analysis in Q Hannah Hutter, May Szedlák, Phili Wirth November 17, 2011 This reort follows very closely the book of Svetlana Katok 1. 1 Sequences and Series In this section we will see some
More informationON THE LEAST SIGNIFICANT p ADIC DIGITS OF CERTAIN LUCAS NUMBERS
#A13 INTEGERS 14 (014) ON THE LEAST SIGNIFICANT ADIC DIGITS OF CERTAIN LUCAS NUMBERS Tamás Lengyel Deartment of Mathematics, Occidental College, Los Angeles, California lengyel@oxy.edu Received: 6/13/13,
More informationHASSE INVARIANTS FOR THE CLAUSEN ELLIPTIC CURVES
HASSE INVARIANTS FOR THE CLAUSEN ELLIPTIC CURVES AHMAD EL-GUINDY AND KEN ONO Astract. Gauss s F x hyergeometric function gives eriods of ellitic curves in Legendre normal form. Certain truncations of this
More informationAn Overview of Witt Vectors
An Overview of Witt Vectors Daniel Finkel December 7, 2007 Abstract This aer offers a brief overview of the basics of Witt vectors. As an alication, we summarize work of Bartolo and Falcone to rove that
More informationANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM
ANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM JOHN BINDER Abstract. In this aer, we rove Dirichlet s theorem that, given any air h, k with h, k) =, there are infinitely many rime numbers congruent to
More informationMobius Functions, Legendre Symbols, and Discriminants
Mobius Functions, Legendre Symbols, and Discriminants 1 Introduction Zev Chonoles, Erick Knight, Tim Kunisky Over the integers, there are two key number-theoretic functions that take on values of 1, 1,
More informationQUADRATIC RECIPROCITY
QUADRATIC RECIPROCIT POOJA PATEL Abstract. This aer is an self-contained exosition of the law of uadratic recirocity. We will give two roofs of the Chinese remainder theorem and a roof of uadratic recirocity.
More informationCONGRUENCES CONCERNING LUCAS SEQUENCES ZHI-HONG SUN
Int. J. Number Theory 004, no., 79-85. CONGRUENCES CONCERNING LUCAS SEQUENCES ZHI-HONG SUN School of Mathematical Sciences Huaiyin Normal University Huaian, Jiangsu 00, P.R. China zhihongsun@yahoo.com
More informationOn Character Sums of Binary Quadratic Forms 1 2. Mei-Chu Chang 3. Abstract. We establish character sum bounds of the form.
On Character Sums of Binary Quadratic Forms 2 Mei-Chu Chang 3 Abstract. We establish character sum bounds of the form χ(x 2 + ky 2 ) < τ H 2, a x a+h b y b+h where χ is a nontrivial character (mod ), 4
More informationRECIPROCITY LAWS JEREMY BOOHER
RECIPROCITY LAWS JEREMY BOOHER 1 Introduction The law of uadratic recirocity gives a beautiful descrition of which rimes are suares modulo Secial cases of this law going back to Fermat, and Euler and Legendre
More informationA CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS. 1. Abstract
A CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS CASEY BRUCK 1. Abstract The goal of this aer is to rovide a concise way for undergraduate mathematics students to learn about how rime numbers behave
More informationx 2 a mod m. has a solution. Theorem 13.2 (Euler s Criterion). Let p be an odd prime. The congruence x 2 1 mod p,
13. Quadratic Residues We now turn to the question of when a quadratic equation has a solution modulo m. The general quadratic equation looks like ax + bx + c 0 mod m. Assuming that m is odd or that b
More informationNanjing Univ. J. Math. Biquarterly 32(2015), no. 2, NEW SERIES FOR SOME SPECIAL VALUES OF L-FUNCTIONS
Naning Univ. J. Math. Biquarterly 2205, no. 2, 89 28. NEW SERIES FOR SOME SPECIAL VALUES OF L-FUNCTIONS ZHI-WEI SUN Astract. Dirichlet s L-functions are natural extensions of the Riemann zeta function.
More informationarxiv: v2 [math.nt] 9 Oct 2018
ON AN EXTENSION OF ZOLOTAREV S LEMMA AND SOME PERMUTATIONS LI-YUAN WANG AND HAI-LIANG WU arxiv:1810.03006v [math.nt] 9 Oct 018 Abstract. Let be an odd rime, for each integer a with a, the famous Zolotarev
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #10 10/8/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #10 10/8/2013 In this lecture we lay the groundwork needed to rove the Hasse-Minkowski theorem for Q, which states that a quadratic form over
More information1. INTRODUCTION. Fn 2 = F j F j+1 (1.1)
CERTAIN CLASSES OF FINITE SUMS THAT INVOLVE GENERALIZED FIBONACCI AND LUCAS NUMBERS The beautiful identity R.S. Melham Deartment of Mathematical Sciences, University of Technology, Sydney PO Box 23, Broadway,
More informationAlmost All Palindromes Are Composite
Almost All Palindromes Are Comosite William D Banks Det of Mathematics, University of Missouri Columbia, MO 65211, USA bbanks@mathmissouriedu Derrick N Hart Det of Mathematics, University of Missouri Columbia,
More informationPARTITIONS AND (2k + 1) CORES. 1. Introduction
PARITY RESULTS FOR BROKEN k DIAMOND PARTITIONS AND 2k + CORES SILVIU RADU AND JAMES A. SELLERS Abstract. In this aer we rove several new arity results for broken k-diamond artitions introduced in 2007
More informationA construction of bent functions from plateaued functions
A construction of bent functions from lateaued functions Ayça Çeşmelioğlu, Wilfried Meidl Sabancı University, MDBF, Orhanlı, 34956 Tuzla, İstanbul, Turkey. Abstract In this resentation, a technique for
More informationMODULAR FORMS, HYPERGEOMETRIC FUNCTIONS AND CONGRUENCES
MODULAR FORMS, HYPERGEOMETRIC FUNCTIONS AND CONGRUENCES MATIJA KAZALICKI Abstract. Using the theory of Stienstra and Beukers [9], we rove various elementary congruences for the numbers ) 2 ) 2 ) 2 2i1
More informationAn Estimate For Heilbronn s Exponential Sum
An Estimate For Heilbronn s Exonential Sum D.R. Heath-Brown Magdalen College, Oxford For Heini Halberstam, on his retirement Let be a rime, and set e(x) = ex(2πix). Heilbronn s exonential sum is defined
More informationON FREIMAN S 2.4-THEOREM
ON FREIMAN S 2.4-THEOREM ØYSTEIN J. RØDSETH Abstract. Gregory Freiman s celebrated 2.4-Theorem says that if A is a set of residue classes modulo a rime satisfying 2A 2.4 A 3 and A < /35, then A is contained
More informationt s (p). An Introduction
Notes 6. Quadratic Gauss Sums Definition. Let a, b Z. Then we denote a b if a divides b. Definition. Let a and b be elements of Z. Then c Z s.t. a, b c, where c gcda, b max{x Z x a and x b }. 5, Chater1
More informationNew Multiple Harmonic Sum Identities
New Multiple Harmonic Sum Identities Helmut Prodinger Department of Mathematics University of Stellenbosch 760 Stellenbosch, South Africa hproding@sun.ac.za Roberto Tauraso Dipartimento di Matematica Università
More informationAlgebraic number theory LTCC Solutions to Problem Sheet 2
Algebraic number theory LTCC 008 Solutions to Problem Sheet ) Let m be a square-free integer and K = Q m). The embeddings K C are given by σ a + b m) = a + b m and σ a + b m) = a b m. If m mod 4) then
More informationarxiv: v5 [math.nt] 22 Aug 2013
Prerint, arxiv:1308900 ON SOME DETERMINANTS WITH LEGENDRE SYMBOL ENTRIES arxiv:1308900v5 [mathnt] Aug 013 Zhi-Wei Sun Deartment of Mathematics, Nanjing University Nanjing 10093, Peole s Reublic of China
More informationCombinatorics of topmost discs of multi-peg Tower of Hanoi problem
Combinatorics of tomost discs of multi-eg Tower of Hanoi roblem Sandi Klavžar Deartment of Mathematics, PEF, Unversity of Maribor Koroška cesta 160, 000 Maribor, Slovenia Uroš Milutinović Deartment of
More informationCongruences modulo 3 for two interesting partitions arising from two theta function identities
Note di Matematica ISSN 113-53, e-issn 1590-093 Note Mat. 3 01 no., 1 7. doi:10.185/i1590093v3n1 Congruences modulo 3 for two interesting artitions arising from two theta function identities Kuwali Das
More informationA supersingular congruence for modular forms
ACTA ARITHMETICA LXXXVI.1 (1998) A suersingular congruence for modular forms by Andrew Baker (Glasgow) Introduction. In [6], Gross and Landweber roved the following suersingular congruence in the ring
More informationMATH 361: NUMBER THEORY ELEVENTH LECTURE
MATH 361: NUMBER THEORY ELEVENTH LECTURE The subjects of this lecture are characters, Gauss sums, Jacobi sums, and counting formulas for olynomial equations over finite fields. 1. Definitions, Basic Proerties
More informationMath 4400/6400 Homework #8 solutions. 1. Let P be an odd integer (not necessarily prime). Show that modulo 2,
MATH 4400 roblems. Math 4400/6400 Homework # solutions 1. Let P be an odd integer not necessarily rime. Show that modulo, { P 1 0 if P 1, 7 mod, 1 if P 3, mod. Proof. Suose that P 1 mod. Then we can write
More informationMA3H1 TOPICS IN NUMBER THEORY PART III
MA3H1 TOPICS IN NUMBER THEORY PART III SAMIR SIKSEK 1. Congruences Modulo m In quadratic recirocity we studied congruences of the form x 2 a (mod ). We now turn our attention to situations where is relaced
More informationTRACES OF SCHUR AND KRONECKER PRODUCTS FOR BLOCK MATRICES
Khayyam J. Math. DOI:10.22034/kjm.2019.84207 TRACES OF SCHUR AND KRONECKER PRODUCTS FOR BLOCK MATRICES ISMAEL GARCÍA-BAYONA Communicated by A.M. Peralta Abstract. In this aer, we define two new Schur and
More informationRepresenting Integers as the Sum of Two Squares in the Ring Z n
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 17 (2014), Article 14.7.4 Reresenting Integers as the Sum of Two Squares in the Ring Z n Joshua Harrington, Lenny Jones, and Alicia Lamarche Deartment
More informationMAZUR S CONSTRUCTION OF THE KUBOTA LEPOLDT p-adic L-FUNCTION. n s = p. (1 p s ) 1.
MAZUR S CONSTRUCTION OF THE KUBOTA LEPOLDT -ADIC L-FUNCTION XEVI GUITART Abstract. We give an overview of Mazur s construction of the Kubota Leooldt -adic L- function as the -adic Mellin transform of a
More informationHeuristics on Tate Shafarevitch Groups of Elliptic Curves Defined over Q
Heuristics on Tate Shafarevitch Grous of Ellitic Curves Defined over Q Christohe Delaunay CONTENTS. Introduction 2. Dirichlet Series and Averages 3. Heuristics on Tate Shafarevitch Grous References In
More informationarxiv: v4 [math.nt] 11 Oct 2017
POPULAR DIFFERENCES AND GENERALIZED SIDON SETS WENQIANG XU arxiv:1706.05969v4 [math.nt] 11 Oct 2017 Abstract. For a subset A [N], we define the reresentation function r A A(d := #{(a,a A A : d = a a }
More informationBOUNDS FOR THE SIZE OF SETS WITH THE PROPERTY D(n) Andrej Dujella University of Zagreb, Croatia
GLASNIK MATMATIČKI Vol. 39(59(2004, 199 205 BOUNDS FOR TH SIZ OF STS WITH TH PROPRTY D(n Andrej Dujella University of Zagreb, Croatia Abstract. Let n be a nonzero integer and a 1 < a 2 < < a m ositive
More informationPOINTS ON CONICS MODULO p
POINTS ON CONICS MODULO TEAM 2: JONGMIN BAEK, ANAND DEOPURKAR, AND KATHERINE REDFIELD Abstract. We comute the number of integer oints on conics modulo, where is an odd rime. We extend our results to conics
More informationCharacteristics of Fibonacci-type Sequences
Characteristics of Fibonacci-tye Sequences Yarden Blausa May 018 Abstract This aer resents an exloration of the Fibonacci sequence, as well as multi-nacci sequences and the Lucas sequence. We comare and
More informationMATH 2710: NOTES FOR ANALYSIS
MATH 270: NOTES FOR ANALYSIS The main ideas we will learn from analysis center around the idea of a limit. Limits occurs in several settings. We will start with finite limits of sequences, then cover infinite
More informationAlgebraic Number Theory
Algebraic Number Theory Joseh R. Mileti May 11, 2012 2 Contents 1 Introduction 5 1.1 Sums of Squares........................................... 5 1.2 Pythagorean Triles.........................................
More informationarxiv:math/ v2 [math.nt] 21 Oct 2004
SUMS OF THE FORM 1/x k 1 + +1/x k n MODULO A PRIME arxiv:math/0403360v2 [math.nt] 21 Oct 2004 Ernie Croot 1 Deartment of Mathematics, Georgia Institute of Technology, Atlanta, GA 30332 ecroot@math.gatech.edu
More informationVarious Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various Families of R n Norms and Some Open Problems
Int. J. Oen Problems Comt. Math., Vol. 3, No. 2, June 2010 ISSN 1998-6262; Coyright c ICSRS Publication, 2010 www.i-csrs.org Various Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various
More informationArithmetic Consequences of Jacobi s Two-Squares Theorem
THE RAMANUJAN JOURNAL 4, 51 57, 2000 c 2000 Kluwer Academic Publishers. Manufactured in The Netherlands. Arithmetic Consequences of Jacobi s Two-Squares Theorem MICHAEL D. HIRSCHHORN School of Mathematics,
More informationA structure theorem for product sets in extra special groups
A structure theorem for roduct sets in extra secial grous Thang Pham Michael Tait Le Anh Vinh Robert Won arxiv:1704.07849v1 [math.nt] 25 Ar 2017 Abstract HegyváriandHennecartshowedthatifB isasufficientlylargebrickofaheisenberg
More informationOn the Multiplicative Order of a n Modulo n
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 13 2010), Article 10.2.1 On the Multilicative Order of a n Modulo n Jonathan Chaelo Université Lille Nord de France F-59000 Lille France jonathan.chaelon@lma.univ-littoral.fr
More informationFactorability in the ring Z[ 5]
University of Nebraska - Lincoln DigitalCommons@University of Nebraska - Lincoln Dissertations, Theses, and Student Research Paers in Mathematics Mathematics, Deartment of 4-2004 Factorability in the ring
More information18.312: Algebraic Combinatorics Lionel Levine. Lecture 12
8.3: Algebraic Combinatorics Lionel Levine Lecture date: March 7, Lecture Notes by: Lou Odette This lecture: A continuation of the last lecture: comutation of µ Πn, the Möbius function over the incidence
More informationp-adic Measures and Bernoulli Numbers
-Adic Measures and Bernoulli Numbers Adam Bowers Introduction The constants B k in the Taylor series exansion t e t = t k B k k! k=0 are known as the Bernoulli numbers. The first few are,, 6, 0, 30, 0,
More informationSolvability and Number of Roots of Bi-Quadratic Equations over p adic Fields
Malaysian Journal of Mathematical Sciences 10(S February: 15-35 (016 Secial Issue: The 3 rd International Conference on Mathematical Alications in Engineering 014 (ICMAE 14 MALAYSIAN JOURNAL OF MATHEMATICAL
More informationf(r) = a d n) d + + a0 = 0
Math 400-00/Foundations of Algebra/Fall 07 Polynomials at the Foundations: Roots Next, we turn to the notion of a root of a olynomial in Q[x]. Definition 8.. r Q is a rational root of fx) Q[x] if fr) 0.
More informationOn the irreducibility of a polynomial associated with the Strong Factorial Conjecture
On the irreducibility of a olynomial associated with the Strong Factorial Conecture Michael Filaseta Mathematics Deartment University of South Carolina Columbia, SC 29208 USA E-mail: filaseta@math.sc.edu
More informationWe collect some results that might be covered in a first course in algebraic number theory.
1 Aendices We collect some results that might be covered in a first course in algebraic number theory. A. uadratic Recirocity Via Gauss Sums A1. Introduction In this aendix, is an odd rime unless otherwise
More informationThe inverse Goldbach problem
1 The inverse Goldbach roblem by Christian Elsholtz Submission Setember 7, 2000 (this version includes galley corrections). Aeared in Mathematika 2001. Abstract We imrove the uer and lower bounds of the
More informationDiophantine Equations and Congruences
International Journal of Algebra, Vol. 1, 2007, no. 6, 293-302 Diohantine Equations and Congruences R. A. Mollin Deartment of Mathematics and Statistics University of Calgary, Calgary, Alberta, Canada,
More informationGAUSSIAN INTEGERS HUNG HO
GAUSSIAN INTEGERS HUNG HO Abstract. We will investigate the ring of Gaussian integers Z[i] = {a + bi a, b Z}. First we will show that this ring shares an imortant roerty with the ring of integers: every
More informationLegendre polynomials and Jacobsthal sums
Legendre olynomials and Jacobsthal sums Zhi-Hong Sun( Huaiyin Normal University( htt://www.hytc.edu.cn/xsjl/szh Notation: Z the set of integers, N the set of ositive integers, [x] the greatest integer
More informationCONGRUENCE PROPERTIES MODULO 5 AND 7 FOR THE POD FUNCTION
CONGRUENCE PROPERTIES MODULO 5 AND 7 FOR THE POD FUNCTION SILVIU RADU AND JAMES A. SELLERS Abstract. In this aer, we rove arithmetic roerties modulo 5 7 satisfied by the function odn which denotes the
More informationClass Numbers and Iwasawa Invariants of Certain Totally Real Number Fields
Journal of Number Theory 79, 249257 (1999) Article ID jnth.1999.2433, available online at htt:www.idealibrary.com on Class Numbers and Iwasawa Invariants of Certain Totally Real Number Fields Dongho Byeon
More informationQuadratic Reciprocity
Quadratic Recirocity 5-7-011 Quadratic recirocity relates solutions to x = (mod to solutions to x = (mod, where and are distinct odd rimes. The euations are oth solvale or oth unsolvale if either or has
More informationA SUPERSINGULAR CONGRUENCE FOR MODULAR FORMS
A SUPERSINGULAR CONGRUENCE FOR MODULAR FORMS ANDREW BAKER Abstract. Let > 3 be a rime. In the ring of modular forms with q-exansions defined over Z (), the Eisenstein function E +1 is shown to satisfy
More informationQUADRATIC RECIPROCITY
QUADRATIC RECIPROCITY JORDAN SCHETTLER Abstract. The goals of this roject are to have the reader(s) gain an areciation for the usefulness of Legendre symbols and ultimately recreate Eisenstein s slick
More informationChapter 2 Arithmetic Functions and Dirichlet Series.
Chater 2 Arithmetic Functions and Dirichlet Series. [4 lectures] Definition 2.1 An arithmetic function is any function f : N C. Examles 1) The divisor function d (n) (often denoted τ (n)) is the number
More informationMATH 361: NUMBER THEORY EIGHTH LECTURE
MATH 361: NUMBER THEORY EIGHTH LECTURE 1. Quadratic Recirocity: Introduction Quadratic recirocity is the first result of modern number theory. Lagrange conjectured it in the late 1700 s, but it was first
More informationA CRITERION FOR POLYNOMIALS TO BE CONGRUENT TO THE PRODUCT OF LINEAR POLYNOMIALS (mod p) ZHI-HONG SUN
A CRITERION FOR POLYNOMIALS TO BE CONGRUENT TO THE PRODUCT OF LINEAR POLYNOMIALS (mod ) ZHI-HONG SUN Deartment of Mathematics, Huaiyin Teachers College, Huaian 223001, Jiangsu, P. R. China e-mail: hyzhsun@ublic.hy.js.cn
More informationNumber Theory Naoki Sato
Number Theory Naoki Sato 0 Preface This set of notes on number theory was originally written in 1995 for students at the IMO level. It covers the basic background material that an IMO
More informationOn the Diophantine Equation x 2 = 4q n 4q m + 9
JKAU: Sci., Vol. 1 No. 1, : 135-141 (009 A.D. / 1430 A.H.) On the Diohantine Equation x = 4q n 4q m + 9 Riyadh University for Girls, Riyadh, Saudi Arabia abumuriefah@yahoo.com Abstract. In this aer, we
More information#A64 INTEGERS 18 (2018) APPLYING MODULAR ARITHMETIC TO DIOPHANTINE EQUATIONS
#A64 INTEGERS 18 (2018) APPLYING MODULAR ARITHMETIC TO DIOPHANTINE EQUATIONS Ramy F. Taki ElDin Physics and Engineering Mathematics Deartment, Faculty of Engineering, Ain Shams University, Cairo, Egyt
More informationElliptic Curves Spring 2015 Problem Set #1 Due: 02/13/2015
18.783 Ellitic Curves Sring 2015 Problem Set #1 Due: 02/13/2015 Descrition These roblems are related to the material covered in Lectures 1-2. Some of them require the use of Sage, and you will need to
More information#A37 INTEGERS 15 (2015) NOTE ON A RESULT OF CHUNG ON WEIL TYPE SUMS
#A37 INTEGERS 15 (2015) NOTE ON A RESULT OF CHUNG ON WEIL TYPE SUMS Norbert Hegyvári ELTE TTK, Eötvös University, Institute of Mathematics, Budaest, Hungary hegyvari@elte.hu François Hennecart Université
More informationCONGRUENCES MODULO 4 OF CALIBERS OF REAL QUADRATIC FIELDS. 1. Definitions and results
Ann. Sci. Math. Québec 35 No (0) 85 95 CONGRUENCES MODULO 4 OF CALIBERS OF REAL QUADRATIC FIELDS MASANOBU KANEKO AND KEITA MORI Dedicated to rofessor Paulo Ribenboim on the occasion of his 80th birthday.
More informationNew weighing matrices and orthogonal designs constructed using two sequences with zero autocorrelation function - a review
University of Wollongong Research Online Faculty of Informatics - Paers (Archive) Faculty of Engineering and Information Sciences 1999 New weighing matrices and orthogonal designs constructed using two
More informationSection 0.10: Complex Numbers from Precalculus Prerequisites a.k.a. Chapter 0 by Carl Stitz, PhD, and Jeff Zeager, PhD, is available under a Creative
Section 0.0: Comlex Numbers from Precalculus Prerequisites a.k.a. Chater 0 by Carl Stitz, PhD, and Jeff Zeager, PhD, is available under a Creative Commons Attribution-NonCommercial-ShareAlike.0 license.
More informationON THE SET a x + b g x (mod p) 1 Introduction
PORTUGALIAE MATHEMATICA Vol 59 Fasc 00 Nova Série ON THE SET a x + b g x (mod ) Cristian Cobeli, Marian Vâjâitu and Alexandru Zaharescu Abstract: Given nonzero integers a, b we rove an asymtotic result
More informationACONJECTUREOFEVANS ON SUMS OF KLOOSTERMAN SUMS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 138, Number 9, Setember 010, Pages 307 3056 S 000-9939(101086-9 Article electronically ublished on May, 010 ACONJECTUREOFEVANS ON SUMS OF KLOOSTERMAN
More informationDISCRIMINANTS IN TOWERS
DISCRIMINANTS IN TOWERS JOSEPH RABINOFF Let A be a Dedekind domain with fraction field F, let K/F be a finite searable extension field, and let B be the integral closure of A in K. In this note, we will
More informationSmall Zeros of Quadratic Forms Mod P m
International Mathematical Forum, Vol. 8, 2013, no. 8, 357-367 Small Zeros of Quadratic Forms Mod P m Ali H. Hakami Deartment of Mathematics, Faculty of Science, Jazan University P.O. Box 277, Jazan, Postal
More informationQUADRATIC RESIDUES AND DIFFERENCE SETS
QUADRATIC RESIDUES AND DIFFERENCE SETS VSEVOLOD F. LEV AND JACK SONN Abstract. It has been conjectured by Sárközy that with finitely many excetions, the set of quadratic residues modulo a rime cannot be
More informationWeil s Conjecture on Tamagawa Numbers (Lecture 1)
Weil s Conjecture on Tamagawa Numbers (Lecture ) January 30, 204 Let R be a commutative ring and let V be an R-module. A quadratic form on V is a ma q : V R satisfying the following conditions: (a) The
More informationWhy Proofs? Proof Techniques. Theorems. Other True Things. Proper Proof Technique. How To Construct A Proof. By Chuck Cusack
Proof Techniques By Chuck Cusack Why Proofs? Writing roofs is not most student s favorite activity. To make matters worse, most students do not understand why it is imortant to rove things. Here are just
More informationClass number in non Galois quartic and non abelian Galois octic function fields over finite fields
Class number in non Galois quartic and non abelian Galois octic function fields over finite fields Yves Aubry G. R. I. M. Université du Sud Toulon-Var 83 957 La Garde Cedex France yaubry@univ-tln.fr Abstract
More informationDistribution of Matrices with Restricted Entries over Finite Fields
Distribution of Matrices with Restricted Entries over Finite Fields Omran Ahmadi Deartment of Electrical and Comuter Engineering University of Toronto, Toronto, ON M5S 3G4, Canada oahmadid@comm.utoronto.ca
More informationJacobi symbols and application to primality
Jacobi symbols and alication to rimality Setember 19, 018 1 The grou Z/Z We review the structure of the abelian grou Z/Z. Using Chinese remainder theorem, we can restrict to the case when = k is a rime
More informationDirichlet s Theorem on Arithmetic Progressions
Dirichlet s Theorem on Arithmetic Progressions Thai Pham Massachusetts Institute of Technology May 2, 202 Abstract In this aer, we derive a roof of Dirichlet s theorem on rimes in arithmetic rogressions.
More informationarxiv: v3 [math.nt] 9 May 2011
ON HARMONIC SUMS AND ALTERNATING EULER SUMS arxiv:02.592v3 [math.nt] 9 May 20 ZHONG-HUA LI Department of Mathematics, Tongji University, No. 239 Siping Road, Shanghai 200092, China Graduate School of Mathematical
More informationMultiplicative group law on the folium of Descartes
Multilicative grou law on the folium of Descartes Steluţa Pricoie and Constantin Udrişte Abstract. The folium of Descartes is still studied and understood today. Not only did it rovide for the roof of
More informationMATH 371 Class notes/outline October 15, 2013
MATH 371 Class notes/outline October 15, 2013 More on olynomials We now consider olynomials with coefficients in rings (not just fields) other than R and C. (Our rings continue to be commutative and have
More informationDIVISIBILITY CRITERIA FOR CLASS NUMBERS OF IMAGINARY QUADRATIC FIELDS
IVISIBILITY CRITERIA FOR CLASS NUMBERS OF IMAGINARY QUARATIC FIELS PAUL JENKINS AN KEN ONO Abstract. In a recent aer, Guerzhoy obtained formulas for certain class numbers as -adic limits of traces of singular
More informationRINGS OF INTEGERS WITHOUT A POWER BASIS
RINGS OF INTEGERS WITHOUT A POWER BASIS KEITH CONRAD Let K be a number field, with degree n and ring of integers O K. When O K = Z[α] for some α O K, the set {1, α,..., α n 1 } is a Z-basis of O K. We
More information1. Introduction. = (2n)! (n N)
Included in: Combinatorial Additive Number Theory: CANT 2011 2012 (edited by M.B. Nathanson, Sringer Proc. in Math. & Stat., Vol. 101, Sringer, New Yor, 2014,. 257 312. ON SUMS RELATED TO CENTRAL BINOMIAL
More informationIDENTIFYING CONGRUENCE SUBGROUPS OF THE MODULAR GROUP
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 24, Number 5, May 996 IDENTIFYING CONGRUENCE SUBGROUPS OF THE MODULAR GROUP TIM HSU (Communicated by Ronald M. Solomon) Abstract. We exhibit a simle
More information(Workshop on Harmonic Analysis on symmetric spaces I.S.I. Bangalore : 9th July 2004) B.Sury
Is e π 163 odd or even? (Worksho on Harmonic Analysis on symmetric saces I.S.I. Bangalore : 9th July 004) B.Sury e π 163 = 653741640768743.999999999999.... The object of this talk is to exlain this amazing
More information