Related papers: Computable Caratheodory Theory
Two planar embedded circle patterns with the same combinatorics and the same intersection angles can be considered to define a discrete conformal map. We show that two locally finite circle patterns covering the unit disc are related by a…
It is proved that the family of Ahlfors extremal mappings of a multiply connected region in the plane onto the unit disc can be expressed as a rational combination of two fixed Ahlfors mappings in much the same way that the family of…
Let D be a domain in C^n with smooth boundary, of finite 1-type at a point p in the boundary and such that the closure of D has a basis of Stein Runge neighborhoods. Assume that there exists an analytic disc which intersects the closure of…
Consider a conformal map from the unit disk onto a quasidisk. We determine a range of critical complex powers with respect to which the derivative is integrable. The results fit into the picture predicted by a circular analogue of Brennan's…
The moduli spaces of compact and connected Riemann surfaces has been a central topic in modern mathematics in recent years. Thus their homological dimensions become important invariants. Motivated by the emergence mathematical counterparts…
A major part of computability theory focuses on the analysis of a few structures of central importance. As a tool, the method of coding with first-order formulas has been applied with great success. For instance, in the c.e. Turing degrees,…
This is an introduction to the geometry of compact Riemann surfaces, largely following the books Farkas-Kra, Fay, Mumford Tata lectures. 1) Defining Riemann surfaces with atlases of charts, and as locus of solutions of algebraic equations.…
A purely numerical approach to compact Riemann surfaces starting from plane algebraic curves is presented. The critical points of the algebraic curve are computed via a two-dimensional Newton iteration. The starting values for this…
In this paper we consider the computational complexity of uniformizing a domain with a given computable boundary. We give nontrivial upper and lower bounds in two settings: when the approximation of boundary is given either as a list of…
Compact sets in constructive mathematics capture our intuition of what computable subsets of the plane (or any other complete metric space) ought to be. A good representation of compact sets provides an efficient means of creating and…
Complex analysis is a powerful tool to study classical integrable systems, statistical physics on the random lattice, random matrix theory, topological string theory,... All these topics share certain relations, called "loop equations" or…
By the Riemann-mapping theorem, one can bijectively map the interior of an $n$-gon $P$ to that of another $n$-gon $Q$ conformally. However, (the boundary extension of) this mapping need not necessarily map the vertices of $P$ to those $Q$.…
Discrete conformal mappings based on circle packing, vertex scaling, and related structures has had significant activity since Thurston proposed circle packing as a way to approximate conformal maps in the 1980s. The first convergence…
Weihrauch complexity is now an established and active part of mathematical logic. It can be seen as a computability-theoretic approach to classifying the uniform computational content of mathematical problems. This theory has become an…
We detail the theory of Discrete Riemann Surfaces. It takes place on a cellular decomposition of a surface, together with its Poincar\'e dual, equipped with a discrete conformal structure. A lot of theorems of the continuous theory follow…
We define a new theory of discrete Riemann surfaces and present its basic results. The key idea is to consider not only a cellular decomposition of a surface, but the union with its dual. Discrete holomorphy is defined by a straightforward…
The reduction of biharmonic maps equation in terms of the Maurer-Cartan form for all smooth map of any compact Riemannian manifolds into a compact Lie group with bi-invariant Riemannian metric is obtained. By this formula, all the…
We have previously established that $\Pi^1_1$-comprehension is equivalent to the statement that every dilator has a well-founded Bachmann-Howard fixed point, over $\mathbf{ATR_0}$. In the present paper we show that the base theory can be…
Let X be a closed surface of genus two embedded in the 3-sphere. Then X inherits a metric and an orientation, which give an almost complex structure, which automatically integrates to a genuine complex structure, making X a Riemann surface.…
We provide a computer verified exact monadic functional implementation of the Riemann integral in type theory. Together with previous work by O'Connor, this may be seen as the beginning of the realization of Bishop's vision to use…