Showing 1–50 of 51 results for author: Islam, M

Navigating Epidemic Mathematics: Exploring Tools for Mathematical Modelling in Biology

Authors: Pabel Shahrear, Md. Shahedul Islam, Md. Abu Bakkar, Anika Bushra, Ismail Hossain

Abstract: The ever-changing world of disease study heavily relies on mathematical models. They are key in finding and controlling infectious diseases. We aim to explore these mathematical tools used for studying disease spread in biology. The SEIR model holds our focus. It is a super important tool known for being flexible and useful. We look at the modified SEIR models' design and analysis. We dive right i… ▽ More The ever-changing world of disease study heavily relies on mathematical models. They are key in finding and controlling infectious diseases. We aim to explore these mathematical tools used for studying disease spread in biology. The SEIR model holds our focus. It is a super important tool known for being flexible and useful. We look at the modified SEIR models' design and analysis. We dive right into vital parts like the equations that make the modified SEIR model work, setting parameter identities, and then checking its solutions' positivity and limits. The study begins with a detailed examination of the design and analysis of a modified SEIR model, demonstrating its angularity. We delve into the model's heart, dealing with critical issues such as the equations that drive the modified SEIR model, establishing parameter identities, and ensuring the positivity and boundlessness of its solutions. Basic Reproduction Number marks a significant milestone. We investigate the local stability, DFE, and EE. Global stability, a paramount consideration in understanding the long-term behaviors of the systems, is scrutinized by employing the Lyapunov stability theorem. The bifurcation analysis classifies and elucidates the fundamental concepts therein. One-dimensional bifurcation and forward and backward bifurcation analyses are intricately examined, providing a comprehensive understanding of the dynamical behavior and basic concepts. In summary, we offer a thorough description and analysis of the SEIR model but also lay the groundwork for advancing mathematical modeling in epidemiology. By bridging theoretical insights with practical implications, this study strives to empower researchers and policymakers with a deep understanding of infectious disease dynamics, thereby contributing to targeted public health strategies. △ Less

Submitted 24 December, 2024; originally announced January 2025.

Comments: 27 pages, 7 figures, 7 tables

MSC Class: 92B05; 92-10; 34A34; 37N25; 65L05

Generalized EXTRA stochastic gradient Langevin dynamics

Authors: Mert Gurbuzbalaban, Mohammad Rafiqul Islam, Xiaoyu Wang, Lingjiong Zhu

Abstract: Langevin algorithms are popular Markov Chain Monte Carlo methods for Bayesian learning, particularly when the aim is to sample from the posterior distribution of a parametric model, given the input data and the prior distribution over the model parameters. Their stochastic versions such as stochastic gradient Langevin dynamics (SGLD) allow iterative learning based on randomly sampled mini-batches… ▽ More Langevin algorithms are popular Markov Chain Monte Carlo methods for Bayesian learning, particularly when the aim is to sample from the posterior distribution of a parametric model, given the input data and the prior distribution over the model parameters. Their stochastic versions such as stochastic gradient Langevin dynamics (SGLD) allow iterative learning based on randomly sampled mini-batches of large datasets and are scalable to large datasets. However, when data is decentralized across a network of agents subject to communication and privacy constraints, standard SGLD algorithms cannot be applied. Instead, we employ decentralized SGLD (DE-SGLD) algorithms, where Bayesian learning is performed collaboratively by a network of agents without sharing individual data. Nonetheless, existing DE-SGLD algorithms induce a bias at every agent that can negatively impact performance; this bias persists even when using full batches and is attributable to network effects. Motivated by the EXTRA algorithm and its generalizations for decentralized optimization, we propose the generalized EXTRA stochastic gradient Langevin dynamics, which eliminates this bias in the full-batch setting. Moreover, we show that, in the mini-batch setting, our algorithm provides performance bounds that significantly improve upon those of standard DE-SGLD algorithms in the literature. Our numerical results also demonstrate the efficiency of the proposed approach. △ Less

Submitted 2 December, 2024; originally announced December 2024.

SplitVAEs: Decentralized scenario generation from siloed data for stochastic optimization problems

Authors: H M Mohaimanul Islam, Huynh Q. N. Vo, Paritosh Ramanan

Abstract: Stochastic optimization problems in large-scale multi-stakeholder networked systems (e.g., power grids and supply chains) rely on data-driven scenarios to encapsulate complex spatiotemporal interdependencies. However, centralized aggregation of stakeholder data is challenging due to the existence of data silos resulting from computational and logistical bottlenecks. In this paper, we present Split… ▽ More Stochastic optimization problems in large-scale multi-stakeholder networked systems (e.g., power grids and supply chains) rely on data-driven scenarios to encapsulate complex spatiotemporal interdependencies. However, centralized aggregation of stakeholder data is challenging due to the existence of data silos resulting from computational and logistical bottlenecks. In this paper, we present SplitVAEs, a decentralized scenario generation framework that leverages variational autoencoders to generate high-quality scenarios without moving stakeholder data. With the help of experiments on distributed memory systems, we demonstrate the broad applicability of SplitVAEs in a variety of domain areas that are dominated by a large number of stakeholders. Our experiments indicate that SplitVAEs can learn spatial and temporal interdependencies in large-scale networks to generate scenarios that match the joint historical distribution of stakeholder data in a decentralized manner. Our experiments show that SplitVAEs deliver robust performance compared to centralized, state-of-the-art benchmark methods while significantly reducing data transmission costs, leading to a scalable, privacy-enhancing alternative to scenario generation. △ Less

Submitted 30 January, 2025; v1 submitted 18 September, 2024; originally announced September 2024.

Comments: This work has been published to the 2024 IEEE International Conference on Big Data

Bi-quadratic Pólya fields with five distinct ramified primes

Authors: Md. Imdadul Islam, Jaitra Chattopadhyay, Debopam Chakraborty

Abstract: For an algebraic number field $K$, the Pólya group of $K$, denoted by $Po(K),$ is the subgroup of the ideal class group $Cl_{K}$ generated by the ideal classes of the products of prime ideals of same norm. The number field $K$ is said to be Pólya if $Po(K)$ is trivial. Motivated by several recent studies on the group $Po(K)$ when $K$ is a totally real bi-quadratic field, we investigate the same wi… ▽ More For an algebraic number field $K$, the Pólya group of $K$, denoted by $Po(K),$ is the subgroup of the ideal class group $Cl_{K}$ generated by the ideal classes of the products of prime ideals of same norm. The number field $K$ is said to be Pólya if $Po(K)$ is trivial. Motivated by several recent studies on the group $Po(K)$ when $K$ is a totally real bi-quadratic field, we investigate the same with five distinct odd primes ramifying in $K/\mathbb{Q}$. This extends the previous results on this problem, where the number of distinct ramified primes was at most four. △ Less

Submitted 9 August, 2024; originally announced August 2024.

Comments: 7 - 2epsilon pages, comments are welcome

Existence of Trust-field in Vehicular Ad Hoc Networks: Empirical Evidence

Authors: Md Mahmudul Islam, Shaurya Agarwal

Abstract: Vehicular Ad Hoc Networks (VANETs) play a crucial role in enhancing road safety and traffic efficiency by enabling communication between vehicles (V2V) and between vehicles and infrastructure (V2I). Robust trust management is necessary to ensure the reliability of information in decentralized systems. This paper presents the notion of a ``Trust Field" in VANETs, conceptualized as the behavior of t… ▽ More Vehicular Ad Hoc Networks (VANETs) play a crucial role in enhancing road safety and traffic efficiency by enabling communication between vehicles (V2V) and between vehicles and infrastructure (V2I). Robust trust management is necessary to ensure the reliability of information in decentralized systems. This paper presents the notion of a ``Trust Field" in VANETs, conceptualized as the behavior of the nodes that represents trust levels evolving in both spatial and temporal dimensions. Using the LogitTrust model, we provide empirical evidence of how trust fields in vehicular networks change over time in different scenarios, including when malicious nodes are present. The results of our study demonstrate that the trust domain can adjust to fluctuations in network conditions, thereby offering a comprehensive metric for assessing the reliability of nodes. This innovative method improves the dependability of VANET applications by efficiently detecting and mitigating malicious actions. △ Less

Submitted 18 July, 2024; originally announced July 2024.

Input-output reduced order modeling for public health intervention evaluation

Authors: Alex Viguerie, Chiara Piazzola, Md Hafizul Islam, Evin Uzun Jacobson

Abstract: In recent years, mathematical models have become an indispensable tool in the planning, evaluation, and implementation of public health interventions. Models must often provide detailed information for many levels of population stratification. Such detail comes at a price: in addition to the computational costs, the number of considered input parameters can be large, making effective study design… ▽ More In recent years, mathematical models have become an indispensable tool in the planning, evaluation, and implementation of public health interventions. Models must often provide detailed information for many levels of population stratification. Such detail comes at a price: in addition to the computational costs, the number of considered input parameters can be large, making effective study design difficult. To address these difficulties, we propose a novel technique to reduce the dimension of the model input space to simplify model-informed intervention planning. The method works by first applying a dimension reduction technique on the model output space. We then develop a method which allows us to map each reduced output to a corresponding vector in the input space, thereby reducing its dimension. We apply the method to the HIV Optimization and Prevention Economics (HOPE) model, to validate the approach and establish proof of concept. △ Less

