Von Neumann-Jordan Constants of Absolute Normalized Norms on C^n

In this note, we give some estimations of the Von Neumann-Jordan constant C _{N J} (∥·∥_ψ) of Banach space (ℂ ⁿ , ∥·∥_ψ), where ∥·∥_ψ is the absolute normalized norm on ℂ ⁿ given by function ψ. In the case where ψ and φ are comparable, n=2 and C _{N J} (∥·∥_ψ)=1, we obtain a formula of computing C _{N J} (∥·∥_ψ). Our results generalize some results due to Saito and others. Received May 11, 2002, Accepted November 20, 2002 This work is partly supported by NNSF of China (No. 19771056)     

A Note on Semigroup Algebras of Permutable Semigroups

Let S be a semigroup and 𝔽 be a field. For an ideal J of the semigroup algebra 𝔽[S] of S over 𝔽, let ?_J denote the restriction (to S) of the congruence on 𝔽[S] defined by the ideal J. A semigroup S is called a permutable semigroup if α ○ β = β ○ α is satisfied for all congruences α and β of S. In this paper we show that if S is a semilattice or a rectangular band then φ_{{S; 𝔽}}: J → ?_J is a homomorphism of the semigroup (Con(𝔽[S]); ○ ) into the relation semigroup (?_S; ○ ) if and only if S is a permutable semigroup.     

Graded automorphism group of TKK algebra

The classification of extended affine Lie algebras of type A_1 depends on the Tits-Kantor- Koecher (TKK) algebras constructed from semilattices of Euclidean spaces.One can define a unitary Jordan algebra J(S) from a semilattice S of R~v (v≥1),and then construct an extended affine Lie algebra of type A_1 from the TKK algebra T(J(S)) which is obtained from the Jordan algebra J(S) by the so-called Tits-Kantor-Koecher construction.In R~2 there are only two non-similar semilattices S and S′,where S is a lattice and S′is a non-lattice semilattice.In this paper we study the Z~2-graded automorphisms of the TKK algebra T(J(S)).     

Gibbsianness of fermion random point fields

We consider fermion (or determinantal) random point fields on Euclidean space ℝ^d. Given a bounded, translation invariant, and positive definite integral operator J on L²(ℝ^d), we introduce a determinantal interaction for a system of particles moving on ℝ^d as follows: the n points located at x₁,· · ·,x_n ∈ ℝ^d have the potential energy given by where j(x−y) is the integral kernel function of the operator J. We show that the Gibbsian specification for this interaction is well-defined. When J is of finite range in addition, and for d≥2 if the intensity is small enough, we show that the fermion random point field corresponding to the operator J(I+J)⁻¹ is a Gibbs measure admitted to the specification.     

Graded automorphism group of TKK Lie algebra over semilattice

Every extended affine Lie algebra of type A ₁ and nullity ν with extended affine root system R(A ₁, S), where S is a semilattice in ℝ ^ν , can be constructed from a TKK Lie algebra T (J (S)) which is obtained from the Jordan algebra J (S) by the so-called Tits-Kantor-Koecher construction. In this article we consider the ℤ ⁿ -graded automorphism group of the TKK Lie algebra T (J (S)), where S is the “smallest” semilattice in Euclidean space ℝ ⁿ .     

THE M-VALUATION SPECTRUM OF A COMMUTATIVE RING

Abstract

In 1945, N. Jacobson has introduced the definition of radical of a ring A (which is known as “Jacobson radical”, and is denoted J = J(A)). Later the concept of (Jacobson) radical of a left (or right) A-module M, J(M), has been defined as the intersection of all submodules N ≤ M such that M/N is simple. Thus one may consider the left radical J _l  = J( _A A) and the right radical J _r  = J(A _A ) of A, which are bilateral ideals of A, and are contained in J(A). If A has identity, one has J = J _l  = J _r , but this equality is not valid in general. Dual, it is possible to define left socle S _l and right socle S _r of A. We shall establish relations between J, J _l , J _r , S _l and S _r , and for artinian algebras we shall obtain expressions for J _l (A) and J _r (A), S _l (A) and S _r (A). In particular, if A is a finite dimensional algebra over a field we display J _l  = J( _A A) (and J _r  ? J(A _A )) in a matrix representation.     

