NIFTy 3 – Numerical Information Field Theory: A Python Framework for Multicomponent Signal Inference on HPC Clusters

NIFTy , “Numerical Information Field Theory,” is a software framework designed to ease the development and implementation of field inference algorithms. Field equations are formulated independently of the underlying spatial geometry allowing the user to focus on the algorithmic design. Under the hood, NIFTy ensures that the discretization of the implemented equations is consistent. This enables the user to prototype an algorithm rapidly in 1D and then apply it to high‐dimensional real‐world problems. This paper introduces NIFTy  3, a major upgrade to the original NIFTy  framework. NIFTy  3 allows the user to run inference algorithms on massively parallel high performance computing clusters without changing the implementation of the field equations. It supports n‐dimensional Cartesian spaces, spherical spaces, power spaces, and product spaces as well as transforms to their harmonic counterparts. Furthermore, NIFTy  3 is able to handle non‐scalar fields, such as vector or tensor fields. The functionality and performance of the software package is demonstrated with example code, which implements a mock inference inspired by a real‐world algorithm from the realm of information field theory. NIFTy  3 is open‐source software available under the GNU General Public License v3 (GPL‐3) at https://gitlab.mpcdf.mpg.de/ift/NIFTy/tree/NIFTy_3 .     

A problem of determining a special spatial part of 3D memory kernel in an integro‐differential hyperbolic equation

The inverse problem of determining 2D spatial part of integral member kernel in integro‐differential wave equation is considered. It is supposed that the unknown function is a trigonometric polynomial with respect to the spatial variable y with coefficients continuous with respect to the variable x. Herein, the direct problem is represented by the initial‐boundary value problem for the half‐space x>0 with the zero initial Cauchy data and Neumann boundary condition as Dirac delta function concentrated on the boundary of the domain . Local existence and uniqueness theorem for the solution to the inverse problem is obtained.     

On Characterizations of Special Elements in Rings with Involution

Let $R$ be a ring with involution. It is well-known that an EP element in $R$ is a core invertible element, but the question when a core invertible element is an EP element, the authors answer in this paper. Several new characterizations of star-core, normal and Hermitian elements in $R$ are also presented.     

A coefficient identification problem for a mathematical model related to ductal carcinoma in situ

We consider a coefficient identification problem for a mathematical model with free boundary related to ductal carcinoma in situ (DCIS). This inverse problem aims to determine the nutrient consumption rate from additional measurement data at a boundary point. We first obtain a global‐in‐time uniqueness of our inverse problem. Then based on the optimization method, we present a regularization algorithm to recover the nutrient consumption rate. Finally, our numerical experiment shows the effectiveness of the proposed numerical method.     

The recovery of the acoustic stiffness coefficient

We are concerned with the reconstruction of a non‐differentiable acoustic stiffness reactance coefficient of a one‐dimensional hyperbolic equation using the smallest possible number of boundary readings generated by classical initial conditions. To this end, a complete set of spectral data of a string is extracted from either a single or at most two readings of the trace of the solution on the boundary. The sought coefficient is then uniquely recovered by the Krein inverse spectral theory. Copyright © 2013 John Wiley & Sons, Ltd.     

Simple Equations Method (SEsM): Algorithm,Connection with Hirota Method,Inverse Scattering Transform Method,and Several Other Methods

The goal of this article is to discuss the Simple Equations Method (SEsM) for obtaining exact solutions of nonlinear partial differential equations and to show that several well-known methods for obtaining exact solutions of such equations are connected to SEsM. In more detail, we show that the Hirota method is connected to a particular case of SEsM for a specific form of the function from Step 2 of SEsM and for simple equations of the kinds of differential equations for exponential functions. We illustrate this particular case of SEsM by obtaining the three- soliton solution of the Korteweg-de Vries equation, two-soliton solution of the nonlinear Schrödinger equation, and the soliton solution of the Ishimori equation for the spin dynamics of ferromagnetic materials. Then we show that a particular case of SEsM can be used in order to reproduce the methodology of the inverse scattering transform method for the case of the Burgers equation and Korteweg-de Vries equation. This particular case is connected to use of a specific case of Step 2 of SEsM. This step is connected to: (i) representation of the solution of the solved nonlinear partial differential equation as expansion as power series containing powers of a “small” parameter ϵ; (ii) solving the differential equations arising from this representation by means of Fourier series, and (iii) transition from the obtained solution for small values of ϵ to solution for arbitrary finite values of ϵ. Finally, we show that the much-used homogeneous balance method, extended homogeneous balance method, auxiliary equation method, Jacobi elliptic function expansion method, F-expansion method, modified simple equation method, trial function method and first integral method are connected to particular cases of SEsM.     

Group inverse and core inverse in Banach and C*-algebras

Abstract

In this paper, we have focused our study on the acute perturbation of the group inverse for the elements of Banach algebra with respect to the spectral radius. We also give perturbation analysis for the core inverse in C*- algebra. The perturbation bounds for the core inverse under some conditions are presented. Additionally, this paper extends the results obtained in [11, 14].