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

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.     

Analysis of queues in a random environment with impatient customers

We study M/M/c queues (c = 1, 1 < c < ∞ and c = ∞) in a Markovian environment with impatient customers. The arrivals and service rates are modulated by the underlying continuous-time Markov chain. When the external environment operates in phase 2, customers become impatient. We focus our attention on the explicit expressions of the performance measures. For each case of c, the corresponding probability generating function and mean queue size are obtained. Several special cases are studied and numerical experiments are presented.     

Some Numerical Data for Single-Server Queues Involving Deterministic Input Arrangements

The steady-state parameters of the bulk input queue D _c /M/1 and the Erlang service queue D/E _c /1 have been tabulated for C = 1(1)6(2)12(4)20 and 25, 50 and 100 and for ρ = 0·1(0·1)0·9. The tabulation includes the mean waiting time, idle time and queue size. In addition the queue D/E _c /1 has been compared with the queue M/E _c /1 to indicate the gains to be achieved by regularizing the arrival mechanism for a given E _c service facility.     

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.     

Global Asymptotics of Orthogonal Polynomials Associated with a Generalized Freud Weight

In this paper,the authors consider the asymptotic behavior of the monic polynomials orthogonal with respect to the weight function w(x) = |x|~(2α)e~(-(x~4+tx~2)),x ∈ R,where α is a constant larger than -1/2 and t is any real number. They consider this problem in three separate cases:(i) c -2,(ii) c =-2,and(iii) c -2,where c := t N~(-1/2) is a constant,N = n + α and n is the degree of the polynomial. In the first two cases,the support of the associated equilibrium measure μ_t is a single interval,whereas in the third case the support of μ_t consists of two intervals. In each case,globally uniform asymptotic expansions are obtained in several regions. These regions together cover the whole complex plane. The approach is based on a modified version of the steepest descent method for Riemann-Hilbert problems introduced by Deift and Zhou(1993).     

Heavy traffic limit for a tandem queue with identical service times

We consider a two-node tandem queueing network in which the upstream queue is M/G/1 and each job reuses its upstream service requirement when moving to the downstream queue. Both servers employ the first-in-first-out policy. We investigate the amount of work in the second queue at certain embedded arrival time points, namely when the upstream queue has just emptied. We focus on the case of infinite-variance service times and obtain a heavy traffic process limit for the embedded Markov chain.     

Heat Kernels for Isotropic-Like Markov Generators on Ultrametric Spaces: a Survey

Let (X, d) be a locally compact separable ultrametric space. Let D be the set of all locally constant functions having compact support. Given a measure m and a symmetric function J(x, y) we consider the linear operator L^Jf(x) = ∫(f(x) ? f(y)) J(x, y)dm(y) defined on the set D. When J(x, y) is isotropic and satisfies certain conditions, the operator (?L^J, D) acts in L²(X,m), is essentially self-adjoint and extends as a self-adjoint Markov generator, its Markov semigroup admits a continuous heat kernel p^J (t, x, y). When J(x, y) is not isotropic but uniformly in x, y is comparable to isotropic function J(x, y) as above the operator (?L^J, D) extends in L²(X,m) as a self-adjointMarkov generator, its Markov semigroup admits a continuous heat kernel p^J(t, x, y), and the function p^J(t, x, y) is uniformly comparable in t, x, y to the function p^J(t, x, y), the heat kernel related to the operator (?L^J,D).     

Serre dimension of monoid algebras

Let R be a commutative Noetherian ring of dimension d, M a commutative cancellative torsion-free monoid of rank r and P a finitely generated projective R[M]-module of rank t. Assume M is Φ-simplicial seminormal. If \(M\in \mathcal {C}({\Phi })\), then Serre dim R[M]≤d. If r≤3, then Serre dim R[int(M)]≤d. If \(M\subset \mathbb {Z}_{+}^{2}\) is a normal monoid of rank 2, then Serre dim R[M]≤d. Assume M is c-divisible, d=1 and t≥3. Then P?∧ ^t P⊕R[M] ^t?1. Assume R is a uni-branched affine algebra over an algebraically closed field and d=1. Then P?∧ ^t P⊕R[M] ^t?1.     

Approximate Queueing Formulae Based on Consideration of the Busy Period

An approximation formula to one in M/M/1 queueing theory for hours in a queue is examined. Then it is extended to models M/D/1 and M/E _k /1 whereby wasted time or queue length is found to lie between two extremes. An empirical approximation to traffic intensity called utilization rate is used.     

