An ODE’s Version of the Formula of Baker, Campbell, Dynkin and Hausdorff and the Construction of Lie Groups with Prescribed Lie Algebra

If ${\mathcal{L} = {\sum_{j=1}^m} {X_j^2} + X_0}If L = ?_j=1^m X_j² + X₀{\mathcal{L} = {\sum_{j=1}^m} {X_j^2} + X_0} is a H?rmander partial differential operator in \mathbbR^N{\mathbb{R}^N}, we give sufficient conditions on the vector fields X _j ’s for the existence of a Lie group structure \mathbbG = (\mathbbR^N, *){\mathbb{G} = (\mathbb{R}^N, *)} (and we exhibit its construction), not necessarily nilpotent nor homogeneous, such that L{\mathcal{L}} is left invariant on \mathbbG{\mathbb{G}}. The main tool is a formula of Baker-Campbell-Dynkin-Hausdorff type for the ODE’s naturally related to the system of vector fields {X ₀, . . . , X _m }. We provide a direct proof of this formula in the ODE’s context (which seems to be missing in literature), without invoking any result of Lie group theory, nor the abstract algebraic machinery usually involved in formulas of Baker-Campbell-Dynkin-Hausdorff type. Examples of operators to which our results apply are also furnished.     

The Birman-Murakami-Wenzl algebras of type E n

The Birman-Murakami-Wenzl algebras (BMW algebras) of type E _n for n = 6; 7; 8 are shown to be semisimple and free over the integral domain \mathbbZ[ d^±1,l^±1,m ]

Spectral Conditions for Strong Local Nondeterminism and Exact Hausdorff Measure of Ranges of Gaussian Random Fields

Let X={X(t),t∈ℝ ^N } be a Gaussian random field with values in ℝ ^d defined by

A Gaussian Inequality for Expected Absolute Products

We prove the inequality that \mathbbE|X₁X₂?X_n| ￡ ?{per(\varSigma )}{\mathbb{E}}|X_{1}X_{2}\cdots X_{n}|\leq \sqrt{\mathrm{per}(\varSigma )}, for any centered Gaussian random variables X ₁,…,X _n with the covariance matrix Σ, followed by several applications and examples. We also discuss a conjecture on the lower bound of the expectation.     

Spectral decomposition and Gelfand’s theorem

We consider the spectral decomposition of A, the generator of a polynomially bounded n-times integrated group whose spectrum set $\sigma(A)=\{i\lambda_{k};k\in\mathbb{\mathbb{Z}}^{*}\}We consider the spectral decomposition of A, the generator of a polynomially bounded n-times integrated group whose spectrum set s(A)={il_k;k ? \mathbb\mathbbZ^*}\sigma(A)=\{i\lambda_{k};k\in\mathbb{\mathbb{Z}}^{*}\} is discrete and satisfies ?\frac1|l_k|^ld_kⁿ < ￥\sum \frac{1}{|\lambda_{k}|^{\ell}\delta_{k}^{n}}<\infty , where ℓ is a nonnegative integer and d_k=min(\frac|l_k+1-l_k|2,\frac|l_k-1-l_k|2)\delta _{k}=\min(\frac{|\lambda_{k+1}-\lambda _{k}|}{2},\frac{|\lambda _{k-1}-\lambda _{k}|}{2}) . In this case, Theorem 3, we show by using Gelfand’s Theorem that there exists a family of projectors (P_k)_{k ? \mathbb\mathbbZ^*}(P_{k})_{k\in\mathbb{\mathbb{Z}}^{*}} such that, for any x∈D(A ^n+ℓ ), the decomposition ∑P _k x=x holds.     

Uniformly cross intersecting families

Let A and B denote two families of subsets of an n-element set. The pair (A,B) is said to be ℓ-cross-intersecting iff |A∩B|=ℓ for all A∈ A and B∈B. Denote by P _e (n) the maximum value of |A||B| over all such pairs. The best known upper bound on P _e (n) is Θ(2 ⁿ ), by Frankl and R?dl. For a lower bound, Ahlswede, Cai and Zhang showed, for all n ≥ 2ℓ, a simple construction of an ℓ-cross-intersecting pair (A,B) with |A||B| = $ \left( {{*{20}c} {2\ell } \\ \ell \\ } \right) $ \left( {\begin{array}{*{20}c} {2\ell } \\ \ell \\ \end{array} } \right) 2 ^n−2ℓ = Θ(2 ⁿ /$ \sqrt \ell $ \sqrt \ell ), and conjectured that this is best possible. Consequently, Sgall asked whether or not P _e (n) decreases with ℓ.     

Ellis Group and the Topological Center of the Flow Generated by the Map {n \mapsto {\lambda^{n}}^{k}}

For each natural number k and each irrational member λ of the unit circle, it is proved that the shift-orbit closure X _f of the function f(n) = l^nk{f(n) = {\lambda^{n}}^{k}} is homeomorphic to a k-torus. Using this homeomorphism, we investigate the Ellis group and its topological center of the dynamical system (X _f , U), where U is the shift operator on l^￥(\mathbbZ){l^{\infty}(\mathbb{Z})}. Finally, it is shown that the topological center of the spectrum of the Weyl algebra is the image of \mathbbZ{\mathbb{Z}} in the spectrum.     

