<Emphasis Type="Italic">∂</Emphasis>-operations and <Emphasis Type="Italic">H</Emphasis><Subscript><Emphasis Type="Italic">V</Emphasis></Subscript>-fields

The hyperoperations, called theta-operations （δ）, are motivated from the usual property, which the derivative has on the derivation of a product of functions. Using any map on a set, one can define δ-operations. In this paper, we continue our study on the δ-operations on groupoids, rings, fields and vector spaces or on the corresponding hyperstructures. Using δ-operations one obtains, mainly, Hwstructures, which form the largest class of the hyperstructures. For representation theory of hyperstructures, by hypermatrices, one needs special Hv-rings or Hy-fields, so these hyperstructures can be used. Moreover, we study the relation of these δ-structures with other classes of hyperstructures, especially with the Hv-structures.     

The relative isoperimetric inequality outside convex domains in R<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

We prove that the area of a hypersurface Σ which traps a given volume outside a convex domain C in Euclidean space R ⁿ is bigger than or equal to the area of a hemisphere which traps the same volume on one side of a hyperplane. Further, when C has smooth boundary ∂C, we show that equality holds if and only if Σ is a hemisphere which meets ∂C orthogonally.     

Distributions of Points in <Emphasis Type="Italic">d</Emphasis> Dimensions and Large <Emphasis Type="Italic">k</Emphasis>-Point Simplices

We consider a variant of Heilbronn’s triangle problem by investigating for a fixed dimension d≥2 and for integers k≥2 with k≤d distributions of n points in the d-dimensional unit cube [0,1] ^d , such that the minimum volume of the simplices, which are determined by (k+1) of these n points is as large as possible. Denoting by Δ _k,d (n), the supremum of this minimum volume over all distributions of n points in [0,1] ^d , we show that c _k,d ⋅(log n)^1/(d−k+1)/n ^k/(d−k+1)≤Δ _k,d (n)≤c _k,d ′/n ^k/d for fixed 2≤k≤d, and, moreover, for odd integers k≥1, we show the upper bound Δ _k,d (n)≤c _k,d ″/n ^{k/d+(k−1)/(2d(d−1))}, where c _k,d ,c _k,d ′,c _k,d ″>0 are constants. A preliminary version of this paper appeared in COCOON ’05.     

Analytic continuation of holomorphic correspondences and equivalence of domains in ℂ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

The following result is proved: Let D and D′ be bounded domains in ℂ ⁿ , ∂D is smooth, real-analytic, simply connected, and ∂D′ is connected, smooth, real-algebraic. Then there exists a proper holomorphic correspondence f:D→D′ if and only if there exist points p∈∂D and p′∈∂D′, such that ∂D and ∂D′ are locally CR-equivalent near p and p′. This leads to a characterization of the equivalence relationship between bounded domains in ℂ ⁿ modulo proper holomorphic correspondences in terms of local CR-equivalence of their boundaries. Oblatum 23-I-2002 & 18-XI-2002?Published online: 17 February 2003     

Harnack estimate for the <Emphasis Type="Italic">H</Emphasis><Superscript><Emphasis Type="Italic">k</Emphasis></Superscript>-flow

We obtain the Harnack estimate of the solution to Hk-flow in Euclidean space Rn 1,for k ＞ 0.By using this estimate,we get some corollaries about the translation soliton.     

<Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis>,<Emphasis Type="Italic">q</Emphasis></Subscript>-Cohomology and Normal Solvability

We consider some problems concerning the L _p,q -cohomology of Riemannian manifolds. In the first part, we study the question of the normal solvability of the operator of exterior derivation on a surface of revolution M considered as an unbounded linear operator acting from L_p^k (M) into L^k+1_q (M). In the second part, we prove that the first L _p,q-cohomology of the general Heisenberg group is nontrivial, provided that p < q. Received: 17 January 2006 Supported by INTAS (Grant 03–51–3251) and the State Maintenance Program for the Leading Scientific Schools of the Russian Federation (Grants NSh 311.2003.1, NSh 8526.2006.1).     

Some results on 4<Superscript><Emphasis Type="Italic">m</Emphasis></Superscript>2<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript> designs with clear two-factor interaction components

Clear effects criterion is one of the important rules for selecting optimal fractional factorial designs, and it has become an active research issue in recent years. Tang et al. derived upper and lower bounds on the maximum number of clear two-factor interactions (2fi’s) in 2 ^n−(n−k) fractional factorial designs of resolutions III and IV by constructing a 2 ^n−(n−k) design for given k, which are only restricted for the symmetrical case. This paper proposes and studies the clear effects problem for the asymmetrical case. It improves the construction method of Tang et al. for 2 ^n−(n−k) designs with resolution III and derives the upper and lower bounds on the maximum number of clear two-factor interaction components (2fic’s) in 4 ^m 2 ⁿ designs with resolutions III and IV. The lower bounds are achieved by constructing specific designs. Comparisons show that the number of clear 2fic’s in the resulting design attains its maximum number in many cases, which reveals that the construction methods are satisfactory when they are used to construct 4 ^m 2 ⁿ designs under the clear effects criterion. This work was supported by the National Natural Science Foundation of China (Grant Nos. 10571093, 10671099 and 10771123), the Research Foundation for Doctor Programme (Grant No. 20050055038) and the Natural Science Foundation of Shandong Province of China (Grant No. Q2007A05). Zhang’s research was also supported by the Visiting Scholar Program at Chern Institute of Mathematics.     

