Related papers: Rediscovered theorem of Luzin

In a recent paper, Amini et al. introduce a general framework to prove duality theorems between special decompositions and their dual combinatorial object. They thus unify all known ad-hoc proofs in one single theorem. While this…

Let $g(x)$ be a fixed non-constant complex polynomial. It was conjectured by Schinzel that if $g(h(x))$ has boundedly many terms, then $h(x)\in \C[x]$ must also have boundedly many terms. Solving an older conjecture raised by R\'enyi and by…

We study the family of rational sets of words, called completely reducible and which are such that the syntactic representation of their characteristic series is completely reducible. This family contains, by a result of Reutenauer, the…

We show that the complete graph on $n$ vertices can be decomposed into $t$ cycles of specified lengths $m_1,\ldots,m_t$ if and only if $n$ is odd, $3\leq m_i\leq n$ for $i=1,\ldots,t$, and $m_1+\cdots+m_t=\binom n2$. We also show that the…

We prove the Decomposability Conjecture for functions of Baire class $2$ on a Polish space to a separable metrizable space. This partially answer an important open problem in descriptive set theory.

In 1981, Alspach conjectured that the complete graph $ K_{n} $ could be decomposed into cycles of arbitrary lengths, provided that the obvious necessary conditions would hold. This conjecture was proved completely by Bryant, Horsley and…

In this paper, we prove a structure theorem for the infinite union of $n$-adic doubling measures via techniques which involve far numbers. Our approach extends the results of Wu in 1998, and as a by product, we also prove a classification…

The Ramanujan conjecture for modular forms of holomorphic type was proved by Deligne almost half a century ago: the proof, based on his earlier proof of Weil's conjectures, was an achievement of algebraic geometry. We give here a short…

A Lebesgue-type decomposition of a (non necessarily non-negative) sesquilinear form with respect to a non-negative one is studied. This decomposition consists of a sum of three parts: two are dominated by an absolutely continuous form and a…

Let $X$ be a submanifold of dimension $d\geq 2$ of the complex projective space $\mathbb P^n$. We prove results of the following type. i) If $X$ is irregular and $n=2d$ then the normal bundle $N_{X|\mathbb P^n}$ is indecomposable. ii) If…

The Levin conjecture was proposed by Levin in 1962 which conjectures the solvability of any group equation with coefficients in a torsion free group. The Levin conjecture is recently shown to hold for group equations of length seven by…

In this paper K closedness is proved in the case of the couple of real Hardy spaces in the corresponding couple of Lebesgue spaces. This means roughly that any measurable decomposition of an analytic function gives rise to an "analytic"…

A digraph is semicomplete if any two vertices are connected by at least one arc and is locally semicomplete if the out-neighbourhood and the in-neighbourhood of any vertex induce a semicomplete digraph. In this paper we study various…

It is known that the $n$-dimensional hypercube $Q_n,$ for $n$ even, has a decomposition into $k$-cycles for $k=n, 2n,$ $2^l$ with $2 \leq l \leq n.$ In this paper, we prove that $Q_n$ has a decomposition into $2^mn$-cycles for $n \geq 2^m.$…

We prove theorems of the following form: if $A\subseteq {\mathbb R}^2$ is a big set, then there exists a big set $P\subseteq {\mathbb R}$ and a perfect set $Q\subseteq {\mathbb R}$ such that $P\times Q\subseteq A$. We discuss cases where…

We extend a bound of Roche-Newton, Shparlinski and Winterhof which says any subset of a finite field can be decomposed into two disjoint subset $\cU$ and $\cV$ of which the additive energy of $\cU$ and $f(\cV)$ are small, for suitably…

In 1991, J. Thomson obtained a celebrated decomposition theorem for $P^t(\mu),$ the closed subspace of $L^t(\mu)$ spanned by the analytic polynomials, when $1 \le t < \i.$ In 2008, J. Brennan \cite{b08} generalized Thomson's theorem to…

A theorem of Lusin states that every Borel function on $R$ is equal almost everywhere to the derivative of a continuous function. This result was later generalized to $R^n$ in works of Alberti and Moonens-Pfeffer. In this note, we prove…

It is proved that there exists an (omega-1,omega-1) Souslin gap in the Boolean algebra (L(nu)/Fin,subseteq^*_ae) for every nonseparable measure nu. Thus a Souslin, also known as destructible, (omega-1,omega-1) gap in P(N)/Fin can always be…

A famous theorem of Dixmier-Malliavin asserts that every smooth, compactly-supported function on a Lie group can be expressed as a finite sum in which each term is the convolution, with respect to Haar measure, of two such functions. We…