Related papers: On the descriptive complexity of Salem sets

Let M be a compact, hyperbolizable 3-manifold with nonempty incompressible boundary and let AH(\pi_1(M)) denote the space of (conjugacy classes of) discrete faithful representations of \pi_1(M) into PSL 2 (C). The components of the interior…

We study a system of equations on a compact complex manifold, that couples the scalar curvature of a Kaehler metric with a spectral function of a first-order deformation of the complex structure. The system comes from an…

The kth finite subset space of a topological space X is the space exp_k X of non-empty finite subsets of X of size at most k, topologised as a quotient of X^k. The construction is a homotopy functor and may be regarded as a union of…

In this paper we obtain a new class of open sets, and we prove the class is compact under the Hausdorff distance, then we prove the existence of solutions of some shape optimization for elliptic equations.

For an upper semi-continuous set-valued mapping from one topological space to another and for a lower semi-continuous function defined on the product of these spaces, Berge's theorem states lower semi-continuity of the minimum of this…

In this paper we show that if a compact set $E \subset \mathbb{R}^d$, $d \geq 3$, has Hausdorff dimension greater than $\frac{(4k-1)}{4k}d+\frac{1}{4}$ when $3 \leq d<\frac{k(k+3)}{(k-1)}$ or $d- \frac{1}{k-1}$ when $\frac{k(k+3)}{(k-1)}…

A section of a Hamiltonian system is a hypersurface in the phase space of the system, usually representing a set of one-sided constraints (e.g. a boundary, an obstacle or a set of admissible states). In this paper we give local…

The "weakly Hausdorff" property for pseudoradial spaces fails to be naturally characterized by unique convergence of transfinite sequences. In response, we develop the category $\mathbf{SPsRad}$ of strongly pseudoradial spaces, compactly…

This paper extends some results of [M5] and [M3], in particular, removing assumptions of positive lower density. We give conditions on a general family $P_{\lambda}:\mathbb{R}^{n}\to\mathbb{R}^{m}, \lambda \in \Lambda,$ of orthogonal…

This paper studies the structure of Kakeya sets in $\mathbb{R}^3$. We show that for every Kakeya set $K\subset\mathbb{R}^3$, there exist well-separated scales $0<\delta<\rho\leq 1$ so that the $\delta$ neighborhood of $K$ is almost as large…

In the present paper we show a dichotomy theorem for the complexity of polynomial evaluation. We associate to each graph H a polynomial that encodes all graphs of a fixed size homomorphic to H. We show that this family is computable by…

A topological group $G$ is {\em sequentially $h$-complete} if all the continuous homomorphic images of $G$ are sequentially complete. In this paper we give necessary and sufficient conditions on a complete group for being compact, using the…

We study the density function of measurable subsets of the Cantor space. Among other things, we identify a universal set $\mathcal{U}$ for $\Sigma^{1}_{1}$ subsets of $( 0 ; 1 )$ in terms of the density function; specifically $\mathcal{U}$…

This paper has an expository nature. We compare the spectral properties (such as boundedness and compactness) of three families of semi-infinite matrices and point out similarities between them. The common feature of these families is that…

Given a compact set of real numbers, a random $C^{m + \alpha}$-diffeomorphism is constructed such that the image of any measure concentrated on the set and satisfying a certain condition involving a real number $s$, almost surely has…

Motivated by constructions in topological data analysis and algebraic combinatorics, we study homotopy theory on the category of Cech closure spaces $\mathbf{Cl}$, the category whose objects are sets endowed with a Cech closure operator and…

This paper expands on and refines some known and less well-known results about the finite subset spaces of a simplicial complex $X$ including their connectivity and their top homology groups. It also discusses the inclusion of the…

We show the problem of counting homomorphisms from the fundamental group of a homology $3$-sphere $M$ to a finite, non-abelian simple group $G$ is #P-complete, in the case that $G$ is fixed and $M$ is the computational input. Similarly,…

Split-metric decompositions are an important tool in the theory of phylogenetics, particularly because of the link between the tight span and the class of totally decomposable spaces, a generalization of metric trees whose decomposition…

We prove that there exists a $\Sigma^0_1$ closed subset of $[0,1]$ that is not homeomorphic to any computably compact space. We show that the index set of c.e. subspaces of $[0,1]$ that admit a computably compact presentation is not…