Branches of the essential spectrum of the lattice spin-boson model with at most two photons

We consider a lattice analogue of the A_m model of light radiation with a fixed atom and at most m photons (m = 1, 2). We describe the essential spectrum of the operator A₂ in terms of the spectrum of the operator A₁, i.e., we find the “two-particle” and “three-particle” branches of the essential spectrum of A₂. We prove that the essential spectrum is a union of at most six intervals, and we study their positions. We derive an estimate for the lower bound of the “two-particle” and “three-particle” branches.     

Gromov‐Hausdorff Limits of Kähler Manifolds with Bisectional Curvature Lower Bound

Given a sequence of complete Kähler manifolds with bisectional curvature lower bound and noncollapsed volume, we prove that the pointed Gromov‐Hausdorff limit is homeomorphic to a normal complex analytic space. The complex analytic structure is the natural “limit” of the complex structure of M_i.© 2017 Wiley Periodicals, Inc.     

Realizing the analytic surgery group of Higson and Roe geometrically part III: higher invariants

We construct an isomorphism between the geometric model and Higson-Roe’s analytic surgery group, reconciling the constructions in the previous papers in the series on “Realizing the analytic surgery group of Higson and Roe geometrically” with their analytic counterparts. Following work of Lott and Wahl, we construct a Chern character on the geometric model for the surgery group; it is a “delocalized Chern character”, from which Lott’s higher delocalized \(\rho \)-invariants can be retrieved. Following work of Piazza and Schick, we construct a geometric map from Stolz’ positive scalar curvature sequence to the geometric model of Higson-Roe’s analytic surgery exact sequence.     

Differential Equations with Infinitely Many Derivatives and the Borel Transform

Differential equations with infinitely many derivatives, sometimes also referred to as “nonlocal” differential equations, appear frequently in branches of modern physics such as string theory, gravitation and cosmology. We properly interpret and solve linear equations in this class with a special focus on a solution method based on the Borel transform. This method is a far-reaching generalization of previous studies of nonlocal equations via Laplace and Fourier transforms, see for instance (Barnaby and Kamran, J High Energy Phys 02:40, 2008; Górka et al., Class Quantum Gravity 29:065017, 2012; Górka et al., Ann Henri Poincaré 14:947–966, 2013). We reconsider “generalized” initial value problems within the present approach and we disprove various conjectures found in modern physics literature. We illustrate various analytic phenomena that can occur with concrete examples, and we also treat efficient implementations of the theory.     

Decompositions of modules lacking zero sums

A module over a semiring lacks zero sums (LZS) if it has the property that v +w = 0 implies v = 0 and w = 0. While modules over a ring never lack zero sums, this property always holds for modules over an idempotent semiring and related semirings, so arises for example in tropical mathematics.A direct sum decomposition theory is developed for direct summands (and complements) of LZS modules: The direct complement is unique, and the decomposition is unique up to refinement. Thus, every finitely generated “strongly projective” module is a finite direct sum of summands of R (assuming the mild assumption that 1 is a finite sum of orthogonal primitive idempotents of R). This leads to an analog of the socle of “upper bound” modules. Some of the results are presented more generally for weak complements and semi-complements. We conclude by examining the obstruction to the “upper bound” property in this context.     

Upper bounds on the length of a shortest closed geodesic and quantitative Hurewicz theorem

In this paper we present two upper bounds on the length of a shortest closed geodesic on compact Riemannian manifolds. The first upper bound depends on an upper bound on sectional curvature and an upper bound on the volume of the manifold. The second upper bound will be given in terms of a lower bound on sectional curvature, an upper bound on the diameter and a lower bound on the volume.The related questions that will also be studied are the following: given a contractible k-dimensional sphere in M ⁿ , how “fast” can this sphere be contracted to a point, if π _i (M ⁿ )={0} for 1≤i<k. That is, what is the maximal length of the trajectory described by a point of a sphere under an “optimal” homotopy? Also, what is the “size” of the smallest non-contractible k-dimensional sphere in a (k-1)-connected manifold M ⁿ providing that M ⁿ is not k-connected?     

Unsteady mixed flows in non uniform closed water pipes: a Full Kinetic Approach

