Showing 1–43 of 43 results for author: Faisal

Classical invariants of spiral knots

Authors: Sarah Blackwell, Ashish Das, Sydney Mayer, Luke Moyar, Faisal Quraishi, Ryan Stees

Abstract: Torus knots are an important family of knots about which much is understood; invariants of torus knots often exhibit nice formulas, making them convenient and fundamental building blocks for examples in knot theory. Spiral knots, defined and first studied by Brothers et al., are a braid-theoretic generalization of torus knots, but comparatively not much is known about this broader family of knots.… ▽ More Torus knots are an important family of knots about which much is understood; invariants of torus knots often exhibit nice formulas, making them convenient and fundamental building blocks for examples in knot theory. Spiral knots, defined and first studied by Brothers et al., are a braid-theoretic generalization of torus knots, but comparatively not much is known about this broader family of knots. We give a general recursive formula for the Alexander polynomials of spiral knots, and from this we derive several properties of spiral knots, including a simple genus formula. Additionally, we investigate the consequences these results have on classification questions. △ Less

Submitted 21 June, 2025; originally announced June 2025.

Comments: 32 pages, 7 figures, comments very welcome!

MSC Class: 57K10

Geometric means of HPD GLT matrix-sequences: a maximal result beyond invertibility assumptions on the GLT symbols

Authors: Asiim Ilyas, Muhammad Faisal Khan, Valerio Loi, Stefano Serra-Capizzano

Abstract: In the current work, we consider the study of the spectral distribution of the geometric mean matrix-sequence of two matrix-sequences $\{G(A_n, B_n)\}_n$ formed by Hermitian Positive Definite (HPD) matrices, assuming that the two input matrix-sequences $\{A_n\}_n, \{B_n\}_n$ belong to the same $d$-level $r$-block Generalized Locally Toeplitz (GLT) $\ast$-algebra with $d,r\ge 1$ and with GLT symb… ▽ More In the current work, we consider the study of the spectral distribution of the geometric mean matrix-sequence of two matrix-sequences $\{G(A_n, B_n)\}_n$ formed by Hermitian Positive Definite (HPD) matrices, assuming that the two input matrix-sequences $\{A_n\}_n, \{B_n\}_n$ belong to the same $d$-level $r$-block Generalized Locally Toeplitz (GLT) $\ast$-algebra with $d,r\ge 1$ and with GLT symbols $κ, ξ$. Building on recent results in the literature, we examine whether the assumption that at least one of the input GLT symbols is invertible almost everywhere (a.e.) is necessary. Since inversion is mainly required due to the non-commutativity of the matrix product, it was conjectured that the hypothesis on the invertibility of the GLT symbols can be removed. In fact, we prove the conjectured statement that is \[ \{G(A_n, B_n)\}_n \sim_{\mathrm{GLT}} (κξ)^{1/2} \] when the symbols $κ, ξ$ commute, which implies the important case where $r=1$ and $d \geq 1 $, while the statement is generally false or even not well posed when the symbols are not invertible a.e. and do not commute. In fact, numerical experiments are conducted in the case where the two symbols do not commute, showing that the main results of the present work are maximal. Further numerical experiments, visualizations, and conclusions end the present contribution. △ Less

Submitted 6 May, 2025; originally announced May 2025.

MSC Class: 47A64; 47B35; 15A18; 15B48; 39A12

Extremal Lagrangian tori in toric domains

Authors: Shah Faisal

Abstract: Let $L$ be a closed Lagrangian submanifold of a symplectic manifold $(X,ω)$. Cieliebak and Mohnke define the symplectic area of $L$ as the minimal positive symplectic area of a smooth $2$-disk in $X$ with boundary on $L$. An extremal Lagrangian torus in $(X,ω)$ is a Lagrangian torus that maximizes the symplectic area among the Lagrangian tori in $(X,ω)$. We prove that every extremal Lagrangian tor… ▽ More Let $L$ be a closed Lagrangian submanifold of a symplectic manifold $(X,ω)$. Cieliebak and Mohnke define the symplectic area of $L$ as the minimal positive symplectic area of a smooth $2$-disk in $X$ with boundary on $L$. An extremal Lagrangian torus in $(X,ω)$ is a Lagrangian torus that maximizes the symplectic area among the Lagrangian tori in $(X,ω)$. We prove that every extremal Lagrangian torus in the symplectic unit ball $(\bar{B}^{2n}(1),ω_{\mathrm{std}})$ is contained entirely in the boundary $\partial B^{2n}(1)$. This answers a question attributed to Lazzarini and completely settles a conjecture of Cieliebak and Mohnke in the affirmative. In addition, we prove the conjecture for a class of toric domains in $(\mathbb{C}^n, ω_{\mathrm{std}})$, which includes all compact strictly convex four-dimensional toric domains. We explain with counterexamples that the general conjecture does not hold for non-convex domains. △ Less

Submitted 17 April, 2025; originally announced April 2025.

Comments: 91 pages, 11 figures

GLT hidden structures in mean-field quantum spin systems

Authors: Christiaan J. F. van de Ven, Muhammad Faisal Khan, S. Serra-Capizzano

Abstract: This work explores structured matrix sequences arising in mean-field quantum spin systems. We express these sequences within the framework of generalized locally Toeplitz (GLT) $*$-algebras, leveraging the fact that each GLT matrix sequence has a unique GLT symbol. This symbol characterizes both the asymptotic singular value distribution and, for Hermitian or quasi-Hermitian sequences, the asympto… ▽ More This work explores structured matrix sequences arising in mean-field quantum spin systems. We express these sequences within the framework of generalized locally Toeplitz (GLT) $*$-algebras, leveraging the fact that each GLT matrix sequence has a unique GLT symbol. This symbol characterizes both the asymptotic singular value distribution and, for Hermitian or quasi-Hermitian sequences, the asymptotic spectral distribution. Specifically, we analyze two cases of real symmetric matrix sequences stemming from mean-field quantum spin systems and determine their associated distributions using GLT theory. Our study concludes with visualizations and numerical tests that validate the theoretical findings, followed by a discussion of open problems and future directions. △ Less

Submitted 14 April, 2025; v1 submitted 9 April, 2025; originally announced April 2025.

Comments: 22 pages, 8 figures, 4 tables

MSC Class: 46L65; 15B05; 15A18 (81R30; 82B20)

Persistent Stanley--Reisner Theory

Authors: Faisal Suwayyid, Guo-Wei Wei

Abstract: Topological data analysis (TDA) has emerged as an effective approach in data science, with its key technique, persistent homology, rooted in algebraic topology. Although alternative approaches based on differential topology, geometric topology, and combinatorial Laplacians have been proposed, combinatorial commutative algebra has hardly been developed for machine learning and data science. In this… ▽ More Topological data analysis (TDA) has emerged as an effective approach in data science, with its key technique, persistent homology, rooted in algebraic topology. Although alternative approaches based on differential topology, geometric topology, and combinatorial Laplacians have been proposed, combinatorial commutative algebra has hardly been developed for machine learning and data science. In this work, we introduce persistent Stanley-Reisner theory to bridge commutative algebra, combinatorial algebraic topology, machine learning, and data science. We propose persistent h-vectors, persistent f-vectors, persistent graded Betti numbers, persistent facet ideals, and facet persistence modules. Stability analysis indicates that these algebraic invariants are stable against geometric perturbations. We employ a machine learning prediction on a molecular dataset to demonstrate the utility of the proposed persistent Stanley-Reisner theory for practical applications. △ Less

