Non-commutative Clarkson Inequalities for n-Tuples of Operators

Let A ₀, ... , A _n−1 be operators on a separable complex Hilbert space , and let α₀,..., α _n−1 be positive real numbers such that 1. We prove that for every unitarily invariant norm,

Exchangeable Gibbs partitions and Stirling triangles

For two collections of nonnegative and suitably normalized weights W = (W_j) and V = (V_n,k), a probability distribution on the set of partitions of the set {1, …, n} is defined by assigning to a generic partition {A_j, j ≤ k} the probability V_n,k , where |A_j| is the number of elements of A_j. We impose constraints on the weights by assuming that the resulting random partitions Π _n of [n] are consistent as n varies, meaning that they define an exchangeable partition of the set of all natural numbers. This implies that the weights W must be of a very special form depending on a single parameter α ∈ [− ∞, 1]. The case α = 1 is trivial, and for each value of α ≠ = 1 the set of possible V-weights is an infinite-dimensional simplex. We identify the extreme points of the simplex by solving the boundary problem for a generalized Stirling triangle. In particular, we show that the boundary is discrete for − ∞ ≤ α < 0 and continuous for 0 ≤ α < 1. For α ≤ 0 the extremes correspond to the members of the Ewens-Pitman family of random partitions indexed by (α,θ), while for 0 < α < 1 the extremes are obtained by conditioning an (α,θ)-partition on the asymptotics of the number of blocks of Π_n as n tends to infinity. Bibliography: 29 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 325, 2005, pp. 83–102.     

The Boggess-Polking extension theorem for<Emphasis Type="Italic">CR</Emphasis> functions on manifolds with corners

We give the “boundary version” of the Boggess-PolkingCR extension theorem. LetM andN be real generic submanifolds of ℂ ⁿ withN ⊂M and letV be a “wedge” inM with “edge”N and “profile” Σ ⊂T _NM in a neighborhood of a pointz _o.We identify in natural manner and assume that for a holomorphic vector fieldL tangent toM and verifying we have that the Levi form takes a value . Then we prove thatCR functions onV extend ∀_ω to a wedgeV ₁ “attached” toV in direction of a vector fieldiV such that |pr(iV(z ₀))−iv ₀| < ε (where pr is the projection pr:T _NX →T _MX | _N ).We then prove that when the Levi cone “relative to Σ”iZ _Σ = convex hull is open inT _MX, thenCR functions extend to a “full” wedge with edgeN (that is, with a profile which is an open cone ofT _NX). Finally, we prove that iff is defined in a couple of wedges ±V with profiles ±Σ such thatiZ _Σ =T _MX, and is continuous up toN, thenf is in fact holomorphic atz _o.     

Entire solutions of differential equations with finite order transcendental entire coefficients

In this paper, we investigate the complex oscillation of the differential equation

Infimum Properties Differ in the Weak Truth-table Degrees and the Turing Degrees

Abstract We prove that there are non-recursive r.e. sets A and C with A < _T C such that for every set . Both authors are supported by “863” and the National Science Foundation of China     

Elementary properties of free extensions

For any partial groupoid , let Fr be the free extension of to a total groupoid. We show that implies and that the theory of Fr is uniformly recursive in the theory of . These results fail if “groupoid” is replaced by “semigroup”, “commutative semigroup”, “group”, “abelian group”, “semilattice”, “K-lattice” for any nontrivial varietyK of lattices, or “Boolean algebra”. Research supported in part by NSF Grant MCS78-01867. We thank the referee for his valuable comments. Presented by B. Jónsson.     

Inversion of matrices over a pseudocomplemented lattice

We compute the greatest solutions of systems of linear equations over a lattice (P, ≤). We also present some applications of the results obtained to lattice matrix theory. Let (P, ≤) be a pseudocomplemented lattice with and and let A = ‖a _ij ‖ _n×n , where a _ij ∈ P for i, j = 1,..., n. Let A* = ‖a _ij ^′ ‖ _n×n and for i, j = 1,..., n, where a* is the pseudocomplement of a ∈ P in (P, ≤). A matrix A has a right inverse over (P, ≤) if and only if A · A* = E over (P, ≤). If A has a right inverse over (P, ≤), then A* is the greatest right inverse of A over (P, ≤). The matrix A has a right inverse over (P, ≤) if and only if A is a column orthogonal over (P, ≤). The matrix D = A · A* is the greatest diagonal such that A is a left divisor of D over (P, ≤). Invertible matrices over a distributive lattice (P, ≤) form the general linear group GL _n (P, ≤) under multiplication. Let (P, ≤) be a finite distributive lattice and let k be the number of components of the covering graph Γ(join(P,≤) − , ≤), where join(P, ≤) is the set of join irreducible elements of (P, ≤). Then GL _a (P, ≤) ≅ = S _n ^k . We give some further results concerning inversion of matrices over a pseudocomplemented lattice. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 11, No. 3, pp. 139–154, 2005.     

