On the Construction of Linear Prewavelets over a Regular Triangulation.

Size: px
Start display at page:

Download "On the Construction of Linear Prewavelets over a Regular Triangulation."

Transcription

1 East Tennessee State University Digital East Tennessee State University Electronic Theses and Dissertations On the Construction of Linear Prewavelets over a Regular Triangulation. Qingbo Xue East Tennessee State University Follow this and additional works at: Recommended Citation Xue, Qingbo, "On the Construction of Linear Prewavelets over a Regular Triangulation." (2002). Electronic Theses and Dissertations. Paper This Thesis - Open Access is brought to you for free and open access by Digital East Tennessee State University. It has been accepted for inclusion in Electronic Theses and Dissertations by an authorized administrator of Digital East Tennessee State University. For more information, please contact dcadmin@etsu.edu.

2 On the Construction of Linear Prewavelets Over a Regular Triangulation A thesis presented to the faculty of the Department of Mathematics East Tennessee State University In partial fulfillment of the requirements for the degree Master of Science in Mathematical Sciences by Qingbo Xue August 2002 Dr. Don Hong, Chair Dr. James Boland, Co-Chair Dr. Robert Gardner Dr. Debra Knisley Keywords: Multiresolution, Prewavelets, Piecewise linear splines, Trangulations, Local support

3 ABSTRACT On the Construction of Linear Prewavelets Over a Regular Triangulation by Qingbo Xue In this thesis, all the possible semi-prewavelets over uniform refinements of regular triangulations have been studied. A corresponding theorem is given to ensure the linear independence of a set of different pre-wavelets obtained by summing pairs of these semi-prewavelets. This provides efficient multiresolutions of the spaces of functions over various regular triangulation domains since the bases of the orthogonal complements of the coarse spaces can be constructed very easily. 2

4 Copyright by Qingbo Xue

5 DEDICATION This thesis is dedicated to Rui Cheng, my wife, and Haotian Xue, my son, who have supported my efforts to complete my graduate degree. Thanks for all your love and support. I love you. 4

6 ACKNOWLEDGMENTS A special thanks to my thesis advisor, Dr. Dong Hong, who has been patient with me through the entire process. And a word of thanks to the rest of my committee who has graciously given their time to support my thesis. 5

7 Contents ABSTRACT 2 COPYRIGHT 3 DEDICATION 4 ACKNOWLEDGMENTS 5 LIST OF FIGURES 7 1. Introduction Basic Concepts Multiresolution of Linear Spline Spaces over r-triangulations Semi-prewavelets Examples BIBLIOGRAPHY 41 VITA 43 6

8 List of Figures 1 An r-triangulation The first refinement of the r-triangulation in Figure Interior vertex a 1 and its support Boundary vertices and their supports Semi-prewavelet SPW(I6) Semi-prewavelet SPW(B2) Semi-prewavelet SPW(B3[1]), SPW(B3[2]) Semi-prewavelet SPW(B4[1]), SPW(B4[2]) Semi-prewavelet SPW(B5[1]), SPW(B5[2]), and SPW(B5[3]) Semi-prewavelet SPW(B6[1]), SPW(B6[2]) and SPW(B6[3]) (q = ) Pre-wavelet PW(I6,B3) Pre-wavelet PW(B4,B2) Pre-wavelet PW(B4,B4) Pre-wavelet PW(I6,B4) Pre-wavelet PW(B5,B2)

9 16 Pre-wavelet PW(B5,B3) Pre-wavelet PW(I6,B5) Sample r-triangulation Domain Sample r-triangulation Domain Sample r-triangulation Domain Sample r-triangulation Domain

10 CHAPTER 1 Introduction In recent years, multiresolution analysis has been intensively studied and has been used in computer graphics, differential and integral equation, manifolds, the finite element setting, and so on. Basically speaking, multiresolution is a decomposition of a function space into mutually orthogonal subspaces, each of which is endowed with a basis. The basis functions of each subspace are called wavelets if they are mutually orthogonal and prewavelets otherwise. The subspaces are called wavelet spaces and prewavelet spaces accordingly. Piecewise linear prewavelets with small support are useful tools in approximation theory and the numerical solution of partial differential equations as applied to computer graphics and practical largescale data representation. Kotyczka and Oswald [8] constructed piecewise linear prewavelets with small support in Floater and Quak [5] published their result on piecewise linear prewavelets with small support on arbitrary triangulations in Later on, they simplified the above result by introducing the idea of semi-wavelets, which can be used to construct wavelets. These semi-wavelets and wavelets are actually semi-prewavelets and prewavelets. Some scientists omit the pre- part for convenience. Using this idea, Floater and Quak investigated the Type-1 triangulation in [6] and Type-2 in [5] respectively. Hong and Mu [4] have discussed the piecewise linear prewavelets with minimal support over Type-1 trangulation. 9

11 In this thesis, all the possible semi-prewavelets over uniform refinements of regular triangulations have been studied. A corresponding theorem has been given which ensures the linear independence of any set of different pre-wavelets obtained by summing pairs of these semi-prewavelets. This means that the multiresolutions of the linear function spaces over various regular triangulation domains can be done conveniently, since the bases of the orthogonal complements of the coarse spaces can be constructed very easily. Examples of multiresolutions are discussed and all the corresponding prewavelets or semi-prewavelets have been given explicitly. 10

12 CHAPTER 2 Basic Concepts In this section we introduce some basic concepts. Most of them have commonly been used in related monographs. Definition 2.1 A set of triangles T = {T 1,..., T M } is called a triangulation of some subset Ω of IR 2 if Ω = M i=1t i and (i) T i T j is either empty or a common vertex or a common edge, i j, (ii) the number of boundary edges incident on a boundary vertex is two, (iii) Ω is simply connected. We denote by V the set of all vertices v IR 2 of triangles in T and by E the set of all edges e = [v, w] of triangles in T. By a boundary vertex or boundary edge we mean a vertex or edge contained in the boundary of Ω. All other vertices and edges will be called interior vertices and interior edges. A boundary edge belongs to only one triangle, and an interior edge to two. For a vertex v V, the set of neighbours of v in V is V v = {w V : [v, w] E}. Suppose next that T is a triangulation. Given data values f v IR for v V, there is a unique function f : Ω IR which is linear on each triangle in T and interpolates the data: f(v) = f v, v V. The function f is piecewise linear and the 11

