scispace - formally typeset
Search or ask a question

Showing papers on "Space (mathematics) published in 2015"


Journal ArticleDOI
TL;DR: In this article, the authors present a mathematical framework which underlies the connection between information theory and the bulk spacetime in the AdS3/CFT2 correspondence, and explain how basic geometric concepts -points, distances and angles - are reflected in kinematic space, allowing one to reconstruct a large class of spatial bulk geometries from boundary entan-gate entropies.
Abstract: We present a mathematical framework which underlies the connection be- tween information theory and the bulk spacetime in the AdS3/CFT2 correspondence. A key concept is kinematic space: an auxiliary Lorentzian geometry whose metric is defined in terms of conditional mutual informations and which organizes the entanglement pattern of a CFT state. When the field theory has a holographic dual obeying the Ryu-Takayanagi proposal, kinematic space has a direct geometric meaning: it is the space of bulk geodesics studied in integral geometry. Lengths of bulk curves are computed by kinematic volumes, giving a precise entropic interpretation of the length of any bulk curve. We explain how basic geometric concepts - points, distances and angles - are reflected in kinematic space, allowing one to reconstruct a large class of spatial bulk geometries from boundary entan- glement entropies. In this way, kinematic space translates between information theoretic and geometric descriptions of a CFT state. As an example, we discuss in detail the static slice of AdS3 whose kinematic space is two-dimensional de Sitter space.

258 citations


Journal ArticleDOI
TL;DR: In this paper, the effect of time evolution on galaxy bias was studied and it was shown that the galaxy density contrast can be expressed in terms of a finite set of locally measurable operators made of spatial and temporal derivatives of the Newtonian potential.
Abstract: We study the effect of time evolution on galaxy bias. We argue that at any order in perturbations, the galaxy density contrast can be expressed in terms of a finite set of locally measurable operators made of spatial and temporal derivatives of the Newtonian potential. This is checked in an explicit third order calculation. There is a systematic way to derive a basis for these operators. This basis spans a larger space than the expansion in gravitational and velocity potentials usually employed, although new operators only appear at fourth order. The basis is argued to be closed under renormalization. Most of the arguments also apply to the structure of the counter-terms in the effective theory of large-scale structure.

159 citations


Journal ArticleDOI
TL;DR: In this article, the authors considered nonlinear diffusive evolution equations posed on bounded space domains, governed by fractional Laplace-type operators, and involving porous medium type nonlinearities, and established existence and uniqueness results in a suitable class of solutions using the theory of maximal monotone operators on dual spaces.
Abstract: We consider nonlinear diffusive evolution equations posed on bounded space domains, governed by fractional Laplace-type operators, and involving porous medium type nonlinearities. We establish existence and uniqueness results in a suitable class of solutions using the theory of maximal monotone operators on dual spaces. Then we describe the long-time asymptotics in terms of separate-variables solutions of the friendly giant type. As a by-product, we obtain an existence and uniqueness result for semilinear elliptic non local equations with sub-linear nonlinearities. The Appendix contains a review of the theory of fractional Sobolev spaces and of the interpolation theory that are used in the rest of the paper.

141 citations


Journal ArticleDOI
TL;DR: In this paper, the authors introduce a new type of boundary for a CAT(0) space, called the contracting boundary, made up of rays satisfying one of five hyperbolic-like properties.
Abstract: As demonstrated by Croke and Kleiner, the visual boundary of a CAT(0) group is not well-defined since quasi-isometric CAT(0) spaces can have non-homeomorphic boundaries. We introduce a new type of boundary for a CAT(0) space, called the contracting boundary, made up rays satisfying one of five hyperbolic-like properties. We prove that these properties are all equivalent and that the contracting boundary is a quasi-isometry invariant. We use this invariant to distinguish the quasi-isometry classes of certain right-angled Coxeter groups.

139 citations


Journal ArticleDOI
TL;DR: In this article, it was shown that the (K, N ) -cone over some metric measure space satisfies the reduced Riemannian curvature dimension condition RCD ⁎ ( K N, N + 1 ) if and only if the underlying space satisfies RCD ( N − 1, N ).

133 citations


Journal ArticleDOI
TL;DR: In this paper, different Finsler metrics on the space of smooth Kahler potentials were introduced to induce a natural geometry on various finite energy classes, motivated by questions raised by R. Berman, V. Guedj and Y. Rubinstein.

