Left-discrimination of a semigroup is defined and shown to be a sufficient condition that a semigroup be isomorphic to the input semigroup of its semigroup automaton, a necessary condition if the semigroup is finite. The left-discrimination sequence of an automaton is defined as a sequence of semigroups beginning with the input semigroup of the automaton, each member being the input semigroup o...

We present a polynomial-time reduction of the discrete logarithm problem in any periodic (a.k.a. torsion) semigroup (Semigroup DLP) to the classic DLP in a subgroup of the same semigroup. It follows that Semigroup DLP can be solved in polynomial time by quantum computers, and that Semigroup DLP has subexponential algorithms whenever the classic DLP in the corresponding groups has subexponential...

We systematically analyze regularization of different kinds of ultradistribution semigroups and sines, in general, with nondensely defined generators and contemplate several known results concerning the regularization of Gevrey type ultradistribution semigroups. We prove that, for every closed linear operator A which generates an ultradistribution semigroup (sine), there exists a bounded inject...

The interaction of automatic semigroups and Bruck–Reilly extensions is studied. It is proved that every automatic Bruck–Reilly extension has an automatic base semigroup. This result is then applied to answer negatively the question of Andrade et al. on whether automatic structures for Bruck–Reilly extensions of groups are characterized by the fellow traveller property. An example is exhibited t...

We derive the actions for type II Green-Schwarz strings up to second order in the fermions, for general bosonic backgrounds. We base our work on the so-called normal coordinate expansion. The resulting actions are κ-symmetric and, for the case of surviving background supersymmetries, supersymmetric. We first obtain the type IIa superstring action from the 11D supermembrane by double dimensional...

For a unital foundation topological *-semigroup S whose representations separate points of S, we show that the spectrum of the Fourier-Stieltjes algebra B(S) is a compact semitopological semigroup. We also calculate B(S) for several examples of S.

For Ω a Polish space we consider operator semigroups on the space Cb(Ω) of bounded, continuous functions and on the space M (Ω) of bounded Borel measures. The important fact here is that the dual of Cb(Ω) with the strict topology is M (Ω). We pursue the approach via bi-continuous semigroups, but we also show that the class of bi-continuous semigroups on Cb(Ω) with respect to the compact-open to...