Orientation Asymmetric Surface Model for Membranes: Finsler Geometry Modeling

TL;DR

This paper introduces a Finsler geometry-based discrete surface model for membranes, allowing non-Euclidean metrics and capturing orientation asymmetries, which may better represent real physical membranes.

Contribution

It demonstrates that Finsler geometry enables well-defined discrete membrane models with nontrivial metrics and highlights their orientation asymmetry, a novel feature for membrane modeling.

Findings

Discrete Finsler geometry model is well-defined for membranes with non-Euclidean metrics.

The model exhibits orientation asymmetry on invertible surfaces.

Potential advantage for modeling real membranes with asymmetries.

Abstract

We study triangulated surface models with nontrivial surface metrices for membranes. The surface model is defined by a mapping ${\bf r}$ from a two dimensional parameter space $M$ to the three dimensional Euclidean space ${\bf R}^3$. The metric variable $g_{ab}$, which is always fixed to the Euclidean metric $\delta_{ab}$, can be extended to a more general non-Euclidean metric on $M$ in the continuous model. The problem we focus on in this paper is whether such an extension is well-defined or not in the discrete model. We find that a discrete surface model with nontrivial metric becomes well-defined if it is treated in the context of Finsler geometry (FG) modeling, where triangle edge length in $M$ depends on the direction. It is also shown that the discrete FG model is orientation assymetric on invertible surfaces in general, and for this reason, the FG model has a potential advantage for describing real physical membranes, which are expected to have some assymetries for orientation changing transformations.

Equations

$$\begin{array}{rl}& S=S_1+\kappa S_2,\\ & S_1=\int \sqrt{g}{d}^{2}x{g}^{ab}\frac{\partial \mathbf{r}}{\partial x_a}\cdot \frac{\partial \mathbf{r}}{\partial x_b},\\ & S_2=\frac{1}{2}\int \sqrt{g}{d}^{2}x{g}^{ab}\frac{\partial \mathbf{n}}{\partial x_a}\cdot \frac{\partial \mathbf{n}}{\partial x_b},\end{array}$$

$${\mathbf{r}}_i\to -{\mathbf{r}}_i(\mathrm{for}\mathrm{all}i),$$

$$g_{ab}=\left(\begin{array}[]{@{\,}cc}1/\rho_{\it\Delta}&0\\ 0&\rho_{\it\Delta}\end{array}\\ \right),\quad\rho_{\it\Delta}>0,\quad({\rm on}\;{\it\Delta}_{L}).$$

$$\begin{array}{rl}& \int \sqrt{g}{d}^{2}x\to \sum _{\Delta },\\ & \frac{\partial \mathbf{r}}{\partial x_1}\to {\mathbf{r}}_2-{\mathbf{r}}_1,\frac{\partial \mathbf{r}}{\partial x_2}\to {\mathbf{r}}_3-{\mathbf{r}}_1,\\ & \frac{\partial \mathbf{n}}{\partial x_1}\to {\mathbf{n}}_0-{\mathbf{n}}_2,\frac{\partial \mathbf{n}}{\partial x_2}\to {\mathbf{n}}_0-{\mathbf{n}}_3,\end{array}$$

$$\begin{array}{rl}& S_1=\sum _{\Delta }{S}_1\left(\Delta \right)=\sum _{\Delta }\left(\rho {\ell }_{12}^2+\frac{1}{\rho }{\ell }_{13}^2\right),\\ & S_2=\sum _{\Delta }{S}_2\left(\Delta \right)=\sum _{\Delta }\left[\rho \left(1-{\mathbf{n}}_0\cdot {\mathbf{n}}_2\right)+\frac{1}{\rho }\left(1-{\mathbf{n}}_0\cdot {\mathbf{n}}_3\right)\right],\end{array}$$

$$\begin{array}{rl}& S_1=\frac{1}{3}\sum _{\Delta }\left[\left({\rho }_1+\frac{1}{{\rho }_2}\right){\ell }_{12}^2+\left({\rho }_2+\frac{1}{{\rho }_3}\right){\ell }_{23}^2+\left({\rho }_3+\frac{1}{{\rho }_1}\right){\ell }_{31}^2\right],\\ & S_2=\frac{1}{3}\sum _{\Delta }[\left({\rho }_2+\frac{1}{{\rho }_1}\right)\left(1-{\mathbf{n}}_0\cdot {\mathbf{n}}_3\right)+\left({\rho }_3+\frac{1}{{\rho }_2}\right)\left(1-{\mathbf{n}}_0\cdot {\mathbf{n}}_1\right)\\ & +\left({\rho }_1+\frac{1}{{\rho }_3}\right)\left(1-{\mathbf{n}}_0\cdot {\mathbf{n}}_2\right)],\end{array}$$

$$\begin{array}{rl}& S_1({\Delta }_L^{+})=\left({\rho }_1^{+}+1/{\rho }_2^{+}\right){\ell }_{12}^2+\cdots ,\\ & S_1({\Delta }_L^{-})=\left({\rho }_2^{-}+1/{\rho }_1^{-}\right){\ell }_{12}^2+\cdots ,\\ & S_2({\Delta }_L^{+})=\left({\rho }_2^{+}+1/{\rho }_1^{+}\right)\left(1-{\mathbf{n}}^{+}\cdot {\mathbf{n}}^{-}\right)+\cdots ,\\ & S_2({\Delta }_L^{-})=\left({\rho }_1^{-}+1/{\rho }_2^{-}\right)\left(1-{\mathbf{n}}^{+}\cdot {\mathbf{n}}^{-}\right)+\cdots .\end{array}$$

$$\begin{array}{rl}& S_1=\sum _{ij}{\gamma }_{ij}{\ell }_{ij}^2,S_2=\sum _{ij}{\kappa }_{ij}\left(1-{\mathbf{n}}^{+}\cdot {\mathbf{n}}^{-}\right),\\ & {\gamma }_{ij}=\left({\gamma }_{ij}^{+}+{\gamma }_{ij}^{-}\right)/4,{\kappa }_{ij}=\left({\kappa }_{ij}^{+}+{\kappa }_{ij}^{-}\right)/4,\\ & {\gamma }_{ij}^{+}={\rho }_i^{+}+1/{\rho }_j^{+},{\kappa }_{ij}^{+}={\rho }_j^{+}+1/{\rho }_i^{+},(\mathrm{on}{\Delta }_L^{+}),\\ & {\gamma }_{ij}^{-}={\rho }_j^{-}+1/{\rho }_i^{-},{\kappa }_{ij}^{-}={\rho }_i^{-}+1/{\rho }_j^{-},(\mathrm{on}{\Delta }_L^{-}),\end{array}$$

$$\begin{array}{rl}& Z(\lambda ,\kappa )=\sum _{\sigma }\sum _{\mathcal{T}}{\int }^{\prime }\prod _{i=1}^{N}d{\mathbf{r}}_i\exp \left[-S(\mathbf{r},\sigma )\right],\\ & S=\lambda S_0+S_1+\kappa S_2,S_0=\sum _{\pm }\left(1-{\sigma }^{+}\cdot {\sigma }^{-}\right),\left({\sigma }^{\pm }\in \{1,-1\}\right),\end{array}$$

$$\begin{array}{rl}& \sum _{\sigma }\sum _{\mathcal{T}}{\int }^{\prime }\prod _{i=1}^{N}d{\mathbf{r}}_i\exp \left[-S^{\prime }(\mathbf{r})\right]\\ =& {\alpha }^{3N-1}\sum _{\sigma }\sum _{\mathcal{T}}{\int }^{\prime }\prod _{i=1}^{N}d{\mathbf{r}}_i\exp \left[-\left(\lambda S_0+c{\alpha }^2{S}_1+\kappa S_2\right)\right]\\ =& c^{-(3N-1)/2}\sum _{\sigma }\sum _{\mathcal{T}}{\int }^{\prime }\prod _{i=1}^{N}d{\mathbf{r}}_i\exp \left[-\left(\lambda S_0+S_1+\kappa S_2\right)\right]\\ =& c^{-(3N-1)/2}\sum _{\sigma }\sum _{\mathcal{T}}{\int }^{\prime }\prod _{i=1}^{N}d{\mathbf{r}}_i\exp \left[-S(\mathbf{r})\right].\end{array}$$

$$\begin{array}{rl}& {\frac{\partial \log Z\left[S^{\prime }(\alpha \mathbf{r})\right]}{\partial \alpha }|}_{\alpha =1}\\ =& \frac{1}{Z}{\left[(3N-1){\alpha }^{3N-2}Z-2c{\alpha }^{3N}\sum _{\sigma }\sum _{\mathcal{T}}{\int }^{\prime }\prod _{i=1}^{N}d{\mathbf{r}}_i{S}_1\exp \left[-\left(\lambda S_0+c{\alpha }^2{S}_1+\kappa S_2\right)\right]\right]}_{\alpha =1}\\ =& (3N-1)-2c⟨S_1⟩=0\iff ⟨S_1⟩/N=3/(2c).\end{array}$$

$${\gamma }_{ij}=\mathrm{constant},{\kappa }_{ij}=\mathrm{constant},$$

$$L_{12}({\Delta }_L^{+})=(1/2)\left(1/{\rho }_1^{+}+{\rho }_2^{+}\right),L_{21}({\Delta }_L^{-})=(1/2)\left(1/{\rho }_2^{-}+{\rho }_1^{-}\right).$$

