Principal forms <Emphasis Type="Italic">X</Emphasis><Superscript>2</Superscript>+<Emphasis Type="Italic">nY</Emphasis><Superscript>2</Superscript> representing many integers

In 1966, Shanks and Schmid investigated the asymptotic behavior of the number of positive integers less than or equal to x which are represented by the quadratic form X ²+nY ². Based on some numerical computations, they observed that the constant occurring in the main term appears to be the largest for n=2. In this paper, we prove that in fact this constant is unbounded as n runs through positive integers with a fixed number of prime divisors.     

On the Diophantine Queueing System, <Emphasis Type="Italic">D/D</Emphasis><Superscript><Emphasis Type="Italic">a,b</Emphasis></Superscript><Emphasis Type="Italic">/</Emphasis>1

This paper considers the solution of a deterministic queueing system. In this system, the single server provides service in bulk with a threshold for the acceptance of customers into service. Analytic results are given for the steady-state probabilities of the number of customers in the system and in the queue for random and pre-arrival epochs. The solution of this system is a prerequisite to a four-point approximation to the model GI/G ^a,b /1. The paper demonstrates that the solution of such a system is not a trivial problem and can produce interesting results. The graphical solution discussed in the literature requires that the traffic intensity be a rational number. The results so generated may be misleading in practice when a control policy is imposed, even when the probability distributions for the interarrival and service times are both deterministic.     

Equivariant Classification of <Emphasis Type="Italic">b</Emphasis><Superscript><Emphasis Type="Italic">m</Emphasis></Superscript>-symplectic Surfaces

Inspired by Arnold’s classification of local Poisson structures [1] in the plane using the hierarchy of singularities of smooth functions, we consider the problem of global classification of Poisson structures on surfaces. Among the wide class of Poisson structures, we consider the class of b^m-Poisson structures which can be also visualized using differential forms with singularities as b^m-symplectic structures. In this paper we extend the classification scheme in [24] for b^m-symplectic surfaces to the equivariant setting. When the compact group is the group of deck-transformations of an orientable covering, this yields the classification of these objects for nonorientable surfaces. The paper also includes recipes to construct b^m-symplectic structures on surfaces. The feasibility of such constructions depends on orientability and on the colorability of an associated graph. The desingularization technique in [10] is revisited for surfaces and the compatibility with this classification scheme is analyzed in detail.     

<Emphasis Type="Italic">K</Emphasis>-homology of <Emphasis Type="Italic">C</Emphasis><Superscript><Emphasis Type="Italic">*</Emphasis></Superscript>-categories and symmetric spectra representing <Emphasis Type="Italic">K</Emphasis>-homology

We define K-homology groups K _* () for small C ^* -categories in terms of Hilbert modules over the C ^* -category . We also define a functor A ^f from the category of small C ^* -categories into the category of C ^* -algebras and show that there is a natural isomorphism . In addition, we give an easy construction of a functor from the category of C ^* -algebras into the category of symmetric spectra which represents K-homology, i.e. we show that the functor comes with a natural isomorphism for C ^* -algebras A. It then follows that the composition A ^f provides a functor that can be used in the Davis-Lück approach for constructing the Baum-Connes map.     

On the parity of the class number of an imaginary abelian field of conductor 2<Superscript><Emphasis Type="Italic">a</Emphasis></Superscript><Emphasis Type="Italic">p</Emphasis><Superscript><Emphasis Type="Italic">b</Emphasis></Superscript>

Let p be an odd prime number, and p^n₀{p^{n_0}} the highest power of p dividing 2 ^p−1 − 1. Let K_n=Q(z_pⁿ⁺¹){K_n={\bf Q}(\zeta_{p^{n+1}})} and L_n,j=K_n⁺(z_2^j+2){L_{n,j}=K_n^+(\zeta_{2^{j+2}})} for j ≥ 0. Let h_n^*{h_n^*} be the relative class number of K _n , and h _n,j the class number of L _n,j , respectively. Let n be an integer with n ≥ n ₀. We prove that if the ratio h_n^*/h_n-1^*{h_n^*/h_{n-1}^*} is odd, then h _n,j /h _n−1,j is odd for any j ≥ 0.     