Submitted 30 March, 2025; originally announced March 2025.

A proof of Gromov's non-squeezing theorem

Authors: Shah Faisal

Abstract: The original proof of the Gromov's non-squeezing theorem [Gro85] is based on pseudo-holomorphic curves. The central ingredient is the compactness of the moduli space of pseudo-holomorphic spheres in the symplectic manifold $(\mathbb{CP}^1\times T^{2n-2}, ω_{\mathrm{FS}}\oplus ω_{\mathrm{std}})$ representing the homology class $[\mathbb{CP}^1\times\{\operatorname{pt}\}]$. In this article, we give t… ▽ More The original proof of the Gromov's non-squeezing theorem [Gro85] is based on pseudo-holomorphic curves. The central ingredient is the compactness of the moduli space of pseudo-holomorphic spheres in the symplectic manifold $(\mathbb{CP}^1\times T^{2n-2}, ω_{\mathrm{FS}}\oplus ω_{\mathrm{std}})$ representing the homology class $[\mathbb{CP}^1\times\{\operatorname{pt}\}]$. In this article, we give two proofs of this compactness. The fact that the moduli space carries the minimal positive symplectic area is essential to our proofs. The main idea is to reparametrize the curves to distribute the symplectic area evenly and then apply either the mean value inequality for pseudo-holomorphic curves or the Gromov-Schwarz lemma to obtain a uniform bound on the gradient. Our arguments avoid bubbling analysis and Gromov's removable singularity theorem, which makes our proof of Gromov's non-squeezing theorem more elementary. △ Less

Submitted 24 December, 2024; originally announced December 2024.

Comments: The contents of this article are taken from the author's master's thesis at the Humboldt University of Berlin under the supervision of Klaus Mohnke

MSC Class: 53Dxx; 32Q65

Routing mobile health clinics: An integrated routing and resupply plan based on synchronization

Authors: Faisal Alkaabneh, Sam Jotham Sutharson

Abstract: As an important means of providing medical services in developing countries and remote areas, Mobile Health Clinics (MHCs) focus on distributing medical supplies and providing basic health needs to underserved communities. In this paper, we propose a new model for the mobile health clinics with resupply from a truck and heterogeneous demand. In addition to the traditional routing decisions, our mo… ▽ More As an important means of providing medical services in developing countries and remote areas, Mobile Health Clinics (MHCs) focus on distributing medical supplies and providing basic health needs to underserved communities. In this paper, we propose a new model for the mobile health clinics with resupply from a truck and heterogeneous demand. In addition to the traditional routing decisions, our model also establishes en-route resupply plan. Adding the en-route resupply plan adds complexities to this problem as more constraints need to be added to accommodate for the synchronization between a fleet of MHCs and a resupply truck. We model this problem as a vehicle routing problem with multiple synchronization constraints and heterogeneous demand (VRPMSC-HD) and formulate a mixed integer linear programming (MILP). We propose a metaheuristic based on adaptive large neighborhood search (ALNS) with new operators to solve large-scale instances of the model. To demonstrate the value of the synchronization approach, we compare the total distance traveled by the mobile health clinics and the resupply truck and the arrival of the last mobile health clinic to the depot against a model where mobile health clinics are allowed to perform multiple trips to resupply from the depot. Our results reveal that despite the increase of 6.79% in traveled distance under the synchronization approach, the reduction in the latest arrival time is 16.06% on average. Implying that the utilization of the fleet of mobile health clinics can be significantly improved at the cost of extra traveling time when combining the traveling time of all the mobile health clinics and the resupply truck. △ Less

Submitted 23 December, 2024; originally announced December 2024.

Characterizing Zagreb Index Bounds in Trees with Specified Metric Dimension

Authors: Waqar Ali, Mohamad Nazri Bin Husin, Muhammad Faisal Nadeem

Abstract: Consider a simple graph $\mathbb{G} = (\mathcal{V}, \mathcal{E}) $, where $ \mathcal{V} $ are the vertices and $ \mathcal{E} $ are the edges. The first Zagreb index, $\mathbb{M}_{1}(\mathbb{G}) = \sum_{v \in \mathcal{V}} ψ_\mathbb{G}(v)^2$. The second Zagreb index, $\mathbb{M}_{2}(\mathbb{G}) = \sum_{uv \in \mathcal{E}} ψ_\mathbb{G}(u) ψ_\mathbb{G}(v)$. The metric dimension of a graph refers to th… ▽ More Consider a simple graph $\mathbb{G} = (\mathcal{V}, \mathcal{E}) $, where $ \mathcal{V} $ are the vertices and $ \mathcal{E} $ are the edges. The first Zagreb index, $\mathbb{M}_{1}(\mathbb{G}) = \sum_{v \in \mathcal{V}} ψ_\mathbb{G}(v)^2$. The second Zagreb index, $\mathbb{M}_{2}(\mathbb{G}) = \sum_{uv \in \mathcal{E}} ψ_\mathbb{G}(u) ψ_\mathbb{G}(v)$. The metric dimension of a graph refers to the smallest subset of vertices in a resolving set such that the distances from these vertices to all others in the graph uniquely identify each vertex. In this paper, we characterize bounds for the Zagreb indices of trees, based on the order of the tree and its metric dimension. Furthermore, we identify the trees that achieve these extremal bounds, offering valuable insights into how the metric dimension influences the behavior of the Zagreb indices in tree structures. △ Less

Submitted 31 October, 2024; originally announced November 2024.

Extremal Values of the Atom-Bond Connectivity Index for Trees with Given Roman Domination Numbers

Authors: Waqar Ali, Mohamad Nazri Bin Husin, Muhammad Faisal Nadeem

Abstract: Consider that $\mathbb{G}=(\mathbb{X}, \mathbb{Y})$ is a simple, connected graph with $\mathbb{X}$ as the vertex set and $\mathbb{Y}$ as the edge set. The atom-bond connectivity ($ABC$) index is a novel topological index that Estrada introduced in Estrada et al. (1998). It is defined as $$ A B C(\mathbb{G})=\sum_{xy \in Y(\mathbb{G})} \sqrt{\frac{ζ_x+ζ_y-2}{ζ_x ζ_y}} $$ where $ζ_x$ and $ζ_x$ repre… ▽ More Consider that $\mathbb{G}=(\mathbb{X}, \mathbb{Y})$ is a simple, connected graph with $\mathbb{X}$ as the vertex set and $\mathbb{Y}$ as the edge set. The atom-bond connectivity ($ABC$) index is a novel topological index that Estrada introduced in Estrada et al. (1998). It is defined as $$ A B C(\mathbb{G})=\sum_{xy \in Y(\mathbb{G})} \sqrt{\frac{ζ_x+ζ_y-2}{ζ_x ζ_y}} $$ where $ζ_x$ and $ζ_x$ represent the degrees of the vertices $x$ and $y$, respectively. In this work, we explore the behavior of the $A B C$ index for tree graphs. We establish both lower and upper bounds for the $A B C$ index, expressed in terms of the graph's order and its Roman domination number. Additionally, we characterize the tree structures that correspond to these extremal values, offering a deeper understanding of how the Roman domination number ($RDN$) influences the $A B C$ index in tree graphs. △ Less

