On the Operator Semirings of a Γ-Semiring

In this paper we introduce the notion of operator semirings of a -semiring to study -semirings. It is shown that the lattices of all left (right) ideals (two-sided ideals) of a -semiring and its right (respectively left) operator semiring are isomorphic. This has many applications to characterize various -semirings.AMS Subject Classification (2000): 16Y60, 16Y99     

(φ,ξ,η,λ)‐Structures of Parabolic Type

We consider (,,,)structures of parabolic type on hypersurfaces of dual spaces and study the rank of the affinor . We consider almost contact metric structures of parabolic type of the first kind on hypersurfaces of 4dimensional dual metric space. We study the properties of these structures and give examples of normal, integrable, and Sasakian parabolic structures.     

A Note on π-Engel Conditions

In this paper we show that the weakly -Engel conditions are closely related to the existance of normal -complements; while the -Engel conditions are closely related to the -nilpotent groups.AMS Subject Classification (2000): 20D20     

A Special Basis of the Space of Meromorphic Sections on Riemann Surfaces

A special choice of basis for meromorphic sections of line bundles, in which all poles lie at the punctures, allows the decomposition of field operators (which are sections of bundles) into modes analogous to the standard decomposition on the sphere. Many of the calculational techniques used on the sphere can be reproduced for higher genus surfaces in this basis.Using this technique, in this paper, we compute a basis of K (the space of meromorphic sections on a Riemann surface, holomorphic away from two fixed points). This basis consists of the sections which have the expected zero or pole order at the two points.AMS Subject Classification (1991): 14H55     

Von Neumann Categories and Extended L2 Cohomology

In this paper we suggest a new general formalism for studying the L2 invariants of polyhedra and manifolds. First, we examine generality in which one may apply the construction of the extended Abelian category, which was earlier suggested by the author using the ideas of P. Freyd. This leads to the notions of a finite von Neumann category and a trace on such a category. Given a finite von Neumann category, we study the extended L2 homology and cohomology theories with values in the Abelian extension. Any trace on the initial category produces numerical invariants – the von Neumann dimension and the Novikov–Shubin numbers. Thus, we obtain the local versions of the Novikov–Shubin invariants, localized at different traces. In the Abelian case this localization can be made more geometric: we show that any torsion object determines a divisor – a closed subspace of the space of the parameters. The divisors of torsion objects together with the information produced by the local Novikov–Shubin invariants may be used to study multiplicities of intersections of algebraic and analytic varieties (we discuss here only simple examples demonstrating this possibility). We compute explicitly the divisors and the von Neumann dimensions of the extended L2 cohomology in the real analytic situation. We also give general formulae for the extended L2 cohomology of a mapping torus. Finally, we show how one can define a De Rham version of the extended cohomology and prove a De Rhamtype theorem.     

Controllability and extremality in nonconvex differential inclusions

LetF:[0, T]×R ⁿ 2 ^{R n} be a set-valued map with compact values; let :R ⁿ R ^m be a locally Lipschitzian map,z(t) a given trajectory, andR the reachable set atT of the differential inclusion . We prove sufficient conditions for (z(T))intR and establish necessary conditions in maximum principle form for (z(T))(R). As a consequence of these results, we show that every boundary trajectory is simultaneously a Pontryagin extremal, Lagrangian extremal, and relaxed Lagrangian extremal.The author is grateful to an anonymous referee for his valuable remarks and comments which have helped to improve the paper.The paper was written while the author was visiting the laboratory of Prof. S. Suzuki, Department of Mechanical Engineering, Sophia University, Tokyo, Japan.     

Topological existence and stability for stackelberg problems

The aim of this paper is to study, in a topological framework, existence and stability for the solutions to a parametrized Stackelberg problem. To this end, approximate solutions are used, more precisely, -solutions and strict -solutions. The results given are of minimal character and the standard types of constraints are considered, that is, constant constraints, constraints defined by a finite number of inequalities, and more generally constraints defined by an arbitrary multifunction.     

A Population Dynamics Model with Parental Care

A model for an agestructured unlimited population dynamics with parental care of offspring is presented (migration of individuals is not taken into account). The model consists of six partial integrodifferential equations for single males, single females, pairs with offspring under parental care, pairs without offspring under parental care, and offspring of the male and female sex. A class of separable solutions is constructed.     

On a Positivity Property of the Riemann ξ‐Function

