Related papers: Avoiding Rational Distances

Place the vertices of a rectangle at $\{(0, \pm 1/2), (a, \pm 1/2)\}$, where $a$ is rational. We show that if $v_3(a) = 0$, then any point $(x,y)$ that is rational distance from all four vertices of the rectangle has either $v_3(x) < 0$ or…

We are interested in subgroups of the reals that are small in one and large in another sense. We prove that, in ZFC, there exists a non-meager Lebesgue null subgrooup of R, while it isconsistent there there is no non-null meager subgroup of…

For a metrizable space $X$, we denote by $\mathrm{Met}(X)$ the space of all metric that generate the same topology of $X$. The space $\mathrm{Met}(X)$ is equipped with the supremum distance. In this paper, for every strongly…

A real X is defined to be relatively c.e. if there is a real Y such that X is c.e.(Y) and Y does not compute X. A real X is relatively simple and above if there is a real Y <_T X such that X is c.e.(Y) and there is no infinite subset Z of…

We construct finite sets of real numbers that have a small difference set and strong local properties. In particular, we construct a set $A$ of $n$ real numbers such that $|A-A|=n^{\log_2 3}$ and that every subset $A'\subseteq A$ of size…

Let \({\mathbb K}\) be any field, let \(X\subset {\mathbb P}^{k-1}\) be a set of \(n\) distinct \({\mathbb K}\)-rational points, and let \(a\geq 1\) be an integer. In this paper we find lower bounds for the minimum distance \(d(X)_a\) of…

For an irreducible conic $\mathcal C$ in a Desarguesian plane of odd square order, estimating the number of points from a Baer subplane which are external to $\mathcal C$ is a natural problem. In this paper, a complete list of possibilities…

We show that every null-additive set is meager-additive, where: (1) a set X subseteq 2^omega is null-additive if for every Lebesgue null set A subseteq 2^omega, X+A is null too; (2) we say that X subseteq 2^omega is meager-additive if for…

For $n \geq 2$ we construct a measurable subset of the unit ball in $\mathbb{R}^n$ that does not contain pairs of points at distance 1 and whose volume is greater than $(1/2)^n$ times the volume of the ball. This disproves a conjecture of…

We prove two related concentration inequalities concerning the number of rational points of hyperelliptic curves over subsets of a finite field. In particular, we investigate the probability of a large discrepancy between the numbers of…

We consider the number of distinct distances between two finite sets of points in ${\bf R}^k$, for any constant dimension $k\ge 2$, where one set $P_1$ consists of $n$ points on a line $l$, and the other set $P_2$ consists of $m$ arbitrary…

We show that the set of Misiurewicz maps has Lebesgue measure zero in the space of rational functions for any fixed degree greater than or equal to 2 (generalising the earlier version math.DS/0701382).

The main purpose of this article is to get a handle on determining how far a non-rational singularity is from being rational, or in other words, introduce a measure of the failure of a singularity being rational.

In [8] we found a class of overlapping asymmetric self-similar measures on the real line, which are generically absolutely continuous with respect to the Lebesgue measure. Here we construct exceptional measures in this class being singular.

We develop a new approach to address some classical questions concerning the size and structure of integer distance sets. Our main result is that any integer distance set in the Euclidean plane is either very sparse or has all but an…

Our objective is to determine which subsets of $\mathbb{R}^d$ arise as escaping sets of continuous functions from $\mathbb{R}^d$ to itself. We obtain partial answers to this problem, particularly in one dimension, and in the case of open…

It is well known that axiom of choice implies the existence of non-measurable sets for Lebesgue's measure on R as well as the existence of "paradoxical" decompositions of the unit ball of R^3 (Banach-Tarski). This is generally interpreted…

Let Q denote the field of rational numbers. Let F \subseteq R is a euclidean field. We prove that: (1) if x,y \in F^n (n>1) and |x-y| is constructible by means of ruler and compass then there exists a finite set S(x,y) \subseteq F^n…

Let P_1 and P_2 be two sets of points in the plane, so that P_1 is contained in a line L_1, P_2 is contained in a line L_2, and L_1 and L_2 are neither parallel nor orthogonal. Then the number of distinct distances determined by the pairs…

A classical theorem of Lusin states that all analytic sets are Lebesgue-measurable. In this article we established the reverse mathematical strength of Lusin's theorem, which depends on how precisely it is formalized. By doing so, we answer…