13 set of all such f constitute a linear space S with dimension V. For each v V, let φ v : Ω IR be the unique hat or nodal function in S such that for all w V, φ v (w) = { 1, w = v; 0, otherwise. The set of functions Φ = {φ v } v V is a basis for the space S and for any function f S, f(x) = v V f(v) φ v (x), x Ω. (2.1) The support of φ v is the union of all triangles which contain v: M v := v T T T. Definition 2.2 Given a triangulation T 0 = {T 1,..., T M }. A refined triangulation is a triangulation T 1 such that every triangle in T 0 is the union of some triangles in T 1. The result of this process is called a refinement of T 0. Obviously, there are various kinds of refinements. If not clearly claimed, we shall only consider the following uniform or dyadic refinement. We shall use [u, v] to denote the edge incident to two vertices u, v. A triangle with vertices u, v, w will be denoted as [u, v, w]. For a given triangle T = [x 1, x 2, x 3 ], let y 1 = (x 2 + x 3 )/2, y 2 = (x 1 + x 3 )/2, and y 3 = (x 1 + x 2 )/2 denote the midpoints of its edges. Then the set of four triangles T T = {[x 1, y 2, y 3 ], [y 1, x 2, y 3 ], [y 1, y 2, x 3 ], [y 1, y 2, y 3 ]} is a triangulation and a refinement of the coarse triangle T. The set of triangles T 1 = T T 0T T is evidently a triangulation and a refinement of T 0. Similarly, a whole 12

14 sequence of triangulations T j, j = 0, 1, 2,..., can be generated by further refinement steps. In order to discuss some properties of T j in relation to T j 1, let V j be the set of vertices in T j, and define E j, S j, φ j v, V j v, and M j v accordingly. A straightforward calculation shows that φ j 1 v = φ j v φ j w, v V j 1, (2.2) and therefore we obtain a nested sequence of spaces S 0 S 1 S 2. (2.3) 13

15 CHAPTER 3 Multiresolution of Linear Spline Spaces over r-triangulations From a mathematical point of view, a computer graphic is nothing else but a function defined on a given region. On the other hand, a graphic on a domain Ω can be represented by functions in different level of function spaces such as S j (j = 0, 1, 2, ) in (2.3). The difference between them is that the function from a fine space gives more detail of the original graphic than the one from a coarse space does. In an ideal situation, we can easily witch a function from one space into another when it is necessary. The key to choosing another function space is to use a different basis of functions. Surprisingly, the relation between the bases of these nested spaces makes it difficult to do so. In the following we shall discuss the multiresolution of the linear spline function space defined on any r-triangulation. Definition 3.1 T 0 = {T 1,..., T M } is a regular triangulation or simply r-triangulation over some domain Ω if T 0 is a triangulation on Ω and all the elements of T 0 are equilateral triangles. Figure 1. gives an example of an r-triangulation over a triangle shaped region a simply connected domain. Clearly, a refinement T 1 of T 0 is still an r-triangulation, see Figure 2. Continuing the refinement process on Ω leads us to the nested sequence of spaces defined on the 14

16 Figure 1: An r-triangulation Figure 2: The first refinement of the r-triangulation in Figure 1 r-triangulation s domain Ω as we had in (2.3). All the other concepts and symbols in Section 2 can be used naturally for the r-triangulations here. As usual, we use the following standard definition of the inner product of two continuous functions on Ω, f, g = 1 f(x)g(x) dx, a(t ) T T 0 T f, g C(Ω), where a(t ) is the area of triangle T. 15

17 Let c be the area of any a triangle in the r-triangulation T 0. Since all the triangles are congruent, the inner product reduces to the scaled L 2 inner product f, g = 1 f(x)g(x) dx. (3.1) c Ω With this inner-product, the spaces S j become inner-product spaces. Let W j 1 denote the relative orthogonal complement of the coarse space S j 1 in the fine space S j, so that S j = S j 1 W j 1. (3.2) We have the following decomposition: S n = S 0 W 0 W 1 W n 1 (3.3) and the dimension of W j 1 is V j V j 1 = E j 1. In the following, we shall try to construct a basis for the unique orthogonal complement W j 1 of S j 1 in S j. Each of these basis functions will be called a prewavelet and the space W j 1 a prewavelets space. By combining prewavelet bases of the spaces W k with the nodal bases for the spaces S k, we obtain the framework for a multiresolution analysis (MRA). Thus any function f n in S n can be decomposed into its n + 1 mutually orthogonal components: f n = f 0 g 0 g 1 g n (3.4) where f 0 S 0 and g j W j (j = 0, 1,..., n 1). We shall restrict our work for the construction of bases of W k to the first refinement level since uniform refinement has been used. 16

18 Let b be any given non-zero real number, a 1 and a 2 be two neighboring vertices in V 0, and denote by u V 1 \ V 0 their midpoint. We define the semiprewavelet σ a1,u S 1 as the element with support contained in the support of φ 0 a 1 and having the property that, for all v V 0, where φ 0 v, σ a1,u = σ a1,u(x) = b, if v = a 1 ; b, if v = a 2 ; 0, otherwise v N 1 a 1 r v φ 1 v(x), (3.5) and N 1 a 1 = {a 1 } V 1 a 1 denotes the fine neighborhood of a 1. The only nontrivial inner products between σ a1,u and coarse nodal functions φ 0 v occur when v belongs to the coarse neighborhood of a 1, N 0 a 1 = {a 1 } V 0 a 1. Thus the number of coefficients and conditions are the same and, as we will subsequently establish, the element σ a1,u is unique providing that any non-zero value of b in (3.5) is given. Since the dimension of W 0 is equal to the number of fine vertices in V 1, i.e. V 1 V 0, it is natural to associate one prewavelet ψ u per fine vertex u V 1 \ V 0. Since each u is the midpoint of some edge in E 0 connecting two coarse vertices a 1 17

19 and a 2 in V 0, the element of S 1, ψ u = σ a1,u + σ a2,u (3.6) is a prewavelet since it is orthogonal to all nodal functions φ 0 v, v V 0. The following theorem gives a sufficient condition that all the different prewavelets obtained in this way are linearly independent and hence form a basis of W 0. Theorem 1. The set of prewavelets {ψ u } u V 1 \V 0 defined by (3.6) is a linearly independent set if ψ u (u) > w V 1 \V 0 w u ψ u (w), u V 1 \ V 0 Proof: Let V 0 = m, V 1 \ V 0 = n, and u 1, u 2,, u m, u m+1,, u m+n be any permutation of all the vertices in V 1 such that u j V 0 (1 j m) and u j V 1 \ V 0 (m + 1 j m + n). The corresponding nodal functions are φ j (x) = φ uj (x), j = 1, 2,, m + n. Then the prewavelets in {ψ u } u V 1 \V 0 ψ i (x) = ψ um+i (x) = can be written as m+n j=1 18 r ij φ j (x), (1 i n)

20 where r ij = ψ i (u j ) (1 i n, 1 j m + n). Consider the matrix and its sub matrix R = R 1 = r 11 r 12 r 1,m+n r 21 r 22 r 2,m+n r n1 r n2 r n,m+n r 1,m+1 r 1,m+2 r 1,m+n r 2,m+1 r 2,m+2 r 2,m+n r n,m+1 r n,m+2 r n,m+n. We claim that R 1 is diagonally dominant. Actually, keeping in mind that r i,m+j = ψ i (u m+j ) = ψ um+i (u m+j ) (1 i, j n), we know that is equivalent to r i,m+i > 1 j n j i r i,m+j, (1 i n) or ψ um+i (u m+i ) > ψ u (u) > 1 j n j i w V 1 \V 0 w u ψ um+i (u m+j ), (1 i n) ψ u (w), u V 1 \ V 0. 19

21 CHAPTER 4 Semi-prewavelets We are going to establish the uniqueness of the semi-prewavelets for W 0 with regard to (3.1) and to find their coefficients. To simplify our calculation, Floater and Quak s result on inner products of nodal functions [5], which we state here as a Lemma, will be used. Lemma 1 Let t(e) denote the number of triangles (one or two) in T 0 containing the edge e E 0 and t(v) the number of triangles (at least one) containing the vertex v V 0. If v V 0 and w V 1 are contained in the same triangle in T 0 then 6t(v), if v = w; 96 φ 0 v, φ1 w = 10t(e), if w is the midpoint of e; t(e), if e = [v, w]; 4, if otherwise. (4.1) Let σ a1,u be a semi-prewavelet where the fine vertex u is the midpoint of a 1 and another coarse vertex a 2. We call a 1 the center (vertex) of the semi-prewavelet. The degree of a vertex in a triangulation is the number of neighbor vertices of the vertex in that triangulation. Trivially, every coarse vertex is also a vertex in the fine triangulation and it has the same degree in both coarse and fine r-triangulations. Let k = V 0 a 1 = V 1 a 1 be the degree of a 1. If a 1 is an interior vertex then k = 6. If a 1 is a boundary vertex then the value of k could range from 2 to 6. Hence there are six possible topological structures of the support of σ a1,u, which are identical to the 20

22 Figure 3: Interior vertex a 1 and its support Figure 4: Boundary vertices and their supports 21

23 support M 0 a 1 of φ 0 a 1. For our convenience, in the later steps to construct semi-prewavelets, we shall use the following permutations of the vertices in the coarse neighborhood N 0 a 1 and the fine neighborhood N 1 a 1 of a 1 : N 0 a 1 : v 1 = a 1, v 2, v 3,, v k, N 1 a 1 : u 1 = a 1, u 2, u 3,, u k, where v 2 through v k are all the neighbor vertices of a 1 in the coarse space labeled consecutively in the counterclockwise order, and u j is the midpoint of the edge [a 1, v j ] (j = 2, 3,...k). Let us simply rewrite φ l u j (x) as φ l j(x), where j = 1, 2,..., k and l = 0, 1. Thus, σ a1,u(x) = k j=1 r j φ 1 j (x). (4.2) Let A = (a ij ) be the k k matrix such that a ij = 96 φ 0 i, φ1 j. Then φ 0 i, σ v 1,u = = = k φ 0 i, r j φ 1 j j=1 k r j φ 0 i, φ1 j j=1 k 1 j=1 96 a ijr j = 1 96 [a i1, a i2,, a ik ] r where r = [r 1, r 2,, r k ] T. 22

24 Therefore, the semi-orthogonal condition (3.5) is equivalent to A r = b (4.3) where A = a 11 a 12 a 1k a 21 a 22 a 2k a k1 a k2 a kk r = [r 1, r 2,, r k ] T,, and b = [b1 = b, 0,..., 0, b j = b, 0,...0] T (here j satisfying u = u j ). Thus, if A is invertible then (4.3) has a unique solution of the coefficients. Figure 3 and Figure 4 give all the cases of the supports of possible semi-prewavelets up to a symmetric permutation. Using Lemma 1, we can verify that A is invertible in every case. We choose the value of b in (3.5) as so that we can get integer coefficients r j for all the semi-prewavelets, except the boundary one with the center vertex of degree 6. Case 1 a 1 is an interior vertex, SPW(I6) We obtain that A =

25 Figure 5: Semi-prewavelet SPW(I6) A is non-singular with the inverse A 1 = Let b = [ b b ] T. Then r = A 1 b = [ ] T. Thus, a semi-prewavelet with its center a 1 as an interior vertex has been uniquely determined (Figure 5). Simply, turn its figure (Figure 5) around its center in the counterclockwise direction and step-by-step we can get all the other symmetric semiprewavelets which share the same center a 1. We shall see this effect in the following 24

26 Figure 6: Semi-prewavelet SPW(B2) case from another point of view. Case 2 a 1 is a boundary vertex with degree 2, SPW(B2) A is non-singular with the inverse A = A 1 = b = [ b b 0 ] T, r = A 1 b = [ ] T. b = [ b 0 b ] T, r = A 1 b = [ ] T. 25

27 As we can see in Figure 5, the two subcases of SPW(B2) are symmetric. Note they are the same up to symmetry. In the following cases of other boundary semiprewavelets we shall not mention this again: Case 3 a 1 is a boundary vertex with degree 3, SPW(B3) A = A is non-singular with the inverse A 1 = b = [ b b 0 0 ] T, r = A 1 b = [ ] T. b = [ b 0 b 0 ] T, r = A 1 b = [ ] T. Case 4 a 1 is a boundary vertex with degree 4, SPW(B4) A =

28 Figure 7: Semi-prewavelet SPW(B3[1]), SPW(B3[2]) A is non-singular with the inverse A 1 = [ ] T b = b b 0 0 0, r = A 1 b = [ ] T b = b 0 b 0 0, r = A 1 b =

29 Figure 8: Semi-prewavelet SPW(B4[1]), SPW(B4[2]) Case 5 a 1 is a boundary vertex with degree 5, SPW(B5) A = A is non-singular with the inverse A 1 = b = [ b b ] T, r = A 1 b = [ ] T. b = [ b 0 b ] T, 28

30 Figure 9: Semi-prewavelet SPW(B5[1]), SPW(B5[2]), and SPW(B5[3]) r = A 1 b = [ ] T. b = [ b 0 0 b 0 0 ] T, r = A 1 b = [ ] T. Case 6 a 1 is a boundary vertex with degree 6, SPW(B6) 29

31 A = A is non-singular with the inverse A 1 = b = [ b b ] T, r = A [ ] T b = b = [ b 0 b ] T, r = A [ ] T b = b = [ b 0 0 b ] T, 30

32 r = A [ ] T b = Now we can get any possible prewavelets of an r-triangulation, since the above semi-prewavelets included all the possible semi-prewavelets with the exception of symmetric cases. By (3.5), to get a prewavelet, we need only to sum two semiprewavelets together in such a way that the fine vertex u (which has been circled in each figure of the semi-prewavelet) is the midpoint of the centers of these two semi-prewavelets. Some prewavelets which could be often used are given by Figure 11 through Figure 17. In these figures we denote the prewavelet obtained by summing an interior semi-prewavelet, SPW(I6), and a boundary one, say SPW(Bj), by PW(I6, Bj). We denote the prewavelet obtained by summing two boundary semi-prewavelets, SPW(Bi) and SPW(Bj), by PW(Bi, Bj). With the above results on semi-prewavelets, we are now ready to state our main result, a very useful theorem on r-triangulations. Theorem 2. For any level of the refinements of any an r-triangulation, all the possible prewavelets can be constructed by simply summing up the two semi-prewavelets illustrated in Figure 5 through Figure 10. Proof: Each semi-prewavelet σ a1,u(x) illustrated in Figure 5 through Figure 10, which are all the possible cases of semi-prewavelets in r-triangulations, satisfies σ a1,u(u) > w V 1 \V 0 w u σ a1,u(w), u V 1 \ V 0. A prewavelet is the sum of two semi-prewavelets, see (3.6). The sum can be done 31

33 Figure 10: Semi-prewavelet SPW(B6[1]), SPW(B6[2]) and SPW(B6[3]) (q = ) 32

34 Figure 11: Pre-wavelet PW(I6,B3) Figure 12: Pre-wavelet PW(B4,B2) Figure 13: Pre-wavelet PW(B4,B4) 33

35 Figure 14: Pre-wavelet PW(I6,B4) Figure 15: Pre-wavelet PW(B5,B2) 34

36 Figure 16: Pre-wavelet PW(B5,B3) Figure 17: Pre-wavelet PW(I6,B5) 35

37 in such a way that the fine vertex u (which has been circled in each figure of semiprewavelets) is the midpoint of the centers, a 1 and a 2, of these two semi-prewavelets in (3.6). Since the intersection of Na 1 1 and Na 1 2 is the single element set {u}, the only overlapped values are the values of the two semi-prewavelets functions at vertex u. Therefore, the condition of Theorem 1 in Chapter 3 is satisfied and this completes our proof. 36

38 CHAPTER 5 Examples In this chapter, we would like to demonstrate that our Theorem 2 at the end of the last chapter can be used on various shaped domains. We can also see that all the prewavelets can be found easily by using this result. Example 1. In the refined r-triangulation in Figure 18, there are only three types of semi-prewavelets, namely SWP(I6), SWP(B2), and SWP(B4), see Figure 5, Figure 6 and Figure 8, respectively. These semi-prewavelets can be found by simply checking if any figure in Figure 3 and Figure 4 is a subset of the given refined r-triangulation. Thus, prewavelets PW(I6,I6), PW(I6,B4) (see Figure 14), PW(B4,B4) (see Figure 13), and PW(B4,B2) (see Figure 12) are all the types of prewavelets of the fine space. Figure 18: Sample r-triangulation Domain 1 In the following examples we shall only point out all the types of semi-prewavelets occuring in the corresponding refinement and leave our readers to find out the types 37

39 of prewavelets contained: Example 2. In the refined r-triangulation in Figure 19, there are all the types of semi-prewavelets with exception of SPW(B6). Figure 19: Sample r-triangulation Domain 2 Example 3. In the refined r-triangulation in Figure 20, all the types of semiprewavelets have occured. But, this does not mean that all the possible prewavelets in r-triangulations will be present in this case. For example, prewavelet type PW(B2,B2) does not occur. 38

40 Figure 20: Sample r-triangulation Domain 3 Although it is not necessary, rectangular shaped domain are often used for computer graphics. For this reason, one may be particularly interested in the following shaped region which can be obtained by adding some extra vertices on both the left and right sides of a rectangular area. In this way, all the refinements can be done uniformly and our theorems can be used. Example 4. For the refined r-triangulation in Figure 21, the set of semi-prewavelets are the same as in Example 2 (Figure 19) although the two domains look so different. 39

41 Figure 21: Sample r-triangulation Domain 4 Remarks. Our results are valid even if the domain is not simply connected. 40

42 BIBLIOGRAPHY 41

43 [1] Chui, C. K., Multivariate Splines, SIAM, Philadelphia, [2] Donovan, G.C., J.S. Geronimo, and D.P. Hardin, Compactly supported, piecewise affine scaling functions on triangulations, Constructive Approximation 16 (2000), [3] Hong, D. and Schumaker, L.L., Surface compression using hierarchical bases for bivariate C 1 cubic splines, preprint, [4] Hong, D. and Mu, Y.A., On construction of minimum supported piecewise linear prewavelets over triangulations, In: Wavelets and Multiresolution Methods, (T.X. He ed.), pp , Marcel Decker Pub., New York, [5] Floater, M. S. and Quak, E. G., Piecewise linear prewavelets on arbitrary triangula tions, Numer. Math. 82 (1999), [6] Floater, M. S. and Quak, E. G., A semiprewavelet approach to piecewise linear prewavelets on triangulations, in Approximation Theory IX, Vol 2: Computational Aspects, C. K. Chui and L. L. Schumaker (eds.), Vanderbilt University Press, Nashville, (1998), [7] Floater, M. S. and Quak, E. G., Linear independence and stability of piecewise linear prewavelets on arbitrary triangulations, to appear in SIAM J. Numer. Anal. [8] Kotyczka, U. and Oswald P., Piecewise linear prewavelets of small support, in Approximation Theory VIII, Vol. 2, C. K. Chui and L. L. Schumaker, eds., World Scientific, Singapore, 1995,

44 VITA QINGBO XUE Education: Professional Experience: Publications: Honors and Awards: Zhongshan University, Guangzhou, China Mathematics, B.S., 1986 East Tennessee State University, Johnson City, Tennessee Mathematics, M.S., 2002 Teacher, North China University of Technology; Beijing, China, Graduate Assistant, East Tennessee State University, College of Arts and Sciences, President of Actuarial Students Association, ETSU, Johnson City, Tennessee, Xue, Qingbo (1995). (C4, Lotus)-free Berge Graphs Are Perfect. Analele Stiintifice Ale Universitatii AL.I.CUZA, Iasi, Romania. pp Xue, Qingbo (1996). On a Class of Square-free Graphs, Information Processing Letters, Netherlands, 57 pp Outstanding Scholastic Achievement Award, East Tennessee State University,

Double Domination Edge Critical Graphs.

Double Domination Edge Critical Graphs. East Tennessee State University Digital Commons @ East Tennessee State University Electronic Theses and Dissertations 5-2006 Double Domination Edge Critical Graphs. Derrick Wayne Thacker East Tennessee

More information

A new 8-node quadrilateral spline finite element

A new 8-node quadrilateral spline finite element Journal of Computational and Applied Mathematics 195 (2006) 54 65 www.elsevier.com/locate/cam A new 8-node quadrilateral spline finite element Chong-Jun Li, Ren-Hong Wang Institute of Mathematical Sciences,

More information

Generalizing the C 4 Four-directional Box Spline to Surfaces of Arbitrary Topology Luiz Velho Abstract. In this paper we introduce a new scheme that g

Generalizing the C 4 Four-directional Box Spline to Surfaces of Arbitrary Topology Luiz Velho Abstract. In this paper we introduce a new scheme that g Generalizing the C 4 Four-directional Box Spline to Surfaces of Arbitrary Topology Luiz Velho Abstract. In this paper we introduce a new scheme that generalizes the four-directional box spline of class

More information

A graph is finite if its vertex set and edge set are finite. We call a graph with just one vertex trivial and all other graphs nontrivial.

A graph is finite if its vertex set and edge set are finite. We call a graph with just one vertex trivial and all other graphs nontrivial. 2301-670 Graph theory 1.1 What is a graph? 1 st semester 2550 1 1.1. What is a graph? 1.1.2. Definition. A graph G is a triple (V(G), E(G), ψ G ) consisting of V(G) of vertices, a set E(G), disjoint from

More information

Edge Detections Using Box Spline Tight Frames

Edge Detections Using Box Spline Tight Frames Edge Detections Using Box Spline Tight Frames Ming-Jun Lai 1) Abstract. We present a piece of numerical evidence that box spline tight frames are very useful for edge detection of images. Comparsion with

