Showing 1–50 of 106 results for author: Khan, M

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

QI-MPC: A Hybrid Quantum-Inspired Model Predictive Control for Learning Optimal Policies

Authors: Muhammad Al-Zafar Khan, Jamal Al-Karaki

Abstract: In this paper, we present Quantum-Inspired Model Predictive Control (QIMPC), an approach that uses Variational Quantum Circuits (VQCs) to learn control polices in MPC problems. The viability of the approach is tested in five experiments: A target-tracking control strategy, energy-efficient building climate control, autonomous vehicular dynamics, the simple pendulum, and the compound pendulum. Thre… ▽ More In this paper, we present Quantum-Inspired Model Predictive Control (QIMPC), an approach that uses Variational Quantum Circuits (VQCs) to learn control polices in MPC problems. The viability of the approach is tested in five experiments: A target-tracking control strategy, energy-efficient building climate control, autonomous vehicular dynamics, the simple pendulum, and the compound pendulum. Three safety guarantees were established for the approach, and the experiments gave the motivation for two important theoretical results that, in essence, identify systems for which the approach works best. △ Less

Submitted 17 April, 2025; originally announced April 2025.

Comments: 41 pages, 21 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)

A stochastic smoothing framework for nonconvex-nonconcave min-sum-max problems with applications to Wasserstein distributionally robust optimization

Authors: Wei Liu, Muhammad Khan, Gabriel Mancino-Ball, Yangyang Xu

Abstract: Applications such as adversarially robust training and Wasserstein Distributionally Robust Optimization (WDRO) can be naturally formulated as min-sum-max optimization problems. While this formulation can be rewritten as an equivalent min-max problem, the summation of max terms introduces computational challenges, including increased complexity and memory demands, which must be addressed. These cha… ▽ More Applications such as adversarially robust training and Wasserstein Distributionally Robust Optimization (WDRO) can be naturally formulated as min-sum-max optimization problems. While this formulation can be rewritten as an equivalent min-max problem, the summation of max terms introduces computational challenges, including increased complexity and memory demands, which must be addressed. These challenges are particularly evident in WDRO, where existing tractable algorithms often rely on restrictive assumptions on the objective function, limiting their applicability to state-of-the-art machine learning problems such as the training of deep neural networks. This study introduces a novel stochastic smoothing framework based on the \mbox{log-sum-exp} function, efficiently approximating the max operator in min-sum-max problems. By leveraging the Clarke regularity of the max operator, we develop an iterative smoothing algorithm that addresses these computational difficulties and guarantees almost surely convergence to a Clarke/directional stationary point. We further prove that the proposed algorithm finds an $ε$-scaled Clarke stationary point of the original problem, with a worst-case iteration complexity of $\widetilde{O}(ε^{-3})$. Our numerical experiments demonstrate that our approach outperforms or is competitive with state-of-the-art methods in solving the newsvendor problem, deep learning regression, and adversarially robust deep learning. The results highlight that our method yields more accurate and robust solutions in these challenging problem settings. △ Less

Submitted 24 February, 2025; originally announced February 2025.

Comments: 35 pages

A New Concept of optimal control for epidemic spreading by Vaccination Technique for Assessing social optimum employing Pontryagins Maximum Principle

Authors: Md. Mamun-Ur-Rashid Khan, Jun Tanimoto

Abstract: This research introduces a new approach utilizing optimal control theory (OCT) to assess the Social Optimum (SO) of a vaccination game, navigating the intricate considerations of cost, availability, and distribution policies. By integrating an SIRS/V epidemic model with a behavior model, the study analyzes individual vaccination strategies. A unique optimal control framework, centered on vaccinati… ▽ More This research introduces a new approach utilizing optimal control theory (OCT) to assess the Social Optimum (SO) of a vaccination game, navigating the intricate considerations of cost, availability, and distribution policies. By integrating an SIRS/V epidemic model with a behavior model, the study analyzes individual vaccination strategies. A unique optimal control framework, centered on vaccination costs, is proposed, diverging significantly from previous methods. Our findings confirm the effectiveness and feasibility of this approach in managing vaccination strategies. Moreover, we examine the underlying social dilemma of the vaccination game, investigating key parameters. By calculating the Nash equilibrium (NE) through the behavior model and determining the SO using our approach, we measure the Social Efficiency Deficit (SED), quantifying the overall cost gap between the NE and SO. Results indicate that an increased waning immunity rate exacerbates the social dilemma, although higher vaccination costs partially mitigate it. This research provides valuable insights into optimizing vaccination strategies amidst complex societal dynamics. △ Less

Submitted 12 January, 2025; originally announced January 2025.

The Monadic Grzegorczyk Logic

Authors: Guram Bezhanishvili, Mashiath Khan

Abstract: We develop a semantic criterion for determining whether a given monadic modal logic axiomatizes the one-variable fragment of a predicate modal logic. We show that the criterion applies to the monadic Grzegorczyk logic MGrz, thus establishing that MGrz axiomatizes the one-variable fragment of the predicate Grzegorczyk logic QGrz. This we do by proving the finite model property of MGrz, which is ach… ▽ More We develop a semantic criterion for determining whether a given monadic modal logic axiomatizes the one-variable fragment of a predicate modal logic. We show that the criterion applies to the monadic Grzegorczyk logic MGrz, thus establishing that MGrz axiomatizes the one-variable fragment of the predicate Grzegorczyk logic QGrz. This we do by proving the finite model property of MGrz, which is achieved by strengthening the notion of a maximal point of a descriptive MGrz-frame and by refining the existing selective filtration methods. △ Less

Submitted 16 December, 2024; v1 submitted 14 December, 2024; originally announced December 2024.

MSC Class: 03B45; 03C90; 06E25

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

Variational Learning is Effective for Large Deep Networks

Authors: Yuesong Shen, Nico Daheim, Bai Cong, Peter Nickl, Gian Maria Marconi, Clement Bazan, Rio Yokota, Iryna Gurevych, Daniel Cremers, Mohammad Emtiyaz Khan, Thomas Möllenhoff

Abstract: We give extensive empirical evidence against the common belief that variational learning is ineffective for large neural networks. We show that an optimizer called Improved Variational Online Newton (IVON) consistently matches or outperforms Adam for training large networks such as GPT-2 and ResNets from scratch. IVON's computational costs are nearly identical to Adam but its predictive uncertaint… ▽ More We give extensive empirical evidence against the common belief that variational learning is ineffective for large neural networks. We show that an optimizer called Improved Variational Online Newton (IVON) consistently matches or outperforms Adam for training large networks such as GPT-2 and ResNets from scratch. IVON's computational costs are nearly identical to Adam but its predictive uncertainty is better. We show several new use cases of IVON where we improve finetuning and model merging in Large Language Models, accurately predict generalization error, and faithfully estimate sensitivity to data. We find overwhelming evidence that variational learning is effective. △ Less

Submitted 6 June, 2024; v1 submitted 27 February, 2024; originally announced February 2024.

Comments: Published at International Conference on Machine Learning (ICML), 2024. The first two authors contributed equally. Code is available here: https://github.com/team-approx-bayes/ivon

Characterizations of generalized Robertson-Walker spacetimes concerning gradient solitons

Authors: Krishnendu De, Mohammad Nazrul Islam Khan, Uday Chand De

Abstract: In this article, we examine gradient type Ricci solitons and $(m,τ)$-quasi Einstein solitons in generalized Robertson-Walker ($GRW$) spacetimes. Besides, we demonstrate that in this scenario the $GRW$ spacetime presents the Robertson-Walker ($RW$) spacetime and the perfect fluid ($PF$) spacetime presents the phantom era. Consequently, we show that if a $GRW$ spacetime permits a gradient $τ$- Einst… ▽ More In this article, we examine gradient type Ricci solitons and $(m,τ)$-quasi Einstein solitons in generalized Robertson-Walker ($GRW$) spacetimes. Besides, we demonstrate that in this scenario the $GRW$ spacetime presents the Robertson-Walker ($RW$) spacetime and the perfect fluid ($PF$) spacetime presents the phantom era. Consequently, we show that if a $GRW$ spacetime permits a gradient $τ$- Einstein solitons, then it also represents a $PF$ spacetime under certain condition. △ Less

