Related papers: An elementary proof of the reconstruction theorem

This manuscript bridges nonparametric smoothness-based and shape-restricted estimation, which may appear as two disjoint paradigms in the field. The proposed approach is motivated by a conceptually simple observation: every Lipschitz…

We show that a necessary and sufficient condition for a smooth function on the tangent bundle of a manifold to be a Lagrangian density whose action can be minimized is, roughly speaking, that it be the sum of a constant, a nonnegative…

This article is a follow-up of ``Holonomy and Path Structures in General Relativity and Yang-Mills Theory" by Barrett, J. W. (Int.J.Theor.Phys., vol.30, No.9, 1991). Its main goal is to provide an alternative proof of this part of the…

This paper proposes that Lipschitz continuity is a natural outcome of regularized least squares in kernel-based learning. Lipschitz continuity is an important proxy for robustness of input-output operators. It is also instrumental for…

We develop a technique for normalization for $\infty$-type theories. The normalization property helps us to prove a coherence theorem: the initial model of a given $\infty$-type theory is $0$-truncated. The coherence theorem justifies…

A theorem, usually attributed to Barr, yields that (A) geometric implications deduced in classical L_{\infty\omega} logic from geometric theories also have intuitionistic proofs. Barr's theorem is of a topos-theoretic nature and its proof…

We consider uniformly subelliptic operators on certain unimodular Lie groups of polynomial growth. It was shown by Saloff-Coste and Stroock that classical results of De Giorgi, Nash, Moser, Aronson extend to this setting. It was then…

We show that for each fixed non-constant complex polynomial $P$ of the plane there exists a homeomorphism $h$ such that $P\circ h$ is a Lipschitz quotient mapping. This corrects errors in the construction given earlier by Johnson et. al.…

We give a new proof the arithmetic Hilbert-Samuel theorem by using classical reductions in the theory of coherent sheaves, a direct proof in the case of the projective space and the conservation of some numerical invariants, called…

We consider restricted Boltzmann machines with a binary visible layer and a Gaussian hidden layer trained by an unlabelled dataset composed of noisy realizations of a single ground pattern. We develop a statistical mechanics framework to…

We derive exact reconstruction methods for cracks consisting of unions of Lipschitz hypersurfaces in the context of Calder\'on's inverse conductivity problem. Our first method obtains upper bounds for the unknown cracks, bounds that can be…

The Lefschetz fixed point theorem provides a powerful obstruction to the existence of minimal homeomorphisms on well-behaved spaces such as finite CW-complexes. We show that these obstructions do not hold for more general spaces. More…

We prove a reconstruction theorem for homeomorphism groups of open sets in metrizable locally convex topological vector spaces. We show that certain small subgroups of the full homeomorphism group obey the conditions of the above theorem.

In Learning Theory, the smoothness assumption on the target function (known as source condition) is a key factor in establishing theoretical convergence rates for an estimator. The existing general form of the source condition, as discussed…

By a [$K$-]approximate subring of a ring we mean an additively symmetric subset $X$ such that $X \cdot X \cup (X + X)$ is covered by finitely many [resp.\ $K$] additive translates of $X$. We prove a structure theorem for finite approximate…

We show that renormalization in quantum field theory is a special instance of a general mathematical procedure of multiplicative extraction of finite values based on the Riemann-Hilbert problem. Given a loop $\gamma(z), | z |=1$ of elements…

One proves that any everywhere defined constructive mapping from a complete metric space into a complete metric space which preserves the property of precompacity of subsets is locally uniformly continuous. This fact can be viewed as…

A theorem of Laman gives a combinatorial characterisation of the graphs that admit a realisation as a minimally rigid generic bar-joint framework in $\bR^2$. A more general theory is developed for frameworks in $\bR^3$ whose vertices are…

Under general assumptions on the target distribution $p^\star$, we establish a sharp Lipschitz regularity theory for flow-matching vector fields and diffusion-model scores, with optimal dependence on time and dimension. As applications, we…

This paper deals with certain fundamental results about affine hulls and simplices in a real normed linear space. The framework of the paper is Bishop's constructive mathematics, which, with its characteristic interpretation of existence as…