A criterion of quasi-infinite divisibility for discrete laws

A.A. Khartov

DOI: https://doi.org/10.1016/j.spl.2022.109436

2022-06-01

Abstract:We consider arbitrary discrete probability laws on the real line. We obtain a criterion of their belonging to a new class of quasi-infinitely divisible laws, which is a wide natural extension of the class of well known infinitely divisible laws through the Lévy type representations.

statistics & probability

What problem does this paper attempt to address?

Some criteria of rational-infinite divisibility for probability laws

A. A. Khartov

2024-09-13

Abstract:We study the class $\boldsymbol{Q}$ of distribution functions $F$ that have the property of rational-infinite divisibility: there exist some infinitely divisible distribution functions $F_1$ and $F_2$ such that $F_1=F*F_2$. The class $\boldsymbol{Q}$ is a wide natural extension of the fundamental class of infinitely divisible distribution functions. We are interested in general conditions to belong to the class $\boldsymbol{Q}$ in terms of characteristic functions. We obtain criteria that seem to be convenient for the application for some cases, and we illustrate it by several examples in the paper.

Probability
On quasi-infinitely divisible distributions

Alexander Lindner,Lei Pan,Ken-iti Sato

DOI: https://doi.org/10.48550/arXiv.1701.02400

2017-01-10

Abstract:A quasi-infinitely divisible distribution on $\mathbb{R}$ is a probability distribution whose characteristic function allows a Lévy-Khintchine type representation with a "signed Lévy measure", rather than a Lévy measure. Quasi-infinitely divisible distributions appear naturally in the factorization of infinitely divisible distributions. Namely, a distribution $\mu$ is quasi-infinitely divisible if and only if there are two infinitely divisible distributions $\mu_1$ and $\mu_2$ such that $\mu_1 \ast \mu = \mu_2$. The present paper studies certain properties of quasi-infinitely divisible distributions in terms of their characteristic triplet, such as properties of supports, finiteness of moments, continuity properties and weak convergence, with various examples constructed. In particular, it is shown that the set of quasi-infinitely divisible distributions is dense in the set of all probability distributions with respect to weak convergence. Further, it is proved that a distribution concentrated on the integers is quasi-infinitely divisible if and only if its characteristic function does not have zeroes, with the use of the Wiener-Lévy theorem on absolutely convergent Fourier series. A number of fine properties of such distributions are proved based on this fact. A similar characterisation is not true for non-lattice probability distributions on the line.

Probability
Spectral representations of characteristic functions of discrete probability laws

I. A. Alexeev,A. A. Khartov

DOI: https://doi.org/10.48550/arXiv.2101.06038

2021-03-03

Abstract:We consider discrete probability laws on the real line, whose characteristic functions are separated from zero. In particular, this class includes arbitrary discrete infinitely divisible laws and lattice probability laws, whose characteristic functions have no zeroes on the real line. We show that characteristic functions of such laws admit spectral Lévy--Khinchine type representations. We also apply the representations of such laws to obtain limit and compactness theorems with convergence in variation to probability laws from this class. Thus we generalize the corresponding results from the recent papers by Lindner, Pan, Sato, and by Khartov.

Probability
Quasi-geometric infinite divisibility

Nadjib Bouzar

DOI: https://doi.org/10.48550/arXiv.2112.04105

2021-12-08

Probability

Abstract:The object of this paper is to introduce and study the concept of quasi-geometric infinite divisibility for distributions on $\bf R_+$. These distributions arise as mixing distributions of (discrete) geometric infinitely divisible Poisson mixtures. Several characterizations and closure properties are presented. A connection between quasi-geometric infinite divisibility and log-convex (log-concave) distributions is established. A generalized notion of quasi-infinite divisibility is also discussed.
On new fractal phenomena connected with infinite linear IFS

Sergio Albeverio,Yuri Kondratiev,Roman Nikiforov,Grygoriy Torbin

DOI: https://doi.org/10.48550/arXiv.1507.05672

2015-07-21

