Related papers: Real quadratic Julia sets can have arbitrarily hig…

We survey results on the formalization and independence of mathematical statements related to major open problems in computational complexity theory. Our primary focus is on recent findings concerning the (un)provability of complexity…

We show the existence of computable complex numbers $\lambda$ for which the bifurcation locus of the one parameter complex family $f_{b}(z) = \lambda z + b z^{2} + z^{3}$ is not Turing computable.

A multiset $\Lambda=\{\lambda_1,\ldots,\lambda_n\}$ of complex numbers is said to be realizable whenever there exists a nonnegative matrix of order $n$ with spectrum $\Lambda$. One of the broadest criterion that guarantees realizability is…

For complex parameters a,c, we consider the Henon mapping H_{a,c}: C^2 -> C^2 given by (x,y) -> (x^2 +c -ay, x), and its Julia set, J. In this paper, we describe a rigorous computer program for attempting to construct a cone field in the…

Computations over the rational numbers often suffer from intermediate coefficient swell. One solution to this problem is to apply the given algorithm modulo a number of primes and then lift the modular results to the rationals. This method…

How to measure the complexity of a finite set of vectors embedded in a multidimensional space? This is a non-trivial question which can be approached in many different ways. Here we suggest a set of data complexity measures using universal…

Let $f(z) = z^2 + c$ be a quadratic polynomial, with c in the Mandelbrot set. Assume further that both fixed points of f are repelling, and that f is not renormalizable. Then we prove that the Julia set J of f is holomorphically removable…

We classify all post-critically finite unicritical polynomials defined over the maximal totally real algebraic extension of ${\mathbb Q}$. Two auxiliary results used in the proof of this result may be of some independent interest. The first…

Let $K$ be a finite extension of the field $\mathbb{Q}_p$ of $p$-adic numbers, and $\phi\in K(z)$ be a rational map of degree at least $2$. We prove that the $K$-Julia set of $\phi$ is the natural restriction of $\mathbb{C}_p$-Julia set,…

It has been shown that Cantor bubble Julia sets can appear in the dynamics of polynomials and their singular perturbations. In this paper, we present a criterion that guarantees the existence of Cantor bubble Julia sets for certain rational…

In this paper we characterize $\w$-limit sets of dendritic Julia sets for quadratic maps. We use Baldwin's symbolic representation of these spaces as a non-Hausdorff itinerary space and prove that quadratic maps with dendritic Julia sets…

Real algebraic geometry is the study of semi-algebraic sets, subsets of $\R^k$ defined by Boolean combinations of polynomial equalities and inequalities. The focus of this thesis is to study quantitative results in real algebraic geometry,…

We survey the complexity class $\exists \mathbb{R}$, which captures the complexity of deciding the existential theory of the reals. The class $\exists \mathbb{R}$ has roots in two different traditions, one based on the Blum-Shub-Smale model…

Dynamic languages have become popular for scientific computing. They are generally considered highly productive, but lacking in performance. This paper presents Julia, a new dynamic language for technical computing, designed for performance…

It is shown that a polynomial with a Cremer periodic point has a non-accessible critical point in its Julia set provided that the Cremer periodic point is approximated by small cycles.

We determine the computational complexity of approximately counting and sampling independent sets of a given size in bounded-degree graphs. That is, we identify a critical density $\alpha_c(\Delta)$ and provide (i) for $\alpha <…

We give a polynomial-time algorithm for detecting very long cycles in dense regular graphs. Specifically, we show that, given $\alpha \in (0,1)$, there exists a $c=c(\alpha)$ such that the following holds: there is a polynomial-time…

Let $\xi, \zeta$ be quadratic real numbers in distinct quadratic fields. We establish the existence of effectively computable, positive real numbers $\tau$ and $c$, such that, for every integer $q$ with $q > c$ we have $$ \max\{\|q \xi \|,…

We initiate the study of computable presentations of real and complex C*-algebras under the program of effective metric structure theory. With the group situation as a model, we develop corresponding notions of recursive presentations and…

We show that there are Turing complete computably enumerable sets of arbitrarily low non-trivial initial segment prefix-free complexity. In particular, given any computably enumerable set $A$ with non-trivial prefix-free initial segment…