Related papers: Set-theoretical problems concerning Hausdorff meas…
The paper is a first of two and aims to show that (assuming large cardinals) set theory is a tractable (and we dare to say tame) first order theory when formalized in a first order signature with natural predicate symbols for the basic…
Let $X$ be a locally compact Hausdorff space, let $A$ be a partially ordered algebra, and let $\pi\colon \mathrm{C}_{\mathrm c}(X)\to A$ be a positive algebra homomorphism. Under conditions on $A$ that are satisfied in a good number of…
Strongly stable ideals are a class of monomial ideals which correspond to generic initial ideals in characteristic zero and can be described completely by their Borel generators, a subset of the minimal monomial generators of the ideal.…
In this paper we study the relationship between two fundamental regularity properties of an $s$-dimensional Calder\'{o}n-Zygmund operator (CZO) acting on a Borel measure $\mu$ in $\mathbb{R}^d$, with $s\in (0,d)$. In the classical case when…
This article introduces innovative classes of open sets in \(\mathbb{R}^{N}\), where \(N=2, 3\), characterized by a geometric property associated with the inward normal. The focus lies on proving compactness results for the Hausdorff…
We show that several dichotomy theorems concerning the second level of the Borel hierarchy are special cases of the $\aleph_0$-dimensional generalization of the open graph dichotomy, which itself follows from the usual proof(s) of the…
A general structure theorem on higher order invariants is proven. For an arithmetic group, the structure of the corresponding Hecke module is determined. It is shown that the module does not contain any irreducible submodule. This explains…
We establish new estimates for the size and structure of the nodal set $\{u=0\}$ and the singular set $\{u=|\nabla u|=0\}$ of solutions $u$ to parabolic inequalities with parabolic Lipschitz coefficients. In particular, we show that almost…
The classical embedding theorem of Carleson deals with finite positive Borel measures $\mu$ on the closed unit disk for which there exists a positive constant $c$ such that $|f|_{L^2(\mu)} \leq c |f|_{H^2}$ for all $f \in H^2$, the Hardy…
In this work, we revisit the following estimate due to Dahlberg \cite{Dahl}. Let $\textit{\textbf x}_0$ a fixed point in a bounded Lipschitz domain $\Omega$. Then there exists a constant $C > 0$ such that if $u$ is a harmonic function in…
We give a condition for absolute continuity of self-similar measures in arbitrary dimensions. This allows us to construct the first explicit absolutely continuous examples of inhomogeneous self-similar measures in dimension one and two. In…
We study algorithmically random closed subsets of $2^\omega$, algorithmically random continuous functions from $2^\omega$ to $2^\omega$, and algorithmically random Borel probability measures on $2^\omega$, especially the interplay between…
The main result of this paper is a partial answer to [math.LO/9909115, Problem 5.5]: a finite iteration of Universal Meager forcing notions adds generic filters for many forcing notions determined by universality parameters. We also give…
The main aim of this article is to prove quantitative spectral inequalities for the Laplacian with Dirichlet boundary conditions. More specifically, we prove sharp quantitative stability for the Faber-Krahn inequality in terms of Newtonian…
We prove under $V=L$ that the inclusion modulo the non-stationary ideal is a $\Sigma_1^1$-complete quasi-order in the generalized Borel-reducibility hierarchy ($\kappa>\omega$). This improvement to known results in $L$ has many new…
One can describe isomorphism of two compact hyperbolic Riemann surfaces of the same genus by a measure-theoretic property: a chosen isomorphism of their fundamental groups corresponds to a homeomorphism on the boundary of the Poincar\'e…
Besicovitch showed that if a set is null for the Hausdorff measure associated to a given dimension function, then it is still null for the Hausdorff measure corresponding to a smaller dimension function. We prove that this is not true for…
It is consistent that \[ \aleph_1 < \mathrm{add}(\mathrm{Null}) < \mathrm{add}(\mathrm{Meager})= \mathfrak{b} < \mathrm{cov}(\mathrm{Null}) < \mathrm{non}(\mathrm{Meager}) < \mathrm{cov}(\mathrm{Meager}) = 2^{\aleph_0}. \] Assuming four…
Periodic point sets model all solid crystalline materials (crystals) whose atoms can be considered zero-sized points with or without atomic types. This paper addresses the fundamental problem of checking whether claimed crystals are novel,…
We study cyclically monotone transport plans between measures in $\mathrm{M}_0(\mathbb{R}^d)$, the class of Borel measures on $\mathbb{R}^d \setminus \{0\}$ that are finite on sets bounded away from the origin but may have infinite total…