The number of S-precomplete classes in the functional system <Emphasis Type="Italic">P</Emphasis><Stack><Subscript><Emphasis Type="Italic">κ</Emphasis></Subscript><Superscript><Emphasis Type="Italic">τ</Emphasis></Superscript></Stack>

The problem on the number of precomplete classes in the functional system P _κ ^τ is considered, elements of P _κ ^τ are deterministic S-functions defined on words of length τ composed from letters of an alphabet of cardinality κ. An asymptotics for the number of S-precomplete classes in P _κ ^τ is obtained for arbitrary fixed κ and τ tending to infinity.     

The smooth structure set of <Emphasis Type="Italic">S</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> × <Emphasis Type="Italic">S</Emphasis><Superscript><Emphasis Type="Italic">q</Emphasis></Superscript>

We calculate \({\mathcal{S}^{{\it Diff}}(S^p \times S^q)}\), the smooth structure set of S ^p × S ^q , for p, q ≥ 2 and p + q ≥ 5. As a consequence we show that in general \({\mathcal{S}^{Diff}(S^{4j-1}\times S^{4k})}\) cannot admit a group structure such that the smooth surgery exact sequence is a long exact sequence of groups. We also show that the image of the forgetful map \({\mathcal{S}^{Diff}(S^{4j}\times S^{4k}) \rightarrow \mathcal{S}^{Top}(S^{4j}\times S^{4k})}\) is not in general a subgroup of the topological structure set.     

On Dirichlet Type Spaces <Emphasis Type="Italic">A</Emphasis><Stack><Subscript><Emphasis Type="Italic">ω</Emphasis></Subscript><Superscript>2</Superscript></Stack> Over the Half–Plane

Some extensions of the results of the first author related with the Hilbert spaces A _ω,0 ² of functions holomorphic in the half–plane are proved. Some new Hilbert spaces A _ω ² of Dirichlet type are introduced, which are included in the Hardy space H2 over the half–plane. Several results on representations, boundary properties, isometry, interpolation, biorthogonal systems and bases are obtained for the spaces A _ω ² ? H₂.     

The critical group of <Emphasis Type="Italic">K</Emphasis><Subscript><Emphasis Type="Italic">m</Emphasis></Subscript> × <Emphasis Type="Italic">C</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>

In this paper, the structure of the critical group of the graph K _m × C _n is determined, where m, n ≥ 3.     

On the Crossing Number of <Emphasis Type="Italic">K</Emphasis><Subscript><Emphasis Type="Italic">m</Emphasis></Subscript> □ <Emphasis Type="Italic">P</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>

Crossing numbers of graphs are in general very difficult to compute. There are several known exact results on the crossing number of the Cartesian products of paths, cycles or stars with small graphs. In this paper we study cr(K_m □ P_n), the crossing number of the Cartesian product K_m □ P_n. We prove that for m ≥ 3,n ≥ 1 and cr(K_m □ P_n)≥ (n − 1)cr(K_m+2 − e) + 2cr(K_m+1). For m≤ 5, according to Klešč, Jendrol and Ščerbová, the equality holds. In this paper, we also prove that the equality holds for m = 6, i.e., cr(K₆ □ P_n) = 15n + 3. Research supported by NFSC (60373096, 60573022).     

Pointwise multipliers and decomposition theorems in <Emphasis Type="Italic">F</Emphasis><Superscript><Emphasis Type="Italic">∞,q</Emphasis></Superscript><Subscript><Emphasis Type="Italic">s</Emphasis></Subscript>

In this paper we give a characterization of the pointwise multipliers of the holomorphic Triebel-Lizorkin spaces F^{, q}_s, and we apply these results to prove a corona decomposition theorem for these spaces.Mathematics Subject Classification (1991):32A37Both authors partially supported by DGICYT Grant BMF2002-04072-C02-01 and CIRIT Grant 2001-SGR-00172     

Equitable total coloring of <Emphasis Type="Italic">F</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript> ⋁ <Emphasis Type="Italic">W</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>

The minimum number of total independent partition sets of V ∪ E of graph G(V,E) is called the total chromatic number of G denoted by χ _t (G). If the difference of the numbers of any two total independent partition sets of V ∪ E is no more than one, then the minimum number of total independent partition sets of V ∪ E is called the equitable total chromatic number of G, denoted by χ _et (G). In this paper, we obtain the equitable total chromatic number of the join graph of fan and wheel with the same order. Supported by the National Natural Science Foundation of China (No. 10771091).     

