-
Input-Power-to-State Stability of Time-Varying Systems
Authors:
Hernan Haimovich,
Shenyu Liu,
Antonio Russo,
Jose L. Mancilla-Aguilar
Abstract:
When the state of a system may remain bounded even if both the input amplitude and energy are unbounded, then the state bounds given by the standard input-to-state stability (ISS) and integral-ISS (iISS) properties may provide no useful information. This paper considers an ISS-related concept suitable in such a case: input-power-to-state stability (IPSS). Necessary and sufficient conditions for IP…
▽ More
When the state of a system may remain bounded even if both the input amplitude and energy are unbounded, then the state bounds given by the standard input-to-state stability (ISS) and integral-ISS (iISS) properties may provide no useful information. This paper considers an ISS-related concept suitable in such a case: input-power-to-state stability (IPSS). Necessary and sufficient conditions for IPSS are developed for time-varying systems under very mild assumptions on the dynamics. More precisely, it is shown that (a) the existence of a dissipation-form ISS-Lyapunov function implies IPSS, but not necessarily that of an implication-form one, (b) iISS with exponential class-$\KL$ function implies IPSS, and (c) ISS and stronger assumptions on the dynamics imply the existence of a dissipation-form ISS-Lyapunov function and hence IPSS. The latter result is based on a converse Lyapunov theorem for time-varying systems whose dynamics (i.e. state derivative) is not necessarily continuous with respect to time.
△ Less
Submitted 30 May, 2025;
originally announced May 2025.
-
Flow Shop Scheduling with Inter-Stage Flexibility and Blocking Constraints
Authors:
Gaia Nicosia,
Andrea Pacifici,
Ulrich Pferschy,
Anna Russo Russo,
Cecilia Salvatore
Abstract:
We investigate a scheduling problem arising from a material handling and processing problem in a production line of an Austrian company building prefabricated house walls. The addressed problem is a permutation flow shop with blocking constraints in which the machine of at least one stage can process a number operations of two other stages in the system. This situation is usually referred to as mu…
▽ More
We investigate a scheduling problem arising from a material handling and processing problem in a production line of an Austrian company building prefabricated house walls. The addressed problem is a permutation flow shop with blocking constraints in which the machine of at least one stage can process a number operations of two other stages in the system. This situation is usually referred to as multi-task or inter-stage flexibility. The problem is in general NP-hard, but we derive a number of special cases that can be solved in polynomial time. For the general case, we present a variety of heuristic algorithms, with a focus on matheuristics that are grounded in two different mixed-integer linear programming (MIP) formulations of the problem. These matheuristics leverage the strengths of exact optimization techniques while introducing flexibility to address limits on computation time. To assess the performance of the proposed approaches, we conduct an extensive computational study on randomly generated test cases based on real-world instances.
△ Less
Submitted 27 November, 2024;
originally announced November 2024.
-
Nonconforming virtual element method for general second-order elliptic problems on curved domain
Authors:
Yi Liu,
Alessandro Russo
Abstract:
This paper introduces a nonconforming virtual element method for general second-order elliptic problems with variable coefficients on domains with curved boundaries and curved internal interfaces. We prove arbitrary order optimal convergence in the energy and $L^2$ norms, confirmed by numerical experiments on a set of polygonal meshes. The accuracy of the numerical approximation provided by the me…
▽ More
This paper introduces a nonconforming virtual element method for general second-order elliptic problems with variable coefficients on domains with curved boundaries and curved internal interfaces. We prove arbitrary order optimal convergence in the energy and $L^2$ norms, confirmed by numerical experiments on a set of polygonal meshes. The accuracy of the numerical approximation provided by the method is shown to be comparable with the theoretical analysis.
△ Less
Submitted 24 October, 2024;
originally announced October 2024.
-
Avoiding Deadlocks via Weak Deadlock Sets
Authors:
Gianpaolo Oriolo,
Anna Russo Russo
Abstract:
A deadlock occurs in a network when two or more items prevent each other from moving and are stalled. In a general model, items are stored at vertices and each vertex $v$ has a buffer with $b(v)$ slots. Given a route for each item toward its destination, the Deadlock Safety Problem asks whether the current state is safe, i.e., it is possible to deliver each item at its destination, or is bound to…
▽ More
A deadlock occurs in a network when two or more items prevent each other from moving and are stalled. In a general model, items are stored at vertices and each vertex $v$ has a buffer with $b(v)$ slots. Given a route for each item toward its destination, the Deadlock Safety Problem asks whether the current state is safe, i.e., it is possible to deliver each item at its destination, or is bound to deadlock, i.e., any sequence of moves will end up with a set of items stalled. While when $b \geq 2$ the problem is solvable in polynomial time building upon a nice characterization of YES/NO-instances, it is NP-hard on quite simple graphs as grids when $b=1$ and on trees when $b\leq 3$. We improve on these results by means of two new tools, weak deadlock sets and wise states. We show that for general networks and $b$ a state that is wise and without weak deadlock sets -- this can be recognized in polynomial time -- is safe: this is indeed a strengthening of the result for $b\geq 2$. We sharpen this result for trees, where we show that a wise state is safe if and only if it has no weak deadlock set. That is interesting in particular in the context of rail transportation where networks are often single-tracked and deadlock detection and avoidance focuses on local sub-networks, mostly with a tree-like structure. We pose some research questions for future investigations.
△ Less
Submitted 7 October, 2024;
originally announced October 2024.
-
Optimization for Evaluating the Practical Capacity of a Transshipment Yard
Authors:
Anna Russo Russo,
Roberto Mancini,
Gianpaolo Oriolo,
Veronica Piccialli,
Davide Ussai
Abstract:
In order to increase rail freight transportation in Italy, Rete Ferroviaria Italiana (RFI) the Italian railway infrastructure manager, is carrying out several investment plans to enhance the Transshipment Yards, that act as an interface between the rail and road networks. The need is to increase their practical capacity, i.e. the maximum number of train services that can be inserted without alteri…
▽ More
In order to increase rail freight transportation in Italy, Rete Ferroviaria Italiana (RFI) the Italian railway infrastructure manager, is carrying out several investment plans to enhance the Transshipment Yards, that act as an interface between the rail and road networks. The need is to increase their practical capacity, i.e. the maximum number of train services that can be inserted without altering the current timetable while respecting all relevant constraints. Several factors influence the practical capacity of a transshipment yard: physical resources (such as tracks and vehicles for loading/unloading); constraints on the possible time slots of individual operations; constraints on the length of time a train must stay in the yard, that follow from both timetable requirements that are settled by the (prevalent) main line and from administrative and organisational issues in the yard. In this paper, we propose a MILP-based optimization model that is based on the solution of a suitable saturation problem, that deals with all these constraints and that can be used for evaluating the practical capacity of a transshipment yard both in its current configuration and in any plausible future configuration. The model provides operational details, such as routes and schedules, for each train service, and allows to impose periodic timetables and schedules that keep the daily management of the yard easier. Both the model and its solutions are validated on a real Italian transshipment yard, located at Marzaglia, on different scenarios corresponding to different investment plans of RFI. The results show that proper investments allow to get a feasible timetable with a period of 24 hours with doubles the number of current train services.
△ Less
Submitted 3 October, 2024;
originally announced October 2024.
-
Quantitative study of the stabilization parameter in the virtual element method
Authors:
Alessandro Russo,
N. Sukumar
Abstract:
The choice of stabilization term is a critical component of the virtual element method (VEM). However, the theory of VEM provides only asymptotic guidance for selecting the stabilization term, which ensures convergence as the mesh size approaches zero, but does not provide a unique prescription for its exact form. Thus, the selection of a suitable stabilization term is often guided by numerical ex…
▽ More
The choice of stabilization term is a critical component of the virtual element method (VEM). However, the theory of VEM provides only asymptotic guidance for selecting the stabilization term, which ensures convergence as the mesh size approaches zero, but does not provide a unique prescription for its exact form. Thus, the selection of a suitable stabilization term is often guided by numerical experimentation and analysis of the resulting solution, including factors such as stability, accuracy, and efficiency. In this paper, we establish a new link between VEM and generalized barycentric coordinates, in particular isoparametric finite elements as a specific case. This connection enables the interpretation of the stability as the energy of a particular function in the discrete space, commonly known as the `hourglass mode.' Through this approach, this study sheds light on how the virtual element solution depends on the stabilization term, providing insights into the behavior of the method in more general scenarios.
△ Less
Submitted 31 March, 2023;
originally announced April 2023.
-
The nonconforming virtual element method with curved edges
Authors:
Lourenco Beirão Da Veiga,
Yi Liu,
Lorenzo Mascotto,
Alessandro Russo
Abstract:
We introduce a nonconforming virtual element method for the Poisson equation on domains with curved boundary and internal interfaces. We prove arbitrary order optimal convergence in the energy and $L^2$ norms, and validate the theoretical results with numerical experiments. Compared to existing nodal virtual elements on curved domains, the proposed scheme has the advantage that it can be designed…
▽ More
We introduce a nonconforming virtual element method for the Poisson equation on domains with curved boundary and internal interfaces. We prove arbitrary order optimal convergence in the energy and $L^2$ norms, and validate the theoretical results with numerical experiments. Compared to existing nodal virtual elements on curved domains, the proposed scheme has the advantage that it can be designed in any dimension.
△ Less
Submitted 27 March, 2023;
originally announced March 2023.
-
An Exact Algorithm for Semi-supervised Minimum Sum-of-Squares Clustering
Authors:
Veronica Piccialli,
Anna Russo Russo,
Antonio M. Sudoso
Abstract:
The minimum sum-of-squares clustering (MSSC), or k-means type clustering, is traditionally considered an unsupervised learning task. In recent years, the use of background knowledge to improve the cluster quality and promote interpretability of the clustering process has become a hot research topic at the intersection of mathematical optimization and machine learning research. The problem of takin…
▽ More
The minimum sum-of-squares clustering (MSSC), or k-means type clustering, is traditionally considered an unsupervised learning task. In recent years, the use of background knowledge to improve the cluster quality and promote interpretability of the clustering process has become a hot research topic at the intersection of mathematical optimization and machine learning research. The problem of taking advantage of background information in data clustering is called semi-supervised or constrained clustering. In this paper, we present a branch-and-cut algorithm for semi-supervised MSSC, where background knowledge is incorporated as pairwise must-link and cannot-link constraints. For the lower bound procedure, we solve the semidefinite programming relaxation of the MSSC discrete optimization model, and we use a cutting-plane procedure for strengthening the bound. For the upper bound, instead, by using integer programming tools, we use an adaptation of the k-means algorithm to the constrained case. For the first time, the proposed global optimization algorithm efficiently manages to solve real-world instances up to 800 data points with different combinations of must-link and cannot-link constraints and with a generic number of features. This problem size is about four times larger than the one of the instances solved by state-of-the-art exact algorithms.
△ Less
Submitted 24 July, 2022; v1 submitted 30 November, 2021;
originally announced November 2021.
-
Consistency testing for robust phase estimation
Authors:
Antonio E. Russo,
William M. Kirby,
Kenneth M. Rudinger,
Andrew D. Baczewski,
Shelby Kimmel
Abstract:
We present an extension to the robust phase estimation protocol, which can identify incorrect results that would otherwise lie outside the expected statistical range. Robust phase estimation is increasingly a method of choice for applications such as estimating the effective process parameters of noisy hardware, but its robustness is dependent on the noise satisfying certain threshold assumptions.…
▽ More
We present an extension to the robust phase estimation protocol, which can identify incorrect results that would otherwise lie outside the expected statistical range. Robust phase estimation is increasingly a method of choice for applications such as estimating the effective process parameters of noisy hardware, but its robustness is dependent on the noise satisfying certain threshold assumptions. We provide consistency checks that can indicate when those thresholds have been violated, which can be difficult or impossible to test directly. We test these consistency checks for several common noise models, and identify two possible checks with high accuracy in locating the point in a robust phase estimation run at which further estimates should not be trusted. One of these checks may be chosen based on resource availability, or they can be used together in order to provide additional verification.
△ Less
Submitted 26 November, 2020;
originally announced November 2020.
-
Virtual Elements and curved edges
Authors:
L. Beirao Da Veiga,
F. Brezzi,
L. D. Marini,
A. Russo
Abstract:
We present a new method to construct Virtual Element spaces on polygons with curved edges.
We present a new method to construct Virtual Element spaces on polygons with curved edges.
△ Less
Submitted 22 October, 2019;
originally announced October 2019.
-
A Finite-Volume Method for Fluctuating Dynamical Density Functional Theory
Authors:
Antonio Russo,
Sergio P. Perez,
Miguel A. Durán-Olivencia,
Peter Yatsyshin,
José A. Carrillo,
Serafim Kalliadasis
Abstract:
We introduce a finite-volume numerical scheme for solving stochastic gradient-flow equations. Such equations are of crucial importance within the framework of fluctuating hydrodynamics and dynamic density functional theory. Our proposed scheme deals with general free-energy functionals, including, for instance, external fields or interaction potentials. This allows us to simulate a range of physic…
▽ More
We introduce a finite-volume numerical scheme for solving stochastic gradient-flow equations. Such equations are of crucial importance within the framework of fluctuating hydrodynamics and dynamic density functional theory. Our proposed scheme deals with general free-energy functionals, including, for instance, external fields or interaction potentials. This allows us to simulate a range of physical phenomena where thermal fluctuations play a crucial role, such as nucleation and other energy-barrier crossing transitions. A positivity-preserving algorithm for the density is derived based on a hybrid space discretization of the deterministic and the stochastic terms and different implicit and explicit time integrators. We show through numerous applications that not only our scheme is able to accurately reproduce the statistical properties (structure factor and correlations) of the physical system, but, because of the multiplicative noise, it allows us to simulate energy barrier crossing dynamics, which cannot be captured by mean-field approaches.
△ Less
Submitted 31 December, 2020; v1 submitted 11 October, 2019;
originally announced October 2019.
-
$C^1$ Virtual Element Method on polyhedral meshes
Authors:
Lourenco Beirão da Veiga,
Franco Dassi,
Alessandro Russo
Abstract:
The purpose of the present paper is to develop $C^1$ Virtual Elements in three dimensions for linear elliptic fourth order problems, motivated by the difficulties that standard conforming Finite Elements encounter in this framework. We focus the presentation on the lowest order case, the generalization to higher orders being briefly provided in the Appendix. The degrees of freedom of the proposed…
▽ More
The purpose of the present paper is to develop $C^1$ Virtual Elements in three dimensions for linear elliptic fourth order problems, motivated by the difficulties that standard conforming Finite Elements encounter in this framework. We focus the presentation on the lowest order case, the generalization to higher orders being briefly provided in the Appendix. The degrees of freedom of the proposed scheme are only 4 per mesh vertex, representing function values and gradient values. Interpolation error estimates for the proposed space are provided, together with a set of numerical tests to validate the method at the practical level.
△ Less
Submitted 3 September, 2019; v1 submitted 3 August, 2018;
originally announced August 2018.
-
A family of three-dimensional virtual elements with applications to magnetostatic
Authors:
L. Beirão da Veiga,
F. Brezzi,
F. Dassi,
L. D. Marini,
A. Russo
Abstract:
We consider, as a simple model problem, the application of Virtual Element Methods (VEM) to the linear Magnetostatic three-dimensional problem in the formulation of F. Kikuchi. In doing so, we also introduce new serendipity VEM spaces, where the serendipity reduction is made only on the faces of a general polyhedral decomposition (assuming that internal degrees of freedom could be more easily elim…
▽ More
We consider, as a simple model problem, the application of Virtual Element Methods (VEM) to the linear Magnetostatic three-dimensional problem in the formulation of F. Kikuchi. In doing so, we also introduce new serendipity VEM spaces, where the serendipity reduction is made only on the faces of a general polyhedral decomposition (assuming that internal degrees of freedom could be more easily eliminated by static condensation). These new spaces are meant, more generally, for the combined approximation of $H^1$-conforming ($0$-forms), $H({\rm {\bf curl}})$-conforming ($1$-forms), and $H({\rm div})$-conforming ($2$-forms) functional spaces in three dimensions, and they would surely be useful for other problems and in more general contexts.
△ Less
Submitted 27 April, 2018;
originally announced April 2018.
-
The Virtual Element Method with curved edges
Authors:
L. Beirão da Veiga,
A. Russo,
G. Vacca
Abstract:
In this paper we initiate the investigation of Virtual Elements with curved faces. We consider the case of a fixed curved boundary in two dimensions, as it happens in the approximation of problems posed on a curved domain or with a curved interface. While an approximation of the domain with polygons leads, for degree of accuracy $k \geq 2$, to a sub-optimal rate of convergence, we show (both theor…
▽ More
In this paper we initiate the investigation of Virtual Elements with curved faces. We consider the case of a fixed curved boundary in two dimensions, as it happens in the approximation of problems posed on a curved domain or with a curved interface. While an approximation of the domain with polygons leads, for degree of accuracy $k \geq 2$, to a sub-optimal rate of convergence, we show (both theoretically and numerically) that the proposed curved VEM lead to an optimal rate of convergence.
△ Less
Submitted 11 October, 2018; v1 submitted 12 November, 2017;
originally announced November 2017.
-
Lowest order Virtual Element approximation of magnetostatic problems
Authors:
L. Beirão da Veiga,
F. Brezzi,
F. Dassi,
L. D. Marini,
A. Russo
Abstract:
We give here a simplified presentation of the lowest order Serendipity Virtual Element method, and show its use for the numerical solution of linear magneto-static problems in three dimensions. The method can be applied to very general decompositions of the computational domain (as is natural for Virtual Element Methods) and uses as unknowns the (constant) tangential component of the magnetic fiel…
▽ More
We give here a simplified presentation of the lowest order Serendipity Virtual Element method, and show its use for the numerical solution of linear magneto-static problems in three dimensions. The method can be applied to very general decompositions of the computational domain (as is natural for Virtual Element Methods) and uses as unknowns the (constant) tangential component of the magnetic field $\mathbf{H}$ on each edge, and the vertex values of the Lagrange multiplier $p$ (used to enforce the solenoidality of the magnetic induction $\mathbf{B}=μ\mathbf{H}$). In this respect the method can be seen as the natural generalization of the lowest order Edge Finite Element Method (the so-called "first kind Nédélec" elements) to polyhedra of almost arbitrary shape, and as we show on some numerical examples it exhibits very good accuracy (for being a lowest order element) and excellent robustness with respect to distortions.
△ Less
Submitted 5 October, 2017;
originally announced October 2017.
-
Serendipity Virtual Elements on Polyhedral Meshes
Authors:
Lourenco Beirao da Veiga,
Franco Brezzi,
Franco Dassi,
Luisa Donatella Marini,
Alessandro Russo
Abstract:
We numerically validate the Virtual Element Method of order k for general second order elliptic problems with variable coefficients in three dimensions. Moreover, we investigate numerically also the Serendipity version of the VEM (in three dimensions) and the associated computational gain in terms of degrees of freedom.
We numerically validate the Virtual Element Method of order k for general second order elliptic problems with variable coefficients in three dimensions. Moreover, we investigate numerically also the Serendipity version of the VEM (in three dimensions) and the associated computational gain in terms of degrees of freedom.
△ Less
Submitted 9 October, 2017; v1 submitted 2 October, 2017;
originally announced October 2017.
-
Veamy: an extensible object-oriented C++ library for the virtual element method
Authors:
Alejandro Ortiz-Bernardin,
Catalina Alvarez,
Nancy Hitschfeld-Kahler,
Alessandro Russo,
Rodrigo Silva-Valenzuela,
Edgardo Olate-Sanzana
Abstract:
This paper summarizes the development of Veamy, an object-oriented C++ library for the virtual element method (VEM) on general polygonal meshes, whose modular design is focused on its extensibility. The linear elastostatic and Poisson problems in two dimensions have been chosen as the starting stage for the development of this library. The theory of the VEM, upon which Veamy is built, is presented…
▽ More
This paper summarizes the development of Veamy, an object-oriented C++ library for the virtual element method (VEM) on general polygonal meshes, whose modular design is focused on its extensibility. The linear elastostatic and Poisson problems in two dimensions have been chosen as the starting stage for the development of this library. The theory of the VEM, upon which Veamy is built, is presented using a notation and a terminology that resemble the language of the finite element method (FEM) in engineering analysis. Several examples are provided to demonstrate the usage of Veamy, and in particular, one of them features the interaction between Veamy and the polygonal mesh generator PolyMesher. A computational performance comparison between VEM and FEM is also conducted. Veamy is free and open source software.
△ Less
Submitted 23 December, 2018; v1 submitted 11 August, 2017;
originally announced August 2017.
-
High-order Virtual Element Method on polyhedral meshes
Authors:
L. Beirão da Veiga,
F. Dassi,
A. Russo
Abstract:
We develop a numerical assessment of the Virtual Element Method for the discretization of a diffusion-reaction model problem, for higher "polynomial" order k and three space dimensions. Although the main focus of the present study is to illustrate some h-convergence tests for different orders k, we also hint on other interesting aspects such as structured polyhedral Voronoi meshing, robustness in…
▽ More
We develop a numerical assessment of the Virtual Element Method for the discretization of a diffusion-reaction model problem, for higher "polynomial" order k and three space dimensions. Although the main focus of the present study is to illustrate some h-convergence tests for different orders k, we also hint on other interesting aspects such as structured polyhedral Voronoi meshing, robustness in the presence of irregular grids, sensibility to the stabilization parameter and convergence with respect to the order k.
△ Less
Submitted 15 June, 2017; v1 submitted 8 March, 2017;
originally announced March 2017.
-
Exponential convergence of the hp Virtual Element Method with corner singularities
Authors:
Lorenzo Mascotto,
Lourenço Beirão da Veiga,
Alexey Chernov,
Alessandro Russo
Abstract:
In the present work, we analyze the $hp$ version of Virtual Element methods for the 2D Poisson problem. We prove exponential convergence of the energy error employing sequences of polygonal meshes geometrically refined, thus extending the classical choices for the decomposition in the $hp$ Finite Element framework to very general decomposition of the domain. A new stabilization for the discrete bi…
▽ More
In the present work, we analyze the $hp$ version of Virtual Element methods for the 2D Poisson problem. We prove exponential convergence of the energy error employing sequences of polygonal meshes geometrically refined, thus extending the classical choices for the decomposition in the $hp$ Finite Element framework to very general decomposition of the domain. A new stabilization for the discrete bilinear form with explicit bounds in $h$ and $p$ is introduced. Numerical experiments validate the theoretical results. We also exhibit a numerical comparison between $hp$ Virtual Elements and $hp$ Finite Elements.
△ Less
Submitted 30 November, 2016;
originally announced November 2016.
-
Stability Analysis for the Virtual Element Method
Authors:
Lourenco Beirao da Veiga,
Carlo Lovadina,
Alessandro Russo
Abstract:
We analyse the Virtual Element Methods (VEM) on a simple elliptic model problem, allowing for more general meshes than the one typically considered in the VEM literature. For instance, meshes with arbitrarily small edges (with respect to the parent element diameter), can be dealt with. Our general approach applies to different choices of the stability form, including, for example, the "classical"…
▽ More
We analyse the Virtual Element Methods (VEM) on a simple elliptic model problem, allowing for more general meshes than the one typically considered in the VEM literature. For instance, meshes with arbitrarily small edges (with respect to the parent element diameter), can be dealt with. Our general approach applies to different choices of the stability form, including, for example, the "classical" one introduced in [L. Beirao da Veiga, F. Brezzi, A. Cangiani, G. Manzini, L. D. Marini, and A. Russo, Basic principles of virtual element methods, Math. Models Methods Appl. Sci. 23 (2013), no. 1, 199-214], and a recent one presented in [Wriggers, P., Rust, W.T., and Reddy, B.D., A virtual element method for contact, submitted for publication]. Finally, we show that the stabilization term can be simplified by dropping the contribution of the internal-to-the-element degrees of freedom. The resulting stabilization form, involving only the boundary degrees of freedom, can be used in the VEM scheme without affecting the stability and convergence properties. The numerical tests are in accordance with the theoretical predictions.
△ Less
Submitted 20 July, 2016;
originally announced July 2016.
-
Serendipity Face and Edge VEM Spaces
Authors:
L. Beirao da Veiga,
F. Brezzi,
L. D. Marini,
A. Russo
Abstract:
We extend the basic idea of Serendipity Virtual Elements from the previous case (by the same authors) of nodal ($H^1$-conforming) elements, to a more general framework. Then we apply the general strategy to the case of $H(div)$ and $H(curl)$ conforming Virtual Element Methods, in two and three dimensions.
We extend the basic idea of Serendipity Virtual Elements from the previous case (by the same authors) of nodal ($H^1$-conforming) elements, to a more general framework. Then we apply the general strategy to the case of $H(div)$ and $H(curl)$ conforming Virtual Element Methods, in two and three dimensions.
△ Less
Submitted 3 June, 2016;
originally announced June 2016.
-
On the geometric theory of local MV-algebras
Authors:
Olivia Caramello,
Anna Carla Russo
Abstract:
We investigate the geometric theory of local MV-algebras and its quotients axiomatizing the local MV-algebras in a given proper variety of MV-algebras. We show that, whilst the theory of local MV-algebras is not of presheaf type, each of these quotients is a theory of presheaf type which is Morita-equivalent to an expansion of the theory of lattice-ordered abelian groups. Di Nola-Lettieri's equiva…
▽ More
We investigate the geometric theory of local MV-algebras and its quotients axiomatizing the local MV-algebras in a given proper variety of MV-algebras. We show that, whilst the theory of local MV-algebras is not of presheaf type, each of these quotients is a theory of presheaf type which is Morita-equivalent to an expansion of the theory of lattice-ordered abelian groups. Di Nola-Lettieri's equivalence is recovered from the Morita-equivalence for the quotient axiomatizing the local MV-algebras in Chang's variety, that is, the perfect MV-algebras. We establish along the way a number of results of independent interest, including a constructive treatment of the radical for MV-algebras in a fixed proper variety of MV-algebras and a representation theorem for the finitely presentable algebras in such a variety as finite products of local MV-algebras.
△ Less
Submitted 11 February, 2016;
originally announced February 2016.
-
Serendipity Nodal VEM spaces
Authors:
L. Beirao da Veiga,
F. Brezzi,
L. D. Marini,
A. Russo
Abstract:
We introduce a new variant of Nodal Virtual Element spaces that mimics the "Serendipity Finite Element Methods" (whose most popular example is the 8-node quadrilateral) and allows to reduce (often in a significant way) the number of internal degrees of freedom. When applied to the faces of a three-dimensional decomposition, this allows a reduction in the number of face degrees of freedom: an impro…
▽ More
We introduce a new variant of Nodal Virtual Element spaces that mimics the "Serendipity Finite Element Methods" (whose most popular example is the 8-node quadrilateral) and allows to reduce (often in a significant way) the number of internal degrees of freedom. When applied to the faces of a three-dimensional decomposition, this allows a reduction in the number of face degrees of freedom: an improvement that cannot be achieved by a simple static condensation. On triangular and tetrahedral decompositions the new elements (contrary to the original VEMs) reduce exactly to the classical Lagrange FEM. On quadrilaterals and hexahedra the new elements are quite similar (and have the same amount of degrees of freedom) to the Serendipity Finite Elements, but are much more robust with respect to element distortions. On more general polytopes the Serendipity VEMs are the natural (and simple) generalization of the simplicial case.
△ Less
Submitted 28 October, 2015;
originally announced October 2015.
-
Basic principles of hp Virtual Elements on quasiuniform meshes
Authors:
L. Beirão da Veiga,
A. Chernov,
L. Mascotto,
A. Russo
Abstract:
In the present paper we initiate the study of $hp$ Virtual Elements. We focus on the case with uniform polynomial degree across the mesh and derive theoretical convergence estimates that are explicit both in the mesh size $h$ and in the polynomial degree $p$ in the case of finite Sobolev regularity. Exponential convergence is proved in the case of analytic solutions. The theoretical convergence re…
▽ More
In the present paper we initiate the study of $hp$ Virtual Elements. We focus on the case with uniform polynomial degree across the mesh and derive theoretical convergence estimates that are explicit both in the mesh size $h$ and in the polynomial degree $p$ in the case of finite Sobolev regularity. Exponential convergence is proved in the case of analytic solutions. The theoretical convergence results are validated in numerical experiments. Finally, an initial study on the possible choice of local basis functions is included.
△ Less
Submitted 10 August, 2015;
originally announced August 2015.
-
Mixed Virtual Element Methods for general second order elliptic problems on polygonal meshes
Authors:
L. Beirao da Veiga,
F. Brezzi,
L. D. Marini,
A. Russo
Abstract:
In the present paper we introduce a Virtual Element Method (VEM) for the approximate solution of general linear second order elliptic problems in mixed form, allowing for variable coefficients. We derive a theoretical convergence analysis of the method and develop a set of numerical tests on a benchmark problem with known solution.
In the present paper we introduce a Virtual Element Method (VEM) for the approximate solution of general linear second order elliptic problems in mixed form, allowing for variable coefficients. We derive a theoretical convergence analysis of the method and develop a set of numerical tests on a benchmark problem with known solution.
△ Less
Submitted 24 June, 2015;
originally announced June 2015.
-
A Plane Wave Virtual Element Method for the Helmholtz Problem
Authors:
Ilaria Perugia,
Paola Pietra,
Alessandro Russo
Abstract:
We introduce and analyze a virtual element method (VEM) for the Helmholtz problem with approximating spaces made of products of low order VEM functions and plane waves. We restrict ourselves to the 2D Helmholtz equation with impedance boundary conditions on the whole domain boundary. The main ingredients of the plane wave VEM scheme are: i) a low frequency space made of VEM functions, whose basis…
▽ More
We introduce and analyze a virtual element method (VEM) for the Helmholtz problem with approximating spaces made of products of low order VEM functions and plane waves. We restrict ourselves to the 2D Helmholtz equation with impedance boundary conditions on the whole domain boundary. The main ingredients of the plane wave VEM scheme are: i) a low frequency space made of VEM functions, whose basis functions are not explicitly computed in the element interiors; ii) a proper local projection operator onto the high-frequency space, made of plane waves; iii) an approximate stabilization term. A convergence result for the h-version of the method is proved, and numerical results testing its performance on general polygonal meshes are presented.
△ Less
Submitted 19 May, 2015;
originally announced May 2015.
-
Virtual Element Methods for general second order elliptic problems on polygonal meshes
Authors:
L. Beirão da Veiga,
F. Brezzi,
L. D. Marini,
A. Russo
Abstract:
We consider the discretization of a boundary value problem for a general linear second-order elliptic operator with smooth coefficients using the Virtual Element approach. As in [59] the problem is supposed to have a unique solution, but the associated bilinear form is not supposed to be coercive. Contrary to what was previously done for Virtual Element Methods (as for instance in [9]), we use her…
▽ More
We consider the discretization of a boundary value problem for a general linear second-order elliptic operator with smooth coefficients using the Virtual Element approach. As in [59] the problem is supposed to have a unique solution, but the associated bilinear form is not supposed to be coercive. Contrary to what was previously done for Virtual Element Methods (as for instance in [9]), we use here, in a systematic way, the L^2-projection operators as designed in [1]. In particular, the present method does not reduce to the original Virtual Element Method of [9] for simpler problems as the classical Laplace operator (apart from the lowest order cases). Numerical experiments show the accuracy and the robustness of the method, and they show as well that a simple-minded extension of the method in [9] to the case of variable coefficients produces, in general, sub-optimal results.
△ Less
Submitted 8 December, 2014;
originally announced December 2014.
-
Lattice-ordered abelian groups and perfect MV-algebras: a topos-theoretic perspective
Authors:
Olivia Caramello,
Anna Carla Russo
Abstract:
We establish, generalizing Di Nola and Lettieri's categorical equivalence, a Morita-equivalence between the theory of lattice-ordered abelian groups and that of perfect MV-algebras. Further, after observing that the two theories are not bi-interpretable in the classical sense, we identify, by considering appropriate topos-theoretic invariants on their common classifying topos, three levels of bi-i…
▽ More
We establish, generalizing Di Nola and Lettieri's categorical equivalence, a Morita-equivalence between the theory of lattice-ordered abelian groups and that of perfect MV-algebras. Further, after observing that the two theories are not bi-interpretable in the classical sense, we identify, by considering appropriate topos-theoretic invariants on their common classifying topos, three levels of bi-intepretability holding for particular classes of formulas: irreducible formulas, geometric sentences and imaginaries. Lastly, by investigating the classifying topos of the theory of perfect MV-algebras, we obtain various results on its syntax and semantics also in relation to the cartesian theory of the variety generated by Chang's MV-algebra, including a concrete representation for the finitely presentable models of the latter theory as finite products of finitely presentable perfect MV-algebras. Among the results established on the way, we mention a Morita-equivalence between the theory of lattice-ordered abelian groups and that of cancellative lattice-ordered abelian monoids with bottom element.
△ Less
Submitted 16 September, 2014;
originally announced September 2014.
-
H(div) and H(curl)-conforming VEM
Authors:
L. Beirao da Veiga,
F. Brezzi,
L. D. Marini,
A. Russo
Abstract:
In the present paper we construct Virtual Element Spaces that are $H({\rm div})$-conforming and $H({\rm \bf curl})$-conforming on general polygonal and polyhedral elements; these spaces can be interpreted as a generalization of well known Finite Elements. We moreover present the basic tools needed to make use of these spaces in the approximation of partial differential equations. Finally, we discu…
▽ More
In the present paper we construct Virtual Element Spaces that are $H({\rm div})$-conforming and $H({\rm \bf curl})$-conforming on general polygonal and polyhedral elements; these spaces can be interpreted as a generalization of well known Finite Elements. We moreover present the basic tools needed to make use of these spaces in the approximation of partial differential equations. Finally, we discuss the construction of exact sequences of VEM spaces.
△ Less
Submitted 25 July, 2014;
originally announced July 2014.
-
The Morita-equivalence between MV-algebras and abelian $\ell$-groups with strong unit
Authors:
Olivia Caramello,
Anna Carla Russo
Abstract:
We show that the theory of MV-algebras is Morita-equivalent to that of abelian $\ell$-groups with strong unit. This generalizes the well-known equivalence between the categories of set-based models of the two theories established by D. Mundici in 1986, and allows to transfer properties and results across them by using the methods of topos theory. We discuss several applications, including a sheaf-…
▽ More
We show that the theory of MV-algebras is Morita-equivalent to that of abelian $\ell$-groups with strong unit. This generalizes the well-known equivalence between the categories of set-based models of the two theories established by D. Mundici in 1986, and allows to transfer properties and results across them by using the methods of topos theory. We discuss several applications, including a sheaf-theoretic version of Mundici's equivalence and a bijective correspondence between the geometric theory extensions of the two theories.
△ Less
Submitted 22 April, 2014; v1 submitted 4 December, 2013;
originally announced December 2013.
-
Optimal Preconditioners for Finite Element Approximations of Convection-Diffusion Equations on structured meshes
Authors:
Alessandro Russo,
Stefano Serra Capizzano,
Cristina Tablino Possio
Abstract:
The paper is devoted to the spectral analysis of effective preconditioners for linear systems obtained via a Finite Element approximation to diffusion-dominated convection-diffusion equations. We consider a model setting in which the structured finite element partition is made by equi-lateral triangles. Under such assumptions, if the problem is coercive, and the diffusive and convective coefficien…
▽ More
The paper is devoted to the spectral analysis of effective preconditioners for linear systems obtained via a Finite Element approximation to diffusion-dominated convection-diffusion equations. We consider a model setting in which the structured finite element partition is made by equi-lateral triangles. Under such assumptions, if the problem is coercive, and the diffusive and convective coefficients are regular enough, then the proposed preconditioned matrix sequences exhibit a strong clustering at unity, the preconditioning matrix sequence and the original matrix sequence are spectrally equivalent, and the eigenvector matrices have a mild conditioning. The obtained results allow to show the optimality of the related preconditioned Krylov methods. %It is important to stress that The interest of such a study relies on the observation that automatic grid generators tend to construct equi-lateral triangles when the mesh is fine enough. Numerical tests, both on the model setting and in the non-structured case, show the effectiveness of the proposal and the correctness of the theoretical findings.
△ Less
Submitted 11 September, 2012;
originally announced September 2012.
-
Preconditioned HSS Method for Finite Element Approximations of Convection-Diffusion Equations
Authors:
Alessandro Russo,
Cristina Tablino Possio
Abstract:
A two-step preconditioned iterative method based on the Hermitian/Skew-Hermitian splitting is applied to the solution of nonsymmetric linear systems arising from the Finite Element approximation of convection-diffusion equations. The theoretical spectral analysis focuses on the case of matrix sequences related to FE approximations on uniform structured meshes, by referring to spectral tools deri…
▽ More
A two-step preconditioned iterative method based on the Hermitian/Skew-Hermitian splitting is applied to the solution of nonsymmetric linear systems arising from the Finite Element approximation of convection-diffusion equations. The theoretical spectral analysis focuses on the case of matrix sequences related to FE approximations on uniform structured meshes, by referring to spectral tools derived from Toeplitz theory. In such a setting, if the problem is coercive, and the diffusive and convective coefficients are regular enough, then the proposed preconditioned matrix sequence shows a strong clustering at unity, i.e., a superlinear preconditioning sequence is obtained. Under the same assumptions, the optimality of the PHSS method is proved and some numerical experiments confirm the theoretical results. Tests on unstructured meshes are also presented, showing the some convergence behavior.
△ Less
Submitted 22 July, 2008;
originally announced July 2008.