Submitted 23 February, 2024; originally announced February 2024.

Journal ref: Heliyon (2024)

Towards Industry 5.0: A Systematic Literature Review on Sustainable and Green Composite Materials Supply Chains

Authors: Md Rabiul Hasan, Muztoba Ahmed Khan, Thorsten Wuest

Abstract: Sustainable supply chain management is a key objective of Industry 5.0, leveraging technologies like real-time data analytics, connectivity, and intelligent automation. At the same time, composite materials present benefits such as lightweight structures, crucial for reducing fuel consumption. This study investigates the intersection between sustainable supply chains and composites by analyzing th… ▽ More Sustainable supply chain management is a key objective of Industry 5.0, leveraging technologies like real-time data analytics, connectivity, and intelligent automation. At the same time, composite materials present benefits such as lightweight structures, crucial for reducing fuel consumption. This study investigates the intersection between sustainable supply chains and composites by analyzing the current status, research gaps, methodologies, and future research opportunities through bibliometric analysis and a systematic review of the state of the art in the composite materials supply chain. A systematic literature review approach is employed to analyze the Scopus and Web of Science (WOS) databases, offering a comprehensive overview of the existing literature. Through bibliometric analysis, the study investigates countries, authors, citations, keywords, subject areas, and article themes within the metadata to provide additional context. An in-depth analysis of thirty selected papers (n=30) sheds light on the key contributions, major challenges, and Key Performance Indicators (KPIs) across various instances of composite material supply chains, resulting in a generalized overview. Furthermore, this research suggests future directions to link the sustainability efforts in composite materials supply chains with current research gaps. The study underscores diverse research themes in the field, highlighting a few influential works and presenting opportunities for advancement in this emerging area. Collectively, these findings offer valuable insights and a robust roadmap for future research in this domain. △ Less

Submitted 8 February, 2024; originally announced February 2024.

Almost co-Kähler manifolds and $(m,ρ)$-quasi-Einstein solitons

Authors: Krishnendu De, Mohammad Nazrul Islam Khan, Uday Chand De

Abstract: The present paper aims to investigate $(m,ρ)$-quasi-Einstein metrices on almost co-Kähler manifolds $\mathcal{M}$. It is proven that if a $(κ,μ)$-almost co-Kähler manifold with $κ<0$ is $(m,ρ)$-quasi-Einstein manifold, then $\mathcal{M}$ represents a $N(κ)$-almost co-Kähler manifold and the manifold is locally isomorphic to a solvable non-nilpotent Lie group. Next, we study the three dimensional c… ▽ More The present paper aims to investigate $(m,ρ)$-quasi-Einstein metrices on almost co-Kähler manifolds $\mathcal{M}$. It is proven that if a $(κ,μ)$-almost co-Kähler manifold with $κ<0$ is $(m,ρ)$-quasi-Einstein manifold, then $\mathcal{M}$ represents a $N(κ)$-almost co-Kähler manifold and the manifold is locally isomorphic to a solvable non-nilpotent Lie group. Next, we study the three dimensional case and get the above mentioned result along with the manifold $\mathcal{M}^3$ becoming an $η$-Einstein manifold. We also show that there does not exist $(m,ρ)$-quasi-Einstein structure on a compact $(κ,μ)$-almost co-Kähler manifold of dimension greater than three with $κ<0$. Further, we prove that an almost co-Kähler manifold satisfying $η$-Einstein condition with constant coefficients reduces to a $K$-almost co-Kähler manifold, provided $ma_{1} \neq (2n-1)b_{1}$ and $m \neq 1$. We also characterize perfect fluid spacetime whose Lorentzian metric is equipped with $(m, ρ)$-quasi Einstein solitons and acquired that the perfect fluid spacetime has vanishing vorticity, or it represents dark energy era under certain restriction on the potential function. Finally, we construct an example of an almost co-Kähler manifold with $(m,ρ)$-quasi-Einstein solitons. △ Less

Submitted 2 February, 2024; originally announced February 2024.

Journal ref: Chaos, Solitons and Fractals 167 (2023) 113050

Interior Hulls of Clean Lattice Parallelograms and Continued Fractions

Authors: Gabriel Khan, Mizan R. Khan, Riaz R. Khan, Peng Zhao

Abstract: The interior hull of a lattice polygon is the convex closure of the lattice points in the interior of the polygon. In this paper we give a concrete description of the interior hull of a clean lattice parallelogram. A clean parallelogram in $\mathbb{R}^2$ is a lattice parallelogram whose boundary contains no lattice points other than its vertices. Using unimodular maps we can identify a clean paral… ▽ More The interior hull of a lattice polygon is the convex closure of the lattice points in the interior of the polygon. In this paper we give a concrete description of the interior hull of a clean lattice parallelogram. A clean parallelogram in $\mathbb{R}^2$ is a lattice parallelogram whose boundary contains no lattice points other than its vertices. Using unimodular maps we can identify a clean parallelogram with a parallelogram, $P_{a,n}$, whose vertices are $(0,0), (1,0), (a,n)$ and $(a+1,n)$, with $0<a <n$ and $\gcd(a,n)=1$. Following Stark's geometric approach to continued fractions we show that the convergents of the continued fraction of $n/a$ (viewed as lattice points) appear in a one-to-two correspondence with the vertices of the interior hull of this parallelogram. Consequently, if the continued fraction of $n/a$ has many partial quotients, then the interior hull of the corresponding parallelogram has many vertices. A pleasing consequence of our work is that we obtain an elementary geometric interpretation of the sum of the partial quotients of the continued fraction of $n/a$. Specifically, it is the difference between the area of the clean parallelogram $P_{a,n}$ and the area of its interior hull. △ Less

Submitted 8 January, 2024; originally announced January 2024.

Comments: 29 pages, 4 figures, Python code in the appendix

MSC Class: 52C05; 11A55; 11A05

Spatial Metric Space for Pattern Recognition Problems

Authors: Q. M. Danish Lohani, Ashutosh Tiwari, Mohd Shoaib Khan

Abstract: The definition of weighted distance measure involves weights. The paper proposes a weighted distance measure without the help of weights. Here, weights are intrinsically added to the measure, and for this, the concept of metric space is generalized based on a novel divided difference operator. The proposed operator is used over a two-dimensional sequence of bounded variation, and it generalizes me… ▽ More The definition of weighted distance measure involves weights. The paper proposes a weighted distance measure without the help of weights. Here, weights are intrinsically added to the measure, and for this, the concept of metric space is generalized based on a novel divided difference operator. The proposed operator is used over a two-dimensional sequence of bounded variation, and it generalizes metric space with the introduction of a multivalued metric space called spatial metric space. The environment considered for the study is a two-dimensional Atanassov intuitionistic fuzzy set (AIFS) under the assumption that membership and non-membership components are its independent variables. The weighted distance measure is proposed as a spatial distance measure in the spatial metric space. The spatial distance measure consists of three branches. In the first branch, there is a domination of membership values, non-membership values dominate the second branch, and the third branch is equidominant. The domination of membership and non-membership values are not in the form of weights in the proposed spatial distance measure, and hence it is a measure independent of weights. The proposed spatial metric space is mathematically studied, and as an implication, the spatial similarity measure is multivalued in nature. The spatial similarity measure can recognize a maximum of three patterns simultaneously. The spatial similarity measure is tested for the pattern recognition problems and the obtained classification results are compared with some other existing similarity measures to show its potency. This study connects the double sequence to the application domain via a divided difference operator for the first time while proposing a novel divided difference operator-based spatial metric space. △ Less