Abstract:We establish several new fractal and number theoretical phenomena connected with expansions which are generated by infinite linear iterated function systems. First of all we show that the systems $\Phi$ of cylinders of generalized Lüroth expansions are, generally speaking, not faithful for the Hausdorff dimension calculation. Using Yuval Peres' approach, we prove sufficient conditions for the non-faithfulness of such families of cylinders. On the other hand, rather general sufficient conditions for the faithfulness of such covering systems are also found. As a corollary of our main results, we obtain the non-faithfullness of the family of cylinders generated by the classical Lüroth expansion. Possible infinite entropy of the stochastic vector $Q_\infty$ which determines the metric relations for partitions of the generalized Lüroth expansions, possible non-faithfulness of the family $\Phi(Q_\infty)$ and the absence of general formulae for the calculation of the Hausdorff dimension even for probability measures with independent identically distributed symbols of generalized Lüroth expansions are all facts that do not allow to apply usual probabilistic methods, as well as methods of dynamical systems to study fractal properties of corresponding subsets of non-normal numbers. Despite of the above mentioned difficulties, we develop new approach to the study of subsets of $Q_\infty$-essentially non-normal numbers and prove (without any additional restrictions on the stochastic vector $Q_{\infty}$) that this set is superfractal. This result answers the open problem mentioned in \cite{AKNT2} and completes the metric, dimensional and topological classification of real numbers via the asymptotic behaviour of frequencies their digits in the generalized Lüroth expansion.

Metric Geometry,Functional Analysis,Number Theory,Probability
Infinitely divisible states on finite quantum groups

Haonan Zhang

DOI: https://doi.org/10.48550/arXiv.1809.04417

2018-09-12

Abstract:In this paper we study the states of Poisson type and infinitely divisible states on compact quantum groups. Each state of Poisson type is infinitely divisible, i.e., it admits $n$-th root for all $n\geq1$. The main result is that on finite quantum groups infinitely divisible states must be of Poisson type. This generalizes Böge's theorem concerning infinitely divisible measures (commutative case) and Parthasarathy's result on infinitely divisible positive definite functions (cocommutative case). Two proofs are given.

Operator Algebras
Probabilistic Laws on Infinite Groups

Gideon Amir,Guy Blachar,Maria Gerasimova,Gady Kozma

2023-04-19

Abstract:We study the probability that certain laws are satisfied on infinite groups, focusing on elements sampled by random walks. For several group laws, including the metabelian one, we construct examples of infinite groups for which the law holds with high probability, but the group does not satisfy the law virtually. On the other hand, we show that if an infinite group satisfies the law $x^2=1$ with positive probability, then it is virtually abelian.

Group Theory,Probability
Approximate equivalence relations

Ehud Hrushovski

2024-07-29

Abstract:We study approximate equivalence relations up to commensurability, in the presence of a definable measure. As a basic framework, we give a presentation of probability logic based on continuous logic. Hoover's normal form is valid here; if one begins with a discrete logic structure, it reduces arbitrary formulas of probability logic to correlations between quantifier-free formulas. We completely classify binary correlations in terms of the Kim-Pillay space, leading to strong results on the interpretative power of pure probability logic over a binary language. Assuming higher amalgamation of independent types, we prove a higher stationarity statement for such correlations. We also give a short model-theoretic proof of a categoricity theorem for continuous logic structures with a measure of full support, generalizing theorems of Gromov-Vershik and Keisler, and often providing a canonical model for a complete pure probability logic theory. These results also apply to local probability logic, providing in particular a canonical model for a local pure probability logic theory with a unique 1-type and geodesic metric. For sequences of approximate equivalence relations with an 'approximately unique' probability logic 1-type, we obtain a structure theorem generalizing the `Lie model' theorem for approximate subgroups. The models here are Riemannian homogeneous spaces, fibered over a locally finite graph. Specializing to definable graphs over finite fields, we show that after a finite partition, a definable binary relation converges in finitely many self-compositions to an equivalence relation of geometric origin. For NIP theories, pursuing a question of Pillay's, we prove an archimedean finite-dimensionality statement for the automorphism groups of definable measures, acting on a given type of definable sets.

Logic
Borel-Cantelli, zero-one laws and inhomogeneous Duffin-Schaeffer

Victor Beresnevich,Manuel Hauke,Sanju Velani

2024-06-27

