Ultrametric Bourgain-Figiel-Milman, Enflo Type and Mendel-Naor Cotype Problems

1. Ultrametric Bourgain-Figiel-Milman Problem

Let $\mathcal{X}$ and $\mathcal{Y}$ be finite dimensional normed linear spaces such that $dim\left(\mathcal{X}\right)=dim\left(\mathcal{Y}\right)$. The Banach-Mazur distance between $\mathcal{X}$ and $\mathcal{Y}$ is defined as

$$\begin{array}{c}\hfill d_{BM}(\mathcal{X},\mathcal{Y})inf\{\parallel T\parallel \parallel T^{-1}\parallel :T:\mathcal{X}\to \mathcal{Y}\mathrm{is}\mathrm{invertible}\mathrm{linear}\mathrm{operator}\}.\end{array}$$

For $n\in \mathbb{N}$, let $({\mathbb{R}}^n,\langle ·,·\rangle )$ be the standard Euclidean Hilbert space. Following wonderful result says that every finite dimensional Banach space has a subspace which is close (in the Banach-Mazur distance) to the Euclidean space.

Theorem 1. 

[1,6](Dvoretzky-Milman Theorem)  There is a universal constant $C>0$ satisfying the following property: If $\mathcal{X}$ is any n-dimensional real Banach space and $0<\epsilon <{\displaystyle \frac{1}{3}}$, then for every natural number

$$\begin{array}{c}\hfill k\le C{\displaystyle \frac{{\epsilon }^2}{|log\epsilon |}}logn,\end{array}$$

there exists a k-dimensional Banach subspace $\mathcal{Y}$ of $\mathcal{X}$ such that

$$\begin{array}{c}\hfill d_{BM}(\mathcal{Y},({\mathbb{R}}^k,\langle ·,·\rangle ))<1+\epsilon .\end{array}$$

We refer

$$\begin{array}{c}\hfill {\parallel f\parallel }_{Lip}sup\left\{{\displaystyle \frac{d\left(f\right(x),f(y\left)\right)}{d(x,y)}}:x,y\in \mathcal{M},x\ne y\right\}.\end{array}$$

The Bourgain-Figiel-Milman distance between $\mathcal{M}$ and $\mathcal{N}$ is defined as

$$\begin{array}{c}\hfill d_{BFM}{(\mathcal{M},\mathcal{N})inf\{\parallel f\parallel }_{Lip}\parallel f^{-1}{\parallel }_{Lip}:f:\mathcal{M}\to \mathcal{N}\mathrm{is}\mathrm{injective}\}.\end{array}$$

In 1986, Bourgain, Figiel and Milman proved the following nonlinear Dvoretzky theorem [3].

Theorem 2. 

[3] (Bourgain-Figiel-Milman Theorem) For every $\epsilon >0$, there is a universal constant $C\left(\epsilon \right)>0$ satisfying the following: Every finite metric space $\mathcal{M}$ contains a subset $\mathcal{N}$ satisfying following conditions.

(i)

There is an injective map $f:\mathcal{N}\to {\ell }^2(\mathbb{N},\mathbb{R})$ such that

$$\begin{array}{c}\hfill d_{BFM}(\mathcal{N},f\left(\mathcal{N}\right))\le 1+\epsilon .\end{array}$$

(ii)

$$\begin{array}{c}\hfill o\left(\mathcal{N}\right)\ge C\left(\epsilon \right)log\left(o\right(\mathcal{M}\left)\right).\end{array}$$

Further, following holds: If $\epsilon <1$, then we can take

$$\begin{array}{c}\hfill C\left(\epsilon \right)={\displaystyle \frac{c_1\epsilon }{log\left(\frac{c_2}{\epsilon }\right)}}\mathrm{for}\mathrm{some}{c}_1>0,c_2>0.\end{array}$$

We will formulate problem based on Theorem 2 to ultrametric spaces.

Definition 1. 

[33] Let $\mathcal{M}$ be a set. A map $d:\mathcal{M}\times \mathcal{M}\to [0,\infty )$ is said to be an  ultrametricif it satisfies following conditions.

(i)

$d(z,z)=0$ for all $z\in \mathcal{M}$. If $x,y\in \mathcal{M}$ are such that $d(x,y)=0$, then $x=y$.

(ii)

$d(x,y)=d(y,x)$ for all $x,y\in \mathcal{M}$.

(iii)

$d(x,y)\le max\left\{d\right(x,z),d(z,y\left)\right\}$ for all $x,y,z\in \mathcal{M}$.

In this case, $(\mathcal{M},d)$ is called as an ultrametric space .

Let $\mathbb{K}$ be a non-Archimedean valued field. We define

$$\begin{array}{c}\hfill c_0(\mathbb{N},\mathbb{K})\left\{{\left\{a_n\right\}}_n:a_n\in \mathbb{K},\forall n\in \mathbb{N},\underset{n\to \infty }{lim}{a}_n=0\right\}\end{array}$$

equipped with the ultra-norm

$$\begin{array}{c}\hfill \parallel {\left\{a_n\right\}}_n\parallel \underset{n\in \mathbb{N}}{max}\left|a_n\right|,\forall {\left\{a_n\right\}}_n\in c_0(\mathbb{N},\mathbb{K})\end{array}$$

and the p-adic inner product

$$\begin{array}{c}\hfill \langle {\left\{a_n\right\}}_n,{\left\{b_n\right\}}_n\rangle \sum _{n=1}^{\infty }{a}_n{b}_n,\forall {\left\{a_n\right\}}_n,{\left\{b_n\right\}}_n\in c_0(\mathbb{N},\mathbb{K}).\end{array}$$

Then $c_0(\mathbb{N},\mathbb{K})$ is a non-Archimedean Banach space which is also a p-adic Hilbert space [17,29]. We now ask for ultrametric version of Bourgain-Figiel-Milman theorem.

Problem 1.(Ultrametric Bourgain-Figiel-Milman Problem) $\mathbb{K}$ be a non-Archimedean valued field. For every $\epsilon >0$, whether there is a universal constant $C(\epsilon ,\mathbb{K})>0$ satisfying the following: Every finite ultrametric space $\mathcal{M}$ contains a subset $\mathcal{N}$ satisfying following conditions.

(i)

There is an injective map $f:\mathcal{N}\to c_0(\mathbb{N},\mathbb{K})$ such that

$$\begin{array}{c}\hfill d_{BFM}(\mathcal{N},f\left(\mathcal{N}\right))\le 1+\epsilon .\end{array}$$

(ii)

$$\begin{array}{c}\hfill o\left(\mathcal{N}\right)\ge C(\epsilon ,\mathcal{A})log\left(o\right(\mathcal{M}\left)\right).\end{array}$$

2. Ultrametric Enflo Type and Mendel-Naor Cotype Problems

Let $\mathcal{H}$ be a Hilbert space, $n\in \mathbb{N}$. Recall that for any n points $h_1,\dots ,h_n\in \mathcal{H}$, we have

$$\begin{array}{c}\hfill {\displaystyle \frac{1}{2^n}}\sum _{{\epsilon }_1,\dots ,{\epsilon }_n\in \{-1,1\}}{∥\sum _{j=1}^n{\epsilon }_j{h}_j∥}^2=\sum _{j=1}^n{\parallel h_j\parallel }^2.\end{array}$$

(1)

Equality (1) motivated the definition of Type and Cotype for Banach spaces.

Definition 2. 

[1] Let $1\le p\le 2$. A Banach space $\mathcal{X}$ is said to be of(Rademacher) Type pif there exists $T_p\left(\mathcal{X}\right)>0$ such that

$$\begin{array}{c}\hfill {\left({\displaystyle \frac{1}{2^n}}\sum _{{\epsilon }_1,\dots ,{\epsilon }_n\in \{-1,1\}}{∥\sum _{j=1}^n{\epsilon }_j{x}_j∥}^p\right)}^{{\displaystyle \frac{1}{p}}}\le T_p\left(\mathcal{X}\right){\left(\sum _{j=1}^n{\parallel x_j\parallel }^p\right)}^{{\displaystyle \frac{1}{p}}},\forall x_1,\dots ,x_n\in \mathcal{X},\forall n\in \mathbb{N}.\end{array}$$

Definition 3. 

[1] Let $2\le q<\infty$. A Banach space $\mathcal{X}$ is said to be of(Rademacher) Cotype qif there exists $C_q\left(\mathcal{X}\right)>0$ such that

$$\begin{array}{c}\hfill {\left(\sum _{j=1}^n{\parallel x_j\parallel }^q\right)}^{{\displaystyle \frac{1}{q}}}\le C_q\left(\mathcal{X}\right){\left({\displaystyle \frac{1}{2^n}}\sum _{{\epsilon }_1,\dots ,{\epsilon }_n\in \{-1,1\}}{∥\sum _{j=1}^n{\epsilon }_j{x}_j∥}^q\right)}^{{\displaystyle \frac{1}{q}}},\forall x_1,\dots ,x_n\in \mathcal{X},\forall n\in \mathbb{N}.\end{array}$$

