The GI/M/1 queue with Bernoulli-schedule-controlled vacation and vacation interruption

Consider a GI/M/1 queue with multiple vacations. As soon as the system becomes empty, the server either begins an ordinary vacation with probability q  (0?q?1)$(0?q?1)$ or takes a working vacation with probability 1-q$1-q$. We assume the vacation interruption is controlled by Bernoulli. If the system is non-empty at a service completion instant in a working vacation period, the server can come back to the normal busy period with probability p  (0?p?1)$(0?p?1)$ or continue the vacation with probability 1-p$1-p$. Using the matrix-analytic method, we obtain the steady-state distributions for the queue length both at arrival and arbitrary epochs. The waiting time and sojourn time are also derived by different methods. Finally, some numerical examples are presented.     

Some decomposition results for a class of vacation queues

We analyze the MAP/PH/1 vacation system at arbitrary times using the matrix-analytic method, and obtain decomposition results for the R$R$ and G$G$ matrices. The decomposition results reduce the amount of computational effort needed to obtain these matrices. The results for the G$G$ matrix are extended to the BMAP/PH/1 system. We also show that in the case of the Geo/PH/1 and M/PH/1 systems with PH vacations both the G$G$ and R$R$ matrices can be obtained explicitly.     

Test ideals of non-principal ideals: Computations,jumping numbers,alterations and division theorems

Given an ideal a⊆R$\mathfrak{a}\subseteq R$ in a (log) Q$\mathbb{Q}$-Gorenstein F  -finite ring of characteristic p>0$p>0$, we study and provide a new perspective on the test ideal τ(R,a^t)$\tau (R,{\mathfrak{a}}^t)$ for a real number t>0$t>0$. Generalizing a number of known results from the principal case, we show how to effectively compute the test ideal and also describe τ(R,a^t)$\tau (R,{\mathfrak{a}}^t)$ using (regular) alterations with a formula analogous to that of multiplier ideals in characteristic zero. We further prove that the F  -jumping numbers of τ(R,a^t)$\tau (R,{\mathfrak{a}}^t)$ as t varies are rational and have no limit points, including the important case where R is a formal power series ring. Additionally, we obtain a global division theorem for test ideals related to results of Ein and Lazarsfeld from characteristic zero, and also recover a new proof of Skoda's theorem for test ideals which directly mimics the proof for multiplier ideals.     

The adjoint representation inside the exterior algebra of a simple Lie algebra

For a simple complex Lie algebra g$\mathfrak{g}$ we study the space of invariants A=(?g^?⊗g^?)^g$A={(?{\mathfrak{g}}^{?}\otimes {\mathfrak{g}}^{?})}^{\mathfrak{g}}$, which describes the isotypic component of type g$\mathfrak{g}$ in ?g^?$?{\mathfrak{g}}^{?}$, as a module over the algebra of invariants (?g^?)^g${(?{\mathfrak{g}}^{?})}^{\mathfrak{g}}$. As main result we prove that A   is a free module, of rank twice the rank of g$\mathfrak{g}$, over the exterior algebra generated by all primitive invariants in (?g^?)^g${(?{\mathfrak{g}}^{?})}^{\mathfrak{g}}$, with the exception of the one of highest degree.     

Meixner polynomials in several variables satisfying bispectral difference equations

We construct a set _Md${\mathfrak{M}}_d$ whose points parametrize families of Meixner polynomials in d   variables. There is a natural bispectral involution b$\mathfrak{b}$ on _Md${\mathfrak{M}}_d$ which corresponds to a symmetry between the variables and the degree indices of the polynomials. We define two sets of d   commuting partial difference operators diagonalized by the polynomials. One of the sets consists of difference operators acting on the variables of the polynomials and the other one on their degree indices, thus proving their bispectrality. The two sets of partial difference operators are naturally connected via the involution b$\mathfrak{b}$.     

Quantizations of Kac–Moody algebras