Abstract:The most versatile version of the classical divergence Borel-Cantelli lemma shows that for any divergent sequence of events $E_n$ in a probability space satisfying a quasi-independence condition, its corresponding limsup set $E_\infty$ has positive probability. In particular, it provides a lower bound on the probability of $E_\infty$. In this paper we establish a new version of this classical result which guarantees, under an additional mild assumption, that the probability of $E_\infty$ is not just positive but is one. Unlike existing optimal results, it is applicable within the setting of arbitrary probability spaces. We then go onto to consider a range of applications in number theory and dynamical systems. These include new results on the inhomogeneous Duffin-Schaeffer conjecture. In particular, we establish alternatives to the classical (homogeneous) zero-one laws of Cassels and Gallagher and use them to resolve the so-called weak Duffin-Schaeffer conjecture for an arbitrary rational inhomogeneous shift. As a bi-product, we establish the Duffin-Schaeffer conjecture with congruence relations. The applications to dynamical systems include new characterisations of Borel-Cantelli sequences and new dynamical Borel-Cantelli lemmas, as well as characterising Khintchine-type sequences for shrinking targets.

Number Theory,Dynamical Systems,Probability
Quantum de Finetti Theorems as Categorical Limits, and Limits of State Spaces of C*-algebras

Sam Staton,Ned Summers

DOI: https://doi.org/10.4204/EPTCS.394.19

2023-11-15

Abstract:De Finetti theorems tell us that if we expect the likelihood of outcomes to be independent of their order, then these sequences of outcomes could be equivalently generated by drawing an experiment at random from a distribution, and repeating it over and over. In particular, the quantum de Finetti theorem says that exchangeable sequences of quantum states are always represented by distributions over a single state produced over and over. The main result of this paper is that this quantum de Finetti construction has a universal property as a categorical limit. This allows us to pass canonically between categorical treatments of finite dimensional quantum theory and the infinite dimensional. The treatment here is through understanding properties of (co)limits with respect to the contravariant functor which takes a C*-algebra describing a physical system to its convex, compact space of states, and through discussion of the Radon probability monad. We also show that the same categorical analysis also justifies a continuous de Finetti theorem for classical probability.

Quantum Physics,Logic in Computer Science
Universal countable Borel quasi-orders

Jay Williams

DOI: https://doi.org/10.48550/arXiv.1306.1270

2013-06-06

Abstract:In recent years, much work in descriptive set theory has been focused on the Borel complexity of naturally occurring classification problems, in particular, the study of countable Borel equivalence relations and their structure under the quasi-order of Borel reducibility. Following the approach of Louveau and Rosendal for the study of analytic equivalence relations, we study countable Borel quasi-orders. In this paper we are concerned with universal countable Borel quasi-orders, i.e. countable Borel quasi-orders above all other countable Borel quasi-orders with regard to Borel reducibility. We first establish that there is a universal countable Borel quasi-order, and then establish that several countable Borel quasi-orders are universal. An important example is an embeddability relation on descriptive set theoretic trees. Our main result states that embeddability of finitely generated groups is a universal countable Borel quasi-order, answering a question of Louveau and Rosendal. This immediately implies that biembeddability of finitely generated groups is a universal countable Borel equivalence relation. The same techniques are also used to show that embeddability of countable groups is a universal analytic quasi-order. Finally, we show that, up to Borel bireducibility, there are continuum-many distinct countable Borel quasi-orders which symmetrize to a universal countable Borel equivalence relation.

Logic,Group Theory
Quasi-invariant measures concentrating on countable structures

Clinton Conley,Colin Jahel,Aristotelis Panagiotopoulos

2024-08-14

Abstract:Countable $\mathcal{L}$-structures $\mathcal{N}$ whose isomorphism class supports a permutation invariant probability measure in the logic action have been characterized by Ackerman-Freer-Patel to be precisely those $\mathcal{N}$ which have no algebraicity. Here we characterize those countable $\mathcal{L}$-structure $\mathcal{N}$ whose isomorphism class supports a quasi-invariant probability measure. These turn out to be precisely those $\mathcal{N}$ which are not "highly algebraic" -- we say that $\mathcal{N}$ is highly algebraic if outside of every finite $F$ there is some $b$ and a tuple $\bar{a}$ disjoint from $b$ so that $b$ has a finite orbit under the pointwise stabilizer of $\bar{a}$ in $\mathrm{Aut}(\mathcal{N})$. As a bi-product of our proof we show that whenever the isomorphism class of $\mathcal{N}$ admits a quasi-invariant measure, then it admits one with continuous Radon--Nikodym cocycles.