More information

On the Dimension of the Bivariate Spline Space S 1 3( )

On the Dimension of the Bivariate Spline Space S 1 3( ) On the Dimension of the Bivariate Spline Space S 1 3( ) Gašper Jaklič Institute of Mathematics, Physics and Mechanics University of Ljubljana Jadranska 19, 1000 Ljubljana, Slovenia Gasper.Jaklic@fmf.uni-lj.si

More information

Lecture 15: The subspace topology, Closed sets

Lecture 15: The subspace topology, Closed sets Lecture 15: The subspace topology, Closed sets 1 The Subspace Topology Definition 1.1. Let (X, T) be a topological space with topology T. subset of X, the collection If Y is a T Y = {Y U U T} is a topology

More information

Parameterization of Manifold Triangulations

Parameterization of Manifold Triangulations Parameterization of Manifold Triangulations Michael S. Floater, Kai Hormann, and Martin Reimers Abstract. This paper proposes a straightforward method of parameterizing manifold triangulations where the

More information

4. Simplicial Complexes and Simplicial Homology

4. Simplicial Complexes and Simplicial Homology MATH41071/MATH61071 Algebraic topology Autumn Semester 2017 2018 4. Simplicial Complexes and Simplicial Homology Geometric simplicial complexes 4.1 Definition. A finite subset { v 0, v 1,..., v r } R n