Submitted 19 December, 2023; originally announced December 2023.

Comments: 27

A Graph Neural Network-Based QUBO-Formulated Hamiltonian-Inspired Loss Function for Combinatorial Optimization using Reinforcement Learning

Authors: Redwan Ahmed Rizvee, Md. Mosaddek Khan

Abstract: Quadratic Unconstrained Binary Optimization (QUBO) is a generic technique to model various NP-hard combinatorial optimization problems in the form of binary variables. The Hamiltonian function is often used to formulate QUBO problems where it is used as the objective function in the context of optimization. Recently, PI-GNN, a generic scalable framework, has been proposed to address the Combinator… ▽ More Quadratic Unconstrained Binary Optimization (QUBO) is a generic technique to model various NP-hard combinatorial optimization problems in the form of binary variables. The Hamiltonian function is often used to formulate QUBO problems where it is used as the objective function in the context of optimization. Recently, PI-GNN, a generic scalable framework, has been proposed to address the Combinatorial Optimization (CO) problems over graphs based on a simple Graph Neural Network (GNN) architecture. Their novel contribution was a generic QUBO-formulated Hamiltonian-inspired loss function that was optimized using GNN. In this study, we address a crucial issue related to the aforementioned setup especially observed in denser graphs. The reinforcement learning-based paradigm has also been widely used to address numerous CO problems. Here we also formulate and empirically evaluate the compatibility of the QUBO-formulated Hamiltonian as the generic reward function in the Reinforcement Learning paradigm to directly integrate the actual node projection status during training as the form of rewards. In our experiments, we observed up to 44% improvement in the RL-based setup compared to the PI-GNN algorithm. Our implementation can be found in https://github.com/rizveeredwan/learning-graph-structure. △ Less

Submitted 28 September, 2023; v1 submitted 26 August, 2023; originally announced August 2023.

A New Magneto-Micropolar Boundary Layer Model for Liquid Flows -- Effect of Micromagnetorotation (MMR)

Authors: Muhammad Sabeel Khan, Isma Hameed

Abstract: In this paper, we present a micropolar continuum model based on the theory of magnetohydrodynamics. In particular, the effect of micromagnetorotation (MMR) is taken into account in the derivation of an initial-boundary value problem (i-bvp) within magneto-micorpolar flows. MMR is a phenomenon that is related to the micromotions of the magnetic liquid particles in the presence of externally applied… ▽ More In this paper, we present a micropolar continuum model based on the theory of magnetohydrodynamics. In particular, the effect of micromagnetorotation (MMR) is taken into account in the derivation of an initial-boundary value problem (i-bvp) within magneto-micorpolar flows. MMR is a phenomenon that is related to the micromotions of the magnetic liquid particles in the presence of externally applied magnetic field. In all previous investigations magnetization was supposed to be parallel to applied magnetic field therefore its effect in the lateral direction is neglected. This assumption is not correct in magnetic-micropolar flows. Since, magnetic-micropolar flows are anisotropic in nature. Here, we present a model accounting for this MMR effect. The constitutive equation for the MMR is described and the governing system of flow dynamics is described in the form of PDEs. Boundary layer flow assumptions are used to derive an initial-boundary value problem in ODEs. As a consequence, two newly defined parameters arises that are related to the MMR. The effects of these parameters on the flow characteristics are investigated. The developed i-bvp is solved through the shooting method using MATLAB routines. Effects of MMR are analyzed on the miro-rotational and hydrodynamic velocities profiles. Some interesting features of the flow are observed. Results are presented through graphs and discussed in detail. It is worth mentioning that the model presented is first of its kind in the literature and has a great potential in investigating boundary layer flows within micropolar continuum with other physical aspects of the flow pertinent to engineering and biomedical applications. △ Less

Submitted 16 August, 2023; originally announced August 2023.

Comments: 7 pages

MSC Class: 76D10; 76M55 ACM Class: J.2; I.6.3; G.1.7; G.1.10

Numerical analysis of the stochastic Stefan problem

Authors: Jerome Droniou, Muhammad Awais Khan, Kim Ngan Le

Abstract: The gradient discretisation method (GDM) -- a generic framework encompassing many numerical methods -- is studied for a general stochastic Stefan problem with multiplicative noise. The convergence of the numerical solutions is proved by compactness method using discrete functional analysis tools, Skorohod theorem and the martingale representation theorem. The generic convergence results establishe… ▽ More The gradient discretisation method (GDM) -- a generic framework encompassing many numerical methods -- is studied for a general stochastic Stefan problem with multiplicative noise. The convergence of the numerical solutions is proved by compactness method using discrete functional analysis tools, Skorohod theorem and the martingale representation theorem. The generic convergence results established in the GDM framework are applicable to a range of different numerical methods, including for example mass-lumped finite elements, but also some finite volume methods, mimetic methods, lowest-order virtual element methods, etc. Theoretical results are complemented by numerical tests based on two methods that fit in GDM framework. △ Less

Submitted 8 August, 2024; v1 submitted 22 June, 2023; originally announced June 2023.

Linear Optimal Partial Transport Embedding

Authors: Yikun Bai, Ivan Medri, Rocio Diaz Martin, Rana Muhammad Shahroz Khan, Soheil Kolouri

Abstract: Optimal transport (OT) has gained popularity due to its various applications in fields such as machine learning, statistics, and signal processing. However, the balanced mass requirement limits its performance in practical problems. To address these limitations, variants of the OT problem, including unbalanced OT, Optimal partial transport (OPT), and Hellinger Kantorovich (HK), have been proposed.… ▽ More Optimal transport (OT) has gained popularity due to its various applications in fields such as machine learning, statistics, and signal processing. However, the balanced mass requirement limits its performance in practical problems. To address these limitations, variants of the OT problem, including unbalanced OT, Optimal partial transport (OPT), and Hellinger Kantorovich (HK), have been proposed. In this paper, we propose the Linear optimal partial transport (LOPT) embedding, which extends the (local) linearization technique on OT and HK to the OPT problem. The proposed embedding allows for faster computation of OPT distance between pairs of positive measures. Besides our theoretical contributions, we demonstrate the LOPT embedding technique in point-cloud interpolation and PCA analysis. △ Less

Submitted 23 April, 2024; v1 submitted 6 February, 2023; originally announced February 2023.

Hemi-Slant Submanifolds of lcK Manifolds as Warped Products

Authors: Umar Mohd Khan, Viqar Azam Khan

Abstract: We study immersions of a hemi-slant submanifold of lcK manifolds as a warped product with the leaves of the holomorphic (respectively slant) distribution warped and establish characterisation theorems and estimations for the squared length of the second fundamental form in both cases. We study immersions of a hemi-slant submanifold of lcK manifolds as a warped product with the leaves of the holomorphic (respectively slant) distribution warped and establish characterisation theorems and estimations for the squared length of the second fundamental form in both cases. △ Less

Submitted 11 January, 2023; originally announced January 2023.

Comments: 17 pages, to be published in The Aligarh Bulletin of Mathematics, ISSN:0304-9787. arXiv admin note: substantial text overlap with arXiv:2301.05280

MSC Class: 53C40 (Primary) 53C15; 53C42 (Secondary)

Pointwise Bi-Slant Submanifolds in Locally Conformal Kähler Manifolds Immersed as Warped Products

Authors: Umar Mohd Khan, Viqar Azam Khan