124 citations


Journal ArticleDOI
TL;DR: In this paper, a unified result about existence and upper semi-continuity for a family of bi-spatial random attractors is obtained if a family is convergent, uniformly absorbing in an initial space and uniformly omega-compact in both initial and terminate spaces.

121 citations


Journal ArticleDOI
TL;DR: In this article, a generalized Karhunen-Loeve expansion (KLE) was used to reduce the dimension of design spaces in shape optimization problems, while retaining a desired level of geometric variance.

117 citations


Book
03 Nov 2015
TL;DR: In this paper, the authors present a survey of real and complex submanifolds of real space forms in Lie Sphere Geometry and Hopf Hypersurfaces in Quaternionic Space Forms.
Abstract: Preface.- 1. Introduction.- 2. Submanifolds of Real Space Forms.- 3. Isoparametric Hypersurfaces.- 4. Submanifolds in Lie Sphere Geometry.- 5. Dupin Hypersurfaces.- 6. Real Hypersurfaces in Complex Space Forms.- 7. Complex Submanifolds of CPn and CHn.- 8. Hopf Hypersurfaces.- 9. Hypersurfaces in Quaternionic Space Forms.- Appendix A. Summary of Notation.- References.- Index.

111 citations


Journal ArticleDOI
TL;DR: In this paper, the authors obtained the global existence of small data solutions to the Cauchy problem in space dimension n, where n is the number of nodes in the input space.
Abstract: In this paper, we obtain the global existence of small data solutions to the Cauchy problem utt−Δu+μ1+tut=|u|pu(0,x)=u0(x),ut(0,x)=u1(x) in space dimension n ≥ 1, for p > 1 + 2 ∕ n, where μ is sufficiently large. We obtain estimates for the solution and its energy with the same decay rate of the linear problem. In particular, for μ ≥ 2 + n, the damping term is effective with respect to the L1 − L2 low-frequency estimates for the solution and its energy. In this case, we may prove global existence in any space dimension n ≥ 3, by assuming smallness of the initial data in some weighted energy space. In space dimension n = 1,2, we only assume smallness of the data in some Sobolev spaces, and we introduce an approach based on fractional Sobolev embedding to improve the threshold for global existence to μ ≥ 5 ∕ 3 in space dimension n = 1 and to μ ≥ 3 in space dimension n = 2. Copyright © 2014 John Wiley & Sons, Ltd.

109 citations


Journal ArticleDOI
TL;DR: In this article, the authors describe the observed light-baryon spectrum by extending superconformal quantum mechanics to the light front and its embedding in AdS space, which uniquely determines the confinement potential for arbitrary half-integer spin.
Abstract: We describe the observed light-baryon spectrum by extending superconformal quantum mechanics to the light front and its embedding in AdS space. This procedure uniquely determines the confinement potential for arbitrary half-integer spin. To this end, we show that fermionic wave equations in AdS space are dual to light-front supersymmetric quantum-mechanical bound-state equations in physical space-time. The specific breaking of conformal invariance explains hadronic properties common to light mesons and baryons, such as the observed mass pattern in the radial and orbital excitations, from the spectrum generating algebra. Lastly, the holographic embedding in AdS also explains distinctive and systematic features, such as the spin-J degeneracy for states with the same orbital angular momentum, observed in the light-baryon spectrum.

Journal ArticleDOI
TL;DR: In this article, the authors study massive gravity in the presence of Born-Infeld nonlinear electrodynamics and obtain metric functions related to this gravity and investigate the geometry of the solutions.
Abstract: In this paper, we study massive gravity in the presence of Born-Infeld nonlinear electrodynamics. First, we obtain metric function related to this gravity and investigate the geometry of the solutions and find that there is an essential singularity at the origin ($r=0$). It will be shown that due to contribution of the massive part, the number, types and places of horizons may be changed. Next, we calculate the conserved and thermodynamic quantities and check the validation of the first law of thermodynamics. We also investigate thermal stability of these black holes in context of canonical ensemble. It will be shown that number, type and place of phase transition points are functions of different parameters which lead to dependency of stability conditions to these parameters. Also, it will be shown how the behavior of temperature is modified due to extension of massive gravity and strong nonlinearity parameter. Next, critical behavior of the system in extended phase space by considering cosmological constant as pressure is investigated. A study regarding neutral Einstein-massive gravity in context of extended phase space is done. Geometrical approach is employed to study the thermodynamical behavior of the system in context of heat capacity and extended phase space. It will be shown that GTs, heat capacity and extended phase space have consistent results. Finally, critical behavior of the system is investigated through use of another method. It will be pointed out that the results of this method is in agreement with other methods and follow the concepts of ordinary thermodynamics.

