Related papers: The suprema of infinitely divisible processes
We investigate the stability and stabilization concepts for infinite dimensional time fractional differential linear systems in Hilbert spaces with Caputo derivatives. Firstly, based on a family of operators generated by strongly continuous…
In this paper, we derive explicit sharp two-sided estimates of the Dirichlet heat kernels for a class of symmetric subordinate diffusion processes with diffusive components in $C^{1, \alpha}(\alpha\in (0, 1])$ open sets in $\mathbb R^d$…
Getoor's conjecture that essentially all Levy processes satisfy (H) is a long-standing open problem in potential theory. In the beginning of the paper, we summarize the main results obtained so far for the problem. Then, we present two new…
In a previous paper, a process algebra based on ACP (Algebra of Communicating Processes) was proposed in which processes involving data can be handled by means of features originating from imperative programming. In this paper, an extension…
We upgrade Howard's divisibility towards Perrin-Riou's Heegner point main conjecture to the predicted equality. Contrary to previous works in this direction, our main result allows for the classical Heegner hypothesis and non-squarefree…
A notion of super operator system is defined which generalizes the usual notion of operator systems to include certain unital involutive operator spaces which cannot be represented completely isometric as a concrete operator system on some…
We study exactness of groups and establish a characterization of exact groups in terms of the existence of a continuous linear operator, called an invariant expectation, whose properties make it a weak counterpart of an invariant mean on a…
We construct a unital pre-C*-algebra $A_0$ which is stably finite, in the sense that every left invertible square matrix over $A_0$ is right invertible, while the C*-completion of $A_0$ contains a non-unitary isometry, and so it is…
Given a Probabilistic Finite Automata (PFA), a set of states S, and an error threshold e > 0, our algorithm approximates the infimum probability (quantifying over all infinite words) that the automata reaches S. Our result contrasts with…
Quantum mechanics may revolutionise many aspects of modern information processing as it promises significant advantages in several fields such as cryptography, computing and metrology. Quantum cryptography for instance allows us to…
We clarify that an ideal gas obeying infinite statistics cannot undergo condensation. Then we derive the dynamic equation for an identical particle system obeying infinite statistics under external potential and inter-particle interaction.…
We give a short proof of It\^o's formula for stochastic Hilbert-space valued processes in the setting $V\subset H\subset V^{*}$ based on the possibility to lift the stochastic differentials, which are originally in $V^{*}$, into $H$. Using…
Let $D \subseteq A$ be an inclusion of unital abelian $C^*$-algebras. In this note we characterize (in topological terms) when there is a unique conditional expectation $E:A \to D$, at least when $A$ is separable. As an application, we…
We introduce a first-order theory of finite full binary trees and then identify decidable and undecidable fragments of this theory. We show that the analogue of Hilbert`s 10th Problem is undecidable by constructing a many-to-one reduction…
This work is concerned with homogenization problems for elliptic equations of the type \[ \begin{cases} \mathfrak{L}_{\delta} u_{\delta} + \lambda u_{\delta} = f_{\delta} \qquad \text{in} \;\; D, \\ \qquad \quad \;\, u = 0 \qquad \,…
We consider probabilistic automata on infinite words with acceptance defined by safety, reachability, B\"uchi, coB\"uchi, and limit-average conditions. We consider quantitative and qualitative decision problems. We present extensions and…
In this article it is proven the existence of integration of indefinite integrals as infinite derivative's series expansion. This also opens a new way to integrate a definite integral.
We develop a framework to give upper bounds on the "practical" computational complexity of stability problems for a wide range of nonlinear continuous and hybrid systems. To do so, we describe stability properties of dynamical systems using…
This paper presents a theory of systemic undecidability, reframing incomputability as a structural property of systems rather than a localized feature of specific functions or problems. We define a notion of causal embedding and prove a…
Given a Hilbert space and the generator $A$ of a strongly continuous, exponentially stable, semigroup on this Hilbert space. For any $g(-s) \in {\mathcal H}_{\infty}$ we show that there exists an infinite-time admissible output operator…