Related papers: Borel Circle Squaring

We prove the following isoperimetric type inequality: Given a finite absolutely continuous Borel measure on ${\mathbb R}^n$, halfspaces have maximal measure among all subsets with prescribed barycenter. As a consequence, we make progress…

Katok's special representation theorem states that any free ergodic measure-preserving $\mathbb{R}^{d}$-flow can be realized as a special flow over a $\mathbb{Z}^{d}$-action. It provides a multidimensional generalization of the "flow under…

We investigate what we term "generalized sup-convolutions". We show that functional inequalities that enjoy an interpretation as sup-convolution inequalities can be deduced from the special case of indicator functions corresponding to a…

Let $X$ denote an equivariant embedding of a connected reductive group $G$ over an algebraically closed field $k$. Let $B$ denote a Borel subgroup of $G$ and let $Z$ denote a $B \times B$-orbit closure in $X$. When the characteristic of $k$…

We prove the existence of a sequence of commutative diagrams generalizing existing results on the cohomology of the Borel-Serre boundary and well-rounded retract to the context of the well-tempered complex. Our main theorem provides a…

We introduce a graph decomposition which exists for all simple, connected graphs $G=(V,E)$. The decomposition $V = A \cup B \cup C$ is such that each vertex in $A$ has more neighbors in $B$ than in $A$ and vice versa. $C$ is `balanced':…

We reduce the isomorphism problem for undirected graphs without loops to the isomorphism problems for a class of finite dimensional $2$-step nilpotent Lie algebras over a field and for a class of finite $p$-groups. We show that the…

We prove that the existence of a Borel lower density operator (a Borel lifting) with respect to the $\sigma$-ideal of countable sets, for an uncountable Polish space, is equivalent to the Continuum Hypothesis.

In [I. Arzhantsev and M. Zaidenberg, Borel subgroups of the automorphism groups of affine toric surfaces, arXiv:2507.09679 (2025)] we described the Borel subgroups and maximal solvable subgroups of the automorphism groups of affine toric…

A union of an arrangement of affine hyperplanes $H$ in $R^d$ is the real algebraic variety associated to the principal ideal generated by the polynomial $p_{H}$ given as the product of the degree one polynomials which define the hyperplanes…

This article reviews a generous sampling of both classical and more recent results on the interplay between measurable and topological dynamics. In the first part we have surveyed the strong analogies between ergodic theory and topological…

Let C be an algebraic curve in a power of an elliptic curve, both defined over the algebraic numbers. We show that the set of algebraic points of C which satisfy certain conditions is a finite set. This result has implications with the…

Given an ergodic flow $T=(T_t)_{t\in\Bbb R}$, let $I(T)$ be the set of reals $s\ne 0$ for which the flows $(T_{st})_{t\in\Bbb R}$ and $T$ are isomorphic. It is proved that $I(T)$ is a Borel subset of $\Bbb R^*$. It carries a natural Polish…

We prove a version of the Erd\H{o}s--Beck Theorem from discrete geometry for fractal sets in all dimensions. More precisely, let $X\subset \mathbb{R}^n$ Borel and $k \in [0, n-1]$ be an integer. Let $\dim (X \setminus H) = \dim X$ for every…

We extend the study of \emph{melonic} quartic tensor models to models with arbitrary quartic interactions. This extension requires a new version of the loop vertex expansion using several species of intermediate fields and iterated…

Becker and Kechris showed that if a Polish group G acts continuously on a Polish space X, then for any invariant Borel set B we can change the topology on X so that B becomes open, the Borel structure is preserved, and the action continues…

We resolve the topological version of the Erd\H{o}s Similarity conjecture introduced previously by Gallagher, Lai and Weber. We show that a set is topologically universal on ${\mathbb R}$ if and only if it is of strong measure zero. As a…

Let $\Gamma$ be a countable group. A classical theorem of Thorisson states that if $X$ is a standard Borel $\Gamma$-space and $\mu$ and $\nu$ are Borel probability measures on $X$ which agree on every $\Gamma$-invariant subset, then $\mu$…

We consider the following classical conjecture of Besicovitch: a $1$-dimensional Borel set in the plane with finite Hausdorff $1$-dimensional measure $\mathcal{H}^1$ which has lower density strictly larger than $\frac{1}{2}$ almost…

Fix a non-negative integer g and a positive integer I dividing 2g-2. For any Henselian, discretely valued field K whose residue field is perfect and admits a degree I cyclic extension, we construct a curve C over K of genus g and index I.…