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.     

Skew-Hermitian Triangular Splitting Iteration Methods for Non-Hermitian Positive Definite Linear Systems of Strong Skew-Hermitian Parts

By further generalizing the skew-symmetric triangular splitting iteration method studied by Krukier, Chikina and Belokon (Applied Numerical Mathematics, 41 (2002), pp. 89–105), in this paper, we present a new iteration scheme, called the modified skew-Hermitian triangular splitting iteration method, for solving the strongly non-Hermitian systems of linear equations with positive definite coefficient matrices. We discuss the convergence property and the optimal parameters of this new method in depth. Moreover, when it is applied to precondition the Krylov subspace methods like GMRES, the preconditioning property of the modified skew-Hermitian triangular splitting iteration is analyzed in detail. Numerical results show that, as both solver and preconditioner, the modified skew-Hermitian triangular splitting iteration method is very effective for solving large sparse positive definite systems of linear equations of strong skew-Hermitian parts.     

The Convergence and Stability of Splitting Finite-Difference Schemes for Nonlinear Evolutionary Equations

We consider a splitting finite-difference scheme for an initial-boundary value problem for a two-dimensional nonlinear evolutionary equation. The problem is split into nonlinear and linear parts. The linear part is also split into locally one-dimensional equations. We prove the convergence and stability of the scheme in L ₂ and C norms. Printed in Lietuvos Matematikos Rinkinys, Vol. 45, No. 3, pp. 413–434, July–September, 2005.     

The π-π-theorem for manifold pairs with boundaries

The surgery obstruction of a normal map to a simple Poincaré pair (X, Y) lies in the relative surgery obstruction group L _*(π ₁(Y) → π ₁(X)). A well-known result of Wall, the so-called π-π-theorem, states that in higher dimensions a normal map of a manifold with boundary to a simple Poincaré pair with π ₁(X) ? π ₁(Y) is normally bordant to a simple homotopy equivalence of pairs. In order to study normal maps to a manifold with a submanifold, Wall introduced the surgery obstruction groups LP _* for manifold pairs and splitting obstruction groups LS _*. In the present paper, we formulate and prove for manifold pairs with boundary results similar to the π-π-theorem. We give direct geometric proofs, which are based on the original statements of Wall’s results and apply obtained results to investigate surgery on filtered manifolds.     

Quadrupole interactions at 57Fe and 119Sn in 3d-metal antimonides

3d-metal antimonides: Fe_1+x Sb, N_+x Sb, Co_+x Sb and the (Ni_1?y Fe _y )Sb solid solution have been studied by the Mössbauer effect method at ⁵⁷Fe and ¹¹⁹Sn. It was found that the quadrupole interactions at the Fe and Sn nucleus in 3d-metal antimonides are very sensitive to the filling of different crystallographic sites with metal atoms. The metal atoms in trigonal-bipyramidal sites have a strong effect on the quadrupole splitting of ¹¹⁹Sn. They are nearest to anions (Sb or Sn) with the typical axial ratio of c/a = 1.25. The QS(x) dependence of ¹¹⁹ Sn in 3d-metal antimonides in the 0 ≤ x ≤ 0.1 concentration range can be used to determine x – the concentration of transition metal excess relative to the stoichiometric composition.     

Effects of trapped electrons on the line shape in emission Mössbauer spectra

To explain line broadening in emission Mössbauer spectra as compared to the corresponding absorber measurements, the model of trapped electrons has been proposed. Auger electrons (emitted, e.g. after electron capture by ⁵⁷Co or after the converted isomeric transition of ^119mSn), as well as secondary electrons, may be trapped in the proximity to the nucleogenic ion. Electrons captured by lattice traps at different distances from the daughter ion induce an asymmetric distribution of quadrupole splitting in the resulting emission spectra, as shown in a few examples. This model is supported by estimates of quadrupole splitting values which may be caused by such trapped electrons located at specified distances from the nucleogenic atom.     

Notes on Sublattice-Lattices

We prove that directly reducible lattices and selfdual subdirectly irreducible lattices of locally finite length are determined by their sublattice-lattices. As a corollary we obtain that splitting varieties are closed under the isomorphism of sublattice-lattices iff they are selfdual. A class of selfdual non-closed varieties is given too.