# Convexity and the Euclidean Metric of Space-Time

*Keywords:*space-time metric; convexity; smoothness; Hilbert spaces; Banach spaces; dualities

Next Article in Journal

Next Article in Special Issue

Next Article in Special Issue

Previous Article in Journal

Previous Article in Special Issue

Previous Article in Special Issue

Carnegie Mellon University in Qatar, Education City, P.O. Box 24866 Doha, Qatar

Academic Editors: Stephon Alexander, Jean-Michel Alimi, Elias C. Vagenas and Lorenzo Iorio

Received: 1 November 2016
/
Revised: 2 February 2017
/
Accepted: 2 February 2017
/
Published: 8 February 2017

(This article belongs to the Special Issue 100 Years of Chronogeometrodynamics: the Status of the Einstein's Theory of Gravitation in Its Centennial Year)

We address the reasons why the “Wick-rotated”, positive-definite, space-time metric obeys the Pythagorean theorem. An answer is proposed based on the convexity and smoothness properties of the functional spaces purporting to provide the kinematic framework of approaches to quantum gravity. We employ moduli of convexity and smoothness which are eventually extremized by Hilbert spaces. We point out the potential physical significance that functional analytical dualities play in this framework. Following the spirit of the variational principles employed in classical and quantum Physics, such Hilbert spaces dominate in a generalized functional integral approach. The metric of space-time is induced by the inner product of such Hilbert spaces.

When one looks at the equations describing the four fundamental interactions of nature, then s/he immediately notices that the kinematic equations in the Lagrangian formalism involve second order derivatives with respect to space-time variables. It may be worthwhile to try to understand the reasons behind this phenomenon, which has been taken for granted as an empirical fact since the earliest days of Newtonian mechanics. Modelling of the fundamental interactions except gravity relies, at the classical level, on Classical Mechanics, on Electromagnetic Theory and its Yang-Mills/non-abelian gauge “generalizations”. General Relativity can also be seen as a gauge theory whose gauge group is the diffeomorphism group (re-parametrization invariance) of the underlying topological space endowed with its metric structure.

In all of the above, and in the Lagrangian approach which we employ throughout this work, the Euler-Lagrange equations that describe the underlying dynamics can be seen to emerge from variational principles; such equations could use derivatives of arbitrarily high order and a formalism for accommodating this fact has already been developed. However, in practice, when dealing with fundamental interactions and not performing perturbative or approximate calculations that rely on series expansions, one rarely needs derivatives that are of higher than the second-order with respect to space-time variables.

The statements on the number of derivatives in the equations of dynamics can be seen to be essentially equivalent, upon partial integration, to the fact that the kinetic terms as well as relevant potential energy terms are at most quadratic with respect to first order derivatives of the fundamental variables/fields/order parameters. This in turn, allows one to use Euclidean/Riemannian concepts to model the evolution of such systems; for particle systems one uses the more familiar aspects of finite-dimensional Riemannian spaces [1], and for field theories one may have to resort to using aspects of infinite dimensional manifolds [2] which involve further subtleties.

One could use, equivalently in the simplest context, a Hamiltonian approach where the equations involve first order derivatives. Each of these two lines of approach Lagrangian versus Hamiltonian has its own advantages and drawbacks, as is well-known. See, for instance, the very recent review [3] for an approach to gravity based on first order actions including boundary terms. Without denying the advantages of the Hamiltonian or first order formalisms, we will adopt in this work the Lagrangian/second-order formalism, as already mentioned above. Our viewpoint is somewhat influenced by and may have common points with that of [4], even though the methods which we use and the results we reach are substantially different from those of that work.

We will adopt the convenient technical device of Wick-rotating to a “Euclidean” (i.e., positive-definite) signature metric. We would like to state at this point, that we do not consider positive-definite metrics “superior” in any sense, to these of Lorentzian (indefinite) signature. On the contrary, all experiments, so far, point to the latter as being the physical ones, so even if unstated, our underlying view is closer to [5] rather than [6], for instance. On the other hand, on purely formalistic grounds, the Euclidean (positive-definite) metrics are easier to work with, as they obey the positivity property and the triangle inequality that their indefinite metric (Lorentzian) counterparts are lacking.

A substantial amount of effort has been spent, in recent decades, into understanding the non-trivial features of space-time, as described by the General Theory of Relativity or other theories incorporating space-time diffeomorphism invariance. Even though considerable progress has been made toward such an understanding, it is probably fair to state that many important issues still remain unresolved [7]. It is not clear, for instance, why space-time is 4-dimensional, to what extent it is smooth and how such a smoothness arises, why its Wick-rotated metric obeys the Pythagorean theorem etc. Henceforth we will work only with positive definite (Wick-rotated) metrics of space-time and by “Euclidean” we will mean only the ones obeying the Pythagorean theorem. In linear algebraic and functional analytic language the metrics we call Euclidean would be called the ${l}^{2}$ metrics. Moreover, we will use the term space-time in order to keep in mind that our arguments actually purport to describe (indefinite/Lorentzian signature) space-time even if we use positive-definite (Wick-rotated) metrics throughout this work.

A potentially fruitful way toward answering why the space-time metric is Euclidean, which is the subject of this work, is to look at it through the eyes of convexity. Convexity plays a central role in many branches of Mathematics, but seems to be under-appreciated and under-utilized in gravitational Physics [8], and not only. This can also be considered as a partial motivation for looking for answers to the questions of our interest through convexity. In the context of linear spaces, convexity turns out to be dual to smoothness, a fact that we also use to support the case for the Euclidean form of the space-time metric.

In Section 2, we provide a general background and a physical interpretation, wherever feasible, from the theory of normed spaces with emphasis on properties pertinent to our arguments. In Section 3, we discuss the aspects of convexity, smoothness and their duality via a Legendre-Fenchel transform, employing in particular Clarkson’s modulus of convexity and to the Day-Lindenstrauss modulus of smoothness. In Section 4, we put our, less than rigorous, argument together on how the previous results result in space-time metric that has the Euclidean form. Section 5, presents some conclusions and caveats.

Space-times are assumed to be locally flat, to first order approximation of their metric. This is an outcome of the application of the Equivalence Principle, and a well-known fact in Riemannian/Lorentzian geometry. Therefore, we can analyze the ultralocal aspects of the features of a space-time by confining our attention to vector spaces. Most features of such tangent spaces can be captured by the various closely related functional spaces that can be defined on them. There are numerous classes of functional spaces that have been investigated during the last century, in the context of Functional Analysis, such as Lebesgue, Hardy, Bergman, Sobolev, Orlicz, Besov, Triebel-Lizorkin, etc. spaces. Most of the previously named spaces are or rely on, in one form or another, constructions and results of (usually infinite dimensional) Banach spaces. Such infinite dimensional Banach spaces will be the main vector spaces of interest in this work.

In this Section we provide some preliminary information on these and related mathematical constructions which are pertinent to the subsequent sections, where most of our arguments are developed. We attempt to stress their physical motivation and interpretation, wherever feasible, from the viewpoint we adopt in this work.

To make the exposition more readable and self-contained, we recall [9,10] that a norm on a vector space $\mathcal{V}$ defined over a field $\mathbb{F}$, usually $\mathbb{F}=\mathbb{R}$ or $\mathbb{F}=\mathbb{C}$ in most applications in Physics, is a function $\parallel \xb7\parallel :\mathcal{V}\to {\mathbb{R}}_{+}$ where ${\mathbb{R}}_{+}=\{\lambda \in \mathbb{R}:\lambda \ge 0\}$, such that for all $x,y\in \mathcal{V}$

- Positive definiteness: $\parallel x\parallel =0$, if and only if $x=0$.
- Homogeneity: $\parallel kx\parallel =\left|k\right|\parallel x\parallel $, for all $x\in \mathcal{V}$, and all $k\in \mathbb{F}.$
- Triangle inequality: $\parallel x+y\parallel \le \parallel x\parallel +\parallel y\parallel $

A vector space $\mathcal{V}$ endowed with a norm, which moreover is complete in this norm, namely such that all Cauchy sequences have limits belonging to $\mathcal{V}$, is called a Banach space. Examples of Banach spaces that are explicitly used in this work are:

- ${c}_{0}$ is the space of all sequences $a=\left({a}_{n}\right),n\in \mathbb{N}$ converging to zero, with ${a}_{n}\in \mathbb{F}$, and the sup-norm$$\parallel a\parallel =\underset{n}{sup}\left|{a}_{n}\right|$$
- ${l}^{p},1\le p<\infty $, which is the space of all sequences $a=\left({a}_{n}\right),n\in \mathbb{N}$ with ${a}_{n}\in \mathbb{F}$ endowed with the norm$${\parallel a\parallel}_{p}={\left(\sum _{i=1}^{n}{\left|{a}_{n}\right|}^{p}\right)}^{\frac{1}{p}}<\infty $$
- ${l}^{\infty}$, the space of all bounded sequences $a=\left({a}_{n}\right),n\in \mathbb{N}$ endowed with the supremum norm$$\parallel a\parallel =\underset{n}{sup}\left|{a}_{n}\right|$$
- ${L}^{p}\left({\mathbb{R}}^{n}\right),1\le p<\infty $, the space of Lebesgue integrable functions $f:{\mathbb{R}}^{n}\to \mathbb{F}$ endowed with the norm$${\parallel f\parallel}_{p}={\left({\int}_{{\mathbb{R}}^{n}}{\left|f\right|}^{p}\right)}^{\frac{1}{p}}$$
- ${L}^{\infty}\left({\mathbb{R}}^{n}\right)$, the space of all essentially bounded $f:{\mathbb{R}}^{n}\to \mathbb{F}$, endowed with the norm$${\parallel f\parallel}_{\infty}=inf\{C:|f|<C\mathrm{almosteverywhere}\}$$

The above functional spaces ${L}^{p}\left({\mathbb{R}}^{n}\right),1\le p\le \infty $ are, strictly speaking, spaces over equivalence classes of functions, where two functions are considered equivalent (“equal”) if they differ from each other, at most, in a set of measure zero. One uses the Lebesgue measure (“volume”) of ${\mathbb{R}}^{n}$ in the definition of such ${L}^{p}\left({\mathbb{R}}^{n}\right)$. In most applications in Physics, the distinction between functions and classes of equivalent functions is tacitly assumed and not explicitly stated. For completeness, we mention that a Hilbert space is a linear space endowed with an inner product $(\xb7,\xb7)$ which is, moreover, complete [9,10]. The norm which we will assume that Hilbert spaces are endowed with, is induced by their inner product by ${\parallel x\parallel}^{2}=(x,x)$. Among the above examples of Banach spaces, ${l}^{2}$ and ${L}^{2}\left({\mathbb{R}}^{n}\right)$ are Hilbert spaces. Since the spaces that we will be referring to are normed, hence metrizable, they are endowed with the topology induced by the metric. An important topological property of such topological (vector) spaces is separability: this means that such spaces contain a countable dense subset. For such metrizable spaces, being separable is equivalent to being second countable. Topological spaces that are finite or countably infinite are, obviously, separable. For Hilbert spaces separability implies the existence of a countable orthonormal basis, hence any separable infinite dimensional Hilbert space is isometric to ${l}^{2}$. In most cases in quantum theory, separability of the space of the Hllbert space of wave-functions is tacitly assumed. Banach spaces can also be either separable or not separable [11]. The issue of separabilty of the spaces we use is not pertinent to the arguments of this work, so it will not be encountered anywhere in the sequel.

Naturally, one can endow a vector space $\mathcal{V}$ with many different norms. Usually the “appropriate” choice of such a norm has substantial implications for the specific predictions of the physical model built on $(\mathcal{V},\parallel \xb7\parallel )$. In other words, the choice of two “different”, in the naive sense of the word, norms will usually result in substantially different predictions of the physical quantities resulting form such calculations. Hence the choice of a norm is usually considered to be a piece of data which is initially provided by hand, in any model. In most cases such a choice of norm is not explicitly discussed, because it is assumed that a norm arising from an inner product is the physically relevant one. In this work, we would like to know why this may be the case.

Given that a vector space may be endowed with different norms, one can ask what the word “different” may actually mean. If two norms are point-wise different but still reasonably close to each other, in some particular sense, let’s say with respect to a particular metric, can they still be declared as “equivalent”? Consider, for instance, the case of Hamiltonian systems of many degrees of freedom. This paragraph operates in the context of Euclidean metrics but can still be used to highlight our point of view. Suppose that one changes the metric of the phase space. If all thermodynamic quantities remain invariant under such a change of norm, is it reasonable to consider the two metrics as “equivalent” or should someone insist as treating them as “different”? Under some additional conditions, two such metrics may turn out to be equal; this is reminiscent of the (Hamburger, Stieltjes etc.) moment problem pertaining to the equality of underlying probability distributions, if the sets of moments of these distributions are equal [12]. Something similar occurs in Geometry or Analysis: quite often two metrics or norms are declared as “equivalent” even though they may be pointwise distinct.

This re-interpretation of the concept of “equivalence” can have substantial consequences for Statistical or Quantum Physics. The issue at hand can be seen as a form of “stability”. Consider, for instance, a Hamiltonian system. This determines a symplectic structure on the phase space $\mathcal{M}$ of the system or, alternatively, a Poisson structure on the space of smooth functions ${C}^{\infty}\left(\mathcal{M}\right)$ [13]. However, it does not generically determine a metric structure on $\mathcal{M}$. Such a metric is usually assumed to stem from the quadratic “kinetic” term of the Hamiltonian, at least for systems having a kinetic term of such form. Then we can proceed to perform an analysis of the evolution of this Hamiltonian system, quantize the system etc. based on this symplectic and metric structures. However, one should not forget that the metric structure was not “natural”, or may not be unique. For this reason if it changes, especially a little bit, one would expect the physically relevant results to remain practically invariant. This can be interpreted as a form of structural stability of the underlying Hamiltonian dynamical system, even though it applies to an auxiliary piece of data, such as the metric. It is a subject of much discussion on whether such a metric structure should be assumed, and if so, to what extent it determines the statistically significant features of the system in an appropriate many-body “thermodynamic” limit [14].

Given the above considerations, one may be willing to allow variations of the assumed metric of the underlying Hamiltonian system. Then two metrics can be declared as equivalent, as also previously mentioned, if they give the same predictions of physically relevant quantities. The question is then how to find such variations of metrics, or norms. From an analytical viewpoint, one can use a central concept of Analysis, that of the limit, to determine how to answer such questions. The most crude/rough approach is to demand that two metrics/norms ${\parallel \xb7\parallel}_{1},{\parallel \xb7\parallel}_{2}$ to be considered as equivalent if all sequences converging with respect to one of them also converge with respect to the other. This is realized when there are constants $0<{C}_{1}\le {C}_{2}$ such that

$${C}_{1}{\parallel \xb7\parallel}_{1}\le {\parallel \xb7\parallel}_{2}\le {C}_{2}{\parallel \xb7\parallel}_{1}$$

This always holds for any two norms on finite dimensional vector spaces. However, it is not true in general for infinite dimensional functional spaces, which are at the center of our attention.

A way to interpret (6) from the viewpoint of statistical theories is as follows: physically relevant results of the microscopic or quantum dynamics should be somehow reflected or emerge in the large scale/multi-particle or thermodynamic limit. Such features should remain largely unaffected by most “small-scale” details of the system or their perturbations. This tacitly assumes that the underlying quantities characterizing geometric characteristics of the system are proportional to the effective measure(s) used in the calculations of the pertinent statistical quantities. This is clearly true for ergodic systems, but it can also be true for non-ergodic systems such as the ones whose thermodynamic behavior is conjecturally described by any of the many recently proposed entropic functionals, such as the “Tsallis entropy” [15], or the “κ-entropy” [16], for instance. So, from a geometric viewpoint, equations like (6) express this insensitivity to small-scale details. This viewpoint motivates and pervades “coarse geometry” [17] and is frequently encountered in constructions related to hyperbolic spaces [18] or groups [19]. Metrically, it is expressed by demanding invariance under quasi-isometries. In dynamical systems one can see a similar viewpoint in several occasions, an example of which is that the topological entropy of a map or flow on a metric space $(\mathfrak{X},d)$ does not actually depend on the specific metric/distance function d, but only on the class on metrics on $\mathfrak{X}$ that induce the same topology on $\mathfrak{X}$. Then the key/desired invariance akin to (6), is the topological conjugacy [20].

Before continuing, for completeness of the exposition, we state two definitions that will be extensively used in the sequel [9,10]. Let $(\mathcal{X},\parallel \xb7{\parallel}_{\mathcal{X}})$ and $(\mathcal{Y},\parallel \xb7{\parallel}_{\mathcal{Y}})$ be two normed spaces, over $\mathbb{R}$, $\mathbb{C}$ (or any other field, although the general case does not appear to be of any particular interest in Physics, so far) and let T be a continuous linear map $T:\mathcal{X}\to \mathcal{Y}$. If such a map exists between $\mathcal{X},\mathcal{Y}$ which is bijective, and its inverse ${T}^{-1}$ is also bijective, then $\mathcal{X},\mathcal{Y}$ are called isomorphic. Actually less is needed: the Open Mapping Theorem guarantees that if T is bijective and bounded, so is ${T}^{-1}$. If a mapping T is an isometry, namely if
then $\mathcal{X},\mathcal{Y}$ are called isometric. Since boundedness of T is equivalent to its continuity, one can see that isometric spaces are isomorphic. Let the space of bounded linear maps from $\mathcal{X}$ to $\mathcal{Y}$ be denoted by $\mathcal{B}(\mathcal{X},\mathcal{Y})$. This space $\mathcal{B}(\mathcal{X},\mathcal{Y})$ can be endowed with the operator (sup-) norm which for $T\in \mathcal{B}(\mathcal{X},\mathcal{Y})$ is given by the following equivalent definitions

$${\parallel Tx\parallel}_{\mathcal{Y}}={\parallel x\parallel}_{\mathcal{X}}$$

$$\parallel T\parallel =\underset{x\in \mathcal{X}}{sup}\{\parallel Tx\parallel :\parallel x\parallel \le 1\}=\underset{x\in \mathcal{X}}{sup}\{\parallel Tx\parallel :\parallel x\parallel =1\}=\underset{x\in \mathcal{X}}{sup}\left\{\frac{\parallel Tx\parallel}{\parallel x\parallel}:\parallel x\parallel \ne 0\right\}$$

It turns out that if $\mathcal{X}$ is a normed space and if $\mathcal{Y}$ is a Banach space, then $\mathcal{B}(\mathcal{X},\mathcal{Y})$ endowed with the operator norm (8) is a Banach space too. We know that every normed space can be isometrically embedded in a Banach space. So, most of the pertinent features of general normed spaces are contained in Banach spaces, therefore we can use the latter believing that we are not losing important aspects of the flexibility or generality of the former, for applications in Physics. Given this, our question is then reduced to asking, why among all Banach spaces, the inner product (Hilbert) spaces are the ones describing most fundamental aspects of nature most accurately, so far as we know today.

In the spirit of norm-equivalence, discussed in Subsection 2.2, one can ask how close, or how far, from each other are two linear spaces. From a metric viewpoint they are identical, if they are isometric. We want to have a “reasonable” distance function that measures how far from each other they may be, if they are not isometric. Defining such a distance function is clearly a matter of choice which ideally, for our purposes, should also reflect some desirable physical properties. It appears that the classical Banach-Mazur distance has properties fitting such requirements. It is defined as follows. Let $\mathcal{X},\mathcal{Y}$ be two isomorphic Banach spaces. The Banach-Mazur distance between them is defined as
where $T:\mathcal{X}\to \mathcal{Y}$ is an isomorphism. If $\mathcal{X},\mathcal{Y}$ are not isomorphic, then their Banach-Mazur distance is infinite, by definition. We can immediately see that
and that for isometric spaces such a distance is exactly equal to one. The converse is also true, but only for finite-dimensional Banach spaces. Therefore, the Banach-Mazur distance is actually a distance function on the set of equivalence classes of normed spaces (where “equivalence” is defined as “isometry”), but in a multiplicative sense, namely for three isomorphic linear spaces $\mathcal{X},\mathcal{Y},\mathcal{Z}$, it satisfies

$${d}_{BM}(\mathcal{X},\mathcal{Y})=\underset{T}{inf}\{\parallel T\parallel \xb7\parallel {T}^{-1}\parallel \}$$

$${d}_{BM}(\mathcal{X},\mathcal{Y})\ge 1$$

$${d}_{BM}(\mathcal{X},\mathcal{Z})\le {d}_{BM}(\mathcal{X},\mathcal{Y})\xb7{d}_{BM}(\mathcal{Y},\mathcal{Z})$$

To get to the usual triangle inequality instead of (11), we have to consider the logarithm of ${d}_{BM}$. The Banach-Mazur distance is invariant under invertible linear maps T, namely

$${d}_{BM}(T\mathcal{X},T\mathcal{Y})={d}_{BM}(\mathcal{X},\mathcal{Y})$$

In some sense the Banach-Mazur distance expresses the minimum distortion that any isomorphism between two linear spaces can possibly entail.

Before closing this Subsection, one cannot help but distinguish between the functional spaces arising in a theory developed on space-time and the underlying form of the metric of space-time itself. These are clearly two quite distinct classes of spaces that have to be treated independently. However, one can hope that if and when a reasonably testable model of quantum gravity is found, then its Hilbert (or more generally, functional) space of “wave-functions” will induce the observable metric of space-time. So from now on, the working assumption will be that such quantum mechanical Hilbert spaces induce the space-time metric. Therefore, we should address the question about what is so special about inner product (Hilbert) spaces among the class of all Banach spaces. Since we will be working with spaces of functions, we will focus on infinite dimensional Banach spaces in the sequel. To be more concrete, we will have in mind spaces seen frequently in applications such as the spaces of p-summable sequences (${l}^{p}$), or of Lebesgue p-integrable functions on ${\mathbb{R}}^{n}$ (${L}^{p}$) endowed with their cardinality or their induced Euclidean measure “volume” respectively, appearing in (1)–(5).

To proceed in determining desirable properties of the Banach spaces of functions on ${\mathbb{R}}^{n}$, we consider the following. It is widely believed among many, or even most, quantum gravity practitioners that spacetime properties such as its topology, smoothness, metric etc. should be “derived” from a quantum theory of gravity rather than be put in the models by hand. This seems to be a widespread belief, regardless of the exact approach to quantum gravity that someone follows. It is based in the fact that macroscopic properties of systems can be derived from their quantum counterparts and rely, to some extent, in the great separation of scales and numbers of degrees of freedom between the microscopic and the macroscopic scales. This is the main reason, as accepted today, of why Statistical Mechanics works so well in providing accurate predictions for systems with many degrees of freedom.

Independently of such physical considerations, there has been a recent surge of activity in Geometry and Analysis purporting to better understand first order calculus properties of non-smooth spaces [21]. An influential work in this direction has been [22], where conditions were given for the existence of a differentiable structure on metric measure spaces, based on Lipschitz maps, which also have the doubling property and admit a Poincaré inequality. Among the numerous works that clarified, elaborated and generalized [22], we could point out [23,24,25,26]. In these works, the differentiable structure appears naturally as a result of the more “primitive” assumptions stated above and presented in [22]. What is pertinent to our purposes is that [22] discovered that Sobolev spaces of functions on such metric measure spaces, which seem to be the most relevant from a physical viewpoint, turn out to be reflexive. Moreover they admit a uniformly convex norm. We will elaborate on the first condition in this Subsection, and the second in the next Section.

$${B}_{\mathcal{X}}=\{x\in \mathcal{X}:\parallel x\parallel \le 1\}$$

The dual of $\mathcal{X}$, denoted by ${\mathcal{X}}^{\prime}$, is the space of (real or complex valued) continuous linear functionals of $\mathcal{X}$, namely an element of $\mathcal{B}(\mathcal{X},\mathbb{R})$ or $\mathcal{B}(\mathcal{X},\mathbb{C})$. Examples of such dual spaces are ${\left({c}_{0}\right)}^{\prime}={l}^{1},{\left({l}^{1}\right)}^{\prime}={l}^{\infty},{\left({L}^{p}\left({\mathbb{R}}^{n}\right)\right)}^{\prime}={L}^{q}\left({\mathbb{R}}^{n}\right),1<p<\infty ,{p}^{-1}+{q}^{-1}=1$ etc. In case $\mathcal{X}$ is finite-dimensional, the closed unit ball of its dual ${B}_{{\mathcal{X}}^{\prime}}$ is the polar body of the unit ball of $\mathcal{X}$, namely

$${B}_{{\mathcal{X}}^{\prime}}={B}_{\mathcal{X}}^{\circ}$$

Generalizing, one can define the bi-dual of $\mathcal{X}$ as the dual of ${\mathcal{X}}^{\prime}$. These dualities induce a natural linear mapping $F:\mathcal{X}\to {\left({\mathcal{X}}^{\prime}\right)}^{\prime}$ given by
for $x\in \mathcal{X}$ and $f\in {\mathcal{X}}^{\prime}$ being its dual. There is no a priori reason why the double dual of $\mathcal{X}$ should be equal to $\mathcal{X}$. Usually $\mathcal{X}\subset {\left({\mathcal{X}}^{\prime}\right)}^{\prime}$. A simple example of this inclusion is that the dual of ${c}_{o}$ is ${l}^{1}$ and the dual of ${l}^{1}$ is ${l}^{\infty}$. Therefore the inclusion $F:{c}_{o}\to {l}^{\infty}$ is not surjective. If, however, it happens that under the canonical map F
then the Banach space $\mathcal{X}$ is called reflexive. It is important that $\mathcal{X}$ is isometric to ${\left({\mathcal{X}}^{\prime}\right)}^{\prime}$ under the canonical embedding (15). It is possible for a non-reflexive space to be isometric to its bi-dual; an example is provided by James’ space. Obviously every finite-dimensional Banach space is reflexive, due to the rank-nullity theorem. It should be immediately noticed that reflexivity is a topological property and not a property of the norm of a particular space. This is quite important given the fact that sometimes we will consider renormings of Banach spaces for the reasons mentioned in Section 2.2.

$$F\left(f\right)=f\left(x\right)$$

$$\mathcal{X}={\left({\mathcal{X}}^{\prime}\right)}^{\prime}$$

An example of reflexive Banach spaces are the Lebesgue spaces ${L}^{p}\left({\mathbb{R}}^{n}\right),1<p<\infty $. Reflexive Banach spaces have numerous desirable properties: one can mention, for instance

- the dual of reflexive space is reflexive.
- the closed subspaces of reflexive spaces are reflexive.
- the quotient spaces of reflexive spaces are reflexive, etc.

The question that comes to mind is whether there are physical reasons why a linear space should be reflexive. This is unclear in our opinion, beyond the desirable mathematical properties previously mentioned. It is not clear, for instance, what would be the physical consequences if the bi-dual of a Banach space were dense, rather than surjective, under the canonical mapping (15).

Discrete spacetime and“internal” symmetries, such as parity, time-inversion and charge conjugation whose “double dual” is the identity, namely idempotent operations, have played and continue to play an important role in several branches of Physics. Despite this, it is not clear to us if the linear functional duality (16) has or reflects some deeper physical origin. One would certainly not want to preclude spaces such as ${L}^{1}\left({\mathbb{R}}^{n}\right)$ or ${L}^{\infty}\left({\mathbb{R}}^{n}\right)$ from being used as functional spaces in applications due to their non-reflexivity. The actual question that is relevant to our purposes is whether such functional spaces have anything to do with the determination of the Euclidean metric of space-time. The work of [22] and subsequent developments seem to point out that reflexive (Sobolev) spaces may have some special geometric significance under the assumptions of his work. For this reason when combined with the implications of reflexivity for convexity and smoothness, we will restrict our attention to reflexive Banach spaces only, in the sequel.

$${n}_{P}\left(\mathcal{Y}\right)\to {n}_{P}\left(\mathcal{Z}\right)\text{\hspace{1em}}\mathrm{as}\text{\hspace{1em}}{d}_{BM}(\mathcal{Y},\mathcal{Z})\to 1$$

Probably the most straightforward case of this occurrence is when a relation like
holds. Then the Banach space $\mathcal{X}$ has the property P when
where the supremum is taken over all finite dimensional subspaces of $\mathcal{X}$. Whether a property P holds for the Banach space $\mathcal{X}$ evidently depends on the family $\mathfrak{F}\left(\mathcal{Y}\right)$ of all finite-dimensional spaces $\mathcal{V}$ such that

$${n}_{P}\left(\mathcal{Z}\right)\le {d}_{BM}(\mathcal{Y},\mathcal{Z}){n}_{P}\left(\mathcal{Y}\right)$$

$${n}_{P}\left(\mathcal{X}\right)=\underset{\mathcal{Y}}{sup}{n}_{P}\left(\mathcal{Y}\right)<\infty $$

$$\forall \u03f5>0,\exists \mathcal{Y}\subset \mathcal{X}:{d}_{BM}(\mathcal{V},\mathcal{Y})<1+\u03f5$$

In this terminology, finite representability of $\mathcal{Y}$ in $\mathcal{X}$ amounts to $\mathfrak{F}\left(\mathcal{Y}\right)\subset \mathfrak{F}\left(\mathcal{X}\right)$. The property P is called a super-property if whenever a Banach space $\mathcal{X}$ has P, then every Banach space $\mathcal{Y}$ finitely representable in $\mathcal{X}$ also has P.

$$\nu \left(U\right)={\int}_{U}fd\mu $$

For details and the generalization of this concept, from a geometric viewpoint, see [24]. As stated previously, this is a convenient technical theorem which allows one to use continuous functions f as a form of a “derivative” $d\nu /d\mu $. Such functions play an important role in Statistical Mechanics and quantum/thermal field theories as they do allow the coarse-grained distributions of interest to be treated as continuous rather than as discrete variables, something that many times simplifies the calculations. Moreover, it is certainly true that thermodynamic potentials such as the entropy have the drawback of being coordinate-dependent for continuous distributions; the only known way around such a difficulty is the use of reference measures which invariably lead to Radon-Nikodým derivatives. Hence it may be a relief to know that reflexive Banach spaces $\mathcal{X}$ do obey the Radon-Nikodým property and that the same is true for super-reflexive spaces: the obey the super Radon-Nikodým property.

There are numerous characterizations, singling out inner product spaces among all Banach spaces. One can consult, for instance, the book [29] for a classical, extensive exposition and numerous results. We have also found a host of pertinent information in [30,31].

In this Section, we provide some information about one modulus of convexity and one modulus of smoothness and use them to single out Hilbert spaces among all the Banach spaces of interest.

There is little doubt that convexity is a fundamental concept, whose origin and initial developments can be traced as far as the Greek antiquity schools of Geometry such as the Pythagoreans, having far-reaching consequences in many branches of Mathematics. We are interested in aspects of convexity, in this work, mainly in the context of vector spaces [32] with our approach oriented toward the infinite dimensional cases.

Convexity enters dynamics very early, both historically and at a stage of its development. It is present as early as Newton’s equations, at least. A particle trajectory in 3-dimensional space “bends” locally in the general direction of the total force acting on the particle. In other words, the total force acts toward the “convex interior”, vaguely speaking, of the curve. The resulting acceleration is associated to the curvature of the trajectory in space. Such a curvature is an extrinsic concept though, namely it depends on the way the curve has been embedded in 3-dimensional space. Incidentally, the intrinsic geometry of a line is trivial. However this hints at a strong connection between curvature and convexity of the embedded curve. One can generalize this observation for higher dimensional sub-manifold embeddings. Such embeddings become crucial in the configuration or in the phase space of a system. Consider, for instance, an isolated system; its energy os constant. Hence, as is well-known, its evolution takes place in a co-dimension one sub-manifold of its configuration space. This can be seen as a simple example of an embedding. The quantity characterizing such embeddings locally, in Riemannian geometry, is the second fundamental form or its closely associated shape operator. This topic is a classical one. For an overview and many references, see the recent thesis [33]. The statement of interest, for our purposes, is that if one considers a compact hyper-surface $\mathcal{M}$ of ${\mathbb{R}}^{n}$ endowed with the induced Euclidean metric, and the second fundamental form of this embedding is positive-definite everywhere on $\mathcal{M}$, then $\mathcal{M}$ bounds a convex subset of ${\mathbb{R}}^{n}$ [34]. This provides a local characterization of convexity for embeddings and can be seen as a generalization of the kinematical framework that originated with Newton’s equations.

One also expects convexity to be related to smoothness at least in the context of finite-dimensional vector spaces $\mathcal{V}$. A hand-waving argument that may illustrate this relationship is as follows: Consider a curve $\gamma :[0,1]\to \mathcal{V}$ which is locally rectifiable and which is arc-length parametrized by $s\in [0,1]$. For simplicity, and in order to make this argument more clear, assume that γ rests on a 2-plane, at least in some neighborhood ${U}_{x}$ around a point x corresponding to $\gamma \left({s}_{0}\right)$. Then consider the osculating circle of γ at x: this is a circle with a common tangent to the tangent $\frac{d\gamma \left({s}_{0}\right)}{ds}$ whose center is along the normal line to the tangent in the 2-plane around ${U}_{x}$. The radius of the osculating circle is equal to the radius of curvature $R\left({s}_{0}\right)$ at x. The smaller the radius of curvature $R\left({s}_{0}\right)$ the more “steeply” the curve turns. Now assume that $R\left({s}_{0}\right)\to 0$. This will result in the formation of a corner at $\gamma \left({s}_{0}\right)$ so γ will no longer be differentiable at ${s}_{0}$. At the same time, intuitively speaking, the “amount of convexity”, a concept that really needs to be made precise, of $\gamma \left({s}_{0}\right)$ will increase as $R\left({s}_{0}\right)\to 0$. A word of caution at this point: using Clarkson’s modulus of convexity which is a primary object of interest in this work, such a shrinking of the radius of curvature would leave that modulus unaffected. Still the statements regarding convexity in this paragraph were meant to be heuristic and suggestive, rather than precise, in order to visually illustrate our motivation for the use of convexity and smoothness and their inter-relation, in the rest of this work.

Convexity can also be seen at the level of Einstein’s field equations of General Relativity. These are, in 4-dimensions,
assuming that the cosmological constant $\Lambda =0$ and $\mu ,\nu =0,1,2,3$. Consider the null energy condition [35], which is (arguably) the most fundamental of the energy conditions [36],
where l is a null vector. (23) amounts to essentially demanding that
(24) can be interpreted as a (mean) convexity condition in a null direction: one way is to see that the Ricci tensor involves two derivatives of the components of the metric tensor hence the non-negativity of (24) signifies convexity in analogy with the case of functions. Such convexity can also be seen in a Riemannian context. There, the non-negativity of the Ricci curvature (24) can be shown [37] to imply a generalized Brunn-Minkowski inequality, which is essentially a statement about the concavity, the convexity of the opposite function, of the volume in Euclidean and Riemannian spaces.

$${R}_{\mu \nu}-\frac{1}{2}R{g}_{\mu \nu}=\frac{8\pi G}{{c}^{4}}{T}_{\mu \nu}$$

$${T}_{\mu \nu}{l}^{\mu}{l}^{\nu}\ge 0$$

$${R}_{\mu \nu}{l}^{\mu}{l}^{\nu}\ge 0$$

$$\{t{a}_{1}+(1-t){a}_{2},t\in [0,1]\}\subset \mathcal{A},\forall {a}_{1},{a}_{2}\in \mathcal{A}$$

Equivalently, for every $n\in \mathbb{N}$ and for every ${t}_{0},{t}_{1},\dots ,{t}_{n}\in [0,1]$ such that ${t}_{0}+{t}_{1}+\dots +{t}_{n}=1$ and for every ${a}_{0},{a}_{1},\dots ,{a}_{n}\in \mathcal{A}$, we have ${t}_{0}{a}_{0}+{t}_{1}{a}_{1}+\dots +{t}_{n}{a}_{n}\in \mathcal{A}$. Obviously ${\mathbb{R}}^{n}$ as well as its linear and affine subspaces are convex. The same conclusion holds about open and closed unit balls in normed vector spaces.

$$Ep\left(f\right)=\left\{\right(a,t)\in \mathcal{A}\times \mathbb{R}:f(a)\le t\}$$

Then, such a function f is called convex, if $Ep\left(f\right)$ is a convex subset of $\mathcal{A}\times \mathbb{R}$. Equivalently, if for all $a,b\in \mathcal{A}$ and $t\in [0,1]$, such f satisfies the inequality

$$f(ta+(1-t\left)b\right)\le (1-t)f\left(a\right)+tf\left(b\right)$$

The combination of homegeneity and the triangle inequality shows immediately that a norm $\parallel \xb7\parallel $ on $\mathcal{V}$ is a convex function. Other convex functions are the distance functions between two lines in Euclidean space (${\mathbb{R}}^{n}$ endowed with the Euclidean metric) and, more generally, distance functions on metric spaces of negative curvature. Moreover, if in a normed (more generally: a metric) space $\mathcal{V}$ with $\mathcal{A}\subset \mathcal{V}$ and for all $a\in \mathcal{V}$, one defines
when $\mathcal{A}$ is a nonempty closed convex subset of $\mathcal{V}$, then the distance function ${d}_{\mathcal{A}}:\mathcal{V}\to {\mathbb{R}}_{+}$ is convex.

$${d}_{\mathcal{A}}\left(a\right)=\underset{b\in \mathcal{A}}{inf}\parallel a-b\parallel $$

Convex functions have many nice properties: they are semicontinuous and almost everywhere differentiable, they possess left and right derivatives (which however need not coincide), limits of sequences of convex functions defined on convex sets are convex functions, they have a unique minimum and they obey the local-to-global property, namely a locally convex function is actually (globally) convex. It is properties like these that make convex functions so useful and widespread in Physics and, in particular, in Analytical Mechanics and Thermodynamics.

The oldest and most studied among the moduli of convexity is due to J.A. Clarkson [39,40]. To define it, consider the normed linear space ($\mathcal{X},\parallel \xb7\parallel $), let ${B}_{\mathcal{X}}$ indicate its closed unit ball, as before, and let $\epsilon \in [0,2]$. The modulus of local convexity is defined by

$$\delta (x,\epsilon )=inf\left\{1-\u2225\frac{x+y}{2}\u2225:y\in {B}_{\mathcal{X}},\parallel x-y\parallel \ge \epsilon \right\}$$

Then Clarkson’s modulus of convexity of $\mathcal{X}$ denoted by ${\delta}_{\mathcal{X}}:[0,2]\to [0,1]$ is defined as

$${\delta}_{\mathcal{X}}\left(\epsilon \right)=inf\{\delta (x,\epsilon ):x\in {B}_{\mathcal{X}}\}$$

This can be equivalently expressed as

$${\delta}_{\mathcal{X}}\left(\epsilon \right)=inf\left\{1-\u2225\frac{x+y}{2}\u2225:x,y\in \mathcal{X},\parallel x\parallel =\parallel y\parallel =1,\parallel x-y\parallel =\epsilon \right\}$$

It should be immediately noticed that this modulus of convexity is really a property of the 2-plane spanned by $x,y\in \mathcal{X}$ which is then inherited by $\mathcal{X}$. This should look familiar: the curvature of an n-dimensional Riemannian manifold $\mathcal{M}$ is a genuinely 2-dimensional concept which is actually formulated on its Grassmann manifold ${G}_{2,n}\left(\mathcal{M}\right)$. The (sectional) curvature expresses the deviation of the metric of $\mathcal{M}$ from its flat counterpart [41]. The characteristic of convexity of ($\mathcal{X},\parallel \xb7\parallel $) is defined as [42]

$${\epsilon}_{0}\left(\mathcal{X}\right)=sup\{\epsilon \in [0,2]:{\delta}_{\mathcal{X}}\left(\epsilon \right)=0\}$$

From a different viewpoint, it is known from the work of P. Enflo [45] and R.C. James [46] that $\mathcal{X}$ is super-reflexive if and only if it has an equivalent uniformly convex norm. “Equivalence” in this theorem is meant to be understood in the sense described in Subsection 2.2. Therefore, insisting on having super-reflexivity of the underlying functional spaces that determine/induce the space-time metric usually has to allow for a change of their norm to a uniformly convex one, if this is feasible. This change may have substantial physical implications for the underlying model. If however, as mentioned above, one is only interested in large-scale “coarse” phenomena that ignore spatially “small” details and arise as a result of statistical averaging of many degrees of freedom, then one believes that such a renorming will leave the macroscopic quantities of interest unaffected.

$${\delta}_{{L}^{p}}\left(\epsilon \right)=\left\{\begin{array}{cc}(p-1)\frac{{\epsilon}^{2}}{8}+o\left({\epsilon}^{2}\right),\hfill & \mathrm{if}1<p\le 2\hfill \\ \frac{1}{p}{\left(\frac{\epsilon}{2}\right)}^{p}+o\left({\epsilon}^{p}\right),\hfill & \mathrm{if}2\le p<\infty \hfill \end{array}\right.$$

One cannot fail to notice the “phase transition” in the asymptotic behavior of this modulus of convexity occurring around $p=2$, namely around the Hilbert space case. An inevitable question is how generic such a behavior might be, among all Banach spaces. If it is, then it would be an initial indication that Hilbert spaces may be “special”, from a convexity viewpoint. It turns out that this is essentially true, and this is the statement on which the main argument of the present work relies. This is the realization that among all Banach spaces, the Hilbert space is the “most” convex. To be more precise, it was proved in [50] that among all Banach spaces $\mathcal{X}$, the Hilbert spaces $\mathcal{H}$ have the largest modulus of convexity, namely
where

$${\delta}_{\mathcal{X}}\left(\epsilon \right)\le {\delta}_{\mathcal{H}}\left(\epsilon \right)$$

$${\delta}_{\mathcal{H}}\left(\epsilon \right)=\frac{2-\sqrt{4-{\epsilon}^{2}}}{2}$$

It is also interesting to notice that the results of [50] when combined with those of [51,52] prove that if a linear space $\mathcal{X}$ is such that the equality in (34) holds, then $\mathcal{X}$ is an inner product space.

$${\delta}_{\mathcal{X}}\left(\epsilon \right)\le C{\epsilon}^{2}$$

For a Hilbert space we have (35) which is, obviously, compatible with (36). So, in a quantitative sense, the closer ${\delta}_{\mathcal{X}}$ is to ${\epsilon}^{2}$ for a normed space $\mathcal{X}$, the closer $\mathcal{X}$ is being maximally convex, hence the closer it is to being a Hilbert space $\mathcal{H}$. T. Figiel [53] showed that one can consider as a modulus of convexity instead of ${\delta}_{\mathcal{X}}\left(\epsilon \right)$ the greatest convex function ${\tilde{\delta}}_{\mathcal{X}}\left(\epsilon \right)$, namely

$${\tilde{\delta}}_{\mathcal{X}}\left(\epsilon \right)\le {\delta}_{\mathcal{X}}\left(\epsilon \right)$$

Then [53]
for constants ${c}_{1}>0,{c}_{2}>0$.

$${c}_{1}{\delta}_{\mathcal{X}}\left({c}_{2}\epsilon \right)\le \tilde{\delta}\left(\epsilon \right)$$

The re-definition employed in [53] is reminiscent of the equivalence of growth functions in geometric group theory when one has to decide whether such a growth function is exponential, polynomial or has an intermediate growth rate [54]. The reason for such similarity is quite clear: in geometric group theory, as in our case, one really cares about equivalences that may distort distances, but leave large-scale details of the structure invariant. The metric equivalence employed there is that of quasi-isometric maps, which distorts distances between two metric spaces $({\mathfrak{X}}_{1},{d}_{1}),({\mathfrak{X}}_{2},{d}_{2})$ according to
where ${c}_{1}>1$ and ${c}_{2}>0$. The difference between (6) and (39) is the presence of ${c}_{2}$ in (39) which completely ignores structures whose length is smaller than ${c}_{2}$. We have previously employed such equivalences in our work in [55,56] in our attempt to determine the dynamical basis of a power-law entropy, something that may have implications for the derivation of the metric of space-time from microscopic models of quantum gravity. The use of such maps acquires even greater significance when one considers that it is intimately related to properties of (Gromov) hyperbolic spaces. After a $3+1$ decomposition, 3-dimensional manifolds represent space-like hyper-surfaces in spacetimes. Following the results of the Thurston geometrization program (see [57] for an overview), it seems that “most” of the 3-dimensional manifolds are hyperbolic. Hence quasi-isometries and similar ideas may be relegated to a central role in determining classical/long-distance structures of the (4-dimensional) spacetimes from their microscopic/quantum foundations.

$$\frac{1}{{c}_{1}}{d}_{1}(x,y)-{c}_{2}\le {d}_{2}(f\left(x\right),f\left(y\right))\le {c}_{1}{d}_{1}(x,y)+{c}_{2},\text{\hspace{1em}}\forall x,y\in {\mathfrak{X}}_{1}$$

A quantity intimately related to convexity, in the context of normed linear spaces, is smoothness. In line with convexity, one also needs a way to quantify the amount of smoothness of a linear space. Once more, there is no unique way of how to go about constructing such a modulus of smoothness and actually several such moduli of smoothness have been constructed over the years [38].

$${\rho}_{\mathcal{X}}\left(t\right)=sup\left\{\frac{\parallel x+ty\parallel +\parallel x-ty\parallel}{2}-1,x,y\in {B}_{\mathcal{X}}\right\}$$

This can be alternatively defined as
or as

$${\rho}_{\mathcal{X}}\left(t\right)=sup\left\{\frac{\parallel x+y\parallel +\parallel x-y\parallel}{2}-1:x\in {B}_{\mathcal{X}},\parallel y\parallel \le t\right\}$$

$${\rho}_{\mathcal{X}}\left(t\right)=sup\left\{\frac{\parallel x+y\parallel +\parallel x-y\parallel}{2}-1,x,y\in {S}_{\mathcal{X}}\right\}$$

One defines the coefficient of smoothness of $\mathcal{X}$ by

$${\rho}_{0}\left(\mathcal{X}\right)=\underset{t\to {0}^{+}}{lim}\frac{{\rho}_{\mathcal{X}}\left(t\right)}{t}$$

Before continuing it may be worth developing a pictorial idea about uniform convexity and uniform smoothness. Consider, for instance, a square with rounded corners. This is not uniformly convex, since it includes line segments in its boundary, but it lacks corners, so it is uniformly smooth. Consider now the, assumed non-empty and not a point, intersection of two equal radius disks: it is uniformly convex as its boundary contains no line segments, but it is not uniformly smooth since at the two intersection points of the two circles which are the boundaries of the two disks, the figure has corners.

$${\rho}_{{L}^{p}}\left(t\right)=\left\{\begin{array}{cc}\frac{{t}^{p}}{p}+o\left({t}^{p}\right),\hfill & \mathrm{if}1<p\le 2\hfill \\ \frac{p-1}{2}{t}^{2}+o\left({t}^{2}\right),\hfill & \mathrm{if}2\le p<\infty \hfill \end{array}\right.$$

The same comments and thoughts regarding the phase transition around $p=2$ apply here as in the case of the modulus of convexity as stated above. The counterpart of (34) was also established, and it states that that for any Banach space $\mathcal{X}$ one has

$${\rho}_{\mathcal{X}}\left(t\right)\ge {\rho}_{\mathcal{H}}\left(t\right)$$

Therefore Hilbert spaces are the least smooth among all Banach spaces. Moreover, the exact same statement as the one following (35) applies for the modulus of smoothness: if a Banach space $\mathcal{X}$ obeys
then $\mathcal{X}$ is an inner product space. The modulus of smoothness, very much like for the modulus of convexity, of a Hilbert space is a result of the validity of the parallelogram equality and it is given by

$${\rho}_{\mathcal{X}}\left(t\right)={\rho}_{\mathcal{H}}\left(t\right)$$

$${\rho}_{\mathcal{H}}\left(t\right)=\sqrt{1+{t}^{2}}-1$$

The analogue of (36) is that for an infinite dimensional Banach space $\mathcal{X}$ one has

$${\rho}_{\mathcal{X}}\left(t\right)\ge c{t}^{2}$$

The Milman-Pettis theorem established, in addition to uniform convexity, that uniformly smooth spaces are reflexive. Even though the dual of a super-property may not be a super-property, using the “convexity-smoothness” duality of the next paragraph, one sees that uniformly smooth spaces are indeed super-reflexive. Analogous things can be stated about the uniform smoothability of a Banach space as were stated about their uniform convexifiability, with equivalent norms.

$${\rho}_{{\mathcal{X}}^{\prime}}\left(t\right)=sup\left\{\frac{\epsilon t}{2}-{\delta}_{\mathcal{X}}\left(\epsilon \right),0\le \epsilon \le 2\right\}$$

$${\rho}_{\mathcal{X}}\left(t\right)=sup\left\{\frac{\epsilon t}{2}-{\delta}_{{\mathcal{X}}^{\prime}}\left(\epsilon \right),0\le \epsilon \le 2\right\}$$

Therefore, every theorem valid for convexity has a dual analogue valid for smoothness. We see, for instance, that
which shows that a Banach space $\mathcal{X}$ is uniformly convex if and only if its dual ${\mathcal{X}}^{\prime}$ is uniformly smooth. Continuing along the lines of the quantification of convexity and smoothness, one can state the following: consider the Banach space $\mathcal{X}$. It turns out that
in which case $\mathcal{X}$ is called a $q$-convex space. According to a theorem of Figiel and Assouad, this is equivalent to the existence of some constant α such that

$${\rho}_{0}\left({\mathcal{X}}^{\prime}\right)=\frac{1}{2}{\epsilon}_{0}\left(\mathcal{X}\right),\text{\hspace{1em}}{\rho}_{0}\left(\mathcal{X}\right)=\frac{1}{2}{\epsilon}_{0}\left({\mathcal{X}}^{\prime}\right)$$

$${\delta}_{\mathcal{X}}\left(\epsilon \right)\ge C{\epsilon}^{q},\text{\hspace{1em}}q\ge 2$$

$$\frac{1}{2}\left({\parallel x+y\parallel}^{q}+{\parallel x-y\parallel}^{q}\right)\ge {\parallel x\parallel}^{q}+\alpha {\parallel y\parallel}^{q},\text{\hspace{1em}}\forall x,y\in \mathcal{X}$$

For smoothness, the corresponding statement is that for the Banach space $\mathcal{Y}$ one has
in which case Y is called $p-$smooth. Then, according to a theorem of Pisier and Assouad, this is equivalent to the existence of some constant β such that

$${\rho}_{\mathcal{Y}}\left(t\right)\le c{t}^{p},\text{\hspace{1em}}1<p\le 2$$

$$\frac{1}{2}\left({\parallel x+y\parallel}^{p}+{\parallel x-y\parallel}^{p}\right)\le {\parallel x\parallel}^{p}+\beta {\parallel y\parallel}^{p},\text{\hspace{1em}}\forall x,y\in \mathcal{Y}$$

Based on the Legendre-Fenchel duality noted above, one can also state that a Banach space $\mathcal{X}$ is q-convex if and only if its dual ${\mathcal{X}}^{\prime}$ is p-smooth, where q qnd p are harmonic conjugates, namely

$$\frac{1}{p}+\frac{1}{q}=1$$

The word “smoothness” is associated, in a typical Physicist’s mind, with the concept of the derivative. It may be of interest to know that the same can be stated for the cases of the Banach spaces of our interest. Using infinite dimensional spaces though introduces additional complexities and also possible counter-intuitive features that should be carefully accounted for. For one, there are several possible definitions for the (directional) derivative in a normed space. We only need the definition of the Frechét derivative in this work [31]. Let $\mathcal{X},\mathcal{Y}$ be Banach spaces and let $f:\mathcal{X}\to \mathcal{Y}$. Then f is called Frechét differentiable at $x\in \mathcal{X}$, if there is a bounded linear operator ${A}_{x}:\mathcal{X}\to \mathcal{Y}$ such that the following limit exists uniformly for $y\in {S}_{\mathcal{X}}$

$${A}_{x}y=\underset{t\to 0}{lim}\frac{f(x+ty)-f\left(x\right)}{t}$$

If this limit indeed exists, then it is called the Frechét derivative of f at x and is indicated by ${D}_{f}\left(x\right)$. The pertinent statement is that if $\mathcal{X}$ is a uniformly smooth Banach space then its norm $f\left(x\right)=\parallel x\parallel $ is Frechét differentiable for every $x\in \mathcal{X}\setminus \left\{0\right\}$. In such a case, one can see that the linear approximation to f at x through ${D}_{f}\left(x\right)$ is valid, namely we can write

$$f(x+y)=f\left(x\right)+{D}_{f}\left(x\right)y+o(\parallel y\parallel )$$

If a function is Frechét differentiable at a point, it turns out that it is also continuous at that point, which is the Banach space analogue of a well-known and frequently used result of elementary calculus.

In addition to the above, it turns out [31] that for a Banach space $\mathcal{X}$ the following statements are equivalent:

- $\mathcal{X}$ is super-reflexive.
- $\mathcal{X}$ admits an equivalent, uniformly convex norm, whose modulus of convexity satisfies, for some $q\ge 2$,$${\delta}_{\mathcal{X}}\left(\epsilon \right)\ge {c}_{1}{\epsilon}^{q}$$
- $\mathcal{X}$ admits an equivalent, uniformly smooth norm, whose modulus of smoothness satisfies, for some $1<p\le 2$$${\rho}_{\mathcal{X}}\left(t\right)\le {c}_{2}{t}^{p}$$

Moreover, Asplund [59] showed that a space which admits two equivalent norms one of which is uniformly convex and the other uniformly smooth, admits a third one which is equivalent to the previous two and which has both properties. As a special case, one can state that a super-reflexive space admits an equivalent norm which is both uniformly convex and uniformly smooth.

$${r}_{i}\left(t\right)=\mathrm{sign}[sin\left({2}^{i}\pi t\right)],\text{\hspace{1em}}i\in \mathbb{N}$$

We see that the Rademacher functions can be interpreted as a sequence of identically distributed random variables on $[0,1]$ endowed with its Lebesgue measure, taking values $\pm 1$, each with probability $0.5$. It may be worth noting that for vectors ${x}_{i},i=1,\dots n$ in a Banach (or more generally in a normed) space ($\mathcal{X},\parallel \xb7\parallel $), one has
where the expectation value $\mathbb{E}$ is taken over ${\u03f5}_{i}=\pm 1$.

$${\int}_{0}^{1}{\u2225\sum _{i=1}^{n}{r}_{i}\left(t\right){x}_{i}\u2225}^{p}dt=\mathbb{E}\left({\u2225\sum _{i=1}^{n}{\u03f5}_{i}{x}_{i}\u2225}^{p}\right)$$

$${\left({\int}_{0}^{1}{\u2225\sum _{i=1}^{n}{r}_{i}\left(t\right){x}_{i}\u2225}^{p}dt\right)}^{\frac{1}{p}}\le {C}_{p}{\left(\sum _{i=1}^{n}{\parallel {x}_{i}\parallel}^{p}\right)}^{\frac{1}{p}}$$

$${A}_{p}{\left({\int}_{0}^{1}|\sum _{i=1}^{n}{a}_{i}{r}_{i}\left(t\right){|}^{p}dt\right)}^{\frac{1}{p}}\le {\left({\int}_{0}^{1}|\sum _{i=1}^{n}{a}_{i}{r}_{i}\left(t\right){|}^{2}dt\right)}^{\frac{1}{2}}\le {B}_{p}{\left({\int}_{0}^{1}|\sum _{i=1}^{n}{a}_{i}{r}_{i}\left(t\right){|}^{p}dt\right)}^{\frac{1}{p}}$$

If we assume that all vectors are equal in (63), then by using (64) we see that that $p\le 2$. By using the triangle inequality, one can also see that $p\ge 1$. Therefore the only allowed values for a type p Banach space are $1\le p\le 2$. This is equivalent to stating that the elements of the family $\mathfrak{F}\left(\mathcal{Z}\right)$ of finite-dimensional subspaces $\mathcal{Z}\subset \mathcal{X}$ satisfy
which shows that $\mathcal{X}$ having type p is a super-property. One can also see that if ${p}^{\prime}<p$ then type p implies type ${p}^{\prime}$.

$$\underset{\mathfrak{F}\left(\mathcal{Z}\right)}{sup}{C}_{p}\left(\mathcal{Z}\right)<\infty $$

$${\left({\int}_{0}^{1}{\u2225\sum _{i=1}^{n}{r}_{i}\left(t\right){x}_{i}\u2225}^{q}dt\right)}^{\frac{1}{q}}\ge {C}_{q}^{\prime}{\left(\sum _{i=1}^{n}{\parallel {x}_{i}\parallel}^{q}\right)}^{\frac{1}{q}}$$

$$\underset{\mathfrak{F}\left(\mathcal{W}\right)}{sup}{C}_{q}\left(\mathcal{W}\right)<\infty $$

- Type p and co-type 2, if $1\le p\le 2$
- Type 2 and co-type p, if $2\le p<\infty $

One again cannot fail to notice the “phase transition” in the behavior of type and co-type of ${L}^{p}\left({\mathbb{R}}^{n}\right)$ taking place around $p=2$. Hilbert spaces are singled out in a stronger sense: indeed, using the parallelogram equality (38) below, one can see that a Hilbert space has type 2 and co-type 2. That the converse is also true, is a non-trivial result due to S. Kwapień [60].

The type and co-type of a Banach space $\mathcal{X}$ can be seen in a variety of ways: one way is to state that they are a way of quantifying how far $\mathcal{X}$ is from being a Hilbert space. The comparison of the definitions of type and co-type with the parallelogram equality that only Hilbert spaces satisfy
is quite suggestive. In view of the last paragraph of this Subsection (see below) the same can be stated by comparing (68) to (53) and (55) which alternatively quantify the moduli of convexity and smoothness of $\mathcal{X}$.

$${\parallel x+y\parallel}^{2}{+\parallel x-y\parallel}^{2}={2(\parallel x\parallel}^{2}+{\parallel y\parallel}^{2})$$

Now, one can inquire about the robustness of the concepts of type and co-type. J.P. Kahane’s inequality [61] is a vector-valued extension of A.I. Khintchine’s inequality (64) and states, with the above notation, that for every $0<p<q<\infty $ there is a constant $C(p,q)>0$ such that

$${\left({\int}_{0}^{1}{\u2225\sum _{i=1}^{n}{r}_{i}\left(t\right){x}_{i}\u2225}^{p}dt\right)}^{\frac{1}{p}}\le {\left({\int}_{0}^{1}{\u2225\sum _{i=1}^{n}{r}_{i}\left(t\right){x}_{i}\u2225}^{q}dt\right)}^{\frac{1}{q}}\le C(p,q){\left({\int}_{0}^{1}{\u2225\sum _{i=1}^{n}{r}_{i}\left(t\right){x}_{i}\u2225}^{p}dt\right)}^{\frac{1}{p}}$$

This shows that the type p and co-type q are properties that are maintained under an equivalent norm. Moreover, instead of using Rademacher functions in the definitions, something which is technically convenient, one could use centered Bernoulli random variable, Gaussian random variables etc. with just a change in the values of the constants in the definitions [62].

One cannot fail to notice from the content of the previous Sections, the unique role that inner product (Hilbert) spaces $\mathcal{H}$ play among all Banach spaces $\mathcal{X}$ and, in particular, the distinct role of ${L}^{2}\left({\mathbb{R}}^{n}\right)$ among all ${L}^{p}\left({\mathbb{R}}^{n}\right)$. Such Hilbert spaces are, at the same time, the most convex and least smooth among all Banach spaces. They are the only Lebesgue spaces that have the same type and co-type 2. In addition, they are super-reflexive. Moreover such Hilbert spaces are the only self-dual Lebesgue spaces under harmonic conjugation, a basic fact reflecting properties of the polarity of convex bodies and of the Legendre-Fenchel transformations [64].

$$\mathcal{Z}=\int {e}^{-\mathcal{S}}\left[\mathcal{D}\varphi \right]$$

$${\mathcal{Z}}_{top}=\sum _{\mathrm{topologies}}\int {e}^{-\mathcal{S}}\left[\mathcal{D}\varphi \right]$$

Such possible summation over all topologies has presented insurmountable difficulties, which can be credited in large part for the eventual demise of the dynamical triangulation approach to quantum gravity [68], where one is faced with hard problems of Gödelian type indecisive propositions.

On the other hand, (71) can be used as as starting point for a similar question, where the summation is not over all topologies of 4-dimensional manifolds, which are of course locally spaces endowed with a Euclidean metric. One could instead ask for summation over all metrics that can be placed on the underlying topological or uniform structure of the space whose classical limit will eventually be a space-time. This however is would be a very broad set, hence a very difficult to analyze class of metrics. To be closer to something manageable, and also be in accordance with the equivalence principle demanding the local approximation of the underlying structure with linear spaces, one may wish to consider locally, only p-integrable Banach metrics, namely metrics/norms induced from ${L}^{p}\left({\mathbb{R}}^{n}\right)$. This effectively generalizes the underlying space-time structure from that of a Riemannian to something akin to a Finslerian space. Therefore one could write a modified path-integral/canonical partition function, instead of (71), as
with the summation being over all metrics of a space(-time) which are locally induced by the ${L}^{p}\left({\mathbb{R}}^{n}\right)$. In conventional path-integral approaches to quantum gravity such a summation does not arise, since one has already determined to only use Euclidean metrics on the space-time underlying manifold.

$${\mathcal{Z}}_{B}=\sum _{p\ge 1}\int {e}^{-\mathcal{S}}\left[\mathcal{D}\varphi \right]$$

One could use the lack of renormalizability of the path-integral expressions like (70) around their saddle points, namely around a fixed background metric, to argue against such an approach [69]. After all, if (70) gives rise to non-renormalizable interactions around Minkowski space, this should force us to believe that it precludes (72) from being more successful to that end. Such a criticism would be misguided though. Lack of renormalizability of (70) takes into account only metrics of Riemannian (quadratic) form on the underlying space and the saddle point is calculated within the set of such metrics. What we propose is to enlarge such a set to the more general locally p-integrable Banach metrics. Since our argument is quite empirical/“phenomenological” rather than fundamental/dynamical, the issue of renormalizability of the underlying path-integral does not even enter our considerations.

Demanding a summation over such p-integrable metrics as in (72) may be reasonable, or not, but only after someone can properly write a finite classical action $\mathcal{A}$ for them. How exactly to do this is not clear to us at this stage. There are synthetic definitions of the Ricci and even the scalar curvature for metric measure spaces with very little regularity [70]. One could use them and alongside a general minimal cost transportation to possibly argue in this direction. What is sorely lacking in such cases though is the formalism that could accommodate expressions for the non-gravitational fields capturing the essence of the stress-energy tensor and recasting it in such a synthetic framework. Therefore a dynamical argument, which would be the most desirable, in favor of Hilbert spaces and their induced Euclidean metrics does not seem to be feasible, in any obvious way, at this stage.

Given the assumed irregularity/granularity of space-time at a fundamental level (expressed through spin networks in loop quantum gravity, partially ordered sets with discrete measures in the causal set approach, simplicial approximations and Regge calculus in causal dynamical triangulations etc.) it may not be out of place to assume that nature chooses the least smooth class of metrics among such induced metrics from ${L}^{p}\left({\mathbb{R}}^{n}\right),1\le p<\infty $. Therefore it is the Hilbert space metric/norm ${L}^{2}\left({\mathbb{R}}^{n}\right)$ that provides the only extremal, hence dominant, contribution in an “extended” path-integral approach (72) which, in turn, induces its properties to the classical space-time limit of the quantum gravitational theory. In short, the induced metric of space-time inherits its Euclidean character from that of ${L}^{2}\left({\mathbb{R}}^{n}\right)$ which dominates the path-integral (72), by being the least smooth.

Consider, for concreteness, the ${L}^{1}\left({\mathbb{R}}^{n}\right)$ space, or to be more intuitive, the metric induced by the related ${l}^{1}$ norm on ${\mathbb{R}}^{2}$. This metric, for $\overrightarrow{x}=({x}_{1},{x}_{2}),\overrightarrow{y}=({y}_{1},{y}_{2})$ where the coordinates are considered with respect to a Cartesian system, is given by

$$d(\overrightarrow{x},\overrightarrow{y})=|{x}_{1}-{x}_{2}|+|{y}_{1}-{y}_{2}|$$

Then one can see that there is an infinity of geodesics connecting $\overrightarrow{x}$ and $\overrightarrow{y}$. This by itself is not a drawback: after all, the north and south poles of a sphere with the induced metric from the Euclidean space are also connected by infinite geodesics (the meridians). The definition of geodesics is not a problem either: in metric geometry [71] they can be defined to be the isometric images of the unit interval. The problem exists because many of the geodesics between $\overrightarrow{x}$ and $\overrightarrow{y}$ in the (73) are branching: geodesics that have initially a common segment can separate after a while. If one assumes strong locality in a theory of gravity, whose metric is even “Euclidianized” (made positive-definite) after a Wick rotation, then this presents a problem with predictability. Since the theory does not possess any “memory” in its formulation, how then one can make any prediction based on the behavior of geodesics which largely encode the underlying geometry, if the theory has branching geodesics? If, for instance, the action $\mathcal{S}$ or the resulting kinematic equations possessed some form “memory” as in the case of systems being modelled by fractional derivatives [72,73,74], then the use of geometric structures with branching geodesics might not pose a serious problem to predictability. Knowing this, one may wish to stay as far away as possible from using metrics that may allow for the possibility of branching geodesics. It turns out that the Hilbert space ${L}^{2}\left({\mathbb{R}}^{n}\right)$ is the furthest away from resembling ${L}^{1}\left({\mathbb{R}}^{n}\right)$ which has branching geodesics, at least when one uses the modulus of convexity to quantify such a difference.

The counter-argument to the above is that ${L}^{1}\left({\mathbb{R}}^{n}\right)$ has branching geodesics exactly because it is not uniformly convex. If someone chose any other ${L}^{p}\left({\mathbb{R}}^{n}\right),p\ne 1$ then this problem would not exist. This is largely correct. However it assumes very much like many occasions in classical Physics that some objects can be well-approximated by point particles, which in the absence of (non-gravitational) forces move along causal (in the Lorentzian signature framework) geodesics. When the quantum nature of such an object comes into consideration though, even in a fixed, classical background space-time, this statement would not be accurate. The uncertaintly principle would prevent such point-like structures from existing; this introduces substantial technical complications for any operator in the assumed Fock space of a quantum gravity theory following the canonical approach, such as loop gravity for instance: the operator has to be “smeared”, namely to act on test not at a particular point but on an appropriately chosen neighborhood of it before applying the canonical commutation relations [75].

The result is that a wave-function will sweep out a tube, for short times, rather than a line, in such a space-time as it evolves. For predictability purposes, since the Schrödinger, the Klein-Gordon, the Dirac etc. equations involve usual derivatives, as opposed to being integro-differential equations that may signify that memory effects are taken into account, it is quite important for such tubes not to have a branching property. Naively speaking and without getting into any details, we believe that this goal has the best chances of being realized, if the underlying space has a metric which is as far away from having branching geodesics as possible, which again brings us back to favoring the use of a Hilbert space.

In this work we have presented a non-rigorous, conjectural argument that aims to explain why the metric of space-time, after being suitably Wick-rotated, obeys the Pythagorean theorem. Such a metric can be seen as descending from the metrics of appropriate Banach spaces which provide a reasonable kinematical framework of a mesoscopic description/quasi-classical limit of models of quantum gravity. The advantage of this approach is also its disadvantage: it is kinematical with ad hoc aspects. It does not attempt to delve into the actual realm of the approaches to quantum gravity, however it is motivated by and uses some of the common points of such approaches. We relied on aspects of General Relativity and the Einstein equations for some motivation, used the spirit of the variational principles and path-integrals to formulate our approach in the spirit of classical and quantum Physics and then for our proposal we used standard results from functional analysis, convexity and the theory of normed spaces.

As in any, partly ad hoc and conjectural, work the virtues of the current work may be seen as out-weighting their shortcomings, or vice versa. The value of work like the present, which may appear to purport to justify the “obvious”, may lie in the ideas involved in it and in the methods used to reach the conclusions. Much more importantly from a physical viewpoint, it may also point out to reasons about the inapplicability of its conclusions should pertinent experiments refute our currently held ideas about space-time properties, or should one observe such exceptions at, or beyond, the galaxy cluster or the Planck scales.

We would like to add that there should be some skepticism regarding the role of the Wick rotation of the space-time signature to a positive-definite one. There is little doubt that the Wick rotation has been very successful in obtaining results in perturbative quantum field theories, or more generally when employing saddle point approximations, which may otherwise be ill-defined or inaccessible in a covariant approach to such relativistic theories. It is not clear, to us at least, to what extent employing such Euclidean (positive-definite) metrics is equivalent to purely Lorentzian arguments and results, in particular in regimes outside the possible domain of validity of such saddle-point approximations. It is well-known now that many fundamental results of Riemannian geometry (such as the Hopf-Rinow theorem etc.) are either not valid in Lorentzian geometry or may become valid when appropriate modifications are made. Such discrepancies become even more pronounced when one considers the topological and causal formalism of space-times and other such statements of Lorentzian geometry which have no obvious analogue in the Riemannian case [35,76,77]. Since our results rely on positive-definite metrics of the underlying (linear) spaces, we can only be skeptical about their applicability in the physical, indefinite (Lorentzian) signature, case.

A technical point that may be worth addressing before closing, is the fact that all the analysis in this work uses in a very essential way the particular moduli of convexity and smoothness whose definitions and properties have been stated above. Naturally, these are mathematical constructions and cannot conceivably be unique or automatically be considered the “most useful” among their peers. And actually they are not. As mentioned in the opening paragraphs of this work, there are several, generally inequivalent, moduli encoding convexity and smoothness [38]. If history is any guide, new such moduli will keep being defined, their properties being examined and their values will be calculated in concrete cases in the future. We have chosen the above two moduli because they appear to us to be the simplest, the most intuitive and also the most developed. It is theoretically possible that other moduli may single out other spaces, as opposed to Hilbert ones, but we have not been able to find any such results in the existing literature, nor can we see any overwhelming physical reason for their implementation.

This work was, largely, performed when the author was a faculty member at the Weill Cornell Medicine-Qatar.

The author declares no conflict of interest.

- Pettini, M. Geometry and Topology in Hamiltonian Dynamics and Statistical Mechanics. In Interdisciplinary Applied Mathematics; Springer: New York, NY, USA, 2007; Volume 33. [Google Scholar]
- Kriegl, A.; Michor, P.W. The Convenient Setting of Global Analysis. In Mathematical Surveys and Monographs; American Mathematical Society: Providence, RI, USA, 1997; Volume 53. [Google Scholar]
- Corichi, A.; Rubalcava-García, I.; Vukašinac, T. Actions, topological terms and boundaries in first order gravity: A review. Int. J. Mod. Phys. D
**2016**, 25, 1630011. [Google Scholar] [CrossRef] - Kar, A.; Rajeev, S.G. A Non-Riemannian Metric on Space-Time Emergent from Scalar Quantum Field Theory. Phys. Rev. D
**2012**, 86, 065022. [Google Scholar] [CrossRef] - Sorkin, R.D. Is the spacetime metric Euclidean rather than Lorentzian? In Recent Research in Quantum Gravity; Dasgupta, A., Ed.; Nova Science Publishers Inc.: New York, NY, USA, 2013. [Google Scholar]
- Bojowald, M. Canonical Relativity and the Dimensionality of the World. In Relativity and the Dimensionality of the World; Petkov, V., Ed.; Springer: New York, NY, USA, 2007; pp. 137–152. [Google Scholar]
- Nawarajan, D.; Visser, M. Global properties of physically interesting Lorentzian spacetimes. arXiv, 2016; arXiv:1601.03355. [Google Scholar]
- Gibbons, G.W.; Ishibashi, A. Convex Functions and Spacetime Geometry. Class. Quant. Grav.
**2001**, 18, 4607–4628. [Google Scholar] [CrossRef] - Rudin, W. Functional Analysis, 2nd ed.; McGraw-Hill Inc.: New York, NY, USA, 1991. [Google Scholar]
- Lieb, E.H.; Loss, M. Analysis, 2nd ed.; American Mathematical Society: Providence, RI, USA, 2001. [Google Scholar]
- Hájek, P.; Santalucía, V.M.; Vanderwerff, J.; Zizler, V. Biorthogonal Systems in Banach Spaces; Springer: New York, NY, USA, 2008. [Google Scholar]
- Simon, B. The classical moment problem as a self-adjoint finite difference operator. Adv. Math.
**1998**, 137, 82–203. [Google Scholar] [CrossRef] - Weinstein, A. The local structure of Poisson manifolds. J. Diff. Geom.
**1983**, 18, 523–557. [Google Scholar] - Klauder, J. Enhanced quantum procedures that resolve difficult problems. Rev. Math. Phys.
**2015**, 27, 1530002. [Google Scholar] [CrossRef] - Tsallis, C. Introduction to Nonextensive Statistical Mechanics: Approaching a Complex World; Springer: New York, NY, USA, 2009. [Google Scholar]
- Kaniadakis, G. Theoretical Foundations and Mathematical Formalism of the Power-Law Tailed Statistical Distributions. Entropy
**2013**, 15, 3983–4010. [Google Scholar] [CrossRef] - Roe, J. Lectures on Coarse Geometry; American Mathematical Society: Providence, RI, USA, 2003. [Google Scholar]
- Bridson, M.R.; Haefliger, A. Metric Spaces of Non-Positive Curvature; Springer: Berlin, Germany, 1999. [Google Scholar]
- Gromov, M. Hyperbolic Groups. In Essays in Group Theory; Gesten, S.M., Ed.; Springer: New York, NY, USA, 1987; pp. 75–264. [Google Scholar]
- Katok, A.; Hasselblatt, B. Introduction to the Modern Theory of Dynamical Systems; Cambridge University Press: Cambridge, UK, 1995. [Google Scholar]
- Heinonen, J. Nonsmooth calculus. Bull. Amer. Math. Soc.
**2007**, 44, 163–232. [Google Scholar] [CrossRef] - Cheeger, J. Differentiability of Lipschitz functions on metric measure spaces. Geom. Funct. Anal.
**1999**, 9, 428–517. [Google Scholar] [CrossRef] - Keith, S. A differentiable structure for metric measure spaces. Adv. Math.
**2004**, 183, 271–315. [Google Scholar] [CrossRef] - Cheeger, J.; Kleiner, B. Differentiability of Lipschitz maps from metric measure spaces to Banach spaces with the Radon-Nikodým property. Geom. Funct. Anal.
**2009**, 19, 1017–1028. [Google Scholar] [CrossRef] - Bate, D. Structure of measures in Lipschitz differentiability spaces. J. Amer. Math. Soc.
**2015**, 28, 412–482. [Google Scholar] [CrossRef] - Cheeger, J.; Kleiner, B.; Schioppa, A. Infinitesimal structure of differentiability spaces, and metric differentiation. arXiv, 2016; arXiv:1503.07348. [Google Scholar]
- James, R.C. Some self-dual properties of normed linear spaces. In Symposium on Infinite Dimensional Topology, 1967; Princeton University Press: Princeton, NJ, USA, 1972; pp. 159–175. [Google Scholar]
- Maurey, B. Type, Cotype and K-convexity. In Handbook of the Geometry of Banach Spaces; Johnson, W.B., Lindenstrauss, J., Eds.; Elsevier Science B.V.: Amsterdam, The Netherlands, 2003; pp. 1299–1332. [Google Scholar]
- Amir, D. Characterizations of Inner Product Spaces; Springer: Basel, Switzerland, 1986. [Google Scholar]
- Lindenstrauss, J.; Tzafriri, L. Classical Banach Spaces I and II; Reprint of the 1977 and 1979 Editions; Springer: Berlin, Germany, 1996. [Google Scholar]
- Benyamini, Y.; Lindenstrauss, J. Geometric Nonlinear Functional Analysis; American Mathematical Society: Providence, RI, USA, 2000. [Google Scholar]
- Rockafellar, R.T. Convex Analysis; Princeton University Press: Princeton, NJ, USA, 1970. [Google Scholar]
- Verpoort, S. The Geometry of the Second Fundamental form: Curvature Properties and Variational Aspects. Ph.D. Thesis, Katholieke Universiteit Leuven, Leuven, Belgium, May 2008. [Google Scholar]
- Bishop, R. Infinitesimal convexity implies local convexity. Ind. Univ. Math. J.
**1974/1975**, 24, 168–172. [Google Scholar] [CrossRef] - Chruściel, P.T.; Galloway, G.J.; Pollack, D. Mathematical general relativity: A sampler. Bull. Amer. Math. Soc.
**2010**, 47, 567–638. [Google Scholar] [CrossRef] - Parikh, M. Two Roads to the Null Energy Condition. Int. J. Mod. Phys. D
**2015**, 24, 1544030. [Google Scholar] [CrossRef] - Cordero-Erausquin, D.; McCann, R.J.; Schmuckenschläger, M. A Riemannian interpolation inequality à la Borell, Brascamp and Lieb. Invent. Math.
**2001**, 146, 219–257. [Google Scholar] [CrossRef] - Fuster, E.L. Moduli and Constants: ... what a show! Available online: http://www.uv.es/llorens/Documento.pdf (accessed on 5 November 2016).
- Clarkson, J.A. Uniformly convex spaces. Trans. Amer. Math. Soc.
**1936**, 40, 394–414. [Google Scholar] [CrossRef] - Day, M.M. Uniform convexity in factor and conjugate spaces. Ann. Math.
**1944**, 45, 375–385. [Google Scholar] [CrossRef] - Gromov, M. Sign and geometric meaning of curvature. Rend. Mat. Sem. Mat. Fis. Milano Milan J. Math.
**1991**, 61, 9–123. [Google Scholar] [CrossRef] - Goebel, K. Convexity of balls and fixed point theorems for mapping with nonexpansive maps. Comp. Math.
**1970**, 22, 269–274. [Google Scholar] - Milman, D.P. On some criteria for the regularity of spaces of the type (B). Dokl. Acad. Nauk. SSSR
**1938**, 20, 243–246. [Google Scholar] - Pettis, B.J. A proof that every uniformly convex space is reflexive. Duke Math. J.
**1939**, 5, 249–253. [Google Scholar] [CrossRef] - Enflo, P. Banach spaces which can be given an equivalent uniformly convex norm. Israel J. Math.
**1972**, 13, 281–288. [Google Scholar] [CrossRef] - James, R.C. Super-reflexive Banach spaces. Can. J. Math.
**1972**, 24, 896–904. [Google Scholar] [CrossRef] - Hanche-Olsen, H. On the uniform convexity of L
^{p}. Proc. Amer. Math. Soc.**2006**, 134, 2359–2362. [Google Scholar] [CrossRef] - Hanner, O. On the uniform convexity of L
^{p}and l^{p}. Arkiv. Mat.**1956**, 3, 239–244. [Google Scholar] [CrossRef] - Ball, K.; Carlen, E.A.; Lieb, E.H. Sharp uniform convexity and smoothness inequalities for trace norms. Invent. Math.
**1994**, 115, 463–482. [Google Scholar] [CrossRef] - Nordlander, G. The modulus of convexity in normed linear spaces. Arkiv. Mat.
**1960**, 4, 15–17. [Google Scholar] [CrossRef] - Day, M.M. Some characterizations of inner product spaces. Trans. Amer. Math. Soc.
**1947**, 62, 320–337. [Google Scholar] [CrossRef] - Schoenberg, I.J. A remark on M.M. Day’s characterization of inner product spaces and a conjecture of L.M. Blumenthal. Proc. Amer. Math. Soc.
**1952**, 3, 961–964. [Google Scholar] - Figiel, T. On the moduli of convexity and smoothness. Stud. Math.
**1976**, 56, 121–155. [Google Scholar] - Grigorchuk, R.; Pak, I. Groups of intermediate growth, an introduction. L’Enseign. Math.
**2008**, 54, 251–272. [Google Scholar] - Kalogeropoulos, N. Tsallis entropy composition and the Heisenberg group. Int. J. Geom. Methods Mod. Phys.
**2013**, 10, 1350032. [Google Scholar] [CrossRef] - Kalogeropoulos, N. Groups, non-additive entropy and phase transitions. Int. J. Mod. Phys. B
**2014**, 28, 1450162. [Google Scholar] [CrossRef] - Scott, P. The geometries of 3-manifolds. Bull. London Math. Soc.
**1983**, 15, 401–487. [Google Scholar] [CrossRef] - Lindenstrauss, J. On the modulus of smoothness and divergent series in Banach spaces. Mich. Math. J.
**1963**, 10, 241–252. [Google Scholar] [CrossRef] - Asplund, E. Averaged norms. Israel J. Math.
**1967**, 5, 227–233. [Google Scholar] [CrossRef] - Kwapień, S. Isomorphic characterizations of inner product spaces by orthogonal series with vector valued coefficients. Stud. Math.
**1972**, 44, 583–595. [Google Scholar] - Kahane, J.P. Some Random Series of Functions, 2nd ed.; Cambridge University Press: Cambridge, UK, 1985. [Google Scholar]
- Milman, V.D.; Schechtman, G. Asymptotic Theory of Finite Dimensional Normed Spaces; Springer: Berlin, Germany, 1986. [Google Scholar]
- Figiel, T.; Pisier, G. Séries aléatoires dans les espaces uniformément convexes ou uniformément lisses. C. R. Acad. Sci. Paris Ser. A
**1974**, 279, 611–614. [Google Scholar] - Artstein-Avidan, S.; Milman, V. The concept of duality in convex analysis, and the characterization of the Legendre transform. Ann. Math.
**2009**, 169, 661–674. [Google Scholar] [CrossRef] - Lanczos, C. The Variational Principles of Mechanics, 4th ed.; University Toronto Press: Toronto, ON, Canada, 1970. [Google Scholar]
- Zinn-Justin, J. Quantum Field Theory and Critical Phenomena, 3rd ed.; Oxford University Press: Oxford, UK, 1996. [Google Scholar]
- Dirac, P.A.M. The Lagrangian in Quantum Mechanics. In Physikalische Zeitschrift der Sowjetunion; Charkow, Technischer staatsverlag: Charkow, Ukraine, 1933; pp. 64–72. [Google Scholar]
- Ambjørn, J.; Görlich, A.; Jurkiewicz, J.; Loll, R. CDT and the Search for a Theory of Quantum Gravity. arXiv, 2013; arXiv:1305.6680. [Google Scholar]
- Veltman, M.J.G. Quantum Theory of Gravitation. In Methods in Field Theory, Proceedings of the Les Houches Summer School of Theoretical Physics, Session 28, 28 July–6 September 1975; Balian, R., Zinn-Justin, J., Eds.; North Holland Publisher: Amsterdam, The Netherlands, 1981. [Google Scholar]
- Villani, C. Synthetic Theory of Ricci Curvature Bounds, Takagi Lectures 2015. Jpn. J. Math.
**2016**, 11, 219–263. [Google Scholar] [CrossRef] - Burago, D.; Burago, Y.; Ivanov, S. A Course in Metric Geometry; American Mathematical Society: Providence, RI, USA, 2001. [Google Scholar]
- Laskin, N. Fractional Quantum Mechanics. Phys. Rev. E
**2000**, 62, 3135–3145. [Google Scholar] [CrossRef] - Tarasov, V.E. Fractional Dynamics: Applications of Fractional Calculus to Dynamics of Particles, Fields and Media; Springer: New York, NY, USA, 2011. [Google Scholar]
- Calgagni, G. Geometry and field theory in multi-fractional spacetime. J. High Energy Phys.
**2012**, 2012, 65. [Google Scholar] [CrossRef] - Ashtekar, A.; Lewandowski, J. Background Independent Quantum Gravity: A Status Report. Class. Quant. Grav.
**2004**, 21, R53. [Google Scholar] [CrossRef] - Beem, J.K.; Ehrlich, P.E.; Easley, K.L. Global Lorentzian Geometry, 2nd ed.; Marcel Dekker Inc.: New York, NY, USA, 1996. [Google Scholar]
- Minguzzi, E.; Sánchez, M. The causal hierarchy of spacetimes. In Recent Developments in Pseudo-Riemannian Geometry; Alekseevsky, D.V., Baum, H., Eds.; ESI Lectures in Mathematics and Physics; European Mathematical Society: Zürich, Switzerland, 2008; pp. 299–358. [Google Scholar]

© 2017 by the author. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license ( http://creativecommons.org/licenses/by/4.0/).