Tight sets,weighted <Emphasis Type="Italic">m</Emphasis>-covers,weighted <Emphasis Type="Italic">m</Emphasis>-ovoids,and minihypers

Minihypers are substructures of projective spaces introduced to study linear codes meeting the Griesmer bound. Recently, many results in finite geometry were obtained by applying characterization results on minihypers (De Beule et al. 16:342–349, 2008; Govaerts and Storme 4:279–286, 2004; Govaerts et al. 28:659–672, 2002). In this paper, using characterization results on certain minihypers, we present new results on tight sets in classical finite polar spaces and weighted m-covers, and on weighted m-ovoids of classical finite generalized quadrangles. The link with minihypers gives us characterization results of i-tight sets in terms of generators and Baer subgeometries contained in the Hermitian and symplectic polar spaces, and in terms of generators for the quadratic polar spaces. We also present extendability results on partial weighted m-ovoids and partial weighted m-covers, having small deficiency, to weighted m-covers and weighted m-ovoids of classical finite generalized quadrangles. As a particular application, we prove in an alternative way the extendability of 53-, 54-, and 55-caps of PG(5,3), contained in a non-singular elliptic quadric Q⁻(5,3), to 56-caps contained in this elliptic quadric Q⁻(5,3).      

<Emphasis Type="Italic">m</Emphasis>-Dissipativity of Some Gradient Systems with Measurable Potential

We consider the operator in L ²(B, ν) and in L ¹(B, ν) with Neumann boundary condition, where U is an unbounded function belonging to for some q ∈(1, ∞), B is the possibly unbounded convex open set in where U is finite and ν(dx) = C exp (−2U (x))dx is a probability measure, infinitesimally invariant for N ₀. We prove that the closure of N ₀ is a m-dissipative operator both in L ²(B, ν) and in L ¹(B, ν). Moreover we study the properties of ergodicity and strong mixing of the measure ν in the L ² case.      

On the family of diophantine triples {<Emphasis Type="Italic">k</Emphasis> + 1, 4<Emphasis Type="Italic">k</Emphasis>, 9<Emphasis Type="Italic">k</Emphasis> + 3}

We prove that if k is a positive integer and d is a positive integer such that the product of any two distinct elements of the set {k + 1, 4k, 9k + 3, d} increased by 1 is a perfect square, then d = 144k ³ + 192k ² + 76k + 8.      

The precise asymptotics of the complete convergence for moving average processes of <Emphasis Type="Italic">m</Emphasis>-dependent <Emphasis Type="Italic">B</Emphasis>-valued elements

Let {εt;t ∈ Z} be a sequence of m-dependent B-valued random elements with mean zeros and finite second moment. {a3;j ∈ Z} is a sequence of real numbers satisfying ∑j=-∞^∞｜aj｜ 〈 ∞. Define a moving average process Xt = ∑j=-∞^∞aj＋tEj,t ≥ 1, and Sn = ∑t=1^n Xt,n ≥ 1. In this article, by using the weak convergence theorem of { Sn/√ n _〉 1}, we study the precise asymptotics of the complete convergence for the sequence {Xt; t ∈ N}.     

On <Emphasis Type="Italic">S</Emphasis>-quasinormal and <Emphasis Type="Italic">c</Emphasis>-normal subgroups of a finite group

Let be a saturated formation containing the class of supersolvable groups and let G be a finite group. The following theorems are presented: (1) G ∈ if and only if there is a normal subgroup H such that G/H ∈ and every maximal subgroup of all Sylow subgroups of H is either c-normal or S-quasinormally embedded in G. (2) G ∈ if and only if there is a normal subgroup H such that G/H ∈ and every maximal subgroup of all Sylow subgroups of F*(H), the generalized Fitting subgroup of H, is either c-normal or S-quasinormally embedded in G. (3) G ∈ if and only if there is a normal subgroup H such that G/H ∈ and every cyclic subgroup of F*(H) of prime order or order 4 is either c-normal or S-quasinormally embedded in G. Supported by the Natural Science Foundation of China and the Natural Science Foundation of Guangxi Autonomous Region (No. 0249001). Corresponding author. Supported in part by the Natural Science Foundation of China (10571181), NSF of Guangdong Province (06023728) and ARF(GDEI).     

Unilateral <Emphasis Type="Italic">o</Emphasis>-Groups

