Showing 1–6 of 6 results for author: Cichomski, S

On the existence of extreme coherent distributions with no atoms

Authors: Stanisław Cichomski, Adam Osękowski

Abstract: The paper is devoted to the study of extremal points of $\mathcal{C}$, the family of all two-variate coherent distributions on $[0,1]^2$. It is well-known that the set $\mathcal{C}$ is convex and weak$^*$ compact, and all extreme points of $\mathcal{C}$ must be supported on sets of Lebesgue measure zero. Conversely, examples of extreme coherent measures, with a finite or countable infinite number… ▽ More The paper is devoted to the study of extremal points of $\mathcal{C}$, the family of all two-variate coherent distributions on $[0,1]^2$. It is well-known that the set $\mathcal{C}$ is convex and weak$^*$ compact, and all extreme points of $\mathcal{C}$ must be supported on sets of Lebesgue measure zero. Conversely, examples of extreme coherent measures, with a finite or countable infinite number of atoms, have been successfully constructed in the literature. The main purpose of this article is to bridge the natural gap between those two results: we provide an example of extreme coherent distribution with an uncountable support and with no atoms. Our argument is based on classical tools and ideas from the dynamical systems theory. This unexpected connection can be regarded as an independent contribution of the paper. △ Less

Submitted 14 November, 2023; originally announced November 2023.

Coherent distributions on the square $\unicode{x2013}$ extreme points and asymptotics

Authors: Stanisław Cichomski, Adam Osękowski

Abstract: Let $\mathcal{C}$ denote the family of all coherent distributions on the unit square $[0,1]^2$, i.e. all those probability measures $μ$ for which there exists a random vector $(X,Y)\sim μ$, a pair $(\mathcal{G},\mathcal{H})$ of $σ$-fields and an event $E$ such that $X=\mathbb{P}(E|\mathcal{G})$, $Y=\mathbb{P}(E|\mathcal{H})$ almost surely. In this paper we examine the set… ▽ More Let $\mathcal{C}$ denote the family of all coherent distributions on the unit square $[0,1]^2$, i.e. all those probability measures $μ$ for which there exists a random vector $(X,Y)\sim μ$, a pair $(\mathcal{G},\mathcal{H})$ of $σ$-fields and an event $E$ such that $X=\mathbb{P}(E|\mathcal{G})$, $Y=\mathbb{P}(E|\mathcal{H})$ almost surely. In this paper we examine the set $\mathrm{ext}(\mathcal{C})$ of extreme points of $\mathcal{C}$ and provide its general characterisation. Moreover, we establish several structural properties of finitely-supported elements of $\mathrm{ext}(\mathcal{C})$. We apply these results to obtain the asymptotic sharp bound $$\lim_{α\to \infty} α\cdot \Big(\sup_{(X,Y)\in \mathcal{C}}\mathbb{E}|X-Y|^α\Big) = \frac{2}{e}.$$ △ Less

Submitted 16 May, 2023; originally announced May 2023.

Contradictory predictions with multiple agents

Authors: Stanisław Cichomski, Adam Osękowski

Abstract: Let $X_1$, $X_2$, $\ldots$, $X_n$ be a sequence of coherent random variables, i.e., satisfying the equalities $$ X_j=\mathbb{P}(A|\mathcal{G}_j),\qquad j=1,\,2,\,\ldots,\,n,$$ almost surely for some event $A$. The paper contains the proof of the estimate $$\mathbb{P}\Big(\max_{1\le i < j\le n}|X_i-X_j|\ge δ\Big) \leq \frac{n(1-δ)}{2-δ} \wedge 1,$$ where $δ\in (\frac{1}{2},1]$ is a given parameter.… ▽ More Let $X_1$, $X_2$, $\ldots$, $X_n$ be a sequence of coherent random variables, i.e., satisfying the equalities $$ X_j=\mathbb{P}(A|\mathcal{G}_j),\qquad j=1,\,2,\,\ldots,\,n,$$ almost surely for some event $A$. The paper contains the proof of the estimate $$\mathbb{P}\Big(\max_{1\le i < j\le n}|X_i-X_j|\ge δ\Big) \leq \frac{n(1-δ)}{2-δ} \wedge 1,$$ where $δ\in (\frac{1}{2},1]$ is a given parameter. The inequality is sharp: for any $δ$, the constant on the right cannot be replaced by any smaller number. The argument rests on several novel combinatorial and symmetrization arguments, combined with dynamic programming. Our result generalizes the two-variate inequality of K. Burdzy and S. Pal and in particular provides its alternative derivation. △ Less

