Related papers: Rediscovered theorem of Luzin

We give a new proof Tverberg's famous theorem: For every set $X \subset \R^d$ with $|X|=(r-1)(d+1)+1$, there is a partition of $X$ into $r$ sets $X_1,\ldots,X_r$ such that $\bigcap_{p=1}^r \conv X_p\ne \emptyset$. The new proof uses linear…

A result of H. Steinhaus states that any positive Lebesgue measurable set has a property that its difference set contains an open interval around the origin. Y. V. Mospan proved that this result is the characterization of absolutely…

Generalizing the famous 14-set closure-complement Theorem of Kuratowski from 1922, we prove that for a set $X$ endowed with $n$ pairwise comparable topologies $\tau_1\subset\dots\subset\tau_n$, by repeated application of the operations of…

This article establishes that the split decomposition of graphs introduced by Cunnigham, is definable in Monadic Second-Order Logic.This result is actually an instance of a more general result covering canonical graph decompositions like…

We give a simple and short proof of the classical Lebesgue decomposition theorem of measures via the Riesz orthogonal decomposition theorem of Hilbert spaces. The tools we employ are elementary Hilbert space techniques.

We prove that a complete bipartite graph can be decomposed into cycles of arbitrary specified lengths provided that the obvious necessary conditions are satisfied, the length of each cycle is at most the size of the smallest part, and the…

We give a simple proof of the moment-indeterminacy of the sequence $(n!)^t$ for $t > 2,$ using Lin's condition. Under a logarithmic self-decomposability assumption, the method conveys to power sequences defined as the rising factorials of a…

We give a short proof of a sumset conjecture of Erd\"os, recently proved by Moreira, Richter and Robertson: every subset of the integers of positive density contains the sum of two infinite sets. The proof is written in the framework of…

It is shown that the approximating functions used to define the Bochner integral can be formed using geometrically nice sets, such as balls, from a differentiation basis. Moreover, every appropriate sum of this form will be within a…

We prove a general decomposition theorem for the modal $\mu$-calculus $L_\mu$ in the spirit of Feferman and Vaught's theorem for disjoint unions. In particular, we show that if a structure (i.e., transition system) is composed of two…

These series of notes serve as an introduction to some of both the classical and modern techniques in Reifenberg theory. At its heart, Reifenberg theory is about studying general sets or measures which can be, in one sense or another,…

A classical result of Arne Beurling states that the Fourier transform of a nonzero complex Borel measure $\mu$ on the real line cannot vanish on a set of positive Lebesgue measure if $\mu$ has certain decay. We prove a several variable…

A uniqueness theorem for an LU decomposition of a totally nonnegative matrix is obtained.

Let $X$ be a compact K\"ahler fourfold with klt singularities and vanishing first Chern class, smooth in codimension two. We show that $X$ admits a Beauville-Bogomolov decomposition: a finite quasi-\'etale cover of $X$ splits as a product…

A theorem of J. Kruskal from 1977, motivated by a latent-class statistical model, established that under certain explicit conditions the expression of a 3-dimensional tensor as the sum of rank-1 tensors is essentially unique. We give a new…

We prove two theorems on cohomologically complete complexes. These theorems are inspired by, and yield an alternative proof of, a recent theorem of P. Schenzel on complete modules.

This paper gives two different proofs to a structural theorem of decreasing minimization (lexicographic optimization) on integrally convex sets. The theorem states that the set of decreasingly minimal elements of an integrally convex set…

In 1853 Sylvester introduced a family of double sum expressions for two finite sets of indeterminates and showed that some members of the family are essentially the polynomial subresultants of the monic polynomials associated with these…

Erd\"os proved in 1946 that if a set $E\subset\mathbb{R}^n$ is closed and non-empty, then the set, called ambiguous locus or medial axis, of points in $\mathbb{R}^n$ with the property that the nearest point in $E$ is not unique, can be…

E26 in the Enestrom index. Translated from the Latin original, "Observationes de theoremate quodam Fermatiano aliisque ad numeros primos spectantibus" (1732). In this paper Euler gives a counterexample to Fermat's claim that all numbers of…