Counting partitions inside a rectangle
|
|
- Madeleine French
- 5 years ago
- Views:
Transcription
1 Counting partitions inside a rectangle Stephen Melczer, Greta Panova, and Robin Peantle May 2, 28 Abstract We consider the nuber of partitions of n whose Young diagras fit inside an l rectangle; equivalently, we study the coefficients of the q-binoial coefficient ) +l. We obtain sharp asyptotics q throughout the regie l = Θ) and n = Θ 2 ). Previously, sharp asyptotics were derived by Takács [Tak86] only in the regie where n l/2 = O ll + )) using a local central liit theore. Our approach is to solve a related large deviation proble: we describe the tilted easure that produces configurations whose bounding rectangle has the given aspect ratio and is filled to the given proportion. Our results are sufficiently sharp to yield the first asyptotic estiates on the consecutive differences of these nubers when n is increased by one and, l reain the sae, hence significantly refining Sylvester s uniodality theore. AMS subject classification: 5A5, 6C5, 6F5, 6F; Key words and phrases: partitions, q-binoial coefficients, large deviations, local CLT. University of Pennsylvania Departent of Matheatics 29 South 33rd Street Philadelphia, PA 94 {selczer,panova,peantle}@ath.upenn.edu Melczer partially supported by an NSERC postdoctoral fellowship and NSF grant DMS Panova partially supported by NSF grant DMS-5834 and IAS von Neuann Fellowship Peantle partially supported by NSF grant DMS
2 Introduction A partition λ of n is a sequence of weakly decreasing nonnegative integers λ = λ λ 2...) whose su λ = λ +λ 2 + is equal to n. The study of integer partitions is a classic subject with applications ranging fro nuber theory to representation theory and cobinatorics. Integer partitions with various restrictions on properties, such as part sizes or nuber of parts, occupies the field of partition theory [And76]. The generating functions for integer partitions play a role in nuber theory and the theory of odular fors. In representation theory, integer partitions index the conjugacy classes and irreducible representations of the syetric group S n ; they are the signatures of the irreducible polynoial representation of GL n. Partitions also give a basis for the ring of syetric functions. More recently, partitions have appeared in the study of interacting particle systes and other statistical echanics odels. The nuber of partitions of n, typically denoted by pn) but here unconventionally by N n, was iplicitly deterined by Euler via the generating function N n q n = q i. n= There is no exact explicit forula for the nubers N n. The asyptotic forula N n := #{λ n} ) 2n 4n 3 exp π, ) 3 obtained by Hardy and Raanujan [HR8], is considered to be the beginning of the use of coplex variable ethods for asyptotic enueration of partitions the so-called circle ethod). Our goal is to obtain asyptotic forulas siilar to ) for the nuber of partitions λ of n whose Young diagra fits inside an l rectangle, denoted i= N n l, ) := #{λ n : λ l, lengthλ) }. These nubers are also the coefficients in the expansion of the q-binoial coefficient ) l + q = l+ i= qi ) l i= qi ) i= qi ) = l n= N n l, )q n. The q-binoial coefficients are theselves central to enuerative and algebraic cobinatorics. They are the generating functions for lattice paths restricted to rectangles and taking only north and east steps under the area statistic, given by the paraeter n. They are also the nuber of l-diensional subspaces of Fq l+ and appear in any other generating functions as the q-analogue generalization of the ubiquitous binoial coefficients. Notably, the nubers N n l, ) for a syetric uniodal sequence = N l, ) N l, ) N l/2 l, ) N l l, ) =, a fact conjectured by Cayley in 856 and proven by Sylvester in 878 via the representation theory of sl 2 [Syl78]. One hundred forty years later, no previous asyptotic ethods have been able to prove this uniodality. Our ain result is an asyptotic forula for N n l, ) in the regie l/ A and n/ 2 B for any fixed A > B >. This is the regie in which a liit shape of the partitions exists: l/ A iplies the We use the notation N n to distinguish scenarios of probability with those of enueration, both of which occur in the present anuscript.
3 aspect ratio has a liit and n/ 2 B, A) iplies the portion of the l rectangle that is filled approaches a value that is neither zero nor. The existence of a liit shape was not previously verified for this regie but follows fro our ethods see Section 3 below). By asyptotic forula we ean a forula giving N n l, ) up to a factor of + o); such asyptotic equivalence is denoted with the sybol. By the obvious syetry N n l, ) = N l n l, ) it suffices to consider only the case A 2B >. To state our results, given A 2B > we define three quantities c, d and. The quantities c and d are the unique positive real solutions see Lea 7) to the siultaneous equations A = B = e c dt dt = d log where we recall the dilogarith function e c+d ) e c, 2) t e c dt dt 2 = d log e c d ) + dilog e c ) dilog e c d ) d 2, 3) dilog x) = x log t t dt = k= x) k for x <. The quantity, which will be seen to be strictly positive, is defined by = 2Bec e d ) + 2Ae c ) d 2 e d+c )e c ) k 2 A2 d 2. 4) Theore. Given, l and n, let A := l/ and B := n/ 2 and define c, d and as above. Let K be any copact subset of {x, y) : x 2y > }. As with l and n varying so that A, B) reains in K, where c and d vary in a Lipschitz anner with A, B) K. e )] [ca+2db log e c d N n l, ) 2π 2 e c ) e c d ), 5) Reark. In the special case B = A/2, the paraeters take on the eleentary values ) A + d =, c = log, and = A2 A + ) 2. A 2 In this case we understand the exponent and leading constant to be their liits as d, giving [ ] 3 A + ) A+ N A2 /2A, ) Aπ 2 A A. To explain Theore we consider the special case B = A/2, when the Young diagra fills half the area of the rectangle. Takács [Tak86] observed that for typical partitions of this type, the gaps between part sizes behave like independent geoetric rando variables with ean A. Counting the partitions is therefore equivalent as further explained below) to coputing the probability that these + geoetric rando variables will su to precisely l and that the area of the ensuing Young diagra will be precisely n. A local central liit theore iediately yields a sharp asyptotic estiate. With further work, Takács obtained bounds on the relative error that are of order + l) 3. These error bounds are eaningful for n differing fro l/2 by up to a few ultiples of log + l) standard deviations. If l = θ), this eans that B A/2 2 = Θ 3/2 log ). When B A/2 /2 log, the error is uch bigger than the ain ter of the Gaussian estiate provided by the LCLT. 2
4 We circuvent this liitation on the use of the LCLT using a technique fro the theory of large deviations. Specifically, we eploy a so-called tilted easure for which axiu likelihood occurs at any desired pair A, B). The tilted easure replaces the IID geoetric rando variables by independent but not identically distributed geoetric rando variables, where the paraeter p i for the ith variable varies in a log-linear anner. This requires extending a two-variable lattice LCLT to handle non-identically distributed suands. While this result, Lea 4, is copletely predictable, we could not find it in the literature, hence we include a proof in the Appendix. Previous results on N n ) and N n l, ) There are nuerous previous results on N n ), the nuber of partitions of n with part sizes bounded by. Erdös and Lehner [EL4] showed N n ) n! )! for = on /3 ) in 94, which was generalized by Szekeres, and others, ultiately leading to asyptotics of N n ) for all in 953 [Sze53]. Szekeres siplified his arguents a nuber of ties, ultiately giving asyptotics using only a saddle-point analysis, without needing results on odular functions. His arguent has been referred to as the Szekeres circle ethod. Mann and Whitney [MW47] showed, through the study of an equivalent statistical proble, that the size of a unifor rando partition in the l rectangle satisfies a noral distribution. As previously noted, Takács [Tak86] used a local central liit theore to show that when l + N n l, ) l ) φ n l/2 σ l, ) n l/2 < Kσ l, = O ll + ), ) σ l, 6) where σ l, = ll + + )/2, φx) = e x2 /2 / 2π, and K is a positive constant; see also [AA9]. Figure shows the predicted exponential growth of Takács copared to the actual exponential growth of partitions outside the valid asyptotic region. Figure : Exponential growth of N B 2, ) predicted by Takács forula blue, above) copared to the actual exponential growth given by Theore red, below). The results of Erdös and Lehner [EL4] iply that the expected axial part and thus also nuber of parts) in a partition of size n is typically f n logf n ), where f n := 6n π. Near this expected axiu, N n) 3
5 behaves like a doubly-exponential distribution in [Sze9]. When 6n log n 6 n 3/4 < l, < 4π π log n Szekeres [Sze9, Theore ] used saddle-point techniques to express N n l, ) in ters of N n, λ := µ := π 6n. If, in fact, ) 6n 6n log n π 4 + ε log n < l, < π πl 6n and for soe ε >, then the distributions defined by l and are independent and equal, and Szekeres forula siplifies to [ 6n N n l, ) N n exp λ + µ) e λ + e µ)]. π The Szekeres circle ethod has ore recently been applied to the study of partitions by Richond [Ric8]. Uniodality Sylvester s proof of uniodality of N n l, ) in n [Syl78], and ost subsequent proofs [Sta84, Sta85, Pro82], are algebraic, viewing N n l, ) as diensions of certain vector spaces, or their differences as ultiplicities of representations. While there are also purely cobinatorial proofs of uniodality, notably O Hara s [O H9] and the ore abstract one in [PR86], they do not give the desired syetric chain decoposition of the subposet of the partition lattice. These ethods do not give ways of estiating the asyptotic size of the coefficients or their difference. It is now known that N n l, ) is strictly uniodal [PP3], and the following lower bound on the consecutive difference was obtained in [PP7, Theore.2] using a connection between integer partitions and Kronecker coefficients: N n l, ) N n l, ).4 2 s where n l/2 and s = in{2n, l 2, 2 }. In particular, when l = we have s = 2n., 7) s9/4 Any sharp asyptotics of the difference appears to be out of reach of these algebraic ethods, however as a consequence of Theore we obtain the following estiate. Theore 2. Given, l and n, let A := l/ and B := n/ 2 and define d as above. Suppose, l and n go to infinity so that A, B) reains in a copact subset of {x, y) : x 2y > } and n l/2. Then N n+ l, ) N n l, ) d N nl, ). Reark. The condition n l/2 is equivalent to A B/2 and also to d / O ). It is autoatically satisfied whenever K is a copact subset of {x, y) : x > 2y > }. 4
6 2 A discretized analogue to Theore Large deviations heuristic Although we do not need to invoke any results fro the theory of large deviations, it ight be helpful to know the LD origins of the probability odel by which the proof of Theore is reduced to a local central liit theore. The proof of Takács result ay be suarized as follows. Let {λ j : j } denote the parts, in decreasing size, of a partition of n into at ost parts of size at ost l, padded with zeros at the end if necessary. Defining λ := l and λ + :=, the nubers x j := λ j λ j+ satisfy the following two identities see Figure 2), x j = l ; jx j = n. 8) j= j= l λ λ 2 x x x ix i λ i λ i+ x i λ Figure 2: The total area n of a partition is coposed of rectangles of area jx j By the reduced geoetric distribution with paraeter p we ean one less than a geoetric with ean /p; that is, X has this distribution if PX = k) = p q k where q := p. Let {X j : j } be a collection of independent reduced geoetric rando variables with paraeter p = /2. This distribution has the crucial property that for any set of values x,..., x, the probability PX j = x j : j =,..., ) depends only on the su l := j= x j and is equal to p + q l. Let P l) denote the su of PX = x) over all + )-vectors x with coordinate su l. If Nl) denotes the nuber of such vectors suing to l, we see iediately that P l) = p + q l Nl), hence Nl) [p + q l ]. In fact, this inequality is good because P l) is not all that sall: it is of order /2. Now let Nl, n) count those vectors satisfying both identities in 8) and P l, n) be the probability that the geoetric variables lie in this set. Takács gave a sharp asyptotic estiate of P l, n) c 2 when n = 2 /2 + O 3/2 ), thereby showing that Nl, n) c 2 [p + q l ]. Central liit theores do not provide a sharp estiate when n 2 /2 3/2. However, because the constraints on the vectors counted by Nl, n) are linear, the theory of large deviations [DZ98] iplies that P l, n) is well estiated by tilting the independent laws of the {X j } so that one is in the central liit regie of the tilted laws. Having solved for the correct tilt, we ay dispense with the LD theory and prove the estiates directly. Tilting preserves the reduced geoetric faily, altering only the paraeters; it turns out that the correct tilt akes q j := p j log-linear. 5
7 Stateent of discretized result With c, d to be specified later, let q j := e c jd/, let p j := q j and let L := log p j. j= Let P be a probability law aking the rando variables {X j : j } independent reduced geoetrics with respective paraeters p j. Define rando variables S and T by S := X i ; T := ix i, 9) i= corresponding to the unique partition λ satisfying X j = λ j λ j+. We first prove a result siilar to Theore, except that the paraeters c and d that solve integral Equations 2) and 3) are replaced by c and d satisfying the discrete suation Equations ) and ) below. These equations say that ES = l and ET =. Writing this out, using EX j = /p j = / e c dj/), gives l = j= n = i= + ) ) e c dj/ j/ + ). ) e c dj/ 2 j= Let M denote the covariance atrix for S, T ). The entries ay be coputed fro the basic identity Var X j ) = q j /p 2 j, resulting in e c dj/ Var S ) = ) e c 2 2) d j/ Cov S, T ) = Var T ) = j= e c dj/ j ) e c 2 3) d j/ j= j= j 2 e c dj/ e c d j/ ) 2. 4) Theore 3 discretized analogue). Let c and d satisfy ) ). Define α, β and γ n to be the noralized entries of the covariance atrix α := Var S ) ; β := 2 Cov S, T ) ; γ := 3 Var T ), which are O) as. Again, let A := l/ and B := n/ 2 and := α γ β. 2 Then { N n l, ) 2π 2 exp L )} + c A + d B. 5) Proof of discretized result The atoic probabilities P X = x) depend only on S and T as log P X = x) = log p j + x j log q j ) j= 6
8 = L j= = L c c + j d j= x j ) x j d jx j. j= In particular, for any x satisfying 8), log PX = x) = L c l d n. 6) These three things are equivalent: i) the vector X satisfies the identities 8); ii) the pair S, T ) is equal to l, n); iii) the partition λ = λ,..., λ ) defined by λ j λ j+ = X j for 2 j, together with λ = l X and λ = X, is a partition of n fitting inside a l rectangle. Thus, N n l, ) = P [S, T ) = l, n)] exp L + c l + d ) n [ = P [S, T ) = l, n)] exp L )] + c A + d B. 7) Coparing 5) to 7), the proof is copleted by an application of the following LCLT, for which a proof is given in the Appendix. This result is stated for an arbitrary sequence of paraeters p,..., p bounded away fro and, though we need it only for p j = e c dj/. For a 2 2 atrix M, denote by Ms, t) := [s, t] M [s, t] T the corresponding quadratic for. Lea 4 LCLT). Fix < δ < and let p,..., p be any real nubers in the interval [δ, δ]. Let {X j } be independent reduced geoetrics with respective paraeters {p j }, S := j= X j, and T := j= jx j. Let M be the covariance atrix for S, T ), written ) α β M = 2 β 2 γ 3, Q denote the inverse atrix to M, and = 4 det M = α γ β. 2 Let µ and ν denote the respective eans ES and ET. Denote p a, b) := PS, T ) = a, b)). Then sup 2 p a, b) a,b Z 2πdet M ) /2 e 2 Qa µ,b ν) 8) as, uniforly in the paraeters {p j } in the allowed range. In particular, if the sequence a, b ) satisfies Q a µ, b ν ) then PS = a, T = b ) = 2π + O 3/2)). 2 The following consequence will be used to prove Theore 2. Corollary 5 LCLT consecutive differences). Let N a, b) := e 2πdet M) /2 2 Qa µ,b ν) be the noral approxiation in Equation 8). Using the notation of Lea 4, sup pa, b + ) pa, b) N a, b + ) N a, b) ) = O 4 ). a,b Z 7
9 3 Liit shape Using the independent rando variables X i we can derive the liit shape for the partitions of n inside a rectangle; i.e., the curve which approxiates ost Young diagras of λ n. The existence of the liit j curve follows fro the easy fact that the axiu discrepancy ax j i= X i /p i ), conditional on i= X i = l, is o) in probability. We now discuss how to copute the liit shape function x Eλ x. A, B) =, /k) k = 2,..., 5 A, B) = 5/k, /k) k = 2,..., 5 Liit curve of A, B) =, /3) and rando partitions of size 2, 2 and 3. Figure 3: Liit shapes of scaled partitions as. Let λ be a partition defined by X, X,... in our setup. Then λ i = l X + X + + X i ) and hence E[λ i ] = l i j= /p j ). Using the integral approxiation, setting i := x we have that y := E [ ] x λi = A + x e c dt dt = A + x d ln e xd+c ) e c, and the liit curve of partitions scaled to the A rectangle is given by points x, y) satisfying this equation. It can be rewritten, after expressing c in ters of d, as when A > 2B, and e A+)d = e d )e da y) + e Ad )e d x) 9) = e c )e da y) + e c e dx, y = A x) when A = 2B and d = ; see Figure 3 for soe exaples of liit curves. Note that the transforation x, y) x, A y) gives the shape of the copleentary partition inside the A rectangle. 4 Existence and Uniqueness of c, d We now show that for any A 2B > there exists unique positive constants c and d satisfying Equations 2) and 3). If A = B/2 then d = and c can be deterined uniquely, so we ay assue A > 2B >. The following lea will be used to show uniqueness. 8
10 Lea 6. Let ψ denote the ap taking the pair c, d) to A, B) defined by the two integrals in Equations 2) and 3), and let K be a copact subset of {x, y) : x > 2y > }. The Jacobian atrix J := D[ψ] is negative definite for all c, d), ) 2, and all entries of ψ and J respectively ψ and J ) are Lipshitz continuous on ψ [K] respectively K). Proof. Differentiating under the integral sign shows that the partial derivatives coprising the entries of D[ψ] are given by J A,c = J A,d = J B,c = J B,d = e c+dt) e c+dt) ) 2 dt t e c+dt) e c+dt) ) 2 dt t e c+dt) e c+dt) ) 2 dt t 2 e c+dt) e c+dt) ) 2 dt ; note that each ter is negative. Let ρ denote the finite easure on [, ] with density e c+dt) / e c+dt) ) 2 and let E ρ denote expectation with respect to ρ. Then and J A,c = E ρ [ ], J A,d = J B,c = E ρ [ t], J B,d = E ρ [ t 2 ], det J = E ρ [] E ρ [t 2 ] E ρ [t]) 2 = E ρ [] 2 Var σ [t], where Var σ [t] denotes the variance of t with respect to the noralized easure σ = ρ/e ρ []. In particular, det J is positive, and bounded above and below when c and d are bounded away fro, iplying the stated results on Lipshitz continuity. As J is real and syetric, it has real eigenvalues. Since the trace of J is negative while its deterinant is positive, the eigenvalues of J have negative su and positive product, eaning both are strictly negative and J is negative definite for any c, d >. Lea 7. For any A > and B, A/2) there exist unique c, d > satisfying Equations 2) and 3). Moreover, for a fixed A, when B decreases fro A/2 to, d increases strictly fro to and c decreases strictly fro log ) A+ A to. Proof. Solving Equation 2) for c assuing d ) gives e A+)d ) c = log. e A+)d e d Substituting this into Equation 3) gives an explicit expression for B in ters of A and d, and shows that for fixed A > as d goes fro to infinity B goes fro A/2 to. By continuity, this iplies the existence of the desired c and d. It also shows that, for a fixed A, c is a decreasing function of d with the given axial and inial values as d goes fro to. To prove uniqueness, we note that for x, y R 2 Stokes theore iplies so that ψy) ψx) = x y) T ψy) ψx)) = D[ψ] tx + t)y) x y) dt [ x y)t D[ψ] tx + t)y) x y) ] dt. 9
11 When x y, negative-definiteness of D[ψ] iplies that the last integrand is strictly negative on [, ], and ψy) ψx). Thus, distinct values of c and d give distinct values of A and B. To see the onotonicity, let A be fixed and let F B d) = B be the equation obtained after substituting c = ca, d) above in equation 3), i.e. F B d) = ψ 2 ca, d), d). Then d is a decreasing function of B and vice versa since F B d) d = J B,dJ A,c J A,d J B,c J A,c = det D[ψ] J A,c <. 5 Proof of Theore fro the discretized result Here we show how c and d fro the discretized result are related to c, d defined independently of. The proof below also shows that c and d exist and are unique. The Euler-MacLaurin suation forula [db58, Section 3.6] gives an expansion L = log e c dt ) dt + log e c ) + log e c d ) 2 + O 2 ) = dilog ) dilog e e c d c ) + log ) + log e e c c d ) + O 2 ) 2) d 2 of the su L in ters of c and d. Assue that there is an asyptotic expansion c = c + u + O 2 ) 2) d = d + v + O 2 ) 22) as, where u and v are constants depending only on A and B. Under such an assuption, substitution of Equations 2) and 22) into Equation 2) iplies L = dilog e c d ) dilog e c ) ua + vb + + O 2 ) d = log e c d ua + vb ) db + + O 2 ). 23) Substituting Equations 2) 23) into Equation 5) of Theore 3 and taking the liit as then gives Theore, as e c dt ) e c dt ) 2 dt t 2 e c dt ) e c dt ) 2 dt te c dt ) 2 e c dt ) 2 dt =. It reains to show the expansions in Equations 2) and 22). For x, y >, define S x, y) := T x, y) := j= j= e x+yj/), j/ e x+yj/) 2.
12 Another application of the Euler-MacLaurin suation forula iplies with S c, d) = A + A c, d) + O 2 ), 24) T c, d) = B + B c, d) + O 2 ), 25) A = ) 2 e c + e c d and B = Let J denote the Jacobian D[ψ] of the ap ψ with respect to c and d, and let c, d ) = c, d) J A, B /2) T. A Taylor expansion around the point c, d) gives ) ) S c, d ) S c, d) T c, d = J + O )) ) T c, d) ) A / = + O 2) B /2 ) S c =, d ) + O 2), T c, d ) 2 e c d ). J A B )) + O 2 ) where Equations 24) and 25) were used to approxiate the Jacobian of ψ : x, y) S x, y), T x, y) ) with respect to x and y. The ap ψ is Lipschitz for a siilar reason as its continuous analogue. Naely, consider the partial derivatives J S,x = j= J S,y = 2 j= J T,x = 2 j= J S,y = 3 j= e x yj/ e x yj/ ) 2 j e x yj/ e x yj/ ) 2 j e x yj/ e x yj/ ) 2 j2 e x yj/ e x yj/ ). 2 Let ρ be a discrete finite easure on R := {, /, 2/,..., } with density e x yt / e x yt ) for t R and otherwise, and let E ρ be the expectation with respect to ρ. Then and J S,x = E ρ [ ], J T,x = J S,y = E ρ [ t], J T,y = E ρ [ t 2 ] det D[ψ ] = E ρ []E ρ [t 2 ] E ρ [t] 2 = E ρ [] 2 Var σ [t], where σ is the probability function ρ /E ρ []. For any fixed and x, y) in a copact neighborhood of A, B), both the variance and the expectation are finite and bounded away fro, as is the Jacobian deterinant. Moreover, the trace TrD[ψ] = E ρ [ + t 2 ] is bounded away fro and infinity, so the Jacobian is negative definite with locally bounded eigenvalues, and hence ψ is locally Lipschitz. Since the nor of the Jacobian is bounded away fro and infinity, we have that the inverse ap ψ is also locally Lipschitz in a neighborhood of ψ A, B). Moreover, siilarly to proof of existence and uniqueness of c and
13 d in Section 4, we have that there indeed are c and d as unique solutions of Equations ) and ) since the Jacobian is negative sei-definite. The trapezoid forula iplies J S,c J A,c = O ), and siilar bounds for the other differences of partial derivatives in the continuous and discrete settings. Hence, the bounds for the nors and eigenvalues of D[ψ ] are within O ) of the ones for D[ψ], and ψ and its inverse) is Lipschitz with a constant independent of. Thus, O 2 ) = ψ c, d ) ψ c, d ) C c c, d d ) for soe constant C, so that the expansions 2) and 22) hold. 6 Proof of Theore 2 We will prove Theore 2 fro Equation 7) and Corollary 5. Let p l, n) = P [S, T ) = l, n)] and let Then c and d are the solutions to L x, y) := A x, y) := B x, y) := log e x yj/ ), 26) j= + ), 27) e x yj/ j= j= j/ e + x yj/ 2 A c, d ) = l = A, B c, d ) = n/ = B.. 28) Let c, d be the solutions to A c, d ) = l and B c, d ) = n+)/, and let x = c c = O 2 ) and y = d d = O 2 ) by the Lipschitz properties proven in Section 4. Observe that L x, y) x = A x, y) and L x, y) y = B x, y). 29) Using the Taylor expansion for L c, d ) around c, d ) and the L partial derivatives fro Equation 29), L c, d ) = L c + x, d + y) = L c, d ) x A c, d ) y B c, d y ) + O 3 ), so that L c, d ) + c + x)l + d + y)n + ) = L c, d ) + c l + d n + ) + O 3 ). To lighten notation, we now write L := L c, d ) and L := L c, d ). Then [ ] [ N n+ l, ) N n l, ) = p l, n + ) exp L + c l + d n + ) p l, n) exp L + c l + d ] n [ = p l, n) exp L + c l + d ] [ n e d/ ] 3) [ + [p l, n + ) p l, n)] exp L + c l + d ] n + ) 3) 2
14 We now bound each of these suands. + p l, n + ) e L +c l+d n+)/ e L+cl+dn+)/). 32) Since d = d + O ), Equation 7) iplies that the quantity on line 3) equals ) d N n l, ) + O 2 ) as long as d / O ). This holds when A B/2 / O ) as d = when A = B/2 and the ap taking A, B) to c, d) is Lipschitz. By Corollary 5, [p l, n + ) p l, n)] N l, n + ) N l, n) + O 4 ) ) = O 2 e 2 Q,) + O 4 ) = O 4 ), where Q is the inverse of the covariance atrix of S, T ). O 4 2 N n l, )) = O 2 N n l, )). Let Thus, the quantity on line 3) is [ ψ := exp L + c l + d n + ) L + c l + d n + ) ) ] = O 3 ). As p l, n + ) = p l, n) + O 4 ), it follows that the quantity on line 32) is p l, n + ) e L+cl+dn+)/ ψ = N n l, ) ψ e d/ + O 4 e d/ e L+cl+dn/ ψ ) = O 3 N n l, )). Putting everything together, as desired. N n+ l, ) N n l, ) = N n l, ) ) d + O 2 ), Appendix: Proof of the Local Central Liit Theore Throughout this section, /2 δ > is fixed and {p j : j } are arbitrary nubers in [δ, δ]. The variables {X j } and S, T ) are as in Lea 4; we drop the index on the reaining quantities α, β, γ,, µ, ν, p a, b) and the atrices M and Q. Recall the quadratic for notation Ms, t) := [s, t] M [s, t] T. Lea 8. The constants α, β, γ and are bounded below and above by positive constants depending only on δ. [ Proof: Upper and lower bounds on α, β and γ are eleentary: α [ ] δ δ) and γ, 3 δ) 2 3δ 2. The upper bound on follows fro these. 3 δ δ), δ) 2 δ 2 ] [, β δ δ), 2 δ) 2 2δ 2 ]
15 ) For the lower bound on, let M αn β = n denote M without the factors of. We show is β n γ n bounded fro below by the positive constant 4 3)δ/6. A lower bound for the deterinant of M is λ 2 where λ is the least odulus eigenvalue of M; note that λ 2 = inf θ Mcos θ, sin θ). We copute Mcos θ, sin θ) = E cos θs + sin θt ) 2 δ k= cos θ + k sin θ ) 2 > δ cos 2 θ + cos θ sin θ + ) 3 sin2 θ. This is at least 4 3 δ for all θ, proving the lea. 6 Lea 9. Let X p denote a reduced geoetric with paraeter p. For every δ, /2) there is a K such that siultaneously for all p [δ, δ], ) log E expiλx qp q2 p) i λ 2p 2 λ2 Kλ 3. Proof: For fixed p this is Taylor s reainder theore together with the fact that the characteristic function φ p λ) of X p is thrice differentiable. The constant Kp) one obtains this way is continuous in p on the interval, ), therefore bounded on any copact sub-interval. Proof of the LCLT: The proof of Lea 4 coes fro expressing the probability as an integral of the characteristic function, via the inversion forula, and then estiating the integrand in various regions. Let φs, t) := Ee iss+tt ) denote the characteristic function of S, T ). Centering the variables at their eans, denote Ŝ := S µ, T := T ν, and φs, t) := Ee isŝ+t T ) so that φs, t) = φs, t)e isµ+itν. Then pa, b) = 2π) 2 = 2π) 2 π π π π π π π π e isa itb φs, t) ds dt e isa µ) itb µ) φs, t) ds dt. 33) Following the proof of the univariate LCLT for IID variables found in [Dur], we observe that 2πdet M) /2 e 2 Qa µ,b ν) = 2π) 2 e isa u) itb v) exp 2 ) Ms, t) ds dt. 34) Hence, coparing this to 33) and observing that e isa µ) itb ν) has unit odulus, the absolute difference between pa, b) and the left-hand side of 34) is bounded above by 2π) 2 s,t) [ π,π] 2 φs, t) e /2)Ms,t) ds dt. 35) Fix positive constants L and ε to be specified later and decopose the region R := [ π, π] 2 as the disjoint union R + R 2 + R 3, where R = [ L /2, L /2 ] [ L 3/2, L 3/2 ] R 2 = [ ε, ε] [ ε, ε ] \ R 4
16 π L//2 /2 L/ ε / ε / R 2 R L/3/2 L/3/2 π π ε ε π Figure 4: The regions R R 2 R in the proof of the LCLT. see Figure 4 for details. R 3 = R \ R R 2 ) ; As e /2)Ms,t) ds dt decays exponentially with, it suffices to obtain the following estiates R c 2 φs, t) e /2)Ms,t) ds dt = O 5/2) 36) R φs, t) e /2)Ms,t) ds dt = O 5/2 ) 37) R 2 φs, t) ds dt = o 3). 38) By independence of {X j }, log φs, t) = R 3 log Ee is+jt)xj µj). Using Lea 9 with p = p j gives log Eeis+jt)Xj qj/pj) + q j s + jt) 2 K s + jt 3. The su of q j /p 2 j )s + jt)2 is Ms, t), therefore suing the previous equation over j gives j= 2p 2 j log φs, t) + 2 Ms, t) K s + jt 3. 39) On R we have the upper bound s + jt s + t 2L /2. Thus, j= j= s + jt 3 + )8L 3 ) 3/2 = O /2). Plugging this into 39) and exponentiating shows that the left hand side of 36) is at ost R O /2 ) = O 5/2 ). To bound the integral on R 2, we define the sub-regions { ) S k := x, y) : k ax /2 x, 3/2 y } k +. 5
17 As the area of S k is 8k + 4) 2, R 2 ɛ φs, t) e /2)Ms,t) ds dt k=l S k k=l φs, t) e Ms,t)/2 dsdt ɛ 2 8k + 4) ax φs, t) e Ms,t)/2. 4) s,t) S k We break this last su into two parts, and bound each part. For s, t) R 2, we have s+jt s + t 2ε so that s + jt 3 2ε s + j t ) 2 2ε )M s, t ). j= Coparing this to 39) shows we ay choose ε sall enough to guarantee that log φs, t) + 2 Ms, t) Ms, t), 4 j= so φs, t) e /4)Ms,t). Lea 8 shows there is a positive constant c such that the iniu value of Ms, t) on R 2 is at least ck 2. Thus, for s, t) S k, φs, t) e Ms,t)/2 e Ms,t)/4 + e Ms,t)/2 2e ck 2. log If r := )/c then 8k + 4)k + ) ax φs, t) e Ms,t)/2 2 s,t) S k k=r Furtherore, for s, t) S k there exist constants C and C such that log φs, t) + Ms, t)/2 C j= k=r 8k + 4)k + )e ck = O polylog)) = O /2 ). 4) s + jt 3 C 2k + ) /2) 3 + ) = C k 3 /2. This iplies the existence of a constant K > such that for k r and s, t) S k, φs, t) e Ms,t)/2 e = Ms,t)/2 log φs,t)+ms,t)/2 e Ke ck2 k 3 /2. 2 Thus, r k=l r 8k + 4)k + ) ax φs, t) e Ms,t)/2 K /2 8k + 4)k + )k 3 e ck2 s,t) S k k=l = O /2 ). 42) Cobining 4) 42) gives 37). Finally, for 38), we clai there is a positive constant c for which φs, t) e c on R 3. To see this, observe see [Dur, p. 44]) that for each p there is an η > such that φ p λ) < η on [ π, π]\[ ε/2, ε/2]. 6
18 Again, by continuity, we ay choose one such η valid for all p [δ, δ]. It suffices to show that when either s or t is at least ε, then at least /3 of the suands log Ee is+jt)xj µj) have real part at ost η. Suppose s ε the arguent is the sae for s ε). Interpreting s + jt odulo 2π always to lie in [ π, π], the nuber of j [, ] for which s + jt [ ε/2, ε/2] is at ost twice the nuber for which s + jt [ε/2, ε], hence at ost twice the nuber for which s + jt / [ ε/2, ε/2]; thus at least /3 of the + values of s + jt lie outside [ ε/2, ε/2] and these have real part of log Ee is+jt)xj µj) η by choice of η. Lastly, if instead one assues π t ε/, then at ost half of the values of s + jt odulo 2π can fall inside any interval of length ε/2. Choosing η such that the real part of log Ee is+jt)xj µj) is at ost η outside of [ ε/4, ε/4] finishes the proof of 38) and the LCLT. Proof of Corollary 5. In order to estiate the error ters in the approxiation of pa, b) we will consider the partial differences and repeat the approxiation arguents above. Changing b to b + in Equations 33) and 34) iplies pa, b + ) pa, b) N a, b + ) N a, b) ) = e it φs, t) e /2Ms,t) dsdt. 43) [ π,π] 2 For s, t) R 3, the proof of the LCLT shows that the integral in Equation 43) decays exponentially with. As e it = 2 2 cost) t = O 3/2 ) for s, t) R, the proof of the LCLT shows that the integral in Equation 43) grows as O 3/2 5/2 ) = O 4 ). Finally, since e it t k+) 3/2 for s, t) S k following the proof of the LCLT shows that e it φs, t) e /2Ms,t) dsdt 7/2 R 2 = O 4 ). ɛ k=l 8k + 4)k + ) ax φs, t) e Ms,t)/2 s,t) S k References [AA9] Gert Alkvist and George E. Andrews, A Hardy-Raanujan forula for restricted partitions, J. Nuber Theory 38 99), no. 2, MR 367 [And76] George E. Andrews, The theory of partitions, Addison-Wesley Publishing Co., Reading, Mass.- London-Asterda, 976, Encyclopedia of Matheatics and its Applications, Vol. 2. MR 5573 [db58] N. G. de Bruijn, Asyptotic ethods in analysis, Bibliotheca Matheatica. Vol. 4, North-Holland Publishing Co., Asterda; P. Noordhoff Ltd., Groningen; Interscience Publishers Inc., New York, 958. MR [Dur] Rick Durrett, Probability: theory and exaples, fourth ed., Cabridge Series in Statistical and Probabilistic Matheatics, vol. 3, Cabridge University Press, Cabridge, 2. MR [DZ98] [EL4] [HR8] Air Debo and Ofer Zeitouni, Large deviations techniques and applications, second ed., Applications of Matheatics New York), vol. 38, Springer-Verlag, New York, 998. MR 6936 Paul Erdös and Joseph Lehner, The distribution of the nuber of suands in the partitions of a positive integer, Duke Math. J. 8 94), MR 484 G. H. Hardy and S. Raanujan, Asyptotic Forulaae in Cobinatory Analysis, Proc. London Math. Soc. 2) 7 98), MR [MW47] H. B. Mann and D. R. Whitney, On a test of whether one of two rando variables is stochastically larger than the other, Ann. Math. Statistics 8 947), 5 6. MR
19 [O H9] Kathleen M. O Hara, Uniodality of Gaussian coefficients: a constructive proof, J. Cobin. Theory Ser. A 53 99), no., MR 36 [PP3] [PP7] [PR86] [Pro82] Igor Pak and Greta Panova, Strict uniodality of q-binoial coefficients, C. R. Math. Acad. Sci. Paris 35 23), no. -2, MR 392, Bounds on certain classes of Kronecker and q-binoial coefficients, J. Cobin. Theory Ser. A 47 27), 7. MR M. Pouzet and I.G. Rosenberg, Sperner properties for groups and relations, European Journal of Cobinatorics 7 986), no. 4, Robert A. Proctor, Representations of sl2, C) on posets and the Sperner property, SIAM J. Algebraic Discrete Methods 3 982), no. 2, MR [Ric8] L. Bruce Richond, A george szekeres forula for restricted partitions, 28. [Sta84] [Sta85] [Syl78] [Sze53] [Sze9] Richard P. Stanley, Cobinatorial applications of the hard Lefschetz theore, Proceedings of the International Congress of Matheaticians, Vol., 2 Warsaw, 983), PWN, Warsaw, 984, pp MR 847, Uniodality and Lie superalgebras, Stud. Appl. Math ), no. 3, MR 7932 J. J. Sylvester, Proof of the hitherto undeonstrated fundaental theore of invariants, Philos. Mag ), 78 88, reprinted in: Coll. Math. Papers, vol. 3, Chelsea, New York, 973, pp G. Szekeres, Soe asyptotic forulae in the theory of partitions. II, Quart. J. Math., Oxford Ser. 2) 4 953), 96. MR 57279, Asyptotic distribution of partitions by nuber and size of parts, Nuber theory, Vol. I Budapest, 987), Colloq. Math. Soc. János Bolyai, vol. 5, North-Holland, Asterda, 99, pp MR [Tak86] Lajos Takács, Soe asyptotic forulas for lattice paths, J. Statist. Plann. Inference 4 986), no., MR
Completeness of Bethe s states for generalized XXZ model, II.
Copleteness of Bethe s states for generalized XXZ odel, II Anatol N Kirillov and Nadejda A Liskova Steklov Matheatical Institute, Fontanka 27, StPetersburg, 90, Russia Abstract For any rational nuber 2
More informationA Bernstein-Markov Theorem for Normed Spaces
A Bernstein-Markov Theore for Nored Spaces Lawrence A. Harris Departent of Matheatics, University of Kentucky Lexington, Kentucky 40506-0027 Abstract Let X and Y be real nored linear spaces and let φ :
More informationPoly-Bernoulli Numbers and Eulerian Numbers
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 21 (2018, Article 18.6.1 Poly-Bernoulli Nubers and Eulerian Nubers Beáta Bényi Faculty of Water Sciences National University of Public Service H-1441
More information13.2 Fully Polynomial Randomized Approximation Scheme for Permanent of Random 0-1 Matrices
CS71 Randoness & Coputation Spring 018 Instructor: Alistair Sinclair Lecture 13: February 7 Disclaier: These notes have not been subjected to the usual scrutiny accorded to foral publications. They ay
More informationChapter 6 1-D Continuous Groups
Chapter 6 1-D Continuous Groups Continuous groups consist of group eleents labelled by one or ore continuous variables, say a 1, a 2,, a r, where each variable has a well- defined range. This chapter explores:
More informationHermite s Rule Surpasses Simpson s: in Mathematics Curricula Simpson s Rule. Should be Replaced by Hermite s
International Matheatical Foru, 4, 9, no. 34, 663-686 Herite s Rule Surpasses Sipson s: in Matheatics Curricula Sipson s Rule Should be Replaced by Herite s Vito Lapret University of Lublana Faculty of
More informationA1. Find all ordered pairs (a, b) of positive integers for which 1 a + 1 b = 3
A. Find all ordered pairs a, b) of positive integers for which a + b = 3 08. Answer. The six ordered pairs are 009, 08), 08, 009), 009 337, 674) = 35043, 674), 009 346, 673) = 3584, 673), 674, 009 337)
More informationSolutions of some selected problems of Homework 4
Solutions of soe selected probles of Hoework 4 Sangchul Lee May 7, 2018 Proble 1 Let there be light A professor has two light bulbs in his garage. When both are burned out, they are replaced, and the next
More informationThe Weierstrass Approximation Theorem
36 The Weierstrass Approxiation Theore Recall that the fundaental idea underlying the construction of the real nubers is approxiation by the sipler rational nubers. Firstly, nubers are often deterined
More informationFeature Extraction Techniques
Feature Extraction Techniques Unsupervised Learning II Feature Extraction Unsupervised ethods can also be used to find features which can be useful for categorization. There are unsupervised ethods that
More informationLinear recurrences and asymptotic behavior of exponential sums of symmetric boolean functions
Linear recurrences and asyptotic behavior of exponential sus of syetric boolean functions Francis N. Castro Departent of Matheatics University of Puerto Rico, San Juan, PR 00931 francis.castro@upr.edu
More information#A52 INTEGERS 10 (2010), COMBINATORIAL INTERPRETATIONS OF BINOMIAL COEFFICIENT ANALOGUES RELATED TO LUCAS SEQUENCES
#A5 INTEGERS 10 (010), 697-703 COMBINATORIAL INTERPRETATIONS OF BINOMIAL COEFFICIENT ANALOGUES RELATED TO LUCAS SEQUENCES Bruce E Sagan 1 Departent of Matheatics, Michigan State University, East Lansing,
More informationPolygonal Designs: Existence and Construction
Polygonal Designs: Existence and Construction John Hegean Departent of Matheatics, Stanford University, Stanford, CA 9405 Jeff Langford Departent of Matheatics, Drake University, Des Moines, IA 5011 G
More informationTHE POLYNOMIAL REPRESENTATION OF THE TYPE A n 1 RATIONAL CHEREDNIK ALGEBRA IN CHARACTERISTIC p n
THE POLYNOMIAL REPRESENTATION OF THE TYPE A n RATIONAL CHEREDNIK ALGEBRA IN CHARACTERISTIC p n SHEELA DEVADAS AND YI SUN Abstract. We study the polynoial representation of the rational Cherednik algebra
More informationA note on the realignment criterion
A note on the realignent criterion Chi-Kwong Li 1, Yiu-Tung Poon and Nung-Sing Sze 3 1 Departent of Matheatics, College of Willia & Mary, Williasburg, VA 3185, USA Departent of Matheatics, Iowa State University,
More informationUniform Approximation and Bernstein Polynomials with Coefficients in the Unit Interval
Unifor Approxiation and Bernstein Polynoials with Coefficients in the Unit Interval Weiang Qian and Marc D. Riedel Electrical and Coputer Engineering, University of Minnesota 200 Union St. S.E. Minneapolis,
More informationBlock designs and statistics
Bloc designs and statistics Notes for Math 447 May 3, 2011 The ain paraeters of a bloc design are nuber of varieties v, bloc size, nuber of blocs b. A design is built on a set of v eleents. Each eleent
More informationOrder Ideals in Weak Subposets of Young s Lattice and Associated Unimodality Conjectures
Annals of Cobinatorics 8 (2004) 1-0218-0006/04/020001-10 DOI ********************** c Birkhäuser Verlag, Basel, 2004 Annals of Cobinatorics Order Ideals in Weak Subposets of Young s Lattice and Associated
More informationADVANCES ON THE BESSIS- MOUSSA-VILLANI TRACE CONJECTURE
ADVANCES ON THE BESSIS- MOUSSA-VILLANI TRACE CONJECTURE CHRISTOPHER J. HILLAR Abstract. A long-standing conjecture asserts that the polynoial p(t = Tr(A + tb ] has nonnegative coefficients whenever is
More informationGeneralized eigenfunctions and a Borel Theorem on the Sierpinski Gasket.
Generalized eigenfunctions and a Borel Theore on the Sierpinski Gasket. Kasso A. Okoudjou, Luke G. Rogers, and Robert S. Strichartz May 26, 2006 1 Introduction There is a well developed theory (see [5,
More informationIn this chapter, we consider several graph-theoretic and probabilistic models
THREE ONE GRAPH-THEORETIC AND STATISTICAL MODELS 3.1 INTRODUCTION In this chapter, we consider several graph-theoretic and probabilistic odels for a social network, which we do under different assuptions
More informationChaotic Coupled Map Lattices
Chaotic Coupled Map Lattices Author: Dustin Keys Advisors: Dr. Robert Indik, Dr. Kevin Lin 1 Introduction When a syste of chaotic aps is coupled in a way that allows the to share inforation about each
More informationThe Euler-Maclaurin Formula and Sums of Powers
DRAFT VOL 79, NO 1, FEBRUARY 26 1 The Euler-Maclaurin Forula and Sus of Powers Michael Z Spivey University of Puget Sound Tacoa, WA 98416 spivey@upsedu Matheaticians have long been intrigued by the su
More informationStatistics and Probability Letters
Statistics and Probability Letters 79 2009 223 233 Contents lists available at ScienceDirect Statistics and Probability Letters journal hoepage: www.elsevier.co/locate/stapro A CLT for a one-diensional
More informationM ath. Res. Lett. 15 (2008), no. 2, c International Press 2008 SUM-PRODUCT ESTIMATES VIA DIRECTED EXPANDERS. Van H. Vu. 1.
M ath. Res. Lett. 15 (2008), no. 2, 375 388 c International Press 2008 SUM-PRODUCT ESTIMATES VIA DIRECTED EXPANDERS Van H. Vu Abstract. Let F q be a finite field of order q and P be a polynoial in F q[x
More informationResearch Article Some Formulae of Products of the Apostol-Bernoulli and Apostol-Euler Polynomials
Discrete Dynaics in Nature and Society Volue 202, Article ID 927953, pages doi:055/202/927953 Research Article Soe Forulae of Products of the Apostol-Bernoulli and Apostol-Euler Polynoials Yuan He and
More informationThe Hilbert Schmidt version of the commutator theorem for zero trace matrices
The Hilbert Schidt version of the coutator theore for zero trace atrices Oer Angel Gideon Schechtan March 205 Abstract Let A be a coplex atrix with zero trace. Then there are atrices B and C such that
More informationResearch Article On the Isolated Vertices and Connectivity in Random Intersection Graphs
International Cobinatorics Volue 2011, Article ID 872703, 9 pages doi:10.1155/2011/872703 Research Article On the Isolated Vertices and Connectivity in Rando Intersection Graphs Yilun Shang Institute for
More informationThe Distribution of the Covariance Matrix for a Subset of Elliptical Distributions with Extension to Two Kurtosis Parameters
journal of ultivariate analysis 58, 96106 (1996) article no. 0041 The Distribution of the Covariance Matrix for a Subset of Elliptical Distributions with Extension to Two Kurtosis Paraeters H. S. Steyn
More informationNote on generating all subsets of a finite set with disjoint unions
Note on generating all subsets of a finite set with disjoint unions David Ellis e-ail: dce27@ca.ac.uk Subitted: Dec 2, 2008; Accepted: May 12, 2009; Published: May 20, 2009 Matheatics Subject Classification:
More informationThe concavity and convexity of the Boros Moll sequences
The concavity and convexity of the Boros Moll sequences Ernest X.W. Xia Departent of Matheatics Jiangsu University Zhenjiang, Jiangsu 1013, P.R. China ernestxwxia@163.co Subitted: Oct 1, 013; Accepted:
More informationON THE TWO-LEVEL PRECONDITIONING IN LEAST SQUARES METHOD
PROCEEDINGS OF THE YEREVAN STATE UNIVERSITY Physical and Matheatical Sciences 04,, p. 7 5 ON THE TWO-LEVEL PRECONDITIONING IN LEAST SQUARES METHOD M a t h e a t i c s Yu. A. HAKOPIAN, R. Z. HOVHANNISYAN
More informationarxiv: v1 [math.pr] 17 May 2009
A strong law of large nubers for artingale arrays Yves F. Atchadé arxiv:0905.2761v1 [ath.pr] 17 May 2009 March 2009 Abstract: We prove a artingale triangular array generalization of the Chow-Birnbau- Marshall
More informationCurious Bounds for Floor Function Sums
1 47 6 11 Journal of Integer Sequences, Vol. 1 (018), Article 18.1.8 Curious Bounds for Floor Function Sus Thotsaporn Thanatipanonda and Elaine Wong 1 Science Division Mahidol University International
More informationSemicircle law for generalized Curie-Weiss matrix ensembles at subcritical temperature
Seicircle law for generalized Curie-Weiss atrix ensebles at subcritical teperature Werner Kirsch Fakultät für Matheatik und Inforatik FernUniversität in Hagen, Gerany Thoas Kriecherbauer Matheatisches
More informationarxiv: v1 [math.co] 19 Apr 2017
PROOF OF CHAPOTON S CONJECTURE ON NEWTON POLYTOPES OF q-ehrhart POLYNOMIALS arxiv:1704.0561v1 [ath.co] 19 Apr 017 JANG SOO KIM AND U-KEUN SONG Abstract. Recently, Chapoton found a q-analog of Ehrhart polynoials,
More informationMASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 11 10/15/2008 ABSTRACT INTEGRATION I
MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 11 10/15/2008 ABSTRACT INTEGRATION I Contents 1. Preliinaries 2. The ain result 3. The Rieann integral 4. The integral of a nonnegative
More informationLecture 9 November 23, 2015
CSC244: Discrepancy Theory in Coputer Science Fall 25 Aleksandar Nikolov Lecture 9 Noveber 23, 25 Scribe: Nick Spooner Properties of γ 2 Recall that γ 2 (A) is defined for A R n as follows: γ 2 (A) = in{r(u)
More informationThe proofs of Theorem 1-3 are along the lines of Wied and Galeano (2013).
A Appendix: Proofs The proofs of Theore 1-3 are along the lines of Wied and Galeano (2013) Proof of Theore 1 Let D[d 1, d 2 ] be the space of càdlàg functions on the interval [d 1, d 2 ] equipped with
More informationPerturbation on Polynomials
Perturbation on Polynoials Isaila Diouf 1, Babacar Diakhaté 1 & Abdoul O Watt 2 1 Départeent Maths-Infos, Université Cheikh Anta Diop, Dakar, Senegal Journal of Matheatics Research; Vol 5, No 3; 2013 ISSN
More informationORIGAMI CONSTRUCTIONS OF RINGS OF INTEGERS OF IMAGINARY QUADRATIC FIELDS
#A34 INTEGERS 17 (017) ORIGAMI CONSTRUCTIONS OF RINGS OF INTEGERS OF IMAGINARY QUADRATIC FIELDS Jürgen Kritschgau Departent of Matheatics, Iowa State University, Aes, Iowa jkritsch@iastateedu Adriana Salerno
More informationTHE AVERAGE NORM OF POLYNOMIALS OF FIXED HEIGHT
THE AVERAGE NORM OF POLYNOMIALS OF FIXED HEIGHT PETER BORWEIN AND KWOK-KWONG STEPHEN CHOI Abstract. Let n be any integer and ( n ) X F n : a i z i : a i, ± i be the set of all polynoials of height and
More informationComputable Shell Decomposition Bounds
Coputable Shell Decoposition Bounds John Langford TTI-Chicago jcl@cs.cu.edu David McAllester TTI-Chicago dac@autoreason.co Editor: Leslie Pack Kaelbling and David Cohn Abstract Haussler, Kearns, Seung
More informationEXPLICIT CONGRUENCES FOR EULER POLYNOMIALS
EXPLICIT CONGRUENCES FOR EULER POLYNOMIALS Zhi-Wei Sun Departent of Matheatics, Nanjing University Nanjing 10093, People s Republic of China zwsun@nju.edu.cn Abstract In this paper we establish soe explicit
More informationA Simple Regression Problem
A Siple Regression Proble R. M. Castro March 23, 2 In this brief note a siple regression proble will be introduced, illustrating clearly the bias-variance tradeoff. Let Y i f(x i ) + W i, i,..., n, where
More informationTHE SUPER CATALAN NUMBERS S(m, m + s) FOR s 3 AND SOME INTEGER FACTORIAL RATIOS. 1. Introduction. = (2n)!
THE SUPER CATALAN NUMBERS S(, + s FOR s 3 AND SOME INTEGER FACTORIAL RATIOS XIN CHEN AND JANE WANG Abstract. We give a cobinatorial interpretation for the super Catalan nuber S(, + s for s 3 using lattice
More informationNew upper bound for the B-spline basis condition number II. K. Scherer. Institut fur Angewandte Mathematik, Universitat Bonn, Bonn, Germany.
New upper bound for the B-spline basis condition nuber II. A proof of de Boor's 2 -conjecture K. Scherer Institut fur Angewandte Matheati, Universitat Bonn, 535 Bonn, Gerany and A. Yu. Shadrin Coputing
More informationA note on the multiplication of sparse matrices
Cent. Eur. J. Cop. Sci. 41) 2014 1-11 DOI: 10.2478/s13537-014-0201-x Central European Journal of Coputer Science A note on the ultiplication of sparse atrices Research Article Keivan Borna 12, Sohrab Aboozarkhani
More informationE0 370 Statistical Learning Theory Lecture 6 (Aug 30, 2011) Margin Analysis
E0 370 tatistical Learning Theory Lecture 6 (Aug 30, 20) Margin Analysis Lecturer: hivani Agarwal cribe: Narasihan R Introduction In the last few lectures we have seen how to obtain high confidence bounds
More informationThis article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and
This article appeared in a ournal published by Elsevier. The attached copy is furnished to the author for internal non-coercial research and education use, including for instruction at the authors institution
More informationMODULAR HYPERBOLAS AND THE CONGRUENCE ax 1 x 2 x k + bx k+1 x k+2 x 2k c (mod m)
#A37 INTEGERS 8 (208) MODULAR HYPERBOLAS AND THE CONGRUENCE ax x 2 x k + bx k+ x k+2 x 2k c (od ) Anwar Ayyad Departent of Matheatics, Al Azhar University, Gaza Strip, Palestine anwarayyad@yahoo.co Todd
More informationProbability Distributions
Probability Distributions In Chapter, we ephasized the central role played by probability theory in the solution of pattern recognition probles. We turn now to an exploration of soe particular exaples
More informationThe degree of a typical vertex in generalized random intersection graph models
Discrete Matheatics 306 006 15 165 www.elsevier.co/locate/disc The degree of a typical vertex in generalized rando intersection graph odels Jerzy Jaworski a, Michał Karoński a, Dudley Stark b a Departent
More informationMA304 Differential Geometry
MA304 Differential Geoetry Hoework 4 solutions Spring 018 6% of the final ark 1. The paraeterised curve αt = t cosh t for t R is called the catenary. Find the curvature of αt. Solution. Fro hoework question
More informationA new type of lower bound for the largest eigenvalue of a symmetric matrix
Linear Algebra and its Applications 47 7 9 9 www.elsevier.co/locate/laa A new type of lower bound for the largest eigenvalue of a syetric atrix Piet Van Mieghe Delft University of Technology, P.O. Box
More informationLATTICE POINT SOLUTION OF THE GENERALIZED PROBLEM OF TERQUEi. AND AN EXTENSION OF FIBONACCI NUMBERS.
i LATTICE POINT SOLUTION OF THE GENERALIZED PROBLEM OF TERQUEi. AND AN EXTENSION OF FIBONACCI NUMBERS. C. A. CHURCH, Jr. and H. W. GOULD, W. Virginia University, Morgantown, W. V a. In this paper we give
More informationA := A i : {A i } S. is an algebra. The same object is obtained when the union in required to be disjoint.
59 6. ABSTRACT MEASURE THEORY Having developed the Lebesgue integral with respect to the general easures, we now have a general concept with few specific exaples to actually test it on. Indeed, so far
More informationarxiv: v1 [cs.ds] 3 Feb 2014
arxiv:40.043v [cs.ds] 3 Feb 04 A Bound on the Expected Optiality of Rando Feasible Solutions to Cobinatorial Optiization Probles Evan A. Sultani The Johns Hopins University APL evan@sultani.co http://www.sultani.co/
More informationDistributed Subgradient Methods for Multi-agent Optimization
1 Distributed Subgradient Methods for Multi-agent Optiization Angelia Nedić and Asuan Ozdaglar October 29, 2007 Abstract We study a distributed coputation odel for optiizing a su of convex objective functions
More informationCharacterization of the Line Complexity of Cellular Automata Generated by Polynomial Transition Rules. Bertrand Stone
Characterization of the Line Coplexity of Cellular Autoata Generated by Polynoial Transition Rules Bertrand Stone Abstract Cellular autoata are discrete dynaical systes which consist of changing patterns
More informationLecture 21. Interior Point Methods Setup and Algorithm
Lecture 21 Interior Point Methods In 1984, Kararkar introduced a new weakly polynoial tie algorith for solving LPs [Kar84a], [Kar84b]. His algorith was theoretically faster than the ellipsoid ethod and
More information3.8 Three Types of Convergence
3.8 Three Types of Convergence 3.8 Three Types of Convergence 93 Suppose that we are given a sequence functions {f k } k N on a set X and another function f on X. What does it ean for f k to converge to
More informationAlireza Kamel Mirmostafaee
Bull. Korean Math. Soc. 47 (2010), No. 4, pp. 777 785 DOI 10.4134/BKMS.2010.47.4.777 STABILITY OF THE MONOMIAL FUNCTIONAL EQUATION IN QUASI NORMED SPACES Alireza Kael Mirostafaee Abstract. Let X be a linear
More informationExponential sums and the distribution of inversive congruential pseudorandom numbers with prime-power modulus
ACTA ARITHMETICA XCII1 (2000) Exponential sus and the distribution of inversive congruential pseudorando nubers with prie-power odulus by Harald Niederreiter (Vienna) and Igor E Shparlinski (Sydney) 1
More informationOn Conditions for Linearity of Optimal Estimation
On Conditions for Linearity of Optial Estiation Erah Akyol, Kuar Viswanatha and Kenneth Rose {eakyol, kuar, rose}@ece.ucsb.edu Departent of Electrical and Coputer Engineering University of California at
More informationComputational and Statistical Learning Theory
Coputational and Statistical Learning Theory Proble sets 5 and 6 Due: Noveber th Please send your solutions to learning-subissions@ttic.edu Notations/Definitions Recall the definition of saple based Radeacher
More informationQuantum algorithms (CO 781, Winter 2008) Prof. Andrew Childs, University of Waterloo LECTURE 15: Unstructured search and spatial search
Quantu algoriths (CO 781, Winter 2008) Prof Andrew Childs, University of Waterloo LECTURE 15: Unstructured search and spatial search ow we begin to discuss applications of quantu walks to search algoriths
More informationComputable Shell Decomposition Bounds
Journal of Machine Learning Research 5 (2004) 529-547 Subitted 1/03; Revised 8/03; Published 5/04 Coputable Shell Decoposition Bounds John Langford David McAllester Toyota Technology Institute at Chicago
More informationBipartite subgraphs and the smallest eigenvalue
Bipartite subgraphs and the sallest eigenvalue Noga Alon Benny Sudaov Abstract Two results dealing with the relation between the sallest eigenvalue of a graph and its bipartite subgraphs are obtained.
More informationA symbolic operator approach to several summation formulas for power series II
A sybolic operator approach to several suation forulas for power series II T. X. He, L. C. Hsu 2, and P. J.-S. Shiue 3 Departent of Matheatics and Coputer Science Illinois Wesleyan University Blooington,
More informationThe Transactional Nature of Quantum Information
The Transactional Nature of Quantu Inforation Subhash Kak Departent of Coputer Science Oklahoa State University Stillwater, OK 7478 ABSTRACT Inforation, in its counications sense, is a transactional property.
More informationStochastic vertex models and symmetric functions
Stochastic vertex odels and syetric functions Alexey Bufetov MIT 6Noveber,2017 Applications of the algebra of syetric functions to probability: Schur easures (Okounkov), Schur processes (Okounkov-Reshetikhin),
More information4 = (0.02) 3 13, = 0.25 because = 25. Simi-
Theore. Let b and be integers greater than. If = (. a a 2 a i ) b,then for any t N, in base (b + t), the fraction has the digital representation = (. a a 2 a i ) b+t, where a i = a i + tk i with k i =
More informationarxiv: v2 [math.nt] 5 Sep 2012
ON STRONGER CONJECTURES THAT IMPLY THE ERDŐS-MOSER CONJECTURE BERND C. KELLNER arxiv:1003.1646v2 [ath.nt] 5 Sep 2012 Abstract. The Erdős-Moser conjecture states that the Diophantine equation S k () = k,
More informationRECOVERY OF A DENSITY FROM THE EIGENVALUES OF A NONHOMOGENEOUS MEMBRANE
Proceedings of ICIPE rd International Conference on Inverse Probles in Engineering: Theory and Practice June -8, 999, Port Ludlow, Washington, USA : RECOVERY OF A DENSITY FROM THE EIGENVALUES OF A NONHOMOGENEOUS
More information3.3 Variational Characterization of Singular Values
3.3. Variational Characterization of Singular Values 61 3.3 Variational Characterization of Singular Values Since the singular values are square roots of the eigenvalues of the Heritian atrices A A and
More informationA Note on the Applied Use of MDL Approximations
A Note on the Applied Use of MDL Approxiations Daniel J. Navarro Departent of Psychology Ohio State University Abstract An applied proble is discussed in which two nested psychological odels of retention
More informationEstimating Parameters for a Gaussian pdf
Pattern Recognition and achine Learning Jaes L. Crowley ENSIAG 3 IS First Seester 00/0 Lesson 5 7 Noveber 00 Contents Estiating Paraeters for a Gaussian pdf Notation... The Pattern Recognition Proble...3
More informationSupplement to: Subsampling Methods for Persistent Homology
Suppleent to: Subsapling Methods for Persistent Hoology A. Technical results In this section, we present soe technical results that will be used to prove the ain theores. First, we expand the notation
More informationA REMARK ON PRIME DIVISORS OF PARTITION FUNCTIONS
International Journal of Nuber Theory c World Scientific Publishing Copany REMRK ON PRIME DIVISORS OF PRTITION FUNCTIONS PUL POLLCK Matheatics Departent, University of Georgia, Boyd Graduate Studies Research
More information1. INTRODUCTION AND RESULTS
SOME IDENTITIES INVOLVING THE FIBONACCI NUMBERS AND LUCAS NUMBERS Wenpeng Zhang Research Center for Basic Science, Xi an Jiaotong University Xi an Shaanxi, People s Republic of China (Subitted August 00
More informationDescent polynomials. Mohamed Omar Department of Mathematics, Harvey Mudd College, 301 Platt Boulevard, Claremont, CA , USA,
Descent polynoials arxiv:1710.11033v2 [ath.co] 13 Nov 2017 Alexander Diaz-Lopez Departent of Matheatics and Statistics, Villanova University, 800 Lancaster Avenue, Villanova, PA 19085, USA, alexander.diaz-lopez@villanova.edu
More information1 Generalization bounds based on Rademacher complexity
COS 5: Theoretical Machine Learning Lecturer: Rob Schapire Lecture #0 Scribe: Suqi Liu March 07, 08 Last tie we started proving this very general result about how quickly the epirical average converges
More informationNon-Parametric Non-Line-of-Sight Identification 1
Non-Paraetric Non-Line-of-Sight Identification Sinan Gezici, Hisashi Kobayashi and H. Vincent Poor Departent of Electrical Engineering School of Engineering and Applied Science Princeton University, Princeton,
More informationModel Fitting. CURM Background Material, Fall 2014 Dr. Doreen De Leon
Model Fitting CURM Background Material, Fall 014 Dr. Doreen De Leon 1 Introduction Given a set of data points, we often want to fit a selected odel or type to the data (e.g., we suspect an exponential
More informationA Simplified Analytical Approach for Efficiency Evaluation of the Weaving Machines with Automatic Filling Repair
Proceedings of the 6th SEAS International Conference on Siulation, Modelling and Optiization, Lisbon, Portugal, Septeber -4, 006 0 A Siplified Analytical Approach for Efficiency Evaluation of the eaving
More informationLectures 8 & 9: The Z-transform.
Lectures 8 & 9: The Z-transfor. 1. Definitions. The Z-transfor is defined as a function series (a series in which each ter is a function of one or ore variables: Z[] where is a C valued function f : N
More informationTail estimates for norms of sums of log-concave random vectors
Tail estiates for nors of sus of log-concave rando vectors Rados law Adaczak Rafa l Lata la Alexander E. Litvak Alain Pajor Nicole Toczak-Jaegerann Abstract We establish new tail estiates for order statistics
More informationTesting Properties of Collections of Distributions
Testing Properties of Collections of Distributions Reut Levi Dana Ron Ronitt Rubinfeld April 9, 0 Abstract We propose a fraework for studying property testing of collections of distributions, where the
More informationAlgebraic Montgomery-Yang problem: the log del Pezzo surface case
c 2014 The Matheatical Society of Japan J. Math. Soc. Japan Vol. 66, No. 4 (2014) pp. 1073 1089 doi: 10.2969/jsj/06641073 Algebraic Montgoery-Yang proble: the log del Pezzo surface case By DongSeon Hwang
More informationSTRONG LAW OF LARGE NUMBERS FOR SCALAR-NORMED SUMS OF ELEMENTS OF REGRESSIVE SEQUENCES OF RANDOM VARIABLES
Annales Univ Sci Budapest, Sect Cop 39 (2013) 365 379 STRONG LAW OF LARGE NUMBERS FOR SCALAR-NORMED SUMS OF ELEMENTS OF REGRESSIVE SEQUENCES OF RANDOM VARIABLES MK Runovska (Kiev, Ukraine) Dedicated to
More informationSome Classical Ergodic Theorems
Soe Classical Ergodic Theores Matt Rosenzweig Contents Classical Ergodic Theores. Mean Ergodic Theores........................................2 Maxial Ergodic Theore.....................................
More informationAPPROXIMATION BY MODIFIED SZÁSZ-MIRAKYAN OPERATORS
APPROXIMATION BY MODIFIED SZÁSZ-MIRAKYAN OPERATORS Received: 23 Deceber, 2008 Accepted: 28 May, 2009 Counicated by: L. REMPULSKA AND S. GRACZYK Institute of Matheatics Poznan University of Technology ul.
More informationFour-vector, Dirac spinor representation and Lorentz Transformations
Available online at www.pelagiaresearchlibrary.co Advances in Applied Science Research, 2012, 3 (2):749-756 Four-vector, Dirac spinor representation and Lorentz Transforations S. B. Khasare 1, J. N. Rateke
More informationDetection and Estimation Theory
ESE 54 Detection and Estiation Theory Joseph A. O Sullivan Sauel C. Sachs Professor Electronic Systes and Signals Research Laboratory Electrical and Systes Engineering Washington University 11 Urbauer
More informationAcyclic Colorings of Directed Graphs
Acyclic Colorings of Directed Graphs Noah Golowich Septeber 9, 014 arxiv:1409.7535v1 [ath.co] 6 Sep 014 Abstract The acyclic chroatic nuber of a directed graph D, denoted χ A (D), is the iniu positive
More informationCHARACTER SUMS AND RAMSEY PROPERTIES OF GENERALIZED PALEY GRAPHS. Nicholas Wage Appleton East High School, Appleton, WI 54915, USA.
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 6 006, #A18 CHARACTER SUMS AND RAMSEY PROPERTIES OF GENERALIZED PALEY GRAPHS Nicholas Wage Appleton East High School, Appleton, WI 54915, USA
More informationResearch Article Perturbations of Polynomials with Operator Coefficients
Coplex Analysis Volue 2013, Article ID 801382, 5 pages http://dx.doi.org/10.1155/2013/801382 Research Article Perturbations of Polynoials with Operator Coefficients Michael Gil Departent of Matheatics,
More informationRIEMANN-ROCH FOR PUNCTURED CURVES VIA ANALYTIC PERTURBATION THEORY [SKETCH]
RIEMANN-ROCH FOR PUNCTURED CURVES VIA ANALYTIC PERTURBATION THEORY [SKETCH] CHRIS GERIG Abstract. In [Tau96], Taubes proved the Rieann-Roch theore for copact Rieann surfaces, as a by-product of taking
More informationCompressive Distilled Sensing: Sparse Recovery Using Adaptivity in Compressive Measurements
1 Copressive Distilled Sensing: Sparse Recovery Using Adaptivity in Copressive Measureents Jarvis D. Haupt 1 Richard G. Baraniuk 1 Rui M. Castro 2 and Robert D. Nowak 3 1 Dept. of Electrical and Coputer
More information