Journal ArticleDOI
TL;DR: In this paper, the authors prove weak-strong uniqueness in the class of admissible measure-valued solutions for the isentropic Euler equations in any space dimension and for the Savage-Hutter model of granular flows in one and two space dimensions.
Abstract: We prove weak-strong uniqueness in the class of admissible measure-valued solutions for the isentropic Euler equations in any space dimension and for the Savage–Hutter model of granular flows in one and two space dimensions. For the latter system, we also show the complete dissipation of momentum in finite time, thus rigorously justifying an assumption that has been made in the engineering and numerical literature.

Journal ArticleDOI
TL;DR: A new notion of distance on the space of finite and nonnegative measures on $\Omega \subset {\mathbb R}^d$, which is called the Hellinger--Kantorovich distance, which can be seen as an inf-convolution of the well-known Kantorovich--Wasserstein distance and the Helleder-Kakutani distance.
Abstract: We discuss a new notion of distance on the space of finite and nonnegative measures which can be seen as a generalization of the well-known Kantorovich-Wasserstein distance. The new distance is based on a dynamical formulation given by an Onsager operator that is the sum of a Wasserstein diffusion part and an additional reaction part describing the generation and absorption of mass. We present a full characterization of the distance and its properties. In fact the distance can be equivalently described by an optimal transport problem on the cone space over the underlying metric space. We give a construction of geodesic curves and discuss their properties.

Journal ArticleDOI
TL;DR: In this paper, a worldsheet theory that describes maps into a curved target space equipped with a B-field and dilaton is presented, and conditions for the theory to be consistent at the quantum level can be computed exactly, and are that the target space fields obey the nonlinear d = 10 supergravity equations of motion.
Abstract: We present a worldsheet theory that describes maps into a curved target space equipped with a B-field and dilaton. The conditions for the theory to be consistent at the quantum level can be computed exactly, and are that the target space fields obey the nonlinear d = 10 supergravity equations of motion, with no higher curvature terms. The path integral is constrained to obey a generalization of the scattering equations to curved space. Remarkably, the supergravity field equations emerge as quantum corrections to these curved space scattering equations.

Journal ArticleDOI
TL;DR: A general scaling relation is derived for the anomalous Hall effect in ferromagnetic metals involving multiple competing scattering mechanisms, described by a quadratic hypersurface in the space spanned by the partial resistivities.
Abstract: We derive a general scaling relation for the anomalous Hall effect in ferromagnetic metals involving multiple competing scattering mechanisms, described by a quadratic hypersurface in the space spanned by the partial resistivities. We also present experimental findings, which show strong deviation from previously found scaling forms when different scattering mechanisms compete in strength but can be nicely explained by our theory.

Posted Content
TL;DR: In this article, a new optimal transport distance between nonnegative finite Radon measures with possibly different masses is introduced based on non-conservative continuity equations and a corresponding modified Benamou-Brenier formula.
Abstract: We introduce a new optimal transport distance between nonnegative finite Radon measures with possibly different masses. The construction is based on non-conservative continuity equations and a corresponding modified Benamou-Brenier formula. We establish various topological and geometrical properties of the resulting metric space, derive some formal Riemannian structure, and develop differential calculus following F. Otto's approach. Finally, we apply these ideas to identify an ideal free distribution model of population dynamics as a gradient flow and obtain new long-time convergence results.

Journal ArticleDOI
TL;DR: In this article, the authors considered the stability of the kink for odd perturbations of the initial data in the energy space and showed that it is orbitally stable with respect to small perturbation.
Abstract: We consider a classical equation known as the $\phi^4$ model in one space dimension. The kink, defined by $H(x)=\tanh(x/{\sqrt{2}})$, is an explicit stationary solution of this model. From a result of Henry, Perez and Wreszinski it is known that the kink is orbitally stable with respect to small perturbations of the initial data in the energy space. In this paper we show asymptotic stability of the kink for odd perturbations in the energy space. The proof is based on Virial-type estimates partly inspired from previous works of Martel and Merle on asymptotic stability of solitons for the generalized Korteweg-de Vries equations. However, this approach has to be adapted to additional difficulties, pointed out by Soffer and Weinstein in the case of general Klein-Gordon equations with potential: the interactions of the so-called internal oscillation mode with the radiation, and the different rates of decay of these two components of the solution in large time.

