Related papers: Complete $\omega$-Regular Supermartingale Certific…
Discrete time random dynamical systems with countably many maps which admit countable Markov partitions on complete metric spaces such that the resulting Markov systems are uniform continuous and contractive are considered. A notion of a…
In the paper, we construct conservative Markov processes corresponding to the martingale solutions to the stochastic heat equation on $\mathbb{R}^+$ or $\mathbb{R}$ with values in a general Riemannian maifold, which is only assumed to be…
In this article we give a classification of the binary, simple, $\omega$-categorical structures with SU-rank 1 and trivial pregeometry. This is done both by showing that they satisfy certain extension properties, but also by noting that…
For random compositions of independent and identically distributed measurable maps on a Polish space, we study the existence and finitude of absolutely continuous ergodic stationary probability measures (which are, in particular, physical…
A general algebraic procedure for constructing coherent states of a wide class of exactly solvable potentials e.g., Morse and P{\"o}schl-Teller, is given. The method, {\it a priori}, is potential independent and connects with earlier…
By coupling unstable components, we demonstrate a novel approach that reduces static modulus to zero, eliminating causality-imposed absorption limitations in acoustics. Our heuristic model simulations achieve ultra-broadband absorption over…
This work is concerned with stochastic consensus conditions of multi-agent systems with both time-delays and measurement noises. For the case of additive noises, we develop some necessary conditions and sufficient conditions for stochastic…
In mathematical logic there are two seemingly distinct kinds of principles called "reflection principles." Semantic reflection principles assert that if a formula holds in the whole universe, then it holds in a set-sized model. Syntactic…
Let $({\mathcal{T}}_{*t})$ be a predual quantum Markov semigroup acting on the full 2 x 2 matrix algebra and having an absorbing pure state. We prove that for any initial state $\omega$, the net of orthogonal measures representing the net…
This paper addresses the problem of verifying discrete-time stochastic systems against omega-regular specifications using finite-state abstractions. Omega-regular properties allow specifying complex behavior and encompass, for example,…
We develop a quenched thermodynamic formalism for open random dynamical systems generated by finitely branched, piecewise-monotone mappings of the interval. The openness refers to the presence of holes in the interval, which terminate…
In this paper, we study the long time asymptotic behaviors for solutions to the Chern-Simons-Higgs equation with a pure power defocusing nonlinearity. We obtain quantitative inverse polynomial time decay for the potential energy for all…
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…
We prove a strong law of large numbers for a class of strongly mixing processes. Our result rests on recent advances in understanding of concentration of measure. It is simple to apply and gives finite-sample (as opposed to asymptotic)…
By Solovay's celebrated completeness result on formal provability we know that the provability logic $\mathrm GL$ describes exactly all provable structural properties for any sound and strong enough arithmetical theory with a decidable…
We show that the sequential closure of a family of probability measures on the canonical space of c{\`a}dl{\`a}g paths satisfying Stricker's uniform tightness condition is a weak${}^*$ compact set of semimartingale measures in the pairing…
Metric-preserving functions (here, metric aggregation functions) offer a natural method for constructing metrics on Cartesian products of metric spaces or for aggregating multiple metrics defined on a common set. Strongly metric-preserving…
A general diffusion semimartingale is a one-dimensional path-continuous semimartingale that is also a regular strong Markov process. We say that a continuous semimartingale has the representation property if all local martingales w.r.t. its…
We propose a tutorial on relaxations and weak formulations of optimal control with their semidefinite approximations. We present this approach solely through the prism of positivity certificates which we consider to be the most accessible…
We study algorithmic randomness notions via effective versions of almost-everywhere theorems from analysis and ergodic theory. The effectivization is in terms of objects described by a computably enumerable set, such as lower semicomputable…