Submitted 3 June, 2024; originally announced June 2024.

MSC Class: 65P99

Rigidity of compact rank one symmetric spaces

Authors: Chris Connell, Mitul Islam, Thang Nguyen, Ralf Spatzier

Abstract: We consider rigidity properties of compact symmetric spaces $X$ with metric $g_0$ of rank one. Suppose $g$ is another Riemannian metric on $X$ with sectional curvature $κ$ bounded by $0 \leq κ\leq 1$. If $g$ equals $g_0$ outside a convex proper subset of $X$, then $g$ is isometric with $g_0$. We also exhibit examples of surfaces showing that the nonnegativity of the curvature is needed. Our main r… ▽ More We consider rigidity properties of compact symmetric spaces $X$ with metric $g_0$ of rank one. Suppose $g$ is another Riemannian metric on $X$ with sectional curvature $κ$ bounded by $0 \leq κ\leq 1$. If $g$ equals $g_0$ outside a convex proper subset of $X$, then $g$ is isometric with $g_0$. We also exhibit examples of surfaces showing that the nonnegativity of the curvature is needed. Our main result complements earlier results on other symmetric spaces by Gromov and Schroeder-Ziller. △ Less

Submitted 1 June, 2024; originally announced June 2024.

Comments: 15 pages, 2 figures

MSC Class: 53C24 (Primary) 53C20; 53C35 (Secondary)

Morse properties in convex projective geometry

Authors: Mitul Islam, Theodore Weisman

Abstract: We study properties of "hyperbolic directions" in groups acting cocompactly on properly convex domains in real projective space, from three different perspectives simultaneously: the (coarse) metric geometry of the Hilbert metric, the projective geometry of the boundary of the domain, and the singular value gaps of projective automorphisms. We describe the relationship between different definition… ▽ More We study properties of "hyperbolic directions" in groups acting cocompactly on properly convex domains in real projective space, from three different perspectives simultaneously: the (coarse) metric geometry of the Hilbert metric, the projective geometry of the boundary of the domain, and the singular value gaps of projective automorphisms. We describe the relationship between different definitions of "Morse" and "regular" quasi-geodesics arising in these three different contexts. This generalizes several results of Benoist and Guichard to the non-Gromov hyperbolic setting. △ Less

Submitted 6 May, 2024; originally announced May 2024.

Comments: 59 pages, 5 figures

MSC Class: 57N16

Ulam's method for computing stationary densities of invariant measures for piecewise convex maps with countably infinite number of branches

Authors: Md Shafiqul Islam, Paweł Góra, A H M Mahbubur Rahman

Abstract: Let $τ: I=[0, 1]\to [0, 1]$ be a piecewise convex map with countably infinite number of branches. In \cite{GIR}, the existence of absolutely continuous invariant measure (ACIM) $μ$ for $τ$ and the exactness of the system $(τ, μ)$ has been proven. In this paper, we develop an Ulam method for approximation of $f^*$, the density of ACIM $μ$. We construct a sequence $\{τ_n\}_{n=1}^\infty$ of maps… ▽ More Let $τ: I=[0, 1]\to [0, 1]$ be a piecewise convex map with countably infinite number of branches. In \cite{GIR}, the existence of absolutely continuous invariant measure (ACIM) $μ$ for $τ$ and the exactness of the system $(τ, μ)$ has been proven. In this paper, we develop an Ulam method for approximation of $f^*$, the density of ACIM $μ$. We construct a sequence $\{τ_n\}_{n=1}^\infty$ of maps $τ_n: I\to I$ s. t. $τ_n$ has a finite number of branches and the sequence $τ_n$ converges to $τ$ almost uniformly. Using supremum norms and Lasota-Yorke type inequalities, we prove the existence of ACIMs $μ_n$ for $τ_n$ with the densities $f_n$. For a fixed $n$, we apply Ulam's method with $k$ subintervals to $τ_n$ and compute approximations $f_{n,k}$ of $f_n$. We prove that $f_{n,k}\to f^*$ as $n\to \infty, k\to \infty,$ both a.e. and in $L^1$. We provide examples of piecewise convex maps $τ$ with countably infinite number of branches, their approximations $τ_n$ with finite number of branches and for increasing values of parameter $k$ show the errors $\|f^*-f_{n,k}\|_1$. △ Less

Submitted 4 May, 2024; originally announced May 2024.

Comments: 19 pages, 9 figures

MSC Class: 37E05 (Primary) 37M15 (Secondary)

Galerkin-Bernstein Approximations for the System of Third-Order Nonlinear Boundary Value Problems

Authors: Snigdha Dhar, Md. Shafiqul Islam

Abstract: This paper is devoted to find the numerical solutions of one dimensional general nonlinear system of third-order boundary value problems (BVPs) for the pair of functions using Galerkin weighted residual method. We derive mathematical formulations in matrix form, in details, by exploiting Bernstein polynomials as basis functions. A reasonable accuracy is found when the proposed method is used on fe… ▽ More This paper is devoted to find the numerical solutions of one dimensional general nonlinear system of third-order boundary value problems (BVPs) for the pair of functions using Galerkin weighted residual method. We derive mathematical formulations in matrix form, in details, by exploiting Bernstein polynomials as basis functions. A reasonable accuracy is found when the proposed method is used on few examples. At the end of the study, a comparison is made between the approximate and exact solutions, and also with the solutions of the existing methods. Our results converge monotonically to the exact solutions. In addition, we show that the the derived formulations may be applicable by reducing higher order complicated BVP into a lower order system of BVPs, and the performance of the numerical solutions is satisfactory. △ Less

Submitted 23 April, 2024; originally announced April 2024.

MSC Class: 65L60

Edge Detection Quantumized: A Novel Quantum Algorithm For Image Processing

Authors: Syed Emad Uddin Shubha, Mir Muzahedul Islam, Tanvir Ahahmed Sadi, Md. Hasibul Hasan Miraz, M. R. C. Mahdy

Abstract: Quantum image processing is a research field that explores the use of quantum computing and algorithms for image processing tasks such as image encoding and edge detection. Although classical edge detection algorithms perform reasonably well and are quite efficient, they become outright slower when it comes to large datasets with high-resolution images. Quantum computing promises to deliver a sign… ▽ More Quantum image processing is a research field that explores the use of quantum computing and algorithms for image processing tasks such as image encoding and edge detection. Although classical edge detection algorithms perform reasonably well and are quite efficient, they become outright slower when it comes to large datasets with high-resolution images. Quantum computing promises to deliver a significant performance boost and breakthroughs in various sectors. Quantum Hadamard Edge Detection (QHED) algorithm, for example, works at constant time complexity, and thus detects edges much faster than any classical algorithm. However, the original QHED algorithm is designed for Quantum Probability Image Encoding (QPIE) and mainly works for binary images. This paper presents a novel protocol by combining the Flexible Representation of Quantum Images (FRQI) encoding and a modified QHED algorithm. An improved edge outline method has been proposed in this work resulting in a better object outline output and more accurate edge detection than the traditional QHED algorithm. △ Less

Submitted 10 April, 2024; originally announced April 2024.

Comments: 10 pages, 9 figures and 15 equations

Approximation of Some Nonlinear Fractional Order BVPs by Weighted Residual Methods

Authors: Umme Ruman, Md. Shafiqul Islam

Abstract: To extract the approximate solutions in the case of nonlinear fractional order differential equations with the homogeneous and nonhomogeneous boundary conditions, the weighted residual method is embedded here. We exploit three methods such as Galerkin, Least Square, and Collocation for the efficient numerical solution of nonlinear two-point boundary value problems. Some nonlinear cases are examine… ▽ More To extract the approximate solutions in the case of nonlinear fractional order differential equations with the homogeneous and nonhomogeneous boundary conditions, the weighted residual method is embedded here. We exploit three methods such as Galerkin, Least Square, and Collocation for the efficient numerical solution of nonlinear two-point boundary value problems. Some nonlinear cases are examined for observing the maximum absolute errors by the considered methods, demonstrating the accuracy and reliability of the present technique using the modified Legendre and modified Bernoulli polynomials as weight functions. The mathematical formulations and computational algorithms are more straightforward and uncomplicated to understand. Absolute errors and the graphical representation reflect that our method is more accurate and reliable. △ Less

Submitted 4 April, 2024; originally announced April 2024.

Comments: 14 Pages, 10 Figures

MSC Class: 65-XX

Large Pólya groups in simplest cubic fields and consecutive bi-qaudratic fields

Authors: Md. Imdadul Islam, Jaitra Chattopadhyay, Debopam Chakraborty