More information

THREE LECTURES ON BASIC TOPOLOGY. 1. Basic notions.

THREE LECTURES ON BASIC TOPOLOGY. 1. Basic notions. THREE LECTURES ON BASIC TOPOLOGY PHILIP FOTH 1. Basic notions. Let X be a set. To make a topological space out of X, one must specify a collection T of subsets of X, which are said to be open subsets of

More information

Symmetric Product Graphs

Symmetric Product Graphs Rochester Institute of Technology RIT Scholar Works Theses Thesis/Dissertation Collections 5-20-2015 Symmetric Product Graphs Evan Witz Follow this and additional works at: http://scholarworks.rit.edu/theses

More information

Lecture : Topological Space

Lecture : Topological Space Example of Lecture : Dr. Department of Mathematics Lovely Professional University Punjab, India October 18, 2014 Outline Example of 1 2 3 Example of 4 5 6 Example of I Topological spaces and continuous

More information

arxiv: v1 [math.na] 20 Sep 2016

arxiv: v1 [math.na] 20 Sep 2016 arxiv:1609.06236v1 [math.na] 20 Sep 2016 A Local Mesh Modification Strategy for Interface Problems with Application to Shape and Topology Optimization P. Gangl 1,2 and U. Langer 3 1 Doctoral Program Comp.