Complex cycles on algebraic models of smooth manifolds

Every compact smooth manifold M is diffeomorphic to the set X(\mathbbR){X(\mathbb{R})} of real points of a nonsingular projective real algebraic variety X, which is called an algebraic model of M. Each algebraic cycle of codimension k on the complex variety X_\mathbbC=X×_\mathbbR\mathbbC{X_{\mathbb{C}}=X\times_{\mathbb{R}}\mathbb{C}} determines a cohomology class in H^2k(X(\mathbbR);\mathbbD){H^{2k}(X(\mathbb{R});\mathbb{D})} , where \mathbbD{\mathbb{D}} denotes \mathbbZ{\mathbb{Z}} or \mathbbQ{\mathbb{Q}} . We investigate the behavior of such cohomology classes as X runs through the class of algebraic models of M.     

A Quadrature Formula for Diffusion Polynomials Corresponding to a Generalized Heat Kernel

Let {φ _k } be an orthonormal system on a quasi-metric measure space  ${\mathbb{X}}Let {φ _k } be an orthonormal system on a quasi-metric measure space  \mathbbX{\mathbb{X}}, {ℓ _k } be a nondecreasing sequence of numbers with lim  _k→∞ ℓ _k =∞. A diffusion polynomial of degree L is an element of the span of {φ _k :ℓ _k ≤L}. The heat kernel is defined formally by K_t(x,y)=?_k=0^￥exp(-l_k²t)f_k(x)[`(f_k(y))]K_{t}(x,y)=\sum_{k=0}^{\infty}\exp(-\ell _{k}^{2}t)\phi_{k}(x)\overline{\phi_{k}(y)}. If T is a (differential) operator, and both K _t and T _y K _t have Gaussian upper bounds, we prove the Bernstein inequality: for every p, 1≤p≤∞ and diffusion polynomial P of degree L, ‖TP‖ _p ≤c ₁ L ^c ‖P‖ _p . In particular, we are interested in the case when \mathbbX{\mathbb{X}} is a Riemannian manifold, T is a derivative operator, and p 1 2p\not=2. In the case when \mathbbX{\mathbb{X}} is a compact Riemannian manifold without boundary and the measure is finite, we use the Bernstein inequality to prove the existence of quadrature formulas exact for integrating diffusion polynomials, based on an arbitrary data. The degree of the diffusion polynomials for which this formula is exact depends upon the mesh norm of the data. The results are stated in greater generality. In particular, when T is the identity operator, we recover the earlier results of Maggioni and Mhaskar on the summability of certain diffusion polynomial valued operators.     

A Lower Bound of Large-Deviation Probabilities for the Sample Mean under the Cramer Condition

Let X₁, X₂, ... be i.i.d. random variables satisfying the condition

Boundaries of weak peak points in noncommutative algebras of Lipschitz functions

It has been shown that any Banach algebra satisfying ‖f ²‖ = ‖f‖² has a representation as an algebra of quaternion-valued continuous functions. Whereas some of the classical theory of algebras of continuous complex-valued functions extends immediately to algebras of quaternion-valued functions, similar work has not been done to analyze how the theory of algebras of complex-valued Lipschitz functions extends to algebras of quaternion-valued Lipschitz functions. Denote by Lip(X, \mathbbF\mathbb{F}) the algebra over R of F-valued Lipschitz functions on a compact metric space (X, d), where \mathbbF\mathbb{F} = ℝ, ℂ, or ℍ, the non-commutative division ring of quaternions. In this work, we analyze a class of subalgebras of Lip(X, \mathbbF\mathbb{F}) in which the closure of the weak peak points is the Shilov boundary, and we show that algebras of functions taking values in the quaternions are the most general objects to which the theory of weak peak points extends naturally. This is done by generalizing a classical result for uniform algebras, due to Bishop, which ensures the existence of the Shilov boundary. While the result of Bishop need not hold in general algebras of quaternion-valued Lipschitz functions, we give sufficient conditions on such an algebra for it to hold and to guarantee the existence of the Shilov boundary.     

Uniform rates of approximation by short asymptotic expansions in the CLT for quadratic forms

Let X, X ₁, X ₂,… be i.i.d. \mathbbR^d {\mathbb{R}^d} -valued real random vectors. Assume that E X = 0 and that X has a nondegenerate distribution. Let G be a mean zero Gaussian random vector with the same covariance operator as that of X. We study the distributions of nondegenerate quadratic forms \mathbbQ[ S_N ] \mathbb{Q}\left[ {{S_N}} \right] of the normalized sums S _N  = N ^−1/2 (X ₁ + ⋯ + X _N ) and show that, without any additional conditions,

Affine \mathbb{T} -varieties of complexity one and locally nilpotent derivations

Let X = Spec A be a normal affine variety over an algebraically closed field k of characteristic 0 endowed with an effective action of a torus \mathbbT \mathbb{T} of dimension n. Let also ∂ be a homogeneous locally nilpotent derivation on the normal affine \mathbbZⁿ {\mathbb{Z}^n} -graded domain A, so that ∂ generates a k ₊-action on X that is normalized by the \mathbbT \mathbb{T} -action.     

A two-point condition for characterizing the exponential distribution by means of identifically distributed properties related to order statistics

Let X₁, X₂, ..., X_n be independent and identically distributed random variables subject to a continuous distribution function F. Let X_1∶n, X_2∶n, ..., X_n∶n denote the corresponding order statistics. Write

Totally Disconnected and Locally Compact Heisenberg-Weyl Groups

Harmonic analysis on ℤ(p ^ℓ ) and the corresponding representation of the Heisenberg-Weyl group HW[ℤ(p ^ℓ ),ℤ(p ^ℓ ),ℤ(p ^ℓ )], is studied. It is shown that the HW[ℤ(p ^ℓ ),ℤ(p ^ℓ ),ℤ(p ^ℓ )] with a homomorphism between them, form an inverse system which has as inverse limit the profinite representation of the Heisenberg-Weyl group \mathfrak HW[\mathbbZ_p,\mathbbZ_p,\mathbbZ_p]\mathfrak {HW}[{\mathbb{Z}}_{p},{\mathbb{Z}}_{p},{\mathbb{Z}}_{p}]. Harmonic analysis on ℤ _p is also studied. The corresponding representation of the Heisenberg-Weyl group HW[(ℚ _p /ℤ _p ),ℤ _p ,(ℚ _p /ℤ _p )] is a totally disconnected and locally compact topological group.     

The distribution of dense Sidon subsets of $ \mathbb{Z}_m $

Let S \subseteqq \mathbbZ_m S \subseteqq \mathbb{Z}_m be a Sidon set of cardinality | S | = m^1/₂ + O(1) \mid S \mid = m^{1 \over 2} + O(1) . It is proved, in particular, that for any interval á = {a, a + 1, ?, a + l- 1} {\cal I} = \{a, a + 1, \ldots, a + \ell - 1\} in \mathbbZ_m \mathbb{Z}_m , 0 \leqq l 0 \leqq \ell < m, we have | | S ?á | - | S | l/m | = O( | S | ^1/₂ln m) \big| {\mid S \cap {\cal I} \mid - \mid S \mid \ell/m} \big| = O(\mid S \mid^{1 \over 2}\textrm{ln}\, m) .     

On Banach spaces with unconditional bases

LetX be a Banach space with a sequence of linear, bounded finite rank operatorsR _n:X→X such thatR _nR_m=R_min(_n,m) ifn≠m and lim _n→∞ R _n x=x for allx∈X. We prove that, ifR _n−R_n −1 factors uniformly through somel _p and satisfies a certain additional symmetry condition, thenX has an unconditional basis. As an application, we study conditions on Λ ⊂ ℤ such thatL _Λ=closed span , where , has an unconditional basis. Examples include the Hardy space .     

On F-almost split sequences

Let A be an Artinian algebra and F an additive subbifunctor of Ext,（-, -） having enough projectives and injectives. We prove that the dualizing subvarieties of mod A closed under F-extensions have F-almost split sequences. Let T be an F-cotilting module in mod A and S a cotilting module over F = End（T）. Then Horn（-, T） induces a duality between F-almost split sequences in ⊥FT and almost sl31it sequences in ⊥S, where addrS = Hom∧（f（F）, T）. Let A be an F-Gorenstein algebra, T a strong F-cotilting module and 0→A→B→C→0 and F-almost split sequence in ⊥FT.If the injective dimension of S as a Г-module is equal to d, then C≌（ΩCM^-dΩ^dDTrA^＊）^＊,where（-）^＊=Hom（g,T）.In addition, if the F-injective dimension of A is equal to d, then A≌ΩMF^-dDΩFop^-d TrC≌ΩCMF^-d ≌F^d DTrC.     

Computing the Top Betti Numbers of Semialgebraic Sets Defined by Quadratic Inequalities in Polynomial Time

For any ℓ>0, we present an algorithm which takes as input a semi-algebraic set, S, defined by P ₁≤0,…,P _s ≤0, where each P _i ∈R[X ₁,…,X _k ] has degree≤2, and computes the top ℓ Betti numbers of S, b _k−1(S),…,b _k−ℓ (S), in polynomial time. The complexity of the algorithm, stated more precisely, is . For fixed ℓ, the complexity of the algorithm can be expressed as , which is polynomial in the input parameters s and k. To our knowledge this is the first polynomial time algorithm for computing nontrivial topological invariants of semialgebraic sets in R ^k defined by polynomial inequalities, where the number of inequalities is not fixed and the polynomials are allowed to have degree greater than one. For fixed s, we obtain, by letting ℓ=k, an algorithm for computing all the Betti numbers of S whose complexity is . An erratum to this article can be found at