The local index and the Swan conductor

In this paper we study local indices of systems of p-adic linearly differential equations which arise from p-adic representations of the absolute Galois group of local field of characteristic p with finite monodromy. We show the induction formula of the local index of p-adic differential equations and prove the equality between the local index of differential equations and the Swan conductor of p-adic Galois representations by inductive methods.     

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     

The Newton modified barrier method for QP problems

The Modified Barrier Functions (MBF) have elements of both Classical Lagrangians (CL) and Classical Barrier Functions (CBF). The MBF methods find an unconstrained minimizer of some smooth barrier function in primal space and then update the Lagrange multipliers, while the barrier parameter either remains fixed or can be updated at each step. The numerical realization of the MBF method leads to the Newton MBF method, where the primal minimizer is found by using Newton's method. This minimizer is then used to update the Lagrange multipliers. In this paper, we examine the Newton MBF method for the Quadratic Programming (QP) problem. It will be shown that under standard second-order optimality conditions, there is a ball around the primal solution and a cut cone in the dual space such that for a set of Lagrange multipliers in this cut cone, the method converges quadratically to the primal minimizer from any point in the aforementioned ball, and continues, to do so after each Lagrange multiplier update. The Lagrange multipliers remain within the cut cone and converge linearly to their optimal values. Any point in this ball will be called a hot start. Starting at such a hot start, at mostO(In In ^-1) Newton steps are sufficient to perform the primal minimization which is necessary for the Lagrange multiplier update. Here, >0 is the desired accuracy. Because of the linear convergence of the Lagrange multipliers, this means that onlyO(In ^-1)O(In In ^-1) Newton steps are required to reach an -approximation to the solution from any hot start. In order to reach the hot start, one has to perform Newton steps, wherem characterizes the size of the problem andC>0 is the condition number of the QP problem. This condition number will be characterized explicitly in terms of key parameters of the QP problem, which in turn depend on the input data and the size of the problem.Partially supported by NASA Grant NAG3-1397 and National Science Foundation Grant DMS-9403218.     

Difference Hierarchy in ϕ-Spaces

Some results on the Borel and difference hierarchies of subsets in -spaces are established. For instance, we prove analogs of the Hausdorff theorem (relating the difference and Borel hierarchies) and the Lavrentyev theorem (asserting the non-collapse of the difference hierarchy).     

Iterative Schemes for Solving Mixed Variational-Like Inequalities

In the present paper, we introduce the concept of -cocoercivity of a map and develop some iterative schemes for finding the approximate solutions of mixed variational-like inequalities. We use the concept of -cocoercivity to prove the convergence of the approximate solutions to the exact solution of mixed variational-like inequalities.     

Fixed-Point Technique for Implicit Complementarity Problem in Hilbert Lattice

In this paper, we consider and study the implicit complementarity problem in the setting of a Hilbert lattice. It has been shown that this problem can be formulated as a fixed-point problem by using a suitable change of variables. Moreover, this formulation allows us to prove the existence and uniqueness of solutions of the implicit complementarity problem.     

(φ,ξ,η,λ)‐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.     

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.     

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.     

Minimum distance regression-type estimates with rates under weak dependence

Under weak dependence, a minimum distance estimate is obtained for a smooth function and its derivatives in a regression-type framework. The upper bound of the risk depends on the Kolmogorov entropy of the underlying space and the mixing coefficient. It is shown that the proposed estimates have the same rate of convergence, in the L ₁-norm sense, as in the independent case.This work was partially supported by a research grant from the Natural Sciences and Engineering Research Council of Canada.     

On the smoothness of conjugacy for circle covering maps

A conjugacy betweenC ¹⁺ -hyperbolic circle covering maps isC ¹⁺ if it has a positive derivative on some point in the -set.     

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.     

An intelligent decision support system for assisting industrial wastewater management

Sustainable economic development requires the inclusion of environmental factors in the decision making procedure. The generic objective of the Environmentally Sensitive Investment System (ESIS) Project is to provide industry and governmental departments or agencies with a tool to assess the technical and economic implications of capital-intensive projects, in response to stated environmental policies. More specifically, the ESIS prototype helps to find wastewater management alternatives that meet given environmental regulatory standards in a technologically sound and cost-efficient manner. The use of this decision support system will enhance the ability of managers and planners to explore the quantitative implications of a wide range of options. ESIS incorporates a combination of artificial intelligence and operations research techniques, database management and visualization tools, integrated under a graphical user interface. The ESIS prototype runs on top-of-the-line personal computers.     

On a Lower Bound of the Uniform Distance in the Central Limit Theorem for ϕ-Mixing Random Variables

We derive a lower bound of the uniform distance in the central limit theorem for real -mixing random variables under the finiteness of the eighth moments of summands. The main result of the present paper generalizes the corresponding author"s result obtained in 1997 for m-dependent random variables to the case of -mixing random variables.     

A Characterization of Markov Property for Semigroups with Invariant Measure

The positivity of the carré du champ operator is a direct consequence of the positivity of the associated Markov semigroup. We show in this note that the reciprocal implication holds in invariant measure, under minimal hypotheses of continuity and stability.     

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     

Existence of ∈-Minima for Vector Optimization Problems

The -generalized minima for vector optimization problems are defined and a sufficient condition for the existence of -generalized minima for vector optimization problems is established.     

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.