Abstract
We revisit the investigation of the computational content of the Brouwer Fixed Point Theorem in [7], and answer the two open questions from that work. First, we show that the computational hardness is independent of the dimension, as long as it is greater than 1 (in [7] this was only established for dimension greater than 2). Second, we show that restricting the Brouwer Fixed Point Theorem to L-Lipschitz functions for any \(L > 1\) also does not change the computational strength, which together with prior results establishes a trichotomy for \(L > 1\), \(L = 1\) and \(L < 1\).
The majority of this work was done while Le Roux was at the Department of Mathematics, Technische Universität Darmstadt, Germany and Pauly was at the Computer Laboratory, University of Cambridge, United Kingdom.
This project has been supported by the National Research Foundation of South Africa (NRF) and by the German Research Foundation (DFG) through the German-South African project (DFG, 445 SUA-1 13/20/0).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Which was put to the authors by Kohlenbach.
References
Baigger, G.: Die Nichtkonstruktivität des Brouwerschen Fixpunktsatzes. Archiv für mathematische Logik und Grundlagenforschung 25, 183–188 (1985)
Brattka, V., de Brecht, M., Pauly, A.: Closed choice and a uniform low basis theorem. Ann. Pure Appl. Logic 163(8), 968–1008 (2012)
Brattka, V., Gherardi, G.: Effective choice and boundedness principles in computable analysis. Bull. Symbolic Logic 1, 73–117 (2011). arXiv:0905.4685
Brattka, V., Gherardi, G.: Weihrauch degrees, omniscience principles and weak computability. J. Symbolic Logic 76, 143–176 (2011). arXiv:0905.4679
Brattka, V., Gherardi, G., Marcone, A.: The Bolzano-Weierstrass theorem is the jump of weak König’s lemma. Ann. Pure Appl. Logic 163(6), 623–625 (2012). arXiv:1101.0792
Brattka, V., Le Roux, S., Pauly, A.: Connected choice and Brouwer’s fixed point theorem (2012). http://arxiv.org/abs/1206.4809
Brattka, V., Le Roux, S., Pauly, A.: On the computational content of the brouwer fixed point theorem. In: Cooper, S.B., Dawar, A., Löwe, B. (eds.) CiE 2012. LNCS, vol. 7318, pp. 56–67. Springer, Heidelberg (2012)
Gherardi, G., Marcone, A.: How incomputable is the separable Hahn-Banach theorem? Notre Dame J. Formal Logic 50(4), 393–425 (2009)
Hertling, P.: Unstetigkeitsgrade von Funktionen in der effektiven Analysis. Ph.D. thesis, Fernuniversität, Gesamthochschule in Hagen, Oktober 1996
Higuchi, K., Pauly, A.: The degree-structure of Weihrauch-reducibility. Logical Meth. Comput. Sci. 9(2), 1–17 (2013)
Hoyrup, M., Rojas, C., Weihrauch, K.: Computability of the Radon-Nikodym derivative. Computability 1(1), 3–13 (2012)
Le Roux, S., Pauly, A.: Finite choice, convex choice and finding roots. Logical Methods in Computer Science (2015). http://arxiv.org/abs/1302.0380
Le Roux, S., Pauly, A.: Weihrauch degrees of finding equilibria in sequential games. In: Beckmann, A., Mitrana, V., Soskova, M. (eds.) CiE 2015. LNCS, vol. 9136, pp. 246–257. Springer, Heidelberg (2015). http://dx.doi.org/10.1007/978-3-319-20028-6 25
Miller, J.S.: \(\Pi _1^0\) Classes in Computable Analysis and Topology. Ph.D. thesis. Cornell University (2002)
Neumann, E.: Computational problems in metric fixed point theory and their Weihrauch degrees. Logic. Methods Comput. Sci. 11(4) (2015)
Orevkov, V.: A constructive mapping of a square onto itself displacing every constructive point. Sov. Math. IV Trans. Doklady Akademie Nauk SSSR. 152(1), 55 (1963). Published by the American Mathematical Society
Pauly, A.: How incomputable is finding Nash equilibria? J. Univers. Comput. Sci. 16(18), 2686–2710 (2010)
Pauly, A.: On the (semi) lattices induced by continuous reducibilities. Math. Logic Q. 56(5), 488–502 (2010)
Pauly, A.: On the topological aspects of the theory of represented spaces. Computability (2016). http://arxiv.org/abs/1204.3763
Potgieter, P.H.: Computable counter-examples to the Brouwer fixed-point theorem (2008). http://arxiv.org/abs/0804.3199
Shioji, N., Tanaka, K.: Fixed point theory in weak second-order arithmetic. Ann. Pure Appl. Logic 47, 167–188 (1990)
Simpson, S.: Subsystems of Second Order Arithmetic. Springer, Berlin (1999)
von Stein, T.: Vergleich nicht konstruktiv lösbarer Probleme in der Analysis. Diplomarbeit, Fachbereich Informatik. FernUniversität Hagen (1989)
Weihrauch, K.: The degrees of discontinuity of some translators between representations of the real numbers. Informatik Berichte 129, FernUniversität Hagen, Hagen, July 1992
Weihrauch, K.: The TTE-interpretation of three hierarchies of omniscience principles. Informatik Berichte 130, FernUniversität Hagen, Hagen, September 1992
Weihrauch, K.: Computable Analysis. Springer-Verlag, New York (2000)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Brattka, V., Le Roux, S., Miller, J.S., Pauly, A. (2016). The Brouwer Fixed Point Theorem Revisited. In: Beckmann, A., Bienvenu, L., Jonoska, N. (eds) Pursuit of the Universal. CiE 2016. Lecture Notes in Computer Science(), vol 9709. Springer, Cham. https://doi.org/10.1007/978-3-319-40189-8_6
Download citation
DOI: https://doi.org/10.1007/978-3-319-40189-8_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-40188-1
Online ISBN: 978-3-319-40189-8
eBook Packages: Computer ScienceComputer Science (R0)