Related papers: Some Consistent Power Constructions
For modular Lie superalgebras, new notions are introduced: Divided power homology and divided power cohomology. For illustration, we give presentations (in terms of analogs of Chevalley generators) of finite dimensional Lie (super)algebras…
We develop domain theory in constructive univalent foundations without Voevodsky's resizing axioms. In previous work in this direction, we constructed the Scott model of PCF and proved its computational adequacy, based on directed complete…
Recently, a new concept called multiplicative differential cryptanalysis and the corresponding $c$-differential uniformity were introduced by Ellingsen et al.~\cite{Ellingsen2020}, and then some low differential uniformity functions were…
Modify the Blum-Shub-Smale model of computation replacing the permitted computational primitives (the real field operations) with any finite set $B$ of real functions semialgebraic over the rationals. Consider the class of boolean decision…
We obtain a power saving in the error term for a semigroup congruence lattice point count related to continued fractions. This is done by adapting arguments from recent work of Oh and Winter (2014) that give uniform bounds for certain…
In this paper, the continuity and strong continuity in domain-free information algebras and labeled information algebras are introduced respectively. A more general concept of continuous function which is defined between two domain-free…
We introduce a continuous domain for function spaces over topological spaces which are not core-compact. Notable examples of such topological spaces include the real line with the upper limit topology, which is used in solution of initial…
Transient stability is crucial to the reliable operation of power systems. Existing theories rely on the simplified electromechanical models, substituting the detailed electromagnetic dynamics of inductor and capacitor with their impedance…
The problem of characterizing which automatic sets of integers are stable is here solved. Given a positive integer $d$ and a subset $A\subseteq \mathbb{Z}$ whose set of representations base $d$ is recognized by a finite automaton, a…
Turi and Plotkin's bialgebraic semantics is an abstract approach to specifying the operational semantics of a system, by means of a distributive law between its syntax (encoded as a monad) and its dynamics (an endofunctor). This setup is…
Superposition is an established decision procedure for a variety of first-order logic theories represented by sets of clauses. A satisfiable theory, saturated by superposition, implicitly defines a minimal term-generated model for the…
The composition operators preserving total non-negativity and total positivity for various classes of kernels are classified, following three themes. Letting a function act by post composition on kernels with arbitrary domains, it is shown…
The connection between monotonicity formulas and the (S$_+$)-property is that, for some popular differential operators, the former is used to prove the latter. The purpose of this paper is to explore this connection, remark how in the past…
Conventional Bell and Stirling numbers arise naturally in the normal ordering of simple monomials in boson operators. By extending this process we obtain generalizations of these combinatorial numbers, defined as coherent state matrix…
By generalising Rudin's construction of an aperiodic sequence, we derive new substitution-based structures which have purely absolutely continuous diffraction and mixed dynamical spectrum, with absolutely continuous and pure point parts. We…
To each integral domain R with finite quotients we associate a purely infinite simple C*-algebra in a very natural way. Its stabilization can be identified with the crossed product of the algebra of continuous functions on the "finite adele…
We introduce a novel discretization of the Monge-Ampere operator, simultaneously consistent and degenerate elliptic, hence accurate and robust in applications. These properties are achieved by exploiting the arithmetic structure of the…
Power operations in the homology of infinite loop spaces, and $H_\infty$ or $E_\infty$ ring spectra have a long history in Algebraic Topology. In the case of ordinary mod p homology for a prime p, the power operations of Kudo, Araki, Dyer…
In this paper the stable extended domain of a noncommutative rational function is introduced and it is shown that it can be completely described by a monic linear pencil from the minimal realization of the function. This result amends the…
We study orthogonal polynomials for a weight function defined over a domain of revolution, where the domain is formed from rotating a two-dimensional region and goes beyond the quadratic domains. Explicit constructions of orthogonal bases…