We exhibit a new approach to the proofs of the existence of a large family of almost isometric ideals in nonseparable Banach spaces and existence of a large family of almost isometric local retracts in metric spaces. Our approach also implies the existence of a large family of nontrivial projections on every dual of a nonseparable Banach space. We prove three possible formulations of our results are equivalent. Some applications are mentioned which witness the usefulness of our novel approach.

Let $m,\,r\in {\mathbb {Z}}$ and $\omega \in {\mathbb {R}}$ satisfy $0\leqslant r\leqslant m$ and $\omega \geqslant 1$. Our main result is a generalized continued fraction for an expression involving the partial binomial sum $s_m(r) = \sum _{i=0}^r\binom{m}{i}$. We apply this to create new upper and lower bounds for $s_m(r)$ and thus for $g_{\omega,m}(r)=\omega ^{-r}s_m(r)$. We also bound an integer $r_0 \in \{0,\,1,\,\ldots,\,m\}$ such that $g_{\omega,m}(0)<\cdots < g_{\omega,m}(r_0-1)\leqslant g_{\omega,m}(r_0)$ and $g_{\omega,m}(r_0)>\cdots >g_{\omega,m}(m)$. For real $\omega \geqslant \sqrt 3$ we prove that $r_0\in \{\lfloor \frac {m+2}{\omega +1}\rfloor,\,\lfloor \frac {m+2}{\omega +1}\rfloor +1\}$, and also $r_0 =\lfloor \frac {m+2}{\omega +1}\rfloor$ for $\omega \in \{3,\,4,\,\ldots \}$ or $\omega =2$ and $3\nmid m$.

In Cartan’s PhD thesis, there is a formula defining a certain rank 8 vector distribution in dimension 15, whose algebra of authomorphism is the split real form of the simple exceptional complex Lie algebra $\mathfrak {f}_4$. Cartan’s formula is written in the standard Cartesian coordinates in $\mathbb {R}^{15}$. In the present paper, we explain how to find analogous formulae for the flat models of any bracket generating distribution $\mathcal D$ whose symbol algebra $\mathfrak {n}({\mathcal D})$ is constant and 2-step graded, $\mathfrak {n}({\mathcal D})=\mathfrak {n}_{-2}\oplus \mathfrak {n}_{-1}$.

The formula is given in terms of a solution to a certain system of linear algebraic equations determined by two representations $(\rho ,\mathfrak {n}_{-1})$ and $(\tau ,\mathfrak {n}_{-2})$ of a Lie algebra $\mathfrak {n}_{00}$ contained in the $0$th order Tanaka prolongation $\mathfrak {n}_0$ of $\mathfrak {n}({\mathcal D})$.

Numerous examples are provided, with particular emphasis put on the distributions with symmetries being real forms of simple exceptional Lie algebras $\mathfrak {f}_4$ and $\mathfrak {e}_6$.

In this paper, we give necessary and sufficient conditions for the rigidity of the perimeter inequality under Schwarz symmetrization. The term rigidity refers to the situation in which the equality cases are only obtained by translations of the symmetric set. In particular, we prove that the sufficient conditions for rigidity provided in M. Barchiesi, F. Cagnetti and N. Fusco [Stability of the Steiner symmetrization of convex sets. J. Eur. Math. Soc. 15 (2013), 1245-1278.] are also necessary.

For closed subgroups L and R of a compact Lie group G, a left L-space X, and an L-equivariant continuous map $A:X\to G/R$, we introduce the twisted action of the equivariant cohomology $H_R^{\bullet }(\mathrm {pt},\Bbbk )$ on the equivariant cohomology $H_L^{\bullet }(X,\Bbbk )$. Considering this action as a right action, $H_L^{\bullet }(X,\Bbbk )$ becomes a bimodule together with the canonical left action of $H_L^{\bullet }(\mathrm {pt},\Bbbk )$. Using this bimodule structure, we prove an equivariant version of the Künneth isomorphism. We apply this result to the computation of the equivariant cohomologies of Bott–Samelson varieties and to a geometric construction of the bimodule morphisms between them.

Many industrial design problems are characterized by a lack of an analytical expression defining the relationship between design variables and chosen quality metrics. Evaluating the quality of new designs is therefore restricted to running a predetermined process such as physical testing of prototypes. When these processes carry a high cost, choosing how to gather further data can be very challenging, whether the end goal is to accurately predict the quality of future designs or to find an optimal design. In the multi-fidelity setting, one or more approximations of a design’s performance are available at varying costs and accuracies. Surrogate modelling methods have long been applied to problems of this type, combining data from multiple sources into a model which guides further sampling. Many challenges still exist; however, the foremost among them is choosing when and how to rely on available low-fidelity sources. This tutorial-style paper presents an introduction to the field of surrogate modelling for multi-fidelity expensive black-box problems, including classical approaches and open questions in the field. An illustrative example using Australian elevation data is provided to show the potential downfalls in blindly trusting or ignoring low-fidelity sources, a question that has recently gained much interest in the community.

Two asymptotic configurations on a full $\mathbb {Z}^d$-shift are indistinguishable if, for every finite pattern, the associated sets of occurrences in each configuration coincide up to a finitely supported permutation of $\mathbb {Z}^d$. We prove that indistinguishable asymptotic pairs satisfying a ‘flip condition’ are characterized by their pattern complexity on finite connected supports. Furthermore, we prove that uniformly recurrent indistinguishable asymptotic pairs satisfying the flip condition are described by codimension-one (dimension of the internal space) cut and project schemes, which symbolically correspond to multidimensional Sturmian configurations. Together, the two results provide a generalization to $\mathbb {Z}^d$ of the characterization of Sturmian sequences by their factor complexity $n+1$. Many open questions are raised by the current work and are listed in the introduction.

Let $B(\Omega )$ be a Banach space of holomorphic functions on a bounded connected domain $\Omega $ in ${{\mathbb C}^n}$. In this paper, we establish a criterion for $B(\Omega )$ to be reflexive via evaluation functions on $B(\Omega )$, that is, $B(\Omega )$ is reflexive if and only if the evaluation functions span the dual space $(B(\Omega ))^{*} $.