Logic,Dynamical Systems
Infinitely divisible cylindrical measures on Banach spaces

Markus Riedle

DOI: https://doi.org/10.48550/arXiv.1111.5538

2011-11-23

Probability

Abstract:In this work infinitely divisible cylindrical probability measures on arbitrary Banach spaces are introduced. The class of infinitely divisible cylindrical probability measures is described in terms of their characteristics, a characterisation which is not known in general for infinitely divisible Radon measures on Banach spaces. Further properties of infinitely divisible cylindrical measures such as continuity are derived. Moreover, the result on the classification enables us to conclude new results on genuine Levy measures on Banach spaces.
Almost measurable functions on probability spaces

Alexander Kharazishvili

DOI: https://doi.org/10.1515/gmj-2023-2120

2024-01-02

Georgian Mathematical Journal

Abstract:The notion of (real-valued) almost measurable functions on probability spaces is introduced and some of their properties are considered. It is shown that any almost measurable function may be treated as a quasi-random variable in the sense of [A. Kharazishvili, On some version of random variables, Trans. A. Razmadze Math. Inst. 177 2023, 1, 143–146].

mathematics
Higman's Lemma is Stronger for Better Quasi Orders

Anton Freund

DOI: https://doi.org/10.1007/s11083-024-09658-w

2024-01-24

Order

Abstract:We prove that Higman's lemma is strictly stronger for better quasi orders than for well quasi orders, within the framework of reverse mathematics. In fact, we show a stronger result: the infinite Ramsey theorem (for tuples of all lengths) is equivalent to the statement that any array for a well order X and is good, over the base theory .

mathematics
A calculus on Lévy exponents and selfdecomposability on Banach spaces

Zbigniew J. Jurek

DOI: https://doi.org/10.48550/arXiv.0811.3752

2008-11-23

Abstract:In infinite dimensional Banach spaces there is no complete characterization of the Lévy exponents of infinitely divisible probability measures. Here we propose \emph{a calculus on Lévy exponents} that is derived from some random integrals. As a consequence we prove that \emph{each} selfdecomposable measure can by factorized as another selfdecomposable measure and its background driving measure that is s-selfdecomposable. This complements a result from the paper of Iksanov-Jurek-Schreiber in the Annals of Probability \textbf{32}, 2004.}

Probability
The infinite extendibility problem for exchangeable real-valued random vectors

Jan-Frederik Mai

DOI: https://doi.org/10.1214/19-PS336

2020-09-29

Abstract:We survey known solutions to the infinite extendibility problem for (necessarily exchangeable) probability laws on $\mathbb{R}^d$, which is: Can a given random vector $\vec{X} = (X_1,\ldots,X_d)$ be represented in distribution as the first $d$ members of an infinite exchangeable sequence of random variables? This is the case if and only if $\vec{X}$ has a stochastic representation that is "conditionally iid" according to the seminal de Finetti's Theorem. Of particular interest are cases in which the original motivation behind the model $\vec{X}$ is not one of conditional independence. After an introduction and some general theory, the survey covers the traditional cases when $\vec{X}$ takes values in $\{0,1\}^d$ has a spherical law, a law with $\ell_1$-norm symmetric survival function, or a law with $\ell_{\infty}$-norm symmetric density. The solutions in all These cases constitute analytical characterizations of mixtures of iid sequences drawn from popular, one-parametric probability laws on $\mathbb{R}$, like the Bernoulli, the normal, the exponential, or the uniform distribution. The survey further covers the less traditional cases when $\vec{X}$ has a Marshall-Olkin distribution, a multivariate wide-sense geometric distribution, a multivariate extreme-value distribution, or is defined as a certain exogenous shock model including the special case when its components are samples from a Dirichlet prior. The solutions in these cases correspond to iid sequences drawn from random distribution functions defined in terms of popular families of non-decreasing stochastic processes, like a Lévy subordinator, a random walk, a process that is strongly infinitely divisible with respect to time, or an additive process. The survey finishes with a list of potentially interesting open problems.

Probability
Reliable Force Aggregation Using a Refined Evidence Specification from Dempster-Shafer Clustering