Journal ArticleDOI
TL;DR: In this paper, the authors carry out the construction of ill-posed multiplicative stochastic heat equations on unbounded domains by adapting the theory of regularity structures to the setting of weighted Besov spaces.
Abstract: We carry out the construction of some ill-posed multiplicative stochastic heat equations on unbounded domains. The two main equations our result covers are, on the one hand the parabolic Anderson model on $\mathbf{R}^3$, and on the other hand the KPZ equation on $\mathbf{R}$ via the Cole-Hopf transform. To perform these constructions, we adapt the theory of regularity structures to the setting of weighted Besov spaces. One particular feature of our construction is that it allows one to start both equations from a Dirac mass at the initial time.

Journal ArticleDOI
TL;DR: In this paper, the functional integral of supergravity in asymptotically AdS 2 space for a class of black holes is derived from the Kloosterman sums, which correspond to charge-dependent phases arising from the various gauge and gravitational Chern-Simons terms and boundary Wilson lines evaluated on Dehn-filled solid 2-torus.
Abstract: Non-perturbative quantum corrections to supersymmetric black hole entropy often involve nontrivial number-theoretic phases called Kloosterman sums. We show how these sums can be obtained naturally from the functional integral of supergravity in asymptotically AdS 2 space for a class of black holes. They are essentially topological in origin and correspond to charge-dependent phases arising from the various gauge and gravitational Chern-Simons terms and boundary Wilson lines evaluated on Dehn-filled solid 2-torus. These corrections are essential to obtain an integer from supergravity in agreement with the quantum degeneracies, and reveal an intriguing connection between topology, number theory, and quantum gravity. We give an assessment of the current understanding of quantum entropy of black holes.

Journal ArticleDOI
TL;DR: Cross-diffusion-driven instability conditions are derived and it is shown that it is no longer necessary to enforce that one of the species diffuse much faster than the other, allowing experimentalists to have a wider range of parameter spaces from which to select reaction kinetic parameter values that will give rise to spatial patterning in the presence of cross-diffusions.
Abstract: By introducing linear cross-diffusion for a two-component reaction-diffusion system with activator-depleted reaction kinetics (Gierer and Meinhardt, Kybernetik 12:30-39, 1972 ; Prigogine and Lefever, J Chem Phys 48:1695-1700, 1968 ; Schnakenberg, J Theor Biol 81:389-400, 1979), we derive cross-diffusion-driven instability conditions and show that they are a generalisation of the classical diffusion-driven instability conditions in the absence of cross-diffusion. Our most revealing result is that, in contrast to the classical reaction-diffusion systems without cross-diffusion, it is no longer necessary to enforce that one of the species diffuse much faster than the other. Furthermore, it is no longer necessary to have an activator-inhibitor mechanism as premises for pattern formation, activator-activator, inhibitor-inhibitor reaction kinetics as well as short-range inhibition and long-range activation all have the potential of giving rise to cross-diffusion-driven instability. To support our theoretical findings, we compute cross-diffusion induced parameter spaces and demonstrate similarities and differences to those obtained using standard reaction-diffusion theory. Finite element numerical simulations on planary square domains are presented to back-up theoretical predictions. For the numerical simulations presented, we choose parameter values from and outside the classical Turing diffusively-driven instability space; outside, these are chosen to belong to cross-diffusively-driven instability parameter spaces. Our numerical experiments validate our theoretical predictions that parameter spaces induced by cross-diffusion in both the (Formula presented.) and (Formula presented.) components of the reaction-diffusion system are substantially larger and different from those without cross-diffusion. Furthermore, the parameter spaces without cross-diffusion are sub-spaces of the cross-diffusion induced parameter spaces. Our results allow experimentalists to have a wider range of parameter spaces from which to select reaction kinetic parameter values that will give rise to spatial patterning in the presence of cross-diffusion.