$${\bar{L}}_{12}({\Delta }_R^{-})=(1/2)\left(1/{\rho }_1^{-}+{\rho }_2^{-}\right),{\bar{L}}_{21}({\Delta }_R^{+})=(1/2)\left(1/{\rho }_2^{+}+{\rho }_1^{+}\right).$$

$$\begin{array}{rl}& L_{12}^{\prime }({\Delta }_L)=(1/2)\left(1/{\rho }_1^{+}+{\rho }_1^{-}\right),L_{21}^{\prime }({\Delta }_L)=(1/2)\left({\rho }_2^{+}+1/{\rho }_2^{-}\right),\\ & {\bar{L}}_{12}^{\prime }({\Delta }_R)=(1/2)\left({\rho }_1^{+}+1/{\rho }_1^{-}\right),{\bar{L}}_{21}^{\prime }({\Delta }_R)=(1/2)\left(1/{\rho }_2^{+}+{\rho }_2^{-}\right),\end{array}$$

$$1/{\rho }_1^{+}+{\rho }_2^{+}=1/{\rho }_2^{-}+{\rho }_1^{-},(\iff (A1)),$$

$${\rho }_1^{-}=1/{\rho }_1^{+},(\iff (A1)),$$

$$1/{\rho }_1^{+}={\rho }_1^{+},{\rho }_1^{-}=1/{\rho }_1^{-}(\iff (A2)),$$

$$1/{\rho }_1^{-}+{\rho }_2^{-}+1/{\rho }_2^{+}+{\rho }_1^{+}=1/{\rho }_2^{-}+{\rho }_1^{-}+1/{\rho }_1^{+}+{\rho }_2^{+}$$

$$g^{ab}=g_{ab}^{-1}=\left(\begin{array}[]{@{\,}cc}\rho&0\\ 0&1/\rho\end{array}\\ \right).$$

$$1/{\rho }_i+{\rho }_i=a(=\mathrm{const}),$$

$${\rho }_{\pm }=\frac{1}{2}\left(a\pm \sqrt{a^2-4}\right)$$

