A General Version of Price’s Theorem

Journal of Theoretical Probability - Assume that $$X_{Sigma } in mathbb {R}^{n}$$ is a centered random vector following a multivariate normal distribution with positive definite covariance...     

A Bicategorical Version of Masuoka’s Theorem

We give a bicategorical version of the main result of Masuoka (Tsukuba J Math 13:353–362, 1989) which proposes a non-commutative version of the fact that for a faithfully flat extension of commutative rings R í SR \subseteq S, the relative Picard group Pic(S/R) is isomorphic to the Amitsur 1–cohomology group H ¹(S/R,U) with coefficients in the units functor U.     

A Weighted Erdős-Ginzburg-Ziv Theorem

An n-set partition of a sequence S is a collection of n nonempty subsequences of S, pairwise disjoint as sequences, such that every term of S belongs to exactly one of the subsequences, and the terms in each subsequence are all distinct so that they can be considered as sets. If S is a sequence of m+n−1 elements from a finite abelian group G of order m and exponent k, and if is a sequence of integers whose sum is zero modulo k, then there exists a rearranged subsequence of S such that . This extends the Erdős–Ginzburg–Ziv Theorem, which is the case when m = n and w_i = 1 for all i, and confirms a conjecture of Y. Caro. Furthermore, we in part verify a related conjecture of Y. Hamidoune, by showing that if S has an n-set partition A=A₁, . . .,A_n such that |w_iA_i| = |A_i| for all i, then there exists a nontrivial subgroup H of G and an n-set partition A′ =A′₁, . . .,A′_n of S such that and for all i, where w_iA_i={w_ia_i |a_i∈A_i}.     

A Non-Autonomous Version of the Denjoy–Wolff Theorem

The aim of this work is to establish the celebrated Denjoy–Wolff Theorem in the context of generalized Loewner chains. In contrast with the classical situation where essentially convergence to a certain point in the closed unit disk is the unique possibility, several new dynamical phenomena appear in this framework. Indeed, ω-limits formed by suitable closed arcs of circumferences appear now as natural possibilities of asymptotic dynamical behavior.     

A Generalized Version of the Baker–Pixley Theorem

A famous theorem by Baker and Pixley states that the term functions of a finite algebra with a (d + 1)-ary near-unanimity term are precisely the functions under which all subalgebras of the algebra's dth power are closed. In this paper, we generalize the theorem to a completely abstract level. Indeed, we obtain a version of the theorem that is stated in purely category-theoretic terms, making it applicable in any concrete or abstract category. To motivate this rather abstract result, we also discuss some of its concrete applications.     

A Finitary Version of Gromov’s Polynomial Growth Theorem

We show that for some absolute (explicit) constant C, the following holds for every finitely generated group G, and all d > 0: If there is some R ₀ > exp(exp(Cd ^C )) for which the number of elements in a ball of radius R ₀ in a Cayley graph of G is bounded by R₀^d{R_0^d} , then G has a finite-index subgroup which is nilpotent (of step < C ^d ). An effective bound on the finite index is provided if “nilpotent” is replaced by “polycyclic”, thus yielding a non-trivial result for finite groups as well.     

Tauberian Theorem of Erdős Revisited

Dedicated to the memory of Paul Erdős In connection with the elementary proof of the prime number theorem, Erdős obtained a striking quadratic Tauberian theorem for sequences. Somewhat later, Siegel indicated in a letter how a powerful "fundamental relation" could be used to simplify the difficult combinatorial proof. Here the author presents his version of the (unpublished) Erdős–Siegel proof. Related Tauberian results by the author are described. Received December 20, 1999     

An Involutorial Version of a Theorem of Gräter

Let D be a division ring with centre Z and with involution (*). Let V be a valuation of D with value group Γ, a linearly ordered additive group (non necessarily commutative) together with a symbol ∞ (positive infinity). We assume that for each nonzero symmetric element s = s* of D, which is algebraic over Z, we have for all nonzero elements x of D, V(xa ? ax) > V(ax). We define the residue characteristic exponent p of V to be the characteristic χ of the associated residue division ring written as D _V , if χ ≠ 0, and p = 1, if χ = 0. We show here that if F is a finite dimensional commutative subalgebra of D over Z, which is *-closed (i.e., F* = F), and if (*) is of the first kind (i.e., each central element of D must be symmetric), then [F: Z] = 2 ^r p ^m where m is a nonnegative integer and r = 0 or 1 according as the restricted involution in F is trivial or not. The case of an involution (*) of the second kind (i.e., some central element of D is not symmetric) requires (for this author) a stronger type of valuation, namely, V is a *-valuation, that is to say, for all elements x of D, we have V(x*) = V(x), a condition which readily implies Γ must be Abelian. Here, we can show that for F as in the preceding, [F: Z] = p ^m , where m is again a nonnegative integer. The preceding results generalize a theorem of Gräter and improve in parts recent theorems of this author in [2 Chacron , M. ( 2014 ). Residually *-abelian valuation with residue characteristic not 2 . Communication in Algebra 42 : 2956 – 2968 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]]. In the special case p = 2 the results provide a modicum of answers to the questions opened informally in [2 Chacron , M. ( 2014 ). Residually *-abelian valuation with residue characteristic not 2 . Communication in Algebra 42 : 2956 – 2968 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]] (see concluding paragraph in [2 Chacron , M. ( 2014 ). Residually *-abelian valuation with residue characteristic not 2 . Communication in Algebra 42 : 2956 – 2968 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]] or here Question 3.2.1). More is to be said in the third and final section of this work.     

