Related papers: Projective measure without projective Baire

A topological space $X$ is Baire if the Baire Category Theorem holds for $X$, i.e., the intersection of any sequence of open dense subsets of $X$ is dense in $X$. One of the interesting problems for the space $B_1(X)$ of all Baire-one…

Let $\gamma:[0,1]\rightarrow \mathbb{S}^{2}$ be a non-degenerate curve in $\mathbb{R}^3$, that is to say, $\det\big(\gamma(\theta),\gamma'(\theta),\gamma''(\theta)\big)\neq 0$. For each $\theta\in[0,1]$, let…

An important result in real algebraic geometry is the projection theorem: every projection of a semialgebraic set is again semialgebraic. This theorem and some of its conclusions lie at the basis of many other results, for example the…

We prove that under certain explicit conditions, the Mahler measure of a three-variable polynomial can be expressed in terms of elliptic curve $L$-values and Bloch-Wigner dilogarithmmic values, conditionally on Beilinson's conjecture. In…

A subset $S$ of the unit sphere $\mathbb{S}^2$ is called orthogonal-pair-free if and only if there do not exist two distinct points $u, v \in S$ at distance $\frac{\pi}{2}$ from each other. Witsenhausen \cite{witsenhausen} asked the…

Let $C_\la$ and $C_\ga$ be two affine Cantor sets in $\mathbb{R}$ with similarity dimensions $d_\la$ and $d_\ga$, respectively. We define an analog of the Bandt-Graf condition for self-similar systems and use it to give necessary and…

We construct several models where there are no strongly meager sets of size continuum. In particular, there are no such sets in the Laver's model.

In complex dynamics, we construct a so-called nice set (one for which the first return map is Markov) around any point which is in the Julia set but not in the post-singular set, adapting a construction of Juan Rivera-Letelier. This…

This paper provides an extensive study of the $\mathscr{I}$-Miller null ideals $M_\mathscr{I}$, $\sigma$-ideals on the Baire space parametrized by ideals $\mathscr{I}$ on countable sets. These $\sigma$-ideals are associated to the idealized…

This is a continuation of notes on dynamics of quadratic polynomials. In this part we transfer the our prior geometric result to the parameter plane. To any parameter value c in the Mandelbrot set (which lies outside of the main cardioid…

In this paper, we introduce the notion of a $\gamma$-density point for Lebesgue-measurable subsets of $\mathbb{R}$, where $\gamma$ is a modulus function, and study its basic measure-theoretic properties. We show that every $\gamma$-density…

Let $\mathcal R$ be a $\Sigma^1_1$ binary relation and call a set $\mathcal R$-discrete iff no two distinct of its elements are $\mathcal R$-related. We show that in the extension of $\mathbf{L}$ by iterated Sacks forcing, there is a…

Secant defectivity of projective varieties is classically approached via dimensions of linear systems with multiple base points in general position. The latter can be studied via degenerations. We exploit a technique that allows some of the…

We prove that a primitive substitution Delone set, which is pure point diffractive, is a Meyer set. This answers a question of J. C. Lagarias. We also show that for primitive substitution Delone sets, being a Meyer set is equivalent to…

We study the relationship between Amoeba forcing (the partial order which generically adds a measure one set of random reals) and projective measurability. Given a universe V of set theory and a forcing notion P in V we say that V is…

It is shown that for any translation invariant outer measure M, the M-measure of the intersection of any subset of R^n that is invariant under rational translations and which does not have full Lebesgue measure with an the closure of an…

Many algorithms for inferring causality rely heavily on the faithfulness assumption. The main justification for imposing this assumption is that the set of unfaithful distributions has Lebesgue measure zero, since it can be seen as a…

An important theorem of geometric measure theory (first proved by Besicovitch and Davies for Euclidean space) says that every analytic set of non-zero $s$-dimensional Hausdorff measure $\mathcal H^s$ contains a closed subset of non-zero…

In this article, we present a concavity property of the minimal $L^2$ integrals related to multiplier ideal sheaves with Lebesgue measurable gain. As applications, we give necessary conditions for our concavity degenerating to linearity,…

By using a multiscale analysis, we establish quantitative versions of the Besicovitch projection theorem (almost every projection of a purely unrectifiable set in the plane of finite length has measure zero) and a standard companion result,…