The present proposal is in part a continuation of the NSF Research Proposal Definability, Constructibility and Transfer (DMS-0100778/DMS-0302248 in the amount of $69,276; project details are given in §4.3 and the introduction to §5). Whereas the latter proposal was submitted via the division Foundations, in view of the underlying tools stemming from model-theory, the present proposal is cast en...

This paper describes and compares several methods for computing stationary probability distributions of Markov chains. The main linear algebra problem consists of computing an eigenvector of a sparse, non-symmetric, matrix associated with a known eigenvalue. It can also be cast as a problem of solving a homogeneous, singular linear system. We present several methods based on combinations of Kry...

Our main result is that any topological algebra based on a Boolean space is the extended Stone dual space of a certain associated Boolean algebra with additional operations. A particular case of this result is that the profinite completion of any abstract algebra is the extended Stone dual space of the Boolean algebra of recognisable subsets of the abstract algebra endowed with certain residuat...

0

A bstract L ∞ algebras describe the underlying algebraic structure of many consistent classical field theories. In this work we analyze Gauged Double Field Theory in generalized flux formalism. The symmetry transformations consist a deformed Lie derivative and double Lorentz transformations. We obtain all non-trivial products closed form considering Kerr-Schild ansatz for frame include linear p...

The structure of tree–level open and closed superstring amplitudes is analyzed. For the open superstring amplitude we find a striking and elegant form, which allows to disentangle its α–expansion into several contributions accounting for different classes of multiple zeta values. This form is bolstered by the decomposition of motivic multiple zeta values, i.e. the latter encapsulate the α–expan...

We present a novel formulation, based on the latest advancement in polynomial system solving via linear algebra, for identifying limit cycles in general n-dimensional autonomous nonlinear polynomial systems. The condition for the existence of an algebraic limit cycle is first set up and cast into a Macaulay matrix format whereby polynomials are regarded as coefficient vectors of monomials. This...

it is shown that every  almost linear bijection $h : arightarrow b$ of a unital $c^*$-algebra $a$ onto a unital$c^*$-algebra $b$ is a $c^*$-algebra isomorphism when $h(3^n u y) = h(3^n u) h(y)$ for allunitaries  $u in a$, all $y in a$, and all $nin mathbb z$, andthat almost linear continuous bijection $h : a rightarrow b$ of aunital $c^*$-algebra $a$ of real rank zero onto a unital$c^*$-algebra...