Submitted 31 October, 2024; originally announced November 2024.

Fault Tolerant Metric Dimensions of Leafless Cacti Graphs with Application in Supply Chain Management

Authors: Tauseef Asif, Ghulam Haidar, Faisal Yousafzai, Murad Ul Islam Khan, Qaisar Khan, Rakea Fatima

Abstract: A resolving set for a simple graph $G$ is a subset of vertex set of $G$ such that it distinguishes all vertices of $G$ using the shortest distance from this subset. This subset is a metric basis if it is the smallest set with this property. A resolving set is a fault tolerant resolving set if the removal of any vertex from the subset still leaves it a resolving set. The smallest set satisfying thi… ▽ More A resolving set for a simple graph $G$ is a subset of vertex set of $G$ such that it distinguishes all vertices of $G$ using the shortest distance from this subset. This subset is a metric basis if it is the smallest set with this property. A resolving set is a fault tolerant resolving set if the removal of any vertex from the subset still leaves it a resolving set. The smallest set satisfying this property is the fault tolerant metric basis, and the cardinality of this set is termed as fault tolerant metric dimension of $G$, denoted by $β'(G)$. In this article, we determine the fault tolerant metric dimension of bicyclic graphs of type-I and II and show that it is always $4$ for both types of graphs. We then use these results to form our basis to consider leafless cacti graphs, and calculate their fault tolerant metric dimensions in terms of \textit{inner cycles} and \textit{outer cycles}. We then consider a detailed real world example of supply and distribution center management, and discuss the application of fault tolerant metric dimension in such a scenario. We also briefly discuss some other scenarios where leafless cacti graphs can be used to model real world problems. △ Less

Submitted 9 September, 2024; originally announced September 2024.

MSC Class: 05C12; 05C90

Metric dimensions of bicyclic graphs with potential applications in Supply Chain Logistics

Authors: Muwen Wang, Ghulam Haidar, Faisal Yousafzai, Murad Ul Islam Khan, Waseem Sikandar, Asad Ul Islam Khan

Abstract: Metric dimensions and metric basis are graph invariants studied for their use in locating and indexing nodes in a graph. It was recently established that for bicyclic graph of type-III ($Θ$-graphs), the metric dimension is $3$ only, when all paths have equal lengths, or when one of the outside path has a length $2$ more than the other two paths. In this article, we refute this claim and show that… ▽ More Metric dimensions and metric basis are graph invariants studied for their use in locating and indexing nodes in a graph. It was recently established that for bicyclic graph of type-III ($Θ$-graphs), the metric dimension is $3$ only, when all paths have equal lengths, or when one of the outside path has a length $2$ more than the other two paths. In this article, we refute this claim and show that the case where the middle path is $2$ vertices more than the other two paths, also has metric dimension $3$. We also determine the metric dimension for other values of $p,q,r$ which were omitted in the recent research due to the constraint $p \leq q \leq r$. We also propose a graph-based technique to transform an agricultural supply chain logistics problem into a mathematical model, by using metric basis and metric dimensions. We provide a theoretical groundwork which can be used to model and solve these problems using machine learning algorithms. △ Less

Submitted 29 August, 2024; originally announced September 2024.

MSC Class: 05C12; 05C90

Adaptive Large Neighborhood Search Metaheuristic for Vehicle Routing Problem with Multiple Synchronization Constraints and Multiple Trips

Authors: Faisal Alkaabneh

Abstract: This work is motivated by solving a problem faced by big agriculture companies implementing precision agriculture operations for spraying practices using two types of operators, namely a tender tanker and a fleet of sprayers. We model this problem as a vehicle routing problem with multiple synchronization constraints and multiple trips with the objective of minimizing the waiting time of the spray… ▽ More This work is motivated by solving a problem faced by big agriculture companies implementing precision agriculture operations for spraying practices using two types of operators, namely a tender tanker and a fleet of sprayers. We model this problem as a vehicle routing problem with multiple synchronization constraints and multiple trips with the objective of minimizing the waiting time of the sprayers and the total routing distance of the sprayers. The resulting mixed integer programming model that we develop is hard to solve using a commercial solver, owing to the dependencies caused by the spatio-temporal synchronization between the two operators. To solve large-scale instances effectively, we present an adaptive large neighborhood search metaheuristic that uses an intensive local search mechanism. We conduct an extensive computational analysis to assess the effectiveness of our solution approach and gain managerial insights into the problem by analyzing various models. The proposed metaheuristic yields high-quality solutions quickly, with an overall average improvement of 5.61% over what is implemented in practice implying significant savings in time and cost. △ Less

Submitted 14 December, 2023; originally announced December 2023.

A Linear Kernel for Planar Vector Domination

Authors: Mahabba El Sahili, Faisal N. Abu-Khzam

Abstract: Given a graph $G$, an integer $k\geq 0$, and a non-negative integral function $f:V(G) \rightarrow \mathcal{N}$, the Vector Domination problem asks whether a set $S$ of vertices, of cardinality $k$ or less, exists in $G$ so that every vertex $v \in V(G)\setminus S$ has at least $f(v)$ neighbors in $S$. The problem generalizes several domination problems and it has also been shown to generalize Boun… ▽ More Given a graph $G$, an integer $k\geq 0$, and a non-negative integral function $f:V(G) \rightarrow \mathcal{N}$, the Vector Domination problem asks whether a set $S$ of vertices, of cardinality $k$ or less, exists in $G$ so that every vertex $v \in V(G)\setminus S$ has at least $f(v)$ neighbors in $S$. The problem generalizes several domination problems and it has also been shown to generalize Bounded-Degree Vertex Deletion (BDVD). In this paper, the parameterized version of Vector Domination is studied when the input graph is planar. A linear problem kernel is presented. A direct consequence is a kernel bound for BDVD that is linear in the parameter $k$ only. Previously known bounds are functions of both the target degree and the input parameter. △ Less

Submitted 18 June, 2025; v1 submitted 14 December, 2023; originally announced December 2023.

Persistent Dirac of Path and Hypergraph

Authors: Faisal Suwayyid, Guo-Wei Wei

Abstract: This work introduces the development of path Dirac and hypergraph Dirac operators, along with an exploration of their persistence. These operators excel in distinguishing between harmonic and non-harmonic spectra, offering valuable insights into the subcomplexes within these structures. The paper showcases the functionality of these operators through a series of examples in various contexts. An im… ▽ More This work introduces the development of path Dirac and hypergraph Dirac operators, along with an exploration of their persistence. These operators excel in distinguishing between harmonic and non-harmonic spectra, offering valuable insights into the subcomplexes within these structures. The paper showcases the functionality of these operators through a series of examples in various contexts. An important facet of this research involves examining the operators' sensitivity to filtration, emphasizing their capacity to adapt to topological changes. The paper also explores a significant application of persistent path Dirac and persistent hypergraph Dirac in the field of molecular science, specifically in the analysis of molecular structures. The study introduces strict preorders derived from molecular structures, which generate graphs and digraphs with intricate path structures. The depth of information within these path complexes reflects the complexity of different preorder classes influenced by molecular structures. This characteristic underscores the effectiveness of these tools in the realm of topological data analysis. △ Less

