Related papers: A Universal Continuum of Weight aleph
A classical theorem in conformal geometry states that on a manifold with non-positive Yamabe invariant, a smooth metric achieving the invariant must be Einstein. In this work, we extend it to the singular case and show that in all…
An affine manifold is a manifold with an affine structure, i.e. a torsion-free flat affine connection. We show that the universal cover of a closed affine 3-manifold $M$ with holonomy group of shrinkable dimension (or discompacit\'e in…
We investigate the continuous function $f$ defined by $$x\mapsto \sum_{\sigma\le_L x }2^{-K(\sigma)}$$ as a variant of Chaitin's Omega from the perspective of analysis, computability, and algorithmic randomness. Among other results, we…
We answer in the negative a question by Gruenbaum who asked if there exists a finite basis of affine invariant points. We give a positive answer to another question by Gruenbaum about the "size" of the set of all affine invariant points.…
An Ulrich sheaf on an n-dimensional projective variety X, embedded in a projective space, is a normalized ACM sheaf which has the maximum possible number of global sections. Using a construction based on the representation theory of…
The universal approximation theorem, in one of its most general versions, says that if we consider only continuous activation functions $\sigma$, then a standard feedforward neural network with one hidden layer is able to approximate any…
We show in ZFC that there is no set of reals of size continuum which can be translated away from every set in the Marczewski ideal. We also show that in the Cohen model, every set with this property is countable.
A classical theorem of Balcar, Pelant, and Simon says that there is a base matrix of height h, where h is the distributivity number of P(omega)/fin. We show that if the continuum c is regular, then there is a base matrix of height c, and…
We prove that self-similar measures on the real line are absolutely continuous for almost all parameters in the super-critical region, in particular confirming a conjecture of S-M. Ngai and Y. Wang. While recently there has been much…
We prove that there exists an absolute constant $\alpha >1$ with the following property: if $K$ is a convex body in ${\mathbb R}^n$ whose center of mass is at the origin, then a random subset $X\subset K$ of cardinality ${\rm…
The following results are proved: (a) In a model obtained by adding aleph_2 Cohen reals, there is always a c.c.c. complete Boolean algebra without the weak Freese-Nation property. (b) Modulo the consistency strength of a supercompact…
A framework is a graph and a map from its vertices to E^d (for some d). A framework is universally rigid if any framework in any dimension with the same graph and edge lengths is a Euclidean image of it. We show that a generic universally…
In this paper, we study the continuity of rational functions realized by B\"uchi finite state transducers. It has been shown by Prieur that it can be decided whether such a function is continuous. We prove here that surprisingly, it cannot…
We show that the statement "every universally Baire set of reals has the perfect set property" is equiconsistent modulo ZFC with the existence of a cardinal that we call a virtually Shelah cardinal. These cardinals resemble Shelah cardinals…
Let $A$ be any plane set. It is known that a holomorphic motion $h: A \times \mathbb{D} \to \mathbb{C}$ always extends to a holomorphic motion of the entire plane. It was recently shown that any isotopy $h: X \times [0,1] \to \mathbb{C}$,…
We study the group of automorphisms of certain corona C*-algebras. As a corollary of a more general C*-algebraic result, we show that, under the Continuum Hypothesis, $\beta X\setminus X$ has nontrivial homeomorphisms, whenever $X$ is a…
It is shown that every continuous valuation defined on the $n$-dimensional star bodies has an integral representation in terms of the radial function. Our argument is based on the non-trivial fact that continuous valuations are uniformly…
Hurewicz' characterized the dimension of separable metrizable spaces by means of finite-to-one maps. We investigate whether this characterization also holds in the class of compact F-spaces of weight c. Our main result is that, assuming the…
If ZFC is consistent, then each of the following are consistent with ZFC + 2^{{aleph_0}}= aleph_2 : 1.) X subseteq R is of strong measure zero iff |X| <= aleph_1 + there is a generalized Sierpinski set. 2.) The union of aleph_1 many strong…
We obtain a uniform linear bound for the Chevalley function at a point in the source of an analytic mapping that is regular in the sense of Gabrielov. There is a version of Chevalley's lemma also along a fibre, or at a point of the image of…