Approximation to a set-valued mapping,I: A proposal

Given a multivalued mappingF, we address the problem of finding another multivalued mappingS that agrees locally withF. We limit ourselves to the case whenF(x) is convex compact for eachx. We propose anS obtained by linearizing the support function ofF(x) and give conditions under which thisS approximatesF in the sense of Hausdorff distance. We show equality betweenS and other proposals obtained from tangent cones to the graph ofF. Finally, we apply these results to the approximate subdifferential of a convex function.     

STRONG LAWS FOR α-MIXING SEQUENCE PROCESSES INDEXED BY SETS

ＳＴＲＯＮＧＬＡＷＳＦＯＲα－ＭＩＸＩＮＧＳＥＱＵＥＮＣＥＰＲＯＣＥＳＳＥＳＩＮＤＥＸＥＤＢＹＳＥＴＳ￥ＸＵＢＩＮＧＡｂｓｔｒａｃｔ：ＬｅｔＪ＝｛１，２，．．．｝ｄａｎｄｌｅｔ｛Ｘｊ，ｊ∈Ｊ｝ｂｅａｎａ－ｍｉｘｉｎｇｓｅｑｕｅｎｃｅｗｈｉｃｈｉｓｎｏ...     

Beurling-Malliavin theory for Toeplitz kernels