More information

Topology Homework 3. Section Section 3.3. Samuel Otten

Topology Homework 3. Section Section 3.3. Samuel Otten Topology Homework 3 Section 3.1 - Section 3.3 Samuel Otten 3.1 (1) Proposition. The intersection of finitely many open sets is open and the union of finitely many closed sets is closed. Proof. Note that

More information

On the Number of Tilings of a Square by Rectangles

On the Number of Tilings of a Square by Rectangles University of Tennessee, Knoxville Trace: Tennessee Research and Creative Exchange University of Tennessee Honors Thesis Projects University of Tennessee Honors Program 5-2012 On the Number of Tilings

More information

Discrete Cubic Interpolatory Splines

Discrete Cubic Interpolatory Splines Publ RIMS, Kyoto Univ. 28 (1992), 825-832 Discrete Cubic Interpolatory Splines By Manjulata SHRIVASTAVA* Abstract In the present paper, existence, uniqueness and convergence properties of a discrete cubic

More information

INTRODUCTION TO FINITE ELEMENT METHODS

INTRODUCTION TO FINITE ELEMENT METHODS INTRODUCTION TO FINITE ELEMENT METHODS LONG CHEN Finite element methods are based on the variational formulation of partial differential equations which only need to compute the gradient of a function.

More information

Parameterization of triangular meshes

Parameterization of triangular meshes Parameterization of triangular meshes Michael S. Floater November 10, 2009 Triangular meshes are often used to represent surfaces, at least initially, one reason being that meshes are relatively easy to

More information

A note on self complementary brittle and self complementary quasi chordal graphs

