-
Nonlinear spectral graph theory
Authors:
Piero Deidda,
Francesco Tudisco,
Dong Zhang
Abstract:
Nonlinear spectral graph theory is an extension of the traditional (linear) spectral graph theory and studies relationships between spectral properties of nonlinear operators defined on a graph and topological properties of the graph itself. Many of these relationships get tighter when going from the linear to the nonlinear case. In this manuscript, we discuss the spectral theory of the graph $p$-…
▽ More
Nonlinear spectral graph theory is an extension of the traditional (linear) spectral graph theory and studies relationships between spectral properties of nonlinear operators defined on a graph and topological properties of the graph itself. Many of these relationships get tighter when going from the linear to the nonlinear case. In this manuscript, we discuss the spectral theory of the graph $p$-Laplacian operator. In particular we report links between the $p$-Laplacian spectrum and higher-order Cheeger (or isoperimetric) constants, sphere packing constants, independence and matching numbers of the graph. The main aim of this paper is to present a complete and self-contained introduction to the problem accompanied by a discussion of the main results and the proof of new results that fill some gaps in the theory. The majority of the new results are devoted to the study of the graph infinity Laplacian spectrum and the information that it yields about the packing radii, the independence numbers and the matching number of the graph. This is accompanied by a novel discussion about the nodal domains induced by the infinity eigenfunctions. There are also new results about the variational spectrum of the $p$-Laplacian, the regularity of the $p$-Laplacian spectrum varying $p$, and the relations between the $1$-Laplacian spectrum and new Cheeger constants.
△ Less
Submitted 4 April, 2025;
originally announced April 2025.
-
Rethinking Oversmoothing in Graph Neural Networks: A Rank-Based Perspective
Authors:
Kaicheng Zhang,
Piero Deidda,
Desmond Higham,
Francesco Tudisco
Abstract:
Oversmoothing is a fundamental challenge in graph neural networks (GNNs): as the number of layers increases, node embeddings become increasingly similar, and model performance drops sharply. Traditionally, oversmoothing has been quantified using metrics that measure the similarity of neighbouring node features, such as the Dirichlet energy. While these metrics are related to oversmoothing, we argu…
▽ More
Oversmoothing is a fundamental challenge in graph neural networks (GNNs): as the number of layers increases, node embeddings become increasingly similar, and model performance drops sharply. Traditionally, oversmoothing has been quantified using metrics that measure the similarity of neighbouring node features, such as the Dirichlet energy. While these metrics are related to oversmoothing, we argue they have critical limitations and fail to reliably capture oversmoothing in realistic scenarios. For instance, they provide meaningful insights only for very deep networks and under somewhat strict conditions on the norm of network weights and feature representations. As an alternative, we propose measuring oversmoothing by examining the numerical or effective rank of the feature representations. We provide theoretical support for this approach, demonstrating that the numerical rank of feature representations converges to one for a broad family of nonlinear activation functions under the assumption of nonnegative trained weights. To the best of our knowledge, this is the first result that proves the occurrence of oversmoothing in the nonlinear setting without assumptions on the boundedness of the weight matrices. Along with the theoretical findings, we provide extensive numerical evaluation across diverse graph architectures. Our results show that rank-based metrics consistently capture oversmoothing, whereas energy-based metrics often fail. Notably, we reveal that a significant drop in the rank aligns closely with performance degradation, even in scenarios where energy metrics remain unchanged.
△ Less
Submitted 20 May, 2025; v1 submitted 6 February, 2025;
originally announced February 2025.
-
The graph $\infty$-Laplacian eigenvalue problem
Authors:
Piero Deidda,
Martin Burger,
Mario Putti,
Francesco Tudisco
Abstract:
We analyze various formulations of the $\infty$-Laplacian eigenvalue problem on graphs, comparing their properties and highlighting their respective advantages and limitations. First, we investigate the graph $\infty$-eigenpairs arising as limits of $p$-Laplacian eigenpairs, extending key results from the continuous setting to the discrete domain. We prove that every limit of $p$-Laplacian eigenpa…
▽ More
We analyze various formulations of the $\infty$-Laplacian eigenvalue problem on graphs, comparing their properties and highlighting their respective advantages and limitations. First, we investigate the graph $\infty$-eigenpairs arising as limits of $p$-Laplacian eigenpairs, extending key results from the continuous setting to the discrete domain. We prove that every limit of $p$-Laplacian eigenpair, for $p$ going to $\infty$, satisfies a limit eigenvalue equation and establish that the corresponding eigenvalue can be bounded from below by the packing radius of the graph, indexed by the number of nodal domains induced by the eigenfunction. Additionally, we show that the limits, for $p$ going to $\infty$, of the variational $p$-Laplacian eigenvalues are bounded both from above and from below by the packing radii, achieving equality for the smallest two variational eigenvalues and corresponding packing radii of the graph. In the second part of the paper, we introduce generalized $\infty$-Laplacian eigenpairs as generalized critical points and values of the $\infty$-Rayleigh quotient. We prove that the generalized variational $\infty$-eigenvalues satisfy the same upper bounds in terms of packing radii as the limit of the variational eigenvalues, again with equality holding between the smallest two $\infty$-variational eigenvalues and the first and second packing radii of the graph. Moreover, we establish that any solution to the limit eigenvalue equation is also a generalized eigenpair, while any generalized eigenpair satisfies the limit eigenvalue equation on a suitable subgraph.
△ Less
Submitted 25 October, 2024;
originally announced October 2024.
-
Graph $p$-Laplacian eigenpairs as saddle points of a family of spectral energy functions
Authors:
Piero Deidda,
Nicola Segala,
Mario Putti
Abstract:
We address the problem of computing the graph $p$-Laplacian eigenpairs for $p\in (2,\infty)$. We propose a reformulation of the graph $p$-Laplacian eigenvalue problem in terms of a constrained weighted Laplacian eigenvalue problem and discuss theoretical and computational advantages. We provide a correspondence between $p$-Laplacian eigenpairs and linear eigenpair of a constrained generalized weig…
▽ More
We address the problem of computing the graph $p$-Laplacian eigenpairs for $p\in (2,\infty)$. We propose a reformulation of the graph $p$-Laplacian eigenvalue problem in terms of a constrained weighted Laplacian eigenvalue problem and discuss theoretical and computational advantages. We provide a correspondence between $p$-Laplacian eigenpairs and linear eigenpair of a constrained generalized weighted Laplacian eigenvalue problem. As a result, we can assign an index to any $p$-Laplacian eigenpair that matches the Morse index of the $p$-Rayleigh quotient evaluated at the eigenfunction. In the second part of the paper we introduce a class of spectral energy functions that depend on edge and node weights. We prove that differentiable saddle points of the $k$-th energy function correspond to $p$-Laplacian eigenpairs having index equal to $k$. Moreover, the first energy function is proved to possess a unique saddle point which corresponds to the unique first $p$-Laplacian eigenpair. Finally we develop novel gradient-based numerical methods suited to compute $p$-Laplacian eigenpairs for any $p\in(2,\infty)$ and present some experiments.
△ Less
Submitted 4 February, 2025; v1 submitted 11 May, 2024;
originally announced May 2024.
-
Neural Rank Collapse: Weight Decay and Small Within-Class Variability Yield Low-Rank Bias
Authors:
Emanuele Zangrando,
Piero Deidda,
Simone Brugiapaglia,
Nicola Guglielmi,
Francesco Tudisco
Abstract:
Recent work in deep learning has shown strong empirical and theoretical evidence of an implicit low-rank bias: weight matrices in deep networks tend to be approximately low-rank and removing relatively small singular values during training or from available trained models may significantly reduce model size while maintaining or even improving model performance. However, the majority of the theoret…
▽ More
Recent work in deep learning has shown strong empirical and theoretical evidence of an implicit low-rank bias: weight matrices in deep networks tend to be approximately low-rank and removing relatively small singular values during training or from available trained models may significantly reduce model size while maintaining or even improving model performance. However, the majority of the theoretical investigations around low-rank bias in neural networks deal with oversimplified deep linear networks. In this work, we consider general networks with nonlinear activations and the weight decay parameter, and we show the presence of an intriguing neural rank collapse phenomenon, connecting the low-rank bias of trained networks with networks' neural collapse properties: as the weight decay parameter grows, the rank of each layer in the network decreases proportionally to the within-class variability of the hidden-space embeddings of the previous layers. Our theoretical findings are supported by a range of experimental evaluations illustrating the phenomenon.
△ Less
Submitted 6 February, 2024;
originally announced February 2024.
-
Forward electromagnetic induction modelling in a multilayered half-space: An open-source software tool
Authors:
Gian Piero Deidda,
Patricia Díaz de Alba,
Federica Pes,
Giuseppe Rodriguez
Abstract:
Electromagnetic induction (EMI) techniques are widely used in geophysical surveying. Their success is mainly due to their easy and fast data acquisition, but the effectiveness of data inversion is strongly influenced by the quality of sensed data, resulting from suiting the device configuration to the physical features of the survey site. Forward modelling is an essential tool to optimize this asp…
▽ More
Electromagnetic induction (EMI) techniques are widely used in geophysical surveying. Their success is mainly due to their easy and fast data acquisition, but the effectiveness of data inversion is strongly influenced by the quality of sensed data, resulting from suiting the device configuration to the physical features of the survey site. Forward modelling is an essential tool to optimize this aspect and design a successful surveying campaign. In this paper, a new software tool for forward EMI modelling is introduced. It extends and complements an existing open-source package for EMI data inversion, and includes an interactive graphical user interface. Its use is explained by a theoretical introduction and demonstrated through a simulated case study. The nonlinear data inversion issue is briefly discussed and the inversion module of the package is extended by a new regularized minimal-norm algorithm.
△ Less
Submitted 14 April, 2023; v1 submitted 26 January, 2023;
originally announced January 2023.
-
Nodal domain count for the generalized graph $p$-Laplacian
Authors:
Piero Deidda,
Mario Putti,
Francesco Tudisco
Abstract:
Inspired by the linear Schrödinger operator, we consider a generalized $p$-Laplacian operator on discrete graphs and present new results that characterize several spectral properties of this operator with particular attention to the nodal domain count of its eigenfunctions. Just like the one-dimensional continuous $p$-Laplacian, we prove that the variational spectrum of the discrete generalized…
▽ More
Inspired by the linear Schrödinger operator, we consider a generalized $p$-Laplacian operator on discrete graphs and present new results that characterize several spectral properties of this operator with particular attention to the nodal domain count of its eigenfunctions. Just like the one-dimensional continuous $p$-Laplacian, we prove that the variational spectrum of the discrete generalized $p$-Laplacian on forests is the entire spectrum. Moreover, we show how to transfer Weyl's inequalities for the Laplacian operator to the nonlinear case and prove new upper and lower bounds on the number of nodal domains of every eigenfunction of the generalized $p$-Laplacian on generic graphs, including variational eigenpairs. In particular, when applied to the linear case $p=2$, in addition to recovering well-known features, the new results provide novel properties of the linear Schrödinger operator.
△ Less
Submitted 12 August, 2022; v1 submitted 4 January, 2022;
originally announced January 2022.
-
Inversion of multiconfiguration complex EMI data with minimum gradient support regularization: A case study
Authors:
Gian Piero Deidda,
Patricia Diaz de Alba,
Giuseppe Rodriguez,
Giulio Vignoli
Abstract:
Frequency-domain electromagnetic instruments allow the collection of data in different configurations, that is, varying the intercoil spacing, the frequency, and the height above the ground. Their handy size makes these tools very practical for near-surface characterization in many fields of applications, for example, precision agriculture, pollution assessments, and shallow geological investigati…
▽ More
Frequency-domain electromagnetic instruments allow the collection of data in different configurations, that is, varying the intercoil spacing, the frequency, and the height above the ground. Their handy size makes these tools very practical for near-surface characterization in many fields of applications, for example, precision agriculture, pollution assessments, and shallow geological investigations. To this end, the inversion of either the real (in-phase) or the imaginary (quadrature) component of the signal has already been studied. Furthermore, in many situations, a regularization scheme retrieving smooth solutions is blindly applied, without taking into account the prior available knowledge. The present work discusses an algorithm for the inversion of the complex signal in its entirety, as well as a regularization method that promotes the sparsity of the reconstructed electrical conductivity distribution. This regularization strategy incorporates a minimum gradient support stabilizer into a truncated generalized singular value decomposition scheme. The results of the implementation of this sparsity-enhancing regularization at each step of a damped Gauss-Newton inversion algorithm (based on a nonlinear forward model) are compared with the solutions obtained via a standard smooth stabilizer. An approach for estimating the depth of investigation, that is, the maximum depth that can be investigated by a chosen instrument configuration in a particular experimental setting is also discussed. The effectiveness and limitations of the whole inversion algorithm are demonstrated on synthetic and real data sets.
△ Less
Submitted 10 February, 2020; v1 submitted 9 April, 2019;
originally announced April 2019.
-
FDEMtools: a MATLAB package for FDEM data inversion
Authors:
Gian Piero Deidda,
Patricia Díaz de Alba,
Caterina Fenu,
Gabriele Lovicu,
Giuseppe Rodriguez
Abstract:
Electromagnetic induction surveys are among the most popular techniques for non-destructive investigation of soil properties in order to detect the presence of either ground inhomogeneities or of particular substances. This work introduces a MATLAB package for the inversion of electromagnetic data collected by a ground conductivity meter. Based on a nonlinear forward model used to describe the int…
▽ More
Electromagnetic induction surveys are among the most popular techniques for non-destructive investigation of soil properties in order to detect the presence of either ground inhomogeneities or of particular substances. This work introduces a MATLAB package for the inversion of electromagnetic data collected by a ground conductivity meter. Based on a nonlinear forward model used to describe the interaction between an electromagnetic field and the soil, the software reconstructs either the electrical conductivity or the magnetic permeability of the soil with respect to depth, by a regularized damped Gauss-Newton method. The regularization part of the algorithm is based on a low-rank approximation of the Jacobian of the nonlinear model. Both the relaxation parameter and the regularization parameter are chosen by automatic procedures. The package allows the user to experiment with synthetic data sets and different regularization strategies, in order to compare them and draw conclusions.
△ Less
Submitted 20 November, 2019; v1 submitted 14 August, 2018;
originally announced August 2018.
-
Regularized solution of a nonlinear problem in electromagnetic sounding
Authors:
Gian Piero Deidda,
Caterina Fenu,
Giuseppe Rodriguez
Abstract:
We propose a regularization method to solve a nonlinear ill-posed problem connected to inversion of data gathered by a ground conductivity meter.
We propose a regularization method to solve a nonlinear ill-posed problem connected to inversion of data gathered by a ground conductivity meter.
△ Less
Submitted 15 March, 2014;
originally announced March 2014.