On the irreducibility of a truncated binomial expansion
|
|
- Randolph Rogers
- 5 years ago
- Views:
Transcription
1 On the rreducblty of a truncated bnomal expanson by Mchael Flaseta, Angel Kumchev and Dmtr V. Pasechnk 1 Introducton For postve ntegers k and n wth k n 1, defne P n,k (x = =0 ( n x. In the case that k = n 1, the polynomal P n,k (x takes the form P n,n 1 (x = (x + 1 n x n. If n s not a prme, P n,n 1 (x s reducble over Q. If n = p s prme, the polynomal P n,n 1 (x = P p,p 1 (x s rreducble as Esensten s crteron apples to the recprocal polynomal x p 1 P p,p 1 (1/x. Ths note concerns the rreducblty of P n,k (x n the case where 1 k n 2. Computatons for n 100 suggest that n ths case P n,k (x s always rreducble. We wll not be able to establsh ths but nstead gve some results whch gve further evdence that these polynomals are rreducble. The problem arose durng the 2004 MSRI program on Topologcal aspects of real algebrac geometry n the context of work of Inna Scherbak n her nvestgatons of the Schubert calculus n Grassmannans. She had observed that the roots of any gven P n,k (x are smple. Ths follows from the dentty P n,k (x (x + 1 P n,k (x n 1 = k She then asked whether, for a fxed postve nteger n, the varous n(n 1/2 roots of P n,k (x for 1 k n 1 are dstnct. Inna Scherbak [6] tred to answer ths queston usng methods from representaton theory, but to the best of our knowledge the problem s stll open. We wll not resolve the problem, but our methods mply that for each postve nteger n, almost all of the roots are dstnct. In other words, the number of dstnct roots s n 2 /2 as n tends to nfnty. Before closng ths ntroducton, we menton that these same polynomals have recently arsen n the context of work by Iossf V. Ostrovsk [4]. In partcular, he fnds a soluton to a problem posed by Alexandre Eremenko on the dstrbuton of the zeroes of P n,k (x as k and n tend to nfnty wth k/n approachng a lmt α (0, 1. 2 The Results Our methods apply to a wder class of polynomals than the P n,k (x s alone, so we begn by recastng the problem n a more general settng. For a and b nonnegatve ntegers wth a b, the dentty a ( ( b b 1 ( 1 = ( 1 a (1 a =0 =0 x k. s easly establshed by nducton on a. We deduce that ( n ( ( n P n,k (x 1 = (x 1 = ( 1 x = Mathematcs Subect Classfcaton: 12E05 (11C08, 11R09, 14M15, 26C10. The frst author was supported by the Natonal Scence Foundaton durng research for ths paper. The thrd author was supported by NWO grant Parts of the work were completed whle the thrd author was supported by MSRI and by DFG grant SCHN-503/2-1, whle he held postons at MSRI, resp. at CS Dept., Un. Frankfurt. =0
2 = = =0 = =0 k ( =0 ( 1 x = =0 = =0 ( n ( 1 x = where the last equalty makes use of (1. For 0 k, we defne c = 1 k 1 k ( 1 x ( 1 k x, ( 1 k = ( 1k n(n 1 (n + 1(n 1 (n k + 1(n k!(k! so that P n,k (x 1 = k =0 c x. We are nterested n the rreducblty of P n,k (x. A necessary and suffcent condton for P n,k (x to be rreducble s for P n,k (x 1 to be rreducble, so we restrct our attenton to establshng rreducblty results for the polynomals k =0 c x. For our results, we consder F n,k (x = a c x, (2 =0 where a 0, a 1,..., a k denote ntegers, each havng all of ts prme factors k. In partcular, none of the a are zero. Observe that f F n,k (x s rreducble for all such a, then necessarly P n,k (x s rreducble smply by choosng each a = 1. Another nterestng choce for a s a = ( 1 k!(k!. As F n,k (x s rreducble f and only f ((n k 1!/n! x k F n,k (1/x s rreducble, the rreducblty of F n,k (x wll mply the rreducblty of 1 n k + x n k x 2 n k xk n. In partcular, f n = k + 1, these polynomals take a nce form. It s possble to show, stll wth n = k + 1, that these polynomals are rreducble for every postve nteger k. The dea s to use Newton polygons wth respect to two dstnct prmes n the nterval ((k + 1/2, k + 1]. For k 10, t s known that such prmes exst (cf. [5]. As ths s not the focus of the current paper, we omt the detals. Let N be a postve nteger. The number of ntegral pars (n, k wth 1 n N and 1 k n 2 s n N (n 2 N 2 2. Our frst result s that the number of possble reducble polynomals F n,k (x wth n N and 1 k n 2 s small by comparson. More precsely, we show the followng. Theorem 1. Let ε > 0, and let N be a postve nteger. For each ntegral par (n, k wth 1 n N and 1 k n 2, consder the set S(n, k of all polynomals of the form (2 where a 0, a 1,..., a k denote arbtrary ntegers, each havng all of ts prme factors k. The number of such pars (n, k for whch there exsts a polynomal f(x S(n, k that s reducble s O(N 23/18+ε. Under the assumpton of the Lndelöf hypothess, a result of Gang Yu [9] can be used to mprove our estmate for the number of exceptonal pars (n, k to O(N 1+ε. A further mprovement to O(N log 3 N s possble under the Remann hypothess by a classcal result of Atle Selberg [7]. Based on the man result n [1], one can easly modfy our approach to show that for each postve nteger n, there are at most O(n dfferent postve ntegers k n 2 for whch S(n, k contans a reducble polynomal. Ths mples the remark n the ntroducton that for fxed n, the number of dstnct roots of P n,k (x for k n 2 s n 2 /2 as n tends to nfnty. Our second result s an explct crteron for the rreducblty of F n,k (x. Theorem 2. If there s a prme p > k that exactly dvdes n(n k, then F n,k (x s rreducble for every choce of ntegers a 0, a 1,..., a k wth each havng all of ts prme factors k. 2
3 Theorem 2 has a smple proof based on Esensten s crteron. It mples, n partcular, that f n s a prme, then P n,k (x s rreducble for every k {1, 2,..., n 1}. Ths then resolves the problem of Scherbak n the case that n s a prme. Our thrd and fnal result concernng the rreducblty of F n,k (x s as follows. Theorem 3. Let k be a fxed nteger 3. There s an n 0 = n 0 (k such that f n n 0, then F n,k (x s rreducble for every choce of ntegers a 0, a 1,..., a k wth each havng all of ts prme factors k. The value of n 0 (k n ths last result, beng based on the solutons to certan Thue equatons, can be effectvely determned. The result s of added nterest as the proof of Theorem 1 reles on consderng k large. Thus, the proof of Theorem 1 gves no nformaton about the stuaton n Theorem 3, where k s fxed and n s large. In the case that k = 1, the polynomals F n,k (x are lnear and, hence, rreducble. In the case that k = 2, our approach does not apply; but we note that the polynomals P n,2 (x are easly seen to be rreducble for n 3 as P n,2 (x has magnary roots for such n. 3 The Proofs Proof of Theorem 1. Let f(x = k =0 d x Z[x] wth d k d 0 0. In the argument, we wll make use of the Newton polygon of f(x wth respect to a prme p. The Newton polygon of f(x wth respect to p can be defned as the lower part of the convex hull of the ponts (, ν p (d where 0 k and ν p (m s defned to be the nteger r satsfyng p r m and p r+1 m. Thus, the Newton polygon has ts left most endpont beng (0, ν p (d 0 and ts rght most endpont beng (k, ν p (d k. A theorem of Gustave Dumas [2] asserts that, for a fxed prme, the Newton polygon of a product of two polynomals can be obtaned by translatng the edges of the Newton polygons of each of the polynomals. The endponts on the translaton of an edge always occur at lattce ponts. For the proof of Theorem 1, we wll use a specfc consequence of ths result: If the lattce ponts along the edges of the Newton polygon of f(x wth respect to p consst of (0, ν p (d 0, (k, ν p (d k and only one addtonal lattce pont, say at (u, v, then ether f(x s rreducble or t s the product of an rreducble polynomal of degree u tmes an rreducble polynomal of degree k u. We note that the lattce pont (u, v n ths context need not be one of the ponts (, ν p (d (for example, consder f(x = x 2 + 4x + 4 and p = 2. Consder n suffcently large. Let p denote the th prme, and let t be maxmal such that p t < n. Denote by δ(n the dstance from n to p t 1 so that δ(n = n p t 1. Suppose that k satsfes 2δ(n < k < n δ(n. We show that n ths case, the polynomal f(x = F n,k (x s rreducble over Q (ndependent of the choces of a as n the theorem. Frst, we explan why ths mples our result. For the moment, suppose that we have shown that F n,k (x s rreducble over Q for n suffcently large and 2δ(n < k < n δ(n. Let ρ(n = p t 1 where t s defned as above. It follows that the number of pars (n, k as n the theorem for whch there exsts a reducble polynomal f(x S(n, k s δ(n (n ρ(n (n p t 1. n N n N 2<p t<n n N ρ(n=p t 1 Ths last double sum can be handled rather easly by extendng the range on n slghtly (to the least prme that s N. It does not exceed (n p t 1 (p t+1 p t 1 (p t+1 p t 1 (p t+1 p t. 2<p t<n p t<n p t+1 2<p t<n p t<n p t+1 2<p t<n Settng d = p +1 p, we deduce from the arthmetc-geometrc mean nequalty that (p t+1 p t (p t+1 p t 1 = d t (d t + d t 1 = d 2 t + d t d t d2 t d2 t 1. Hence, the number of pars (n, k as n the theorem for whch there exsts a reducble polynomal f(x S(n, k s p t<n d2 t. A theorem of Roger Heath-Brown [3] asserts that p t N d 2 t N 23/18+ε. 3
4 Therefore, Theorem 3 follows provded we establsh that F n,k (x s rreducble over Q for n suffcently large and 2δ(n < k < n δ(n. Consder n suffcently large and k an nteger n the nterval (2δ(n, n δ(n. Let p = p t and q = p t 1. Note that both p and q are greater than k. We set u and v to be the postve ntegers satsfyng p = n u and q = n v. Then 1 u < v = δ(n < k/2. Observe that the numerator of c s the product of the ntegers from n k to n nclusve but wth the factor n mssng. Also, the denomnator of c s not dvsble by any prme > k and, n partcular, by p or by q. We look at the Newton polygon of f(x wth respect to p and the Newton polygon of f(x wth respect to q. Note that ν p (n u = 1 and, for each, we have ν p (a = 0. Therefore, the Newton polygon of f(x wth respect to p conssts of two lne segments, one from (0, 1 to (u, 0 and one from (u, 0 to (k, 1. The theorem of Dumas mples that f f(x s reducble, then t must be an rreducble polynomal of degree u tmes an rreducble polynomal of degree k u. Smlarly, by consderng the Newton polygon of f(x wth respect to q, we deduce that f f(x s reducble, then t s an rreducble polynomal of degree v tmes an rreducble polynomal of degree k v. Snce k v > δ(n > u and v u, we deduce that f(x cannot be reducble. Thus, f(x s rreducble. Theorem 1 follows. Proof of Theorem 2. Esensten s crteron apples to x k F n,k (1/x whenever there s a prme p > k that exactly dvdes n (.e., p n and p 2 n. Hence, F n,k (x s rreducble whenever such a prme exsts. Also, F n,k (x tself satsfes Esensten s crteron whenever there s a prme p > k that exactly dvdes n k. Proof of Theorem 3. As n the prevous proofs, we work wth f(x = F n,k (x (where the a are arbtrary ntegers dvsble only by prmes k. Wth k fxed, we consder n large and look at the factorzatons of n and n k. Lemma 1. Let p be a prme > k and e a postve nteger for whch ν p (n = e or ν p (n k = e. Then each rreducble factor of f(x has degree a multple of k/ gcd(k, e. The proof of Lemma 1 follows drectly by consderng the Newton polygon of f(x wth respect to p. It conssts of one edge, and the x-coordnates of the lattce ponts along ths edge wll occur at multples of k/ gcd(k, e. The theorem of Dumas mples that the rreducble factors of f(x must have degrees that are multples of k/ gcd(k, e. Lemma 2. Let n be the largest dvsor of n(n k that s relatvely prme to k!. Wrte n = p e1 1 pe2 2 per r, where the p denote dstnct prmes and the e are postve ntegers. Let Then the degree of each rreducble factor of f(x s a multple of k/d. d = gcd(k, e 1, e 2,..., e r. (3 Note that n the statement of Lemma 2, f n = 1, then d = k. The proof of Lemma 2 makes use of Lemma 1. Suppose m s the degree of an rreducble factor of f(x. Then for each {1, 2,..., r}, Lemma 1 mples there s an nteger b such that me = kb. There are ntegers x for whch Hence, kx 0 + e 1 x 1 + e 2 x e r x r = d. m(d kx 0 = m ( e 1 x 1 + e 2 x e r x r = k ( b1 x 1 + b 2 x b r x r. It follows that md s a multple of k so that m s a multple of k/d as clamed. For the proof of Theorem 3, we defne d as n Lemma 2 and consder three cases: ( d = 1, ( d = 2, and ( d 3. In Case (, Lemma 2 mples f(x s rreducble. Case ( s more dffcult and we return to t shortly. In Case (, there exst postve ntegers a, b, m 1, and m 2 satsfyng n = am d 1, n k = bm d 2, and a and b dvde p k p d 1. (4 4
5 As d k and k s fxed, there are fntely many choces for d, a and b as n (4. For each such d, a and b, the possble values of n correspond to ax d gven by solutons to the Dophantne equaton ax d by d = k. The above s a Thue equaton, and t s well known that, snce d 3, t has fntely many solutons n ntegers x and y (see [8]. It follows that there are fntely many ntegers n for whch Case ( holds. Hence, for n suffcently large, Case ( cannot occur. We are left wth consderng Case (. For Case (, the defnton of d mples k s even. As we already have k 3, we deduce k 4. Lemma 2 mples that f f(x s reducble, then t factors as a product of two rreducble polynomals each of degree k/2. To fnsh the analyss for Case (, we make use of the followng. Lemma 3. Let f(x be as above wth d, as defned n (3, equal to 2. Let n be the largest dvsor of (n 1(n k + 1 that s relatvely prme to k!. Suppose ν p (n = e where p s a prme > k and e s a postve nteger. If f(x s reducble, then (k 1 e. For the proof of Lemma 3, we agan appeal to the theorem of Dumas. Suppose frst that p (n 1. Snce p > k, we deduce that ν p (n 1 = e. The Newton polygon of f(x wth respect to p conssts of two lne segments, one from (0, e to (1, 0 and one from (1, 0 to (k, e. Let d = gcd(k 1, e. As d = 2, we deduce as above that f(x s a product of two rreducble polynomals of degree k/2. The fact that f(x has ust two rreducble factors mples by the theorem of Dumas that one of these factors has degree that s a multple of (k 1/d and the other has degree that s one more than a multple of (k 1/d. We deduce that there are ntegers m and m such that k 1 d m = k 2 It follows that (k 1/d dvdes 1, whence and k 1 d m + 1 = k 2. k 1 = d = gcd(k 1, e. We deduce that (k 1 e. A smlar argument works n the case that p (n k + 1. To fnsh the analyss for Case (, we use Lemma 3 to deduce that there are postve ntegers a, b, m 3, and m 4 such that n 1 = a m k 1 3, n k + 1 = b m k 1 4, and a and b dvde p k p k 2. (5 As k s fxed, there are fntely many choces for a and b as n (5. For each of these, the possble values of n correspond to a x k determned by solvng the Dophantne equaton a x k 1 b y k 1 = k 2. As k 4, the above s a Thue equaton and has fntely many solutons n ntegers x and y. Thus, there are fntely many ntegers n for whch Case ( holds. Hence, for n suffcently large, we deduce that F n,k (x s rreducble, completng the proof of Theorem 3. References [1] R. C. Baker, G. Harman, and J. Pntz, The dfference between consecutve prmes, II, Proc. London Math. Soc. (3 83 (2001, no. 3, [2] G. Dumas, Sur quelques cas d rréductblté des polynômes à coeffcents ratonnels, Journal de Math. Pures et Appl. 2 (1906, [3] D. R. Heath-Brown, The dfferences between consecutve prmes, III, J. London Math. Soc. 20 (1979,
6 [4] I. V. Ostrovsk, On a problem of A. Eremenko, Comput. Methods Funct. Theory 4 (2004, No. 2, [5] S. Ramanuan. A proof of Bertrand s postulate, Journal of the Indan Math. Soc. 11 (1919, [6] I. Scherbak, Intersectons of Schubert varetes and hghest weght vectors n tensor products sl N+1 - representatons, arxv e-prnt math.rt/ , July [7] A. Selberg, On the normal densty of prmes n small ntervals, and the dfference between consecutve prmes, Arch. Math. Naturvd. 47 (1943, [8] T. N. Shorey and R. Tdeman, Exponental Dophantne Equatons, Cambrdge Tracts n Mathematcs, 87, Cambrdge Unversty Press, Cambrdge, [9] G. Yu, The dfferences between consecutve prmes, Bull. London Math. Soc. 28 (1996, Mathematcs Department Unversty of South Carolna Columba, SC USA Emal: flaseta@math.sc.edu Department of Mathematcs Towson Unversty 8000 York Road Towson, MD USA Emal: akumchev@towson.edu Dept. E & OR Tlburg Unversty, P.O. Box LE Tlburg The Netherlands Emal: d.v.pasechnk@uvt.nl 6
3.1 Expectation of Functions of Several Random Variables. )' be a k-dimensional discrete or continuous random vector, with joint PMF p (, E X E X1 E X
Statstcs 1: Probablty Theory II 37 3 EPECTATION OF SEVERAL RANDOM VARIABLES As n Probablty Theory I, the nterest n most stuatons les not on the actual dstrbuton of a random vector, but rather on a number
More informationFoundations of Arithmetic
Foundatons of Arthmetc Notaton We shall denote the sum and product of numbers n the usual notaton as a 2 + a 2 + a 3 + + a = a, a 1 a 2 a 3 a = a The notaton a b means a dvdes b,.e. ac = b where c s an
More informationMath 261 Exercise sheet 2
Math 261 Exercse sheet 2 http://staff.aub.edu.lb/~nm116/teachng/2017/math261/ndex.html Verson: September 25, 2017 Answers are due for Monday 25 September, 11AM. The use of calculators s allowed. Exercse
More informationThe internal structure of natural numbers and one method for the definition of large prime numbers
The nternal structure of natural numbers and one method for the defnton of large prme numbers Emmanul Manousos APM Insttute for the Advancement of Physcs and Mathematcs 3 Poulou str. 53 Athens Greece Abstract
More informationDifference Equations
Dfference Equatons c Jan Vrbk 1 Bascs Suppose a sequence of numbers, say a 0,a 1,a,a 3,... s defned by a certan general relatonshp between, say, three consecutve values of the sequence, e.g. a + +3a +1
More informationa b a In case b 0, a being divisible by b is the same as to say that
Secton 6.2 Dvsblty among the ntegers An nteger a ε s dvsble by b ε f there s an nteger c ε such that a = bc. Note that s dvsble by any nteger b, snce = b. On the other hand, a s dvsble by only f a = :
More informationarxiv: v6 [math.nt] 23 Aug 2016
A NOTE ON ODD PERFECT NUMBERS JOSE ARNALDO B. DRIS AND FLORIAN LUCA arxv:03.437v6 [math.nt] 23 Aug 206 Abstract. In ths note, we show that f N s an odd perfect number and q α s some prme power exactly
More informationOn the size of quotient of two subsets of positive integers.
arxv:1706.04101v1 [math.nt] 13 Jun 2017 On the sze of quotent of two subsets of postve ntegers. Yur Shtenkov Abstract We obtan non-trval lower bound for the set A/A, where A s a subset of the nterval [1,
More informationLectures - Week 4 Matrix norms, Conditioning, Vector Spaces, Linear Independence, Spanning sets and Basis, Null space and Range of a Matrix
Lectures - Week 4 Matrx norms, Condtonng, Vector Spaces, Lnear Independence, Spannng sets and Bass, Null space and Range of a Matrx Matrx Norms Now we turn to assocatng a number to each matrx. We could
More informationExample: (13320, 22140) =? Solution #1: The divisors of are 1, 2, 3, 4, 5, 6, 9, 10, 12, 15, 18, 20, 27, 30, 36, 41,
The greatest common dvsor of two ntegers a and b (not both zero) s the largest nteger whch s a common factor of both a and b. We denote ths number by gcd(a, b), or smply (a, b) when there s no confuson
More informationFACTORIZATION IN KRULL MONOIDS WITH INFINITE CLASS GROUP
C O L L O Q U I U M M A T H E M A T I C U M VOL. 80 1999 NO. 1 FACTORIZATION IN KRULL MONOIDS WITH INFINITE CLASS GROUP BY FLORIAN K A I N R A T H (GRAZ) Abstract. Let H be a Krull monod wth nfnte class
More informationAffine transformations and convexity
Affne transformatons and convexty The purpose of ths document s to prove some basc propertes of affne transformatons nvolvng convex sets. Here are a few onlne references for background nformaton: http://math.ucr.edu/
More informationTHE CHINESE REMAINDER THEOREM. We should thank the Chinese for their wonderful remainder theorem. Glenn Stevens
THE CHINESE REMAINDER THEOREM KEITH CONRAD We should thank the Chnese for ther wonderful remander theorem. Glenn Stevens 1. Introducton The Chnese remander theorem says we can unquely solve any par of
More informationChapter 5. Solution of System of Linear Equations. Module No. 6. Solution of Inconsistent and Ill Conditioned Systems
Numercal Analyss by Dr. Anta Pal Assstant Professor Department of Mathematcs Natonal Insttute of Technology Durgapur Durgapur-713209 emal: anta.bue@gmal.com 1 . Chapter 5 Soluton of System of Lnear Equatons
More informationComplex Numbers Alpha, Round 1 Test #123
Complex Numbers Alpha, Round Test #3. Wrte your 6-dgt ID# n the I.D. NUMBER grd, left-justfed, and bubble. Check that each column has only one number darkened.. In the EXAM NO. grd, wrte the 3-dgt Test
More informationBeyond Zudilin s Conjectured q-analog of Schmidt s problem
Beyond Zudln s Conectured q-analog of Schmdt s problem Thotsaporn Ae Thanatpanonda thotsaporn@gmalcom Mathematcs Subect Classfcaton: 11B65 33B99 Abstract Usng the methodology of (rgorous expermental mathematcs
More informationThe Order Relation and Trace Inequalities for. Hermitian Operators
Internatonal Mathematcal Forum, Vol 3, 08, no, 507-57 HIKARI Ltd, wwwm-hkarcom https://doorg/0988/mf088055 The Order Relaton and Trace Inequaltes for Hermtan Operators Y Huang School of Informaton Scence
More informationFINITELY-GENERATED MODULES OVER A PRINCIPAL IDEAL DOMAIN
FINITELY-GENERTED MODULES OVER PRINCIPL IDEL DOMIN EMMNUEL KOWLSKI Throughout ths note, s a prncpal deal doman. We recall the classfcaton theorem: Theorem 1. Let M be a fntely-generated -module. (1) There
More informationMath 217 Fall 2013 Homework 2 Solutions
Math 17 Fall 013 Homework Solutons Due Thursday Sept. 6, 013 5pm Ths homework conssts of 6 problems of 5 ponts each. The total s 30. You need to fully justfy your answer prove that your functon ndeed has
More informationRestricted divisor sums
ACTA ARITHMETICA 02 2002) Restrcted dvsor sums by Kevn A Broughan Hamlton) Introducton There s a body of work n the lterature on varous restrcted sums of the number of dvsors of an nteger functon ncludng
More informationTHE WEIGHTED WEAK TYPE INEQUALITY FOR THE STRONG MAXIMAL FUNCTION
THE WEIGHTED WEAK TYPE INEQUALITY FO THE STONG MAXIMAL FUNCTION THEMIS MITSIS Abstract. We prove the natural Fefferman-Sten weak type nequalty for the strong maxmal functon n the plane, under the assumpton
More informationAPPENDIX A Some Linear Algebra
APPENDIX A Some Lnear Algebra The collecton of m, n matrces A.1 Matrces a 1,1,..., a 1,n A = a m,1,..., a m,n wth real elements a,j s denoted by R m,n. If n = 1 then A s called a column vector. Smlarly,
More informationA p-adic PERRON-FROBENIUS THEOREM
A p-adic PERRON-FROBENIUS THEOREM ROBERT COSTA AND PATRICK DYNES Advsor: Clayton Petsche Oregon State Unversty Abstract We prove a result for square matrces over the p-adc numbers akn to the Perron-Frobenus
More informationAppendix B. Criterion of Riemann-Stieltjes Integrability
Appendx B. Crteron of Remann-Steltes Integrablty Ths note s complementary to [R, Ch. 6] and [T, Sec. 3.5]. The man result of ths note s Theorem B.3, whch provdes the necessary and suffcent condtons for
More informationBinomial transforms of the modified k-fibonacci-like sequence
Internatonal Journal of Mathematcs and Computer Scence, 14(2019, no. 1, 47 59 M CS Bnomal transforms of the modfed k-fbonacc-lke sequence Youngwoo Kwon Department of mathematcs Korea Unversty Seoul, Republc
More informationMore metrics on cartesian products
More metrcs on cartesan products If (X, d ) are metrc spaces for 1 n, then n Secton II4 of the lecture notes we defned three metrcs on X whose underlyng topologes are the product topology The purpose of
More informationOn quasiperfect numbers
Notes on Number Theory and Dscrete Mathematcs Prnt ISSN 1310 5132, Onlne ISSN 2367 8275 Vol. 23, 2017, No. 3, 73 78 On quasperfect numbers V. Sva Rama Prasad 1 and C. Suntha 2 1 Nalla Malla Reddy Engneerng
More informationPerron Vectors of an Irreducible Nonnegative Interval Matrix
Perron Vectors of an Irreducble Nonnegatve Interval Matrx Jr Rohn August 4 2005 Abstract As s well known an rreducble nonnegatve matrx possesses a unquely determned Perron vector. As the man result of
More informationREAL ANALYSIS I HOMEWORK 1
REAL ANALYSIS I HOMEWORK CİHAN BAHRAN The questons are from Tao s text. Exercse 0.0.. If (x α ) α A s a collecton of numbers x α [0, + ] such that x α
More informationBezier curves. Michael S. Floater. August 25, These notes provide an introduction to Bezier curves. i=0
Bezer curves Mchael S. Floater August 25, 211 These notes provde an ntroducton to Bezer curves. 1 Bernsten polynomals Recall that a real polynomal of a real varable x R, wth degree n, s a functon of the
More informationLinear, affine, and convex sets and hulls In the sequel, unless otherwise specified, X will denote a real vector space.
Lnear, affne, and convex sets and hulls In the sequel, unless otherwse specfed, X wll denote a real vector space. Lnes and segments. Gven two ponts x, y X, we defne xy = {x + t(y x) : t R} = {(1 t)x +
More informationDIFFERENTIAL FORMS BRIAN OSSERMAN
DIFFERENTIAL FORMS BRIAN OSSERMAN Dfferentals are an mportant topc n algebrac geometry, allowng the use of some classcal geometrc arguments n the context of varetes over any feld. We wll use them to defne
More informationREDUCTION MODULO p. We will prove the reduction modulo p theorem in the general form as given by exercise 4.12, p. 143, of [1].
REDUCTION MODULO p. IAN KIMING We wll prove the reducton modulo p theorem n the general form as gven by exercse 4.12, p. 143, of [1]. We consder an ellptc curve E defned over Q and gven by a Weerstraß
More informationTHERE ARE NO POINTS OF ORDER 11 ON ELLIPTIC CURVES OVER Q.
THERE ARE NO POINTS OF ORDER 11 ON ELLIPTIC CURVES OVER Q. IAN KIMING We shall prove the followng result from [2]: Theorem 1. (Bllng-Mahler, 1940, cf. [2]) An ellptc curve defned over Q does not have a
More informationErrors for Linear Systems
Errors for Lnear Systems When we solve a lnear system Ax b we often do not know A and b exactly, but have only approxmatons  and ˆb avalable. Then the best thng we can do s to solve ˆx ˆb exactly whch
More informationNUMERICAL DIFFERENTIATION
NUMERICAL DIFFERENTIATION 1 Introducton Dfferentaton s a method to compute the rate at whch a dependent output y changes wth respect to the change n the ndependent nput x. Ths rate of change s called the
More informationRandić Energy and Randić Estrada Index of a Graph
EUROPEAN JOURNAL OF PURE AND APPLIED MATHEMATICS Vol. 5, No., 202, 88-96 ISSN 307-5543 www.ejpam.com SPECIAL ISSUE FOR THE INTERNATIONAL CONFERENCE ON APPLIED ANALYSIS AND ALGEBRA 29 JUNE -02JULY 20, ISTANBUL
More information2.3 Nilpotent endomorphisms
s a block dagonal matrx, wth A Mat dm U (C) In fact, we can assume that B = B 1 B k, wth B an ordered bass of U, and that A = [f U ] B, where f U : U U s the restrcton of f to U 40 23 Nlpotent endomorphsms
More informationFinding Primitive Roots Pseudo-Deterministically
Electronc Colloquum on Computatonal Complexty, Report No 207 (205) Fndng Prmtve Roots Pseudo-Determnstcally Ofer Grossman December 22, 205 Abstract Pseudo-determnstc algorthms are randomzed search algorthms
More informationSection 8.3 Polar Form of Complex Numbers
80 Chapter 8 Secton 8 Polar Form of Complex Numbers From prevous classes, you may have encountered magnary numbers the square roots of negatve numbers and, more generally, complex numbers whch are the
More informationn α j x j = 0 j=1 has a nontrivial solution. Here A is the n k matrix whose jth column is the vector for all t j=0
MODULE 2 Topcs: Lnear ndependence, bass and dmenson We have seen that f n a set of vectors one vector s a lnear combnaton of the remanng vectors n the set then the span of the set s unchanged f that vector
More informationAnti-van der Waerden numbers of 3-term arithmetic progressions.
Ant-van der Waerden numbers of 3-term arthmetc progressons. Zhanar Berkkyzy, Alex Schulte, and Mchael Young Aprl 24, 2016 Abstract The ant-van der Waerden number, denoted by aw([n], k), s the smallest
More informationREGULAR POSITIVE TERNARY QUADRATIC FORMS. 1. Introduction
REGULAR POSITIVE TERNARY QUADRATIC FORMS BYEONG-KWEON OH Abstract. A postve defnte quadratc form f s sad to be regular f t globally represents all ntegers that are represented by the genus of f. In 997
More informationALGEBRA HW 7 CLAY SHONKWILER
ALGEBRA HW 7 CLAY SHONKWILER 1 Whch of the followng rngs R are dscrete valuaton rngs? For those that are, fnd the fracton feld K = frac R, the resdue feld k = R/m (where m) s the maxmal deal), and a unformzer
More informationThe Number of Ways to Write n as a Sum of ` Regular Figurate Numbers
Syracuse Unversty SURFACE Syracuse Unversty Honors Program Capstone Projects Syracuse Unversty Honors Program Capstone Projects Sprng 5-1-01 The Number of Ways to Wrte n as a Sum of ` Regular Fgurate Numbers
More informationCOMPLEX NUMBERS AND QUADRATIC EQUATIONS
COMPLEX NUMBERS AND QUADRATIC EQUATIONS INTRODUCTION We know that x 0 for all x R e the square of a real number (whether postve, negatve or ero) s non-negatve Hence the equatons x, x, x + 7 0 etc are not
More informationarxiv: v1 [math.co] 1 Mar 2014
Unon-ntersectng set systems Gyula O.H. Katona and Dánel T. Nagy March 4, 014 arxv:1403.0088v1 [math.co] 1 Mar 014 Abstract Three ntersecton theorems are proved. Frst, we determne the sze of the largest
More informationGraph Reconstruction by Permutations
Graph Reconstructon by Permutatons Perre Ille and Wllam Kocay* Insttut de Mathémathques de Lumny CNRS UMR 6206 163 avenue de Lumny, Case 907 13288 Marselle Cedex 9, France e-mal: lle@ml.unv-mrs.fr Computer
More informationarxiv: v1 [math.co] 12 Sep 2014
arxv:1409.3707v1 [math.co] 12 Sep 2014 On the bnomal sums of Horadam sequence Nazmye Ylmaz and Necat Taskara Department of Mathematcs, Scence Faculty, Selcuk Unversty, 42075, Campus, Konya, Turkey March
More informationSelf-complementing permutations of k-uniform hypergraphs
Dscrete Mathematcs Theoretcal Computer Scence DMTCS vol. 11:1, 2009, 117 124 Self-complementng permutatons of k-unform hypergraphs Artur Szymańsk A. Paweł Wojda Faculty of Appled Mathematcs, AGH Unversty
More informationA CHARACTERIZATION OF ADDITIVE DERIVATIONS ON VON NEUMANN ALGEBRAS
Journal of Mathematcal Scences: Advances and Applcatons Volume 25, 2014, Pages 1-12 A CHARACTERIZATION OF ADDITIVE DERIVATIONS ON VON NEUMANN ALGEBRAS JIA JI, WEN ZHANG and XIAOFEI QI Department of Mathematcs
More informationAN EXTENDED CLASS OF TIME-CONTINUOUS BRANCHING PROCESSES. Rong-Rong Chen. ( University of Illinois at Urbana-Champaign)
AN EXTENDED CLASS OF TIME-CONTINUOUS BRANCHING PROCESSES Rong-Rong Chen ( Unversty of Illnos at Urbana-Champagn Abstract. Ths paper s devoted to studyng an extended class of tme-contnuous branchng processes,
More informationprinceton univ. F 17 cos 521: Advanced Algorithm Design Lecture 7: LP Duality Lecturer: Matt Weinberg
prnceton unv. F 17 cos 521: Advanced Algorthm Desgn Lecture 7: LP Dualty Lecturer: Matt Wenberg Scrbe: LP Dualty s an extremely useful tool for analyzng structural propertes of lnear programs. Whle there
More informationYong Joon Ryang. 1. Introduction Consider the multicommodity transportation problem with convex quadratic cost function. 1 2 (x x0 ) T Q(x x 0 )
Kangweon-Kyungk Math. Jour. 4 1996), No. 1, pp. 7 16 AN ITERATIVE ROW-ACTION METHOD FOR MULTICOMMODITY TRANSPORTATION PROBLEMS Yong Joon Ryang Abstract. The optmzaton problems wth quadratc constrants often
More informationPhysics 5153 Classical Mechanics. Principle of Virtual Work-1
P. Guterrez 1 Introducton Physcs 5153 Classcal Mechancs Prncple of Vrtual Work The frst varatonal prncple we encounter n mechancs s the prncple of vrtual work. It establshes the equlbrum condton of a mechancal
More informationMaximizing the number of nonnegative subsets
Maxmzng the number of nonnegatve subsets Noga Alon Hao Huang December 1, 213 Abstract Gven a set of n real numbers, f the sum of elements of every subset of sze larger than k s negatve, what s the maxmum
More informationSection 3.6 Complex Zeros
04 Chapter Secton 6 Comple Zeros When fndng the zeros of polynomals, at some pont you're faced wth the problem Whle there are clearly no real numbers that are solutons to ths equaton, leavng thngs there
More informationCase A. P k = Ni ( 2L i k 1 ) + (# big cells) 10d 2 P k.
THE CELLULAR METHOD In ths lecture, we ntroduce the cellular method as an approach to ncdence geometry theorems lke the Szemeréd-Trotter theorem. The method was ntroduced n the paper Combnatoral complexty
More information= z 20 z n. (k 20) + 4 z k = 4
Problem Set #7 solutons 7.2.. (a Fnd the coeffcent of z k n (z + z 5 + z 6 + z 7 + 5, k 20. We use the known seres expanson ( n+l ( z l l z n below: (z + z 5 + z 6 + z 7 + 5 (z 5 ( + z + z 2 + z + 5 5
More informationSmarandache-Zero Divisors in Group Rings
Smarandache-Zero Dvsors n Group Rngs W.B. Vasantha and Moon K. Chetry Department of Mathematcs I.I.T Madras, Chenna The study of zero-dvsors n group rngs had become nterestng problem snce 1940 wth the
More informationU.C. Berkeley CS294: Spectral Methods and Expanders Handout 8 Luca Trevisan February 17, 2016
U.C. Berkeley CS94: Spectral Methods and Expanders Handout 8 Luca Trevsan February 7, 06 Lecture 8: Spectral Algorthms Wrap-up In whch we talk about even more generalzatons of Cheeger s nequaltes, and
More informationk(k 1)(k 2)(p 2) 6(p d.
BLOCK-TRANSITIVE 3-DESIGNS WITH AFFINE AUTOMORPHISM GROUP Greg Gamble Let X = (Z p d where p s an odd prme and d N, and let B X, B = k. Then t was shown by Praeger that the set B = {B g g AGL d (p} s the
More informationBernoulli Numbers and Polynomials
Bernoull Numbers and Polynomals T. Muthukumar tmk@tk.ac.n 17 Jun 2014 The sum of frst n natural numbers 1, 2, 3,..., n s n n(n + 1 S 1 (n := m = = n2 2 2 + n 2. Ths formula can be derved by notng that
More informationON A DETERMINATION OF THE INITIAL FUNCTIONS FROM THE OBSERVED VALUES OF THE BOUNDARY FUNCTIONS FOR THE SECOND-ORDER HYPERBOLIC EQUATION
Advanced Mathematcal Models & Applcatons Vol.3, No.3, 2018, pp.215-222 ON A DETERMINATION OF THE INITIAL FUNCTIONS FROM THE OBSERVED VALUES OF THE BOUNDARY FUNCTIONS FOR THE SECOND-ORDER HYPERBOLIC EUATION
More informationGeneral viscosity iterative method for a sequence of quasi-nonexpansive mappings
Avalable onlne at www.tjnsa.com J. Nonlnear Sc. Appl. 9 (2016), 5672 5682 Research Artcle General vscosty teratve method for a sequence of quas-nonexpansve mappngs Cuje Zhang, Ynan Wang College of Scence,
More informationTAIL BOUNDS FOR SUMS OF GEOMETRIC AND EXPONENTIAL VARIABLES
TAIL BOUNDS FOR SUMS OF GEOMETRIC AND EXPONENTIAL VARIABLES SVANTE JANSON Abstract. We gve explct bounds for the tal probabltes for sums of ndependent geometrc or exponental varables, possbly wth dfferent
More informationThe Ramanujan-Nagell Theorem: Understanding the Proof By Spencer De Chenne
The Ramanujan-Nagell Theorem: Understandng the Proof By Spencer De Chenne 1 Introducton The Ramanujan-Nagell Theorem, frst proposed as a conjecture by Srnvasa Ramanujan n 1943 and later proven by Trygve
More informationExercise Solutions to Real Analysis
xercse Solutons to Real Analyss Note: References refer to H. L. Royden, Real Analyss xersze 1. Gven any set A any ɛ > 0, there s an open set O such that A O m O m A + ɛ. Soluton 1. If m A =, then there
More informationFeature Selection: Part 1
CSE 546: Machne Learnng Lecture 5 Feature Selecton: Part 1 Instructor: Sham Kakade 1 Regresson n the hgh dmensonal settng How do we learn when the number of features d s greater than the sample sze n?
More informationOn the Divisibility of Binomial Coefficients
On the Dvsblty of Bnomal Coeffcents Sílva Casacuberta Pug Abstract We analyze an open problem n number theory regardng the dvsblty of bnomal coeffcents. It s conjectured that for every nteger n there exst
More informationSL n (F ) Equals its Own Derived Group
Internatonal Journal of Algebra, Vol. 2, 2008, no. 12, 585-594 SL n (F ) Equals ts Own Derved Group Jorge Macel BMCC-The Cty Unversty of New York, CUNY 199 Chambers street, New York, NY 10007, USA macel@cms.nyu.edu
More informationHMMT February 2016 February 20, 2016
HMMT February 016 February 0, 016 Combnatorcs 1. For postve ntegers n, let S n be the set of ntegers x such that n dstnct lnes, no three concurrent, can dvde a plane nto x regons (for example, S = {3,
More informationDONALD M. DAVIS. 1. Main result
v 1 -PERIODIC 2-EXPONENTS OF SU(2 e ) AND SU(2 e + 1) DONALD M. DAVIS Abstract. We determne precsely the largest v 1 -perodc homotopy groups of SU(2 e ) and SU(2 e +1). Ths gves new results about the largest
More informationCharacterizing the properties of specific binomial coefficients in congruence relations
Eastern Mchgan Unversty DgtalCommons@EMU Master's Theses and Doctoral Dssertatons Master's Theses, and Doctoral Dssertatons, and Graduate Capstone Projects 7-15-2015 Characterzng the propertes of specfc
More informationPerfect Competition and the Nash Bargaining Solution
Perfect Competton and the Nash Barganng Soluton Renhard John Department of Economcs Unversty of Bonn Adenauerallee 24-42 53113 Bonn, Germany emal: rohn@un-bonn.de May 2005 Abstract For a lnear exchange
More informationSolutions to the 71st William Lowell Putnam Mathematical Competition Saturday, December 4, 2010
Solutons to the 7st Wllam Lowell Putnam Mathematcal Competton Saturday, December 4, 2 Kran Kedlaya and Lenny Ng A The largest such k s n+ 2 n 2. For n even, ths value s acheved by the partton {,n},{2,n
More informationand problem sheet 2
-8 and 5-5 problem sheet Solutons to the followng seven exercses and optonal bonus problem are to be submtted through gradescope by :0PM on Wednesday th September 08. There are also some practce problems,
More informationFirst day August 1, Problems and Solutions
FOURTH INTERNATIONAL COMPETITION FOR UNIVERSITY STUDENTS IN MATHEMATICS July 30 August 4, 997, Plovdv, BULGARIA Frst day August, 997 Problems and Solutons Problem. Let {ε n } n= be a sequence of postve
More informationBézier curves. Michael S. Floater. September 10, These notes provide an introduction to Bézier curves. i=0
Bézer curves Mchael S. Floater September 1, 215 These notes provde an ntroducton to Bézer curves. 1 Bernsten polynomals Recall that a real polynomal of a real varable x R, wth degree n, s a functon of
More informationRemarks on the Properties of a Quasi-Fibonacci-like Polynomial Sequence
Remarks on the Propertes of a Quas-Fbonacc-lke Polynomal Sequence Brce Merwne LIU Brooklyn Ilan Wenschelbaum Wesleyan Unversty Abstract Consder the Quas-Fbonacc-lke Polynomal Sequence gven by F 0 = 1,
More informationFOR WHICH p-adic INTEGERS x CAN k
FOR WHICH p-adic INTEGERS x CAN x BE DEFINED? DONALD M. DAVIS Abstract. Let fn) = n. Frst, we show that f : N Q p s nowhere contnuous n the p-adc topology. If x s a p-adc nteger, we say that fx) s p-defnable
More informationFixed points of IA-endomorphisms of a free metabelian Lie algebra
Proc. Indan Acad. Sc. (Math. Sc.) Vol. 121, No. 4, November 2011, pp. 405 416. c Indan Academy of Scences Fxed ponts of IA-endomorphsms of a free metabelan Le algebra NAIME EKICI 1 and DEMET PARLAK SÖNMEZ
More informationANSWERS. Problem 1. and the moment generating function (mgf) by. defined for any real t. Use this to show that E( U) var( U)
Econ 413 Exam 13 H ANSWERS Settet er nndelt 9 deloppgaver, A,B,C, som alle anbefales å telle lkt for å gøre det ltt lettere å stå. Svar er gtt . Unfortunately, there s a prntng error n the hnt of
More informationProblem Solving in Math (Math 43900) Fall 2013
Problem Solvng n Math (Math 43900) Fall 2013 Week four (September 17) solutons Instructor: Davd Galvn 1. Let a and b be two nteger for whch a b s dvsble by 3. Prove that a 3 b 3 s dvsble by 9. Soluton:
More informationLecture 5 Decoding Binary BCH Codes
Lecture 5 Decodng Bnary BCH Codes In ths class, we wll ntroduce dfferent methods for decodng BCH codes 51 Decodng the [15, 7, 5] 2 -BCH Code Consder the [15, 7, 5] 2 -code C we ntroduced n the last lecture
More informationA New Refinement of Jacobi Method for Solution of Linear System Equations AX=b
Int J Contemp Math Scences, Vol 3, 28, no 17, 819-827 A New Refnement of Jacob Method for Soluton of Lnear System Equatons AX=b F Naem Dafchah Department of Mathematcs, Faculty of Scences Unversty of Gulan,
More informationwhere a is any ideal of R. Lemma 5.4. Let R be a ring. Then X = Spec R is a topological space Moreover the open sets
5. Schemes To defne schemes, just as wth algebrac varetes, the dea s to frst defne what an affne scheme s, and then realse an arbtrary scheme, as somethng whch s locally an affne scheme. The defnton of
More informationarxiv: v1 [math.ho] 18 May 2008
Recurrence Formulas for Fbonacc Sums Adlson J. V. Brandão, João L. Martns 2 arxv:0805.2707v [math.ho] 8 May 2008 Abstract. In ths artcle we present a new recurrence formula for a fnte sum nvolvng the Fbonacc
More information8.6 The Complex Number System
8.6 The Complex Number System Earler n the chapter, we mentoned that we cannot have a negatve under a square root, snce the square of any postve or negatve number s always postve. In ths secton we want
More informationSome basic inequalities. Definition. Let V be a vector space over the complex numbers. An inner product is given by a function, V V C
Some basc nequaltes Defnton. Let V be a vector space over the complex numbers. An nner product s gven by a functon, V V C (x, y) x, y satsfyng the followng propertes (for all x V, y V and c C) (1) x +
More informationIntroduction to Vapor/Liquid Equilibrium, part 2. Raoult s Law:
CE304, Sprng 2004 Lecture 4 Introducton to Vapor/Lqud Equlbrum, part 2 Raoult s Law: The smplest model that allows us do VLE calculatons s obtaned when we assume that the vapor phase s an deal gas, and
More informationSTEINHAUS PROPERTY IN BANACH LATTICES
DEPARTMENT OF MATHEMATICS TECHNICAL REPORT STEINHAUS PROPERTY IN BANACH LATTICES DAMIAN KUBIAK AND DAVID TIDWELL SPRING 2015 No. 2015-1 TENNESSEE TECHNOLOGICAL UNIVERSITY Cookevlle, TN 38505 STEINHAUS
More informationDirichlet s Theorem In Arithmetic Progressions
Drchlet s Theorem In Arthmetc Progressons Parsa Kavkan Hang Wang The Unversty of Adelade February 26, 205 Abstract The am of ths paper s to ntroduce and prove Drchlet s theorem n arthmetc progressons,
More informationWeek 9 Chapter 10 Section 1-5
Week 9 Chapter 10 Secton 1-5 Rotaton Rgd Object A rgd object s one that s nondeformable The relatve locatons of all partcles makng up the object reman constant All real objects are deformable to some extent,
More informationConvexity preserving interpolation by splines of arbitrary degree
Computer Scence Journal of Moldova, vol.18, no.1(52), 2010 Convexty preservng nterpolaton by splnes of arbtrary degree Igor Verlan Abstract In the present paper an algorthm of C 2 nterpolaton of dscrete
More informationC/CS/Phy191 Problem Set 3 Solutions Out: Oct 1, 2008., where ( 00. ), so the overall state of the system is ) ( ( ( ( 00 ± 11 ), Φ ± = 1
C/CS/Phy9 Problem Set 3 Solutons Out: Oct, 8 Suppose you have two qubts n some arbtrary entangled state ψ You apply the teleportaton protocol to each of the qubts separately What s the resultng state obtaned
More information28 Finitely Generated Abelian Groups
8 Fntely Generated Abelan Groups In ths last paragraph of Chapter, we determne the structure of fntely generated abelan groups A complete classfcaton of such groups s gven Complete classfcaton theorems
More informationON MECHANICS WITH VARIABLE NONCOMMUTATIVITY
ON MECHANICS WITH VARIABLE NONCOMMUTATIVITY CIPRIAN ACATRINEI Natonal Insttute of Nuclear Physcs and Engneerng P.O. Box MG-6, 07725-Bucharest, Romana E-mal: acatrne@theory.npne.ro. Receved March 6, 2008
More informationThe Multiple Classical Linear Regression Model (CLRM): Specification and Assumptions. 1. Introduction
ECONOMICS 5* -- NOTE (Summary) ECON 5* -- NOTE The Multple Classcal Lnear Regresson Model (CLRM): Specfcaton and Assumptons. Introducton CLRM stands for the Classcal Lnear Regresson Model. The CLRM s also
More informationAnother converse of Jensen s inequality
Another converse of Jensen s nequalty Slavko Smc Abstract. We gve the best possble global bounds for a form of dscrete Jensen s nequalty. By some examples ts frutfulness s shown. 1. Introducton Throughout
More information