Abstract: The Pólya group of an algebraic number field is the subgroup generated by the ideal classes of the products of prime ideals of equal norm inside the ideal class group. Inspired by a recent work on consecutive quadratic fields with large class numbers by Cherubini et al., we extend the notion of {\it consecutiveness} of number fields to certain parametric families of cyclic cubic fields and bi-quad… ▽ More The Pólya group of an algebraic number field is the subgroup generated by the ideal classes of the products of prime ideals of equal norm inside the ideal class group. Inspired by a recent work on consecutive quadratic fields with large class numbers by Cherubini et al., we extend the notion of {\it consecutiveness} of number fields to certain parametric families of cyclic cubic fields and bi-quadratic fields and address the question of the existence of infinitely many such consecutive fields with large Pólya groups. This extends a recent result of the second author and Saikia for totally real bi-quadratic fields. △ Less

Submitted 5 December, 2023; originally announced December 2023.

Comments: 7 - epsilon pages. Comments are welcome

Optimizing Inventory Routing: A Decision-Focused Learning Approach using Neural Networks

Authors: MD Shafikul Islam, Azmine Toushik Wasi

Abstract: Inventory Routing Problem (IRP) is a crucial challenge in supply chain management as it involves optimizing efficient route selection while considering the uncertainty of inventory demand planning. To solve IRPs, usually a two-stage approach is employed, where demand is predicted using machine learning techniques first, and then an optimization algorithm is used to minimize routing costs. Our expe… ▽ More Inventory Routing Problem (IRP) is a crucial challenge in supply chain management as it involves optimizing efficient route selection while considering the uncertainty of inventory demand planning. To solve IRPs, usually a two-stage approach is employed, where demand is predicted using machine learning techniques first, and then an optimization algorithm is used to minimize routing costs. Our experiment shows machine learning models fall short of achieving perfect accuracy because inventory levels are influenced by the dynamic business environment, which, in turn, affects the optimization problem in the next stage, resulting in sub-optimal decisions. In this paper, we formulate and propose a decision-focused learning-based approach to solving real-world IRPs. This approach directly integrates inventory prediction and routing optimization within an end-to-end system potentially ensuring a robust supply chain strategy. △ Less

Submitted 2 November, 2023; originally announced November 2023.

Comments: 3 Pages, 2 figures, New in ML Workshop at NeurIPS 2023. Openreview forum: https://openreview.net/forum?id=r0fzjB8f7f&

Journal ref: New in Machine Learning Workshop, NeurIPS 2023

A mathematical model for understanding and controlling monkeypox transmission dynamics in the United States and its implications for future epidemic management

Authors: Md. Azmir Ibne Islam, M H M Mubassir, Arindam Kumar Paul, Sharmin Sultana Shanta

Abstract: Background: Although the outbreak of human monkeypox (mpox) caused by the monkeypox virus (MPXV) has slowed down around the world, little is known about the short-term dynamics of this disease. This limited information highlights the critical need to assess the underlying interventions. Method: To identify and re-examine the key pattern of the disease, a modified logistic growth model is presented… ▽ More Background: Although the outbreak of human monkeypox (mpox) caused by the monkeypox virus (MPXV) has slowed down around the world, little is known about the short-term dynamics of this disease. This limited information highlights the critical need to assess the underlying interventions. Method: To identify and re-examine the key pattern of the disease, a modified logistic growth model is presented and analysed in this paper. Our main focus is on the two non-pharmaceutical interventions: policies aimed at reducing human-to-human transmission and animal-to-human transmission. We incorporated these two strategies in the model as control parameters to understand their short-term significance on the epidemic, and to analyse their strengths in minimizing the infected cases. We used mpox data set of the United States from 10 May 2022 to 31 December 2022 in the model and estimated the baseline parameters. Results: The model reveals a complying acceptance to the US data set. Model simulations highlight that preventive measures could play important roles in controlling the deadly spread of the disease in the year of 2022. During the transmission period, better outcomes could have been possible to achieve in the US if both controls were brought to action simultaneously. Conclusion: Our study reflects that continuous application of the preventive strategies might be an effective tool to prevent the short-term outbreak of mpox or similar diseases. Moreover, such strategies could play supporting roles during pre- and post-vaccination periods. △ Less

Submitted 23 November, 2024; v1 submitted 2 September, 2023; originally announced September 2023.

Comments: 17 pages, 9 figures

Elliptic curves associated with Heron triangles with high $2$-Selmer rank

Authors: Vinodkumar Ghale, Md Imdadul Islam, Debopam Chakraborty

Abstract: Rank computation of elliptic curves has deep relations with various unsolved questions in number theory, most notably in the congruent number problem for right-angled triangles. Similar relations between elliptic curves and Heron triangles were established later. In this work, we explicitly compute the 2-Selmer rank of the elliptic curves associated with Heron triangles of even area, which eventua… ▽ More Rank computation of elliptic curves has deep relations with various unsolved questions in number theory, most notably in the congruent number problem for right-angled triangles. Similar relations between elliptic curves and Heron triangles were established later. In this work, we explicitly compute the 2-Selmer rank of the elliptic curves associated with Heron triangles of even area, which eventually sheds light on the Mordell-Weil rank of those curves. △ Less

Submitted 1 August, 2023; originally announced August 2023.

Comments: 15 pages, 2 tables, comments are welcome

MSC Class: Primary:11G05; 11G07 Secondary: 51M04

Galerkin-Bernstein Approximations of the System of Time Dependent Nonlinear Parabolic PDEs

Authors: Hazrat Ali, Nilormy Gupta Trisha, Md. Shafiqul Islam

Abstract: The purpose of the research is to find the numerical solutions to the system of time dependent nonlinear parabolic partial differential equations (PDEs) utilizing the Modified Galerkin Weighted Residual Method (MGWRM) with the help of modified Bernstein polynomials. An approximate solution of the system has been assumed in accordance with the modified Bernstein polynomials. Thereafter, the modifie… ▽ More The purpose of the research is to find the numerical solutions to the system of time dependent nonlinear parabolic partial differential equations (PDEs) utilizing the Modified Galerkin Weighted Residual Method (MGWRM) with the help of modified Bernstein polynomials. An approximate solution of the system has been assumed in accordance with the modified Bernstein polynomials. Thereafter, the modified Galerkin method has been applied to the system of nonlinear parabolic PDEs and has transformed the model into a time dependent ordinary differential equations system. Then the system has been converted into the recurrence equations by employing backward difference approximation. However, the iterative calculation is performed by using the Picard Iterative method. A few renowned problems are then solved to test the applicability and efficiency of our proposed scheme. The numerical solutions at different time levels are then displayed numerically in tabular form and graphically by figures. The comparative study is presented along with L2 norm, and L infinity norm. △ Less

Submitted 10 July, 2023; originally announced July 2023.

Hypergraph Classification via Persistent Homology

Authors: Mehmet Emin Aktas, Thu Nguyen, Rakin Riza, Muhammad Ifte Islam, Esra Akbas

Abstract: Persistent homology is a mathematical tool used for studying the shape of data by extracting its topological features. It has gained popularity in network science due to its applicability in various network mining problems, including clustering, graph classification, and graph neural networks. The definition of persistent homology for graphs is relatively straightforward, as graphs possess distinc… ▽ More Persistent homology is a mathematical tool used for studying the shape of data by extracting its topological features. It has gained popularity in network science due to its applicability in various network mining problems, including clustering, graph classification, and graph neural networks. The definition of persistent homology for graphs is relatively straightforward, as graphs possess distinct intrinsic distances and a simplicial complex structure. However, hypergraphs present a challenge in preserving topological information since they may not have a simplicial complex structure. In this paper, we define several topological characterizations of hypergraphs in defining hypergraph persistent homology to prioritize different higher-order structures within hypergraphs. We further use these persistent homology filtrations in classifying four different real-world hypergraphs and compare their performance to the state-of-the-art graph neural network models. Experimental results demonstrate that persistent homology filtrations are effective in classifying hypergraphs and outperform the baseline models. To the best of our knowledge, this study represents the first systematic attempt to tackle the hypergraph classification problem using persistent homology. △ Less

Submitted 20 June, 2023; originally announced June 2023.

MSC Class: 55N31; 62R40

Numerical Approximations of a Class of Nonlinear Second-Order Boundary Value Problems using Galerkin-Compact Finite Difference Method

Authors: Shovan Sourav Datta Pranta, Md. Shafiqul Islam

Abstract: In this study, we examine numerical approximations for 2nd-order linear-nonlinear differential equations with diverse boundary conditions, followed by the residual corrections of the first approximations. We first obtain numerical results using the Galerkin weighted residual approach with Bernstein polynomials. The generation of residuals is brought on by the fact that our first approximation is c… ▽ More In this study, we examine numerical approximations for 2nd-order linear-nonlinear differential equations with diverse boundary conditions, followed by the residual corrections of the first approximations. We first obtain numerical results using the Galerkin weighted residual approach with Bernstein polynomials. The generation of residuals is brought on by the fact that our first approximation is computed using numerical methods. To minimize these residuals, we use the compact finite difference scheme of 4th-order convergence to solve the error differential equations in accordance with the error boundary conditions. We also introduce the formulation of the compact finite difference method of fourth-order convergence for the nonlinear BVPs. The improved approximations are produced by adding the error values derived from the approximations of the error differential equation to the weighted residual values. Numerical results are compared to the exact solutions and to the solutions available in the published literature to validate the proposed scheme, and high accuracy is achieved in all cases △ Less