Journal ArticleDOI
TL;DR: In this article, it was shown that the Levy-Gromov isoperimetric inequality holds for non-smooth metric measure spaces with Ricci curvature lower bounds.
Abstract: We prove that if $(X,\mathsf{d},\mathfrak{m})$ is a metric measure space with $\mathfrak{m}(X)=1$ having (in a synthetic sense) Ricci curvature bounded from below by $K>0$ and dimension bounded above by $N\in [1,\infty)$, then the classic Levy-Gromov isoperimetric inequality (together with the recent sharpening counterparts proved in the smooth setting by E. Milman for any $K\in \mathbb{R}$, $N\geq 1$ and upper diameter bounds) hold, i.e. the isoperimetric profile function of $(X,\mathsf{d},\mathfrak{m})$ is bounded from below by the isoperimetric profile of the model space. Moreover, if equality is attained for some volume $v \in (0,1)$ and $K$ is strictly positive, then the space must be a spherical suspension and in this case we completely classify the isoperimetric regions. Finally we also establish the almost rigidity: if the equality is almost attained for some volume $v \in (0,1)$ and $K$ is strictly positive, then the space must be mGH close to a spherical suspension. To our knowledge this is the first result about isoperimetric comparison for non smooth metric measure spaces satisfying Ricci curvature lower bounds. Examples of spaces fitting our assumptions include measured Gromov-Hausdorff limits of Riemannian manifolds satisfying Ricci curvature lower bounds and Alexandrov spaces with curvature bounded from below; the result seems new even in these celebrated classes of spaces.

Journal ArticleDOI
TL;DR: This paper investigates the computational geometry relevant to calculations of the Frechet mean and variance for probability distributions on the phylogenetic tree space of Billera, Holmes and Vogtmann, using the theory of probability measures on spaces of nonpositive curvature developed by Sturm.

Journal ArticleDOI
TL;DR: In this article, a generalization of vector calculus for non-integer dimensional space by using a product measure method is proposed, which takes into account the anisotropy of the fractal media in the framework of continuum models.
Abstract: A review of different approaches to describe anisotropic fractal media is proposed. In this paper differentiation and integration non-integer dimensional and multi-fractional spaces are considered as tools to describe anisotropic fractal materials and media. We suggest a generalization of vector calculus for non-integer dimensional space by using a product measure method. The product of fractional and non-integer dimensional spaces allows us to take into account the anisotropy of the fractal media in the framework of continuum models. The integration over non-integer-dimensional spaces is considered. In this paper differential operators of first and second orders for fractional space and non-integer dimensional space are suggested. The differential operators are defined as inverse operations to integration in spaces with non-integer dimensions. Non-integer dimensional space that is product of spaces with different dimensions allows us to give continuum models for anisotropic type of the media. The Poisson's equation for fractal medium, the Euler-Bernoulli fractal beam, and the Timoshenko beam equations for fractal material are considered as examples of application of suggested generalization of vector calculus for anisotropic fractal materials and media.

Journal ArticleDOI
TL;DR: The theory of regularity structures as discussed by the authors unifies the theory of (controlled) rough paths with the usual theory of Taylor expansions and allows to treat situations where the underlying space is multidimensional.
Abstract: We give a short introduction to the main concepts of the general theory of regularity structures. This theory unifies the theory of (controlled) rough paths with the usual theory of Taylor expansions and allows to treat situations where the underlying space is multidimensional.

Journal ArticleDOI
TL;DR: In this paper, a simple construction of the solution to the continuum parabolic Anderson model on the unbounded space is proposed, which does not rely on any elaborate arguments and makes extensive use of the linearity of the equation, and a logarithmic renormalisation is required to counterbalance the divergent product appearing in the equation.
Abstract: We propose a simple construction of the solution to the continuum parabolic Anderson model on $\mathbf{R}^2$ which does not rely on any elaborate arguments and makes extensive use of the linearity of the equation. A logarithmic renormalisation is required to counterbalance the divergent product appearing in the equation. Furthermore, we use time-dependent weights in our spaces of distributions in order to construct the solution on the unbounded space $\mathbf{R}^2$.