Submitted 4 November, 2022; originally announced November 2022.

Doob's estimate for coherent random variables and maximal operators on trees

Authors: Stanisław Cichomski, Adam Osękowski

Abstract: Let $ξ$ be an integrable random variable defined on $(Ω, \mathcal{F}, \mathbb{P})$. Fix $k\in \mathbb{Z}_+$ and let $\{\mathcal{G}_{i}^{j}\}_{1\le i \le n, 1\le j \le k}$ be a reference family of sub-$σ$-fields of $\mathcal{F}$, such that $\{\mathcal{G}_{i}^{j}\}_{1\le i \le n}$ is a filtration for each $j\in \{1,2,\dots,k\}$. In this article we explain the underlying connection between the anal… ▽ More Let $ξ$ be an integrable random variable defined on $(Ω, \mathcal{F}, \mathbb{P})$. Fix $k\in \mathbb{Z}_+$ and let $\{\mathcal{G}_{i}^{j}\}_{1\le i \le n, 1\le j \le k}$ be a reference family of sub-$σ$-fields of $\mathcal{F}$, such that $\{\mathcal{G}_{i}^{j}\}_{1\le i \le n}$ is a filtration for each $j\in \{1,2,\dots,k\}$. In this article we explain the underlying connection between the analysis of the maximal functions of the corresponding coherent vector and basic combinatorial properties of the uncentered Hardy-Littlewood maximal operator. Following a classical approach of Grafakos, Kinnunen and Montgomery-Smith, we establish an appropriate version of the celebrated Doob's maximal estimate. △ Less

Submitted 4 November, 2022; originally announced November 2022.

A combinatorial proof of the Burdzy-Pitman conjecture

Authors: Stanisław Cichomski, Fedor Petrov

Abstract: We prove a sharp upper bound for the number of high degree differences in bipartite graphs: let $ (U, V, E)$ be a bipartite graph with $U=\{u_1, u_2, \dots, u_n\}$ and $V=\{v_1, v_2, \dots, v_n\}$; for $n\ge k>\frac{n}{2}$ we show that $\sum_{1\le i,j \le n} 1 {\Big\{|\text{deg}(u_i)-\text{deg}(v_j)|\ge k}\Big\} \le 2k(n-k).$ As a direct application we show a slightly stronger, probabilistic versi… ▽ More We prove a sharp upper bound for the number of high degree differences in bipartite graphs: let $ (U, V, E)$ be a bipartite graph with $U=\{u_1, u_2, \dots, u_n\}$ and $V=\{v_1, v_2, \dots, v_n\}$; for $n\ge k>\frac{n}{2}$ we show that $\sum_{1\le i,j \le n} 1 {\Big\{|\text{deg}(u_i)-\text{deg}(v_j)|\ge k}\Big\} \le 2k(n-k).$ As a direct application we show a slightly stronger, probabilistic version of this theorem and thus confirm the Burdzy-Pitman conjecture about the maximal spread of coherent and independent distributions. △ Less

Submitted 14 April, 2022; originally announced April 2022.

Maximal Spread of Coherent Distributions: a Geometric and Combinatorial Perspective

Authors: Stanisław Cichomski

Abstract: We discuss some open problems concerning the maximal spread of coherent distributions. We prove a sharp bound on $\mathbb{E}|X-Y|^α$ for $(X,Y)$ coherent and $α\le 2$, and establish a novel connection between coherent distributions and such combinatorial objects as bipartite graphs, conjugate partitions and Ferrer diagrams. Our results may turn out to be helpful not only for probabilists, but also… ▽ More We discuss some open problems concerning the maximal spread of coherent distributions. We prove a sharp bound on $\mathbb{E}|X-Y|^α$ for $(X,Y)$ coherent and $α\le 2$, and establish a novel connection between coherent distributions and such combinatorial objects as bipartite graphs, conjugate partitions and Ferrer diagrams. Our results may turn out to be helpful not only for probabilists, but also for graph theorists, especially for those interested in mathematical chemistry and the study of topological indices. △ Less

Submitted 15 July, 2020; originally announced July 2020.