Related papers: The suprema of infinitely divisible processes
The impossibility of eliminating hallucination, understood here as incorrect definite answers, in sufficiently expressive yes-or-no formal domains is an immediate consequence of classical undecidability theorems. This note does not revisit…
The classification of separable operator spaces and systems is commonly believed to be intractable. We analyze this belief from the point of view of Borel complexity theory. On one hand we confirm that the classification problems for…
Let $A\subseteq B$ be a $C^*$-inclusion. We give efficient conditions under which $A$ separates ideals in $B$, and $B$ is purely infinite if every positive element in $A$ is properly infinite in $B$. We specialise to the case when $B$ is a…
Probabilistic omega-automata are variants of nondeterministic automata for infinite words where all choices are resolved by probabilistic distributions. Acceptance of an infinite input word can be defined in different ways: by requiring…
In this paper the complete solution of the restricted inequalities for supremal operators are given. The boundedness of the composition of supremal operators with the Hardy and Copson operators in weighted Lebesgue spaces are characterized.
Higher-order processes with parameterization are capable of abstraction and application (migrated from the lambda-calculus), and thus are computationally more expressive. For the minimal higher-order concurrency, it is well-known that the…
For many environmental processes, recent studies have shown that the dependence strength is decreasing when quantile levels increase. This implies that the popular max-stable models are inadequate to capture the rate of joint tail decay,…
It was recently found that the indefinite causal order in the quantum switch can be certified device-independently when assuming the impossibility of superluminal influences. Here we strengthen this result in two ways. First, we give a…
We show that there is an absolute constant $c>0$ such that $|A+\lambda\cdot A|\geq e^{c\sqrt{\log |A|}}|A|$ for any finite subset $A$ of $\mathbb{R}$ and any transcendental number $\lambda\in\mathbb{R}$. By a construction of Konyagin and…
In this article, we consider the notion of almost irredundant sets: A subset $\mathcal{X}$ of a C*-algebra $\mathcal{A}$ is called almost irredundant if and only if for every $a\in \mathcal{X}$, the element $a$ does not belong to the…
We develop an algorithm for computing bounded reachability probability for hybrid systems, i.e., the probability that the system reaches an unsafe region within a finite number of discrete transitions. In particular, we focus on hybrid…
A conjecture of Talagrand (2010) states that the so-called expectation and fractional expectation thresholds are always within at most some constant factor from each other. In this note we generalize a method of DeMarco and Kahn and settle…
The continuity of Gaussian processes is extensively studied topic and it culminates in the Talagrand's notion of majorizing measures that gives complicated necessary and sufficient conditions. In this note we study the H\"older continuity…
Let $B$ be a $d$-dimensional Gaussian process on $\mathbb{R}$, where the component are independents copies of a scalar Gaussian process $B_0$ on $\mathbb{R}_+$ with a given general variance function…
In the paper we present results to develop an irreducible theory of complex systems in terms of self-organization processes of prime integer relations. Based on the integers and controlled by arithmetic only the self-organization processes…
We offer a conjecture on sharp estimation of a definite improper integral depend on a parameter $\lambda \in (0,+\infty)$ by means of given estimate of other definite integral depend on parameters $t\in [0,+\infty)$ and $\lambda$. Such…
The $\lambda$-superposition calculus is a successful approach to proving higher-order formulas. However, some parts of the calculus are extremely explosive, notably due to the higher-order unifier enumeration and the functional…
A model with a sequence of indiscernibles depending on a particular precovering set is constructed.The initial assumption is as follows: for every n<omega the set {alpha | o(alpha)=alpha^+n } is unbounded in kappa.
It is, perhaps, surprising that the location of the unique supremum of a stationary process on an interval can fail to be uniformly distributed over that interval. We show that this distribution is absolutely continuous in the interior of…
Dilative semistability extends the notion of semi-selfsimilarity for infinitely divisible stochastic processes by introducing an additional scaling in the convolution exponent. It is shown that this scaling relation is a natural extension…