We analyze the extent to which a quantum universal enveloping algebra of a Kac–Moody algebra g$\mathfrak{g}$ is defined by multidegrees of its defining relations. To this end, we consider a class of character Hopf algebras defined by the same number of defining relations of the same degrees as the Kac–Moody algebra g$\mathfrak{g}$. We demonstrate that if the generalized Cartan matrix A$A$ of g$\mathfrak{g}$ is connected then the algebraic structure, up to a finite number of exceptional cases, is defined by just one “continuous” parameter q$q$ related to a symmetrization of A$A$, and one “discrete” parameter m$\mathfrak{m}$ related to the modular symmetrizations of A$A$. The Hopf algebra structure is defined by n(n−1)/2$n(n-1)/2$ additional “continuous” parameters. We also consider the exceptional cases for Cartan matrices of finite or affine types in more detail, establishing the number of exceptional parameter values in terms of the Fibonacci sequence.     

An M/G/1 queue with single working vacation and vacation interruption under Bernoulli schedule

This paper treats an M/G/1 queue with single working vacation and vacation interruption under Bernoulli schedule. Whenever the system becomes empty at a service completion instant, the server goes for a single working vacation. In the working vacation, a customer is served at a lower speed, and if there are customers in the queue at the instant of a service completion, the server is resumed to a regular busy period with probability p   (i.e., the vacation is interrupted) or continues the vacation with probability 1-p$1-p$. Using the matrix analytic method, we obtain the distribution for the stationary queue length at departure epochs. The joint distribution for the stationary queue length and service status at the arbitrary epoch is also obtained by using supplementary variable technique. We also develop a variety of stationary performance measures for this system and give a conditional stochastic decomposition result. Finally, several numerical examples are presented.     

Modules satisfying the weak Nakayama property

Let R$R$ be a commutative ring with identity. We will say that an R$R$-module M$M$ satisfies the weak Nakayama property, if IM=M$IM=M$, where I$I$ is an ideal of R$R$, implies that for any x∈M$x\in M$ there exists a∈I$a\in I$ such that (a−1)x=0$(a-1)x=0$. In this paper, we will study modules satisfying the weak Nakayama property. It is proved that if R$R$ is a local ring, then R$R$ is a Max ring if and only if J(R)$J\left(R\right)$, the Jacobson radical of R$R$, is T$T$-nilpotent if and only if every R$R$-module satisfies the weak Nakayama property.     

Poincaré series of modules over compressed Gorenstein local rings

Given two positive integers e and s we consider Gorenstein Artinian local rings R   whose maximal ideal m$\mathfrak{m}$ satisfies m^s≠0=m^s+1${\mathfrak{m}}^s\ne 0={\mathfrak{m}}^{s+1}$ and _rankR/m(m/m²)=e${\mathrm{rank}}_{R/\mathfrak{m}}(\mathfrak{m}/{\mathfrak{m}}^2)=e$. We say that R is a compressed Gorenstein local ring   when it has maximal length among such rings. It is known that generic Gorenstein Artinian algebras are compressed. If s≠3$s\ne 3$, we prove that the Poincaré series of all finitely generated modules over a compressed Gorenstein local ring are rational, sharing a common denominator. A formula for the denominator is given. When s is even this formula depends only on the integers e and s  . Note that for s=3$s=3$ examples of compressed Gorenstein local rings with transcendental Poincaré series exist, due to Bøgvad.     

A novel time delayed HIV/AIDS model with vaccination & antiretroviral therapy and its stability analysis

In this paper, we propose a novel time delayed HIV/AIDS mathematical model and further analyze the effect of vaccination and ART (antiretroviral therapy) on this time delayed model, in which the time delay is due to the strong immune response to AIDS for the HIV-infected-aware because of the good physical conditions. We introduce the different stages of the period of AIDS infection having different abilities of transmitting disease, which reflects the developing progress of AIDS infection more realistically. By using suitable Lyapunov functionals and the LaSalle invariant principle, we obtain the basic reproduction number _R0${\mathfrak{R}}_0$ and derive that if _R0<1${\mathfrak{R}}_0<1$ and some parameters satisfy a given condition, the disease-free equilibrium is globally asymptotically stable, while the disease will be died out. Numerical simulations are carried out to verify the obtained stability criteria and demonstrate the effect of the vaccination rate and _R0${\mathfrak{R}}_0$ and the ART on the infective individuals.     

Hadwiger’s Theorem for definable functions