Submitted 3 December, 2023; v1 submitted 24 November, 2023; originally announced November 2023.

Comments: typos corrected, figures fixed

MSC Class: 62R40 (Primary); 55N31 (Secondary)

Matheuristic for Vehicle Routing Problem with Multiple Synchronization Constraints and Variable Service Time

Authors: Faisal Alkaabneh, Rabiatu Bonku

Abstract: This paper considers an extension of the vehicle routing problem with synchronization constraints and introduces the vehicle routing problem with multiple synchronization constraints and variable service time. This important problem is motivated by a real-world problem faced by one of the largest agricultural companies in the world providing precision agriculture services to their clients who are… ▽ More This paper considers an extension of the vehicle routing problem with synchronization constraints and introduces the vehicle routing problem with multiple synchronization constraints and variable service time. This important problem is motivated by a real-world problem faced by one of the largest agricultural companies in the world providing precision agriculture services to their clients who are farmers and growers. The solution to this problem impacts the performance of farm spraying operations and can help design policies to improve spraying operations in large-scale farming. We propose a Mixed Integer Programming (MIP) model for this challenging problem, along with problem-specific valid inequalities. A three-phase powerful matheuristic is proposed to solve large instances enhanced with a novel local search method. We conduct extensive numerical analysis using realistic data. Results show that our matheuristic is fast and efficient in terms of solution quality and computational time compared to the state-of-the-art MIP solver. Using real-world data, we demonstrate the importance of considering an optimization approach to solve the problem, showing that the policy implemented in practice overestimates the costs by 15-20%. Finally, we compare and contrast the impact of various decision-maker preferences on several key performance metrics by comparing different mathematical models. △ Less

Submitted 28 August, 2023; originally announced August 2023.

Direct 0D-3D coupling of a lattice Boltzmann methodology for fluid-structure hemodynamics simulations

Authors: Heng Wei, Faisal Amlani, Niema M. Pahlevan

Abstract: This work introduces a numerical approach and implementation for the direct coupling of arbitrary complex ordinary differential equation- (ODE-)governed zero-dimensional (0D) boundary conditions to three-dimensional (3D) lattice Boltzmann-based fluid-structure systems for hemodynamics studies. In particular, a most complex configuration is treated by considering a dynamic left ventricle- (LV-)elas… ▽ More This work introduces a numerical approach and implementation for the direct coupling of arbitrary complex ordinary differential equation- (ODE-)governed zero-dimensional (0D) boundary conditions to three-dimensional (3D) lattice Boltzmann-based fluid-structure systems for hemodynamics studies. In particular, a most complex configuration is treated by considering a dynamic left ventricle- (LV-)elastance heart model which is governed by (and applied as) a nonlinear, non-stationary hybrid ODE-Dirichlet system. Other ODE-based boundary conditions, such as lumped parameter Windkessel models for truncated vasculature, are also considered. Performance studies of the complete 0D-3D solver, including its treatment of the lattice Boltzmann fluid equations and elastodynamics equations as well as their interactions, is conducted through a variety of benchmark and convergence studies that demonstrate the ability of the coupled 0D-3D methodology in generating physiological pressure and flow waveforms -- ultimately enabling the exploration of various physical and physiological parameters for hemodynamics studies of the coupled LV-arterial system. The methods proposed in this paper can be easily applied to other ODE-based boundary conditions as well as to other fluid problems that are modeled by 3D lattice Boltzmann equations and that require direct coupling of dynamic 0D boundary conditions. △ Less

Submitted 17 August, 2022; v1 submitted 9 December, 2021; originally announced December 2021.

A Fourier-based methodology without numerical diffusion for conducting dye simulations and particle residence time calculations

Authors: Faisal Amlani, Heng Wei, Niema M. Pahlevan

Abstract: Dye experimentation is a widely used method in experimental fluid mechanics for flow analysis or for the study of the transport of particles within a fluid. This technique is particularly useful in biomedical diagnostic applications ranging from hemodynamic analysis of cardiovascular systems to ocular circulation. However, simulating dyes governed by convection-diffusion partial differential equat… ▽ More Dye experimentation is a widely used method in experimental fluid mechanics for flow analysis or for the study of the transport of particles within a fluid. This technique is particularly useful in biomedical diagnostic applications ranging from hemodynamic analysis of cardiovascular systems to ocular circulation. However, simulating dyes governed by convection-diffusion partial differential equations (PDEs) can also be a useful post-processing analysis approach for computational fluid dynamics (CFD) applications. Such simulations can be used to identify the relative significance of different spatial subregions in particular time intervals of interest in an unsteady flow field. Additionally, dye evolution is closely related to non-discrete particle residence time (PRT) calculations that are governed by similar PDEs. This contribution introduces a pseudo-spectral method based on Fourier continuation (FC) for conducting dye simulations and non-discrete particle residence time calculations without numerical diffusion errors. Convergence and error analyses are performed with both manufactured and analytical solutions. The methodology is applied to three distinct physical/physiological cases: 1) flow over a two-dimensional (2D) cavity; 2) pulsatile flow in a simplified partially-grafted aortic dissection model; and 3) non-Newtonian blood flow in a Fontan graft. Although velocity data is provided in this work by numerical simulation, the proposed approach can also be applied to velocity data collected through experimental techniques such as from particle image velocimetry. △ Less

Submitted 22 September, 2023; v1 submitted 9 December, 2021; originally announced December 2021.

Journal ref: J. Comput. Phys. 493 (2023), 112472

A Note on the Maximum Number of Minimal Connected Dominating Sets in a Graph

Authors: Faisal N. Abu-Khzam

Abstract: We prove constructively that the maximum possible number of minimal connected dominating sets in a connected undirected graph of order $n$ is in $Ω(1.489^n)$. This improves the previously known lower bound of $Ω(1.4422^n)$ and reduces the gap between lower and upper bounds for input-sensitive enumeration of minimal connected dominating sets in general graphs as well as some special graph classes. We prove constructively that the maximum possible number of minimal connected dominating sets in a connected undirected graph of order $n$ is in $Ω(1.489^n)$. This improves the previously known lower bound of $Ω(1.4422^n)$ and reduces the gap between lower and upper bounds for input-sensitive enumeration of minimal connected dominating sets in general graphs as well as some special graph classes. △ Less

Submitted 10 November, 2021; originally announced November 2021.

On the Notion of a Generalized Mapping on Multiset Spaces

Authors: Athar Kharal, Mansoor H. Alshehri, Nasser Bin Turki, Faisal Z. Duraihem

Abstract: This work presents a generalized notion of multiset mapping thus resolving a long standing obstacle in structural study of multiset processing. It has been shown that the mapping defined herein can model a vast array of notions as special cases and also handels diverse situations in multiset rewriting transformations. Specifically, this paper unifies and generalizes the works of Parikh(1966), Hick… ▽ More This work presents a generalized notion of multiset mapping thus resolving a long standing obstacle in structural study of multiset processing. It has been shown that the mapping defined herein can model a vast array of notions as special cases and also handels diverse situations in multiset rewriting transformations. Specifically, this paper unifies and generalizes the works of Parikh(1966), Hickman(1980), Khomenko(2003) and Nazmul(2013). △ Less

Submitted 20 August, 2020; v1 submitted 19 August, 2020; originally announced August 2020.

Ergodic Decomposition

Authors: Sakshi Jain, Shah Faisal

Abstract: Ergodic systems, being indecomposable are important part of the study of dynamical systems but if a system is not ergodic, it is natural to ask the following question: Is it possible to split it into ergodic systems in such a way that the study of the former reduces to the study of latter ones? Also, it will be interesting to see if the latter ones inherit some properties of the former one. This… ▽ More Ergodic systems, being indecomposable are important part of the study of dynamical systems but if a system is not ergodic, it is natural to ask the following question: Is it possible to split it into ergodic systems in such a way that the study of the former reduces to the study of latter ones? Also, it will be interesting to see if the latter ones inherit some properties of the former one. This document answers this question for measurable maps defined on complete separable metric spaces with Borel probability measure, using the Rokhlin Disintegration Theorem. △ Less

Submitted 15 September, 2019; v1 submitted 11 September, 2019; originally announced September 2019.

Comments: 21 pages

Transient Propagation and Scattering of Quasi-Rayleigh Waves in Plates: Quantitative comparison between Pulsed TV-Holography Measurements and FC(Gram) elastodynamic simulations

Authors: Faisal Amlani, Oscar P. Bruno, José Carlos López-Vázquez, Cristina Trillo, Ángel F. Doval, José L. Fernández, Pablo Rodríguez-Gómez

Abstract: We study the scattering of transient, high-frequency, narrow-band quasi-Rayleigh elastic waves by through-thickness holes in aluminum plates, in the framework of ultrasonic nondestructive testing (NDT) based on full-field optical detection. Sequences of the instantaneous two-dimensional (2-D) out-of-plane displacement scattering maps are measured with a self-developed PTVH system. The correspondin… ▽ More We study the scattering of transient, high-frequency, narrow-band quasi-Rayleigh elastic waves by through-thickness holes in aluminum plates, in the framework of ultrasonic nondestructive testing (NDT) based on full-field optical detection. Sequences of the instantaneous two-dimensional (2-D) out-of-plane displacement scattering maps are measured with a self-developed PTVH system. The corresponding simulated sequences are obtained by means of an FC(Gram) elastodynamic solver introduced recently, which implements a full three-dimensional (3D) vector formulation of the direct linear-elasticity scattering problem. A detailed quantitative comparison between these experimental and numerical sequences, which is presented here for the first time, shows very good agreement both in the amplitude and the phase of the acoustic field in the forward, lateral and backscattering areas. It is thus suggested that the combination of the PTVH system and the FC(Gram) elastodynamic solver provides an effective ultrasonic inspection tool for plate-like structures, with a significant potential for ultrasonic NDT applications. △ Less

Submitted 27 May, 2019; v1 submitted 13 May, 2019; originally announced May 2019.

Comments: 46 pages, 16 figures, corresponding author José Carlos López-Vázquez, [email protected]. Changes: 1st, 4th, 5th paragraphs (intro), 3rd, 4th paragraphs (sec. 4); [59-60] cited only in appendixes; old ref. [52] removed; misprints corrected in the uncertainty of c_L (subsec. 3.1), citation to fig. 10 (sec. 4), size of images (caption fig.15); reference to Lamé constants removed in subsec. 3.4

Extension functors of generalized local cohomology modules

Authors: Alireza Vahidi, Faisal Hassani, Elham Hoseinzade

Abstract: Let $R$ be a commutative Noetherian ring with non-zero identity, $\mathfrak{a}$ an ideal of $R$, $M$ a finitely generated $R$--module, and $X$ an arbitrary $R$--module. In this paper, for non-negative integers $s, t$ and a finitely generated $R$--module $N$, we study the membership of $\operatorname{Ext}_{R}^{s}(N, \operatorname{H}^{t}_{\mathfrak{a}}(M, X))$ in Serre subcategories of the category… ▽ More Let $R$ be a commutative Noetherian ring with non-zero identity, $\mathfrak{a}$ an ideal of $R$, $M$ a finitely generated $R$--module, and $X$ an arbitrary $R$--module. In this paper, for non-negative integers $s, t$ and a finitely generated $R$--module $N$, we study the membership of $\operatorname{Ext}_{R}^{s}(N, \operatorname{H}^{t}_{\mathfrak{a}}(M, X))$ in Serre subcategories of the category of $R$--modules and present some upper bounds for the injective dimension and the Bass numbers of $\operatorname{H}^{t}_{\mathfrak{a}}(M, X)$. We also give some results on cofiniteness and minimaxness of $\operatorname{H}^{t}_{\mathfrak{a}}(M, X)$ and finiteness of $\operatorname{Ass}_R(\operatorname{H}^{t}_{\mathfrak{a}}(M, X)$. △ Less

Submitted 24 October, 2018; originally announced October 2018.

Comments: 16 pages

MSC Class: 13D07; 13D45

Approximation Hierarchies for Copositive Tensor Cone

Authors: Muhammad Faisal Iqbal, Faizan Ahmed, Muhammad Aqeel, Salman Ahmad

Abstract: In this paper we discuss copositive tensors, which are a natural generalization of the copositive matrices. We present an analysis of some basic properties of copositive tensors; as well as the conditions under which class of copositive tensors and the class of positive semidefinite tensors coincides. Moreover, we have describe several hierarchies that approximates the cone of copositive tensors.… ▽ More In this paper we discuss copositive tensors, which are a natural generalization of the copositive matrices. We present an analysis of some basic properties of copositive tensors; as well as the conditions under which class of copositive tensors and the class of positive semidefinite tensors coincides. Moreover, we have describe several hierarchies that approximates the cone of copositive tensors. The hierarchies are predominantly based on different regimes such as; simplicial partition, rational griding and polynomial conditions. The hierarchies approximates the copositive cone either from inside (inner approximation) or from outside (outer approximation). We will also discuss relationship among different hierarchies. △ Less

Submitted 4 June, 2018; originally announced June 2018.

Partitioning a graph into degenerate subgraphs

Authors: Faisal N. Abu-Khzam, Carl Feghali, Pinar Heggernes

Abstract: Let $G = (V, E)$ be a connected graph with maximum degree $k\geq 3$ distinct from $K_{k+1}$. Given integers $s \geq 2$ and $p_1,\ldots,p_s\geq 0$, $G$ is said to be $(p_1, \dots, p_s)$-partitionable if there exists a partition of $V$ into sets~$V_1,\ldots,V_s$ such that $G[V_i]$ is $p_i$-degenerate for $i\in\{1,\ldots,s\}$. In this paper, we prove that we can find a $(p_1, \dots, p_s)$-partition o… ▽ More Let $G = (V, E)$ be a connected graph with maximum degree $k\geq 3$ distinct from $K_{k+1}$. Given integers $s \geq 2$ and $p_1,\ldots,p_s\geq 0$, $G$ is said to be $(p_1, \dots, p_s)$-partitionable if there exists a partition of $V$ into sets~$V_1,\ldots,V_s$ such that $G[V_i]$ is $p_i$-degenerate for $i\in\{1,\ldots,s\}$. In this paper, we prove that we can find a $(p_1, \dots, p_s)$-partition of $G$ in $O(|V| + |E|)$-time whenever $1\geq p_1, \dots, p_s \geq 0$ and $p_1 + \dots + p_s \geq k - s$. This generalizes a result of Bonamy et al. (MFCS, 2017) and can be viewed as an algorithmic extension of Brooks' theorem and several results on vertex arboricity of graphs of bounded maximum degree. We also prove that deciding whether $G$ is $(p, q)$-partitionable is $\mathbb{NP}$-complete for every $k \geq 5$ and pairs of non-negative integers $(p, q)$ such that $(p, q) \not = (1, 1)$ and $p + q = k - 3$. This resolves an open problem of Bonamy et al. (manuscript, 2017). Combined with results of Borodin, Kostochka and Toft (\emph{Discrete Mathematics}, 2000), Yang and Yuan (\emph{Discrete Mathematics}, 2006) and Wu, Yuan and Zhao (\emph{Journal of Mathematical Study}, 1996), it also settles the complexity of deciding whether a graph with bounded maximum degree can be partitioned into two subgraphs of prescribed degeneracy. △ Less

Submitted 7 August, 2019; v1 submitted 12 March, 2018; originally announced March 2018.

Comments: 16 pages; minor revision

MSC Class: 05C70

On King type modification of $(p,q)$-Lupaş Bernstein operators

Authors: Asif Khan, Vinita Sharma, Faisal Khan

Abstract: In this paper, a King-type modification of $(p,q)$-Lupaş Bernstein operators are introduced. The rate of convergence of these operators are studied by means of modulus of continuity and Lipschitz class functional. Further, it has been shown that the error estimation of these operators on some subintervals of $[0,1]$ are better than the $(p,q)$-Lupaş Bernstein operators. In this paper, a King-type modification of $(p,q)$-Lupaş Bernstein operators are introduced. The rate of convergence of these operators are studied by means of modulus of continuity and Lipschitz class functional. Further, it has been shown that the error estimation of these operators on some subintervals of $[0,1]$ are better than the $(p,q)$-Lupaş Bernstein operators. △ Less

Submitted 25 February, 2018; originally announced March 2018.

Comments: 8 pages

A shrinking projection approximant for the split equilibrium problems and fixed point problems in Hilbert spaces

Authors: Abdul Ghaffar, Zafar Ullah, Muhammad Aqeel Ahmad Khan, Faisal Mumtaz

Abstract: This work is devoted to establish the strong convergence results of an iterative algorithm generated by the shrinking projection method in Hilbert spaces. The proposed approximation sequence is used to find a common element in the set of solutions of a finite family of split equilibrium problems and the set of common fixed points of a finite family of total asymptotically strict pseudo contraction… ▽ More This work is devoted to establish the strong convergence results of an iterative algorithm generated by the shrinking projection method in Hilbert spaces. The proposed approximation sequence is used to find a common element in the set of solutions of a finite family of split equilibrium problems and the set of common fixed points of a finite family of total asymptotically strict pseudo contractions in such setting. The results presented in this paper improve and extend some recent corresponding results in the literature. △ Less

Submitted 6 March, 2018; originally announced March 2018.

On the Well-Posedness of Generalized Darcy Forchheimer Equation

Authors: Johnson D. Audu, Faisal A. Fairag

Abstract: Under necessary compatibility condition, and some mild regularity assumptions on the interior and the boundary data, we prove the existence, uniqueness, and stability of the solution of generalized Dary-Forchheimer model. Under necessary compatibility condition, and some mild regularity assumptions on the interior and the boundary data, we prove the existence, uniqueness, and stability of the solution of generalized Dary-Forchheimer model. △ Less

Submitted 16 July, 2018; v1 submitted 22 January, 2018; originally announced January 2018.

Comments: There are errors in the stability section

Fractional Differential Equations with Periodic Boundary Conditions of Constant Ratio

Authors: Anwarrud Din, Shah Faisal

Abstract: This article is concerned with the existence and uniqueness of solutions to some fractional order boundary value problems. Our results are based on some fixed point theorems. For the applicability of our results, we provide an example. This article is concerned with the existence and uniqueness of solutions to some fractional order boundary value problems. Our results are based on some fixed point theorems. For the applicability of our results, we provide an example. △ Less

Submitted 11 December, 2016; originally announced December 2016.

Comments: 7 pages

Approximation by Kantorovich type (p,q)-Bernstein-Schurer Operators

Authors: M. Mursaleen, Faisal Khan

Abstract: In this paper, we introduce a Shurer type genaralization of (p,q)-Bernstein-Kantorovich operators based on (p,q)-integers and we call it as (p,q)-Bernstein-Schurer Kantorovich operators. We study approximation properties for these operators based on Korovkin's type approximation theorem and also study some direct theorems. Furthermore, we give comparisons and some illustrative graphics for the con… ▽ More In this paper, we introduce a Shurer type genaralization of (p,q)-Bernstein-Kantorovich operators based on (p,q)-integers and we call it as (p,q)-Bernstein-Schurer Kantorovich operators. We study approximation properties for these operators based on Korovkin's type approximation theorem and also study some direct theorems. Furthermore, we give comparisons and some illustrative graphics for the convergence of operators to some function. △ Less

Submitted 25 May, 2015; originally announced June 2015.

Comments: 13 pages, 4 figures. arXiv admin note: substantial text overlap with arXiv:1504.05887. text overlap with arXiv:1504.05887

MSC Class: 41A10; 41A25; 41A36; 40A30

Approximation by (p,q)-Lorentz polynomials on a compact disk

Authors: M. Mursaleen, Faisal Khan, Asif Khan

Abstract: In this paper, we introduce a new analogue of Lorentz polynomials based on (p,q)-integers and we call it as (p,q)-Lorentz polynomials. We obtain quantitative estimate in the Voronovskaja's type thoerem and exact orders in simultaneous approximation by the complex (p,q)-Lorentz polynomials of degree n, where q > p > 1 attached to analytic functions in compact disks of the complex plane. In this paper, we introduce a new analogue of Lorentz polynomials based on (p,q)-integers and we call it as (p,q)-Lorentz polynomials. We obtain quantitative estimate in the Voronovskaja's type thoerem and exact orders in simultaneous approximation by the complex (p,q)-Lorentz polynomials of degree n, where q > p > 1 attached to analytic functions in compact disks of the complex plane. △ Less

Submitted 20 April, 2015; originally announced April 2015.

Comments: 13 pages

MSC Class: 41A10; 41A25; 41A36

Dominant Strategies in Two Qubit Quantum Computations

Authors: Faisal Shah Khan

Abstract: Nash equilibrium is a solution concept in non-strictly competitive, non-cooperative game theory that finds applications in various scientific and engineering disciplines. A non-strictly competitive, non-cooperative game model is presented here for two qubit quantum computations that allows for the characterization of Nash equilibrium in these computations via the inner product of their state space… ▽ More Nash equilibrium is a solution concept in non-strictly competitive, non-cooperative game theory that finds applications in various scientific and engineering disciplines. A non-strictly competitive, non-cooperative game model is presented here for two qubit quantum computations that allows for the characterization of Nash equilibrium in these computations via the inner product of their state space. Nash equilibrium outcomes are optimal under given constraints and therefore offer a game-theoretic measure of constrained optimization of two qubit quantum computations. △ Less

Submitted 4 February, 2015; v1 submitted 3 October, 2014; originally announced October 2014.

Comments: The abstract has been re-written and technical details added to section 5 in version 1

Partitioning a Graph into Disjoint Cliques and a Triangle-free Graph

Authors: Faisal N. Abu-Khzam, Carl Feghali, Haiko Müller

Abstract: A graph $G = (V, E)$ is \emph{partitionable} if there exists a partition $\{A, B\}$ of $V$ such that $A$ induces a disjoint union of cliques and $B$ induces a triangle-free graph. In this paper we investigate the computational complexity of deciding whether a graph is partitionable. The problem is known to be $\NP$-complete on arbitrary graphs. Here it is proved that if a graph $G$ is bull-free, p… ▽ More A graph $G = (V, E)$ is \emph{partitionable} if there exists a partition $\{A, B\}$ of $V$ such that $A$ induces a disjoint union of cliques and $B$ induces a triangle-free graph. In this paper we investigate the computational complexity of deciding whether a graph is partitionable. The problem is known to be $\NP$-complete on arbitrary graphs. Here it is proved that if a graph $G$ is bull-free, planar, perfect, $K_4$-free or does not contain certain holes then deciding whether $G$ is partitionable is $\NP$-complete. This answers an open question posed by Thomass{é}, Trotignon and Vuškovi{ć}. In contrast a finite list of forbidden induced subgraphs is given for partitionable cographs. △ Less

Submitted 4 January, 2015; v1 submitted 24 March, 2014; originally announced March 2014.

Comments: 20 pages

MSC Class: 68R10

On Intra-Regular Left Almost Semihypergroups with Pure Left Identity

Authors: Naveed Yaqoob, Piergiulio Corsini, Faisal

Abstract: In this paper, we characterize intra-regular LA-semihypergroups by using the properties of their left and right hyperideals and we investigate some useful conditions for an LA-semihypergroup to become an intra-regular LA-semihypergroup. In this paper, we characterize intra-regular LA-semihypergroups by using the properties of their left and right hyperideals and we investigate some useful conditions for an LA-semihypergroup to become an intra-regular LA-semihypergroup. △ Less

Submitted 23 November, 2012; originally announced November 2012.

Ideals in intra-regular left almost semigroups

Authors: Madad Khan, Venus Amjid, Faisal

Abstract: In this paper, we have introduced the notion of (1,2)-ideal in an LA-semigroup and shown that (1,2)-ideal and two-sided ideal coincide in an intra-regular LA-semigroup. We have characterized an intra-regular LA-semigroup by using the properties of left and right ideals. Some natural examples of LA-semigroups have been given. Further we have investigated some useful conditions for an LA-semigroup t… ▽ More In this paper, we have introduced the notion of (1,2)-ideal in an LA-semigroup and shown that (1,2)-ideal and two-sided ideal coincide in an intra-regular LA-semigroup. We have characterized an intra-regular LA-semigroup by using the properties of left and right ideals. Some natural examples of LA-semigroups have been given. Further we have investigated some useful conditions for an LA-semigroup to become an intra-regular LA-semigroup and given the counter examples to illustrate the converse inclusions. All the ideals (left, right, two-sided, interior, quasi, bi- generalized bi- and (1,2)) of an intra-regular LA-semigroup have been characterized. Finally we have given an equivalent statement for a two-sided ideal of an intra-regular LA-semigroup in terms of the intersection of two minimal two-sided ideals of an intra-regular LA-semigroup. △ Less

Submitted 27 December, 2010; originally announced December 2010.

Γ-Abel-Grassmann's groupoids characterized by their intuitionistic Γ-ideals

Authors: Madad Khan, Faisal, Venus Amjid

Abstract: In this paper, we have discussed several properties of intuitionistic fuzzy Γ-ideals of a Γ-AG-groupoid which is the generalization of ideals in AG-groupoid We have characterized an intra-regular Γ-AG^{**}-groupoid in terms of intuitionistic fuzzy Γ-left (right, two-sided) ideals, intuitionistic fuzzy (Γ-generalized bi) Γ-bi-ideals, intuitionistic fuzzy Γ-interior ideals and intuitionistic fuzzy Γ… ▽ More In this paper, we have discussed several properties of intuitionistic fuzzy Γ-ideals of a Γ-AG-groupoid which is the generalization of ideals in AG-groupoid We have characterized an intra-regular Γ-AG^{**}-groupoid in terms of intuitionistic fuzzy Γ-left (right, two-sided) ideals, intuitionistic fuzzy (Γ-generalized bi) Γ-bi-ideals, intuitionistic fuzzy Γ-interior ideals and intuitionistic fuzzy Γ-quasi ideals. We have proved that the intuitionistic fuzzy Γ-left (right, interior, quasi) ideals coincide in an intra-regular Γ-AG^{**}-groupoid. We have also shown that the set of intuitionistic fuzzy Γ-two-sided ideals of an intra-regular Γ-AG^{**}-groupoid forms a semilattice structure. △ Less

Submitted 12 November, 2010; originally announced November 2010.

On fuzzy-Γ-ideals of Γ-Abel-Grassmann's groupoids

Authors: Madad Khan, Faisal

Abstract: In this paper, we have introduced the notion of Γ-fuzzification in Γ-AG-groupoids which is in fact the generalization of fuzzy AG-groupoids. We have studied several properties of an intra-regular Γ-AG^{**}-groupoids in terms of fuzzy Γ-left (right, two-sided, quasi, interior, generalized bi-, bi-) ideals. We have proved that all fuzzy Γ-ideals coincide in intra-regular Γ-AG^{**}-groupoids. We have… ▽ More In this paper, we have introduced the notion of Γ-fuzzification in Γ-AG-groupoids which is in fact the generalization of fuzzy AG-groupoids. We have studied several properties of an intra-regular Γ-AG^{**}-groupoids in terms of fuzzy Γ-left (right, two-sided, quasi, interior, generalized bi-, bi-) ideals. We have proved that all fuzzy Γ-ideals coincide in intra-regular Γ-AG^{**}-groupoids. We have also shown that the set of fuzzy Γ-two-sided ideals of an intra-regular Γ-AG^{**}-groupoid forms a semilattice structure. △ Less

Submitted 5 November, 2010; originally announced November 2010.

Characterizations of intra-regular gamma AG-groupoids by the properties of their gamma ideals

Authors: Madad Khan, Venus Amjid, Faisal

Abstract: We have characterized an intra-regular Γ-AG^{**}-groupoids by using the properties of Γ-ideals (left, right, two-sided ), Γ-interior, Γ-quasi, Γ-bi and Γ-generalized bi and Γ-(1,2)). We have prove that all the Γ-ideals coincides in an intra-regular Γ-AG^{**}-groupoids. It has been examined that all the Γ-ideals of an intra-regular Γ-AG^{**}-groupoids are Γ-idempotent. In this paper we define all Γ… ▽ More We have characterized an intra-regular Γ-AG^{**}-groupoids by using the properties of Γ-ideals (left, right, two-sided ), Γ-interior, Γ-quasi, Γ-bi and Γ-generalized bi and Γ-(1,2)). We have prove that all the Γ-ideals coincides in an intra-regular Γ-AG^{**}-groupoids. It has been examined that all the Γ-ideals of an intra-regular Γ-AG^{**}-groupoids are Γ-idempotent. In this paper we define all Γ-ideals in Γ-AG^{**}-groupoids and we generalize some results. △ Less

