-
Adaptive Finite Element Methods
Authors:
Andrea Bonito,
Claudio Canuto,
Ricardo H. Nochetto,
Andreas Veeser
Abstract:
This is a survey on the theory of adaptive finite element methods (AFEMs), which are fundamental in modern computational science and engineering but whose mathematical assessment is a formidable challenge. We present a self-contained and up-to-date discussion of AFEMs for linear second order elliptic PDEs and dimension d>1, with emphasis on foundational issues. After a brief review of functional a…
▽ More
This is a survey on the theory of adaptive finite element methods (AFEMs), which are fundamental in modern computational science and engineering but whose mathematical assessment is a formidable challenge. We present a self-contained and up-to-date discussion of AFEMs for linear second order elliptic PDEs and dimension d>1, with emphasis on foundational issues. After a brief review of functional analysis and basic finite element theory, including piecewise polynomial approximation in graded meshes, we present the core material for coercive problems. We start with a novel a posteriori error analysis applicable to rough data, which delivers estimators fully equivalent to the solution error. They are used in the design and study of three AFEMs depending on the structure of data. We prove linear convergence of these algorithms and rate-optimality provided the solution and data belong to suitable approximation classes. We also address the relation between approximation and regularity classes. We finally extend this theory to discontinuous Galerkin methods as prototypes of non-conforming AFEMs and beyond coercive problems to inf-sup stable AFEMs.
△ Less
Submitted 10 May, 2024; v1 submitted 11 February, 2024;
originally announced February 2024.
-
Optimal Surrogate Boundary Selection and Scalability Studies for the Shifted Boundary Method on Octree Meshes
Authors:
Cheng-Hau Yang,
Kumar Saurabh,
Guglielmo Scovazzi,
Claudio Canuto,
Adarsh Krishnamurthy,
Baskar Ganapathysubramanian
Abstract:
The accurate and efficient simulation of Partial Differential Equations (PDEs) in and around arbitrarily defined geometries is critical for many application domains. Immersed boundary methods (IBMs) alleviate the usually laborious and time-consuming process of creating body-fitted meshes around complex geometry models (described by CAD or other representations, e.g., STL, point clouds), especially…
▽ More
The accurate and efficient simulation of Partial Differential Equations (PDEs) in and around arbitrarily defined geometries is critical for many application domains. Immersed boundary methods (IBMs) alleviate the usually laborious and time-consuming process of creating body-fitted meshes around complex geometry models (described by CAD or other representations, e.g., STL, point clouds), especially when high levels of mesh adaptivity are required. In this work, we advance the field of IBM in the context of the recently developed Shifted Boundary Method (SBM). In the SBM, the location where boundary conditions are enforced is shifted from the actual boundary of the immersed object to a nearby surrogate boundary, and boundary conditions are corrected utilizing Taylor expansions. This approach allows choosing surrogate boundaries that conform to a Cartesian mesh without losing accuracy or stability. Our contributions in this work are as follows: (a) we show that the SBM numerical error can be greatly reduced by an optimal choice of the surrogate boundary, (b) we mathematically prove the optimal convergence of the SBM for this optimal choice of the surrogate boundary, (c) we deploy the SBM on massively parallel octree meshes, including algorithmic advances to handle incomplete octrees, and (d) we showcase the applicability of these approaches with a wide variety of simulations involving complex shapes, sharp corners, and different topologies. Specific emphasis is given to Poisson's equation and the linear elasticity equations.
△ Less
Submitted 4 July, 2023;
originally announced July 2023.
-
New Feedback Control and Adaptive Evolve-Filter-Relax Regularization for the Navier-Stokes Equations in the Convection-Dominated Regime
Authors:
Maria Strazzullo,
Francesco Ballarin,
Traian Iliescu,
Claudio Canuto
Abstract:
We propose, analyze, and investigate numerically a novel feedback control strategy for high Reynolds number flows. For both the continuous and the discrete (finite element) settings, we prove that the new strategy yields accurate results for high Reynolds numbers that were not covered by current results. We also show that the new feedback control yields more accurate results than the current contr…
▽ More
We propose, analyze, and investigate numerically a novel feedback control strategy for high Reynolds number flows. For both the continuous and the discrete (finite element) settings, we prove that the new strategy yields accurate results for high Reynolds numbers that were not covered by current results. We also show that the new feedback control yields more accurate results than the current control approaches in marginally-resolved numerical simulations of a two-dimensional flow past a circular cylinder at Reynolds numbers $Re=1000$. We note, however, that for realistic control parameters, the stabilizing effect of the new feedback control strategy is not sufficient in the convection-dominated regime. Our second contribution is the development of an adaptive evolve-filter-relax (aEFR) regularization that stabilizes marginally-resolved simulations in the convection-dominated regime and increases the accuracy of the new feedback control in realistic parameter settings. For the finite element setting, we prove that the novel feedback control equipped with the new aEFR method yields accurate results for high Reynolds numbers. Furthermore, our numerical investigation shows that the new strategy yields accurate results for reduced order models that dramatically decrease the size of the feedback control problem.
△ Less
Submitted 2 July, 2023;
originally announced July 2023.
-
Higher-order adaptive virtual element methods with contraction properties
Authors:
Claudio Canuto,
Davide Fassino
Abstract:
The realization of a standard Adaptive Finite Element Method (AFEM) preserves the mesh conformity by performing a completion step in the refinement loop: in addition to elements marked for refinement due to their contribution to the global error estimator, other elements are refined. In the new perspective opened by the introduction of Virtual Element Methods (VEM), elements with hanging nodes can…
▽ More
The realization of a standard Adaptive Finite Element Method (AFEM) preserves the mesh conformity by performing a completion step in the refinement loop: in addition to elements marked for refinement due to their contribution to the global error estimator, other elements are refined. In the new perspective opened by the introduction of Virtual Element Methods (VEM), elements with hanging nodes can be viewed as polygons with aligned edges, carrying virtual functions together with standard polynomial functions. The potential advantage is that all activated degrees of freedom are motivated by error reduction, not just by geometric reasons. This point of view is at the basis of the paper [L. Beirao da Veiga et al., Adaptive VEM: stabilization-free a posteriori error analysis and contraction property, SIAM Journal on Numerical Analysis, vol. 61, 2023], devoted to the convergence analysis of an adaptive VEM generated by the successive newest-vertex bisections of triangular elements without applying completion, in the lowest-order case (polynomial degree k=1).
The purpose of this paper is to extend these results to the case of VEMs of order k>1 built on triangular meshes. The problem at hand is a variable-coefficient, second-order self-adjoint elliptic equation with Dirichlet boundary conditions; the data of the problem are assumed to be piecewise polynomials of degree k-1. By extending the concept of global index of a hanging node, under an admissibility assumption of the mesh, we derive a stabilization-free a posteriori error estimator. This is the sum of residual-type terms and certain virtual inconsistency terms (which vanish for k=1). We define an adaptive VEM of order k based on this estimator, and we prove its convergence by establishing a contraction result for a linear combination of (squared) energy norm of the error, residual estimator, and virtual inconsistency estimator.
△ Less
Submitted 12 June, 2023;
originally announced June 2023.
-
Gödel-type universes in energy-momentum-squared gravity
Authors:
Á. J. C. Canuto,
A. F. Santos
Abstract:
In this paper, a modification of general relativity is considered. It consists of generalizing the Lagrangian of matter in a non-linear way, that is, replacing the curvature scalar $R$ by a function $f(R,T_{μν} T^{μν} )$, where $T_{μν}$ is the energy-momentum tensor. The main objective is to investigate the issue of causality in this gravitational model. To study the causality and/or its violation…
▽ More
In this paper, a modification of general relativity is considered. It consists of generalizing the Lagrangian of matter in a non-linear way, that is, replacing the curvature scalar $R$ by a function $f(R,T_{μν} T^{μν} )$, where $T_{μν}$ is the energy-momentum tensor. The main objective is to investigate the issue of causality in this gravitational model. To study the causality and/or its violation the Gödel-type solutions are used. For such development, different matter contents are chosen. A critical radius, beyond which causality is violated, is calculated. It is shown that both causal and non-causal solutions are allowed.
△ Less
Submitted 2 May, 2023;
originally announced May 2023.
-
Weighted reduced order methods for uncertainty quantification in computational fluid dynamics
Authors:
Julien Genovese,
Francesco Ballarin,
Gianluigi Rozza,
Claudio Canuto
Abstract:
In this manuscript we propose and analyze weighted reduced order methods for stochastic Stokes and Navier-Stokes problems depending on random input data (such as forcing terms, physical or geometrical coefficients, boundary conditions). We will compare weighted methods such as weighted greedy and weighted POD with non-weighted ones in case of stochastic parameters. In addition we will analyze diff…
▽ More
In this manuscript we propose and analyze weighted reduced order methods for stochastic Stokes and Navier-Stokes problems depending on random input data (such as forcing terms, physical or geometrical coefficients, boundary conditions). We will compare weighted methods such as weighted greedy and weighted POD with non-weighted ones in case of stochastic parameters. In addition we will analyze different sampling and weighting choices to overcome the curse of dimensionality with high dimensional parameter spaces.
△ Less
Submitted 25 March, 2023;
originally announced March 2023.
-
Adaptive VEM for variable data: convergence and optimality
Authors:
L. Beirão da Veiga,
C. Canuto,
R. H. Nochetto,
G. Vacca,
M. Verani
Abstract:
We design an adaptive virtual element method (AVEM) of lowest order over triangular meshes with hanging nodes in 2d, which are treated as polygons. AVEM hinges on the stabilization-free a posteriori error estimators recently derived in [8]. The crucial property, that also plays a central role in this paper, is that the stabilization term can be made arbitrarily small relative to the a posteriori e…
▽ More
We design an adaptive virtual element method (AVEM) of lowest order over triangular meshes with hanging nodes in 2d, which are treated as polygons. AVEM hinges on the stabilization-free a posteriori error estimators recently derived in [8]. The crucial property, that also plays a central role in this paper, is that the stabilization term can be made arbitrarily small relative to the a posteriori error estimators upon increasing the stabilization parameter. Our AVEM concatenates two modules, GALERKIN and DATA. The former deals with piecewise constant data and is shown in [8] to be a contraction between consecutive iterates. The latter approximates general data by piecewise constants to a desired accuracy. AVEM is shown to be convergent and quasi-optimal, in terms of error decay versus degrees of freedom, for solutions and data belonging to appropriate approximation classes. Numerical experiments illustrate the interplay between these two modules and provide computational evidence of optimality.
△ Less
Submitted 27 February, 2023;
originally announced February 2023.
-
A posteriori error analysis and adaptivity for a VEM discretization of the Navier-Stokes equations
Authors:
Claudio Canuto,
Davide Rosso
Abstract:
We consider the Virtual Element method (VEM) introduced by Beirão da Veiga, Lovadina and Vacca in 2016 for the numerical solution of the steady, incompressible Navier-Stokes equations; the method has arbitrary order $k \geq 2$ and guarantees divergence-free velocities. For such discretization, we develop a residual-based a posteriori error estimator, which is a combination of standard terms in VEM…
▽ More
We consider the Virtual Element method (VEM) introduced by Beirão da Veiga, Lovadina and Vacca in 2016 for the numerical solution of the steady, incompressible Navier-Stokes equations; the method has arbitrary order $k \geq 2$ and guarantees divergence-free velocities. For such discretization, we develop a residual-based a posteriori error estimator, which is a combination of standard terms in VEM analysis (residual terms, data oscillation, and VEM stabilization), plus some other terms originated by the VEM discretization of the nonlinear convective term. We show that a linear combination of the velocity and pressure errors is upper-bounded by a multiple of the estimator (reliability). We also establish some efficiency results, involving lower bounds of the error. Some numerical tests illustrate the performance of the estimator and of its components while refining the mesh uniformly, yielding the expected decay rate. At last, we apply an adaptive mesh refinement strategy to the computation of the low-Reynolds flow around a square cylinder inside a channel.
△ Less
Submitted 29 December, 2022;
originally announced December 2022.
-
Enforcing Dirichlet boundary conditions in physics-informed neural networks and variational physics-informed neural networks
Authors:
S. Berrone,
C. Canuto,
M. Pintore,
N. Sukumar
Abstract:
In this paper, we present and compare four methods to enforce Dirichlet boundary conditions in Physics-Informed Neural Networks (PINNs) and Variational Physics-Informed Neural Networks (VPINNs). Such conditions are usually imposed by adding penalization terms in the loss function and properly choosing the corresponding scaling coefficients; however, in practice, this requires an expensive tuning p…
▽ More
In this paper, we present and compare four methods to enforce Dirichlet boundary conditions in Physics-Informed Neural Networks (PINNs) and Variational Physics-Informed Neural Networks (VPINNs). Such conditions are usually imposed by adding penalization terms in the loss function and properly choosing the corresponding scaling coefficients; however, in practice, this requires an expensive tuning phase. We show through several numerical tests that modifying the output of the neural network to exactly match the prescribed values leads to more efficient and accurate solvers. The best results are achieved by exactly enforcing the Dirichlet boundary conditions by means of an approximate distance function. We also show that variationally imposing the Dirichlet boundary conditions via Nitsche's method leads to suboptimal solvers.
△ Less
Submitted 31 July, 2023; v1 submitted 26 October, 2022;
originally announced October 2022.
-
Solving PDEs by Variational Physics-Informed Neural Networks: an a posteriori error analysis
Authors:
Stefano Berrone,
Claudio Canuto,
Moreno Pintore
Abstract:
We consider the discretization of elliptic boundary-value problems by variational physics-informed neural networks (VPINNs), in which test functions are continuous, piecewise linear functions on a triangulation of the domain. We define an a posteriori error estimator, made of a residual-type term, a loss-function term, and data oscillation terms. We prove that the estimator is both reliable and ef…
▽ More
We consider the discretization of elliptic boundary-value problems by variational physics-informed neural networks (VPINNs), in which test functions are continuous, piecewise linear functions on a triangulation of the domain. We define an a posteriori error estimator, made of a residual-type term, a loss-function term, and data oscillation terms. We prove that the estimator is both reliable and efficient in controlling the energy norm of the error between the exact and VPINN solutions. Numerical results are in excellent agreement with the theoretical predictions.
△ Less
Submitted 2 May, 2022;
originally announced May 2022.
-
Adaptive VEM: Stabilization-Free A Posteriori Error Analysis and Contraction Property
Authors:
L. Beirao da Veiga,
C. Canuto,
R. H. Nochetto,
G. Vacca,
M. Verani
Abstract:
In the present paper we initiate the challenging task of building a mathematically sound theory for Adaptive Virtual Element Methods (AVEMs). Among the realm of polygonal meshes, we restrict our analysis to triangular meshes with hanging nodes in 2d -- the simplest meshes with a systematic refinement procedure that preserves shape regularity and optimal complexity. A major challenge in the a poste…
▽ More
In the present paper we initiate the challenging task of building a mathematically sound theory for Adaptive Virtual Element Methods (AVEMs). Among the realm of polygonal meshes, we restrict our analysis to triangular meshes with hanging nodes in 2d -- the simplest meshes with a systematic refinement procedure that preserves shape regularity and optimal complexity. A major challenge in the a posteriori error analysis of AVEMs is the presence of the stabilization term, which is of the same order as the residual-type error estimator but prevents the equivalence of the latter with the energy error. Under the assumption that any chain of recursively created hanging nodes has uniformly bounded length, we show that the stabilization term can be made arbitrarily small relative to the error estimator provided the stabilization parameter of the scheme is sufficiently large. This quantitative estimate leads to stabilization-free upper and lower a posteriori bounds for the energy error. This novel and crucial property of VEMs hinges on the largest subspace of continuous piecewise linear functions and the delicate interplay between its coarser scales and the finer ones of the VEM space. An important consequence for piecewise constant data is a contraction property between consecutive loops of AVEMs, which we also prove. Our results apply to $H^1$-conforming (lowest order) VEMs of any kind, including the classical and enhanced VEMs.
△ Less
Submitted 30 November, 2022; v1 submitted 15 November, 2021;
originally announced November 2021.
-
Variational Physics Informed Neural Networks: the role of quadratures and test functions
Authors:
Stefano Berrone,
Claudio Canuto,
Moreno Pintore
Abstract:
In this work we analyze how quadrature rules of different precisions and piecewise polynomial test functions of different degrees affect the convergence rate of Variational Physics Informed Neural Networks (VPINN) with respect to mesh refinement, while solving elliptic boundary-value problems. Using a Petrov-Galerkin framework relying on an inf-sup condition, we derive an a priori error estimate i…
▽ More
In this work we analyze how quadrature rules of different precisions and piecewise polynomial test functions of different degrees affect the convergence rate of Variational Physics Informed Neural Networks (VPINN) with respect to mesh refinement, while solving elliptic boundary-value problems. Using a Petrov-Galerkin framework relying on an inf-sup condition, we derive an a priori error estimate in the energy norm between the exact solution and a suitable high-order piecewise interpolant of a computed neural network. Numerical experiments confirm the theoretical predictions and highlight the importance of the inf-sup condition. Our results suggest, somehow counterintuitively, that for smooth solutions the best strategy to achieve a high decay rate of the error consists in choosing test functions of the lowest polynomial degree, while using quadrature formulas of suitably high precision.
△ Less
Submitted 9 June, 2022; v1 submitted 5 September, 2021;
originally announced September 2021.
-
Equilibrium analysis of an immersed rigid leaflet by the virtual element method
Authors:
L. Beirão da Veiga,
C. Canuto,
R. H. Nochetto,
G. Vacca
Abstract:
We study, both theoretically and numerically, the equilibrium of a hinged rigid leaflet with an attached rotational spring, immersed in a stationary incompressible fluid within a rigid channel. Through a careful investigation of the properties of the functional describing the angular momentum exerted by the fluid on the leaflet (which depends on both the leaflet angular position and its thickness)…
▽ More
We study, both theoretically and numerically, the equilibrium of a hinged rigid leaflet with an attached rotational spring, immersed in a stationary incompressible fluid within a rigid channel. Through a careful investigation of the properties of the functional describing the angular momentum exerted by the fluid on the leaflet (which depends on both the leaflet angular position and its thickness), we identify sufficient conditions on the spring stiffness function for the existence (and uniqueness) of equilibrium positions. We propose a numerical technique that exploits the mesh flexibility of the Virtual Element Method (VEM). A (polygonal) computational mesh is generated by cutting a fixed background grid with the leaflet geometry, and the problem is then solved with stable VEM Stokes elements of degrees $1$ and $2$ combined with a bisection algorithm. We present a large array of numerical experiments to document the accuracy and robustness with respect to degenerate geometry of the proposed methodology.
△ Less
Submitted 17 July, 2020;
originally announced July 2020.
-
Analysis of the Shifted Boundary Method for the Poisson Problem in General Domains
Authors:
Nabil M. Atallah,
Claudio Canuto,
Guglielmo Scovazzi
Abstract:
The shifted boundary method (SBM) is an approximate domain method for boundary value problems, in the broader class of unfitted/embedded/immersed methods. It has proven to be quite efficient in handling problems with complex geometries, ranging from Poisson to Darcy, from Navier-Stokes to elasticity and beyond. The key feature of the SBM is a {\it shift} in the location where Dirichlet boundary co…
▽ More
The shifted boundary method (SBM) is an approximate domain method for boundary value problems, in the broader class of unfitted/embedded/immersed methods. It has proven to be quite efficient in handling problems with complex geometries, ranging from Poisson to Darcy, from Navier-Stokes to elasticity and beyond. The key feature of the SBM is a {\it shift} in the location where Dirichlet boundary conditions are applied - from the true to a surrogate boundary - and an appropriate modification (again, a {\it shift}) of the value of the boundary conditions, in order to reduce the consistency error. In this paper we provide a sound analysis of the method in smooth and non-smooth domains, highlighting the influence of geometry and distance between exact and surrogate boundaries upon the convergence rate. Without loss of generality, we consider the Poisson problem with Dirichlet boundary conditions as a model and we first detail a procedure to obtain the crucial shifting between the surrogate and the true boundaries. Next, we give a sufficient condition for the well-posedness and stability of the discrete problem. The behavior of the consistency error arising from shifting the boundary conditions is thoroughly analyzed, for smooth boundaries and for boundaries with corners and edges. The convergence rate is proven to be optimal in the energy norm, and is further enhanced in the $L^2$-norm.
△ Less
Submitted 1 June, 2020;
originally announced June 2020.
-
The Second-Generation Shifted Boundary Method and Its Numerical Analysis
Authors:
Nabil M. Atallah,
Claudio Canuto,
Guglielmo Scovazzi
Abstract:
Recently, the Shifted Boundary Method (SBM) was proposed within the class of unfitted (or immersed, or embedded) finite element methods. By reformulating the original boundary value problem over a surrogate (approximate) computational domain, the SBM avoids integration over cut cells and the associated problematic issues regarding numerical stability and matrix conditioning. Accuracy is maintained…
▽ More
Recently, the Shifted Boundary Method (SBM) was proposed within the class of unfitted (or immersed, or embedded) finite element methods. By reformulating the original boundary value problem over a surrogate (approximate) computational domain, the SBM avoids integration over cut cells and the associated problematic issues regarding numerical stability and matrix conditioning. Accuracy is maintained by modifying the original boundary conditions using Taylor expansions. Hence the name of the method, that {\it shifts} the location and values of the boundary conditions. In this article, we present enhanced variational SBM formulations for the Poisson and Stokes problems with improved flexibility and robustness. These simplified variational forms allow to relax some of the assumptions required by the mathematical proofs of stability and convergence of earlier implementations. First, we show that these new SBM implementations can be proved asymptotically stable and convergent even without the rather restrictive assumption that the inner product between the normals to the true and surrogate boundaries is positive. Second, we show that it is not necessary to introduce a stabilization term involving the tangential derivatives of the solution at Dirichlet boundaries, therefore avoiding the calibration of an additional stabilization parameter. Finally, we prove enhanced $L^{2}$-estimates without the cumbersome assumption - of earlier proofs - that the surrogate domain is convex. Instead we rely on a conventional assumption that the boundary of the true domain is smooth, which can also be replaced by requiring convexity of the true domain. The aforementioned improvements open the way to a more general and efficient implementation of the Shifted Boundary Method, particularly in complex three-dimensional geometries. We present numerical experiments in two and three dimensions.
△ Less
Submitted 22 April, 2020;
originally announced April 2020.
-
Efficient computation of bifurcation diagrams with a deflated approach to reduced basis spectral element method
Authors:
Moreno Pintore,
Federico Pichi,
Martin Hess,
Gianluigi Rozza,
Claudio Canuto
Abstract:
The majority of the most common physical phenomena can be described using partial differential equations (PDEs). However, they are very often characterized by strong nonlinearities. Such features lead to the coexistence of multiple solutions studied by the bifurcation theory. Unfortunately, in practical scenarios, one has to exploit numerical methods to compute the solutions of systems of PDEs, ev…
▽ More
The majority of the most common physical phenomena can be described using partial differential equations (PDEs). However, they are very often characterized by strong nonlinearities. Such features lead to the coexistence of multiple solutions studied by the bifurcation theory. Unfortunately, in practical scenarios, one has to exploit numerical methods to compute the solutions of systems of PDEs, even if the classical techniques are usually able to compute only a single solution for any value of a parameter when more branches exist. In this work we implemented an elaborated deflated continuation method, that relies on the spectral element method (SEM) and on the reduced basis (RB) one, to efficiently compute bifurcation diagrams with more parameters and more bifurcation points. The deflated continuation method can be obtained combining the classical continuation method and the deflation one: the former is used to entirely track each known branch of the diagram, while the latter is exploited to discover the new ones. Finally, when more than one parameter is considered, the efficiency of the computation is ensured by the fact that the diagrams can be computed during the online phase while, during the offline one, one only has to compute one-dimensional diagrams. In this work, after a more detailed description of the method, we will show the results that can be obtained using it to compute a bifurcation diagram associated with a problem governed by the Navier-Stokes equations.
△ Less
Submitted 17 August, 2020; v1 submitted 12 December, 2019;
originally announced December 2019.
-
Action Anticipation for Collaborative Environments: The Impact of Contextual Information and Uncertainty-Based Prediction
Authors:
Clebeson Canuto,
Plinio Moreno,
Jorge Samatelo,
Raquel Vassallo,
José Santos-Victor
Abstract:
To interact with humans in collaborative environments, machines need to be able to predict (i.e., anticipate) future events, and execute actions in a timely manner. However, the observation of the human limb movements may not be sufficient to anticipate their actions unambiguously. In this work, we consider two additional sources of information (i.e., context) over time, gaze, movement and object…
▽ More
To interact with humans in collaborative environments, machines need to be able to predict (i.e., anticipate) future events, and execute actions in a timely manner. However, the observation of the human limb movements may not be sufficient to anticipate their actions unambiguously. In this work, we consider two additional sources of information (i.e., context) over time, gaze, movement and object information, and study how these additional contextual cues improve the action anticipation performance. We address action anticipation as a classification task, where the model takes the available information as the input and predicts the most likely action. We propose to use the uncertainty about each prediction as an online decision-making criterion for action anticipation. Uncertainty is modeled as a stochastic process applied to a time-based neural network architecture, which improves the conventional class-likelihood (i.e., deterministic) criterion. The main contributions of this paper are four-fold: (i) We propose a novel and effective decision-making criterion that can be used to anticipate actions even in situations of high ambiguity; (ii) we propose a deep architecture that outperforms previous results in the action anticipation task when using the Acticipate collaborative dataset; (iii) we show that contextual information is important to disambiguate the interpretation of similar actions; and (iv) we also provide a formal description of three existing performance metrics that can be easily used to evaluate action anticipation models.Our results on the Acticipate dataset showed the importance of contextual information and the uncertainty criterion for action anticipation. We achieve an average accuracy of 98.75% in the anticipation task using only an average of 25% of observations.
△ Less
Submitted 18 June, 2020; v1 submitted 1 October, 2019;
originally announced October 2019.
-
A saturation property for the spectral-Galerkin approximation of a Dirichlet problem in a square
Authors:
Claudio Canuto,
Ricardo H. Nochetto,
Rob Stevenson,
Marco Verani
Abstract:
Both practice and analysis of adaptive $p$-FEMs and $hp$-FEMs raise the question what increment in the current polynomial degree $p$ guarantees a $p$-independent reduction of the Galerkin error. We answer this question for the $p$-FEM in the simplified context of homogeneous Dirichlet problems for the Poisson equation in the two dimensional unit square with polynomial data of degree $p$. We show t…
▽ More
Both practice and analysis of adaptive $p$-FEMs and $hp$-FEMs raise the question what increment in the current polynomial degree $p$ guarantees a $p$-independent reduction of the Galerkin error. We answer this question for the $p$-FEM in the simplified context of homogeneous Dirichlet problems for the Poisson equation in the two dimensional unit square with polynomial data of degree $p$. We show that an increment proportional to $p$ yields a $p$-robust error reduction and provide computational evidence that a constant increment does not.
△ Less
Submitted 3 January, 2018; v1 submitted 26 December, 2017;
originally announced December 2017.
-
On p-Robust Saturation for hp-AFEM
Authors:
Claudio Canuto,
Ricardo H. Nochetto,
Rob Stevenson,
Marco Verani
Abstract:
We consider the standard adaptive finite element loop SOLVE, ESTIMATE, MARK, REFINE, with ESTIMATE being implemented using the $p$-robust equilibrated flux estimator, and MARK being Dörfler marking. As a refinement strategy we employ $p$-refinement. We investigate the question by which amount the local polynomial degree on any marked patch has to be increase in order to achieve a $p$-independent e…
▽ More
We consider the standard adaptive finite element loop SOLVE, ESTIMATE, MARK, REFINE, with ESTIMATE being implemented using the $p$-robust equilibrated flux estimator, and MARK being Dörfler marking. As a refinement strategy we employ $p$-refinement. We investigate the question by which amount the local polynomial degree on any marked patch has to be increase in order to achieve a $p$-independent error reduction. The resulting adaptive method can be turned into an instance optimal $hp$-adaptive method by the addition of a coarsening routine.
△ Less
Submitted 13 November, 2016;
originally announced November 2016.
-
Adaptive Spectral Galerkin Methods with Dynamic Marking
Authors:
Claudio Canuto,
Ricardo H. Nochetto,
Rob Stevenson,
Marco Verani
Abstract:
The convergence and optimality theory of adaptive Galerkin methods is almost exclusively based on the Dörfler marking. This entails a fixed parameter and leads to a contraction constant bounded below away from zero. For spectral Galerkin methods this is a severe limitation which affects performance. We present a dynamic marking strategy that allows for a super-linear relation between consecutive d…
▽ More
The convergence and optimality theory of adaptive Galerkin methods is almost exclusively based on the Dörfler marking. This entails a fixed parameter and leads to a contraction constant bounded below away from zero. For spectral Galerkin methods this is a severe limitation which affects performance. We present a dynamic marking strategy that allows for a super-linear relation between consecutive discretization errors, and show exponential convergence with linear computational complexity whenever the solution belongs to a Gevrey approximation class.
△ Less
Submitted 1 November, 2015;
originally announced November 2015.
-
A hybrid model for large neural network description
Authors:
Anna Cattani,
Sergio Solinas,
Claudio Canuto
Abstract:
The aim of the present paper is to efficiently describe the membrane potential dynamics of neural populations formed by species having a high density difference in specific brain areas. We propose a hybrid model whose main ingredients are a conductance-based model (ODE system) and its continuous counterpart (PDE system) obtained through a limit process in which the number of neurons confined in a…
▽ More
The aim of the present paper is to efficiently describe the membrane potential dynamics of neural populations formed by species having a high density difference in specific brain areas. We propose a hybrid model whose main ingredients are a conductance-based model (ODE system) and its continuous counterpart (PDE system) obtained through a limit process in which the number of neurons confined in a bounded region of the brain is sent to infinity. Specifically, in the discrete model each cell of the low-density populations is individually described by a set of time-dependent variables, whereas in the continuum model the high-density populations are described as a whole by a small set of continuous variables depending on space and time. Communications among populations, which translate into interactions among the discrete and the continuous models, are the essence of the hybrid model we present here. Such an approach has been validated reconstructing the ensemble activity of the granular layer network of the Cerebellum, leading to a computational cost reduction. The hybrid model reproduced interesting dynamics such as local microcircuit synchronization, travelling waves, center-surround and time-windowing.
△ Less
Submitted 5 October, 2015; v1 submitted 1 July, 2015;
originally announced July 2015.
-
Convergence and Optimality of hp-AFEM
Authors:
Claudio Canuto,
Ricardo H. Nochetto,
Rob Stevenson,
Marco Verani
Abstract:
We design and analyze an adaptive $hp$-finite element method (hp-AFEM) in dimensions $n=1,2$. The algorithm consists of iterating two routines: hp-NEARBEST finds a near-best $hp$-approximation of the current discrete solution and data to a desired accuracy, and REDUCE improves the discrete solution to a finer but comparable accuracy. The former hinges on a recent algorithm by Binev for adaptive…
▽ More
We design and analyze an adaptive $hp$-finite element method (hp-AFEM) in dimensions $n=1,2$. The algorithm consists of iterating two routines: hp-NEARBEST finds a near-best $hp$-approximation of the current discrete solution and data to a desired accuracy, and REDUCE improves the discrete solution to a finer but comparable accuracy. The former hinges on a recent algorithm by Binev for adaptive $hp$-approximation, and acts as a coarsening step. We prove convergence and instance optimality.
△ Less
Submitted 13 March, 2015;
originally announced March 2015.
-
Contraction and optimality properties of an adaptive Legendre-Galerkin method: the multi-dimensional case
Authors:
Claudio Canuto,
Valeria Simoncini,
Marco Verani
Abstract:
We analyze the theoretical properties of an adaptive Legendre-Galerkin method in the multidimensional case. After the recent investigations for Fourier-Galerkin methods in a periodic box and for Legendre-Galerkin methods in the one dimensional setting, the present study represents a further step towards a mathematically rigorous understanding of adaptive spectral/$hp$ discretizations of elliptic b…
▽ More
We analyze the theoretical properties of an adaptive Legendre-Galerkin method in the multidimensional case. After the recent investigations for Fourier-Galerkin methods in a periodic box and for Legendre-Galerkin methods in the one dimensional setting, the present study represents a further step towards a mathematically rigorous understanding of adaptive spectral/$hp$ discretizations of elliptic boundary-value problems. The main contribution of the paper is a careful construction of a multidimensional Riesz basis in $H^1$, based on a quasi-orthonormalization procedure. This allows us to design an adaptive algorithm, to prove its convergence by a contraction argument, and to discuss its optimality properties (in the sense of non-linear approximation theory) in certain sparsity classes of Gevrey type.
△ Less
Submitted 31 July, 2014;
originally announced August 2014.
-
On the decay of the inverse of matrices that are sum of Kronecker products
Authors:
Claudio Canuto,
Valeria Simoncini,
Marco Verani
Abstract:
Decay patterns of matrix inverses have recently attracted considerable interest, due to their relevance in numerical analysis, and in applications requiring matrix function approximations. In this paper we analyze the decay pattern of the inverse of banded matrices in the form $S=M \otimes I_n + I_n \otimes M$ where $M$ is tridiagonal, symmetric and positive definite, $I_n$ is the identity matrix,…
▽ More
Decay patterns of matrix inverses have recently attracted considerable interest, due to their relevance in numerical analysis, and in applications requiring matrix function approximations. In this paper we analyze the decay pattern of the inverse of banded matrices in the form $S=M \otimes I_n + I_n \otimes M$ where $M$ is tridiagonal, symmetric and positive definite, $I_n$ is the identity matrix, and $\otimes$ stands for the Kronecker product. It is well known that the inverses of banded matrices exhibit an exponential decay pattern away from the main diagonal. However, the entries in $S^{-1}$ show a non-monotonic decay, which is not caught by classical bounds. By using an alternative expression for $S^{-1}$, we derive computable upper bounds that closely capture the actual behavior of its entries. We also show that similar estimates can be obtained when $M$ has a larger bandwidth, or when the sum of Kronecker products involves two different matrices. Numerical experiments illustrating the new bounds are also reported.
△ Less
Submitted 23 December, 2013;
originally announced December 2013.
-
Legendre-Gauss-Lobatto grids and associated nested dyadic grids
Authors:
Kolja Brix,
Claudio Canuto,
Wolfgang Dahmen
Abstract:
Legendre-Gauss-Lobatto (LGL) grids play a pivotal role in nodal spectral methods for the numerical solution of partial differential equations. They not only provide efficient high-order quadrature rules, but give also rise to norm equivalences that could eventually lead to efficient preconditioning techniques in high-order methods. Unfortunately, a serious obstruction to fully exploiting the poten…
▽ More
Legendre-Gauss-Lobatto (LGL) grids play a pivotal role in nodal spectral methods for the numerical solution of partial differential equations. They not only provide efficient high-order quadrature rules, but give also rise to norm equivalences that could eventually lead to efficient preconditioning techniques in high-order methods. Unfortunately, a serious obstruction to fully exploiting the potential of such concepts is the fact that LGL grids of different degree are not nested. This affects, on the one hand, the choice and analysis of suitable auxiliary spaces, when applying the auxiliary space method as a principal preconditioning paradigm, and, on the other hand, the efficient solution of the auxiliary problems. As a central remedy, we consider certain nested hierarchies of dyadic grids of locally comparable mesh size, that are in a certain sense properly associated with the LGL grids. Their actual suitability requires a subtle analysis of such grids which, in turn, relies on a number of refined properties of LGL grids. The central objective of this paper is to derive just these properties. This requires first revisiting properties of close relatives to LGL grids which are subsequently used to develop a refined analysis of LGL grids. These results allow us then to derive the relevant properties of the associated dyadic grids.
△ Less
Submitted 31 October, 2013;
originally announced November 2013.
-
The derivation of continuum limits of neuronal networks with gap-junction couplings
Authors:
Claudio Canuto,
Anna Cattani
Abstract:
We consider an idealized network, formed by N neurons individually described by the FitzHugh-Nagumo equations and connected by electrical synapses. The limit for N to infinity of the resulting discrete model is thoroughly investigated, with the aim of identifying a model for a continuum of neurons having an equivalent behaviour. Two strategies for passing to the limit are analysed: i) a more conve…
▽ More
We consider an idealized network, formed by N neurons individually described by the FitzHugh-Nagumo equations and connected by electrical synapses. The limit for N to infinity of the resulting discrete model is thoroughly investigated, with the aim of identifying a model for a continuum of neurons having an equivalent behaviour. Two strategies for passing to the limit are analysed: i) a more conventional approach, based on a fixed nearest-neighbour connection topology accompanied by a suitable scaling of the diffusion coefficients; ii) a new approach, in which the number of connections to any given neuron varies with N according to a precise law, which simultaneously guarantees the non-triviality of the limit and the locality of neuronal interactions. Both approaches yield in the limit a pde-based model, in which the distribution of action potential obeys a nonlinear reaction-convection-diffusion equation; convection accounts for the possible lack of symmetry in the connection topology. Several convergence issues are discussed, both theoretically and numerically.
△ Less
Submitted 10 July, 2013;
originally announced July 2013.
-
Multilevel Preconditioning of Discontinuous-Galerkin Spectral Element Methods, Part I: Geometrically Conforming Meshes
Authors:
Kolja Brix,
Martin Campos Pinto,
Claudio Canuto,
Wolfgang Dahmen
Abstract:
This paper is concerned with the design, analysis and implementation of preconditioning concepts for spectral Discontinuous Galerkin discretizations of elliptic boundary value problems. While presently known techniques realize a growth of the condition numbers that is logarithmic in the polynomial degrees when all degrees are equal and quadratic otherwise, our main objective is to realize full rob…
▽ More
This paper is concerned with the design, analysis and implementation of preconditioning concepts for spectral Discontinuous Galerkin discretizations of elliptic boundary value problems. While presently known techniques realize a growth of the condition numbers that is logarithmic in the polynomial degrees when all degrees are equal and quadratic otherwise, our main objective is to realize full robustness with respect to arbitrarily large locally varying polynomial degrees degrees, i.e., under mild grading constraints condition numbers stay uniformly bounded with respect to the mesh size and variable degrees. The conceptual foundation of the envisaged preconditioners is the auxiliary space method. The main conceptual ingredients that will be shown in this framework to yield "optimal" preconditioners in the above sense are Legendre-Gauss-Lobatto grids in connection with certain associated anisotropic nested dyadic grids as well as specially adapted wavelet preconditioners for the resulting low order auxiliary problems. Moreover, the preconditioners have a modular form that facilitates somewhat simplified partial realizations. One of the components can, for instance, be conveniently combined with domain decomposition, at the expense though of a logarithmic growth of condition numbers. Our analysis is complemented by quantitative experimental studies of the main components.
△ Less
Submitted 13 May, 2014; v1 submitted 28 January, 2013;
originally announced January 2013.
-
Robust Preconditioners for DG-Discretizations with Arbitrary Polynomial Degrees
Authors:
Kolja Brix,
Claudio Canuto,
Wolfgang Dahmen
Abstract:
Discontinuous Galerkin (DG) methods offer an enormous flexibility regarding local grid refinement and variation of polynomial degrees for a variety of different problem classes. With a focus on diffusion problems, we consider DG discretizations for elliptic boundary value problems, in particular the efficient solution of the linear systems of equations that arise from the Symmetric Interior Penalt…
▽ More
Discontinuous Galerkin (DG) methods offer an enormous flexibility regarding local grid refinement and variation of polynomial degrees for a variety of different problem classes. With a focus on diffusion problems, we consider DG discretizations for elliptic boundary value problems, in particular the efficient solution of the linear systems of equations that arise from the Symmetric Interior Penalty DG method. We announce a multi-stage preconditioner which produces uniformly bounded condition numbers and aims at supporting the full flexibility of DG methods under mild grading conditions. The constructions and proofs are detailed in an upcoming series of papers by the authors. Our preconditioner is based on the concept of the auxiliary space method and techniques from spectral element methods such as Legendre-Gauß-Lobatto grids. The presentation for the case of geometrically conforming meshes is complemented by numerical studies that shed some light on constants arising in four basic estimates used in the second stage.
△ Less
Submitted 27 December, 2012;
originally announced December 2012.
-
Contraction and optimality properties of adaptive Legendre-Galerkin methods: the 1-dimensional case
Authors:
Claudio Canuto,
Ricardo H. Nochetto,
Marco Verani
Abstract:
As a first step towards a mathematically rigorous understanding of adaptive spectral/$hp$ discretizations of elliptic boundary-value problems, we study the performance of adaptive Legendre-Galerkin methods in one space dimension. These methods offer unlimited approximation power only restricted by solution and data regularity. Our investigation is inspired by a similar study that we recently carri…
▽ More
As a first step towards a mathematically rigorous understanding of adaptive spectral/$hp$ discretizations of elliptic boundary-value problems, we study the performance of adaptive Legendre-Galerkin methods in one space dimension. These methods offer unlimited approximation power only restricted by solution and data regularity. Our investigation is inspired by a similar study that we recently carried out for Fourier-Galerkin methods in a periodic box. We first consider an "ideal" algorithm, which we prove to be convergent at a fixed rate. Next we enhance its performance, consistently with the expected fast error decay of high-order methods, by activating a larger set of degrees of freedom at each iteration. We guarantee optimality (in the non-linear approximation sense) by incorporating a coarsening step. Optimality is measured in terms of certain sparsity classes of the Gevrey type, which describe a (sub-)exponential decay of the best approximation error.
△ Less
Submitted 24 June, 2012;
originally announced June 2012.
-
Adaptive Fourier-Galerkin Methods
Authors:
Claudio Canuto,
Ricardo H. Nochetto,
Marco Verani
Abstract:
We study the performance of adaptive Fourier-Galerkin methods in a periodic box in $\mathbb{R}^d$ with dimension $d\ge 1$. These methods offer unlimited approximation power only restricted by solution and data regularity. They are of intrinsic interest but are also a first step towards understanding adaptivity for the $hp$-FEM. We examine two nonlinear approximation classes, one classical correspo…
▽ More
We study the performance of adaptive Fourier-Galerkin methods in a periodic box in $\mathbb{R}^d$ with dimension $d\ge 1$. These methods offer unlimited approximation power only restricted by solution and data regularity. They are of intrinsic interest but are also a first step towards understanding adaptivity for the $hp$-FEM. We examine two nonlinear approximation classes, one classical corresponding to algebraic decay of Fourier coefficients and another associated with exponential decay. We study the sparsity classes of the residual and show that they are the same as the solution for the algebraic class but not for the exponential one. This possible sparsity degradation for the exponential class can be compensated with coarsening, which we discuss in detail. We present several adaptive Fourier algorithms, and prove their contraction and optimal cardinality properties.
△ Less
Submitted 26 January, 2012;
originally announced January 2012.