We consider the family of Toeplitz operators T_J[`(S)]^aT_{J\bar{S}^{a}} acting in the Hardy space H ² in the upper halfplane; J and S are given meromorphic inner functions, and a is a real parameter. In the case where the argument of S has a power law type behavior on the real line, we compute the critical value

Optimal maps for the multidimensional Monge-Kantorovich problem

Let μ₁,…, μ_N be Borel probability measures on ℝ^d. Denote by Γ(μ₁,…, μ_N) the set of all N-tuples T=(T₁,…, T_N) such that T_i:ℝ^d ↔ ℝ^d (i = 1,…, N) are Borel-measurable and satisfy μ₁ = μ_i[V] for all Borel V ⊂ ℝ^d. The multidimensional Monge-Kantorovich problem investigated in this paper consists of finding S=(S₁,…, S_N) ∈ Γ(μ₁,…, μ_N) minimizing over the set Γ(μ₁, ···, μ_N). We study the case where the μ_i's have finite second moments and vanish on (d - 1)-rectifiable sets. We prove existence and uniqueness of optimal maps S when we impose that S₁( x ) ≡ x and give an explicit form of the maps S_i. The result is obtained by variational methods and to the best of our knowledge is the first available in the literature in this generality. As a consequence, we obtain uniqueness and characterization of an optimal measure for the multidimensional Kantorovich problem. © 1998 John Wiley & Sons, Inc.     

Some Limit Theorems in Geometric Processes

Geometric process (GP) was introduced by Lam[4,5], it is defined as a stochastic process {Xn, n = 1, 2,…} for which there exists a real number a > 0, such that {an-1 Xn, n = 1,2, …} forms a renewal process (RP). In this paper, we study some limit theorems in GP. We first derive the Wald equation for GP and then obtain the limit theorems of the age, residual life and the total life at t for a GP. A general limit theorem for Sn with a > 1 is also studied. Furthermore, we make a comparison between GP and RP, including the comparison of their limit distributions of the age, residual life and the total life at t.     

Forbidden induced subgraph characterization of cograph contractions

Let S₁, S₂,…,S_t be pairwise disjoint non‐empty stable sets in a graph H. The graph H^* is obtained from H by: (i) replacing each S_i by a new vertex q_i; (ii) joining each q_i and q_j, 1 ≤ i # j ≤ t, and; (iii) joining q_i to all vertices in H – (S₁ ∪ S₂ ∪ ··· ∪ S_t) which were adjacent to some vertex of S_i. A cograph is a P₄‐free graph. A graph G is called a cograph contraction if there exist a cograph H and pairwise disjoint non‐empty stable sets in H for which G ? H^*. Solving a problem proposed by Le [ 2 ], we give a finite forbidden induced subgraph characterization of cograph contractions. © 2004 Wiley Periodicals, Inc. J Graph Theory 46: 217–226, 2004     

Binomial Edge Ideals of Complete Multipartite Graphs

In this article, we prove some results about the binomial edge ideal J _G of a complete r-partite graph G = K _{a 1,…, a r} : (1) characterization of unmixedness of J _G and Cohen–Macaulayness of the residue ring S/J _G , (2) F-purity of S/J _G , and (3) the equality of the symbolic and the ordinary powers of J _G .     

On a method for computing waveguide scattering matrices in the presence of point spectrum

A waveguide occupies a domain G in ? ⁿ⁺¹, n ? 1, having several cylindrical outlets to infinity. The waveguide is described by a general elliptic boundary value problem that is self-adjoint with respect to the Green formula and contains a spectral parameter µ. As an approximation to a row of the scattering matrix S(µ) we suggest a minimizer of a quadratic functional J ^R (·, µ). To construct such a functional, we solve an auxiliary boundary value problem in the bounded domain obtained by cutting off, at a distance R, the waveguide outlets to infinity. It is proved that, if a finite interval [µ₁, µ₂] of the continuous spectrum contains no thresholds, then, as R → ∞, the minimizer tends to the row of the scattering matrix at an exponential rate uniformly with respect to µ ∈ [µ₁, µ₂]. The interval may contain some waveguide eigenvalues whose eigenfunctions exponentially decay at infinity.     

Shuffles of permutations and the Kronecker product

The Kronecker product of two homogeneous symmetric polynomialsP ₁,P ₂ is defined by means of the Frobenius map by the formulaP ₁oP ₂=F(F ⁻¹ P ₁)(F ⁻¹ P ₂). WhenP ₁ andP ₂ are the Schur functionsS _I ,S _J then the resulting productS _I oS _J is the Frobenius characteristic of the tensor product of the two representations corresponding to the diagramsI andJ. Taking the scalar product ofS _I oS _J with a third Schur functionsS _K gives the so called Kronecker coefficientc _I,J,K =<S _I oS _J ,S _K >. In recent work lascoux [7] and Gessel [3] have given what appear to be two separate combinatorial interpretations for thec _I,J,K in terms of some classes of permutations. In Lascoux's workI andJ are restricted to be hooks and in Gessel's both have to be zigzag partitions. In this paper we give a general result relating shuffles of permutations and Kronecker products. This leads us to a combinatorial interpretation of <S _I oS _J ,S _K > forS _I a product of homogeneous symmetric functions andJ, K unrestricted skew shapes. We also show how Gessel's and Lascoux's results are related and show how they can be derived from a special case of our result. Work supported by NSF grant at the University of California, San Diego.     

The packing measure of a class of generalized sierpinski carpet

For 1/4 ＜ a ＜√2/4, let S1(x) = ax, S2(x) = 1 - a ax, x ∈ [0,1]. Ca is the attractor of the iterated function system {S1, S2}, then the packing measure of Ca × Ca is Ps(a)(Ca × Ca) = 4.2s(a)(1 - a)s(a),where s(a) = -loga4.     

Regular reals

Say that α is an n‐strongly c. e. (n‐strongly computably enumerable) real if α is a sum of n many strongly c. e. reals, and that α is regular if α is n‐strongly c. e. for some n. Let Sⁿ be the set of all n‐strongly c. e. reals, Reg be the set of regular reals and CE be the set of c. e. reals. Then we have: S¹ ? S² ? · · · ? Sⁿ ? · · · ? ? Reg ? CE . This gives a hierarchy of the c. e. reals. We also study the regularity of the d. c. e. reals. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Local Lipschitz-constant Functions and Maximal Subdifferentials

It is shown that if k(x) is an upper semicontinuous and quasi lower semicontinuous function on a Banach space X, then k(x)B _X* is the Clarke subdifferential of some locally Lipschitz function on X. Related results for approximate subdifferentials are also given. Moreover, on smooth Banach spaces, for every locally Lipschitz function with minimal Clarke subdifferential, one can obtain a maximal Clarke subdifferential map via its local Lipschitz-constant function. Finally, some results concerning the characterization and calculus of local Lipschitz-constant functions are developed.