The Distributional Hankel Transform of δ(k)(m2×P

In this note we give a sense to certain kinds of n-dimensional distributional Hankel transforms of the Dirac measure δ^(k)(m² + P). The most important result is the interchange formula between the product and the convolution of the Hankel transform of δ^(k)(m² + P).     

Tensor convolutions and Hankel tensors

Let A be an mth order n-dimensional tensor, where m, n are some positive integers and N:= m(n?1). Then A is called a Hankel tensor associated with a vector v ∈ ?^N+1 if A_σ = v _k for each k = 0, 1,...,N whenever σ = (i₁,..., i_m) satisfies i₁ +· · ·+i_m = m+k. We introduce the elementary Hankel tensors which are some special Hankel tensors, and present all the eigenvalues of the elementary Hankel tensors for k = 0, 1, 2. We also show that a convolution can be expressed as the product of some third-order elementary Hankel tensors, and a Hankel tensor can be decomposed as a convolution of two Vandermonde matrices following the definition of the convolution of tensors. Finally, we use the properties of the convolution to characterize Hankel tensors and (0,1) Hankel tensors.     

Hopf surfaces: locally conformal Kähler metrics and foliations

In this paper we describe a family of locally conformal Kähler metrics on class 1 Hopf surfaces H _a,ß containing some recent metrics constructed in [GO98]. We study some canonical foliations associated to these metrics, in particular a 2-dimensional foliation E _a,ß that is shown to be independent of the metric. We prove with elementary tools that E _a,ß has compact leaves if and only if a ^m=ß ⁿ for some integers m and n, namely in the elliptic case. In this case we prove that the leaves of E _a,ß explicitly give the elliptic fibration of H _a,ß, and we describe the natural orbifold structure on the leaf space.     

The Pseudo-differential Operator hμ,a on Hankel Invariant Spaces

Using Hankel transform the symbol 'a' is defined and the pseudo-differential operator (p.d.o.) h_μ,a associated with the Bessel operator d ²/dx ² + (1 ? 4μ ²)/4x ² in terms of this symbol is defined. It is shown that the operator h_μ,a is a continuous linear map of a Hankel invariant space into itself. A special pseudo-differential operator called the Hankel potential is defined and some of its properties are investigated.     

Pseudo-differential operators involving Watson transform

A class of pseudo-differential operators (p.d.o.'s) associated with the general Fourier kernel studied by Hardy and Titchmarsh is defined. A symbol class T ^m is introduced. It is shown that the p.d.o.'s associated with the symbol are continuous linear mappings of the Braaksma and Schuitman space T(λ,μ) into itself. An integral representation of p.d.o. is obtained. Some special forms of the symbol are considered. It is shown that these p.d.o.'s and their products are bounded in certain Sobolev type space.     

Compact embedded rotation hypersurfaces of <Emphasis Type="Italic">S</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis>+1</Superscript>

In this paper, we prove that and round geodesic spheres are the only n-dimensional compact embedded rotation hypersurfaces with H_m = 0 (1 ≤ m ≤ n − 1) in a unit sphere Sⁿ⁺¹(1). When m = 1, our result reduces to the result of T. Otsuki [O1], [O2], Brito and Leite [BL]. The project is supported by the grant No. 10531090 of NSFC.     

Limit Distributions of Eigenvalues for Random Block Toeplitz and Hankel Matrices

Block Toeplitz and Hankel matrices arise in many aspects of applications. In this paper, we will research the distributions of eigenvalues for some models and get the semicircle law. Firstly we will give trace formulas of block Toeplitz and Hankel matrix. Then we will prove that the almost sure limit g_T^(m)\gamma_{T}^{(m)} (g_H^(m))(\gamma_{H}^{(m)}) of eigenvalue distributions of random block Toeplitz (Hankel) matrices exist and give the moments of the limit distributions where m is the order of the blocks. Then we will prove the existence of almost sure limit of eigenvalue distributions of random block Toeplitz and Hankel band matrices and give the moments of the limit distributions. Finally we will prove that g_T^(m)\gamma_{T}^{(m)} (g_H^(m))(\gamma_{H}^{(m)}) converges weakly to the semicircle law as m→∞.     

Two‐coloring random hypergraphs

A 2‐coloring of a hypergraph is a mapping from its vertex set to a set of two colors such that no edge is monochromatic. Let H=H(k, n, p) be a random k‐uniform hypergraph on a vertex set V of cardinality n, where each k‐subset of V is an edge of H with probability p, independently of all other k‐subsets. Let $ m = p{{n}\choose{k}}$ denote the expected number of edges in H. Let us say that a sequence of events ?_n holds with high probability (w.h.p.) if lim_n→∞Pr[?_n]=1. It is easy to show that if m=c2^kn then w.h.p H is not 2‐colorable for c>ln 2/2. We prove that there exists a constant c>0 such that if m=(c2^k/k)n, then w.h.p H is 2‐colorable. © 2002 Wiley Periodicals, Inc. Random Struct. Alg. 20: 249–259, 2002     

Ramsey functions involving with large

For fixed integers m,k2, it is shown that the k-color Ramsey number r_k(K_m,n) and the bipartite Ramsey number b_k(m,n) are both asymptotically equal to k^mn as n→∞, and that for any graph H on m vertices, the two-color Ramsey number is at most (1+o(1))n^m+1/(logn)^m-1. Moreover, the order of magnitude of is proved to be n^m+1/(logn)^m if H≠K_m as n→∞.     

REPRESENTATIONS OF A CLASS OF DRINFELD'S DOUBLES

Let k be a field and A_n(ω) be the Taft's n²-dimensional Hopf algebra. When n is odd, the Drinfeld quantum double D(A_n(ω)) of A_n(ω) is a ribbon Hopf algebra. In the previous articles, we constructed an n₄-dimensional Hopf algebra H_n(p, q) which is isomorphic to D(A_n(ω)) if p ≠ 0 and q = ω^?1 , and studied the irreducible representations of H_n(1, q) and the finite dimensional representations of H₃(1, q). In this article, we examine the finite-dimensional representations of H_n(l q), equivalently, of D(A_n(ω)) for any n ≥ 2. We investigate the indecomposable left H_n(1, q)-module, and describe the structures and properties of all indecomposable modules and classify them when k is algebraically closed. We also give all almost split sequences in mod H_n(1, q), and the Auslander-Reiten-quiver of H_n(1 q).     

Complexes of graph homomorphisms

Hom(G, H) is a polyhedral complex defined for any two undirected graphsG andH. This construction was introduced by Lovász to give lower bounds for chromatic numbers of graphs. In this paper we initiate the study of the topological properties of this class of complexes. We prove that Hom(K _m, K_n) is homotopy equivalent to a wedge of (n−m)-dimensional spheres, and provide an enumeration formula for the number of the spheres. As a corollary we prove that if for some graphG, and integersm≥2 andk≥−1, we have ϖ ₁ ^k (Hom(K _m, G))≠0, thenχ(G)≥k+m; here ℤ₂-action is induced by the swapping of two vertices inK _m, and ϖ₁ is the first Stiefel-Whitney class corresponding to this action. Furthermore, we prove that a fold in the first argument of Hom(G, H) induces a homotopy equivalence. It then follows that Hom(F, K _n) is homotopy equivalent to a direct product of (n−2)-dimensional spheres, while Hom(F, K _n) is homotopy equivalent to a wedge of spheres, whereF is an arbitrary forest andF is its complement. The second author acknowledges support by the University of Washington, Seattle, the Swiss National Science Foundation Grant PP002-102738/1, the University of Bern, and the Royal Institute of Technology, Stockholm.     

Induced operators on symmetry classes of tensors

LetV be ann-dimensional inner product space,T _i ,i=1,...,k, k linear operators onV, H a subgroup ofS _m (the symmetric group of degreem), a character of degree 1 andT a linear operator onV. Denote byK(T) the induced operator ofT onV (H), the symmetry class of tensors associated withH and . This note is concerned with the structure of the setK _{, m} ^H (T₁,...,T_k) consisting of all numbers of the form traceK(T ₁ U ₁...T _k U _k ) whereU _i ,i=1,...k vary over the group of all unitary operators onV. For V=ⁿ or ⁿ, it turns out thatK _{, m} ^H (T₁,...,T_k) is convex whenm is not a multiple ofn. Form=n, there are examples which show that the convexity of _{, m} ^H (T₁,...,T_k) depends onH and .The author wishes to express his thanks to Dr. Yik-Hoi Au-Yeung for his valuable advice and encouragement.     

Factorization of Hardy spaces and Hankel operators on convex domains in ℂ n

In this article we study the (small) Hankel operator h_b on the Hardy and Bergman spaces on a smoothly bounded convex domain of finite type in ℂⁿ. We completely characterize the Hankel operators h_b that are bounded, compact, and belong to the Schatten ideal S_p, for 0 < p < ∞. In particular, if h_b denotes the Hankel operator on the Hardy space H² (Ω), we prove that h_b is bounded if and only if b ∈ BMOA, compact if and only if b ∈ VMOA, and in the Schatten class if and only if b ∈e B_p, 0 < p < ∞. This last result extends the analog theorem in the case of the unit disc of Peller [19] and Semmes [21]. In order to characterize the bounded Hankel operators, we prove a factorization theorem for functions in H¹ (Ω), a result that is of independent interest.     

A class of non-nilpotent 2-solvable n-Lie algebras

This article concerns a class of finite-dimensional minimal non-nilpotent 2-solvable n-Lie algebras. It is shown that if L is a finite-dimensional minimal non-nilpotent 2-solvable n-Lie algebra, then L can be decomposed into a semi-direct of an ideal A and an (n ? 1)-dimensional subalgebra H ₀ of L. Furthermore, H ₀ acts irreducibly on A/A ¹, and H ₀ + A ¹ is a self-normalizing maximal subalgebra of L with the core A ¹, the derived algebra of A.     

The graph induced by affine <Emphasis Type="Italic">M</Emphasis>-flats over finite fields II

Let AG(n, F _q) be the n-dimensional affine space over F _q, where F _q is a finite field with q elements. Denote by Γ ^(m) the graph induced by m-flats of AG(n, F _q). For any two adjacent vertices E and F of is studied. In particular, sizes of maximal cliques in Γ ^(m) are determined and it is shown that Γ ^(m) is not edge-regular when m<n−1. Supported by the National Natural Science Foundation of China (19571024) and Hunan Provincial Department of Education (02C512).     

Construction of orthonormal multi-wavelets with additional vanishing moments

An iterative scheme for constructing compactly supported orthonormal (o.n.) multi-wavelets with vanishing moments of arbitrarily high order is established. Precisely, let φ=[φ₁,. . .,φ_r]^⊤ be an r-dimensional o.n. scaling function vector with polynomial preservation of order (p.p.o.) m, and ψ=[ψ₁,. . .,ψ_r]^⊤ an o.n. multi-wavelet corresponding to φ, with two-scale symbols P and Q, respectively. Then a new (r+1)-dimensional o.n. scaling function vector φ^♯:=[φ^⊤,φ_r+1]^⊤ and some corresponding o.n. multi-wavelet ψ^♯ are constructed in such a way that φ^♯ has p.p.o.=n>m and their two-scale symbols P^♯ and Q^♯ are lower and upper triangular block matrices, respectively, without increasing the size of the supports. For instance, for r=1, if we consider the mth order Daubechies o.n. scaling function φ_m^D, then φ^♯:=[φ_m^D,φ₂]^⊤ is a scaling function vector with p.p.o. >m. As another example, for r=2, if we use the symmetric o.n. scaling function vector φ in our earlier work, then we obtain a new pair of scaling function vector φ^♯=[φ^⊤,φ₃]^⊤ and multi-wavelet ψ^♯ that not only increase the order of vanishing moments but also preserve symmetry. Dedicated to Charles A. Micchelli in Honor of His Sixtieth Birthday Mathematics subject classifications (2000) 42C15, 42C40. Charles K. Chui: Supported in part by NSF grants CCR-9988289 and CCR-0098331 and Army Research Office under grant DAAD 19-00-1-0512. Jian-ao Lian: Supported in part by Army Research Office under grant DAAD 19-01-1-0739.     

Sets of disjoint snakes based on a Reed-Muller code and covering the hypercube

A snake-in-the-box code (or snake) of word length n is a simple circuit in an n-dimensional cube Q _n , with the additional property that any two non-neighboring words in the circuit differ in at least two positions. To construct such snakes a straightforward, non-recursive method is developed based on special linear codes with minimum distance 4. An extension of this method is used for the construction of covers of Q _n consisting of 2 ^m-1 vertex-disjoint snakes, for 2 ^m-1 < n ≤ 2 ^m . These covers turn out to have a symmetry group of order 2 ^m .      

The (n + 1)2 m -ray algorithm: a new simplicial algorithm for the variational inequality problem on ℝ + m ×S n

In this paper we propose a variable dimension simplicial algorithm for solving the variational inequality problem on the cross product of the nonnegative orthant ₊ ^m of them-dimensional Euclidean space ^m and then-dimensional unit simplexS ⁿ of ⁿ⁺¹. Starting from an arbitrary point (u, v) є ₊ ^m ×S ⁿ, the algorithm generates a piecewise linear path in ₊ ^m ×S ⁿ. The path is traced by making alternately linear programming pivot operations and replacement steps in an appropriate simplicial subdivision of ₊ ^m ×S ⁿ. The algorithm differs from the thus far known algorithm in the number of directions in which it may leave the starting point. More precisely, the algorithm has (n+1)2 ^m rays to leave the starting point whereas the existing algorithm hasn+m+1 rays. A convergence condition is presented and the accuracy estimation of an approximate solution generated is also given.     

Some basic inequalities in higher dimensional non-Euclid space

In this paper, the concept of a finite mass-points system∑N(H(A))(N>n) being in a sphere in an n-dimensional hyperbolic space Hn and a finite mass-points system∑N(S(A))(N>n) being in a hyperplane in an n-dimensional spherical space Sn is introduced, then, the rank of the Cayley-Menger matrix AN(H)(or a AN(S)) of the finite mass-points system∑∑N(S(A))(or∑N(S(A))) in an n-dimensional hyperbolic space Hn (or spherical space Sn) is no more than n 2 when∑N(H(A))(N>n) (or∑N(S(A))(N>n)) are in a sphere (or hyperplane). On the one hand, the Yang-Zhang's inequalities, the Neuberg-Pedoe's inequalities and the inequality of the metric addition in an n-dimensional hyperbolic space Hn and in an n-dimensional spherical space Sn are established by the method of characteristic roots. These are basic inequalities in hyperbolic geometry and spherical geometry. On the other hand, some relative problems and conjectures are brought.