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.     

A simple three‐wave approximate Riemann solver for the Saint‐Venant‐Exner equations

Erosion and sediments transport processes have a great impact on industrial structures and on water quality. Despite its limitations, the Saint‐Venant‐Exner system is still (and for sure for some years) widely used in industrial codes to model the bedload sediment transport. In practice, its numerical resolution is mostly handled by a splitting technique that allows a weak coupling between hydraulic and morphodynamic distinct softwares but may suffer from important stability issues. In recent works, many authors proposed alternative methods based on a strong coupling that cure this problem but are not so trivial to implement in an industrial context. In this work, we then pursue 2 objectives. First, we propose a very simple scheme based on an approximate Riemann solver, respecting the strong coupling framework, and we demonstrate its stability and accuracy through a number of numerical test cases. However, second, we reinterpret our scheme as a splitting technique and we extend the purpose to propose what should be the minimal coupling that ensures the stability of the global numerical process in industrial codes, at least, when dealing with collocated finite volume method. The resulting splitting method is, up to our knowledge, the only one for which stability properties are fully demonstrated.     

Recent Progress on Nickel-Based Oxide/(Oxy)Hydroxide Electrocatalysts for the Oxygen Evolution Reaction

Developing clean and sustainable energies as alternatives to fossil fuels is in strong demand within modern society. The oxygen evolution reaction (OER) is the efficiency-limiting process in plenty of key renewable energy systems, such as electrochemical water splitting and rechargeable metal–air batteries. In this regard, ongoing efforts have been devoted to seeking high-performance electrocatalysts for enhanced energy conversion efficiency. Apart from traditional precious-metal-based catalysts, nickel-based compounds are the most promising earth-abundant OER catalysts, attracting ever-increasing interest due to high activity and stability. In this review, the recent progress on nickel-based oxide and (oxy)hydroxide composites for water oxidation catalysis in terms of materials design/synthesis and electrochemical performance is summarized. Some underlying mechanisms to profoundly understand the catalytic active sites are also highlighted. In addition, the future research trends and perspectives on the development of Ni-based OER electrocatalysts are discussed.     

Laser spectroscopy of the 1s HFS of H-like ions at a bunched beam in the storage ring ESR

The investigation of the 1s HFS provides a good possibility for testing QED effects in a combination of a strong electric and magnetic field. Here, we report about the laserspectroscopic measurements of the ground state hyperfine splitting in ²⁰⁷Pb⁸¹⁺. To handle this M1-transition in the infrared optical regime with its long lifetime, we developed a new detection technique using a bunched ion beam. For the observation of fluorescence light, a new mirror system is adapted to the emission characteristics from an ion beam at relativistic velocities. This revised version was published online in July 2006 with corrections to the Cover Date.     

CsNiCl3晶体的光谱精细结构、零场分裂参量及Jahn-Teller效应

应用不可约张量理论构造了三角对称晶场中3d²/3d⁸态离子的45阶可完全对角化的微扰哈密顿矩阵，研究了CsNiCl₃晶体的光谱精细结构、晶体结构、零场分裂参量、Jahn-Telller效应以及自旋单重态对Ni²⁺离子基态能级的影响，理论与实验相符合.在此基础上，进一步研究了以前工作中被忽略的自旋-自旋耦合作用和Trees修正对CsNiCl₃晶体的光谱精细结构和零场分裂参量的影响，发现有四种机理会影响零场分裂参量：1)自旋-轨道耦合机理，2)自旋-自旋耦合机理；3)自旋-轨道与自旋-自旋联合耦合机理；4)自旋-轨道与Trees修正联合耦合机理，其中自旋-轨道耦合机理是最主要的，其他三种机理也是不可忽略的. 关键词： 基态能级 精细结构 零场分裂 自旋-自旋耦合     

Analysis of G/D/1 Queueing Systems with Inputs Satisfying Large Deviation Principle under Weak* Topology

The large deviation principle (LDP) which has been effectively used in queueing analysis is the sample path LDP, the LDP in a function space endowed with the uniform topology. Chang [5] has shown that in the discrete-time G/D/1 queueing system under the FIFO discipline, the departure process satisfies the sample path LDP if so does the arrival process. In this paper, we consider arrival processes satisfying the LDP in a space of measures endowed with the weak^* topology (Lynch and Sethuraman [12]) which holds under a weaker condition. It is shown that in the queueing system mentioned above, the departure processes still satisfies the sample path LDP. Our result thus covers arrival processes which can be ruled out in the work of Chang [5]. The result is then applied to obtain the exponential decay rate of the queue length probability in an intree network as was obtained by Chang [5], who considered the arrival process satisfying the sample path LDP.     

An efficient numerical scheme for precise time integration of a diffusion-dissolution/precipitation chemical system

A numerical scheme based on an operator splitting method and a dense output event location algorithm is proposed to integrate a diffusion-dissolution/precipitation chemical initial-boundary value problem with jumping nonlinearities. The numerical analysis of the scheme is carried out and it is proved to be of order 2 in time. This global order estimate is illustrated numerically on a test case.

     

全光纤反射式马赫曾德尔干涉型多波长滤波器的研究

对反射式的马赫－曾德尔干涉型多波长滤波器的性能作了较详细的研究，得出了两个耦合器的分光比和两臂的臂长差对其输出谱线的影响，结论对设计制作不同性能指标的该型多波长滤波器具有重要的参考价值。实验上用光纤熔融拉锥法制作了该种器件，实验结果与理论相符合。     

ROBUST GLOBAL EXPONENTIAL STABILITY OF UNCERTAIN IMPULSIVE SYSTEMS

By using the quasi-Lyapunov function, some sufficient conditions of global exponential stability for impulsive systems are established, which is the basis for the following discussion. Then, by employing Riccati inequality and Hamilton-Jacobi inequality approach, some sufficient conditions of robust exponential stability for uncertain linear/nonlinear impulsive systems are derived, respectively. Finally, some examples are given to illustrate the applications of the theory.