We recall the Pressurized and Free Surface model constructed for the modeling of unsteady mixed flows in closed water pipes where transition points between the free surface and pressurized flow are treated as a free boundary associated to a discontinuity of the gradient of pressure. Then we present a numerical kinetic scheme for the computations of unsteady mixed flows in closed water pipes. This kinetic method that we call FKA for “Full Kinetic Approach” is an easy and mathematically elegant way to deal with multiple transition points when the changes of state between free surface and pressurized flow occur. We use two approaches namely the “ghost waves approach” and the “Full Kinetic Approach” to treat these transition points. We show that this kinetic numerical scheme has the following properties: it is wet area conservative, under a CFL condition it preserves the wet area positive, it treats “naturally” the flooding zones and most of all it is very easy to implement it. Finally numerical experiments versus laboratory experiments are presented and the scheme produces results that are in a very good agreement. We also present a numerical comparison with analytic solutions for free surface flows in non uniform pipes: the numerical scheme has a very good behavior. A code to code comparison for pressurized flows is also conducted and leads to a very good agreement. We also perform a numerical experiment when flooding and drying flows may occur and finally make a numerical study of the order of the kinetic method.     

Many-Sheeted Versions of the Pólya–Bernstein and Borel Theorems for Entire Functions of Order ρ ≠ 1 and Their Applications

The Puiseux series generated by the power function z = w^1/ρ, where ρ > 0,ρ ≠ 1, is considered. A version of the Pólya–Bernstein theorem for an entire function of order ρ ≠ 1 and normal type is proposed and applied to describe the domain of analytic continuation of this series. The domain of summability of a “regular” Puiseux series is found (this is a many-sheeted “Borel polygon”); in the case ρ = 1, the “one-sheeted” result of Borel is substantially extended. These results make it possible to describe domains of analytic continuation of the Puiseux expansions of popular many-sheeted functions (such as inverses of rational functions).     

Snakes: Oriented families of periodic orbits,their sources,sinks, and continuation

Poincaré observed that for a differential equation $\text{x′ = ?(x, α)}$ depending on a parameter α, each periodic orbit generally lies in a connected family of orbits in (x, α)-space. In order to investigate certain large connected sets (denoted Q) of orbits containing a given orbit, we introduce two indices: an orbit index φ and a “center” index

defined at certain stationary points. We show that genetically there are two types of Hopf bifurcation, those we call “sources” ($\textcolor{red}{}\text{= 1}$) and “sinks” ($\textcolor{red}{}\text{= ?1}$). Generically if the set Q is bounded in (x, α)-space, and if there is an upper bound for periods of the orbits in Q, then Q must have as many source Hopf bifurcations as sink Hopf bifurcations and each source is connected to a sink by an oriented one-parameter “snake” of orbits. A “snake” is a maximal path of orbits that contains no orbits whose orbit index is 0. See Fig. 1.1.     

Algebraic Theory of the Dependability of Binary Sensors

Binary sensor systems are analog sensors of various types (optical, microelectromechanical (MEMS) systems, X-ray, gamma-ray, acoustic, electronic, etc.) based on the binary decision process. Typical examples of such “binary sensors” are X-ray luggage inspection systems, product quality control systems, automatic target recognition systems, numerous medical diagnostic systems, and many others. In all these systems, the binary decision process provides only two mutually exclusive responses. There are also two types of key parameters that characterize either a system or external conditions in relation to the system that are determined by their prior probabilities. In this paper, by using a formal neuron model, we analyze the problem of threshold redundancy of binary sensors of a critical state. The following three major tasks are solved:

1. implementation of the algorithm of calculation of error probabilities for threshold redundancy of a group of sensors;
2. computation of the minimal upper bound for the probability in a closed analytical form and determination of its link with Claude Shannons theorem;
3. derivation of the expression (estimate) for sensor “weights” when the probability of the binary system error does not exceed the specified minimal upper bound.

     

Spectral Gap for Stable Process on Convex Planar Double Symmetric Domains

We study the semigroup of the symmetric α-stable process in bounded domains in R ². We obtain a variational formula for the spectral gap, i.e. the difference between two first eigenvalues of the generator of this semigroup. This variational formula allows us to obtain lower bound estimates of the spectral gap for convex planar domains which are symmetric with respect to both coordinate axes. For rectangles, using “midconcavity” of the first eigenfunction (Bañuelos et al., Potential Anal. 24(3): 205–221, 2006), we obtain sharp upper and lower bound estimates of the spectral gap.     

Analytic discs under sympletic transforms

