A new contraction principle in menger spaces

In the present work we introduce a new type of contraction mapping by using a specific function and obtain certain fixed point results in Menger spaces. The work is in line with the research for generalizing the Banach＇s contraction principle. We extend the notion of altering distance function to Menger Spaces and obtain fixed point results.     

A general search game

The minimax solution is found for a game in which player I chooses a real number and player II seeks it by choosing a trajectory represented by a positive function. This work was supported by the Israel Council for Research and Development.     

Global Convergence of a Robust Smoothing SQP Method for Semi-Infinite Programming

The semi-infinite programming (SIP) problem is a program with infinitely many constraints. It can be reformulated as a nonsmooth nonlinear programming problem with finite constraints by using an integral function. Due to the nondifferentiability of the integral function, gradient-based algorithms cannot be used to solve this nonsmooth nonlinear programming problem. To overcome this difficulty, we present a robust smoothing sequential quadratic programming (SQP) algorithm for solving the nonsmooth nonlinear programming problem. At each iteration of the algorthm, we need to solve only a quadratic program that is always feasible and solvable. The global convergence of the algorithm is established under mild conditions. Numerical results are given. Communicated by F. Giannessi His work was supported by the Hong Kong Research Grant Council His work was supported by the Australian Research Council.     

The Paley-Wiener theorem in the non-commutative and non-associative octonions

The Paley-Wiener theorem in the non-commutative and non-associative octonion analytic function space is proved. This work was supported by the National Basic Research Program of China (Grant No. 1999075105), the National Natural Science Foundation of China (Grant No. 10471002) and Research Foundation for Doctoral Programm (Grant No. 20050574002)     

Elementary equivalent pairs of algebras associated with sets

The elementary equivalence of two full relation algebras, partition lattices or function monoids are shown to be equivalent to the second order equivalence of the cardinalities of the corresponding sets. This is shown to be related to elementary equivalence of permutation groups and ordinals. Infinite function monoids are shown to be ultrauniversal.Presented by Walter Taylor.The work of the second author was supported by a grant from the University of Cape Town Research Committee, and by the Topology Research Group from the University of Cape Town and the South African Council for Scientific and Industrial Research.     

On the Finite Termination of an Entropy Function Based Non-Interior Continuation Method for Vertical Linear Complementarity Problems

By using a smooth entropy function to approximate the non-smooth max-type function, a vertical linear complementarity problem (VLCP) can be treated as a family of parameterized smooth equations. A Newton-type method with a testing procedure is proposed to solve such a system. We show that under some milder than usual assumptions the proposed algorithm finds an exact solution of VLCP in a finite number of iterations. Some computational results are included to illustrate the potential of this approach. This author’s work was partially supported by the National Natural Science Foundation of China (Grant Nos. 10271002 and 10401038). This author’s work was partially supported by the Scientific Research Foundation of Tianjin University for the Returned Overseas Chinese Scholars and the Scientific Research Foundation of Liu Hui Center for Applied Mathematics, Nankai University-Tianjin University.     

On the convergence of the coordinate descent method for convex differentiable minimization

The coordinate descent method enjoys a long history in convex differentiable minimization. Surprisingly, very little is known about the convergence of the iterates generated by this method. Convergence typically requires restrictive assumptions such as that the cost function has bounded level sets and is in some sense strictly convex. In a recent work, Luo and Tseng showed that the iterates are convergent for the symmetric monotone linear complementarity problem, for which the cost function is convex quadratic, but not necessarily strictly convex, and does not necessarily have bounded level sets. In this paper, we extend these results to problems for which the cost function is the composition of an affine mapping with a strictly convex function which is twice differentiable in its effective domain. In addition, we show that the convergence is at least linear. As a consequence of this result, we obtain, for the first time, that the dual iterates generated by a number of existing methods for matrix balancing and entropy optimization are linearly convergent.This work was partially supported by the U.S. Army Research Office, Contract No. DAAL03-86-K-0171, by the National Science Foundation, Grant No. ECS-8519058, and by the Science and Engineering Research Board of McMaster University.     