$$\displaystyle L_{{\it\Delta}_{L}}(x,y)=\left\{\begin{array}[]{@{\,}ll}y_{1}/v_{12}&({\rm on}\;x_{1}\;{\rm axis})\\ y_{2}/v_{13}&({\rm on}\;x_{2}\;{\rm axis})\end{array}\right.,\quad L_{{\it\Delta}_{R}}(x,y)=\left\{\begin{array}[]{@{\,}ll}y_{1}/v_{13}&({\rm on}\;x_{1}\;{\rm axis})\\ y_{2}/v_{12}&({\rm on}\;x_{2}\;{\rm axis})\end{array}\right.,$$

$$L_{{\Delta }_L}^2(x,y)=v_{12}^{-2}{y}_1^2+v_{13}^{-2}{y}_2^2,L_{{\Delta }_R}^2(x,y)=v_{13}^{-2}{y}_1^2+v_{12}^{-2}{y}_2^2.$$

$$g_{ab,L}(x)=\frac{1}{2}\frac{\partial L_{{\it\Delta}_{L}}^{2}(x,y)}{\partial y_{a}\partial y_{b}}=\left(\begin{array}[]{@{\,}cc}v_{12}^{-2}&0\\ 0&v_{13}^{-2}\end{array}\\ \right),\quad g_{ab,R}(x)=\frac{1}{2}\frac{\partial L_{{\it\Delta}_{R}}^{2}(x,y)}{\partial y_{a}\partial y_{b}}=\left(\begin{array}[]{@{\,}cc}v_{13}^{-2}&0\\ 0&v_{12}^{-2}\end{array}\\ \right).$$

$$\begin{array}{rl}& S_1=\sum _{\Delta }\left({\gamma }_{12}{\ell }_{12}^2+{\gamma }_{23}{\ell }_{23}^2+{\gamma }_{31}{\ell }_{31}^2\right),\\ & S_2=\sum _{\Delta }\left[{\kappa }_{12}\left(1-{\mathbf{n}}_0\cdot {\mathbf{n}}_3\right)+{\kappa }_{23}\left(1-{\mathbf{n}}_0\cdot {\mathbf{n}}_1\right)+{\kappa }_{31}\left(1-{\mathbf{n}}_0\cdot {\mathbf{n}}_2\right)\right],\\ & {\gamma }_{12}=\frac{v_{12}}{v_{13}}+\frac{v_{21}}{v_{23}},{\gamma }_{23}=\frac{v_{23}}{v_{21}}+\frac{v_{32}}{v_{31}},{\gamma }_{31}=\frac{v_{31}}{v_{32}}+\frac{v_{13}}{v_{12}},\\ & {\kappa }_{12}=\frac{v_{13}}{v_{12}}+\frac{v_{23}}{v_{21}},{\kappa }_{23}=\frac{v_{21}}{v_{23}}+\frac{v_{31}}{v_{32}},{\kappa }_{31}=\frac{v_{32}}{v_{31}}+\frac{v_{12}}{v_{13}}.\end{array}$$

$$\begin{array}{rl}& S=S_1+\kappa S_2,\\ & S_1=\frac{1}{4}\sum _{ij}\left({\gamma }_{ij}^{+}+{\gamma }_{ij}^{-}\right){\ell }_{ij}^2,S_2=\frac{1}{4}\sum _{ij}\left({\kappa }_{ij}^{+}+{\kappa }_{ij}^{-}\right)\left(1-{\mathbf{n}}^{+}\cdot {\mathbf{n}}^{-}\right),\\ & {\gamma }_{12}^{+}=\frac{v_{12}}{v_{13}}+\frac{v_{21}}{v_{23}},{\gamma }_{12}^{-}=\frac{v_{12}}{v_{14}}+\frac{v_{21}}{v_{24}},{\kappa }_{12}^{+}=\frac{v_{13}}{v_{12}}+\frac{v_{23}}{v_{21}},{\kappa }_{12}^{-}=\frac{v_{14}}{v_{12}}+\frac{v_{24}}{v_{21}},\end{array}$$

$$\begin{array}{rl}& v_{12}^{-2}=1/{\rho }_1^{+},v_{13}^{-2}={\rho }_1^{+},v_{23}^{-2}=1/{\rho }_2^{+},v_{21}^{-2}={\rho }_2^{+},v_{31}^{-2}=1/{\rho }_3^{+},v_{32}^{-2}={\rho }_3^{+},(\mathrm{on}{\Delta }_L^{+}),\\ & v_{12}^{-2}=1/{\rho }_1^{-},v_{14}^{-2}={\rho }_1^{-},v_{24}^{-2}=1/{\rho }_2^{-},v_{21}^{-2}={\rho }_2^{-},v_{41}^{-2}=1/{\rho }_3^{-},v_{42}^{-2}={\rho }_3^{-},(\mathrm{on}{\Delta }_L^{-}).\end{array}$$

$$\begin{array}{rl}& v_{12}^{-2}={\rho }_1^{+},v_{13}^{-2}=1/{\rho }_1^{+},v_{23}^{-2}={\rho }_2^{+},v_{21}^{-2}=1/{\rho }_2^{+},v_{31}^{-2}={\rho }_3^{+},v_{32}^{-2}=1/{\rho }_3^{+},(\mathrm{on}{\Delta }_R^{+}),\\ & v_{12}^{-2}={\rho }_1^{-},v_{14}^{-2}=1/{\rho }_1^{-},v_{24}^{-2}={\rho }_2^{-},v_{21}^{-2}=1/{\rho }_2^{-},v_{41}^{-2}={\rho }_3^{-},v_{42}^{-2}=1/{\rho }_3^{-},(\mathrm{on}{\Delta }_R^{-}).\end{array}$$

$$\begin{array}{rl}& {\gamma }_{12}^{+}={\rho }_1^{+}+1/{\rho }_2^{+},{\gamma }_{23}^{+}={\rho }_2^{+}+1/{\rho }_3^{+},{\gamma }_{31}^{+}={\rho }_3^{+}+1/{\rho }_1^{+},(\mathrm{on}{\Delta }_L^{+}),\\ & {\gamma }_{12}^{-}={\rho }_2^{-}+1/{\rho }_1^{-},{\gamma }_{23}^{-}={\rho }_3^{-}+1/{\rho }_2^{-},{\gamma }_{31}^{-}={\rho }_1^{-}+1/{\rho }_3^{-},(\mathrm{on}{\Delta }_L^{-}),\\ & {\kappa }_{12}^{+}={\rho }_2^{+}+1/{\rho }_1^{+},{\kappa }_{23}^{+}={\rho }_3^{+}+1/{\rho }_2^{+},{\kappa }_{31}^{+}={\rho }_1^{+}+1/{\rho }_3^{+},(\mathrm{on}{\Delta }_L^{+}),\\ & {\kappa }_{12}^{-}={\rho }_1^{-}+1/{\rho }_2^{-},{\kappa }_{23}^{+}={\rho }_2^{-}+1/{\rho }_3^{-},{\kappa }_{31}^{-}={\rho }_3^{-}+1/{\rho }_1^{-},(\mathrm{on}{\Delta }_L^{-}).\end{array}$$

$$\displaystyle\chi\left({\it\Delta}\right)=\left\{\begin{array}[]{@{\,}ll}1&({\it\Delta}={\it\Delta}_{L})\\ -1&({\it\Delta}={\it\Delta}_{R})\end{array}\right..$$

Full text

\articlenumber

x \doinum10.3390/—— \pubvolumexx

\historyReceived: date; Accepted: date; Published: date \TitleOrientation Asymmetric Surface Model for Membranes : Finsler Geometry Modeling

\AuthorEvgenii Proutorov 1 and Hiroshi Koibuchi 2 \AuthorNamesEvgenii Proutorov and Hiroshi Koibuchi

\corresCorrespondence: koibuchi@mech.ibaraki-ct.ac.jp; koibuchih@gmail.com \simplesummWe study triangulated surface models with nontrivial (=non-Euclidean) surface metrices for membranes. Our result shows that a nontrivial surface model is well-defined in the context of Finsler geometry modeling and the model is asymmetric under the surface inversion.

1 Introduction

Biological membranes including artificial ones such as giant vesicles are simply understood as two-dimensional surfaces NELSON-SMMS2004 . The well-known surface model for membranes is statistical mechanically defined by using a mapping ${\bf r}$ from a two-dimensional parameter space $M$ to ${\bf R}^{3}$ FDAVID-SMMS2004 . This mapping ${\bf r}$ and the metric $g_{ab}(a,b=1,2)$, a set of functions on $M$, are the dynamical variables of the model. To discretize these dynamical variables, we use triangulated surfaces in both $M$ and ${\bf R}^{3}$. On the discrete surfaces, the metric $g_{ab}$ is always fixed to the Euclidean metric $\delta_{ab}$ KANTOR-NELSON-PRA1987 ; Bowick-PREP2001 ; GOMPPER-KROLL-SMMS2004 , while the induced metric $\partial_{a}{\bf r}\cdot\partial_{b}{\bf r}$ is also used in theoretical studies on continuous surfaces FDAVID-SMMS2004 . These two-dimensional surface models are considered as a natural extension of one-dimensional polymer model Doi-Edwards-1986 , and a lot of studies for membranes have been conducted Lubensky-PRE-2003 ; HJHeermann-PRL2010 ; Lipowsky-SM2009 ; Noguchi-JPS2009 ; WIESE-PTCP19-2000 . Landau-Ginzburg theory for membranes has also been developed PKN-PRL1988 . In Ref. Koibuchi-Pol2016 , anisotropic morphologies of membranes are studied, and the notion of multi-component is found to be essential also for the metric function GJug-PM2004 .

However, it is still unclear whether non-Euclidean metric can be assumed or not for discrete models. In this paper, we study the metric $g_{ab}$ in Ref. Koibuchi-Pol2016 in more detail. We will show that models with the metric in Ref. Koibuchi-Pol2016 and their extension to a more general one are ill-defined in the ordinary surface modeling prescription, however, these ill-defined models turn to be well-defined in the context of Finsler geometry (FG) modeling Koibuchi-Sekino-2014PhysicaA ; George-Bogoslovsky-JGM2012 ; George-Bogoslovsky-PLA1998 ; Ootsuka-Tanaka-PLA2010 ; Matsumoto-SKB1975 ; Bao-Chern-Shen-GTM200 . Moreover, it is also shown that the FG model becomes orientation asymmetric, where ”orientation asymmetric” means that Hamiltonian is not invariant under the surface inversion Koibuchi-Pol2016 . In real physical membranes, the orientation asymmetry is observed because of their bilayer structure Seifert-PRE1994 . Indeed, asymmetry such as area difference between the outer and inner layers is expected to play an important role for anisotropic shape of membranes. Therefore, it is worth while to study the discrete surface model with non-trivial metric $g_{ab}$ more extensively.

We should note that there are two types of discrete surface models; the first is fixed connectivity (FC) model and the second is dynamically triangulated (DT) surface model. The FC surface model corresponds to polymerized membranes, while the DT surface model corresponds to fluid membranes such as bilayer vesicles. The polymerized and fluid membranes are characterized by nonzero and zero shear moduli, respectively. Numerically, the dynamical triangulation for the DT models is simulated by bond-flip technique as one of the Monte Carlo processes on triangulated lattices Ho-Baum-EPL1990 ; CATTERALL-PLB1989 ; Ambjorn-NPB1993 , while the FC surface models are defined on triangulated lattices without the bond flips. According to this classification, the discrete models in this paper belong to the DT surface models and correspond to fluid membranes, because the dynamical triangulation is assumed in the partition function, which will be defined in Section 3, just like in the model of Koibuchi-Pol2016 .

In Section 2, a continuous surface model and its basic properties are reviewed, and a non-Euclidean metric, which we study in this paper, is introduced. In Section 3, we discuss why orientation asymmetry needs to be studied, and then we introduce a discrete model on a triangulated spherical lattice and show that this discrete model is ill-defined in the ordinary context of surface modeling. In Section 4, we show that this ill-defined model can be understood as a well-defined FG model in a modeling which is slightly extended from the one in Ref. Koibuchi-Sekino-2014PhysicaA . In Section 5, we summarize the results.

2 Continuous surface model

In this paper, we study a surface model which is an extension of the Helfrich and Polyakov (HP) model HELFRICH-1973 ; POLYAKOV-NPB1986 . The HP model is physically defined by Hamiltonian $S$ which is a linear combination of the Gaussian bond potential $S_{1}$ and the bending energy $S_{2}$ such that

[TABLE]

where $\kappa[k_{B}T]$ is the bending rigidity ($k_{B}$ and $T$ are the Boltzmann constant and the temperature, respectively). The surface position is described by ${\bf r}(\in{\bf R}^{3})$, and $g_{ab}$ is a Riemannian metric on the two-dimensional surface $M$, $g^{ab}\left(=\!(g_{ab})^{-1}\right)$ is its inverse, and $g\!=\!\det g_{ab}$. Note that the surface position ${\bf r}$ is understood as a mapping ${\bf r}:M\ni x\!=\!(x_{1},x_{2})\mapsto\left(X(x),Y(x),Z(x)\right)\in{\bf R}^{3}$, where the surface orientation is assumed to be preserved. The symbol ${\bf n}$ in $S_{2}$ denotes a unit normal vector of the image surface, where one of two orientations is used to define ${\bf n}$.

It is well known that the Hamiltonian is invariant under (i) general coordinate transformation $x\!\to\!x^{\prime}$ in $M$ and (ii) conformal transformation for $g_{ab}$ such that $g_{ab}\!\to\!g_{ab}^{\prime}\!=\!f(x)g_{ab}$ with a positive function $f$ on $M$ FDAVID-SMMS2004 . The first property under the transformation (i), called re-parametrization invariance, is expressed by $S({\bf r}(x),g_{ab}(x))\!=\!S({\bf r}(x^{\prime}),g_{ab}(x^{\prime}))$, where ${\bf r}(x^{\prime})$ and $g_{ab}(x^{\prime})$ are composite functions. The second property under (ii) is expressed by $S({\bf r}(x),g_{ab}(x))\!=\!S({\bf r}(x),g_{ab}^{\prime}(x))$. The metrices $g_{ab}$ and $g^{\prime}_{ab}$ are called conformally equivalent, which is written as $g_{ab}\!\simeq\!g^{\prime}_{ab}$, if there exists a positive function $f$ such that $g^{\prime}_{ab}\!=\!fg_{ab}$. Therefore, the second property with respect to the transformation (ii) implies that $S$ depends only on conformally non-equivalent metrices.

The metric $g_{ab}$ of the surface $M$ is generally given by g_{ab}\!=\!\left(\begin{array}[]{@{\,}cc}E&F\\ F&G\end{array}\\ \right) with the functions of $E\!>\!0,\;G\!>\!0,EG\!-\!F^{2}\!>\!0$. By letting $F\!=\!0$, we have g_{ab}\!=\!\left(\begin{array}[]{@{\,}cc}E&0\\ 0&G\end{array}\\ \right)\!=\!E\left(\begin{array}[]{@{\,}cc}1&0\\ 0&G/E\end{array}\\ \right)\!\simeq\!\left(\begin{array}[]{@{\,}cc}1&0\\ 0&\rho^{2}\end{array}\\ \right)\!\simeq\!\left(\begin{array}[]{@{\,}cc}1/\rho&0\\ 0&\rho\end{array}\\ \right), where $\rho^{2}\!=\!G/E$ Koibuchi-Pol2016 . This metric is in general not conformally equivalent to the Euclidean metric $\delta_{ab}$. We call a metric $g_{ab}$ trivial (non-trivial) if $g_{ab}$ is conformally equivalent (inequivalent) to $\delta_{ab}$, although surface models with $g_{ab}\!=\!\delta_{ab}$ and $g_{ab}\!=\!\partial_{a}{\bf r}\cdot\partial_{b}{\bf r}$ are physically non-trivial Ho-Baum-EPL1990 ; CATTERALL-PLB1989 ; Ambjorn-NPB1993 ; DavidGuitter-1988EPL ; NISHIYAMA-PRE-2004 ; KD-PRE2002 ; Kownacki-Mouhanna-2009PRE ; Essa-Kow-Mouh-PRE2014 ; Cuerno-etal-2016 .

3 Discrete surface model

3.1 Membrane orientation

First, we should comment on the surface orientation. The unit normal vector ${\bf n}$ is directed from inside to outside of material separated from bulk material by membrane (see Fig. 1(a)). However, if the membrane self-intersects, then the direction of ${\bf n}$ changes from outside to inside (Fig. 1(b)). Otherwise ($\Leftrightarrow$ ${\bf n}$ is directed from inside to outside), ${\bf n}$ discontinuously changes at the intersection point. For this reason, we change the surface orientation by changing the local coordinate system from left-handed to right-handed while ${\bf n}$ remains unchanged (Fig. 1(b)). We should emphasize that our basic assumption is that the surface orientation is locally changeable. This means that the surface in ${\bf R}^{3}$ is self-intersecting, or in other words the surface is not self-avoiding.

However, such intersection process is not so easy to implement in the numerical simulations (no numerical simulation is performed in this paper). Apart from this, it is unclear whether or not the implementation of such intersection process is effective for simulating the membrane inversion. Therefore, we assume that the surface is locally invertible without intersections; an inversion is expected to occur independent of whether the surface is self-intersecting or not. Indeed, real physical membranes are composed of lipid molecules, which have hydrophobic and hydrophilic parts. These lipids form a bilayer structure (Fig. 1(c)). In those real membranes, the bilayer structure is partly inverted just as in Fig. 1(d) via the so-called flip-flop process. Such inversion process without intersection is not always unphysical because it can be seen in the process of pore formation. The pore formation process is reversible and forms cup-like membranes, where the membranes are not always self-intersecting Hotani-PNAS1998 . The cup-like membranes are stable Suezaki-JCPB2002 and expected to play an important role as an intermediate configuration for cell inversion. It should be remarked that the surface orientation is also changeable in the process of cell fission and fusion, where the surface self-intersects, in real physical membranes.

To define a discrete model, we use a piecewise-linearly triangulated surface in ${\bf R}^{3}$ KANTOR-NELSON-PRA1987 ; Bowick-PREP2001 ; GOMPPER-KROLL-SMMS2004 . In this paper, a spherical surface is assumed. Therefore, it is natural to assume that $M$ is also triangulated and of sphere topology. Triangles in $M$ can be smooth in general, and these smooth triangles are mapped to piecewise-linear triangles in ${\bf R}^{3}$ by ${\bf r}$ (see Figs. 2(a) and 2(b))). We should note that triangle ${\it\Delta}$ in $M$ has two different orientations. Let ${\it\Delta}_{L,R}$ denote the triangle that has the left-hand (right-hand) orientation, where $L(R)$ corresponds to the left-handed (right-handed) local coordinate system. The symbol ${\it\Delta}_{L}$ is used for non-inverted parts of the surface, while ${\it\Delta}_{R}$ is used for inverted parts shown in Fig. 1(d). The direction of ${\bf n}$ is defined to be dependent on the orientation of ${\it\Delta}_{L,R}$ as mentioned in the previous subsection (see Fig. 2(c)).

The surface inversion is given by

[TABLE]

for example. The problem is whether the inverted surface is stable or not. As we will see below, the energy of the inverted surface is different from that of the original surface in a non-Euclidean metric model. This non-Euclidean metric model becomes well-defined if it is treated as an FG model. In the FG modeling (not in the standard HP modeling), we assume that the surface is locally invertible as in Fig. 1(d), which can be defined by the change of local coordinate orientation. Thus, studies on the stability of inverted surfaces become feasible within the scope of FG modeling, although the transformation of variables ${\bf r}_{i}$ for this local inversion is not always given by Eq. (2); the vertex position remains unchanged under the change of triangle orientation.

3.2 Discretization of the model

In this subsection, the discretization of Hamiltonian in Eq. (1) is performed on the triangles ${\it\Delta}_{L}$ and their image triangles ${\bf r}\left({\it\Delta}_{L}\right)$. The function $\rho$ in $g_{ab}$ is defined on each triangle ${\it\Delta}$ in $M$ in the discrete model, and we denote the function $\rho$ on ${\it\Delta}$ by $\rho_{\it\Delta}$. Thus, the discrete metric defined on triangle ${\it\Delta}$ is given by

[TABLE]

By replacing the integral and partial derivatives in $S_{1}$ and $S_{2}$ with the sum over triangles ${\it\Delta}$ and differences, respectively, such that

[TABLE]

we have the discrete expressions $g^{11}({\bf r}_{2}\!-\!{\bf r}_{1})^{2}\!+\!g^{22}({\bf r}_{3}\!-\!{\bf r}_{1})^{2}$ and $g^{11}({\bf n}_{0}\!-\!{\bf n}_{2})^{2}\!+\!g^{22}({\bf n}_{0}\!-\!{\bf n}_{3})^{2}$ corresponding to the discrete energies $g^{ij}({\partial{\bf r}}/{\partial x_{i}})\cdot({\partial{\bf r}}/{\partial x_{j}})$ and $g^{ij}({\partial{\bf n}}/{\partial x_{i}})\cdot({\partial{\bf n}}/{\partial x_{j}})$ of $S_{1}$ and $S_{2}$ on triangle ${\it\Delta}$, where the local coordinate origin is assumed at vertex $1$ (see Fig. 2(b)). Thus, the corresponding discrete expressions of $S_{1}$ and $S_{2}$ are given by

[TABLE]

where $\ell_{ij}=|\vec{\ell}_{ij}|=|{\bf r}_{j}-{\bf r}_{i}|$. The index $i$ of ${\bf n}_{i}$ in this $S_{2}$ represents a triangle (see Fig. 2(b)). Since the coordinate origin can also be assumed at vertices $2$ and $3$ on triangle ${\it\Delta}$, we have three possible discrete expressions including those in Eq. (5) for $g^{ij}({\partial{\bf r}}/{\partial x_{i}})\cdot({\partial{\bf r}}/{\partial x_{j}})$ and $g^{ij}({\partial{\bf n}}/{\partial x_{i}})\cdot({\partial{\bf n}}/{\partial x_{j}})$. Thus, we have:

[TABLE]

where the factor $1/3$ is assumed. In the expressions, the suffix $i$ of $\rho_{i}$ denotes the coordinate origin. The reason why the function $\rho$ depends on the coordinate origin is that $\rho$ is an element of $2\times 2$ matrix $g_{ab}$, which depends on local coordinates in general.

The expressions for $S_{1}$ and $S_{2}$ in Eqs. (5) and (6) correspond to those for ${\it\Delta}_{L}$. In Eq. (6), the sum over triangles $\sum_{\it\Delta}$ in $S_{1}$ and $S_{2}$ can be replaced by sum over bonds $\sum_{ij}$. In this replacement, we should remind ourselves of the fact that the first terms of $S_{1}$ and $S_{2}$ in (6) are respectively replaced by $\left(\rho^{+}_{1}\!+\!{1}/{\rho^{+}_{2}}\!+\!\rho^{-}_{2}\!+\!{1}/{\rho^{-}_{1}}\right)\ell_{12}^{2}$ and $\left(\rho^{+}_{2}\!+\!{1}/{\rho^{+}_{1}}\!+\!\rho^{-}_{1}\!+\!{1}/{\rho^{-}_{2}}\right)\left(1\!-\!{\bf n}^{+}\cdot{\bf n}^{-}\right)$. In these expressions, $\rho^{\pm}_{i}$ denotes the function $\rho$ on the triangles ${\it\Delta}^{\pm}_{L}$, where the coordinate origin is at vertex $i$ (see Fig. 2(d)), and ${\bf n}^{\pm}$ denote ${\bf n}$ for triangles ${\it\Delta}^{\pm}_{L}$. The coefficient of $\ell_{12}^{2}$ is different from that of $\left(1\!-\!{\bf n}^{+}\cdot{\bf n}^{-}\right)$, and these coefficients come from the following expressions:

[TABLE]

Thus, we have

[TABLE]

where the factor $1/3$ is replaced by $1/4$ in the final expressions of $S_{1}$ and $S_{2}$. The indices $ij$ of $\gamma_{ij}$ and $\kappa_{ij}$ simply denote vertices $i$ and $j$. We should note that $\gamma_{ij}\!=\!\kappa_{ji}$ and $\gamma_{ij}\!\not=\!\kappa_{ij}$ in general in Eq. (8) as mentioned above.

The partition function $Z$ and Hamiltonian $S$ of the model, we start with in this paper, are defined by

[TABLE]

where Ising model energy $S_{0}$ with the coefficient $\lambda$ is included in $S$. This is a surface model for multi-component membranes Koibuchi-Pol2016 . The sum $\sum_{\pm}$ in $S_{0}$ denotes the sum over all nearest neighbor triangles $+$ and $-$, and $\sigma^{\pm}$ denotes that $\sigma$ is defined on the triangles ${\it\Delta}^{\pm}_{L}$. The variable $\sigma$ is an element of ${\bf Z}_{2}\!=\!\{1,-1\}$, however, $S_{0}$ (and $\sigma$) is not always limited to Ising type Hamiltonian. The variable $\sigma^{\pm}$ is introduced to represent the components A and B such as liquid-ordered and liquid-disordered phases Koibuchi-Pol2016 . If $\sigma^{+}\!=\!1(-1)$ on triangle ${\it\Delta}^{+}$, this triangle ${\it\Delta}^{+}$ is understood such that it belongs to or is occupied by the component A (B) for example. The value of $\sigma$ on each triangle ${\it\Delta}$ remains unchanged, however, the energy $S_{0}$ does not remain constant because the combination of nearest neighbor pairs of triangles ${\it\Delta}^{\pm}$ changes due to the triangle diffusion, which is actually expected on dynamically triangulated surfaces Koibuchi-Pol2016 . In the model of Ref. Koibuchi-Pol2016 , the function $\rho_{i}^{+}$ is independent of vertex $i$ and depends only on triangle ${\it\Delta}^{+}$, and therefore the value of $\rho^{+}$ is uniquely determined only by $\sigma^{+}$ if the dependence of $\rho^{+}$ on $\sigma^{+}$ is fixed. As a consequence, the metric $g_{ab}$ is determined by the internal variable $\sigma$. In the model of Eq. (9), the dependence of $\rho_{i}^{+}$ on $\sigma^{+}$ is not explicitly specified, because this dependence of $\rho$ on $\sigma$ is in general independent of the well definedness of discrete surface models with non-Euclidean metric, and this well definedness is the main target in this paper.

In $Z$, $\sum_{\sigma}$ and $\sum_{\mathcal{T}}$ denote the sum over all possible configurations of $\sigma$ and triangulations ${\mathcal{T}}$, respectively. The sum over triangulation $\sum_{\mathcal{T}}$ can be simulated by the bond flips in MC simulations, and therefore the model is grouped into the fluid surface models as mentioned in the Introduction. The symbol ${\mathcal{T}}$ in $\sum_{\mathcal{T}}$ denotes the triangulation, which is assumed as one of the dynamical variables of the discrete fluid model. This means that a variable ${\mathcal{T}}$ corresponds to a triangulated lattice configuration. Therefore, the lattice configurations in the parameter space $M$ are determined by ${\mathcal{T}}$. On the other hand a lattice configuration corresponding to a given ${\mathcal{T}}$ is originally considered as an ingredient of a set of local coordinate systems; two different ${\mathcal{T}}$s correspond to two inequivalent coordinates which are not transformed to each other by any coordinate transformation. Recalling that the continuous Hamiltonian is invariant under general coordinated transformations, we can chose an arbitrary coordinate such as orthogonal coordinate for each triangle of a given ${\mathcal{T}}$. However, from the Polyakov’s string theoretical point of view, the partition function is defined by the sum over all possible metrices $\int{\mathcal{D}}g$ in addition to the sum over all possible mappings $\int{\mathcal{D}}{\bf r}$. Since the metric $g$ depends on coordinates, $\int{\mathcal{D}}g$ is considered to be corresponding to the sum over local coordinates, which is simulated by $\sum_{\mathcal{T}}$ in the discrete models. Therefore, from these intuitive discussions, the Euclidean metric, for example, is forbidden in a fluid model on triangulated lattices without DT; this Euclidean metric model without DT is simply a FC model for polymerized membranes, where the surface inversion is not expected.

The symbol $\int^{\prime}\prod_{i=1}^{N}d{\bf r}_{i}$ denotes $3(N-1)$-dimensional integrations in ${\bf R}^{3}$ under the condition that the center of mass of the surface is fixed to the origin of ${\bf R}^{3}$. The Hamiltonian $S$ has the unit of energy $[k_{B}T]$. The coefficient $\kappa[k_{B}T]$ of $S_{2}$ is the bending rigidity.

Here, we comment on the property called scale invariance of the model WHEATER-JP1994 . This comes from the fact that the integration of ${\bf r}$ in $Z$ is independent of the scale transformation such that ${\bf r\!}\to\!\alpha{\bf r}$ for arbitrary positive $\alpha\!\in\!{\bf R}$. This property is expressed by $Z(\{{\bf r}\})\!=\!Z(\{\alpha{\bf r}\})$, and therefore, for Hamiltonian $S^{\prime}\!=\!\lambda S_{0}\!+\!cS_{1}\!+\!\kappa S_{2}$, we have

[TABLE]

In the second line of Eq. (10), we assume $\alpha\!=\!1/\sqrt{c}$, and then in the third line we have $S^{\prime}(\alpha{\bf r})\!=\!\lambda S_{0}\!+\!S_{1}\!+\!\kappa S_{2}$ because $S_{0}$ and $S_{2}$ are scale independent and $S_{1}(\alpha{\bf r})\!=\!\alpha^{2}S_{1}({\bf r})$. Thus, from the fact that the partition function is independent of multiplicative constant, we find that the model with $S^{\prime}\!=\!\lambda S_{0}\!+\!cS_{1}\!+\!\kappa S_{2}$ is equivalent to the model with $S\!=\!\lambda S_{0}\!+\!S_{1}\!+\!\kappa S_{2}$. "Equivalent" means that the shape of surface is independent of the value of $c(\!>\!0)$ although the surface size depends on $c$ in general. The dependence of surface size on $c$ is also understood from the scale invariant property of $Z$. Indeed, it follows from $Z(\{{\bf r}\})\!=\!Z(\{\alpha{\bf r}\})$ that $\partial Z(\{\alpha{\bf r}\})/\partial\alpha|_{\alpha=1}\!=\!0$, and therefore we have WHEATER-JP1994

[TABLE]

This final equation implies that the mean bond length squares $\langle\ell_{ij}^{2}\rangle$ depends on $c$, because $S_{1}$ is given by $S_{1}\!=\!\sum_{ij}\gamma_{ij}\ell_{ij}^{2}$ where $\gamma_{ij}$ is independent of $c$. For a specialized case that $\gamma_{ij}$=constant, $\langle S_{1}\rangle$ becomes proportional to $\langle\ell_{ij}^{2}\rangle$. On the other hand, the mean bond length squares in general represent the surface size for smooth surfaces, which are expected for sufficiently large $\kappa$.

We should note that the model studied in Ref. Koibuchi-Pol2016 for a two-component membrane is obtained from the model of Eqs. (8) and (9) by the assumption that $\rho^{\pm}_{i}$ is independent of the local coordinate origin $i$ and depends only on triangles ${\it\Delta}^{\pm}$. In this case, the model is orientation symmetric, and therefore the lower suffices $L,R$ for the orientation of triangles ${\it\Delta}_{L,R}$ are not necessary. Then, we have $\gamma_{ij}\!=\!\kappa_{ij}\!=\!({1}/{4})\left(\rho^{+}\!+\!{1}/{\rho^{+}}\!+\!\rho^{-}\!+\!{1}/{\rho^{-}}\right)$, where $+$ and $-$ are the two neighboring triangles of bond $ij$ which links vertices $i$ and $j$. Thus, $\gamma_{ij}$ (and $\kappa_{ij}$) defined on bond $ij$ depends only on $\rho^{\pm}$ of the two neighboring triangles in the model of Ref. Koibuchi-Pol2016 . For this reason, the configuration (or distribution) of $\rho$ on the surface remains unchanged if the triangulation is fixed. However, the model is defined on dynamically triangulated lattices, which allow not only vertices but also triangles to diffuse freely over the surface Ho-Baum-EPL1990 ; CATTERALL-PLB1989 ; Ambjorn-NPB1993 . This free diffusion of triangles changes the distribution of $\rho$ and hence $\gamma_{ij}$ and $\kappa_{ij}$. Moreover, $\sigma(\in{\bf Z}_{2})$ is assigned on triangles (not on vertices) such that the value of $\rho^{\pm}$ on each triangle is determined by $\sigma^{\pm}(\in{\bf Z}_{2})$. As a consequence, the corresponding energy $S_{0}\!=\!\sum_{\pm}\left(1\!-\!\sigma^{+}\cdot\sigma^{-}\right)$ becomes dependent on the distribution of $\rho$, or in other words, the distribution of $\gamma_{ij}$ and $\kappa_{ij}$ is determined by the energy $S_{0}$. This is an outline of the model in Ref. Koibuchi-Pol2016 .

In this paper, $\rho^{\pm}_{i}$ depends on not only triangles ${\it\Delta}^{\pm}$ but also the local coordinate origin $i$ in contrast to that of the model in Ref. Koibuchi-Pol2016 . We should note that the relation between $\rho^{\pm}$ and $\sigma^{\pm}$ is not explicitly specified. Although the model is not determined without the explicit relation, the following discussions in this paper are independent of this relation.

3.3 Well-defined model

We start with the definition of trivial (non-trivial) model for a discrete surface model. {Definition} Let us assume that Hamiltonian $S$ of a discrete surface model is given by Eq. (8). Then, this discrete model is called trivial (non-trivial) if the following conditions are (not) satisfied:

[TABLE]

where the constants are independent of bond $ij$, and these constants are not necessarily be the same.

We assume $\lambda\!=\!0$ in $S$ of Eq. (8) for simplicity. We should note that a model with $S^{\prime}\!=\!c_{1}S_{1}\!+\!\kappa c_{2}S_{2}$, for arbitrary coefficients $c_{1}$ and $c_{2}$, is identical to the model defined by $S\!=\!S_{1}\!+\!\kappa^{\prime}S_{2}$ with $\kappa^{\prime}\!=\!\kappa c_{2}$. Indeed, because of the scale invariance of $Z$ discussed in the previous subsection using Eq. (10), the coefficient $c_{1}$ of $S_{1}$ in $S^{\prime}$ can be replaced by $1$. Thus, we have $S^{\prime}\!=\!S_{1}\!+\!\kappa^{\prime}S_{2}$.

If the metric is conformally equivalent to Euclidean metric, then the model is trivial. In this sense, this definition for trivial (non-trivial) model is an extension of the definition by the terminology conformally equivalent for $g_{ab}$ discussed in Section 3.1. However, there exists a metric, that is conformally non-equivalent to $\delta_{ab}$ while it makes the model trivial. An example of such metric is g_{ab}\!=\!\left(\begin{array}[]{@{\,}cc}2/(3\!+\!\sqrt{5})&0\\ 0&(3\!+\!\sqrt{5})/2\end{array}\\ \right), and more detailed information will be given below (in Remark 2).

Next, we introduce the notion of direction dependent length $L_{ij}$ (and $L_{ji}$) of bond $ij$, which is shared by two triangles, in the discrete model. Let ${\it\Delta}^{\pm}_{L}$ be the two nearest neighbor triangles of bond $12$ on $M$ (Fig.3(a)). The length $L_{12}({\it\Delta}^{+}_{L})$ of bond $12$ is defined by $L_{12}({\it\Delta}^{+}_{L})\!=\!\int dx_{1}1/\rho^{+}_{1}\!=\!1/\rho^{+}_{1}$, where $1/\rho^{+}_{1}$ is the element $g_{11}$ of the metric $g_{ab}$ on ${\it\Delta}^{+}_{L}$ where the local coordinate origin is at vertex $1$; the symbol ${\it\Delta}^{+}_{L}$ in $L_{12}({\it\Delta}^{+}_{L})$ denotes that $L_{12}$ is defined by $g_{ab}$ on triangle ${\it\Delta}^{+}_{L}$. It is also possible to define $L_{12}({\it\Delta}^{+}_{L})$ by $L_{12}({\it\Delta}^{+}_{L})\!=\!\int dx_{2}(\rho^{+}_{2})\!=\!\rho^{+}_{2}$, where $\rho^{+}_{2}$ is the element $g_{22}$ on ${\it\Delta}^{+}_{L}$ where the local coordinate origin is at vertex $2$. Thus, $L_{12}({\it\Delta}^{+}_{L})$ is defined by the mean value of these two lengths, and the length $L_{21}({\it\Delta}^{-}_{L})$ of bond $12$ is also defined with exactly same manner. Then, we have

[TABLE]

These two lengths are different from each other in their expressions, and therefore it appears that the bond length is dependent on its direction. For the inverted surface (shown in Fig.3(b)), we also have the two different lengths

[TABLE]

It is also possible to define the lengths of bond $12$ as follows:

[TABLE]

where $L_{12}^{\prime}$ and $L_{21}^{\prime}$ ($\bar{L}_{12}^{\prime}$ and $\bar{L}_{21}^{\prime}$) correspond to those in Eq. (13) (Eq. (14)). The following discussions remain unchanged if $L_{12}^{\prime}$, $L_{21}^{\prime}$ and $\bar{L}_{12}^{\prime}$, $\bar{L}_{21}^{\prime}$ are assumed as the definition of bond lengths. For this reason, we use only the expressions in Eq. (13) and Eq. (14) for bond lengths in the discussions below.

Now, let us introduce the notion of well-defined model. {Definition} A discrete surface model is called well-defined if the following conditions are satisfied:

1. (A1)

Any bond length is independent of its direction 2. (A2)

Any bond length is independent of surface orientation 3. (A3)

Any triangle area is independent of surface orientation

We should note that these constraints (A1)–(A3) are not imposed on Finsler geometry models, which will be introduced in the following section. Using Eqs. (13) and (14), we rewrite the first and second conditions (A1) and (A2) such that

[TABLE]

The condition (A3) is always satisfied because of the fact that $\det g_{ab}\!=\!1$ for the metric function in Eq. (3). Note that the constraint (A1) is imposed only on triangles $({\it\Delta}_{L}$, and the equation corresponding to (A1) on triangles $({\it\Delta}_{L}$ is not independent of the three equations in Eqs. (17) and (17).

If we use the following definition for the bond length consistency for every vertex:

[TABLE]

then we have $\rho^{+}_{1}=\rho^{-}_{1}=1$ (vertex $1$ for simplicity). In this case, we have a trivial model because $g_{ab}\!=\!\delta_{ab}$.

The discrete expression of the induced metric $g_{ab}\!=\!\partial_{a}{\bf r}\cdot\partial_{b}{\bf r}$ is given by g_{ab}\!=\!\left(\begin{array}[]{@{\,}cc}\ell_{12}^{2}&\vec{\ell}_{12}\cdot\vec{\ell}_{13}\\ \vec{\ell}_{12}\cdot\vec{\ell}_{13}&\ell_{13}^{2}\end{array}\\ \right), which is defined on triangle $123$ in ${\bf R}^{3}$ with the local coordinate origin is at ${\bf r}_{1}$ (see Fig.2(b)). This $g_{ab}$ is not of the form \left(\begin{array}[]{@{\,}cc}E&0\\ 0&G\end{array}\\ \right), and for this reason the induced metric model is out of the scope of Definition 1. However, it is easy to see that the induced metric model satisfies (A1)–(A3). Indeed, the bond length of this model is just the Euclidean length of bond $12$ in ${\bf R}^{3}$. Other conditions are also easy to confirm.

3.4 Orientation symmetric model

The discrete model is defined by Hamiltonian in Eq. (8), where $g_{ab}$ is a coordinate dependent metric. Therefore, the Hamiltonian depends on the local coordinates on $M$, and it also depends on the orientation of $M$. For this reason, we define the notion of orientation symmetric/asymmetric model defined on surfaces with ${\it\Delta}_{L}$. This simply means that Hamiltonian of Eq. (8) can be used for a model in which the partition function allows the surface inversion process. Indeed, a property of the model corresponding to symmetries in Hamiltonian can be discussed without referencing the partition function in general. Thus, Hamiltonian is called orientation symmetric if it is invariant under the surface inversion in Eq. (2), for example, for any configuration of ${\bf r}$, and we also have: {Definition} A discrete surface model is called orientation symmetric if the Hamiltonian is orientation symmetric.

In the Hamiltonian of Eq. (8), the quantities $\gamma_{ij}$ and $\kappa_{ij}$ in $S_{1}$ and $S_{2}$ depend on the surface orientation. Thus, the condition for that the Hamiltonian is orientation symmetric is as follows:

[TABLE]

for all bonds $12$ and ${\it\Delta}^{\pm}$. Indeed, the Gaussian bond potential $S_{1}(\ell_{12})$ of bond $12$ is given by $S_{1}(\ell_{12})\!=\!(1/4)\left(1/\rho^{-}_{1}\!+\!\rho^{-}_{2}\!+\!1/\rho^{+}_{2}\!+\!\rho^{+}_{1}\right)\ell_{12}^{2}$ (Fig.4(a)), while on the inverted triangles the corresponding quantity $\bar{S}_{1}(\ell_{12})$ is given by $\bar{S}_{1}(\ell_{12})\!=\!(1/4)\left(1/\rho^{-}_{2}\!+\!\rho^{-}_{1}\!+\!1/\rho^{+}_{1}\!+\!\rho^{+}_{2}\right)\ell_{12}^{2}$. These $S_{1}(\ell_{12})$ and $\bar{S}_{1}(\ell_{12})$ are obtained by using the following expression for the inverse metric:

[TABLE]

Thus, from the equation $S_{1}(\ell_{12})\!=\!\bar{S}_{1}(\ell_{12})$ for any bond $12$, which is the condition for $S_{1}$ to be orientation symmetric, we have Eq. (20). We should note that from the condition $S_{2}({\bf n}^{+}\cdot{\bf n}^{-})\!=\!\bar{S}_{2}({\bf n}^{+}\cdot{\bf n}^{-})$ for the bending energy $S_{2}$ the same equation as Eq. (20) is obtained.

{Remark}

We have the following remarks:

1. (a)

All non-trivial models are orientation asymmetric 2. (b)

All orientation asymmetric models are ill-defined

Proof of Remark 1.

(a) The inverse metric $g^{ab}$ of a non-trivial model is given by Eq. (21), and therefore, it is easy to see that there exists a bond $12$ such that $S_{1}(\ell_{12})\!\not=\!\bar{S}_{1}(\ell_{12})$. Indeed, we can choose $\rho$’s such that Eq. (20) is not satisfied. This inequality $S_{1}(\ell_{12})\!\not=\!\bar{S}_{1}(\ell_{12})$ implies that the condition in Eq. (20) is not satisfied and that the model is orientation asymmetric. (b) $\Leftrightarrow$ All well-defined models are orientation symmetric, which can be proved as follows: If the model is well-defined, then Eqs. (17) and (17) are satisfied. Then, it is easy to see that Eq. (20) is satisfied. This implies that the model is orientation symmetric. ∎

From Remark 1, it is straightforward to prove the following theorem: {Theorem} All non-trivial models are ill-defined.

Here, we should clarify how well-defined models are different from the model with Euclidean metric $\delta_{ab}$. This problem is rephrased such that what type of $\rho$ is allowed for a well-defined model. The answer is as follows: {Remark}We have the following remarks:

1. (a)

The function $\rho_{i}$ of any well-defined model satisfies

[TABLE]

where the constant $a$ depends on neither vertex $i$ nor triangle ${\it\Delta}$. 2. (b)

There are two possible $\rho$s, which are solutions of Eq. (22):

[TABLE] 3. (c)

If Eq. (22) is satisfied, then the model is trivial.

Proof of Remark 2.

(a) A well-defined model satisfies Eqs. (17) and (17). Multiplying both sides of the first equation in Eq. (17) by $\rho_{1}^{-}\rho_{2}^{-}(>\!0)$, we have $\rho_{1}^{-}\left(\rho_{1}^{-}\rho_{2}^{-}\!+\!1\right)\!=\!\rho_{2}^{-}\left(\rho_{1}^{-}\rho_{2}^{-}\!+\!1\right)$, and therefore $\rho_{1}^{-}\!=\!\rho_{2}^{-}(=\rho^{-})$. It is also easy to see that $\rho_{1}^{+}\!=\!\rho_{2}^{+}(=\rho^{+})$ from the second equation in Eq. (17). Therefore, using these two equations and Eq. (17), we have $\rho_{1}^{-}\!+\!1/\rho_{1}^{-}\!=\!\rho_{1}^{+}\!+\!1/\rho_{1}^{+}$. This implies that the combination $\rho^{-}\!+\!1/\rho^{-}$ is independent of the vertex and triangle, and thus Eq. (22) is proved. (b) It is easy to see that $\rho_{\pm}\!=\!\left(a\!\pm\!\sqrt{a^{2}\!-\!4}\right)/2$, ($a\!\geq\!2$) from Eq. (22). (c) Indeed, using Eq. (22), we have $\gamma_{ij}\!=\!\kappa_{ji}\!=\!(1/4)\left(\rho^{+}\!+\!1/\rho^{+}\!+\!\rho^{-}\!+\!1/\rho^{-}\right)\!=\!a/2$, and therefore $S_{1}(a)\!=\!\sum_{ij}\gamma_{ij}\ell_{ij}^{2}\!=\!(a/2)\sum_{ij}\ell_{ij}^{2}$ and $S_{2}(a)\!=\!\sum_{ij}\kappa_{ij}\left(1\!-\!{\bf n}_{i}\cdot{\bf n}_{j}\right)\!=\!(a/2)\sum_{ij}\left(1\!-\!{\bf n}_{i}\cdot{\bf n}_{j}\right)$. ∎

It follows from Remark 2(a) that the model in Ref. Koibuchi-Pol2016 is ill-defined (in the context of HP model). In fact, the metric function assumed in the model of Ref. Koibuchi-Pol2016 does not satisfy Eq. (22). The metric corresponding to Remark 2(b) shows examples of metric for the trivial model, which is defined by Definition 1. More explicitly, \left(\begin{array}[]{@{\,}cc}1/\rho_{+}&0\\ 0&\rho_{+}\end{array}\\ \right) and \left(\begin{array}[]{@{\,}cc}1/\rho_{-}&0\\ 0&\rho_{-}\end{array}\\ \right) make the model trivial. The metrices \left(\begin{array}[]{@{\,}cc}1/\rho_{+}&0\\ 0&\rho_{-}\end{array}\\ \right) and \left(\begin{array}[]{@{\,}cc}1/\rho_{-}&0\\ 0&\rho_{+}\end{array}\\ \right) are conformally equivalent to $\delta_{ab}$, because $\rho_{+}\rho_{-}\!=\!1$, and therefore these also make the model trivial. We should remark that Remarks 2(a) and 2(c) also prove Theorem 1.

Note also that if a model is well-defined and orientation symmetric in the sense of Definitions 2 and 3 then inverted triangles ${\it\Delta}_{R}$ need not to be included in the lattice configuration. However, from Theorem 1 the model introduced in Eq. (8) is orientation asymmetric, and this model turns to be well-defined if it is treated as an FG model. Therefore the inverted triangles ${\it\Delta}_{R}$ should be included as a representation configuration of the model of Eq. (8) if it is understood as a well-defined model. For this reason, we have to extend the FG model introduced in Ref. Koibuchi-Sekino-2014PhysicaA such that the Hamiltonian has values on both ${\it\Delta}_{L}$ and ${\it\Delta}_{R}$.

4 Finsler geometry modeling

4.1 Finsler geometry model

As we have demonstrated in the previous subsection, all non-trivial surface models ($\Leftrightarrow$ either $\gamma_{ij}$ or $\kappa_{ij}$ depends on $ij$) are ill-defined. The reason why this unsatisfactory result is obtained is because the bond length should not be direction dependent for any well-defined models (see Definition 2). To make this ill-defined models meaningful, we introduce the notion of Finsler geometry, where length unit is allowed to be dependent on the direction. In the context of Finsler geometry modeling, Theorem 1 does not hold. The problem is whether or not the above mentioned ill-defined model (in Section 3) is fitted in Finsler geometry modeling.

Let ${\it\Delta}_{L,R}$ be triangles in $M$, and $x\!=\!(x_{1},x_{2})$ be a local coordinate on ${\it\Delta}_{L,R}$, where the coordinate origin is at vertex $1$. Let $y\!=\!(y_{1},y_{2})$ be defined by $y_{i}\!=\!dx_{i}/dt,\;(i\!=\!1,2)$, where $t$ is a parameter that increases toward the positive direction of the axes. It is also assumed that a positive parameter $v_{ij}$ is defined on the axis from vertex $i$ to vertex $j$, where $v_{ij}\!\not=\!v_{ji}$ in general.

Discrete Finsler functions on triangles ${\it\Delta}_{L,R}$ in $M$ are defined by (Figs. 5(a),(b))

[TABLE]

which can also be written as the bilinear forms

[TABLE]

From these expressions, we have the metric functions $g_{ab,L}$ on ${\it\Delta}_{L}$ and and $g_{ab,R}(x)$ on ${\it\Delta}_{R}$, such that

[TABLE]

In general, $g_{ab}$ is a function with respect to $x$ and $y$, however, $g_{ab,LR}$ in Eq. (30) only depends on the local coordinate $x$ and it is independent of $y$.

Using the metric $g_{ab,LR}$ in Eq. (30) and summing over all possible coordinate origins on triangle ${\it\Delta}_{L,R}$, just the same as in Eq. (6), we have the discrete Hamiltonian such that (see Fig. 2(b))

[TABLE]

The sum over triangles $\sum_{\it\Delta}$ in $S_{1}$ and $S_{2}$ can also be expressed by the sum over bonds with a numerical factor $1/4$. Thus, we have

[TABLE]

where $\gamma_{12}^{\pm}$ and $\kappa_{12}^{\pm}$ are concrete examples of $\gamma_{ij}^{\pm}$ and $\kappa_{ij}^{\pm}$ for bond $12$ (see Fig. 5(c)). The symbol $\pm$ denotes that $\gamma_{ij}$ and $\kappa_{ij}$ defined on the triangles ${\it\Delta}^{\pm}_{L,R}$ which share the bond $ij$ (Figs. 6 (a),(b)).

If the coefficients $\gamma_{ij}^{\pm}$ and $\kappa_{ij}^{\pm}$ are defined by the quantities, which are defined on vertices $i$ and $j$ or on bond $ij$, just like those in Eq. (32), then these coefficients become independent of the orientation of the triangles. Therefore, we have $\gamma_{ij,L}^{\pm}\!=\!\gamma_{ij,R}^{\pm}\left(=\!\gamma_{ij}^{\pm}\right)$, and $\kappa_{ij,L}^{\pm}\!=\!\kappa_{ij,R}^{\pm}\left(=\!\kappa_{ij}^{\pm}\right)$, and therefore the model is orientation symmetric. In this case, we have $\gamma_{ij}^{+}\!+\!\gamma_{ij}^{-}\!=\!\gamma_{ji}^{+}\!+\!\gamma_{ji}^{-}\left(=\!4\gamma_{ij}\right)$, and $\kappa_{ij}^{+}\!+\!\kappa_{ij}^{-}\!=\!\kappa_{ji}^{+}\!+\!\kappa_{ji}^{-}\left(=\!4\kappa_{ij}\right)$. On the contrary, if $\gamma_{ij}^{\pm}$ and $\kappa_{ij}^{\pm}$ depend on ${\it\Delta}_{L,R}$, then the model is orientation asymmetric. In this case, we have $\gamma_{ij,LR}^{+}\!+\!\gamma_{ij,LR}^{-}\!\not=\!\gamma_{ji,LR}^{+}\!+\!\gamma_{ji,LR}^{-}(\Leftrightarrow\!\gamma_{ij,L}^{+}\!+\!\gamma_{ij,L}^{-}\!\not=\!\gamma_{ji,L}^{+}\!+\!\gamma_{ji,L}^{-},\cdots)$ and $\kappa_{ij,LR}^{+}\!+\!\kappa_{ij,LR}^{-}\!\not=\!\kappa_{ji,LR}^{+}\!+\!\kappa_{ji,LR}^{-}$ in general. It is also easy to see that $\gamma_{ij,LR}^{+}\!+\!\gamma_{ij,RL}^{-}\!\not=\!\gamma_{ji,LR}^{+}\!+\!\gamma_{ji,RL}^{-}(\Leftrightarrow\!\gamma_{ij,L}^{+}\!+\!\gamma_{ij,R}^{-}\!\not=\!\gamma_{ji,L}^{+}\!+\!\gamma_{ji,R}^{-},\cdots)$ and $\kappa_{ij,LR}^{+}\!+\!\kappa_{ij,RL}^{-}\!\not=\!\kappa_{ji,LR}^{+}\!+\!\kappa_{ji,RL}^{-}$. Such an orientation asymmetric FG model will be studied in the following subsection.

Finally in this subsection, we emphasize a difference between the models defined by Eqs. (32) and (8). In fact, the expressions of $S_{1}$ and $S_{2}$ in Eq. (32) are different from those in Eq. (8). This difference comes from the fact that $S_{1}$ and $S_{2}$ in Eq. (8) are simply obtained by discretization of an ordinary HP surface model with a non-Euclidean metric. More explicitly, we have the following facts: (i) Not only ${\it\Delta}^{\pm}_{L}$ but also ${\it\Delta}^{\pm}_{R}$ is assumed to define $S_{1}$ and $S_{2}$ in Eq. (32) , while only ${\it\Delta}^{\pm}_{L}$ is assumed to define those in Eq. (8). (ii) Finsler function is assumed to define $S_{1}$ and $S_{2}$ in Eq. (32), while it is not assumed to define those in Eq. (8). Therefore, mainly from the latter fact (ii), it is still unclear whether the model defined by Eq. (8) can be called an FG model or not. For this reason, the model defined by Eq. (8) still remains ill-defined, although the Hamiltonian in Eq. (8) is very close to the one in Eq. (32).

4.2 Orientation asymmetric Finsler geometry model

As we have discussed in the previous subsection, FG model in Ref. Koibuchi-Sekino-2014PhysicaA is extended such that inverted triangles are included in the lattices. The triangulated lattices are composed of both ${\it\Delta}_{L}$ and ${\it\Delta}_{R}$, where ${\it\Delta}_{R}$ corresponds to an inverted part of surface (Fig. 1(d)). On these triangles ${\it\Delta}_{L}$ and ${\it\Delta}_{R}$, the coefficients $\gamma_{ij}^{\pm}$ and $\kappa_{ij}^{\pm}$ of $S_{1}$ and $S_{2}$ are defined. Therefore, the orientation asymmetric states are in general allowed in the configurations of the FG model. In this subsection, we show that the ill-defined model constructed in the previous Section by Eq. (8) turns to be a well-defined model in the context of FG modeling.

By comparing $g_{ab}$ in Eq. (30) and $g_{ab}$ in Eq. (3), we have the following correspondence between the parameters $v_{12},v_{13},\cdots,v_{42}$ and the functions $\rho_{1}^{\pm},\rho_{2}^{\pm},\rho_{3}^{\pm}$ on ${\it\Delta}^{\pm}_{L}$ (see Figs. 4(a), 5(c) and 6(a)):

[TABLE]

The symbol $\rho_{i}^{+}$ is a function on triangle ${\it\Delta}^{+}_{L}$ for the metric in Eq. (3) when the local coordinate is at vertex $i(=1,2,3)$. We also have a contribution from ${\it\Delta}^{\pm}_{R}$:

[TABLE]

By inserting these expressions into $\gamma_{ij}$ and $\kappa_{ij}$ in Eq. (32) ($v_{41}^{-2}$ and $v_{42}^{-2}$ in Eqs. (33) and (34) are not included in the list below), we have

[TABLE]

The expressions of $\gamma_{ij}^{\pm}$ and $\kappa_{ij}^{\pm}$ on ${\it\Delta}^{\pm}_{R}$ are obtained by replacing $\rho$ with $1/\rho$ in the expressions in Eq. (35). We find from Eq. (35) that the coefficients $\gamma_{ij}^{\pm}$ and $\kappa_{ij}^{\pm}$ can also be written more simply by using the suffices $ij$, which will be presented below.

To incorporate two types of triangles ${\it\Delta}_{L,R}$ into the lattice configurations, which are dynamically updated in the partition function, we need a new variable corresponding to these ${\it\Delta}_{L,R}$. Thus, we introduce a new dynamical variable $\chi$, which is defined on triangles ${\it\Delta}$ and has values in ${\bf Z}_{2}$ just like $\sigma$ in Eq. (9) to represent the surface orientation:

[TABLE]

If $\chi_{i}\left(=\!\chi({\it\Delta}_{i})\right)\!=\!-1$ is satisfied for all triangles ${\it\Delta}_{i}$, then the surface is understood as it is completely inverted. In contrast, mixed states, where the value of $\chi_{i}$ is not uniform, are understood as a partly inverted membrane (see Fig. 1(d)). This implies that actual intersections like the one in Fig. 1(b) are not necessarily implemented in the model. If such intersections must be taken into consideration in the numerical simulation, it will be very time consuming, because every step for the vertex move should be checked to monitor how the lattice intersects. More than that the simulation is time consuming, as mentioned in the previous section real physical membranes are expected to undergo inversion by pore formation without self-intersection.

By this new variable $\chi_{i}$ in Eq. (38), the FG model introduced in Koibuchi-Sekino-2014PhysicaA is extended such that the inverted surface states are included in the surface configurations. Indeed, for any given configuration, its inverted configuration by Eq. (2) is included in the configurations, because the inverted configuration is obtained by the transformation $\chi_{i}\to-\chi_{i}$ for all $i$ and with suitable translation and deformation of ${\bf r}$. In this new model, the triangulated surfaces are composed of both ${\it\Delta}_{L}$ and ${\it\Delta}_{R}$, where the triangles ${\it\Delta}_{R}$ correspond to an inverted part of surface like the one in Fig. 1(d). The coefficients $\gamma_{ij}$ and $\kappa_{ij}$ of $S_{1}$ and $S_{2}$ are defined on not only ${\it\Delta}_{L}$ but also ${\it\Delta}_{R}$. Therefore, the orientation asymmetric states are naturally expected in the configurations of the new model.

The variable $\chi$ has values in ${\bf Z}_{2}$ just like $\sigma$ in the energy $S_{0}$ of Eq.(9), however, the role of $\chi$ is different from that of $\sigma$. The variable $\sigma$ plays a role for defining the functions $\rho_{i}$ of the metric $g_{ab}$. In the context of the modeling in this paper, $\rho$ is determined independently of the surface orientation $\chi$. As mentioned in the end of Section 4, $S_{0}$ is not included in the Hamiltonian introduced below although the role of $S_{0}$ is completely different from that of $S_{3}$.

By including the partition function, we finally have

[TABLE]

where Ising model Hamiltonian $S_{3}$ is assumed for the variable $\chi$ with the coefficient $\zeta$. The value of $\chi^{\pm}\left(\in\{1,-1\}\right)$ corresponds to ${\it\Delta}^{\pm}_{L,R}$ as in Eq. (38). For sufficiently large $\zeta$, one of the lowest energy states of $S_{3}$ is realized because both $S_{1}$ and $S_{2}$ are asymmetric even though $S_{3}$ is symmetric under the surface inversion. Thus, we have proved that the model introduced in Eq. (8) is identified to the FG model defined by Eq. (32), in which the Finsler functions in Eq. (28) are assumed. We should note that Ising model Hamiltonian is not always necessary for $S_{3}$. Note also that this FG model in Eq. (39) has no constraint for the well-definedness introduced in Definition 2. In this sense, this model is well-defined even though the bond length in $M$ is direction dependent. Moreover, since the surface configuration includes inverted triangles, this model is orientation asymmetric from Remark 1 (a). Thus, we have {Theorem}

All non-trivial models such as the one defined by Eq. (8) or Eq. (39) are orientation asymmetric and well-defined in the context of Finsler geometry modeling.

5 Summary

In this paper, we confine ourselves to discrete surface models of Helfrich and Polyakov with the metric of the type g_{ab}\!=\!\left(\begin{array}[]{@{\,}cc}E&\;0\\ 0&\;G\end{array}\\ \right). The discrete model is defined on dynamically triangulated surfaces in ${\bf R}^{3}$ , and therefore the model is aimed at describing properties of fluid membranes such as lipid bilayers. The result in this paper indicates that the surface models with this type of non-Euclidean metric are well-defined in the context of Finsler geometry (FG) modeling, and moreover the models are orientation asymmetric in general. Indeed, in the FG scheme for discrete surface models, length of bond of the triangles in the parameter space $M$ can be direction dependent, and no constraint is imposed on the bond length of inverted surfaces in the FG modeling. These allow us to introduce a new dynamical variable corresponding to the triangle orientation to incorporate the surface inversion process in the model. Thus, Hamiltonian of the models with non-trivial $g_{ab}$ has values on locally inverted surface, and for this reason the Hamiltonian becomes dependent on the surface orientation. This property is expected to be useful to study real physical membranes, which undergo surface inversion. FG modeling for membranes and the numerical studies should be performed more extensively.

Acknowledgements.

The authors acknowledge S. Bannai and M. Imada for comments and discussions. This work is supported in part by JSPS KAKENNHI Numbers 26390138 and 17K05149. \authorcontributionsE.P. performed the calculations, and H.K. wrote the paper.

\conflictofinterestsThe authors declare no conflict of interest. The founding sponsors had no role in the design of the study; in the collection, analyses, or interpretation of data; in the writing of the manuscript, and in the decision to publish the results. \abbreviationsThe following abbreviations are used in this manuscript:

[TABLE]