Difference sets with <Emphasis Type="Italic">n</Emphasis> = 5<Emphasis Type="Italic"> p</Emphasis><Superscript><Emphasis Type="Italic">r</Emphasis></Superscript>

Let D be a (v, k, λ)-difference set in an abelian group G, and (v, 31) = 1. If n = 5p ^r with p a prime not dividing v and r a positive integer, then p is a multiplier of D. In the case 31|v, we get restrictions on the parameters of such difference sets D for which p may not be a multiplier.      

Borel equivalence relations between <Emphasis Type="Italic">ℓ</Emphasis><Subscript>1</Subscript> and <Emphasis Type="Italic">ℓ</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>

In this paper, we show that, for each p 〉 1, there are continuum many Borel equivalence relations between Rω/l1 and Rω/p ordered by ≤B which are pairwise Borel incomparable.     

Cycles in <Emphasis Type="Italic">G</Emphasis>-orbits in <Emphasis Type="Italic">G</Emphasis><Superscript><Emphasis Type="Italic">ℂ</Emphasis></Superscript>-flag manifolds

There is a natural duality between orbits of a real form G of a complex semisimple group G on a homogeneous rational manifold Z=G /P and those of the complexification K of any of its maximal compact subgroups K: (,) is a dual pair if is a K-orbit. The cycle space C() is defined to be the connected component containing the identity of the interior of {g:g() is non-empty and compact}. Using methods which were recently developed for the case of open G-orbits, geometric properties of cycles are proved, and it is shown that C() is contained in a domain defined by incidence geometry. In the non-Hermitian case this is a key ingredient for proving that C() is a certain explicitly computable universal domain.Research of the first author partially supported by Schwerpunkt Global methods in complex geometry and SFB-237 of the Deutsche Forschungsgemeinschaft.The second author was supported by a stipend of the Deutsche Akademische Austauschdienst.     

Free involutions on <Emphasis Type="Italic">S</Emphasis><Superscript>1</Superscript> × <Emphasis Type="Italic">S</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

Topological free involutions on S ¹ × S ⁿ are classified up to conjugation. We prove that this is the same as classifying quotient manifolds up to homeomorphism. There are exactly four possible homotopy types of such quotients, and surgery theory is used to classify all manifolds within each homotopy type.     

A norm of partial sums of Fourier-Jacobi series for functions from <Emphasis Type="Italic">L</Emphasis><Stack><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript><Superscript>(<Emphasis Type="Italic">α,β</Emphasis>)</Superscript></Stack>

Asymptotic estimates for a norm of partial sums of Fourier-Jacobi series of functions from L _p ^(α,β) are obtained.     

<Emphasis Type="Italic">OD</Emphasis>-Characterization of the automorphism groups of <Emphasis Type="Italic">O</Emphasis><Stack><Subscript>10</Subscript><Superscript>±</Superscript></Stack>(2)

The prime graph of a finite group was introduced by Gruenberg and Kegel. The degree pattern of a finite group G associated to its prime graph was introduced in [1] and denoted by D(G). The group G is called k-fold OD-characterizable if there exist exactly k non-isomorphic groups H satisfying conditions (1) |G| = |H| and (2) D(G) = D(H). Moreover, a 1-fold OD-characterizable group is simply called an OD-characterizable group. Till now a lot of finite simple groups were shown to be OD-characterizable, and also some finite groups especially the automorphism groups of some finite simple groups were shown not being OD-characterizable but k-fold OD-characterizable for some k > 1. In the present paper, the authors continue this topic and show that the automorphism groups of orthogonal groups O ₁₀⁺(2) and O ₁₀⁻(2) are OD-characterizable.     

Regular<Emphasis Type="Italic">n</Emphasis>-simplices in ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript> with vertices in ℤ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