Submitted 5 November, 2010; originally announced November 2010.

On some classes of Abel-Grassmann's groupoids

Authors: Madad Khan, Faisal, Venus Amjid

Abstract: In this paper, we have investigated different classes of an AG-groupoid by their structural properties. We have prove that weakly regular, intra-regular, right regular, left regular, left quasi regular and completely regular coincide in an AG-groupoid with left identity and in AG^{**}-groupoid. Further we have prove that every regular (weakly regular, intra-regular, right regular, left regular, le… ▽ More In this paper, we have investigated different classes of an AG-groupoid by their structural properties. We have prove that weakly regular, intra-regular, right regular, left regular, left quasi regular and completely regular coincide in an AG-groupoid with left identity and in AG^{**}-groupoid. Further we have prove that every regular (weakly regular, intra-regular, right regular, left regular, left quasi regular, completely regular) AG-groupoid with left identity (AG^{**}-groupoid) is regular but the converse is not true in general. Also it has been shown that non-associative regular, weakly regular, intra-regular, right regular, left regular, left quasi regular and completely regular AG^{*} groupoids do not exist. △ Less

Submitted 29 October, 2010; v1 submitted 28 October, 2010; originally announced October 2010.

Intra regular Abel-Grassmann's groupoids characterized by their intuitionistic fuzzy ideals

Authors: Madad Khan, Faisal

Abstract: In this paper, we have discussed the properties of intuitionistic fuzzy ideals of an AG-groupoids. We have characterized an intra-regular AG-groupoid in terms of intuitionistic fuzzy left (right, two-sided) ideals, fuzzy (generalized) bi-ideals, intuitionistic fuzzy interior ideals and intuitionistic fuzzy quasi ideals. We have proved that the intuitionistic fuzzy left (right, interior, quasi) ide… ▽ More In this paper, we have discussed the properties of intuitionistic fuzzy ideals of an AG-groupoids. We have characterized an intra-regular AG-groupoid in terms of intuitionistic fuzzy left (right, two-sided) ideals, fuzzy (generalized) bi-ideals, intuitionistic fuzzy interior ideals and intuitionistic fuzzy quasi ideals. We have proved that the intuitionistic fuzzy left (right, interior, quasi) ideal coincides in an intra-regular AG-groupoid. We have also shown that the set of intuitionistic fuzzy two-sided ideals of an intra-regular AG-groupoid forms a semilattice structure. △ Less

Submitted 22 October, 2010; originally announced October 2010.

Characterizations of Abel-Grassmann's groupoids by their intuitionistic fuzzy ideals

Authors: Madad Khan, Faisal

Abstract: In this paper, we have introduced the concept of intuitionistic fuzzy ideals in an AG-groupoids. We have characterized regular and intra-regular AG-groupoids in terms of intuitionistic fuzzy left (right, two-sided) ideals, fuzzy (generalized) bi-ideals and intuitionistic fuzzy (1,2)-ideals. We have proved that all the intuitionistic fuzzy ideals coincides in regular and intra-regular AG-groupoids.… ▽ More In this paper, we have introduced the concept of intuitionistic fuzzy ideals in an AG-groupoids. We have characterized regular and intra-regular AG-groupoids in terms of intuitionistic fuzzy left (right, two-sided) ideals, fuzzy (generalized) bi-ideals and intuitionistic fuzzy (1,2)-ideals. We have proved that all the intuitionistic fuzzy ideals coincides in regular and intra-regular AG-groupoids. It has been shown that the set of intuitionistic fuzzy two sided ideals of a regular AG-groupoid forms a semilattice structure. We have also given some useful conditions for an AG-groupoid to become an intra-regular AG-groupoid in terms their intuitionistic fuzzy ideals. △ Less

Submitted 14 October, 2010; originally announced October 2010.

The structure of the semigroup of proper holomorphic mappings of a planar domain to the unit disc

Authors: Steven R. Bell, Faisal Kaleem

Abstract: Given a bounded n-connected domain in the plane bounded by non-intersecting Jordan curves, and given one point on each boundary curve, L. Bieberbach proved that there exists a proper holomorphic mapping of the domain onto the unit disc that is an n-to-one branched covering with the properties that it extends continuously to the boundary and maps each boundary curve one-to-one onto the unit circl… ▽ More Given a bounded n-connected domain in the plane bounded by non-intersecting Jordan curves, and given one point on each boundary curve, L. Bieberbach proved that there exists a proper holomorphic mapping of the domain onto the unit disc that is an n-to-one branched covering with the properties that it extends continuously to the boundary and maps each boundary curve one-to-one onto the unit circle, and it maps each given point on the boundary to the point 1 in the unit circle. We modify a proof by H. Grunsky of Bieberbach's result to show that there is a rational function of 2n+2 complex variables that generates all of these maps. We also show how to generate all the proper holomorphic mappings to the unit disc via the rational function. △ Less

Submitted 7 March, 2007; originally announced March 2007.

Comments: 17 pages

MSC Class: 30C40

Finite Element Technique for Solving the Stream Function Form of a Linearized Navier-Stokes Equations Using Argyris Element

Authors: F. Fairag, N. Almulla

Abstract: The numerical implementation of finite element discretization method for the stream function formulation of a linearized Navier-Stokes equations is considered. Algorithm 1 is applied using Argyris element. Three global orderings of nodes are selected and registered in order to conclude the best banded structure of matrix and a fluid flow calculation is considered to test a problem which has a kn… ▽ More The numerical implementation of finite element discretization method for the stream function formulation of a linearized Navier-Stokes equations is considered. Algorithm 1 is applied using Argyris element. Three global orderings of nodes are selected and registered in order to conclude the best banded structure of matrix and a fluid flow calculation is considered to test a problem which has a known solution. Visualization of global node orderings, matrix sparsity patterns and stream function contours are displayed showing the main features of the flow. △ Less

Submitted 3 June, 2004; originally announced June 2004.

Comments: 13 pages, 9 figures

MSC Class: 65N30;76M10

Numerical Computations of Viscous, Incompressible Flow Problems Using a Two-Level Finite Element Method

Authors: Faisal Fairag

Abstract: We consider two-level finite element discretization methods for the stream function formulation of the Navier-Stokes equations. The two-level method consists of solving a small nonlinear system on the coarse mesh, then solving a linear system on the fine mesh. The basic result states that the errors between the coarse and fine meshes are related superlinearly. This paper demonstrates that the tw… ▽ More We consider two-level finite element discretization methods for the stream function formulation of the Navier-Stokes equations. The two-level method consists of solving a small nonlinear system on the coarse mesh, then solving a linear system on the fine mesh. The basic result states that the errors between the coarse and fine meshes are related superlinearly. This paper demonstrates that the two-level method can be implemented to approximate efficiently solutions to the Navier-Stokes equations. Two fluid flow calculations are considered to test problems which have a known solution and the driven cavity problem. Stream function contours are displayed showing the main features of the flow. △ Less

Submitted 17 September, 2001; originally announced September 2001.

Comments: 11 pages, 18 figures

Report number: formerly math.SC/0109109 MSC Class: 65N35; 76M30; 76D05