Semiring induced valuation algebras: Exact and approximate local computation algorithms

Local computation in join trees or acyclic hypertrees has been shown to be linked to a particular algebraic structure, called valuation algebra.There are many models of this algebraic structure ranging from probability theory to numerical analysis, relational databases and various classical and non-classical logics. It turns out that many interesting models of valuation algebras may be derived from semiring valued mappings. In this paper we study how valuation algebras are induced by semirings and how the structure of the valuation algebra is related to the algebraic structure of the semiring. In particular, c-semirings with idempotent multiplication induce idempotent valuation algebras and therefore permit particularly efficient architectures for local computation. Also important are semirings whose multiplicative semigroup is embedded in a union of groups. They induce valuation algebras with a partially defined division. For these valuation algebras, the well-known architectures for Bayesian networks apply. We also extend the general computational framework to allow derivation of bounds and approximations, for when exact computation is not feasible.

Reduced K-theory for Azumaya algebras

Abstract In the theory of central simple algebras, often we are dealing with abelian groups which arise from the kernel or co-kernel of functors which respect transfer maps (for example K-functors). Since a central simple algebra splits and the functors above are “trivial” in the split case, one can prove certain calculus on these functors. The common examples are kernel or co-kernel of the maps Ki(F)?Ki(D), where Ki are Quillen K-groups, D is a division algebra and F its center, or the homotopy fiber arising from the long exact sequence of above map, or the reduced Whitehead group SK1. In this note we introduce an abstract functor over the category of Azumaya algebras which covers all the functors mentioned above and prove the usual calculus for it. This, for example, immediately shows that K-theory of an Azumaya algebra over a local ring is “almost” the same as K-theory of the base ring. The main result is to prove that reduced K-theory of an Azumaya algebra over a Henselian ring coincides with reduced K-theory of its residue central simple algebra. The note ends with some calculation trying to determine the homotopy fibers mentioned above.

Maximal C*-algebras of quotients and injective envelopes of C*-algebras

A new C*-enlargement of a C*-algebra A nested between the local multiplier algebra of A and its injective envelope is introduced. Various aspects of this maximal C*-algebra of quotients are studied, notably in the setting of AW*-algebras. As a by-product we obtain a new example of a type I C*-algebra such that its second iterated local multiplier algebra is strictly larger than its local multiplier algebra.

Sheaves of C*-algebras

We develop the basics of a theory of sheaves of C*-algebras and, in particular, compare it to the existing theory of C*-bundles. The details of two fundamental examples, the local multiplier sheaf and the injective envelope sheaf, are discussed.

Cohomology of Banach algebras of operators and geometry of Banach spaces.

In the paper we give an exposition of the major results concerning the relation between first order cohomology of Banach algebras of operators on a Banach space with coefficients in specified modules and the geometry of the underlying Banach space. In particular we shall compare the properties weak amenability and amenability for Banach algebras A(X), the approximable operators on a Banach space X. Whereas amenability is a local property of the Banach space X, weak amenability is often the consequence of properties of large scale geometry.

Genetic maternity and paternity in a local population of armadillos assessed by microsatellite DNA markers and field data.

Genetic data from polymorphic microsatellite loci were employed to estimate paternity and maternity in a local population of nine-banded armadillos (Dasypus novemcinctus) in northern Florida. The parentage assessments took advantage of maximum likelihood procedures developed expressly for situations when individuals of neither gender can be excluded a priori as candidate parents. The molecular data for 290 individuals, interpreted alone and in conjunction with detailed biological and spatial information for the population, demonstrate high exclusion probabilities and reasonably strong likelihoods of genetic parentage assignment in many cases; low mean probabilities of successful reproductive contribution to the local population by individual armadillo adults in a given year; and statistically significant microspatial associations of parents and their offspring. Results suggest that molecular assays of highly polymorphic genetic systems can add considerable power to assessments of biological parentage in natural populations even when neither parent is otherwise known.

Global and local contributions to the optical specification of time to contact: Observer sensitivity to composite tau

First-order time remaining until a moving observer will pass an environmental element is optically specified in two different ways. The specification provided by global tau (based on the pattern of change of angular bearing) requires that the element is stationary and that the direction of motion is accurately detected, whereas the specification provided by composite tau (based on the patterns of change of optical size and optical distance) does not require either of these. We obtained converging evidence,for our hypothesis. that observers are sensitive to composite tau in four experiments involving, relative judgments of, time to, passage with forced-choice methodology. Discrimination performance was enhanced in the presence of a local expansion component, while being unaffected when the detection of the direction of heading was impaired. Observers relied on the information carried in composite tau rather than on the information carried in its constituent components. Finally, performance was similar under conditions of observer motion and conditions of object motion. Because composite tau specifies first-order time remaining for a large number of situations, the different ways in which it may be detected are discussed.