Let $X$ be an infinite-dimensional uniformly smooth Banach space. We prove that $X$ contains an infinite equilateral set. That is, there exist a constant $\lambda \gt 0$ and an infinite sequence $\mathop{({x}_{i} )}\nolimits_{i= 1}^{\infty } \subset X$ such that $\Vert {x}_{i} - {x}_{j} \Vert = \lambda $ for all $i\not = j$.

We study bounded linear regularity of finite sets of closed subspaces in a Hilbert space. In particular, we construct for each natural number $n\geq 3$ a set of $n$ closed subspaces of ${\ell }^{2} $ which has the bounded linear regularity property, while the bounded linear regularity property does not hold for each one of its nonempty, proper nonsingleton subsets. We also establish a related theorem regarding the bounded regularity property in metric spaces.

We prove a normalized version of the restricted invertibility principle obtained by Spielman and Srivastava in [An elementary proof of the restricted invertibility theorem. Israel J. Math. 190 (2012), 83–91]. Applying this result, we get a new proof of the proportional Dvoretzky–Rogers factorization theorem recovering the best current estimate in the symmetric setting while we improve the best known result in the non-symmetric case. As a consequence, we slightly improve the estimate for the Banach–Mazur distance to the cube: the distance of every $n$-dimensional normed space from ${ \ell }_{\infty }^{n} $ is at most $\mathop{(2n)}\nolimits ^{5/ 6} $. Finally, using tools from the work of Batson et al in [Twice-Ramanujan sparsifiers. In STOC’09 – Proceedings of the 2009 ACM International Symposium on Theory of Computing, ACM (New York, 2009), 255–262], we give a new proof for a theorem of Kashin and Tzafriri [Some remarks on the restriction of operators to coordinate subspaces. Preprint, 1993] on the norm of restricted matrices.

Every bounded linear operator that maps ${H}^{1} $ to ${L}^{1} $ and ${L}^{2} $ to ${L}^{2} $ is bounded from ${L}^{p} $ to ${L}^{p} $ for each $p\in (1, 2)$, by a famous interpolation result of Fefferman and Stein. We prove ${L}^{p} $-norm bounds that grow like $O(1/ (p- 1))$ as $p\downarrow 1$. This growth rate is optimal, and improves significantly on the previously known exponential bound $O({2}^{1/ (p- 1)} )$. For $p\in (2, \infty )$, we prove explicit ${L}^{p} $ estimates on each bounded linear operator mapping ${L}^{\infty } $ to bounded mean oscillation ($\mathit{BMO}$) and ${L}^{2} $ to ${L}^{2} $. This $\mathit{BMO}$ interpolation result implies the ${H}^{1} $ result above, by duality. In addition, we obtain stronger results by working with dyadic ${H}^{1} $ and dyadic $\mathit{BMO}$. The proofs proceed by complex interpolation, after we develop an optimal dyadic ‘good lambda’ inequality for the dyadic $\sharp $-maximal operator.

We show that the direct sum $\mathop{({X}_{1} \oplus \cdots \oplus {X}_{r} )}\nolimits_{\psi } $ with a strictly monotone norm has the weak fixed point property for nonexpansive mappings whenever $M({X}_{i} )\gt 1$ for each $i= 1, \ldots , r$. In particular, $\mathop{({X}_{1} \oplus \cdots \oplus {X}_{r} )}\nolimits_{\psi } $ enjoys the fixed point property if Banach spaces ${X}_{i} $ are uniformly nonsquare. This combined with the earlier results gives a definitive answer for $r= 2$: a direct sum ${X}_{1} {\mathop{\oplus }\nolimits}_{\psi } {X}_{2} $ of uniformly nonsquare spaces with any monotone norm has the fixed point property. Our results are extended to asymptotically nonexpansive mappings in the intermediate sense.

For an arbitrary subset $X$ of a finite-dimensional real Banach space $E$, the ball intersection with parameter $\lambda \gt 0$ is defined as the intersection of all balls of radius $\lambda $ whose centers are in $X$. On the other hand, the intersection of all balls of radius $\lambda $ that contain $X$ is said to be the respective ball hull. We present new results on these two notions and use them to get new insights into complete sets and (pairs of) sets of constant width, e.g., their representation as vector sums of suitable ball intersections and ball hulls. Also in this framework, we give partial answers to the known question, in what finite-dimensional real Banach spaces any complete set is of constant width. For polyhedral norms we obtain characterizations of monotypic balls via constant width properties of pairs formed by the ball intersection and ball hull of the same bounded and non-empty set. Finally, we present some new results on Borsuk numbers of sets of constant width in normed spaces, closely related to (unique) completions of compact sets. For example, the lower estimate on Borsuk numbers of bodies of constant width due to Lenz is extended to arbitrary normed spaces. Furthermore, we also derive the Borsuk number of the normed space with maximum norm.

We prove that any surjective isometry between unit spheres of the ${\ell }^{\infty } $-sum of strictly convex normed spaces can be extended to a linear isometry on the whole space, and we solve the isometric extension problem affirmatively in this case.

Every Banach space with separable second dual can be equivalently renormed to have weakly uniformly rotund dual. Under certain embedding conditions a Banach space with weakly uniformly rotund dual is reflexive.

The first and second representation theorems for sign-indefinite, not necessarily semi-bounded quadratic forms are revisited. New and straightforward proofs of these theorems are given. A number of necessary and sufficient conditions for the second representation theorem to hold are obtained. A new simple and explicit example of a self-adjoint operator for which the second representation theorem fails to hold is also provided.