Johan Schubert

DOI: https://doi.org/10.48550/arXiv.cs/0305030

2003-05-17

Abstract:In this paper we develop methods for selection of templates and use these templates to recluster an already performed Dempster-Shafer clustering taking into account intelligence to template fit during the reclustering phase. By this process the risk of erroneous force aggregation based on some misplace pieces of evidence from the first clustering process is greatly reduced. Finally, a more reliable force aggregation is performed using the result of the second clustering. These steps are taken in order to maintain most of the excellent computational performance of Dempster-Shafer clustering, while at the same time improve on the clustering result by including some higher relations among intelligence reports described by the templates. The new improved algorithm has a computational complexity of O(n**3 log**2 n) compared to O(n**2 log**2 n) of standard Dempster-Shafer clustering using Potts spin mean field theory.

Artificial Intelligence,Neural and Evolutionary Computing
Quotient bifinite extensions and the finitistic dimension conjecture

John William MacQuarrie,Fernando dos Reis Naves

2023-06-05

Abstract:We prove that if $B\subseteq A$ is an extension of finite dimensional algebras such that the projective dimension of $A/B$ as a $B$-bimodule is finite, if $A$ has finite finitistic dimension, then so does $B$. We exhibit examples demonstrating that the algebra $B$ appearing in such an extension can be more complicated than $A$.

Representation Theory,Rings and Algebras
Weak Distributive Laws between Monads of Continuous Valuations and of Non-Deterministic Choice

Jean Goubault-Larrecq

2024-09-03

Abstract:We show that there is weak distributive law of the Smyth hyperspace monad $\mathcal Q_{\mathsf V}$ (resp., the Hoare hyperspace monad $\mathcal H_{\mathsf V}$, resp. the monad $\mathcal P\ell^{\mathrm q}_{\mathsf V}$ of quasi-lenses, resp. the monad $\mathcal P\ell_{\mathsf V}$ of lenses) over the continuous valuation monad $\mathbf V$, as well as over the subprobability valuation monad $\mathbf V_{\leq 1}$ and the probability valuation monad $\mathbf V_1$, on the whole category $\mathbf{Top}$ of topological spaces (resp., on certain full subcategories such as the category of locally compact spaces or of stably compact spaces). We show that the resulting weak composite monad is the author's monad of superlinear previsions (resp., sublinear previsions, resp. forks), possibly subnormalized or normalized depending on whether we consider $\mathbf V_{\leq 1}$ or $\mathbf V_1$ instead of $\mathbf V$. As a special case, we obtain a weak distributive law of the monad $\mathcal P\ell^{\mathrm q}_{\mathsf V} \cong \mathcal P\ell_{\mathsf V}$ over the monad of (sub)probability Radon measures $\mathbf R_\bullet$ on the category of stably compact spaces, which specializes further to a weak distributive laws of the Vietoris monad over $\mathbf R_\bullet$. The associated weak composite monad is the monad of (sub)normalized forks.

Category Theory,Logic in Computer Science,General Topology,Probability

A criterion of quasi-infinite divisibility for discrete laws

Some criteria of rational-infinite divisibility for probability laws

On quasi-infinitely divisible distributions

Spectral representations of characteristic functions of discrete probability laws

Quasi-geometric infinite divisibility

On new fractal phenomena connected with infinite linear IFS

Infinitely divisible states on finite quantum groups

Probabilistic Laws on Infinite Groups

Approximate equivalence relations

Borel-Cantelli, zero-one laws and inhomogeneous Duffin-Schaeffer

Quantum de Finetti Theorems as Categorical Limits, and Limits of State Spaces of C*-algebras

Universal countable Borel quasi-orders

Quasi-invariant measures concentrating on countable structures

Infinitely divisible cylindrical measures on Banach spaces

Almost measurable functions on probability spaces

Higman's Lemma is Stronger for Better Quasi Orders

A calculus on Lévy exponents and selfdecomposability on Banach spaces

The infinite extendibility problem for exchangeable real-valued random vectors

Reliable Force Aggregation Using a Refined Evidence Specification from Dempster-Shafer Clustering

Quotient bifinite extensions and the finitistic dimension conjecture

Weak Distributive Laws between Monads of Continuous Valuations and of Non-Deterministic Choice