Image Anal Stereol 2010;29:143-157 Original Research Paper NEW MEAN VALUES FOR HOMOGENEOUS SPATIAL TESSELLATIONS THAT ARE STABLE UNDER ITERATION Christoph ThAAle1 and Viola Weiss2 1 Departement de Mathematiques, Chemin du Musee 23, Universite de Fribourg, CH-1700 Fribourg, Suisse; 2Fachbereich Grundlagenwissenschaften, Carl-Zeiss-Promenade 2, Fachhochschule Jena, D-07745 Jena, Deutschland e-mail: christoph.thaele@unifr.ch, viola.weiss@fh-jena.de (Accepted July 27, 2010) ABSTRACT Homogeneous random tessellations in the 3-dimensional Euclidean space are considered that are stable under iteration - STIT tessellations. A classification of vertices, segments and flats is introduced and a couple of new metric and topological mean values for them and for the typical cell are calculated. They are illustrated by two examples, the isotropic and the cuboid case. Several extremum problems for these mean values are solved with the help of techniques from convex geometry by introducing an associated zonoid for STIT tessellations. Keywords: convex geometry, iteration/nesting, mean values, random tessellation, spatial statistics, stochastic geometry, zonoid. INTRODUCTION A central problem in stochastic geometry is the development of mathematical models for random structures whose properties are mathematically feasible and not only accessible by simulation. A standard example, where this account is fulfilled is the so-called Boolean model, (see Stoyan et al., 1995; Schneider and Weil, 2008). Mathematically well developed models for random tessellations are Poisson line or plane tessellations and Poisson-Voronoi tessellations. Since random tessellations can successfully be applied in material sciences, geology or biology (Stoyan et al., 1995), our problem mentioned at the beginning arises especially in the theory of random tessellations. Particular structures modeled by random tessellations are single-phase polyhedral microstructures, foams, systems of cracks (joints, fissures) in rocks, craquelee of thin layers or systems of cells. However, the two mathematically manageable standard models for random tessellations, the Poisson line or plane and the Poisson-Voronoi tessellation, seem not in any case to serve the best choices for idealized mathematical models regarding the above mentioned examples. This is mainly due to the fact that their cells are face-to-face (see the definition below). Simulations of random tessellations which are not face-to-face are shown in Figs. 1 and 4, whereas in contrast Fig. 3 shows a realization of a face-to-face tessellation in R3. Fig. 1. A i^ea^^iza^^ion of a homog^eneous a^nd isotropic STIT tessellation. The underlying models used here for the non-face-to-face cases are random tessellations which are stable under the operation of iteration - so-called STIT tessellations. They were formally introduced by Nagel and Weiss (2005). In later papers Nagel and Weiss (2006; 2008) have shown that many mean values can be obtained from the characteristic stability property of the tessellations by writing and solving certain balance equations. Because ofthat, random STIT tessellations have the potential to serve as a new mathematical reference model - besides Poisson line or plane and Poisson-Voronoi tessellations - for random structures tessellating the plane or the space. It is the aim of the present paper to continue the work of Nagel and Weiss (2006) and especially that of Nagel and Weiss (2008) by calculating further mean values for random STIT tessellations in the 3-dimensional Euclidean space. We will generalize the planar concept of so-called /-, J- and K-segments introduced in Mackisack and Miles (1996) by considering in the spatial case four types of segments and three different types of facets, called flats here. Moreover, we will distinguish between two types of vertices, the T-type and X-type vertices. It is one of the main purposes of the present paper to find mean values which allow a topological characterization of the different types of vertices, segments and flats. Because STIT tessellations are not face-to-face there are interesting multifaceted new effects, for example it appears that the interior of a cell-facet contains vertices and edges. We will explore some of these effects below. Another class of problems the paper deals with concerns extrema for the considered mean values. STIT tessellations are characterized by their surface intensity and by their so-called directional distribution and the metric mean values depend on both parameters. For a fixed surface intensity it is interesting to ask for which choices of directional distributions these mean values become minimal. Similar questions were studied in the literature for Poisson line, plane or even hyperplane tessellations before, see Schneider and Weil (2008). The answer to these questions can be given with the help of an associated convex body - the Steiner compact - and two inequalities known from convex geometry. The paper is structured as follows: After a short introduction on spatial random tessellations we rephrase the definition of STIT tessellations and recall some of their main features which are frequently used later. Afterwards, we introduce the different types of vertices, segments and flats appearing in spatial STIT tessellations. Subsequently their mean values are calculated, summarized for clearness and specialized for two particular examples. Extremum problems for the metric mean values will be discussed at the end of the paper by introducing an associated zonoid for STIT tessellations. SPATIAL RANDOM TESSELLATIONS AND BASIC NOTATION A tessellation of the 3-dimensional Euclidean space is a countable and locally finite family of convex polytopes, the cells of the tessellation. They cover the whole space and have pairwise no common interior points. The primitive elements of a tessellation are the vertices, edges, plates and cells. The edges are line segments with no vertices in their relative interior and the plates are convex polygons with no vertices and edges in their relative interior The boundary of a plate consists of vertices and edges. With a spatial tessellation we can associate a family of ^-networks for Ä = 0,1,2, where a ^-network is the union of the primitive elements of dimension k of the tessellation. We denote by V, E, P, C the class of vertices, edges, plates and cells of a tessellation, respectively. An object of a class X is often referred to as "an object of type )C\X(i{V,E,P,C}. Our definition does not exclude that on the boundary of a plate for example there could appear additional vertices {i.e., elements from the 0-network) which are no comers of the polygon. This is the case when the cells of the tessellation are not face-to-face, see Schneider and Weil (2008, p. 447) for a formal definition and Fig. 2 for an illustration. To avoid terminological confiasion and to distinguish between the primitive elements and the boundary structure of polygons and polytopes, we call the 0-faces of a polygon or a polytope its corners. The 1-faces of a polygon are its sides and the 1-faces of a polytope are called its ridges. Furthermore, we call the 2-dimensional faces of a spatial polytope its facets. Fig. 2. Cells that are not face-to-face. Spatial random tessellations were formally introduced in Schneider and Weil (2008) or Stoyan et al. (1995). They can be seen as random variables with values in the measurable space of spatial tessellations. Similarly to the case of deterministic tessellations we can consider also for random tessellations the collection of cells (formally the 3-network) and the 0-, 1- and 2-network. In this paper we will only consider homogeneous random tessellations, whereby we require the distribution of the tessellation to be invariant under the group of all translations in R^. Moreover, a random tessellation is said to be isotropic, if its distribution is invariant under the group 50(3) of all rotations in R^. In the homogeneous (and not necessarily isotropic case) the technique of Palm distributions allows us to speak of the typical vertex, edge, plate or cell of a random tessellation. For example the typical vertex can be interpreted as a vertex 'uniformly' chosen from the 0-network in a very large observation window (this can be made precise in the usual sense of ergodic theory by considering the uniform distribution on the set of vertices in a large observation window and by letting the diameter of this window tend to infinity together with a suitable renormalization). Whenever in this paper the word typical appears, it refers to such a definition. For the mathematically exact theory we cite again Schneider and Weil (2008) or Stoyan etal. (1995). To define mean values for typical objects of a random tessellation, we have to formalize in advance the concept of adjacent objects. An object x of type X is said to be adjacent to an object / of type Y if either x2. The finite-volume construction can be understood as a process of sequential cell division at random times. At time ? = 0 the construction starts with a compact convex polytopal window C M^, for example a cube or a ball. After a random lifetime ti that is exponentially distributed (with parameter related to the geometry of W and the directional distribution 31) a random plane with directional distribution is introduced in W, thus W splits into two new polytopes and cell-facets (at their birth time also plates) are bom with birth time ti. Then, sequentially, all extant polytopes ,..., with the respective birth times ...,/jt are divided independently of each other in the same way. The lifetime of Wi is a random variable, exponentially distributed and with parameter depending on the geometry of Wi and the previously fixed directional distribution (when constructing an isotropic tessellation, this lifetime is proportional to the mean breadth of the respective cell). At the end of its lifetime, the polytope Wi is subdivided by a random plane, which is chopped of by the boundary of the cell, Wi dies and two new polytopes and cell-facets are bom. The state at a fixed time ? > 0 is a tessellation of W, in the sequel denoted by It can be shown that IV) is consistent in W, which means that it is independent of W and there exists a homogeneous random tessellation €>(t) of the whole space R^ such that the stability property with respect to (rescaled) iteration. D (D(t, JV) = n w, D with = standing for equality in distributions. Remarkably, the tessellations W) and enjoy Fig. 4. A realization of a homogeneous and anisotropic STIT tessellation whose directional distribution is concentrated with equal weight to the three coordinate directions. The algorithmic constmction of STIT tessellations in polytopal windows described above immediately leads to an effective simulation algorithm. This algorithm was used to create the simulations shown in Figs. 1 and 4. A direct global constmction of a whole-space STIT tessellations was found in Mecke et al (2008a) and Mecke et al. (2008b). Some mean values for homogeneous random STIT tessellations in the plane appeared in Nagel and Weiss (2006) and for the spatial case in Nagel and Weiss (2008). Some of the therein obtained formulas will be recalled in a later section. We will now list some of the key-properties of STIT tessellations, which are important for the present paper. We will formulate them for the 3-dimensional case, even if they are valid for arbitrary space dimensions: - The law of a homogeneous random STIT tessellation in R^ is uniquely determined by its surface intensity 0 < 5v < and by a probability measure on the upper half-sphere S^, whose support is not concentrated on a great half-subsphere. The measure 31 describes the distribution of the direction of the unit normal vector at a uniformly chosen point (the so-called typical point with respect to the boundary measure of cells) of the 2-network associated with the tessellation and Sy is the mean total surface area of cell boundaries per unit volume. - The interior of the typical cell of a spatial homogeneous random STIT tessellation has the same distribution as the interior of the Poisson polytope with parameters SV and R. This means that mean volume, mean surface area and length of the edge skeleton of the typical cell of a STIT tessellation are the same as for the Poisson polytope. The difference between STIT and Poisson plane tessellations arises from the mutual arrangement of the cells (compare Figs. 1 and 4 with Fig. 3) which implies that the topological parameters, such as the mean number of vertices, edges and plates adjacent to the typical cell, will differ. - The cells of STIT tessellations are not face-to-face, which means that the intersection of two cells with a common plate is not necessarily a cell-facet of both cells. An example of two cells that are not face-to-face is shown in Fig. 2. - The intersection of a homogeneous STIT tessellation in R3 with a plane induces a homogeneous random STIT tessellation in this intersection plane. The induced random tessellation will be isotropic, whenever the spatial tessellation is isotropic, too. If we intersect a homogeneous random STIT tessellation in R3 with a line g, we obtain a homogeneous Poisson point process on g. For details on STIT tessellations we refer to Nagel and Weiss (2005), Nagel and Weiss (2006), Mecke et al. (2007), Nagel and Weiss (2008), Mecke et e^^. (2008a) and Mecke ete^^. (2008b), Mecke (2009), Thale (2009) or Schreiber and Thale (2010). Also Schneider and Weil (2008), pp. 469-470 contains some comments on STIT tessellations. In Weiss and Cowan (paper submitted for publication), a systematic study of spatial homogeneous tessellations which are not face-to-face is undertaken. STIT tessellations are considered there as one particular example and the results for mean values are deduced from rather general formulae. In the current paper, the mean values for STIT tessellations will be derived from the topology and the special properties of these tessellations. Furthermore, Weiss and Cowan do not consider what we later call I-segments and I-flats. TYPES OF VERTICES Homogeneous planar STIT tessellations only have T-shaped vertices, which means that in any vertex there are three outgoing edges and two of them are collinear. From the construction of a STIT tessellation given above it follows that a homogeneous spatial STIT tessellation has two different types of vertices, namely - T-vertices and - X-vertices. A T-vertex appears on a ridge of a cell, when this cell is intersected by a plate which is born, whereas an X-vertex emerges, when two plates born in two neighboring cells intersect in the relative interior of a common plate of the two cells. These two possible situations are illustrated in Fig. 5. Note that the notion of a T- or X-vertex is based on the plates which create that vertex. The two types of vertices and the geometric differences between them are essential for our further considerations as will be seen below. Fig. 5. A T-vertex (top) and an X-vertex (bottom). The intensities of T- and X-type vertices, i.e., mean number of T- and X-vertices per unit volume, are denoted by Iv^j and Ivx, respectively. Furthermore, 1v = Iv^^T + Iv^^x is the intensity of vertices, meaning the mean number of vertices of the tessellation per unit volume. TYPES OF SEGMENTS For planar tessellations whose cells are not in a face-to-face position, Mackisack and Miles (1996) introduced a classification of the linear segments of the 1-network associated with the tessellation. More precisely, they introduced the notion of I-, J- and i^-segments for the planar case. For spatial STIT tessellations we introduce now a similar concept and make the following classification for segments contained in the 1-dimensional network of the 3-dimensional STIT tessellation: - a K-segment is an edge of the tessellation, that means it is a linear segment in the 1-network between two vertices but with no fiarther vertex in its relative interior, - an I-segnient is the maximal union of connected and collinear i^-segments, that means it cannot be enlarged by another collinear i^-segment (alternatively, the /-segments are the sides of the plates bom during the spatio-temporal construction of STIT tessellations explained earlier), - a -segment is a side of a plate and - a -segment is a ridge of a cell, see Fig. 6. Fig. 6. Each time two K-segments (red), -segments (cyan), -segments (yellow) and I-segments (green). Note that the class of i^-segments is equal to the class of edges E of the tessellation. The J-segments are 1-dimensional faces, i.e., the sides, of the primitive elements of the tessellation, of the 2-dimensional primitive elements, the plates, and that of the 3-dimensional primitive elements, the cells. It is important to point out that the point processes formed by the collection of all and segment midpoints, respectively, is not simple, which means that the segments are counted with multiplicity according to the number of plates or cells they belong to. Fig. 7. A plate (red) with a proper ß^") -segment (cyan) on its boundary. In Fig. 7 it is illustrated that the classes and do not coincide, by constructing a 'proper' segment, i.e., one which is not a K-, or /-segment at the same time. To see it, observe at first that the cyan segment in Fig. 7 is a side of the red plate, hence a -segment. Further note, that it has a vertices in its relative interior, hence it is not a /T-segment, it is also not a ridge of any of the involved cells, thus, it cannot be a -segment. Moreover, it can be enlarged by another collinear /T-segment, which means that it cannot be an /-segment. The classes of K-, /-, and -segments are denoted by i^i, /i, Jf^ and \ respectively. For Y G the intensity of F-segments, i.e., the mean number of F-segment midpoints per unit volume is denoted by Xy^. The mean length of the typical F-segment is Ly^ and analogously to the concept of adjacent objects, the mean number of vertices in the relative interior of the typical F-segment is denoted by N, 'relint{Yi),V- TYPES OF FLATS In referring to the different types of segments we consider now the 2-dimensional network associated with a random STIT tessellation and introduce the following classification of the different types of plates (we call them ßats here in order to distinguish between them, the primitive plates and the faces and facets of the cells): - a K-ßat is a plate of the tessellation, that means it is a 2-dimensional convex polygon bounded by edges of the 1-network and without edges and vertices in its relative interior, - a J-ßat is a facet of a cell and - an I-ßat is the maximal union of coplanar and connected i^-flats and cannot be enlarged by another coplanar i^-flat, see Fig. 8. Alternatively, I-flats are the polygons bom during the construction of a STIT tessellation homogeneously in time. Fig. 8. A K-ßat (red), a J-ßat (blue) and an I-ßat (green). Note, that by definition the sides of a i^-flat are -segments, -segments coincide with the sides of 7-flats and /-flats are surrounded by /-segments. Moreover, the class of /T-flats is equal to the class P of plates and the collection of 7-flats corresponds to the class of cell-facets. Again, the homogeneous point process of 7-flat centroids is not a simple one in general, since one plate can be a common facet of two neighboring cells. From now on we denote by K2, J2 and /2 the classes of /T-flats, 7-flats and /-flats, respectively, i.e., we use the subscript 2 to make clear the dimension of the objects under consideration in order to distinguish between flats and segments, where for the latter we have used the subscript 1 already in the last section. By Xx2 we denote the intensity of A'-flats, i.e., the mean number of A'-flats per unit volume (this is the mean number of A'-flats centroids per unit volume) and by Ax2 and /7^2 the mean area and perimeter of the typical X-Üat, where X stands for one of the literals K, 7 or / Furthermore, let A'^ 'elint(X2),V and M bd{X2),V be the mean number of vertices in the relative interior or on the boundary of the typical A'-flat, respectively. The mean number of edges in the relative interior or on the boundary of the typical A'-flat is denoted by Keiint(X2),E and respectively, with X G {K,J,/}, where we say that an edge ee E is located in the relative interior of an X-Üat x^ Xii relint{e) C relint{x). Moreover we introduce A^/^^p and Nj2^p for the mean number of plates adjacent to the typical J-flat or the typical /-flat, respectively. PARAMETERS FOR CELLS We will also derive some new topological mean values for the typical cell of a spatial STIT tessellation. As already mentioned in the section on STIT tessellations, the typical cell of a STIT tessellation and the Poisson polytope of a Poisson plane tessellation with the same surface intensity share the same metric mean values, such as mean volume, mean surface area and mean length of the edge skeleton. For this reason we will restrict our attention to the topological parameters. We denote by sk{c) the 1-dimensional boundary, i.e., the edge skeleton of objects c of class C. We are interested in the following topological mean values: The mean number of vertices N^k(C),v and the mean number of edges Ngk{C),E on the edge skeleton of the typical cell. SUMMARY OF NOTATION For clarity we summarize here the notation mostly introduced so far. Let Ye and {K,J,I}. Furthermore we use the abbreviations p.u.v. for 'per unit volume', typ. for 'typical' and ri. for relative interior. Intensities: 5v - surface intensity, i.e., mean total surface area p.u.v. Ly - edge length intensity, i.e., mean total edge length p.u.v. Xy, ?iE, Ap, Ac - mean number of vertices, edges, plates, cells p.u.v. Xvj-,Xvx - mean number of T-, X- vertices p.u.v. Ayj, Xx2 - mean number of F-segments and A'-flats p.u.v. Typical objects: Ly^ - mean length of the typ. F-segment Ax2, Ux2 - mean area and mean perimeter of the typ. X-fiat Vk{X),Vk{C) - mean number of ^-dimensional polytope face(t)s of the typ. A'-flat {k = 0,1) and the typ. cell (if= 0,1,2) Adjacent objects: ^0i,02 ~ mean number of primitive objects of type O2 adjacent to the typ. object of type Oi, Oi, O2 G {V,E,P,C}: Nreiint(Yi),v " mean number of vertices in the r.i. of the typ. F-segment Nreiint{X2),v, ^bd(X2),v " mean number of vertices in the r.i. and on the boundary of the typ. X-Üat ^reiint(X2),E ~ mean number of edges in the r.i. of rV). X-~ the typ. X-flat Nj^^P, Nj^^p - mean number of plates adjacent to the typ. 7-flat or to the typ. /-flat, respectively ^sk(C),v-' ^sk(C),E ~ mean number of vertices or edges, respectively, in the edge skeleton of the typ. cefl The following mean value relations can easily be derived: NY„v = N,,unt{Y,),v + ^ and Ny,,e = K relint{Yi),V + 1 for the mean number of vertices and edges in the relative interior of the typical F-segment, ^hd{X2),E = ^hd{X2),V for the mean number of edges on the boundary of the typical X-Üat, Nx2,V = N, 'elint{X2 ),V + J^bd(X2), V and ^X2,E = Kelint(X2),E + ^bd{X2),V for the mean number of vertices and edges adjacent to the typical X-Üat. where the integration is always over S^ and [ui,U2] denotes the area of the parallelogram spanned by ui and U2 and [ui, 02,03] is the volume of the parallelepiped spanned by the vectors ui, U2 and it^ (in the terminology of Schneider and Weil, 2008, [ui, U2] and [ui,u2,u3] are subspace determinants). These two constants reflect the influence of the directional distribution on the mean values of the random tesseflation. In the isotropic case these constants have the particular values = and = n/8 as can be concluded from Thm. 4.6.5 in Schneider and Weil (2008). The following formulas for mean values for homogeneous spatial STIT tessellations were already proved in Nagel and Weiss (2008): Xv = 25VC3' 75vC3' Xe = 25y^3, Le = Up = Ap = 6 1 Np^v = Np^E = NQE = 36, 36 752 C3 ' Nc,v = 24, Nc,P = 14. Moreover, for the edge length intensity Iv we have Ly = KNOWN MEAN VALUES These values will be used in the sequel to derive further mean value formulas for STIT tessellations in 3D. We regard from now on a homogeneous spatial STIT tessellation 0(5v) with surface intensity 0 < 5v < and fixed directional distribution % which is a probability measure on the upper half-sphere S^, such that the set of directions in the support of spans the whole 3-dimensional space. We define the two constants ^2 and ^3 by C2 = jj[u,,u2mu,mdu2), C3 = ///, For completeness we recall now the values for the metric mean values of the typical cell. Denoting by Vole the mean volume, by Sc the mean surface area, by Uc the mean length of the edge-skeleton (perimeter) and by Be the mean breadth of the typical cell we have T/ 7 6 1 Uc = 18& Bc = 25v C3 ■ TOPOLOGY OF VERTICES The two different types of vertices and moreover their topology illustrated by Fig. 5 will play a crucial role. For later reference, we summarize now some of their most important properties. We start with the T-type vertices and note that a T-vertex is ... ... an endpoint of 4 edges, ... an endpoint of 10 -segments and located in the relative interior of another -segment, ... an endpoint of 6 -segments and located in the relative interior of another -segment, ... an endpoint of 2 /-segments and located in the relative interior of a third one, ... a comer of 5 plates and located on the boundary (but no comer) of a sixth plate, ... a comer of 6 7-flats, located on the boundary (but no comer) of two other 7-flats and in the relative interior of a ninth one, ... a comer of one /-flat, located on the boundary (but no comer) of another /-flat and in the relative interior of a third one, ... a comer of 2 cefls, located on the edge skeleton (but no comer) of a third cell and in the relative interior of a cell-facet of a fourth one. X-type vertices have the following topological features: An X-vertex is ... ... an endpoint of 4 edges, ... an endpoint of 8 -segments and located in the relative interior of another two J^^^-segments, ... located in the relative interior of 4 -segments, ... located in the relative interior of 2 /-segments,, ... a comer of 4 plates and located on the boundary (but no comer) of two further plates, ... located on the boundary (but no comer) of 8 J-flat, ... located on the boundary (but no comer) of 2 I-flats and in the relative interior of a third one, ... located on the edge skeleton of 4 cells. These relationships will from now on be used frequently in the course of our considerations. NEW MEAN VALUES FOR VERTICES In this section we derive at first expressions for the intensities Xvj and Xvx, i-e., the mean number of Tand X-vertices per unit volume, respectively. To do so, recall that the mean total number of vertices per unit volume equals i.e., Xy = Xvj + ^Vx = We observe now that each T-vertex is a comer of exactly 2 cells and an X-vertex cannot be a comer of any cell. With Vo(C) = 8 we have 8Ac = and with Ac it foflows Xvj = 4Ac = and 2 1 Xvx = Xy-Xvj = - = Thus, for a spatial STIT tessellation we have obviously the proportion Xyj : Ä\/x = 2:1. Moreover, the following topological mean values are easily derived from the topology of vertices in a spatial STIT tessellation: JVvr,E = Nvx,E = 4, Nvt,P = Nvx,p = 6, and see Fig. 5. Nvt,C = Nvx,c = 4, NEW MEAN VALUES FOR TYPICAL SEGMENTS The present section is devoted to mean values for the four different types of segments introduced above. It is our aim to calculate their intensities, their mean lengths and the mean number of vertices in their relative interior, which are denoted by Aij, Ly^ and N, , respectively, where Y stands for one of the relint{Yi),V, literals from {/r,/3) Recall at first from the section on known mean values that and that 1 C2 Lk, = LE = 25v C3 ■ Moreover, it follows from the definition of i^-segments that Kelint{Ki),V = 0- We have seen above that each T-vertex is a comer of exactly 5 plates and each X-vertex is a comer of exactly 4 plates. Thus, we have XpVq{P) = and therefore the typical i^-flat has in the mean four comers, i.e.. = 3Z,v - recall Vo(F)=VO(Ä2)=4. With ApVo(F) = Xß) and ^pLp that each edge is contained in the boundary of exactly 3 edges and that 7-segments are counted with multiplicity - we obtain now A and L p = 9 C2 145v C3 ■ The typical i^-flat has in the mean ^ vertices on its boundary, Np^y Since - in the mean - 4 of them are comers of the plate (i^-flat) we get Ap f-4 2 7' i.e., in the mean, the typical -segment contains | vertices in its relative interior. From the property that a STIT tessellation has a Poisson-typical cell we get immediately Lj3) = 1 C2 from Stoyan et al. (1995) in the isotropic and Schneider and Weil (2008) in the anisotropic case. The fact that each edge is adjacent to two ridges of cells and that 7-segments are counted with multiplicities implies V " L 2U = 2SlC3. To obtain y we observe that 1^3) = 2Lk^, which yields We calculate now the intensity A/j, i.e., the mean number of /-segments per unit volume. To this end we notice that any T-vertex is the endpoint of exactly two /-segments and any /-segment has two endpoints and they are T-vertices. Thus 2A/j = iXvj, which leads to From the equation A/j I/j = Ly we get fiarthermore A/j 25VC3' Moreover, each T-vertex lies in the relative interior of exactly one I-segment and each X-vertex in the relative interior of exactly two. By taking into account the proportion of T- and X-vertices, we arrive at K 'relmt(I^),V ' ^Ii — 1 ' ^Vf + 2 • ^Vx — Hence, Nrelint{h),V = h = 2, meaning that the typical /-segment contains 2 vertices in its relative interior in the mean. Note, that this is in line with the observation that I/j =3Lk^. NEW MEAN VALUES FOR TYPICAL FLATS Mean values for the typical /T-flat were considered by Nagel and Weiss (2008). They obtained Xk2 AK2 = 36 5v _ 6 1 18 C2 Additionally, in the previous section we have shown that Vq{K2) = 4. Moreover, from the definition of K-fiats it follows Nrelint{K2),V = NreIint{K2),E = 0- We consider now the typical 7-flat. Since STIT tessellations have Poisson typical cells, the mean area of the typical 7-flat is the same as the mean area of a facet of the Poisson polytope, which is well known from the literature (see Stoyan et al, 1995, for the isotropic case and Schneider and Weil, 2008, p. 490, for the mean value in the anisotropic case). From this it follows 4 -Al ij and also Vo(72)=4, i.e., the typical 7-flat is in the mean a topological quadrangle. The intensity Xj^ can be calculated from the relation Xj^Aj^ = 25v, which yields hi = -^vCs- To consider the mean number of edges in the relative interior of the typical 7-flat, we use the following topological property of STIT tessellations: Any edge of the tessellation is adjacent to three cells. In one of them that edge is contained in the relative interior of a facet and in the two others it is contained on a ridge of these cells, in order that we obtain N, 'relint{J2),E Ml Next we remark, that any T-vertex is contained in the relative interior of exactly one 7-flat and that any X-vertex is contained in the relative interior of no 7-flat. This implies Ivt 2 J-^relint{J2),V = ^ = Any vertex of a STIT tessellation is located on the boundary of eight cell-facets. Therewith we obtain ^bd{J2),V - ^bd{J2),E - SA]/ The mean number of plates adjacent to the typical J-flat is given by 2lp 1 3' because each plate is a part of two 7-flats. Summarizing, we find for homogeneous spatial STIT tessellations the following mean value relation Now, we consider the typical /-flat, whose mean area is given by 6 1 This can heuristically be seen as follows (the mathematical justification of this approach is provided by Corollary 2 in Schreiber and Thäle, 2010): We regard the STIT tessellation under consideration as a time-augmented random process of Mats, where the flats are marked by their respective birth times jS G (0,5v) in referring to the construction explained in the section on STIT tessellations. Observe now, that conditioned on its birth time 0 < jS = 5 < 5v, the mean area Aj^ {ß = 5) of the typical /-flat is given by as follows from the fact that STIT tessellations have Poisson typical cells, the observation that sectional STIT tessellations are again stable under iteration and the known mean values for Poisson line and plane tessellations in Stoyan et al. (1995) or Schneider and Weil (2008). In order to obtain the unconditioned mean value Aj^ we have to integrate Ai^{ß = 5) with respect to all possible birth times. To this end we need the birth time distribution of the typical /-flat or its density Pß{-). To obtain a formula, note that from invariance reasons (homogeneity of the tessellation) it follows that the intensity Xi^ {ß < 5) of /-flats with birth time smaller than 5 equals cs^ with some universal constant c> 0 not depending on 5. Thus, by the definition of the mark distribution as given in Chap. 3.5 of Schneider and Weil (2008) we see that the birth time distribution is given by P(j8 < 5) = Xi2{ß