For a big number of varieties of groups close to Engelian, it is proved that a variety of lattice-ordered groups generated by all linearly ordered groups in the class does not coincide with the variety of all o-approximable lattice-ordered groups. Supported by FP “Universities of Russia” grant No. UR.04.01.001. __________ Translated from Algebra i Logika, Vol. 45, No. 1, pp. 20–27, January–February, 2006.     

<Emphasis Type="Italic">C</Emphasis>*-Homomorphisms and duality of <Emphasis Type="Italic">C</Emphasis>*-discrete quantum groups

Let

Open image in new window

be a C*-discrete quantum group and let

Open image in new window

be the discrete quantum group associated with

Open image in new window

. Suppose that there exists a continuous action of

Open image in new window

on a unital C*-algebra

Open image in new window

so that

Open image in new window

becomes a

Open image in new window

-algebra. If there is a faithful irreducible vacuum representation π of

Open image in new window

on a Hilbert space H =

Open image in new window

with a vacuum vector Ω, which gives rise to a

Open image in new window

-invariant state, then there is a unique C*-representation (θ, H) of

Open image in new window

supplemented by the action. The fixed point subspace of

Open image in new window

under the action of

Open image in new window

is exactly the commutant of θ(

Open image in new window

).

     

On sylowizers in finite <Emphasis Type="Italic">p</Emphasis>-soluble groups

In general, given a finite group G, a prime p and a p-subgroup R of G, the sylowizers of R in G are not conjugate. In this paper we afford some conditions to achieve the conjugation of the sylowizers of R in a p-soluble group G, among others

<Emphasis Type="Italic">c</Emphasis>-Semipermutable subgroups of finite groups

A subgroup is called c-semipermutable in G if A has a minimal supplement T in G such that for every subgroup T ₁ of T there is an element x ∈ T satisfying AT ₁ ^x = T ₁ ^x A. We obtain a few results about the c-semipermutable subgroups and use them to determine the structures of some finite groups.     

<Emphasis Type="Italic">K</Emphasis>-Radical classes and product radical classes of <Emphasis Type="Italic">MV</Emphasis>-algebras

For an MV-algebra let J ₀( ) be the system of all closed ideals of ; this system is partially ordered by the set-theoretical inclusion. A radical class X of MV-algebras will be called a K-radical class iff, whenever ∈ X and is an MV-algebra with J ₀( ) ≅ J ₀( ), then ∈ X. An analogous notation for lattice ordered groups was introduced and studied by Conrad. In the present paper we show that there is a one-to-one correspondence between K-radical classes of MV-algebras and K-radical classes of abelian lattice ordered groups. We also prove an analogous result for product radical classes of MV-algebras; product radical classes of lattice ordered groups were studied by Ton. This work has been partially supported by the Slovak Academy of Sciences via the project Center of Excellence-Physics of Information, Grant I/2/2005.     

<Emphasis Type="Italic">LJ</Emphasis>-spaces

In this paper LJ-spaces are introduced and studied. They are a common generalization of Lindelöf spaces and J-spaces researched by E. Michael. A space X is called an LJ-space if, whenever {A, B} is a closed cover of X with A ∩ B compact, then A or B is Lindelöf. Semi-strong LJ-spaces and strong LJ-spaces are also defined and investigated. It is demonstrated that the three spaces are different and have interesting properties and behaviors.     

Riesz <Emphasis Type="Italic">s</Emphasis>-Equilibrium Measures on <Emphasis Type="Italic">d</Emphasis>-Rectifiable Sets as <Emphasis Type="Italic">s</Emphasis> Approaches <Emphasis Type="Italic">d</Emphasis>

Let A be a compact set in of Hausdorff dimension d. For s ∈ (0,d) the Riesz s-equilibrium measure μ ^s is the unique Borel probability measure with support in A that minimizes

<Emphasis Type="Italic">W</Emphasis><Superscript>1,<Emphasis Type="Italic">p</Emphasis></Superscript>(R<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>)-boundedness for maximal functions

In this paper, we get W ^1,p (R ⁿ )-boundedness for tangential maximal function and nontangential maximal function, which improves J.Kinnunen, P.Lindqvist and Tananka’s results. Supported by the key Academic Discipline of Zhejiang Province of China under Grant No.2005 and the Zhejiang Provincial Natural Science Foundation of China.     

Remarks on the <Emphasis Type="Italic">k</Emphasis>-error linear complexity of <Emphasis Type="Italic">p</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>-periodic sequences

