Local linear convergence analysis of Primal–Dual splitting methods

In this paper, we study the local linear convergence properties of a versatile class of Primal–Dual splitting methods for minimizing composite non-smooth convex optimization problems. Under the assumption that the non-smooth components of the problem are partly smooth relative to smooth manifolds, we present a unified local convergence analysis framework for these methods. More precisely, in our framework, we first show that (i) the sequences generated by Primal–Dual splitting methods identify a pair of primal and dual smooth manifolds in a finite number of iterations, and then (ii) enter a local linear convergence regime, which is characterized based on the structure of the underlying active smooth manifolds. We also show how our results for Primal–Dual splitting can be specialized to cover existing ones on Forward–Backward splitting and Douglas–Rachford splitting/ADMM (alternating direction methods of multipliers). Moreover, based on these obtained local convergence analysis result, several practical acceleration techniques are discussed. To exemplify the usefulness of the obtained result, we consider several concrete numerical experiments arising from fields including signal/image processing, inverse problems and machine learning. The demonstration not only verifies the local linear convergence behaviour of Primal–Dual splitting methods, but also the insights on how to accelerate them in practice.     

Total synthesis of (3S,4S,2′S)- and (3R,4R,2′S)-viridiofungin A triester

The total synthesis of an alkylcitrate secondary metabolite from the fungi Trichoderma viride is described. An ester dienolate [2,3]-Wittig rearrangement and a S. Julia-Kocienski olefination served as key C/C-connecting transformations. The highly convergent synthesis consists of a longest linear sequence of 17 steps.     

The first total syntheses of (±)-Preussomerins K and L using 2-arylacetal anion technology

The first syntheses of newly isolated members of the Preussomerin family, Preussomerins K and L, are reported. Key steps include the functionalisation of a 2-arylacetal anion, one-pot Friedel-Crafts cyclisation-deprotection and reductive opening of epoxides.     

Robust linear optimization under general norms

We explicitly characterize the robust counterpart of a linear programming problem with uncertainty set described by an arbitrary norm. Our approach encompasses several approaches from the literature and provides guarantees for constraint violation under probabilistic models that allow arbitrary dependencies in the distribution of the uncertain coefficients.     

若干图的点强全染色(英文)

对图G及正整数k，映射f：满足：（1）任意e1，e3，如果e1，e2是相邻或相关联的，则有；（2）对u，v，w（G）有，则称f为G的一个k-点强全染色，并且K|G的社点强全染色称为G的点强全色数．本文讨论了一些特殊困的点强全色数，并提出了一个猜想：若G为每一分图的阶数不小于6的图，则（G），其中（G）为本文中定义的一新参数．     

Modules over Operator Algebras and Its Module Maps

ＭｏｄｕｌｅｓｏｖｅｒＯｐｅｒａｔｏｒＡｌｇｅｂｒａｓａｎｄＩｔｓＭｏｄｕｌｅＭａｐｓＸｕＴｉａｎｚｈｏｕ（许天周）（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＮａｎｊｉｎｇＵｎｉｅｒｓｉｔｙ，Ｎａｎｊｉｎｇ，２１００９３）ＡｂｓｔｒａｃｔＬｅ...     

On practical metrology and chemical analysis: etalons and traceability systems

 National measurement systems are infrastructures to ensure, for each nation, a consistent and internationally recognised basis for measurement. Such complex systems have historical, technical, legal, organisational and institutional aspects to connect scientific metrology with practical measurements. Underlying any valid measurement is a chain of comparisons linking the measurement to an accepted standard. The ways the links are forged and the etalons (measurement standards) to which they connect are defining characteristics of all measurement systems. This is often referred to as traceability which aims at basing measurements in common measurement units – a key issue for the integration of quantitative chemical analysis with the evolving physical and engineering measurement systems. Adequate traceability and metrological control make possible new technical capabilities and new levels of quality assurance and confidence by users in the accuracy and integrity of quantitative analytical results. Traceability for chemical measurements is difficult to achieve and harder to demonstrate. The supply of appropriate etalons is critical to the development of metrology systems for chemical analysis. An approach is suggested that involves the development of networks of specialised reference laboratories able to make matrix-independent reference measurements on submitted samples, which may then be used as reference materials by an originating laboratory using its practical measurement procedures. Received: 31 July 1995 Accepted: 19 August 1995     

Dual Characterizations of Set Containments with Strict Convex Inequalities

Characterizations of the containment of a convex set either in an arbitrary convex set or in the complement of a finite union of convex sets (i.e., the set, described by reverse-convex inequalities) are given. These characterizations provide ways of verifying the containments either by comparing their corresponding dual cones or by checking the consistency of suitable associated systems. The convex sets considered in this paper are the solution sets of an arbitrary number of convex inequalities, which can be either weak or strict inequalities. Particular cases of dual characterizations of set containments have played key roles in solving large scale knowledge-based data classification problems where they are used to describe the containments as inequality constraints in optimization problems. The idea of evenly convex set (intersection of open half spaces), which was introduced by W. Fenchel in 1952, is used to derive the dual conditions, characterizing the set containments.     

A UNICITY THEOREM FOR ENTIRE FUNCTIONS OF SEVERAL COMPLEX VARIABLES

A unicity theorem concerning the total derivative for entire functions of several complex variables is proved.     

Inferring mixed-culture growth from total biomass data in a wavelet approach

It is shown that the presence of mixed-culture growth in batch fermentation processes can be very accurately inferred from total biomass data by means of the wavelet analysis for singularity detection. This is accomplished by considering simple phenomenological models for the mixed growth and the more complicated case of mixed growth on a mixture of substrates. The main quantity provided by the wavelet analysis is the Hölder exponent of the singularity that we determine for our illustrative examples. The numerical results point to the possibility that Hölder exponents can be used to characterize the nature of the mixed-culture growth in batch fermentation processes with potential industrial applications. Moreover, the analysis of the same data affected by the common additive Gaussian noise still lead to the wavelet detection of the singularities although the Hölder exponent is no longer a useful parameter.