Weighted estimates of Calderon’s commutators on complex plane

Let V(z) be a complex-valued function on the complex plane ℂ satisfying the condition |V(z) − V(ζ)| ≤ w|z − ζ|, z, ζ ε ℂ; ω ≥ 0 be a Muckenhoupt A _p weight on ℂ; i.e., the inequality

A note on certain fields of finite transcendence type

Let be a finitely generated extension field of ℚ, andα _i,β_j(1⩽i⩽m,1⩽j⩽n) be some complex numbers. Let (k=1,2,3) be fields obtained by adjoining to the numbers {α _i,β_j exp(α_iβ_j)}, {α_i, exp(α_iβ_j)}, and {exp(α_iβ_j)}, respectively. In the present note the relation between the transcendental degree of over and the transcendence type of over ℚ is given. This work was completed in Dpt. Math., Univ. of Southern Mississippi, Hattiesburg, USA.     

Convergence of weighted sums of independent random variables

Let {X_k} be a sequence of i.i.d. random variables with d.f. F(x). In the first part of the paper the weak convergence of the d.f.'s F_n(x) of sums is studied, where 0<α≤2, a_nk>0, 1≤k≤m_n, and, as n→∞, bothmax _1≤k≤mn_{a nk}→0 and . It is shown that such convergence, with suitably chosen A_n's and necessarily stable limit laws, holds for all such arrays {α_nk} provided it holds for the special case α_nk=1/n, 1≤k≤n. Necessary and sufficient conditions for such convergence are classical. Conditions are given for the convergence of the moments of the sequence {F_n(x)}, as well as for its convergence in mean. The second part of the paper deals with the almost sure convergence of sums , where a_n≠0, b_n>0, andmax _1≤k≤n a_k/b_n→0. The strong law is said to hold if there are constants A_n for which S_n→0 almost surely. Let N(0)=0 and N(x) equal the number of n≥1 for which b_n/|a_n|<x if x>0. The main result is as follows. If the strong law holds,EN (|X₁|)<∞. If for some 0<p≤2, then the strong law holds with if 1≤p≤2 and A_n=0 if 0<p<1. This extends the results of Heyde and of Jamison, Orey, and Pruitt. The strong law is shown to hold under various conditions imposed on F(x), the coefficients a_n and b_n, and the function N(x). Proceedings of the Seminar on Stability Problems for Stochastic Models, Moscow, 1993.     

Convex mappings on some Reinhardt domains

In this paper, we consider the following Reinhardt domains. Let M = （M1, M2,..., Mn） ： [0,1] → [0,1]^n be a C2-function and Mj（0） = 0, Mj（1） = 1, Mj″ 〉 0, C1jr^pj-1 〈 Mj′（r） 〈 C2jr^pj-1, r∈ （0, 1）, pj 〉 2, 1 ≤ j ≤ n, 0 〈 C1j 〈 C2j be constants. Define
DM={z=（z1,z2,…,Zn）^T∈C^n：n∑j=1 Mj（｜zj｜）〈1}
Then DM C^n is a convex Reinhardt domain. We give an extension theorem for a normalized biholomorphic convex mapping f ： DM -→ C^n.     

Best polynomial approximation in Sobolev-Laguerre and Sobolev-Legendre spaces

We investigate limiting behavior as γ tends to ∞ of the best polynomial approximations in the Sobolev-Laguerre space W^N,2([0, ∞); e^−x) and the Sobolev-Legendre space W^N,2([−1, 1]) with respect to the Sobolev-Laguerre inner product

Integration and Lipschitz functions

The aim of the paper is to prove that every f ∈ L ¹([0,1]) is of the form f = , where j _n,k is the characteristic function of the interval [k- 1 / 2 ⁿ , k / 2 ⁿ ) and Σ _n=0^∞Σ _k=1²ⁿ |a _n,k | is arbitrarily close to ||f|| (Theorem 2). It is also shown that if μ is any probabilistic Borel measure on [0,1], then for any ɛ > 0 there exists a sequence (b _n,k ) _n≧0 ^k=1,...,2n of real numbers such that and for each Lipschitz function g: [0,1] → ℝ (Theorem 3).      