Submitted 16 June, 2023; originally announced June 2023.

Comments: Accepted for publication into the journal:European Journal of Mathematics and Statistics, 2023

MSC Class: 34Axx | 34-XX | 34Cxx

Approximations of Time-Dependent Nonlinear Partial Differential Equations using Galerkin Optimal Auxiliary Function Method

Authors: Nilormy Gupta Trisha, Md. Shafiqul Islam

Abstract: The purpose of this research work is to employ the Optimal Auxiliary Function Method (OAFM) for obtaining numerical approximations of time-dependent nonlinear partial differential equations (PDEs) that arise in many disciplines of science and engineering. The initial and first approximations of parabolic nonlinear PDEs associated with initial conditions have been generated by utilizing this method… ▽ More The purpose of this research work is to employ the Optimal Auxiliary Function Method (OAFM) for obtaining numerical approximations of time-dependent nonlinear partial differential equations (PDEs) that arise in many disciplines of science and engineering. The initial and first approximations of parabolic nonlinear PDEs associated with initial conditions have been generated by utilizing this method. Then the Galerkin method is applied to estimate the coefficients that remain unknown. Finally, the values of the coefficients generated by the Galerkin method have been inserted into the first approximation. In each example, all numerical computations and corresponding absolute errors are provided in schematic and tabular representations. The rate of convergence attained by the proposed method is depicted in tabular form △ Less

Submitted 10 June, 2023; originally announced June 2023.

Comments: Accepted for Publication into the journal GANIT: Journal of Bangladesh Mathematical Society, 2023

MSC Class: 35K15; 35K55; 65M60; 41A81

Boundary actions of lattices and $C^0$ local semi-rigidity

Authors: Chris Connell, Mitul Islam, Thang Nguyen, Ralf Spatzier

Abstract: We consider actions of cocompact lattices in semisimple Lie groups of the noncompact type on their boundaries $G/Q$, $Q$ a parabolic group, the so-called standard actions. We show that perturbations of the standard action in the homeomorphism group continuously factor onto the original standard action by a semi-conjugacy close to the identity. This generalizes works by Bowden, Mann, Manning and We… ▽ More We consider actions of cocompact lattices in semisimple Lie groups of the noncompact type on their boundaries $G/Q$, $Q$ a parabolic group, the so-called standard actions. We show that perturbations of the standard action in the homeomorphism group continuously factor onto the original standard action by a semi-conjugacy close to the identity. This generalizes works by Bowden, Mann, Manning and Weisman in the setting of negative curvature or Gromov hyperbolic groups. Finally, we also construct perturbations of the action of lattices on the geodesic boundary which are not $C^0$ semi-conjugate to the original action. △ Less

Submitted 1 March, 2023; originally announced March 2023.

Comments: 61 pages

MSC Class: 53C24; 53C20; 37D40

Algorithm for connectivity queries on real algebraic curves

Authors: Md Nazrul Islam, Adrien Poteaux, Rémi Prébet

Abstract: We consider the problem of answering connectivity queries on a real algebraic curve. The curve is given as the real trace of an algebraic curve, assumed to be in generic position, and being defined by some rational parametrizations. The query points are given by a zero-dimensional parametrization. We design an algorithm which counts the number of connected components of the real curve under study,… ▽ More We consider the problem of answering connectivity queries on a real algebraic curve. The curve is given as the real trace of an algebraic curve, assumed to be in generic position, and being defined by some rational parametrizations. The query points are given by a zero-dimensional parametrization. We design an algorithm which counts the number of connected components of the real curve under study, and decides which query point lie in which connected component, in time log-linear in $N^6$, where $N$ is the maximum of the degrees and coefficient bit-sizes of the polynomials given as input. This matches the currently best-known bound for computing the topology of real plane curves. The main novelty of this algorithm is the avoidance of the computation of the complete topology of the curve. △ Less

Submitted 11 July, 2023; v1 submitted 22 February, 2023; originally announced February 2023.

Comments: 10 pages, 2 figures

Class number divisibility of $\mathbb{Q}(\sqrt{3p}, \sqrt{m-21pn^{2}})$ constructed from elliptic curves of $2$-Selmer rank exactly $1$

Authors: Debopam Chakraborty, Vinodkumar Ghale, MD Imdadul Islam

Abstract: The class number divisibility problem for number fields is one of the classical problems in algebraic number theory, which originated from Gauss' class number conjectures. The relation between the points on an elliptic curve and class number divisibility of a number field has been explored through the works of various mathematicians. Here, we explicitly construct an unramified abelian extension of… ▽ More The class number divisibility problem for number fields is one of the classical problems in algebraic number theory, which originated from Gauss' class number conjectures. The relation between the points on an elliptic curve and class number divisibility of a number field has been explored through the works of various mathematicians. Here, we explicitly construct an unramified abelian extension of a bi-quadratic field generated from points of a certain type of elliptic curve. Moreover, showing the $2$-Selmer rank of the said elliptic curve as $1$, we also construct an infinite family of bi-quadratic fields of even class number. △ Less

Submitted 21 December, 2022; originally announced December 2022.

Comments: Comments are welcome

MSC Class: Primary 11R29; 11G07; Secondary 11G05; 11R11

The structure of relatively hyperbolic groups in convex real projective geometry

Authors: Mitul Islam, Andrew Zimmer

Abstract: In this paper we prove a general structure theorem for relatively hyperbolic groups (with arbitrary peripheral subgroups) acting naive convex co-compactly on properly convex domains in real projective space. We also establish a characterization of such groups in terms of the existence of an invariant collection of closed unbounded convex subsets with good isolation properties. This is a real proje… ▽ More In this paper we prove a general structure theorem for relatively hyperbolic groups (with arbitrary peripheral subgroups) acting naive convex co-compactly on properly convex domains in real projective space. We also establish a characterization of such groups in terms of the existence of an invariant collection of closed unbounded convex subsets with good isolation properties. This is a real projective analogue of results of Hindawi-Hruska-Kleiner for ${\rm CAT}(0)$ spaces. We also obtain an equivariant homeomorphism between the Bowditch boundary of the group and a quotient of the ideal boundary. △ Less

Submitted 13 July, 2023; v1 submitted 30 March, 2022; originally announced March 2022.

Comments: 31 pages. v2: minor revisions. Comments welcome!

Morse-Novikov cohomology on foliated manifolds

Authors: Md. Shariful Islam

Abstract: The idea of Lichnerowicz or Morse-Novikov cohomology groups of a manifold has been utilized by many researchers to study important properties and invariants of a manifold. Morse-Novikov cohomology is defined using the differential $d_ω=d+ω\wedge$, where $ω$ is a closed $1$-form. We study Morse-Novikov cohomology relative to a foliation on a manifold and its homotopy invariance and then extend it t… ▽ More The idea of Lichnerowicz or Morse-Novikov cohomology groups of a manifold has been utilized by many researchers to study important properties and invariants of a manifold. Morse-Novikov cohomology is defined using the differential $d_ω=d+ω\wedge$, where $ω$ is a closed $1$-form. We study Morse-Novikov cohomology relative to a foliation on a manifold and its homotopy invariance and then extend it to more general type of forms on a Riemannian foliation. We study the Laplacian and Hodge decompositions for the corresponding differential operators on reduced leafwise Morse-Novikov complexes. In the case of Riemannian foliations, we prove that the reduced leafwise Morse-Novikov cohomology groups satisfy the Hodge theorem and Poincar{é} duality. The resulting isomorphisms yield a Hodge diamond structure for leafwise Morse-Novikov cohomology. △ Less

Submitted 9 February, 2022; originally announced February 2022.

Comments: 15 pages, 1 Figure

MSC Class: 57R30

Definite Integral of $α$-Fractal Functions

Authors: Md Nazimul Islam, Imrul Kaish

Abstract: In this article the integration of the $α$-fractal interpolation function $f^α$ corresponding to any continuous function $f$ on a compact interval $I$ of $\mathbb{R}$ is estimated although there is no explicit form of $α$-fractal interpolation function till now. Some results related to the definite integral of $f^α$ are established. Also the flipped $α$-fractal function $f_{F}^{α_{F}}$ correspondi… ▽ More In this article the integration of the $α$-fractal interpolation function $f^α$ corresponding to any continuous function $f$ on a compact interval $I$ of $\mathbb{R}$ is estimated although there is no explicit form of $α$-fractal interpolation function till now. Some results related to the definite integral of $f^α$ are established. Also the flipped $α$-fractal function $f_{F}^{α_{F}}$ corresponding to the continuous function $f$ is constructed and a result is proved that relates the definite integrals of the fractal functions $f_{F}^{α_{F}}$ and $f^α$. △ Less

