This article studies constructions of reproducing kernel Banach spaces (RKBSs) which may be viewed as a generalization of reproducing kernel Hilbert spaces (RKHSs). A key point is to endow Banach spaces with reproducing kernels such that machine learning in RKBSs can be well-posed and of easy implementation. First the authors verify many advanced properties of the general RKBSs such as density, continuity, separability, implicit representation, imbedding, compactness, representer theorem for learning methods, oracle inequality, and universal approximation. Then, they develop a new concept of generalized Mercer kernels to construct p-norm RKBSs for 1≤p≤∞ .

This book is a tribute to Professor Ian Hugh Sloan on the occasion of his 80th birthday. It consists of nearly 60 articles written by international leaders in a diverse range of areas in contemporary computational mathematics. These papers highlight the impact and many achievements of Professor Sloan in his distinguished academic career. The book also presents state of the art knowledge in many computational fields such as quasi-Monte Carlo and Monte Carlo methods for multivariate integration, multi-level methods, finite element methods, uncertainty quantification, spherical designs and integration on the sphere, approximation and interpolation of multivariate functions, oscillatory integrals, and in general in information-based complexity and tractability, as well as in a range of other topics. The book also tells the life story of the renowned mathematician, family man, colleague and friend, who has been an inspiration to many of us. The reader may especially enjoy the story from the perspective of his family, his wife, his daughter and son, as well as grandchildren, who share their views of Ian. The clear message of the book is that Ian H. Sloan has been a role model in science and life.

Indecomposable symmetric Lorentzian manifolds of non-constant curvature are called Cahen-Wallach spaces. Their isometry classes are described by continuous families of real parameters. The authors derive necessary and sufficient conditions for the existence of compact quotients of Cahen-Wallach spaces in terms of these parameters.

If X is a manifold then the R-algebra C∞(X) of smooth functions c:X→R is a C∞-ring. That is, for each smooth function f:Rn→R there is an n-fold operation Φf:C∞(X)n→C∞(X) acting by Φf:(c1,…,cn)↦f(c1,…,cn), and these operations Φf satisfy many natural identities. Thus, C∞(X) actually has a far richer structure than the obvious R-algebra structure. The author explains the foundations of a version of algebraic geometry in which rings or algebras are replaced by C∞-rings. As schemes are the basic objects in algebraic geometry, the new basic objects are C∞-schemes, a category of geometric objects which generalize manifolds and whose morphisms generalize smooth maps. The author also studies quasicoherent sheaves on C∞-schemes, and C∞-stacks, in particular Deligne-Mumford C∞-stacks, a 2-category of geometric objects generalizing orbifolds. Many of these ideas are not new: C∞-rings and C∞ -schemes have long been part of synthetic differential geometry. But the author develops them in new directions. In earlier publications, the author used these tools to define d-manifolds and d-orbifolds, “derived” versions of manifolds and orbifolds related to Spivak's “derived manifolds”.

The authors consider the energy super critical semilinear heat equation The authors first revisit the construction of radially symmetric self similar solutions performed through an ode approach and propose a bifurcation type argument which allows for a sharp control of the spectrum of the corresponding linearized operator in suitable weighted spaces. They then show how the sole knowledge of this spectral gap in weighted spaces implies the finite codimensional nonradial stability of these solutions for smooth well localized initial data using energy bounds. The whole scheme draws a route map for the derivation of the existence and stability of self-similar blow up in nonradial energy super critical settings.

In 1925 Élie Cartan introduced the principal of triality specifically for the Lie groups of type D4, and in 1935 Ruth Moufang initiated the study of Moufang loops. The observation of the title in 1978 was made by Stephen Doro, who was in turn motivated by the work of George Glauberman from 1968. Here the author makes the statement precise in a categorical context. In fact the most obvious categories of Moufang loops and groups with triality are not equivalent, hence the need for the word “essentially.”

In this paper, the authors study matrix functions of bounded type from the viewpoint of describing an interplay between function theory and operator theory. They first establish a criterion on the coprime-ness of two singular inner functions and obtain several properties of the Douglas-Shapiro-Shields factorizations of matrix functions of bounded type. They propose a new notion of tensored-scalar singularity, and then answer questions on Hankel operators with matrix-valued bounded type symbols. They also examine an interpolation problem related to a certain functional equation on matrix functions of bounded type; this can be seen as an extension of the classical Hermite-Fejér Interpolation Problem for matrix rational functions. The authors then extend the H∞-functional calculus to an H∞¯¯¯¯¯¯¯¯¯+H∞-functional calculus for the compressions of the shift. Next, the authors consider the subnormality of Toeplitz operators with matrix-valued bounded type symbols and, in particular, the matrix-valued version of Halmos's Problem 5 and then establish a matrix-valued version of Abrahamse's Theorem. They also solve a subnormal Toeplitz completion problem of 2×2 partial block Toeplitz matrices. Further, they establish a characterization of hyponormal Toeplitz pairs with matrix-valued bounded type symbols and then derive rank formulae for the self-commutators of hyponormal Toeplitz pairs.

The author studies continuous processes indexed by a special family of graphs. Processes indexed by vertices of graphs are known as probabilistic graphical models. In 2011, Burdzy and Pal proposed a continuous version of graphical models indexed by graphs with an embedded time structure— so-called time-like graphs. The author extends the notion of time-like graphs and finds properties of processes indexed by them. In particular, the author solves the conjecture of uniqueness of the distribution for the process indexed by graphs with infinite number of vertices. The author provides a new result showing the stochastic heat equation as a limit of the sequence of natural Brownian motions on time-like graphs. In addition, the author's treatment of time-like graphical models reveals connections to Markov random fields, martingales indexed by directed sets and branching Markov processes.

The authors consider the nonlinear equation −1m=z+Sm with a parameter z in the complex upper half plane H, where S is a positivity preserving symmetric linear operator acting on bounded functions. The solution with values in H is unique and its z-dependence is conveniently described as the Stieltjes transforms of a family of measures v on R. In a previous paper the authors qualitatively identified the possible singular behaviors of v: under suitable conditions on S we showed that in the density of v only algebraic singularities of degree two or three may occur. In this paper the authors give a comprehensive analysis of these singularities with uniform quantitative controls. They also find a universal shape describing the transition regime between the square root and cubic root singularities. Finally, motivated by random matrix applications in the authors' companion paper they present a complete stability analysis of the equation for any z∈H, including the vicinity of the singularities.

Let G be a reductive group over the field F=k((t)), where k is an algebraic closure of a finite field, and let W be the (extended) affine Weyl group of G. The associated affine Deligne–Lusztig varieties Xx(b), which are indexed by elements b∈G(F) and x∈W, were introduced by Rapoport. Basic questions about the varieties Xx(b) which have remained largely open include when they are nonempty, and if nonempty, their dimension. The authors use techniques inspired by geometric group theory and combinatorial representation theory to address these questions in the case that b is a pure translation, and so prove much of a sharpened version of a conjecture of Görtz, Haines, Kottwitz, and Reuman. The authors' approach is constructive and type-free, sheds new light on the reasons for existing results in the case that b is basic, and reveals new patterns. Since they work only in the standard apartment of the building for G(F), their results also hold in the p-adic context, where they formulate a definition of the dimension of a p-adic Deligne–Lusztig set. The authors present two immediate applications of their main results, to class polynomials of affine Hecke algebras and to affine reflection length.