Journal ArticleDOI
TL;DR: In this article, the authors considered the small data problem for the cubic nonlinear Schrodinger equation (NLS) in one space dimension and short range modifications of it, and provided a new, simpler approach in order to prove that global solutions exist for data which is small in H 0, 1.
Abstract: This article is concerned with the small data problem for the cubic nonlinear Schrodinger equation (NLS) in one space dimension, and short range modifications of it. We provide a new, simpler approach in order to prove that global solutions exist for data which is small in H0,1. In the same setting we also discuss the related problems of obtaining a modified scattering expansion for the solution, as well as asymptotic completeness.

Journal ArticleDOI
TL;DR: In this article, a sigma model for trace anomalies is proposed, whose target space M is the space of conformal field theories (a.k.a. the conformal manifold).
Abstract: The two-point function of exactly marginal operators leads to a universal contribution to the trace anomaly in even dimensions. We study aspects of this trace anomaly, emphasizing its interpretation as a sigma model, whose target space M is the space of conformal field theories (a.k.a. the conformal manifold). When the underlying quantum field theory is supersymmetric, this sigma model has to be appropriately supersymmetrized. As examples, we consider in some detail N=(2,2) and N=(0,2) supersymmetric theories in d=2 and N=2 supersymmetric theories in d=4. This reasoning leads to new information about the conformal manifolds of these theories, for example, we show that the manifold is Kahler-Hodge and we further argue that it has vanishing Kahler class. For N=(2,2) theories in d=2 and N=2 theories in d=4 we also show that the relation between the sphere partition function and the Kahler potential of M follows immediately from the appropriate sigma models that we construct. Along the way we find several examples of potential trace anomalies that obey the Wess-Zumino consistency conditions, but can be ruled out by a more detailed analysis.

Journal ArticleDOI
Hayato Chiba1
TL;DR: In this paper, a spectral theory on a space of generalized functions is developed with the aid of a rigged Hilbert space to avoid the continuous spectrum on the imaginary axis, which is used to prove the bifurcation diagram of the model conjectured by Kuramoto in 1984.
Abstract: The Kuramoto model is a system of ordinary differential equations for describing synchronization phenomena defined as coupled phase oscillators. In this paper, a bifurcation structure of the infinite-dimensional Kuramoto model is investigated. A purpose here is to prove the bifurcation diagram of the model conjectured by Kuramoto in 1984; if the coupling strength , a non-trivial stable solution, which corresponds to the synchronization, bifurcates from the de-synchronous state. One of the difficulties in proving the conjecture is that a certain non-selfadjoint linear operator, which defines a linear part of the Kuramoto model, has the continuous spectrum on the imaginary axis. Hence, the standard spectral theory is not applicable to prove a bifurcation as well as the asymptotic stability of the steady state. In this paper, the spectral theory on a space of generalized functions is developed with the aid of a rigged Hilbert space to avoid the continuous spectrum on the imaginary axis. Although the linear operator has an unbounded continuous spectrum on a Hilbert space, it is shown that it admits a spectral decomposition consisting of a countable number of eigenfunctions on a space of generalized functions. The semigroup generated by the linear operator will be estimated with the aid of the spectral theory on a rigged Hilbert space to prove the linear stability of the steady state of the system. The center manifold theory is also developed on a space of generalized functions. It is proved that there exists a finite-dimensional center manifold on a space of generalized functions, while a center manifold on a Hilbert space is of infinite dimension because of the continuous spectrum on the imaginary axis. These results are applied to the stability and bifurcation theory of the Kuramoto model to obtain a bifurcation diagram conjectured by Kuramoto.

Journal ArticleDOI
TL;DR: In this article, a family of stable mixed finite elements for the linear elasticity on tetrahedral grids is constructed, where the stress is approximated by symmetric H(div)-P petertodd k−1 polynomial tensors and the displacement is estimated by C� −1-P�k€ p€ 1 polynomials, for all k ⩽ 4.
Abstract: A family of stable mixed finite elements for the linear elasticity on tetrahedral grids are constructed, where the stress is approximated by symmetric H(div)-P k polynomial tensors and the displacement is approximated by C −1-P k−1 polynomial vectors, for all k ⩽ 4. The main ingredients for the analysis are a new basis of the space of symmetric matrices, an intrinsic H(div) bubble function space on each element, and a new technique for establishing the discrete inf-sup condition. In particular, they enable us to prove that the divergence space of the H(div) bubble function space is identical to the orthogonal complement space of the rigid motion space with respect to the vector-valued P k−1 polynomial space on each tetrahedron. The optimal error estimate is proved, verified by numerical examples.