In this paper we give a lower bound on the waist of the unit sphere of a uniformly convex normed space by using the localization technique in codimension greater than one and a strong version of the Borsuk–Ulam theorem. The tools used in this paper follow ideas of Gromov in [Isoperimetry of waists and concentration of maps, Geom. Funct. Anal. 13 (2003), 178–215] and we also include an independent proof of our main theorem which does not rely on Gromov’s waist of the sphere. Our waist inequality in codimension one recovers a version of the Gromov–Milman inequality in [Generalisation of the spherical isoperimetric inequality to uniformly convex Banach spaces, Compositio Math. 62 (1987), 263–282].

The self-affine measure μM, D corresponding to M = diag[p1, p2, p3] (pj ∈ ℤ \ {0, ± 1}, j = 1, 2, 3) and D = {0, e1, e2, e3} in the space ℝ3 is supported on the three-dimensional Sierpinski gasket T(M, D), where e1, e2, e3 are the standard basis of unit column vectors in ℝ3. We shall determine the spectrality and non-spectrality of μM, D, and show that if pj ∈ 2ℤ \ {0, 2} for j = 1, 2, 3, then μM, D is a spectral measure, and if pj ∈ (2ℤ + 1) \ {±1} for j = 1, 2, 3, then μM, D is a non-spectral measure and there exist at most 4 mutually orthogonal exponential functions in L2(μM, D), where the number 4 is the best possible. This generalizes the known results on the spectrality of self-affine measures.

We introduce two measures of weak non-compactness JaE and Ja that quantify, via distances, the idea of boundary that lies behind James's Compactness Theorem. These measures tell us, for a bounded subset C of a Banach space E and for given x* ∈ E*, how far from E or C one needs to go to find x** ∈ ⊂ E** with x**(x*) = sup x*(C). A quantitative version of James's Compactness Theorem is proved using JaE and Ja, and in particular it yields the following result. Let C be a closed convex bounded subset of a Banach space E and r > 0. If there is an elementinwhose distance to C is greater than r, then there is x* ∈ E* such that each x** ∈at which sup x*(C) is attained has distance to E greater than ½r. We indeed establish that JaE and Ja are equivalent to other measures of weak non-compactness studied in the literature. We also collect particular cases and examples showing when the inequalities between the different measures of weak non-compactness can be equalities and when the inequalities are sharp.

In this work, we study and investigate the ultrapowers of ℓ1-Munn algebras. Then we show that the class of ℓ1-Munn algebras is stable under ultrapowers. Finally, applying this result to semigroup algebras, we show that for a semigroup S, ultra-amenability of ℓ1(S) and amenability of the second dual ℓ1(S)′′ are equivalent.

We present geometric conditions on a metric space (Y,dY) ensuring that, almost surely, any isometric action on Y by Gromov’s expander-based random group has a common fixed point. These geometric conditions involve uniform convexity and the validity of nonlinear Poincaré inequalities, and they are stable under natural operations such as scaling, Gromov–Hausdorff limits, and Cartesian products. We use methods from metric embedding theory to establish the validity of these conditions for a variety of classes of metric spaces, thus establishing new fixed point results for actions of Gromov’s ‘wild groups’.

We study Markov measures and p-adic random walks with the use of states on the Cuntz algebras Op. Via the Gelfand–Naimark–Segal construction, these come from families of representations of Op. We prove that these representations reflect selfsimilarity especially well. In this paper, we consider a Cuntz–Krieger type algebra where the adjacency matrix depends on a parameter q ( q=1 is the case of Cuntz–Krieger algebra). This is an ongoing work generalizing a construction of certain measures associated to random walks on graphs.

In this paper we provide an elementary proof of James’ characterization of weak compactness in separable Banach spaces. The proof of the theorem does not rely upon either Simons’ inequality or any integral representation theorems. In fact the proof only requires the Krein–Milman theorem, Milman’s theorem and the Bishop–Phelps theorem.

A Banach space is an Asplund space if every continuous gauge has a point where the subdifferential mapping is Hausdorff weak upper semi-continuous with weakly compact image. This contributes towards the solution of a problem posed by Godefroy, Montesinos and Zizler.

We define and study λ-strict ideals in Banach spaces, which for λ=1 means strict ideals. Strict u-ideals in their biduals are known to have the unique ideal property; we prove that so also do λ-strict u-ideals in their biduals, at least for λ>1/2. An open question, posed by Godefroy et al. [‘Unconditional ideals in Banach spaces’, Studia Math.104 (1993), 13–59] is whether the Banach space X is a u-ideal in Ba(X), the Baire-one functions in X**, exactly when κu(X)=1; we prove that if κu(X)=1then X is a strict u-ideal in Ba (X) , and we establish the converse in the separable case.

Some of the results of § 5 of the cited paper are incorrect: in particular, the characterization of when an algebra is ultra-amenable, in terms of a diagonal like construction, is not proved; and Theorem 5.7 is stated wrongly. The rest of the paper is unaffected. We shall show in this corrigendum that Theorem 5.7 can be corrected and that the other results of § 5 are true if the algebra in question has a certain approximation property.

We exhibit a real Banach space M such that C(K,M) is almost transitive if K is the Cantor set, the growth of the integers in its Stone–Čech compactification or the maximal ideal space of L∞. For finite K, the space C(K,M) = M|K| is even transitive.