A Lagrange penalty reformulation method for constrained optimization

In this paper a constrained optimization problem is transformed into an equivalent one in terms of an auxiliary penalty function. A Lagrange function method is then applied to this transformed problem. Zero duality gap and exact penalty results are obtained without any coercivity assumption on either the objective function or constraint functions. The work of the authors was supported by the Australian Research Council (grant DP0343998), the Research Grants Council of Hong Kong (PolyU 5145/02E) and NNSF (10571174) of China, respectively.     

Calculating the cone of directions of constancy

This note presents an algorithm that finds the cone of directions of constancy of a differentiable, faithfully convex function.This work was supported by the National Research Council of Canada. The author is indebted to Professor S. Zlobec for suggesting the topic and for his guidance.     

Cut sharing for multistage stochastic linear programs with interstage dependency

Multistage stochastic programs with interstage independent random parameters have recourse functions that do not depend on the state of the system. Decomposition-based algorithms can exploit this structure by sharing cuts (outer-linearizations of the recourse function) among different scenario subproblems at the same stage. The ability to share cuts is necessary in practical implementations of algorithms that incorporate Monte Carlo sampling within the decomposition scheme. In this paper, we provide methodology for sharing cuts in decomposition algorithms for stochastic programs that satisfy certain interstage dependency models. These techniques enable sampling-based algorithms to handle a richer class of multistage problems, and may also be used to accelerate the convergence of exact decomposition algorithms. Research leading to this work was partially supported by the Department of Energy Contract DE-FG03-92ER25116-A002; the Office of Naval Research Contract N00014-89-J-1659; the National Science Foundation Grants ECS-8906260, DMS-8913089; and the Electric Power Research Institute Contract RP 8010-09, CSA-4O05335. This author's work was supported in part by the National Research Council under a Research Associateship at the Naval Postgraduate School, Monterey, California.     

Mean stochastic comparison of diffusions

Summary Stochastic bounds are derived for one dimensional diffusions (and somewhat more general random processes) by dominating one process pathwise by a convex combination of other processes. The method permits comparison of diffusions with different diffusion coefficients. One interpretation of the bounds is that an optimal control is identified for certain diffusions with controlled drift and diffusion coefficients, when the reward function is convex. An example is given to show how the bounds and the Liapunov function technique can be applied to yield bounds for multidimensional diffusions.This work was supported by the Office of Naval Research under Contract N00014-82-K-0359 and the U.S. Army Research Office under Contract DAAG29-82-K-0091 (administered through the University of California at Berkeley).     

Maximizing the minimum source-sink path subject to a budget constraint

Given a linear cost function for lengthening arcs, a technique is shown for maximizing, within a budget, the shortest source—sink path length in a graph. The computation is equivalent to the parametric solution of a minimum cost flow problem.This work was done while G.C. Harding was at Cornell University.The work of D.R. Fulkerson was supported by the National Science Foundation under Grant MPS74-24026 and by the Office of Naval Research under Grant NR 044-439.     

A limiting infisup theorem

We show that duality gaps can be closed under broad hypotheses in minimax problems, provided certain changes are made in the maximum part which increase its value. The primary device is to add a linear perturbation to the saddle function, and send it to zero in the limit. Suprema replace maxima, and infima replace minima. In addition to the usual convexity-concavity type of assumptions on the saddle function and the sets, a form of semireflectivity is required for one of the two spaces of the saddle function. A sharpening of the results is possible when one of the spaces is finite-dimensional. A variant of the proof of the previous results leads to a generalization of a result of Sion, from which the theorem of Kneser and Fan follows.This author's work was supported in part by Grant No. DAAG29-77-0024, Army Research Office, Research Triangle Park, North Carolina.This author's work was supported in part by Grant No. ENG-7900284 of the National Science Foundation.     

A parameterized Newton method and a quasi-Newton method for nonsmooth equations

