Finite-dimensional <Emphasis Type="Italic">ℓ</Emphasis>-simple lattice-ordered algebras with a <Emphasis Type="Italic">d</Emphasis>-basis

It is shown that a unital finite-dimensional ℓ-simple ℓ-algebra with a distributive basis is isomorphic to a lattice-ordered matrix algebra with the entrywise lattice order over a lattice-ordered twisted group algebra of a finite group with the coordinatewise lattice order. It is also shown that the isomorphism is unique.     

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.     

On blocks with <Emphasis Type="Italic">K</Emphasis>(<Emphasis Type="Italic">B</Emphasis>)−<Emphasis Type="Italic">L</Emphasis>(<Emphasis Type="Italic">B</Emphasis>)=1

We use the method of local representation and original method of Brauer to study the block with K(B)−L(B)=1, and get some properties on the defect group and the structure of this kind of blocks. Then, we show that K(B) conjecture holds for this kind of blocks.     

On the equation Δ<Emphasis Type="Italic">u</Emphasis> + <Emphasis Type="Italic">q</Emphasis>(<Emphasis Type="Italic">x</Emphasis>)<Emphasis Type="Italic">u</Emphasis> = 0

Sufficient conditions for the blow-up of nontrivial generalized solutions of the interior Dirichlet problem with homogeneous boundary condition for the homogeneous elliptic-type equation Δu + q(x)u = 0, where either q(x) ≠ const or q(x) = const= λ > 0, are obtained. A priori upper bounds (Theorem 4 and Remark 6) for the exact constants in the well-known Sobolev and Steklov inequalities are established.     

On common values of <Emphasis Type="Italic">φ</Emphasis>(<Emphasis Type="Italic">n</Emphasis>) and <Emphasis Type="Italic">σ</Emphasis>(<Emphasis Type="Italic">m</Emphasis>). I

We show, conditional on a uniform version of the prime k-tuples conjecture, that there are x/(log x)^1+o(1) numbers not exceeding x common to the ranges of φ and σ. Here φ is Euler’s totient function and σ is the sum-of-divisors function.     

On Analytic Campanato and <Emphasis Type="Italic">F</Emphasis>(<Emphasis Type="Italic">p</Emphasis>, <Emphasis Type="Italic">q</Emphasis>, <Emphasis Type="Italic">s</Emphasis>) Spaces

We investigate the relation between analytic Campanato spaces \(\mathcal {AL}_{p,s}\) and the spaces F(p, q, s), characterize the bounded and compact Riemann–Stieltjes operators from \(\mathcal {AL}_{p,s}\) to \(F(p,p-s-1,s)\). We also describe the corona theorem and the interpolating sequences for the class \(F(p,p-2,s)\), which is the Möbius invariant subspace of the analytic Besov type spaces \(B_p(s)\).     

Systematic Construction of <Emphasis Type="Italic">q</Emphasis>-Analogs of <Emphasis Type="Italic">t</Emphasis>−(<Emphasis Type="Italic">v</Emphasis>,<Emphasis Type="Italic">k</Emphasis>,λ)-Designs

In the present paper we consider a q-analog of t–(v,k,)-designs. It is canonic since it arises by replacing sets by vector spaces over GF(q), and their orders by dimensions. These generalizations were introduced by Thomas [Geom.Dedicata vol. 63, pp. 247–253 (1996)] they are called t –(v,k,;q)- designs. A few of such q-analogs are known today, they were constructed using sophisticated geometric arguments and case-by-case methods. It is our aim now to present a general method that allows systematically to construct such designs, and to give complete catalogs (for small parameters, of course) using an implemented software package. &nbsp; In order to attack the (highly complex) construction, we prepare them for an enormous data reduction by embedding their definition into the theory of group actions on posets, so that we can derive and use a generalization of the Kramer-Mesner matrix for their definition, together with an improved version of the LLL-algorithm. By doing so we generalize the methods developed in a research project on t –(v,k,)-designs on sets, obtaining this way new results on the existence of t–(v,k,;q)-designs on spaces for further quintuples (t,v,k,;q) of parameters. We present several 2–(6,3,;2)-designs, 2–(7,3,;2)-designs and, as far as we know, the very first 3-designs over GF(q).classification 05B05     

Time-dependent analysis of an <Emphasis Type="Italic">M</Emphasis> / <Emphasis Type="Italic">M</Emphasis> / <Emphasis Type="Italic">c</Emphasis> preemptive priority system with two priority classes

We analyze the time-dependent behavior of an M / M / c priority queue having two customer classes, class-dependent service rates, and preemptive priority between classes. More particularly, we develop a method that determines the Laplace transforms of the transition functions when the system is initially empty. The Laplace transforms corresponding to states with at least c high-priority customers are expressed explicitly in terms of the Laplace transforms corresponding to states with at most \(c - 1\) high-priority customers. We then show how to compute the remaining Laplace transforms recursively, by making use of a variant of Ramaswami’s formula from the theory of M / G / 1-type Markov processes. While the primary focus of our work is on deriving Laplace transforms of transition functions, analogous results can be derived for the stationary distribution; these results seem to yield the most explicit expressions known to date.     