Further Results for the Queueing System <Emphasis Type="Italic">M</Emphasis><Superscript><Emphasis Type="Italic">x</Emphasis></Superscript>/<Emphasis Type="Italic">M</Emphasis>/<Emphasis Type="Italic">c</Emphasis>

For the multi-channel bulk-arrival queue, M ^x /M/c, Abol'nikov and Kabak independently obtained steady state results. In this paper the results of these authors are extended, corrected and simplified. A number of measures of efficiency are calculated for three cases where the arrival group size has: (i) a constant value, (ii) a geometric distribution, or (iii) a positive Poisson distribution. The paper also shows how to calculate fractiles for both the queue length and the waiting time distribution. Examples of extensive numerical results for certain measures of efficiency are presented in tabular and chart form.     

Compact embedded rotation hypersurfaces of <Emphasis Type="Italic">S</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis>+1</Superscript>

In this paper, we prove that and round geodesic spheres are the only n-dimensional compact embedded rotation hypersurfaces with H_m = 0 (1 ≤ m ≤ n − 1) in a unit sphere Sⁿ⁺¹(1). When m = 1, our result reduces to the result of T. Otsuki [O1], [O2], Brito and Leite [BL]. The project is supported by the grant No. 10531090 of NSFC.     

LP（Rn）-Boundedness of certain commutators

In this paper, the Lp(Rn)-boundedness of the commutators generalized by BMO(Rn) function and the singular integral operator T with rough kernel Ω∈ Llog+ L(Sn-1) is proved by using the Bony's formula for the paraproduct of two functions.     

Rate of convergence to stationarity of the system <Emphasis Type="Italic">M</Emphasis>/<Emphasis Type="Italic">M</Emphasis>/<Emphasis Type="Italic">N</Emphasis>/<Emphasis Type="Italic">N</Emphasis>+<Emphasis Type="Italic">R</Emphasis>

We consider the M/M/N/N+R service system, characterized by N servers, R waiting positions, Poisson arrivals and exponential service times. We discuss representations and bounds for the rate of convergence to stationarity of the number of customers in the system, and study its behaviour as a function of R, N and the arrival rate λ, allowing λ to be a function of N.     

Processes of <Emphasis Type="Italic">r</Emphasis><Superscript><Emphasis Type="Italic">t</Emphasis><Emphasis Type="Italic">h</Emphasis></Superscript> largest

For integers n ≥ r, we treat the rth largest of a sample of size n as an \(\mathbb {R}^{\infty }\)-valued stochastic process in r which we denote as M^(r). We show that the sequence regarded in this way satisfies the Markov property. We go on to study the asymptotic behavior of M^(r) as r → ∞, and, borrowing from classical extreme value theory, show that left-tail domain of attraction conditions on the underlying distribution of the sample guarantee weak limits for both the range of M^(r) and M^(r) itself, after norming and centering. In continuous time, an analogous process Y^(r) based on a two-dimensional Poisson process on \(\mathbb {R}_{+}\times \mathbb {R}\) is treated similarly, but we note that the continuous time problems have a distinctive additional feature: there are always infinitely many points below the rth highest point up to time t for any t >?0. This necessitates a different approach to the asymptotics in this case.     

Rationality of the vertex operator algebra <Emphasis Type="Italic">V</Emphasis><Subscript><Emphasis Type="Italic">L</Emphasis></Subscript>+ for a positive definite even lattice <Emphasis Type="Italic">L</Emphasis>

The lattice vertex operator algebra V_L associated to a positive definite even lattice L has an automorphism of order 2 lifted from –1-isometry of L. The fixed point set V_L+ of V_L for the automorphism is naturally a vertex operator algebra. We prove that any ₀-graded weak V_L⁺-module is completely reducible.Supported by JSPS Research Fellowships for Young Scientists.     

The Existence of LHMTS(<Emphasis Type="Italic">m</Emphasis><Superscript><Emphasis Type="Italic">v</Emphasis></Superscript>) and LHDTS(<Emphasis Type="Italic">m</Emphasis><Superscript><Emphasis Type="Italic">v</Emphasis></Superscript>)