This paper presents a parameterized Newton method using generalized Jacobians and a Broyden-like method for solving nonsmooth equations. The former ensures that the method is well-defined even when the generalized Jacobian is singular. The latter is constructed by using an approximation function which can be formed for nonsmooth equations arising from partial differential equations and nonlinear complementarity problems. The approximation function method generalizes the splitting function method for nonsmooth equations. Locally superlinear convergence results are proved for the two methods. Numerical examples are given to compare the two methods with some other methods.This work is supported by the Australian Research Council.     

Sublinear upper bounds for stochastic programs with recourse

Separable sublinear functions are used to provide upper bounds on the recourse function of a stochastic program. The resulting problem's objective involves the inf-convolution of convex functions. A dual of this problem is formulated to obtain an implementable procedure to calculate the bound. Function evaluations for the resulting convex program only require a small number of single integrations in contrast with previous upper bounds that require a number of function evaluations that grows exponentially in the number of random variables. The sublinear bound can often be used when other suggested upper bounds are intractable. Computational results indicate that the sublinear approximation provides good, efficient bounds on the stochastic program objective value.This research has been partially supported by the National Science Foundation. The first author's work was also supported in part by Office of Naval Research Grant N00014-86-K-0628 and by the National Research Council under a Research Associateship at the Naval Postgraduate School, Monterey, California.     

A globally convergent Newton method for convex SC1 minimization problems

This paper presents a globally convergent and locally superlinearly convergent method for solving a convex minimization problem whose objective function has a semismooth but nondifferentiable gradient. Applications to nonlinear minimax problems, stochastic programs with recourse, and their extensions are discussed.The research of the first author is based on work supported by the National Science Foundation under Grants DDM-9104078 and CCR-9213739. This research was carried out while he was visiting the University of New South Wales. The research of the second author is based on work supported by the Australian Research Council.     

Decentralized optimum load frequency control of interconnected power systems

A new approach for designing a linear regulator for the problem of load frequency control (LFC) of interconnected power systems is developed. The control is specified to be of proportional-plus-integral (P-I) form and is only a function of the measurable states. The LFC problem is formulated as a parameter optimization problem.This work was supported in part by the National Research Council of Canada, Grant No. A4146.     

Nonscalarized multiobjective global optimization

A new approach to multiobjective optimization is presented which is made possible due to our ability to obtain full global optimal solutions. A distinctive feature of this approach is that a vector cost function is nonscalarized. The method provides a means for the solution of vector optimization problems with nonreconcilable objectives.This work was supported by the Natural Sciences and Engineering Research Council of Canada, Grant No. A3492.     

Nonlinear programming using minimax techniques

A minimax approach to nonlinear programming is presented. The original nonlinear programming problem is formulated as an unconstrained minimax problem. Under reasonable restrictions, it is shown that a point satisfying the necessary conditions for a minimax optimum also satisfies the Kuhn-Tucker necessary conditions for the original problem. A leastpth type of objective function for minimization with extremely large values ofp is proposed to solve the problem. Several numerical examples compare the present approach with the well-known SUMT method of Fiacco and McCormick. In both cases, a recent minimization algorithm by Fletcher is used.This paper is based on work presented at the 5th Hawaii International Conference on System Sciences, Honolulu, Hawaii, 1972. The authors are greatly indebted to V. K. Jha for his programming assistance and J. H. K. Chen who obtained some of the numerical results. This work was supported in part by the National Research Council of Canada under Grant No. A7239, by a Frederick Gardner Cottrell Grant from the Research Corporation, and through facilities and support from the Communications Research Laboratory of McMaster University.     

A Smoothing Newton-Type Algorithm of Stronger Convergence for the Quadratically Constrained Convex Quadratic Programming

In this paper we propose a smoothing Newton-type algorithm for the problem of minimizing a convex quadratic function subject to finitely many convex quadratic inequality constraints. The algorithm is shown to converge globally and possess stronger local superlinear convergence. Preliminary numerical results are also reported. Mathematics Subject Classification (1991): 90C33, 65K10 This author’s work was also partially supported by the Scientific Research Foundation of Tianjin University for the Returned Overseas Chinese Scholars and the Scientific Research Foundation of Liu Hui Center for Applied Mathematics, Nankai University-Tianjin University.