On the convergence of general regularization and smoothing schemes for mathematical programs with complementarity constraints

We extend the convergence analysis of a smoothing method [M. Fukushima and J.-S. Pang (2000). Convergence of a smoothing continuation method for mathematical programs with complementarity constraints. In: M. Théra and R. Tichatschke (Eds.), Ill-posed Variational Problems and Regularization Techniques, pp. 99–110. Springer, Berlin/Heidelberg.] to a general class of smoothing functions and show that a weak second-order necessary optimality condition holds at the limit point of a sequence of stationary points found by the smoothing method. We also show that convergence and stability results in [S. Scholtes (2001). Convergence properties of a regularization scheme for mathematical programs with complementarity constraints. SIAM J. Optim., 11, 918–936.] hold for a relaxation problem suggested by Scholtes [S. Scholtes (2003). Private communications.] using a class of smoothing functions. In addition, the relationship between two technical, yet critical, concepts in [M. Fukushima and J.-S. Pang (2000). Convergence of a smoothing continuation method for mathematical programs with complementarity constraints. In: M. Théra and R. Tichatschke (Eds.), Ill-posed Variational Problems and Regularization Techniques, pp. 99–110. Springer, Berlin/Heidelberg; S. Scholtes (2001). Convergence properties of a regularization scheme for mathematical programs with complementarity constraints. SIAM J. Optim., 11, 918–936.] for the convergence analysis of the smoothing and regularization methods is discussed and a counter-example is provided to show that the stability result in [S. Scholtes (2001). Convergence properties of a regularization scheme for mathematical programs with complementarity constraints. SIAM J. Optim., 11, 918–936.] cannot be extended to a weaker regularization.     

Cohomologically trivial internal categories in categories of groups with operations

We describe cohomologically trivial internal categories in the categoryC of groups with operations satisfying certain conditions ([15], [16]). As particular cases we obtain: ifC=Gr, H⁰(C, –)=0 iff C is a connected internal category; ifC=Ab,H ¹(C, –)=0 iff C is equivalent to the discrete internal category (Cokerd, Cokerd, 1, 1, 1, 1). We also discuss related questions concerning extensions, internal categories, their cohomology and equivalence in the categoryC.     

Coinverters and categories of fractions for categories with structure

A category of fractions is a special case of acoinverter in the 2-categoryCat. We observe that, in a cartesian closed 2-category, the product of tworeflexive coinverter diagrams is another such diagram. It follows that an equational structure on a categoryA, if given by operationsA ⁿ A forn N along with natural transformations and equations, passes canonically to the categoryA [^–1] of fractions, provided that is closed under the operations. We exhibit categories with such structures as algebras for a class of 2-monads onCat, to be calledstrongly finitary monads.The first and third authors gratefully acknowledge the support of the Australian Research Council.     

T0-SEPARATION IN TOPOLOGICAL CATEGORIES

R.-E. Hoffmann [5,6] has introduced the notion of an (E,M)-universally topological functor, which provides a categorical characterization of the T₀-separation axiom of general topology. In this paper, we characterise these functors in terms of the unique extension of structure functors defined on the subcategory of “separated” objects (of the domain category). This, in turn, leads to a solution of some problems due to G.C.L. Brümmer [1,2]. Other results include a generalization of L. Skula's characterization of the bireflective subcategories of Top [10].     

APPROXIMATION BY VECTOR-VALUED FUNCTIONS

ABSTRACT

The theory of H-sets was first propounded by L. Collatz [3] and [4]. This concept has been shown to be useful in the study of uniform approximation, and we here consider the form H-sets take in this setting of vector-valued functions and prove a general characterization theorem. A similar exposition for the linear real-valued case can be found in [1].     

Trunks and classifying spaces