Adapted complex tubes on the symplectization of pseudo-Hermitian manifolds

Let (M, θ) be a pseudo-Hermitian space of real dimension 2n + 1, that is M is a CR-manifold of dimension 2n + 1 and θ is a contact form on M giving the Levi distribution \({HT(M) \subset TM}\). Let \({M^\theta \subset T^* M}\) be the canonical symplectization of (M, θ) and let M be identified with the zero section of M ^θ . Then M ^θ is a manifold of real dimension 2(n + 1) which admits a canonical foliation by surfaces parametrized by \({\mathbb{C} \ni t+i\sigma\mapsto \phi^{\theta}_{p}(t+i\sigma)=\sigma\theta_{g_t(p)}}\), where \({p \in M}\) is arbitrary and g _t is the flow generated by the Reeb vector field associated to the contact form θ. Let J be an (integrable) complex structure defined in a neighbourhood U of M in M ^θ . We say that the pair (U, J) is an adapted complex tube on M ^θ if all the parametrizations \({\phi^{\theta}_{p}(t+i\sigma)}\) defined above are holomorphic on \({(\phi^{\theta}_{p})^{-1}(U)}\). In this paper we prove that if (U, J) is an adapted complex tube on M ^θ , then the real function E on \({M^\theta\subset T^*M}\) defined by the condition \({\alpha=E (\alpha)\theta_{\pi(\alpha)}}\), for each \({\alpha \in M^\theta}\), is a canonical defining function for M which satisfies the homogeneous Monge–Ampère equation (dd ^c E)ⁿ⁺¹ = 0. We also prove that if M and θ are real analytic then the symplectization M ^θ admits an unique maximal adapted complex tube.     

A characterization of a certain real hypersurface of type (A<Subscript>2</Subscript>) in a complex projective space

In the class of real hypersurfaces M ^2n?1 isometrically immersed into a nonflat complex space form \(\widetilde {{M_n}}\left( c \right)\) of constant holomorphic sectional curvature c (≠ 0) which is either a complex projective space ?P ⁿ (c) or a complex hyperbolic space ?H ⁿ (c) according as c > 0 or c < 0, there are two typical examples. One is the class of all real hypersurfaces of type (A) and the other is the class of all ruled real hypersurfaces. Note that the former example are Hopf manifolds and the latter are non-Hopf manifolds. In this paper, inspired by a simple characterization of all ruled real hypersurfaces in \(\widetilde {{M_n}}\left( c \right)\), we consider a certain real hypersurface of type (A₂) in ?P ⁿ (c) and give a geometric characterization of this Hopf manifold.     

The general rigidity result for bundles of <Emphasis Type="Italic">A</Emphasis>-covelocities and <Emphasis Type="Italic">A</Emphasis>-jets

Let M be an m-dimensional manifold and A = D _k ^r /I = R⊕N _A a Weil algebra of height r. We prove that any A-covelocity T _x ^A f ∈ T _x ^A *M, x ∈ M is determined by its values over arbitrary max{width A,m} regular and under the first jet projection linearly independent elements of T _x ^A M. Further, we prove the rigidity of the so-called universally reparametrizable Weil algebras. Applying essentially those partial results we give the proof of the general rigidity result T ^A *M ? T ^r *M without coordinate computations, which improves and generalizes the partial result obtained in Tomá? (2009) from m ≥ k to all cases of m.We also introduce the space J ^A (M,N) of A-jets and prove its rigidity in the sense of its coincidence with the classical jet space J ^r (M,N).     

Eigenvalue estimates for Dirac operators in geometries with torsion

On a Riemannian spin manifold (M ⁿ , g), equipped with a non-integrable geometric structure and characteristic connection ▽ ^c with parallel torsion ▽ ^c T ^c  = 0, we can introduce the Dirac operator D ^1/3, which is constructed by lifting the affine metric connection with torsion 1/3 T ^c to the spin structure. D ^1/3 is a symmetric elliptic differential operator, acting on sections of the spinor bundle and can be identified in special cases with Kostant’s cubic Dirac operator or the Dolbeault operator. For compact (M ⁿ , g), we investigate the first eigenvalue of the operator \({\left(D^{1/3} \right)^{2}}\) . As a main tool, we use Weitzenböck formulas, which express the square of the perturbed operator D ^1/3 + S by the Laplacian of a suitable spinor connection. Here, S runs through a certain class of perturbations. We apply our method to spaces of dimension 6 and 7, in particular, to nearly Kähler and nearly parallel G ₂-spaces.     