Complete moment and integral convergence for sums of negatively associated random variables

For a sequence of identically distributed negatively associated random variables {Xn; n ≥ 1} with partial sums Sn = ∑i=1^n Xi, n ≥ 1, refinements are presented of the classical Baum-Katz and Lai complete convergence theorems. More specifically, necessary and sufficient moment conditions are provided for complete moment convergence of the form ∑n≥n0 n^r-2-1/pq anE（max1≤k≤n｜Sk｜^1/q-∈bn^1/qp）^＋〈∞to hold where r 〉 1, q 〉 0 and either n0 = 1,0 〈 p 〈 2, an = 1,bn = n or n0 = 3,p = 2, an = 1 （log n） ^1/2q, bn=n log n. These results extend results of Chow and of Li and Spataru from the indepen- dent and identically distributed case to the identically distributed negatively associated setting. The complete moment convergence is also shown to be equivalent to a form of complete integral convergence.     

Precise asymptotics in self-normalized sums of iterated logarithm for multidimensionally indexed random variables

In the case of Zd (d ≥ 2)-the positive d-dimensional lattice points with partial ordering ≤, {Xk,k ∈ Zd } i.i.d. random variables with mean 0, Sn = ∑k≤nXk and Vn2 = ∑j≤nX2j, the precise asymptotics for ∑n1/|n|(log|n|)dP(|Sn/vn|≥ ε√loglog|n|) and ∑n(logn|)δ/|n|(log|n|)d-1 P(|Sn/Vn| ≥ ε√log n), as ε ↘ 0, is established.     

Some inequalities about mixed volumes

We prove inequalities about the quermassintegralsV _k (K) of a convex bodyK in ℝ ⁿ (here,V _k (K) is the mixed volumeV((K, k), (B _n ,n − k)) whereB _n is the Euclidean unit ball). (i) The inequality

Score sets in oriented 3-partite graphs

Let D(U, V, W) be an oriented 3-partite graph with |U|=p, |V|=q and |W|= r. For any vertex x in D(U, V, W), let d x and d-x be the outdegree and indegree of x respectively. Define aui (or simply ai) = q r d ui - d-ui, bvj(or simply bj) = p r d vj - d-vj and Cwk (or simply ck) = p q d wk - d-wk as the scores of ui in U, vj in V and wk in Wrespectively. The set A of distinct scores of the vertices of D(U, V, W) is called its score set. In this paper, we prove that if a1 is a non-negative integer, ai(2≤i≤n - 1) are even positive integers and an is any positive integer, then for n≥3, there exists an oriented 3-partite graph with the score set A = {a1,2∑i=1 ai,…,n∑i=1 ai}, except when A = {0,2,3}. Some more results for score sets in oriented 3-partite graphs are obtained.     

Spaces ofp-vectors of bounded rank

LetV be ann-dimensional space over an infinite field of characteristic different from 2. Therank ofw ∈ Λ ^p V is the minimal dimension of a subspaceU ⊂V such thatw ∈ Λ ^p U. Extending a well-known result on linear spaces in the Grassmannian, it is shown that ifp≤k<n then the maximal dimension of a subspaceW ⊂ Λ ^p V such that rankw≤k for allω ∈W is where∈=1 ifk=p orp=2|k,∈=0 otherwise, andm satisfies . Supported by The Israel Science Foundation founded by the Academy of Sciences and Humanities.     

Asymptotic Expansions of the Heat Kernel of the Laplacian for General Annular Bounded Domains with Robin Boundary Conditions：Further Results

The asymptotic expansions of the trace of the heat kernel θ(t)=∑^∞v=1^exp(-tλv) for small positive t,where {λv} are the eigenvalues of the negative Laplacian -△n=-∑^ni=1(D/Dx^1)^2 in R^2(n=2 or 3),are studied for a general annular bounded domain Ω with a smooth inner boundary DΩ1 and a smooth outer boundary DΩ2,where a finite number of piecewise smooth Robin boundary conditions(D/Dnj γh)Ф=0 on the components Гj(j= 1,...,m) of (DΩ1 and on the components Гj (j=k 1,…,m) of of DΩ2 are considered such that DΩl=U^kj=lГj and DΩ2= U^m=k 1Гj and where the coefficients γj(j=1,...,m) are piecewise smooth positive functions. Some applications of θ(t) for an ideal gas enclosed in the general annular bounded domain Ω are given. Further results are also obtained.