[Paper Review] Smoothness and Smooth Extensions (I): Generalization of MWK Functions and Gradually Varied Functions

Li Chen|arXiv (Cornell University)|May 20, 2010

Topological and Geometric Data Analysis15 references3 citations

TL;DR

This paper proposes a generalized framework for natural smoothness in discrete and continuous settings, bridging mathematical smoothness with practical applications in image processing and numerical analysis. It introduces discrete smoothness via Lipschitz continuity and a scan-based sign-change ratio, extending MWK and gradually varied functions to model real-world smoothness beyond idealized C∞ functions.

ABSTRACT

A mathematical smooth function means that the function has continuous derivatives to a certain degree C(k). We call it a k-smooth function or a smooth function if k can grow infinitively. Based on quantum physics, there is no such smooth surface in the real world on a very small scale. However, we do have a concept of smooth surfaces in practice since we always compare whether one surface is smoother than another one. This paper deals with the possible definitions of "natural" smoothness and their relationship to the original mathematical definition of smooth functions. The motivation of giving the definition of a smooth function is to study smooth extensions for practical applications. We observe this problem from two directions: From discrete to continuous, we suggest considering both micro smooth, the refinement of a smoothed function, and macro smooth, the best approximation using existing discrete space. (For two-dimensional or higher dimensional cases, we can use Hessian matrices.) From continuous to discrete, we suggest a new definition of natural smooth, it uses a scan from down scaling to up scaling to obtain the a ratio for sign changes by ignoring zero to represent the smoothness. For differentiable functions, mathematical smoothness does not mean a "good looking" smooth for a sampled set in discrete space. Finally, we discuss the Lipschitz continuity for defining the smoothness, which will be called discrete smoothness. This paper gives philosophical consideration of smoothness for practical problems, rather than a mathematical deduction or reduction, even though our inferences are based on solid mathematics.

Motivation & Objective

• To define practical, natural smoothness that aligns with human perception and real-world applications, beyond idealized C(k) smoothness.
• To address the disconnect between mathematical smoothness and perceived smoothness in sampled discrete data.
• To develop a discrete smoothness measure suitable for computational applications in image reconstruction and surface modeling.
• To unify micro-scale refinement and macro-scale approximation in smooth extension problems.

Proposed method

• Introduces a scan-based method from downscaling to upscaling to compute a sign-change ratio, ignoring zeros, as a measure of natural smoothness.
• Proposes discrete smoothness based on Lipschitz continuity, linking it to bounded variation in discrete functions.
• Extends the concepts of MWK functions and gradually varied functions to higher dimensions using Hessian matrix analysis.
• Uses both micro-smooth (refinement) and macro-smooth (approximation) perspectives to model smooth extensions.
• Applies the sign-change ratio to quantify smoothness in discrete grids, especially in 2D and higher dimensions.
• Integrates philosophical considerations of smoothness into a mathematically grounded framework for practical use.

Experimental results

Research questions

• RQ1 How can mathematical smoothness be meaningfully generalized for discrete data in practical applications?
• RQ2 What defines 'natural' smoothness in sampled or discrete surfaces, independent of idealized C∞ functions?
• RQ3 How can smooth extensions be constructed using both micro-scale refinement and macro-scale approximation?
• RQ4 What role does the sign-change ratio (ignoring zeros) play in measuring smoothness across scales?
• RQ5 How does Lipschitz continuity serve as a viable substitute for classical smoothness in discrete settings?

Key findings

• The sign-change ratio derived from downscaling to upscaling provides a robust, scalable measure of natural smoothness in discrete data.
• Discrete smoothness defined via Lipschitz continuity effectively captures perceptual smoothness in sampled functions.
• The generalized framework successfully extends MWK and gradually varied functions to higher-dimensional spaces using Hessian matrices.
• Micro-smooth refinement and macro-smooth approximation are shown to be complementary approaches in smooth extension problems.
• The proposed smoothness measures bridge the gap between theoretical smoothness and practical visual or computational smoothness.
• The framework offers a philosophically grounded, mathematically consistent approach to smoothness that supports real-world applications in image processing and numerical analysis.