Submitted 19 December, 2021; originally announced December 2021.

MSC Class: 28A80; 65D05

Scheduled Relaxation Jacobi schemes for non-elliptic partial differential equations

Authors: Mohammad Shafaet Islam, Qiqi Wang

Abstract: The Scheduled Relaxation Jacobi (SRJ) method is a linear solver algorithm which greatly improves the convergence of the Jacobi iteration through the use of judiciously chosen relaxation factors (an SRJ scheme) which attenuate the solution error. Until now, the method has primarily been used to accelerate the solution of elliptic PDEs (e.g. Laplace, Poisson's equation) as the currently available sc… ▽ More The Scheduled Relaxation Jacobi (SRJ) method is a linear solver algorithm which greatly improves the convergence of the Jacobi iteration through the use of judiciously chosen relaxation factors (an SRJ scheme) which attenuate the solution error. Until now, the method has primarily been used to accelerate the solution of elliptic PDEs (e.g. Laplace, Poisson's equation) as the currently available schemes are restricted to solving this class of problems. The goal of this paper is to present a methodology for constructing SRJ schemes which are suitable for solving non-elliptic PDEs (or equivalent, nonsymmetric linear systems arising from the discretization of these PDEs), thereby extending the applicability of this method to a broader class of problems. These schemes are obtained by numerically solving a constrained minimization problem which guarantees the solution error will not grow as long as the linear system has eigenvalues which lie in certain regions of the complex plane. We demonstrate that these schemes are able to accelerate the convergence of standard Jacobi iteration for the nonsymmetric linear systems arising from discretization of the 1D and 2D steady advection-diffusion equations. △ Less

Submitted 13 December, 2021; originally announced December 2021.

Comments: 32 pages, 11 figures

Towards Prevention of Sportsmen Burnout: Formal Analysis of Sub-Optimal Tournament Scheduling

Authors: Syed Rameez Naqvi, Adnan Ahmad, S. M. Riazul Islam, Tallha Akram, M. Abdullah-Al-Wadud, Atif Alamri

Abstract: Scheduling a sports tournament is a complex optimization problem, which requires a large number of hard constraints to satisfy. Despite the availability of several such constraints in the literature, there remains a gap since most of the new sports events pose their own unique set of requirements, and demand novel constraints. Specifically talking of the strictly time bound events, ensuring fairne… ▽ More Scheduling a sports tournament is a complex optimization problem, which requires a large number of hard constraints to satisfy. Despite the availability of several such constraints in the literature, there remains a gap since most of the new sports events pose their own unique set of requirements, and demand novel constraints. Specifically talking of the strictly time bound events, ensuring fairness between the different teams in terms of their rest days, traveling, and the number of successive games they play, becomes a difficult task to resolve, and demands attention. In this work, we present a similar situation with a recently played sports event, where a suboptimal schedule favored some of the sides more than the others. We introduce various competitive parameters to draw a fairness comparison between the sides and propose a weighting criterion to point out the sides that enjoyed this schedule more than the others. Furthermore, we use root mean squared error between an ideal schedule and the actual ones for each side to determine unfairness in the distribution of rest days across their entire schedules. The latter is crucial, since successively playing a large number of games may lead to sportsmen burnout, which must be prevented. △ Less

Submitted 17 June, 2021; originally announced June 2021.

Comments: 15 pages, 6 figures, CMC-Computers, Materials & Continua

Convex co-compact groups with one dimensional boundary faces

Authors: Mitul Islam, Andrew Zimmer

Abstract: In this paper we consider convex co-compact subgroups of the projective linear group. We prove that such a group is relatively hyperbolic with respect to a collection of virtually Abelian subgroups of rank two if and only if each open face in the ideal boundary has dimension at most one. We also introduce the "coarse Hilbert dimension" of a subset of a convex set and use it to characterize when a… ▽ More In this paper we consider convex co-compact subgroups of the projective linear group. We prove that such a group is relatively hyperbolic with respect to a collection of virtually Abelian subgroups of rank two if and only if each open face in the ideal boundary has dimension at most one. We also introduce the "coarse Hilbert dimension" of a subset of a convex set and use it to characterize when a naive convex co-compact subgroup is word hyperbolic or relatively hyperbolic with respect to a collection of virtually Abelian subgroups of rank two. △ Less

Submitted 29 July, 2024; v1 submitted 11 April, 2021; originally announced April 2021.

Comments: v2: Minor revisions based on referees' reports. To appear in Groups, Geometry, and Dynamics. 32 pages. Comments welcome. arXiv admin note: text overlap with arXiv:1910.08885

MSC Class: 20F67; 20H10; 53A20; 57N16; 57S20

Fluid Flow along the Riga Plate with the Influence of Magnetic Force in a Rotating System

Authors: Muhammad Minarul Islam, Sheela Khatun, Md. Tusher Mollah, Md. Mahmud Alam

Abstract: The fluid flow along the Riga plate with the influence of magnetic force in a rotating system has been investigated numerically. The governing equations have been derived from Navier-Stokes equations. Applying the boundary layer approximation, the appropriate boundary layer equations have been obtained. By using usual transformation, the obtained governing equations have been transformed into a co… ▽ More The fluid flow along the Riga plate with the influence of magnetic force in a rotating system has been investigated numerically. The governing equations have been derived from Navier-Stokes equations. Applying the boundary layer approximation, the appropriate boundary layer equations have been obtained. By using usual transformation, the obtained governing equations have been transformed into a coupled dimensionless non-linear partial differential equation. The obtained dimensionless equations have been solved numerically by explicit finite difference scheme. The simulated results have been obtained by using MATLAB R2015a. Also the stability and convergence criteria have been analyzed. The effect of several parameters on the primary velocity, secondary velocity, temperature distributions as well as local shear stress and Nusselt number have been shown graphically. △ Less

Submitted 24 March, 2021; originally announced March 2021.

Comments: arXiv admin note: text overlap with arXiv:2103.13481

Journal ref: 8th BSME International Conference on Thermal Engineering, AIP Conf. Proc. (2019) 2121, 050002-1 - 050002-6

Hall Effects on Casson Fluid Flow along a Vertical Plate

Authors: Mst. Sonia Akter, Mohammad Rafiqul Islam, Md. Tusher Mollah, Md. Mahmud Alam

Abstract: The Hall effects on Casson fluid flow along a vertical plate has been investigated numerically. The governing equations have been derived from Navier-Stokes' equation and boundary layer approximation has been employed. By using usual transformations, the obtained non-linear coupled partial differential equations have been transformed into dimensionless governing equations. These equations have bee… ▽ More The Hall effects on Casson fluid flow along a vertical plate has been investigated numerically. The governing equations have been derived from Navier-Stokes' equation and boundary layer approximation has been employed. By using usual transformations, the obtained non-linear coupled partial differential equations have been transformed into dimensionless governing equations. These equations have been solved by applying the explicit finite difference method. The MATLAB R2015a tool has been used for numerical simulation. The stability and convergence criteria have been analyzed. The effect of some important parameters on the primary velocity, secondary velocity, temperature and concentration distributions as well as local shear stress, Nusselt number and Sherwood number have been shown graphically. △ Less

Submitted 24 March, 2021; originally announced March 2021.

Journal ref: 8th BSME International Conference on Thermal Engineering, AIP Conf. Proc. (2019) 2121, 040004-1 - 040004-7

Bingham Fluid Flow through Oscillatory Porous Plate with Ion-Slip and Hall Current

Authors: Md. Tusher Mollah, Muhammad Minarul Islam, Mohammad Ferdows, Md. Mahmud Alam

Abstract: The numerical approach has been performed to study the Bingham fluid flow through an oscillatory porous plate with Ion-Slip and Hall current. Initially, at time; t = 0 both the fluid and the upper plate are at rest. At time; t > 0 the upper plate begins to oscillate in its own plane while the lower plate is stationary. The lower plate temperature is constant while the upper plate temperature has o… ▽ More The numerical approach has been performed to study the Bingham fluid flow through an oscillatory porous plate with Ion-Slip and Hall current. Initially, at time; t = 0 both the fluid and the upper plate are at rest. At time; t > 0 the upper plate begins to oscillate in its own plane while the lower plate is stationary. The lower plate temperature is constant while the upper plate temperature has oscillated. A uniform magnetic field is applied perpendicular to the plates. To obtain the dimensionless equations from the governing non-linear partial differential equations, the usual transformations have been used. The explicit finite difference technique has been applied to solve the obtained dimensionless equations. The MATLAB R2015a has been used for numerical simulation. For the accuracy of the numerical technique, the stability and convergence criteria have been discussed and the system has found to be converged for P_r>=0.08, Beta_i>=2, H_a<=20, K_o<=8 (k~=2) and R_e>=0.011 with Beta_e=0.10, E_c=0.10, Delta(Y)=0.05 and Delta(Tau)=0.0001. The steady-state solution has achieved at the dimensionless time=2.00. At the steady-state time, the effect of several parameters on the flow patterns, local shear stress and the Nusselt number have been shown graphically. △ Less

