The coupled-cluster formalism – a mathematical perspective

ABSTRACT

The Coupled-Cluster (CC) theory is one of the most successful high precision methods used to solve the stationary Schrödinger equation. In this article, we address the mathematical foundation of this theory with focus on the advances made in the past decade. Rather than solely relying on spectral gap assumptions (non-degeneracy of the ground state), we highlight the importance of coercivity assumptions – Gårding type inequalities – for the local uniqueness of the CC solution. Based on local strong monotonicity, different sufficient conditions for a local unique solution are suggested. One of the criteria assumes the relative smallness of the total cluster amplitudes (after possibly removing the single amplitudes) compared to the Gårding constants. In the extended CC theory the Lagrange multipliers are wave function parameters and, by means of the bivariational principle, we here derive a connection between the exact cluster amplitudes and the Lagrange multipliers. This relation might prove useful when determining the quality of a CC solution. Furthermore, the use of an Aubin–Nitsche duality type method in different CC approaches is discussed and contrasted with the bivariational principle.     

Wave-based vibration control of large cable net structures

Large cable net structures have been widely applied in aerospace engineering due to the feature of light-weight, high packaging efficiency, and high thermal stability. Structural vibrations induced by a variety of disturbances are inevitable in the space environment, resulting in the requirement of effective vibration control strategies for large cable net structures. Since the large cable net structures have many closely spaced vibrational modes in the range of low frequencies, traditional modal based control may cause modal truncation and spillover problems. In this paper, a wave-based boundary control strategy is adopted and its effectiveness to control the vibration of cable net structures is investigated, by transfer function analysis and numerical methods. It is found that the structural vibration can be absolutely resisted by applying the wave-based boundary controllers onto all the exterior nodes, when disturbances come from the external boundaries of the cable net. Our results in this paper can provide a theoretical basis for the vibration control of large cable net structures.     

Analytic hierarchy process for multi-sensor data fusion based on belief function theory

Multi-sensor data fusion is an evolving technology whereby data from multiple sensor inputs are processed and combined. The data derived from multiple sensors can, however, be uncertain, imperfect, and conflicting. The present study is undertaken to help contribute to the continuous search for viable approaches to overcome the problems associated with data conflict and imperfection. Sensor readings, represented by belief functions, have to be fused according to their corresponding weights. Previous studies have often estimated the weights of sensor readings based on a single criterion. Mono-criteria approaches for the assessment of sensor reading weights are, however, often unreliable and inadequate for the reflection of reality. Accordingly, this work opts for the use of a multi-criteria decision aid. A modified Analytical Hierarchy Process (AHP) that incorporates several criteria is proposed to determine the weights of a sensor reading set. The approach relies on the automation of pairwise comparisons to eliminate subjectivity and reduce inconsistency. It assesses the weight of each sensor reading, and fuses the weighed readings obtained using a modified average combination rule. The efficiency of this approach is evaluated in a target recognition context. Several tests, sensitivity analysis, and comparisons with other approaches available in the literature are described.     

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.     

Properties of bounded stochastic processes employed in biophysics

Abstract

Realistic stochastic modeling is increasingly requiring the use of bounded noises. In this work, properties and relationships of commonly employed bounded stochastic processes are investigated within a solid mathematical ground. Four families are object of investigation: the Sine-Wiener (SW), the Doering–Cai–Lin (DCL), the Tsallis–Stariolo–Borland (TSB), and the Kessler–Sørensen (KS) families. We address mathematical questions on existence and uniqueness of the processes defined through Stochastic Differential Equations, which often conceal non-obvious behavior, and we explore the behavior of the solutions near the boundaries of the state space. The expression of the time-dependent probability density of the Sine-Wiener noise is provided in closed form, and a close connection with the Doering–Cai–Lin noise is shown. Further relationships among the different families are explored, pathwise and in distribution. Finally, we illustrate an analogy between the Kessler–Sørensen family and Bessel processes, which allows to relate the respective local times at the boundaries.     

Lithium Insertion Mechanism in Iron-Based Oxyfluorides with Anionic Vacancies Probed by PDF Analysis

The mechanism of lithium insertion that occurs in an iron oxyfluoride sample with a hexagonal–tungsten–bronze (HTB)-type structure was investigated by the pair distribution function. This study reveals that upon lithiation, the HTB framework collapses to yield disordered rutile and rock salt phases followed by a conversion reaction of the fluoride phase toward lithium fluoride and nanometer-sized metallic iron. The occurrence of anionic vacancies in the pristine framework was shown to strongly impact the electrochemical activity, that is, the reversible capacity scales with the content of anionic vacancies. Similar to FeOF-type electrodes, upon de-lithiation, a disordered rutile phase forms, showing that the anionic chemistry dictates the atomic arrangement of the re-oxidized phase. Finally, it was shown that the nanoscaling and structural rearrangement induced by the conversion reaction allow the in situ formation of new electrode materials with enhanced electrochemical properties.