In this paper theI andII regularn-simplices are introduced. We prove that the sufficient and necessary conditions for existence of anI regularn-simplex in ℝ ⁿ are that ifn is even thenn = 4m(m + 1), and ifn is odd thenn = 4m + 1 with thatn + 1 can be expressed as a sum of two integral squares orn = 4m - 1, and that the sufficient and necessary condition for existence of aII regularn-simplex in ℝ ⁿ isn = 2m ² - 1 orn = 4m(m + 1)(m ∈ ℕ). The connection between regularn-simplex in ℝ ⁿ and combinational design is given.     

Weak-Polynomial Convergence on Spaces ℓ<Subscript><Emphasis Type="Italic">p</Emphasis></Subscript> and <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>

This paper is concerned with the study of the set P ^-1(0), when P varies over all orthogonally additive polynomials on _p and L _p spaces. We apply our results to obtain characterizations of the weak-polynomial topologies associated to this class of polynomials.     

Ramanujan complexes of type<Emphasis Type="Italic">Ã</Emphasis><Subscript><Emphasis Type="Italic">d</Emphasis></Subscript>

We define and construct Ramanujan complexes. These are simplicial complexes which are higher dimensional analogues of Ramanujan graphs (constructed in [LPS]). They are obtained as quotients of the buildings of typeà _d?1 associated with PGL _d (F) whereF is a local field of positive characteristic.     

<Emphasis Type="Italic">L</Emphasis><Superscript>1</Superscript>(<Emphasis Type="Italic">μ</Emphasis>) for vector-valued measure <Emphasis Type="Italic">μ</Emphasis>

Let μ be a measure from a σ-algebra of subsets of a set T into a sequentially complete Hausdorff topological vector space X. Assume that μ is convexly bounded, i.e., the convex hull of its range is bounded in X, and denote by L ¹(μ) the space of scalar valued functions on T which are integrable with respect to the vector measure μ. We study the inheritance of some properties from X to L ¹(μ). We show that the bounded multiplier property passes from X to L ¹(μ). Answering a 1972 problem of Erik Thomas, we show that for a rather large class of F-spaces X the non-containment of c ₀ passes from X to L ¹(μ).     

The crossing number of <Emphasis Type="Italic">G</Emphasis> ▭ <Emphasis Type="Italic">C</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript> for the graph <Emphasis Type="Italic">G</Emphasis> on six vertices

The crossing numbers of Cartesian products of paths, cycles or stars with all graphs of order at most four are known. The crossing numbers of G□C _n for some graphs G on five and six vertices and the cycle C _n are also given. In this paper, we extend these results by determining the crossing number of the Cartesian product G □ C _n , where G is a specific graph on six vertices.     

<Emphasis Type="Italic">C</Emphasis><Superscript>1+<Emphasis Type="Italic">α</Emphasis></Superscript>-Regularity for Two-Dimensional Almost-Minimal Sets in ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

We give a new proof and a partial generalization of Jean Taylor’s result (Ann. Math. (2) 103(3), 489–539, 1976) that says that Almgren almost-minimal sets of dimension 2 in ℝ³ are locally C ^1+α -equivalent to minimal cones. The proof is rather elementary, but uses a local separation result proved in Ann. Fac. Sci. Toulouse 18(1), 65–246, 2009 and an extension of Reifenberg’s parameterization theorem (David et al. in Geom. Funct. Anal. 18, 1168–1235, 2008). The key idea is still that if X is the cone over an arc of small Lipschitz graph in the unit sphere, but X is not contained in a disk, we can use the graph of a harmonic function to deform X and substantially diminish its area. The local separation result is used to reduce to unions of cones over arcs of Lipschitz graphs. A good part of the proof extends to minimal sets of dimension 2 in ℝ ⁿ , but in this setting our final regularity result on E may depend on the list of minimal cones obtained as blow-up limits of E at a point.     

Free completely <Emphasis Type="Italic">J</Emphasis><Superscript>(<Emphasis Type="Italic">ℓ</Emphasis>)</Superscript>-simple Semigroups

A semigroup is called completely J^(ι)-simple if it is isomorphic to some Rees matrix semigroup over a left cancellative monoid and each entry of whose sandwich matrix is in the group of units of the left cancellative monoid. It is proved that completely J^(ι)-simple semigroups form a quasivarity. Moreover, the construction of free completely J^(ι)-simple semigroups is given. It is found that a free completely J^(ι)-simple semigroup is just a free completely J ^*-simple semigroup and also a full subsemigroup of some completely simple semigroups.