{'fraction_non_alphanumeric': 0.042329156575760765, 'fraction_numerical': 0.01344284159910147, 'mean_word_length': 4.499227948272535, 'pattern_counts': {'":': 0, '<': 19, '<?xml version=': 0, '>': 4, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 4, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Adhesion-Induced Phase Behavior of Two-Component Membranes and Vesicles

The interplay of adhesion and phase separation is studied theoretically for two-component membranes that can phase separate into two fluid phases such as liquid-ordered and liquid-disordered phases. Many adhesion geometries provide two different environments for these membranes and then partition the membranes into two segments that differ in their composition. Examples are provided by adhering vesicles, by hole- or pore-spanning membranes, and by membranes supported by chemically patterned surfaces. Generalizing a lattice model for binary mixtures to these adhesion geometries, we show that the phase behavior of the adhering membranes depends, apart from composition and temperature, on two additional parameters, the area fraction of one membrane segment and the affinity contrast between the two segments. For the generic case of non-vanishing affinity contrast, the adhering membranes undergo two distinct phase transitions and the phase diagrams in the composition/temperature plane have a generic topology that consists of two two-phase coexistence regions separated by an intermediate one-phase region. As a consequence, phase separation and domain formation is predicted to occur separately in each of the two membrane segments but not in both segments simultaneously. Furthermore, adhesion is also predicted to suppress the phase separation process for certain regions of the phase diagrams. These generic features of the adhesion-induced phase behavior are accessible to experiment.

Abstract: The interplay of adhesion and phase separation is studied theoretically for two-component membranes that can phase separate into two fluid phases such as liquid-ordered and liquid-disordered phases. Many adhesion geometries provide two different environments for these membranes and then partition the membranes into two segments that differ in their composition. Examples are provided by adhering vesicles, by hole-or pore-spanning membranes, and by membranes supported by chemically patterned surfaces. Generalizing a lattice model for binary mixtures to these adhesion geometries, we show that the phase behavior of the adhering membranes depends, apart from composition and temperature, on two additional parameters, the area fraction of one membrane segment and the affinity contrast between the two segments. For the generic case of non-vanishing affinity contrast, the adhering membranes undergo two distinct phase transitions and the phase diagrams in the composition/temperature plane have a generic topology that consists of two two-phase coexistence regions separated by an intermediate one-phase region. As a consequence, phase separation and domain formation is predicted to occur separately in each of the two membrane segments but not in both segments simultaneously. Furthermore, adhesion is also predicted to suppress the phase separation process for certain regions of the phase diagrams. These generic features of the adhesion-induced phase behavior are accessible to experiment. Keywords: lipid membranes; phase separation; fluid-fluid coexistence; intramemembrane domains; membrane adhesion; phase diagrams

Introduction
Multi-component membranes consisting of a small number of lipids provide simple model systems for biological membranes, which contain a huge number of different lipid and protein components. Since membranes are essentially 2-dimensional systems, they can attain different thermodynamic phases and undergo phase transitions between these phases. From a biological perspective, the most interesting phase transitions are provided by transitions between two distinct liquid phases, in which the membrane molecules can undergo fast lateral diffusion within all membrane domains [1]. The corresponding two-phase coexistence regions lead to critical points that belong to the universality class of the 2-dimensional Ising model [2].
The simplest examples for fluid-fluid coexistence in membranes are presumably found in binary mixtures of cholesterol and a single phospholipid. Indeed, a variety of spectroscopic methods such as deuterium nuclear magnetic resonance [3][4][5] were applied to such binary mixtures and provided evidence for the formation of intramembrane domains. The underlying mechanism for this domain formation has been a matter of some debate as reviewed in [6]. In this theoretical study, we will not address this controversy but take the fluid-fluid coexistence of cholesterol/phospholipid mixtures proposed in [4,5,7] and recently reviewed in [8] as a motivation to study a generic model for this kind of two-phase coexistence.
For ternary mixtures consisting of an unsaturated phospholipid, sphingomyelin, and cholesterol, as originally studied in the context of sphingolipid-cholesterol rafts [9], the formation of liquid-ordered and liquid-disordered domains can be directly observed by fluorescence microscopy. In this way, phase separation in ternary mixtures has been studied for a variety of membrane systems including giant vesicles [10][11][12][13][14][15], solid-supported membranes [16][17][18], hole-spanning (or black lipid) membranes [19], as well as pore-spanning membranes [20]. The phase diagrams of such three-component membranes have been determined using spectroscopic methods [5] as well as by fluorescence microscopy of giant vesicles and X-ray diffraction of membrane stacks [21][22][23][24]. Furthermore, fluid-fluid coexistence has also been found in giant plasma membrane vesicles that contain a wide assortment of lipids and proteins [25,26].
In this paper, we consider the effect of adhesion onto the phase behavior of multi-component membranes. We first emphasize that many adhesion geometries lead to a segmentation of the membranes. Examples are provided by the adhesion of vesicles, by hole-or pore-spanning membranes, and by membranes supported by chemically patterned surfaces. In all of these cases, the adhesion leads to two distinct membrane segments that experience different environments. These environments attract the different molecular components of the membrane with different affinities, i.e., each environment acts to recruit certain components and to expel others. As a consequence, the compositions of the two membrane segments are different as well.
We will focus on the simplest example for fluid-fluid coexistence as provided by two-component membranes and study the adhesion effects by generalizing a generic lattice model for binary mixtures. This lattice model corresponds to a semi-grand canonical description and depends on the relative chemical potential for the two molecular species. Using this model, it is relatively easy to see that the adhesion-induced segmentation of the membranes leads, in general, to two distinct phase transitions in the two membrane segments. In order to obtain theoretical predictions that are accessible to experiments, we then consider the mole fractions in the two membrane segments and show how one can obtain the phase behavior in terms of these mole fractions. One important parameter turns out to be the affinity contrast, which describes the different molecular interactions between the two membrane segments and their environments.
We show that the fluid-fluid coexistence region as found for the two-component membrane in a uniform environment is replaced, for any nonvanishing affinity contrast, by two distinct coexistence regions, which are separated by an intermediate one-phase region. The relative sizes and positions of these different regions are shown to depend only on a relatively small number of parameters, namely temperature, mole fraction of one molecular species, area fraction of one of the membrane segments, and affinity contrast. For the generic case of a nonzero affinity contrast, our theory predicts that phase separation can only occur separately in each of the two membrane segments but not in both segments simultaneously. Furthermore, adhesion is also found to suppress the phase separation process within certain regions of the phase diagrams.
Our paper is organized as follows. First, Section 2 contains a brief review of fluid-fluid coexistence in two-component membranes and Section 3 describes the lattice binary mixture as a generic model for phase separation in two dimensions. In Section 4, we discuss several adhesion geometries such as vesicle adhesion and pore-spanning membranes, and describe how these geometries lead to a segmentation of the membranes into two different membrane segments. These segments experience distinct environments, which can be characterized by relative affinities. In Section 5, we introduce the lattice model for the adhering membranes and show that the relative affinities of the two membrane segments lead to shifts of the relative chemical potential. It is then relatively easy to conclude that the adhering membranes undergo two phase transitions. In order to obtain theoretical predictions that are accessible to experiments, we then replace in Section 6 the relative chemical potential by the mole fraction X a of the a-molecules and explain how one can obtain the phase diagrams as a function of X a and temperature. The results for these phase diagrams are then described in Section 7. At the end, we give a brief summary and outlook.

Liquid-Liquid Coexistence in Two-Component Membranes
At constant pressure, the phase diagrams of multi-component membranes depend on the ambient temperature T and on the composition of the membranes. For membranes consisting of two molecular species, say a and b, and containing N a a-molecules and N b b-molecules, the composition is described by the mole fractions one of which can be varied independently.
Thus, phase diagrams of two-component membranes are conveniently described in the (X a , T )-plane. For binary mixtures of phospholipid and cholesterol, the phase diagrams deduced from deuterium nuclear magnetic resonance spectroscopy exhibit a coexistence region for the liquid-ordered phase, say α, which is rich in cholesterol, and the liquid-disordered phase, say β, which is poor in cholesterol [3][4][5]7,8], see Figure 1.
The membrane undergoes phase separation into the α and β phases within the temperature range T t < T < T c , i.e., above the triple point temperature T = T t and below the critical temperature T = T c . The αβ coexistence region can then be described by with the two binodal lines X a = X a,β (T ) and X a = X a,β (T ) for T t < T < T c .
(3) Figure 1. Generic phase diagram for mixed membranes consisting of cholesterol and a single phospholipid. The variable X a represents the mole fraction of cholesterol; the phase boundaries have been deduced from experiments on the phospholipid DPPC [8]. The fluidfluid coexistence region between the liquid-ordered phase α on the right and the liquiddisordered phase β on the left is bounded by the two binodal lines X a = X a,β (T ) and X a = X a,α (T ), which meet at the critical point with T = T c . The horizontal broken lines represent tie lines within the two-phase coexistence region. The triple point temperature is denoted by T t .
T T c t

Lattice Model for Two-Component Membranes
A relatively simple but instructive model for two-component membranes is provided by lattice binary mixtures, in which the configurations of the two molecular components are described by occupation numbers [27][28][29][30][31]. The two-dimensional lattice binary mixture is equivalent to the two-dimensional Ising model. Therefore, both exact results from the Ising model as well as approximation schemes such as the mean field approximation can be used to determine the phase diagrams of this lattice model.

Lattice Description of Large Membrane Segments
To proceed, let us first consider a large membrane segment with total area A, which is disretized into a square lattice Ω with lattice sites i and lattice constant √ A. The total number of lattice sites will be denoted by Since the discretization lattice is characterized by a single lattice constant √ A, both the aand the b-molecules are described here by the same molecular area A.
Within the framework of the lattice binary mixture, the molecular configurations of the two-component membrane are now described in terms of occupation numbers The mole fraction X a of the a-molecules is now given by the expectation value of the occupation number n i , i.e., X a = n i .
The total number N a of a-molecules is given by N a = i n i and the total number N b of b-molecules by Thus, for the lattice binary mixture, the total number of aand b-molecules is fixed and given by N a + N b = |Ω|. This constraint on the two molecular numbers implies that the lattice binary mixture describes a semi-grand canonical ensemble, see further below.

Configurational Energy of Binary Mixture
If two neighboring sites i and j of the lattice are both occupied by a molecules, these molecules have the interaction energy U aa . Likewise, two neighboring b molecules interact via the interaction energy U bb and two neighboring sites occupied by one aand one b-molecule contribute the interaction energy U ab . For the unbound membrane segment, the configuration-dependent interaction energy is then given by and the total configurational energy E{n} has the form where we have introduced two chemical potentials µ a and µ b for the aand b-molecules. Since the molecular numbers N a and N b satisfy the constraint (7), this configurational energy is equivalent to with the relative chemical potential ∆µ ≡ µ a − µ b .
The term µ b |Ω| on the right hand side of (10) can be omitted because it does not depend on the occupation numbers {n} and, thus, cancels out from all expectation values calculated with the statistical weight exp(−E{n}/k B T ). The form (10) of the configurational energy shows explicitly that the lattice binary mixture represents a semi-grand canonical ensemble [32,33], which depends on the total number |Ω|A of membrane molecules and on the relative chemical potential ∆µ. This ensemble is appropriate here because membranes have a fixed surface area and we use the simplifying assumption that both molecular species have the same molecular area. Therefore, when the system exchanges aand b-molecules with the corresponding chemical reservoirs, we have to remove b-molecules when we want to insert a-molecules and vice versa.

Phase Behavior of Binary Mixture
The lattice binary mixture just described is equivalent to the two-dimensional Ising model if one expresses the molecular configurations {n} in terms of the spin variables σ i ≡ 2n i − 1. This equivalent Ising model depends only on two parameters, the dimensionless temperaturē (12) and the dimensionless ordering field The Ising system undergoes phase separation forH = 0 and 0 ≤T <T c , whereT c denotes the critical temperature. The exact value of the critical temperature is given by [34] T c = 2 ln(1 + √ 2) 2.27 (14) for the Ising model on a square lattice. As we approach the lineH = 0 from positive and negative values ofH, the order paramter σ i attains the values σ i = +Υ(T ) and σ i = −Υ(T ), respectively, with the spontaneous order parameter [34] The corresponding phase transition in the lattice binary mixture occurs at the relative chemical potential ∆µ = 2(U aa − U bb ) ≡ µ αβ for 0 ≤T <T c .
As we approach the transition value ∆µ = µ αβ of the relative chemical potential from below or from above, the mole fraction X a = n i approaches the values respectively, with the function Υ(T ) as given by (15). These two mole fractions define the binodal lines X a = X a,β (T ) and X a = X a,α in the (X a ,T ) phase diagram of the lattice binary mixture. This phase diagram is symmetric with respect to the transformation X a → X a = 1 2 − X a , which reflects the particle-hole symmetry of the lattice binary mixture.

Relative Chemical Potential as a Function of Mole Fraction
The semi-grand canonical ensemble of the lattice binary mixture is not particularly convenient from an experimental point of view since the relative chemical potential ∆µ does not represent an experimental control parameter. Instead of ∆µ, one typically controls the mole fraction X a . If we consider X a as an independent thermodynamic variable, the relative chemical potential becomes a dependent variable that will be described by the functional relationship The change from ∆µ to X a corresponds to a Legendre transformation from the semi-grand canonical ensemble to the canonical ensemble. Even though the form of the function G is not known explicitly (because we have no exact solution for the 2-dimensional Ising model in a finite ordering field,H = 0), thermodynamics implies some useful properties of G(X a ). First, it follows from thermodynamic stability that the chemical potential µ a of the a-molecules must be a non-decreasing function of X a , see, e.g., [35]. Likewise, the chemical potential µ b of the b-molecules must be a non-decreasing function of X b = 1 − X a , which implies that it must be a non-increasing function of X a . It then follows that the relative chemical potential ∆µ = µ a − µ b as a function of X a must satisfy ∆µ = G(X a ) with ∂G/∂X a ≥ 0 .
More precisely, the function ∆µ = G(X a ) has a strictly positive derivative, ∂G/∂X a > 0 within a one-phase region (20) and stays constant with G(X a ) = µ αβ and ∂G/∂X a = 0 within a two-phase coexistence region.
It then follows that G(X) is a monotonically increasing function of X for 0 < X < X a,β (T ), stays constant for X a,β (T ) ≤ X ≤ X a,β (T ), and continues to increase monotonically for X a,β (T ) < X < 1, where the two binodals are explicitly given by (17).

Membrane Adhesion and Segmentation
The adhesion of membranes and vesicles often leads to different membrane segments, in which the molecules experience distinct environments. Such a segmentation is found both for adhering vesicles and for solid-supported membranes. As explained in the following subsections, these adhering membranes often consist of two segments that are exposed to two different environments.

Adhesion of Vesicles
The adhesion of vesicles has been studied for a long time, see, e.g., [36,37] for one-component membranes and [1,38] for multi-component membranes. Here, we will focus on the strong adhesion regime, in which the vesicle attains the shape of a spherical cap. The same shape has also been observed for the strong adhesion of red blood cells [39,40].

Strong Adhesion Regime
In general, a vesicle that sticks to a planar substrate surface exhibits two membrane segments: an unbound segment S [1] that is not in contact with the substrate surface and a bound segment S [2] that forms the vesicle's contact area. The surface areas of the unbound and bound membrane segments will be denoted by A [1] and A [2] , respectively. The overall area A of the membrane is then given by The two membrane segments meet at the contact line of the vesicle. Along this line, the unbound membrane segment has the contact curvature radius [36] which depends on the membrane's bending rigidity κ and the adhesion free energy W per unit area. We use the convention that the free energy density W is negative for an attractive substrate surface. The strong adhesion regime considered here corresponds to the situation, in which i.e., in which the contact curvature radius R co is much smaller than the vesicle size R ve . This inequality is equivalent to where the quantity κ/A may be regarded as the membrane tension arising from the closure of the vesicle membrane.
Let us now focus on giant vesicles that are conveniently studied by optical microscopy. The size R ve of such vesicles usually exceeds 20 µm. Therefore, these vesicles are in the strong adhesion regime as soon as the contact curvature radius is below optical resolution, i.e., R co < L * 0.5 µm or For a lipid bilayer, the bending rigidity κ is of the order of 10 −19 J or 24 k B T o at room temperature T o = 25 • C, which implies |W | * 2 × 10 −4 mJ/m 2 or |W | * 0.5 k B T /(100 nm) 2 . Thus, the strong adhesion regime should typically apply as long as the adhesion is mediated by a large number of molecular interactions. In this regime, the vesicle spreads onto the surface as much as possible. For fixed vesicle volume V and fixed membrane area A, the shape with the largest contact area is provided by a spherical cap, which can be characterized by an effective contact angle θ eff as shown in Figure 2. (a) Side view of a vesicle that strongly adheres to a planar substrate surface. The vesicle membrane (blue) consists of two segments: the unbound segment S [1] that forms a spherical cap with surface area A [1] and the bound segment S [2] with surface area A [2] . The two segments meet along the contact line with effective contact angle θ = θ eff ; and (b) When viewed with increased resolution, the unbound membrane segment close to the contact line is smoothly curved [36]. segment [2] bound The total surface area A plays the role of the basic area scale. The spherical cap shape is then determined by A and one other geometric parameter such as the effective contact angle θ eff , see Figure 2, which can be controlled by osmotic deflation and inflation. Because we focus here on the adhesion-induced segmentation of the membrane, it will be convenient to choose the area fraction of the unbound membrane segment S [1] as the second geometric parameter. The area fraction q [2] of the bound segment S [2] is then given by q [2] = 1 − q [1] . The relations between q [1] and the other geometric parameters such as the reduced volume v are discussed in Appendix A at the end of this paper. The area fraction q [1] turns out to be an important parameter in order to describe the phase diagram of multi-component membranes. This parameter can vary within the range The limiting cases correspond to a flat pancake with q [1] = 1 2 and to a sphere touching the surface in a single point, which implies q [1] = 1. For a hemi-sphere, the area fraction q [1] = 2/3. Because the area fraction q [1] is uniquely determined by the reduced volume v, see Appendix A, it can be varied experimentally by changing the osmotic conditions leading to osmotic deflation or inflation of the vesicle. within the rigid support. The membrane consists of a pore-spanning or unbound segment S [1] with area A [1] and a bound segment S [2] with area A [2] ; and (b) Membrane supported by a chemically patterned surface with a single, circular surface domain that attracts the membrane less strongly than the surrounding substrate. The membrane is then divided up into a weakly bound segment S [1] with area A [1] and a strongly bound segment S [2] with area A [2] . If the circular surface domain does not attract or repel the membrane, the adhesion geometry in (b) is thermodynamically equivalent to the one in (a).

Supported Membranes
A variety of methods has been developed in order to immobilize membranes on solid or rigid substrate surfaces. Here, we will discuss several support geometries that lead to two membrane segments and, thus, can again be characterized by the area fraction q [1] of the segments S [1] . Membranes supported by uniform substrate surfaces then correspond to the limiting cases q [1] = 0 and q [1] = 1.

Partially Supported Membranes
Two examples for partially supported membranes are provided by hole-spanning membranes, also known as black lipid membranes, see, e.g., [19], as well as by pore-spanning membranes as in [20]. Here, a "hole" corresponds to a channel through a relatively thin rigid plate whereas a "pore" refers to a groove in a relatively thick substrate. If the hole and the pore have the same cross-section, both systems lead to essentially the same adhesion geometry as shown in Figure 3a for a circular cross-section.
For these adhesion geometries, the membrane is again divided up into an unbound segment S [1] spanning the hole or pore and a bound segment S [2] in close contact with the supporting surface. In general, the area fraction q [1] of the hole-or pore-spanning segment can now vary in the range where the limiting case q [1] = 0 corresponds to a membrane supported by an adhesive surface without a hole or pore. For the present geometry, the area fraction q [1] must always be smaller than one in order to firmly attach the membrane to the substrate surface. If the membrane spans several holes or pores, it contains several unbound segments, and the area A [1] is now equal to the total area of all of these unbound membrane segments.

Membranes Supported by Chemically Patterned Surfaces
Another adhesion geometry of interest are membranes adhering to a chemically patterned surface as depicted in Figure 3b. A variety of patterning techniques have been used to produce such systems [41,42]. Here, we consider substrate surfaces that contain two types of surface domains: a substrate surface "matrix" that attracts the membrane relatively strongly and embedded surface domains that attract the membrane only weakly. If the latter attraction vanishes or the domain/membrane interactions becomes repulsive, the adhesion geometry shown in Figure 3b becomes thermodynamically equivalent to the one in Figure 3a. The example for a patterned surface as shown in Figure 3b displays a surface with a single, circular domain. In general, the surface may contain several domains and these domains may have noncircular shapes.
The two limiting cases q [1] = 0 and q [1] = 1 correspond to uniform substrate surfaces with strong and weak adhesion, respectively.

Membrane Segments Characterized by Relative Affinities
The different adhesion geometries depicted in Figures 2 and 3 all lead to a partitioning of the membranes into two segments S [m] with m = 1, 2. Because these segments are exposed to different environments, the two molecular components a and b experience different interactions potentials, U acting on the aand b-molecules, respectively, within the segment S [m] .
We will now characterize each membrane segment by its relative affinity If membrane segment S [m] represents an unbound segment not in contact with any adhesive surface, see segment S [1] in Figure 2 and Figure 3a, we put U i.e., if the aor the b-molecules within segment S [m] are more strongly attracted by its environment.

Lattice Model for Adhering Membranes
We will now extend the lattice binary mixture as described in Section 3 to adhering membranes with two membrane segments as in Figures 2 and 3. We are then led to consider two sublattices that experience different interactions as described by the relative affinities of the two membrane segments.

Two Sublattices for Two Membrane Segments
Consider an adhering membrane partitioned into two segments, S [1] and S [2] . The discretization of such a membrane leads to two sublattices, Ω [1] and Ω [2] . Sublattice Ω [1] for segment S [1] consists of lattice sites whereas sublattice Ω [2] for segment S [2] has such sites. As before, the symbol A denotes the area per lattice site and corresponds to the molecular area of the aand b-molecules. The area fraction q [1] of segment S [1] is now equal to

Configurational Energy of Adhering Membranes
The configurations of aand b-molecules within an adhering membrane are again described in terms of the occupation numbers {n i }, where n i = 1 represents an a-molecule as before. The configurational energy of this membrane now contains additional terms arising from the interaction potentials U with the relative affinity ∆U [m] as in (33) where the last n-independent term on the right hand side can again be omitted because it does not affect the statistical properties of the system. Adding the U -dependent energy term E where the interaction energy E which is identical with the expression (8) apart from the summation that now includes only nearest neighbors ij within the sublattice Ω [m] corresponding to segment S [m] . The configurational energy of an adhering membrane consisting of two membrane segments is then given by E{n} = E [1] {n} + E [2] {n} where the additional energy term E db {n} arises from the domain boundaries between the two membrane segments. The latter term can be ignored compared to the first two terms in (41) when we consider the limit of large membrane segments. Indeed, in this limit, the free energies obtained from the first two terms E [1] {n} and E [2] {n} increase as the segment areas A [1] ∼ |Ω [1] | and A [2] ∼ |Ω [2] | whereas the free energy arising from the domain boundary term E db {n} increases only as the length of the domain boundary, which is of the order of min(|Ω [1] |, |Ω [2] |). Therefore, in this large membrane limit, we are left with two membrane segments, S [1] and S [2] , each of which is governed by a configurational energy of the form (39). In the semi-grand canonical ensemble of the lattice binary mixture, these large segments are only coupled via the relative chemical potential ∆µ, i.e., via the particle reservoirs for aand b-molecules.

Phase Transitions in Membrane Segments
The configurational energy (10) for the standard lattice binary mixture leads to a phase transition at the relative chemical potential ∆µ = µ αβ = 2(U aa − U bb ) for 0 ≤T <T c as described by (16). Comparison of the configurational energy (39) for the membrane segment S [m] with the configurational energy (10) for the standard model then shows that this segment undergoes a phase transition at the relative chemical potential As long as the relative affinities ∆U [m] of the two membrane segments are different, i.e., as long as ∆U [2] = ∆U [1] , the two critical values µ [2] αβ and µ [1] αβ are different as well and the two segments undergo two distinct phase transitions. Therefore, the adhesion-induced partitioning into two membrane segments leads to two distinct phase transitions for ∆U [2] = ∆U [1] .

Phase Behavior in Terms of Mole Fractions
In order to make theoretical predictions that are accessible to experiment, we will now describe the phase behavior of the two membrane segments in terms of their mole fractions. Since the two membrane segments experience different environments and, thus, different relative affinities, they will, in general, differ in their compositions. Therefore, we have to distinguish the mole fraction X [1] a in segment S [1] from the mole fraction X [2] a in segment S [2] . To determine the two mole fractions X [1] a and X [2] a , we need two independent relations between these two variables. As shown in the following section, one relation is obtained from the partitioning of the total number of aand b-molecules between the two membrane segments, the other from the chemical equilibrium between these segments.

Partitioning of Membrane Molecules
One relation between the two mole fractions X [1] a and X [2] a is provided by the partitioning of the molecules between the two membrane segments. Because the total number |Ω| = |Ω [1] | + |Ω [2] | of molecules is fixed within the adhering membrane, the mole fractions X [1] a and X [2] a satisfy the relation where X a is the overall mole fraction of the a-molecules as before. Using the expression (37) for the area fraction q [1] and q [2] = 1 − q [1] , the relation (43) becomes Note that this partitioning relation depends only on two parameters, the area fraction q [1] of segment S [1] and the overall mole fraction X a .

Relative Chemical Potentials of Membrane Segments
Comparison of the configurational energy (39) As explained in Section 3.4, thermodynamic stability implies that the function G(X and continues to increase monotonically for X a,α (T ) < X [m] a < 1, where the two binodals X a,β (T ) and X a,α (T ) are explicitly given by (17).

Chemical Equilibrium Between Membrane Segments and Affinity Contrast
Since the two membrane segments can exchange aand b-molecules by lateral diffusion, they will reach a state of chemical equilibrium with ∆µ [1] (X [1] a ) = G(X [1] a ) + ∆U [1] = ∆µ [2] (X [2] a ) = G(X [2] a ) + ∆U [2] (47) or where we introduced the affinity contrast between the two membrane segments with ∆U 1,2 = −∆U 2,1 . Thus, chemical equilibrium as described by (48) provides a second relation between the two mole fractions X [1] a and X [2] a . This relation becomes particularly useful if one of the two segments undergoes phase separation because we can then replace one of the G-terms by the constant value µ αβ . Furthermore, it is convenient to define the shifted function which attains the value and increases monotonically with X outside of this interval. In terms of the shifted function ∆G, the chemical equilibrium relation (48) becomes It is not difficult to see that any two mole fractions X [1] a and X [2] a that satify this equation and, thus, represent a solution of it do not depend on the shift µ αβ but only on the affinity contrast ∆U 2,1 . Indeed, we can add any constant to the functions ∆G(X) or G(X) without changing the solution to (52) or (48).

Phase Separation in Segment S [1]
If segment S [1] undergoes phase separation, the mole fraction X [1] a must have a value within the range X a,β (T ) ≤ X [1] a ≤ X a,α (T ) and ∆G(X We now have to distinguish two cases corresponding to zero and nonzero affinity contrast ∆U 2,1 . If ∆U 2,1 = 0, the molecules experience the same relative affinities in both membrane segments and thus have no preference for either segment. We then conclude that the whole membrane undergoes phase separation and that X [2] a = X [1] a = X a , where the second equality follows from the partitioning relation (44).
On the other hand, if ∆U 2,1 = 0, the chemical equilibrium relation (54) implies that ∆G(X [2] a ) = 0, i.e., that segment S [2] does not undergo phase separation but represents a spectator phase with uniform composition. The corresponding mole fraction X [2] a = X [2] a, * satisfies the implicit equation ∆G(X [2] a, * ) = −∆U 2,1 = ∆U 1,2 and stays constant as long as the mole fraction X [1] a lies within the coexistence region (53) of segment S [1] . Note the subscript * that is used, here and below, to indicate the mole fractions of a spectator phase.
Therefore, as one increases the affinity contrast ∆U 2,1 from large negative to small negative values, the mole fraction X [2] a, * of the spectator phase in segment S [2] decreases monotonically as a function of ∆U 2,1 , from X [2] a, * = 1 to X a,α (T ) corresponding to the upper binodal. At ∆U 2,1 = 0, this mole fraction jumps from the value X a,α (T ) for the upper binodal to the value X a,β (T ) for the lower binodal. Finally, as one increases the affinity contrast ∆U 2,1 from small positive to large positive values, the mole fraction X [2] a, * decreases monotonically from the value X a,β (T ) to X [2] a, * = 0. [2] Now, consider the situation, in which segment S [2] of the adhering membrane undergoes phase separation. Repeating the arguments of the previous subsection, it then follows that the mole fraction X [2] a, * of segment S [2] satisfies X a,β (T ) ≤ X [2] a ≤ X a,α (T )

Phase Separation in Segment S
and that ∆G(X [2] a ) = 0 as in (51). The mole fraction X which implies X a, * denotes the mole fraction of the uniform spectator phase in segment S [1] . Using again the general properties of the function ∆G(x), we find from (61) that the mole fraction X a, * increases monotonically with increasing affinity contrast U 2,1 . More precisely, as one increases ∆U 2,1 from large to small negative values, the mole fraction X [1] a, * increases from X [1] a, * = 0 to X a,β (T ), jumps at ∆U 2,1 = 0 from X a,β (T ) to X a,α (T ), and finally increases monotonically from X a,α (T ) to X [1] a, * = 1 as the affinity contrast ∆U 2,1 is increased from small to large positive values. Thus, the mole fraction X [1] a, * satisfies 0 < X [1] a, * < X a,β (T ) for ∆U 2,1 < 0 (63) and X a,α (T ) < X [1] a, * < 1 for ∆U 2,1 > 0 .

Phase Diagrams for Adhering Membranes
From an experimental point of view, it is most useful to describe the phase behavior in terms of overall composition and temperature. The corresponding phase diagrams can be derived by combining the partitioning relation (44) with the chemical equilibrium relations as discussed in the previous subsections. Thus, inserting (i) the inequalities (53) for the mole fraction X [1] a and (ii) the equalities (56)-(59) for the mole fraction X [2] a = X [2] a, * of the uniform spectator phase into the partitioning relation (44), we obtain the binodals for the two-phase coexistence region of segment S [1] in the (X a ,T )-plane. Likewise, the binodals for the coexistence region of segment S [2] in the (X a ,T )-plane is obtained by inserting the inequalities (60) for the mole fraction X [2] a and the equalities (63)-(66) for the spectator phase mole fraction X b . Thus, for ∆U 2,1 = 0 or relative affinities ∆U [2] = ∆U [1] , the adhesion-induced partitioning into two segments leads to two distinct two-phase coexistence regions within the (X a ,T )-plane.

Parameter Dependence of Phase Diagrams
The phase diagrams of the adhering membranes in the (X a ,T )-plane depend on the parameters that enter the partitioning relation (44) and the chemical equilibrium relations. The partitioning relation (44) contains only one parameter, the area fraction q [1] of segment S [1] , in addition to the overall mole fraction X a of the a-molecules. The chemical equilibrium relations, on the other hand, involves the function ∆G(X) and the affinity contrast ∆U 2,1 . The function ∆G(X) depends on the interaction parameters U aa , U ab , and U bb in the configurational energy (40) via the dimensionless temperaturē (12).
Therefore, for the lattice model considered here, the phase diagrams of the adhering membranes depend only on four parameters: (i) overall mole fraction X a , (ii) dimensionless temperatureT , (iii) area fraction q [1] , a purely geometric parameter, and (iv) affinity contrat ∆U 2,1 .
The four-dimensional parameter space is most easily explored via two-dimensional slices. In the following, we will display two-dimensional phase diagrams that depend on the overall mole fraction X a and on the rescaled temperatureT /T c = T /T c for fixed values of the area fraction q [1] and of the affinity contrast ∆U 2,1 , see  below. This choice is convenient because it allows a direct comparison with the phase diagram of the two-component membrane in a uniform environment. The latter phase diagram, which depends only on mole fraction X a and on temperature, is recovered for the limiting values q [1] = 0 and q [1] = 1 of the area fraction as well as for vanishing affinity contrast ∆U 2,1 = 0. In the following, we will use the term "uni-env membrane" as an abbreviation for "membrane in a uniform environment".
The phase diagrams in Figures 4-6 below are based on the exact binodals of the lattice binary model as described by (17) and on the exact values of the spectator phase mole fractions X [1] a, * and X [2] a, * as given by (63)-(66) and (56)-(59) for small and large values of the affinity contrast. Therefore, the phase diagrams in Figures 4-6 are exact as well. In contrast, the phase diagrams in Figure 7 are based on the mean-field approximation.
In all phase diagrams displayed in Figures 4-7 below, the two coexistence regions for the membrane segments are distinguished by their color: the coexistence regions of segment S [1] are blue whereas the coexistence regions of segment S [2] are red. Furthermore, the remaining white regions in the phase diagrams represent one-phase regions, in which the membranes attain uniform compositions without domains.  [2] − ∆U [1] and fixed area fraction q [1] = 0.7 of membrane segment S [1] . The blue and red regions represent the two-phase coexistence regions of segment S [1] and S [2] , respectively. Likewise, the blue and red curves correspond to the binodal lines for these two segments. Positive values of ∆U 2,1 imply that the a-molecules prefer to stay in segment S [1] corresponding to the unbound segments in Figure 2 and Figure 3a as well as to the weakly bound segment in Figure 3b. Therefore, as one increases the mole fraction X a starting from X a = 0, one first enters the blue coexistence region for segment S [1] and subsequently the red coexistence region for segment S [2] . The two critical points depicted in (b) merge in the limit of vanishing affinity contrast, ∆U 2,1 = 0. The broken line in (a) represents the binodals for the coexistence region of the uni-env membrane, i.e., for the same two-component membrane in a uniform environment; in (b), the broken line is masked by the blue and red binodals. For T > 0, the blue and red coexistence regions in (a) and (b) are separated by an intermediate one-phase region, in which the adhering membrane does not undergo phase separation even though the uni-env membrane does.

Phase Diagrams for Positive Affinity Contrasts
In Figure 4, we display the phase diagrams of adhering membranes in the (X a , T /T c )-plane as obtained from the lattice binary mixture for small and large positive values of the affinity contrast ∆U 2,1 = ∆U [2] − ∆U [1] keeping the area fraction q [1] of segment S [1] constant. The relative affinities ∆U [m] are related to the molecular interaction potentials U Because we use the sign convention that attractive interaction potentials are negative, see (32), the second inequality in (67) applies to systems, in which the b-molecules prefer to stay in segment S [2] while the a-molecules prefer to stay in segment S [1] . Therefore, as one increases the mole fraction X a starting from X a = 0, the a-molecules are first enriched in segment S [1] , which then undergoes phase separation leading to the blue coexistence regions in Figure 4.
For large positive values of the affinity contrast ∆U 2,1 as shown in Figure 4a, the two coexistence regions differ only in their width but have the same shape. For small positive values of U 2,1 as shown in Figure 4b, the two coexistence regions provide a decomposition of the coexistence region of the uni-env membrane, the latter being depicted by the broken line in Figure 4a.  Figure 4(a). As one varies the parameter q [1] from q [1] = 0 up to q [1] = 1, the coexistence regions smoothly evolve from a single red region for segment S [2] to a single blue region for segment S [1] . As in Figure 4, the broken line represents the binodals of the coexistence region for the uni-env membrane, i.e., for the same two-component membrane in a uniform environment.
The phase diagrams in Figure 4 correspond to fixed area fraction q [1] = A [1] /A = 0.7. In general, this area fraction can vary in the range 0 ≤ q [1] ≤ 1. In Figure 5, we show how the phase diagram evolves with increasing values of q [1] for large, positive values of the affinity contrast ∆U 2,1 . For q [1] = 0, the adhering membrane consists of segment S [2] only and we are left with the red coexistence region only. For small nonzero values of q [1] , a narrow blue region appears at small values of X a , see Figure 5a. As we further increase the area fraction q [1] and, thus, the relative size of segment S [1] , the blue region grows at the expense of the red region, see Figure 5b-d. Finally, as we reach the limiting value q [1] = 1, the adhering membrane consists only of segment S [1] and we are left with the blue coexistence region only. Thus, as we change the area fraction q [1] for fixed affinity contrast ∆U 2,1 , the phase diagram in the (X a , T /T c )-plane evolves smoothly for all values of q [1] including the limiting values q [1] = 0 and q [1] = 1. In the latter cases, we recover the coexistence region for the uni-env membrane as depicted by the broken line in Figure 5.
All phase diagrams shown in Figures 4 and 5 have the same topology: the single coexistence region for the uni-env membrane, i.e., the membrane in a uniform environment, is replaced, for nonzero affinity contrast ∆U 2,1 , by two coexistence regions, a blue one for segment S [1] and a red one for segment S [2] . For T > 0, these two coexistence regions are separated by an intermediate one-phase region that lies within the coexistence region of the uni-env membrane. This generic topology of the phase diagrams has interesting consequences for experimental observations. Thus, consider a two-component membrane that is phase separated when exposed to a uniform environment. After this membrane is segmented by adhesion, the phase separation is restricted to one of the two membrane segments, i.e., phase separation can be observed either in segment S [1] or in segment S [2] but not in both segments simultaneously. Furthermore, for mole fractions and temperatures that correspond to the intermediate one-phase regions between the two coexistence regions of the membrane segments, the phase separation in the uni-env membrane is suppressed by the adhesion-induced segmentation.

Phase Diagrams for Negative Affinity Contrasts
In Figure 6, we display the phase diagrams of adhering membranes in the (X a , T /T c )-plane as obtained from the lattice model for small and large negative values of the affinity contrast ∆U 2,1 = ∆U [2] − ∆U [1] keeping the area fraction q [1] of segment S [1] constant. When the relative affinities ∆U [m] are expressed in terms of the molecular interaction energies U b , we now find that Because we use the sign convention that attractive interaction energies are negative, see (32), the second inequality in (68) applies to systems, in which the a-molecules prefer to stay in segment S [2] while the b-molecules prefer to stay in segment S [1] . Therefore, as one increases the mole fraction X a starting from X a = 0, the a-molecules are first enriched in segment S [2] , which then undergoes phase separation leading to the red coexistence regions in Figure 6. The phase diagrams for negative values of the affinity contrast are intimately related to those for positive values. This relation can be understood as follows. Instead of changing the sign of the affinity contrast ∆U 2,1 , we could also interchange the names of the aand the b-molecules. We would then obtain the same phase diagrams as in Figures 4 and 5 but with X a replaced by X b . If we now redraw these diagrams in terms of X a = 1 − X b , we swap the relative positions of the blue and red coexistence regions and recover the phase diagrams for negative values of the affinity contrast as shown in Figure 6. Figure 6. Exact phase diagrams of the lattice model for adhering membranes as a function of area fraction X a and reduced temperature T /T c for (a) large and (b) small negative values of the affinity contrast ∆U 2,1 and fixed area fraction q [1] = 0.7. Negative values of ∆U 2,1 imply that the a-molecules prefer to stay in membrane segment S [2] , corresponding to the bound segments in Figure 2 and Figure 3a as well as to the strongly bound segment in Figure 3b. The blue and red regions again represent the two-phase coexistence regions of the segments S [1] and S [2] , respectively, but, compared to Figures 4 and 5, these two coexistence regions have now swapped their relative positions.

Phase Behavior for Variable Affinity Contrasts
The variation of the area fraction q [1] for fixed affinity contrast U 2,1 leads to a smooth evolution of the coexistence regions in the (X a , T /T c )-plane as shown in Figure 5. In contrast, the coexistence regions undergo abrupt changes as we vary the affinity contrast ∆U 2,1 from small positive to small negative values, or vice versa, for fixed values of the area fraction q [1] .
As an example, consider the phase diagram for small negative affinity contrasts ∆U 2,1 and q [1] = 0.7 as shown in Figure 6b. This phase diagram exhibits a relatively narrow red coexistence region for mole fractions X a in the range 0 X a 0.3 and a relatively broad blue coexistence region for mole fractions within 0.3 X a 1, separated by a very narrow one-phase region. For vanishing affinity contrast ∆U 2,1 = 0, this one-phase region has disappeared and the red and blue regions have merged into the single coexistence region for the uni-env membrane, see broken lines in Figures 4 and 6. Finally, for small positive affinity contrasts ∆U 2,1 , the blue and the red coexistence regions swap their relative positions: the relatively broad blue coexistence region is now located at 0 X a 0.7 and the relatively narrow red coexistence region at 0.7 X a 1. Thus, as we change the sign of the affinity contrast, the phase diagrams change in an abrupt and discontinuous manner.
The abrupt changes of the (X a , T /T c ) phase diagrams arising from variations of the affinity contrast are limited to the vicinity of ∆U 2,1 = 0. Indeed, as long as we do not cross ∆U 2,1 = 0, a continuous change of the affinity contrast ∆U 2,1 leads to a smooth variation of the two coexistence regions within the (X a , T /T c )-plane. This latter property is illustrated in Figure 7, which displays such a smooth variation for negative values of U 2,1 as obtained from the mean-field approximation to the lattice model defined in Section 5.2. of these subfigures shows that the blue and red coexistence regions for the two membrane segments change smoothly as the affinity contrast is increased from large negative to small negative values. Furthermore, in the limit of vanishing affinity contrast, the two coexistence regions merge into the single region for the uni-env membrane as described by the broken black lines in (a-d).

Summary and Outlook
In this paper, we first emphasized that the adhesion of membranes often leads to two membrane segments, denoted by S [1] and S [2] , that are in contact with two different environments. Examples are provided by the adhesion of vesicles, see Figure 2, by hole-or pore-spanning membranes, see Figure 3a, and by membranes supported by chemically patterned surfaces, see Figure 3b. We then studied how these adhesion geometries affect the phase behavior of two-component membranes and vesicles.
Our theoretical analysis was based on the configurational energies E [1] and E [2] for the two membrane segments as described by the expression (39), which generalizes the standard lattice model for binary mixtures to the different adhesion geometries considered here. In the configurational energies E [1] and E [2] , the interactions of the aand b-molecules with the different environments are taken into account by the relative affinities ∆U [1] and ∆U [2] as defined in (33). These relative affinities shift the relative chemical potential ∆µ = µ a − µ b for the aand b-molecules within the two membrane segments. From these shifts alone, we can conclude that the two membrane segments undergo two distinct phase transitions for ∆U [1] = ∆U [2] as follows from the relations in (42).
In order to obtain theoretical predictions that are accessible to experiments, we then considered the mole fractions X [1] a and X [2] a in the two membrane segments and showed how these mole fractions determine the phase diagrams as a function of the overall mole fraction X a and the dimenionsless temperatureT via the partitioning relation (44) and the chemical equilibrium between the two membrane segments. As a result, we found that the phase behavior of the adhering membranes depends, in general, on four parameters: overall mole fraction X a , temperatureT , area fraction q [1] , and affinity contrast ∆U 2,1 = ∆U [2] − ∆U [1] as defined in (49).
For the generic case of nonzero affinity contrast, the phase diagrams for the adhering membranes contain two distinct coexistence regions in the (X a ,T )-plane separated by an intermediate one-phase region as shown in Figures 4-7. These different regions evolve smoothly as one changes one of the four parameters except for variations of the affinity contrast ∆U 2,1 across the hyperplane defined by ∆U 2,1 = 0. The latter behavior is illustrated by the phase diagrams in Figures 4b and 6b, which correspond to small positive and small negative values of the affinity contrast, respectively.
All phase diagrams shown in Figures 4-7 have the same topology. This universality has interesting consequences for experimental observations. Thus, consider a two-component membrane or vesicle that is phase separated when exposed to a uniform environment. When this membrane or vesicle is brought into contact with two different environments that lead to a nonzero affinity contrast, see the examples in Figure 2 or Figure 3, the phase separation is confined to one of the two membrane segments, i.e., phase separation may be observed either in segment S [1] or in segment S [2] but not in both segments simultaneously. Furthermore, if the mole fraction and temperature of the adhering membrane belong to the intermediate one-phase region between the two two-phase coexistence regions in the (X a ,T )-plane, phase separation and domain formation are suppressed by the adhesion-induced segmentation. In this way, we predict generic features of the adhesion-induced phase behavior that can be scrutinized by experiment.
The theory described here can be extended and generalized in several ways. First, it is possible to study the dynamics of the phase separation processes, which proceed via the formation and coarsening of intramembrane domains within the two membrane segments, by simulations of the lattice model. We have already performed preliminary Monte Carlo simulations that support the phase diagrams described in this paper. Second, one can apply the theoretical approach used here for the lattice binary mixture to any two-component membrane. One exampe is provided by binary cholesterol/DPPC mixtures, for which the phase diagram in Figure 1 has been deduced [5,8]. This phase diagram is primarily based on nuclear magnetic resonance measurements, which reveal intramembrane domains. In the study presented here, we adopted the view that these domains arise from phase separation into liquid-ordered and liquid-disordered phases in agreement with the latest data analysis [5] and the recent review in [8]. It has also been suggested that the domains may arise via different mechanisms such as enhanced composition fluctuations or the formation of molecular complexes as reviewed in [6]. The experimental confirmation of the adhesion-induced phase behavior described here would provide rather strong evidence for domain formation via phase separation. Third, our theory can be extended to membranes in contact with an arbitrary number of environments as well as to membranes containing three or more molecular components as will be shown elsewhere.
For two-component membranes exposed to two different environments as considered here, the phase diagrams depend on four parameters, three of which are easy to determine experimentally. Indeed, the mole fraction X a the temperature T are standard thermodynamic control parameters while the area fraction q [1] can be controlled by the design of the adhesion system. The remaining parameter provided by the affinity contrast ∆U 2,1 could also be determined experimentally. For adhering vesicles, for instance, one can measure the adhesion energy of the bound membrane segment for different membrane compositions, from which the relative affinities of the bound membrane segment and, thus, the affinity contrast can be deduced. Alternatively, one may also obtain these relative affinities from molecular dynamics simulations of atomistically resolved membranes.

A. Spherical Cap Shape of Adhering Vesicles
In this appendix, we consider the spherical cap shape of an adhering vesicle in the strong adhesion regime as shown in Figure 2 and collect a few simple geometric relations.
First, the area fractions A [1] /A and A [2] /A can be expressed in terms of the effective contact angle θ eff via Inverting this latter relation numerically, one obtains cos(θ eff ) = f (v) (72) as shown in Figure A1a. When (72) is inserted into (28), the area ratio q [1] assumes the form for 0 ≤ v ≤ 1 as displayed in Figure A1b. For v = 0, the vesicle has a pancake shape with contact angle θ eff = 0 and area fraction q [1] = 1 2 , for v = 1, it has a spherical shape with θ eff = π and q [1] = 1. The relation (73) shows that the area fractions can be directly determined by measuring the effective contact angle θ eff .
For constant area A and volume V, the areas A [1] and A [2] of the two membrane areas are fixed. On the other hand, if the volume of the adhering vesicle is changed by osmotic inflation or deflation, its contact area will decrease and increase, respectively, as described by relation (73) and shown in Figure A1b. Therefore, the vesicle volume provides an experimentally accessible control parameter that can be used to change the area fraction q [1] . Figure A1. Spherical cap geometry: (a) Cosine of the effective contact angle θ eff and (b) Area fractions q [1] = A [1] /A and q [2] = A [2] /A of the unbound [1]-segment and the bound [2]-segment as a function of reduced vesicle volume v.