Recently the first author presented exact formulas for the number of 2 ⁿ -periodic binary sequences with given 1-error linear complexity, and an exact formula for the expected 1-error linear complexity and upper and lower bounds for the expected k-error linear complexity, k ≥ 2, of a random 2 ⁿ -periodic binary sequence. A crucial role for the analysis played the Chan–Games algorithm. We use a more sophisticated generalization of the Chan–Games algorithm by Ding et al. to obtain exact formulas for the counting function and the expected value for the 1-error linear complexity for p ⁿ -periodic sequences over prime. Additionally we discuss the calculation of lower and upper bounds on the k-error linear complexity of p ⁿ -periodic sequences over .      

On the <Emphasis Type="Italic">K</Emphasis>-Theory of Graph <Emphasis Type="Italic">C</Emphasis><Superscript>*</Superscript>-Algebras

We classify graph C ^*-algebras, namely, Cuntz-Krieger algebras associated to the Bass-Hashimoto edge incidence operator of a finite graph, up to strict isomorphism. This is done by a purely graph theoretical calculation of the K-theory of the C ^*-algebras and the method also provides an independent proof of the classification up to Morita equivalence and stable equivalence of such algebras, without using the boundary operator algebra. A direct relation is given between the K ₁-group of the algebra and the cycle space of the graph. We thank Jakub Byszewski for his input in Sect. 2.8. The position of the unit in K ₀( _Ч) was guessed based on some example calculations by Jannis Visser in his SCI 291 Science Laboratory at Utrecht University College.     

On <Emphasis Type="Italic">U</Emphasis>-orthodox semigroups

As a generalization of an orthodox semigroup in the class of regular semigroups, a type W semigroup was first investigated by El-Qallali and Fountain. As an analogy of the type W semigroups in the class of abundant semigroups, we introduce the U-orthodox semigroups. It is shown that the maximum congruence μ contained in on U-orthodox semigroups can be determined. As a consequence, we show that a U-orthodox semigroup S can be expressed by the spined product of a Hall semigroup W _U and a V-ample semigroup (T,V). This theorem not only generalizes a known result of Hall-Yamada for orthodox semigroups but also generalizes another known result of El-Qallali and Fountain for type W semigroups. This work was supported by National Natural Science Foundation of China (Grant No. 10671151) and Natural Science Foundation of Shaanxi Province (Grant No. SJ08A06), and partially by UGC (HK) (Grant No. 2160123)     

Point sets with low <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-discrepancy

In this paper we study the L _p -discrepancy of digitally shifted Hammersley point sets. While it is known that the (unshifted) Hammersley point set (which is also known as Roth net) with N points has L _p -discrepancy (p an integer) of order (log N)/N, we show that there always exists a shift such that the digitally shifted Hammersley point set has L _p -discrepancy (p an even integer) of order which is best possible by a result of W. Schmidt. Further we concentrate on the case p = 2. We give very tight lower and upper bounds for the L ₂-discrepancy of digitally shifted Hammersley point sets which show that the value of the L ₂-discrepancy of such a point set mostly depends on the number of zero coordinates of the shift and not so much on the position of these. This work is supported by the Austrian Research Fund (FWF), Project P17022-N12 and Project S8305.     

<Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript> discrepancy of generalized two-dimensional Hammersley point sets

We determine the L _p discrepancy of the two-dimensional Hammersley point set in base b. These formulas show that the L _p discrepancy of the Hammersley point set is not of best possible order with respect to the general (best possible) lower bound on L _p discrepancies due to Roth and Schmidt. To overcome this disadvantage we introduce permutations in the construction of the Hammersley point set and show that there always exist permutations such that the L _p discrepancy of the generalized Hammersley point set is of best possible order. For the L ₂ discrepancy such permutations are given explicitly. F.P. is supported by the Austrian Science Foundation (FWF), Project S9609, that is part of the Austrian National Research Network “Analytic Combinatorics and Probabilistic Number Theory”.     

On the <Emphasis Type="Italic">C</Emphasis>*-valued triangle equality and inequality in Hilbert <Emphasis Type="Italic">C</Emphasis>*-modules

We prove that for two elements x, y in a Hilbert C*-module V over a C*-algebra the C*-valued triangle equality |x + y| = |x| + |y| holds if and only if 〈x, y〉 = |x| |y|. In addition, if has a unit e, then for every x, y ∊ V and every ɛ > 0 there are contractions u, υ ∊ such that |x + y| ≦ u|x|u* + υ|y|υ* + ɛe.