Abstract:We introduce discretizations of infinite-dimensional optimization problems with total variation regularization and integrality constraints on the optimization variables. We advance the discretization of the dual formulation of the total variation term with Raviart--Thomas functions which is known from literature for certain convex problems. Since we have an integrality constraint, the previous analysis from Caillaud and Chambolle [10] does not hold anymore. Even weaker $\Gamma$-convergence results do not hold anymore because the recovery sequences generally need to attain non-integer values to recover the total variation of the limit function. We solve this issue by introducing a discretization of the input functions on an embedded, finer mesh. A superlinear coupling of the mesh sizes implies an averaging on the coarser mesh of the Raviart--Thomas ansatz, which enables to recover the total variation of integer-valued limit functions with integer-valued discretized input functions. Moreover, we are able to estimate the discretized total variation of the recovery sequence by the total variation of its limit and an error depending on the mesh size ratio. For the discretized optimization problems, we additionally add a constraint that vanishes in the limit and enforces compactness of the sequence of minimizers, which yields their convergence to a minimizer of the original problem. This constraint contains a degree of freedom whose admissible range is determined. Its choice may have a strong impact on the solutions in practice as we demonstrate with an example from imaging.

Expected Regularized Total Variation of Brownian Motion

The Modulus of Non-Differentiability of a Brownian Motion in L P

Lower bounds for distribution of suprema of Brownian increments and Brownian motion normalized by the corresponding modulus functions

Boundedness and unboundedness in total variation regularization

Extremal points of total generalized variation balls in 1D: characterization and applications

On the expectation of normalized Brownian functionals up to first hitting times

Regular Dirichlet Extensions of One-Dimensional Brownian Motion

Hölder regularity and roughness: construction and examples

On extremal points for some vectorial total variation seminorms

Convergence to a Self-Normalized G-Brownian Motion

On the expected uniform error of Brownian motion approximated by the Lévy-Ciesielski construction

Small ball probabilities and large deviations for grey Brownian motion

Total variation distance between a jump-equation and its Gaussian approximation

On Pathwise Uniform Approximation of Processes with Càdlàg Trajectories by Processes with Minimal Total Variation

Discretization of Total Variation in Optimization with Integrality Constraints

A total variation version of Breuer--Major Central Limit Theorem under $\mathbb{D}^{1,2}$ assumption

Construction of distorted Brownian motion with permeable sticky behaviour on sets with Lebesgue measure zero

On the Brownian range and the Brownian reversal

On Structure of Regular Dirichlet Subspaces for One-Dimensional Brownian Motion

Large deviation principle for generalized multiple intersection local times of multidimensional Brownian motion

A study of the one dimensional total generalised variation regularisation problem