Related papers: On the bracketing entropy condition and generalize…
We prove the explicit formula for sofic and Rokhlin entropy of actions arising from some class of Gibbs measures. It provides a new set of examples with sofic entropy independent of sofic approximations. It is particularilly interresting,…
Motivated by second order asymptotic results, we characterize the convergence in law of double integrals, with respect to Poisson random measures, toward a standard Gaussian distribution. Our conditions are expressed in terms of…
We study stable like behaviour in first order theories without the independence property. We introduce generically stable measures, give characterizatiions, and show their ubiquity. We also introduce generic compact domination. We also…
We establish a new Bernstein-type deviation inequality for general (non-reversible) discrete-time Markov chains via an elementary approach. More robust than existing works in the literature, our result only requires the Markov chain to…
We introduce a generalization of relative entropy derived from the Wigner-Yanase-Dyson entropy and give a simple, self-contained proof that it is convex. Moreover, special cases yield the joint convexity of relative entropy, and for the map…
This paper integrates two strands of the literature on stability of general state Markov chains: conventional, total variation based results and more recent order-theoretic results. First we introduce a complete metric over Borel…
We present the formalization of Doob's martingale convergence theorems in the mathlib library for the Lean theorem prover. These theorems give conditions under which (sub)martingales converge, almost everywhere or in $L^1$. In order to…
We give a new categorical approach to the Halmos-von Neumann theorem for actions of general topological groups. As a first step, we establish that the categories of topological and measure-preserving irreducible systems with discrete…
We formulate and prove a very general relative version of the Dobrushin-Lanford-Ruelle theorem which gives conditions on constraints of configuration spaces over a finite alphabet such that for every absolutely summable relative…
We consider the discrete Hammersley-Aldous-Diaconis process (HAD) and the totally asymmetric simple exclusion process (TASEP) in Z. The basic coupling induces a multiclass process which is useful in discussing shock measures and other…
We study the problem of non-asymptotic deviations between a reference measure and its empirical version, in the 1-Wasserstein metric, under the standing assumption that the measure satisfies a transport-entropy inequality. We extend some…
We describe five types of results concerning information and concentration of discrete random variables, and relationships between them, motivated by their counterparts in the continuous case. The results we consider are information…
We establish a general concentration result for the 1-Wasserstein distance between the empirical measure of a sequence of random variables and its expectation. Unlike standard results that rely on independence (e.g., Sanov's theorem) or…
An information theory description of finite systems explicitly evolving in time is presented for classical as well as quantum mechanics. We impose a variational principle on the Shannon entropy at a given time while the constraints are set…
We prove new probabilistic upper bounds on generalization error of complex classifiers that are combinations of simple classifiers. Such combinations could be implemented by neural networks or by voting methods of combining the classifiers,…
We prove that a general class of measures, which includes $\log$-concave measures, is $\frac{1}{n}$-concave according to the terminology of Borell, with additional assumptions on the measures or on the sets, such as symmetries. This…
In this article we present the Durrmeyer variant of generalized Bernstein operators that preserve the constant functions involving non-negative parameter ?. We derive the approximation behaviour of these operators including global…
We prove Rellich-Kondrachov type theorems on the half-space $\mathbb{H}^{N+1}=\{(y, x) \in \left.\mathbb{R} \times \mathbb{R}^N: y>0\right\}$ endowed with the general weighted measure $\mu_w:=y^c \phi(|z|) d z$, where $c \in \mathbb{R}$ and…
The strong law of large numbers for linear combinations of functions of order statistics ($L$-statistics) based on weakly dependent random variables is proven. We also establish the Glivenko--Cantelli theorem for $\phi$-mixing sequences of…
The requirement that an entropy function be composable is key: it means that the entropy of a compound system can be calculated in terms of the entropy of its independent components. We prove that, under mild regularity assumptions, the…