Hadwiger’s Theorem states that _En${\mathbb{E}}_n$-invariant convex-continuous valuations of definable sets in Rⁿ${\mathbb{R}}^n$ are linear combinations of intrinsic volumes. We lift this result from sets to data distributions over sets, specifically, to definable R$\mathbb{R}$-valued functions on Rⁿ${\mathbb{R}}^n$. This generalizes intrinsic volumes to (dual pairs of) non-linear valuations on functions and provides a dual pair of Hadwiger classification theorems.     

Tournaments associated with multigraphs and a theorem of Hakimi

A tournament of order n$n$ is usually considered as an orientation of the complete graph _Kn$K_n$. In this note, we consider a more general definition of a tournament that we call aC$C$-tournament, where C$C$ is the adjacency matrix of a multigraph G$G$, and a C$C$-tournament is an orientation of G$G$. The score vector of a C$C$-tournament is the vector of outdegrees of its vertices. In 1965 Hakimi obtained necessary and sufficient conditions for the existence of a C$C$-tournament with a prescribed score vector R$R$ and gave an algorithm to construct such a C$C$-tournament which required, however, some backtracking. We give a simpler and more transparent proof of Hakimi’s theorem, and then provide a direct construction of such a C$C$-tournament which works even for weighted graphs.     

Hopf subalgebras and tensor powers of generalized permutation modules

By means of a certain module V$V$ and its tensor powers in a finite tensor category, we study a question of whether the depth of a Hopf subalgebra R$R$ of a finite-dimensional Hopf algebra H$H$ is finite. The module V$V$ is the counit representation induced from R$R$ to H$H$, which is then a generalized permutation module, as well as a module coalgebra. We show that if in the subalgebra pair either Hopf algebra has finite representation type, or V$V$ is either semisimple with R^∗$R^{\ast }$ pointed, projective, or its tensor powers satisfy a Burnside ring formula over a finite set of Hopf subalgebras including R$R$, then the depth of R$R$ in H$H$ is finite. One assigns a nonnegative integer depth to V$V$, or any other H$H$-module, by comparing the truncated tensor algebras of V$V$ in a finite tensor category and so obtains upper and lower bounds for depth of a Hopf subalgebra. For example, a relative Hopf restricted module has depth 1, and a permutation module of a corefree subgroup has depth less than the number of values of its character.     

Factorization properties of paratopological groups

In this article we continue the study of R$\mathbb{R}$-factorizability in paratopological groups. It is shown that: (1) all concepts of R$\mathbb{R}$-factorizability in paratopological groups coincide; (2) a Tychonoff paratopological group G   is R$\mathbb{R}$-factorizable if and only if it is totally ω  -narrow and has property ω-QU$\omega \text{-}\mathit{QU}$; (3) every subgroup of a _T1$T_1$ paratopological group G   is R$\mathbb{R}$-factorizable provided that the topological group G^?$G^{?}$ associated to G is a Lindelöf Σ-space, i.e., G is a totally Lindelöf Σ-space  ; (4) if Π=_∏i∈IGi$\Pi ={\prod }_{i\in I}{G}_i$ is a product of _T1$T_1$ paratopological groups which are totally Lindelöf Σ-spaces, then each dense subgroup of Π   is R$\mathbb{R}$-factorizable. These results answer in the affirmative several questions posed earlier by M. Sanchis and M. Tkachenko and by S. Lin and L.-H. Xie.     

New expansions of numerical eigenvalues by Wilson’s element

The paper explores new expansions of eigenvalues for −Δu=λρu$-\Delta u=\lambda \rho u$ in S$S$ with Dirichlet boundary conditions by Wilson’s element. The expansions indicate that Wilson’s element provides lower bounds of the eigenvalues. By the extrapolation or the splitting extrapolation, the O(h⁴)$O\left(h^4\right)$ convergence rate can be obtained, where h$h$ is the maximal boundary length of uniform rectangles. Numerical experiments are carried to verify the theoretical analysis made. It is worth pointing out that these results are new, compared with the recent book, Lin and Lin [Q. Lin, J. Lin, Finite Element Methods; Accuracy and Improvement, Science Press, Beijing, 2006].