Related papers: A characterization of completely alternating funct…

We show that every finite Abelian algebra A from congruence-permutable varieties admits a full duality. In the process, we prove that A also allows a strong duality, and that the duality may be induced by a dualizing structure of finite…

We give a sufficient condition for a symbolic topological dynamical system with action of a countable amenable group to be an extension of the full shift, a problem analogous to those studied by Ashley, Marcus, Johnson and others for…

In this paper we consider the complete momentum-independent quartic order truncation for the effective average action of a real Abelian rank 3 tensorial group field theory. This complete truncation includes non-melonic as well as…

The article is devoted to investigation of classes of functions monotone as functions on general $C^*$-algebras that are not necessarily the $C^*$-algebras of all bounded linear operators on a Hilbert space as it is in classical case of…

We study the category $\mathcal{A}$ of smooth semilinear representations of the infinite symmetric group over the field of rational functions in infinitely many variables. We establish a number of results about the structure of…

Absolutely continuous commuting row contractions admit a weak-$*$ continuous functional calculus. Building on recent work describing the first and second dual spaces of the closure of the polynomial multipliers on the Drury-Arveson space,…

We describe an abelian category $\mathbf{ab}(M)$ in which the solution sets of finitely many linear equations over an arbitrary ring $R$ with values in an arbitrary left $R$-module $M$ reside as objects. Such solution sets are also called…

In this work we investigate and characterize linear functionals $L:\mathbb{R}[x_1,\dots,x_n]\to\mathbb{R}$ with absolutely continuous representing measures $\mu$, i.e., $\mathrm{d}\mu(x) = g(x)\,\mathrm{d} x$ for some density $g$. We focus…

This paper provides a complete characterization of quasicontractive groups and analytic $C_0$-semigroups on Hardy and Dirichlet space on the unit disc with a prescribed generator of the form $Af=Gf'$. In the analytic case we also give a…

We introduce a new class of semigroups arising from a restricted class of asynchronous automata. We call these semigroups "expanding automaton semigroups." We show that the class of synchronous automaton semigroups is strictly contained in…

A production function $f$ is called quasi-sum if there are strict monotone functions $F, h_1,...,h_n$ with $F'>0$ such that $$f(x)= F(h_1 (x_1)+...+h_n (x_n)).$$ The justification for studying quasi-sum production functions is that these…

We introduce a formalism of infinite, linearly ordered products in general groups. Using this, we define infinite compositions in certain groups of formal power series such as transseries. We show that such groups can sometimes be…

In the paper the authors alternatively prove that the function $x^\alpha\big[\ln\frac{px}{x+p+1}-\psi_p(x)\big]$ is completely monotonic on $(0,\infty)$ if and only if $\alpha \le 1$, where $p\in\mathbb{N}$ and $\psi_p(x)$ is the…

We consider an arbitrary representation of the additive group over a field of characteristic zero and give an explicit description of a finite separating set in the corresponding ring of invariants.

Let $S$ be an additively idempotent semiring and $\mathbf{M}_n(S)$ be the semiring of all $n\times n$ matrices over $S$. We characterize the conditions of when the semiring $\mathbf{M}_n(S)$ is congruence-simple provided that the semiring…

In this work we extend our study on a link between automaticity and certain algebraic power series over finite fields. Our starting point is a family of sequences in a finite field of characteristic $2$, recently introduced by the first…

We study rings of real-valued continuous functions in terms of pseudocomplementation conditions on various lattices attached to their prime spectrum. We fully characterize pseudocomplementation in all cases and have an almost complete…

We prove the existence of gaps between all the different classes of matrix monotone functions defined on an interval, provided the interval is non trivial and different from the whole real line. We then show how matrix monotone functions…

Let $\overline{\mathbb Q}$ be an algebraic closure of $\mathbb Q$ and let $A$ denote the ring of algebraic integers in $\overline{\mathbb Q}$. If $\mathcal S = \overline{\mathbb Q}^\times/A^\times$ then $\mathcal S$ is a vector space over…

We present polygraphic programs, a subclass of Albert Burroni's polygraphs, as a computational model, showing how these objects can be seen as first-order functional programs. We prove that the model is Turing complete. We use polygraphic…