Optimal lower eigenvalue estimates for Hodge-Laplacian and applications

We consider the eigenvalue problem for Hodge-Laplacian on a Riemannian manifold M isometrically immersed into another Riemannian manifold $\overline{M}$. We first assume the pull back Weitzenböck operator of $\overline{M}$ bounded from below, and obtain an extrinsic lower bound for the first eigenvalue of Hodge-Laplacian. As applications, we obtain some rigidity results. Second, when the pull back Weitzenböck operator of $\overline{M}$ bounded from both sides, we give a lower bound of the first eigenvalue by the Ricci curvature of M and some extrinsic geometry. As a consequence, we prove a weak Ejiri type theorem, that is, if the Ricci curvature bounded from below pointwisely by a function of the norm square of the mean curvature vector, then M is a homology sphere. In the end, we give an example to show that all the eigenvalue estimates are optimal when $\overline{M}$ is the space form.     

Areas and the Fundamental Theorem of Calculus

We present a concise, yet self-contained module for teaching the notion of area and the Fundamental Theorem of Calculus for different groups of students. This module contains two different levels of rigour, depending on the class it used for. It also incorporates a technological component.     

New method to solve electromagnetic parabolic equation

This paper puts forward a new method to solve the electromagnetic parabolic equation （EMPE） by taking the vertically-layered inhomogeneous characteristics of the atmospheric refractive index into account. First, the Fourier transform and the convo- lution theorem are employed, and the second-order partial differential equation, i.e., the EMPE, in the height space is transformed into first-order constant coefficient differential equations in the frequency space. Then, by use of the lower triangular characteristics of the coefficient matrix, the numerical solutions are designed. Through constructing ana- lytical solutions to the EMPE, the feasibility of the new method is validated. Finally, the numerical solutions to the new method are compared with those of the commonly used split-step Fourier algorithm.     

Functional ergodic limits for occupation time processes of site-dependent branching Brownian motions in R

We consider a kind of site-dependent branching Brownian motions whose branching laws depend on the site-branching factorσ(·).We focus on the functional ergodic limits for the occupation time processes of the models in R.It is proved that the limiting process has the form ofλξ(·),where A is the Lebesgue measure on IE andξ(·)is a real-valued process which is non-degenerate if and only ifσis integrable.Whenξ(·)is non-degenerate,it is strictly positive for t0.Moreover,ξconverges to O in finite-dimensional distributions if the integral ofσtends to infinity.     

A Kochen-Specker inequality from a SIC

Yu and Oh (eprint) [1] have given a state-independent proof of the Kochen-Specker theorem in three dimensions using only 13 rays. The proof consists of showing that a non-contextual hidden variable theory necessarily leads to an inequality that is violated by quantum mechanics. We give a similar proof making use of 21 rays that constitute a SIC (symmetric informationally-complete positive operator-valued measure) and a complete set of MUB (mutually unbiased bases). A theory-independent inequality is also presented using the same 21 rays, as required for experimental tests of contextuality.     

POSITIVE SOLUTIONS TO(k,n-k) NONHOMOGENEOUS BOUNDARYVALUE PROBLEM

By the Schauder fixed point theory,this paper establishes the existence of positive solutions to a(k,n k) m-point boundary value problem.We show that there exists a positive constant b such that the problem has at least one positive solution when the homogeneous boundary parameter is smaller than b,and no positive solution when this parameter is greater than b.     

Poisson’s equation for discrete-time single-birth processes

We consider Poisson’s equation for discrete-time single-birth processes, and we derive its solutions by solving a linear system of infinitely many equations. We apply the solution of Poisson’s equation to obtain the asymptotic variance. The results are further applied to birth–death processes and the scalar-valued GI/M/1-type Markov chains.     

Bombieri's Theorem in Short Intervals

Under the assumption of sixth power large sieve mean-value of Dirichlet L-function,we improve Bombieri's theorem in short intervals by virtue of the large sieve method and Heath-Brown's identity.     

Semi-concurrent vector fields in Finsler geometry

In the present paper, we give an answer to a question which is closely related to doubly warped product of Finsler metrics: ‘‘For each n, is there an n-dimensional Finsler manifold $(M,F)$, admitting a non-constant smooth function f on M such that $\frac{\partial f}{\partial x^i}\frac{\partial g^{ij}}{\partial y^k}=0$?”. We relate the preceding mentioned condition to different concepts appeared and studied in Finsler geometry. We introduce and investigate the notion of a semi concurrent vector field on a Finsler manifold. We show that some special Finsler manifolds admitting such vector fields turn out to be Riemannian. We prove that Tachibana's characterization of Finsler manifolds admitting a concurrent vector field leads to Riemannian metrics. Various examples for conic Finsler spaces that admit semi-concurrent vector field are presented.     

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 .