Large deviations of the steady-state distribution of reflected processes with applications to queueing systems

We consider a Skorohod map which takes paths in to paths which stay in the positive orthant . We let be the domain of definition of . A convex and lower semi-continuous function and a set are given. We are concerned with the calculation of the infimum of the value for t ⩾ 0 and absolutely continuous subject to the conditions and . We show that such minimization problems characterize large deviation asymptotics of tail probabilities of the steady-state distribution of certain reflected processes. We approximate the infimum by a sequence of finite-dimensional minimization problems. This approximation allows to formulate an algorithm for the calculation of the infimum and to derive analytical bounds for its value. Several applications are discussed including large deviations of generalized processor sharing and large deviations of heavily loaded queueing networks. This revised version was published online in June 2006 with corrections to the Cover Date.     

A Remark on Support of the Principal Function for Class A Operators

Let be an invertible class A operator such that . Then we show that , where gT is the principal function of T. Moreover, we show that if T is pure, then .     

A Representation of the Lorentz Spin Group and Its Application

For an integer m ≥ 4, we define a set of 2[m/2] × 2[m/2] matrices γj （m）, （j = 0, 1,..., m - 1） which satisfy γj （m）γk （m） ＋γk （m）γj （m） = 2ηjk （m）I[m/2], where （ηjk （m）） 0≤j,k≤m-1 is a diagonal matrix, the first diagonal element of which is 1 and the others are -1, I[m/2] is a 2[m/1] × 2[m/2] identity matrix with [m/2] being the integer part of m/2. For m = 4 and 5, the representation （m） of the Lorentz Spin group is known. For m≥ 6, we prove that （i） when m = 2n, （n ≥ 3）, （m） is the group generated by the set of matrices {T｜T=1/√ξ（（I＋k） 0 ＋ 0 I-K） （ U 0 0 U）, （ii） when m = 2n ＋ 1 （n≥ 3）, （m） is generated by the set of matrices {T｜T=1/√ξ（I -k^- k I）U,U∈ （m-1）,ξ=1-m-2 ∑k,j=0 ηkja^k a^j〉0, K=i[m-3 ∑j=0 a^j γj（m-2）＋a^（m-2） In],K^-=i[m-3∑j=0 a^j γj（m-2）-a^（m-2） In]}     

On the Durrmeyer-type operators for bivariate functions

For measurable functions f of two real variables there are considered the Boolean sums of parametric extensions of certain univariate Durmeyer-type operators and . The weighted mixed moduli of continuity of are estimated and the degrees of approximation of f by in some weighted norms are investigated.     

More on Bounding Introspection in Modal Nonmonotonic Logics

Abstract By we denote the set of all propositional formulas. Let be the set of all clauses. Define . In Sec. 2 of this paper we prove that for normal modal logics , the notions of -expansions and -expansions coincide. In Sec. 3, we prove that if I consists of default clauses then the notions of -expansions for I and -expansions for I coincide. To this end, we first show, in Sec. 3, that the notion of -expansions for I is the same as that of -expansions for I. The project is supported by NSFC     

On the ‘Standard’ Condition for Noncompact Homogeneous Einstein Spaces

A nonflat Einstein solvmanifold ( , g) is said to be of standard type if in the associated metric Lie algebra , the orthogonal complement of the derived algebra is Abelian. It is an open question whether the standard condition is automatically satisfied for all nonflat Einstein solvmanifolds. We derive certain properties of the metric Lie algebra of a nonflat Einstein solvmanifold ( , g) under the assumption . In particular, we obtain some new sufficient conditions which imply standard type.     

The Reduced Minimum Modulus in <Emphasis>C</Emphasis><Superscript>*</Superscript>-Algebras

We define the reduced minimum modulus of a nonzero element a in a unital C ^*-algebra by . We prove that . Applying this result to and its closed two side ideal , we get that dist , and for any if RR = 0, where and is the quotient homomorphism and . These results generalize corresponding results in Hilbert spaces.     

Quantum duality in quantum deformations

In accordance with the quantum duality principle, the twisted algebra is equivalent to the quantum group and has two preferred bases: one inherited from the universal enveloping algebra and the other generated by coordinate functions of the dual Lie group . We show howthe transformation can be explicitly obtained for any simple Lie algebra and a factorable chain of extended Jordanian twists. In the algebra , we introduce a natural vector grading , compatible with the adjoint representation of the algebra. Passing to the dual-group coordinates allows essentially simplifying the costructure of the deformed Hopf algebra , considered as a quantum group . The transformation can be used to construct new solutions of the twist equations. We construct a parameterized family of extended Jordanian deformations and study it in terms of ; we find new realizations of the parabolic twist. Dedicated to the birthday of my teacher, Yurii Novozhilov __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 148, No. 1, pp. 112–125, July, 2006.     

On One Extremal Problem for a Seminorm on the Space l<Subscript>1</Subscript> with Weight

Let be a nondecreasing sequence of positive numbers and let l _1,α be the space of real sequences for which . We associate every sequence ξ from l _1,α with a sequence , where ϕ(·) is a permutation of the natural series such that , j ∈ ℕ. If p is a bounded seminorm on l _1,α and , then

Categories with homotopy determine a closed model structure

In a category with homotopy (Definition 1.1), one can define a natural concept of (co)fibrations and weak equivalences (Sec. 2) such that some properties of a closed model category hold. If is a complete and cocomplete category (with respect to finite limits) with simplicial homotopy (Definition 1.3), one achieves a full closed model structure in (Theorem 4.6). For each category with homotopy , there exists a category with simplicial homotopy (see Sec. 5) (the simplicial envelope of ). If is already a complete category with simplicial homotopy, then is Quillen equivalent to (Theorem 5.9). __________ Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 41, Topology and Its Applications, 2006.     

Exponential Attractor for a Nonlinear Boussinesq Equation

This paper is devoted to prove the existence of an exponential attractor for the semiflow generated by a nonlinear Boussinesq equation. We formulate the Boussinesq equation as an abstract equation in the Hilbert space H0^2（0, 1） × L^2（0, 1）. The main step in this research is to show that there exists an absorbing set for the solution semiflow in the Hilbert space H0^3（0, 1） × H0^1（0, 1）.     

Universal weight systems and the Kontsevich integral for the unknot

The value of the -weight system for the Kontsevich integral of the unknot is found. This value is a normalizing factor used in calculating knot invariants. A weight system is a function defined on the space of chordal diagrams and taking values in the center of the universal enveloping algebra . __________ Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 38, Suzdal Conference-2004, Part 3, 2006.     

Some Limit Theorems for a Particle System of Single Point Catalytic Branching Random Walks

We study the scaling limit for a catalytic branching particle system whose particles perform random walks on Z and can branch at 0 only. Varying the initial （finite） number of particles, we get for this system different limiting distributions. To be more specific, suppose that initially there are n^β particles and consider the scaled process Zt^n（·） = Znt（√n·）, where Zt is the measure-valued process 1 and to a representing the original particle system. We prove that Ztn converges to 0 when β 〈1/4 and to a nondegenerate discrete distribution when β=1/4.In addition,if 1/4〈β〈1/2 then n-^（2β-1/2）Zt^n converges to a random limit,while if β 〉21then n^-βZtn converges to a deterministic limit.     

Dicritical holomorphic flows on Stein manifolds

We study holomorphic flows on Stein manifolds. We prove that a holomorphic flow with isolated singularities and a dicritical singularity of the form on a Stein manifold with , is globally analytically linearizable; in particular M is biholomorphic to . A complete stability result for periodic orbits is also obtained. Bruno Scárdua: Partially supported by ICTP-Trieste-Italy. Received: 27 September 2006     

The maximal Fejér operator on real Hardy spaces

We prove that the maximal Fej'er operator is not bounded on the real Hardy spaces H ¹, which may be considered over and . We also draw corollaries for the corresponding Hardy spaces over ² and ². This revised version was published online in August 2006 with corrections to the Cover Date.     

Property ∏σ and tensor products of operator algebras

In this paper, we introduce Property ∏σ of operator algebras and prove that nest subalgebras and the finite-width CSL subalgebras of arbitrary von Neumann algebras have Property ∏σ.Finally, we show that the tensor product formula alg ML1-(×)algNL2 = algM-(×)N(L1 (×) L2) holds for any two finite-width CSLs L1 and L2 in arbitrary von Neumann algebras M and N, respectively.     

Exponential generating functions and complexity of Lie varieties

Suppose that % MathType!End!2!1! is a variety of Lie algebras, and letc _n( % MathType!End!2!1!) be the dimension of the linear span of all multilinear words onn distinct letters in the free algebraF( % MathType!End!2!1!,X) of the variety % MathType!End!2!1!. We consider an exponential generating function % MathType!End!2!1!, called the complexity function. The complexity function is an entire function of a complex variable provided the variety of Lie algebras is nontrivial. In this paper we introduce the notion of complexity for Lie varieties in terms of the growth of complexity functions; also we describe what the complexity means for the codimension growth of the variety. Our main goal is to specify the complexity of a product of two Lie varieties in terms of the complexities of multiplicands. The main observation here is thatC( % MathType!End!2!1!),z) behaves like a composition of three functionsC( % MathType!End!2!1!),z), exp(z), andC( % MathType!End!2!1!),z). Partially supported by grant RFFI 96-01-00146; the author is grateful to the University of Bielefeld for hospitality, where he was DAAD-fellow.     

Strong consistency of nearest neighbor kernel regression estimation for stationary dependent samples

Under quite mild conditions onk _n . the strong consistency is proved for the nearest neighbor density, the nearest neighbor kernel regression and the modified nearest neighbor kernel regression of an a-mixing stationary sequence in time series context. The condition imposed on the mixing coefficients is , . which is simple and weak.     

On generalized Beurling algebras

We consider the space, where Ω is a family of weights. We give a sufficient condition, on Ω, for to be locally convex algebra with continuous multiplication. Examples of such weights are also provided.