Derivatives for smooth representations of <Emphasis Type="Italic">GL</Emphasis>(<Emphasis Type="Italic">n</Emphasis>, ℝ) and <Emphasis Type="Italic">GL</Emphasis>(<Emphasis Type="Italic">n</Emphasis>, ℂ)

The notion of derivatives for smooth representations of GL(n, ? _p ) was defined in [BZ77]. In the archimedean case, an analog of the highest derivative was defined for irreducible unitary representations in [Sah89] and called the “adduced” representation. In this paper we define derivatives of all orders for smooth admissible Fréchet representations of moderate growth. The real case is more problematic than the p-adic case; for example, arbitrary derivatives need not be admissible. However, the highest derivative continues being admissible, and for irreducible unitarizable representations coincides with the space of smooth vectors of the adduced representation.In the companion paper [AGS] we prove exactness of the highest derivative functor, and compute highest derivatives of all monomial representations.We apply those results to finish the computation of adduced representations for all irreducible unitary representations and to prove uniqueness of degenerate Whittaker models for unitary representations, thus completing the results of [Sah89, Sah90, SaSt90, GS13a].     

A theorem of the alternatives for the equation |<Emphasis Type="Italic">Ax</Emphasis>| − |<Emphasis Type="Italic">B</Emphasis>||<Emphasis Type="Italic">x</Emphasis>| = <Emphasis Type="Italic">b</Emphasis>

A theorem of the alternatives for the equation \({|Ax|-|B||x|=b\ (A,B\in{\mathbb{R}}^{n\times n},\, b\in{\mathbb{R}}^n)}\) is proved and several consequences are drawn. In particular, a class of matrices A, B is identified for which the equation has exactly 2 ⁿ solutions for each positive right-hand side b.     

An <Emphasis Type="Italic">L</Emphasis>-approach for packing (<Emphasis Type="Italic">ℓ</Emphasis>, <Emphasis Type="Italic">w</Emphasis>)-rectangles into rectangular and <Emphasis Type="Italic">L</Emphasis>-shaped pieces

This paper presents an approach using a recursive algorithm for packing (?, w)-rectangles into larger rectangular and L-shaped pieces. Such a problem has actual applications for non-guillotine cutting and pallet/container loading. Our motivation for developing the L-approach is based on the fact that it can solve difficult pallet loading instances. Indeed, it is able to solve all testing problems (more than 20 000 representatives of infinite equivalence classes of the literature), including the 18 hard instances unresolved by other heuristics. We conjecture that the L-approach always finds optimum packings of (?, w)-rectangles into rectangular pieces. Moreover, the approach may also be useful when dealing with cutting and packing problems involving L-shaped pieces.     

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

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

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.     

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">L</Emphasis>Σ(≤ <Emphasis Type="Italic">ω</Emphasis>)-spaces and spaces of continuous functions

We present a few results and problems related to spaces of continuous functions with the topology of pointwise convergence and the classes of LΣ(≤ ω)-spaces; in particular, we prove that every Gul’ko compact space of cardinality less or equal to $ \mathfrak{c} $ \mathfrak{c} is an LΣ(≤ ω)-space.     

Asymptotic Properties of <Emphasis Type="Italic">QML</Emphasis> Estimation of Multivariate Periodic <Emphasis Type="Italic">CCC</Emphasis> − <Emphasis Type="Italic">GARCH</Emphasis> Models

In this paper, we explore some probabilistic and statistical properties of constant conditional correlation (CCC) multivariate periodic GARCH models (CCC ? PGARCH for short). These models which encompass some interesting classes having (locally) long memory property, play an outstanding role in modelling multivariate financial time series exhibiting certain heteroskedasticity. So, we give in the first part some basic structural properties of such models as conditions ensuring the existence of the strict stationary and geometric ergodic solution (in periodic sense). As a result, it is shown that the moments of some positive order for strictly stationary solution of CCC ? PGARCH models are finite.Upon this finding, we focus in the second part on the quasi-maximum likelihood (QML) estimator for estimating the unknown parameters involved in the models. So we establish strong consistency and asymptotic normality (CAN) of CCC ? PGARCH models.     

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.     

Double Arrays,Triple Arrays and Balanced Grids with <Emphasis Type="Italic">v</Emphasis>=<Emphasis Type="Italic">r</Emphasis>+<Emphasis Type="Italic">c</Emphasis> −1

In Theorem 6.1 of McSorley et al. [3] it was shown that, when v=r+c−1, every triple array TA(v,k,λ_rr,λ_cc,k:r× c) is a balanced grid BG(v,k,k:r × c). Here we prove the converse of this Theorem. Our final result is: Let v=r+c−1. Then every triple array is a TA(v,k,c−k,r−k,k:r× c) and every balanced grid is a BG(v,k,k:r× c), and they are equivalent.Communicated by: J.D. Key     

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.