We show that under reasonable assumptions there exist Riemann mappings which are as hard as tally $\sharp$-P even in the non-uniform case. More precisely, we show that under a widely accepted conjecture from numerical mathematics there exist single domains with simple, i.e. polynomial time computable, smooth boundary whose Riemann mapping is polynomial time computable if and only if tally $\sharp$-P equals P. Additionally, we give similar results without any assumptions using tally $UP$ instead of $\sharp$-P and show that Riemann mappings of domains with polynomial time computable analytic boundaries are polynomial time computable.
@InProceedings{rettinger:OASIcs.CCA.2009.2272, author = {Rettinger, Robert}, title = {{Towards the Complexity of Riemann Mappings}}, booktitle = {6th International Conference on Computability and Complexity in Analysis (CCA'09)}, pages = {209--220}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-12-5}, ISSN = {2190-6807}, year = {2009}, volume = {11}, editor = {Bauer, Andrej and Hertling, Peter and Ko, Ker-I}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.CCA.2009.2272}, URN = {urn:nbn:de:0030-drops-22724}, doi = {10.4230/OASIcs.CCA.2009.2272}, annote = {Keywords: Riemann mapping, complexity, polynomial time} }
Feedback for Dagstuhl Publishing