<Emphasis Type="Italic">f</Emphasis>-Colorings of some graphs of <Emphasis Type="Italic">f</Emphasis>-class 1

An f-coloring of a graph G is an edge-coloring of G such that each color appears at each vertex v V（G） at most f（v） times. The minimum number of colors needed to f-color G is called the f-chromatic index of G and is denoted by X′f（G）. Any simple graph G has the f-chromatic index equal to △f（G） or △f（G） ＋ 1, where △f（G） =max v V（G）{[d（v）/f（v）]}. If X′f（G） = △f（G）, then G is of f-class 1; otherwise G is of f-class 2. In this paper, a class of graphs of f-class 1 are obtained by a constructive proof. As a result, f-colorings of these graphs with △f（G） colors are given.     

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.     

<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.     

Cc （X） Spaces with X Locally Compact

In this paper, we show, among other results, that if X is a [separable] locally compact space X [satisfying the first countability axiom] then the space Cc （X） has countable tightness [if and only if it has bounding tightness] if and only if it is Frechet-Urysohn, if and only if Cc （X） contains a dense （LM） subspace and if and only if X is a-compact.     

LOWER SEMICONTINUITY OF A CLASS OF FUNCTIONALS IN SBVH

In this paper lower semicontinuity of the functional I(u)=∫ _Ω f(x,u,Δ _Hu)dx is investigated for f being a Carathéodory function defined on H ⁿ × R × R²ⁿ and for u∈SBV _H (Ω), where H ⁿ is the Heisenberg group with dimension 2n+1, Ω∩H ⁿ is an open set and ∇ Hu denotes the approximate derivative of the absolute continuous part D ^a _Hu with respect to D _Hu. In addition, a Lusin type approximation theorem for a SBV _H function is proved.     

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〈∞.     

Lifting elementary embeddings <Emphasis Type="Italic">j</Emphasis>: <Emphasis Type="Italic">V</Emphasis><Subscript>λ</Subscript> → <Emphasis Type="Italic">V</Emphasis><Subscript>λ</Subscript>

We describe a fairly general procedure for preserving I₃ embeddings j: V _λ → V _λ via λ-stage reverse Easton iterated forcings. We use this method to prove that, assuming the consistency of an I₃ embedding, V = HOD is consistent with the theory ZFC + WA where WA is an axiom schema in the language {∈, j} asserting a strong but not inconsistent form of “there is an elementary embedding V → V”. This improves upon an earlier result in which consistency was established assuming an I₁ embedding.      

Extensions of 2-homogeneous polynomials on <Emphasis Type="Italic">c</Emphasis><Subscript>0</Subscript>

We prove that every 2-homogeneous polynomial on the complex co has a unique normpreserving extension to its bidual l∞.     

The <Emphasis Type="Italic">p</Emphasis>-rank of Ext<Subscript>ℤ</Subscript>(<Emphasis Type="Italic">G</Emphasis>, ℤ) in certain models of <Emphasis Type="Italic">ZFC</Emphasis>

We prove that if the existence of a supercompact cardinal is consistent with ZFC, then it is consistent with ZFC that the p-rank of Ext _ℤ(G, ℤ) is as large as possible for every prime p and for any torsion-free Abelian group G. Moreover, given an uncountable strong limit cardinal μ of countable cofinality and a partition of Π (the set of primes) into two disjoint subsets Π₀ and Π₁, we show that in some model which is very close to ZFC, there is an almost free Abelian group G of size 2^μ = μ⁺ such that the p-rank of Ext _ℤ(G, ℤ) equals 2^μ = μ⁺ for every p ∈ Π₀ and 0 otherwise, that is, for p ∈ Π₁. Number 874 in Shelah’s list of publications. Supported by the German-Israeli Foundation for Scientific Research & Development project No. I-706-54.6/2001. Supported by a grant from the German Research Foundation DFG. __________ Translated from Algebra i Logika, Vol. 46, No. 3, pp. 369–397, May–June, 2007.     

The spectrum of (<Emphasis Type="Italic">gv</Emphasis>, <Emphasis Type="Italic">g</Emphasis>, 3, λ)-DF in <Emphasis Type="Italic">Z</Emphasis><Subscript><Emphasis Type="Italic">gv</Emphasis></Subscript>

In this paper, the necessary and sufficient conditions for the existence of a (gv, g, 3, λ)-difference family in Z _gv are established. As a consequence, the existence spectrum of a cyclic (3, λ)-GDD of type g ^v without short orbits is determined. This work was supported by National Natural Science Foundation of China (Grants Nos. 10771013, 10831002)     

<Emphasis Type="Italic">Q</Emphasis>-measures on <Emphasis Type="Italic">Q</Emphasis><Subscript><Emphasis Type="Italic">κ</Emphasis></Subscript>λ

 We give a characterization of strongly compact cardinals in terms of Q _κ λ. We also prove that weakly normal Q-measures on Q _κ λ are ⊂κ-normal. Received: 29 September 2000 / Revised version: March 2002 Published online: 5 November 2002 This project is supported by the New Zealand Marsden Fund. The author wishes to thank the referee for numerous comments and suggestions which have been incorporated into this version of the paper.     

Finiteness conditions and PD<Subscript><Emphasis Type="Italic">r</Emphasis></Subscript>-group covers of PD<Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>-complexes

We show that an infinite cyclic covering space M′ of a PD _n -complex M is a PD _n-1-complex if and only if χ(M) = 0, M′ is homotopy equivalent to a complex with finite [(n−1)/2]-skeleton and π₁(M′) is finitely presentable. This is best possible in terms of minimal finiteness assumptions on the covering space. We give also a corresponding result for covering spaces M _ν with covering group a PD _r -group under a slightly stricter finiteness condition.      

On the ideal (<Emphasis Type="Italic">v</Emphasis><Superscript>0</Superscript>)

The σ-ideal (v ⁰) is associated with the Silver forcing, see [5]. Also, it constitutes the family of all completely doughnut null sets, see [9]. We introduce segment topologies to state some resemblances of (v ⁰) to the family of Ramsey null sets. To describe add(v ⁰) we adopt a proof of Base Matrix Lemma. Consistent results are stated, too. Halbeisen’s conjecture cov(v ⁰) = add(v ⁰) is confirmed under the hypothesis t = min{cf(c), r}. The hypothesis cov(v ⁰) = ω ₁ implies that (v ⁰) has the ideal type (c, ω ₁, c).      

On <Emphasis Type="Italic">l</Emphasis><Subscript>2,<Emphasis Type="Italic">p</Emphasis></Subscript>-circle numbers

Circle numbers are defined to reflect the Euclidean area-content and, for p ≠ 2, suitably defined non-Euclidean circumference properties of the l _2,p -circles, p ∈ [1, ∞]. The resulting function is continuous, increasing, and takes all values from [2, 4]. The actually chosen dual l _2,p -geometry for measuring the arc-length is closely connected with a generalization of the method of indivisibles of Cavalieri and Torricelli in the sense that integrating such arc-lengths means measuring area content. Moreover, this approach enables one to look in a new way into the co-area formula of measure theory which says that integrating Euclidean arc-lengths does not yield area content except for p = 2. The new circle numbers play a natural role, e.g., as norming constants in geometric measure representation formulae for p-generalized uniform probability distributions on l _2,p -circles.     

<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).     

Localization of <Emphasis Type="Italic">LM</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>-algebras

The aim of this paper is to define the localization LM _n -algebra of an LM _n —algebra L with respect to a topology F on L; in Section 5 we prove that the maximal LM _n -algebra of fractions (defined in [3]) and the LM _n -algebra of fractions relative to an Λ—closed system (defined in Section 2) are LM _n -algebras of localization.     

Lacunary Strong (<Emphasis Type="Italic">A</Emphasis><Subscript><Emphasis Type="Italic">σ</Emphasis></Subscript><Emphasis Type="Italic">, p</Emphasis>)-Convergence

The definition of lacunary strongly convergence is extended to the definition of lacunary strong (A _σ , p)-convergence with respect to invariant mean when A is an infinite matrix and p = (p _i ) is a strictly positive sequence. We study some properties and inclusion relations.     

On the asymptotic optimality of the <Emphasis Type="Italic">cμ</Emphasis>/<Emphasis Type="Italic">θ</Emphasis> rule under ergodic cost

We consider an overloaded multi-server multi-class queueing model where customers may abandon while waiting to be served. For class i, service is provided at rate μ _i , and abandonment occurs at rate θ _i . In a many-server fluid regime, we show that prioritizing the classes in decreasing order of c _i μ _i /θ _i asymptotically minimizes an ergodic holding cost, where c _i denotes the equivalent holding cost per unit time for class i.