1: %\documentstyle[12pt,amssymb,graphicx]{amsart}

2: \documentclass[12pt]{amsart}

3: %%\usepackage{fullpage}

4: \usepackage{graphicx}

5: \usepackage{amsfonts}

6: \usepackage{amssymb}

7: \usepackage{latexsym}

8: \usepackage{amscd}

9: 

10: \bibliographystyle{amsalpha}

11: \baselineskip=24pt

12: \addtolength{\textwidth}{1.4in}

13: \input{figs}

14: 

15: \input{psfig}

16: \newtheorem{thm}{Theorem}[section]

17: \newtheorem{cor}[thm]{Corollary}

18: \newtheorem{lem}[thm]{Lemma}

19: \newtheorem{prop}[thm]{Proposition}

20: \newtheorem{schw}{Schwarz Lemma}

21: \newtheorem{tet}{Conditional Implication}

22: \newtheorem{sfmc}{Strebel's Frame Mapping Condition}

23: \newtheorem{sectl}{Sector Lemma}

24: 

25: \newenvironment{pf}{\proof[\proofname]}{\endproof}

26: \newenvironment{pf*}[1]{\proof[#1]}{\endproof}

27: \usepackage{euscript}

28: 

29: \usepackage[OT2,OT1]{fontenc}

30: \def\cyr{\fontencoding{OT2}\fontfamily{wncyr}\selectfont}

31: \def\cyi{\fontencoding{OT2}\fontfamily{wncyi}\selectfont}

32: \newcommand{\cal}[1]{{\mathcal #1}}

33: \newcommand{\BBB}[1]{{\mathbb #1}}

34: 

35: \newcommand{\nothing}{{}}

36: 

37: \renewcommand{\theschw}{}

38: \renewcommand{\thetet}{}

39: \renewcommand{\thesfmc}{}

40: \renewcommand{\thesectl}{}

41: 

42: \newcommand{\beq}{\begin{equation}}

43: \newcommand{\eeq}{\end{equation}}

44: \newcommand{\eref}[1]{(\ref{#1})}

45: 

46: \newcommand{\ka}{\kappa}

47: \newcommand{\la}{\lambda}

48: \newcommand{\ve}{\varepsilon}

49: \newcommand{\de}{\delta}

50: \newcommand{\al}{\alpha}

51: \newcommand{\be}{\beta}

52: \newcommand{\ga}{\gamma}

53: \newcommand{\ti}{\tilde}

54: \newcommand{\om}{\omega}

55: 

56: \theoremstyle{definition}

57: \newtheorem{defn}{Definition}[section]

58: 

59: \newcommand{\QED}{\rlap{$\sqcup$}$\sqcap$\smallskip}

60: 

61: \theoremstyle{remark}

62: \newtheorem{rem}{Remark}[section]

63: \newtheorem{notation}{Notation}

64: \renewcommand{\thenotation}{}

65: \renewcommand{\deg}{\operatorname{deg}}

66: \newcommand{\riem}{\hat{\CC}}

67: \newcommand{\diam}{\operatorname{diam}}

68: \newcommand{\dist}{\operatorname{dist}}

69: \newcommand{\meas}{\operatorname{meas}}

70: \newcommand{\cl}{\operatorname{cl}}

71: \renewcommand{\mod}{\operatorname{mod}}

72: \newcommand{\tl}{\tilde}

73: \newcommand{\wtl}{\widetilde}

74: \newcommand{\eps}{\epsilon}

75: \newcommand{\tw}{{{\rm\boldsymbol T}}}

76: \newcommand{\Eps}{\operatorname{E}}

77: \newcommand{\ps}{\operatorname{PS}}

78: 

79: \newcommand{\ceq}{\,\displaystyle{\Large\mbox{$\sim$}}_{\text{\hspace{-14pt}\tiny conf}}\,}

80: \newcommand{\ceqw}{\underset{\text{\tiny conf,W}}{\mbox{\Large$ \sim$}}}

81: \newcommand{\heq}{\underset{\text{\tiny hyb}}{\mbox{\Large$ \sim$}}}

82: \newcommand{\qeq}{\underset{\text{\tiny qc}}{\mbox{\Large$ \sim$}}}

83: \newcommand{\hyb}{\operatorname{\it Hyb}}

84: \newcommand{\ext}{\operatorname{\it Ext}}

85: \newcommand{\qc}{\operatorname{\it QC}}

86: \newcommand{\bE}{\operatorname{\bf E}}

87: 

88: %%%\renewcommand{\frak}[1]{\EE}

89: 

90: %%%%%%%

91: \newcommand{\Cbb}[1]{{{\Bbb{#1}}}}

92: \newcommand{\Ccal}[1]{{{\cal{#1}}}}

93: %%%%%%%%%%

94: \newcommand{\aaa}[1]{{{\mathbf{#1}}}}

95: \newcommand{\crit}{{{\aaa C}}}

96: \newcommand{\cu}{{{\aaa C}_U}}

97: \newcommand{\cur}{{{\aaa C}_U^\RR}}

98: \newcommand{\cv}{{{\aaa C}_V}}

99: \newcommand{\pr}{{\cal P}}

100: \newcommand{\hol}{{\aaa H}}

101: \newcommand{\mfld}{{\aaa M}}

102: \newcommand{\bran}{{{\aaa X}}}

103: \newcommand{\tu}{{{\aaa B}_U}}

104: \renewcommand{\k}{\kappa}

105: \newcommand{\srk}{{\aaa S}_{r_1,\ldots,r_\k }}

106: 

107: \renewcommand{\Re}{\operatorname{Re}}

108: \renewcommand{\Im}{\operatorname{Im}}

109: 

110: \numberwithin{equation}{section}

111: \newcommand{\thmref}[1]{Theorem~\ref{#1}}

112: \newcommand{\propref}[1]{Proposition~\ref{#1}}

113: \newcommand{\secref}[1]{\S\ref{#1}}

114: \newcommand{\lemref}[1]{Lemma~\ref{#1}}

115: \newcommand{\corref}[1]{Corollary~\ref{#1}}

116: \newcommand{\figref}[1]{Figure~\ref{#1}}

117: \newcommand{\ang}[2]{\widehat{(#1,#2)}}

118: \newcommand{\C}[1]{{\Bbb C_{#1}}}

119: \newcommand{\cQ}{{\cal Q}}

120: \newcommand{\cA}{{\cal A}}

121: \newcommand{\cU}{{\cal U}}

122: \newcommand{\cW}{{\cal W}}

123: \newcommand{\cM}{{\cal M}}

124: \newcommand{\cV}{{\cal V}}

125: \newcommand{\cF}{{\cal F}}

126: \newcommand{\cG}{{\cal G}}

127: \newcommand{\cB}{{\cal B}}

128: \newcommand{\cT}{{\cal T}}

129: \newcommand{\cN}{{\cal N}}

130: \newcommand{\cP}{{\cal P}}

131: \newcommand{\cC}{{\cal C}}

132: \newcommand{\cH}{{\cal H}}

133: \newcommand{\cR}{{\cal R}}

134: \newcommand{\cL}{{\cal L}}

135: \newcommand{\cD}{{\cal D}}

136: \newcommand{\cE}{{\cal E}}

137: \newcommand{\cS}{{\cal S}}

138: \newcommand{\cY}{{\cal Y}}

139: \newcommand{\cK}{{\cal K}}

140: \newcommand{\PP}{{\Bbb P}}

141: \newcommand{\CC}{{\mathbb C}}

142: \newcommand{\RR}{{\mathbb R}}

143: \newcommand{\TT}{{\mathbb T}}

144: \newcommand{\ZZ}{{\mathbb Z}}

145: \newcommand{\NN}{{\mathbb N}}

146: \newcommand{\DD}{{\mathbb D}}

147: \newcommand{\BB}{{\mathbb B}}

148: \newcommand{\HH}{{\mathbb H}}

149: \newcommand{\QQ}{{\mathbb Q}}

150: 

151: \newcommand{\cren}{\cR_{\text cyl}}

152: \newcommand{\ov}[1]{\overline{#1}}

153: \newcommand{\sm}{\setminus}

154: 

155: 

156: \newcommand{\dfe}{\operatorname{Def}^\eps}

157: \newcommand{\df}{\operatorname{Def}}

158: \newcommand{\dfer}{\operatorname{Def}^\eps_\RR}

159: \newcommand{\dfr}{\operatorname{Def}_\RR}

160: \newcommand{\Ker}{\operatorname{Ker}}

161: 

162: 

163: \begin{document}

164: \addtolength{\evensidemargin}{-0.7in}

165: \addtolength{\oddsidemargin}{-0.7in}

166: 

167: 

168: 

169: 

170: \title[Complexity of Julia sets]{On computational complexity of Siegel Julia sets}

171: \author{I. Binder, M. Braverman, M. Yampolsky}

172: \thanks{The first and third authors are partially supported by NSERC Discovery grants.

173: The second author is partially supported by NSERC Postgraduate Scholarship}

174: 

175: \date{\today}

176: \begin{abstract}

177: It has been previously shown by two of the authors

178:  that some polynomial Julia sets are algorithmically impossible to draw with 

179: arbitrary magnification. On the other hand, for a large class of examples the problem

180: of drawing a picture has polynomial complexity. In this paper we demonstrate the 

181: existence of computable quadratic Julia sets whose computational complexity is arbitrarily high.

182: \end{abstract}

183: \maketitle

184: 

185: 

186: %\begin{abstract}

187: %\end{abstract}

188: \input{intro}

189: \input{siegelcomp}

190: \input{changes}

191: \input{proofmain}

192: %\input{secondmain}

193: 

194: \newpage

195: 

196: \begin{thebibliography}{*****}

197: 

198: %\bibitem[BCSS]{BCSS} L. Blum, F. Cucker, M. Shub, S. Smale, Complexity and Real Computation, 

199: %Springer, New York, 1998.

200: 

201: \bibitem[Ahl]{Ahlfors} L. Ahlfors, {\it Complex Analysis}, McGraw-Hill, 1953

202: 

203: 

204: %\bibitem[ABC]{ABC} A. Avila, X. Buff, A. Ch{\'e}ritat. Siegel disks with smooth boundaries. Preprint.

205: 

206: \bibitem[BBY]{BBY} I. Binder, M. Braverman, M. Yampolsky. Filled Julia sets with empty interior are

207: computable. e-print, math.DS/0410580.

208: 

209: \bibitem[BB]{BB} E. Bishop, D.S. Bridges, {\it Constructive Analysis}, Springer-Verlag, 

210: Berlin, 1985.

211: 

212: \bibitem[Brv1]{thesis}

213: M. Braverman, ``Computational Complexity of Euclidean Sets: Hyperbolic Julia Sets are 

214: Poly-Time Computable", Thesis, University of Toronto, 2004, and Proc. CCA 

215: 2004, in ENTCS, vol {\bf 120}, pp. 17-30.

216: 

217: \bibitem[Brv2]{Brv2} M. Braverman, 

218: Parabolic Julia Sets are Polynomial Time Computable. e-print math.DS/0505036 

219: 

220: \bibitem[BY]{BY} M. Braverman, M. Yampolsky. Non-computable Julia sets. {\it Journ. Amer. Math. Soc.}, to appear.

221: 

222: 

223: \bibitem[Bru]{Bru} A.D. Brjuno. Analytic forms of differential equations, {\it Trans. Mosc. Math. Soc} {\bf 25}(1971)

224: 

225: %\bibitem[BC1]{BC2} X. Buff, A. Ch{\'e}ritat,  Quadratic Siegel disks with smooth boundaries.

226: %Preprint Univ. Paul Sabatier, Toulouse, III, Num. 242.

227: 

228: \bibitem[BC]{BC} X. Buff, A. Ch{\'e}ritat, The Yoccoz Function Continuously Estimates the Size of Siegel Disks, {\it Annals of Math.}, to appear.

229: 

230: \bibitem[dFdM]{dFdM} E. de~Faria and W. de~Melo. Rigidity of critical

231: circle mappings I. {\it J. Eur. Math. Soc. (JEMS)} {\bf 1}(1999), no.    4, 339-392. 

232: 

233: 

234: \bibitem[Do1]{Do1} A. Douady.  Disques de Siegel et anneax de Herman, Sem. Bourbaki, Ast\'erisque, {\bf 152-153}(1987), 151-172.

235: 

236: \bibitem[Do2]{Do} A. Douady.  Does a Julia set depend continuously on the polynomial? In {\it Complex

237: dynamical systems: The mathematics behind the Mandelbrot set and Julia sets}. ed. R.L. Devaney,

238: Proc. of Symposia in Applied Math., Vol 49, Amer. Math. Soc., 1994, pp. 91-138.

239: 

240: %\bibitem[DH1]{orsay-notes} A. Douady, J.H. Hubbard. Etude dynamique des polyn\^omes complexes, I-II.

241: %Pub. Math. d'Orsay, 1984.

242: 

243: %\bibitem[DH2]{DH2} A. Douady, J.H. Hubbard. On the dynamics of polynomial-like mappings.

244: %{\it Ann. Sci. {\'E}c. Norm. Sup.}, {\bf 18}(1985), 287-343.

245: 

246: %\bibitem[Ko1]{Ko} K. Ko, Complexity Theory of Real Functions, Birkh\"{a}user, Boston, 1991.

247: 

248: %\bibitem[Ko2]{Kosurv}

249: %K. Ko, {Polynomial-time computability in analysis}, in 

250: %''Handbook of Recursive

251: %        Mathematics", Volume {\bf 2} (1998), Recursive Algebra, Analysis and 

252: %Combinatorics, Yu. L. Ershov et al.

253: %        (Editors), pp 1271-1317. 

254: 

255: \bibitem[MMY]{MMY} S. Marmi, P. Moussa, J.-C. Yoccoz, The Brjuno functions 

256: and their regularity properties, {\it Commun. Math. Phys.}

257: {\bf 186}(1997), 265-293.

258: 

259: %\bibitem[Mat]{Mat} Y. Matiyasevich, {\it Hilbert's Tenth Problem}, The MIT Press, Cambridge, London, 

260: 1993. 

261: 

262: %\bibitem[McM1]{McM1} C. McMullen. {\it Complex dynamics and renormalization}. {\it Annals

263: %of Math. Studies}, v.135, Princeton Univ. Press, 1994.

264: 

265: \bibitem[McM]{McM} C.T. McMullen,  Self-similarity of         

266:    Siegel disks and Hausdorff dimension of Julia sets. {\it Acta Math.} {\bf 180}(1998), no. 2, 247-292. 

267: 

268: 

269: \bibitem[Mil]{Mil} J. Milnor. {\it Dynamics in one complex variable. Introductory lectures.} 

270: Friedr. Vieweg \& Sohn, Braunschweig, 1999.

271: 

272: \bibitem[Pom]{Pom} C. Pommerenke, {\it Boundary behavior of conformal maps}, Springer-Verlag, 1992.

273: 

274: \bibitem[RW]{WeiPaper}

275: R. Rettinger, K. Weihrauch, The Computational Complexity of Some Julia 

276: Sets,

277: in STOC'03, June 9-11, 2003, San Diego, California, USA. 

278: 

279: 

280: \bibitem[Ret]{Ret} R. Rettinger,  A Fast Algorithm for Julia Sets of 

281: Hyperbolic Rational Functions. 

282: Proc. of CCA 2004, in ENTCS, vol {\bf 120}, pp. 145-157. 

283:  

284: 

285: 

286: \bibitem[RZ]{RZ}

287: S. Rohde, M. Zinsmeister, {\it Variation of the conformal radius,} J. Anal. Math., {\bf 92} (2004), 

288: pp. 105-115.

289: 

290: \bibitem[Sie]{siegel} C. Siegel, Iteration of analytic functions.  {\it Ann. of Math.} (2)  43,  (1942). 607--612

291: 

292: %\bibitem[Sip]{Sip} M. Sipser, {\it Introduction to the Theory of Computation}, PWS Publishing 

293: %Company, 1997.

294: 

295: %\bibitem[Tur]{Tur} A. M. Turing, On Computable Numbers, With an Application to the 

296: %Entscheidungsproblem. In {\it Proceedings, London Mathematical Society}, 1936, pp. 230-265.

297: 

298: \bibitem[Wei]{Wei} K. Weihrauch, {\it Computable Analysis}, Springer, Berlin, 2000.

299: 

300: \bibitem[YZ]{YZ} M. Yampolsky, S. Zakeri,  Mating Siegel quadratic polynomials, {\it Journ. 

301: Amer. Math. Soc.}, {\bf 14}(2000),

302:  25-78

303: 

304: 

305: \bibitem[Yoc]{Yoc} J.-C. Yoccoz, {\it Petits diviseurs en dimension 1}, {S.M.F., Ast{\'e}risque}, {\bf 231}(1995).

306: 

307: \end{thebibliography}

308: \end{document}

309: 

310: