Global existence for Consensus-Based Kinetic Models for Image Segmentation
Abstract
In this article, we analyze a recently introduced kinetic model based on Hegselmann-Krause-type interaction dynamics describing consensus-based image segmentation in the mean-field regime, where particle density depends on spatial coordinates and the normalized gray level (feature) value. The model is formulated as an evolutive nonlocal partial differential equation featuring a non-local spatial drift term involving a bounded confidence interaction kernel, depending on spatial and feature proximity, and a spatial diffusion term degenerating in the feature variable representing aleatoric uncertainties. Establishing well-posedness on a bounded domain, essential for practical image processing, presents significant analytical challenges: the lack of uniform control of space derivatives due to kernels with jump discontinuities and degenerate spatial diffusion, complex non-standard boundary terms under homogeneous Neumann conditions, and a lack of compactness arising from the absence of derivatives with respect to the feature variable. To address these difficulties, we introduce a three-level regularization scheme. Specifically, we smooth the interaction kernel, apply structural boundary regularization to the non-local interaction term to simplify boundary conditions, and incorporate artificial diffusion in spatial and feature variables to resolve degeneracy. We prove the well-posedness and regularity of the regularized system via a finite difference scheme and study the asymptotic limit as regularization parameters vanish, proving the existence of weak/distributional solutions of the original model. This approach advances the mathematical theory of kinetic models for image segmentation by extending the framework of distributional solutions to bounded domains and non-smooth interaction kernels with jump discontinuities.
Related
- EXISTENCE AND UPPER BOUNDS OF FUNDAMENTAL SOLUTIONS TO KINETIC EQUATIONS WITH ROUGH NON-LOCAL DIFFUSION
- Kinetic Mean-Field Planning via Schrödinger Bridges: Existence, Penalization, and Consistency Bounds
- On the Relaxation of Conditional Independence Assumption for Image Segmentation
- BTSR-Net: Boundary–topology guided structural refinement for high-resolution remote sensing image segmentation
- Automated correction of training sets for biological image segmentation by convolutional networks
BibTeX
@misc{agosti2026global,
title = {{Global existence for Consensus-Based Kinetic Models for Image Segmentation}},
author = {Abramo Agosti and Pierluigi Colli and Elisabetta Rocca and Mattia Zanella},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.39997},
eprint = {2609.39997},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.39997},
note = {CC BY-NC-ND 4.0},
}
RIS
TY - UNPB
TI - Global existence for Consensus-Based Kinetic Models for Image Segmentation
AU - Abramo Agosti
AU - Pierluigi Colli
AU - Elisabetta Rocca
AU - Mattia Zanella
PY - 2026
DA - 2026/09/30
PB - arXiv
DO - 10.48550/arxiv.2609.39997
UR - https://arxiv.org/abs/2609.39997
AB - In this article, we analyze a recently introduced kinetic model based on Hegselmann-Krause-type interaction dynamics describing consensus-based image segmentation in the mean-field regime, where particle density depends on spatial coordinates and the normalized gray level (feature) value. The model is formulated as an evolutive nonlocal partial differential equation featuring a non-local spatial drift term involving a bounded confidence interaction kernel, depending on spatial and feature proximity, and a spatial diffusion term degenerating in the feature variable representing aleatoric uncertainties. Establishing well-posedness on a bounded domain, essential for practical image processing, presents significant analytical challenges: the lack of uniform control of space derivatives due to kernels with jump discontinuities and degenerate spatial diffusion, complex non-standard boundary terms under homogeneous Neumann conditions, and a lack of compactness arising from the absence of derivatives with respect to the feature variable. To address these difficulties, we introduce a three-level regularization scheme. Specifically, we smooth the interaction kernel, apply structural boundary regularization to the non-local interaction term to simplify boundary conditions, and incorporate artificial diffusion in spatial and feature variables to resolve degeneracy. We prove the well-posedness and regularity of the regularized system via a finite difference scheme and study the asymptotic limit as regularization parameters vanish, proving the existence of weak/distributional solutions of the original model. This approach advances the mathematical theory of kinetic models for image segmentation by extending the framework of distributional solutions to bounded domains and non-smooth interaction kernels with jump discontinuities.
ER -