Submitted 24 March, 2021; originally announced March 2021.

Journal ref: 8th BSME International Conference on Thermal Engineering, AIP Conference Proceedings (2019), 2121, 050011-1 - 050011-6

A Computational Framework for Solving Nonlinear Binary OptimizationProblems in Robust Causal Inference

Authors: Md Saiful Islam, Md Sarowar Morshed, Md. Noor-E-Alam

Abstract: Identifying cause-effect relations among variables is a key step in the decision-making process. While causal inference requires randomized experiments, researchers and policymakers are increasingly using observational studies to test causal hypotheses due to the wide availability of observational data and the infeasibility of experiments. The matching method is the most used technique to make cau… ▽ More Identifying cause-effect relations among variables is a key step in the decision-making process. While causal inference requires randomized experiments, researchers and policymakers are increasingly using observational studies to test causal hypotheses due to the wide availability of observational data and the infeasibility of experiments. The matching method is the most used technique to make causal inference from observational data. However, the pair assignment process in one-to-one matching creates uncertainty in the inference because of different choices made by the experimenter. Recently, discrete optimization models are proposed to tackle such uncertainty. Although a robust inference is possible with discrete optimization models, they produce nonlinear problems and lack scalability. In this work, we propose greedy algorithms to solve the robust causal inference test instances from observational data with continuous outcomes. We propose a unique framework to reformulate the nonlinear binary optimization problems as feasibility problems. By leveraging the structure of the feasibility formulation, we develop greedy schemes that are efficient in solving robust test problems. In many cases, the proposed algorithms achieve global optimal solutions. We perform experiments on three real-world datasets to demonstrate the effectiveness of the proposed algorithms and compare our result with the state-of-the-art solver. Our experiments show that the proposed algorithms significantly outperform the exact method in terms of computation time while achieving the same conclusion for causal tests. Both numerical experiments and complexity analysis demonstrate that the proposed algorithms ensure the scalability required for harnessing the power of big data in the decision-making process. △ Less

Submitted 19 November, 2021; v1 submitted 22 December, 2020; originally announced December 2020.

A data driven heuristic for rapid convergence of Scheduled Relaxation Jacobi schemes

Authors: Mohammad Shafaet Islam, Qiqi Wang

Abstract: The Scheduled Relaxation Jacobi (SRJ) method is a viable candidate as a high performance linear solver for elliptic partial differential equations (PDEs). The method greatly improves the convergence of the standard Jacobi iteration by applying a sequence of $M$ well-chosen overrelaxation and underrelaxation factors in each cycle of the algorithm to effectively attenuate the solution error. In prev… ▽ More The Scheduled Relaxation Jacobi (SRJ) method is a viable candidate as a high performance linear solver for elliptic partial differential equations (PDEs). The method greatly improves the convergence of the standard Jacobi iteration by applying a sequence of $M$ well-chosen overrelaxation and underrelaxation factors in each cycle of the algorithm to effectively attenuate the solution error. In previous work, optimal SRJ schemes (sets of relaxation factors) have been derived to accelerate convergence for specific discretizations of elliptic PDEs. In this work, we develop a family of SRJ schemes which can be applied to solve elliptic PDEs regardless of the specific discretization employed. To achieve favorable convergence, we train an algorithm to select which scheme in this family to apply at each cycle of the linear solve process, based on convergence data collected from applying these schemes to the one-dimensional Poisson equation. The automatic selection heuristic that is developed based on this limited data is found to provide good convergence for a wide range of problems. △ Less

Submitted 20 April, 2022; v1 submitted 12 November, 2020; originally announced November 2020.

Comments: 29 pages, 14 figures

Convex co-compact representations of 3-manifold groups

Authors: Mitul Islam, Andrew Zimmer