Abstract: We study immersions of pointwise bi-slant submanifolds of locally conformal Kähler manifolds as warped products. In particular, we establish characterisation theorem for a pointwise bi-slant submanifold of a locally conformal Kähler manifold to be immersed as a warped product and show that a necessary condition is that the Lee vector field $B$ is orthogonal to the second factor and the warping fun… ▽ More We study immersions of pointwise bi-slant submanifolds of locally conformal Kähler manifolds as warped products. In particular, we establish characterisation theorem for a pointwise bi-slant submanifold of a locally conformal Kähler manifold to be immersed as a warped product and show that a necessary condition is that the Lee vector field $B$ is orthogonal to the second factor and the warping function $λ$ satisfies $\text{grad}(\lnλ)=\frac{1}{2}B^T$, where $B^T$ denotes the tangential part of the Lee vector field. We also extend Chen's inequality for the squared length of the second fundamental form to our case and study the corresponding equality case. △ Less

Submitted 11 January, 2023; originally announced January 2023.

Comments: 20 pages, submitted to Palestine Journal of Mathematics , ISSN 2219-5688

MSC Class: 53C40 (Primary) 53C15; 53C42; 53B25 (Secondary)

SAM as an Optimal Relaxation of Bayes

Authors: Thomas Möllenhoff, Mohammad Emtiyaz Khan

Abstract: Sharpness-aware minimization (SAM) and related adversarial deep-learning methods can drastically improve generalization, but their underlying mechanisms are not yet fully understood. Here, we establish SAM as a relaxation of the Bayes objective where the expected negative-loss is replaced by the optimal convex lower bound, obtained by using the so-called Fenchel biconjugate. The connection enables… ▽ More Sharpness-aware minimization (SAM) and related adversarial deep-learning methods can drastically improve generalization, but their underlying mechanisms are not yet fully understood. Here, we establish SAM as a relaxation of the Bayes objective where the expected negative-loss is replaced by the optimal convex lower bound, obtained by using the so-called Fenchel biconjugate. The connection enables a new Adam-like extension of SAM to automatically obtain reasonable uncertainty estimates, while sometimes also improving its accuracy. By connecting adversarial and Bayesian methods, our work opens a new path to robustness. △ Less

Submitted 10 December, 2023; v1 submitted 4 October, 2022; originally announced October 2022.