Trunks are objects loosely analogous to categories. Like a category, a trunk has vertices and edges (analogous to objects and morphisms), but instead of composition (which can be regarded as given by preferred triangles of morphisms) it has preferred squares of edges. A trunk has a natural cubical nerve, analogous to the simplicial nerve of a category. The classifying space of the trunk is the realisation of this nerve. Trunks are important in the theory of racks [8]. A rackX gives rise to a trunkT (X) which has a single vertex and the setX as set of edges. Therack space BX ofX is the realisation of the nerveNT (X) ofT(X). The connection between the nerve of a trunk and the usual (cubical) nerve of a category determines in particular a natural mapBX BAs(X) whereBAs(X) is the classifying space of the associated group ofX. There is an extension to give a classifying space for an augmented rack, which has a natural map to the loop space of the Brown-Higgins classifying space of the associated crossed module [8, Section 2] and [3].The theory can be used to define invariants of knots and links since any invariant of the rack space of the fundamental rack of a knot or link is ipso facto an invariant of the knot or link.     

A note on a paper “A regularization method for the proximal point algorithm”

In this note, a small gap is corrected in the proof of H.K. Xu [Theorem 3.3, A regularization method for the proximal point algorithm, J. Glob. Optim. 36, 115–125 (2006)], and some strict restriction is removed also.      

Matrices, machines and behaviors