By a holomorphic homogeneous symplectic transformation of T*X (for X = ?^N), we interchange the conormal bundle T _M ^* X to a higher codimensional submanifold M with the conormal bundle T _M ^* X to a hypersurface M of X. For an analytic disc A “attached” to M we are able to find a section A* ?T*X with π A* = A, attached to T _M ^* X, such that Ã:= πx(A*) is an analytic disc “attached” to M. By this procedure of “transferring” analytic discs, we get the higher codimensional version of our criteria of [5] on holomorphic extension of CR functions (with [5] being on its hand the main tool of the present proof). Thus, let W be a wedge of X with generic edge M and assume that there exists an analytic disc contained in M ∪ W, tangent to M at a boundary point z₀∈ ?A, and not contained in M in any neighborhood of z₀. Then germs of holomorphic functions on W at z₀ extend to a full neighborhood of z₀.     

Enriched Logical Connections

In the setting of enriched category theory, we describe dual adjunctions of the form $L\dashv R:{\mathsf{Spa}}^{op} \longrightarrow{\mathsf{Alg}}$ between the dual of the category Spa of “spaces” and the category Alg of “algebras” that arise from a schizophrenic object Ω, which is both an “algebra” and a “space”. We call such adjunctions logical connections. We prove that the exact nature of Ω is that of a module that allows to lift optimally the structure of a “space” and an “algebra” to certain diagrams. Our approach allows to give a unified framework known from logical connections over the category of sets and analyzed, e.g., by Hans Porst and Walter Tholen, with future applications of logical connections in coalgebraic logic and elsewhere, where typically, both the category of “spaces” and the category of “algebras” consist of “structured presheaves”.     

All uncountable cardinals in the Gitik model are almost Ramsey and carry Rowbottom filters

Using the analysis developed in our earlier paper 5 , we show that every uncountable cardinal in Gitik's model of 8 in which all uncountable cardinals are singular is almost Ramsey and is also a Rowbottom cardinal carrying a Rowbottom filter. We assume that the model of 8 is constructed from a proper class of strongly compact cardinals, each of which is a limit of measurable cardinals. Our work consequently reduces the best previously known upper bound in consistency strength for the theory + “All uncountable cardinals are singular” + “Every uncountable cardinal is both almost Ramsey and a Rowbottom cardinal carrying a Rowbottom filter”.     

Möbius-Walsh correlation bounds and an estimate of Mauduit and Rivat

We establish small correlation bounds for the Möbius function and the Walsh system, answering affirmatively a question posed by G. Kalai [Ka]. The argument is based on generalizing the approach of Mauduit and Rivat [M-R] in order to treat Walsh functions of “large weight”, while the “small weight” case follows from recent work due to B. Green [Gr]. The conclusion is an estimate uniform over the full Walsh system. A similar result also holds for the Liouville function.     

On the Global Behavior of Solutions of a Coupled System of Nonlinear Schrödinger Equation

We mainly study a system of two coupled nonlinear Schrödinger equations where one equation includes gain and the other one includes losses. This model constitutes a generalization of the model of pulse propagation in birefringent optical fibers. We aim in this study at partially answering a question of some authors in [1]: “Is the H¹‐norm of the solution globally bounded in the Manakov case, when ?” We found that in the Manakov case, and when , the solution stays in , and also that the H¹‐norm of the solution cannot blow up in finite time. In the Manakov case, an estimate of the total energy is provided, which is different from that has been given in [1]. These results are corroborated by numerical results that have been obtained with a finite element solver well adapted for that purpose.     

Inverse Spectral Problem for Analytic {{(\mathbb{Z}/2 \mathbb{Z})^{n}}} -Symmetric Domains in {{\mathbb{R}^{n}}}

We prove that bounded real analytic domains in ${\mathbb{R}^{n}}$ , with the symmetries of an ellipsoid and with one axis length fixed, are determined by their Dirichlet or Neumann eigenvalues among other bounded real analytic domains with the same symmetries and axis length. Some non-degeneracy conditions are also imposed on the class of domains. It follows that bounded, convex analytic domains are determined by their spectra among other such domains. This seems to be the first positive result for the well-known Kac problem, “Can one hear the shape of a drum?”, in higher dimensions.     

A sharp estimate of positive integral points in 6-dimensional polyhedra and a sharp estimate of smooth numbers

Inspired by Durfee Conjecture in singularity theory, Yau formulated the Yau number theoretic conjecture(see Conjecture 1.3) which gives a sharp polynomial upper bound of the number of positive integral points in an n-dimensional(n≥3) polyhedron. It is well known that getting the estimate of integral points in the polyhedron is equivalent to getting the estimate of the de Bruijn function ψ(x, y), which is important and has a number of applications to analytic number theory and cryptography. We prove the Yau number theoretic conjecture for n = 6. As an application, we give a sharper estimate of function ψ(x, y) for 5≤y 17, compared with the result obtained by Ennola.