Immersed Hypersurfaces in the Unit Sphere S^m＋1 with Constant Blaschke Eigenvalues

For an immersed submanifold x ： M^m→ Sn in the unit sphere S^n without umbilics, an eigenvalue of the Blaschke tensor of x is called a Blaschke eigenvalue of x. It is interesting to determine all hypersurfaces in Sn with constant Blaschke eigenvalues. In this paper, we are able to classify all immersed hypersurfaces in S^m＋1 with vanishing MSbius form and constant Blaschke eigenvalues, in case （1） x has exact two distinct Blaschke eigenvalues, or （2） m = 3. With these classifications, some interesting examples are also presented.     

Using the M/G/1 queue under processor sharing for exact simulation of queues

In Sigman (J. Appl. Probab. 48A:209–216, 2011b), a first exact simulation algorithm was presented for the stationary distribution of customer delay for FIFO M/G/c queues in which ρ=λ/μ<1 (super stable case). The key idea involves dominated coupling from the past while using the M/G/1 queue under the processor sharing (PS) discipline as a sample-path upper bound, taking advantage of its time-reversibility properties so as to be able to simulate it backwards in time. Here, we expand upon this method and give several examples of other queueing models for which this method can be used to exactly simulate from their stationary distributions. Examples include sojourn times for single-server queues under various service disciplines, tandem queues, and multi-class networks with general routing.     

On boundary value problems for systems of nonlinear generalized ordinary differential equations

A general theorem (principle of a priori boundedness) on solvability of the boundary value problem dx = dA(t) · f(t, x), h(x) = 0 is established, where f: [a, b]×R ⁿ → R ⁿ is a vector-function belonging to the Carathéodory class corresponding to the matrix-function A: [a, b] → R ^n×n with bounded total variation components, and h: BV_s([a, b],R ⁿ ) → R ⁿ is a continuous operator. Basing on the mentioned principle of a priori boundedness, effective criteria are obtained for the solvability of the system under the condition x(t₁(x)) = B(x) · x(t ₂(x))+c ₀, where t _i: BV_s([a, b],R ⁿ ) → [a, b] (i = 1, 2) and B: BV_s([a, b], R ⁿ ) → R ⁿ are continuous operators, and c ₀ ∈ R ⁿ .     

On the norm property of the Hilbert symbol for polynomial formal modules in a multidimensional local field

In a two-dimensional local field K containing the pth root of unity, a polynomial formal group F _c (X, Y) = X + Y + cXY acting on the maximal ideal M of the ring of integers б _K and a constructive Hilbert pairing {·, ·} _c : K ₂(K) × F _c (M) → <ξ> _c , where <ξ> _c is the module of roots of [p] _c (pth degree isogeny of F _c ) with respect to formal summation are considered. For the extension of two-dimensional local fields L/K, a norm map of Milnor groups Norm: K ₂(L) → K ₂(K) is considered. Its images are called norms in K ₂(L). The main finding of this study is that the norm property of pairing {·, ·}c: {x,β} _c : = 0 ? x is a norm in K ₂(K([p] _c ^-1 (β))), where [p] _c ^-1 (β) are the roots of the equation [p] _c = β, is checked constructively.     

Spectral properties of the complex airy operator on the half-line

We prove a theorem on the completeness of the system of root functions of the Schrödinger operator L = ?d ²/dx ² + p(x) on the half-line R₊ with a potential p for which L appears to be maximal sectorial. An application of this theorem to the complex Airy operator L _c = ?d ²/dx ² + cx, c = const, implies the completeness of the system of eigenfunctions of L _c for the case in which |arg c| < 2π/3.We use subtler methods to prove a theorem stating that the system of eigenfunctions of this special operator remains complete under the condition that |arg c| < 5π/6.     

Containment of socially optimal policies in multiple-facility Markovian queueing systems

We consider a Markovian queueing system with N heterogeneous service facilities, each of which has multiple servers available, linear holding costs, a fixed value of service and a first-come-first-serve queue discipline. Customers arriving in the system can be either rejected or sent to one of the N facilities. Two different types of control policies are considered, which we refer to as ‘selfishly optimal’ and ‘socially optimal’. We prove the equivalence of two different Markov Decision Process formulations, and then show that classical M/M/1 queue results from the early literature on behavioural queueing theory can be generalized to multiple dimensions in an elegant way. In particular, the state space of the continuous-time Markov process induced by a socially optimal policy is contained within that of the selfishly optimal policy. We also show that this result holds when customers are divided into an arbitrary number of heterogeneous classes, provided that the service rates remain non-discriminatory.