How to Fold a Manifold. J. Scott Carter
|
|
- Byron Fields
- 5 years ago
- Views:
Transcription
1 How to Fold a Manfold J. Scott Carter Unversty of South Alabama May 2012 KOOK Semnar
2 Outlne 1. Jont work wth Sech Kamada
3 Outlne 1. Jont work wth Sech Kamada 2. Thanks to organzers
4 Outlne 1. Jont work wth Sech Kamada 2. Thanks to organzers 3. Thanks to Branpool Trust
5 Outlne 1. Jont work wth Sech Kamada 2. Thanks to organzers 3. Thanks to Branpool Trust 4. Defntons
6 Outlne 1. Jont work wth Sech Kamada 2. Thanks to organzers 3. Thanks to Branpool Trust 4. Defntons 5. Man Statements
7 Outlne 1. Jont work wth Sech Kamada 2. Thanks to organzers 3. Thanks to Branpool Trust 4. Defntons 5. Man Statements 6. Why t s nterestng
8 Outlne 1. Jont work wth Sech Kamada 2. Thanks to organzers 3. Thanks to Branpool Trust 4. Defntons 5. Man Statements 6. Why t s nterestng 7. Examples
9 Outlne 1. Jont work wth Sech Kamada 2. Thanks to organzers 3. Thanks to Branpool Trust 4. Defntons 5. Man Statements 6. Why t s nterestng 7. Examples 8. Sketch of proof
10 Outlne 1. Jont work wth Sech Kamada 2. Thanks to organzers 3. Thanks to Branpool Trust 4. Defntons 5. Man Statements 6. Why t s nterestng 7. Examples 8. Sketch of proof
11 Let k = 1, 0, 1, or 2.
12 Let k = 1, 0, 1, or 2. Consder an orented lnk L k S k+2,
13 Let k = 1, 0, 1, or 2. Consder an orented lnk L k S k+2, and f : M k+2 S k+2 a smple (rregular) branched cover wth branch set L k.
14 Let k = 1, 0, 1, or 2. Consder an orented lnk L k S k+2, and f : M k+2 S k+2 a smple (rregular) branched cover wth branch set L k. When k = 1, L s empty.
15 Let k = 1, 0, 1, or 2. Consder an orented lnk L k S k+2, and f : M k+2 S k+2 a smple (rregular) branched cover wth branch set L k. When k = 1, L s empty. When k = 0, L s an even number of ponts.
16 Let k = 1, 0, 1, or 2. Consder an orented lnk L k S k+2, and f : M k+2 S k+2 a smple (rregular) branched cover wth branch set L k. When k = 1, L s empty. When k = 0, L s an even number of ponts. (orented)
17 Let k = 1, 0, 1, or 2. Consder an orented lnk L k S k+2, and f : M k+2 S k+2 a smple (rregular) branched cover wth branch set L k. When k = 1, L s empty. When k = 0, L s an even number of ponts. (orented) When k = 1, L s a classcal lnk.
18 Let k = 1, 0, 1, or 2. Consder an orented lnk L k S k+2, and f : M k+2 S k+2 a smple (rregular) branched cover wth branch set L k. When k = 1, L s empty. When k = 0, L s an even number of ponts. (orented) When k = 1, L s a classcal lnk. When k = 2, we are consderng a lnked surface n the 4-sphere.
19 n n-1 n-1 regular pt. branch pt. 1 1 branch pt. regular pt.
20 Defnton A regular pt. y of an n fold smple branched cover has a Eucldean nbhd. N(y) such that f 1 (N(y)) has n-components: N 1,..., N n each homeom. to N(y).
21 Defnton A regular pt. y of an n fold smple branched cover has a Eucldean nbhd. N(y) such that f 1 (N(y)) has n-components: N 1,..., N n each homeom. to N(y). At a branch pont there are only (n 1) premages,
22 Defnton A regular pt. y of an n fold smple branched cover has a Eucldean nbhd. N(y) such that f 1 (N(y)) has n-components: N 1,..., N n each homeom. to N(y). At a branch pont there are only (n 1) premages, and one component of f 1 (N(y)) s of the form: (x 1, x 2,..., x k+2 ) (x 2 1 x 2 2, 2x 1 x 2,..., x k+2 )
23 Defnton A regular pt. y of an n fold smple branched cover has a Eucldean nbhd. N(y) such that f 1 (N(y)) has n-components: N 1,..., N n each homeom. to N(y). At a branch pont there are only (n 1) premages, and one component of f 1 (N(y)) s of the form: (x 1, x 2,..., x k+2 ) (x 2 1 x 2 2, 2x 1 x 2,..., x k+2 ) wth y the mage of 0.
24 Man Results Theorem Let k = 1, 0, 1, or 2. Let f : M k+2 S k+2 be an rregular smple branched cover of S k+2 branched along an embedded orented (poss. dsconn.) smooth sub-manfold L k S k+2. Then there s an mmerson f : M k+2 S k+2 D 2 such that the restrcton of the projecton onto the frst factor s a coverng map.
25 Such an mmerson wll be called an mmersed foldng. In ths case we wll say that the cover s folded. If f s, n fact, an embeddng, then t wll be called an embedded foldng.
26 Corollary Let k = 1, 0, 1, 2. Any compact orented (k + 2)-dmensonal manfold can be mmersed n R k+4.
27 Theorem Let k = 1, 0, 1, 2. Let L S k+2 denote any orentable compact smoothly embedded lnk. The 2-fold branched cover of S k+2 branched along L can be folded and embedded n S k+2 D 2.
28 Theorem (Hlden-Montesnos) Every closed connected orented 3-dmensonal manfold s obtaned as a smple rregular 2 or 3-fold branched cover of S 3 branched along some lnk.
29 Theorem (Ior-Pergalln) Every closed connected orented PL 4-dmensonal manfold can be obtaned as a smple rregular branched cover of S 4 branched along a (lnked) surface F S 4 wth of degree less than or equal to 5.
30 Remark The embedded foldngs are analogous to brads.
31 Remark The embedded foldngs are analogous to brads. In fact, they are hgher dmensonal brads.
32 Remark The embedded foldngs are analogous to brads. In fact, they are hgher dmensonal brads. And they are descrbed qute explctly as sequences of sequences of brad words.
33
34 In case k = 0, the smple branch pont s modeled upon the graph of z z 2.
35 In case k = 0, the smple branch pont s modeled upon the graph of z z 2. In the next slde, the 2-fold branched cover of a dsk (whch s an annulus) s llustrated.
36 In case k = 0, the smple branch pont s modeled upon the graph of z z 2. In the next slde, the 2-fold branched cover of a dsk (whch s an annulus) s llustrated. Smple branched covers of surfaces can all be bult from ths example.
37
38 Brad group B n = σ 1, σ 2,..., σ n 1 : σ σ j = σ j σ f j > 1; σ σ +1 σ = σ +1 σ σ +1 f = 1,... n 2
39 Permutaton group Σ n = τ 1, τ 2,..., τ n 1 : τ τ j = τ j τ f j > 1; τ τ +1 τ = τ +1 τ τ +1 f = 1,... n 2; τ 2 = 1, f = 1,..., n 1
40 A (permutaton) chart of degree n s a labeled fnte graph embedded n the 2-dsk D 2 wth three types of vertces:
41 A (permutaton) chart of degree n s a labeled fnte graph embedded n the 2-dsk D 2 wth three types of vertces: Whte vertex black vertex j 1< - j crossng
42 A (permutaton) chart of degree n s a labeled fnte graph embedded n the 2-dsk D 2 wth three types of vertces: Whte vertex black vertex j 1< - j crossng A brad chart ncludes orentatons on the edges.
43 Type II move
44 Black vertces
45 Crossng exchange
46 Whte vertces
47 Example b+ 0 b τ + 0 χ b 1 τ 3 τ 1 τ1 τ 2 b 3 τ + 0 b 1 τ 2 τ τ 2 τ 1 τ 2 W τ 1 τ 2 τ 1 b 2 τ 1 τ 1 II 1.
48
49
50 In the general case when k = 1
51 In the general case when k = 1 (branched covers of S 3 over a lnk,
52 In the general case when k = 1 (branched covers of S 3 over a lnk, the coverng wll be gven as a sequence of charts that are connected by moves of the followng type:
53 Chart moves +1 Empty dagram j j -j > j k j k -j >1; -k >1; j-k >1 j j > j j -j > j approprate ndces
54 For 2-fold branched covers, we use the followng moves.
55 1 H = or = 2 H Handle attachment empty. add 1-handle add 2-handle
56 IIb = a type II bubble move empty.
57 = A type II saddle move ) (.
58 CC = Candy-cane moves or,,,.
59 X = Exchange moves,, or,.
60 Z = Type II Zg-Zag
61 Lemma. Proof. 1-H IIs CC CC
62 3 tmes
63 [( )] 1 H = [( ) b+ 0 (σ1 1 ) b 1 ( )] = 1 H [( ) b+ 0 (σ1 1 ) b 1 ( ) b+ 0 (σ1 1 ) b 1 ( )] X = [( ) b+ 0 (σ1 1 ) b+ 0 (σ 1 σ1 1 ) b 2 (σ 1 ) b 1 ( )] IIs = [( ) b+ 0 (σ1 1 ) b+ 0 (σ 1 σ1 1 ) II 1 ( ) II+ 1 (σ 1 σ1 1 ) b 2 (σ 1 ) b 1 ( )] [( ) b+ 0 (σ 1 CC = CC = 1 ) b 1 ( ) II+ 1 (σ 1 σ 1 1 ) b 2 [( ) b+ 0 (σ1 1 ) b 1 ( ) b+ 0 (σ1 1 ) b 1 ( )] (σ 1 ) b 1 ( )] X =
64 [( ) b+ 0 (σ1 1 ) b+ 0 (σ 1 σ1 1 ) b 2 (σ 1 ) b 1 ( )] IIs = [( ) b+ 0 (σ1 1 ) b+ 0 (σ 1 σ1 1 ) II 1 ( ) II+ 1 (σ 1 σ1 1 ) b 2 (σ 1 ) b 1 ( )] [( ) b+ 0 (σ 1 CC = CC = 1 ) b 1 ( ) II+ 1 (σ 1 σ 1 1 ) b 2 [( ) b+ 0 (σ1 1 ) b 1 ( ) b+ 0 (σ1 1 ) b 1 ( )] (σ 1 ) b 1 ( )] X = [( ) b+ 0 (σ1 1 ) b+ 0 (σ 1 σ1 1 ) b 2 (σ 1 ) b 1 ( )] IIs = [( ) b+ 0 (σ1 1 ) b+ 0 (σ 1 σ1 1 ) II 1 ( ) II+ 1 (σ 1 σ1 1 ) b 2 (σ 1 ) b 1 ( )] CC =
65 [( ) b+ 0 (σ 1 CC = 1 ) b 1 ( ) II+ 1 (σ 1 σ 1 1 ) b 2 (σ 1 ) b 1 ( )] [( ) b+ 0 (σ1 1 ) b 1 ( ) b+ 0 (σ 1 ) b 1 ( )] =. 2 H [( ) b+ (σ 1 ) b ( )] [( )]. 2H =
66
67
68 Closng remarks The 3-fold branched cover of S 3 over a knot may not always be a folded embeddng.
69 Closng remarks The 3-fold branched cover of S 3 over a knot may not always be a folded embeddng. For example, 7 4 s 3-colorable, but the foldng has a smple closed curve of double ponts.
70 Closng remarks The 3-fold branched cover of S 3 over a knot may not always be a folded embeddng. For example, 7 4 s 3-colorable, but the foldng has a smple closed curve of double ponts. Nonetheless, the cover s a 3-sphere. It s not braded over 7 4. :(
71 Closng remarks The 3-fold branched cover of S 3 over a knot may not always be a folded embeddng. For example, 7 4 s 3-colorable, but the foldng has a smple closed curve of double ponts. Nonetheless, the cover s a 3-sphere. It s not braded over 7 4. :( For 2-fold branched covers of S 4 over orentable manfolds, we can always fnd embedded foldngs.
72 Closng remarks The 3-fold branched cover of S 3 over a knot may not always be a folded embeddng. For example, 7 4 s 3-colorable, but the foldng has a smple closed curve of double ponts. Nonetheless, the cover s a 3-sphere. It s not braded over 7 4. :( For 2-fold branched covers of S 4 over orentable manfolds, we can always fnd embedded foldngs. Menton CP 2 and the 3-fold branched cover of the 2-twst-spun trefol
73
Statistical Mechanics and Combinatorics : Lecture III
Statstcal Mechancs and Combnatorcs : Lecture III Dmer Model Dmer defntons Defnton A dmer coverng (perfect matchng) of a fnte graph s a set of edges whch covers every vertex exactly once, e every vertex
More informationMore metrics on cartesian products
More metrcs on cartesan products If (X, d ) are metrc spaces for 1 n, then n Secton II4 of the lecture notes we defned three metrcs on X whose underlyng topologes are the product topology The purpose of
More informationGraph Reconstruction by Permutations
Graph Reconstructon by Permutatons Perre Ille and Wllam Kocay* Insttut de Mathémathques de Lumny CNRS UMR 6206 163 avenue de Lumny, Case 907 13288 Marselle Cedex 9, France e-mal: lle@ml.unv-mrs.fr Computer
More informationSpectral Graph Theory and its Applications September 16, Lecture 5
Spectral Graph Theory and ts Applcatons September 16, 2004 Lecturer: Danel A. Spelman Lecture 5 5.1 Introducton In ths lecture, we wll prove the followng theorem: Theorem 5.1.1. Let G be a planar graph
More informationA Quantum Gauss-Bonnet Theorem
A Quantum Gauss-Bonnet Theorem Tyler Fresen November 13, 2014 Curvature n the plane Let Γ be a smooth curve wth orentaton n R 2, parametrzed by arc length. The curvature k of Γ s ± Γ, where the sgn s postve
More informationDOUBLE POINTS AND THE PROPER TRANSFORM IN SYMPLECTIC GEOMETRY
DOUBLE POINTS AND THE PROPER TRANSFORM IN SYMPLECTIC GEOMETRY JOHN D. MCCARTHY AND JON G. WOLFSON 0. Introducton In hs book, Partal Dfferental Relatons, Gromov ntroduced the symplectc analogue of the complex
More information42. Mon, Dec. 8 Last time, we were discussing CW complexes, and we considered two di erent CW structures on S n. We continue with more examples.
42. Mon, Dec. 8 Last tme, we were dscussng CW complexes, and we consdered two d erent CW structures on S n. We contnue wth more examples. (2) RP n. Let s start wth RP 2. Recall that one model for ths space
More information8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS
SECTION 8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS 493 8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS All the vector spaces you have studed thus far n the text are real vector spaces because the scalars
More informationAffine and Riemannian Connections
Affne and Remannan Connectons Semnar Remannan Geometry Summer Term 2015 Prof Dr Anna Wenhard and Dr Gye-Seon Lee Jakob Ullmann Notaton: X(M) space of smooth vector felds on M D(M) space of smooth functons
More informationBRAID PRESENTATION OF VIRTUAL KNOTS AND WELDED KNOTS
Kamada, S. Osaka J. Math. 44 (2007), 441 458 BRAID PRESENTATION OF VIRTUAL KNOTS AND WELDED KNOTS SEIICHI KAMADA (Receved October 14, 2005, revsed June 23, 2006) Abstract Vrtual knot theory, ntroduced
More informationOn Tiling for Some Types of Manifolds. and their Folding
Appled Mathematcal Scences, Vol. 3, 009, no. 6, 75-84 On Tlng for Some Types of Manfolds and ther Foldng H. Rafat Mathematcs Department, Faculty of Scence Tanta Unversty, Tanta Egypt hshamrafat005@yahoo.com
More informationCase A. P k = Ni ( 2L i k 1 ) + (# big cells) 10d 2 P k.
THE CELLULAR METHOD In ths lecture, we ntroduce the cellular method as an approach to ncdence geometry theorems lke the Szemeréd-Trotter theorem. The method was ntroduced n the paper Combnatoral complexty
More informationKLR algebras and knot homology II
KLR algebras and knot homology II Ben Webster Unversty of Vrgna June 6, 013 Ben Webster (UVA) KLR algebras and knot homology II June 6, 013 1 / 5 The case of sl So, remember, last tme I ntroduced an algebra
More informationMATH 5707 HOMEWORK 4 SOLUTIONS 2. 2 i 2p i E(X i ) + E(Xi 2 ) ä i=1. i=1
MATH 5707 HOMEWORK 4 SOLUTIONS CİHAN BAHRAN 1. Let v 1,..., v n R m, all lengths v are not larger than 1. Let p 1,..., p n [0, 1] be arbtrary and set w = p 1 v 1 + + p n v n. Then there exst ε 1,..., ε
More informationINTERSECTION THEORY CLASS 13
INTERSECTION THEORY CLASS 13 RAVI VAKIL CONTENTS 1. Where we are: Segre classes of vector bundles, and Segre classes of cones 1 2. The normal cone, and the Segre class of a subvarety 3 3. Segre classes
More informationComplete subgraphs in multipartite graphs
Complete subgraphs n multpartte graphs FLORIAN PFENDER Unverstät Rostock, Insttut für Mathematk D-18057 Rostock, Germany Floran.Pfender@un-rostock.de Abstract Turán s Theorem states that every graph G
More informationHamilton cycles in directed graphs
Unversty of Brmngham, School of Mathematcs January 22nd, 2010 Jont work wth Danela Kühn and Deryk Osthus (Unversty of Brmngham) Theorem (Drac, 1952) Graph G of order n 3 and δ(g) n/2 = G Hamltonan. Theorem
More informationDOLD THEOREMS IN SHAPE THEORY
Volume 9, 1984 Pages 359 365 http://topology.auburn.edu/tp/ DOLD THEOREMS IN SHAPE THEORY by Harold M. Hastngs and Mahendra Jan Topology Proceedngs Web: http://topology.auburn.edu/tp/ Mal: Topology Proceedngs
More informationON GENERA OF LEFSCHETZ FIBRATIONS AND FINITELY PRESENTED GROUPS
Kobayash, R. Osaka J. Math. 53 (2016), 351 376 ON GENERA OF LEFSCHETZ FIBRATIONS AND FINITELY PRESENTED GROUPS RYOMA KOBAYASHI (Receved May 14, 2014, revsed January 7, 2015) Abstract It s known that every
More informationPlease review the following statement: I certify that I have not given unauthorized aid nor have I received aid in the completion of this exam.
Please revew the followng statement: I certfy that I have not gven unauthorzed ad nor have I receved ad n the completon of ths exam. Sgnature: Instructor s Name and Secton: (Crcle Your Secton) Sectons:
More information( 1) i [ d i ]. The claim is that this defines a chain complex. The signs have been inserted into the definition to make this work out.
Mon, Apr. 2 We wsh to specfy a homomorphsm @ n : C n ()! C n (). Snce C n () s a free abelan group, the homomorphsm @ n s completely specfed by ts value on each generator, namely each n-smplex. There are
More informationRandomness and Computation
Randomness and Computaton or, Randomzed Algorthms Mary Cryan School of Informatcs Unversty of Ednburgh RC 208/9) Lecture 0 slde Balls n Bns m balls, n bns, and balls thrown unformly at random nto bns usually
More information2.3 Nilpotent endomorphisms
s a block dagonal matrx, wth A Mat dm U (C) In fact, we can assume that B = B 1 B k, wth B an ordered bass of U, and that A = [f U ] B, where f U : U U s the restrcton of f to U 40 23 Nlpotent endomorphsms
More informationarxiv: v1 [math.dg] 15 Jun 2007
arxv:0706.2313v1 [math.dg] 15 Jun 2007 Cohomology of dffeologcal spaces and folatons E. Macías-Vrgós; E. Sanmartín-Carbón Abstract Let (M, F) be a folated manfold. We study the relatonshp between the basc
More informationTuring Machines (intro)
CHAPTER 3 The Church-Turng Thess Contents Turng Machnes defntons, examples, Turng-recognzable and Turng-decdable languages Varants of Turng Machne Multtape Turng machnes, non-determnstc Turng Machnes,
More informationSUPER PRINCIPAL FIBER BUNDLE WITH SUPER ACTION
talan journal of pure appled mathematcs n. 33 2014 (63 70) 63 SUPER PRINCIPAL FIBER BUNDLE WITH SUPER ACTION M.R. Farhangdoost Department of Mathematcs College of Scences Shraz Unversty Shraz, 71457-44776
More informationLecture 14 - Isomorphism Theorem of Harish-Chandra
Lecture 14 - Isomorphsm Theorem of Harsh-Chandra March 11, 2013 Ths lectures shall be focused on central characters and what they can tell us about the unversal envelopng algebra of a semsmple Le algebra.
More informationDEGREE.li. off. folg are called smoothlyhom.to if there is a smooth map. smoothness. f gilt. Lenin. of and fi TOPYKMODZ. flx Flx.
XI TOPYKMODZ DEGREE.l Homotopy formalzes contnuous smooth deformatons of maps D Let f glt N be smooth maps between smooth manfolds folg are called smoothlyhom.to f there s a smooth map F Mx op NS.t.kxe
More informationSubset Topological Spaces and Kakutani s Theorem
MOD Natural Neutrosophc Subset Topologcal Spaces and Kakutan s Theorem W. B. Vasantha Kandasamy lanthenral K Florentn Smarandache 1 Copyrght 1 by EuropaNova ASBL and the Authors Ths book can be ordered
More informationTHE WEIGHTED WEAK TYPE INEQUALITY FOR THE STRONG MAXIMAL FUNCTION
THE WEIGHTED WEAK TYPE INEQUALITY FO THE STONG MAXIMAL FUNCTION THEMIS MITSIS Abstract. We prove the natural Fefferman-Sten weak type nequalty for the strong maxmal functon n the plane, under the assumpton
More informationChapter Twelve. Integration. We now turn our attention to the idea of an integral in dimensions higher than one. Consider a real-valued function f : D
Chapter Twelve Integraton 12.1 Introducton We now turn our attenton to the dea of an ntegral n dmensons hgher than one. Consder a real-valued functon f : R, where the doman s a nce closed subset of Eucldean
More informationNice plotting of proteins II
Nce plottng of protens II Fnal remark regardng effcency: It s possble to wrte the Newton representaton n a way that can be computed effcently, usng smlar bracketng that we made for the frst representaton
More informationProjective change between two Special (α, β)- Finsler Metrics
Internatonal Journal of Trend n Research and Development, Volume 2(6), ISSN 2394-9333 www.jtrd.com Projectve change between two Specal (, β)- Fnsler Metrcs Gayathr.K 1 and Narasmhamurthy.S.K 2 1 Assstant
More informationThe Second Eigenvalue of Planar Graphs
Spectral Graph Theory Lecture 20 The Second Egenvalue of Planar Graphs Danel A. Spelman November 11, 2015 Dsclamer These notes are not necessarly an accurate representaton of what happened n class. The
More informationInner Product. Euclidean Space. Orthonormal Basis. Orthogonal
Inner Product Defnton 1 () A Eucldean space s a fnte-dmensonal vector space over the reals R, wth an nner product,. Defnton 2 (Inner Product) An nner product, on a real vector space X s a symmetrc, blnear,
More informationSmarandache-Zero Divisors in Group Rings
Smarandache-Zero Dvsors n Group Rngs W.B. Vasantha and Moon K. Chetry Department of Mathematcs I.I.T Madras, Chenna The study of zero-dvsors n group rngs had become nterestng problem snce 1940 wth the
More informationPrinciples of Food and Bioprocess Engineering (FS 231) Solutions to Example Problems on Heat Transfer
Prncples of Food and Boprocess Engneerng (FS 31) Solutons to Example Problems on Heat Transfer 1. We start wth Fourer s law of heat conducton: Q = k A ( T/ x) Rearrangng, we get: Q/A = k ( T/ x) Here,
More informationThe path of ants Dragos Crisan, Andrei Petridean, 11 th grade. Colegiul National "Emil Racovita", Cluj-Napoca
Ths artcle s wrtten by students. It may nclude omssons and mperfectons, whch were dentfed and reported as mnutely as possble by our revewers n the edtoral notes. The path of ants 07-08 Students names and
More informationLecture 3. Ax x i a i. i i
18.409 The Behavor of Algorthms n Practce 2/14/2 Lecturer: Dan Spelman Lecture 3 Scrbe: Arvnd Sankar 1 Largest sngular value In order to bound the condton number, we need an upper bound on the largest
More informationPHYS 705: Classical Mechanics. Calculus of Variations II
1 PHYS 705: Classcal Mechancs Calculus of Varatons II 2 Calculus of Varatons: Generalzaton (no constrant yet) Suppose now that F depends on several dependent varables : We need to fnd such that has a statonary
More informationNP-Completeness : Proofs
NP-Completeness : Proofs Proof Methods A method to show a decson problem Π NP-complete s as follows. (1) Show Π NP. (2) Choose an NP-complete problem Π. (3) Show Π Π. A method to show an optmzaton problem
More informationBallot Paths Avoiding Depth Zero Patterns
Ballot Paths Avodng Depth Zero Patterns Henrch Nederhausen and Shaun Sullvan Florda Atlantc Unversty, Boca Raton, Florda nederha@fauedu, ssull21@fauedu 1 Introducton In a paper by Sapounaks, Tasoulas,
More informationPlease review the following statement: I certify that I have not given unauthorized aid nor have I received aid in the completion of this exam.
ME 270 Sprng 2014 Fnal Exam NME (Last, Frst): Please revew the followng statement: I certfy that I have not gven unauthorzed ad nor have I receved ad n the completon of ths exam. Sgnature: INSTRUCTIONS
More informationAffine transformations and convexity
Affne transformatons and convexty The purpose of ths document s to prove some basc propertes of affne transformatons nvolvng convex sets. Here are a few onlne references for background nformaton: http://math.ucr.edu/
More informationFinding Dense Subgraphs in G(n, 1/2)
Fndng Dense Subgraphs n Gn, 1/ Atsh Das Sarma 1, Amt Deshpande, and Rav Kannan 1 Georga Insttute of Technology,atsh@cc.gatech.edu Mcrosoft Research-Bangalore,amtdesh,annan@mcrosoft.com Abstract. Fndng
More informationPlease review the following statement: I certify that I have not given unauthorized aid nor have I received aid in the completion of this exam.
ME 270 Sprng 2017 Exam 1 NAME (Last, Frst): Please revew the followng statement: I certfy that I have not gven unauthorzed ad nor have I receved ad n the completon of ths exam. Sgnature: Instructor s Name
More informationReport on Image warping
Report on Image warpng Xuan Ne, Dec. 20, 2004 Ths document summarzed the algorthms of our mage warpng soluton for further study, and there s a detaled descrpton about the mplementaton of these algorthms.
More informationA CLASS OF RECURSIVE SETS. Florentin Smarandache University of New Mexico 200 College Road Gallup, NM 87301, USA
A CLASS OF RECURSIVE SETS Florentn Smarandache Unversty of New Mexco 200 College Road Gallup, NM 87301, USA E-mal: smarand@unmedu In ths artcle one bulds a class of recursve sets, one establshes propertes
More informationProblem Points Score Total 100
Physcs 450 Solutons of Sample Exam I Problem Ponts Score 1 8 15 3 17 4 0 5 0 Total 100 All wor must be shown n order to receve full credt. Wor must be legble and comprehensble wth answers clearly ndcated.
More informationMTH 263 Practice Test #1 Spring 1999
Pat Ross MTH 6 Practce Test # Sprng 999 Name. Fnd the area of the regon bounded by the graph r =acos (θ). Observe: Ths s a crcle of radus a, for r =acos (θ) r =a ³ x r r =ax x + y =ax x ax + y =0 x ax
More informationINDUCTANCE. RC Cicuits vs LR Circuits
INDUTANE R cuts vs LR rcuts R rcut hargng (battery s connected): (1/ )q + (R)dq/ dt LR rcut = (R) + (L)d/ dt q = e -t/ R ) = / R(1 - e -(R/ L)t ) q ncreases from 0 to = dq/ dt decreases from / R to 0 Dschargng
More informationU.C. Berkeley CS294: Beyond Worst-Case Analysis Handout 6 Luca Trevisan September 12, 2017
U.C. Berkeley CS94: Beyond Worst-Case Analyss Handout 6 Luca Trevsan September, 07 Scrbed by Theo McKenze Lecture 6 In whch we study the spectrum of random graphs. Overvew When attemptng to fnd n polynomal
More informationGeneral theory of fuzzy connectedness segmentations: reconciliation of two tracks of FC theory
General theory of fuzzy connectedness segmentatons: reconclaton of two tracks of FC theory Krzysztof Chrs Ceselsk Department of Mathematcs, West Vrgna Unversty and MIPG, Department of Radology, Unversty
More informationarxiv:quant-ph/ Jul 2002
Lnear optcs mplementaton of general two-photon proectve measurement Andrze Grudka* and Anton Wóck** Faculty of Physcs, Adam Mckewcz Unversty, arxv:quant-ph/ 9 Jul PXOWRZVNDR]QDRODQG Abstract We wll present
More informationR n α. . The funny symbol indicates DISJOINT union. Define an equivalence relation on this disjoint union by declaring v α R n α, and v β R n β
Readng. Ch. 3 of Lee. Warner. M s an abstract manfold. We have defned the tangent space to M va curves. We are gong to gve two other defntons. All three are used n the subject and one freely swtches back
More informationWhy Monte Carlo Integration? Introduction to Monte Carlo Method. Continuous Probability. Continuous Probability
Introducton to Monte Carlo Method Kad Bouatouch IRISA Emal: kad@rsa.fr Wh Monte Carlo Integraton? To generate realstc lookng mages, we need to solve ntegrals of or hgher dmenson Pel flterng and lens smulaton
More information20. Mon, Oct. 13 What we have done so far corresponds roughly to Chapters 2 & 3 of Lee. Now we turn to Chapter 4. The first idea is connectedness.
20. Mon, Oct. 13 What we have done so far corresponds roughly to Chapters 2 & 3 of Lee. Now we turn to Chapter 4. The frst dea s connectedness. Essentally, we want to say that a space cannot be decomposed
More informationResearch Article Relative Smooth Topological Spaces
Advances n Fuzzy Systems Volume 2009, Artcle ID 172917, 5 pages do:10.1155/2009/172917 Research Artcle Relatve Smooth Topologcal Spaces B. Ghazanfar Department of Mathematcs, Faculty of Scence, Lorestan
More informationGeometry of Müntz Spaces
WDS'12 Proceedngs of Contrbuted Papers, Part I, 31 35, 212. ISBN 978-8-7378-224-5 MATFYZPRESS Geometry of Müntz Spaces P. Petráček Charles Unversty, Faculty of Mathematcs and Physcs, Prague, Czech Republc.
More informationSUCCESSIVE MINIMA AND LATTICE POINTS (AFTER HENK, GILLET AND SOULÉ) M(B) := # ( B Z N)
SUCCESSIVE MINIMA AND LATTICE POINTS (AFTER HENK, GILLET AND SOULÉ) S.BOUCKSOM Abstract. The goal of ths note s to present a remarably smple proof, due to Hen, of a result prevously obtaned by Gllet-Soulé,
More informationLecture 7: Gluing prevarieties; products
Lecture 7: Glung prevaretes; products 1 The category of algebrac prevaretes Proposton 1. Let (f,ϕ) : (X,O X ) (Y,O Y ) be a morphsm of algebrac prevaretes. If U X and V Y are affne open subvaretes wth
More information= z 20 z n. (k 20) + 4 z k = 4
Problem Set #7 solutons 7.2.. (a Fnd the coeffcent of z k n (z + z 5 + z 6 + z 7 + 5, k 20. We use the known seres expanson ( n+l ( z l l z n below: (z + z 5 + z 6 + z 7 + 5 (z 5 ( + z + z 2 + z + 5 5
More informationSMARANDACHE-GALOIS FIELDS
SMARANDACHE-GALOIS FIELDS W. B. Vasantha Kandasamy Deartment of Mathematcs Indan Insttute of Technology, Madras Chenna - 600 036, Inda. E-mal: vasantak@md3.vsnl.net.n Abstract: In ths aer we study the
More information12 MATH 101A: ALGEBRA I, PART C: MULTILINEAR ALGEBRA. 4. Tensor product
12 MATH 101A: ALGEBRA I, PART C: MULTILINEAR ALGEBRA Here s an outlne of what I dd: (1) categorcal defnton (2) constructon (3) lst of basc propertes (4) dstrbutve property (5) rght exactness (6) localzaton
More informationχ x B E (c) Figure 2.1.1: (a) a material particle in a body, (b) a place in space, (c) a configuration of the body
Secton.. Moton.. The Materal Body and Moton hyscal materals n the real world are modeled usng an abstract mathematcal entty called a body. Ths body conssts of an nfnte number of materal partcles. Shown
More informationOn a direct solver for linear least squares problems
ISSN 2066-6594 Ann. Acad. Rom. Sc. Ser. Math. Appl. Vol. 8, No. 2/2016 On a drect solver for lnear least squares problems Constantn Popa Abstract The Null Space (NS) algorthm s a drect solver for lnear
More informationU.C. Berkeley CS294: Spectral Methods and Expanders Handout 8 Luca Trevisan February 17, 2016
U.C. Berkeley CS94: Spectral Methods and Expanders Handout 8 Luca Trevsan February 7, 06 Lecture 8: Spectral Algorthms Wrap-up In whch we talk about even more generalzatons of Cheeger s nequaltes, and
More informationPlease review the following statement: I certify that I have not given unauthorized aid nor have I received aid in the completion of this exam.
NME (Last, Frst): Please revew the followng statement: I certfy that I have not gven unauthorzed ad nor have I receved ad n the completon of ths exam. Sgnature: INSTRUCTIONS Begn each problem n the space
More informationLecture 12: Discrete Laplacian
Lecture 12: Dscrete Laplacan Scrbe: Tanye Lu Our goal s to come up wth a dscrete verson of Laplacan operator for trangulated surfaces, so that we can use t n practce to solve related problems We are mostly
More informationMath 396. Metric tensor on hypersurfaces
Math 396. Metrc tensor on hypersurfaces 1. Motvaton Let U R n be a non-empty open subset and f : U R a C -functon. Let Γ U R be the graph of f. The closed subset Γ n U R proects homeomorphcally onto U
More informationSalmon: Lectures on partial differential equations. Consider the general linear, second-order PDE in the form. ,x 2
Salmon: Lectures on partal dfferental equatons 5. Classfcaton of second-order equatons There are general methods for classfyng hgher-order partal dfferental equatons. One s very general (applyng even to
More informationHowever, since P is a symmetric idempotent matrix, of P are either 0 or 1 [Eigen-values
Fall 007 Soluton to Mdterm Examnaton STAT 7 Dr. Goel. [0 ponts] For the general lnear model = X + ε, wth uncorrelated errors havng mean zero and varance σ, suppose that the desgn matrx X s not necessarly
More informationOn intransitive graph-restrictive permutation groups
J Algebr Comb (2014) 40:179 185 DOI 101007/s10801-013-0482-5 On ntranstve graph-restrctve permutaton groups Pablo Spga Gabrel Verret Receved: 5 December 2012 / Accepted: 5 October 2013 / Publshed onlne:
More informationarxiv: v1 [math.ho] 18 May 2008
Recurrence Formulas for Fbonacc Sums Adlson J. V. Brandão, João L. Martns 2 arxv:0805.2707v [math.ho] 8 May 2008 Abstract. In ths artcle we present a new recurrence formula for a fnte sum nvolvng the Fbonacc
More informationEPR Paradox and the Physical Meaning of an Experiment in Quantum Mechanics. Vesselin C. Noninski
EPR Paradox and the Physcal Meanng of an Experment n Quantum Mechancs Vesseln C Nonnsk vesselnnonnsk@verzonnet Abstract It s shown that there s one purely determnstc outcome when measurement s made on
More informationFully simple singularities of plane and space curves
Proc. London Math. Soc. Page1of21 C 2008 London Mathematcal Socety do:10.1112/plms/pdn001 Fully smple sngulartes of plane and space curves M. Zhtomrsk Abstract In ths work we ntroduce the defnton of fully
More informationOn the set of natural numbers
On the set of natural numbers by Jalton C. Ferrera Copyrght 2001 Jalton da Costa Ferrera Introducton The natural numbers have been understood as fnte numbers, ths wor tres to show that the natural numbers
More information6. Stochastic processes (2)
Contents Markov processes Brth-death processes Lect6.ppt S-38.45 - Introducton to Teletraffc Theory Sprng 5 Markov process Consder a contnuous-tme and dscrete-state stochastc process X(t) wth state space
More informationarxiv: v1 [math.co] 1 Mar 2014
Unon-ntersectng set systems Gyula O.H. Katona and Dánel T. Nagy March 4, 014 arxv:1403.0088v1 [math.co] 1 Mar 014 Abstract Three ntersecton theorems are proved. Frst, we determne the sze of the largest
More informationEuropean Journal of Combinatorics
European Journal of Combnatorcs 0 (009) 480 489 Contents lsts avalable at ScenceDrect European Journal of Combnatorcs journal homepage: www.elsever.com/locate/ejc Tlngs n Lee metrc P. Horak 1 Unversty
More informationINVARIANT STABLY COMPLEX STRUCTURES ON TOPOLOGICAL TORIC MANIFOLDS
INVARIANT STABLY COMPLEX STRUCTURES ON TOPOLOGICAL TORIC MANIFOLDS HIROAKI ISHIDA Abstract We show that any (C ) n -nvarant stably complex structure on a topologcal torc manfold of dmenson 2n s ntegrable
More information6. Stochastic processes (2)
6. Stochastc processes () Lect6.ppt S-38.45 - Introducton to Teletraffc Theory Sprng 5 6. Stochastc processes () Contents Markov processes Brth-death processes 6. Stochastc processes () Markov process
More informationPlease review the following statement: I certify that I have not given unauthorized aid nor have I received aid in the completion of this exam.
Please revew the followng statement: I certfy that I have not gven unauthorzed ad nor have I receved ad n the completon of ths exam. Sgnature: Instructor s Name and Secton: (Crcle Your Secton) Sectons:
More informationA 2D Bounded Linear Program (H,c) 2D Linear Programming
A 2D Bounded Lnear Program (H,c) h 3 v h 8 h 5 c h 4 h h 6 h 7 h 2 2D Lnear Programmng C s a polygonal regon, the ntersecton of n halfplanes. (H, c) s nfeasble, as C s empty. Feasble regon C s unbounded
More informationGeorgia Tech PHYS 6124 Mathematical Methods of Physics I
Georga Tech PHYS 624 Mathematcal Methods of Physcs I Instructor: Predrag Cvtanovć Fall semester 202 Homework Set #7 due October 30 202 == show all your work for maxmum credt == put labels ttle legends
More informationk(k 1)(k 2)(p 2) 6(p d.
BLOCK-TRANSITIVE 3-DESIGNS WITH AFFINE AUTOMORPHISM GROUP Greg Gamble Let X = (Z p d where p s an odd prme and d N, and let B X, B = k. Then t was shown by Praeger that the set B = {B g g AGL d (p} s the
More informationINTERVAL SEMIGROUPS. W. B. Vasantha Kandasamy Florentin Smarandache
Interval Semgroups - Cover.pdf:Layout 1 1/20/2011 10:04 AM Page 1 INTERVAL SEMIGROUPS W. B. Vasantha Kandasamy Florentn Smarandache KAPPA & OMEGA Glendale 2011 Ths book can be ordered n a paper bound reprnt
More informationTitleSelf-mapping degrees of 3-manifolds. Author(s) Sun, Hongbin; Wang, Shicheng; Wu, J. Citation Osaka Journal of Mathematics.
TtleSelf-mappng degrees of 3-manfolds Author(s) Sun, Hongbn; Wang, Shcheng; Wu, J Ctaton Osaka Journal of Mathematcs. 49(1) Issue 2012-03 Date Text Verson publsher URL http://hdl.handle.net/11094/5043
More informationProblem Set 9 Solutions
Desgn and Analyss of Algorthms May 4, 2015 Massachusetts Insttute of Technology 6.046J/18.410J Profs. Erk Demane, Srn Devadas, and Nancy Lynch Problem Set 9 Solutons Problem Set 9 Solutons Ths problem
More information= = = (a) Use the MATLAB command rref to solve the system. (b) Let A be the coefficient matrix and B be the right-hand side of the system.
Chapter Matlab Exercses Chapter Matlab Exercses. Consder the lnear system of Example n Secton.. x x x y z y y z (a) Use the MATLAB command rref to solve the system. (b) Let A be the coeffcent matrx and
More informationMultilayer Perceptron (MLP)
Multlayer Perceptron (MLP) Seungjn Cho Department of Computer Scence and Engneerng Pohang Unversty of Scence and Technology 77 Cheongam-ro, Nam-gu, Pohang 37673, Korea seungjn@postech.ac.kr 1 / 20 Outlne
More informationC/CS/Phy191 Problem Set 3 Solutions Out: Oct 1, 2008., where ( 00. ), so the overall state of the system is ) ( ( ( ( 00 ± 11 ), Φ ± = 1
C/CS/Phy9 Problem Set 3 Solutons Out: Oct, 8 Suppose you have two qubts n some arbtrary entangled state ψ You apply the teleportaton protocol to each of the qubts separately What s the resultng state obtaned
More informationAn Introduction to Morita Theory
An Introducton to Morta Theory Matt Booth October 2015 Nov. 2017: made a few revsons. Thanks to Nng Shan for catchng a typo. My man reference for these notes was Chapter II of Bass s book Algebrac K-Theory
More informationNumerical Algorithms for Visual Computing 2008/09 Example Solutions for Assignment 4. Problem 1 (Shift invariance of the Laplace operator)
Numercal Algorthms for Vsual Computng 008/09 Example Solutons for Assgnment 4 Problem (Shft nvarance of the Laplace operator The Laplace equaton s shft nvarant,.e., nvarant under translatons x x + a, y
More informationn α j x j = 0 j=1 has a nontrivial solution. Here A is the n k matrix whose jth column is the vector for all t j=0
MODULE 2 Topcs: Lnear ndependence, bass and dmenson We have seen that f n a set of vectors one vector s a lnear combnaton of the remanng vectors n the set then the span of the set s unchanged f that vector
More informationApproximate Smallest Enclosing Balls
Chapter 5 Approxmate Smallest Enclosng Balls 5. Boundng Volumes A boundng volume for a set S R d s a superset of S wth a smple shape, for example a box, a ball, or an ellpsod. Fgure 5.: Boundng boxes Q(P
More informationCollege of Computer & Information Science Fall 2009 Northeastern University 20 October 2009
College of Computer & Informaton Scence Fall 2009 Northeastern Unversty 20 October 2009 CS7880: Algorthmc Power Tools Scrbe: Jan Wen and Laura Poplawsk Lecture Outlne: Prmal-dual schema Network Desgn:
More informationNEW GENERAL FORMULAS FOR PYTHAGOREAN TRIPLES
NEW GENERAL FORMULAS FOR PYTHAGOREAN TRIPLES EDUARDO CALOOY ROQUE Abstract. Ths paper shows the General Formulas for Pythagorean trples that were derved from the dfferences of the sdes of a rght trangle.
More informationPlease review the following statement: I certify that I have not given unauthorized aid nor have I received aid in the completion of this exam.
ME 270 Summer 2014 Fnal Exam NAME (Last, Frst): Please revew the followng statement: I certfy that I have not gven unauthorzed ad nor have I receved ad n the completon of ths exam. Sgnature: INSTRUCTIONS
More information