-
A coupled finite and boundary spectral element method for linear water-wave propagation problems
Authors:
Antonio Cerrato,
Luis Rodríguez-Tembleque,
José A. González,
M. H. Ferri Aliabadi
Abstract:
A coupled boundary spectral element method (BSEM) and spectral element method (SEM) formulation for the propagation of small-amplitude water waves over variable bathymetries is presented in this work. The wave model is based on the mild-slope equation (MSE), which provides a good approximation of the propagation of water waves over irregular bottom surfaces with slopes up to 1:3. In unbounded doma…
▽ More
A coupled boundary spectral element method (BSEM) and spectral element method (SEM) formulation for the propagation of small-amplitude water waves over variable bathymetries is presented in this work. The wave model is based on the mild-slope equation (MSE), which provides a good approximation of the propagation of water waves over irregular bottom surfaces with slopes up to 1:3. In unbounded domains or infinite regions, space can be divided into two different areas: a central region of interest, where an irregular bathymetry is included, and an exterior infinite region with straight and parallel bathymetric lines. The SEM allows us to model the central region, where any variation of the bathymetry can be considered, while the exterior infinite region is modelled by the BSEM which, combined with the fundamental solution presented by Cerrato et al. [A. Cerrato, J. A. González, L. Rodríguez-Tembleque, Boundary element formulation of the mild-slope equation for harmonic water waves propagating over unidirectional variable bathymetries, Eng. Anal. Boundary Elem. 62 (2016) 22-34.] can include bathymetries with straight and parallel contour lines. This coupled model combines important advantages of both methods; it benefits from the flexibility of the SEM for the interior region and, at the same time, includes the fulfilment of the Sommerfeld's radiation condition for the exterior problem, that is provided by the BSEM. The solution approximation inside the elements is constructed by high order Legendre polynomials associated with Legendre-Gauss-Lobatto quadrature points, providing a spectral convergence for both methods. The proposed formulation has been validated in three different benchmark cases with different shapes of the bottom surface. The solutions exhibit the typical p-convergence of spectral methods.
△ Less
Submitted 1 February, 2025;
originally announced February 2025.
-
Robust impact localisation on composite aerostructures using kernel design and Bayesian fusion under environmental and operational uncertainties
Authors:
Dong Xiao,
Zahra Sharif-Khodaei,
M. H. Aliabadi
Abstract:
Impact localisation on composite aircraft structures remains a significant challenge due to operational and environmental uncertainties, such as variations in temperature, impact mass, and energy levels. This study proposes a novel Gaussian Process Regression framework that leverages the order invariance of time difference of arrival (TDOA) inputs to achieve probabilistic impact localisation under…
▽ More
Impact localisation on composite aircraft structures remains a significant challenge due to operational and environmental uncertainties, such as variations in temperature, impact mass, and energy levels. This study proposes a novel Gaussian Process Regression framework that leverages the order invariance of time difference of arrival (TDOA) inputs to achieve probabilistic impact localisation under such uncertainties. A composite kernel function, combining radial basis function and cosine similarity kernels, is designed based on wave propagation dynamics to enhance adaptability to diverse conditions. Additionally, a task covariance kernel is introduced to enable multitask learning, facilitating the joint prediction of spatial coordinates while capturing interdependencies between outputs. To further improve robustness and accuracy, Bayesian model averaging is employed to dynamically fuse kernel predictions, assigning adaptive weights that account for varying conditions. Extensive experimental validation on a composite plate, including scenarios with large-mass drop tower impacts and small-mass guided drop mass impacts, demonstrates the proposed method's robustness and generalisability. Notably, the framework achieves accurate localisation without requiring compensation strategies for variations in temperature or impact mass, highlighting its suitability for real-world applications. The study also highlights the critical role of sample standardisation for preprocessing TDOA inputs, demonstrating its superiority over feature standardisation by preserving TDOA order invariance and enhancing model compatibility. These advancements establish the proposed method as a reliable and effective solution for structural health monitoring in complex and uncertain operational environments.
△ Less
Submitted 30 January, 2025;
originally announced January 2025.
-
Finite-PINN: A Physics-Informed Neural Network with Finite Geometric Encoding for Solid Mechanics
Authors:
Haolin Li,
Yuyang Miao,
Zahra Sharif Khodaei,
M. H. Aliabadi
Abstract:
PINN models have demonstrated capabilities in addressing fluid PDE problems, and their potential in solid mechanics is beginning to emerge. This study identifies two key challenges when using PINN to solve general solid mechanics problems. These challenges become evident when comparing the limitations of PINN with the well-established numerical methods commonly used in solid mechanics, such as the…
▽ More
PINN models have demonstrated capabilities in addressing fluid PDE problems, and their potential in solid mechanics is beginning to emerge. This study identifies two key challenges when using PINN to solve general solid mechanics problems. These challenges become evident when comparing the limitations of PINN with the well-established numerical methods commonly used in solid mechanics, such as the finite element method (FEM). Specifically: a) PINN models generate solutions over an infinite domain, which conflicts with the finite boundaries typical of most solid structures; and b) the solution space utilised by PINN is Euclidean, which is inadequate for addressing the complex geometries often present in solid structures.
This work presents a PINN architecture for general solid mechanics problems, referred to as the Finite-PINN model. The model is designed to effectively tackle two key challenges, while retaining as much of the original PINN framework as possible. To this end, the Finite-PINN incorporates finite geometric encoding into the neural network inputs, thereby transforming the solution space from a conventional Euclidean space into a hybrid Euclidean-topological space. The model is comprehensively trained using both strong-form and weak-form loss formulations, enabling its application to a wide range of forward and inverse problems in solid mechanics. For forward problems, the Finite-PINN model efficiently approximates solutions to solid mechanics problems when the geometric information of a given structure has been preprocessed. For inverse problems, it effectively reconstructs full-field solutions from very sparse observations by embedding both physical laws and geometric information within its architecture.
△ Less
Submitted 8 June, 2025; v1 submitted 12 December, 2024;
originally announced December 2024.
-
Matchings in matroids over abelian groups, II
Authors:
Mohsen Aliabadi,
Yujia Wu,
Sophia Yermolenko
Abstract:
The concept of matchings originated in group theory to address a linear algebra problem related to canonical forms for symmetric tensors. In an abelian group $(G,+)$, a matching is a bijection $f: A \to B$ between two finite subsets $A$ and $B$ of $G$ such that $a + f(a) \notin A$ for all $a \in A$. A group $G$ has the matching property if, for every two finite subsets $A, B \subset G$ of the same…
▽ More
The concept of matchings originated in group theory to address a linear algebra problem related to canonical forms for symmetric tensors. In an abelian group $(G,+)$, a matching is a bijection $f: A \to B$ between two finite subsets $A$ and $B$ of $G$ such that $a + f(a) \notin A$ for all $a \in A$. A group $G$ has the matching property if, for every two finite subsets $A, B \subset G$ of the same size with $0 \notin B$, there exists a matching from $A$ to $B$. In prior work [5], matroid analogues of results concerning matchings in groups were introduced and established. This paper serves as a sequel, extending that line of inquiry by investigating sparse paving, panhandle, and Schubert matroids through the lens of matchability. While some proofs draw upon earlier findings on the matchability of sparse paving matroids, the paper is designed to be self-contained and accessible without reference to the preceding sequel. Our approach combines tools from both matroid theory and additive number theory.
△ Less
Submitted 18 April, 2025; v1 submitted 5 December, 2024;
originally announced December 2024.
-
The weak acyclic matching property in abelian groups
Authors:
Mohsen Aliabadi,
Peter Taylor
Abstract:
A matching from a finite subset $A\subset\mathbb{Z}^n$ to another subset $B\subset\mathbb{Z}^n$ is a bijection $f : A \rightarrow B$ with the property that $a+f(a)$ never lies in $A$. A matching is called acyclic if it is uniquely determined by its multiplicity function. Alon et al. established the acyclic matching property for $\mathbb{Z}^n$, which was later extended to all abelian torsion-free g…
▽ More
A matching from a finite subset $A\subset\mathbb{Z}^n$ to another subset $B\subset\mathbb{Z}^n$ is a bijection $f : A \rightarrow B$ with the property that $a+f(a)$ never lies in $A$. A matching is called acyclic if it is uniquely determined by its multiplicity function. Alon et al. established the acyclic matching property for $\mathbb{Z}^n$, which was later extended to all abelian torsion-free groups. In a prior work, the authors of this paper settled the acyclic matching property for all abelian groups. The objective of this note is to explore a related concept, known as the weak acyclic matching property, within the context of abelian groups.
△ Less
Submitted 1 April, 2024;
originally announced April 2024.
-
Classifying abelian groups through acyclic matchings
Authors:
Mohsen Aliabadi,
Peter Taylor
Abstract:
The inquiry into identifying sets of monomials that can be eliminated from a generic homogeneous polynomial via a linear change of coordinates was initiated by E. K. Wakeford. This linear algebra problem prompted C. K. Fan and J. Losonczy to introduce the notion of acyclic matchings in the additive group $\mathbb{Z}^n$, subsequently extended to abelian groups by the latter author. Alon, Fan, Kleit…
▽ More
The inquiry into identifying sets of monomials that can be eliminated from a generic homogeneous polynomial via a linear change of coordinates was initiated by E. K. Wakeford. This linear algebra problem prompted C. K. Fan and J. Losonczy to introduce the notion of acyclic matchings in the additive group $\mathbb{Z}^n$, subsequently extended to abelian groups by the latter author. Alon, Fan, Kleitman, and Losonczy established the acyclic matching property for $\mathbb{Z}^n$. This note aims to classify all abelian groups with respect to the acyclic matching property.
△ Less
Submitted 4 September, 2024; v1 submitted 12 February, 2024;
originally announced February 2024.
-
Conditions for matchability in groups and field extensions II
Authors:
Mohsen Aliabadi
Abstract:
We present sufficient conditions for the existence of matchings in abelian groups and their linear counterparts. These conditions lead to extensions of existing results in matching theory. Additionally, we classify subsets within abelian groups that cannot be matched. We introduce the concept of Chowla subspaces and formulate and conjecture a linear analogue of a result originally attributed to Y.…
▽ More
We present sufficient conditions for the existence of matchings in abelian groups and their linear counterparts. These conditions lead to extensions of existing results in matching theory. Additionally, we classify subsets within abelian groups that cannot be matched. We introduce the concept of Chowla subspaces and formulate and conjecture a linear analogue of a result originally attributed to Y. O. Hamidoune [20] concerning Chowla sets. If proven true, this result would extend matchings in primitive subspaces. Throughout the paper, we emphasize the analogy between matchings in abelian groups and field extensions. We also pose numerous open questions for future research. Our approach relies on classical theorems in group theory, additive number theory and linear algebra. As the title of the paper suggests, this work is the second sequel to a previous paper [5] with a similar theme. This paper is self-contained and can be read independently.
△ Less
Submitted 29 March, 2024; v1 submitted 26 September, 2023;
originally announced September 2023.
-
Matchings in matroids over abelian groups
Authors:
Mohsen Aliabadi,
Shira Zerbib
Abstract:
We formulate and prove matroid analogues of results concerning matchings in groups. A matching in an abelian group $(G,+)$ is a bijection $f:A\to B$ between two finite subsets $A,B$ of $G$ satisfying $a+f(a)\notin A$ for all $a\in A$. A group $G$ has the matching property if for every two finite subsets $A,B \subset G$ of the same size with $0 \notin B$, there exists a matching from $A$ to $B$. In…
▽ More
We formulate and prove matroid analogues of results concerning matchings in groups. A matching in an abelian group $(G,+)$ is a bijection $f:A\to B$ between two finite subsets $A,B$ of $G$ satisfying $a+f(a)\notin A$ for all $a\in A$. A group $G$ has the matching property if for every two finite subsets $A,B \subset G$ of the same size with $0 \notin B$, there exists a matching from $A$ to $B$. In [19] it was proved that an abelian group has the matching property if and only if it is torsion-free or cyclic of prime order. Here we consider a similar question in a matroid setting. We introduce an analogous notion of matching between matroids whose ground sets are subsets of an abelian group $G$, and we obtain criteria for the existence of such matchings. Our tools are classical theorems in matroid theory, group theory and additive number theory.
△ Less
Submitted 13 February, 2024; v1 submitted 15 February, 2022;
originally announced February 2022.
-
Conditions for matchability in groups and field extensions
Authors:
Mohsen Aliabadi,
Jack Kinseth,
Christopher Kunz,
Haris Serdarevic,
Cole Wills
Abstract:
The origins of the notion of matchings in groups spawn from a linear algebra problem proposed by E. K. Wakeford [24] which was tackled in 1996 [10]. In this paper, we first discuss unmatchable subsets in abelian groups. Then we formulate and prove linear analogues of results concerning matchings, along with a conjecture that, if true, would extend the primitive subspace theorem. We discuss the dim…
▽ More
The origins of the notion of matchings in groups spawn from a linear algebra problem proposed by E. K. Wakeford [24] which was tackled in 1996 [10]. In this paper, we first discuss unmatchable subsets in abelian groups. Then we formulate and prove linear analogues of results concerning matchings, along with a conjecture that, if true, would extend the primitive subspace theorem. We discuss the dimension $m$-intersection property for vector spaces and its connection to matching subspaces in a field extension, and we prove the linear version of an intersection property result of certain subsets of a given set.
△ Less
Submitted 7 March, 2022; v1 submitted 19 July, 2021;
originally announced July 2021.
-
Results and questions on matchings in groups and vector subspaces of fields
Authors:
Mohsen Aliabadi,
Khashayar Filom
Abstract:
A matching from a finite subset $A$ of an abelian group to another subset $B$ is a bijection $f:A\rightarrow B$ with the property that $a+f(a)$ never lies in $A$. A matching is called acyclic if it is uniquely determined by its multiplicity function. Motivated by a question of E. K. Wakeford on canonical forms for symmetric tensors, the study of matchings and acyclic matchings in abelian groups wa…
▽ More
A matching from a finite subset $A$ of an abelian group to another subset $B$ is a bijection $f:A\rightarrow B$ with the property that $a+f(a)$ never lies in $A$. A matching is called acyclic if it is uniquely determined by its multiplicity function. Motivated by a question of E. K. Wakeford on canonical forms for symmetric tensors, the study of matchings and acyclic matchings in abelian groups was initiated by C. K. Fan and J. Losonczy in [16, 26], and was later generalized to the context of vector subspaces in a field extension [13, 1]. We discuss the acyclic matching and weak acyclic matching properties and we provide results on the existence of acyclic matchings in finite cyclic groups. As for field extensions, we completely classify field extensions with the linear acyclic matching property. The analogy between matchings in abelian groups and in field extensions is highlighted throughout the paper and numerous open questions are presented for further inquiry.
△ Less
Submitted 30 January, 2022; v1 submitted 21 March, 2021;
originally announced March 2021.
-
On the complexity of finding tensor ranks
Authors:
Mohsen Aliabadi,
Shmuel Friedland
Abstract:
The purpose of this note is to give a linear algebra algorithm to find out if a rank of a given tensor over a field $\F$ is at most $k$ over the algebraic closure of $\F$, where $k$ is a given positive integer. We estimate the arithmetic complexity of our algorithm.
The purpose of this note is to give a linear algebra algorithm to find out if a rank of a given tensor over a field $\F$ is at most $k$ over the algebraic closure of $\F$, where $k$ is a given positive integer. We estimate the arithmetic complexity of our algorithm.
△ Less
Submitted 13 November, 2020; v1 submitted 15 February, 2020;
originally announced February 2020.
-
On linear version of an elementary group theory result
Authors:
Mohsen Aliabadi
Abstract:
Given a cyclic group $G$ of order $p^r$, where $p$ is a prime and $r\in\mathbb{N}$. It is well-known that the order of its greatest proper subgroup $ψ(G)$ and the number of its generators $φ(G)$ satisfy $ψ(G)+φ(G)=p^r$. In this paper, we give a linear version of this group theory theorem for primitive subspaces in a field extension using tools from field theory and linear algebra. We also discuss…
▽ More
Given a cyclic group $G$ of order $p^r$, where $p$ is a prime and $r\in\mathbb{N}$. It is well-known that the order of its greatest proper subgroup $ψ(G)$ and the number of its generators $φ(G)$ satisfy $ψ(G)+φ(G)=p^r$. In this paper, we give a linear version of this group theory theorem for primitive subspaces in a field extension using tools from field theory and linear algebra. We also discuss partitions of finite fields by using their primitive subspaces.
△ Less
Submitted 14 December, 2019; v1 submitted 27 November, 2019;
originally announced December 2019.
-
SPA-GAN: Spatial Attention GAN for Image-to-Image Translation
Authors:
Hajar Emami,
Majid Moradi Aliabadi,
Ming Dong,
Ratna Babu Chinnam
Abstract:
Image-to-image translation is to learn a mapping between images from a source domain and images from a target domain. In this paper, we introduce the attention mechanism directly to the generative adversarial network (GAN) architecture and propose a novel spatial attention GAN model (SPA-GAN) for image-to-image translation tasks. SPA-GAN computes the attention in its discriminator and use it to he…
▽ More
Image-to-image translation is to learn a mapping between images from a source domain and images from a target domain. In this paper, we introduce the attention mechanism directly to the generative adversarial network (GAN) architecture and propose a novel spatial attention GAN model (SPA-GAN) for image-to-image translation tasks. SPA-GAN computes the attention in its discriminator and use it to help the generator focus more on the most discriminative regions between the source and target domains, leading to more realistic output images. We also find it helpful to introduce an additional feature map loss in SPA-GAN training to preserve domain specific features during translation. Compared with existing attention-guided GAN models, SPA-GAN is a lightweight model that does not need additional attention networks or supervision. Qualitative and quantitative comparison against state-of-the-art methods on benchmark datasets demonstrates the superior performance of SPA-GAN.
△ Less
Submitted 30 December, 2020; v1 submitted 19 August, 2019;
originally announced August 2019.
-
A note on matchings in abelian groups
Authors:
Mohsen Aliabadi,
Shiva Soleimany Dizicheh
Abstract:
The question of finding sets of monomials which are removable from a generic homogeneous polynomial through a linear change in its variables was raised by E. K. Wakeford in 1916. This linear algebra question motivated J. Losonczy to define the concept of acyclic matchings in Z n, and later in abelian groups. In this paper, we give a constructive approach to study the acyclic matchings in cyclic gr…
▽ More
The question of finding sets of monomials which are removable from a generic homogeneous polynomial through a linear change in its variables was raised by E. K. Wakeford in 1916. This linear algebra question motivated J. Losonczy to define the concept of acyclic matchings in Z n, and later in abelian groups. In this paper, we give a constructive approach to study the acyclic matchings in cyclic groups. We also introduce the notion of weakly matched subsets and investigate its relation with matchings in abelian groups.
△ Less
Submitted 19 February, 2020; v1 submitted 15 August, 2018;
originally announced August 2018.
-
On local matching property in groups and vector space
Authors:
Mohsen Aliabadi,
Mano Vikash Janardhanan
Abstract:
In this paper, we define locally matchable subsets of a group which is derived from the concept of matchings in groups and used as a tool to give alternative proofs for existing results in matching theory. We also give the linear analogue of local matching property for subspaces in a field extension. Our tools mix additive number theory, combinatorics and algebra.
In this paper, we define locally matchable subsets of a group which is derived from the concept of matchings in groups and used as a tool to give alternative proofs for existing results in matching theory. We also give the linear analogue of local matching property for subspaces in a field extension. Our tools mix additive number theory, combinatorics and algebra.
△ Less
Submitted 3 August, 2018;
originally announced August 2018.
-
On matchable subsets in abelian groups and their linear analogues
Authors:
Mohsen Aliabadi,
Mano Vikash Janardhanan
Abstract:
In this paper, we introduce the notions of matching matrices in groups and vector spaces, which lead to some necessary conditions for existence of acyclic matching in abelian groups and its linear analogue. We also study the linear local matching property in field extensions to find a dimension criteria for linear locally matchable bases. Moreover, we define the weakly locally matchable subspaces…
▽ More
In this paper, we introduce the notions of matching matrices in groups and vector spaces, which lead to some necessary conditions for existence of acyclic matching in abelian groups and its linear analogue. We also study the linear local matching property in field extensions to find a dimension criteria for linear locally matchable bases. Moreover, we define the weakly locally matchable subspaces and we investigate their relations with matchable subspaces. We provide an upper bound for the dimension of primitive subspaces in a separable field extension. We employ MATLAB coding to investigate the existence of acyclic matchings in finite cyclic groups. Finally, a possible research problem on matchings in n-groups is presented. Our tools in this paper mix combinatorics and linear algebra.
△ Less
Submitted 6 August, 2019; v1 submitted 3 August, 2018;
originally announced August 2018.
-
On mathching property for groups and vector spaces
Authors:
Mohsen Aliabadi,
Majid Hadian,
Amir Jafari
Abstract:
In this paper we prove a sufficient condition for the existence of matchings in arbitrary groups and its linear analogue, which lead to some generalizations of the existing results in the theory of matchings in groups and central extensions of division rings. We introduce the notion of relative matchings between arrays of elements in groups and use this notion to study the behavior of matchable se…
▽ More
In this paper we prove a sufficient condition for the existence of matchings in arbitrary groups and its linear analogue, which lead to some generalizations of the existing results in the theory of matchings in groups and central extensions of division rings. We introduce the notion of relative matchings between arrays of elements in groups and use this notion to study the behavior of matchable sets under group homomorphisms. We also present infinite families of prime numbers p such that Z/pZ does not have the acyclic matching property. Finally, we introduce the linear version of acyclic matching property and show that purely transcendental field extensions satisfy this property
△ Less
Submitted 17 August, 2015;
originally announced August 2015.
-
On Maximal and Minimal Linear Matching Property
Authors:
Mohsen Aliabadi,
Mohammadreza Darafsheh
Abstract:
The matching basis in field extentions is introduced by S. Eliahou and C. Lecouvey in [2]. In this paper we define the minimal and maximal linear matching property for field extensions and prove that if K is not algebraically closed, then K has minimal linear matching property. In this paper we will prove that algebraic number fields have maximal linear matching property. We also give a shorter pr…
▽ More
The matching basis in field extentions is introduced by S. Eliahou and C. Lecouvey in [2]. In this paper we define the minimal and maximal linear matching property for field extensions and prove that if K is not algebraically closed, then K has minimal linear matching property. In this paper we will prove that algebraic number fields have maximal linear matching property. We also give a shorter proof of a result established in [6] on the fundamental theorem of algebra.
△ Less
Submitted 4 August, 2015;
originally announced August 2015.
-
Acyclicity for Groups and Vector Spaces
Authors:
M. Aliabadi,
H. Jolany,
M. Amin Khajehnejad,
M. J. Moghaddamzadeh,
H. Shahmohamad
Abstract:
The notion of acyclic matching property was provided by Losonczy and it was proved that torsion-free groups admit this property. In this paper, we introduce a duality of acyclic matching as a tool for classification of some Abelian groups, moreover, we study matchings for vector spaces and give a connection between matchings in groups and vector spaces. Our tools mix additive number theory, combin…
▽ More
The notion of acyclic matching property was provided by Losonczy and it was proved that torsion-free groups admit this property. In this paper, we introduce a duality of acyclic matching as a tool for classification of some Abelian groups, moreover, we study matchings for vector spaces and give a connection between matchings in groups and vector spaces. Our tools mix additive number theory, combinatorics and algebra.
△ Less
Submitted 25 July, 2015;
originally announced July 2015.
-
Erratum to: Matching Subspaces in a Field Extension
Authors:
Saieed Akbari,
Mohsen Aliabadi
Abstract:
Recently, it has been proved that if we have a field extension, then it has linear matching property if and only if L is purely transcendental or is an extension of prime degree. In this note we provide a counterexample for this result.
Recently, it has been proved that if we have a field extension, then it has linear matching property if and only if L is purely transcendental or is an extension of prime degree. In this note we provide a counterexample for this result.
△ Less
Submitted 24 July, 2015;
originally announced July 2015.
-
A Note On Multi Poly-Euler Numbers And Bernoulli Polynomials
Authors:
Hassan Jolany,
Mohsen Aliabadi,
Roberto B. Corcino,
M. R. Darafsheh
Abstract:
In this paper we introduce the generalization of Multi Poly-Euler polynomials and we investigate some relationship involving Multi Poly-Euler polynomials. Obtaining a closed formula for generalization of Multi Poly-Euler numbers therefore seems to be a natural and important problem.
In this paper we introduce the generalization of Multi Poly-Euler polynomials and we investigate some relationship involving Multi Poly-Euler polynomials. Obtaining a closed formula for generalization of Multi Poly-Euler numbers therefore seems to be a natural and important problem.
△ Less
Submitted 12 January, 2014;
originally announced January 2014.