Generating Random Vectors in (ℤ/<Emphasis Type="Italic">p</Emphasis>ℤ)<Superscript><Emphasis Type="Italic">d</Emphasis></Superscript> via an Affine Random Process

This paper considers some random processes of the form X _n+1=T X _n +B _n (mod p) where B _n and X _n are random variables over (ℤ/pℤ) ^d and T is a fixed d×d integer matrix which is invertible over the complex numbers. For a particular distribution for B _n , this paper improves results of Asci to show that if T has no complex eigenvalues of length 1, then for integers p relatively prime to det (T), order (log p)² steps suffice to make X _n close to uniformly distributed where X ₀ is the zero vector. This paper also shows that if T has a complex eigenvalue which is a root of unity, then order p ^b steps are needed for X _n to get close to uniformly distributed for some positive value b≤2 which may depend on T and X ₀ is the zero vector.     

The Characteristic Intersection Property of Line-Free Choquet Simplices in <Emphasis Type="Italic">E</Emphasis><Superscript><Emphasis Type="Italic">d</Emphasis></Superscript>

   Abstract. Generalizing the characteristic intersection property of Choquet simplices, it is proved that for line-free convex bodies B ₁ and B ₂ in E ^d , the following conditions are equivalent: (i) there is a line-free convex body B ⊂ E ^d such that every nonempty intersection B ₁ ∩ (v + B ₂ ) , v ∈ E ^d , is a homothetic copy of B , (ii) both B ₁ and B ₂ are Choquet simplices and the nonempty intersections B ₁ ∩ (v + B ₂ ) , v ∈ E ^d , are homothetic copies of a Choquet simplex B . All such triplets B ₁ ,B ₂ ,B are described.     

Littlewood–Paley theorem on spaces <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis>(<Emphasis Type="Italic">t</Emphasis>)</Superscript>(ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>)

We point out that if the Hardy–Littlewood maximal operator is bounded on the space L ^p(t)(ℝ), 1 < a ≤ p(t) ≤ b < ∞, t ∈ ℝ, then the well-known characterization of the spaces L ^p (ℝ), 1 < p < ∞, by the Littlewood–Paley theory extends to the space L ^p(t)(ℝ). We show that, for n > 1 , the Littlewood–Paley operator is bounded on L ^p(t) (ℝ ⁿ ), 1 < a ≤ p(t) ≤ b < ∞, t ∈ ℝ ⁿ , if and only if p(t) = const. Published in Ukrains’kyi Matematychnyi Zhurnal, Vol. 60, No. 12, pp. 1709–1715, December, 2008.     

Degenerations of <Emphasis Type="Italic">k</Emphasis>[<Emphasis Type="Italic">t</Emphasis>]/(<Emphasis Type="Italic">t</Emphasis><Superscript>r</Superscript>)-Modules Giving Stratification of the Orbits

Let Λ be a finitely generated associative k-algebra where k is an algebraically closed field. For each natural number d, we have the variety of d-dimensional module structures on k^d given by the multiplication of the elements from a generating set of Λ. The general linear group Gl_d(k) acts on this variety by conjugation and the orbits under this action correspond to isomorphism classes of d-dimensional Λ-modules. For two d-dimensional Λ-modules M and N one says that M degenerates to N if the orbit corresponding to N is in the Zariski-closure of the orbit corresponding to M. Now in this situation the stabilizers of the elements in the orbit corresponding to N acts on the orbit corresponding to M. In this paper we characterize degenerations of k[t]/(t^r)-modules with the property that for each y in the orbit corresponding to N, there is an x_y in the orbit corresponding to M such that the orbit corresponding to M is the disjoint union of orbits of the x_y’s under the action of the stabilizer of y where y runs through the orbit corresponding to N. Presented by Idun ReitenMathematics Subject Classifications (2000) 14L30, 16G10.     

On <Emphasis Type="Italic">k</Emphasis>-Spaces and <Emphasis Type="Italic">k</Emphasis><Subscript><Emphasis Type="Italic">R</Emphasis></Subscript>-Spaces

In this note we study the relation between k _R -spaces and k-spaces and prove that a k _R -space with a σ-hereditarily closure-preserving k-network consisting of compact subsets is a k-space, and that a k _R -space with a point-countable k-network consisting of compact subsets need not be a k-space. This work was supported by the NSF of China (10271056).     

