Related papers: On theories of random variables
We identify a new type of pattern formation in spatially distributed active systems. We simulate one-dimensional two-component systems with predator-prey local interaction and pursuit-evasion taxis between the components. In a sufficiently…
A method how to construct Boolean-valued models of some fragments of arithmetic was developed in Krajicek (2011), with the intended applications in bounded arithmetic and proof complexity. Such a model is formed by a family of random…
We investigate the size of the regular set for small perturbations of some classes of strong large solutions to the Navier--Stokes equation. We consider perturbations of the data which are small in suitable weighted $L^{2}$ spaces but can…
We investigate the presence of static solutions in models described by real scalar field in two-dimensional spacetime. After taking advantage of a procedure introduced sometime ago, we solve intricate nonlinear ordinary differential…
We study the statistical properties of random numbers under the Martin-L\"of definition of randomness, proving that random numbers obey analogues of Strong Law of Large Numbers, the Law of the Iterated Logarithm, and that they are normal.…
We study the model theory of expansions of Hilbert spaces by generic predicates. We first prove the existence of model companions for generic expansions of Hilbert spaces in the form first of a distance function to a random substructure,…
We prove a regularity lemma with respect to arbitrary Keisler measures mu on V, nu on W where the bipartite graph (V,W,R) is definable in a saturated structure M and the formula R(x,y) is stable. The proof is rather quick and uses local…
In this note we discuss uniform integrability of random variables. In a probability space, we introduce two new notions on uniform integrability of random variables, and prove that they are equivalent to the classic one. In a sublinear…
We prove stochastic stability of chaotic maps for a general class of Markov random perturbations (including singular ones) satisfying some kind of mixing conditions. One of the consequences of this statement is the proof of Ulam's…
Self-similarity of systems is very popular and intensively developing field during last decades. To this field belong so-called stable distributions and their generalization. In Klebanov and Sl\'amov\'a (2014) there was given an approach to…
Random models of evolution are instrumental in extracting rates of microscopic evolutionary mechanisms from empirical observations on genetic variation in genome sequences. In this context it is necessary to know the statistical properties…
In this article, we establish the mathematical foundations for modeling the randomness of shapes and conducting statistical inference on shapes using the smooth Euler characteristic transform. Based on these foundations, we propose two…
The population model of Busenberg and Travis is a paradigmatic model in ecology and tumour modelling due to its ability to capture interesting phenomena like the segregation of populations. Its singular mathematical structure enforces the…
For the Vlasov-Poisson equation with random uncertain initial data, we prove that the Landau damping solution given by the deterministic counterpart (Caglioti and Maffei, {\it J. Stat. Phys.}, 92:301-323, 1998) depends smoothly on the…
Heterogeneity of many building materials complicates numerical modelling of structural behaviour. The material randomicity can be manifested by different values of material parameters of each material specimen. To capture inherent…
We study $\varepsilon$-stability in continuous logic. We first consider stability in a model, where we obtain a definability of types result with a better approximation than that in the literature. We also prove forking symmetry for…
We develop a framework for regularly varying measures on complete separable metric spaces $\mathbb{S}$ with a closed cone $\mathbb{C}$ removed, extending material in Hult & Lindskog (2006), Das, Mitra & Resnick (2013). Our framework…
We study the stability of topological structures in generalized models with a single real scalar field. We show that it is driven by a Sturm-Liouville equation and investigate the conditions that lead to the existence of explicit…
We prove a strong non-structure theorem for a class of metric structures with an unstable pair of formulae. As a consequence, we show that weak categoricity (that is, categoricity up to isomorphisms and not isometries) implies several…
We consider the model selection consistency or sparsistency of a broad set of $\ell_1$-regularized $M$-estimators for linear and non-linear statistical models in a unified fashion. For this purpose, we propose the local structured…