1: %% File initiated: 11/20/03
2: %% Joint: Isabel Darcy, John Luecke, and Mariel Vazquez
3: %% VERSION: 2/11/04; 3/26/04; 4/14/04; 6/25/04; 1/30/07; 3/05/07
4: %% 1/30/07 NEW Title: A tangle analysis of the Mu transpososome protein
5: %% complex which binds three DNA segments
6: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7:
8: \documentclass[12pt]{amsart}
9:
10: \usepackage{amsmath,amsfonts,amssymb,amscd,amsthm,amsbsy,epsf}
11: %\usepackage{epstopdf} %to automatically convert eps to pdf
12: %%\usepackage{lineno} %add line numbers
13: %%%%\linenumbers
14: %%\pagewiselinenumbers
15:
16: %%%%%%% PAGE STYLE/SIZING %%%%%%%%%%%%
17: \textwidth=6.25truein
18: \textheight=8.5truein
19: %%\textwidth=125 truemm
20: %%\textheight=185 truemm
21:
22:
23: \hoffset=-.5truein
24: \voffset=-.5truein
25: \footskip=24pt
26: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
27: %\def\fakecite#1{{\rm [#1]}} %% temporary until refs are added at end
28: %%%%%%% ENVIRONMENT SETTINGS %%%%%%%
29:
30: \newtheorem{thm}{Theorem}[section]
31: \newtheorem{lemma}[thm]{Lemma}
32: \newtheorem{cor}[thm]{Corollary}
33: \newtheorem{con}[thm]{Conjecture}
34: \newtheorem{claim}[thm]{Claim}
35: \newtheorem{subclaim}[thm]{Subclaim}
36: \newtheorem*{THMPJH}{Theorem~\ref{thmPJH}}
37: %%\newtheorem*{thm3.16}{Theorem~\ref{thm:oppositeedges}}
38: \newtheorem*{TP}{Theorem~\ref{tp}}
39: \newtheorem*{HandleLemma}{Handle Addition Lemma}
40: \newtheorem*{CORPJH}{Corollary~\ref{corPJH}}
41: %%\newtheorem*{CORPJH}{Corollary~\ref{CORPJH}}
42: \newtheorem*{con3.19}{Conjecture~\ref{cor:restriction}}
43: \newtheorem*{Tsolution}{Proposition~\ref{prop:5.1}}
44: \newtheorem*{PROP51}{Proposition~\ref{prop:5.1}}
45: \newtheorem{prop}[thm]{Proposition}
46: \theoremstyle{definition}
47: \newtheorem{assump}[thm]{Assumption}
48: \newtheorem*{remark}{Remark}
49: %%\newtheorem*{defn}{Definition}
50: \newtheorem{defn}{Definition}
51: \numberwithin{figure}{section}
52: \numberwithin{equation}{section}
53: \def\QED#1{\newline{\rightline{Q.E.D.~(#1)\medskip}}}
54: %%%%%%% OTHER MACROS %%%%%%%%%%%%%%%%%%%%%%%
55: \def\strut{\hbox{\vrule height 1.35em depth.65em width0pt}}
56: \def\myfig#1#2#3{$$\vbox{
57: \centerline{\epsfysize=#1truein\epsfbox{#2.eps}}
58: \centerline{\sc Figure #3}}$$}
59: \def\nonumfig#1#2{$$\epsfysize=#1truein\epsfbox{#2.eps}$$}
60: \def\doublefig#1#2#3#4#5#6{$$\vbox{
61: \centerline{{\epsfysize=#1truein\epsfbox{#2.eps}}
62: \hskip1.0truein{\epsfysize=#4truein\epsfbox{#5.eps}}}
63: \centerline{\sc Figure #3\hskip1.8truein Figure #6}}$$}
64: \def\sdoublefig#1#2#3#4#5#6{$$\vbox{
65: \centerline{{\epsfysize=#1truein\epsfbox{#2.eps}}
66: \hskip.5truein{\epsfysize=#4truein\epsfbox{#5.eps}}}
67: \centerline{\sc Figure #3\hskip2.2truein Figure #6}}$$}
68: \def\wdoublefig#1#2#3#4#5#6{$$\vbox{
69: \centerline{{\epsfysize=#1truein\epsfbox{#2.eps}}
70: \hskip1.5truein{\epsfysize=#4truein\epsfbox{#5.eps}}}
71: \centerline{\sc Figure #3\hskip1.8truein Figure #6}}$$}
72: \def\T{{\mathcal T}}
73: \def\J{{\mathcal J}}
74: \def\nat{{\mathbb N}}
75: \def\zed{{\mathbb Z}}
76: \def\Cre{\operatorname{Cre}}
77: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
78:
79: %% Figure numbers
80:
81: \def\PJHsolutionUnmarked{0.1}
82: \def\actionofCre{1.2}
83: \def\enhancer{1.1}
84: \def\recombdirknot2seq1a{1.3}
85: \def\CreAm{1.4}
86: \def\tableA{1.5}
87: \def\eightfigs{1.6}
88: \def\CreB{1.7}
89: \def\111{1.8}
90: \def\branched{1.9}
91:
92: %%%
93: \def\projcircle{2.1}
94: \def\normaleq{2.2}
95: \def\unique{2.3}
96: \def\tangcircA{2.4}
97: \def\tangcircBm{2.5}
98: \def\tangleaddclose{2.6}
99: \def\tangleEqns{2.7}
100: \def\toruslink{2.8}
101: \def\convention{2.9}
102: \def\bandingm{2.10}
103: \def\intrans{2.11}
104: \def\unknotHopf{2.12}
105: \def\synapsetangle{2.13}
106: \def\deletionreaction{2.14}
107: \def\solutiontangle{2.15}
108:
109: %%%
110: \def\standard{3.1}
111: \def\wagonwheel{3.2}
112: \def\wwgraph{3.3}
113: \def\nonplanar{3.4}
114: \def\NG{3.5}
115: \def\carriedbyG{3.6}
116: \def\solutiontangleA{3.7}
117: \def\tangleG{3.8}
118: \def\Infinitely{3.9}
119: %%\def\puncturedsphere{3.10}
120: \def\HALemfig{3.12}
121: \def\GstandardB{3.15}
122: \def\splitrationaltang{3.13}
123: \def\HatP{3.16}
124: \def\Betas{3.17}
125: \def\fouredges{3.11}
126: \def\counter{3.10}
127: \def\tripusA{3.14}
128: \def\aaa{3.18}
129:
130:
131: %%%
132: \def\LemfigA{4.1}
133: \def\LemfigB{4.2}
134: \def\LemfigC{4.3}
135: \def\LemfigD{4.4}
136: \def\lifesaverA{4.5}
137: \def\lifesaverB{4.6}
138: \def\hockeyballs{4.7}
139: \def\parallelstrandsC{4.8}
140:
141: %%%
142: \def\Setup2{5.1}
143: \def\IIsetup{5.2}
144: \def\Reduceone{5.3}
145: \def\Reducetwo{5.4}
146: \def\IIredone{5.5}
147: \def\figure105{5.6}
148: \def\IIredtwo{5.7}
149: \def\Ioneset{5.8}
150: \def\Ionered{5.9}
151: \def\Itwosetup{5.10}
152: \def\Itworeduce{5.11}
153: \def\Untwist{5.12}
154: \def\Setupthree{5.13}
155: \def\threeredone{5.14}
156: \def\threeredtwo{5.15}
157: \def\threeredthree{5.16}
158: \def\Setupfour{5.17}
159: \def\Setupdl{5.18}
160: \def\SetupFT{5.19}
161: \def\SetupFell{5.20}
162: \def\SetupFF{5.21}
163: %%%%%%% BODY OF DOC %%%%%%%%%%%%%%%%%%%%%%%
164:
165:
166:
167: \begin{document}
168: \title{
169: Tangle analysis of difference topology experiments: applications to a Mu protein-DNA complex
170: %%Tangle analysis of the Mu transpososome protein complex
171: %%which binds three DNA segments
172: }
173: \author{Isabel K. Darcy, John Luecke, and Mariel Vazquez}
174:
175: \subjclass[2000]{57M25; 92C40}
176: \keywords{3-string tangle, DNA topology, difference topology, Mu transpososome,
177: graph planarity, Dehn surgery, handle addition lemma}
178:
179:
180: %\dedicatory{Here is a dedication}
181: \begin{abstract}
182: We develop topological methods for analyzing difference topology experiments involving
183: 3-string tangles. Difference topology is a novel technique used to unveil the structure of
184: stable protein-DNA complexes involving two or more DNA segments. We analyze such
185: experiments for the Mu protein-DNA complex. We characterize the solutions to the
186: corresponding tangle equations by certain knotted graphs. By investigating planarity
187: conditions on these graphs we show that there is a unique biologically relevant solution.
188: That is, we show there is a unique rational tangle solution, which is also the unique
189: solution with small crossing number.
190: \end{abstract}
191:
192: \maketitle
193: \baselineskip=18pt
194: \pagestyle{plain} % page nos. at bottom, no headline
195:
196:
197:
198: \input section0.tex
199: \input section1.tex
200: \input section2.tex
201: \input section3.tex
202: \input section4.tex
203: \input section5.tex
204:
205:
206:
207: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
208:
209:
210: \begin{thebibliography}{MMM}
211:
212: \bibitem[BM]{BM} T Baker, K. Mizuuchi,
213: {\em DNA-promoted assembly of the active tetramer of the Mu transposase},
214: Genes Dev. {\bf 6(11)}
215: (1992) 2221--32.
216:
217: \bibitem[BSC]{BSC}
218: J. Bath, D.J. Sherratt and S.D. Colloms,
219: {\em Topology of Xer recombination on catenanes produced by lamda
220: integrase}, J. Mol. Biol. {\bf 289(4)}
221: (1999), 873--883.
222:
223: \bibitem[BL]{BL}
224: S. Bleiler and R. A. Litherland, {\em Lens spaces and Dehn surgery},
225: Proceedings of the American Mathematical Society {\bf 107(4)} (1989),
226: 1127-1131.
227:
228: \bibitem[BV]{BV}
229: D. {Buck}, C. {Verjovsky Marcotte}, {\em
230: Tangle solutions for a family of DNA-rearranging proteins}\/,
231: Math. Proc. Camb. Phil. Soc. {\bf 139(1)} (2005), 59--80.
232:
233: \bibitem[C1]{C1}
234: H. {Cabrera-Ibarra}, {\em
235: On the classification of rational 3-tangles}\/,
236: Journal of Knot Theory and its Ramifications {\bf 12} (2003), 921--946.
237:
238: \bibitem[C2]{C2}
239: H. {Cabrera-Ibarra}, {\em
240: Results on the classification of rational 3-tangles}\/,
241: Journal of Knot Theory and its Ramifications {\bf 13} (2004), 175--192.
242:
243: \bibitem[CG]{CG}
244: A. J. Casson, C. McA. Gordon {\em Reducing Heegaard splittings.}\/ Topology Appl. {\bf 27} (1987), no. 3, 275--283.
245:
246: \bibitem[CH]{CH} G. Chaconas and R. M. Harshey, {\em Transposition of phage Mu DNA}. In Mobile DNA II. N. L. Craig, R.
247: Craigie, M. Gellert, and
248: A. M. Lambowitz (ed), (2002) pp 384--402, American Society for Microbiology.
249:
250: \bibitem[CLW]{CLW}
251: G. Chaconas, B.D. Lavoie, and M.A. Watson,
252: {\em DNA transposition: jumping gene machine, some assembly required},
253: Curr. Biol. {\bf 6} (1996), 817--820.
254:
255: \bibitem[CBS]{CBS}
256: S.D. Colloms, J. Bath and D.J. Sherratt,
257: {\em Topological selectivity in Xer site-specific recombination},
258: Cell {\bf88} (1997), 855--864.
259:
260: \bibitem[CGLS]{CGLS}
261: M. Culler, C. Gordon, J. Luecke, P.B. Shalen {\em Dehn surgery on knots.}\/, Bull. Amer. Math. Soc. (N.S.) {\bf 13}
262: (1985), no. 1, 43--45.
263:
264: \bibitem[D]{D}
265: I. {Darcy}, {\em
266: Biological distances on DNA knots and links: Applications to Xer recombination}\/,
267: Journal of Knot Theory and its Ramifications {\bf 10} (2001), 269--294.
268:
269: \bibitem[D1]{D1}
270: I. K. Darcy, A. Bhutra,
271: J. Chang,
272: N. Druivenga,
273: C. McKinney, R. K. Medikonduri, S. Mills,
274: J. Navarra Madsen,
275: A. Ponnusamy,
276: J. Sweet,
277: T. Thompson,
278: {\em Coloring the Mu Transpososome}\/,
279: {BMC Bioinformatics},
280: {\bf 7},
281: (2006),
282: {{Art. No. 435}}.
283:
284:
285: \bibitem[DMBK]{DMBK} P. L. Deininger, J. V. Moran, M. A. Batzer, H. H. Kazazian Jr.,
286: {\em Mobile elements and mammalian genome evolution},
287: Curr Opin Genet Dev. 2003 {\bf 13(6)} (2003), 651--8.
288:
289: \bibitem[EE]{EE}
290: J. {Emert}, C. {Ernst}, {\em
291: $N$-string tangles}\/,
292: Journal of Knot Theory and its Ramifications {\bf 9} (2000), 987--1004.
293:
294: \bibitem[ES1]{ES1}
295: C. {Ernst}, D. W. {Sumners}, {\em
296: A calculus for rational tangles: applications to DNA recombination}\/,
297: Math. Proc. Camb. Phil. Soc. {\bf 108} (1990), 489--515.
298:
299: \bibitem[ES2]{ES2}
300: C. {Ernst}, D. W. {Sumners}, {\em
301: Solving tangles equations arising in a DNA recombination model}\/, Math.
302: Proc. Camb.Phil. Soc. {\bf 126} (1999), 23-36.
303:
304:
305: \bibitem[GEB]{GEB}
306: I. Goldhaber-Gordon, M.H. Early, and T.A. Baker,
307: {\em MuA transposase separates DNA sequence recognition from catalysis},
308: Biochemistry {\bf 42} (2003), 14633-14642.
309:
310: \bibitem[G]{G}
311: C. Gordon {\em On the primitive sets of loops in the boundary of a
312: handlebody}, Topology and Appl. {\bf 27} (1987), 285--299.
313:
314:
315: \bibitem[GBJ]{GBJ}
316: I. Grange, D. Buck, and M. Jayaram,
317: {\em Geometry of site alignment during int family recombination: antiparallel
318: synapsis by the $FLp$ recombinase},
319: J. Mol. Biol. {\bf298} (2000), 749--764.
320:
321: \bibitem[GGD]{GGD}
322: F. Guo, D.N. Gopaul, and G.D. van Duyne,
323: {\em Structure of Cre recombinase complexed with DNA in a site-specific
324: recombination synapse},
325: Nature {\bf 389} (1997), 40--46.
326:
327: \bibitem[HJ]{HJ}
328: R. Harshey and M. Jayaram,
329: {\em The mu transpososome through a topological lens},
330: Crit Rev Biochem Mol Biol. {\bf 41(6)} (2006), 387--405.
331:
332:
333: \bibitem[HS]{HS}
334: M. Hirasawa and K. Shimakawa,
335: {\em Dehn surgeries on strongly invertible knots which yield lens spaces},
336: PAMS {\bf 128} (2000), no. 11, 3445--3451.
337:
338:
339: \bibitem[J]{J}
340: W. Jaco,
341: {\em Adding a 2-handle to 3-manifolds: an application to Property $R$},
342: PAMS {\bf92} (1984), 288--292.
343:
344:
345:
346: \bibitem[KBS]{KBS}
347: E. Kilbride, M.R. Boocock, and W.M. Stark,
348: {\em Topological selectivity of a hybrid site-specific recombination system
349: with elements from Tn3 res/resolvase and bacteriophase PL lox $P$/Cre},
350: J. Mol. Biol. {\bf 289} (1999), 1219--1230.
351:
352:
353: \bibitem[KMOS]{KMOS}
354: P. Kronheimer, T. Mrowka, P. Ozsvath, Z. Szabo {\em Monopoles and lens space surgeries}\/,
355: Ann. of Math. (2) {\bf 165(2)} (2007), 457--546.
356:
357:
358: \bibitem[L]{L}
359: W. B. R. Lickorish, {\em Prime knots and tangles},
360: Trans. Amer. Math. Soc.
361: {\bf 267(1)} (1981),
362: 321--332.
363:
364: \bibitem[MBM]{MBM}
365: M. Mizuuchi, T. A. Baker, K. Mizuuchi,
366: {\em Assembly of the active form of the transposase-Mu DNA complex: a critical control point
367: in Mu transposition}, Cell {\bf 70(2)} (1992) 303--11.
368:
369:
370:
371: \bibitem[PJH]{PJH}
372: S. Pathania, M. Jayaram, and R. Harshey,
373: {\em Path of DNA within the Mu Transpososome: Transposase interaction
374: bridging two Mu ends and the enhancer trap five DNA supercoils},
375: Cell {\bf109} (2002), 425--436.
376:
377: \bibitem[PJH2]{PJH2}
378: S. Pathania, M. Jayaram, and R. Harshey,
379: {\em A unique right end-enhancer complex precedes synapsis of Mu ends: the enhancer is sequestered
380: within the transpososome throughout transposition},
381: EMBO J. {\bf 22(14)} (2003), 3725--36.
382:
383:
384:
385: \bibitem[S]{S} D. Sankoff,
386: {\em Rearrangements and chromosomal evolution},
387: Curr Opin Genet Dev. {\bf 13(6)} (2003) 583--7.
388:
389: \bibitem[Sch]{Sch}
390: M. Scharlemann,
391: {\em Outermost forks and a theorem of Jaco}
392: Proc. Rochester Conf., AMS Contemporary Math. Series {\bf 44} (1985),
393: 189--193.
394:
395: \bibitem[ST]{ST}
396: M. Scharlemann and A. Thompson,
397: {\em Detecting unknotted graphs in $S^3$},
398: J. Differential Geom. {\bf 34} (1991) 539--560.
399:
400:
401:
402: \bibitem[SECS]{SECS}
403: D. W. {Sumners}, C. {Ernst}, N.R. {Cozzarelli}, S.J. {Spengler} {\em
404: Mathematical analysis of the mechanisms of DNA recombination using tangles},
405: Quarterly Reviews of Biophysics {\bf 28} (1995).
406:
407: \bibitem[T]{T}
408: A. Thompson,
409: {\em A polynomial invariant of graphs in 3-manifolds},
410: Topology {\bf 31} (1992) 657--665.
411:
412:
413: \bibitem[VCS]{VCS}
414: M. {Vazquez}, S.D. {Colloms}, D.W. Sumners,
415: {\em Tangle analysis of Xer recombination reveals only three solutions,
416: all consistent with a single three-dimensional topological pathway},
417: J. Mol. Biol. {\bf346} (2005), 493--504.
418:
419: \bibitem[VS]{VS}
420: M. {Vazquez}, D. W. {Sumners}, {\em
421: Tangle analysis of Gin site-specific recombination}\/,
422: Math. Proc. Camb. Phil. Soc. {\bf 136} (2004), 565--582.
423:
424: \bibitem[VDL]{VDL}
425: A.A. Vetcher, A. Y. Lushnikov, J. Navarra-Madsen, R. G. Scharein, Y. L. Lyubchenko,
426: I. K. Darcy,
427: S. D. Levene,
428: {\em DNA topology and geometry in Flp and Cre recombination}\/,
429: J Mol Biol. {\bf 357(4)} (2006), 1089--104.
430:
431: \bibitem[Wu1]{Wu1} Y. Q. Wu,
432: {\em A generalization of the handle addition theorem},
433: PAMS {\bf114} (1992), 237--242.
434:
435:
436: \bibitem[Wu2]{Wu2}
437: Y. Q. Wu,
438: {\em On planarity of graphs in 3-manifolds}, Comment. Math.
439: Helv. {\bf 67} (1992) 635--64.
440:
441: \bibitem[Wu3]{Wu3}
442: Y. Q. Wu, {\em The classification of nonsimple algebraic tangles},
443: Math. Ann. {\bf 304(3)}
444: (1996), 457--480.
445:
446:
447: \bibitem[YJPH]{YJPH}
448: Z. Yin, M. Jayaram, S. Pathania, and R. Harshey,
449: {\em The Mu transposase interwraps distant DNA sites within a functional transpososome in the
450: absence of DNA supercoiling},
451: J Biol Chem. {\bf 280(7)} (2005), 6149--56.
452:
453:
454: \bibitem[YJH]{YJH}
455: Z. Yin, A. Suzuki, Z. Lou,
456: M. Jayaram, and R. Harshey,
457: {\em Interactions of phage Mu enhancer and termini that specify the assembly of a topologically
458: unique interwrapped transpososome},
459: J Mol Biol. {\bf 372(2)} (2007), 382--96.
460:
461:
462:
463: \end{thebibliography}
464: \eject
465:
466: ~\break
467: Isabel K. Darcy,
468: Department of Mathematics,
469: University of Iowa,
470: Iowa City, IA 52242 \hfil \break
471: E-mail: idarcy@math.uiowa.edu \hfil \break
472: URL: http://www.math.uiowa.edu/$\sim$idarcy
473:
474: ~\break
475: John Luecke, Department of Mathematics, University of Texas at Austin, Austin, TX 78712 \hfil \break
476: E-mail: luecke@math.utexas.edu \hfil \break
477: URL: http://www.ma.utexas.edu/$\sim$luecke/
478:
479: ~\break
480: Mariel Vazquez, San Francisco State University
481: Department of Mathematics,
482: 1600 Holloway Ave,
483: San Francisco, CA 94132
484: \hfil \break
485: E-mail: mariel@math.sfsu.edu \hfil \break
486: URL: http://math.sfsu.edu/vazquez/\end{document}
487:
488:
489: {\bf Acknowledgments}
490:
491: We would like to thank D. Buck, R. Harshey, S. Pathania, and C. Verjovsky-Marcotte for helpful comments. We are
492: particularly grateful to M. Jayaram for many helpful discussions. We also
493: thank M. Combs for numerous figures, R. Scharein and Knotplot.com for assistance with figure \111, and A. Stasiak,
494: University of Lausanne, for the
495: electron micrograph of supercoiled DNA in figure \branched.
496:
497: J.L. would like to thank the Institute for Advanced Study
498: in Princeton for his support as a visiting member. ID and MV are grateful to the IMA for support as long-term visitors.
499: This work was funded by a grant from the Joint DMS/NIGMS Initiative to Support Research in the Area of Mathematical
500: Biology to I.D. (NIH GM 67242); and by NIH R01-GM68423, by MBRS SCORE S06 GM052588, and NIH-RIMI Grant NMD000262 to M.V.
501:
502:
503:
504:
505:
506: