A note on the monotone functional interpretation

We prove a result relating the author's monotone functional interpretation to the bounded functional interpretation due to Ferreira and Oliva. More precisely we show that (over model of majorizable functionals) largely a solution for the bounded interpretation also is a solution for the monotone functional interpretation although the latter uses the existence of an underlying precise witness. This makes it possible to focus on the extraction of bounds (as in the bounded interpretation) while using the conceptual benefit of having precise realizers at the same time without having to construct them.     

Braids and their monotone clones

In this paper we investigate properties of the monotone clones of certain ordered sets known asbraids. This class of ordered sets arose naturally in the study of how the clone of monotone functions on an ordered set could satisfy, or fail to satisfy, Mal'cev conditions. One version of the main result can be stated as follows. IfB is a finite braid with reachr(B)>2 (defined in the text), then the only idempotent order-preserving functionsfBⁿB are then projections. It then follows, for example, that no algebra of monotone functions on a finite braidB withr(B)>2 generates a congruence-modular variety.Dedicated to Bjarni Jónsson on the occasion of his 70th birthday.Presented by G. McNulty.This research was supported by ARC grant A68831070 (Davey) and in part by NSF grant 87-03540 (Nation) and 89-04014 (McKenzie).     

Generalized monotone operators and their averaged resolvents

Mathematical Programming - The correspondence between the monotonicity of a (possibly) set-valued operator and the firm nonexpansiveness of its resolvent is a key ingredient in the convergence...     

Stability of generalized monotone maps with respect to their characterizations

We show that the known types of generalized monotone maps are not stable with respect to their characterizations (i.e. the characterizations are not maintained if an arbitrary map of this type is disturbed by an element with sufficiently small norm) and introduce s-quasimonotone maps, which are stable with respect to their characterization. For gradient maps, s-quasimonotonicity is related to s-quasiconvexity (introduced by Phu in Optimization, 38, 1996) of the underlying function. A necessary and sufficient condition for a univariate polynomial to be s-quasimonotone is given. Furthermore, some stability properties of s-quasiconvex functions are presented.     

An FPTAS for a single-item capacitated economic lot-sizing problem with monotone cost structure

We present a fully polynomial time approximation scheme (FPTAS) for a capacitated economic lot-sizing problem with a monotone cost structure. An FPTAS delivers a solution with a given relative error ɛ in time polynomial in the problem size and in 1/ɛ. Such a scheme was developed by van Hoesel and Wagelmans [8] for a capacitated economic lot-sizing problem with monotone concave (convex) production and backlogging cost functions. We omit concavity and convexity restrictions. Furthermore, we take advantage of a straightforward dynamic programming algorithm applied to a rounded problem.     

An economic interpretation of stochastic programs

The purpose of this note is to interpret a class of stochastic programming problems in economic terms. The primal stochastic program is shown to represent a certain production program of an entrepreneur. The dual program, which is also a stochastic program, represents the problem of a contractor who desires to purchase the entrepreneur's resources and sell product back to him.     

BSDEs with a random terminal time driven by a monotone generator and their links with PDEs

In this paper, we study one-dimensional backward stochastic differential equations (BSDE) with a random terminal time driven by a monotone generator, and their links with elliptic partial differential equations. Firstly, we present the case of BSDEs driven by a strictly monotone generator, and next we consider BSDEs driven by a monotone generator.     

Proofs with monotone cuts

Atserias, Galesi, and Pudlák have shown that the monotone sequent calculus MLK quasipolynomially simulates proofs of monotone sequents in the full sequent calculus LK (or equivalently, in Frege systems). We generalize the simulation to the fragment MCLK of LK which can prove arbitrary sequents, but restricts cut‐formulas to be monotone. We also show that MLK as a refutation system for CNFs quasipolynomially simulates LK.     

Trigonometric series with monotone coefficients

Let {_n} be a monotonically decreasing sequence. Then each sequence {b_n} such that b_n 0, b_nn, n=1, 2,..., is a sequence of Fourier-Lebesgue coefficients with respect to the system {cos nx} if and only if the sequence converges.Translated from Matematicheskie Zametki, Vol. 22, No. 1, pp. 77–83, July, 1977.     

A fuzzy set theoretic interpretation of economic control limits

It has been the practice in industry that product specification limits have been used to judge between ‘good’ and ‘bad’ product. It is generally assumed that a given unit of product either does or does not conform to specifications. Traditional acceptance control charts have contributed to this notion. The present paper suggests that situations exist where a concept of graded conformance might provide a more accurate representation of reality. It exploits the theory of fuzzy sets to demonstrate how acceptance control charts can be constructed to explicitly account for the degree of conformance exhibited by each unit or sample of product.     

Foliations of lightlike hypersurfaces and their physical interpretation

This paper deals with a family of lightlike (null) hypersurfaces (H _u ) of a Lorentzian manifold M such that each null normal vector ℓ of H _u is not entirely in H _u , but, is defined in some open subset of M around H _u . Although the family (H _u ) is not unique, we show, subject to some reasonable condition(s), that the involved induced objects are independent of the choice of (H _u ) once evaluated at u = constant. We use (n+1)-splitting Lorentzian manifold to obtain a normalization of ℓ and a well-defined projector onto H, needed for Gauss, Weingarten, Gauss-Codazzi equations and calculate induced metrics on proper totally umbilical and totally geodesic H _u . Finally, we establish a link between the geometry and physics of lightlike hypersurfaces and a variety of black hole horizons.     

Properties of functions with monotone graphs

A metric space (X,d) is monotone if there is a linear order < on X and a constant c>0 such that d(x,y)≦cd(x,z) for all x<y<z∈X. Properties of continuous functions with monotone graph (considered as a planar set) are investigated. It is shown, for example, that such a function can be almost nowhere differentiable, but must be differentiable at a dense set, and that the Hausdorff dimension of the graph of such a function is 1.     

An economic interpretation of exact penalty functions using sensitivity analysis

It has already been demonstrated that under some assumptions, a local minimum of a constrained problem is also a local unconstrained minimum of a function which is called an exact penalty function. Here, we present the same result with a new demonstration. By using sensitivity analysis, we give an economic interpretation for exact penalty functions.