We consider a quantitative version of the positivity condition of the Riemann function. J. C. Lagarias obtained that for >10. The main aim of this paper is to prove the equality for 1.     

Large deviations for empirical measures of Markov chains

In this paper we obtain large-deviation upper and lower bounds for the empirical measure of a Markov chain with general state space, as well as for the associated multivariate empirical measure and empirical process. In each of these instances we improve in various ways the results in the literature.     

A large deviation principle for (r,p)-capacities on the Wiener space

Summary We formulate and prove a large deviation principle for the (r, p)-capacity on an abstract Wiener space. As an application, we obtain a sharpening of Strassen's law of the iterated logarithm in terms of the capacity.     

A Property of the Ansatz of Hirota's Method for Quasilinear Parabolic Equations

By using the recently discovered new invariant properties of the ansatz of R. Hirota's method, we prove that the classes of linear fractional solutions to some nonlinear equations are closed. This allows us to construct new solutions for a chosen class of dissipative equations. This algorithm is similar to the method of dressing the solutions of integrable equations. The equations thus obtained imply a compatibility condition and are known as a nonlinear Lax pair with variable coefficients. So we propose a method for constructing such pairs. To construct solutions of a more complicated form, we propose to use the property of zero denominators and factorized brackets, which has been discovered experimentally. The expressions thus constructed are said to be quasi-invariant. They allow us to find true relations between the functions contained in the ansatz, to correct the ansatz, and to construct a solution. We present some examples of new solutions constructed following this approach. Such solutions can be used for majorizing in comparison theorems and for modeling phase processes and process in neurocomputers. A program for computing solutions by methods of computer algebra is written. These techniques supplement the classical methods for constructing solutions by using their group properties.     

Quantitative Siegel's theorem for Galois coverings

It is known that Siegels theorem on integral points is effective for Galoiscoverings of the projective line. In this paper we obtain a quantitative version of this result, giving an explicit upper bound for the heights of S-integral K-rational points in terms of the number field K, the set of places S and the defining equation of the curve.Our main tools are Bakers theory of linear forms in logarithms and thequantitative Eisenstein theorem due to Schmidt, Dwork and van der Poorten.     

Production systems with interruptions, arbitrary topology and finite buffers

We consider a production system with finite buffers and arbitrary topology where service time is subject to interruptions in one of three ways, viz. machine breakdown, machine vacations or Npolicy. We develop a unified approximation (analytical) methodology to calculate the throughput of the system using queueing networks together with decomposition, isolation and expansion techniques. The methodology is rigorously tested covering a large experimental region. Orthogonal arrays are used to design the experiments in order to keep the number of experiments manageable. The results obtained using the approximation methodology are compared to the simulation results. The ttests carried out to investigate the differences between the two results show that they are statistically insignificant. Finally, we test the methodology by applying it to several arbitrary topology networks. The results show that the performance of the approximation methodology is consistent, robust and produces excellent results in a variety of experimental conditions.     

On Generalizations of Ostrowski Inequality and Some Related Results

Some generalizations of the Ostrowski inequality, the Milovanovi-Peari-Fink inequality, the Dragomir-Agarwal inequality and the Hadamard inequality are given.     

Start‐up class models in multiple‐class queues with N‐policy

In this paper, we consider multipleclass queueing systems with Npolicy in which the idle server starts service as soon as the number of customers in the startup class reaches threshold N. We consider the cases of FCFS and nonpreemptive priority. We obtain the Laplace–Stieltjes transform of the waiting times of each class of customers. We also show some results for the general behavior of such systems.     

On the Algebraic Structure of Quasi-cyclic Codes II: Chain Rings

The ring decomposition technique of part I is extended to the case when the factors in the direct product decomposition are no longer fields but arbitrary chain rings. This includes not only the case of quasi-cyclic codes over rings but also the case of quasi-cyclic codes over fields whose co-index is no longer prime to the characteristic of the field. A new quaternary construction of the Leech lattice is derived.     

Connections between Interval and Unit Circle for Sobolev Orthogonal Polynomials. Strong Asymptotics on the Real Line

In this paper we show the connection between Sobolev orthogonal Laurent polynomials on the unit circle and Sobolev orthogonal polynomials on a bounded interval of the real line. As a consequence we deduce the strong outer asymptotics for Sobolev orthogonal polynomials with respect to the inner product