International Journal of Pure and Applied Mathematics Volume 35 No , ON PYTHAGOREAN QUADRUPLES Edray Goins 1, Alain Togbé 2
|
|
- Scott Ford
- 6 years ago
- Views:
Transcription
1 International Journal of Pure an Applie Mathematics Volume 35 No , ON PYTHAGOREAN QUADRUPLES Eray Goins 1, Alain Togbé 1 Department of Mathematics Purue University 150 North University Street, West Lafayette, IN 47907, USA egoins@purue.eu Department of Mathematics Purue University North Central 1401S, U.S. 41, Westville, IN 46391, USA atogbe@purue.eu Abstract: We consier the multplicative properties of integer quaruples (a,b,c,) satisfying a +b +c as a generalization of Pythagorean triples. In the proces, we present a group structure on the rational points on the unit sphere minus the poles an iscuss a factorization result. AMS Subject Classification: 11E5, 11E0 Key Wors: Pythagorean triples, ternary quaratic forms, sums of squares 1. Introuction We are all familiar with the statement given a right triangle with legs of length a an b an hypotenuse of length c, then a + b c ; this is known as the Pythagorean Theorem. There are many such examples integral right triangles: , , (1) Such integral triples (a, b, c) are calle Pythagorean triples. Given such a triple, there exist relatively prime integers m an n such that a c m n m + n an b c mn m + n. () Receive: January 8, 007 c 007, Acaemic Publications Lt. Corresponence author
2 366 E. Goins, A. Togbé To see why, let (a,b,c) be a Pythagorean triple, an choose integers m an n such that b/(c + a) n/m. Then b/(c a) (c + a)/b, so that ( a c + a c c a )/( c + a + c a ) ( m b b b b n n )/ ( m m n m) + n (3) which simplifies to () (see for example [3], pp ). The goal of this paper is to stuy a generalization to four variables, the so-calle Pythagorean quaruples, where we consier integers a, b, c, such that a + b + c. There are many such examples: , , (4) Such quaruples have a parametrization similar to the well-known triples, as outline in the following result. Theorem 1. For each Pythagorean quaruple (a,b,c,) with 0, there exist relatively prime integers m, n, p such that a mp p + m + n, b np p + m + n, c p m n p + m + n. (5) There exist many similar formulas which give exact values for a, b, c, an but unfortunately there is not one parametrization for all Pythagorean quaruples (see for example [6], p. 1464). The result above circumvents this problem by consiering ratios. It is easy to show that the Pythagorean triples are close uner multiplication. That is, given two such triples one generates a thir through the operation (a 1, b 1, c 1 ) (a, b, c ) (a 1 a b 1 b, a 1 b + a b 1, c 1 c ). (6) This operation inuces an associative, commutative multiplicative structure on the Pythagorean triples; see for example [3], p In this paper, we consier the associative, commutative operation (a 1, b 1, c 1, 1 ) (a, b, c, ) (a 1 a b 1 b, a 1 b + a b 1, c 1 + c 1, c 1 c + 1 ) (7) an attempt to ask questions of factorization.
3 ON PYTHAGOREAN QUADRUPLES 367 Our main result may be state as follows. Let P (a,b,c,) be a Pythagorean ( quaruple, an enote n as the greatest common ivisor of a, b, c, ; then P 0 a n, b n, c n, ) n is also a Pythagorean quaruple, an we say that h(p) /n is the height of P. Define the conjugacy class [P] as the collection of all scalar multiples of P 0, where we allow sign changes an permutations a b, a c, b c as well. This set correspons to the ientity a + b + c. We will prove the following result. Theorem. Let P be a Pythagorean quaruple with h(p) > 3. Then there exist Pythagorean quaruples P 1, P with h(p 1 ), h(p ) < h(p) such that [P] [P 1 P ]. As an example, consier the ientity Viewe as a Pythagorean quaruple, we have the factorization [(0, 3, 4, 5)] [(0, 8, 6, 10)] [(,, 1, 3) (,, 1, 3)]. (8) In a sense, the ientity is generate by the ientity The paper is organize as follows. First, we use stereographic projection to efine a group structure on the points on the unit sphere. Next, we iscuss factorization of the rational points by introucing the notions of height an irreucibility. Finally, we apply these results to Pythagorean quaruples. Our proofs ultimately rely on the composition (a, b, c, ) ( a, b, c ) a + ib c +, (9) where the multiplicative properties of the complex numbers inuce the multiplicative properties of the Pythagorean quaruples.. Multiplication on the Unit Sphere Ultimately we wish to stuy Pythagorean quaruples (a,b,c,), but we note that through the map (a, b, c, ) ( a, b, c ), where ( a ) + ( b ) ( c ) + 1, (10) it suffices to consier rational points on the unit sphere. To this en, we begin with a iscussion of the real points.
4 368 E. Goins, A. Togbé Recall that the unit sphere S (R) {(x 1, x, x 3 ) R 3 x 1 + x + x 3 1} is isomorphic with the extene complex numbers uner the stereographic projection map (x 1, x, x 3 ) (x 1 + ix )/(1 + x 3 ) (see [], p. 8-9 for etails, our formulas are ifferent in that we map the north pole (0,0,1) 0 an the south pole (0, 0, 1) ). The multiplicative structure of the complex numbers inuces a corresponing structure on the unit sphere. Theorem 3. Let k be a fiel containe in R, an enote the poleless unit sphere by G(k) S (k) {(0,0, ±1)} { (x 1, x, x 3 ) k 3 x 1 + x + x 3 1, x 3 ±1 } (11) an efine the operation : G(k) G(k) G(k) as (x 1, x, x 3 ) (y 1, y, y 3 ) ( x1 y 1 x y, x 1 y + x y 1, ) x 3 + y 3. (1) This makes G(k) into a commutative group, where the ientity is O (1,0,0) an the inverse of a point P (x 1, x, x 3 ) is [ 1]P (x 1, x, x 3 ). The reaer shoul keep in min that although these formulas may seem a bit o, the unerlying structure is closely tie to that of the complex numbers. This construction is equivalent to G(R) C with stereographic projection the group isomorphism. Proof. Given two points (x 1,x,x 3 ), (y 1,y,y 3 ) G(k) we efine the expression (x 1,x,x 3 ) (y 1,y,y 3 ) (z 1,z,z 3 ) base on the prouct x 1 + ix 1 + x 3 y1 + iy 1 + y 3 z 1 + iz 1 + z 3, where (z 1, z, z 3 ) G(k). (13) Noting that z 1 + iz 1 + z 3 z 1 + z (1 + z 3 ) 1 z 3 (1 + z 3 ) 1 z z 3, (14) we may take norms of both sies to ai in solving for z 3 : 1 x x 3 1 y y 3 1 z z 3 z 3 x 3 + y 3 (15)
5 ON PYTHAGOREAN QUADRUPLES 369 (showing in particular that z 3 ±1), while consiering real an imaginary parts to ai in solving for z 1 an z : z 1 x 1 y 1 x y an z x 1 y + x y 1. (16) The statements about associativity an commutativity follow from wellknown multiplicative properties of the complex numbers. The point (1, 0, 0) 1 uner stereographic projection, an (x 1, x, x 3 ) x 1 ix 1 x 3 x 1 + x x 1 + ix 1 + x 3 1 x 3 ( ) x1 + ix 1 (17) 1 + x 3 thereby verifying the statements about the ientity an the inverse. 3. Factorization on the Rational Unit Sphere We now focus on the case k Q. We give some examples of the operation efine in the previous section. Both ( 0, 4 5, 3 ( 5) an 11, 6 11, 9 11) are such rational points on the unit sphere. We fin that ( 0, 4 5, 3 ) ( 5 3, 3, 1 ) ( 3 3, 3, 1 ), 3 ( ) ( 11, 6 11, , 1 3, ) ( 3 3, 3, 1 ) (18). 3 This motivates the concept of factorization but first we nee a way to measure when one point is larger than another. Definition 1. Write x ( a, b, c ) G(Q) with a, b, c, integers. We efine the height of x as the integer h( x) gc(a,b,c,). (19) Write x x 1 x with x 1, x G(Q). We say that x is reucible if h( x 1 ), h( x ) < h( x); an irreucible if no such x 1, x exist. As G(Q) is a group uner, we can always fin x such that x x 1 x given x an x 1. The importance of reucibility is in bouning the heights of x 1 an x.
6 370 E. Goins, A. Togbé Proposition 1. Write x ( a, b, ) c G(Q) for integers a, b, c, an. (a) h( x) is o. (b) If h( x) 3 then x is irreucible. (c) If h( x) > 3 an c+ gc(a,b,c,) is a multiple of 4 then x is reucible. Given an o integer m+1, we can always fin a point x G(Q) such that h( x). This is equivalent to expressing 8 m +m +1 a +b +c as the sum of three integral squares, a result which was known to Legenre, see [3], p. 17 an [4], article 91. Proof. (a) Assume to the contrary, that x ( a, b, c ) G(Q) has even height for relatively prime integers a, b, c, an. Then a + b + c, where now is a multiple of 4. It is well-known that this happens only when a, b, c are even as well, which contraicts the assumption that a, b, c, an are relatively prime. Hence, h( x) must be o. (b) Assume that x is reucible with h( x) 3. From the efinitions, if h( x) 1, then x is irreucible; an from (a) the value h( x) is not possible; so h( x) 3. By our assumption, there exist x 1, x G(Q), each of height h( x 1 ) h( x ) 1 such that x x 1 x. But the only points of height 1 are in the form (±1, 0, 0), (0, ±1, 0), or (0, 0, ±1), (0) an so the prouct x 1 x is of the same form. These points have height 1, an so x must have height 1 as well. Again, this is a contraiction. (c) Choose x ( a, b, ) c G(Q) in terms of relatively prime integers a, b, c, an. Assume that h( x) > 3 an c + 4n for some integer n. Since (a + b) ab + c ab + 4n( c), (1) the sum a + b m is even as well. Define the rational points ( x 1 3, 3, 1 ) ( m an x 3 n, m a n, 3n ) n in G(Q). () It is easy to see that x x 1 x. The first point has height h( x 1 ) 3 < h( x). Since c < we have the inequality h( x ) n 3 c 3 + c 4 < h( x). (3) 4 Hence x is reucible.
7 ON PYTHAGOREAN QUADRUPLES 371 c+ gc(a,b,c,) The conition that be a multiple of 4 is a bit strong. In fact, there are irreucible points x G(Q), where h( x) > 3; take for example x ( 7, 3 7, 6 7 ). To remey this, we consier instea a conjugacy class which can always be factore. Definition. Let x (x 1, x, x 3 ) G(Q). Denote the conjugacy class of x as the set [ x] {( ±x σ(1), ±x σ(), ±x σ(3) ) σ Sym(3) } G(Q). (4) We say that [ x] is reucible if there is a representative x 0 [ x] such that x 0 is reucible; an irreucible if no such x 0 exists. For instance, while x ( 7, 3 7, 6 7 ) is irreucible as a point, [ x] [ ( 7, 3 7, 6 7 )] is reucible as a conjugacy class: [( 7, 3 7, 6 )] [( 7 7, 6 )] [( 7, 3 7 3, 1 ) ( 3, 3 3, 3, 1 )]. (5) 3 This motivates the main result of this section. Theorem 4. Let x G(Q). (a) h( x) is inepenent of choice of representative x 0 [ x]. (b) h( x) 3 if an only if [ x] is irreucible. (c) h( x) > 3 if an only if [ x] is reucible. Proof. For the following, write x ( a, b, ) c in terms of relatively prime integers a, b, c, an, so that h( x). (a) [ x] simply consists of permutations an sign changes of the coorinates, an each representative x 0 [ x] has the same enominator. Hence h( x 0 ) as well. (b) ( ) If h( x) 3 then h( x 0 ) 3 for each representative x 0 [ x]. Each x 0 is irreucible by Proposition 1, so [ x] is irreucible. ( ) Now assume that h( x) > 3. By Proposition 1, m + 1 is o, an not all of a, b, c, are even. We may choose a representative x 0 ( a, b, c ) with c n + 1 o as well. Note that c + (m + n + 1) an c + (m + n) 4n, (6) so choose the sign of c so that c + is a multiple of 4; this can be one because either m+n or m+n+1 is even. Then by Proposition 1 again, x 0 is reucible, so by efinition [ x] is reucible. (c) This is the contrapositive of (b).
8 37 E. Goins, A. Togbé 4. Factorization of Pythagorean Quaruples We now consier the composition of maps ( a (a, b, c, ), b, c ) a + ib c + (7) to gain more information about the multiplicative nature of Pythagorean quaruples. For the sake of completeness, we show how to parametrize all such quaruples. Theorem 5. For each Pythagorean quaruple (a,b,c,) with 0, there exist relatively prime integers m, n, p such that a mp p + m + n, b np p + m + n, c p m n p + m + n. (8) In [1], one can see that some Pythagorean quaruples are in the form a αβ + γ δ, b αγ β δ, c α β γ + δ, α + β + γ + δ ; (9) for α, β, γ, an δ integers. Our formulas are relate by setting m αβ + γ δ, n αγ β δ, p α + δ. (30) Compare the above formulas to those in [5] an [6]. Proof. There exist relatively prime integers m, n, p such that p (a + ib) (c + )(m + in). (31) Consiering real an imaginary parts an using the fact that a + b + c we fin that a as esire. mp p + m + n, b np p + m + n, c p m n p + m + n (3) Now that we know how to factor points on the rational unit sphere, we iscuss factorizations of Pythagorean quaruples. We begin by iscussing conjugacy classes.
9 ON PYTHAGOREAN QUADRUPLES 373 Definition 3. Let P (a, b, c, ) be a nontrivial Pythagorean quaruple i.e. integers such that a + b + c but c. Denote the conjugacy class of P as the set [P] { (a 0, b 0, c 0, 0 ) Z 4 0 0, ( a0, b 0, c ) } 0 [ x], (33) where x ( a, b, c ). For any representative P0 [P] efine the height h(p 0 ) as the height of a representative P 0 [P]. We say that [P] is reucible (irreucible, respectively) if [ x] is reucible (irreucible, respectively). We present a more intuitive way to view this efinition of conjugacy class. If P (a, b, c, ) is a Pythagorean quruple, set ( a P 0 n, b n, c n, ), where n gc(a,b,c,). (34) n Then [P] is the collection of all scalar multiples of P 0, where we allow sign changes an permutations a b, a c, b c as well. For example, the Pythagorean quaruples with height either 3, 5, or 7 generate the classes [(1,,, 3)], [(0, 3, 4, 5)], an [(, 3, 6, 7)], respectively. This fact correspons to the ientities , , an , (35) respectively. We may now state the main result of the paper. Theorem 6. Let P (a, b, c, ) be a nontrivial Pythagorean quaruple, an efine the operation as (a 1, b 1, c 1, 1 ) (a, b, c, ) (a 1 a b 1 b, a 1 b + a b 1, c 1 + c 1, c 1 c + 1 ). (36) (a) This makes such quaruples into a commutative monoi, with ientity O (1,0,0,1). (b) [P] is irreucible if an only if h(p) 3. (c) [P] is reucible if an only if h(p) > 3. The operation may also be realize through the map efine by a b 0 0 ϕ : Z 4 Mat 4 (Z), (a, b, c, ) b a c. (37) 0 0 c
10 374 E. Goins, A. Togbé Then ϕ(p 1 P ) ϕ(p 1 ) ϕ(p ) is the prouct of the matrices, ϕ(o) is the ientity matrix, an the nontrivial Pythagorean ( ) quaruples ( correspon ) to the a b c submonoi of the image efine by et et 0. b a c Proof. The results follow irectly from Theorems 3 an 4 via the mapping (a,b,c,) ( a, b, c ). Acknowlegments The secon author is grateful Purue University North Central for the support. References [1] Robert D. Carmichael, The Theory of Numbers an Diophantine Analysis, Dover Publications Inc., New York (1959). [] John B. Conway, Functions of one Complex Variable, Springer-Verlag, New York, Secon Eition (1978). [3] H. Davenport, The Higher Arithmetic, Cambrige University Press, Cambrige, seventh eition (1999); An Introuction to the Theory of Numbers, Chapter VIII by J.H. Davenport. [4] Carl Frierich Gauss, Disquisitiones Arithmeticae, Springer-Verlag, New York (1986); Translate an with a preface by Arthur A. Clarke, Revise by William C. Waterhouse, Cornelius Greither an A. W. Grootenorst an with a preface by Waterhouse. [5] L.J. Morell, Diophantine Equations, Acaemic Press, Lonon (1969). [6] Eric W. Weisstein, CRC Concise Encyclopeia of Mathematics, CRC Press, Boca Raton, FL (1999).
Zachary Scherr Math 503 HW 5 Due Friday, Feb 26
Zachary Scherr Math 503 HW 5 Due Friay, Feb 26 1 Reaing 1. Rea Chapter 9 of Dummit an Foote 2 Problems 1. 9.1.13 Solution: We alreay know that if R is any commutative ring, then R[x]/(x r = R for any r
More informationRamsey numbers of some bipartite graphs versus complete graphs
Ramsey numbers of some bipartite graphs versus complete graphs Tao Jiang, Michael Salerno Miami University, Oxfor, OH 45056, USA Abstract. The Ramsey number r(h, K n ) is the smallest positive integer
More information12.11 Laplace s Equation in Cylindrical and
SEC. 2. Laplace s Equation in Cylinrical an Spherical Coorinates. Potential 593 2. Laplace s Equation in Cylinrical an Spherical Coorinates. Potential One of the most important PDEs in physics an engineering
More informationON THE INTEGRAL RING SPANNED BY GENUS TWO WEIGHT ENUMERATORS. Manabu Oura
ON THE INTEGRAL RING SPANNED BY GENUS TWO WEIGHT ENUMERATORS Manabu Oura Abstract. It is known that the weight enumerator of a self-ual oublyeven coe in genus g = 1 can be uniquely written as an isobaric
More informationALGEBRAIC AND ANALYTIC PROPERTIES OF ARITHMETIC FUNCTIONS
ALGEBRAIC AND ANALYTIC PROPERTIES OF ARITHMETIC FUNCTIONS MARK SCHACHNER Abstract. When consiere as an algebraic space, the set of arithmetic functions equippe with the operations of pointwise aition an
More informationPDE Notes, Lecture #11
PDE Notes, Lecture # from Professor Jalal Shatah s Lectures Febuary 9th, 2009 Sobolev Spaces Recall that for u L loc we can efine the weak erivative Du by Du, φ := udφ φ C0 If v L loc such that Du, φ =
More informationJournal of Algebra. A class of projectively full ideals in two-dimensional Muhly local domains
Journal of Algebra 32 2009 903 9 Contents lists available at ScienceDirect Journal of Algebra wwwelseviercom/locate/jalgebra A class of projectively full ieals in two-imensional Muhly local omains aymon
More informationStable Polynomials over Finite Fields
Rev. Mat. Iberoam., 1 14 c European Mathematical Society Stable Polynomials over Finite Fiels Domingo Gómez-Pérez, Alejanro P. Nicolás, Alina Ostafe an Daniel Saornil Abstract. We use the theory of resultants
More informationZachary Scherr Math 503 HW 3 Due Friday, Feb 12
Zachary Scherr Math 503 HW 3 Due Friay, Feb 1 1 Reaing 1. Rea sections 7.5, 7.6, 8.1 of Dummit an Foote Problems 1. DF 7.5. Solution: This problem is trivial knowing how to work with universal properties.
More informationDECOMPOSITION OF POLYNOMIALS AND APPROXIMATE ROOTS
DECOMPOSITION OF POLYNOMIALS AND APPROXIMATE ROOTS ARNAUD BODIN Abstract. We state a kin of Eucliian ivision theorem: given a polynomial P (x) an a ivisor of the egree of P, there exist polynomials h(x),
More information6 General properties of an autonomous system of two first order ODE
6 General properties of an autonomous system of two first orer ODE Here we embark on stuying the autonomous system of two first orer ifferential equations of the form ẋ 1 = f 1 (, x 2 ), ẋ 2 = f 2 (, x
More informationDiophantine Approximations: Examining the Farey Process and its Method on Producing Best Approximations
Diophantine Approximations: Examining the Farey Process an its Metho on Proucing Best Approximations Kelly Bowen Introuction When a person hears the phrase irrational number, one oes not think of anything
More informationTHE MONIC INTEGER TRANSFINITE DIAMETER
MATHEMATICS OF COMPUTATION Volume 00, Number 0, Pages 000 000 S 005-578(XX)0000-0 THE MONIC INTEGER TRANSFINITE DIAMETER K. G. HARE AND C. J. SMYTH ABSTRACT. We stuy the problem of fining nonconstant monic
More informationJUST THE MATHS UNIT NUMBER DIFFERENTIATION 2 (Rates of change) A.J.Hobson
JUST THE MATHS UNIT NUMBER 10.2 DIFFERENTIATION 2 (Rates of change) by A.J.Hobson 10.2.1 Introuction 10.2.2 Average rates of change 10.2.3 Instantaneous rates of change 10.2.4 Derivatives 10.2.5 Exercises
More informationEuler equations for multiple integrals
Euler equations for multiple integrals January 22, 2013 Contents 1 Reminer of multivariable calculus 2 1.1 Vector ifferentiation......................... 2 1.2 Matrix ifferentiation........................
More informationThe canonical controllers and regular interconnection
Systems & Control Letters ( www.elsevier.com/locate/sysconle The canonical controllers an regular interconnection A.A. Julius a,, J.C. Willems b, M.N. Belur c, H.L. Trentelman a Department of Applie Mathematics,
More informationMath 1271 Solutions for Fall 2005 Final Exam
Math 7 Solutions for Fall 5 Final Eam ) Since the equation + y = e y cannot be rearrange algebraically in orer to write y as an eplicit function of, we must instea ifferentiate this relation implicitly
More informationPeriods of quadratic twists of elliptic curves
Perios of quaratic twists of elliptic curves Vivek Pal with an appenix by Amo Agashe Abstract In this paper we prove a relation between the perio of an elliptic curve an the perio of its real an imaginary
More informationTwo formulas for the Euler ϕ-function
Two formulas for the Euler ϕ-function Robert Frieman A multiplication formula for ϕ(n) The first formula we want to prove is the following: Theorem 1. If n 1 an n 2 are relatively prime positive integers,
More informationMath 1272 Solutions for Spring 2005 Final Exam. asked to find the limit of the sequence. This is equivalent to evaluating lim. lim.
Math 7 Solutions for Spring 5 Final Exam ) We are gien an infinite sequence for which the general term is a n 3 + 5n n + n an are 3 + 5n aske to fin the limit of the sequence. This is equialent to ealuating
More informationTOEPLITZ AND POSITIVE SEMIDEFINITE COMPLETION PROBLEM FOR CYCLE GRAPH
English NUMERICAL MATHEMATICS Vol14, No1 Series A Journal of Chinese Universities Feb 2005 TOEPLITZ AND POSITIVE SEMIDEFINITE COMPLETION PROBLEM FOR CYCLE GRAPH He Ming( Λ) Michael K Ng(Ξ ) Abstract We
More informationTable of Common Derivatives By David Abraham
Prouct an Quotient Rules: Table of Common Derivatives By Davi Abraham [ f ( g( ] = [ f ( ] g( + f ( [ g( ] f ( = g( [ f ( ] g( g( f ( [ g( ] Trigonometric Functions: sin( = cos( cos( = sin( tan( = sec
More informationThe total derivative. Chapter Lagrangian and Eulerian approaches
Chapter 5 The total erivative 51 Lagrangian an Eulerian approaches The representation of a flui through scalar or vector fiels means that each physical quantity uner consieration is escribe as a function
More information1 Second Facts About Spaces of Modular Forms
April 30, :00 pm 1 Secon Facts About Spaces of Moular Forms We have repeately use facts about the imensions of the space of moular forms, mostly to give specific examples of an relations between moular
More informationOn the minimum distance of elliptic curve codes
On the minimum istance of elliptic curve coes Jiyou Li Department of Mathematics Shanghai Jiao Tong University Shanghai PRChina Email: lijiyou@sjtueucn Daqing Wan Department of Mathematics University of
More informationNotes on Lie Groups, Lie algebras, and the Exponentiation Map Mitchell Faulk
Notes on Lie Groups, Lie algebras, an the Exponentiation Map Mitchell Faulk 1. Preliminaries. In these notes, we concern ourselves with special objects calle matrix Lie groups an their corresponing Lie
More informationLecture Introduction. 2 Examples of Measure Concentration. 3 The Johnson-Lindenstrauss Lemma. CS-621 Theory Gems November 28, 2012
CS-6 Theory Gems November 8, 0 Lecture Lecturer: Alesaner Mąry Scribes: Alhussein Fawzi, Dorina Thanou Introuction Toay, we will briefly iscuss an important technique in probability theory measure concentration
More informationFIRST YEAR PHD REPORT
FIRST YEAR PHD REPORT VANDITA PATEL Abstract. We look at some potential links between totally real number fiels an some theta expansions (these being moular forms). The literature relate to moular forms
More informationA Look at the ABC Conjecture via Elliptic Curves
A Look at the ABC Conjecture via Elliptic Curves Nicole Cleary Brittany DiPietro Alexaner Hill Gerar D.Koffi Beihua Yan Abstract We stuy the connection between elliptic curves an ABC triples. Two important
More informationAgmon Kolmogorov Inequalities on l 2 (Z d )
Journal of Mathematics Research; Vol. 6, No. ; 04 ISSN 96-9795 E-ISSN 96-9809 Publishe by Canaian Center of Science an Eucation Agmon Kolmogorov Inequalities on l (Z ) Arman Sahovic Mathematics Department,
More informationImplicit Differentiation
Implicit Differentiation Thus far, the functions we have been concerne with have been efine explicitly. A function is efine explicitly if the output is given irectly in terms of the input. For instance,
More informationOn the enumeration of partitions with summands in arithmetic progression
AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 8 (003), Pages 149 159 On the enumeration of partitions with summans in arithmetic progression M. A. Nyblom C. Evans Department of Mathematics an Statistics
More informationIterated Point-Line Configurations Grow Doubly-Exponentially
Iterate Point-Line Configurations Grow Doubly-Exponentially Joshua Cooper an Mark Walters July 9, 008 Abstract Begin with a set of four points in the real plane in general position. A to this collection
More informationTHE GENUINE OMEGA-REGULAR UNITARY DUAL OF THE METAPLECTIC GROUP
THE GENUINE OMEGA-REGULAR UNITARY DUAL OF THE METAPLECTIC GROUP ALESSANDRA PANTANO, ANNEGRET PAUL, AND SUSANA A. SALAMANCA-RIBA Abstract. We classify all genuine unitary representations of the metaplectic
More informationMath Notes on differentials, the Chain Rule, gradients, directional derivative, and normal vectors
Math 18.02 Notes on ifferentials, the Chain Rule, graients, irectional erivative, an normal vectors Tangent plane an linear approximation We efine the partial erivatives of f( xy, ) as follows: f f( x+
More informationChapter 2 Lagrangian Modeling
Chapter 2 Lagrangian Moeling The basic laws of physics are use to moel every system whether it is electrical, mechanical, hyraulic, or any other energy omain. In mechanics, Newton s laws of motion provie
More informationMultiplicative properties of sets of residues
Multiplicative properties of sets of resiues C. Pomerance Hanover an A. Schinzel Warszawa Abstract: We conjecture that for each natural number n, every set of resiues mo n of carinality at least n/2 contains
More informationAcute sets in Euclidean spaces
Acute sets in Eucliean spaces Viktor Harangi April, 011 Abstract A finite set H in R is calle an acute set if any angle etermine by three points of H is acute. We examine the maximal carinality α() of
More informationMultiplicative properties of sets of residues
Multiplicative properties of sets of resiues C. Pomerance Hanover an A. Schinzel Warszawa Abstract: Given a natural number n, we ask whether every set of resiues mo n of carinality at least n/2 contains
More informationDIFFERENTIAL GEOMETRY, LECTURE 15, JULY 10
DIFFERENTIAL GEOMETRY, LECTURE 15, JULY 10 5. Levi-Civita connection From now on we are intereste in connections on the tangent bunle T X of a Riemanninam manifol (X, g). Out main result will be a construction
More informationInterconnected Systems of Fliess Operators
Interconnecte Systems of Fliess Operators W. Steven Gray Yaqin Li Department of Electrical an Computer Engineering Ol Dominion University Norfolk, Virginia 23529 USA Abstract Given two analytic nonlinear
More informationCHAPTER 1 : DIFFERENTIABLE MANIFOLDS. 1.1 The definition of a differentiable manifold
CHAPTER 1 : DIFFERENTIABLE MANIFOLDS 1.1 The efinition of a ifferentiable manifol Let M be a topological space. This means that we have a family Ω of open sets efine on M. These satisfy (1), M Ω (2) the
More informationarxiv: v2 [math.cv] 2 Mar 2018
The quaternionic Gauss-Lucas Theorem Riccaro Ghiloni Alessanro Perotti Department of Mathematics, University of Trento Via Sommarive 14, I-38123 Povo Trento, Italy riccaro.ghiloni@unitn.it, alessanro.perotti@unitn.it
More informationThe Non-abelian Hodge Correspondence for Non-Compact Curves
1 Section 1 Setup The Non-abelian Hoge Corresponence for Non-Compact Curves Chris Elliott May 8, 2011 1 Setup In this talk I will escribe the non-abelian Hoge theory of a non-compact curve. This was worke
More informationSchrödinger s equation.
Physics 342 Lecture 5 Schröinger s Equation Lecture 5 Physics 342 Quantum Mechanics I Wenesay, February 3r, 2010 Toay we iscuss Schröinger s equation an show that it supports the basic interpretation of
More informationMany problems in physics, engineering, and chemistry fall in a general class of equations of the form. d dx. d dx
Math 53 Notes on turm-liouville equations Many problems in physics, engineering, an chemistry fall in a general class of equations of the form w(x)p(x) u ] + (q(x) λ) u = w(x) on an interval a, b], plus
More informationFunction Spaces. 1 Hilbert Spaces
Function Spaces A function space is a set of functions F that has some structure. Often a nonparametric regression function or classifier is chosen to lie in some function space, where the assume structure
More informationHomotopy colimits in model categories. Marc Stephan
Homotopy colimits in moel categories Marc Stephan July 13, 2009 1 Introuction In [1], Dwyer an Spalinski construct the so-calle homotopy pushout functor, motivate by the following observation. In the category
More informationOn the Enumeration of Double-Base Chains with Applications to Elliptic Curve Cryptography
On the Enumeration of Double-Base Chains with Applications to Elliptic Curve Cryptography Christophe Doche Department of Computing Macquarie University, Australia christophe.oche@mq.eu.au. Abstract. The
More informationLenny Jones Department of Mathematics, Shippensburg University, Shippensburg, Pennsylvania Daniel White
#A10 INTEGERS 1A (01): John Selfrige Memorial Issue SIERPIŃSKI NUMBERS IN IMAGINARY QUADRATIC FIELDS Lenny Jones Deartment of Mathematics, Shiensburg University, Shiensburg, Pennsylvania lkjone@shi.eu
More informationStep 1. Analytic Properties of the Riemann zeta function [2 lectures]
Step. Analytic Properties of the Riemann zeta function [2 lectures] The Riemann zeta function is the infinite sum of terms /, n. For each n, the / is a continuous function of s, i.e. lim s s 0 n = s n,
More informationLEGENDRE TYPE FORMULA FOR PRIMES GENERATED BY QUADRATIC POLYNOMIALS
Ann. Sci. Math. Québec 33 (2009), no 2, 115 123 LEGENDRE TYPE FORMULA FOR PRIMES GENERATED BY QUADRATIC POLYNOMIALS TAKASHI AGOH Deicate to Paulo Ribenboim on the occasion of his 80th birthay. RÉSUMÉ.
More informationMultiplicative properties of sets of residues
Multiplicative properties of sets of resiues C. Pomerance Hanover an A. Schinzel Warszawa Abstract: We conjecture that for each natural number n, every set of resiues mo n of carinality at least n/2 contains
More informationON BEAUVILLE STRUCTURES FOR PSL(2, q)
ON BEAUVILLE STRUCTURES FOR PSL(, q) SHELLY GARION Abstract. We characterize Beauville surfaces of unmixe type with group either PSL(, p e ) or PGL(, p e ), thus extening previous results of Bauer, Catanese
More informationPure Further Mathematics 1. Revision Notes
Pure Further Mathematics Revision Notes June 20 2 FP JUNE 20 SDB Further Pure Complex Numbers... 3 Definitions an arithmetical operations... 3 Complex conjugate... 3 Properties... 3 Complex number plane,
More information1 Lecture 20: Implicit differentiation
Lecture 20: Implicit ifferentiation. Outline The technique of implicit ifferentiation Tangent lines to a circle Derivatives of inverse functions by implicit ifferentiation Examples.2 Implicit ifferentiation
More informationNEERAJ KUMAR AND K. SENTHIL KUMAR. 1. Introduction. Theorem 1 motivate us to ask the following:
NOTE ON VANISHING POWER SUMS OF ROOTS OF UNITY NEERAJ KUMAR AND K. SENTHIL KUMAR Abstract. For xe positive integers m an l, we give a complete list of integers n for which their exist mth complex roots
More informationThe derivative of a function f(x) is another function, defined in terms of a limiting expression: f(x + δx) f(x)
Y. D. Chong (2016) MH2801: Complex Methos for the Sciences 1. Derivatives The erivative of a function f(x) is another function, efine in terms of a limiting expression: f (x) f (x) lim x δx 0 f(x + δx)
More information19 Eigenvalues, Eigenvectors, Ordinary Differential Equations, and Control
19 Eigenvalues, Eigenvectors, Orinary Differential Equations, an Control This section introuces eigenvalues an eigenvectors of a matrix, an iscusses the role of the eigenvalues in etermining the behavior
More informationProblem Sheet 2: Eigenvalues and eigenvectors and their use in solving linear ODEs
Problem Sheet 2: Eigenvalues an eigenvectors an their use in solving linear ODEs If you fin any typos/errors in this problem sheet please email jk28@icacuk The material in this problem sheet is not examinable
More informationOn non-antipodal binary completely regular codes
Discrete Mathematics 308 (2008) 3508 3525 www.elsevier.com/locate/isc On non-antipoal binary completely regular coes J. Borges a, J. Rifà a, V.A. Zinoviev b a Department of Information an Communications
More informationMath 1B, lecture 8: Integration by parts
Math B, lecture 8: Integration by parts Nathan Pflueger 23 September 2 Introuction Integration by parts, similarly to integration by substitution, reverses a well-known technique of ifferentiation an explores
More information2Algebraic ONLINE PAGE PROOFS. foundations
Algebraic founations. Kick off with CAS. Algebraic skills.3 Pascal s triangle an binomial expansions.4 The binomial theorem.5 Sets of real numbers.6 Surs.7 Review . Kick off with CAS Playing lotto Using
More informationDiagonalization of Matrices Dr. E. Jacobs
Diagonalization of Matrices Dr. E. Jacobs One of the very interesting lessons in this course is how certain algebraic techniques can be use to solve ifferential equations. The purpose of these notes is
More informationPOROSITY OF CERTAIN SUBSETS OF LEBESGUE SPACES ON LOCALLY COMPACT GROUPS
Bull. Aust. Math. Soc. 88 2013), 113 122 oi:10.1017/s0004972712000949 POROSITY OF CERTAIN SUBSETS OF EBESUE SPACES ON OCAY COMPACT ROUPS I. AKBARBAU an S. MASOUDI Receive 14 June 2012; accepte 11 October
More informationPermanent vs. Determinant
Permanent vs. Determinant Frank Ban Introuction A major problem in theoretical computer science is the Permanent vs. Determinant problem. It asks: given an n by n matrix of ineterminates A = (a i,j ) an
More informationA new proof of the sharpness of the phase transition for Bernoulli percolation on Z d
A new proof of the sharpness of the phase transition for Bernoulli percolation on Z Hugo Duminil-Copin an Vincent Tassion October 8, 205 Abstract We provie a new proof of the sharpness of the phase transition
More informationCOUNTING VALUE SETS: ALGORITHM AND COMPLEXITY
COUNTING VALUE SETS: ALGORITHM AND COMPLEXITY QI CHENG, JOSHUA E. HILL, AND DAQING WAN Abstract. Let p be a prime. Given a polynomial in F p m[x] of egree over the finite fiel F p m, one can view it as
More information. ISSN (print), (online) International Journal of Nonlinear Science Vol.6(2008) No.3,pp
. ISSN 1749-3889 (print), 1749-3897 (online) International Journal of Nonlinear Science Vol.6(8) No.3,pp.195-1 A Bouneness Criterion for Fourth Orer Nonlinear Orinary Differential Equations with Delay
More informationLinear First-Order Equations
5 Linear First-Orer Equations Linear first-orer ifferential equations make up another important class of ifferential equations that commonly arise in applications an are relatively easy to solve (in theory)
More informationOn the number of isolated eigenvalues of a pair of particles in a quantum wire
On the number of isolate eigenvalues of a pair of particles in a quantum wire arxiv:1812.11804v1 [math-ph] 31 Dec 2018 Joachim Kerner 1 Department of Mathematics an Computer Science FernUniversität in
More informationLECTURE NOTES ON DVORETZKY S THEOREM
LECTURE NOTES ON DVORETZKY S THEOREM STEVEN HEILMAN Abstract. We present the first half of the paper [S]. In particular, the results below, unless otherwise state, shoul be attribute to G. Schechtman.
More informationOn the Cauchy Problem for Von Neumann-Landau Wave Equation
Journal of Applie Mathematics an Physics 4 4-3 Publishe Online December 4 in SciRes http://wwwscirporg/journal/jamp http://xoiorg/436/jamp4343 On the Cauchy Problem for Von Neumann-anau Wave Equation Chuangye
More informationAlgebra IV. Contents. Alexei Skorobogatov. December 12, 2017
Algebra IV Alexei Skorobogatov December 12, 2017 Abstract This course is an introuction to homological algebra an group cohomology. Contents 1 Moules over a ring 2 1.1 Definitions an examples.........................
More informationRobustness and Perturbations of Minimal Bases
Robustness an Perturbations of Minimal Bases Paul Van Dooren an Froilán M Dopico December 9, 2016 Abstract Polynomial minimal bases of rational vector subspaces are a classical concept that plays an important
More informationarxiv: v1 [math.co] 15 Sep 2015
Circular coloring of signe graphs Yingli Kang, Eckhar Steffen arxiv:1509.04488v1 [math.co] 15 Sep 015 Abstract Let k, ( k) be two positive integers. We generalize the well stuie notions of (k, )-colorings
More informationLower bounds on Locality Sensitive Hashing
Lower bouns on Locality Sensitive Hashing Rajeev Motwani Assaf Naor Rina Panigrahy Abstract Given a metric space (X, X ), c 1, r > 0, an p, q [0, 1], a istribution over mappings H : X N is calle a (r,
More informationLinear Algebra- Review And Beyond. Lecture 3
Linear Algebra- Review An Beyon Lecture 3 This lecture gives a wie range of materials relate to matrix. Matrix is the core of linear algebra, an it s useful in many other fiels. 1 Matrix Matrix is the
More informationTensors, Fields Pt. 1 and the Lie Bracket Pt. 1
Tensors, Fiels Pt. 1 an the Lie Bracket Pt. 1 PHYS 500 - Southern Illinois University September 8, 2016 PHYS 500 - Southern Illinois University Tensors, Fiels Pt. 1 an the Lie Bracket Pt. 1 September 8,
More informationAll s Well That Ends Well: Supplementary Proofs
All s Well That Ens Well: Guarantee Resolution of Simultaneous Rigi Boy Impact 1:1 All s Well That Ens Well: Supplementary Proofs This ocument complements the paper All s Well That Ens Well: Guarantee
More informationHilbert functions and Betti numbers of reverse lexicographic ideals in the exterior algebra
Turk J Math 36 (2012), 366 375. c TÜBİTAK oi:10.3906/mat-1102-21 Hilbert functions an Betti numbers of reverse lexicographic ieals in the exterior algebra Marilena Crupi, Carmela Ferró Abstract Let K be
More informationDIFFERENTIAL GEOMETRY OF CURVES AND SURFACES 7. Geodesics and the Theorem of Gauss-Bonnet
A P Q O B DIFFERENTIAL GEOMETRY OF CURVES AND SURFACES 7. Geoesics an the Theorem of Gauss-Bonnet 7.. Geoesics on a Surface. The goal of this section is to give an answer to the following question. Question.
More informationArithmetic progressions on Pell equations
Journal of Number Theory 18 (008) 1389 1409 www.elsevier.com/locate/jnt Arithmetic progressions on Pell equations A. Pethő a,1,v.ziegler b,, a Department of Computer Science, Number Theory Research Group,
More informationEnergy-preserving affine connections
2 A. D. Lewis Enery-preservin affine connections Anrew D. Lewis 28/07/1997 Abstract A Riemannian affine connection on a Riemannian manifol has the property that is preserves the kinetic enery associate
More informationA Sketch of Menshikov s Theorem
A Sketch of Menshikov s Theorem Thomas Bao March 14, 2010 Abstract Let Λ be an infinite, locally finite oriente multi-graph with C Λ finite an strongly connecte, an let p
More informationRank, Trace, Determinant, Transpose an Inverse of a Matrix Let A be an n n square matrix: A = a11 a1 a1n a1 a an a n1 a n a nn nn where is the jth col
Review of Linear Algebra { E18 Hanout Vectors an Their Inner Proucts Let X an Y be two vectors: an Their inner prouct is ene as X =[x1; ;x n ] T Y =[y1; ;y n ] T (X; Y ) = X T Y = x k y k k=1 where T an
More informationDiscrete Mathematics
Discrete Mathematics 309 (009) 86 869 Contents lists available at ScienceDirect Discrete Mathematics journal homepage: wwwelseviercom/locate/isc Profile vectors in the lattice of subspaces Dániel Gerbner
More informationSelf-normalized Martingale Tail Inequality
Online-to-Confience-Set Conversions an Application to Sparse Stochastic Banits A Self-normalize Martingale Tail Inequality The self-normalize martingale tail inequality that we present here is the scalar-value
More informationCharacterizing Real-Valued Multivariate Complex Polynomials and Their Symmetric Tensor Representations
Characterizing Real-Value Multivariate Complex Polynomials an Their Symmetric Tensor Representations Bo JIANG Zhening LI Shuzhong ZHANG December 31, 2014 Abstract In this paper we stuy multivariate polynomial
More informationComputing Exact Confidence Coefficients of Simultaneous Confidence Intervals for Multinomial Proportions and their Functions
Working Paper 2013:5 Department of Statistics Computing Exact Confience Coefficients of Simultaneous Confience Intervals for Multinomial Proportions an their Functions Shaobo Jin Working Paper 2013:5
More informationWitt#5: Around the integrality criterion 9.93 [version 1.1 (21 April 2013), not completed, not proofread]
Witt vectors. Part 1 Michiel Hazewinkel Sienotes by Darij Grinberg Witt#5: Aroun the integrality criterion 9.93 [version 1.1 21 April 2013, not complete, not proofrea In [1, section 9.93, Hazewinkel states
More informationarxiv: v1 [math.mg] 10 Apr 2018
ON THE VOLUME BOUND IN THE DVORETZKY ROGERS LEMMA FERENC FODOR, MÁRTON NASZÓDI, AND TAMÁS ZARNÓCZ arxiv:1804.03444v1 [math.mg] 10 Apr 2018 Abstract. The classical Dvoretzky Rogers lemma provies a eterministic
More informationElectricity and Magnetism Computer Lab #1: Vector algebra and calculus
Electricity an Magnetism Computer Lab #: Vector algebra an calculus We are going to learn how to use MathCa. First we use MathCa as a calculator. Type: 54.4+.-(/5+4/5)^= To get the power we type hat. 54.4.
More informationSINGULAR PERTURBATION AND STATIONARY SOLUTIONS OF PARABOLIC EQUATIONS IN GAUSS-SOBOLEV SPACES
Communications on Stochastic Analysis Vol. 2, No. 2 (28) 289-36 Serials Publications www.serialspublications.com SINGULAR PERTURBATION AND STATIONARY SOLUTIONS OF PARABOLIC EQUATIONS IN GAUSS-SOBOLEV SPACES
More information1 Heisenberg Representation
1 Heisenberg Representation What we have been ealing with so far is calle the Schröinger representation. In this representation, operators are constants an all the time epenence is carrie by the states.
More informationOn the factorization of polynomials over discrete valuation domains
DOI: 10.2478/auom-2014-0023 An. Şt. Univ. Oviius Constanţa Vol. 22(1),2014, 273 280 On the factorization of polynomials over iscrete valuation omains Doru Ştefănescu Abstract We stuy some factorization
More informationA Note on Exact Solutions to Linear Differential Equations by the Matrix Exponential
Avances in Applie Mathematics an Mechanics Av. Appl. Math. Mech. Vol. 1 No. 4 pp. 573-580 DOI: 10.4208/aamm.09-m0946 August 2009 A Note on Exact Solutions to Linear Differential Equations by the Matrix
More informationRobust Forward Algorithms via PAC-Bayes and Laplace Distributions. ω Q. Pr (y(ω x) < 0) = Pr A k
A Proof of Lemma 2 B Proof of Lemma 3 Proof: Since the support of LL istributions is R, two such istributions are equivalent absolutely continuous with respect to each other an the ivergence is well-efine
More informationOn the Equivalence Between Real Mutually Unbiased Bases and a Certain Class of Association Schemes
Worcester Polytechnic Institute DigitalCommons@WPI Mathematical Sciences Faculty Publications Department of Mathematical Sciences 010 On the Equivalence Between Real Mutually Unbiase Bases an a Certain
More informationInteger partitions into arithmetic progressions
Rostock. Math. Kolloq. 64, 11 16 (009) Subject Classification (AMS) 05A17, 11P81 Saek Bouroubi, Nesrine Benyahia Tani Integer partitions into arithmetic progressions ABSTRACT. Every number not in the form
More information