Related papers: Rediscovered theorem of Luzin
We give a sketch of proof that any two (Lebesgue) measurable subsets of the unit sphere in $R^n$, for $n\ge 3$, with non-empty interiors and of the same measure are equidecomposable using pieces that are measurable.
We show that for every continuous function there exists an absolutely continuous homeomorphism of the circle such that the Fourier series of the composition converges uniformly. This resolves a problem set by N. N. Luzin.
In 1933, Borsuk conjectured that any bounded d-dimensional set of nonzero diameter can be broken into d + 1 parts of smaller diameter. This conjecture was disproved for large enough d, though it is true for low dimensional cases. The paper…
We give a "soft" proof of Alberti's Luzin-type theorem in [1] (G. Alberti, A Lusintype theorem for gradients, J. Funct. Anal. 100 (1991)), using elementary geometric measure theory and topology. Applications to the $C^2$-rectifiability…
Let $f$ be a function from a metric space $Y$ to a separable metric space $X$. If $f$ has the Baire property, then it is continuous apart a 1st category set. In 1935, Kuratowski asked whether the separability requirement could be lifted. A…
A typical decomposition question asks whether the edges of some graph $G$ can be partitioned into disjoint copies of another graph $H$. One of the oldest and best known conjectures in this area, posed by Ringel in 1963, concerns the…
We prove the decomposition conjecture of Leclerc and Thibon for the Schur algebra. We also give a new approach to the Lusztig conjecture for the dimension of the simple U(sl_k)-modules at roots of unity via canonical bases of the Hall…
We prove that any finite set of real numbers can be split into two parts, one part being highly non-additive and the other highly non-multiplicative.
In the present paper, we study a set that can be treated as a generalised set of subsums for a geometric series. This object was discovered independently in various mathematical aspects. For instance, it is closely related to various…
We prove the following 30-year old conjecture of Gy\H{o}ri and Tuza: the edges of every $n$-vertex graph $G$ can be decomposed into complete graphs $C_1,\ldots,C_\ell$ of orders two and three such that $|C_1|+\cdots+|C_\ell|\le…
In a 1962 paper, Zariski introduced the decomposition theory that now bears his name. Although it arose in the context of algebraic geometry and deals with the configuration of curves on an algebraic surface, we have recently observed that…
Consider a Leibniz superalgebra $\mathfrak L$ additionally graded by an arbitrary set $I$ (set grading). We show that $\mathfrak L$ decomposes as the sum of well-described graded ideals plus (maybe) a suitable linear subspace. In the case…
R. Pemantle conjectured, and T.M. Liggett proved in 1997, that the convolution of two ultra-logconcave is ultra-logconcave. Liggett's proof is elementary but long. We present here a short proof, based on the mixed volume of convex sets.
We study the classical problem of identifying the structure of $P^2(\mu)$, the closure of analytic polynomials in the Lebesgue space $L^2(\mu)$ of a compactly supported Borel measure $\mu$ living in the complex plane. In his influential…
It was proved by S. Mazur and S. Ulam in 1932 that every isometric surjection between normed real vector spaces is affine. We generalize the Mazur--Ulam theorem and find necessary and sufficient conditions under which distance-preserving…
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…
In this paper we demonstrate how to partition the real number line into four subsets which may be reassembled, via "piecewise rigid functions" that preserve Lebesgue measure, into two copies of the line. We then employ a similar process to…
Bonicatto--Pasqualetto--Rajala (2020) proved that a decomposition theorem for sets of finite perimeter into indecomposable sets, known to hold in Euclidean spaces, holds also in complete metric spaces equipped with a doubling measure,…
Pourchet proved in 1971 that every nonnegative univariate polynomial with rational coefficients is a sum of five or fewer squares. Nonetheless, there are no known algorithms for constructing such a decomposition. The sole purpose of the…
A set $A\subseteq\mathbb N$ is called $complete$ if every sufficiently large integer can be written as the sum of distinct elements of $A$. In this paper we present a new method for proving the completeness of a set, improving results of…