In this article, we establish the existence of an LHMTS(m^v) for v ≡ 2 (mod 6) and m≡ 3 (mod 6). Thus there exists an LHMTS(m^v) if and only if v(v-1)m² ≡ 0 (mod 3) except possibly for v=6, m≡ 1, 5 (mod 6) and m≠1. In the similar way, the existence of LHDTS(m^v) is completely determined, i.e., there exists an LHDTS(m^v) if and only if v(v-1)m² ≡ 0 (mod 3).     

Simply connected symplectic 4-manifolds with <Emphasis Type="Italic">b</Emphasis><Subscript>2</Subscript><Superscript>+</Superscript>=1 and <Emphasis Type="Italic">c</Emphasis><Subscript>1</Subscript><Superscript>2</Superscript>=2

In this article we construct a new simply connected symplectic 4-manifold with b₂⁺=1 and c₁²=2 which is homeomorphic, but not diffeomorphic, to a rational surface by using rational blow-down technique. As a corollary, we conclude that a rational surface admits an exotic smooth structure. Mathematics Subject Classification (2000) 53D05, 14J26, 57R55, 57R57     

Analyzing the Steady-State Queue <Emphasis Type="Italic">GI</Emphasis><Superscript><Emphasis Type="Italic">X</Emphasis></Superscript><Emphasis Type="Italic">/G/</Emphasis>1

It is proved in this note that the delay in the queue GI ^X /G/1 can be expressed as the sum of two independent components, such that known results of the queue GI/G/1 (e.g. approximations) can be readily applied. Based on this result, closed-form expressions are also derived for other performance measures of interest.     

<Emphasis Type="Italic">E</Emphasis><Superscript>*</Superscript>-dense <Emphasis Type="Italic">E</Emphasis>-semigroups

We investigate E^*-dense semi\-groups as analogues of E-densesemigroupsfor semigroups with zero. We give a characterisation theorem forE^*-dense semigroups whose idempotents form a *-rectangularband. The construction methods of generalised Rees matrix semigroupsare employed to provide examples and illustrations. Our results areanalogous to those of Weipoltshammer for E-dense semigroups.     

<Emphasis Type="Italic">M</Emphasis><Superscript><Emphasis Type="Italic">X</Emphasis></Superscript>/<Emphasis Type="Italic">M</Emphasis>/<Emphasis Type="Italic">c</Emphasis> Queue with catastrophes and state-dependent control at idle time

We consider an M ^X /M/c queue with catastrophes and state-dependent control at idle time. Properties of the queues which terminate when the servers become idle are first studied. Recurrence, equilibrium distribution, and equilibrium queue-size structure are studied for the case of resurrection and no catastrophes. All of these properties and the first effective catastrophe occurrence time are then investigated for the case of resurrection and catastrophes. In particular, we obtain the Laplace transform of the transition probability for the absorbing M ^X /M/c queue.     

Subgenerators of <Emphasis Type="Italic">C</Emphasis>-semigroups on <Emphasis Type="Italic">l</Emphasis><Superscript>2</Superscript>

This paper gives some results about the subgenerators of special C-semigroups on l2, partly answers the problem mentioned in [1].     

State spaces of <Emphasis Type="Italic">JB</Emphasis><Superscript><Emphasis Type="Italic">*</Emphasis></Superscript>-triples<Superscript>*</Superscript>

An atomic decomposition is proved for Banach spaces which satisfy some affine geometric axioms compatible with notions from the quantum mechanical measuring process. This is then applied to yield, under appropriate assumptions, geometric characterizations, up to isometry, of the unit ball of the dual space of a JB^*-triple, and up to complete isometry, of one-sided ideals in C^*-algebras.Mathematics Subject Classification (2000):17C65, 46L07Both authors are supported by NSF grant DMS-0101153     

<Emphasis Type="Italic">R</Emphasis>-bounded Representations of <Emphasis Type="Italic">L</Emphasis><Superscript>1</Superscript> (<Emphasis Type="Italic">G</Emphasis>)

We investigate R-bounded representations , where X is a Banach space and G is a lca group. Observing that Ψ induces a (strongly continuous) group homomorphism , we are then able to analyze certain classical homomorphisms U (e.g. translations in L^p (G)) from the viewpoint of R-boundedness and the theory of scalar-type spectral operators. Dedicated to the memory of H. H. Schaefer