Sabadini, Walters and others have developed a categorical, machine based theory of concurrency in which there are four essential aspects: a distributive category of data-types; a bicategory Mach whose objects are data types, and whose arrows are input-output machines built from data types; a semantic category (or categories) Sem, suitable to contain the behaviors of machines, and a functor, behavior: MachSem. Suitable operations on machines and semantics are found so that the behavior functor preserves these operations. Then, if each machine is decomposable into primitive machines using these operations, the behavior of a general machine is deducible from the behavior of its parts. The theory of non-deterministic finite state automata provides an example of the paradigm and also throws some light on the classical theory of finite state automata.We describe a bicategory whose objects are natural numbers, in which an arrow M: np is a finite state automaton with n input states, p output states, and some additional internal states; we require that no transitions begin at output states or end at input states. A machine is represented by an q+n by q+p matrix. The bicategory supports additional operations: non-deterministic choice, parallel interleaving, and feedback. Enough operations are imposed on machines to show that each machine may be obtained from some atomic ones by means of the operations.The semantic category is the (Bloom-Ésik) iteration theory Mat _(X whose objects are natural numbers and whose arrows from n to p are n×p matrices with entries in the semiring of languages. The behavior functor associates to a machine M: np a matrix |M| of languages, one language to each pair of input and output states. Behavior preserves composition, feedback, takes non-deterministic choice to union, and parallel-interleaving to shuffle. Thus, behavior gives a compositional semantics to a primitive notion of concurrent processes.This work has been supported by the Australian Research Council, by CEC under grant number 6317, ASMICS II, by Italian MURST, and by the Italian CNR.Visit to Sydney supported by a grant from the Australian Research Council.Presented at the European Colloquium of Category Theory, Tours, France, 25–31 July 1994.     

TOPOLOGICAL CATEGORIES AND CLOSURE OPERATORS

Abstract

It is shown that the category CS of closure spaces is a topological category. For each epireflective subcategory A of a topological category X a functor F _A :X → X is defined and used to extend to the general case of topological categories some results given in [4], [5] and [10] for epireflective subcategories of the category Top of topological spaces.     

Homogenization of integrals with pointwise gradient constraints via the periodic unfolding method

Abstract The pointwise gradient constrained homogenization process, for Neumann and Dirichlet type problems, is analyzed by means of the periodic unfolding method recently introduced in [21]. Classically, the proof of the homogenization formula in presence of pointwise gradient constraints relies on elaborated measure theoretic arguments. The one proposed here is elementary: it is based on weak convergence arguments in L^p spaces, coupled with suitable regularization techniques. Keywords: Homogenization, Gradient constrained problems, Periodic unfolding method Mathematics Subject Classification (2000): 49J45, 35B27, 74Q05     

FUNCTORIAL PROPERTIES OF THE HOPF INVARIANT I

Abstract

Homotopy operations Θ: [ΣY, U] → [ΣY, V] which are natural in Y are considered. In particular a technique used in the definition of the Hopf invariant (as treated by Berstein-Hilton) shows that any fibration p: E → B with fiber V, when provided with a homotopy section of Ωp, determines such a homotopy operation [ΣY, E] → [ΣY, V]. More generally, starting from a track class of homotopies α º f ? β º g we adapt this fibration technique to construct a homotopy operation [ΣY, M(f,g)] → [ΣY, F _α * F _β] called a Hopf invariant. The intervening fibration in the definition of this Hopf invariant arises via the fiberwise join construction.     

Determinantal representations for the J transformation

Summary. The iterative J transformation [Homeier, H. H. H. (1993): Some applications of nonlinear convergence accelerators. Int. J. Quantum Chem. 45, 545-562] is of similar generality as the well-known E algorithm [Brezinski, C. (1980): A general extrapolation algorithm. Numer. Math. 35, 175-180. Havie, T. (1979): Generalized Neville type extrapolation schemes. BIT 19, 204-213]. The properties of the J transformation were studied recently in two companion papers [Homeier, H. H. H. (1994a): A hierarchically consistent, iterative sequence transformation. Numer. Algo. 8, 47-81. Homeier, H. H. H. (1994b): Analytical and numerical studies of the convergence behavior of the J transformation. J. Comput. Appl. Math., to appear]. In the present contribution, explicit determinantal representations for this sequence transformation are derived. The relation to the Brezinski-Walz theory [Brezinski, C., Walz, G. (1991): Sequences of transformations and triangular recursion schemes, with applications in numerical analysis. J. Comput. Appl. Math. 34, 361-383] is discussed. Overholt's process [Overholt, K. J. (1965): Extended Aitken acceleration. BIT 5, 122-132] is shown to be a special case of the J transformation. Consequently, explicit determinantal representations of Overholt's process are derived which do not depend on lower order transforms. Also, families of sequences are given for which Overholt's process is exact. As a numerical example, the Euler series is summed using the J transformation. The results indicate that the J transformation is a very powerful numerical tool. Received May 24, 1994 / Revised version received November 11, 1994     

Separation properties in algebraic categories of topological spaces

Full subcategories C ? Top of the category of topological spaces, which are algebraic over Set in the sense of Herrlich [2], have pleasant separation properties, mostly subject to additional closedness assumptions. For instance, every C-object is a T₁-space, if the two-element discrete space belongs to C. Moreover, if C is closed under the formation of finite powers in Top and even varietal [2], then every C-object is Hausdorff. Hence, the T₂-axiom turns out to be (nearly) superfluous in Herrlich's and Strecker's characterization of the category of compact Hausdorff spaces [1], although it is essential for the proof.If we think of C-objects X as universal algebras (with possibly infinite operations), then the subalgebras of X form the closed sets of a compact topology on X, provided that the ordinal spaces [0, β] belong to C. This generalizes a result in [3]. The subalgebra topology is used to prove criterions for the Hausdorffness of every space in C, if C is only algebraic.     

ANOTHER CHARACTERIZATION OF BICOREFLECTIVE SUBCATEGORIES

Abstract

In this paper, the relation between the notion of a discrete functor (see [4]) and the notion of a fine functor (see [1]) is examined. As a generalization of the notion of a F-fine object (see [1]), discrete functors T: A → X are used to define K-fine objects, where K is a class of A-objects. It is shown that if T is in addition semi-topological, then (as for F-fine objects in a topological category, see [1]) the class of K-fine objects determines a bicoreflective subcategory of A. Moreover, it is shown that in co-complete, co-(well-powered) categories, the existence of bicoreflective subcategories is equivalent to the existence of functors that are both discrete and semi-topological.     

RESTRICTING THE COMPARISON FUNCTOR OF AN ADJUNCTION TO PROJECTIVE OBJECTS

Abstract

This paper deals with projectives (in the sense of K.A.Hardie [5] relative to a right adjoint functor U: A → K. We answer the question, raised by R.-E. Hoffmann [6] p. 135, of knowing under what conditions there exists an equivalence between Proj u and Proj U^r, induced by the comparison functor Φ: A → K^T, where T denotes the monad induced by U. In the case, that U is an algebraic functor we also give necessary and sufficient conditions for the re gular projective objects to coincide with the U-projectives. Finally, we delineate how these results nay be applied in certain familiar situations.     

On the tensor product of well generated dg categories

We endow the homotopy category of well generated (pretriangulated) dg categories with a tensor product satisfying a universal property. The resulting monoidal structure is symmetric and closed with respect to the cocontinuous RHom of dg categories (in the sense of Toën [32]). We give a construction of the tensor product in terms of localisations of dg derived categories, making use of the enhanced derived Gabriel-Popescu theorem [27]. Given a regular cardinal α, we define and construct a tensor product of homotopically α-cocomplete dg categories and prove that the well generated tensor product of α-continuous derived dg categories (in the sense of [27]) is the α-continuous dg derived category of the homotopically α-cocomplete tensor product. In particular, this shows that the tensor product of well generated dg categories preserves α-compactness.     

On the topology of spherically symmetric space-times

Spherically symmetric space-times have attained considerable attention ever since the early beginnings of the theory of general relativity. In fact, they have appeared already in the papers of K. Schwarzschild [12] and W. De Sitter [5] which were published in 1916 and 1917 respectively soon after Einstein's epoch-making work [7] in 1915. The present survey is concerned mainly with recent results pertainig to the toplogy of spherically symmetric space-times. Definition. By space-time a connected time-oriented 4-dimensional Lorentz manifold is meant. If (M,<,>) is a space-time, and Φ: SO(3)×M→M an isometric action such that the maximal dimension of its orbits is equal to 2, then the action Φ is said to be spherical and the space-time is said to be spherically symmetric [8]; [11]. Likewise, isometric actions Ψ: O(3)×M→M are also considered ([10], p. 365; [4]) which will be called quasi-spherical if the maximal dimension of its orbits is 2 and then the space-time is said to be quasi-spherically symmetric here. Each quasi-spherical action yields a spherical one by restricting it to the action of SO(3); the converse of this statement will be considered elsewhere. The main results concerning spherically symmetric space-times are generally either of local character or pertaining to topologically restricted simple situations [14], and earlier results of global character are scarce [1], [4], [6], [13]. A report on recent results concerning the global geometry of spherically symmetric space-times [16] is presented below.     

INITIAL COMPLETIONS OF MONOTOPOLOGICAL CATEGORIES,AND CARTESIAN CLOSEDNESS

Abstract

Herrlich and Strecker [9] give examples of monotopological categories for which the MacNeille completion coincides with the universal initial completion. It is shown here that this situation always holds for monotopological categories. If the category is a proper monotopological c-category, then the MacNeille completion also coincides with the largest epi-reflective initial completion. During the course of the proof a lemma is given which characterizes monotopological categories (not necessarily c-categories) which are already topological. (Schwarz [14] gave such a characterization for the case of c-categories.)

It is also shown that a monotopological c-category is Cartesian closed if and only if its largest epi-reflective initial completion is Cartesian closed. A similar result holds for the case of a topological category which is not necessarily a c-category.     

The conductor of one-dimensional gorenstein rings in their blowing-up

Let (A,M) be a local, one-dimensional, Cohen-Macaulay ring of multiplicity e=e(A)>1 and Hilbert function H(A). Let I=Ann_A (B/A) be the conductor of A in its blowing up B. Northcott and Matlis have proved that if the embedding dimension emdim A of A is 2 then I=M^e−1 [3; Corollary 13.8]. If emdim A>2 little is know about I. In [6] and [7] I is computed when the associated graded ring G(A) is reduced (in this case B in the integral closure of A). In this paper we compute I when A is Gorenstein. There are in general upper and lower bounds for I in terms of a power of M and we start discussing when these bounds are attained. In particular we show that in the extremal situation I=M^e−1 one has emdimA=2 (thus inverting the result of Northcott and Matlis). Then we consider the case of Gorenstein rings. We prove that if G(A) in Gorenstein then I=M^ϑ where ϑ=Min{n‖H(n)=e}. If more generally A is Gorenstein then I⊂M² or emdim A=e(A)=2. When A is the local ring of a curve at a singular point p we get, as a consequence of this last result a proof of the following conjecture of Catanese which has interesting geometric applications [1]: if the conductor J of A in its normalization is not contained in M² then p is a node.