-
A study of Geodesic (E, F)-preinvex Functions on Riemannian Manifolds
Authors:
Ehtesham Akhter,
Musavvir Ali
Abstract:
In this manuscript, we define (E, F)-invex set, (E, F)-invex functions, and (E, F)-preinvex functions on Euclidean space. We explore the concepts on the Riemannian manifold. We also detail the fundamental properties of (E, F)-preinvex functions and some examples that illustrate the concepts well. We have established a relation between (E, F)-invex and (E, F)-preinvex functions on the Riemannian ma…
▽ More
In this manuscript, we define (E, F)-invex set, (E, F)-invex functions, and (E, F)-preinvex functions on Euclidean space. We explore the concepts on the Riemannian manifold. We also detail the fundamental properties of (E, F)-preinvex functions and some examples that illustrate the concepts well. We have established a relation between (E, F)-invex and (E, F)-preinvex functions on the Riemannian manifolds. We introduce the conditions A and define (E, F)-proximal sub-gradient. To explore and demonstrate its applicability to optimization problems, (E, F)-preinvex is utilized. In the last, we establish the points of extrema of a non-smooth (E, F)-preinvex functions on (E, F)-invex subset of the Riemannian manifolds by using (E, F)-proximal sub-gradient.
△ Less
Submitted 16 November, 2023;
originally announced November 2023.
-
Constructing $2$-dimensional Lubin-Tate formal groups over $\mathbb{Z}_{p}$ (I)
Authors:
Ramla Abdellatif,
Mabud Ali Sarkar
Abstract:
In this paper, we construct a class of $2$-dimensional formal groups over $\mathbb{Z}_p$ that provide a higher-dimensional analogue of the usual $1$-dimensional Lubin-Tate formal groups, then we initiate the study of the extensions generated by their $p^{n}$-torsion points. For instance, we prove that the coordinates of the $p^{\infty}$-torsion points of such a formal group generate an abelian ext…
▽ More
In this paper, we construct a class of $2$-dimensional formal groups over $\mathbb{Z}_p$ that provide a higher-dimensional analogue of the usual $1$-dimensional Lubin-Tate formal groups, then we initiate the study of the extensions generated by their $p^{n}$-torsion points. For instance, we prove that the coordinates of the $p^{\infty}$-torsion points of such a formal group generate an abelian extension over a certain unramified extension of $\mathbb{Q}_{p}$, and we study some ramification properties of these abelian extensions. In particular, we prove that the extension generated by the coordinates of the $p$-torsion points is in general totally ramified.
△ Less
Submitted 15 February, 2024; v1 submitted 9 October, 2023;
originally announced October 2023.
-
Unraveling Forward and Backward Source Problems for a Nonlocal Integrodifferential Equation: A Journey through Operational Calculus for Dzherbashian-Nersesian Operator
Authors:
Anwar Ahmad,
Muhammad Ali,
Salman A. Malik
Abstract:
This article primarily aims at introducing a novel operational calculus of Mikusiński's type for the Dzherbashian-Nersesian operator. Using this calculus, we are able to derive exact solutions for the forward and backward source problems (BSPs) of a differential equation that features Dzherbashian-Nersesian operator in time and intertwined with nonlocal boundary conditions. The initial condition i…
▽ More
This article primarily aims at introducing a novel operational calculus of Mikusiński's type for the Dzherbashian-Nersesian operator. Using this calculus, we are able to derive exact solutions for the forward and backward source problems (BSPs) of a differential equation that features Dzherbashian-Nersesian operator in time and intertwined with nonlocal boundary conditions. The initial condition is expressed in terms of Riemann-Liouville integral (RLI). Solution is presented using Mittag-Leffler type functions (MLTFs). The outcomes related to the existence and uniqueness subject to certain conditions of regularity on the input data are established.
△ Less
Submitted 25 September, 2023;
originally announced September 2023.
-
On Harmonic Univalent Spirallike Map**s
Authors:
Md Firoz Ali,
Sushil Pandit
Abstract:
In this article, we provide some necessary and sufficient coefficients conditions for a harmonic map** to be hereditarily spirallike. Also, we give growth estimate for certain harmonic hereditarily spirallike map**s. Moreover, we connect the concept of harmonic hereditarily spirallike map** to analytic spirallike map** and provide some examples in support of our results.
In this article, we provide some necessary and sufficient coefficients conditions for a harmonic map** to be hereditarily spirallike. Also, we give growth estimate for certain harmonic hereditarily spirallike map**s. Moreover, we connect the concept of harmonic hereditarily spirallike map** to analytic spirallike map** and provide some examples in support of our results.
△ Less
Submitted 1 September, 2023;
originally announced September 2023.
-
On the pre-Schwarzian norm of certain Logharmonic map**s
Authors:
Md Firoz Ali,
Sushil Pandit
Abstract:
We connect the pre-Schwarzian norm of logharmonic map**s to the pre-Schwarzian norm of an analytic function and establish some necessary and sufficient conditions under which locally univalent logharmonic map**s have a finite pre-Schwarzian norm. We also obtain a necessary and sufficient condition for a logharmonic function to be Bloch. Furthermore, we obtain the pre-Schwarzian norm and growth…
▽ More
We connect the pre-Schwarzian norm of logharmonic map**s to the pre-Schwarzian norm of an analytic function and establish some necessary and sufficient conditions under which locally univalent logharmonic map**s have a finite pre-Schwarzian norm. We also obtain a necessary and sufficient condition for a logharmonic function to be Bloch. Furthermore, we obtain the pre-Schwarzian norm and growth theorem for logharmonic Bloch map**s and their analytic and co-analytic parts.
△ Less
Submitted 23 August, 2023;
originally announced August 2023.
-
Pre-Schwarzian and Schwarzian norm estimates for harmonic functions with fixed analytic part
Authors:
Md Firoz Ali,
Sushil Pandit
Abstract:
In the present article, we discuss about the estimate of the pre-Schwarzian and Schwarzian norms for locally univalent harmonic functions $f=h+\overline{g}$ in the unit disk $\mathbb{D}:=\{z\in\mathbb{C}:\, |z|<1\}$. In this regard, we first rectify an earlier result of Kanas \emph{et al.} [J. Math. Anal. Appl., {\bf 474}(2) (2019), 931--943] and prove a general result for the pre-Schwarzian norm.…
▽ More
In the present article, we discuss about the estimate of the pre-Schwarzian and Schwarzian norms for locally univalent harmonic functions $f=h+\overline{g}$ in the unit disk $\mathbb{D}:=\{z\in\mathbb{C}:\, |z|<1\}$. In this regard, we first rectify an earlier result of Kanas \emph{et al.} [J. Math. Anal. Appl., {\bf 474}(2) (2019), 931--943] and prove a general result for the pre-Schwarzian norm. We also consider a new class $\mathcal{F}_0$ consisting of all harmonic functions $f=h+\overline{g}$ in the unit disk $\mathbb{D}$ such that ${\rm Re\,}\left(1+z\frac{h''(z)}{h'(z)}\right)>0$ for $z\in\mathbb{D}$ with dilatation $ω_f(z)\in Aut(\mathbb{D})$ and obtain best possible estimates of the pre-Schwarzian and Schwarzian norms for functions in the class $\mathcal{F}_0$. Moreover, we obtain the distortion and coefficient estimates of the co-analytic function $g$ when $f=h+\overline{g}\in\mathcal{F}_0$.
△ Less
Submitted 27 July, 2023;
originally announced July 2023.
-
On structural contraction of biological interaction networks
Authors:
M. Ali Al-Radhawi,
David Angeli,
Eduardo Sontag
Abstract:
In previous work, we have developed an approach for characterizing the long-term dynamics of classes of Biological Interaction Networks (BINs), based on "rate-dependent Lyapunov functions". In this work, we show that stronger notions of convergence can be established by proving structural contractivity with respect to non-standard norms. We illustrate our theory with examples from signaling pathwa…
▽ More
In previous work, we have developed an approach for characterizing the long-term dynamics of classes of Biological Interaction Networks (BINs), based on "rate-dependent Lyapunov functions". In this work, we show that stronger notions of convergence can be established by proving structural contractivity with respect to non-standard norms. We illustrate our theory with examples from signaling pathways.
△ Less
Submitted 25 July, 2023;
originally announced July 2023.
-
Harnessing the mathematics of matrix decomposition to solve planted and maximum clique problem
Authors:
Salma Omer,
Montaz Ali
Abstract:
We consider the problem of identifying a maximum clique in a given graph. We have proposed a mathematical model for this problem. The model resembles the matrix decomposition of the adjacency matrix of a given graph. The objective function of the mathematical model includes a weighted $\ell_{1}$-norm of the sparse matrix of the decomposition, which has an advantage over the known $\ell_{1}-$norm i…
▽ More
We consider the problem of identifying a maximum clique in a given graph. We have proposed a mathematical model for this problem. The model resembles the matrix decomposition of the adjacency matrix of a given graph. The objective function of the mathematical model includes a weighted $\ell_{1}$-norm of the sparse matrix of the decomposition, which has an advantage over the known $\ell_{1}-$norm in reducing the error. The use of dynamically changing the weights for the $\ell_{1}$-norm has been motivated. We have used proximal operators within the iterates of the ADMM (alternating direction method of multipliers) algorithm to solve the optimization problem. Convergence of the proposed ADMM algorithm has been provided. The theoretical guarantee of the maximum clique in the form of the low-rank matrix has also been established using the golfing scheme to construct approximate dual certificates. We have constructed conditions that guarantee the recovery and uniqueness of the solution, as well as a tight bound on the dual matrix that validates optimality conditions. Numerical results for planted cliques are presented showing clear advantages of our model when compared with two recent mathematical models. Results are also presented for randomly generated graphs with minimal errors. These errors are found using a formula we have proposed based on the size of the clique. Moreover, we have applied our algorithm to real-world graphs for which cliques have been recovered successfully. The validity of these clique sizes comes from the decomposition of input graph into a rank-one matrix (corresponds to the clique) and a sparse matrix.
△ Less
Submitted 18 July, 2023;
originally announced July 2023.
-
Schwarzian Norm Estimate for Functions in Robertson Class
Authors:
Md Firoz Ali,
Sanjit Pal
Abstract:
Let $\mathcal{A}$ denote the class of analytic functions $f$ in the unit disk $\mathbb{D}=\{z\in\mathbb{C}:|z|<1\}$ normalized by $f(0)=0$, $f'(0)=1$. For $-π/2<α<π/2$, let $\mathcal{S}_α$ be the subclass of $\mathcal{A}$ consisting of functions $f$ that satisfy the relation ${\rm Re\,} \{e^{iα}(1+zf''(z)/f'(z))\}>0$ for $z\in\mathbb{D}$. In the present article, we determine the sharp estimate of…
▽ More
Let $\mathcal{A}$ denote the class of analytic functions $f$ in the unit disk $\mathbb{D}=\{z\in\mathbb{C}:|z|<1\}$ normalized by $f(0)=0$, $f'(0)=1$. For $-π/2<α<π/2$, let $\mathcal{S}_α$ be the subclass of $\mathcal{A}$ consisting of functions $f$ that satisfy the relation ${\rm Re\,} \{e^{iα}(1+zf''(z)/f'(z))\}>0$ for $z\in\mathbb{D}$. In the present article, we determine the sharp estimate of the pre-Schwarzian and Schwarzian norms for functions in the class $\mathcal{S}_α$.
△ Less
Submitted 18 July, 2023;
originally announced July 2023.
-
The discrete collision-induced breakage equation with mass transfer: well-posedness and stationary solutions
Authors:
Mashkoor Ali,
Ankik Kumar Giri,
Philippe Laurençot
Abstract:
The discrete collisional breakage equation, which captures the dynamics of cluster growth when clusters encounter binary collisions with possible matter transfer, is discussed in this article. The existence of global mass-conserving solutions is investigated for the collision kernels $a_{i,j}=A(i^α j^β + i^βj^α)$, $i, j \ge 1$, with $α\in (-\infty,1)$, $β\in [α,1]\cap (0,1]$, and $A>0$ and for a l…
▽ More
The discrete collisional breakage equation, which captures the dynamics of cluster growth when clusters encounter binary collisions with possible matter transfer, is discussed in this article. The existence of global mass-conserving solutions is investigated for the collision kernels $a_{i,j}=A(i^α j^β + i^βj^α)$, $i, j \ge 1$, with $α\in (-\infty,1)$, $β\in [α,1]\cap (0,1]$, and $A>0$ and for a large class of possibly unbounded daughter distribution functions. All algebraic superlinear moments of these solutions are bounded on time intervals $[T,\infty)$ for any $T>0$. The uniqueness issue is further handled under additional restrictions on the initial data. Finally, non-trivial stationary solutions are constructed by a dynamical approach.
△ Less
Submitted 25 July, 2023; v1 submitted 28 June, 2023;
originally announced June 2023.
-
Applying of The new Integral KAJ Transform in Cryptography
Authors:
**an A. Jasim,
Maysam Rahi Ali,
Emad A. Kuff
Abstract:
In this study, a new sort of transform known as (Kuffi- Abbas- Jawad transform) or KAJ- integral transformation is introduced. We introduce and explore important KAJ- transformation features and applications in cryptography. KAJ- transformation is used for encryption and inverse KAJ- transformation is used for decryption; an example is provided to illustrate the encryption and decryption of the gi…
▽ More
In this study, a new sort of transform known as (Kuffi- Abbas- Jawad transform) or KAJ- integral transformation is introduced. We introduce and explore important KAJ- transformation features and applications in cryptography. KAJ- transformation is used for encryption and inverse KAJ- transformation is used for decryption; an example is provided to illustrate the encryption and decryption of the given data.
△ Less
Submitted 30 March, 2023;
originally announced March 2023.
-
Autoselection of the Ensemble of Convolutional Neural Networks with Second-Order Cone Programming
Authors:
Buse Çisil Güldoğuş,
Abdullah Nazhat Abdullah,
Muhammad Ammar Ali,
Süreyya Özöğür-Akyüz
Abstract:
Ensemble techniques are frequently encountered in machine learning and engineering problems since the method combines different models and produces an optimal predictive solution. The ensemble concept can be adapted to deep learning models to provide robustness and reliability. Due to the growth of the models in deep learning, using ensemble pruning is highly important to deal with computational c…
▽ More
Ensemble techniques are frequently encountered in machine learning and engineering problems since the method combines different models and produces an optimal predictive solution. The ensemble concept can be adapted to deep learning models to provide robustness and reliability. Due to the growth of the models in deep learning, using ensemble pruning is highly important to deal with computational complexity. Hence, this study proposes a mathematical model which prunes the ensemble of Convolutional Neural Networks (CNN) consisting of different depths and layers that maximizes accuracy and diversity simultaneously with a sparse second order conic optimization model. The proposed model is tested on CIFAR-10, CIFAR-100 and MNIST data sets which gives promising results while reducing the complexity of models, significantly.
△ Less
Submitted 12 February, 2023;
originally announced February 2023.
-
Graphical characterizations of robust stability in biological interaction networks
Authors:
M. Ali Al-Radhawi
Abstract:
Previous studies have inferred robust stability of reaction networks by utilizing linear programs or iterative algorithms. Such algorithms become tedious or computationally infeasible for large networks. In addition, they operate like black-boxes without offering intuition for the structures that are necessary to maintain stability. In this work, we provide several graphical criteria for construct…
▽ More
Previous studies have inferred robust stability of reaction networks by utilizing linear programs or iterative algorithms. Such algorithms become tedious or computationally infeasible for large networks. In addition, they operate like black-boxes without offering intuition for the structures that are necessary to maintain stability. In this work, we provide several graphical criteria for constructing robust stability certificates, checking robust non-degeneracy, {verifying persistence}, and establishing global stability. By characterizing a set of stability-preserving graph modifications that includes the enzymatic modification motif, we show that the stability of arbitrarily large nonlinear networks can be examined by simple visual inspection. We show applications of this technique to ubiquitous motifs in systems biology such as Post-Translational Modification (PTM) cycles, the Ribosome Flow Model (RFM), T-cell kinetic proofreading and others.
△ Less
Submitted 10 February, 2023;
originally announced February 2023.
-
On Some Characterization of GS-exponential kind of Convex Functions
Authors:
Ehtesham Akhter,
Musavvir Ali
Abstract:
This manuscript introduces the idea of GS-exponential kind of convex functions and some of their algebraic features, and we introduce a new class GS-exponential kind of convex sets. In addition, we describe certain fundamental GS-exponential kind of convex function with characteristics in both the general and the differentiable cases. We establish the sufficient conditions of optimality and offer…
▽ More
This manuscript introduces the idea of GS-exponential kind of convex functions and some of their algebraic features, and we introduce a new class GS-exponential kind of convex sets. In addition, we describe certain fundamental GS-exponential kind of convex function with characteristics in both the general and the differentiable cases. We establish the sufficient conditions of optimality and offer the proof for unconstrained as well as inequality-constrained programming while considering the assumption of GS-exponential kind of convexity.
△ Less
Submitted 2 January, 2023;
originally announced January 2023.
-
On Some Characterizations of General s-Convex Functions
Authors:
Musavvir Ali,
Ehtesham Akhter
Abstract:
It is established that general s-convex functions are a new class of generalized convex functions. In a similar vein, a new class of general s-convex sets is introduced, which are generalizations of s-convex sets. Additionally, certain fundamental characteristics of general s-convex functions are discussed for both general cases and differentiable situations. Aside from that, the general s-convexi…
▽ More
It is established that general s-convex functions are a new class of generalized convex functions. In a similar vein, a new class of general s-convex sets is introduced, which are generalizations of s-convex sets. Additionally, certain fundamental characteristics of general s-convex functions are discussed for both general cases and differentiable situations. Aside from that, the general s-convexity is used to define and demonstrate the sufficient criteria for optimality for both unconstrained and inequality-constrained programming.
△ Less
Submitted 2 January, 2023;
originally announced January 2023.
-
The Schwarzian norm estimates for Janowski convex functions
Authors:
Md Firoz Ali,
Sanjit Pal
Abstract:
For $-1\leq B<A\leq 1$, let $\mathcal{C}(A,B)$ denote the class of normalized Janowski convex functions defined in the unit disk $\mathbb{D}:=\{z\in\mathbb{C}:|z|<1\}$ that satisfy the subordination relation $1+zf''(z)/f'(z)\prec (1+Az)/(1+Bz)$. In the present article, we determine the sharp estimate of the Schwarzian norm for functions in the class $\mathcal{C}(A,B)$. The Dieudonné's lemma which…
▽ More
For $-1\leq B<A\leq 1$, let $\mathcal{C}(A,B)$ denote the class of normalized Janowski convex functions defined in the unit disk $\mathbb{D}:=\{z\in\mathbb{C}:|z|<1\}$ that satisfy the subordination relation $1+zf''(z)/f'(z)\prec (1+Az)/(1+Bz)$. In the present article, we determine the sharp estimate of the Schwarzian norm for functions in the class $\mathcal{C}(A,B)$. The Dieudonné's lemma which gives the exact region of variability for derivatives at a point of bounded functions, plays the key role in this study, and we also use this lemma to construct the extremal functions for the sharpness by a new method.
△ Less
Submitted 13 December, 2022;
originally announced December 2022.
-
Schwarzian norm estimates for some classes of analytic functions
Authors:
Md Firoz Ali,
Sanjit Pal
Abstract:
Let $\mathcal{A}$ denote the class of analytic functions $f$ in the unit disk $\mathbb{D}=\{z\in\mathbb{C}:|z|<1\}$ normalized by $f(0)=0$, $f'(0)=1$. In the present article, we obtain the sharp estimates of the Schwarzian norm for functions in the classes $\mathcal{G}(β)=\{f\in \mathcal{A}:{\rm Re\,}[1+zf''(z)/f'(z)]<1+β/2\}$, where $β>0$ and…
▽ More
Let $\mathcal{A}$ denote the class of analytic functions $f$ in the unit disk $\mathbb{D}=\{z\in\mathbb{C}:|z|<1\}$ normalized by $f(0)=0$, $f'(0)=1$. In the present article, we obtain the sharp estimates of the Schwarzian norm for functions in the classes $\mathcal{G}(β)=\{f\in \mathcal{A}:{\rm Re\,}[1+zf''(z)/f'(z)]<1+β/2\}$, where $β>0$ and $\mathcal{F}(α)=\{f\in \mathcal{A}:{\rm Re\,}[1+zf''(z)/f'(z)]>α\}$, where $-1/2\le α\le 0$. We also establish two-point distortion theorem for functions in the classes $\mathcal{G}(β)$ and $\mathcal{F}(α)$.
△ Less
Submitted 13 December, 2022;
originally announced December 2022.
-
Investigation of Applying Quantum Neural Network of Early-Stage Breast Cancer Detection
Authors:
Musaddiq Al Ali,
Amjad Y. Sahib,
Muazez Al Ali
Abstract:
Due to the heavy burden on medical institutes and computer-aided image diagnostics (CAD) have been gaining importance in diagnostic medicine to aid the medical staff to attain better service for the patients. Breast cancer is a fatal disease that can be treated successfully if it is detected early. Quantum neural network (QNN) has been introduced by many researchers around the world and presented…
▽ More
Due to the heavy burden on medical institutes and computer-aided image diagnostics (CAD) have been gaining importance in diagnostic medicine to aid the medical staff to attain better service for the patients. Breast cancer is a fatal disease that can be treated successfully if it is detected early. Quantum neural network (QNN) has been introduced by many researchers around the world and presented recently by research corporations such as Microsoft, Google, and IBM. In this paper, we are trying to answer the question of: whether can the QNN be an effective method for mass-scale early breast cancer detection. This paper is dedicated to drawing a baseline for examining QNN, and the results showed a promising opportunity to use it for mass-scale screening using a fully functional quantum computer.
△ Less
Submitted 22 March, 2023; v1 submitted 7 October, 2022;
originally announced October 2022.
-
Well-posedness to the discrete collision-induced breakage equation and various properties of solutions
Authors:
Mashkoor Ali,
Ankik Kumar Giri,
Philippe Laurencot
Abstract:
A discrete version of the nonlinear collision-induced breakage equation is studied. Existence of solutions is investigated for a broad class of unbounded collision kernels and daughter distribution functions, the collision kernel $a_{i,j}$ satisfiying $a_{i,j} \leq A i j$ for some $A>0$. More precisely, it is proved that given suitable conditions, there exists at least one mass-conserving solution…
▽ More
A discrete version of the nonlinear collision-induced breakage equation is studied. Existence of solutions is investigated for a broad class of unbounded collision kernels and daughter distribution functions, the collision kernel $a_{i,j}$ satisfiying $a_{i,j} \leq A i j$ for some $A>0$. More precisely, it is proved that given suitable conditions, there exists at least one mass-conserving solution for all times. A result on the uniqueness of solutions is also demonstrated under reasonably general conditions. Furthermore, the propagation of moments, differentiability, and the continuous dependence of solutions are established, along with some invariance properties and the large-time behaviour of solutions.
△ Less
Submitted 25 January, 2023; v1 submitted 30 September, 2022;
originally announced September 2022.
-
w-Invexity and Optimality Problem
Authors:
Musavvir Ali,
Ehtesham Akhter
Abstract:
We define w-invex set, w-preinvex, w-strictly preinvex, w-quasi preinvex, w-strictly quasi preinvex, w-semi-strictly quasi preinvex, and w-pre pseudo-invex functions in this context. And these form a class of real functions, which is the generalization of a family of preinvex functions. Here, we provide a thorough analysis of the core characteristics of these functions, along with numerous example…
▽ More
We define w-invex set, w-preinvex, w-strictly preinvex, w-quasi preinvex, w-strictly quasi preinvex, w-semi-strictly quasi preinvex, and w-pre pseudo-invex functions in this context. And these form a class of real functions, which is the generalization of a family of preinvex functions. Here, we provide a thorough analysis of the core characteristics of these functions, along with numerous examples that help to illustrate the idea. Finally, w-quasi preinvex, w-strictly preinvex, and w-strictly quasi preinvex functions are used to analyze the optimization problems.
△ Less
Submitted 22 August, 2022;
originally announced August 2022.
-
On Classical solution to the Discrete Coagulation Equations with Collisional Breakage
Authors:
Mashkoor Ali,
Ankik Kumar Giri
Abstract:
In this article, the existence of global classical solutions to the discrete coagulation equations with collisional breakage is established for collisional kernel having linear growth whereas the uniqueness is shown under additional restrictions on collisional kernel. Moreover, mass conservation property and propagation of moments of solutions are also discussed.
In this article, the existence of global classical solutions to the discrete coagulation equations with collisional breakage is established for collisional kernel having linear growth whereas the uniqueness is shown under additional restrictions on collisional kernel. Moreover, mass conservation property and propagation of moments of solutions are also discussed.
△ Less
Submitted 15 August, 2022;
originally announced August 2022.
-
$X$-convexity and Applications of Quasi-$X$-Convex Functions
Authors:
Musavvir Ali,
Ehtesham Akhter
Abstract:
A class of real functions, which is the generalization of a family of convex functions, is introduced; in this connection, we have defined $X$-convex, strictly $X$-convex, quasi-$X$-convex, strictly quasi-$X$-convex, and semi-strictly quasi-$X$-convex functions. Moreover, in this paper, we give a detailed study of the fundamental properties of these functions with various examples, supporting the…
▽ More
A class of real functions, which is the generalization of a family of convex functions, is introduced; in this connection, we have defined $X$-convex, strictly $X$-convex, quasi-$X$-convex, strictly quasi-$X$-convex, and semi-strictly quasi-$X$-convex functions. Moreover, in this paper, we give a detailed study of the fundamental properties of these functions with various examples, supporting the concepts. Finally, the study of optimization problems employs quasi-$X$-convex, semistrictly quasi-$X$-convex, and strictly quasi-$X$-convex functions.
△ Less
Submitted 13 August, 2022;
originally announced August 2022.
-
A Tighter Bound for Matrix Rank-Sparsity Decomposition using $l_{\infty,2} norm
Authors:
Sakirudeen A. Abdulsalaam,
Montaz Ali
Abstract:
In this paper, we apply the Rank-Sparsity Matrix Decomposition to the planted Maximum Quasi-Clique Problem (MQCP). This problem has the planted Maximum Clique Problem (MCP) as a special case. The maximum clique problem is NP-hard. A Quasi-clique or $γ$-clique is a dense graph with the edge density of at least $γ$, where $γ\in (0, 1]$. The maximum quasi-clique problem seeks to find such a subgraph…
▽ More
In this paper, we apply the Rank-Sparsity Matrix Decomposition to the planted Maximum Quasi-Clique Problem (MQCP). This problem has the planted Maximum Clique Problem (MCP) as a special case. The maximum clique problem is NP-hard. A Quasi-clique or $γ$-clique is a dense graph with the edge density of at least $γ$, where $γ\in (0, 1]$. The maximum quasi-clique problem seeks to find such a subgraph with the largest cardinality in a given graph. Our method of choice is the low-rank plus sparse matrix splitting technique that has been used successfully for similar problems in the literature. We present a theoretical basis for when our convex relaxation problem recovers the planted maximum quasi-clique. We derived a new bound on the norm of the dual matrix that certifies the recovery using $l_{\infty,2} norm. We showed that when certain conditions are met, our convex formulation recovers the planted quasi-clique exactly. The numerical experiments we performed corroborated our theory.
△ Less
Submitted 5 August, 2022;
originally announced August 2022.
-
Global existence to the discrete Safronov-Dubovskiǐ coagulation equations and failure of mass-conservation
Authors:
Mashkoor Ali,
Ankik Kumar Giri
Abstract:
This paper presents the existence of global solutions to the discrete Safronov-Dubvoskiǐ coagulation equations for a large class of coagulation kernels satisfying $Λ_{i,j} = θ_i θ_j + κ_{i,j}$ with $κ_{i,j} \leq Aθ_i θ_j, \ \ \forall \ \ i,j\ge 1$ where the sequence $(θ_i)_{i\geq 1}$ grows linearly or superlinearly with respect to $i$. Moreover, the failure of mass-conservation of the solution is…
▽ More
This paper presents the existence of global solutions to the discrete Safronov-Dubvoskiǐ coagulation equations for a large class of coagulation kernels satisfying $Λ_{i,j} = θ_i θ_j + κ_{i,j}$ with $κ_{i,j} \leq Aθ_i θ_j, \ \ \forall \ \ i,j\ge 1$ where the sequence $(θ_i)_{i\geq 1}$ grows linearly or superlinearly with respect to $i$. Moreover, the failure of mass-conservation of the solution is also addressed which confirms the occurrence of the gelation phenomenon.
△ Less
Submitted 8 July, 2022;
originally announced July 2022.
-
On the discrete Safronov-Dubovskii coagulation equation: well-posedness, mass-conservation and asymptotic behaviour
Authors:
Mashkoor Ali,
Pooja Rai,
Ankik Kumar Giri
Abstract:
The global existence of mass-conserving weak solutions to the Safronov-Dubovskii coagulation equation is shown for the coagulation kernels satisfying the at most linear growth for large sizes. In contrast to previous works, the proof mainly relies on the de la Vallee-Poussin theorem [8, Theorem 7.1.6], which only requires the finiteness of the first moment of the initial condition. By showing the…
▽ More
The global existence of mass-conserving weak solutions to the Safronov-Dubovskii coagulation equation is shown for the coagulation kernels satisfying the at most linear growth for large sizes. In contrast to previous works, the proof mainly relies on the de la Vallee-Poussin theorem [8, Theorem 7.1.6], which only requires the finiteness of the first moment of the initial condition. By showing the necessary regularity of solutions, it is shown that the weak solutions con-structed herein are indeed classical solutions. Under additional restrictions on the initial data, the uniqueness of solutions is also shown. Finally, the continuous dependence on the initial data and the large-time behaviour of solutions are also addressed.
△ Less
Submitted 27 March, 2023; v1 submitted 21 June, 2022;
originally announced June 2022.
-
Inverse problem for recovery of temporal component of source term for multi-term time fractional parabolic equation with nonlocal boundary datum
Authors:
Muhammad Ali,
Sara Aziz
Abstract:
Inverse problem for multi-term fractional parabolic equation in two dimensional space, involving m + 1 Caputo fractional derivatives in time, is investigated. Presence of nonlocal boundary conditions leads to a non-self-adjoint spectral problem. A bi-orthogonal system of functions is used to construct the solution that involves double infinite series. Properties of multinomial Mittag-Leffler funct…
▽ More
Inverse problem for multi-term fractional parabolic equation in two dimensional space, involving m + 1 Caputo fractional derivatives in time, is investigated. Presence of nonlocal boundary conditions leads to a non-self-adjoint spectral problem. A bi-orthogonal system of functions is used to construct the solution that involves double infinite series. Properties of multinomial Mittag-Leffler function and eigenfunctions are used to prove the classical nature of the solution under certain regularity conditions on the given datum.
△ Less
Submitted 7 February, 2022;
originally announced February 2022.
-
The Booth Lemniscate Starlikeness Radius for Janowski Starlike Functions
Authors:
Somya Malik,
Rosihan M Ali,
V. Ravichandran
Abstract:
The function $G_α(z)=1+ z/(1-αz^2)$, \, $0\leq α<1$, maps the open unit disc $\mathbb{D}$ onto the interior of a domain known as the Booth lemniscate. Associated with this function $G_α$ is the recently introduced class $\mathcal{BS}(α)$ consisting of normalized analytic functions $f$ on $\mathbb{D}$ satisfying the subordination $zf'(z)/f(z) \prec G_α(z)$. Of interest is its connection with known…
▽ More
The function $G_α(z)=1+ z/(1-αz^2)$, \, $0\leq α<1$, maps the open unit disc $\mathbb{D}$ onto the interior of a domain known as the Booth lemniscate. Associated with this function $G_α$ is the recently introduced class $\mathcal{BS}(α)$ consisting of normalized analytic functions $f$ on $\mathbb{D}$ satisfying the subordination $zf'(z)/f(z) \prec G_α(z)$. Of interest is its connection with known classes $\mathcal{M}$ of functions in the sense $g(z)=(1/r)f(rz)$ belongs to $\mathcal{BS}(α)$ for some $r$ in $(0,1)$ and all $f \in \mathcal{M}$. We find the largest radius $r$ for different classes $\mathcal{M}$, particularly when $\mathcal{M}$ is the class of starlike functions of order $β$, or the Janowski class of starlike functions. As a primary tool for this purpose, we find the radius of the largest disc contained in $G_α(\mathbb{D})$ and centered at a certain point $a \in \mathbb{R}$.
△ Less
Submitted 4 January, 2022;
originally announced January 2022.
-
Pre-Schwarzian Norm Estimates for the class of Janowski Starlike Functions
Authors:
Md Firoz Ali,
Sanjit Pal
Abstract:
For $-1\leq B<A\leq 1$, let $\mathcal{S}^*(A,B)$ denote the class of Janowski starlike functions which satisfy the subordination relation $zf'(z)/f(z)\prec (1+Az)/(1+Bz)$. In the present article, we determine the sharp of pre-Schwarzian norm for the functions in the class $\mathcal{S}^*(A,B)$.
For $-1\leq B<A\leq 1$, let $\mathcal{S}^*(A,B)$ denote the class of Janowski starlike functions which satisfy the subordination relation $zf'(z)/f(z)\prec (1+Az)/(1+Bz)$. In the present article, we determine the sharp of pre-Schwarzian norm for the functions in the class $\mathcal{S}^*(A,B)$.
△ Less
Submitted 19 November, 2021;
originally announced November 2021.
-
Convex Formulation for Planted Quasi-Clique Recovery
Authors:
Sakirudeen A. Abdulsalaam,
M. Montaz Ali
Abstract:
In this paper, we consider the planted quasi-clique or γ-clique problem. This problem is an extension of the well known planted clique problem which is NP-hard. The maximum quasi-clique problem is applicable in community detection, information retrieval and biology. We propose a convex formulation using nuclear norm minimization for planted quasi-clique recovery. We carry out numerical experiments…
▽ More
In this paper, we consider the planted quasi-clique or γ-clique problem. This problem is an extension of the well known planted clique problem which is NP-hard. The maximum quasi-clique problem is applicable in community detection, information retrieval and biology. We propose a convex formulation using nuclear norm minimization for planted quasi-clique recovery. We carry out numerical experiments using our convex formulation and the existing mixed integer programming formulations. Results show that the convex formulation performs better than the mixed integer formulations when γ is greater than a particular threshold.
△ Less
Submitted 18 September, 2021;
originally announced September 2021.
-
Inverse problems for diffusion equation with fractional Dzherbashian-Nersesian operator
Authors:
Anwar Ahmad,
Muhammad Ali,
Salman A. Malik
Abstract:
Fractional Dzherbashian-Nersesian operator is considered and three famous fractional order derivatives namely Riemann-Liouville, Caputo and Hilfer derivatives are shown to be special cases of the earlier one. The expression for Laplace transform of fractional Dzherbashian-Nersesian operator is constructed. Inverse problems of recovering space dependent and time dependent source terms of a time fra…
▽ More
Fractional Dzherbashian-Nersesian operator is considered and three famous fractional order derivatives namely Riemann-Liouville, Caputo and Hilfer derivatives are shown to be special cases of the earlier one. The expression for Laplace transform of fractional Dzherbashian-Nersesian operator is constructed. Inverse problems of recovering space dependent and time dependent source terms of a time fractional diffusion equation with involution and involving fractional Dzherbashian-Nersesian operator are considered. The results on existence and uniqueness for the solutions of inverse problems are established. The results obtained here generalize several known results.
△ Less
Submitted 9 May, 2021;
originally announced May 2021.
-
Math That Matters: Enhancing Academic Mathematics' Impact on Society
Authors:
Christopher Thron,
Monira Taj Elsir Hamid Ali
Abstract:
Most if not all of today's revolutionary technologies have a common foundation, namely the intelligent use of information. It is clear that computers play a central role: but the contribution of mathematics, though less visible, is no less critical. The conceptual tools and insights provided by mathematics are the keys to unlocking the full information-processing potential of computers. Academic m…
▽ More
Most if not all of today's revolutionary technologies have a common foundation, namely the intelligent use of information. It is clear that computers play a central role: but the contribution of mathematics, though less visible, is no less critical. The conceptual tools and insights provided by mathematics are the keys to unlocking the full information-processing potential of computers. Academic mathematicians now have an unparalleled opportunity to make a huge impact on modern society: but to take advantage of this opportunity, mathematicians must prioritize making these tools and concepts accessible to a wider audience.
In this paper we present three examples of mathematics with significant social benefit: Dmitri Bertsimas' study of diabetes using k-nearest-neighbor methodology; Development of mathematical software (MATLAB and Sage); and ongoing development of data representation and visualization software to facilitate analysis of survey data. We also suggest steps to be taken by academic mathematicians in Nigeria towards enhancing the positive impact of mathematics on society.
△ Less
Submitted 31 March, 2021; v1 submitted 30 March, 2021;
originally announced March 2021.
-
Long-term regulation of prolonged epidemic outbreaks in large populations via adaptive control: a singular perturbation approach
Authors:
M. Ali Al-Radhawi,
Mahdiar Sadeghi,
Eduardo D. Sontag
Abstract:
Initial hopes of quickly eradicating the COVID-19 pandemic proved futile, and the goal shifted to controlling the peak of the infection, so as to minimize the load on healthcare systems. To that end, public health authorities intervened aggressively to institute social distancing, lock-down policies, and other Non-Pharmaceutical Interventions (NPIs). Given the high social, educational, psychologic…
▽ More
Initial hopes of quickly eradicating the COVID-19 pandemic proved futile, and the goal shifted to controlling the peak of the infection, so as to minimize the load on healthcare systems. To that end, public health authorities intervened aggressively to institute social distancing, lock-down policies, and other Non-Pharmaceutical Interventions (NPIs). Given the high social, educational, psychological, and economic costs of NPIs, authorities tune them, alternatively tightening up or relaxing rules, with the result that, in effect, a relatively flat infection rate results. For example, during the summer in parts of the United States, daily infection numbers dropped to a plateau. This paper approaches NPI tuning as a control-theoretic problem, starting from a simple dynamic model for social distancing based on the classical SIR epidemics model. Using a singular-perturbation approach, the plateau becomes a Quasi-Steady-State (QSS) of a reduced two-dimensional SIR model regulated by adaptive dynamic feedback. It is shown that the QSS can be assigned and it is globally asymptotically stable. Interestingly, the dynamic model for social distancing can be interpreted as a nonlinear integral controller. Problems of data fitting and parameter identifiability are also studied for this model. The paper also discusses how this simple model allows for meaningful study of the effect of population size, vaccinations, and the emergence of second waves.
△ Less
Submitted 24 May, 2021; v1 submitted 15 March, 2021;
originally announced March 2021.
-
Voltage Feasibility Boundaries for Power System Security Assessment
Authors:
Mazhar Ali,
Elena Gryazina,
Anatoly Dymarsky,
Petr Vorobev
Abstract:
Modern power systems face a grand challenge in grid management due to increased electricity demand, imminent disturbances, and uncertainties associated with renewable generation, which can compromise grid security. The security assessment is directly connected to the robustness of the operating condition and is evaluated by analyzing proximity to the power flow solution space's boundary. Calculati…
▽ More
Modern power systems face a grand challenge in grid management due to increased electricity demand, imminent disturbances, and uncertainties associated with renewable generation, which can compromise grid security. The security assessment is directly connected to the robustness of the operating condition and is evaluated by analyzing proximity to the power flow solution space's boundary. Calculating location of such a boundary is a computationally challenging task, linked to the power flow equations' non-linear nature, presence of technological constraints, and complicated network topology. In this paper we introduce a general framework to characterize points on the power flow solution space boundary in terms of auxiliary variables subject to algebraic constraints. Then we develop an adaptive continuation algorithm to trace 1-dimensional sections of boundary curves which exhibits robust performance and computational tractability. Implementation of the algorithm is described in detail, and its performance is validated on different test networks.
△ Less
Submitted 27 February, 2021;
originally announced March 2021.
-
Approximation Theory of Tree Tensor Networks: Tensorized Multivariate Functions
Authors:
Mazen Ali,
Anthony Nouy
Abstract:
We study the approximation of multivariate functions with tensor networks (TNs). The main conclusion of this work is an answer to the following two questions: ``What are the approximation capabilities of TNs?" and "What is an appropriate model class of functions that can be approximated with TNs?"
To answer the former, we show that TNs can (near to) optimally replicate $h$-uniform and $h$-adapti…
▽ More
We study the approximation of multivariate functions with tensor networks (TNs). The main conclusion of this work is an answer to the following two questions: ``What are the approximation capabilities of TNs?" and "What is an appropriate model class of functions that can be approximated with TNs?"
To answer the former, we show that TNs can (near to) optimally replicate $h$-uniform and $h$-adaptive approximation, for any smoothness order of the target function. Tensor networks thus exhibit universal expressivity w.r.t. isotropic, anisotropic and mixed smoothness spaces that is comparable with more general neural networks families such as deep rectified linear unit (ReLU) networks. Put differently, TNs have the capacity to (near to) optimally approximate many function classes -- without being adapted to the particular class in question.
To answer the latter, as a candidate model class we consider approximation classes of TNs and show that these are (quasi-)Banach spaces, that many types of classical smoothness spaces are continuously embedded into said approximation classes and that TN approximation classes are themselves not embedded in any classical smoothness space.
△ Less
Submitted 25 June, 2024; v1 submitted 28 January, 2021;
originally announced January 2021.
-
Combined Newton-Raphson and Streamlines-Upwind Petrov-Galerkin iterations for nano-particles transport in buoyancy driven flow
Authors:
M. K. Riahi,
M. Ali,
Y. Addad,
E. Abu-Nada
Abstract:
The present study deals with the finite element discretization of nanofluid convective transport in an enclosure with variable properties. We study the Buongiorno model, which couples the Navier-Stokes equations for the base fluid, an advective-diffusion equation for the heat transfer, and an advection dominated nanoparticle fraction concentration subject to thermophoresis and Brownian motion forc…
▽ More
The present study deals with the finite element discretization of nanofluid convective transport in an enclosure with variable properties. We study the Buongiorno model, which couples the Navier-Stokes equations for the base fluid, an advective-diffusion equation for the heat transfer, and an advection dominated nanoparticle fraction concentration subject to thermophoresis and Brownian motion forces. We develop an iterative numerical scheme that combines Newton's method (dedicated to the resolution of the momentum and energy equations) with the transport equation that governs the nanoparticles concentration in the enclosure. We show that Stream Upwind Petrov-Galerkin regularization approach is required to solve properly the ill-posed Buongiorno transport model being tackled as a variational problem under mean value constraint. Non-trivial numerical computations are reported to show the effectiveness of our proposed numerical approach in its ability to provide reasonably good agreement with the experimental results available in the literature. The numerical experiments demonstrate that by accounting for only the thermophoresis and Brownian motion forces in the concentration transport equation, the model is not able to reproduce the heat transfer impairment due to the presence of suspended nanoparticles in the base fluid. It reveals, however, the significant role that these two terms play in the vicinity of the hot and cold walls.
△ Less
Submitted 19 January, 2021;
originally announced January 2021.
-
Starlikeness of Analytic Functions with Subordinate Ratios
Authors:
Rosihan M. Ali,
Kanika Sharma,
V. Ravichandran
Abstract:
Let $h$ be a non-vanishing analytic function in the open unit disc with $h(0)=1$. Consider the class consisting of normalized analytic functions $f$ whose ratios $f(z)/g(z)$, $g(z)/z p(z)$, and $p(z)$ are each subordinate to $h$ for some analytic functions $g$ and $p$. The radius of starlikeness is obtained for this class when $h$ is chosen to be either $h(z)=\sqrt{1+z}$ or $h(z)=e^z$. Further…
▽ More
Let $h$ be a non-vanishing analytic function in the open unit disc with $h(0)=1$. Consider the class consisting of normalized analytic functions $f$ whose ratios $f(z)/g(z)$, $g(z)/z p(z)$, and $p(z)$ are each subordinate to $h$ for some analytic functions $g$ and $p$. The radius of starlikeness is obtained for this class when $h$ is chosen to be either $h(z)=\sqrt{1+z}$ or $h(z)=e^z$. Further $\mathcal{G}$-radius is also obtained for each of these two classes when $\mathcal{G}$ is a particular widely studied subclass of starlike functions. These include $\mathcal{G}$ consisting of the Janowski starlike functions, and functions which are parabolic starlike.
△ Less
Submitted 5 January, 2021;
originally announced January 2021.
-
Ranks of Tensor Networks for Eigenspace Projections and the Curse of Dimensionality
Authors:
Mazen Ali
Abstract:
The hierarchical (multi-linear) rank of an order-$d$ tensor is key in determining the cost of representing a tensor as a (tree) Tensor Network (TN). In general, it is known that, for a fixed accuracy, a tensor with random entries cannot be expected to be efficiently approximable without the curse of dimensionality, i.e., a complexity growing exponentially with $d$. In this work, we show that the g…
▽ More
The hierarchical (multi-linear) rank of an order-$d$ tensor is key in determining the cost of representing a tensor as a (tree) Tensor Network (TN). In general, it is known that, for a fixed accuracy, a tensor with random entries cannot be expected to be efficiently approximable without the curse of dimensionality, i.e., a complexity growing exponentially with $d$. In this work, we show that the ground state projection (GSP) of a class of unbounded Hamiltonians can be approximately represented as an operator of low effective dimensionality that is independent of the (high) dimension $d$ of the GSP. This allows to approximate the GSP without the curse of dimensionality.
△ Less
Submitted 11 January, 2022; v1 submitted 23 December, 2020;
originally announced December 2020.
-
Comparison Between Two Numerical Schemes to Study the Spectra of Charmed Quarkonium
Authors:
A. M. Yasser,
G. S. Hassan,
Samah K. Elshamndy,
M. S. Ali
Abstract:
Two numerical methods are developed to reduce the solution of the radial Schrödinger equation for proposed heavy quark-antiquark interactions, into the solution of the eigenvalue problem for the infinite system of tridiagonal matrices. Our perspective is a numerical approach relies on finding the proper numerical method to investigate the static properties of heavy quarkonia-mesons, such as spectr…
▽ More
Two numerical methods are developed to reduce the solution of the radial Schrödinger equation for proposed heavy quark-antiquark interactions, into the solution of the eigenvalue problem for the infinite system of tridiagonal matrices. Our perspective is a numerical approach relies on finding the proper numerical method to investigate the static properties of heavy quarkonia-mesons, such as spectrum, radius ... etc., with implantation of both the nonrelativistic quark model and the ingredients of the quantum chromodynamics (QCD) theory. The application of these proposed schemes resulted in mass spectra of charmed-quarkonium (charmonium) multiplets, which are compared with the experimental published profiles of Particle Data Group (PDG). Besides, the normalized radial wave-functions of the charmonium various bound states are represented. The convergence of each numerical recipe versus the iteration number N and the radial distance is investigated through this work. Although it was observed that our numerical treatments are reliable to study charmed Quarkonium bound states profile, we found that one of these proposed techniques is favored over the other in terms of high precision comparisons with experiments and convergence analysis.
△ Less
Submitted 14 October, 2020;
originally announced October 2020.
-
A robust Lyapunov criterion for non-oscillatory behaviors in biological interaction networks
Authors:
David Angeli,
M. Ali Al-Radhawi,
Eduardo Sontag
Abstract:
We introduce the notion of non-oscillation, propose a constructive method for its robust verification, and study its application to biological interaction networks (also known as, chemical reaction networks). We begin by revisiting Muldowney's result on non-existence of periodic solutions based on the study of the variational system of the second additive compound of the Jacobian of a nonlinear sy…
▽ More
We introduce the notion of non-oscillation, propose a constructive method for its robust verification, and study its application to biological interaction networks (also known as, chemical reaction networks). We begin by revisiting Muldowney's result on non-existence of periodic solutions based on the study of the variational system of the second additive compound of the Jacobian of a nonlinear system. We show that exponential stability of the latter rules out limit cycles, quasi-periodic solutions, and broad classes of oscillatory behavior. We focus then on nonlinear equations arising in biological interaction networks with general kinetics, and we show that the dynamics of the aforementioned variational system can be embedded in a linear differential inclusion. We then propose algorithms for constructing piecewise linear Lyapunov functions to certify global robust non-oscillatory behavior. Finally, we apply our techniques to study several regulated enzymatic cycles where available methods are not able to provide any information about their qualitative global behavior.
△ Less
Submitted 6 July, 2021; v1 submitted 22 September, 2020;
originally announced September 2020.
-
Mediating Ribosomal Competition by Splitting Pools
Authors:
Jared Miller,
M. Ali Al-Radhawi,
Eduardo D. Sontag
Abstract:
Synthetic biology constructs often rely upon the introduction of "circuit" genes into host cells, in order to express novel proteins and thus endow the host with a desired behavior. The expression of these new genes "consumes" existing resources in the cell, such as ATP, RNA polymerase, amino acids, and ribosomes. Ribosomal competition among strands of mRNA may be described by a system of nonlinea…
▽ More
Synthetic biology constructs often rely upon the introduction of "circuit" genes into host cells, in order to express novel proteins and thus endow the host with a desired behavior. The expression of these new genes "consumes" existing resources in the cell, such as ATP, RNA polymerase, amino acids, and ribosomes. Ribosomal competition among strands of mRNA may be described by a system of nonlinear ODEs called the Ribosomal Flow Model (RFM). The competition for resources between host and circuit genes can be ameliorated by splitting the ribosome pool by use of orthogonal ribosomes, where the circuit genes are exclusively translated by mutated ribosomes. In this work, the RFM system is extended to include orthogonal ribosome competition. This Orthogonal Ribosomal Flow Model (ORFM) is proven to be stable through the use of Robust Lyapunov Functions. The optimization problem of maximizing the weighted protein translation rate by adjusting allocation of ribosomal species is formulated and implemented.
△ Less
Submitted 4 September, 2020; v1 submitted 1 September, 2020;
originally announced September 2020.
-
$H^1$-Stability of the $L^2$-Projection onto Finite Element Spaces on Adaptively Refined Quadrilateral Meshes
Authors:
Mazen Ali,
Stefan A. Funken,
Anja Schmidt
Abstract:
The $L^2$-orthogonal projection $Π_h:L^2(Ω)\rightarrow\mathbb{V}_h$ onto a finite element (FE) space $\mathbb{V}_h$ is called $H^1$-stable iff $\|\nablaΠ_h u\|_{L^2(Ω)}\leq C\|u\|_{H^1(Ω)}$, for any $u\in H^1(Ω)$ with a positive constant $C\neq C(h)$ independent of the mesh size $h>0$. In this work, we discuss local criteria for the $H^1$-stability of adaptively refined meshes. We show that adapti…
▽ More
The $L^2$-orthogonal projection $Π_h:L^2(Ω)\rightarrow\mathbb{V}_h$ onto a finite element (FE) space $\mathbb{V}_h$ is called $H^1$-stable iff $\|\nablaΠ_h u\|_{L^2(Ω)}\leq C\|u\|_{H^1(Ω)}$, for any $u\in H^1(Ω)$ with a positive constant $C\neq C(h)$ independent of the mesh size $h>0$. In this work, we discuss local criteria for the $H^1$-stability of adaptively refined meshes. We show that adaptive refinement strategies for quadrilateral meshes in 2D (Q-RG and Q-RB), introduced originally in Bank et al. 1982 and Kobbelt 1996, are $H^1$-stable for FE spaces of polynomial degree $p=2,\ldots,9$.
△ Less
Submitted 31 August, 2020; v1 submitted 28 August, 2020;
originally announced August 2020.
-
Approximation of Smoothness Classes by Deep Rectifier Networks
Authors:
Mazen Ali,
Anthony Nouy
Abstract:
We consider approximation rates of sparsely connected deep rectified linear unit (ReLU) and rectified power unit (RePU) neural networks for functions in Besov spaces $B^α_{q}(L^p)$ in arbitrary dimension $d$, on general domains. We show that \alert{deep rectifier} networks with a fixed activation function attain optimal or near to optimal approximation rates for functions in the Besov space…
▽ More
We consider approximation rates of sparsely connected deep rectified linear unit (ReLU) and rectified power unit (RePU) neural networks for functions in Besov spaces $B^α_{q}(L^p)$ in arbitrary dimension $d$, on general domains. We show that \alert{deep rectifier} networks with a fixed activation function attain optimal or near to optimal approximation rates for functions in the Besov space $B^α_τ(L^τ)$ on the critical embedding line $1/τ=α/d+1/p$ for \emph{arbitrary} smoothness order $α>0$. Using interpolation theory, this implies that the entire range of smoothness classes at or above the critical line is (near to) optimally approximated by deep ReLU/RePU networks.
△ Less
Submitted 29 October, 2021; v1 submitted 30 July, 2020;
originally announced July 2020.
-
Approximation Theory of Tree Tensor Networks: Tensorized Univariate Functions -- Part II
Authors:
Mazen Ali,
Anthony Nouy
Abstract:
We study the approximation by tensor networks (TNs) of functions from classical smoothness classes. The considered approximation tool combines a tensorization of functions in $L^p([0,1))$, which allows to identify a univariate function with a multivariate function (or tensor), and the use of tree tensor networks (the tensor train format) for exploiting low-rank structures of multivariate functions…
▽ More
We study the approximation by tensor networks (TNs) of functions from classical smoothness classes. The considered approximation tool combines a tensorization of functions in $L^p([0,1))$, which allows to identify a univariate function with a multivariate function (or tensor), and the use of tree tensor networks (the tensor train format) for exploiting low-rank structures of multivariate functions. The resulting tool can be interpreted as a feed-forward neural network, with first layers implementing the tensorization, interpreted as a particular featuring step, followed by a sum-product network with sparse architecture. In part I of this work, we presented several approximation classes associated with different measures of complexity of tensor networks and studied their properties. In this work (part II), we show how classical approximation tools, such as polynomials or splines (with fixed or free knots), can be encoded as a tensor network with controlled complexity. We use this to derive direct (Jackson) inequalities for the approximation spaces of tensor networks. This is then utilized to show that Besov spaces are continuously embedded into these approximation spaces. In other words, we show that arbitrary Besov functions can be approximated with optimal or near to optimal rate. We also show that an arbitrary function in the approximation class possesses no Besov smoothness, unless one limits the depth of the tensor network.
△ Less
Submitted 18 January, 2023; v1 submitted 30 June, 2020;
originally announced July 2020.
-
Approximation Theory of Tree Tensor Networks: Tensorized Univariate Functions -- Part I
Authors:
Mazen Ali,
Anthony Nouy
Abstract:
We study the approximation of functions by tensor networks (TNs). We show that Lebesgue $L^p$-spaces in one dimension can be identified with tensor product spaces of arbitrary order through tensorization. We use this tensor product structure to define subsets of $L^p$ of rank-structured functions of finite representation complexity. These subsets are then used to define different approximation cla…
▽ More
We study the approximation of functions by tensor networks (TNs). We show that Lebesgue $L^p$-spaces in one dimension can be identified with tensor product spaces of arbitrary order through tensorization. We use this tensor product structure to define subsets of $L^p$ of rank-structured functions of finite representation complexity. These subsets are then used to define different approximation classes of tensor networks, associated with different measures of complexity. These approximation classes are shown to be quasi-normed linear spaces. We study some elementary properties and relationships of said spaces. In part II of this work, we will show that classical smoothness (Besov) spaces are continuously embedded into these approximation classes. We will also show that functions in these approximation classes do not possess any Besov smoothness, unless one restricts the depth of the tensor networks. The results of this work are both an analysis of the approximation spaces of TNs and a study of the expressivity of a particular type of neural networks (NN) -- namely feed-forward sum-product networks with sparse architecture. The input variables of this network result from the tensorization step, interpreted as a particular featuring step which can also be implemented with a neural network with a specific architecture. We point out interesting parallels to recent results on the expressivity of rectified linear unit (ReLU) networks -- currently one of the most popular type of NNs.
△ Less
Submitted 18 January, 2023; v1 submitted 30 June, 2020;
originally announced July 2020.
-
On a class of univalent functions defined by a differential inequality
Authors:
Md Firoz Ali,
Vasudevarao Allu,
Hiroshi Yanagihara
Abstract:
For $0<λ\le 1$, let $\mathcal{U}(λ)$ be the class analytic functions $f(z)= z+\sum_{n=2}^{\infty}a_n z^n$ in the unit disk $\mathbb{D}$ satisfying $|f'(z)(z/f(z))^2-1|<λ$ and $\mathcal{U}:=\mathcal{U}(1)$. In the present article, we prove that the class $\mathcal{U}$ is contained in the closed convex hull of the class of starlike functions and using this fact, we solve some extremal problems such…
▽ More
For $0<λ\le 1$, let $\mathcal{U}(λ)$ be the class analytic functions $f(z)= z+\sum_{n=2}^{\infty}a_n z^n$ in the unit disk $\mathbb{D}$ satisfying $|f'(z)(z/f(z))^2-1|<λ$ and $\mathcal{U}:=\mathcal{U}(1)$. In the present article, we prove that the class $\mathcal{U}$ is contained in the closed convex hull of the class of starlike functions and using this fact, we solve some extremal problems such as integral mean problem and arc length problem for functions in $\mathcal{U}$. By means of the so-called theory of star functions, we also solve the integral mean problem for functions in $\mathcal{U}(λ)$. We also obtain the estimate of the Fekete-Szegö functional and the pre-Schwarzian norm of certain nonlinear integral transform of functions in $\mathcal{U}(λ)$. Further, for the class of meromorphic functions which are defined in $Δ:=\{ζ\in\mathbb{\widehat{C}}:|ζ|>1\}$ and associated with the class $\mathcal{U}(λ)$, we obtain a sufficient condition for a function $g$ to be an extreme point of this class.
△ Less
Submitted 28 June, 2020;
originally announced June 2020.
-
An application of Schur algorithm to variability regions of certain analytic functions-II
Authors:
Md Firoz Ali,
Vasudevarao Allu,
Hiroshi Yanagihara
Abstract:
We continue our study on variability regions in \cite{Ali-Vasudevarao-Yanagihara-2018}, where the authors determined the region of variability $V_Ω^j (z_0, c ) = \{ \int_0^{z_0} z^{j}(g(z)-g(0))\, d z : g({\mathbb D}) \subset Ω, \; (P^{-1} \circ g) (z) = c_0 +c_1z + \cdots + c_n z^n + \cdots \}$ for each fixed $z_0 \in {\mathbb D}$, $j=-1,0,1,2, \ldots$ and…
▽ More
We continue our study on variability regions in \cite{Ali-Vasudevarao-Yanagihara-2018}, where the authors determined the region of variability $V_Ω^j (z_0, c ) = \{ \int_0^{z_0} z^{j}(g(z)-g(0))\, d z : g({\mathbb D}) \subset Ω, \; (P^{-1} \circ g) (z) = c_0 +c_1z + \cdots + c_n z^n + \cdots \}$ for each fixed $z_0 \in {\mathbb D}$, $j=-1,0,1,2, \ldots$ and $c = (c_0, c_1 , \ldots , c_n) \in \mathbb{C}^{n+1}$, when $Ω\subsetneq\mathbb{C}$ is a convex domain, and $P$ is a conformal map of the unit disk ${\mathbb D}$ onto $Ω$. In the present article, we first show that in the case $n=0$, $j=-1$ and $c=0$, the result obtained in \cite{Ali-Vasudevarao-Yanagihara-2018} still holds when one assumes only that $Ω$ is starlike with respect to $P(0)$. Let $\mathcal{CV}(Ω)$ be the class of analytic functions $f$ in ${\mathbb D}$ with $f(0)=f'(0)-1=0$ satisfying $1+zf''(z)/f'(z) \in Ω$. As applications we determine variability regions of $\log f'(z_0)$ when $f$ ranges over $\mathcal{CV}(Ω)$ with or without the conditions $f''(0)= λ$ and $f'''(0)= μ$. Here $λ$ and $μ$ are arbitrarily preassigned values. By choosing particular $Ω$, we obtain the precise variability regions of $\log f'(z_0)$ for other well-known subclasses of analytic and univalent functions.
△ Less
Submitted 28 June, 2020;
originally announced June 2020.
-
Extensions of beta and related functions
Authors:
M. Ghayasuddin,
M. Ali,
R. B. Paris
Abstract:
In this paper, we introduce and investigate a new extension of the beta function by means of an integral operator involving a product of Bessel-Struve kernel functions. We also define a new extension of the well-known beta distribution, the Gauss hypergeometric function and the confluent hypergeometric function in terms of our extended beta function. In addition, some useful properties of these ex…
▽ More
In this paper, we introduce and investigate a new extension of the beta function by means of an integral operator involving a product of Bessel-Struve kernel functions. We also define a new extension of the well-known beta distribution, the Gauss hypergeometric function and the confluent hypergeometric function in terms of our extended beta function. In addition, some useful properties of these extended functions are also indicated in a systematic way.
△ Less
Submitted 27 June, 2020;
originally announced June 2020.
-
Generalization of Szász operators involving multiple Sheffer polynomials
Authors:
Mahvish Ali,
Richard B. Paris
Abstract:
The present work deals with the mathematical investigation of some generalizations of the Szász operators. In this work, the multiple Sheffer polynomials are introduced. The generalization of Szász operators involving multiple Sheffer polynomials are considered. Convergence properties of these operators are verified with the help of the universal Korovkin-type property and the order of approximati…
▽ More
The present work deals with the mathematical investigation of some generalizations of the Szász operators. In this work, the multiple Sheffer polynomials are introduced. The generalization of Szász operators involving multiple Sheffer polynomials are considered. Convergence properties of these operators are verified with the help of the universal Korovkin-type property and the order of approximation is calculated by using classical modulus of continuity. The theoretical results are exemplified choosing the special cases of multiple Sheffer polynomials.
△ Less
Submitted 19 June, 2020;
originally announced June 2020.
-
Generalized Beta-type integral operators
Authors:
M. Ali,
M. Ghayasuddin,
R. B. Paris
Abstract:
This research note deals with the evaluation of some generalized beta-type integral operators involving the multi-index Mittag-Leffler function $E_{ε_{i}),(ω_{i})}(z)$. Further, we derive a new family of beta-type integrals involving the product of a multi-index Mittag-Leffler function and a generating function of two variables. Some concluding remarks regarding our present investigation are brief…
▽ More
This research note deals with the evaluation of some generalized beta-type integral operators involving the multi-index Mittag-Leffler function $E_{ε_{i}),(ω_{i})}(z)$. Further, we derive a new family of beta-type integrals involving the product of a multi-index Mittag-Leffler function and a generating function of two variables. Some concluding remarks regarding our present investigation are briefly discussed in the last section.
△ Less
Submitted 13 June, 2020;
originally announced June 2020.
-
On the Hermite-Hadmard inequalities for interval-valued coordinated convex functions
Authors:
Dafang Zhao,
Muhammad Aamir Ali,
Ghulam Murtaza
Abstract:
In this paper, we establish Hermite-Hadamard inequality for interval-valued convex function on the co-ordinates on the rectangle from the plane. We also present Hermite-Hadamard inequality for the product of interval-valued convex functions on co-ordinates. Some examples are also given to clarify our new results
In this paper, we establish Hermite-Hadamard inequality for interval-valued convex function on the co-ordinates on the rectangle from the plane. We also present Hermite-Hadamard inequality for the product of interval-valued convex functions on co-ordinates. Some examples are also given to clarify our new results
△ Less
Submitted 27 December, 2019;
originally announced December 2019.