Iterative Algebras for a Base
|
|
- Julian Sanders
- 5 years ago
- Views:
Transcription
1 Elctronic Nots in Thortical Computr Scinc 122 (2005) Itrativ Algbras for a Bas JiříAdámk 1,2 Stfan Milius 2 Institut of Thortical Computr Scinc, Tchnical Univrsity, Braunschwig, Grmany Jiří Vlbil 1,3 Faculty of Elctrical Enginring, Tchnical Univrsity, Pragu, Czch Rpublic Abstract For algbras A whos typ is givn by an ndofunctor, itrativity mans that vry flat quation morphism in A has a uniqu solution. In our prvious work w provd that vry objct gnrats a fr itrativ algbra, and w providd a coalgbraic construction of thos fr algbras. Itrativity w.r.t. an ndofunctor was gnralizd by Tarmo Uustalu to itrativity w.r.t. a bas, i.., a functor of two variabls yilding finitary monads in on variabl. In th currnt papr w introduc itrativ algbras in this gnral stting, and provid again a coalgbraic construction of fr itrativ algbras. Kywords: fr itrativ thory, rational monad, coalgbra 1 Introduction In our prvious work w introducd, for vry finitary 4 ndofunctor H, th concpt of an itrativ H-algbra. Th aim was to gnraliz and simplify th dscription of fr itrativ thoris of Calvin Elgot and his coauthors [10], [11]. In that w followd th footstps of Evlyn Nlson [16] who introducd itrativ Σ-algbras (in St) and simplifid th dscription of th fr itrativ 1 Th first and th third author acknowldg th support of th Grant Agncy of th Czch Rpublic undr th Grant No. 201/02/ {adamk,milius}@iti.cs.tu-bs.d 3 vlbil@math.fld.cvut.cz 4 finitary mans: prsrving filtrd colimits Elsvir B.V. Opn accss undr CC BY-NC-ND licns. doi: /j.ntcs
2 148 J. Adámk t al. / Elctronic Nots in Thortical Computr Scinc 122 (2005) thory R Σ on Σ: that thory assigns to vry st Y th algbra R Σ Y of all rational Σ-trs on Y, i.., thos Σ-trs that hav finitly many subtrs up to isomorphism (a charactrization providd by Susanna Ginali [12]). Whras th original proof, using constructions on algbraic thoris, occupid most of th tchnical paprs [10], [8], [11], th proof du to Evlyn Nlson was concis and intuitiv. In [5] w introducd itrativity for H-algbras for vry finitary ndofunctor H of a locally finitly prsntabl catgory A this includs catgoris such as many-sortd sts A = St S and th catgory Fin[St, St] of all finitary st functors. W provd that vry objct Y of A gnrats a fr itrativ H-algbra, RY, and w providd a coalgbraic construction of RY : for th cas of Y = 0 (initial in A), R0 is a colimit of all finit H-coalgbras, and in th gnral cas w work with H( ) +Y instad of H. And, again, w provd that th monad R( ) of fr itrativ H-algbras is a fr itrativ monad on H. In th prsnt papr w work with a bas instad of an ndofunctor, and study itrativity of bas algbras. By a bas w undrstand a finitary ndofunctor from A to FM(A), th catgory of finitary monads on A. This was introducd by Tarmo Uustalu [18] undr th nam paramtrizd monad. Th motivating ida is to study itrativity of Σ-algbras, for a signatur Σ, whr ach opration symbol coms with th information in what placs itration is allowd to occur. Lt us illustrat this on th simpl xampl of a signatur consiting of a singl binary opration symbol. Cas 1: full itrativity. This is th concpt of itrativ algbra of Evlyn Nlson [16]: An algbra (A, ) is itrativ if vry systm x 1 t 1. (1.1) x m t m of quations in variabls X = { x 1,...,x m } and with right-hand sids t i = x j x k for x j,x k in X, ort i A, has a uniqu solution in A. Equivalntly vry systm (1.1) whracht i is a trm on X + A, t i X, has a uniqu solution. A fr itrativ algbra, RY, on a st Y is th algbra of all rational binary trs on Y. Cas 2: rstrictd itrativity. Hr w rquir that th fr variabls ar only allowd to occur on th lft-hand position of. Thus, an itrativ algbra is on in which vry systm (1.1) with right-hand sids t i = x a for x X and a A, ort i A has a uniqu solution. A fr itrativ algbra, for itrativity w. r. t. ths systms of quations, is th algbra of
3 J. Adámk t al. / Elctronic Nots in Thortical Computr Scinc 122 (2005) all right-wllfoundd rational binary trs ovr Y, i.., thos which hav th right-most path from vry nod finit. Obsrv that for an itrativ algbra all right-hand sids t i = x i1 (x i2 ( (x in a)) ), x ij X, j =1,...,n (1.2) can b allowd: vry systm (1.1) with such right-hand sids has a uniqu solution, too. Cas 3: no itrativity. Hr no variabl is allowd to occur on righthand sids of systms (1.1), i.., w ar lft with th trivial systms in which all right-hand sids li in A. Evry algbra is thn itrativ. In ordr to formaliz such paramtrizd itrativity, w mov from finitary functors H : A A, usd for classical algbra, to finitary functors H : A A A, calld paramtrizd ndofunctors. In th cas of on binary opration th classical polynomial ndofunctor H : St St, HX = X X, is now substitutd by thr paramtrizd ndofunctors: H(X, Y ) = X X for Cas 1, H(X, Y )=X Y for Cas 2, and H(X, Y )=Y Y for Cas 3. Lt us dnot by X Y (rad X box Y ) afrh(x, )-algbra on Y (for all pairs of objcts X, Y A). Mor prcisly, for vry objct X w dnot by X th fr monad on th ndofunctor H(X, ) (which, as provd by Michal Barr [7] is just th monad of th fr algbras of H(X, )). This yilds a bas, i.., a functor A FM(A) in th obvious way. Exampl: for on binary opration with full itrativity, H(X, ) =X X is th constant ndofunctor whos fr algbra on Y is X Y = X X + Y. Th cas of rstrictd itrativity, H(X, ) = X corrsponds to unary opration symbols indxd by X th fr algbras ar X Y = X Y whr X is a fr monoid on X. Finally, th trivial cas of no itrativity yilds th bas indpndntly of X. X Y = fr algbra on Y
4 150 J. Adámk t al. / Elctronic Nots in Thortical Computr Scinc 122 (2005) In gnral, w us th uncurrid form of a bas, i.., a functor : A A A finitary in both variabls and quippd with monad units A X A and monad multiplications X (X A) X A for all pairs of objcts X, A satisfying som obvious compatibility conditions (s Sction 2). A bas algbra is a monad algbra of th monad A on th objct A. Thatis,abas algbra is givn by a morphism α : A A A satisfying th Eilnbrg-Moor conditions in th scond variabl. Th bass X Y = X X + Y and X Y = X Y on St yild th usual algbras on on binary opration as bas algbras. Howvr, itrativity is diffrnt, as w dmonstrat blow. For a givn bas algbra A lt us call morphisms : X X A, X finitly prsntabl, quation morphisms. For a fully itrativ binary opration this is : X X X + A xprssing prcisly a systm (1.1), for th rstrictd itrativity w gt : X X A as in (1.2) abov. Dfinition 1.1 Abasalgbraα : A A A is itrativ providd that for vry quation morphism : X X A thr xists a uniqu solution, i.., a uniqu morphism : X A for which th squar X X A A A α A A commuts. Th main rsult of our papr is that (i) fr itrativ bas algbras always xist, and (ii) th monad thy prsnt in A is a fr itrativ monad on th givn bas. This mans that th full strngth of th rsults of [5], concrning (fully) itrativ H-algbras of a givn ndofunctor H, gnraliz to th cas of bas algbras. In that spcial cas on works with th bas X Y = HX + Y
5 J. Adámk t al. / Elctronic Nots in Thortical Computr Scinc 122 (2005) whr itrativity of bas algbras is th full itrativity abov, and th monad of fr itrativ algbras was provd to b a fr itrativ monad on H. Th notion of a bas (undr th nam paramtrizd monad) has bn introducd by Tarmo Uustalu [18] who gnralizd som rsults of our papr [1]. In th prsnt papr w continu in th sam vin by gnralizing rsults of [5] from H-algbras to bas algbras. Although th structur of th prsnt papr follows that of [5] closly, it turns out that all th proofs ar substantially mor difficult. Thus our original hop that w will just indicat how to modify th prvious proof idas to th prsnt gnrality faild, and w fl obligd to prsnt dtaild proofs again. Th concrt xampls of bass blow (s 2.5) and thir fr itrativ algbras (s ) wr alrady considrd in [18]. 2 Bass and Bas Algbras Assumption 2.1 Throughout this sction w assum that a locally finitly prsntabl catgory A is givn. W dnot by FM(A) th catgory of all finitary monads on A (i.., monads whos undrlying functor prsrvs filtrd colimits) and monad morphisms. Dfinition 2.2 By a bas on A is undrstood a finitary functor from A to FM(A). Notation 2.3 (i) Givn a bas, w hav a finitary undrlying functor from A to th catgory Fin[A, A] of finitary ndofunctors of A. This is a currid form of a functor of two variabls, finitary in ach variabl, which w dnot by : A A A. (ii) Th unit of th monad X is dnotd by u X : Id X ; its componnts ar u X A : A X A. (iii) Th multiplication of th monad X is dnotd by m X ; its componnts ar m X A : X (X A) X A. Rmark 2.4 Explicitly, to spcify a bas mans to spcify a finitary functor of two variabls : A A A togthr with morphisms u X A : A X A and mx A : X (X A) X A
6 152 J. Adámk t al. / Elctronic Nots in Thortical Computr Scinc 122 (2005) for arbitrary objcts X, A of A such that th following diagrams commut: and X (X (X A)) u X X A X A X ux A X (X A) X A m X A X A m X X A X (X A) X m X A m X A X (X A) m X A X A xprssing th monad axioms for ach X, togthr with (2.1) (2.2) A f B u X A u Y B X A h f Y B (2.3) and X (X A) h (h f) Y (Y B) m X A m Y B X A h f Y B (2.4) which xprss th naturality of u X and m X and th fact that for vry morphism h : X Y w hav a monad morphism h ( ) :X ( ) Y ( ). Exampls 2.5 (i) W hav trivial bass givn by all constant functors from A to FM(A). That is, for vry finitary monad S on A w form th trivial bas X S A = SA whos unit and multiplication is that of S. (ii) Coproduct is a bas X A = X + A with th obvious unit and multiplication u X A = inr : A X+A and mx A =[inl, inl, inr ]:X+X+A X+A.
7 J. Adámk t al. / Elctronic Nots in Thortical Computr Scinc 122 (2005) (iii) Lt X b a fr monoid on th objct X of A with unit η X :1 X and multiplication µ X : X X X. Thn w hav th bas X A = X A with bas unit u X A = η X A and bas multiplication m X A = µ X A. (iv) Lt B b any locally finitly prsntabl catgory. Thn so is th catgory A = Fin[B, B] of all finitary ndofunctors of B. Thr w hav a bas X A = F(X) A whr a fr monad on X is dnotd by (F(X),η X,µ X ) it xists sinc X is finitary, s [7]. Th bas unit is u X A = ηx A and th bas multiplication m X A = µx A. Exampl 2.6 Lt : A A A b a bas. W obtain othr bass by prcomposing with finitary ndofunctors H : A A: X A = HX A with unit and multiplication u X A = uhx A : A HX A ṁ X A = mhx A : HX (HX A) HX A. Of particular importanc is th bas obtaind from th bas +, i.., X A = HX + A. W will s blow that our prvious rsults of [5] on H-algbras ar spcial cass of th rsults concrning ths bass. Dfinition 2.7 Givn a bas, by a bas algbra is undrstood an objct A of A togthr with a monadic algbra on A of th monad A. That is, a bas algbra is givn by an objct A and a morphism α : A A A such that th following two diagrams A α A A A (A A) α m A A A A A α A ua A A A α A (2.5) commut.
8 154 J. Adámk t al. / Elctronic Nots in Thortical Computr Scinc 122 (2005) Notation 2.8 W dnot by Alg(A, ) th catgory of all bas algbras and all homomorphisms from (A, α) to(b,β), i.., morphisms h : A A of A such that th squar A A h h B B α β A h B (2.6) commuts. Exampls 2.9 (i) Algbras of th bas X A = X + A ar givn by an objct A and an ndomorphism of A (i.., ths ar just unary algbras in A). Homomorphisms ar also th usual homomorphisms of unary algbras. (ii) Algbras of th bas X A = HX + A ar th usual H-algbras, i.., pairs consisting of an objct A and a morphism α : HA A. Also, homomorphisms ar th usual H-algbra homomorphisms. Thus, Alg(A, ) =Alg H is th catgory of H-algbras and homomorphisms. (iii) Algbras of th bas on St givn by X A = X A (s 2.5(iii)) ar prcisly th usual algbras on on binary opration. In fact, givn th lattr, say, : A A A dfin α : A A A by α(a 1 a 2...a n,a)=a 1 (a 2...(a n a)...). This satisfis (2.5). Convrsly, givn α : A A A satisfying (2.5), it is givn by th abov formula whr dnots th rstriction of α to all pairs in A A. Consquntly, th bass X A =(X X)+A and X A = X A on St dfin th sam catgoris of algbras.
9 J. Adámk t al. / Elctronic Nots in Thortical Computr Scinc 122 (2005) (iv) Lt B b any locally finitly prsntabl catgory and put A = Fin[B, B] with th bas X A = F(X) A (s 2.5(iv)) An algbra is a pair (A, α) consisting of a finitary ndofunctor A : B B and a natural transformation α : A A A. Mor prcisly: ach such pair dfins a uniqu natural transformation α from A to A, A (th right Kan xtnsion of A along A). Sinc A, A is always a monad and F(A) isafrmonadona, α yilds a uniqu monad morphism α : F(A) A, A. Th uniqu natural transformation α : F(A) A A corrsponding to α dfins an algbra of our bas in fact, th condition (2.5) abov is quivalnt to α bing a monad morphism. Proposition 2.10 Th catgory Alg(A, ) is locally finitly prsntabl, and its forgtful functor into A has a lft adjoint, i.., fr bas algbras xist on vry objct of A. Proof. Th ndofunctor SA = A A of A is finitary, and thus th catgory Alg S is locally finitly prsntabl and its forgtful functor has a lft adjoint, s [6]. Th catgory Alg(A, ) is a full subcatgory of Alg S, and it is asy to vrify that it is closd undr limits and filtrd colimits in Alg S. It follows that it is a rflctiv subcatgory, s Thorm 2.48 in [6]. Sinc th forgtful functor of Alg(A, ) is a rstriction of that of Alg S, th proposition follows. 3 Itrativ Bas Algbras Assumption 3.1 Throughout this sction dnots a bas on a locally finitly prsntabl catgory A. Dfinition 3.2 (i) By a (finitary, flat) quation morphism in an objct A is mant a morphism : X X A, X finitly prsntabl. (ii) Suppos that A is th undrlying objct of a bas algbra α : A A A. Thn by a solution of is mant a morphism : X A such that th
10 156 J. Adámk t al. / Elctronic Nots in Thortical Computr Scinc 122 (2005) squar commuts. X X A A A α A A (3.1) (iii) A bas algbra is calld itrativ providd that vry quation morphism has a uniqu solution. Exampl 3.3 Considr th bas X A = X +A in St. Thn a bas algbra, i.., a unary algbra α : A A, is itrativ if and only if α k has a uniqu fixd point for all k, s[5]. Exampl 3.4 Algbras of th bas X A =(X X)+A ona = St ar th usual algbras on on binary opration: s Exampl 2.9(ii) and put HX = X X. Thr is no asy critrion for an algbra to b itrativ. But thr ar nic xampls of itrativ algbras, s [5],.g., A = {1, 2, 3,...} { }with addition A =(0, ] A =(1, ] with addition with multiplication A fr itrativ algbra on a st Y (of gnrators) can b dscribd as th algbra RY of all rational binary trs on Y, s Sction 1. Exampl 3.5 Considr th bas X A = X A on A = St, s Exampl 2.5(iii). Although its algbras ar, again, th usual binary algbras, th concpt of itrativ algbras diffrs from th abov xampl. Rcall that an algbra (A, ) ladstoα : A A A with α(a 1 a 2...a n,a)=a 1 (a 2...(a n a)...). It is itrativ if and only if for vry quation morphism : X X A (X finit) thr xists a uniqu : X A such that for vry variabl x w hav that (i) (x) =(ε, a) implis (x) =a, and (ii) (x) =(x 1...x n,a) implis (x) = (x 1 ) ( (x 2 )...( (x n ) a)...).
11 J. Adámk t al. / Elctronic Nots in Thortical Computr Scinc 122 (2005) Thus, for xampl, th mpty algbra is itrativ in th prsnt sns (but it is not itrativ for (X X)+A). A fr itrativ algbra, RY,onastY can b dscribd as a subalgbra of th abov algbra RY of all rational binary trs on Y. Lt us call a binary tr right-wllfoundd if from vry nod th right-most path is always finit (i.., it lads to a laf). It is obvious that th st RY of all rational rightwllfoundd trs is a subalgbra of RY. This subalgbra is itrativ (w.r.t. th prsnt bas X A), in fact, RY is a fr itrativ algbra on Y. Exampl 3.6 W know that th classical Σ-algbras for a signatur Σ = (Σ n ) n N ar just algbras of th corrsponding polynomial ndofunctor H Σ of St. ThabovExampl3.4 immdiatly gnralizs to th bas X Y = H Σ X + Y of Exampl 2.6: a fr itrativ algbra on a st Y is th algbra R Σ Y of all rational Σ-trs on Y, s Sction 1. Opn Problm 3.7 Dscrib, for A = Fin[St, St], fr itrativ algbras of th bass X A =(X X)+A and X A = F(X) A. Exampl 3.8 For th trivial bass S, s Exampl 2.5(i), all algbras ar itrativ. In fact, givn an Eilnbrg-Moor algbra α : SA A and an quation morphism : X SA, th uniqu solution is = α : X A. Notation 3.9 Lt : X X A b an quation morphism with paramtrs in A. Evry morphism h : A B in A yilds an quation morphism h X X A X h X A. (3.2) Lmma 3.10 Lt (A, α) and (B,β) b itrativ algbras. Thn a morphism h : A B in A is a homomorphism if and only if it prsrvs solutions, i.., for vry quation morphism : X X A th solution of h in B is h. Lmma 3.10 xplains that th choic of plain homomorphisms btwn itrativ algbras is adquat. Proposition 3.11 Evry objct of A gnrats a fr itrativ algbra.
12 158 J. Adámk t al. / Elctronic Nots in Thortical Computr Scinc 122 (2005) Proof. It is asy to prov that itrativ algbras ar closd undr limits and filtrd colimits in Alg(A, ). By Thorm 2.48 in [6] thy form a rflctiv subcatgory of Alg(A, ). Now apply Proposition A Coalgbraic Construction W know from th prcding sction that, for vry bas, fr itrativ algbras xist. Th aim of th prsnt sction is to show that a fr itrativ algbra RY on an objct Y can b constructd as a filtrd colimit of all quation morphisms : X X Y (whr X rangs through a st A fp rprsnting all finitly prsntabl objcts of A up to isomorphism). Mor prcisly, considr th coalgbras of th ndofunctor Y togthr with th usual coalgbra homomorphisms. W dnot by EQ Y th catgory of all quation morphisms as th full subcatgory of Coalg ( Y ) on all objcts from A fp. Sinc Coalg ( Y ) is cocomplt, with colimits formd on th lvl of A, itisobviousthateq Y is closd in it undr finit colimits. In particular, EQ Y is a filtrd catgory. W also dnot by Eq Y : EQ A, ( : X X Y ) X th forgtful functor. This dfins a filtrd diagram in A. Notation 4.1 RY dnots a (filtrd) colimit of th diagram Eq Y with colimit cocon : X RY (for all : X X Y in EQ Y ). Rmark 4.2 Th aim of th prsnt sction is to prov that RY carris a structur of an itrativ algbra making it a fr itrativ algbra on Y. W procd in two stps: w first assum that Y is a finitly prsntabl objct. This nabls us, for xampl, to dfin th univrsal arrow immdiatly: obsrv that u Y Y : Y Y Y is an objct of EQ Y and dnot by η Y =(u Y Y ) : Y RY th corrsponding colimit morphism. An xtnsion of all th rsults to arbitrary objcts Y is thn asy. For xampl, η Y is dfind as follows: xprss Y as a colimit of a filtrd diagram of finitly prsntabl objcts Y t,(t T), thn it is asy to vrify that RY is a filtrd colimit of RY t,(t T), and w put η Y = colim η Y t. t T
13 J. Adámk t al. / Elctronic Nots in Thortical Computr Scinc 122 (2005) Notation 4.3 For vry objct Y w dnot by i Y : RY RY Y th uniqu morphism for which th squars X X Y Y RY i Y RY Y (4.1) commut for vry in EQ Y. This is wll dfind sinc th morphisms ( Y ) ar asily sn to form a cocon of th diagram Eq Y. Lmma 4.4 For vry quation morphism in EQ Y thr xists a uniqu morphism : X RY such that th squar (4.1) commuts. Notation 4.5 W introduc notation hr for adding variabls to quations: givnanquationmorphism : X X Y in EQ Y and an objct Q, whn ar w abl to form canonically an quation morphism X + Q (X + Q) Y in EQ Y? On possibility is to assum that a morphism q : Q X X is givn. Thn w can dfin an quation morphism q =(inl Y ) [X Y,m X Y (X )] ( + q) i.., q is givn by th following diagram X X Y inl X + Q q inl Y (X + Q) Y inr inl Y Q q X X X X (X Y ) m X Y X Y
14 160 J. Adámk t al. / Elctronic Nots in Thortical Computr Scinc 122 (2005) Thorm 4.6 For vry finitly prsntabl objct Y thr xists a uniqu structur of a bas algbra ρ Y : RY RY RY such that th squars Q q X X inr X + Q q (4.2) RY RY ρ Y RY (whr and q ar as in Notation 4.5) commut. Rmark 4.7 In th proof blow w will dnot by Eq Y Eq Y : EQ Y A th diagram givn by objcts X X, whr : X X Y rangs ovr EQ Y, and by morphisms h h, forh in EQ Y. Sinc is finitary in both variabls and th diagonal EQ Y EQ Y EQ Y is cofinal, th colimit of Eq Y Eq Y is RY RY with colimit injctions. Analogously, X RY = colim X Eq Y, tc. Proof. W stablish that thr is a uniqu morphism ρ Y for which (4.2) commuts, and postpon th vrification that this yilds a bas algbra to th full vrsion of our papr. (1) Considr an arbitrary morphism p : Q RY RY whr Q A fp. In vry locally finitly prsntabl catgory ach objct is a canonical filtrd colimit of morphisms from finitly prsntabl objcts, thus, RY RY is a colimit of th corrsponding diagram D with th colimit cocon formd by all p s. W show that ach p factors as p =( ) q for som and q, and that th morphisms q inr : Q RY (which, as w show, ar indpndnt of th choic of such a factorization) form a cocon of D. Th xistnc of th abov factorization follows from th abov filtrd colimit RY RY = colim(eq Y Eq Y ). Th morphism p : Q RY RY, having a finitly prsntabl domain, factors through on of th colimit injctions. W claim that th uppr passag q inr of th squar (4.2) is indpndnt of th choic of th factorization. Thus, lt f : Z Z Y b an quation
15 J. Adámk t al. / Elctronic Nots in Thortical Computr Scinc 122 (2005) morphism and lt Q r p Z Z RY RY f f b anothr factorization of p through a colimit morphism of th diagram Eq Y Eq Y. Sinc that diagram is filtrd, w can assum, without loss of gnrality, that a morphism h from to f in EQ Y xists, and that th quation r = (h h) q holds. It follows that h + Q is a morphism from q to f r : X+Q +q (X Y )+(X X) q [X Y,m X Y (X )] X Y inl Y (X+Q) Y h+q Z+Q f+r (h Y )+(h h) h Y (Z Y )+(Z Z) Z Y [Z Y,m Y Z (Z f)] inl Y (h+q) Y (Z+Q) Y fr Consquntly, q = f r (h + Q). This provs th dsird indpndnc: q inr = f r (h + Q) inr = f r inr. (2) Th abov morphisms q inr : Q RY form a cocon of th diagram D. That is, givn an arrow p : Q RY RY, Q A fp,andgivna morphism t Q Q p p RY RY of th diagram D, w prov that for any factorization Z Z Q r p f f RY RY w hav q inr = f r inr t. (4.3)
16 162 J. Adámk t al. / Elctronic Nots in Thortical Computr Scinc 122 (2005) In fact, th following factorization of p: Z Z r Q Q t p p RY RY f f yilds, by th indpndnc provd in part (1): q inr = f rt inr. Morovr, Z + t is an quation morphism from f rt into f r : Z + Q f+rt (Z Y )+(Z Z) [Z Y,mZ (Z f)] Y Z Y inl Y (Z + Q) Y Z+t (Z+t) Y Z + Q f+r (Z Y )+(Z Z) [Z Y,m Z Y (Z f)] Z Y inl Y (Z + Q ) Y Consquntly, f rt = f r (Z + t), which implis (4.3): q inr = f r (Z + t) inr = f r inr t. Th cocon q inr has prcisly on factorization through th colimit cocon this provs that (4.2) dfins a uniqu ρ Y. Lmma 4.8 For vry finitly prsntabl objct Y th morphism i Y Diagram (4.1)) is an isomorphism with th invrs (s i 1 Y = j Y RY Y RY η Y RY RY ρ Y RY (4.4) Thorm 4.9 For vry finitly prsntabl objct Y, th algbra (RY, ρ Y ) is a fr itrativ algbra on Y w.r.t. th univrsal arrow η Y : Y RY. Proof. (1) (RY, ρ Y ) is itrativ. In fact, vry quation morphism : X X RY, X finitly prsntabl, has a uniqu solution obtaind as follows. Sinc X RY = colim X Eq Y, s Rmark 4.7, factors through th colimit injction X f for som f :
17 J. Adámk t al. / Elctronic Nots in Thortical Computr Scinc 122 (2005) V V Y in EQ Y. Thus, w hav a commutativ triangl X X RY 0 X V X f (4.5) W form an quation ẽ : X + V (X + V ) Y as follows: X 0 X V X f X (V Y ) inl (inr Y ) (X+V ) ((X+V ) Y ) inl X+V inr V f m X+V Y (X+V ) Y (4.6) V Y inr Y W will prov that th givn quation morphism has th solution From (4.4) and(4.1) whav X inl X + V RY. (4.7) j Y (f Y ) f = i 1 Y (f Y ) f = f. (4.8) Furthrmor, inr : V X + V is a morphism of quations from f to ẽ (s th lowr squar of (4.6)), thus, This provs that th diagram ẽ inr = f. (4.9) X V X f X (V Y ) inl (inr Y ) (X+V ) ((X+V ) Y ) m X+V Y (X+V ) Y inl (V Y ) (4.9) ( Y ) Y inl V (X+V ) (V Y ) (f Y ) m RY RY (RY Y ) Y RY Y (4.8) RY η Y RY (RY η Y ) (2.4) (X+V ) V RY (RY RY ) RY j (4.4) Y m RY RY RY RY f (2.5) ρ Y RY ρ Y RY RY ρ Y RY (2.4) η Y (4.10)
18 164 J. Adámk t al. / Elctronic Nots in Thortical Computr Scinc 122 (2005) commuts. Dnot by q : X V (X + V ) Y th uppr horizontal morphism of (4.10). Th proof that (4.7) is a solution of follows from th fact that th outward squar of th diagram inl X 0 (4.5) X V X f X RY X+V RY i Y j Y (X+V ) Y Y RY Y (4.4) ρ Y ( ) RY η Y f η Y RY RY (4.6) (4.1) q RY commuts in fact, all innr parts xcpt ( ) commut and by (4.10) th triangl ( ) commuts whn xtndd by ρ Y, th right-hand vrtical arrow. It rmains to prov that th solution is uniqu. Givn anothr solution X X RY s s RY RY ρ Y RY RY (4.11) w prov that th squar X + V [s,f ] (X + V ) Y [s,f ] Y RY i Y RY Y (4.12) commuts. By Lmma 4.4, it follows that ẽ =[s, f ], thus = ẽ inl =[s, f ] inl = s.
19 J. Adámk t al. / Elctronic Nots in Thortical Computr Scinc 122 (2005) Th right-hand componnt of (4.12) with domain V commuts: f V inr X + V f V Y (4.6) inr Y (X + V ) Y [s,f ] [s,f ] Y RY i Y RY Y f Y For th lft-hand componnt notic first that th quation holds. In fact, in th diagram m RY Y (RY i Y )=i Y ρ Y (4.13) RY RY RY i Y RY (RY Y ) RY (RY η Y ) RY (RY RY ) RY ρ Y RY RY ρ Y m RY Y (2.4) m RY RY (2.5) ρ Y RY i Y RY Y RY η Y RY RY ρ Y RY th horizontal morphisms ar both idntity morphisms (s (4.4)), which provs that th outward squar commuts. Consquntly, th lft-hand squar commuts, sinc ρ Y (RY η Y ) is an isomorphism. Th lft-hand componnt of (4.12) is, du to (4.6), th outward squar of th commutativ diagram inl s X RY ρ Y 0 (4.11) X V s RY X RY X f RY RY X f (4.1) RY i Y (4.13) s (f Y ) X (V Y ) RY (RY i Y ) Y inl (inr Y ) [s,f m RY Y (X+V ) ((X+V ) Y ) (2.4) m ] ([s,f ] Y ) X+V Y (X+V ) Y RY Y [s,f ] Y (2) RY is fr, i.., for vry itrativ algbra α : A A A and for vry morphism h 0 : Y A thr xist a uniqu homomorphism h : RY A with h η Y = h 0.
20 166 J. Adámk t al. / Elctronic Nots in Thortical Computr Scinc 122 (2005) (2a) Existnc of h. For vry quation morphism g : X X Y in EQ Y w form h 0 g : X X A, s Notation 3.9, and obtain th uniqu solution (h 0 g) : X A. This is a cocon of th diagram Eq Y. In fact, givn a morphism g X X Y p p Y X g X Y in EQ Y,thn(h 0 g ) p is a solution of h 0 g: X g X Y p (4.14) p Y X (h 0 g ) A g X Y (3.1) X h 0 α X h 0 X A p A (h0 g ) A X A ((h 0 g) p) A A A (4.14) Thus, (h 0 g ) =(h 0 g) p as dsird. Consquntly, w can dfin h by th commutativity of th triangls h RY A g (h 0 g) X (4.15) for all g in EQ Y. W will show that this is th uniqu algbra homomorphism xtnding h 0. W first prov that h 0 = h η Y = h (u Y Y ). In fact, th commutativ diagram h 0 Y A A u Y Y (2.3) (2.5) Y Y u A α A h 0 h 0 Y h 0 Y A h 0 A A A
21 J. Adámk t al. / Elctronic Nots in Thortical Computr Scinc 122 (2005) shows that h 0 is a solution of h u Y Y in A, thus, by (4.15) whav h 0 =(h u Y Y ) = h (u Y Y ). Nxt w will prov that h is a homomorphism. Du to Lmma 3.10, it is sufficint to prov that h prsrvs solutions, xplicitly, for vry quation morphism : X X RY w form = h X X RY X h X A (4.16) and w prov that = h. (4.17) Rcall from (4.6) th quation morphisms f : V V Y and ẽ : X + V (X + V ) Y, and put Lt us prov that f = h 0 f V f V Y V h0 V A. (4.18) [, f ]=(h 0 ẽ) : X + V A. (4.19) Thn (4.17) follows: (4.19) implis du to (4.7) and(4.15) applid to g = ẽ th quation h = h ẽ inl =(h 0 ẽ) inl =. Thus, th proof of (2a) will b complt by proving that th squar X + V (X + V ) Y [,f ] A α (4.20) (X+V ) h 0 (X + V ) A [,f ] A A A commuts. For th right-hand componnt with domain V this follows from th com-
22 168 J. Adámk t al. / Elctronic Nots in Thortical Computr Scinc 122 (2005) mutativ diagram inr V A f f (3.1) V Y inr Y V h 0 α (X + V ) Y V A f A inr A (X + V ) A A A (X+V ) h 0 f [,f ] A For th right-hand componnt with domain X, first obsrv that th dfinition of solution yilds and = α ( A) (X h) = α ( h), (4.21) f = α (f A) (X h 0 ) f = α (f h 0 ) f. (4.22) Thrfor, w gt a commutativ diagram inl X 0 X V X f (4.22)&(4.15) A α (f h X (V Y ) 0 ) (4.6) A (A A) (4.21) X f X RY h A α A A (2.5) inl (inr Y ) [,f ] ([,f ] h 0) α (X+V ) ((X+V ) Y ) m m X+V (2.4) A A Y (X+V ) Y (X+V ) h 0 [,f ] h 0 (X+V ) A A A [,f ] A which shows that th lft-hand componnt of (4.20) commuts. (2b) Uniqunss. Lt k : RY A b a homomorphism (i.., k ρ Y = α (k k)) with h 0 = k η Y. Thn for vry quation morphism g : X X Y
23 J. Adámk t al. / Elctronic Nots in Thortical Computr Scinc 122 (2005) of EQ Y th diagram h 0 g g X k RY A i Y ρ Y g (4.1) RY Y (4.4) RY RY RY η Y X Y α RY Y g Y k k X h 0 k h 0 X A A A (k g ) A commuts, proving k g =(h 0 g) = h g, s (4.15). Thus, k = h, sinc th morphisms g s form a colimit cocon. 5 Conclusions and Futur Work In our papr w providd a coalgbraic construction of fr itrativ algbras of a gnral nvironmnt calld bas. This is analogous to (but, unfortunatly, tchnically mor involvd than) th coalgbraic construction givn in [5] for H-algbras, whr H is an arbitrary finitary ndofunctor. Th nxt goal is to introduc itrativ bass in th spirit of itrativ thoris of C. Elgot, and prov that th monad of fr itrativ algbras yilds a fr itrativ bas. Th tchnical rsult will srv us to dscrib algbraic trs of B. Courcll [9] (i.., trs rsulting from a smantics of rcursiv program schms) in a mannr similar to th dscription of rational trs via R Σ, th rational monad of Σ-algbras. For that, w nd to introduc a suitabl bas on th catgory FM(St) of all finitary monads on St. Rfrncs [1] P. Aczl, J. Adámk, S. Milius and J. Vlbil, Infinit Trs and Compltly Itrativ Thoris: A Coalgbraic Viw, Thort. Comput. Scinc 300 (2003), [2] J. Adámk, On a Dscription of Trminal Coalgbras and Fr Itrativ Thoris, Elctron. Nots Thor. Comput. Sci (2003). [3] J. Adámk, S. Milius and J. Vlbil, Fr Itrativ Thoris A Coalgbraic Viw, Math. Structurs Comput. Sci. 13 (2003), [4] J. Adámk, S. Milius and J. Vlbil, On Rational Monads and Fr Itrativ Thoris, Elctron. Nots Thort. Comput. Sci. 69 (2003).
24 170 J. Adámk t al. / Elctronic Nots in Thortical Computr Scinc 122 (2005) [5] J. Adámk, S. Milius and J. Vlbil, From Itrativ Algbras to Itrativ Thoris (Extndd Abstract), accptd for publication in Elctron. Nots Thor. Comput. Sci., full vrsion availabl via [6] J. Adámk and J. Rosický, Locally prsntabl and accssibl catgoris, Cambridg Univrsity Prss, [7] M. Barr, Coqualizrs and fr tripls, Math. Z. 116 (1970), [8] S. Bloom and Z. Ésik, Itrativ Thoris: Th Equational Logic of Itrativ Procsss, EATCS Monograph Sris on Thortical Computr Scinc, Springr-Vrlag, [9] B. Courcll, Fundamntal Proprtis of Infinit Trs, Thort. Comput. Scinc 25 (1983), [10] C. C. Elgot, Monadic Computation and Itrativ Algbraic Thoris, in: Logic Colloquium 73 (ds: H. E. Ros and J. C. Shphrdson), North-Holland Publishrs, Amstrdam, [11] C. C. Elgot, S. L. Bloom and R. Tindll, On th Algbraic Structur of Rootd Trs, J. Comp. Syst. Sci. 16, (1978), [12] S. Ginali, Rgular Trs and th Fr Itrativ Thory, J. Comput. Systm Sci. 18 (1979), [13] P. Gabril and F. Ulmr, Lokal präsntirbar Katgorin, Lctur N. Math. 221, Springr- Vrlag, Brlin [14] S. MacLan, Catgoris for th Working Mathmatician, Springr-Vrlag, 2 nd dition, [15] S. Milius, On Itratabl Endofunctors, Elctron. Nots Thor. Comput. Sci. 69 (2003). [16] E. Nlson, Itrativ Algbras, Thort. Comput. Scinc 25 (1983), [17] J. Tiuryn, Uniqu Fixd Points vs. Last Fixd Points, Thort. Comput. Scinc 12 (1980), [18] T. Uustalu, Gnralizing substitution, Thor. Inform. Appl (2003),
ELGOT ALGEBRAS. address: address:
Logical Mthods in Computr Scinc Vol. 2 (5:4) 2006, pp. 1 31 www.lmcs-onlin.org Submittd Mar. 10, 2006 Publishd Nov. 8, 2006 ELGOT ALGEBRAS JIŘÍ ADÁMEK a, STEFAN MILIUS b, AND JIŘÍ VELEBIL c a,b Institut
More informationThe Matrix Exponential
Th Matrix Exponntial (with xrciss) by D. Klain Vrsion 207.0.05 Corrctions and commnts ar wlcom. Th Matrix Exponntial For ach n n complx matrix A, dfin th xponntial of A to b th matrix A A k I + A + k!
More informationThe Matrix Exponential
Th Matrix Exponntial (with xrciss) by Dan Klain Vrsion 28928 Corrctions and commnts ar wlcom Th Matrix Exponntial For ach n n complx matrix A, dfin th xponntial of A to b th matrix () A A k I + A + k!
More informationDerangements and Applications
2 3 47 6 23 Journal of Intgr Squncs, Vol. 6 (2003), Articl 03..2 Drangmnts and Applications Mhdi Hassani Dpartmnt of Mathmatics Institut for Advancd Studis in Basic Scincs Zanjan, Iran mhassani@iasbs.ac.ir
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #20 11/14/2013
18.782 Introduction to Arithmtic Gomtry Fall 2013 Lctur #20 11/14/2013 20.1 Dgr thorm for morphisms of curvs Lt us rstat th thorm givn at th nd of th last lctur, which w will now prov. Thorm 20.1. Lt φ:
More informationCoalgebras, Monads and Semantics
Von dr Carl-Fridrich-Gauß-Fakultät für Mathmatik und Informatik dr Tchnischn Univrsität Braunschwig gnhmigt Dissrtation zur Erlangung ds Grads ins Doktors dr Naturwissnschaftn (Dr. rr. nat.) Stfan Milius
More informationCOUNTING TAMELY RAMIFIED EXTENSIONS OF LOCAL FIELDS UP TO ISOMORPHISM
COUNTING TAMELY RAMIFIED EXTENSIONS OF LOCAL FIELDS UP TO ISOMORPHISM Jim Brown Dpartmnt of Mathmatical Scincs, Clmson Univrsity, Clmson, SC 9634, USA jimlb@g.clmson.du Robrt Cass Dpartmnt of Mathmatics,
More informationBINOMIAL COEFFICIENTS INVOLVING INFINITE POWERS OF PRIMES
BINOMIAL COEFFICIENTS INVOLVING INFINITE POWERS OF PRIMES DONALD M. DAVIS Abstract. If p is a prim (implicit in notation and n a positiv intgr, lt ν(n dnot th xponnt of p in n, and U(n n/p ν(n, th unit
More informationThe Equitable Dominating Graph
Intrnational Journal of Enginring Rsarch and Tchnology. ISSN 0974-3154 Volum 8, Numbr 1 (015), pp. 35-4 Intrnational Rsarch Publication Hous http://www.irphous.com Th Equitabl Dominating Graph P.N. Vinay
More informationThat is, we start with a general matrix: And end with a simpler matrix:
DIAGON ALIZATION OF THE STR ESS TEN SOR INTRO DUCTIO N By th us of Cauchy s thorm w ar abl to rduc th numbr of strss componnts in th strss tnsor to only nin valus. An additional simplification of th strss
More informationConstruction of asymmetric orthogonal arrays of strength three via a replacement method
isid/ms/26/2 Fbruary, 26 http://www.isid.ac.in/ statmath/indx.php?modul=prprint Construction of asymmtric orthogonal arrays of strngth thr via a rplacmnt mthod Tian-fang Zhang, Qiaoling Dng and Alok Dy
More information(Upside-Down o Direct Rotation) β - Numbers
Amrican Journal of Mathmatics and Statistics 014, 4(): 58-64 DOI: 10593/jajms0140400 (Upsid-Down o Dirct Rotation) β - Numbrs Ammar Sddiq Mahmood 1, Shukriyah Sabir Ali,* 1 Dpartmnt of Mathmatics, Collg
More informationEinstein Equations for Tetrad Fields
Apiron, Vol 13, No, Octobr 006 6 Einstin Equations for Ttrad Filds Ali Rıza ŞAHİN, R T L Istanbul (Turky) Evry mtric tnsor can b xprssd by th innr product of ttrad filds W prov that Einstin quations for
More informationRecall that by Theorems 10.3 and 10.4 together provide us the estimate o(n2 ), S(q) q 9, q=1
Chaptr 11 Th singular sris Rcall that by Thorms 10 and 104 togthr provid us th stimat 9 4 n 2 111 Rn = SnΓ 2 + on2, whr th singular sris Sn was dfind in Chaptr 10 as Sn = q=1 Sq q 9, with Sq = 1 a q gcda,q=1
More informationCS 361 Meeting 12 10/3/18
CS 36 Mting 2 /3/8 Announcmnts. Homwork 4 is du Friday. If Friday is Mountain Day, homwork should b turnd in at my offic or th dpartmnt offic bfor 4. 2. Homwork 5 will b availabl ovr th wknd. 3. Our midtrm
More informationSection 6.1. Question: 2. Let H be a subgroup of a group G. Then H operates on G by left multiplication. Describe the orbits for this operation.
MAT 444 H Barclo Spring 004 Homwork 6 Solutions Sction 6 Lt H b a subgroup of a group G Thn H oprats on G by lft multiplication Dscrib th orbits for this opration Th orbits of G ar th right costs of H
More informationQuasi-Classical States of the Simple Harmonic Oscillator
Quasi-Classical Stats of th Simpl Harmonic Oscillator (Draft Vrsion) Introduction: Why Look for Eignstats of th Annihilation Oprator? Excpt for th ground stat, th corrspondnc btwn th quantum nrgy ignstats
More informationcycle that does not cross any edges (including its own), then it has at least
W prov th following thorm: Thorm If a K n is drawn in th plan in such a way that it has a hamiltonian cycl that dos not cross any dgs (including its own, thn it has at last n ( 4 48 π + O(n crossings Th
More informationWhat is a hereditary algebra?
What is a hrditary algbra? (On Ext 2 and th vanishing of Ext 2 ) Claus Michal Ringl At th Münstr workshop 2011, thr short lcturs wr arrangd in th styl of th rgular column in th Notics of th AMS: What is?
More informationAddition of angular momentum
Addition of angular momntum April, 07 Oftn w nd to combin diffrnt sourcs of angular momntum to charactriz th total angular momntum of a systm, or to divid th total angular momntum into parts to valuat
More informationAbstract Interpretation: concrete and abstract semantics
Abstract Intrprtation: concrt and abstract smantics Concrt smantics W considr a vry tiny languag that manags arithmtic oprations on intgrs valus. Th (concrt) smantics of th languags cab b dfind by th funzcion
More informationLINEAR DELAY DIFFERENTIAL EQUATION WITH A POSITIVE AND A NEGATIVE TERM
Elctronic Journal of Diffrntial Equations, Vol. 2003(2003), No. 92, pp. 1 6. ISSN: 1072-6691. URL: http://jd.math.swt.du or http://jd.math.unt.du ftp jd.math.swt.du (login: ftp) LINEAR DELAY DIFFERENTIAL
More informationBINOMIAL COEFFICIENTS INVOLVING INFINITE POWERS OF PRIMES. 1. Statement of results
BINOMIAL COEFFICIENTS INVOLVING INFINITE POWERS OF PRIMES DONALD M. DAVIS Abstract. If p is a prim and n a positiv intgr, lt ν p (n dnot th xponnt of p in n, and u p (n n/p νp(n th unit part of n. If α
More information2.3 Matrix Formulation
23 Matrix Formulation 43 A mor complicatd xampl ariss for a nonlinar systm of diffrntial quations Considr th following xampl Exampl 23 x y + x( x 2 y 2 y x + y( x 2 y 2 (233 Transforming to polar coordinats,
More informationSome remarks on Kurepa s left factorial
Som rmarks on Kurpa s lft factorial arxiv:math/0410477v1 [math.nt] 21 Oct 2004 Brnd C. Kllnr Abstract W stablish a connction btwn th subfactorial function S(n) and th lft factorial function of Kurpa K(n).
More informationu 3 = u 3 (x 1, x 2, x 3 )
Lctur 23: Curvilinar Coordinats (RHB 8.0 It is oftn convnint to work with variabls othr than th Cartsian coordinats x i ( = x, y, z. For xampl in Lctur 5 w mt sphrical polar and cylindrical polar coordinats.
More informationUNTYPED LAMBDA CALCULUS (II)
1 UNTYPED LAMBDA CALCULUS (II) RECALL: CALL-BY-VALUE O.S. Basic rul Sarch ruls: (\x.) v [v/x] 1 1 1 1 v v CALL-BY-VALUE EVALUATION EXAMPLE (\x. x x) (\y. y) x x [\y. y / x] = (\y. y) (\y. y) y [\y. y /
More informationBrief Introduction to Statistical Mechanics
Brif Introduction to Statistical Mchanics. Purpos: Ths nots ar intndd to provid a vry quick introduction to Statistical Mchanics. Th fild is of cours far mor vast than could b containd in ths fw pags.
More informationOn spanning trees and cycles of multicolored point sets with few intersections
On spanning trs and cycls of multicolord point sts with fw intrsctions M. Kano, C. Mrino, and J. Urrutia April, 00 Abstract Lt P 1,..., P k b a collction of disjoint point sts in R in gnral position. W
More informationMATH 319, WEEK 15: The Fundamental Matrix, Non-Homogeneous Systems of Differential Equations
MATH 39, WEEK 5: Th Fundamntal Matrix, Non-Homognous Systms of Diffrntial Equations Fundamntal Matrics Considr th problm of dtrmining th particular solution for an nsmbl of initial conditions For instanc,
More informationPropositional Logic. Combinatorial Problem Solving (CPS) Albert Oliveras Enric Rodríguez-Carbonell. May 17, 2018
Propositional Logic Combinatorial Problm Solving (CPS) Albrt Olivras Enric Rodríguz-Carbonll May 17, 2018 Ovrviw of th sssion Dfinition of Propositional Logic Gnral Concpts in Logic Rduction to SAT CNFs
More informationCOHORT MBA. Exponential function. MATH review (part2) by Lucian Mitroiu. The LOG and EXP functions. Properties: e e. lim.
MTH rviw part b Lucian Mitroiu Th LOG and EXP functions Th ponntial function p : R, dfind as Proprtis: lim > lim p Eponntial function Y 8 6 - -8-6 - - X Th natural logarithm function ln in US- log: function
More informationBackground: We have discussed the PIB, HO, and the energy of the RR model. In this chapter, the H-atom, and atomic orbitals.
Chaptr 7 Th Hydrogn Atom Background: W hav discussd th PIB HO and th nrgy of th RR modl. In this chaptr th H-atom and atomic orbitals. * A singl particl moving undr a cntral forc adoptd from Scott Kirby
More informationAddition of angular momentum
Addition of angular momntum April, 0 Oftn w nd to combin diffrnt sourcs of angular momntum to charactriz th total angular momntum of a systm, or to divid th total angular momntum into parts to valuat th
More informationHigher order derivatives
Robrto s Nots on Diffrntial Calculus Chaptr 4: Basic diffrntiation ruls Sction 7 Highr ordr drivativs What you nd to know alrady: Basic diffrntiation ruls. What you can larn hr: How to rpat th procss of
More information10. The Discrete-Time Fourier Transform (DTFT)
Th Discrt-Tim Fourir Transform (DTFT Dfinition of th discrt-tim Fourir transform Th Fourir rprsntation of signals plays an important rol in both continuous and discrt signal procssing In this sction w
More informationSymmetric centrosymmetric matrix vector multiplication
Linar Algbra and its Applications 320 (2000) 193 198 www.lsvir.com/locat/laa Symmtric cntrosymmtric matrix vctor multiplication A. Mlman 1 Dpartmnt of Mathmatics, Univrsity of San Francisco, San Francisco,
More information1 Minimum Cut Problem
CS 6 Lctur 6 Min Cut and argr s Algorithm Scribs: Png Hui How (05), Virginia Dat: May 4, 06 Minimum Cut Problm Today, w introduc th minimum cut problm. This problm has many motivations, on of which coms
More informationApplication of Vague Soft Sets in students evaluation
Availabl onlin at www.plagiarsarchlibrary.com Advancs in Applid Scinc Rsarch, 0, (6):48-43 ISSN: 0976-860 CODEN (USA): AASRFC Application of Vagu Soft Sts in studnts valuation B. Chtia*and P. K. Das Dpartmnt
More information1 Isoparametric Concept
UNIVERSITY OF CALIFORNIA BERKELEY Dpartmnt of Civil Enginring Spring 06 Structural Enginring, Mchanics and Matrials Profssor: S. Govindj Nots on D isoparamtric lmnts Isoparamtric Concpt Th isoparamtric
More informationHomotopy perturbation technique
Comput. Mthods Appl. Mch. Engrg. 178 (1999) 257±262 www.lsvir.com/locat/cma Homotopy prturbation tchniqu Ji-Huan H 1 Shanghai Univrsity, Shanghai Institut of Applid Mathmatics and Mchanics, Shanghai 272,
More informationWeek 3: Connected Subgraphs
Wk 3: Connctd Subgraphs Sptmbr 19, 2016 1 Connctd Graphs Path, Distanc: A path from a vrtx x to a vrtx y in a graph G is rfrrd to an xy-path. Lt X, Y V (G). An (X, Y )-path is an xy-path with x X and y
More informationEquidistribution and Weyl s criterion
Euidistribution and Wyl s critrion by Brad Hannigan-Daly W introduc th ida of a sunc of numbrs bing uidistributd (mod ), and w stat and prov a thorm of Hrmann Wyl which charactrizs such suncs. W also discuss
More informationCategory Theory Approach to Fusion of Wavelet-Based Features
Catgory Thory Approach to Fusion of Wavlt-Basd Faturs Scott A. DLoach Air Forc Institut of Tchnology Dpartmnt of Elctrical and Computr Enginring Wright-Pattrson AFB, Ohio 45433 Scott.DLoach@afit.af.mil
More informationLimiting value of higher Mahler measure
Limiting valu of highr Mahlr masur Arunabha Biswas a, Chris Monico a, a Dpartmnt of Mathmatics & Statistics, Txas Tch Univrsity, Lubbock, TX 7949, USA Abstract W considr th k-highr Mahlr masur m k P )
More informationMutually Independent Hamiltonian Cycles of Pancake Networks
Mutually Indpndnt Hamiltonian Cycls of Pancak Ntworks Chng-Kuan Lin Dpartmnt of Mathmatics National Cntral Univrsity, Chung-Li, Taiwan 00, R O C discipl@ms0urlcomtw Hua-Min Huang Dpartmnt of Mathmatics
More informationOn the irreducibility of some polynomials in two variables
ACTA ARITHMETICA LXXXII.3 (1997) On th irrducibility of som polynomials in two variabls by B. Brindza and Á. Pintér (Dbrcn) To th mmory of Paul Erdős Lt f(x) and g(y ) b polynomials with intgral cofficints
More informationThus, because if either [G : H] or [H : K] is infinite, then [G : K] is infinite, then [G : K] = [G : H][H : K] for all infinite cases.
Homwork 5 M 373K Solutions Mark Lindbrg and Travis Schdlr 1. Prov that th ring Z/mZ (for m 0) is a fild if and only if m is prim. ( ) Proof by Contrapositiv: Hr, thr ar thr cass for m not prim. m 0: Whn
More informationREPRESENTATIONS OF LIE GROUPS AND LIE ALGEBRAS
REPRESENTATIONS OF LIE GROUPS AND LIE ALGEBRAS JIAQI JIANG Abstract. This papr studis th rlationship btwn rprsntations of a Li group and rprsntations of its Li algbra. W will mak th corrspondnc in two
More informationChapter 10. The singular integral Introducing S(n) and J(n)
Chaptr Th singular intgral Our aim in this chaptr is to rplac th functions S (n) and J (n) by mor convnint xprssions; ths will b calld th singular sris S(n) and th singular intgral J(n). This will b don
More informationCHAPTER 1. Introductory Concepts Elements of Vector Analysis Newton s Laws Units The basis of Newtonian Mechanics D Alembert s Principle
CHPTER 1 Introductory Concpts Elmnts of Vctor nalysis Nwton s Laws Units Th basis of Nwtonian Mchanics D lmbrt s Principl 1 Scinc of Mchanics: It is concrnd with th motion of matrial bodis. odis hav diffrnt
More informationInternational Journal of Scientific & Engineering Research, Volume 6, Issue 7, July ISSN
Intrnational Journal of Scintific & Enginring Rsarch, Volum 6, Issu 7, July-25 64 ISSN 2229-558 HARATERISTIS OF EDGE UTSET MATRIX OF PETERSON GRAPH WITH ALGEBRAI GRAPH THEORY Dr. G. Nirmala M. Murugan
More informationON RIGHT(LEFT) DUO PO-SEMIGROUPS. S. K. Lee and K. Y. Park
Kangwon-Kyungki Math. Jour. 11 (2003), No. 2, pp. 147 153 ON RIGHT(LEFT) DUO PO-SEMIGROUPS S. K. L and K. Y. Park Abstract. W invstigat som proprtis on right(rsp. lft) duo po-smigroups. 1. Introduction
More informationCPSC 665 : An Algorithmist s Toolkit Lecture 4 : 21 Jan Linear Programming
CPSC 665 : An Algorithmist s Toolkit Lctur 4 : 21 Jan 2015 Lcturr: Sushant Sachdva Linar Programming Scrib: Rasmus Kyng 1. Introduction An optimization problm rquirs us to find th minimum or maximum) of
More informationAbstract Interpretation. Lecture 5. Profs. Aiken, Barrett & Dill CS 357 Lecture 5 1
Abstract Intrprtation 1 History On brakthrough papr Cousot & Cousot 77 (?) Inspird by Dataflow analysis Dnotational smantics Enthusiastically mbracd by th community At last th functional community... At
More informationBasic Polyhedral theory
Basic Polyhdral thory Th st P = { A b} is calld a polyhdron. Lmma 1. Eithr th systm A = b, b 0, 0 has a solution or thr is a vctorπ such that π A 0, πb < 0 Thr cass, if solution in top row dos not ist
More informationNEW APPLICATIONS OF THE ABEL-LIOUVILLE FORMULA
NE APPLICATIONS OF THE ABEL-LIOUVILLE FORMULA Mirca I CÎRNU Ph Dp o Mathmatics III Faculty o Applid Scincs Univrsity Polithnica o Bucharst Cirnumirca @yahoocom Abstract In a rcnt papr [] 5 th indinit intgrals
More informationProblem Set 6 Solutions
6.04/18.06J Mathmatics for Computr Scinc March 15, 005 Srini Dvadas and Eric Lhman Problm St 6 Solutions Du: Monday, March 8 at 9 PM in Room 3-044 Problm 1. Sammy th Shark is a financial srvic providr
More informationperm4 A cnt 0 for for if A i 1 A i cnt cnt 1 cnt i j. j k. k l. i k. j l. i l
h 4D, 4th Rank, Antisytric nsor and th 4D Equivalnt to th Cross Product or Mor Fun with nsors!!! Richard R Shiffan Digital Graphics Assoc 8 Dunkirk Av LA, Ca 95 rrs@isidu his docunt dscribs th four dinsional
More informationInjective topological fibre spaces
Topology and its pplications 125 (2002) 525 532 www.lsvir.com/locat/topol Injctiv topological ibr spacs F. Cagliari a,,s.mantovani b a Dipartimnto di Matmatica, Univrsità di Bologna, Piazza di Porta S.
More informationPROBLEM SET Problem 1.
PROLEM SET 1 PROFESSOR PETER JOHNSTONE 1. Problm 1. 1.1. Th catgory Mat L. OK, I m not amiliar with th trminology o partially orr sts, so lt s go ovr that irst. Dinition 1.1. partial orr is a binary rlation
More informationThe second condition says that a node α of the tree has exactly n children if the arity of its label is n.
CS 6110 S14 Hanout 2 Proof of Conflunc 27 January 2014 In this supplmntary lctur w prov that th λ-calculus is conflunt. This is rsult is u to lonzo Church (1903 1995) an J. arkly Rossr (1907 1989) an is
More informationSECTION where P (cos θ, sin θ) and Q(cos θ, sin θ) are polynomials in cos θ and sin θ, provided Q is never equal to zero.
SETION 6. 57 6. Evaluation of Dfinit Intgrals Exampl 6.6 W hav usd dfinit intgrals to valuat contour intgrals. It may com as a surpris to larn that contour intgrals and rsidus can b usd to valuat crtain
More information10. Limits involving infinity
. Limits involving infinity It is known from th it ruls for fundamntal arithmtic oprations (+,-,, ) that if two functions hav finit its at a (finit or infinit) point, that is, thy ar convrgnt, th it of
More informationCOMPUTER GENERATED HOLOGRAMS Optical Sciences 627 W.J. Dallas (Monday, April 04, 2005, 8:35 AM) PART I: CHAPTER TWO COMB MATH.
C:\Dallas\0_Courss\03A_OpSci_67\0 Cgh_Book\0_athmaticalPrliminaris\0_0 Combath.doc of 8 COPUTER GENERATED HOLOGRAS Optical Scincs 67 W.J. Dallas (onday, April 04, 005, 8:35 A) PART I: CHAPTER TWO COB ATH
More informationA Propagating Wave Packet Group Velocity Dispersion
Lctur 8 Phys 375 A Propagating Wav Packt Group Vlocity Disprsion Ovrviw and Motivation: In th last lctur w lookd at a localizd solution t) to th 1D fr-particl Schrödingr quation (SE) that corrsponds to
More informationThe Frobenius relations meet linear distributivity
Th Frobnius rlations mt linar distributivity J.M. Eggr Fbruary 18, 2007 Abstract Th notion of Frobnius algbra originally aros in ring thory, but it is a fairly asy obsrvation that this notion can b xtndd
More informationON THE DISTRIBUTION OF THE ELLIPTIC SUBSET SUM GENERATOR OF PSEUDORANDOM NUMBERS
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 8 2008, #A3 ON THE DISTRIBUTION OF THE ELLIPTIC SUBSET SUM GENERATOR OF PSEUDORANDOM NUMBERS Edwin D. El-Mahassni Dpartmnt of Computing, Macquari
More informationSOME PARAMETERS ON EQUITABLE COLORING OF PRISM AND CIRCULANT GRAPH.
SOME PARAMETERS ON EQUITABLE COLORING OF PRISM AND CIRCULANT GRAPH. K VASUDEVAN, K. SWATHY AND K. MANIKANDAN 1 Dpartmnt of Mathmatics, Prsidncy Collg, Chnnai-05, India. E-Mail:vasu k dvan@yahoo.com. 2,
More informationFunction Spaces. a x 3. (Letting x = 1 =)) a(0) + b + c (1) = 0. Row reducing the matrix. b 1. e 4 3. e 9. >: (x = 1 =)) a(0) + b + c (1) = 0
unction Spacs Prrquisit: Sction 4.7, Coordinatization n this sction, w apply th tchniqus of Chaptr 4 to vctor spacs whos lmnts ar functions. Th vctor spacs P n and P ar familiar xampls of such spacs. Othr
More informationBifurcation Theory. , a stationary point, depends on the value of α. At certain values
Dnamic Macroconomic Thor Prof. Thomas Lux Bifurcation Thor Bifurcation: qualitativ chang in th natur of th solution occurs if a paramtr passs through a critical point bifurcation or branch valu. Local
More information4037 ADDITIONAL MATHEMATICS
CAMBRIDGE INTERNATIONAL EXAMINATIONS GCE Ordinary Lvl MARK SCHEME for th Octobr/Novmbr 0 sris 40 ADDITIONAL MATHEMATICS 40/ Papr, maimum raw mark 80 This mark schm is publishd as an aid to tachrs and candidats,
More informationON A CONJECTURE OF RYSElt AND MINC
MA THEMATICS ON A CONJECTURE OF RYSElt AND MINC BY ALBERT NIJE~HUIS*) AND HERBERT S. WILF *) (Communicatd at th mting of January 31, 1970) 1. Introduction Lt A b an n x n matrix of zros and ons, and suppos
More informationThe van der Waals interaction 1 D. E. Soper 2 University of Oregon 20 April 2012
Th van dr Waals intraction D. E. Sopr 2 Univrsity of Orgon 20 pril 202 Th van dr Waals intraction is discussd in Chaptr 5 of J. J. Sakurai, Modrn Quantum Mchanics. Hr I tak a look at it in a littl mor
More informationEEO 401 Digital Signal Processing Prof. Mark Fowler
EEO 401 Digital Signal Procssing Prof. Mark Fowlr Dtails of th ot St #19 Rading Assignmnt: Sct. 7.1.2, 7.1.3, & 7.2 of Proakis & Manolakis Dfinition of th So Givn signal data points x[n] for n = 0,, -1
More informationHydrogen Atom and One Electron Ions
Hydrogn Atom and On Elctron Ions Th Schrödingr quation for this two-body problm starts out th sam as th gnral two-body Schrödingr quation. First w sparat out th motion of th cntr of mass. Th intrnal potntial
More informationSeparating principles below Ramsey s Theorem for Pairs
Sparating principls blow Ramsy s Thorm for Pairs Manul Lrman, Rd Solomon, Hnry Towsnr Fbruary 4, 2013 1 Introduction In rcnt yars, thr has bn a substantial amount of work in rvrs mathmatics concrning natural
More informationSCHUR S THEOREM REU SUMMER 2005
SCHUR S THEOREM REU SUMMER 2005 1. Combinatorial aroach Prhas th first rsult in th subjct blongs to I. Schur and dats back to 1916. On of his motivation was to study th local vrsion of th famous quation
More informationFourier Transforms and the Wave Equation. Key Mathematics: More Fourier transform theory, especially as applied to solving the wave equation.
Lur 7 Fourir Transforms and th Wav Euation Ovrviw and Motivation: W first discuss a fw faturs of th Fourir transform (FT), and thn w solv th initial-valu problm for th wav uation using th Fourir transform
More informationSpectral Synthesis in the Heisenberg Group
Intrnational Journal of Mathmatical Analysis Vol. 13, 19, no. 1, 1-5 HIKARI Ltd, www.m-hikari.com https://doi.org/1.1988/ijma.19.81179 Spctral Synthsis in th Hisnbrg Group Yitzhak Wit Dpartmnt of Mathmatics,
More informationEstimation of apparent fraction defective: A mathematical approach
Availabl onlin at www.plagiarsarchlibrary.com Plagia Rsarch Library Advancs in Applid Scinc Rsarch, 011, (): 84-89 ISSN: 0976-8610 CODEN (USA): AASRFC Estimation of apparnt fraction dfctiv: A mathmatical
More informationA Simple Formula for the Hilbert Metric with Respect to a Sub-Gaussian Cone
mathmatics Articl A Simpl Formula for th Hilbrt Mtric with Rspct to a Sub-Gaussian Con Stéphan Chrétin 1, * and Juan-Pablo Ortga 2 1 National Physical Laboratory, Hampton Road, Tddinton TW11 0LW, UK 2
More informationON A SECOND ORDER RATIONAL DIFFERENCE EQUATION
Hacttp Journal of Mathmatics and Statistics Volum 41(6) (2012), 867 874 ON A SECOND ORDER RATIONAL DIFFERENCE EQUATION Nourssadat Touafk Rcivd 06:07:2011 : Accptd 26:12:2011 Abstract In this papr, w invstigat
More information4. Money cannot be neutral in the short-run the neutrality of money is exclusively a medium run phenomenon.
PART I TRUE/FALSE/UNCERTAIN (5 points ach) 1. Lik xpansionary montary policy, xpansionary fiscal policy rturns output in th mdium run to its natural lvl, and incrass prics. Thrfor, fiscal policy is also
More informationGROUP EXTENSION HOMOMORPHISM MATRICES. A. M. DuPre. Rutgers University. October 1, 1993
GROUP EXTENSION HOMOMORPHISM MATRICES A. M. DuPr Rutgrs Univrsity Octobr 1, 1993 Abstract. If i1 j1 1! N 1?! G 1?! H 1! 1 i2 j2 1! N 2?! G 2?! H 2! 1 f ar short xact squncs of groups, thn w associat to
More informationOn systems of complex numbers and their application to the theory of transformation groups.
Übr Systm complxr Zahln und ihr Anwndung in dr Thori dr Transformationsgruppn Monatsth. f. Math. u. Physik (89), 8-54. On systms of complx numbrs and thir application to th thory of transformation groups.
More informationPROOF OF FIRST STANDARD FORM OF NONELEMENTARY FUNCTIONS
Intrnational Journal Of Advanc Rsarch In Scinc And Enginring http://www.ijars.com IJARSE, Vol. No., Issu No., Fbruary, 013 ISSN-319-8354(E) PROOF OF FIRST STANDARD FORM OF NONELEMENTARY FUNCTIONS 1 Dharmndra
More informationDeift/Zhou Steepest descent, Part I
Lctur 9 Dift/Zhou Stpst dscnt, Part I W now focus on th cas of orthogonal polynomials for th wight w(x) = NV (x), V (x) = t x2 2 + x4 4. Sinc th wight dpnds on th paramtr N N w will writ π n,n, a n,n,
More informationEXST Regression Techniques Page 1
EXST704 - Rgrssion Tchniqus Pag 1 Masurmnt rrors in X W hav assumd that all variation is in Y. Masurmnt rror in this variabl will not ffct th rsults, as long as thy ar uncorrlatd and unbiasd, sinc thy
More informationI R I S A P U B L I C A T I O N I N T E R N E N o ON THE CONSTRUCTION OF PULLBACKS FOR SAFE PETRI NETS ERIC FABRE ISSN
I R I P U B L I C A T I O N I N T E R N E 1750 N o S INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTÈMES ALÉATOIRES A ON THE CONSTRUCTION OF PULLBACKS FOR SAFE PETRI NETS ERIC FABRE ISSN 1166-8687 I R I
More informationMATRIX FACTORIZATIONS OVER PROJECTIVE SCHEMES
MATRIX FACTORIZATIONS OVER PROJECTIVE SCHEMES JESSE BURKE AND MARK E. WALKER Abstract. W study matrix factorizations of locally fr cohrnt shavs on a schm. For a schm that is projctiv ovr an affin schm,
More informationPort Hamiltonian Formulation of Infinite Dimensional Systems I. Modeling
Port Hamiltonian Formulation of Infinit Dimnsional Systms I. Modling Alssandro Macchlli, Arjan J. van dr Schaft and Claudio Mlchiorri Abstract In this papr, som nw rsults concrning th modling of distributd
More informationProperties of Phase Space Wavefunctions and Eigenvalue Equation of Momentum Dispersion Operator
Proprtis of Phas Spac Wavfunctions and Eignvalu Equation of Momntum Disprsion Oprator Ravo Tokiniaina Ranaivoson 1, Raolina Andriambololona 2, Hanitriarivo Rakotoson 3 raolinasp@yahoo.fr 1 ;jacqulinraolina@hotmail.com
More informationCS 6353 Compiler Construction, Homework #1. 1. Write regular expressions for the following informally described languages:
CS 6353 Compilr Construction, Homwork #1 1. Writ rgular xprssions for th following informally dscribd languags: a. All strings of 0 s and 1 s with th substring 01*1. Answr: (0 1)*01*1(0 1)* b. All strings
More informationu x v x dx u x v x v x u x dx d u x v x u x v x dx u x v x dx Integration by Parts Formula
7. Intgration by Parts Each drivativ formula givs ris to a corrsponding intgral formula, as w v sn many tims. Th drivativ product rul yilds a vry usful intgration tchniqu calld intgration by parts. Starting
More informationOn the construction of pullbacks for safe Petri nets
On th construction of pullbacks for saf Ptri nts Eric Fabr Irisa/Inria Campus d Bauliu 35042 Rnns cdx, Franc Eric.Fabr@irisa.fr Abstract. Th product of saf Ptri nts is a wll known opration : it gnralizs
More informationMA 262, Spring 2018, Final exam Version 01 (Green)
MA 262, Spring 218, Final xam Vrsion 1 (Grn) INSTRUCTIONS 1. Switch off your phon upon ntring th xam room. 2. Do not opn th xam booklt until you ar instructd to do so. 3. Bfor you opn th booklt, fill in
More informationExercise 1. Sketch the graph of the following function. (x 2
Writtn tst: Fbruary 9th, 06 Exrcis. Sktch th graph of th following function fx = x + x, spcifying: domain, possibl asymptots, monotonicity, continuity, local and global maxima or minima, and non-drivability
More informationFinding low cost TSP and 2-matching solutions using certain half integer subtour vertices
Finding low cost TSP and 2-matching solutions using crtain half intgr subtour vrtics Sylvia Boyd and Robrt Carr Novmbr 996 Introduction Givn th complt graph K n = (V, E) on n nods with dg costs c R E,
More informationSquare of Hamilton cycle in a random graph
Squar of Hamilton cycl in a random graph Andrzj Dudk Alan Friz Jun 28, 2016 Abstract W show that p = n is a sharp thrshold for th random graph G n,p to contain th squar of a Hamilton cycl. This improvs
More information