Related papers: The proof of Tchakaloff's Theorem

We provide a counter-example to Hutchinson's original proof of $C^{1,\alpha}$ representation of curvature $m$-varifolds with $L^q$-integrable second fundamental form and $q>m$ in [6]. We also provide an alternative proof of the same result…

We prove a number of results about countable Borel equivalence relations with forcing constructions and arguments. These results reveal hidden regularity properties of Borel complete sections on certain orbits. As consequences they imply…

We prove Minding's Theorem for $C^2$-immersions with constant negative Gauss curvature. As a Corollary we also prove Minding's Theorem for $C^{1M}$-immersions in the sense of \cite{DS}.

Lyapunov's theorem is a classical result in convex analysis, concerning the convexity of the range of nonatomic measures. Given a family of integrable vector functions on a compact set, this theorem allows to prove the equivalence between…

This paper aims to give an elementary proof for Toponogov's theorem in Alexandrov geometry with lower curvature bound. The idea of the proof comes from the fact that, in Riemannian geometry, sectional curvature can be embodied in the second…

We prove convergence to equilibrium for a class of coagulation-fragmentation equations that do not satisfy a detailed balance condition. More precisely, we consider perturbations of constant rate kernels. Our result provides in particular…

Circular proofs, introduced by Daniyar Shamkanov, are proofs in which assumptions are allowed that are not axioms but do appear at least twice along a branch. Shamkanov has shown that a formula belongs to the provability logic GL exactly if…

We provide a new proof of a important theorem in the Lagrangian formalism about necessary and sufficient conditions for a second-order variational system of equations to follow from a first-order Lagrangian.

In the general context of computable metric spaces and computable measures we prove a kind of constructive Borel-Cantelli lemma: given a sequence (constructive in some way) of sets $A_{i}$ with effectively summable measures, there are…

In this manuscript, we present a method to prove constructively the existence and spectral stability of solitary waves in both the Whitham and the capillary-gravity Whitham equations. By employing Fourier series analysis and computer-aided…

The original proof of the Sharkovsky theorem is presented in full detail. The proof should be accessible to readers with basic Real Analysis background. Although nowadays there are several alternative proofs of this classical result, we…

In this article, we characterize both Lusin's theorem and the existence of Borel representatives via the regularity properties of the measure in general topological measure spaces. As a corollary, we prove that Borel regularity of the…

In the case of monotone independence, the transparent understanding of the mechanism to validate the central limit theorem (CLT) has been lacking, in sharp contrast to commutative, free and Boolean cases. We have succeeded in clarifying it…

We present a very simple example of a theorem with constructive and non-constructive proofs: the equation c^2 x^2 - (c^2 + c)x + c = 0 has a solution.

We prove a $C^\infty$ version of the Nekhoroshev's estimate on the stability times of the actions in close to integrable Hamiltonian systems. The proof we give is a variant of the original Nekhoroshev's proof and it consists in first…

We present an elementary combinatorial proof of the celebrated Friendship theorem. The proof involves looking at independent sets and constructing a bound on their size which forces a contradiction.

We prove an extension of the Moore-Schmidt theorem on the triviality of the first cohomology class of cocycles for the action of an arbitrary discrete group on an arbitrary measure space and for cocycles with values in an arbitrary compact…

Results on the error bounds of quadrature methods are well known - most state that if the method has degree N, and the integrand has N derivatives, then the error is order N+1. We prove here a converse: that if the integrand fails to have N…

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…

Based on the seminal work of Hutchinson, we investigate properties of {\em $\alpha$-weighted Cantor measures} whose support is a fractal contained in the unit interval. Here, $\alpha$ is a vector of nonnegative weights summing to $1$, and…