key: cord-0047236-gjkwfkox authors: El Bouchairi, Imad; El Moataz, Abderrahim; Fadili, Jalal title: Discrete p-bilaplacian Operators on Graphs date: 2020-06-05 journal: Image and Signal Processing DOI: 10.1007/978-3-030-51935-3_36 sha: c4b6c6d437b8c29c19eee9d70c086dd00d76cf51 doc_id: 47236 cord_uid: gjkwfkox In this paper, we first introduce a new family of operators on weighted graphs called p-bilaplacian operators, which are the analogue on graphs of the continuous p-bilaplacian operators. We then turn to study regularized variational and boundary value problems associated to these operators. For instance, we study their well-posedness (existence and uniqueness). We also develop proximal splitting algorithms to solve these problems. We finally report numerical experiments to support our findings. Regularized variational problems and partial differential equations (PDEs) play an important role in mathematical modeling throughout applied and natural sciences. For instance, many variational problems and PDEs have been studied to model and solve important problems in a variety of areas such as, e.g., in physics, economy, data processing, computer vision. In particular they have been very successful in image and signal processing to solve a wide spectrum of applications such as isotropic and anisotropic filtering, inpainting or segmentation. In many real-world problems, such as in machine learning and mathematical image processing, the data is discrete, and graphs constitute a natural structure suited to their representation. Each vertex of the graph corresponds to a datum, and the edges encode the pairwise relationships or similarities among the data. For the particular case of images, pixels (represented by nodes) have a specific organization expressed by their spatial connectivity. Therefore, a typical graph used to represent images is a grid graph. For the case of unorganized data such as point clouds, a graph can also be built by modeling neighborhood relationships between the data elements. For these reasons, there has been recently a wave of interest in adapting and solving nonlocal variational problems and PDEs on data which is represented by arbitrary graphs and networks. Using this framework, problems are directly expressed in a discrete setting where an appropriate discrete differential calculus can be proposed; see e.g., [4, 5] and references therein. This mimetic approach consists of replacing continuous differential operators, e.g., gradient or divergence, by reasonable discrete analogues, which makes it possible to transfer many important tools and results from the continuous setting. Contributions. In this work, we introduce a novel class of p-bilaplacian operators on weighted graphs, which can be seen as proper discretizations on graphs of the classical p-bilaplacian operators [9] . Building upon this definition, we study a corresponding regularized variational problem as well as a boundary value problem. The latter naturally gives rise to p-biharmonic functions on graphs and equivalent definitions of p-biharmonicity [8] . For these two problems, we start by establishing their well-posedness (existence and uniqueness). We then turn to developing proximal splitting algorithms to solve them, appealing to sophisticated tools from non-smooth optimization. Numerical results are reported to support the viability of our approach. Throughout this paper, we assume that G = (V, E, ω) is a finite connected undirected weighted graph without loops and parallel edges, where V is the set of vertices, E is the set of edges, and the symmetric function ω : V ×V → [0, 1] is the weight function. We denote by (x, y) ∈ E the edge that connects the vertices x and y, and we write x ∼ y for two adjacent vertices. For two vertices x, y ∈ V with x ∼ y we set ω(x, y) = ω(y, x) = 0 and thus the set of edges E can be characterized by the support of the weight function ω, i.e., E = {(x, y)|ω(x, y) > 0}. Let H(V ) def = {u : x ∈ E → u(x) ∈ R} be the vector space of real-valued functions on the vertices of the graph. For a function u ∈ H(V ) the p (V )-norm of u is given by We define in a similar way H(E) as the vector space of all real-valued functions on the edges of the graph. Let u ∈ H(V ) and x, y ∈ V . The (nonlocal) gradient operator is defined as This is a linear antisymmetric operator whose adjoint is the (nonlocal) weighted divergence operator denoted div ω . It is easy to show that Unless stated otherwise, in the rest of the paper, we assume p ∈]1, +∞[. We define p-biharmonic functions on graphs inspired by the way p-harmonic functions were introduced in [8] for networks. Let's consider the following func- Observe that Δ ω,2 is the standard Laplacian on a graphs, which is a self-adjoint operator. Inspired by [8] , existence and uniqueness of p-biharmonic functions can be established using standard arguments. The following assertions are equivalent: Consider the following boundary value (Dirichlet) problem Observe that since the graph G is connected, there always exists a path connecting any pair vertices in A × A c . Our goal now is to establish well-posedness of (3). This will be derived using Dirichlet's variational principe (hence the subscript d in F d ), which, in view of Proposition 1, amounts to equivalently studying the minimization problem where H g (V ) = {u ∈ H(V ) : u = g on A c } is the subspace of the functions with a zero "trace". Proof. Let ι Hg(V ) be the indicator function of H g (V ), i.e. it is 0 on H g (V ) and +∞ otherwise. By the Poincaré-type inequality established in Lemma 1, we get that F d (·; p) + ι Hg(V ) is coercive. Since this objective is lower semicontinuous (lsc) by closedness of H g (V ) and continuity of F d (·; p), (4) has a minimizer. This together with strict convexity of F d (·; p) on H g (V ) (see Lemma 2) then entails uniqueness. for all u ∈ H g (V ). Thus F d (·; p) is coercive on H g (V ). Since the graph G is connected, there is l ∈ N such that {S j } l j=0 forms a partition of V . By Jensen's inequality, we have y) : (x, y) ∈ E} and β = x,y∈V ω(x, y). Since u = g on S 0 = A c and {S j } l j=0 forms a partition of V , it is easy to see that there existsλ =λ(ω, V, A c ) > 0 such that We arrive at the coercivity result by taking λ =λ −1 . Let C g = 2 x∈A c |g(x)| 2 . We then have from Hölder and Young inequalities where 1/p + 1/q = 1. Since the norms are equivalent in any finite-dimensional vector space, there exists C(n) > 0 with n = |V |, such that whence coercivity of F d (·; p) follows immediately. Proof. Assume that F d (·; p) is not strictly convex on H g (V ). Then there exist But we know from [8, Theorem 3.11 and Corollary 3.16] that w = 0 on V , i.e., u = v on V , leading to a contradiction. In this section, we consider the following minimization problem, which is valid for any p ∈ [1, +∞] 1 , where A : H(V ) → H(V ) is a linear operator, f ∈ H(V ), λ > 0 is the regularization parameter, and F d (·; p) is given by (1) . Problems of the form (6) can be of great interest for graph-based regularization in machine learning and inverse problems in imaging; see [7] and references therein. Problem (6) is well-posed under standard assumptions. Since 1 p · p p and f − · 2 2 are non-negative and coercive, we have from [11, Proposition 3.1.2] that their recession functions are positive for any non-zero argument. Equivalently, Thus Let's turn to uniqueness. When A is injective, the claim follows from strict (in fact strong convexity) of the data fidelity term. Suppose now that p ∈]1, +∞[. By strict convexity of 1 p · p p and f − · 2 2 , a standard contradiction argument shows that for any pair of minimizers u and v , we have u − v ∈ ker(A) ∩ ker(Δ ω,2 ). This yields the uniqueness claim under the stated assumption. To solve both (3) and (6), we adopt a primal-dual proximal splitting (PDS) framework with an appropriate splitting of the functions and linear operators. Problem (3) is equivalent to (4) . The latter takes the form The latter can be solved with the following PDS iterative scheme [3] , which reads in this case where τ, σ > 0, proj Hg(V ) is the orthogonal projector on the subspace H g (V ) (which has a trivial closed form), 1/p + 1/q = 1, and prox σ q · q q is the proximal mapping of the proper lsc convex function σ q · q q . The latter can be computed easily, see [7] for details. Combining [3, Theorem 1], Proposition 1 and Theorem 1, the convergence guarantees of (8) are summarized in the following proposition. If τ σ Δ ω, 2 2 < 1, then the sequence (u k , v k ) k∈N provided by (8) converges to (u , v ) , where u is a solution to (3) , which is unique if p ∈ ]1, +∞[. For simplicity and space limitation, we restrict ourselves here to the case where A is the identity. In this case, inspired by the work in [6] , we use the (accelerated) FISTA iterative scheme [2, 10] to solve the Fenchel-Rockafellar dual problem of (6), and recover the primal solution by standard extremality relationships. Our scheme reads in this case where γ ∈]0, Δ ω,2 −2 ], b > 2. Combining Theorem 2, [6, Theorem 2], [1, Theorem 1.1], the scheme (9) has the following convergence guarantees. Proposition 3. The sequence u k k∈N converges to u , the unique minimizer of (6), at the rate u k − u 2 = o(1/k). We apply the scheme (9) to solve (6) in order to denoise a function f defined on a 2-D point cloud. We apply (3) in a semisupervised classification problem which amounts to finding the missing labels of a label function defined on a 2-D point cloud. The nodes of the graph are the points in the 2-D cloud and u(x) is the value at a point/vertex x. We choose the nearest neighbour graph with the standard weighting kernel exp (−|x − y|) when |x − y| δ and 0 otherwise, where x and y are the 2-D spatial coordinates of the points in the cloud. The original point cloud used in our numerical experiments consists of N = 2500 points that are not on a regular grid. For the variational problem, the noisy observation is generated by adding a white Gaussian noise of standard deviation 0.5 to the original data, see Fig. 1(a) . For the Dirichlet problem, the initial label function takes the values of the original data on a set of points/vertices where this set corresponds to the boundary data, it is chosen randomly and is equal to N/4 of the original points/vertices, see Fig. 1(b) . The rate of convergence of Nesterov's accelerated forward-backward method is actually faster than 1/k 2 On the convergence of the iterates of the "fast iterative shrinkage/thresholding algorithm A first-order primal-dual algorithm for convex problems with applications to imaging Nonlocal discrete regularization on weighted graphs: a framework for image and manifold processing On the p-Laplacian and ∞-Laplacian on graphs with applications in image and data processing Total variation projection with first order schemes Continuum limits of nonlocal p-Laplacian variational problems on graphs p-Harmonic functions on graphs and manifolds On the numerical approximation of p-biharmonic and ∞-biharmonic functions A method for solving the convex programming problem with convergence rate O(1/k 2 ) Asymptotic Cones and Functions in Optimization and Variational Inequalities