-
EGNN-C+: Interpretable Evolving Granular Neural Network and Application in Classification of Weakly-Supervised EEG Data Streams
Authors:
Daniel Leite,
Alisson Silva,
Gabriella Casalino,
Arnab Sharma,
Danielle Fortunato,
Axel-Cyrille Ngomo
Abstract:
We introduce a modified incremental learning algorithm for evolving Granular Neural Network Classifiers (eGNN-C+). We use double-boundary hyper-boxes to represent granules, and customize the adaptation procedures to enhance the robustness of outer boxes for data coverage and noise suppression, while ensuring that inner boxes remain flexible to capture drifts. The classifier evolves from scratch, i…
▽ More
We introduce a modified incremental learning algorithm for evolving Granular Neural Network Classifiers (eGNN-C+). We use double-boundary hyper-boxes to represent granules, and customize the adaptation procedures to enhance the robustness of outer boxes for data coverage and noise suppression, while ensuring that inner boxes remain flexible to capture drifts. The classifier evolves from scratch, incorporates new classes on the fly, and performs local incremental feature weighting. As an application, we focus on the classification of emotion-related patterns within electroencephalogram (EEG) signals. Emotion recognition is crucial for enhancing the realism and interactivity of computer systems. We extract features from the Fourier spectrum of EEG signals obtained from 28 individuals engaged in playing computer games -- a public dataset. Each game elicits a different predominant emotion: boredom, calmness, horror, or joy. We analyze individual electrodes, time window lengths, and frequency bands to assess the accuracy and interpretability of resulting user-independent neural models. The findings indicate that both brain hemispheres assist classification, especially electrodes on the temporal (T8) and parietal (P7) areas, alongside contributions from frontal and occipital electrodes. While patterns may manifest in any band, the Alpha (8-13Hz), Delta (1-4Hz), and Theta (4-8Hz) bands, in this order, exhibited higher correspondence with the emotion classes. The eGNN-C+ demonstrates effectiveness in learning EEG data. It achieves an accuracy of 81.7% and a 0.0029 II interpretability using 10-second time windows, even in face of a highly-stochastic time-varying 4-class classification problem.
△ Less
Submitted 26 February, 2024;
originally announced February 2024.
-
Corner cases of the tau method: symmetrically imposing boundary conditions on hypercubes
Authors:
Keaton J. Burns,
Daniel Fortunato,
Keith Julien,
Geoffrey M. Vasil
Abstract:
Polynomial spectral methods produce fast, accurate, and flexible solvers for broad ranges of PDEs with one bounded dimension, where the incorporation of general boundary conditions is well understood. However, automating extensions to domains with multiple bounded dimensions is challenging because of difficulties in imposing boundary conditions at shared edges and corners. Past work has included v…
▽ More
Polynomial spectral methods produce fast, accurate, and flexible solvers for broad ranges of PDEs with one bounded dimension, where the incorporation of general boundary conditions is well understood. However, automating extensions to domains with multiple bounded dimensions is challenging because of difficulties in imposing boundary conditions at shared edges and corners. Past work has included various workarounds, such as the anisotropic inclusion of partial boundary data at shared edges or approaches that only work for specific boundary conditions. Here we present a general system for imposing boundary conditions for elliptic equations on hypercubes. We take an approach based on the generalized tau method, which allows for a wide range of boundary conditions for many different spectral schemes. The generalized tau method has the distinct advantage that the specified polynomial residual determines the exact algebraic solution; afterwards, any stable numerical scheme will find the same result. We can, therefore, provide one-to-one comparisons to traditional collocation and Galerkin methods within the tau framework. As an essential requirement, we add specific tau corrections to the boundary conditions, in addition to the bulk PDE, which produce a unique set of compatible boundary data at shared subsurfaces. Our approach works with general boundary conditions that commute on intersecting subsurfaces, including Dirichlet, Neumann, Robin, and any combination of these on all boundaries. The boundary tau corrections can be made hyperoctahedrally symmetric and easily incorporated into existing solvers. We present the method explicitly for the Poisson equation in two and three dimensions and describe its extension to arbitrary elliptic equations (e.g. biharmonic) in any dimension.
△ Less
Submitted 23 June, 2024; v1 submitted 30 November, 2022;
originally announced November 2022.
-
Generation and motion of interfaces in a mass-conserving reaction-diffusion system
Authors:
Pearson W. Miller,
Daniel Fortunato,
Matteo Novaga,
Stanislav Y. Shvartsman,
Cyrill B. Muratov
Abstract:
Reaction-diffusion models with nonlocal constraints naturally arise as limiting cases of coupled bulk-surface models of intracellular signalling. In this paper, a minimal, mass-conserving model of cell-polarization on a curved membrane is analyzed in the limit of slow surface diffusion. Using the tools of formal asymptotics and calculus of variations, we study the characteristic wave-pinning behav…
▽ More
Reaction-diffusion models with nonlocal constraints naturally arise as limiting cases of coupled bulk-surface models of intracellular signalling. In this paper, a minimal, mass-conserving model of cell-polarization on a curved membrane is analyzed in the limit of slow surface diffusion. Using the tools of formal asymptotics and calculus of variations, we study the characteristic wave-pinning behavior of this system on three dynamical timescales. On the short timescale, generation of an interface separating high- and low-concentration domains is established under suitable conditions. Intermediate timescale dynamics is shown to lead to a uniform growth or shrinking of these domains to sizes which are fixed by global parameters. Finally, the long time dynamics reduces to area-preserving geodesic curvature flow that may lead to multi-interface steady state solutions. These results provide a foundation for studying cell polarization and related phenomena in biologically relevant geometries.
△ Less
Submitted 2 October, 2022;
originally announced October 2022.
-
A high-order fast direct solver for surface PDEs
Authors:
Daniel Fortunato
Abstract:
We introduce a fast direct solver for variable-coefficient elliptic partial differential equations on surfaces based on the hierarchical Poincaré-Steklov method. The method takes as input an unstructured, high-order quadrilateral mesh of a surface and discretizes surface differential operators on each element using a high-order spectral collocation scheme. Elemental solution operators and Dirichle…
▽ More
We introduce a fast direct solver for variable-coefficient elliptic partial differential equations on surfaces based on the hierarchical Poincaré-Steklov method. The method takes as input an unstructured, high-order quadrilateral mesh of a surface and discretizes surface differential operators on each element using a high-order spectral collocation scheme. Elemental solution operators and Dirichlet-to-Neumann maps tangent to the surface are precomputed and merged in a pairwise fashion to yield a hierarchy of solution operators that may be applied in $\mathcal{O}(N \log N)$ operations for a mesh with $N$ elements. The resulting fast direct solver may be used to accelerate high-order implicit time-step** schemes, as the precomputed operators can be reused for fast elliptic solves on surfaces. On a standard laptop, precomputation for a 12th-order surface mesh with over 1 million degrees of freedom takes 17 seconds, while subsequent solves take only 0.25 seconds. We apply the method to a range of problems on both smooth surfaces and surfaces with sharp corners and edges, including the static Laplace-Beltrami problem, the Hodge decomposition of a tangential vector field, and some time-dependent nonlinear reaction-diffusion systems.
△ Less
Submitted 30 September, 2022;
originally announced October 2022.
-
The ultraspherical spectral element method
Authors:
Daniel Fortunato,
Nicholas Hale,
Alex Townsend
Abstract:
We introduce a novel spectral element method based on the ultraspherical spectral method and the hierarchical Poincaré-Steklov scheme for solving second-order linear partial differential equations on polygonal domains with unstructured quadrilateral or triangular meshes. Properties of the ultraspherical spectral method lead to almost banded linear systems, allowing the element method to be competi…
▽ More
We introduce a novel spectral element method based on the ultraspherical spectral method and the hierarchical Poincaré-Steklov scheme for solving second-order linear partial differential equations on polygonal domains with unstructured quadrilateral or triangular meshes. Properties of the ultraspherical spectral method lead to almost banded linear systems, allowing the element method to be competitive in the high-polynomial regime ($p > 5$). The hierarchical Poincaré-Steklov scheme enables precomputed solution operators to be reused, allowing for fast elliptic solves in implicit and semi-implicit time-steppers. The resulting spectral element method achieves an overall computational complexity of $\mathcal{O}(p^4/h^3)$ for mesh size $h$ and polynomial order $p$, enabling $hp$-adaptivity to be efficiently performed. We develop an open-source software system, ultraSEM, for flexible, user-friendly spectral element computations in MATLAB.
△ Less
Submitted 18 December, 2020; v1 submitted 15 June, 2020;
originally announced June 2020.
-
Efficient operator-coarsening multigrid schemes for local discontinuous Galerkin methods
Authors:
Daniel Fortunato,
Chris H. Rycroft,
Robert Saye
Abstract:
An efficient $hp$-multigrid scheme is presented for local discontinuous Galerkin (LDG) discretizations of elliptic problems, formulated around the idea of separately coarsening the underlying discrete gradient and divergence operators. We show that traditional multigrid coarsening of the primal formulation leads to poor and suboptimal multigrid performance, whereas coarsening of the flux formulati…
▽ More
An efficient $hp$-multigrid scheme is presented for local discontinuous Galerkin (LDG) discretizations of elliptic problems, formulated around the idea of separately coarsening the underlying discrete gradient and divergence operators. We show that traditional multigrid coarsening of the primal formulation leads to poor and suboptimal multigrid performance, whereas coarsening of the flux formulation leads to optimal convergence and is equivalent to a purely geometric multigrid method. The resulting operator-coarsening schemes do not require the entire mesh hierarchy to be explicitly built, thereby obviating the need to compute quadrature rules, lifting operators, and other mesh-related quantities on coarse meshes. We show that good multigrid convergence rates are achieved in a variety of numerical tests on 2D and 3D uniform and adaptive Cartesian grids, as well as for curved domains using implicitly defined meshes and for multi-phase elliptic interface problems with complex geometry. Extension to non-LDG discretizations is briefly discussed.
△ Less
Submitted 12 March, 2019; v1 submitted 15 August, 2018;
originally announced August 2018.
-
Fast Poisson solvers for spectral methods
Authors:
Daniel Fortunato,
Alex Townsend
Abstract:
Poisson's equation is the canonical elliptic partial differential equation. While there exist fast Poisson solvers for finite difference and finite element methods, fast Poisson solvers for spectral methods have remained elusive. Here, we derive spectral methods for solving Poisson's equation on a square, cylinder, solid sphere, and cube that have an optimal complexity (up to polylogarithmic terms…
▽ More
Poisson's equation is the canonical elliptic partial differential equation. While there exist fast Poisson solvers for finite difference and finite element methods, fast Poisson solvers for spectral methods have remained elusive. Here, we derive spectral methods for solving Poisson's equation on a square, cylinder, solid sphere, and cube that have an optimal complexity (up to polylogarithmic terms) in terms of the degrees of freedom required to represent the solution. Whereas FFT-based fast Poisson solvers exploit structured eigenvectors of finite difference matrices, our solver exploits a separated spectra property that holds for our spectral discretizations. Without parallelization, we can solve Poisson's equation on a square with 100 million degrees of freedom in under two minutes on a standard laptop.
△ Less
Submitted 30 October, 2017;
originally announced October 2017.
-
Existence of torsional solitons in a beam model of suspension bridge
Authors:
Vieri Benci,
Donato Fortunato,
Filippo Gazzola
Abstract:
This paper studies the existence of solitons, namely stable solitary waves, in a suspension bridge. The bridge is modeled as a degenerate plate, that is, a central beam with cross sections, and displays two degrees of freedom: the vertical displacement of the beam and the torsional angles of the cross sections. Under fairy general assumptions, we prove the existence of solitons. Under the addition…
▽ More
This paper studies the existence of solitons, namely stable solitary waves, in a suspension bridge. The bridge is modeled as a degenerate plate, that is, a central beam with cross sections, and displays two degrees of freedom: the vertical displacement of the beam and the torsional angles of the cross sections. Under fairy general assumptions, we prove the existence of solitons. Under the additional assumption of large tension in the sustaining cables, we prove that these solitons have a nontrivial torsional component. This appears relevant for the security since several suspension bridges collapsed due to torsional oscillations.
△ Less
Submitted 13 July, 2016; v1 submitted 11 July, 2016;
originally announced July 2016.
-
Hylomorphic solitons for the Benjamin-Ono and the fractional KdV equations
Authors:
Vieri Benci,
Donato Fortunato
Abstract:
This paper concerns with the existence of solitons, namely stable solitary waves, for the Benjamin-Ono and the fractional KdV equations.
This paper concerns with the existence of solitons, namely stable solitary waves, for the Benjamin-Ono and the fractional KdV equations.
△ Less
Submitted 28 February, 2016;
originally announced February 2016.
-
Hylomorphic solitons for the generalized KdV equation
Authors:
Vieri Benci,
Donato Fortunato
Abstract:
In this paper we prove the existence of hylomorphic solitons in the generalized KdV equation. A soliton is called hylomorphic if it is a solitary wave whose stability is due to a particular relation between energy and another integral of motion which we call hylenic charge.
In this paper we prove the existence of hylomorphic solitons in the generalized KdV equation. A soliton is called hylomorphic if it is a solitary wave whose stability is due to a particular relation between energy and another integral of motion which we call hylenic charge.
△ Less
Submitted 13 October, 2014;
originally announced October 2014.
-
Solitons in Schrödinger-Maxwell equations
Authors:
Vieri Benci,
Donato Fortunato
Abstract:
In this paper we study the Nonlinear Schrödinger-Maxwell equations (NSM). We are interested to analyse the existence of solitons, namely of finite energy solutions which exhibit stability properties. This paper is divided in two parts. In the first, we give an abstract definition of soliton and we develope an abstract existence theory. In the second, we apply this theory to NSM.
In this paper we study the Nonlinear Schrödinger-Maxwell equations (NSM). We are interested to analyse the existence of solitons, namely of finite energy solutions which exhibit stability properties. This paper is divided in two parts. In the first, we give an abstract definition of soliton and we develope an abstract existence theory. In the second, we apply this theory to NSM.
△ Less
Submitted 10 May, 2013; v1 submitted 6 March, 2013;
originally announced March 2013.
-
Hylomorphic solitons and charged Q-balls: existence and stability
Authors:
Vieri Benci,
Donato Fortunato
Abstract:
In this paper we give an abstract definition of solitary wave and soliton and we develop an abstract existence theory. This theory provides a powerful tool to study the existence of solitons for the Klein-Gordon equations as well as for gauge theories. Applying this theory, we prove the existence of a continuous family of stable charged Q-balls.
In this paper we give an abstract definition of solitary wave and soliton and we develop an abstract existence theory. This theory provides a powerful tool to study the existence of solitons for the Klein-Gordon equations as well as for gauge theories. Applying this theory, we prove the existence of a continuous family of stable charged Q-balls.
△ Less
Submitted 13 December, 2012;
originally announced December 2012.
-
A minimization method and applications to the study of solitons
Authors:
Vieri Benci,
Donato Fortunato
Abstract:
Roughly speaking a solitary wave is a solution of a field equation whose energy travels as a localized packet and which preserves this localization in time. A soliton is a solitary wave which exhibits some strong form of stability so that it has a particle-like behavior. In this paper, we prove a general, abstract theorem (Theorem 26) which allows to prove the ex istence of a class of solitons. Su…
▽ More
Roughly speaking a solitary wave is a solution of a field equation whose energy travels as a localized packet and which preserves this localization in time. A soliton is a solitary wave which exhibits some strong form of stability so that it has a particle-like behavior. In this paper, we prove a general, abstract theorem (Theorem 26) which allows to prove the ex istence of a class of solitons. Such solitons are suitable minimizers of a constrained functional and they are called hylomorphic solitons. Then we apply the abstract theory to problems related to the nonlinear Schrödinger equation (NSE) and to the nonlinear Klein-Gordon equation (NKG).
△ Less
Submitted 8 November, 2011;
originally announced November 2011.
-
An abstract theorem on the existence of hylomorphic solitons
Authors:
Vieri Benci,
Donato Fortunato
Abstract:
In this paper we prove an abstract theorem which can be used to study the existence of solitons for various dynamical systems described by partial differential equations. We also give an idea of how the abstract theorem can be applied to prove the existence of solitons in some dynamical systems.
In this paper we prove an abstract theorem which can be used to study the existence of solitons for various dynamical systems described by partial differential equations. We also give an idea of how the abstract theorem can be applied to prove the existence of solitons in some dynamical systems.
△ Less
Submitted 6 March, 2011;
originally announced March 2011.
-
Existence of solitons in the nonlinear beam equation
Authors:
Vieri Benci,
Donato Fortunato
Abstract:
This paper concerns with the existence of solitons, namely stable solitary waves in the nonlinear beam equation (NBE) with a suitable nonlinearity. An equation of this type has been introduced by P.J. McKenna and W. Walter as a model of a suspension bridge. We prove both the existence of solitary waves for a large class of nonlinearities and their stability. As far as we know this is the first res…
▽ More
This paper concerns with the existence of solitons, namely stable solitary waves in the nonlinear beam equation (NBE) with a suitable nonlinearity. An equation of this type has been introduced by P.J. McKenna and W. Walter as a model of a suspension bridge. We prove both the existence of solitary waves for a large class of nonlinearities and their stability. As far as we know this is the first result about stability of solitary waves in NBE.
△ Less
Submitted 25 February, 2011;
originally announced February 2011.
-
On the existence of stable charged Q-balls
Authors:
Vieri Benci,
Donato Fortunato
Abstract:
This paper concerns hylomorphic solitons, namely stable, solitary waves whose existence is related to the ratio energy/charge. In theoretical physics, the name Q-ball refers to a type of hylomorphic solitons or soli- tary waves relative to the Nonlinear Klein-Gordon equation (NKG). We are interested in the existence of charged Q-balls, namely Q-balls for the Nonlinear Klein-Gordon equation coupled…
▽ More
This paper concerns hylomorphic solitons, namely stable, solitary waves whose existence is related to the ratio energy/charge. In theoretical physics, the name Q-ball refers to a type of hylomorphic solitons or soli- tary waves relative to the Nonlinear Klein-Gordon equation (NKG). We are interested in the existence of charged Q-balls, namely Q-balls for the Nonlinear Klein-Gordon equation coupled with the Maxwell equations (NKGM). In this case the charge reduces to the electric charge. The main result of this paper establishes that stable, charged Q-balls exist provided that the interaction between matter and the gauge field is sufficiently small.
△ Less
Submitted 23 November, 2010;
originally announced November 2010.
-
Hylomorphic solitons on lattices
Authors:
Vieri Benci,
Donato Fortunato
Abstract:
This paper is devoted to prove the existence of solitons on lattices. We are interested in solitary waves and solitons whose existence is related to the ratio energy/charge. These solitary waves are called hylomorphic. This class includes the Q-balls, which are spherically symmetric solutions of the nonlinear Klein-Gordon equation, as well as solitary waves and vortices which occur, by the same me…
▽ More
This paper is devoted to prove the existence of solitons on lattices. We are interested in solitary waves and solitons whose existence is related to the ratio energy/charge. These solitary waves are called hylomorphic. This class includes the Q-balls, which are spherically symmetric solutions of the nonlinear Klein-Gordon equation, as well as solitary waves and vortices which occur, by the same mechanism, in the nonlinear Schroedinger equation and in gauge theories. In this paper we prove an abstract existence theorem which applies to many situations already considered in the literature and also to the nonlinear Schroedinger (and Klein-Gordon) equations defined on a lattice.
△ Less
Submitted 8 March, 2010;
originally announced March 2010.
-
Existence of hylomorphic solitary waves in Klein-Gordon and in Klein-Gordon-Maxwell equations
Authors:
Vieri Benci,
Donato Fortunato
Abstract:
Roughly speaking a solitary wave is a solution of a field equation whose energy travels as a localized packet and which preserves this localization in time. A solitary wave which has a non-vanishing angular momentum is called vortex.
We know (at least) three mechanisms which might produce solitary waves and vortices:
1) Complete integrability, (e.g. Kortewg-de Vries equation)
2) Topologica…
▽ More
Roughly speaking a solitary wave is a solution of a field equation whose energy travels as a localized packet and which preserves this localization in time. A solitary wave which has a non-vanishing angular momentum is called vortex.
We know (at least) three mechanisms which might produce solitary waves and vortices:
1) Complete integrability, (e.g. Kortewg-de Vries equation)
2) Topological constraints, (e.g. Sine-Gordon equation);
3) Ratio energy/charge: (e.g. the nonlinear Klein-Gordon equation).
The third type of solitary waves or solitons will be called hylomorphic. This class includes the Q-balls which are spherically symmetric solutions of the nonlinear Klein-Gordon equation (NKG) as well as solitary waves and vortices which occur, by the same mechanism, in the nonlinear Schroedinger equation and in gauge theories.
This paper is devoted to an abstract theorem which allows to prove the existence of hylomorphic solitary waves, solitons and vortices in the (NKG) and in the nonlinear Klein-Gordon-Maxwell equations (NKGM)
△ Less
Submitted 20 March, 2009;
originally announced March 2009.
-
Hylomorphic Vortices in Abelian Gauge Theories
Authors:
Vieri Benci,
Donato Fortunato
Abstract:
We consider an Abelian Gauge Theory in R4 equipped with the Minkowski metric. This theory leads to a system of equations, the Klein-Gordon- Maxwell equations, which provide models for the interaction between the electromagnetic field and matter. We assume that the nonlinear term is such that the energy functional is positive; this fact makes the theory more suitable for physical models. A three…
▽ More
We consider an Abelian Gauge Theory in R4 equipped with the Minkowski metric. This theory leads to a system of equations, the Klein-Gordon- Maxwell equations, which provide models for the interaction between the electromagnetic field and matter. We assume that the nonlinear term is such that the energy functional is positive; this fact makes the theory more suitable for physical models. A three dimensional vortex is a finite energy, stationary solution of these equations such that the matter field has nontrivial angular momen- tum and the magnetic field looks like the field created by a finite solenoid. Under suitable assumptions, we prove the existence of three dimensional vortex-solutions.
△ Less
Submitted 19 March, 2009;
originally announced March 2009.
-
Solitary waves in Abelian Gauge Theories
Authors:
Vieri Benci,
Donato Fortunato
Abstract:
Abelian gauge theories consist of a class of field equations which provide a model for the interaction between matter and electromagnetic fields. In this paper we analyze the existence of solitary waves for these theories. We assume that the lower order term W is positive and we prove the existence of solitary waves if the coupling between matter and electromagnetic field is small. We point out…
▽ More
Abelian gauge theories consist of a class of field equations which provide a model for the interaction between matter and electromagnetic fields. In this paper we analyze the existence of solitary waves for these theories. We assume that the lower order term W is positive and we prove the existence of solitary waves if the coupling between matter and electromagnetic field is small. We point out that the positiveness assumption on W implies that the energy is positive: this fact makes these theories more suitable to model physical phenomena.
△ Less
Submitted 21 November, 2007;
originally announced November 2007.
-
Three dimensional vortices in Abelian Gauge Theories
Authors:
Vieri Benci,
Donato Fortunato
Abstract:
In this paper we consider an Abelian Gauge Theory in R^4 equipped with the Minkowski metric. This theory leads to a system of equations, the Klein-Gordon-Maxwell equations, which provide models for the interaction between the electromagnetic field and matter. A three dimensional vortex is a finite energy solution of these equations in which the magnetic field looks like the field created by a fi…
▽ More
In this paper we consider an Abelian Gauge Theory in R^4 equipped with the Minkowski metric. This theory leads to a system of equations, the Klein-Gordon-Maxwell equations, which provide models for the interaction between the electromagnetic field and matter. A three dimensional vortex is a finite energy solution of these equations in which the magnetic field looks like the field created by a finite solenoid. Under suitable assumptions, we prove the existence of vortex-solutions.
△ Less
Submitted 21 November, 2007;
originally announced November 2007.