κ-Gorenstein Modules

Let A and F be artin algebras and ∧UГa paper, we first introduce the notion of k-Gorenstein faithfully balanced selforthogonal bimodule. In this modules with respect to ∧UГ and then characterize it in terms of the U-resolution dimension of some special injective modules and the property of the functors Ext^i （Ext^i （-, U）, U） preserving monomorphisms, which develops a classical result of Auslander. As an application, we study the properties of dual modules relative to Gorenstein bimodules. In addition, we give some properties of ∧UГwith finite left or right injective dimension.     

The Dichotomy Problem for Orbital Measures of <Emphasis Type="Italic">SU</Emphasis>(<Emphasis Type="Italic">n</Emphasis>)

For many orbital measures μ, on SU(n), we show that either μ^k ∈ L² or μ^k is singular to L¹. The least k for which μ^k ∈ L² is determined and is shown to be the minimum k for which the k-fold product of the conjugacy class supporting the measure has positive measure. It would be interesting to know if all orbital measures satisfy this dichotomy.     

Group invariance and <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>-bounded operators

The Hilbert and Riesz transforms can be characterized up to scalar as the translation invariant operators that satisfy additionally certain relative invariance of conformal transformation groups. In this article, we initiate a systematic study of translation invariant operators from group theoretic viewpoints, and formalize a geometric condition that characterizes specific multiplier operators uniquely up to scalar by means of relative invariance of affine subgroups. After providing some interesting examples of multiplier operators having “large symmetry”, we classify which of these examples can be extended to continuous operators on L ^p (R ⁿ ) (1 < p < ∞). T. Kobayashi was partially supported by Grant-in-Aid for Scientific Research 18340037, Japan Society for the Promotion of Science. A. Nilsson was partially supported by Japan Society for the Promotion of Science.     

The Fine Spectra of the Difference Operator △ Over the Sequence Space bvp, （1 ≤ p 〈 ∞）^＊

The sequence space bvp consisting of all sequences （xk） such that （xk -xk-1） belongs to the space gp has recently been introduced by Basar and Altay [Ukrainian Math. J., 55（1）, 136-147（2003）]; where 1 ≤ p ≤ ∞. In the present paper, some results concerning with the continuous dual and f-dual, and the AD-property of the sequence space bvp have been given and the norm of the difference operator A acting on the sequence space bvp has been found. The fine spectrum with respect to the Goldberg＇s classification of the difference operator △ over the sequence space bvp has been determined, where 1≤p〈∞.     

On the value distribution of <Emphasis Type="Italic">ƒ</Emphasis> + <Emphasis Type="Italic">a</Emphasis>(<Emphasis Type="Italic">ƒ</Emphasis>′)<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

Let ƒ be a transcendental meromorphic function, a a nonzero finite complex number, and n ⩾ 2 a positive integer. Then ƒ + a(ƒ′) ⁿ assumes every complex value infinitely often. This answers a question of Ye for n = 2. A related normality criterion is also given. This work was supported by the National Natural Science Foundation of China (Grant No. 10771076), the Natural Science Foundation of Guangdong Province, China (Grant No. 07006700) and by the German-Israeli Foundation for Scientific Research and Development (Grant No. G-809-234.6/2003)     

Existence of three HMOLS of type 2<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript><Emphasis Type="Italic">u</Emphasis><Superscript>1</Superscript>

A Latin squares of order v with ni missing sub-Latin squares （holes） of order hi （1 〈= i 〈 k）, which are disjoint and spanning （i.e. ∑k i=l1 nihi = v）, is called a partitioned incomplete Latin squares and denoted by PILS. The type of PILS is defined by （h1n1 h2n2…hknk ）. If any two PILS inaset of t PILS of type T are orthogonal, then we denote the set by t-HMOLS（T）. It has been proved that 3-HMOLS（2n31） exist for n ≥6 with 11 possible exceptions. In this paper, we investigate the existence of 3-HMOLS（2nu1） with u ≥ 4, and prove that 3-HMOLS（2~u1） exist if n ≥ 54 and n ≥7/4u ＋ 7.     

Existence of <Emphasis Type="Italic">g</Emphasis><Superscript>1</Superscript><Subscript><Emphasis Type="Italic">g</Emphasis>–2</Subscript>’s on a double covering of a hyperelliptic curve

Abstract Let X be a non–hyperelliptic curve of genus g which is a double covering of a hyperelliptic curve C of genus h. In this paper, we prove that, if h≥ 3 and g≥ 4h+5, then X admits a complete, base point free g¹_g–2. Moreover, if h=3, this result holds under the mild condition g≥ 4h+3=15. Keywords: Double covering of hyperelliptic curves, Pencil of degree g–2 Mathematics Subject Classification (2000:) 14H30, 14H45