Abstract: A representation of a finitely generated group into the projective general linear group is called convex co-compact if it has finite kernel and its image acts convex co-compactly on a properly convex domain in real projective space. We prove that the fundamental group of a closed irreducible orientable 3-manifold can admit such a representation only when the manifold is geometric (with Euclidean,… ▽ More A representation of a finitely generated group into the projective general linear group is called convex co-compact if it has finite kernel and its image acts convex co-compactly on a properly convex domain in real projective space. We prove that the fundamental group of a closed irreducible orientable 3-manifold can admit such a representation only when the manifold is geometric (with Euclidean, Hyperbolic, or Euclidean $\times$ Hyperbolic geometry) or when every component in the geometric decomposition is hyperbolic. In each case, we describe the structure of such examples. △ Less

Submitted 15 March, 2024; v1 submitted 10 September, 2020; originally announced September 2020.

Comments: v2: substantial changes from v1. Final version, to appear in the Journal of Topology. 48 pages. Comments welcome

MSC Class: 53A20; 53A35; 20F67; 57M50; 20H10

Hierarchical Jacobi Iteration for Structured Matrices on GPUs using Shared Memory

Authors: Mohammad Shafaet Islam, Qiqi Wang

Abstract: High fidelity scientific simulations modeling physical phenomena typically require solving large linear systems of equations which result from discretization of a partial differential equation (PDE) by some numerical method. This step often takes a vast amount of computational time to complete, and therefore presents a bottleneck in simulation work. Solving these linear systems efficiently require… ▽ More High fidelity scientific simulations modeling physical phenomena typically require solving large linear systems of equations which result from discretization of a partial differential equation (PDE) by some numerical method. This step often takes a vast amount of computational time to complete, and therefore presents a bottleneck in simulation work. Solving these linear systems efficiently requires the use of massively parallel hardware with high computational throughput, as well as the development of algorithms which respect the memory hierarchy of these hardware architectures to achieve high memory bandwidth. In this paper, we present an algorithm to accelerate Jacobi iteration for solving structured problems on graphics processing units (GPUs) using a hierarchical approach in which multiple iterations are performed within on-chip shared memory every cycle. A domain decomposition style procedure is adopted in which the problem domain is partitioned into subdomains whose data is copied to the shared memory of each GPU block. Jacobi iterations are performed internally within each block's shared memory, avoiding the need to perform expensive global memory accesses every step. We test our algorithm on the linear systems arising from discretization of Poisson's equation in 1D and 2D, and observe speedup in convergence using our shared memory approach compared to a traditional Jacobi implementation which only uses global memory on the GPU. We observe a x8 speedup in convergence in the 1D problem and a nearly x6 speedup in the 2D case from the use of shared memory compared to a conventional GPU approach. △ Less

Submitted 29 June, 2020; originally announced June 2020.

Comments: 22 pages, 13 figures

Binomial Coefficients in a Row of Pascal's Triangle from Extension of Power of Eleven: Newton's Unfinished Work

Authors: Md. Shariful Islam, Md. Robiul Islam, Md. Shorif Hossan, Md. Hasan Kibria

Abstract: The aim of this paper is to find a general formula to generate any row of Pascal's triangle as an extension of the concept of $\left(11\right)^{n}$. In this study, the visualization of each row of Pascal's triangle has been presented by extending the concept of the power of 11 to the power of 101, 1001, 10001, and so on. We briefly discuss how our proposed concept works for any $n$ by inserting an… ▽ More The aim of this paper is to find a general formula to generate any row of Pascal's triangle as an extension of the concept of $\left(11\right)^{n}$. In this study, the visualization of each row of Pascal's triangle has been presented by extending the concept of the power of 11 to the power of 101, 1001, 10001, and so on. We briefly discuss how our proposed concept works for any $n$ by inserting an appropriate number of zeros between $1$ and $1$ (eleven), that is the concept of $\left(11\right)^{n}$ has been extended to $\left(1\Theta1\right)^{n}$, where $Θ$ represents the number of zeros. We have proposed a formula for obtaining the value of $Θ$. The proposed concept has been verified with Pascal's triangle and matched successfully. Finally, Pascal's triangle for a large n has been presented considering the $51^{\text{st}}$ row as an example. △ Less

Submitted 21 August, 2021; v1 submitted 29 May, 2020; originally announced May 2020.

Comments: 11 pages, 4 figures

MSC Class: 01-08; 11-03

Sampling Kaczmarz Motzkin Method for Linear Feasibility Problems: Generalization & Acceleration

Authors: Md Sarowar Morshed, Md Saiful Islam, Md. Noor-E-Alam

Abstract: Randomized Kaczmarz (RK), Motzkin Method (MM) and Sampling Kaczmarz Motzkin (SKM) algorithms are commonly used iterative techniques for solving a system of linear inequalities (i.e., $Ax \leq b$). As linear systems of equations represent a modeling paradigm for solving many optimization problems, these randomized and iterative techniques are gaining popularity among researchers in different domain… ▽ More Randomized Kaczmarz (RK), Motzkin Method (MM) and Sampling Kaczmarz Motzkin (SKM) algorithms are commonly used iterative techniques for solving a system of linear inequalities (i.e., $Ax \leq b$). As linear systems of equations represent a modeling paradigm for solving many optimization problems, these randomized and iterative techniques are gaining popularity among researchers in different domains. In this work, we propose a Generalized Sampling Kaczmarz Motzkin (GSKM) method that unifies the iterative methods into a single framework. In addition to the general framework, we propose a Nesterov type acceleration scheme in the SKM method called as Probably Accelerated Sampling Kaczmarz Motzkin (PASKM). We prove the convergence theorems for both GSKM and PASKM algorithms in the $L_2$ norm perspective with respect to the proposed sampling distribution. Furthermore, we prove sub-linear convergence for the Cesaro average of iterates for the proposed GSKM and PASKM algorithms.From the convergence theorem of the GSKM algorithm, we find the convergence results of several well-known algorithms like the Kaczmarz method, Motzkin method and SKM algorithm. We perform thorough numerical experiments using both randomly generated and real-world (classification with support vector machine and Netlib LP) test instances to demonstrate the efficiency of the proposed methods. We compare the proposed algorithms with SKM, Interior Point Method (IPM) and Active Set Method (ASM) in terms of computation time and solution quality. In the majority of the problem instances, the proposed generalized and accelerated algorithms significantly outperform the state-of-the-art methods. △ Less

Submitted 4 December, 2020; v1 submitted 17 February, 2020; originally announced February 2020.

Report number: 194, pages719--779 (2022)

Journal ref: Mathematical Programming, 2022

Rank One Hilbert Geometries

Authors: Mitul Islam

Abstract: We develop a notion of rank one properly convex domains (or Hilbert geometries) in the real projective space. This is in the spirit of rank one non-positively curved Riemannian manifolds and CAT(0) spaces. We define rank one isometries for Hilbert geometries and characterize them as being equivalent to contracting elements (in the sense of geometric group theory). We prove that if a discrete subgr… ▽ More We develop a notion of rank one properly convex domains (or Hilbert geometries) in the real projective space. This is in the spirit of rank one non-positively curved Riemannian manifolds and CAT(0) spaces. We define rank one isometries for Hilbert geometries and characterize them as being equivalent to contracting elements (in the sense of geometric group theory). We prove that if a discrete subgroup of automorphisms of a Hilbert geometry contains a rank one isometry, then the subgroup is either virtually cyclic or acylindrically hyperbolic. This leads to several applications like infinite-dimensionality of the space of quasi-morphisms, counting results for conjugacy classes and genericity results for rank one isometries. △ Less

Submitted 21 February, 2024; v1 submitted 30 December, 2019; originally announced December 2019.

Comments: Major re-writing in Section 8 which also improves the results in that section. Results in all other sections remain unaffected. Other minor revisions based on referees' comments, notably in Sections 1, 4, 5, 12, and Appendix B. Final version to appear in Geometry & Topology. 72 pages. 1 figure. Comments welcome

MSC Class: 53A20; 20F65; 20F67; 57N16; 58B20

Journal ref: Geom. Topol. 29 (2025) 1171-1235

Convex co-compact actions of relatively hyperbolic groups

Authors: Mitul Islam, Andrew Zimmer

Abstract: In this paper we consider discrete groups in ${\rm PGL}_d(\mathbb{R})$ acting convex co-compactly on a properly convex domain in real projective space. For such groups, we establish necessary and sufficient conditions for the group to be relatively hyperbolic in terms of the geometry of the convex domain. This answers a question of Danciger-Guéritaud-Kassel and is analogous to a result of Hruska-K… ▽ More In this paper we consider discrete groups in ${\rm PGL}_d(\mathbb{R})$ acting convex co-compactly on a properly convex domain in real projective space. For such groups, we establish necessary and sufficient conditions for the group to be relatively hyperbolic in terms of the geometry of the convex domain. This answers a question of Danciger-Guéritaud-Kassel and is analogous to a result of Hruska-Kleiner for ${\rm CAT}(0)$ spaces. △ Less

Submitted 3 November, 2021; v1 submitted 19 October, 2019; originally announced October 2019.

Comments: Minor revisions, final version to appear in Geometry & Topology. 96 pages, 2 figures. Comments welcome

MSC Class: 53A20; 20F67; 57N16; 58B20; 20H10

Journal ref: Geom. Topol. 27 (2023) 417-511

A flat torus theorem for convex co-compact actions of projective linear groups

Authors: Mitul Islam, Andrew Zimmer

Abstract: In this paper, we consider discrete groups in ${\rm PGL}_d(\mathbb{R})$ acting convex co-compactly on a properly convex domain in real projective space. For such groups, we establish an analogue of the well known flat torus theorem for ${\rm CAT}(0)$ spaces. In this paper, we consider discrete groups in ${\rm PGL}_d(\mathbb{R})$ acting convex co-compactly on a properly convex domain in real projective space. For such groups, we establish an analogue of the well known flat torus theorem for ${\rm CAT}(0)$ spaces. △ Less

Submitted 2 November, 2020; v1 submitted 7 July, 2019; originally announced July 2019.

Comments: Minor revisions, to appear in the Journal of the London Mathematical Society. 20 pages. Comments welcome

MSC Class: 53A20; 57N16; 58B20; 20F67; 20H10

Robust policy evaluation from large-scale observational studies

Authors: Md Saiful Islam, Md Sarowar Morshed, Gary J. Young, Md. Noor-E-Alam

Abstract: Under current policy decision making paradigm, we make or evaluate a policy decision by intervening different socio-economic parameters and analyzing the impact of those interventions. This process involves identifying the causal relation between interventions and outcomes. Matching method is one of the popular techniques to identify such causal relations. However, in one-to-one matching, when a t… ▽ More Under current policy decision making paradigm, we make or evaluate a policy decision by intervening different socio-economic parameters and analyzing the impact of those interventions. This process involves identifying the causal relation between interventions and outcomes. Matching method is one of the popular techniques to identify such causal relations. However, in one-to-one matching, when a treatment or control unit has multiple pair assignment options with similar match quality, different matching algorithms often assign different pairs. Since, all the matching algorithms assign pair without considering the outcomes, it is possible that with same data and same hypothesis, different experimenters can make different conclusions. This problem becomes more prominent in case of large-scale observational studies. Recently, a robust approach is proposed to tackle the uncertainty which uses discrete optimization techniques to explore all possible assignments. Though optimization techniques are very efficient in its own way, they are not scalable to big data. In this work, we consider causal inference testing with binary outcomes and propose computationally efficient algorithms that are scalable to large-scale observational studies. By leveraging the structure of the optimization model, we propose a robustness condition which further reduces the computational burden. We validate the efficiency of the proposed algorithms by testing the causal relation between Hospital Readmission Reduction Program (HRRP) and readmission to different hospital (non-index readmission) on the State of California Patient Discharge Database from 2010 to 2014. Our result shows that HRRP has a causal relation with the increase in non-index readmission and the proposed algorithms proved to be highly scalable in testing causal relations from large-scale observational studies. △ Less

Submitted 3 April, 2019; originally announced April 2019.

Journal ref: October 2019, Plos One

Accelerated Sampling Kaczmarz Motzkin Algorithm for The Linear Feasibility Problem

Authors: Md Sarowar Morshed, Md Saiful Islam, Md. Noor-E-Alam

Abstract: The Sampling Kaczmarz Motzkin (SKM) algorithm is a generalized method for solving large scale linear systems of inequalities. Having its root in the relaxation method of Agmon, Schoenberg, and Motzkin and the randomized Kaczmarz method, SKM outperforms the state of the art methods in solving large-scale Linear Feasibility (LF) problems. Motivated by SKM's success, in this work, we propose an Accel… ▽ More The Sampling Kaczmarz Motzkin (SKM) algorithm is a generalized method for solving large scale linear systems of inequalities. Having its root in the relaxation method of Agmon, Schoenberg, and Motzkin and the randomized Kaczmarz method, SKM outperforms the state of the art methods in solving large-scale Linear Feasibility (LF) problems. Motivated by SKM's success, in this work, we propose an Accelerated Sampling Kaczmarz Motzkin (ASKM) algorithm which achieves better convergence compared to the standard SKM algorithm on ill conditioned problems. We provide a thorough convergence analysis for the proposed accelerated algorithm and validate the results with various numerical experiments. We compare the performance and effectiveness of ASKM algorithm with SKM, Interior Point Method (IPM) and Active Set Method (ASM) on randomly generated instances as well as Netlib LPs. In most of the test instances, the proposed ASKM algorithm outperforms the other state of the art methods. △ Less

Submitted 5 November, 2019; v1 submitted 9 February, 2019; originally announced February 2019.

Comments: Journal of Global Optimization, Oct 2019

Report number: 77, pages361--382 (2020)

Journal ref: 24 October 2019, Journal of Global Optimization

Tight Continuous-Time Reachtubes for Lagrangian Reachability

Authors: Jacek Cyranka, Md. Ariful Islam, Scott A. Smolka, Sicun Gao, Radu Grosu

Abstract: We introduce continuous Lagrangian reachability (CLRT), a new algorithm for the computation of a tight and continuous-time reachtube for the solution flows of a nonlinear, time-variant dynamical system. CLRT employs finite strain theory to determine the deformation of the solution set from time $t_i$ to time $t_{i+1}$. We have developed simple explicit analytic formulas for the optimal metric for… ▽ More We introduce continuous Lagrangian reachability (CLRT), a new algorithm for the computation of a tight and continuous-time reachtube for the solution flows of a nonlinear, time-variant dynamical system. CLRT employs finite strain theory to determine the deformation of the solution set from time $t_i$ to time $t_{i+1}$. We have developed simple explicit analytic formulas for the optimal metric for this deformation; this is superior to prior work, which used semi-definite programming. CLRT also uses infinitesimal strain theory to derive an optimal time increment $h_i$ between $t_i$ and $t_{i+1}$, nonlinear optimization to minimally bloat (i.e., using a minimal radius) the state set at time $t_i$ such that it includes all the states of the solution flow in the interval $[t_i,t_{i+1}]$. We use $δ$-satisfiability to ensure the correctness of the bloating. Our results on a series of benchmarks show that CLRT performs favorably compared to state-of-the-art tools such as CAPD in terms of the continuous reachtube volumes they compute. △ Less

Submitted 24 September, 2018; v1 submitted 19 September, 2018; originally announced September 2018.

Lagrangian Reachabililty

Authors: Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul Jones, Scott A. Smolka, Radu Grosu

Abstract: We introduce LRT, a new Lagrangian-based ReachTube computation algorithm that conservatively approximates the set of reachable states of a nonlinear dynamical system. LRT makes use of the Cauchy-Green stretching factor (SF), which is derived from an over-approximation of the gradient of the solution flows. The SF measures the discrepancy between two states propagated by the system solution from tw… ▽ More We introduce LRT, a new Lagrangian-based ReachTube computation algorithm that conservatively approximates the set of reachable states of a nonlinear dynamical system. LRT makes use of the Cauchy-Green stretching factor (SF), which is derived from an over-approximation of the gradient of the solution flows. The SF measures the discrepancy between two states propagated by the system solution from two initial states lying in a well-defined region, thereby allowing LRT to compute a reachtube with a ball-overestimate in a metric where the computed enclosure is as tight as possible. To evaluate its performance, we implemented a prototype of LRT in C++/Matlab, and ran it on a set of well-established benchmarks. Our results show that LRT compares very favorably with respect to the CAPD and Flow* tools. △ Less

Submitted 3 July, 2017; v1 submitted 16 May, 2017; originally announced May 2017.

Comments: Accepted to CAV 2017

Explicit and Exact Traveling Wave Solutions of Cahn Allen equation using MSE Method

Authors: Harun-Or-Roshid, M. Zulfikar Ali, Md. Rafiqul Islam

Abstract: By using Modified simple equation method, we study the Cahn Allen equation which arises in many scientific applications such as mathematical biology, quantum mechanics and plasma physics. As a result, the existence of solitary wave solutions of the Cahn Allen equation is obtained. Exact explicit solutions interms of hyperbolic solutions of the associated Cahn Allen equation are characterized with… ▽ More By using Modified simple equation method, we study the Cahn Allen equation which arises in many scientific applications such as mathematical biology, quantum mechanics and plasma physics. As a result, the existence of solitary wave solutions of the Cahn Allen equation is obtained. Exact explicit solutions interms of hyperbolic solutions of the associated Cahn Allen equation are characterized with some free parameters. Finally, the variety of structure and graphical representation make the dynamics of the equations visible and provides the mathematical foundation in mathematical biology, quantum mechanics and plasma physics. △ Less

Submitted 16 November, 2016; originally announced November 2016.

Comments: 14, 2, Accepted at Mathematical and Computational Applications

Improved Likelihood Estimation for the Generalized Extreme Value and the Inverse Gaussian Lifetime Distributions

Authors: Md. Mazharul Islam, Md Hasinur Rahaman Khan

Abstract: In presence of nuisance parameters, profile likelihood inference is often unreliable and biased, particularly in small sample scenario. Over past decades several adjustments have been proposed to modify profile likelihood function in literature including a modified profile likelihood estimation technique introduced in Barndorff--Nielsen. In this study, adjustment of profile likelihood function of… ▽ More In presence of nuisance parameters, profile likelihood inference is often unreliable and biased, particularly in small sample scenario. Over past decades several adjustments have been proposed to modify profile likelihood function in literature including a modified profile likelihood estimation technique introduced in Barndorff--Nielsen. In this study, adjustment of profile likelihood function of parameter of interest in presence of nuisance parameter is investigated. We particularly focuss to extend the Barndorff--Nielsen's technique on Inverse Gaussian distribution for estimating its dispersion parameter and on generalized extreme value (GEV) distribution for estimating its shape parameter. The accelerated failure time models are used for lifetimes having GEV distribution and the Inverse Gaussian distribution is used for lifetime distribution. Monte-Carlo simulation studies are conducted to demonstrate the performances of both approaches. Simulation results suggest the superiority of the modified profile likelihood estimates over the profile likelihood estimates for the parameters of interest. Particularly, it is found that the modifications can improve the overall performance of the estimators through reducing their biases and standard errors. △ Less

Submitted 28 March, 2016; originally announced March 2016.

Number of Partitions of an n-kilogram Stone into Minimum Number of Weights to Weigh All Integral Weights from 1 to n kg(s) on a Two-pan Balance

Authors: Md Towhidul Islam, Md Shahidul Islam

Abstract: We find out the number of different partitions of an n-kilogram stone into the minimum number of parts so that all integral weights from 1 to n kilograms can be weighed in one weighing using the parts of any of the partitions on a two-pan balance. In comparison to the traditional partitions, these partitions have advantage where there is a constraint on total weight of a set and the number of part… ▽ More We find out the number of different partitions of an n-kilogram stone into the minimum number of parts so that all integral weights from 1 to n kilograms can be weighed in one weighing using the parts of any of the partitions on a two-pan balance. In comparison to the traditional partitions, these partitions have advantage where there is a constraint on total weight of a set and the number of parts in the partition. They may have uses in determining the optimal size and number of weights and denominations of notes and coins. △ Less

Submitted 27 February, 2015; v1 submitted 24 January, 2015; originally announced February 2015.

Comments: 8 pages, 6 theorems

MSC Class: 11B50

Numerical Solutions of Fredholm Integral Equations Using Bernstein Polynomials

Authors: Afroza Shirin, Md. Shafiqul Islam

Abstract: In this paper, Bernstein piecewise polynomials are used to solve the integral equations numerically. A matrix formulation is given for a non-singular linear Fredholm Integral Equation by the technique of Galerkin method. In the Galerkin method, the Bernstein polynomials are used as the approximation of basis functions. Examples are considered to verify the effectiveness of the proposed derivations… ▽ More In this paper, Bernstein piecewise polynomials are used to solve the integral equations numerically. A matrix formulation is given for a non-singular linear Fredholm Integral Equation by the technique of Galerkin method. In the Galerkin method, the Bernstein polynomials are used as the approximation of basis functions. Examples are considered to verify the effectiveness of the proposed derivations, and the numerical solutions guarantee the desired accuracy. △ Less

Submitted 24 September, 2013; originally announced September 2013.

Comments: 9 pages. arXiv admin note: substantial text overlap with arXiv:1309.6064

Numerical solutions of a class of second order boundary value problems on using Bernoulli Polynomials

Authors: Md. Shafiqul Islam, Afroza Shirin

Abstract: The aim of this paper is to find the numerical solutions of the second order linear and nonlinear differential equations with Dirichlet, Neumann and Robin boundary conditions. We use the Bernoulli polynomials as linear combination to the approximate solutions of 2nd order boundary value problems. Here the Bernoulli polynomials over the interval [0, 1] are chosen as trial functions so that care has… ▽ More The aim of this paper is to find the numerical solutions of the second order linear and nonlinear differential equations with Dirichlet, Neumann and Robin boundary conditions. We use the Bernoulli polynomials as linear combination to the approximate solutions of 2nd order boundary value problems. Here the Bernoulli polynomials over the interval [0, 1] are chosen as trial functions so that care has been taken to satisfy the corresponding homogeneous form of the Dirichlet boundary conditions in the Galerkin weighted residual method. In addition to that the given differential equation over arbitrary finite domain [a, b] and the boundary conditions are converted into its equivalent form over the interval [0, 1]. All the formulas are verified by considering numerical examples. The approximate solutions are compared with the exact solutions, and also with the solutions of the existing methods. A reliable good accuracy is obtained in all cases. △ Less

Submitted 29 May, 2023; v1 submitted 24 September, 2013; originally announced September 2013.

Comments: 6 tables