There is a vast literature on Type-Cotype of Banach spaces, see [1,5,14,15,16,19,20,21,24,35].

In 1970, Enflo introduced the notion of Type for metric spaces [7,25].

Definition 4. 

[7,25] Let $p>0$. A metric space $(\mathcal{M},d)$ is said to be of Enflo Type p if there exists $E_p\left(\mathcal{M}\right)>0$ satisfying following conditions: For every $n\in \mathbb{N}$ and for every $f:{\{-1,1\}}^n\to \mathcal{M}$ it holds

$$\begin{array}{cc}\hfill & {\left({\displaystyle \frac{1}{2^n}}\sum _{{\epsilon }_1,\dots ,{\epsilon }_n\in \{-1,1\}}d{(f({\epsilon }_1,\dots ,{\epsilon }_n),d(-{\epsilon }_1,\dots ,-{\epsilon }_n))}^p\right)}^{{\displaystyle \frac{1}{p}}}\le \hfill \\ \hfill & E_p\left(\mathcal{M}\right){\left(\sum _{j=1}^n{\displaystyle \frac{1}{2^n}}\sum _{{\epsilon }_1,\dots ,{\epsilon }_n\in \{-1,1\}}d{(f({\epsilon }_1,\dots ,{\epsilon }_{j-1},{\epsilon }_j,{\epsilon }_{j+1},\dots ,{\epsilon }_n),d({\epsilon }_1,\dots ,{\epsilon }_{j-1},-{\epsilon }_j,{\epsilon }_{j+1},\dots ,{\epsilon }_n))}^p\right)}^{{\displaystyle \frac{1}{p}}}.\hfill \end{array}$$

In 2008, Mendel and Naor introduced the notion of Cotype for metric spaces [25].

Definition 5. 

[25] Let $q>0$. A metric space $(\mathcal{M},d)$ is said to be of Mendel-Naor Cotype q if there exists ${\Gamma }_q\left(\mathcal{M}\right)>0$ satisfying following conditions: For every $n\in \mathbb{N}$, there exists an even integer $m\in \mathbb{N}$ such that for every $f:{\mathbb{Z}}_m^n\to \mathcal{M}$ it holds

$$\begin{array}{cc}\hfill & \sum _{j=1}^n{\displaystyle \frac{1}{m^n}}\sum _{x\in {\mathbb{Z}}_m^n}d{\left(f\left(x+{\displaystyle \frac{m}{2}}{e}_j,f\left(x\right)\right)\right)}^q\hfill \\ \hfill & \le {\Gamma }_q{\left(\mathcal{M}\right)}^q{m}^q{\displaystyle \frac{1}{m^n}}\sum _{x\in {\mathbb{Z}}_m^n}{\displaystyle \frac{1}{3^n}}\sum _{\epsilon \in {\{-1,0,1\}}^n}d{(f(x+\epsilon ),f\left(x\right))}^q,\epsilon =({\epsilon }_1,\dots ,{\epsilon }_n),\hfill \end{array}$$

where ${\left\{e_j\right\}}_{j=1}^n$ is the standard basis for ${\mathbb{R}}^n$.

We now ask for ultrametric versions of Enflo Type and Mendel-Naor Cotype.

Problem 2.  (Ultrametric Enflo Type Problem)  Whether there is a way to define ultrametric Enflo Type?

Problem 3.  (Ultrametric Mendel-Naor Cotype Problem)  Whether there is a way to define ultrametric Mendel-Naor Cotype?

Note that there are also notions of Type for metric spaces by Bourgain, Milman and Wolfson [4] and by Ball [2]. These lead to following problems.

Problem 4.  (Ultrametric Bourgain-Milman-Wolfson Type Problem)  Whether there is a way to define ultrametric Bourgain-Milman-Wolfson Type?

Problem 5.  (Ultrametric Markov/Ball Type Problem)  Whether there is a way to define ultrametric Markov/Ball Type?

Remark 1. 

In 2026, we formulated non-Archimedean John, non-Archimedean Dvoretzky-Milman, non-Archimedean Type-Cotype and non-Archimedean Kwapien problems which are still open [18].