Related papers: A short Proof of the Doob-Meyer Theorem

Let $d_i(m)$ denote the coefficients of the Boros-Moll polynomials. Moll's minimum conjecture states that the sequence $\{i(i+1)(d_i^2(m)-d_{i-1}(m)d_{i+1}(m))\}_{1\leq i \leq m}$ attains its minimum with $i=m$. This conjecture is a…

Let (S_0,S_1,...) be a supermartingale relative to a nondecreasing sequence of \sigma-algebras (H_{\le0},H_{\le1},...), with S_0\le0 almost surely (a.s.) and differences X_i:=S_i-S_{i-1}. Suppose that for every i=1,2,... there exist…

In the paper we study two characteristics D^+ (A), D^\times (A) of a set A which play important role in recent results concerning sum-product phenomenon. Also we obtain several variants and improvements of the Balog-Wooley decomposition…

In this paper, we employ a version of Stepanov's method, developed by Hanson and Petridis, to prove several results on additive irreducibility of multiplicative subgroups in finite fields of prime order $p$. Specifically, we show that if a…

We provide a systematic, thorough treatment of the foundations of probability theory and stochastic processes along the lines of E. Bishop's constructive analysis. Every existence result presented shall be a construction; and the input…

Let $\mathcal M$ be a class of matroids closed under minors and isomorphism. Let $N$ be a matroid in $\mathcal M$ with an exact $k$-separation $(A, B)$. We say $N$ is a $k$-decomposer for $\mathcal M$ having $(A, B)$ as an inducer, if every…

In this article we prove martingale type pointwise convergence theorems pertaining to tensor product splines defined on $d$-dimensional Euclidean space ($d$ is a positive integer), where conditional expectations are replaced by their…

Let $A$ be a pseudo-differential operator with symbol $q(x,\xi)$. In this paper we derive sufficient conditions which ensure the existence of a solution to the $(A,C_c^{\infty}(\mathbb{R}^d))$-martingale problem. If the symbol $q$ depends…

In this paper the authors provide a complete answer to Donkin's Tilting Module Conjecture for all rank $2$ semisimple algebraic groups and $\text{SL}_{4}(k)$ where $k$ is an algebraically closed field of characteristic $p>0$. In the…

We construct a class of discontinuous superprocesses with dependent spatial motion and general branching mechanism. The process arises as the weak limit of critical interacting-branching particle systems where the spatial motions of the…

We consider the structure $(\mathbb{Z},+,0,|_{p_{1}},\dots,|_{p_{n}})$, where $x|_{p}y$ means $v_{p}(x)\leq v_{p}(y)$ and $v_p$ is the $p$-adic valuation. We prove that its theory has quantifier elimination in the language…

By enforcing invariance under S-duality in type IIB string theory compactified on a Calabi-Yau threefold, we derive modular properties of the generating function of BPS degeneracies of D4-D2-D0 black holes in type IIA string theory…

Green, Tao and Ziegler prove ``Dense Model Theorems'' of the following form: if R is a (possibly very sparse) pseudorandom subset of set X, and D is a dense subset of R, then D may be modeled by a set M whose density inside X is…

The Donald-Flanigan conjecture asserts that any group algebra of a finite group has a separable deformation. We apply an inductive method to deform group algebras from deformations of normal subgroup algebras, establishing an infinite…

In this paper we show that every set $A \subset \mathbb{N}$ with positive density contains $B+C$ for some pair $B,C$ of infinite subsets of $\mathbb{N}$, settling a conjecture of Erd\H{o}s. The proof features two different decompositions of…

We present an $L$-like construction that produces the minimal model of $\mathsf{AD}_\mathbb{R}+$"$\Theta$ is regular". In fact, our construction can produce any model of $\mathsf{AD}^++\mathsf{AD}_\mathbb{R}+V=L(P(\mathbb{R}))$ in which…

A lattice $L$ is said lowly finite if the set $[\mathsf{0},a]$ is finite for every element $a$ of $L$. We mainly aim to provide a complete proof that, if $M$ is a subset of a complete lowly finite distributive lattice $L$ containing its…

We present a motivated exposition of the proof of the following Tverberg Theorem: For every integers $d,r$ any $(d+1)(r-1)+1$ points in $\mathbb R^d$ can be decomposed into $r$ groups such that all the $r$ convex hulls of the groups have a…

The prior distribution on parameters of a sampling distribution is the usual starting point for Bayesian uncertainty quantification. In this paper, we present a different perspective which focuses on missing observations as the source of…

This paper presents the first in a series of results that allow us to develop a theory providing finer control over the complexity of normalisation, and in particular of cut elimination. By considering atoms as self-dual non-commutative…