Related papers: Automatic time continuity of positive matrix and o…
Let $n$ be a positive integer and $\mathcal M$ a set of rational $n \times n$-matrices such that $\mathcal M$ generates a finite multiplicative semigroup. We show that any matrix in the semigroup is a product of matrices in $\mathcal M$…
We investigate the generalized moment membership problem for matrices, a formulation equivalent to Skolem's problem for linear recurrence sequences. We show decidability for orthogonal, unitary, and real eigenvalue matrices, and…
The matrix semigroup membership problem asks, given square matrices $M,M_1,\ldots,M_k$ of the same dimension, whether $M$ lies in the semigroup generated by $M_1,\ldots,M_k$. It is classical that this problem is undecidable in general but…
In a couple of previous papers, we initiated a systematic study of semihypergroups and had a thorough discussion on certain analytic and algebraic aspects associated to this class of objects. In this article, we introduce and examine…
A quasi-automatic semigroup is defined by a finite set of generators, a rational (regular) set of representatives, such that if a is a generator or neutral, then the graph of right multiplication by a on the set of representatives is a…
We consider the preservation of the properties of automaticity and prefix-automaticity in Rees matrix semigroups over semigroupoids and small categories. Some of our results are new or improve upon existing results in the single-object case…
In this note we connect the notion of solutions of a martingale problem to the notion of a strongly continuous and locally equi-continuous semigroup on the space of bounded continuous functions equipped with the strict topology. This…
An interesting result by T. Kato and A. Pazy says that a contractive semigroup (T(t)) on a uniformly convex space X is holomorphic iff limsup_{t \downarrow 0} ||T(t)-Id|| < 2. We study extensions of this result which are valid on arbitrary…
In a nutshell, we intend to extend Schoenberg's classical theorem connecting conditionally positive semidefinite functions $F\colon \mathbb{R}^n \to \mathbb{C}$, $n \in \mathbb{N}$, and their positive semidefinite exponentials $\exp(tF)$,…
A positive definiteness criterion and, under the additional conditions, a nonnegativity criterion for a self-adjoint continuous operator matrix, acting in product of an arbitrary number of real separable Hilbert spaces, are obtained. As…
In this note we consider continuous-time systems x'(t) = A(t) x(t) + B(t) u(t), y(t) = C(t) x(t) + D(t) u(t), as well as discrete-time systems x(t+1) = A(t) x(t) + B(t) u(t), y(t) = C(t) x(t) + D(t) u(t) whose coefficient matrices A, B, C…
In this paper we study the stability properties of strongly continuous semigroups generated by block operator matrices. We consider triangular and full operator matrices whose diagonal operator blocks generate polynomially stable…
Let $ \left(X_{t} \right)_{t\geq 0} $ be a continuous semimartingale. Let $ L^{z}_{t}\left(X\right) $ its family of local times. In \cite{YOR} Yor showed that the family $ \left( L^{z}_{t}\left(X\right) \right)_{ z \in \mathbb{R}, t \geq 0}…
We consider various decision problems for automatic semigroups, which involve the provision of an automatic structure as part of the problem instance. With mild restrictions on the automatic structure, which seem to be necessary to make the…
We reveal new aspects of the structure of Hilbert space $C_0$-semigroups $\mathcal T = (T(t))_{t\ge 0}$ similar to semigroups of contractions. In particular, we prove that $\mathcal T$ is similar to a semigroup of contractions if and only…
Given a member A of the class of non-deterministic timed automata with silent transitions (eNTA), we effectively compute its timestamp: the set of all pairs (time value, action) of all observable timed traces of A, a generalization of the…
Let $S$ be the multiplicative semigroup of $q\times q$ matrices with positive entries such that every row and every column contains a strictly positive element. Denote by $(X_n)_{n\geq1}$ a sequence of independent identically distributed…
We prove that a biseparating map between spaces of vector-valued continuous functions is usually automatically continuous. However, we also discuss special cases when it is not true.
Let $T$ denote a positive operator with spectral radius $1$ on, say, an $L^p$-space. A classical result in infinite dimensional Perron--Frobenius theory says that, if $T$ is irreducible and power bounded, then its peripheral point spectrum…
It is first shown that a smooth controllable system on a compact manifold is finite time controllable. The technique of proof is close to the one of Sussmann's orbit theorem, and no rank condition is required. This technique is also used to…