A Partitioned Version of the Erdös–Szekeres Theorem for Quadrilaterals

We prove a partitioned version of the Erdös–Szekeres theorem for the case $k = 4$: any finite set $X \subset \bbbr^2$ of points in general position can be partitioned into sets $X_0, X_{ij}$ where $i=1,2,3,4$ and $j=1,\ldots,26$, so that $|X_{1j}|=|X_{2j}|=|X_{3j}|=|X_{4j}|$, $|X_0|\leq 4$ and for all $j$ every transversal $\{x_1,x_2,x_3,x_4\}$, $x_1 \in X_{1j}, x_2 \in X_{2j},x_3 \in X_{3j}, x_4 \in X_{4j}$, is in convex position. In order to prove this, we show another theorem, the partitioned version of the same type lemma, which was proved by Bárány and Valtr.     

An Algebraic Version of the Cantor-Bernstein-Schröder Theorem

The Cantor-Bernstein-Schröder theorem of the set theory was generalized by Sikorski and Tarski to -complete boolean algebras, and recently by several authors to other algebraic structures. In this paper we expose an abstract version which is applicable to algebras with an underlying lattice structure and such that the central elements of this lattice determine a direct decomposition of the algebra. Necessary and sufficient conditions for the validity of the Cantor-Bernstein-Schröder theorem for these algebras are given. These results are applied to obtain versions of the Cantor-Bernstein-Schröder theorem for -complete orthomodular lattices, Stone algebras, BL-algebras, MV-algebras, pseudo MV-algebras, ukasiewicz and Post algebras of order n.     

An All-Unbounded-Operator Version of the Fuglede–Putnam Theorem

We present in this paper a new version of the famous Fuglede?CPutnam theorem where all the operators involved are unbounded.     

A Quantitative Version of the Bishop–Phelps Theorem for Operators in Hilbert Spaces

In this paper, with the help of spectral integral, we show a quantitative version of the Bishop-Phelps theorem for operators in complex Hilbert spaces. Precisely, let H be a complex Hilbert space and 0 ε 1/2. Then for every bounded linear operator T : H → H and x0 ∈ H with ||T|| = 1 = ||x0|| such that ||Tx0|| 1 ε, there exist xε∈ H and a bounded linear operator S : H → H with||S|| = 1 = ||xε|| such that ||Sxε|| = 1, ||xε-x0|| ≤ (2ε)1/2 + 4(2ε)1/2, ||S-T|| ≤(2ε)1/2.     

A Version of the Weak Krull–Schmidt Theorem for Infinite Direct Sums of Uniserial Modules

We show a version of the weak Krull–Schmidt theorem concerning infinite families of uniserial modules.     

A General Darling–Erdős Theorem in Euclidean Space

We provide an improved version of the Darling–Erd?s theorem for sums of i.i.d. random variables with mean zero and finite variance. We extend this result to multidimensional random vectors. Our proof is based on a new strong invariance principle in this setting which has other applications as well such as an integral test refinement of the multidimensional Hartman–Wintner LIL. We also identify a borderline situation where one has weak convergence to a shifted version of the standard limiting distribution in the classical Darling–Erd?s theorem.     

The Jentzsch-Szegő Theorem and Balayage Measures

The numerous generalizations of the Jentzsch-Szeg? theorem on the location of zeros of Taylor polynomials have been based so far on the extremal properties satisfied by the corresponding approximants. We do away with those kinds of assumptions and prove the theorem for a general class of interpolating polynomials. This is possible thanks to the discovery presented here that the limit distribution of the zeros of the interpolants is governed by a balayage measure depending on the distribution of the interpolation points and the region of analyticity of the function being approximated.     

A Different Version of Flett＇s Mean Value Theorem and an Associated Functional Equation

In this paper we present a mean value theorem derived from Flett‘s mean value theorem. It turns out that cubic polynomials have the midpoint of the interval as their mean value point. To answer what class of functions have this property, we consider a functional equation associated with this mean value theorem. This equation is then solved in a general setting on abelian groups.