A categorical characterization of relative entropy on standard Borel spaces
|
|
- Reynold Ross
- 5 years ago
- Views:
Transcription
1 MFPS 2017 A categorical characterization o relative entropy on tandard Borel pace Nicola Gagné 1,2 School o Computer Science McGill Univerity Montréal, Québec, Canada Prakah Panangaden 1,3 School o Computer Science McGill Univerity Montréal, Québec, Canada Abtract We give a categorical treatment, in the pirit o Baez and Fritz, o relative entropy or probability ditribution deined on tandard Borel pace. We deine a category called SbStat uitable or reaoning about tatitical inerence on tandard Borel pace. We deine relative entropy a a unctor into Lawvere category [0, ] and we how convexity, lower emicontinuity and uniquene. Keyword: Entropy, Gìry Monad, Bayeian Learning, tandard Borel pace 1 Introduction The inpiration or the preent work come rom two recent development. The irt i the beginning o a categorical undertanding o Bayeian inverion and learning [9,8,7] the econd i a categorical recontruction o relative entropy [3,2,15]. The preent paper provide a categorical treatment o entropy in the pirit o Baez and Fritz in the etting o tandard Borel pace, thu etting the tage to explore the role o entropy in learning. Recently there have been ome exciting development that bring ome categorical inight to probability theory and peciically to learning theory. Thee are reported in ome recent paper by Clerc, Dahlqvit, Dano and Garnier [9,8,7]. The irt o 1 Thi reearch ha been upported by NSERC. 2 nicola.gagne@mail.mcgill.ca 3 prakah@c.mcgill.ca Thi paper i electronically publihed in Electronic Note in Theoretical Computer Science URL:
2 thee paper howed how to view the Dirichlet ditribution a a natural tranormation thu opening the way to an undertanding o higher-order probabilitie, while the econd gave a powerul ramework or contructing everal natural tranormation. In [9] the hope wa expreed that one could ue thee idea to undertand Bayeian inverion, a core concept in machine learning. In [7] thi wa realized in a remarkably novel way. Thee paper carry out their invetigation in the etting o tandard Borel pace and are baed on the Giry monad [11,13]. In [3,2] a beautiul treatment o relative entropy i given in categorical term. The baic idea i to undertand entropy in term o the reult o experiment and obervation. How much doe one learn about a probabilitic ituation by doing experiment and oberving the reult? A category i et up where the morphim capture the interplay between the original pace and the pace o obervation. In order to interpret the relative entropy a a unctor they ue Lawvere category which conit o a ingle object and a morphim or every extended poitive real number [14]. Our contribution i to develop the theory o Baez et al. in the etting o tandard Borel pace 4 ; their work i carried out with inite et. While the work o [2] give a irm conceptual direction, it give little guidance in the actual development o the mathematical theory. We had to redevelop the mathematical ramework and ind the right anaue or the concept appropriate to the inite cae. 2 Background In thi ection we review ome o the background. We aume that the reader i amiliar with concept rom topoy and meaure theory a well a baic category theory. We have ound book by Ah [1], Billingley [4] and Dudley [10] to be ueul. We will ue letter like,, Z or meaurable pace and capital Greek letter like Σ, Λ, Ω or σ-algebra. We will ue p, q,... or probability meaure. Given, Σ and, Λ and a meaurable unction : and a probability meaure p on, Σ we obtain a meaure on, Λ by p 1 ; thi i called the puhorward meaure or the image meaure. 2.1 The Giry monad We denote the category o meaurable pace and meaurable unction by Me. We recall the Gìry [11] 5 unctor Γ : Me Me which map each meaurable pace to the pace Γ o probability meaure over. Let A Σ, we deine ev A : Γ [0, 1] by ev A p pa. We endow Γ with the mallet σ-algebra making all the ev meaurable. A morphim : in Me i mapped to Γ : Γ Γ by Γp p 1. With the ollowing natural tranormation, 4 In an earlier drat we were loppy about the dierence between tandard Borel pace and Polih pace. We are really working with tandard Borel pace which are Polih pace but with the topoy orgotten and the σ-algebra retained. 5 Gìry name doe have the accent grave on the ı; however, we omit it rom now on to eae the typeetting. 2
3 thi endounctor i a monad: the Giry monad. The natural tranormation η : I Γ i given by η x δ x, the Dirac meaure concentrated at x. The monad multiplication µ : Γ 2 Γ i given by A B, µ pa : ev A where p i a probability meaure in ΓΓ and ev A : Γ [0, 1] i the meaurable unction on Γ deined by ev A p pa. Even i Me i an intereting category in and o itel, the need or regular conditional probabilitie orce u to retrict ourelve to a ubcategory o tandard Borel pace. Γ 2.2 Standard Borel pace and diintegration The Radon-Nikodym theorem i the main tool ued to how the exitence o conditional probability ditribution, alo called Markov kernel, ee the dicuion below. It i a very general theorem, but it doe not give a trong regularity eature a one might want. A tronger theorem i needed; thi i the o-called diintegration theorem. It require tronger hypothee on the pace on which the kernel are being deined. A category o pace that atiy thee tronger hypothee i the category o tandard Borel pace. In order to deine tandard Borel pace, we mut irt deine Polih pace. Deinition 2.1 A Polih pace i a eparable, completely metrizable topoical pace. Deinition 2.2 A tandard Borel pace i a meaurable pace obtained by orgetting the topoy o a Polih pace but retaining it Borel algebra. The category o tandard Borel pace ha meaurable unction a morphim; we denote it by StBor. We can now tate a verion o the diintegration theorem. known a Rohlin diintegration theorem [17]. The ollowing i alo Theorem 2.3 Diintegration Let, p and, q be two tandard Borel pace equipped with probability meaure, where q i the puhorward meaure q : p 1 or a Borel meaurable unction :. Then, there exit a q-almot everywhere uniquely determined amily o probability meaure {p y } y on uch that i the unction y p y A i a Borel-meaurable unction or each Borelmeaurable et A ; ii p y i a probability meaure on 1 y or q-almot all y ; iii or every Borel-meaurable unction h : [0, ], h h y. 3 1 y
4 The object obtained are oten called regular conditional probability ditribution. One can ind a crip categorical ormulation o diintegration in [7, Theorem 1]. 2.3 The Kleili category o Γ on StBor It i well known that the Giry monad on Me retricted to StBor admit the ame monad tructure. [11] The Kleili category o Γ ha a object tandard Borel pace and a morphim map rom to Γ : h : B [0, 1] which are meaurable. Here B tand or the Borel et o and Γ ha the σ-algebra decribed above. Now we can curry thi to write it a h : B [0, 1] or hx, U where x i a point in and U i a Borel et in. Written thi way it i called a Markov kernel and one can view it a a tranition probability unction or conditional probability ditribution given x. Compoition o morphim : and g : Z in the Kleili category i given by the ormula g x, V Z gy, V dx,. For an arrow : Γ in StBor, we write y or y or, in kernel orm y,. For arrow t : Z Γ and : Γ in StBor, we denote their Kleili compoition by t : µ Γ t. For tandard Borel pace equipped with a probability meaure p, we ometime omit the meaure in the notation, i.e. we ometime write intead o, p. We ay a probability meaure p i abolutely continuou with repect to another meaure q on the ame meaurable pace, denoted by p q, i or all meaurable et B, qb 0 implie that pb 0. We note that abolute continuity i preerved by Kleili compoition; the proo i traightorward. Propoition 2.4 Given a tandard Borel pace with probability meaure q and q uch that q q. Then, or arbitrary tandard Borel pace and morphim rom to Γ, we have q q. 3 The categorical etting In thi ection, ollowing Baez and Fritz [2] ee alo [3] we decribe the categorie FinStat and FP which they ue or their characterization o entropy on inite pace. We then introduce the category SbStat which will be the arena or the generalization to tandard Borel pace. Beore doing o, we deine the notion o coherence which will play an important role in what ollow. Deinition 3.1 Given tandard Borel pace and with probability meaure p and q, repectively, a pair,, :, p, q and : Γ, i aid to be coherent when i meaure preerving, i.e., q p 1, and y i a probability 4
5 meaure on 1 y q-almot everywhere. 6 I in addition, p i abolutely continuou with repect to q, then we ay that, i abolutely coherent. Deinition 3.2 The category FinStat ha Object : Pair, p where i a inite et and p a probability meaure on. Morphim : Hom, are all coherent pair,, : and : Γ. We compoe arrow, :, p, q and g, t :, q Z, m a ollow: g, t, : g, in t where in i deined a in t z x y t z y y x. One can think o a a meaurement proce rom to and o a a hypothei about given an obervation in. We ay that a hypothei i optimal i p in q, or equivalenty, i i a diintegration o p along. We denote by FP the ubcategory o FinStat coniting o the ame object, but with only thoe morphim where the hypothei i optimal. See [3,2] and [15] or a dicuion o thee idea. We now leave the inite world or a more general one: the category SbStat. Deinition 3.3 The category SbStat ha Object : Pair, p where i a tandard Borel pace and p a probability meaure on the Borel ubet o. Morphim : Hom, are all coherent pair,, : and : Γ. We compoe arrow, :, p, q and g, t :, q Z, m a ollow: g, t, : g, t. Following the graphical repreentation rom [2] we repreent compoition a ollow: t t, p, q Z, m g Compoition, p Z, m g. The proo o the ollowing propoition i done in the extended verion. Propoition 3.4 Given coherent pair the compoition i coherent. I, in addition, they are abolutely coherent, the compoition i abolutely coherent. We end thi ection by deining one more category; thi one i due to Lawvere [14]. It i jut the et [0, ] but endowed with categorical tructure. Thi allow numerical value aociated with morphim to be regarded a unctor. 6 Note that, being coherent i equivalent to η Γ. 5
6 Deinition 3.5 The category [0, ] ha Object : One ingle object:. Morphim : For each element r [0, ], one arrow r :. Arrow compoition i deined a addition in [0, ]. Thi i a remarkable category with monoidal cloed tructure and many other intereting propertie. 4 Relative entropy unctor We recapitulate the deinition o the relative entropy unctor on FinStat rom Baez and Fritz [2] and then extend it to SbStat. Deinition 4.1 The relative entropy unctor RE in i deined rom FinStat to [0, ] a ollow: On Object : It map every object, p to. On Morphim : It map a morphim, :, p, q to S in p, in q, where S in p, in q : px px ln. in qx x The convention rom now on will be that c c or 0 < c and We extend RE in rom FinStat to SbStat. Deinition 4.2 The relative entropy unctor RE i deined rom SbStat to [0, ] a ollow: On Object : It map every object, p to. On Morphim : Given a coherent morphim, :, p, q, i, i abolutely coherent, then RE, Sp, q, where Sp, q : otherwie it i deined a RE,. d q Thi quantity i alo known a the Kullback-Leibler divergence. We could have deined our category to have only abolutely coherent morphim but it would make the comparion with the inite cae more awkward a the inite cae doe not aume the morphim to be abolutely coherent. The preent deinition lead to lightly awkward proo where we have to conider abolutely coherent pair and ordinary coherent pair eparately; mot o which have been omitted in thi abridged verion but can be ound in the extended verion. 6,
7 Clearly, RE retrict to RE in on FinStat. I, i abolutely coherent, then p i abolutely continuou with repect to q and the Radon-Nikodym derivative i deined. The relative entropy i alway non-negative [12]; thi i an eay conequence o Jenen inequality. Thi how that RE i deined everywhere in SbStat. We will ue the ollowing notation occaionally: RE, p, q : RE,. It remain to how that RE i indeed a unctor. That i, we want to how that t t RE, p, q Z, m RE, p, q + RE, q Z, m. g g In order to do o, we will need the ollowing lemma. Lemma 4.3 The relative entropy i preerved under pre-compoition by optimal hypothee. In other word, we alway have t RE, q Z, m t RE, q, q Z, m. g g Proo. Cae I : g, t i abolutely coherent. Since g, t i abolutely coherent, o i g, t by Propoition 2.4. Hence, to how REg, t REg, t i to how dt m d q d t m d q. Becaue i meaure preerving, it i uicient to how that the ollowing unction on d q t m-almot everywhere. dt m d t m By the Radon-Nikodym theorem, it i uicient to how that or any E meaurable et, we have qe E d t m. dt m 7
8 The ollowing calculation etablihe the above. E d t m 1 dt m x 1 y E dt m x d t m y dt m 2 dt m y d t m y dt m 3 1 y E dt m y d y dt m 4 1 y E dt m y ye 1 y dt m 5 dt m y ye dt m 6 y E 7 qe 8 We get 2 by applying the diintegration theorem to :, t m, t m. The equation 3 ollow by uing the act that dt m i contant on 1 y or every y. To obtain 4 we apply Lemma??. To how 6 we ue the act that y i a probability meaure on 1 y. We get 7 by the deinition o the Radon-Nikodym derivative and we inally etablih 8 by the deinition o Kleili compoition. Cae II : g, t i not abolutely coherent. The proo i imple but lightly tediou. It can be ound in the extended verion. Theorem 4.4 Functoriality Given arrow, :, p, q and g, t :, q Z, m, we have RE g, t, RE, + REg, t. Proo. Note that by deinition, RE g, t, RE g, t. Cae I :, and g, t are abolutely coherent. By Propoition 3.4, we have that g, t i abolutely coherent. 8
9 RE g, t 9 d t m d q 10 d q d t m d q + 11 d q d t m d q 12 d t m RE, + RE, + REg, t 13 We get 10 by the chain rule or Radon-Nikodym derivative and 13 by applying Lemma 4.3. Cae II : g, t i not abolutely coherent. The proo i very imilar to the econd cae o the previou lemma. It can be ound in the extended verion. Cae III :, i not abolutely coherent. Although we relegated the proo o cae III to the extended verion, it i neither trivial nor boring. 7 For both o the above cae, we deduce that RE g, t, RE, + REg, t. We have thu hown that RE i a well-deined unctor rom SbStat to [0, ]. 4.1 Convex linearity We how below that the relative entropy unctor atiie a convex linearity property. In [2] convexity look amiliar; here ince we are perorming large um we have to expre it a an integral. Firt we deine a localized verion o the relative entropy. Note that Lemma?? in the appendix ay that y q y q-almot everywhere. Thu, in the ollowing there i no notational clah between the kernel y and q y, the later being the diintegration o q along. Given an arrow, :, p, q in StBor and a point y, we denote by, y, the morphim, retricted to the pair o tandard Borel pace 1 y and {y}. Explicitly,, y : 1 y, y : 1 y, p y {y}, δ y, where δ y i the one and only probability meaure on {y}. 7 It i not anaou to the previou cae ince the exitence o a meaurable et A uch that qa 0 and pa > 0 i urpriingly not enough to conclude that t ma 0. 9
10 Deinition 4.5 A unctor F rom SbStat to [0, ] i convex linear i or every arrow, :, p, q, we have F, F, y. We will ometime reer to the relative entropy o, y a the local relative entropy o, at y. Theorem 4.6 Convex Linearity The unctor RE i convex linear, i.e., or every arrow, :, p, q, we have Proo. RE, Cae I :, i abolutely coherent. RE, y. Note that by Lemma??, p y q y almot everywhere. So we have RE, 14 d q y 15 1 y d q y y 16 d q y 1 y RE, y. 17 We get 15 by the diintegration theorem and 16 by applying Lemma??. Cae II :, i not abolutely coherent. The proo i not hard and can be ound in the extended verion. 4.2 Lower-emi-continuity Recall that a equence o probability meaure p n converge trongly to p, denoted by p n p, i or all meaurable et E, one ha lim n p n E pe. Deinition 4.7 A unctor F rom SbStat to [0, ] i lower emi-continuou i or every arrow, :, p, q, whenever p n p, then F, p, q lim in n, p n, q n. 10
11 Note that a lower emi-continuou unctor F on SbStat retrict to a lower emicontinuou a deined lightly dierently in [2] unctor on FinStat. Theorem 4.8 Lower emi-continuity The unctor RE i lower emicontinuou. Proo. Thi i a direct conequence o Pinker [16, Section 2.4]. 5 Uniquene We now how that the relative entropy i, up to a multiplicative contant, the unique unctor atiying the condition etablihed o ar. We irt prove a crucial lemma. Lemma 5.1 Let be a Borel pace equipped with probability meaure p and q, i p q, then we can ind a equence o imple unction p n on uch that or the equence o probability meaure p n E : E p n, we have that p n and p agree on the element o the partition on induced by p n and moreover, p n p trongly. Proo. We write I n,k or the interval [k2 n, k + 12 n and I n, or the interval [n,. Denote by K n the index et {0, 1,..., n2 n 1, } o k. We ix a verion o the Radon-Nikodym uch that < everywhere. We deine a amily o partition and a amily o imple unction a ollow: n,k : { x } x I n,k, p nx : p n,k q n,k on x n,k. Every unction induce a partition on the domain; i moreover the unction i imple, the induced partition i inite. We irt note that p n and p agree on the element o the partition induced by p n: p n n,k p p n,k n n,k n,k q n,k p n,k q n,k q n,k p n,k. Next, we prove the trong convergence o p n p. We irt how p n pointwie. Let x. Pick N large enough uch that x N. For a ixed integer n N, there i exactly one k n or which x n,kn. On the one hand, we have k n 2 n x k n + 12 n on n,kn. But on the other hand, by integrating over n,kn and dividing everything by q n,kn, we alo have k n 2 n p n,kn q n,kn k n + 12 n on n,kn. We thu get pointwie convergence ince we have p nx x p n,kn q n,kn x 2 n or any n N. 11
12 From the above inequality and the choice o N, we note the ollowing p nx x + 2 n x + 1, or x with x < n, p nx p n, 1 x + 1, or x with x n. So or all n, we can bound p nx everywhere by the integrable unction gx : x+1. Given a meaurable et E, we can thu apply Lebegue dominated convergence theorem. We get lim p ne lim p n n n lim E E n p n pe. E Beore proving uniquene, we recall the main theorem o Baez and Fritz [2] on FinStat. Theorem 5.2 Suppoe that a unctor F : FinStat [0, ] i lower emicontinuou, convex linear and vanihe on FP. Then or ome 0 c we have F, cre in, or all morphim, in FinStat. We are now ready to extend thi characterization to SbStat. Theorem 5.3 Suppoe that a unctor F : SbStat [0, ] i lower emicontinuou, convex linear and vanihe on FP. Then or ome 0 c we have F, cre, or all morphim. Proo. Since F atiie all the above propertie on FinStat, we can apply Theorem 5.2 in order to etablih that F cre in cre or all morphim in the ubcategory FinStat. We how that F extend uniquely to cre on all morphim in SbStat. By convex linearity o F, or an arbitrary morphim, rom, p to, q, we have F, F, y, o F i totally decribed by it local relative entropie. It i thu uicient to how F cre on an arbitrary morphim, :, p {y}, δ y. The cae where p i not abolutely continuou with repect to i traightorward, o let u aume p. 8 8 See the extended verion or detail. 12
13 We apply Lemma 5.1 with p and to get the amily o imple unction p n and the correponding amily o partition { n,k }. We deine π n a the unction that map x n,k to the element n,k { n,k } k Kn. Denote by πn the diintegration o along π n and by n the correponding marginal. Note that ince p n and p agree on every n,k, p n i indeed the puh-orward o p along π n, o we can identiy p n to the correponding marginal o p. Preented a diagram, we have πn n, p { n,k }, p n {y}, δ y π n n Compoition, p {y}, δ y. From the above diagram and the hypothei that F i a unctor, we have the ollowing inequality F n, n F,, or all n N. 18 Note that, on the one hand the diintegration o p n along π n at the point n,k { n,k } i given by p n,π : p n /p n n,k, but on the other hand, or any meaurable et E, we alo have 1 E n,π n n,k pn E n,k n n,k n,k p n n,k k K n k K n E n,k n,k k K n n n,k k K n E n,k E. Thi mean that p n,π i the diintegration o along π n. Preented a diagram, where we ue pn intead o to indicate that the arrow leave rom the object, p n a oppoed to, p, we have p n,π n, p n { n,k }, p n {y}, δ y π n n Compoition, p n {y}, δ y. pn But ince F vanihe on FP, we have F π n, p n,π 0. Combined with the act that F i a unctor, we get F pn, F π n, p n,π + F n, n F n, n. 19 By Lemma 5.1, we know that p n p, in term o our diagram we have, p n {y}, δ y pn Strong Convergence 13, p {y}, δ y.
14 Hence, combining 19 with the lower emicontinuity o F, we alo have the inequality F, lim in n F pn, lim in n F n, n. 20 Since n, n i in FinStat, we mut have F n, n cre n, n. combining 18 and 20, we get that F, mut atiy Thu, lim up cre n, n F, lim in cre n, n, n n but o doe cre,. We alo have lim up cre n, n cre, lim in cre n, n. n n Thereore F, cre,, a deired. 6 Concluion and Further Direction A promied, we have given a categorial characterization o relative entropy on tandard Borel pace. Thi greatly broaden the cope o the original work by Baez et al. [3,2]. However, the main motivation i to tudy the role o entropy argument in machine learning. Thee appear in variou ad-hoc way in machine learning but with the appearance o the recent work by Dano and hi co-worker [9,7,8] we eel that we have the propect o a mathematically well-deined ramework on which to undertand Bayeian inverion and it interplay with entropy. The mot recent paper in thi erie [7] adopt a point-ree approach introduced in [5,6]. It would be intereting to extend our deinition to a point-ree ituation. There are alo many intereting quetion with regard to undertanding the algebra o entropy ; ee the book by eung [18] or a tate o thee idea. Acknowledgment We have beneitted rom dicuion with Florence Clerc, Vincent Dano, Tobia Fritz, Renaud Raquépa and Ilia Garnier. We are grateul to the anonymou reeree or very helpul comment. Thi reearch wa upported by a grant rom Google and rom NSERC. Reerence [1] Ah, R. B., Real Analyi and Probability, Academic Pre, [2] Baez, J. C. and T. Fritz, A bayeian characterization o relative entropy, Theory and Application o Categorie , pp
15 [3] Baez, J. C., T. Fritz and T. Leinter, A characterization o entropy in term o inormation lo, Entropy , pp [4] Billingley, P., Probability and Meaure, Wiley-Intercience, [5] Chaput, P., V. Dano, P. Panangaden and G. Plotkin, Approximating Markov procee by averaging, in: Proceeding o the 37th International Colloquium On Automata Language And Programming ICALP, Lecture Note In Computer Science 5556, 2009, pp [6] Chaput, P., V. Dano, P. Panangaden and G. Plotkin, Approximating Markov procee by averaging, J. ACM , pp. 5:1 5:45. URL [7] Clerc, F., V. Dano, F. Dahlqvit and I. Garnier, Pointle learning, in: Proceeding o FoSSaCS 2017, [8] Dahlqvit, F., V. Dano and I. Garnier, Giry and the machine, Electronic Note in Theoretical Computer Science , pp [9] Dano, V. and I. Garnier, Dirichlet i natural, Electronic Note in Theoretical Computer Science , pp [10] Dudley, R. M., Real Analyi and Probability, Wadworth and Brooke/Cole, [11] Giry, M., A categorical approach to probability theory, in: B. Banachewki, editor, Categorical Apect o Topoy and Analyi, number 915 in Lecture Note In Mathematic 1981, pp [12] Kullback, S. and R. A. Leibler, On inormation and uiciency, The annal o mathematical tatitic , pp [13] Lawvere, F. W., The category o probabilitic mapping 1964, unpublihed typecript. [14] Lawvere, F. W., Metric pace, generalized ic and cloed categorie, Rend. Sem. Mat. Fi. Milano , pp [15] Leinter, T., An operadic introduction to entropy, n-category cae. [16] Pinker, M. S., Inormation and inormation tability o random variable and procee [17] Rokhlin, V. A., On the undamental idea o meaure theory, Matematichekii Sbornik , pp [18] eung, R. W., Inormation theory and network coding, Springer Science & Buine Media, A Lemma Lemma A.1 Given an arrow, :, p, q in SbStat. Let { q y } y denote the collection o conditional probability meaure o q conditioned by, then q y y q-almot everywhere. Lemma A.2 Given, p, q, p where i a continuou unction preerving the meaure o both Borel probability meaure p and p. I p p, then y x y x p -almot everywhere. 15
CHAPTER 8 OBSERVER BASED REDUCED ORDER CONTROLLER DESIGN FOR LARGE SCALE LINEAR DISCRETE-TIME CONTROL SYSTEMS
CHAPTER 8 OBSERVER BASED REDUCED ORDER CONTROLLER DESIGN FOR LARGE SCALE LINEAR DISCRETE-TIME CONTROL SYSTEMS 8.1 INTRODUCTION 8.2 REDUCED ORDER MODEL DESIGN FOR LINEAR DISCRETE-TIME CONTROL SYSTEMS 8.3
More informationLecture 21. The Lovasz splitting-off lemma Topics in Combinatorial Optimization April 29th, 2004
18.997 Topic in Combinatorial Optimization April 29th, 2004 Lecture 21 Lecturer: Michel X. Goeman Scribe: Mohammad Mahdian 1 The Lovaz plitting-off lemma Lovaz plitting-off lemma tate the following. Theorem
More informationSocial Studies 201 Notes for March 18, 2005
1 Social Studie 201 Note for March 18, 2005 Etimation of a mean, mall ample ize Section 8.4, p. 501. When a reearcher ha only a mall ample ize available, the central limit theorem doe not apply to the
More informationLinear Momentum. calculate the momentum of an object solve problems involving the conservation of momentum. Labs, Activities & Demonstrations:
Add Important Linear Momentum Page: 369 Note/Cue Here NGSS Standard: HS-PS2-2 Linear Momentum MA Curriculum Framework (2006): 2.5 AP Phyic 1 Learning Objective: 3.D.1.1, 3.D.2.1, 3.D.2.2, 3.D.2.3, 3.D.2.4,
More informationOBSERVER-BASED REDUCED ORDER CONTROLLER DESIGN FOR THE STABILIZATION OF LARGE SCALE LINEAR DISCRETE-TIME CONTROL SYSTEMS
International Journal o Computer Science, Engineering and Inormation Technology (IJCSEIT, Vol.1, No.5, December 2011 OBSERVER-BASED REDUCED ORDER CONTROLLER DESIGN FOR THE STABILIZATION OF LARGE SCALE
More informationApplication of Extended Scaling Law to the Surface Tension of Fluids of Wide Range of Molecular Shapes
Application o Extended caling Law to the urace enion o Fluid o Wide Range o Molecular hape Mohammad Hadi Ghatee, Ali oorghali (Department o Chemitry, College o cience, hiraz Univerity, hiraz 71454, Iran)
More informationSocial Studies 201 Notes for November 14, 2003
1 Social Studie 201 Note for November 14, 2003 Etimation of a mean, mall ample ize Section 8.4, p. 501. When a reearcher ha only a mall ample ize available, the central limit theorem doe not apply to the
More informationA CATEGORICAL CONSTRUCTION OF MINIMAL MODEL
A ATEGORIAL ONSTRUTION OF MINIMAL MODEL A. Behera, S. B. houdhury M. Routaray Department of Mathematic National Intitute of Technology ROURKELA - 769008 (India) abehera@nitrkl.ac.in 512ma6009@nitrkl.ac.in
More informationarxiv: v2 [math.nt] 30 Apr 2015
A THEOREM FOR DISTINCT ZEROS OF L-FUNCTIONS École Normale Supérieure arxiv:54.6556v [math.nt] 3 Apr 5 943 Cachan November 9, 7 Abtract In thi paper, we etablih a imple criterion for two L-function L and
More informationCSE 355 Homework Two Solutions
CSE 355 Homework Two Solution Due 2 Octoer 23, tart o cla Pleae note that there i more than one way to anwer mot o thee quetion. The ollowing only repreent a ample olution. () Let M e the DFA with tranition
More informationBeta Burr XII OR Five Parameter Beta Lomax Distribution: Remarks and Characterizations
Marquette Univerity e-publication@marquette Mathematic, Statitic and Computer Science Faculty Reearch and Publication Mathematic, Statitic and Computer Science, Department of 6-1-2014 Beta Burr XII OR
More informationSome Sets of GCF ϵ Expansions Whose Parameter ϵ Fetch the Marginal Value
Journal of Mathematical Reearch with Application May, 205, Vol 35, No 3, pp 256 262 DOI:03770/jin:2095-26520503002 Http://jmredluteducn Some Set of GCF ϵ Expanion Whoe Parameter ϵ Fetch the Marginal Value
More informationSOLUTIONS TO ALGEBRAIC GEOMETRY AND ARITHMETIC CURVES BY QING LIU. I will collect my solutions to some of the exercises in this book in this document.
SOLUTIONS TO ALGEBRAIC GEOMETRY AND ARITHMETIC CURVES BY QING LIU CİHAN BAHRAN I will collect my olution to ome of the exercie in thi book in thi document. Section 2.1 1. Let A = k[[t ]] be the ring of
More informationMulticolor Sunflowers
Multicolor Sunflower Dhruv Mubayi Lujia Wang October 19, 2017 Abtract A unflower i a collection of ditinct et uch that the interection of any two of them i the ame a the common interection C of all of
More informationON THE APPROXIMATION ERROR IN HIGH DIMENSIONAL MODEL REPRESENTATION. Xiaoqun Wang
Proceeding of the 2008 Winter Simulation Conference S. J. Maon, R. R. Hill, L. Mönch, O. Roe, T. Jefferon, J. W. Fowler ed. ON THE APPROXIMATION ERROR IN HIGH DIMENSIONAL MODEL REPRESENTATION Xiaoqun Wang
More informationTarzan s Dilemma for Elliptic and Cycloidal Motion
Tarzan Dilemma or Elliptic and Cycloidal Motion Yuji Kajiyama National Intitute o Technology, Yuge College, Shimo-Yuge 000, Yuge, Kamijima, Ehime, 794-593, Japan kajiyama@gen.yuge.ac.jp btract-in thi paper,
More informationList coloring hypergraphs
Lit coloring hypergraph Penny Haxell Jacque Vertraete Department of Combinatoric and Optimization Univerity of Waterloo Waterloo, Ontario, Canada pehaxell@uwaterloo.ca Department of Mathematic Univerity
More informationBogoliubov Transformation in Classical Mechanics
Bogoliubov Tranformation in Claical Mechanic Canonical Tranformation Suppoe we have a et of complex canonical variable, {a j }, and would like to conider another et of variable, {b }, b b ({a j }). How
More informationSuggested Answers To Exercises. estimates variability in a sampling distribution of random means. About 68% of means fall
Beyond Significance Teting ( nd Edition), Rex B. Kline Suggeted Anwer To Exercie Chapter. The tatitic meaure variability among core at the cae level. In a normal ditribution, about 68% of the core fall
More informationLecture 10 Filtering: Applied Concepts
Lecture Filtering: Applied Concept In the previou two lecture, you have learned about finite-impule-repone (FIR) and infinite-impule-repone (IIR) filter. In thee lecture, we introduced the concept of filtering
More informationChapter 4. The Laplace Transform Method
Chapter 4. The Laplace Tranform Method The Laplace Tranform i a tranformation, meaning that it change a function into a new function. Actually, it i a linear tranformation, becaue it convert a linear combination
More informationProblem 1. Construct a filtered probability space on which a Brownian motion W and an adapted process X are defined and such that
Stochatic Calculu Example heet 4 - Lent 5 Michael Tehranchi Problem. Contruct a filtered probability pace on which a Brownian motion W and an adapted proce X are defined and uch that dx t = X t t dt +
More informationIEOR 3106: Fall 2013, Professor Whitt Topics for Discussion: Tuesday, November 19 Alternating Renewal Processes and The Renewal Equation
IEOR 316: Fall 213, Profeor Whitt Topic for Dicuion: Tueday, November 19 Alternating Renewal Procee and The Renewal Equation 1 Alternating Renewal Procee An alternating renewal proce alternate between
More informationLecture 3. January 9, 2018
Lecture 3 January 9, 208 Some complex analyi Although you might have never taken a complex analyi coure, you perhap till know what a complex number i. It i a number of the form z = x + iy, where x and
More informationOptimal Coordination of Samples in Business Surveys
Paper preented at the ICES-III, June 8-, 007, Montreal, Quebec, Canada Optimal Coordination of Sample in Buine Survey enka Mach, Ioana Şchiopu-Kratina, Philip T Rei, Jean-Marc Fillion Statitic Canada New
More informationA note on strong convergence for Pettis integrable functions (revision)
note on trong convergence for Petti integrable function (reviion) Erik J. Balder, Mathematical Intitute, Univerity of Utrecht, Utrecht, Netherland nna Rita Sambucini, Dipartimento di Matematica, Univerità
More informationBy Xiaoquan Wen and Matthew Stephens University of Michigan and University of Chicago
Submitted to the Annal of Applied Statitic SUPPLEMENTARY APPENDIX TO BAYESIAN METHODS FOR GENETIC ASSOCIATION ANALYSIS WITH HETEROGENEOUS SUBGROUPS: FROM META-ANALYSES TO GENE-ENVIRONMENT INTERACTIONS
More informationPreemptive scheduling on a small number of hierarchical machines
Available online at www.ciencedirect.com Information and Computation 06 (008) 60 619 www.elevier.com/locate/ic Preemptive cheduling on a mall number of hierarchical machine György Dóa a, Leah Eptein b,
More informationConvex Hulls of Curves Sam Burton
Convex Hull of Curve Sam Burton 1 Introduction Thi paper will primarily be concerned with determining the face of convex hull of curve of the form C = {(t, t a, t b ) t [ 1, 1]}, a < b N in R 3. We hall
More informationLecture 8: Period Finding: Simon s Problem over Z N
Quantum Computation (CMU 8-859BB, Fall 205) Lecture 8: Period Finding: Simon Problem over Z October 5, 205 Lecturer: John Wright Scribe: icola Rech Problem A mentioned previouly, period finding i a rephraing
More informationCOHOMOLOGY AS A LOCAL-TO-GLOBAL BRIDGE
COHOMOLOGY AS A LOCAL-TO-GLOBAL BRIDGE LIVIU I. NICOLAESCU ABSTRACT. I dicu low dimenional incarnation of cohomology and illutrate how baic cohomological principle lead to a proof of Sperner lemma. CONTENTS.
More information1. Preliminaries. In [8] the following odd looking integral evaluation is obtained.
June, 5. Revied Augut 8th, 5. VA DER POL EXPASIOS OF L-SERIES David Borwein* and Jonathan Borwein Abtract. We provide concie erie repreentation for variou L-erie integral. Different technique are needed
More informationPrimitive Digraphs with the Largest Scrambling Index
Primitive Digraph with the Larget Scrambling Index Mahmud Akelbek, Steve Kirkl 1 Department of Mathematic Statitic, Univerity of Regina, Regina, Sakatchewan, Canada S4S 0A Abtract The crambling index of
More information7.2 INVERSE TRANSFORMS AND TRANSFORMS OF DERIVATIVES 281
72 INVERSE TRANSFORMS AND TRANSFORMS OF DERIVATIVES 28 and i 2 Show how Euler formula (page 33) can then be ued to deduce the reult a ( a) 2 b 2 {e at co bt} {e at in bt} b ( a) 2 b 2 5 Under what condition
More informationFlag-transitive non-symmetric 2-designs with (r, λ) = 1 and alternating socle
Flag-tranitive non-ymmetric -deign with (r, λ = 1 and alternating ocle Shenglin Zhou, Yajie Wang School of Mathematic South China Univerity of Technology Guangzhou, Guangdong 510640, P. R. China lzhou@cut.edu.cn
More informationLecture 7: Testing Distributions
CSE 5: Sublinear (and Streaming) Algorithm Spring 014 Lecture 7: Teting Ditribution April 1, 014 Lecturer: Paul Beame Scribe: Paul Beame 1 Teting Uniformity of Ditribution We return today to property teting
More informationMulti-dimensional Fuzzy Euler Approximation
Mathematica Aeterna, Vol 7, 2017, no 2, 163-176 Multi-dimenional Fuzzy Euler Approximation Yangyang Hao College of Mathematic and Information Science Hebei Univerity, Baoding 071002, China hdhyywa@163com
More informationLecture 9: Shor s Algorithm
Quantum Computation (CMU 8-859BB, Fall 05) Lecture 9: Shor Algorithm October 7, 05 Lecturer: Ryan O Donnell Scribe: Sidhanth Mohanty Overview Let u recall the period finding problem that wa et up a a function
More informationThe fractional stochastic heat equation on the circle: Time regularity and potential theory
Stochatic Procee and their Application 119 (9) 155 154 www.elevier.com/locate/pa The fractional tochatic heat equation on the circle: Time regularity and potential theory Eulalia Nualart a,, Frederi Vien
More informationAvoiding Forbidden Submatrices by Row Deletions
Avoiding Forbidden Submatrice by Row Deletion Sebatian Wernicke, Jochen Alber, Jen Gramm, Jiong Guo, and Rolf Niedermeier Wilhelm-Schickard-Intitut für Informatik, niverität Tübingen, Sand 13, D-72076
More informationNew bounds for Morse clusters
New bound for More cluter Tamá Vinkó Advanced Concept Team, European Space Agency, ESTEC Keplerlaan 1, 2201 AZ Noordwijk, The Netherland Tama.Vinko@ea.int and Arnold Neumaier Fakultät für Mathematik, Univerität
More informationChip-firing game and a partial Tutte polynomial for Eulerian digraphs
Chip-firing game and a partial Tutte polynomial for Eulerian digraph Kévin Perrot Aix Mareille Univerité, CNRS, LIF UMR 7279 3288 Mareille cedex 9, France. kevin.perrot@lif.univ-mr.fr Trung Van Pham Intitut
More informationComparing Means: t-tests for Two Independent Samples
Comparing ean: t-tet for Two Independent Sample Independent-eaure Deign t-tet for Two Independent Sample Allow reearcher to evaluate the mean difference between two population uing data from two eparate
More informationSTOCHASTIC EVOLUTION EQUATIONS WITH RANDOM GENERATORS. By Jorge A. León 1 and David Nualart 2 CINVESTAV-IPN and Universitat de Barcelona
The Annal of Probability 1998, Vol. 6, No. 1, 149 186 STOCASTIC EVOLUTION EQUATIONS WIT RANDOM GENERATORS By Jorge A. León 1 and David Nualart CINVESTAV-IPN and Univeritat de Barcelona We prove the exitence
More informationThe Secret Life of the ax + b Group
The Secret Life of the ax + b Group Linear function x ax + b are prominent if not ubiquitou in high chool mathematic, beginning in, or now before, Algebra I. In particular, they are prime exhibit in any
More informationAn Inequality for Nonnegative Matrices and the Inverse Eigenvalue Problem
An Inequality for Nonnegative Matrice and the Invere Eigenvalue Problem Robert Ream Program in Mathematical Science The Univerity of Texa at Dalla Box 83688, Richardon, Texa 7583-688 Abtract We preent
More informationAssignment for Mathematics for Economists Fall 2016
Due date: Mon. Nov. 1. Reading: CSZ, Ch. 5, Ch. 8.1 Aignment for Mathematic for Economit Fall 016 We now turn to finihing our coverage of concavity/convexity. There are two part: Jenen inequality for concave/convex
More informationSTRAIN LIMITS FOR PLASTIC HINGE REGIONS OF CONCRETE REINFORCED COLUMNS
13 th World Conerence on Earthquake Engineering Vancouver, B.C., Canada Augut 1-6, 004 Paper No. 589 STRAIN LIMITS FOR PLASTIC HINGE REGIONS OF CONCRETE REINFORCED COLUMNS Rebeccah RUSSELL 1, Adolo MATAMOROS,
More informationCodes Correcting Two Deletions
1 Code Correcting Two Deletion Ryan Gabry and Frederic Sala Spawar Sytem Center Univerity of California, Lo Angele ryan.gabry@navy.mil fredala@ucla.edu Abtract In thi work, we invetigate the problem of
More informationOn the Unit Groups of a Class of Total Quotient Rings of Characteristic p k with k 3
International Journal of Algebra, Vol, 207, no 3, 27-35 HIKARI Ltd, wwwm-hikaricom http://doiorg/02988/ija2076750 On the Unit Group of a Cla of Total Quotient Ring of Characteritic p k with k 3 Wanambii
More informationChapter 9: Controller design. Controller design. Controller design
Chapter 9. Controller Deign 9.. Introduction 9.2. Eect o negative eedback on the network traner unction 9.2.. Feedback reduce the traner unction rom diturbance to the output 9.2.2. Feedback caue the traner
More informationLogic, Automata and Games
Logic, Automata and Game Jacque Duparc EJCIM 27 EJCIM, 23-27 January 27 J. Duparc ( & ) Logic, Automata and Game Lyon, 23-27 January 27 / 97 Reference [] K. R. Apt and E. Grädel. Lecture in game theory
More informationFinite Difference Formulae for Unequal Sub- Intervals Using Lagrange s Interpolation Formula
Int. Journal o Mat. Analyi, Vol., 9, no. 7, 85-87 Finite Dierence Formulae or Unequal Sub- Interval Uing Lagrange Interpolation Formula Aok K. Sing a and B. S. Badauria b Department o Matematic, Faculty
More informationSource slideplayer.com/fundamentals of Analytical Chemistry, F.J. Holler, S.R.Crouch. Chapter 6: Random Errors in Chemical Analysis
Source lideplayer.com/fundamental of Analytical Chemitry, F.J. Holler, S.R.Crouch Chapter 6: Random Error in Chemical Analyi Random error are preent in every meaurement no matter how careful the experimenter.
More informationA BATCH-ARRIVAL QUEUE WITH MULTIPLE SERVERS AND FUZZY PARAMETERS: PARAMETRIC PROGRAMMING APPROACH
Mathematical and Computational Application Vol. 11 No. pp. 181-191 006. Aociation for Scientific Reearch A BATCH-ARRIVA QEE WITH MTIPE SERVERS AND FZZY PARAMETERS: PARAMETRIC PROGRAMMING APPROACH Jau-Chuan
More informationSOME RESULTS ON INFINITE POWER TOWERS
NNTDM 16 2010) 3, 18-24 SOME RESULTS ON INFINITE POWER TOWERS Mladen Vailev - Miana 5, V. Hugo Str., Sofia 1124, Bulgaria E-mail:miana@abv.bg Abtract To my friend Kratyu Gumnerov In the paper the infinite
More informationA Class of Linearly Implicit Numerical Methods for Solving Stiff Ordinary Differential Equations
The Open Numerical Method Journal, 2010, 2, 1-5 1 Open Acce A Cla o Linearl Implicit Numerical Method or Solving Sti Ordinar Dierential Equation S.S. Filippov * and A.V. Tglian Keldh Intitute o Applied
More informationThe Ideal Convergence of Difference Strongly of
International Journal o Mathematical Analyi Vol. 9, 205, no. 44, 289-2200 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/0.2988/ijma.205.5786 The Ideal Convergence o Dierence Strongly o χ 2 in p Metric
More informationarxiv: v1 [math.mg] 25 Aug 2011
ABSORBING ANGLES, STEINER MINIMAL TREES, AND ANTIPODALITY HORST MARTINI, KONRAD J. SWANEPOEL, AND P. OLOFF DE WET arxiv:08.5046v [math.mg] 25 Aug 20 Abtract. We give a new proof that a tar {op i : i =,...,
More informationSEMIDIRECT PRODUCTS OF (TOPOLOGICAL) SEMI-ABELIAN ALGEBRAS MARIA MANUEL CLEMENTINO, ANDREA MONTOLI AND LURDES SOUSA
Pré-Publicaçõe do Departamento de Matemática Univeridade de Coimbra Preprint Number 13 47 SEMIDIRECT PRODUCTS OF (TOPOLOGICAL) SEMI-ABELIAN ALGEBRAS MARIA MANUEL CLEMENTINO, ANDREA MONTOLI AND LURDES SOUSA
More informationON ORTHOGONAL PAIRS IN CATEGORIES AND LOCALISATION
ON ORTHOGONL PIRS IN CTEGORIES ND LOCLISTION Carle Caacuberta, Georg Pechke and Marku Pfenniger In memory of Frank dam 0 Introduction Special form of the following ituation are often encountered in the
More informationOne Dimensional Modeling of the Shape Memory Effect
odeling and Numerical Simulation o aterial Science, 3, 3, 4-8 http://dx.doi.org/.436/mnm.3.347 Publihed Online October 3 (http://www.cirp.org/journal/mnm) One Dimenional odeling o the Shape emory Eect
More informationUNIT 15 RELIABILITY EVALUATION OF k-out-of-n AND STANDBY SYSTEMS
UNIT 1 RELIABILITY EVALUATION OF k-out-of-n AND STANDBY SYSTEMS Structure 1.1 Introduction Objective 1.2 Redundancy 1.3 Reliability of k-out-of-n Sytem 1.4 Reliability of Standby Sytem 1. Summary 1.6 Solution/Anwer
More informationTHE THERMOELASTIC SQUARE
HE HERMOELASIC SQUARE A mnemonic for remembering thermodynamic identitie he tate of a material i the collection of variable uch a tre, train, temperature, entropy. A variable i a tate variable if it integral
More informationLong-term returns in stochastic interest rate models
Long-term return in tochatic interet rate model G. Deeltra F. Delbaen Vrije Univeriteit Bruel Departement Wikunde Abtract In thi paper, we oberve the convergence of the long-term return, uing an extenion
More informationComputers and Mathematics with Applications. Sharp algebraic periodicity conditions for linear higher order
Computer and Mathematic with Application 64 (2012) 2262 2274 Content lit available at SciVere ScienceDirect Computer and Mathematic with Application journal homepage: wwweleviercom/locate/camwa Sharp algebraic
More information2 Hatad, Jukna & Pudlak gate, namely we hall tudy the ize of depth-three circuit. The technique we hall ue ha two ource. The rt one i a \nite" verion
TOP-DOWN LOWER BOUNDS FOR DEPTH-THREE CIRCUITS J. Hatad, S. Jukna and P. Pudlak Abtract. We preent a top-down lower bound method for depth-three ^ _ :-circuit which i impler than the previou method and
More informationThe machines in the exercise work as follows:
Tik-79.148 Spring 2001 Introduction to Theoretical Computer Science Tutorial 9 Solution to Demontration Exercie 4. Contructing a complex Turing machine can be very laboriou. With the help of machine chema
More informationThe Vertical Structure of the Eddy Diffusivity and the Equilibration of the Extratropical Atmosphere
The Vertical Structure o the Eddy Diuivity and the Equilibration o the Extratropical Atmophere The MIT Faculty ha made thi article openly available. Pleae hare how thi acce beneit you. Your tory matter.
More informationResearch Article Existence for Nonoscillatory Solutions of Higher-Order Nonlinear Differential Equations
International Scholarly Reearch Network ISRN Mathematical Analyi Volume 20, Article ID 85203, 9 page doi:0.502/20/85203 Reearch Article Exitence for Nonocillatory Solution of Higher-Order Nonlinear Differential
More informationGeometric Measure Theory
Geometric Meaure Theory Lin, Fall 010 Scribe: Evan Chou Reference: H. Federer, Geometric meaure theory L. Simon, Lecture on geometric meaure theory P. Mittila, Geometry of et and meaure in Euclidean pace
More information84 ZHANG Jing-Shang Vol. 39 of which would emit 5 He rather than 3 He. 5 He i untable and eparated into n + pontaneouly, which can alo be treated a if
Commun. Theor. Phy. (Beijing, China) 39 (003) pp. 83{88 c International Academic Publiher Vol. 39, No. 1, January 15, 003 Theoretical Analyi of Neutron Double-Dierential Cro Section of n+ 11 B at 14. MeV
More informationLearning Multiplicative Interactions
CSC2535 2011 Lecture 6a Learning Multiplicative Interaction Geoffrey Hinton Two different meaning of multiplicative If we take two denity model and multiply together their probability ditribution at each
More informationarxiv: v1 [quant-ph] 22 Oct 2010
The extenion problem for partial Boolean tructure in Quantum Mechanic Cotantino Budroni 1 and Giovanni Morchio 1, 2 1) Dipartimento di Fiica, Univerità di Pia, Italy 2) INFN, Sezione di Pia, Italy Alternative
More informationFinite-Dimensional Control of Parabolic PDE Systems Using Approximate Inertial Manifolds
JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS 16, 39840 1997 ARTICLE NO AY975649 Finite-Dimenional Control o Parabolic PDE Sytem Uing Approximate Inertial Maniold Panagioti D Chritoide and Prodromo
More informationTRIPLE SOLUTIONS FOR THE ONE-DIMENSIONAL
GLASNIK MATEMATIČKI Vol. 38583, 73 84 TRIPLE SOLUTIONS FOR THE ONE-DIMENSIONAL p-laplacian Haihen Lü, Donal O Regan and Ravi P. Agarwal Academy of Mathematic and Sytem Science, Beijing, China, National
More informationLecture 17: Analytic Functions and Integrals (See Chapter 14 in Boas)
Lecture 7: Analytic Function and Integral (See Chapter 4 in Boa) Thi i a good point to take a brief detour and expand on our previou dicuion of complex variable and complex function of complex variable.
More informationRELIABILITY OF REPAIRABLE k out of n: F SYSTEM HAVING DISCRETE REPAIR AND FAILURE TIMES DISTRIBUTIONS
www.arpapre.com/volume/vol29iue1/ijrras_29_1_01.pdf RELIABILITY OF REPAIRABLE k out of n: F SYSTEM HAVING DISCRETE REPAIR AND FAILURE TIMES DISTRIBUTIONS Sevcan Demir Atalay 1,* & Özge Elmataş Gültekin
More informationarxiv:hep-th/ v1 4 Nov 1999
Large Gauge Ward Identity arxiv:hep-th/991108v1 4 Nov 1999 Ahok Da Department o Phyic and Atronomy, Univerity o Rocheter, Rocheter, NY 1467 Gerald Dunne Department o Phyic, Technion - Irael Intitute o
More informationTheoretical Computer Science. Optimal algorithms for online scheduling with bounded rearrangement at the end
Theoretical Computer Science 4 (0) 669 678 Content lit available at SciVere ScienceDirect Theoretical Computer Science journal homepage: www.elevier.com/locate/tc Optimal algorithm for online cheduling
More informationOPTIMAL ADAPTIVE TESTING: INFORMATIVENESS AND INCENTIVES
OPTIMAL ADAPTIVE TESTING: INFORMATIVENESS AND INCENTIVES RAHUL DEB AND COLIN STEWART MARCH 29, 2016 ABSTRACT. We introduce a learning ramework in which a principal eek to determine the ability o a trategic
More informationNULL HELIX AND k-type NULL SLANT HELICES IN E 4 1
REVISTA DE LA UNIÓN MATEMÁTICA ARGENTINA Vol. 57, No. 1, 2016, Page 71 83 Publihed online: March 3, 2016 NULL HELIX AND k-type NULL SLANT HELICES IN E 4 1 JINHUA QIAN AND YOUNG HO KIM Abtract. We tudy
More informationOPTIMAL ADAPTIVE TESTING: INFORMATIVENESS AND INCENTIVES
OPTIMAL ADAPTIVE TESTING: INFORMATIVENESS AND INCENTIVES RAHUL DEB AND COLIN STEWART DECEMBER 18, 2017 ABSTRACT. We introduce a learning ramework in which a principal eek to determine the ability o a trategic
More informationTo appear in International Journal of Numerical Methods in Fluids in Stability analysis of numerical interface conditions in uid-structure therm
To appear in International Journal of Numerical Method in Fluid in 997. Stability analyi of numerical interface condition in uid-tructure thermal analyi M. B. Gile Oxford Univerity Computing Laboratory
More informationGain and Phase Margins Based Delay Dependent Stability Analysis of Two- Area LFC System with Communication Delays
Gain and Phae Margin Baed Delay Dependent Stability Analyi of Two- Area LFC Sytem with Communication Delay Şahin Sönmez and Saffet Ayaun Department of Electrical Engineering, Niğde Ömer Halidemir Univerity,
More informationALLOCATING BANDWIDTH FOR BURSTY CONNECTIONS
SIAM J. COMPUT. Vol. 30, No. 1, pp. 191 217 c 2000 Society for Indutrial and Applied Mathematic ALLOCATING BANDWIDTH FOR BURSTY CONNECTIONS JON KLEINBERG, YUVAL RABANI, AND ÉVA TARDOS Abtract. In thi paper,
More informationThe Electric Potential Energy
Lecture 6 Chapter 28 Phyic II The Electric Potential Energy Coure webite: http://aculty.uml.edu/andriy_danylov/teaching/phyicii New Idea So ar, we ued vector quantitie: 1. Electric Force (F) Depreed! 2.
More informationEE Control Systems LECTURE 6
Copyright FL Lewi 999 All right reerved EE - Control Sytem LECTURE 6 Updated: Sunday, February, 999 BLOCK DIAGRAM AND MASON'S FORMULA A linear time-invariant (LTI) ytem can be repreented in many way, including:
More informationMemoryle Strategie in Concurrent Game with Reachability Objective Λ Krihnendu Chatterjee y Luca de Alfaro x Thoma A. Henzinger y;z y EECS, Univerity o
Memoryle Strategie in Concurrent Game with Reachability Objective Krihnendu Chatterjee, Luca de Alfaro and Thoma A. Henzinger Report No. UCB/CSD-5-1406 Augut 2005 Computer Science Diviion (EECS) Univerity
More informationStrong Stochastic Stability for MANET Mobility Models
trong tochatic tability for MAET Mobility Model R. Timo, K. Blacmore and L. Hanlen Department of Engineering, the Autralian ational Univerity, Canberra Email: {roy.timo, im.blacmore}@anu.edu.au Wirele
More informationAn example of a non-markovian stochastic two-point boundary value problem
Bernoulli 3(4), 1997, 371±386 An example of a non-markovian tochatic two-point boundary value problem MARCO FERRANTE 1 and DAVID NUALART 2 1 Dipartimento di Matematica, UniveritaÁ di Padova, via Belzoni
More informationRiemann s Functional Equation is Not a Valid Function and Its Implication on the Riemann Hypothesis. Armando M. Evangelista Jr.
Riemann Functional Equation i Not a Valid Function and It Implication on the Riemann Hypothei By Armando M. Evangelita Jr. armando78973@gmail.com On Augut 28, 28 ABSTRACT Riemann functional equation wa
More informationA THEOREM OF ROLEWICZ S TYPE FOR MEASURABLE EVOLUTION FAMILIES IN BANACH SPACES
Electronic Journal of Differential Equation, Vol. 21(21, No. 7, pp. 1 5. ISSN: 172-6691. URL: http://ejde.math.wt.edu or http://ejde.math.unt.edu ftp ejde.math.wt.edu (login: ftp A THEOREM OF ROLEWICZ
More informationPythagorean Triple Updated 08--5 Drlnoordzij@leennoordzijnl wwwleennoordzijme Content A Roadmap for generating Pythagorean Triple Pythagorean Triple 3 Dicuion Concluion 5 A Roadmap for generating Pythagorean
More informationStratified Analysis of Probabilities of Causation
Stratified Analyi of Probabilitie of Cauation Manabu Kuroki Sytem Innovation Dept. Oaka Univerity Toyonaka, Oaka, Japan mkuroki@igmath.e.oaka-u.ac.jp Zhihong Cai Biotatitic Dept. Kyoto Univerity Sakyo-ku,
More informationLINEAR ALGEBRA METHOD IN COMBINATORICS. Theorem 1.1 (Oddtown theorem). In a town of n citizens, no more than n clubs can be formed under the rules
LINEAR ALGEBRA METHOD IN COMBINATORICS 1 Warming-up example Theorem 11 (Oddtown theorem) In a town of n citizen, no more tha club can be formed under the rule each club have an odd number of member each
More informationNonlinear Single-Particle Dynamics in High Energy Accelerators
Nonlinear Single-Particle Dynamic in High Energy Accelerator Part 6: Canonical Perturbation Theory Nonlinear Single-Particle Dynamic in High Energy Accelerator Thi coure conit of eight lecture: 1. Introduction
More informationA FUNCTIONAL BAYESIAN METHOD FOR THE SOLUTION OF INVERSE PROBLEMS WITH SPATIO-TEMPORAL PARAMETERS AUTHORS: CORRESPONDENCE: ABSTRACT
A FUNCTIONAL BAYESIAN METHOD FOR THE SOLUTION OF INVERSE PROBLEMS WITH SPATIO-TEMPORAL PARAMETERS AUTHORS: Zenon Medina-Cetina International Centre for Geohazard / Norwegian Geotechnical Intitute Roger
More informationarxiv: v2 [math.co] 11 Sep 2017
The maximum number of clique in graph without long cycle Ruth Luo September 13, 017 arxiv:1701.0747v [math.co] 11 Sep 017 Abtract The Erdő Gallai Theorem tate that for k 3 every graph on n vertice with
More informationEVOLUTION EQUATION OF A STOCHASTIC SEMIGROUP WITH WHITE-NOISE DRIFT
The Annal of Probability, Vol. 8, No. 1, 36 73 EVOLUTION EQUATION OF A STOCHASTIC SEMIGROUP WITH WHITE-NOISE DRIFT By David Nualart 1 and Frederi Vien Univeritat de Barcelona and Univerity of North Texa
More information