On the size of quotient of two subsets of positive integers.
|
|
- Lora Manning
- 6 years ago
- Views:
Transcription
1 arxv: v1 [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, Q]. 1 Introducton In a memory of Anatoly Alekseevch Karatsuba and Andrey Borsovch Shdlovsky Let A, B be subsets of ntegers of the nterval [1,Q], A wll denote the cardnalty of fnte set A. The sets AB and A/B are called the product and quotent of two sets A, B and are defned as a AB = ab : a A, b B, A/B = b : a A, b B, b 0. Recall that the multplcatve energy E(A, B) of two sets A, B s E(A, B) = a 1 b 1 = a 2 b 2 : a 1, a 2 A; b 1, b 2 B. When the sets are equal, A = B we wll smply wrte E(A) nstead of E(A, A). We note that usng good estmates of E(A, B) one can deduce non-trval lower estmates of the sze of AB but not vce versa the followng well-known nequalty whch s due to Shnrel man [10], whch can be also found n [9]. AB, A/B A 2 B 2 E(A, B). (1) Throughout the paper τ(n) (usual notaton) s the number of dvsors of n. Recall the well-known estmate of τ(n) whch can be found n the book [3], Theorem 5.2, Kaptel 1. (1+o(1)) log n τ(n) 2 log log n, n. (2) 1
2 Usng the above estmate t s easy to prove the followng result. For any fnte set A N such that a A a Q, we have the followng estmates AA A 2 exp ( 2 log 2 + o(1)) E(A) A 2 exp (2 log 2 + o(1)), Q ; (3) Q. (4) The constant 2 log 2 n (2),(3) can not be mproved, see t n the paper [1] for example. Usng (5) one can obtan that A/A A 2 exp ( 2 log 2 + o(1)) Q. (5) Ths bound cannot be mproved very much n general, except for the constant 2 log 2, see t for example n [2]. But there s queston that was posed n the paper [4] relatng to ths, we repeat the formulaton of t bellow. Queston. Is t possble to mprove the coeffcent 2 log 2 n (4)? The purpose of ths note s to gve postve answer to ths queston. So we formulate the man result of ths paper. Theorem 1. There s an absolute constant γ > 0, such that f A, B [1, Q] then we have the followng estmate A/B A B exp ( 2 log 2 + γ + o(1)) One can take γ = The notaton A B n ths paper denotes that A < B exp (o(1)) The paper s organzed as follows: n the next secton we formulate some prelmnary statements. In the thrd secton we gve the proof of Theorem 1. The last secton contans some fnal comments about ths result. 2 Preparatons and prelmnary results We need some defntons and prelmnary lemmas. We begn wth the smooth numbers. For postve nteger n let P + (n) denotes the maxmal prme dvsor of n, and P + (1) = 1. For x y 2 let 2
3 ψ(x, y) = n x : P + (n) y. We need some one upper estmate for ψ(x, y), whch can be found n [5], Theorem 1.4, whch s presented bellow. Lemma 2. Unformly for x y 2, we have where 1 log ψ(x, y) = Z 1 + O( log y + 1 log log x ), Z = Z(x, y) = log x log y log(1 + y log x ) + y log x log(1 + log y y ). Our second lemma gves some upper bound for the number of dvsors of postve nteger wth small redcal. Probably t was known before and we do not pretend on ths fact. Lemma 3. There exsts a functon C(ε) > 0, wth C(ε) 0, f ε 0 and wth the followng property. If n Q, rad(n) Q ε, then τ(n) exp (C(ε)) Proof. Let n = p α p αs s s the prme decomposton of n and p 1 < p 2 <... < p s. Consder the map on the set of dvsors of n π : p t p ls s p t 1 (1)... p ls (s), where p () - s the - ordered prme number, p (1) = 2, p (2) = 3, p (3) = 5,... By Prme Number Theorem f rad(n) Q ε then p (s) < (ε + o(1)) If d n then π(d) Q. So the number of such dvsors d does not exceed ψ(q, (ε + o(1) ). Usng Lemma 2 wth some easy computatons we get the desred property for the functon C(ε). Ths completes the proof of Lemma 3. Let τ(n, z) denotes the number of dvsors of n whch are less or equal to z. In other words τ(n, z) = d : d n, d z. The next proposton we present n the followng lemma. 3
4 Lemma 4. Let n Q, µ(n) 0, z Q δ and δ (0, 1/2]. Then we have the followng estmate τ(n, z) exp (δ log( 1 δ ) + (1 δ) log( 1 1 δ ) + o(1)) Proof. Consder any dvsor d of n and ts prme decomposton: d = p 1... p s. It s easy to see, that s The number n has at most (1+o(1)) (δ+o(1)), Q dfferent prme dvsors. Dong some computatons together wth the asymptotc expresson for bnomal coeffcent ( ) m exp (δ log( 1 δm δ ) + (1 δ) log( 1 1 δ ) + o(1))m, m we get the desred bound. where Let z = Q δ. In the notatons above we n fact have shown that ( ) m τ(n, z) δ m m = [ ], δ = mn(δ, 1 2 ). In fact the condton µ(n) 0 n the prevous lemma can be removed. Lemma 5. Let n Q, z Q δ. Then we have the followng estmate τ(n, z) exp (δ log( 1 δ ) + (1 1 δ ) log( 1 δ )), Q, where δ = mn(δ, 1 2 ). Proof. We may assume that δ < 1, as n the opposte stuaton ths Lemma easly 2 follows from the general estmate for τ(n). Let ε > 0 be small fxed real number and K be fxed large nteger. The proof conssts of several steps and we begn wth the frst one. Step 1. We show that there exsts a presentaton of n n the followng form n = n 1... n s m, where µ(n ) 0, n > Q ε, rad(m) Q ε (We allow the stuaton wth s = 0, where there are no n n ths presentaton.) The argument of the proof s a sort of an algorthm. If rad(n) Q ε then we are done wth n = m. If rad(n) > Q ε then 4
5 n n n = rad(n) and we proceed ths procedure wth nstead of n. It s easy to rad(n) rad(n) see that the algorthm wll be fnshed and we get the desred representaton. Step 2. We can easly get an upper estmate for the number of dvsors of m. Indeed m Q, rad(n) Q ε. We use Lemma 3 and see that τ(n) exp (C(ε)), Q, where C(ε) 0 f ε 0. Step 3. In ths step we ntroduce some defntons. Let the quanttes δ be defned from the denttes n = Q δ. Now we defne Ks ntervals Ω,j 1 s, 1 j K by settng Ω,j = [Q δ j 1 j K, Q δ K ]. Step 4. Any dvsor of n 1... n s can be presented as d 1... d s, d n. Suppose that for any 1 s we fx the nterval Ω,j. Now we wll obtan upper estmate for the number of vectors (d 1,..., d s ), d n and d Ω,j. Each d s a dvsor of n, µ(n ) 0, d Q δ j K. So the number of such d by Lemma 4 does not exceed ( m ) δ,j m where m = [ δ ] and δ,j = mn( 1, j ). Therefore the number of such 2 K vectors (d 1... d s ) s bounded by the product ( ) ( m m ). δ,j m δ,j m 1 s It s easy to see that m. Next we are gong to estmate δ,j m. We see that δ,j 1 m δ δ,j ( ) Now we estmate each term n the last sum. We have j 1 log d [δ K, δ j ] K and δ,j j K. So we can wrte δ,j j δ δ K log d + δ. K Insertng ths nequalty to the expresson (*) we obtan δ,j m δ + 5 δ K
6 Fnally we have that the number of such vectors (d 1,..., d s ) such that d n, d Ω,j (the sets Ω,j are fxed) s bounded by ( ) M, αm where M =, α = mn(1 2, δ(1 + 1 K )). Step 5. Now we obtan an upper bound for the number of dfferent choces of the ntervals Ω,j. Ths number does not exceed K s and s some bounded constant, (whch does not depends on Q). Our Lemma now follows f one uses statements of Steps 2,4,5 and takes suffcently large constant K and suffcently small ε. Lemma 6. For any nteger n > 1 we have log τ(n2 ) log τ(n) log 3 log 2. Proof. Let n = p β p β l l, then log τ(n 2 ) log τ(n) = log(1 + 2β 1) log(1 + 2β l ) log(1 + β 1 ) log(1 + β l ). The last expresson s always less than log 3. Wth that we fnsh the proof of ths log 2 lemma. Next, we ntroduce some notatons. Let n N and let l(n) denotes the maxmal postve nteger m such that m 2 n. We are gong to prove the followng lemma. Lemma 7. Let n be postve nteger, n Q 2 and the quantty c s defned from the equaton τ(n) = exp (2 log 2 c). Then there we have where l(n) Q δ(c)+o(1), Q, δ(c) c 2 log 2 log 3. 6
7 Proof. Let the quantty δ s defned from the equalty l(n) = Q δ. We also may assume that log log l(n) = (1 + o(1)), as n the opposte stuaton the Lemma 7 s true. Usng Lemma 6 and upper estmate for τ(l(n)) we conclude that τ(l 2 (n)) exp (log 3 + o(1)) δ We see that l(n) 2 n and we can wrte exp (2 log 2 c) = τ(n) τ(l(n) 2 n )τ( l(n) ). 2 It s easy to see that the last expresson does not exceed (δ ) exp log 3 + (2 2δ) log 2 + o(1). Comparng ths quantty wth the left-sde expresson n the last nequalty and dong some easy computatons we obtan the desred estmate for δ. Wth that we fnsh the proof of Lemma 7. Now we are ready to prove Theorem 1 and we are gong to the next secton. 3 The proof of Theorem 1 Proof. Let the quantty c be defned from the equalty From the nequalty 1 we see that E(A, B) = A B exp (2 log 2 c) A/B A B exp ( 2 log 2 + c) Our next step s to fnd another lower bound for A/B, ths nequalty wll work well n the case of small c. Let us denote the quantty L from the dentty E(A, B) = A B L, and let r A,B (z) = (a 1, b 1 ) A B : a 1 b 1 = z... Defne the set M 1 = z AB : r A,B (z) L/2 7
8 and We see that and so For nteger 0 let M 2 = AB \ M 1. ra,b(z) 2 A B L/2; z M 1 ra,b(z) 2 A B L/2. z M 2 We see that M 2, = z AB : r A,B (z) (2 1 L, 2 L]. M 2 = 0 M 2,. Hence by pgeonhole prncple there exsts 0 such that r 2 A,B(z) A B exp (2 log 2 c + o(1)) z M 2, Let us fx such and let the quantty c be defned from the dentty 2 L = exp (2 log 2 c ) It s easy to see that c [o(1), c]. Next we wll show that r A,B (z) A B exp (c c + o(1)) z M 2, Indeed,.. A B exp (2 log 2 c+o(1)) r A,B(z) 2 max r A,B (z) r A,B (z). z M 2, z M 2, z M 2, The quantty max z M2, r A,B (z) s less than exp (2 log 2 c ). So nsertng ths bound to the prevous nequalty we get the desred estmate. Next we consder the set G: G = (a 1, b 1 ) A B : a 1 b 1 M 2,. From the prevous estmate G > A B exp 8 (c c + o(1))
9 Next we consder the followng set a1 W = : (a 1, b 1 ) G, b 1 and wll show that W s large. For every element z M 2, we use Lemma 7 and see that where l(z) = Q δ(c )+o(1), Q, δ(c ) c 2 log 2 log 3. Ths means that for every par (a 1, b 1 ) G gcd(a 1, b 1 ) Q δ(c )+o(1). Defne r A/B,G (z) = (a 1, b 1 ) G : a 1 = z. b 1 We can wrte A B exp (c c + o(1)) = G = r A/B,G (z) z W 1/2 Our am s to obtan good upper estmate for z r 2 A/B,G(z) 1/2. σ = z r 2 A/B,G(z). where The σ does not exceed the number of soluton to the equaton We may wrte a 1 b 1 = a 2 b 2, a A; b B gcd(a 1, b 1 ), gcd(a 2, b 2 ) Q δ(c )+o(1). a 1 = tu, b 1 = tv, a 2 = su, b 2 = sv; gcd(u, v) = 1 and t, s Q δ(c )+o(1). Let us fx a 1 and b 2. If for these a 1 and b 2 we choose t and s we then dentfy a 2 and a 3. For any fxed a 1, b 2 the parameters t, s are the dvsors of a 1, b 2 respectvely. These t, s do not exceed Q δ(c )+o(1). Usng Lemma 5 we see that the number of dfferent pars t, s do not exceed exp (2δ(c 1 ) log( δ(c ) ) + 2(1 1 δ(c )) log( 1 δ(c ) ) + o(1)) 9
10 We wll just wrte δ c nstead of δ(c ). And so we conclude that σ < A B exp (2δ c log( 1 1 ) + 2(1 δ c ) log( ) + o(1)) δ c 1 δ c So we can obtan the lower bound for W : W A B exp (2c 2c 2δ c log( 1 δ c 1 ) 2(1 δ c ) log( )+o(1)) 1 δ c Recall that c [o(1), c]. We may assume c It s easy to see that the expresson 2c 2δ c log( 1 δ c takes the smallest value f c = c. So, we can rewrte the last estmate 1 ) 2(1 δ c ) log( ) 1 δ c W A B exp ( 2δ c log( 1 1 ) 2(1 δ c ) log( ) + o(1)), Q, δ c 1 δ c where δ c = δ(c). As t was noted before there s trval estmate A/B A B exp ( 2 log 2 + c). We have these two estmates, one work well wth small c, another work well wth large c. It s easy to see that the explct absolute constant γ > 0 can be taken as the soluton of the followng equaton 2 log 2 + c = 2δ c log( 1 1 ) 2(1 δ c ) log( ), δ c 1 δ c c where δ c =. 2 log 2 log 3 Computer calculatons show that the soluton s equal to , so one can ths value for the γ. Wth that we fnsh the proof of Theorem 1. 4 Fnal remarks One can easly deduce the followng corollary, whch follows from the proof of Theorem 1. 10
11 Corollary 8. Let A, B [1, Q] and E(A, B) = A B exp (2 log 2 + o(1)). Then we have A/B = A B exp (o(1)) In partcular f AB = A B exp ( 2 log 2 + o(1)), Q, then A/B = A B exp (o(1)) Indeed, the the condton AB = A B exp ( 2 log 2 + o(1)) mply E(A, B) = A B exp (2 log 2 + o(1)). It seems that usng more precse arguments for fndng pars (a, b) A B for the set G wth smaller gcd(a, b) may lead to a better coeffcent nstead of Acknowledgements The work s supported by the Russan Scence Foundaton under grant I wsh to thank Serge Konyagn for valuable comments, advces and attenton to ths work. References [1] Shtenkov Yu., On the product sets of ratonal numbers, Proceedngs of the Steklov Insttute of Mathematcs, Vol. 296, 2017, preprnt. [2] J. Clleruelo, D.S.Ramana and O.Ramare, Quotents and product sets of thn subsets of the postve ntegers, Proceedngs of the Steklov Insttute of Mathematcs, Vol. 296, 2017, preprnt. [3] Prachar K. Prmzahlvertelung // Sprnger Verlag Berln Gőttngen Hedelberg, [4] Shtenkov Yu. N. Addendum to the paper Quotents and product sets of thn subsets of the postve ntegers by J. Clleruelo, D.S. Ramana and O. Ramare. // Proceedngs of the Steklov Insttute of Mathematcs, 296, 2017,... [5] Adolf Hldebrand, Gerald Tenenbaum. Integers wthout large prme factors // Journal de Theore des Nombres de Bordeaux 5, (1993), [6] Bourgan J., Konyagn S.V., Shparlnsk I.E. Product sets of ratonals, multplcatve translates of subgroups n resdue rngs and fxed ponts of the dscrete logarthm // Int. Math Research Notces rnn 090, P
12 [7] Clleruelo J. A note on product sets of ratonals // Internatonal Journal of Number Theory, Vol. 12, No. 05, pp (2016) [8] Clleruelo J., Garaev M. Congruences nvolvng product of ntervals and sets wth small multplcatve doublng modulo a prme and applcatons // Math. Proc. Cambrdge Phl. Soc., Vol. 160, Issue 03, pp , May [9] Tao T., Vu V. Addtve combnatorcs // Cambrdge Unversty Press 2006, P [10] Shnrel man L.G. Uber addtve Egenschaften von Zahlen // Mathematsche Annalen, V. 107 (1933), P Steklov Insttute of Mathematcs, Russan Academy of Scence, yursht@yandex.ru 12
Example: (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 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 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 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 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 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 informationBOUNDEDNESS OF THE RIESZ TRANSFORM WITH MATRIX A 2 WEIGHTS
BOUNDEDNESS OF THE IESZ TANSFOM WITH MATIX A WEIGHTS Introducton Let L = L ( n, be the functon space wth norm (ˆ f L = f(x C dx d < For a d d matrx valued functon W : wth W (x postve sem-defnte for all
More informationSUCCESSIVE MINIMA AND LATTICE POINTS (AFTER HENK, GILLET AND SOULÉ) M(B) := # ( B Z N)
SUCCESSIVE MINIMA AND LATTICE POINTS (AFTER HENK, GILLET AND SOULÉ) S.BOUCKSOM Abstract. The goal of ths note s to present a remarably smple proof, due to Hen, of a result prevously obtaned by Gllet-Soulé,
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 informationUsing T.O.M to Estimate Parameter of distributions that have not Single Exponential Family
IOSR Journal of Mathematcs IOSR-JM) ISSN: 2278-5728. Volume 3, Issue 3 Sep-Oct. 202), PP 44-48 www.osrjournals.org Usng T.O.M to Estmate Parameter of dstrbutons that have not Sngle Exponental Famly Jubran
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 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 informationChristian Aebi Collège Calvin, Geneva, Switzerland
#A7 INTEGERS 12 (2012) A PROPERTY OF TWIN PRIMES Chrstan Aeb Collège Calvn, Geneva, Swtzerland chrstan.aeb@edu.ge.ch Grant Carns Department of Mathematcs, La Trobe Unversty, Melbourne, Australa G.Carns@latrobe.edu.au
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 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 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 informationOn the average number of divisors of the sum of digits of squares
Notes on Number heory and Dscrete Mathematcs Prnt ISSN 30 532, Onlne ISSN 2367 8275 Vol. 24, 208, No. 2, 40 46 DOI: 0.7546/nntdm.208.24.2.40-46 On the average number of dvsors of the sum of dgts of squares
More informationA combinatorial proof of multiple angle formulas involving Fibonacci and Lucas numbers
Notes on Number Theory and Dscrete Mathematcs ISSN 1310 5132 Vol. 20, 2014, No. 5, 35 39 A combnatoral proof of multple angle formulas nvolvng Fbonacc and Lucas numbers Fernando Córes 1 and Dego Marques
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 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 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 informationOn the irreducibility of a truncated binomial expansion
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
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 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 informationComplete subgraphs in multipartite graphs
Complete subgraphs n multpartte graphs FLORIAN PFENDER Unverstät Rostock, Insttut für Mathematk D-18057 Rostock, Germany Floran.Pfender@un-rostock.de Abstract Turán s Theorem states that every graph G
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 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 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 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 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 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 information18.781: Solution to Practice Questions for Final Exam
18.781: Soluton to Practce Questons for Fnal Exam 1. Fnd three solutons n postve ntegers of x 6y = 1 by frst calculatng the contnued fracton expanson of 6. Soluton: We have 1 6=[, ] 6 6+ =[, ] 1 =[,, ]=[,,
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 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 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 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 informationAn Introduction to Morita Theory
An Introducton to Morta Theory Matt Booth October 2015 Nov. 2017: made a few revsons. Thanks to Nng Shan for catchng a typo. My man reference for these notes was Chapter II of Bass s book Algebrac K-Theory
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 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 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 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 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 informationStanford University CS359G: Graph Partitioning and Expanders Handout 4 Luca Trevisan January 13, 2011
Stanford Unversty CS359G: Graph Parttonng and Expanders Handout 4 Luca Trevsan January 3, 0 Lecture 4 In whch we prove the dffcult drecton of Cheeger s nequalty. As n the past lectures, consder an undrected
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 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 informationTHE CHVÁTAL-ERDŐS CONDITION AND 2-FACTORS WITH A SPECIFIED NUMBER OF COMPONENTS
Dscussones Mathematcae Graph Theory 27 (2007) 401 407 THE CHVÁTAL-ERDŐS CONDITION AND 2-FACTORS WITH A SPECIFIED NUMBER OF COMPONENTS Guantao Chen Department of Mathematcs and Statstcs Georga State Unversty,
More informationarxiv: v1 [math.ca] 9 Apr 2019
HAUSDORFF DIMENSION OF THE LARGE VALUES OF WEYL SUMS arxv:1904.04457v1 [math.ca] 9 Apr 2019 CHANGHAO CHEN AND IGOR E. SHPARLINSKI Abstract. The authors have recently obtaned a lower bound of the Hausdorffdmenson
More informationA new Approach for Solving Linear Ordinary Differential Equations
, ISSN 974-57X (Onlne), ISSN 974-5718 (Prnt), Vol. ; Issue No. 1; Year 14, Copyrght 13-14 by CESER PUBLICATIONS A new Approach for Solvng Lnear Ordnary Dfferental Equatons Fawz Abdelwahd Department of
More informationThe Degrees of Nilpotency of Nilpotent Derivations on the Ring of Matrices
Internatonal Mathematcal Forum, Vol. 6, 2011, no. 15, 713-721 The Degrees of Nlpotency of Nlpotent Dervatons on the Rng of Matrces Homera Pajoohesh Department of of Mathematcs Medgar Evers College of CUNY
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 information3.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 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 informationThe lower and upper bounds on Perron root of nonnegative irreducible matrices
Journal of Computatonal Appled Mathematcs 217 (2008) 259 267 wwwelsevercom/locate/cam The lower upper bounds on Perron root of nonnegatve rreducble matrces Guang-Xn Huang a,, Feng Yn b,keguo a a College
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 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 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 informationProblem Set 9 Solutions
Desgn and Analyss of Algorthms May 4, 2015 Massachusetts Insttute of Technology 6.046J/18.410J Profs. Erk Demane, Srn Devadas, and Nancy Lynch Problem Set 9 Solutons Problem Set 9 Solutons Ths problem
More informationMATH 241B FUNCTIONAL ANALYSIS - NOTES EXAMPLES OF C ALGEBRAS
MATH 241B FUNCTIONAL ANALYSIS - NOTES EXAMPLES OF C ALGEBRAS These are nformal notes whch cover some of the materal whch s not n the course book. The man purpose s to gve a number of nontrval examples
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 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 informationMATH 5707 HOMEWORK 4 SOLUTIONS 2. 2 i 2p i E(X i ) + E(Xi 2 ) ä i=1. i=1
MATH 5707 HOMEWORK 4 SOLUTIONS CİHAN BAHRAN 1. Let v 1,..., v n R m, all lengths v are not larger than 1. Let p 1,..., p n [0, 1] be arbtrary and set w = p 1 v 1 + + p n v n. Then there exst ε 1,..., ε
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 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 informationMMA and GCMMA two methods for nonlinear optimization
MMA and GCMMA two methods for nonlnear optmzaton Krster Svanberg Optmzaton and Systems Theory, KTH, Stockholm, Sweden. krlle@math.kth.se Ths note descrbes the algorthms used n the author s 2007 mplementatons
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 informationJ. Number Theory 130(2010), no. 4, SOME CURIOUS CONGRUENCES MODULO PRIMES
J. Number Theory 30(200, no. 4, 930 935. SOME CURIOUS CONGRUENCES MODULO PRIMES L-Lu Zhao and Zh-We Sun Department of Mathematcs, Nanjng Unversty Nanjng 20093, People s Republc of Chna zhaollu@gmal.com,
More informationA Bayes Algorithm for the Multitask Pattern Recognition Problem Direct Approach
A Bayes Algorthm for the Multtask Pattern Recognton Problem Drect Approach Edward Puchala Wroclaw Unversty of Technology, Char of Systems and Computer etworks, Wybrzeze Wyspanskego 7, 50-370 Wroclaw, Poland
More informationA combinatorial problem associated with nonograms
A combnatoral problem assocated wth nonograms Jessca Benton Ron Snow Nolan Wallach March 21, 2005 1 Introducton. Ths work was motvated by a queston posed by the second named author to the frst named author
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 informationAppendix for Causal Interaction in Factorial Experiments: Application to Conjoint Analysis
A Appendx for Causal Interacton n Factoral Experments: Applcaton to Conjont Analyss Mathematcal Appendx: Proofs of Theorems A. Lemmas Below, we descrbe all the lemmas, whch are used to prove the man theorems
More informationarxiv: v1 [math.nt] 12 Sep 2018
ON p-adic VALUATIONS OF COLORED p-ary PARTITIONS arxv:180904628v1 [mathnt] 12 Sep 2018 MACIEJ ULAS AND B LAŻEJ ŻMIJA Abstract Letm N 2 andforgven k N + consderthesequence (A m,k (n n N defned by the power
More informationP.P. PROPERTIES OF GROUP RINGS. Libo Zan and Jianlong Chen
Internatonal Electronc Journal of Algebra Volume 3 2008 7-24 P.P. PROPERTIES OF GROUP RINGS Lbo Zan and Janlong Chen Receved: May 2007; Revsed: 24 October 2007 Communcated by John Clark Abstract. A rng
More informationOn Some Developments of the Erdős-Ginzburg-Ziv Theorem II (personal/extended copy)
On Some Developments of the Erdős-Gnzburg-Zv Theorem II (personal/extended copy) Are Balostock, Paul Derker, Davd Grynkewcz and Mark Lotspech August 19, 2001 Abstract. Let S be a sequence of elements from
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 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 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 informationEstimation: Part 2. Chapter GREG estimation
Chapter 9 Estmaton: Part 2 9. GREG estmaton In Chapter 8, we have seen that the regresson estmator s an effcent estmator when there s a lnear relatonshp between y and x. In ths chapter, we generalzed the
More informationNOTES FOR QUANTUM GROUPS, CRYSTAL BASES AND REALIZATION OF ŝl(n)-modules
NOTES FOR QUANTUM GROUPS, CRYSTAL BASES AND REALIZATION OF ŝl(n)-modules EVAN WILSON Quantum groups Consder the Le algebra sl(n), whch s the Le algebra over C of n n trace matrces together wth the commutator
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 informationZhi-Wei Sun (Nanjing)
Acta Arth. 1262007, no. 4, 387 398. COMBINATORIAL CONGRUENCES AND STIRLING NUMBERS Zh-We Sun Nanng Abstract. In ths paper we obtan some sophstcated combnatoral congruences nvolvng bnomal coeffcents and
More informationCOMBINATORIAL IDENTITIES DERIVING FROM THE n-th POWER OF A 2 2 MATRIX
COMBINATORIAL IDENTITIES DERIVING FROM THE n-th POWER OF A MATRIX J Mc Laughln 1 Mathematcs Department Trnty College 300 Summt Street, Hartford, CT 06106-3100 amesmclaughln@trncolledu Receved:, Accepted:,
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 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 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 informationarxiv: v2 [math.ca] 24 Sep 2010
A Note on the Weghted Harmonc-Geometrc-Arthmetc Means Inequaltes arxv:0900948v2 [mathca] 24 Sep 200 Gérard Maze, Urs Wagner e-mal: {gmaze,uwagner}@mathuzhch Mathematcs Insttute Unversty of Zürch Wnterthurerstr
More information5 The Rational Canonical Form
5 The Ratonal Canoncal Form Here p s a monc rreducble factor of the mnmum polynomal m T and s not necessarly of degree one Let F p denote the feld constructed earler n the course, consstng of all matrces
More informationCurvature and isoperimetric inequality
urvature and sopermetrc nequalty Julà ufí, Agustí Reventós, arlos J Rodríguez Abstract We prove an nequalty nvolvng the length of a plane curve and the ntegral of ts radus of curvature, that has as a consequence
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 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 informationEXPANSIVE MAPPINGS. by W. R. Utz
Volume 3, 978 Pages 6 http://topology.auburn.edu/tp/ EXPANSIVE MAPPINGS by W. R. Utz Topology Proceedngs Web: http://topology.auburn.edu/tp/ Mal: Topology Proceedngs Department of Mathematcs & Statstcs
More informationTHE ARIMOTO-BLAHUT ALGORITHM FOR COMPUTATION OF CHANNEL CAPACITY. William A. Pearlman. References: S. Arimoto - IEEE Trans. Inform. Thy., Jan.
THE ARIMOTO-BLAHUT ALGORITHM FOR COMPUTATION OF CHANNEL CAPACITY Wllam A. Pearlman 2002 References: S. Armoto - IEEE Trans. Inform. Thy., Jan. 1972 R. Blahut - IEEE Trans. Inform. Thy., July 1972 Recall
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 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 informationA First Order q-difference System for the BC 1 -Type Jackson Integral and Its Applications
Symmetry Integrablty and Geometry: Methods and Applcatons SIGMA 5 2009 041 14 pages A Frst Order -Dfference System for the BC 1 -Type Jackson Integral and Its Applcatons Masahko ITO Department of Physcs
More informationGenericity of Critical Types
Genercty of Crtcal Types Y-Chun Chen Alfredo D Tllo Eduardo Fangold Syang Xong September 2008 Abstract Ely and Pesk 2008 offers an nsghtful characterzaton of crtcal types: a type s crtcal f and only f
More informationCONJUGACY IN THOMPSON S GROUP F. 1. Introduction
CONJUGACY IN THOMPSON S GROUP F NICK GILL AND IAN SHORT Abstract. We complete the program begun by Brn and Squer of charactersng conjugacy n Thompson s group F usng the standard acton of F as a group of
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 informationLecture 4: Constant Time SVD Approximation
Spectral Algorthms and Representatons eb. 17, Mar. 3 and 8, 005 Lecture 4: Constant Tme SVD Approxmaton Lecturer: Santosh Vempala Scrbe: Jangzhuo Chen Ths topc conssts of three lectures 0/17, 03/03, 03/08),
More informationDeriving the X-Z Identity from Auxiliary Space Method
Dervng the X-Z Identty from Auxlary Space Method Long Chen Department of Mathematcs, Unversty of Calforna at Irvne, Irvne, CA 92697 chenlong@math.uc.edu 1 Iteratve Methods In ths paper we dscuss teratve
More informationEigenvalues of Random Graphs
Spectral Graph Theory Lecture 2 Egenvalues of Random Graphs Danel A. Spelman November 4, 202 2. Introducton In ths lecture, we consder a random graph on n vertces n whch each edge s chosen to be n the
More information