A note on self complementary brittle and self complementary quasi chordal graphs Applied and Computational Mathematics 2013; 2(3): 86-91 Published online July 20, 2013 (http://www.sciencepublishinggroup.com/j/acm) doi: 10.11648/j.acm.20130203.13 A note on self complementary brittle

More information

THE MORTAR FINITE ELEMENT METHOD IN 2D: IMPLEMENTATION IN MATLAB

THE MORTAR FINITE ELEMENT METHOD IN 2D: IMPLEMENTATION IN MATLAB THE MORTAR FINITE ELEMENT METHOD IN D: IMPLEMENTATION IN MATLAB J. Daněk, H. Kutáková Department of Mathematics, University of West Bohemia, Pilsen MECAS ESI s.r.o., Pilsen Abstract The paper is focused

More information

C 1 Quintic Spline Interpolation Over Tetrahedral Partitions

C 1 Quintic Spline Interpolation Over Tetrahedral Partitions C 1 Quintic Spline Interpolation Over Tetrahedral Partitions Gerard Awanou and Ming-Jun Lai Abstract. We discuss the implementation of a C 1 quintic superspline method for interpolating scattered data

More information

On the chromatic number of the AO(2, k, k-1) graphs.

On the chromatic number of the AO(2, k, k-1) graphs. East Tennessee State University Digital Commons @ East Tennessee State University Electronic Theses and Dissertations 5-2006 On the chromatic number of the AO(2, k, k-1) graphs. Navya Arora East Tennessee

More information

On vertex types of graphs

On vertex types of graphs On vertex types of graphs arxiv:1705.09540v1 [math.co] 26 May 2017 Pu Qiao, Xingzhi Zhan Department of Mathematics, East China Normal University, Shanghai 200241, China Abstract The vertices of a graph

More information

Math 395: Topology. Bret Benesh (College of Saint Benedict/Saint John s University)

Math 395: Topology. Bret Benesh (College of Saint Benedict/Saint John s University) Math 395: Topology Bret Benesh (College of Saint Benedict/Saint John s University) October 30, 2012 ii Contents Acknowledgments v 1 Topological Spaces 1 2 Closed sets and Hausdorff spaces 7 iii iv CONTENTS

More information

Star Decompositions of the Complete Split Graph

Star Decompositions of the Complete Split Graph University of Dayton ecommons Honors Theses University Honors Program 4-016 Star Decompositions of the Complete Split Graph Adam C. Volk Follow this and additional works at: https://ecommons.udayton.edu/uhp_theses

More information

Graph Theory S 1 I 2 I 1 S 2 I 1 I 2

Graph Theory S 1 I 2 I 1 S 2 I 1 I 2 Graph Theory S I I S S I I S Graphs Definition A graph G is a pair consisting of a vertex set V (G), and an edge set E(G) ( ) V (G). x and y are the endpoints of edge e = {x, y}. They are called adjacent

More information

Finite Element Methods

Finite Element Methods Chapter 5 Finite Element Methods 5.1 Finite Element Spaces Remark 5.1 Mesh cells, faces, edges, vertices. A mesh cell is a compact polyhedron in R d, d {2,3}, whose interior is not empty. The boundary

More information

Pebble Sets in Convex Polygons

Pebble Sets in Convex Polygons 2 1 Pebble Sets in Convex Polygons Kevin Iga, Randall Maddox June 15, 2005 Abstract Lukács and András posed the problem of showing the existence of a set of n 2 points in the interior of a convex n-gon

More information

SPERNER S LEMMA MOOR XU

SPERNER S LEMMA MOOR XU SPERNER S LEMMA MOOR XU Abstract. Is it possible to dissect a square into an odd number of triangles of equal area? This question was first answered by Paul Monsky in 970, and the solution requires elements

More information

Parameterization. Michael S. Floater. November 10, 2011

Parameterization. Michael S. Floater. November 10, 2011 Parameterization Michael S. Floater November 10, 2011 Triangular meshes are often used to represent surfaces, at least initially, one reason being that meshes are relatively easy to generate from point

More information

EXTREME POINTS AND AFFINE EQUIVALENCE

EXTREME POINTS AND AFFINE EQUIVALENCE EXTREME POINTS AND AFFINE EQUIVALENCE The purpose of this note is to use the notions of extreme points and affine transformations which are studied in the file affine-convex.pdf to prove that certain standard

More information

Algebra of Sets (Mathematics & Logic A)

Algebra of Sets (Mathematics & Logic A) Algebra of Sets (Mathematics & Logic A) RWK/MRQ October 28, 2002 Note. These notes are adapted (with thanks) from notes given last year by my colleague Dr Martyn Quick. Please feel free to ask me (not

More information

Lecture notes for Topology MMA100

Lecture notes for Topology MMA100 Lecture notes for Topology MMA100 J A S, S-11 1 Simplicial Complexes 1.1 Affine independence A collection of points v 0, v 1,..., v n in some Euclidean space R N are affinely independent if the (affine

More information

Orientation of manifolds - definition*

Orientation of manifolds - definition* Bulletin of the Manifold Atlas - definition (2013) Orientation of manifolds - definition* MATTHIAS KRECK 1. Zero dimensional manifolds For zero dimensional manifolds an orientation is a map from the manifold

More information

On a nested refinement of anisotropic tetrahedral grids under Hessian metrics

On a nested refinement of anisotropic tetrahedral grids under Hessian metrics On a nested refinement of anisotropic tetrahedral grids under Hessian metrics Shangyou Zhang Abstract Anisotropic grids, having drastically different grid sizes in different directions, are efficient and

More information

Math 302 Introduction to Proofs via Number Theory. Robert Jewett (with small modifications by B. Ćurgus)

Math 302 Introduction to Proofs via Number Theory. Robert Jewett (with small modifications by B. Ćurgus) Math 30 Introduction to Proofs via Number Theory Robert Jewett (with small modifications by B. Ćurgus) March 30, 009 Contents 1 The Integers 3 1.1 Axioms of Z...................................... 3 1.

More information

Refinable bivariate quartic and quintic C 2 -splines for quadrilateral subdivisions

Refinable bivariate quartic and quintic C 2 -splines for quadrilateral subdivisions Refinable bivariate quartic and quintic C 2 -splines for quadrilateral subdivisions Charles K. Chui, Qingtang Jiang Department of Mathematics and Computer Science University of Missouri St. Louis St. Louis,

More information

Exercise set 2 Solutions

Exercise set 2 Solutions Exercise set 2 Solutions Let H and H be the two components of T e and let F E(T ) consist of the edges of T with one endpoint in V (H), the other in V (H ) Since T is connected, F Furthermore, since T

More information

Non-extendible finite polycycles

Non-extendible finite polycycles Izvestiya: Mathematics 70:3 1 18 Izvestiya RAN : Ser. Mat. 70:3 3 22 c 2006 RAS(DoM) and LMS DOI 10.1070/IM2006v170n01ABEH002301 Non-extendible finite polycycles M. Deza, S. V. Shpectorov, M. I. Shtogrin

More information

γ 2 γ 3 γ 1 R 2 (b) a bounded Yin set (a) an unbounded Yin set

γ 2 γ 3 γ 1 R 2 (b) a bounded Yin set (a) an unbounded Yin set γ 1 γ 3 γ γ 3 γ γ 1 R (a) an unbounded Yin set (b) a bounded Yin set Fig..1: Jordan curve representation of a connected Yin set M R. A shaded region represents M and the dashed curves its boundary M that

More information

BEHIND THE INTUITION OF TILINGS

BEHIND THE INTUITION OF TILINGS BEHIND THE INTUITION OF TILINGS EUGENIA FUCHS Abstract. It may seem visually intuitive that certain sets of tiles can be used to cover the entire plane without gaps or overlaps. However, it is often much

More information

PERSISTENT HOMOLOGY OF FINITE TOPOLOGICAL SPACES

PERSISTENT HOMOLOGY OF FINITE TOPOLOGICAL SPACES PERSISTENT HOMOLOGY OF FINITE TOPOLOGICAL SPACES HANEY MAXWELL Abstract. We introduce homology and finite topological spaces. From the basis of that introduction, persistent homology is applied to finite

More information

On the null space of a Colin de Verdière matrix

On the null space of a Colin de Verdière matrix On the null space of a Colin de Verdière matrix László Lovász 1 and Alexander Schrijver 2 Dedicated to the memory of François Jaeger Abstract. Let G = (V, E) be a 3-connected planar graph, with V = {1,...,

More information

Embedding a graph-like continuum in some surface

Embedding a graph-like continuum in some surface Embedding a graph-like continuum in some surface R. Christian R. B. Richter G. Salazar April 19, 2013 Abstract We show that a graph-like continuum embeds in some surface if and only if it does not contain

More information

Preferred directions for resolving the non-uniqueness of Delaunay triangulations

Preferred directions for resolving the non-uniqueness of Delaunay triangulations Preferred directions for resolving the non-uniqueness of Delaunay triangulations Christopher Dyken and Michael S. Floater Abstract: This note proposes a simple rule to determine a unique triangulation

More information

Vertices in Total Dominating Sets.

Vertices in Total Dominating Sets. East Tennessee State University Digital Commons @ East Tennessee State University Electronic Theses and Dissertations 5-2000 Vertices in Total Dominating Sets. Robert Elmer Dautermann III East Tennessee

More information

Uniform edge-c-colorings of the Archimedean Tilings

Uniform edge-c-colorings of the Archimedean Tilings Discrete & Computational Geometry manuscript No. (will be inserted by the editor) Uniform edge-c-colorings of the Archimedean Tilings Laura Asaro John Hyde Melanie Jensen Casey Mann Tyler Schroeder Received:

More information

The strong chromatic number of a graph

The strong chromatic number of a graph The strong chromatic number of a graph Noga Alon Abstract It is shown that there is an absolute constant c with the following property: For any two graphs G 1 = (V, E 1 ) and G 2 = (V, E 2 ) on the same

More information

EULER S FORMULA AND THE FIVE COLOR THEOREM

EULER S FORMULA AND THE FIVE COLOR THEOREM EULER S FORMULA AND THE FIVE COLOR THEOREM MIN JAE SONG Abstract. In this paper, we will define the necessary concepts to formulate map coloring problems. Then, we will prove Euler s formula and apply

More information

Don t just read it; fight it! Ask your own questions, look for your own examples, discover your own proofs. Is the hypothesis necessary?

Don t just read it; fight it! Ask your own questions, look for your own examples, discover your own proofs. Is the hypothesis necessary? Don t just read it; fight it! Ask your own questions, look for your own examples, discover your own proofs. Is the hypothesis necessary? Is the converse true? What happens in the classical special case?

More information

Regularity Analysis of Non Uniform Data

Regularity Analysis of Non Uniform Data Regularity Analysis of Non Uniform Data Christine Potier and Christine Vercken Abstract. A particular class of wavelet, derivatives of B-splines, leads to fast and ecient algorithms for contours detection

More information

Lecture 7: the quotient topology

Lecture 7: the quotient topology Lecture 7: the quotient topology Saul Glasman September 21, 2016 Why couldn t we say that a homeomorphism was just a continuous bijection? Why did we have to explicitly require the inverse to be continuous

More information

A Note On The Sparing Number Of The Sieve Graphs Of Certain Graphs

A Note On The Sparing Number Of The Sieve Graphs Of Certain Graphs Applied Mathematics E-Notes, 15(015), 9-37 c ISSN 1607-510 Available free at mirror sites of http://www.math.nthu.edu.tw/ amen/ A Note On The Sparing Number Of The Sieve Graphs Of Certain Graphs Naduvath

More information

Notes on point set topology, Fall 2010

Notes on point set topology, Fall 2010 Notes on point set topology, Fall 2010 Stephan Stolz September 3, 2010 Contents 1 Pointset Topology 1 1.1 Metric spaces and topological spaces...................... 1 1.2 Constructions with topological

More information

The Geodesic Integral on Medial Graphs

The Geodesic Integral on Medial Graphs The Geodesic Integral on Medial Graphs Kolya Malkin August 013 We define the geodesic integral defined on paths in the duals of medial graphs on surfaces and use it to study lens elimination and connection

More information

Manifolds. Chapter X. 44. Locally Euclidean Spaces

Manifolds. Chapter X. 44. Locally Euclidean Spaces Chapter X Manifolds 44. Locally Euclidean Spaces 44 1. Definition of Locally Euclidean Space Let n be a non-negative integer. A topological space X is called a locally Euclidean space of dimension n if

More information

Math 734 Aug 22, Differential Geometry Fall 2002, USC

Math 734 Aug 22, Differential Geometry Fall 2002, USC Math 734 Aug 22, 2002 1 Differential Geometry Fall 2002, USC Lecture Notes 1 1 Topological Manifolds The basic objects of study in this class are manifolds. Roughly speaking, these are objects which locally

More information

[8] that this cannot happen on the projective plane (cf. also [2]) and the results of Robertson, Seymour, and Thomas [5] on linkless embeddings of gra

[8] that this cannot happen on the projective plane (cf. also [2]) and the results of Robertson, Seymour, and Thomas [5] on linkless embeddings of gra Apex graphs with embeddings of face-width three Bojan Mohar Department of Mathematics University of Ljubljana Jadranska 19, 61111 Ljubljana Slovenia bojan.mohar@uni-lj.si Abstract Aa apex graph is a graph

More information

Lecture 0: Reivew of some basic material

Lecture 0: Reivew of some basic material Lecture 0: Reivew of some basic material September 12, 2018 1 Background material on the homotopy category We begin with the topological category TOP, whose objects are topological spaces and whose morphisms

More information

Edge intersection graphs. of systems of grid paths. with bounded number of bends

Edge intersection graphs. of systems of grid paths. with bounded number of bends Edge intersection graphs of systems of grid paths with bounded number of bends Andrei Asinowski a, Andrew Suk b a Caesarea Rothschild Institute, University of Haifa, Haifa 31905, Israel. b Courant Institute,

More information

Deficient Quartic Spline Interpolation

Deficient Quartic Spline Interpolation International Journal of Computational Science and Mathematics. ISSN 0974-3189 Volume 3, Number 2 (2011), pp. 227-236 International Research Publication House http://www.irphouse.com Deficient Quartic

More information

Topology Proceedings. COPYRIGHT c by Topology Proceedings. All rights reserved.

Topology Proceedings. COPYRIGHT c by Topology Proceedings. All rights reserved. Topology Proceedings Web: http://topology.auburn.edu/tp/ Mail: Topology Proceedings Department of Mathematics & Statistics Auburn University, Alabama 36849, USA E-mail: topolog@auburn.edu ISSN: 0146-4124

More information

MT5821 Advanced Combinatorics

MT5821 Advanced Combinatorics MT5821 Advanced Combinatorics 4 Graph colouring and symmetry There are two colourings of a 4-cycle with two colours (red and blue): one pair of opposite vertices should be red, the other pair blue. There

More information

UNM - PNM STATEWIDE MATHEMATICS CONTEST XLI. February 7, 2009 Second Round Three Hours

UNM - PNM STATEWIDE MATHEMATICS CONTEST XLI. February 7, 2009 Second Round Three Hours UNM - PNM STATEWIDE MATHEMATICS CONTEST XLI February 7, 009 Second Round Three Hours (1) An equilateral triangle is inscribed in a circle which is circumscribed by a square. This square is inscribed in

More information

On t-restricted Optimal Rubbling of Graphs

On t-restricted Optimal Rubbling of Graphs East Tennessee State University Digital Commons @ East Tennessee State University Electronic Theses and Dissertations 5-2017 On t-restricted Optimal Rubbling of Graphs Kyle Murphy East Tennessee State

More information

On Soft Topological Linear Spaces

On Soft Topological Linear Spaces Republic of Iraq Ministry of Higher Education and Scientific Research University of AL-Qadisiyah College of Computer Science and Formation Technology Department of Mathematics On Soft Topological Linear

More information

Generalised Mean Averaging Interpolation by Discrete Cubic Splines

Generalised Mean Averaging Interpolation by Discrete Cubic Splines Publ. RIMS, Kyoto Univ. 30 (1994), 89-95 Generalised Mean Averaging Interpolation by Discrete Cubic Splines By Manjulata SHRIVASTAVA* Abstract The aim of this work is to introduce for a discrete function,

More information

Convergence of C 2 Deficient Quartic Spline Interpolation

Convergence of C 2 Deficient Quartic Spline Interpolation Advances in Computational Sciences and Technology ISSN 0973-6107 Volume 10, Number 4 (2017) pp. 519-527 Research India Publications http://www.ripublication.com Convergence of C 2 Deficient Quartic Spline

More information

Matrix-valued 4-point Spline and 3-point Non-spline Interpolatory Curve Subdivision Schemes

Matrix-valued 4-point Spline and 3-point Non-spline Interpolatory Curve Subdivision Schemes Matrix-valued 4-point Spline and -point Non-spline Interpolatory Curve Subdivision Schemes Charles K. Chui, Qingtang Jiang Department of Mathematics and Computer Science University of Missouri St. Louis

More information

Fighting Fires on Semi-Regular Tesselations

Fighting Fires on Semi-Regular Tesselations Fighting Fires on Semi-Regular Tesselations A Senior Project submitted to The Division of Science, Mathematics, and Computing of Bard College by Lara-Greta Merling Annandale-on-Hudson, New York May, 2014

More information

THE DOLD-KAN CORRESPONDENCE

THE DOLD-KAN CORRESPONDENCE THE DOLD-KAN CORRESPONDENCE 1. Simplicial sets We shall now introduce the notion of a simplicial set, which will be a presheaf on a suitable category. It turns out that simplicial sets provide a (purely

More information

Classification of Ehrhart quasi-polynomials of half-integral polygons

Classification of Ehrhart quasi-polynomials of half-integral polygons Classification of Ehrhart quasi-polynomials of half-integral polygons A thesis presented to the faculty of San Francisco State University In partial fulfilment of The Requirements for The Degree Master

More information

As a consequence of the operation, there are new incidences between edges and triangles that did not exist in K; see Figure II.9.

As a consequence of the operation, there are new incidences between edges and triangles that did not exist in K; see Figure II.9. II.4 Surface Simplification 37 II.4 Surface Simplification In applications it is often necessary to simplify the data or its representation. One reason is measurement noise, which we would like to eliminate,

More information

The Construction of a Hyperbolic 4-Manifold with a Single Cusp, Following Kolpakov and Martelli. Christopher Abram

The Construction of a Hyperbolic 4-Manifold with a Single Cusp, Following Kolpakov and Martelli. Christopher Abram The Construction of a Hyperbolic 4-Manifold with a Single Cusp, Following Kolpakov and Martelli by Christopher Abram A Thesis Presented in Partial Fulfillment of the Requirement for the Degree Master of

More information

Lecture-12: Closed Sets

Lecture-12: Closed Sets and Its Examples Properties of Lecture-12: Dr. Department of Mathematics Lovely Professional University Punjab, India October 18, 2014 Outline Introduction and Its Examples Properties of 1 Introduction

More information

Separators in High-Genus Near-Planar Graphs

Separators in High-Genus Near-Planar Graphs Rochester Institute of Technology RIT Scholar Works Theses Thesis/Dissertation Collections 12-2016 Separators in High-Genus Near-Planar Graphs Juraj Culak jc1789@rit.edu Follow this and additional works

More information

Chordal Graphs and Minimal Free Resolutions

Chordal Graphs and Minimal Free Resolutions Chordal Graphs and Minimal Free Resolutions David J. Marchette David A. Johannsen Abstract The problem of computing the minimal free resolution of the edge ideal of a graph has attracted quite a bit of

More information

Acute Triangulations of Polygons

Acute Triangulations of Polygons Europ. J. Combinatorics (2002) 23, 45 55 doi:10.1006/eujc.2001.0531 Available online at http://www.idealibrary.com on Acute Triangulations of Polygons H. MAEHARA We prove that every n-gon can be triangulated

More information

CONNECTED SPACES AND HOW TO USE THEM

CONNECTED SPACES AND HOW TO USE THEM CONNECTED SPACES AND HOW TO USE THEM 1. How to prove X is connected Checking that a space X is NOT connected is typically easy: you just have to find two disjoint, non-empty subsets A and B in X, such

More information

8.B. The result of Regiomontanus on tetrahedra

8.B. The result of Regiomontanus on tetrahedra 8.B. The result of Regiomontanus on tetrahedra We have already mentioned that Plato s theory that the five regular polyhedra represent the fundamental elements of nature, and in supplement (3.D) to the

More information

Space-filling curves for 2-simplicial meshes created with bisections and reflections

Space-filling curves for 2-simplicial meshes created with bisections and reflections Space-filling curves for 2-simplicial meshes created with bisections and reflections Dr. Joseph M. Maubach Department of Mathematics Eindhoven University of Technology Eindhoven, The Netherlands j.m.l.maubach@tue.nl

More information

The Farey Tessellation

The Farey Tessellation The Farey Tessellation Seminar: Geometric Structures on manifolds Mareike Pfeil supervised by Dr. Gye-Seon Lee 15.12.2015 Introduction In this paper, we are going to introduce the Farey tessellation. Since

More information

Chapter 6. Curves and Surfaces. 6.1 Graphs as Surfaces

Chapter 6. Curves and Surfaces. 6.1 Graphs as Surfaces Chapter 6 Curves and Surfaces In Chapter 2 a plane is defined as the zero set of a linear function in R 3. It is expected a surface is the zero set of a differentiable function in R n. To motivate, graphs

More information

4.2 Simplicial Homology Groups

4.2 Simplicial Homology Groups 4.2. SIMPLICIAL HOMOLOGY GROUPS 93 4.2 Simplicial Homology Groups 4.2.1 Simplicial Complexes Let p 0, p 1,... p k be k + 1 points in R n, with k n. We identify points in R n with the vectors that point

More information

Rubber bands. Chapter Rubber band representation

Rubber bands. Chapter Rubber band representation Chapter 1 Rubber bands In the previous chapter, we already used the idea of looking at the graph geometrically, by placing its nodes on the line and replacing the edges by rubber bands. Since, however,

More information

Normals of subdivision surfaces and their control polyhedra

Normals of subdivision surfaces and their control polyhedra Normals of subdivision surfaces and their control polyhedra I. Ginkel, a, J. Peters b, and G. Umlauf a, a University of Kaiserslautern, Germany b University of Florida, Gainesville, FL, USA Abstract For

More information

On Rainbow Cycles in Edge Colored Complete Graphs. S. Akbari, O. Etesami, H. Mahini, M. Mahmoody. Abstract

On Rainbow Cycles in Edge Colored Complete Graphs. S. Akbari, O. Etesami, H. Mahini, M. Mahmoody. Abstract On Rainbow Cycles in Edge Colored Complete Graphs S. Akbari, O. Etesami, H. Mahini, M. Mahmoody Abstract In this paper we consider optimal edge colored complete graphs. We show that in any optimal edge

More information

Ma/CS 6b Class 26: Art Galleries and Politicians

Ma/CS 6b Class 26: Art Galleries and Politicians Ma/CS 6b Class 26: Art Galleries and Politicians By Adam Sheffer The Art Gallery Problem Problem. We wish to place security cameras at a gallery, such that they cover it completely. Every camera can cover

More information

Galerkin Projections Between Finite Element Spaces

Galerkin Projections Between Finite Element Spaces Galerkin Projections Between Finite Element Spaces Ross A. Thompson Thesis submitted to the Faculty of the Virginia Polytechnic Institute and State University in partial fulfillment of the requirements

More information

Lecture IV - Further preliminaries from general topology:

Lecture IV - Further preliminaries from general topology: Lecture IV - Further preliminaries from general topology: We now begin with some preliminaries from general topology that is usually not covered or else is often perfunctorily treated in elementary courses

More information

[Ramalingam, 4(12): December 2017] ISSN DOI /zenodo Impact Factor

[Ramalingam, 4(12): December 2017] ISSN DOI /zenodo Impact Factor GLOBAL JOURNAL OF ENGINEERING SCIENCE AND RESEARCHES FORCING VERTEX TRIANGLE FREE DETOUR NUMBER OF A GRAPH S. Sethu Ramalingam * 1, I. Keerthi Asir 2 and S. Athisayanathan 3 *1,2 & 3 Department of Mathematics,

More information

An Eternal Domination Problem in Grids

An Eternal Domination Problem in Grids Theory and Applications of Graphs Volume Issue 1 Article 2 2017 An Eternal Domination Problem in Grids William Klostermeyer University of North Florida, klostermeyer@hotmail.com Margaret-Ellen Messinger

More information

arxiv: v2 [math.co] 13 Aug 2013

arxiv: v2 [math.co] 13 Aug 2013 Orthogonality and minimality in the homology of locally finite graphs Reinhard Diestel Julian Pott arxiv:1307.0728v2 [math.co] 13 Aug 2013 August 14, 2013 Abstract Given a finite set E, a subset D E (viewed

More information

WALL, NICOLE TURPIN, M.A. On the Reconstruction Conjecture. (2008) Directed by Dr. Paul Duvall. 56 pp.

WALL, NICOLE TURPIN, M.A. On the Reconstruction Conjecture. (2008) Directed by Dr. Paul Duvall. 56 pp. WALL, NICOLE TURPIN, M.A. On the Reconstruction Conjecture. (2008) Directed by Dr. Paul Duvall. 56 pp. Every graph of order three or more is reconstructible. Frank Harary restated one of the most famous

More information

REGULAR GRAPHS OF GIVEN GIRTH. Contents

REGULAR GRAPHS OF GIVEN GIRTH. Contents REGULAR GRAPHS OF GIVEN GIRTH BROOKE ULLERY Contents 1. Introduction This paper gives an introduction to the area of graph theory dealing with properties of regular graphs of given girth. A large portion

More information

(i, j)-almost Continuity and (i, j)-weakly Continuity in Fuzzy Bitopological Spaces

(i, j)-almost Continuity and (i, j)-weakly Continuity in Fuzzy Bitopological Spaces International Journal of Scientific and Innovative Mathematical Research (IJSIMR) Volume 4, Issue 2, February 2016, PP 89-98 ISSN 2347-307X (Print) & ISSN 2347-3142 (Online) www.arcjournals.org (i, j)-almost

More information

Noncrossing Trees and Noncrossing Graphs

Noncrossing Trees and Noncrossing Graphs Noncrossing Trees and Noncrossing Graphs William Y. C. Chen and Sherry H. F. Yan 2 Center for Combinatorics, LPMC, Nanai University, 30007 Tianjin, P.R. China chen@nanai.edu.cn, 2 huifangyan@eyou.com Mathematics

More information

A NEW PROOF OF THE SMOOTHNESS OF 4-POINT DESLAURIERS-DUBUC SCHEME

A NEW PROOF OF THE SMOOTHNESS OF 4-POINT DESLAURIERS-DUBUC SCHEME J. Appl. Math. & Computing Vol. 18(2005), No. 1-2, pp. 553-562 A NEW PROOF OF THE SMOOTHNESS OF 4-POINT DESLAURIERS-DUBUC SCHEME YOUCHUN TANG, KWAN PYO KO* AND BYUNG-GOOK LEE Abstract. It is well-known

More information

On some subclasses of circular-arc graphs

On some subclasses of circular-arc graphs On some subclasses of circular-arc graphs Guillermo Durán - Min Chih Lin Departamento de Computación Facultad de Ciencias Exactas y Naturales Universidad de Buenos Aires e-mail: {willy,oscarlin}@dc.uba.ar

More information

Normals of subdivision surfaces and their control polyhedra

Normals of subdivision surfaces and their control polyhedra Computer Aided Geometric Design 24 (27 112 116 www.elsevier.com/locate/cagd Normals of subdivision surfaces and their control polyhedra I. Ginkel a,j.peters b,,g.umlauf a a University of Kaiserslautern,

More information