Related papers: Determinate multidimensional measures, the extende…
We derive sufficient conditions for an atomic measure $\sum_{\lambda \in \Lambda} m_\lambda\, \delta_\lambda,$ where $\Lambda \subset \mathbb R^n,$ $m_\lambda$ are positive integers, and $\delta_\lambda$ is the point measure at $\lambda,$…
Let $R$ be a commutative Noetherian local ring. We prove a variety of new formulae for modules of finite quasi-projective or finite quasi-injective dimension. These include the Derived Depth Formula, itself an extension of Auslander famous…
We prove a Tb theorem on quasimetric spaces equipped with what we call an upper doubling measure. This is a property that encompasses both the doubling measures and those satisfying the upper power bound \mu(B(x,r)) \le Cr^d. Our spaces are…
We describe certain sufficient conditions for an infinitely divisible probability measure on a class of connected Lie groups to be embeddable in a continuous one-parameter convolution semigroup of probability measures. (Theorem 1.3). This…
We prove an almost continuous version of Dye's theorem: any two non-atomic probability measure preserving homeomorphisms of Polish spaces are almost continuously orbit equivalent. More precisely they are orbit equivalent by a map which is…
We provide a short proof of the theorem that every real multivariate polynomial has a symmetric determinantal representation, which was first proved in J. W. Helton, S. A. McCullough, and V. Vinnikov, Noncommutative convexity arises from…
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…
We propose a globally convergent numerical method to compute solutions to a general class of quasi-linear PDEs with both Neumann and Dirichlet boundary conditions. Combining the quasi-reversibility method and a suitable Carleman weight…
It is shown that the polynomial \[p(t) = \text{Tr}[(A+tB)^m]\] has positive coefficients when $m = 6$ and $A$ and $B$ are any two 3-by-3 complex Hermitian positive definite matrices. This case is the first that is not covered by prior,…
For any root system of rank $r$, we study the "dominant weight polytope" $P^\lambda$ associated with a strongly dominant weight $\lambda$. We prove that $P^\lambda$ is combinatorially equivalent to the $r$-dimensional cube. As an…
We characterize $n$-rectifiable metric measure spaces as those spaces that admit a countable Borel decomposition so that each piece has positive and finite $n$-densities and one of the following: is an $n$-dimensional Lipschitz…
In this paper, we study regular sets in metric measure spaces with bounded Ricci curvature. We prove that the existence of a point in the regular set of the highest dimension implies the positivity of the measure of such regular set. Also…
We introduce a new notion of a harmonic measure for a $d$-dimensional set in $\R^n$ with $d<n-1$, that is, when the codimension is strictly bigger than 1. Our measure is associated to a degenerate elliptic PDE, it gives rise to a…
By representing the range of fair betting odds according to a pair of confidence set estimators, dual probability measures on parameter space called frequentist posteriors secure the coherence of subjective inference without any prior…
Consider a sequence of linear contractions $S_{j}(x)=\varrho x+d_{j}$ and probabilities $p_{j}>0$ with $\sum p_{j}=1$. We are interested in the self-similar measure $\mu =\sum p_{j}\mu \circ S_{j}^{-1}$, of finite type. In this paper we…
We extend the methods and results of [arXiv 1603.04896] to the setting of multinomial distributions satisfying certain properties. These include all the multinomial distributions arising from the direct proof of the Central Limit Theorem…
Let $M$ be a compact $n$-dimensional Riemanian manifold, End($M$) the set of the endomorphisms of $M$ with the usual $\mathcal{C}^0$ topology and $\phi: M\to\mathbb{R}$ continuous. We prove that there exists a dense subset of $\mathcal{A}$…
Let $k$ be an arbitrary field, $P = P_k^{m_1} \times_k \cdots \times_k P_k^{m_p}$ be a multiprojective space over $k$, and $X \subseteq P$ be a closed subscheme of $P$. We provide necessary and sufficient conditions for the positivity of…
We present a measure-theoretic condition for a property to hold ``almost everywhere'' on an infinite-dimensional vector space, with particular emphasis on function spaces such as $C^k$ and $L^p$. Like the concept of ``Lebesgue almost…
A homemorphism between domains in $\mathbb R^n$, $n\ge 2$ is quasiconformal, with its intricate analytic and geometric consequences, if the (pointwise) linear dilatation -- a purely metric quantity -- is uniformly bounded. Gehring proved…