-
E(3)-Equivariant Mesh Neural Networks
Authors:
Thuan Trang,
Nhat Khang Ngo,
Daniel Levy,
Thieu N. Vo,
Siamak Ravanbakhsh,
Truong Son Hy
Abstract:
Triangular meshes are widely used to represent three-dimensional objects. As a result, many recent works have address the need for geometric deep learning on 3D mesh. However, we observe that the complexities in many of these architectures does not translate to practical performance, and simple deep models for geometric graphs are competitive in practice. Motivated by this observation, we minimall…
▽ More
Triangular meshes are widely used to represent three-dimensional objects. As a result, many recent works have address the need for geometric deep learning on 3D mesh. However, we observe that the complexities in many of these architectures does not translate to practical performance, and simple deep models for geometric graphs are competitive in practice. Motivated by this observation, we minimally extend the update equations of E(n)-Equivariant Graph Neural Networks (EGNNs) (Satorras et al., 2021) to incorporate mesh face information, and further improve it to account for long-range interactions through hierarchy. The resulting architecture, Equivariant Mesh Neural Network (EMNN), outperforms other, more complicated equivariant methods on mesh tasks, with a fast run-time and no expensive pre-processing. Our implementation is available at https://github.com/HySonLab/EquiMesh
△ Less
Submitted 18 February, 2024; v1 submitted 7 February, 2024;
originally announced February 2024.
-
A skew Newton-Puiseux Theorem
Authors:
Elad Paran,
Thieu N. Vo
Abstract:
We prove a skew generalization of the Newton-Puiseux theorem for the field $F = \bigcup_{n=1}^\infty \mathbb{C}((x^\frac{1}{n}))$ of Puiseux series: For any positive real number $α$, we consider the $\mathbb{C}$-automorphism $σ$ of $F$ given by $x \mapsto αx$, and prove that every non-constant polynomial in the skew polynomial ring $F[t,σ]$ factors into a product of linear terms. This generalizes…
▽ More
We prove a skew generalization of the Newton-Puiseux theorem for the field $F = \bigcup_{n=1}^\infty \mathbb{C}((x^\frac{1}{n}))$ of Puiseux series: For any positive real number $α$, we consider the $\mathbb{C}$-automorphism $σ$ of $F$ given by $x \mapsto αx$, and prove that every non-constant polynomial in the skew polynomial ring $F[t,σ]$ factors into a product of linear terms. This generalizes the classical theorem where $σ= {\rm id}$, and gives the first concrete example of a field of characteristic $0$ that is algebraically closed with respect to a non-trivial automorphism -- a notion studied in works of Aryapoor and of Smith. Our result also resolves an open question of Aryapoor concerning such fields. A key ingredient in the proof is a new variant of Hensel's lemma.
△ Less
Submitted 29 November, 2023;
originally announced November 2023.
-
Design equivariant neural networks for 3D point cloud
Authors:
Thuan N. A. Trang,
Thieu N. Vo,
Khuong D. Nguyen
Abstract:
This work seeks to improve the generalization and robustness of existing neural networks for 3D point clouds by inducing group equivariance under general group transformations. The main challenge when designing equivariant models for point clouds is how to trade-off the performance of the model and the complexity. Existing equivariant models are either too complicate to implement or very high comp…
▽ More
This work seeks to improve the generalization and robustness of existing neural networks for 3D point clouds by inducing group equivariance under general group transformations. The main challenge when designing equivariant models for point clouds is how to trade-off the performance of the model and the complexity. Existing equivariant models are either too complicate to implement or very high complexity. The main aim of this study is to build a general procedure to introduce group equivariant property to SOTA models for 3D point clouds. The group equivariant models built form our procedure are simple to implement, less complexity in comparison with the existing ones, and they preserve the strengths of the original SOTA backbone. From the results of the experiments on object classification, it is shown that our methods are superior to other group equivariant models in performance and complexity. Moreover, our method also helps to improve the mIoU of semantic segmentation models. Overall, by using a combination of only-finite-rotation equivariance and augmentation, our models can outperform existing full $SO(3)$-equivariance models with much cheaper complexity and GPU memory. The proposed procedure is general and forms a fundamental approach to group equivariant neural networks. We believe that it can be easily adapted to other SOTA models in the future.
△ Less
Submitted 1 May, 2022;
originally announced May 2022.
-
Periodontitis and preeclampsia in pregnancy: A systematic review and meta-analysis
Authors:
Quynh-Anh Le,
Rahena Akhter,
Kimberly M. Coulton,
Ngoc T. N Vo,
Le T. Y Duong,
Hoang V. Nong,
Albert Yaacoub,
George Condous,
Joerg Eberhard,
Ralph Nanan
Abstract:
Objectives: A conflicting body of evidence suggests localized periodontal inflammation to spread systemically during pregnancy inducing adverse pregnancy outcomes. This systematic review and meta-analysis aimed to specifically evaluate the relationship between periodontitis and preeclampsia. Methods: Electronic searches were carried out in Medline, Pubmed, Cochrane Controlled Clinical Trial Regist…
▽ More
Objectives: A conflicting body of evidence suggests localized periodontal inflammation to spread systemically during pregnancy inducing adverse pregnancy outcomes. This systematic review and meta-analysis aimed to specifically evaluate the relationship between periodontitis and preeclampsia. Methods: Electronic searches were carried out in Medline, Pubmed, Cochrane Controlled Clinical Trial Register to identify and select observational case-control and cohort studies that analyzed the association between periodontal disease and preeclampsia. Prisma guidelines and Moose checklist were followed. Results: Thirty studies including six cohorts and twenty-four case-control studies were selected. Periodontitis was significantly associated with increased risk for preeclampsia, especially in a subgroup analysis including cohort studies and subgroup analysis with lower-middle-income countries. Conclusion: Periodontitis appears as a significant risk factor for preeclampsia, which might be even more pronounced in lower-middle-income countries.
△ Less
Submitted 9 August, 2021;
originally announced August 2021.
-
Classification of 7-dimensional solvable Lie algebras having 5-dimensional nilradicals
Authors:
Vu A. Le,
Tuan A. Nguyen,
Tu T. C. Nguyen,
Tuyen T. M. Nguyen,
Thieu N. Vo
Abstract:
This paper presents a classification of 7-dimensional real and complex indecomposable solvable Lie algebras having some 5-dimensional nilradicals. Afterwards, we combine our results with those of Rubin and Winternitz (1993), Ndogmo and Winternitz (1994), Snobl and Winternitz (2005, 2009), Snobl and Karásek (2010) to obtain a complete classification of 7-dimensional real and complex indecomposable…
▽ More
This paper presents a classification of 7-dimensional real and complex indecomposable solvable Lie algebras having some 5-dimensional nilradicals. Afterwards, we combine our results with those of Rubin and Winternitz (1993), Ndogmo and Winternitz (1994), Snobl and Winternitz (2005, 2009), Snobl and Karásek (2010) to obtain a complete classification of 7-dimensional real and complex indecomposable solvable Lie algebras with 5-dimensional nilradicals. In association with Gong (1998), Parry (2007), Hindeleh and Thompson (2008), we achieve a classification of 7-dimensional real and complex indecomposable solvable Lie algebras.
△ Less
Submitted 8 July, 2021;
originally announced July 2021.
-
Testing isomorphism of complex and real Lie algebras
Authors:
Tuan A. Nguyen,
Vu A. Le,
Thieu N. Vo
Abstract:
In this paper, we give algorithms for determining the existence of isomorphism between two finite-dimensional Lie algebras and compute such an isomorphism in the affirrmative case. We also provide algorithms for determining algebraic relations of parameters in order to decide whether two parameterized Lie algebras are isomorphic. All of the considered Lie algebras are considered over a field $\F$,…
▽ More
In this paper, we give algorithms for determining the existence of isomorphism between two finite-dimensional Lie algebras and compute such an isomorphism in the affirrmative case. We also provide algorithms for determining algebraic relations of parameters in order to decide whether two parameterized Lie algebras are isomorphic. All of the considered Lie algebras are considered over a field $\F$, where $\F=\C$ or $\F=\R$. Several illustrative examples are given to show the applicability and the effectiveness of the proposed algorithms.
△ Less
Submitted 21 February, 2021;
originally announced February 2021.
-
On the problem of classifying solvable Lie algebras having small codimensional derived algebras
Authors:
Hoa Q. Duong,
Vu A. Le,
Tuan A. Nguyen,
Hai T. T. Cao,
Thieu N. Vo
Abstract:
This paper concerns the problem of classifying finite-dimensional real solvable Lie algebras whose derived algebras are of codimension 1 or 2. On the one hand, we present an effective method to classify all $(n+1)$-dimensional real solvable Lie algebras having 1-codimensional derived algebras provided that a full classification of $n$-dimensional nilpotent Lie algebras is given. On the other hand,…
▽ More
This paper concerns the problem of classifying finite-dimensional real solvable Lie algebras whose derived algebras are of codimension 1 or 2. On the one hand, we present an effective method to classify all $(n+1)$-dimensional real solvable Lie algebras having 1-codimensional derived algebras provided that a full classification of $n$-dimensional nilpotent Lie algebras is given. On the other hand, the problem of classifying all $(n+2)$-dimensional real solvable Lie algebras having 2-codimensional derived algebras is proved to be wild. In this case, we provide a method to classify a subclass of the considered Lie algebras which are extended from their derived algebras by a pair of derivations containing at least one inner derivation.
△ Less
Submitted 10 March, 2020;
originally announced March 2020.
-
Rational Solutions of First-Order Algebraic Ordinary Difference Equations
Authors:
Thieu N. Vo,
Yi Zhang
Abstract:
We propose an algebraic geometric approach for studying rational solutions of first-order algebraic ordinary difference equations. For an autonomous first-order algebraic ordinary difference equations, we give an upper bound for the degrees of its rational solutions, and thus derive a complete algorithm for computing corresponding rational solutions.
We propose an algebraic geometric approach for studying rational solutions of first-order algebraic ordinary difference equations. For an autonomous first-order algebraic ordinary difference equations, we give an upper bound for the degrees of its rational solutions, and thus derive a complete algorithm for computing corresponding rational solutions.
△ Less
Submitted 1 February, 2019; v1 submitted 30 January, 2019;
originally announced January 2019.
-
On Existence and Uniqueness of Formal Power Series Solutions of Algebraic Ordinary Differential Equations
Authors:
Sebastian Falkensteiner,
Yi Zhang,
Thieu N. Vo
Abstract:
Given an algebraic ordinary differential equation (AODE), we propose a computational method to determine when a truncated power series can be extended to a formal power series solution. If a certain regularity condition on the given AODE or on the initial values is fulfilled, we compute all of the solutions. Moreover, when the existence is confirmed, we present the algebraic structure of the set o…
▽ More
Given an algebraic ordinary differential equation (AODE), we propose a computational method to determine when a truncated power series can be extended to a formal power series solution. If a certain regularity condition on the given AODE or on the initial values is fulfilled, we compute all of the solutions. Moreover, when the existence is confirmed, we present the algebraic structure of the set of all formal power series solutions.
△ Less
Submitted 2 July, 2021; v1 submitted 26 March, 2018;
originally announced March 2018.
-
Rational Solutions of High-Order Algebraic Ordinary Differential Equations
Authors:
Thieu N. Vo,
Yi Zhang
Abstract:
We consider algebraic ordinary differential equations (AODEs) and study their polynomial and rational solutions. A sufficient condition for an AODE to have a degree bound for its polynomial solutions is presented. An AODE satisfying this condition is called \emph{noncritical}. We prove that usual low order classes of AODEs are noncritical. For rational solutions, we determine a class of AODEs, whi…
▽ More
We consider algebraic ordinary differential equations (AODEs) and study their polynomial and rational solutions. A sufficient condition for an AODE to have a degree bound for its polynomial solutions is presented. An AODE satisfying this condition is called \emph{noncritical}. We prove that usual low order classes of AODEs are noncritical. For rational solutions, we determine a class of AODEs, which are called \emph{maximally comparable}, such that the poles of their rational solutions are recognizable from their coefficients. This generalizes a fact from linear AODEs, that the poles of their rational solutions are the zeros of the corresponding highest coefficient. An algorithm for determining all rational solutions, if there is any, of certain maximally comparable AODEs, which covers $78.54\%$ AODEs from a standard differential equations collection by Kamke, is presented.
△ Less
Submitted 22 April, 2018; v1 submitted 13 September, 2017;
originally announced September 2017.
-
Complexity of Triangular Representations of Algebraic Sets
Authors:
Eli Amzallag,
Gleb Pogudin,
Mengxiao Sun,
Thieu N. Vo
Abstract:
Triangular decomposition is one of the standard ways to represent the radical of a polynomial ideal. A general algorithm for computing such a decomposition was proposed by A. Szanto. In this paper, we give the first complete bounds for the degrees of the polynomials and the number of components in the output of the algorithm, providing explicit formulas for these bounds.
Triangular decomposition is one of the standard ways to represent the radical of a polynomial ideal. A general algorithm for computing such a decomposition was proposed by A. Szanto. In this paper, we give the first complete bounds for the degrees of the polynomials and the number of components in the output of the algorithm, providing explicit formulas for these bounds.
△ Less
Submitted 17 September, 2018; v1 submitted 30 September, 2016;
originally announced September 2016.
-
Face Alignment Using Active Shape Model And Support Vector Machine
Authors:
Thai Hoang Le,
Truong Nhat Vo
Abstract:
The Active Shape Model (ASM) is one of the most popular local texture models for face alignment. It applies in many fields such as locating facial features in the image, face synthesis, etc. However, the experimental results show that the accuracy of the classical ASM for some applications is not high. This paper suggests some improvements on the classical ASM to increase the performance of the mo…
▽ More
The Active Shape Model (ASM) is one of the most popular local texture models for face alignment. It applies in many fields such as locating facial features in the image, face synthesis, etc. However, the experimental results show that the accuracy of the classical ASM for some applications is not high. This paper suggests some improvements on the classical ASM to increase the performance of the model in the application: face alignment. Four of our major improvements include: i) building a model combining Sobel filter and the 2-D profile in searching face in image; ii) applying Canny algorithm for the enhancement edge on image; iii) Support Vector Machine (SVM) is used to classify landmarks on face, in order to determine exactly location of these landmarks support for ASM; iv)automatically adjust 2-D profile in the multi-level model based on the size of the input image. The experimental results on Caltech face database and Technical University of Denmark database (imm_face) show that our proposed improvement leads to far better performance.
△ Less
Submitted 27 September, 2012;
originally announced September 2012.
-
SWASHES: a compilation of Shallow Water Analytic Solutions for Hydraulic and Environmental Studies
Authors:
Olivier Delestre,
Carine Lucas,
Pierre-Antoine Ksinant,
Frédéric Darboux,
Christian Laguerre,
Thi Ngoc Tuoi Vo,
Francois James,
Stephane Cordier
Abstract:
Numerous codes are being developed to solve Shallow Water equations. Because there are used in hydraulic and environmental studies, their capability to simulate properly flow dynamics is critical to guarantee infrastructure and human safety. While validating these codes is an important issue, code validations are currently restricted because analytic solutions to the Shallow Water equations are ra…
▽ More
Numerous codes are being developed to solve Shallow Water equations. Because there are used in hydraulic and environmental studies, their capability to simulate properly flow dynamics is critical to guarantee infrastructure and human safety. While validating these codes is an important issue, code validations are currently restricted because analytic solutions to the Shallow Water equations are rare and have been published on an individual basis over a period of more than five decades. This article aims at making analytic solutions to the Shallow Water equations easily available to code developers and users. It compiles a significant number of analytic solutions to the Shallow Water equations that are currently scattered through the literature of various scientific disciplines. The analytic solutions are described in a unified formalism to make a consistent set of test cases. These analytic solutions encompass a wide variety of flow conditions (supercritical, subcritical, shock, etc.), in 1 or 2 space dimensions, with or without rain and soil friction, for transitory flow or steady state. The corresponding source codes are made available to the community (http://www.univ-orleans.fr/mapmo/soft/SWASHES), so that users of Shallow Water-based models can easily find an adaptable benchmark library to validate their numerical methods.
△ Less
Submitted 21 January, 2016; v1 submitted 3 October, 2011;
originally announced October 2011.