Comments: Accepted at ICLR 2023. Changes: Link to source code (https://github.com/team-approx-bayes/bayesian-sam), fix a typo in Appendix D

On Countably $α$-Compact Topological Spaces

Authors: Eman Almuhur, Muhammad Ahsan Khan

Abstract: In this paper, some features of countably $α$-compact topological spaces are presented and proven. The connection between countably $α$% -compact, Tychonoff, and $α$-Hausdorff spaces is explained. The space is countably $α$-compact space iff every locally finite family of non-empty subsets of such space is finite is demonstrated. The countably $% α$-compact space with weight greater than or equal… ▽ More In this paper, some features of countably $α$-compact topological spaces are presented and proven. The connection between countably $α$% -compact, Tychonoff, and $α$-Hausdorff spaces is explained. The space is countably $α$-compact space iff every locally finite family of non-empty subsets of such space is finite is demonstrated. The countably $% α$-compact space with weight greater than or equal to $\aleph_0$ is the $α$-continuous image of a closed subspace of the cube $D^{\aleph_0}$ is discussed. The boundedness of $α$-continuous functions mapping $α$% -compact spaces to other spaces is cleared. Moreover, the $α$% -continuous function mapping the space $X$ to the countably $α$-compact space $Y$ is an $α$-closed subset of $X\times Y$ is argued and proved. We explained that the $α$-continuous functions mapping any topological space to a countably $α$-compact space can be extended over its domain under some constraints. We claimed that the property of being $α$% -compact is countably $α$-compact but the converse is not and the countable union of countably $α$-compact subspaces of $X$ is also countably $α$-compact. △ Less

Submitted 23 May, 2022; originally announced May 2022.

A Monolithic Eulerian Formulation for non-Classical Fluid-Structure Interaction (nCFSI): Modeling and Simulation

Authors: Nazim Hussain, Muhammad Sabeel Khan, Lisheng Liu

Abstract: In this paper a new monolithic Eulerian formulation in the framework of non-classical continuum is presented for the analysis of fluid-strucuture interaction problems. In this respect, Cosserat continuum theory taking into account the micro-rotational degrees of freedom of the particles is considered. Continuum description of the model and variational formulation of the governing flow dynamics for… ▽ More In this paper a new monolithic Eulerian formulation in the framework of non-classical continuum is presented for the analysis of fluid-strucuture interaction problems. In this respect, Cosserat continuum theory taking into account the micro-rotational degrees of freedom of the particles is considered. Continuum description of the model and variational formulation of the governing flow dynamics for non-classical -fluid-structure interaction nCFSI is presented. The model is analyzed by computing a well known benchmark problem by Hecht and Pironneau (2017). The algorithmic description is presented and implemented using FreeFEM++. Code is validated with the benchmark solution of Turek and Hron (2006) in case of flow around a flag attached with cylinder. New microstructural behavior of the solution is studied and numerical simulations and results are shown in the form of figures. Some interesting feature of the flow is observed and microstructural characteristics are discussed. △ Less

Submitted 13 March, 2022; originally announced April 2022.

Comments: 15 pages, 10 figures. arXiv admin note: substantial text overlap with arXiv:2203.16493

MSC Class: 65N30; 76-10; 76U05 ACM Class: G.1.8; I.6.4; G.1.8; I.6.4; G.1.8; I.6.4

Numerical Study of Cosserat Fluid-Structure Interaction in a Monolithic Eulerian Framework

Authors: Nazim Hussain, Muhammad Sabeel Khan, Lisheng Liu

Abstract: We propose a monolithic Eulerian variational formulation in non-classical sense of continuum description for the analysis of micro-viscosity parameters at micro-structural level. In this respect, Cosesrat fluid-structure interaction CFSI phenomena is taken into account by considering micro-rotational degrees of freedom of the particles. The governing equations and variational formulation for CFSI… ▽ More We propose a monolithic Eulerian variational formulation in non-classical sense of continuum description for the analysis of micro-viscosity parameters at micro-structural level. In this respect, Cosesrat fluid-structure interaction CFSI phenomena is taken into account by considering micro-rotational degrees of freedom of the particles. The governing equations and variational formulation for CFSI problem are presented. The space and time domains are discretized by the finite element method and semi-implicit scheme. The model is implemented and evaluated using FreeFem++. The present model is analyzed by computing a well known benchmark problem FLUSTRUK-FSI-3*, where the flow around a flag attached with cylinder is considered for numerical test. The obtained results suggest that the amplitude of oscillations and micro-rotational viscosity varies inversely and micro-viscosity parameter exhibit a significant effect on micro-rotation field as compare to velocity field. △ Less

Submitted 12 March, 2022; originally announced March 2022.

Comments: 13 pages, 7 figures

MSC Class: 65N30; 76-10; 76U05 ACM Class: G.1.8; I.6.4

Gaussian Control Barrier Functions : A Non-Parametric Paradigm to Safety

Authors: Mouhyemen Khan, Tatsuya Ibuki, Abhijit Chatterjee

Abstract: Inspired by the success of control barrier functions (CBFs) in addressing safety, and the rise of data-driven techniques for modeling functions, we propose a non-parametric approach for online synthesis of CBFs using Gaussian Processes (GPs). Mathematical constructs such as CBFs have achieved safety by designing a candidate function a priori. However, designing such a candidate function can be cha… ▽ More Inspired by the success of control barrier functions (CBFs) in addressing safety, and the rise of data-driven techniques for modeling functions, we propose a non-parametric approach for online synthesis of CBFs using Gaussian Processes (GPs). Mathematical constructs such as CBFs have achieved safety by designing a candidate function a priori. However, designing such a candidate function can be challenging. A practical example of such a setting would be to design a CBF in a disaster recovery scenario where safe and navigable regions need to be determined. The decision boundary for safety in such an example is unknown and cannot be designed a priori. In our approach, we work with safety samples or observations to construct the CBF online by assuming a flexible GP prior on these samples, and term our formulation as a Gaussian CBF. GPs have favorable properties, in addition to being non-parametric, such as analytical tractability and robust uncertainty estimation. This allows realizing the posterior components with high safety guarantees by incorporating variance estimation, while also computing associated partial derivatives in closed-form to achieve safe control. Moreover, the synthesized safety function from our approach allows changing the corresponding safe set arbitrarily based on the data, thus allowing non-convex safe sets. We validate our approach experimentally on a quadrotor by demonstrating safe control for fixed but arbitrary safe sets and collision avoidance where the safe set is constructed online. Finally, we juxtapose Gaussian CBFs with regular CBFs in the presence of noisy states to highlight its flexibility and robustness to noise. The experiment video can be seen at: https://youtu.be/HX6uokvCiGk. △ Less

Submitted 1 August, 2022; v1 submitted 29 March, 2022; originally announced March 2022.

Multiple combined gamma kernel estimations for nonnegative data with Bayesian adaptive bandwidths

Authors: Sobom M. Somé, Célestin C. Kokonendji, Smail Adjabi, Naushad A. Mamode Khan, Said Beddek

Abstract: A modified gamma kernel should not be automatically preferred to the standard gamma kernel, especially for univariate convex densities with a pole at the origin. In the multivariate case, multiple combined gamma kernels, defined as a product of univariate standard and modified ones, are here introduced for nonparametric and semiparametric smoothing of unknown orthant densities with support… ▽ More A modified gamma kernel should not be automatically preferred to the standard gamma kernel, especially for univariate convex densities with a pole at the origin. In the multivariate case, multiple combined gamma kernels, defined as a product of univariate standard and modified ones, are here introduced for nonparametric and semiparametric smoothing of unknown orthant densities with support $[0,\infty)^d$. Asymptotical properties of these multivariate associated kernel estimators are established. Bayesian estimation of adaptive bandwidth vectors using multiple pure combined gamma smoothers, and in semiparametric setup, are exactly derived under the usual quadratic function. The simulation results and four illustrations on real datasets reveal very interesting advantages of the proposed combined approach for nonparametric smoothing, compare to both pure standard and pure modified gamma kernel versions, and under integrated squared error and average log-likelihood criteria. △ Less

Submitted 18 February, 2022; originally announced February 2022.

Comments: 31 pages, 58 figures

MSC Class: 62G05(07); 62H12; 62G20; 62G99

Journal ref: Computational Statistics 39(2), 905-937, 2024

On Some Algebraic Properties of Block Toeplitz Matrices with Commuting Entries

Authors: Muhammad Ahsan Khan, Ameur Yagoub

Abstract: Toeplitz matrices are ubiquitous and play important roles across many areas of mathematics. In this paper, we present some algebraic results concerning block Toeplitz matrices with block entries belonging to a commutative algebra $Å$. The characterization of normal block Toeplitz matrices with entries from $Å$ is also obtained. Toeplitz matrices are ubiquitous and play important roles across many areas of mathematics. In this paper, we present some algebraic results concerning block Toeplitz matrices with block entries belonging to a commutative algebra $Å$. The characterization of normal block Toeplitz matrices with entries from $Å$ is also obtained. △ Less

Submitted 29 January, 2022; originally announced January 2022.

MSC Class: 5A27; 15A30; 15B05

Journal ref: Operators and Matrices 2022

On some algebras of truncated Hankel and asymmetric truncated Hankel operators

Authors: Ameur Yagoub, Muhammad Ahsan Khan

Abstract: In the last decade, a large amount of research has been concentrated on the operators living on the model space. Asymmetric truncated Toeplitz operators and asymmetric truncated Hankel operators are the natural generalization of truncated Toeplitz operators and truncated Hankel operators respectively. In this paper, we obtained the basic results concerning the product of these operators and in ter… ▽ More In the last decade, a large amount of research has been concentrated on the operators living on the model space. Asymmetric truncated Toeplitz operators and asymmetric truncated Hankel operators are the natural generalization of truncated Toeplitz operators and truncated Hankel operators respectively. In this paper, we obtained the basic results concerning the product of these operators and in terms of product their connection with each other. In addition, when the inner function has a certain symmetric property, some algebraic properties of truncated Hankel operators are also discussed. △ Less

Submitted 16 December, 2021; originally announced December 2021.

The Continuity Postulate in Economic Theory: A Deconstruction and an Integration

Authors: Metin Uyanik, M. Ali Khan

Abstract: This paper presents six theorems and ten propositions that can be read as deconstructing and integrating the continuity postulate under the rubric of pioneering work of Eilenberg, Wold, von Neumann-Morgenstern, Herstein-Milnor and Debreu. Its point of departure is the fact that the adjective continuous applied to a function or a binary relation does not acknowledge the many meanings that can be gi… ▽ More This paper presents six theorems and ten propositions that can be read as deconstructing and integrating the continuity postulate under the rubric of pioneering work of Eilenberg, Wold, von Neumann-Morgenstern, Herstein-Milnor and Debreu. Its point of departure is the fact that the adjective continuous applied to a function or a binary relation does not acknowledge the many meanings that can be given to the concept it names, and that under a variety of technical mathematical structures, its many meanings can be whittled down to novel and unexpected equivalences that have been missed in the theory of choice. Specifically, it provides a systematic investigation of the two-way relation between restricted and full continuity of a function and a binary relation that, under convex, monotonic and differentiable structures, draws out the behavioral implications of the postulate. △ Less

Submitted 26 January, 2022; v1 submitted 26 August, 2021; originally announced August 2021.

Block Toeplitz Matrices: Multiplicative Properties

Authors: Muhammad Ahsan Khan

Abstract: Given $A,B,C$ and $D$ block Toeplitz matrices, we will prove some of the basic results concerning the product $AB-CD$. In addition, with respect to change of basis, the characterization of normal block Toeplitz matrices with entries in the algebra of diagonal matrices is also obtained. Given $A,B,C$ and $D$ block Toeplitz matrices, we will prove some of the basic results concerning the product $AB-CD$. In addition, with respect to change of basis, the characterization of normal block Toeplitz matrices with entries in the algebra of diagonal matrices is also obtained. △ Less

Submitted 27 July, 2023; v1 submitted 27 March, 2021; originally announced March 2021.

Comments: Published in MATEMATIKA

To count clean triangles we count on $imph(n)$

Authors: Mizan R. Khan, Riaz R. Khan

Abstract: A clean lattice triangle in ${\mathbb R}^2$ is a triangle that does not contain any lattice points on its sides other than its vertices. The central goal of this paper is to count the number of clean triangles of a given area up to unimodular equivalence. In doing so we use a variant of the Euler phi function which we call $imph(n)$ (imitation phi). A clean lattice triangle in ${\mathbb R}^2$ is a triangle that does not contain any lattice points on its sides other than its vertices. The central goal of this paper is to count the number of clean triangles of a given area up to unimodular equivalence. In doing so we use a variant of the Euler phi function which we call $imph(n)$ (imitation phi). △ Less

Submitted 20 December, 2020; originally announced December 2020.

Parity Check Codes for Second Order Diversity

Authors: Aaqib A. Patel, Abdul Mateen Ahmed, Mohammed Zafar Ali Khan

Abstract: Block codes are typically not used for fading channels as soft decision decoding is computationally intensive and hard decision decoding results in performance loss. In this paper we propose a diversity preserving hard decision decoding scheme for parity check codes (PCC) over Rayleigh fading channels. The proposed flip decoding scheme has linear complexity in the block length. Theoretical analysi… ▽ More Block codes are typically not used for fading channels as soft decision decoding is computationally intensive and hard decision decoding results in performance loss. In this paper we propose a diversity preserving hard decision decoding scheme for parity check codes (PCC) over Rayleigh fading channels. The proposed flip decoding scheme has linear complexity in the block length. Theoretical analysis and simulation results verify the correctness of the proposed detection scheme. △ Less

Submitted 17 December, 2020; originally announced December 2020.

Comments: Submitted to IEEE WCL on 19th Oct 2020

Product of Matrix Valued Truncated Toeplitz Operators

Authors: Muhammad Ahsan Khan

Abstract: Let $A_Φ$ be a matrix valued truncated Toeplitz operator-the compression of multiplication operator to vector-valued model space $H^2(E)\ominus ΘH^2(E)$, where $Θ$ is a matrix valued non constant inner function. Under supplementary assumptions, we find necessary and sufficient condition that the product $A_ΦA_Ψ$ is itself a matrix valued truncated Toeplitz operator. Let $A_Φ$ be a matrix valued truncated Toeplitz operator-the compression of multiplication operator to vector-valued model space $H^2(E)\ominus ΘH^2(E)$, where $Θ$ is a matrix valued non constant inner function. Under supplementary assumptions, we find necessary and sufficient condition that the product $A_ΦA_Ψ$ is itself a matrix valued truncated Toeplitz operator. △ Less

Submitted 9 December, 2020; originally announced December 2020.

Journal ref: Hacettepe Journal of Mathematics & Statistics, 2022

A Class of Analytic Functions associated with Sine Hyperbolic Functions

Authors: S. Sivaprasad Kumar, Muhammad Ghaffar Khan, Bakhtiar Ahmad, Wali Khan Mashwani

Abstract: We introduce a class of analytic functions subordinate to the function $1+\sinh \left( z\right) $ and obtain various necessary and sufficient conditions for functions to be in the class. These conditions mainly comprise of the coefficient inequalities involving convolution. Further, we have obtained sharp five initial coefficients, a conjecture for the general nth coefficient and the third Hankel… ▽ More We introduce a class of analytic functions subordinate to the function $1+\sinh \left( z\right) $ and obtain various necessary and sufficient conditions for functions to be in the class. These conditions mainly comprise of the coefficient inequalities involving convolution. Further, we have obtained sharp five initial coefficients, a conjecture for the general nth coefficient and the third Hankel determinant bounds for the functions in this class. Also derived certain differential subordination implication results involving $1+\sinh \left( z\right)$. △ Less

Submitted 9 November, 2020; originally announced November 2020.

Proposed theorems for lifts of the extended almost complex structures on the complex manifold

Authors: Mohammad Nazrul Islam Khan

Abstract: The present paper aims to study the higher-order complete and vertical lifts of the extended almost complex structures on an extended complex manifold kM. The proposed theorems on the Nijenhuis tensor of an extended almost complex structure Jk on the extended complex manifold kM are proved. Also, a tensor field J~k of type (1,1) is introduced and shows that it is an extended almost complex structu… ▽ More The present paper aims to study the higher-order complete and vertical lifts of the extended almost complex structures on an extended complex manifold kM. The proposed theorems on the Nijenhuis tensor of an extended almost complex structure Jk on the extended complex manifold kM are proved. Also, a tensor field J~k of type (1,1) is introduced and shows that it is an extended almost complex structure. Finally, the Lie derivative concerning higher-order lifts is studied and basic results on the almost analytic complex vector concerning an extended almost complex structure on kM are investigated. △ Less

Submitted 1 June, 2021; v1 submitted 16 August, 2020; originally announced August 2020.

Comments: 10 pages

MSC Class: 28A51; 53C15; 32Q60

Interpolatory projection technique for Riccati-based feedback stabilization of index-1 descriptor systems

Authors: Mahtab Uddin, M. Monir Uddin, M. A. H. Khan, Md. Motlubar Rahman

Abstract: The work aims to stabilize the unstable index-1 descriptor systems by Riccati-based feedback stabilization via a modified form of Iterative Rational Krylov Algorithm (IRKA), which is a bi-tangential interpolation-based technique. In the basic IRKA, for the stable systems the Reduced Order Models (ROMs) can be found conveniently, but it is unsuitable for the unstable ones. In the proposed technique… ▽ More The work aims to stabilize the unstable index-1 descriptor systems by Riccati-based feedback stabilization via a modified form of Iterative Rational Krylov Algorithm (IRKA), which is a bi-tangential interpolation-based technique. In the basic IRKA, for the stable systems the Reduced Order Models (ROMs) can be found conveniently, but it is unsuitable for the unstable ones. In the proposed technique, the initial feedback is implemented within the construction of the projectors of the IRKA approach. The solution of the Riccati equation is estimated from the ROM achieved by IRKA and hence the low-rank feedback matrix is attained. Using the reverse projecting process, for the full model the optimal feedback matrix is retrieved from the low-rank feedback matrix. Finally, to validate the aptness and competency of the proposed technique it is applied to unstable index-1 descriptor systems. The comparison of the present work with two previous works is narrated. The simulation is done by numerical computation using MATLAB, and both the tabular method and graphical method are used as the supporting tools of comparative analysis. △ Less

Submitted 30 March, 2021; v1 submitted 29 July, 2020; originally announced July 2020.

Comments: 12 pages, 7 figures

Binary Relations in Mathematical Economics: On the Continuity, Additivity and Monotonicity Postulates in Eilenberg, Villegas and DeGroot

Authors: M. Ali Khan, Metin Uyanik

Abstract: This chapter examines how positivity and order play out in two important questions in mathematical economics, and in so doing, subjects the postulates of continuity, additivity and monotonicity to closer scrutiny. Two sets of results are offered: the first departs from Eilenberg's (1941) necessary and sufficient conditions on the topology under which an anti-symmetric, complete, transitive and con… ▽ More This chapter examines how positivity and order play out in two important questions in mathematical economics, and in so doing, subjects the postulates of continuity, additivity and monotonicity to closer scrutiny. Two sets of results are offered: the first departs from Eilenberg's (1941) necessary and sufficient conditions on the topology under which an anti-symmetric, complete, transitive and continuous binary relation exists on a topologically connected space; and the second, from DeGroot's (1970) result concerning an additivity postulate that ensures a complete binary relation on a σ-algebra to be transitive. These results are framed in the registers of order, topology, algebra and measure-theory; and also beyond mathematics in economics: the exploitation of Villegas' notion of monotonic continuity by Arrow-Chichilnisky in the context of Savage's theorem in decision theory, and the extension of Diamond's impossibility result in social choice theory by Basu-Mitra. As such, this chapter has a synthetic and expository motivation, and can be read as a plea for inter-disciplinary conversations, connections and collaboration. △ Less

Submitted 3 July, 2020; originally announced July 2020.

Journal ref: Positivity and its Applications, 2021

The Yannelis-Prabhakar Theorem on Upper Semi-Continuous Selections in Paracompact Spaces: Extensions and Applications

Authors: M. Ali Khan, Metin Uyanik

Abstract: In a 1983 paper, Yannelis-Prabhakar rely on Michael's selection theorem to guarantee a continuous selection in the context of the existence of maximal elements and equilibria in abstract economies. In this tribute to Nicholas Yannelis, we root this paper in Chapter II of Yannelis' 1983 Rochester Ph.D. dissertation, and identify its pioneering application of the paracompactness condition to current… ▽ More In a 1983 paper, Yannelis-Prabhakar rely on Michael's selection theorem to guarantee a continuous selection in the context of the existence of maximal elements and equilibria in abstract economies. In this tribute to Nicholas Yannelis, we root this paper in Chapter II of Yannelis' 1983 Rochester Ph.D. dissertation, and identify its pioneering application of the paracompactness condition to current and ongoing work of Yannelis and his co-authors, and to mathematical economics more generally. We move beyond the literature to provide a necessary and sufficient condition for upper semi-continuous local and global selections of correspondences, and to provide application to five domains of Yannelis' interests: Berge's maximum theorem, the Gale-Nikaido-Debreu lemma, the Gale-McKenzie survival assumption, Shafer's non-transitive setting, and the Anderson-Khan-Rashid approximate existence theorem. The last resonates with Chapter VI of the Yannelis' dissertation. △ Less

Submitted 30 June, 2020; originally announced June 2020.

Journal ref: Economic Theory, 2021

Computationally efficient optimal control for unstable power system models

Authors: Mahtab Uddin, M. Monir Uddin, Md. Abdul Hakim Khan

Abstract: In this article, the focus is mainly on gaining the optimal control for the unstable power system models and stabilizing them through the Riccati-based feedback stabilization process with sparsity-preserving techniques. We are to find the solution of the Continuous-time Algebraic Riccati Equations (CAREs) governed from the unstable power system models derived from the Brazilian Inter-Connected Pow… ▽ More In this article, the focus is mainly on gaining the optimal control for the unstable power system models and stabilizing them through the Riccati-based feedback stabilization process with sparsity-preserving techniques. We are to find the solution of the Continuous-time Algebraic Riccati Equations (CAREs) governed from the unstable power system models derived from the Brazilian Inter-Connected Power System (BIPS) models, which are large-scale sparse index-1 descriptor systems. We propose the projection-based Rational Krylov Subspace Method (RKSM) for the iterative computation of the solution of the CAREs. The novelties of RKSM are sparsity-preserving computations and the implementation of time-convenient adaptive shift parameters. We modify the Low-Rank Cholesky-Factor integrated Alternating Direction Implicit (LRCF-ADI) technique based nested iterative Kleinman-Newton (KN) method to a sparse form and adjust this to solve the desired CAREs. We compare the results achieved by the Kleinman-Newton method with that of using the RKSM. The applicability and adaptability of the proposed techniques are justified numerically with MATLAB simulations. Transient behaviors of the target models are investigated for comparative analysis through the tabular and graphical approaches. △ Less

Submitted 1 September, 2021; v1 submitted 25 June, 2020; originally announced June 2020.

Comments: 28 pages, 15 figures

Mixing properties of Skellam-GARCH processes

Authors: Paul Doukhan, Naushad Mamode Khan, Michael H. Neumann

Abstract: We consider integer-valued GARCH processes, where the count variable conditioned on past values of the count and state variables follows a so-called Skellam distribution. Using arguments for contractive Markov chains we prove that the process has a unique stationary regime. Furthermore, we show asymptotic regularity ($β$-mixing) with geometrically decaying coefficients for the count process. These… ▽ More We consider integer-valued GARCH processes, where the count variable conditioned on past values of the count and state variables follows a so-called Skellam distribution. Using arguments for contractive Markov chains we prove that the process has a unique stationary regime. Furthermore, we show asymptotic regularity ($β$-mixing) with geometrically decaying coefficients for the count process. These probabilistic results are complemented by a statistical analysis, a few simulations as well as an application to recent COVID-19 data. △ Less

Submitted 13 August, 2020; v1 submitted 25 May, 2020; originally announced May 2020.

MSC Class: 60G10; 60J05

A weighted transmuted exponential distribution with environmental applications

Authors: Christophe Chesneau, Hassan S. Bakouch, Muhammad Nauman Khan

Abstract: In this paper, we introduce a new three-parameter distribution based on the combination of re-parametrization of the so-called EGNB2 and transmuted exponential distributions. This combination aims to modify the transmuted exponential distribution via the incorporation of an additional parameter, mainly adding a high degree of flexibility on the mode and impacting the skewness and kurtosis of the t… ▽ More In this paper, we introduce a new three-parameter distribution based on the combination of re-parametrization of the so-called EGNB2 and transmuted exponential distributions. This combination aims to modify the transmuted exponential distribution via the incorporation of an additional parameter, mainly adding a high degree of flexibility on the mode and impacting the skewness and kurtosis of the tail. We explore some mathematical properties of this distribution including the hazard rate function, moments, the moment generating function, the quantile function, various entropy measures and (reversed) residual life functions. A statistical study investigates estimation of the parameters using the method of maximum likelihood. The distribution along with other existing distributions are fitted to two environmental data sets and its superior performance is assessed by using some goodness-of-fit tests. As a result, some environmental measures associated with these data are obtained such as the return level and mean deviation about this level. △ Less

Submitted 8 February, 2020; originally announced February 2020.

MSC Class: 60E05; 62E15

From eventually different functions to pandemic numberings

Authors: Achilles A. Beros, Mushfeq Khan, Bjørn Kjos-Hanssen, André Nies

Abstract: A function is strongly non-recursive (SNR) if it is eventually different from each recursive function. We obtain hierarchy results for the mass problems associated with computing such functions with varying growth bounds. In particular, there is no least and no greatest Muchnik degree among those of the form SNR$_f$ consisting of SNR functions bounded by varying recursive bounds $f$. We show tha… ▽ More A function is strongly non-recursive (SNR) if it is eventually different from each recursive function. We obtain hierarchy results for the mass problems associated with computing such functions with varying growth bounds. In particular, there is no least and no greatest Muchnik degree among those of the form SNR$_f$ consisting of SNR functions bounded by varying recursive bounds $f$. We show that the connection between SNR functions and canonically immune sets is, in a sense, as strong as that between DNR (diagonally non-recursive) functions and effectively immune sets. Finally, we introduce pandemic numberings, a set-theoretic dual to immunity. △ Less

Submitted 3 February, 2020; originally announced February 2020.

Comments: Lecture Notes in Computer Science 10936 (2018), 97--106. Computability in Europe 2018

MSC Class: 03D32

Fair Allocation Based Soft Load Shedding

Authors: Sarwan Ali, Haris Mansoor, Imdadullah Khan, Naveed Arshad, Safiullah Faizullah, Muhammad Asad Khan

Abstract: Renewable sources are taking center stage in electricity generation. Due to the intermittent nature of these renewable resources, the problem of the demand-supply gap arises. To solve this problem, several techniques have been proposed in the literature in terms of cost (adding peaker plants), availability of data (Demand Side Management "DSM"), hardware infrastructure (appliance controlling DSM)… ▽ More Renewable sources are taking center stage in electricity generation. Due to the intermittent nature of these renewable resources, the problem of the demand-supply gap arises. To solve this problem, several techniques have been proposed in the literature in terms of cost (adding peaker plants), availability of data (Demand Side Management "DSM"), hardware infrastructure (appliance controlling DSM) and safety (voltage reduction). However, these solutions are not fair in terms of electricity distribution. In many cases, although the available supply may not match the demand in peak hours, however, the total aggregated demand remains less than the total supply for the whole day. Load shedding (complete blackout) is a commonly used solution to deal with the demand-supply gap, which can cause substantial economic losses. To solve the demand-supply gap problem, we propose a solution called Soft Load Shedding (SLS), which assigns electricity quota to each household in a fair way. We measure the fairness of SLS by defining a function for household satisfaction level. We model the household utilities by parametric function and formulate the problem of SLS as a social welfare problem. We also consider revenue generated from the fair allocation as a performance measure. To evaluate our approach, extensive experiments have been performed on both synthetic and real-world datasets, and our model is compared with several baselines to show its effectiveness in terms of fair allocation and revenue generation. △ Less

Submitted 11 August, 2020; v1 submitted 2 February, 2020; originally announced February 2020.

Comments: Accepted to Intelligent Systems Conference (IntelliSys) 2020

On an Extension of a Theorem of Eilenberg and a Characterization of Topological Connectedness

Authors: M. Ali Khan, Metin Uyanik

Abstract: On taking a non-trivial and semi-transitive bi-relation constituted by two (hard and soft) binary relations, we report a (i) p-continuity assumption that guarantees the completeness and transitivity of its soft part, and a (ii) characterization of a connected topological space in terms of its attendant properties on the space. Our work generalizes antecedent results in applied mathematics, all fol… ▽ More On taking a non-trivial and semi-transitive bi-relation constituted by two (hard and soft) binary relations, we report a (i) p-continuity assumption that guarantees the completeness and transitivity of its soft part, and a (ii) characterization of a connected topological space in terms of its attendant properties on the space. Our work generalizes antecedent results in applied mathematics, all following Eilenberg (1941), and now framed in the context of a parametrized-topological space. This re-framing is directly inspired by the continuity assumption in Wold (1943-44) and the mixture-space structure proposed in Herstein and Milnor (1953), and the unifying synthesis of these pioneering but neglected papers that it affords may have independent interest. △ Less

Submitted 29 December, 2019; originally announced December 2019.

Journal ref: Topology and Its Applications (2020)

A Conjectural Inequality for Visible Points in Lattice Parallelograms

Authors: Gabriel Khan, Mizan R. Khan, Joydip Saha, Peng Zhao

Abstract: Let $a,n \in \mathbb{Z}^+$, with $a<n$ and $\gcd(a,n)=1$. Let $P_{a,n}$ denote the lattice parallelogram spanned by $(1,0)$ and $(a,n)$, that is, $$P_{a,n} = \left\{ t_1(1,0)+ t_2(a,n) \, : \, 0\leq t_1,t_2 \leq 1 \right\}, $$ and let $$V(a,n) = \# \textrm{ of visible lattice points in the interior of } P_{a,n}.$$ In this paper we prove some elementary (and straightforward) results for $V(a,n)$. T… ▽ More Let $a,n \in \mathbb{Z}^+$, with $a<n$ and $\gcd(a,n)=1$. Let $P_{a,n}$ denote the lattice parallelogram spanned by $(1,0)$ and $(a,n)$, that is, $$P_{a,n} = \left\{ t_1(1,0)+ t_2(a,n) \, : \, 0\leq t_1,t_2 \leq 1 \right\}, $$ and let $$V(a,n) = \# \textrm{ of visible lattice points in the interior of } P_{a,n}.$$ In this paper we prove some elementary (and straightforward) results for $V(a,n)$. The most interesting aspects of the paper are in Section 5 where we discuss some numerics and display some graphs of $V(a,n)/n$. (These graphs resemble an integral sign that has been rotated counter-clockwise by $90^\circ$.) The numerics and graphs suggest the conjecture that for $a\not= 1, n-1$, $V(a,n)/n$ satisfies the inequality $$ 0.5 < V(a,n)/n< 0.75.$$ △ Less

Submitted 3 September, 2019; originally announced September 2019.

Comments: 14 pages, 4 figures

MSC Class: 11H06; 11P21; 52C05

Epimorphisms, dominions and H-commutative semigroups

Authors: Peter M. Higgins, Noor Alam, Noor Mohammad Khan

Abstract: In the present paper, a series of results and examples that explore the structural features of H-commutative semigroups are provided. We also generalise a result of Isbell from commutative semigroups to H-commutative semigroups by showing that the dominion of an H-commutative semigroup is H-commutative. We then use this to generalise Howie and Isbell's result that any H-commutative semigroup satis… ▽ More In the present paper, a series of results and examples that explore the structural features of H-commutative semigroups are provided. We also generalise a result of Isbell from commutative semigroups to H-commutative semigroups by showing that the dominion of an H-commutative semigroup is H-commutative. We then use this to generalise Howie and Isbell's result that any H-commutative semigroup satisfying the minimum condition on principal ideals is saturated. △ Less

Submitted 7 August, 2019; v1 submitted 5 August, 2019; originally announced August 2019.

Comments: 20 pages

A Generalization Bound for Online Variational Inference

Authors: Badr-Eddine Chérief-Abdellatif, Pierre Alquier, Mohammad Emtiyaz Khan

Abstract: Bayesian inference provides an attractive online-learning framework to analyze sequential data, and offers generalization guarantees which hold even with model mismatch and adversaries. Unfortunately, exact Bayesian inference is rarely feasible in practice and approximation methods are usually employed, but do such methods preserve the generalization properties of Bayesian inference ? In this pape… ▽ More Bayesian inference provides an attractive online-learning framework to analyze sequential data, and offers generalization guarantees which hold even with model mismatch and adversaries. Unfortunately, exact Bayesian inference is rarely feasible in practice and approximation methods are usually employed, but do such methods preserve the generalization properties of Bayesian inference ? In this paper, we show that this is indeed the case for some variational inference (VI) algorithms. We consider a few existing online, tempered VI algorithms, as well as a new algorithm, and derive their generalization bounds. Our theoretical result relies on the convexity of the variational objective, but we argue that the result should hold more generally and present empirical evidence in support of this. Our work in this paper presents theoretical justifications in favor of online algorithms relying on approximate Bayesian methods. △ Less

Submitted 10 December, 2019; v1 submitted 8 April, 2019; originally announced April 2019.

Comments: Published in the proceedings of ACML 2019

Journal ref: Proceedings in Machine Learning Research, 2019, vol. 101, pp. 662-677

Statistical instability for contracting Lorenz flows

Authors: Jose F. Alves, Muhammad Ali Khan

Abstract: We consider one parameter families of vector fields introduced by Rovella, obtained through modifying the eigenvalues of the geometric Lorenz attractor, replacing the expanding condition on the eigenvalues of the singularity by a contracting one. We show that there is no statistical stability within the set of parameters for which there is a physical measure supported on the attractor. This is ach… ▽ More We consider one parameter families of vector fields introduced by Rovella, obtained through modifying the eigenvalues of the geometric Lorenz attractor, replacing the expanding condition on the eigenvalues of the singularity by a contracting one. We show that there is no statistical stability within the set of parameters for which there is a physical measure supported on the attractor. This is achieved obtaining a similar conclusion at the level of the corresponding one-dimensional contracting Lorenz maps. △ Less

Submitted 2 July, 2019; v1 submitted 11 February, 2019; originally announced February 2019.

Comments: 29 pages, 3 figures

MSC Class: 37A05; 37C10; 37C40; 37C75; 37D25; 37E05

Algebras of block Toeplitz matrices with commuting entries

Authors: Muhammad Ahsan Khan, Dan Timotin

Abstract: The maximal algebras of scalar Toeplitz matrices are known to be formed by generalized circulants. The identification of algebras consisting of block Toeplitz matrices is a harder problem, that has received little attention up to now. We consider the case when the block entries of the matrices belong to a commutative algebra $ \mathcal{A} $. After obtaining some general results, we classify all th… ▽ More The maximal algebras of scalar Toeplitz matrices are known to be formed by generalized circulants. The identification of algebras consisting of block Toeplitz matrices is a harder problem, that has received little attention up to now. We consider the case when the block entries of the matrices belong to a commutative algebra $ \mathcal{A} $. After obtaining some general results, we classify all the maximal algebras for certain particular cases of $ \mathcal{A}$. △ Less

Submitted 2 April, 2019; v1 submitted 10 November, 2018; originally announced November 2018.

Comments: An error in the first version is corrected; main results are unchanged

MSC Class: 15B05; 15A30

Metallic structures on tangent bundle

Authors: Mohammad Nazrul Islam Khan

Abstract: The purpose of the present work is to study the complete and horizontal lifts of the metallic structure on tangent bundles with respect to almost product structure. We also establish fundamental formulae related to integrability and horizontal lifts of metallic structures on tangent bundles. Moreover, the study revealed the behavior on cross-section of metallic structure in M to tangent bundle TM. The purpose of the present work is to study the complete and horizontal lifts of the metallic structure on tangent bundles with respect to almost product structure. We also establish fundamental formulae related to integrability and horizontal lifts of metallic structures on tangent bundles. Moreover, the study revealed the behavior on cross-section of metallic structure in M to tangent bundle TM. △ Less

Submitted 15 October, 2018; originally announced October 2018.

MSC Class: 53C15. 51D15. 58A30