-
Projection Cascades of models of log del Pezzo surfaces
Authors:
Muhammad Imran Qureshi
Abstract:
We introduce the notion of type-I projection cascade for a biregular model (infinite series) of log del Pezzo surfaces. We study the existence of type-I projection cascades for known classes of models of log del Pezzo surfaces, such that their images under their anti-canonical embeddings in some weighted projective space, can be described as codimension 4 and codimension 3 varieties. We obtain two…
▽ More
We introduce the notion of type-I projection cascade for a biregular model (infinite series) of log del Pezzo surfaces. We study the existence of type-I projection cascades for known classes of models of log del Pezzo surfaces, such that their images under their anti-canonical embeddings in some weighted projective space, can be described as codimension 4 and codimension 3 varieties. We obtain two cascades of length three and four cascades of length two, where each projection gives rise to a well-formed and quasismooth biregular model in lower codimension.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Log-Scale Quantization in Distributed First-Order Methods: Gradient-based Learning from Distributed Data
Authors:
Mohammadreza Doostmohammadian,
Muhammad I. Qureshi,
Mohammad Hossein Khalesi,
Hamid R. Rabiee,
Usman A. Khan
Abstract:
Decentralized strategies are of interest for learning from large-scale data over networks. This paper studies learning over a network of geographically distributed nodes/agents subject to quantization. Each node possesses a private local cost function, collectively contributing to a global cost function, which the considered methodology aims to minimize. In contrast to many existing papers, the in…
▽ More
Decentralized strategies are of interest for learning from large-scale data over networks. This paper studies learning over a network of geographically distributed nodes/agents subject to quantization. Each node possesses a private local cost function, collectively contributing to a global cost function, which the considered methodology aims to minimize. In contrast to many existing papers, the information exchange among nodes is log-quantized to address limited network-bandwidth in practical situations. We consider a first-order computationally efficient distributed optimization algorithm (with no extra inner consensus loop) that leverages node-level gradient correction based on local data and network-level gradient aggregation only over nearby nodes. This method only requires balanced networks with no need for stochastic weight design. It can handle log-scale quantized data exchange over possibly time-varying and switching network setups. We study convergence over both structured networks (for example, training over data-centers) and ad-hoc multi-agent networks (for example, training over dynamic robotic networks). Through experimental validation, we show that (i) structured networks generally result in a smaller optimality gap, and (ii) log-scale quantization leads to a smaller optimality gap compared to uniform quantization.
△ Less
Submitted 10 January, 2025; v1 submitted 2 June, 2024;
originally announced June 2024.
-
Exploring Ring Structures: Multiset Dimension Analysis in Compressed Zero-Divisor Graphs
Authors:
Nasir Ali,
Hafiz Muhammad Afzal Siddiqui,
Muhammad Imran Qureshi
Abstract:
This paper explores the concept of multiset dimensions (Mdim) of compressed zero-divisor graphs (CZDG) associated with rings. The authors investigate the interplay between the ring-theoretic properties of a ring $R$ and the associated compressed zero-divisor graph. An undirected graph consisting of a vertex set $ Z(R_E)\backslash\{[0]\} = R_E\backslash\{[0],[1]\}$, where $R_E=\{[x] : x\in R\} $ an…
▽ More
This paper explores the concept of multiset dimensions (Mdim) of compressed zero-divisor graphs (CZDG) associated with rings. The authors investigate the interplay between the ring-theoretic properties of a ring $R$ and the associated compressed zero-divisor graph. An undirected graph consisting of a vertex set $ Z(R_E)\backslash\{[0]\} = R_E\backslash\{[0],[1]\}$, where $R_E=\{[x] : x\in R\} $ and $[x]=\{y\in R : \text{ann}(x)=\text{ann}(y)\}$ is called a compressed zero-divisor graph, denoted by $Γ_E (R)$. An edge is formed between two vertices $[x]$ and $[y]$ of $Z(R_E)$ if and only if $[x][y]=[xy]=[0]$, that is, iff $xy=0$. For a ring $R$, graph $G$ is said to be realizable as $Γ_E (R) $ if $G$ is isomorphic to $Γ_E (R)$. We classify the rings based on Mdim of their associated CZDG and obtain the bounds for the Mdim of the compressed zero-divisor graphs. We also study the Mdim of realizable graphs of rings. Moreover, some examples are provided to support our results. Lately, we have discussed the interconnection between Mdim, girth, and diameter of CZDG.
△ Less
Submitted 9 May, 2024;
originally announced May 2024.
-
On Certain Bounds for Multiset Dimensions of Zero-Divisor Graphs Associated with Rings
Authors:
Nasir Ali,
Hafiz Muhammad Afzal Siddiqui,
Muhammad Imran Qureshi
Abstract:
This article investigates multiset dimensions in zero divisor graphs (ZD-graphs) associated with rings. Through rigorous analysis, we establish general bounds for the multiset dimension (Mdim) in ZD-graphs, exploring various commutative rings including the ring Z_n of integers modulo n, Gaussian integers and quotient polynomial rings. Additionally, we examine the behavior of Mdim under algebraic o…
▽ More
This article investigates multiset dimensions in zero divisor graphs (ZD-graphs) associated with rings. Through rigorous analysis, we establish general bounds for the multiset dimension (Mdim) in ZD-graphs, exploring various commutative rings including the ring Z_n of integers modulo n, Gaussian integers and quotient polynomial rings. Additionally, we examine the behavior of Mdim under algebraic operations and discuss bounds in terms of diameter and maximum degree. This study enhances our understanding of algebraic structures and their graphical representations.
△ Less
Submitted 21 June, 2024; v1 submitted 9 May, 2024;
originally announced May 2024.
-
A Graph-Theoretical Approach to Ring Analysis: An Exploration of Dominant Metric Dimension in Compressed Zero Divisor Graphs and Its Interplay with Ring Structures
Authors:
Nasir Ali,
Hafiz Muhammad Afzal Siddiqui,
Muhammad Imran Qureshi
Abstract:
The paper systematically classifies rings based on the dominant metric dimensions (Ddim) of their associated CZDG, establishing consequential bounds for the Ddim of these compressed zero-divisor graphs. The authors investigate the interplay between the ring-theoretic properties of a ring ( R ) and associated CZDG. An undirected graph consisting of vertex set ( Z(R_E)\{[0]}\ =\ R_E\{[0],[1]}), wher…
▽ More
The paper systematically classifies rings based on the dominant metric dimensions (Ddim) of their associated CZDG, establishing consequential bounds for the Ddim of these compressed zero-divisor graphs. The authors investigate the interplay between the ring-theoretic properties of a ring ( R ) and associated CZDG. An undirected graph consisting of vertex set ( Z(R_E)\{[0]}\ =\ R_E\{[0],[1]}), where ( R_E=\{[x]:\ x\in R\} ) and ([x]=\{y\in R:\ \text{ann}(x)=\text{ann}(y)\} ) is called a compressed zero-divisor graph, denoted by ( Γ_E(R) ). An edge is formed between two vertices ([x]) and ([y]) of ( Z(R_E) ) if and only if ([x][y]=[xy]=[0]), that is, iff ( xy=0 ). For a ring ( R ), graph ( G ) is said to be realizable as ( Γ_E(R) ) if ( G ) is isomorphic to ( Γ_E(R) ). Moreover, an exploration into the Ddim of realizable graphs for rings is conducted, complemented by illustrative examples reinforcing the presented results. A recent discussion within the paper elucidates the nuanced relationship between Ddim, diameter, and girth within the domain of compressed zero-divisor graphs. This research offers a comprehensive and insightful analysis at the intersection of algebraic structures and graph theory, providing valuable contributions to the current mathematical discourse.
△ Less
Submitted 8 May, 2024;
originally announced May 2024.
-
Constructions and deformations of Calabi--Yau 3-folds in codimension 4
Authors:
Sumayya Moshin,
Shaheen Nazir,
Muhammad Imran Qureshi
Abstract:
We construct polarized Calabi--Yau 3-folds with at worst isolated canonical orbifold points in codimension 4 that can be described in terms of the equations of the Segre embedding of $\mathbb P^2 \times \mathbb P^2$ in $\mathbb P^8$. We investigate the existence of other deformation families in their Hilbert scheme by either studying Tom and Jerry degenerations or by comparing their Hilbert series…
▽ More
We construct polarized Calabi--Yau 3-folds with at worst isolated canonical orbifold points in codimension 4 that can be described in terms of the equations of the Segre embedding of $\mathbb P^2 \times \mathbb P^2$ in $\mathbb P^8$. We investigate the existence of other deformation families in their Hilbert scheme by either studying Tom and Jerry degenerations or by comparing their Hilbert series with those of existing low codimension Calabi--Yau 3-folds. Among other interesting results, we find a family of Calabi--Yau 3-fold with five distinct Tom and Jerry deformation families, a phenomenon not seen for $\mathbb Q$-Fano 3-folds. We compute the Hodge numbers of $\mathbb P^2 \times \mathbb P^2 $ Calabi--Yau 3-folds and corresponding manifolds obtained by performing crepant resolutions. We obtain a manifold with a pair of Hodge numbers that does not appear in the famously known list of 30108 distinct Hodge pairs of Kruzer--Skarke, in the list of 7890 distinct Hodge pairs corresponding to complete intersections in the product of projective spaces and in Hodge paris obtained from Calabi--Yau 3-folds having low codimension embeddings in weighted projective spaces.
△ Less
Submitted 24 June, 2025; v1 submitted 28 December, 2023;
originally announced December 2023.
-
Obrifold del Pezzo surfaces in $\mathbb P^1 \times \mathbb P^1\times \mathbb P^1$ format
Authors:
Muhammad Imran Qureshi
Abstract:
We construct two types of wellformed and quasismooth biregular models (infinite series) of rigid orbifold del Pezzo surfaces having their (sub) anti-canonical embeddings in $\mathbb P^6(w_i) $. One type of model contains a family of rigid del Pezzo surfaces with a fixed Fano index and weights of ambient $\mathbb P^6(w_i)$ are parameterized by positive integers. In the other type of models, weights…
▽ More
We construct two types of wellformed and quasismooth biregular models (infinite series) of rigid orbifold del Pezzo surfaces having their (sub) anti-canonical embeddings in $\mathbb P^6(w_i) $. One type of model contains a family of rigid del Pezzo surfaces with a fixed Fano index and weights of ambient $\mathbb P^6(w_i)$ are parameterized by positive integers. In the other type of models, weights of $\mathbb P^6(w_i)$ and Fano index, both are parameterized by the positive integers. The equations describing their images under (sub) anti-canonical embeddings are given in terms of the equations of the Segre embedding of $\mathbb P^1 \times \mathbb P^1\times \mathbb P^1$, which has codimension 4 in $\mathbb P^7$. We also give a formula for the Hilbert series of a generic weighted $\mathbb P^1 \times \mathbb P^1\times \mathbb P^1$ variety, a key tool in these constructions.
△ Less
Submitted 24 June, 2025; v1 submitted 28 December, 2023;
originally announced December 2023.
-
A Graph-Theoretic Approach to Ring Analysis: Dominant Metric Dimensions in Zero-Divisor Graphs
Authors:
Nasir Ali,
Hafiz Muhammad Afzal Siddiqui,
Muhammad Imran Qureshi
Abstract:
This article investigates the concept of dominant metric dimensions in zero divisor graphs (ZD-graphs) associated with rings. Consider a finite commutative ring with unity, denoted as R, where nonzero elements x and y are identified as zero divisors if their product results in zero (x.y=0). The set of zero divisors in ring R is referred to as L(R). To analyze various algebraic properties of R, a g…
▽ More
This article investigates the concept of dominant metric dimensions in zero divisor graphs (ZD-graphs) associated with rings. Consider a finite commutative ring with unity, denoted as R, where nonzero elements x and y are identified as zero divisors if their product results in zero (x.y=0). The set of zero divisors in ring R is referred to as L(R). To analyze various algebraic properties of R, a graph known as the zero-divisor graph is constructed using L(R). This manuscript establishes specific general bounds for the dominant metric dimension (Ddim) concerning the ZD-graph of R. To achieve this objective, we examine the zero divisor graphs for specific rings, such as the ring of Gaussian integers modulo m, denoted as Zm[i], the ring of integers modulo n, denoted as Zn, and some quotient polynomial rings. Additionally, we present a general result outlining bounds for the dominant metric dimension expressed in terms of the maximum degree, girth, clique number, and diameter of the associated ZD-graphs. Finally, we provide insights into commutative rings that share identical metric dimensions and dominant metric dimensions. This exploration contributes to a deeper understanding of the structural characteristics of ZD-graphs and their implications for the algebraic properties of commutative rings.
△ Less
Submitted 26 December, 2023;
originally announced December 2023.
-
Analytical expression for the exact curved surface area and volume of a hyperboloid of one sheet via Mellin-Barnes type contour integration
Authors:
M. A. Pathan,
M. I. Qureshi,
Javid Majid
Abstract:
In this article, we aim at obtaining the analytical expression ({\bf not previously found and recorded in the literature}) for the exact curved surface area of a hyperboloid of one sheet in terms of Srivastava-Daoust triple hypergeometric function. The derivation is based on Mellin-Barnes type contour integral representations of generalized hypergeometric function$~_pF_q(z)$, Meijer's $G$-function…
▽ More
In this article, we aim at obtaining the analytical expression ({\bf not previously found and recorded in the literature}) for the exact curved surface area of a hyperboloid of one sheet in terms of Srivastava-Daoust triple hypergeometric function. The derivation is based on Mellin-Barnes type contour integral representations of generalized hypergeometric function$~_pF_q(z)$, Meijer's $G$-function, decomposition formula for Meijer's $G$-function and series rearrangement technique. Further, we also obtain the formula for the volume of a hyperboloid of one sheet. The closed forms for the exact curved surface area and volume of the hyperboloid of one sheet are also verified numerically by using {\it Mathematica Program}.
△ Less
Submitted 3 October, 2022;
originally announced October 2022.
-
Analytical expression for the exact curved surface area of a frustum of hemiellipsoid, through hypergeometric function approach
Authors:
M. A. Pathan,
M. I. Qureshi,
Javid Majid
Abstract:
Our present investigation is motivated essentially by several interesting applications of generalized hypergeometric functions of one, two and more variables. The hypergeometric functions are potentially useful and have widespread applications related to the problems in the mathematical, physical, engineering and statistical sciences. In this article, we aim at obtaining the analytical expression…
▽ More
Our present investigation is motivated essentially by several interesting applications of generalized hypergeometric functions of one, two and more variables. The hypergeometric functions are potentially useful and have widespread applications related to the problems in the mathematical, physical, engineering and statistical sciences. In this article, we aim at obtaining the analytical expression (not previously found and recorded in the literature) for the exact curved surface area of a frustum of hemiellipsoid in terms of Appell's function of second kind and general triple hypergeometric series of Srivastava. The derivation is based on Mellin-Barnes type contour integral representations of generalized hypergeometric function$~_pF_q(z)$, Meijer's $G$-function and series manipulation technique. The closed form for the exact curved surface area of a frustum of hemiellipsoid is also verified numerically by using {\it Mathematica Program}.
△ Less
Submitted 3 October, 2022;
originally announced October 2022.
-
Analytical expressions for the exact curved surface area of a hemiellipsoid via Mellin-Barnes type contour integration
Authors:
M. A. Pathan,
M. I. Qureshi,
Javid Majid
Abstract:
In this article, we aim at obtaining the analytical expressions ({\bf not previously found and not recorded in the literature}) for the exact curved surface area of a hemiellpsoid in terms of Appell's double hypergeometric function of first kind. The derivation is based on Mellin-Barnes type contour integral representations of generalized hypergeometric function$~_pF_q(z)$, Meijer's $G$-function a…
▽ More
In this article, we aim at obtaining the analytical expressions ({\bf not previously found and not recorded in the literature}) for the exact curved surface area of a hemiellpsoid in terms of Appell's double hypergeometric function of first kind. The derivation is based on Mellin-Barnes type contour integral representations of generalized hypergeometric function$~_pF_q(z)$, Meijer's $G$-function and analytic continuation formula for Gauss function. Moreover, we obtain some special cases related to ellipsoid, Prolate spheroid and Oblate spheroid. The closed forms for the exact curved surface area of a hemiellpsoid are also verified numerically by using {\it Mathematica Program}.
△ Less
Submitted 3 October, 2022;
originally announced October 2022.
-
Distributed saddle point problems for strongly concave-convex functions
Authors:
Muhammad I. Qureshi,
Usman A. Khan
Abstract:
In this paper, we propose GT-GDA, a distributed optimization method to solve saddle point problems of the form: $\min_{\mathbf{x}} \max_{\mathbf{y}} \{F(\mathbf{x},\mathbf{y}) :=G(\mathbf{x}) + \langle \mathbf{y}, \overline{P} \mathbf{x} \rangle - H(\mathbf{y})\}$, where the functions $G(\cdot)$, $H(\cdot)$, and the the coupling matrix $\overline{P}$ are distributed over a strongly connected netwo…
▽ More
In this paper, we propose GT-GDA, a distributed optimization method to solve saddle point problems of the form: $\min_{\mathbf{x}} \max_{\mathbf{y}} \{F(\mathbf{x},\mathbf{y}) :=G(\mathbf{x}) + \langle \mathbf{y}, \overline{P} \mathbf{x} \rangle - H(\mathbf{y})\}$, where the functions $G(\cdot)$, $H(\cdot)$, and the the coupling matrix $\overline{P}$ are distributed over a strongly connected network of nodes. GT-GDA is a first-order method that uses gradient tracking to eliminate the dissimilarity caused by heterogeneous data distribution among the nodes. In the most general form, GT-GDA includes a consensus over the local coupling matrices to achieve the optimal (unique) saddle point, however, at the expense of increased communication. To avoid this, we propose a more efficient variant GT-GDA-Lite that does not incur the additional communication and analyze its convergence in various scenarios. We show that GT-GDA converges linearly to the unique saddle point solution when $G(\cdot)$ is smooth and convex, $H(\cdot)$ is smooth and strongly convex, and the global coupling matrix $\overline{P}$ has full column rank. We further characterize the regime under which GT-GDA exhibits a network topology-independent convergence behavior. We next show the linear convergence of GT-GDA to an error around the unique saddle point, which goes to zero when the coupling cost ${\langle \mathbf y, \overline{P} \mathbf x \rangle}$ is common to all nodes, or when $G(\cdot)$ and $H(\cdot)$ are quadratic. Numerical experiments illustrate the convergence properties and importance of GT-GDA and GT-GDA-Lite for several applications.
△ Less
Submitted 1 July, 2022; v1 submitted 11 February, 2022;
originally announced February 2022.
-
Variance reduced stochastic optimization over directed graphs with row and column stochastic weights
Authors:
Muhammad I. Qureshi,
Ran Xin,
Soummya Kar,
Usman A. Khan
Abstract:
This paper proposes AB-SAGA, a first-order distributed stochastic optimization method to minimize a finite-sum of smooth and strongly convex functions distributed over an arbitrary directed graph. AB-SAGA removes the uncertainty caused by the stochastic gradients using a node-level variance reduction and subsequently employs network-level gradient tracking to address the data dissimilarity across…
▽ More
This paper proposes AB-SAGA, a first-order distributed stochastic optimization method to minimize a finite-sum of smooth and strongly convex functions distributed over an arbitrary directed graph. AB-SAGA removes the uncertainty caused by the stochastic gradients using a node-level variance reduction and subsequently employs network-level gradient tracking to address the data dissimilarity across the nodes. Unlike existing methods that use the nonlinear push-sum correction to cancel the imbalance caused by the directed communication, the consensus updates in AB-SAGA are linear and uses both row and column stochastic weights. We show that for a constant step-size, AB-SAGA converges linearly to the global optimal. We quantify the directed nature of the underlying graph using an explicit directivity constant and characterize the regimes in which AB-SAGA achieves a linear speed-up over its centralized counterpart. Numerical experiments illustrate the convergence of AB-SAGA for strongly convex and nonconvex problems.
△ Less
Submitted 7 February, 2022;
originally announced February 2022.
-
Smooth Fano four folds in Gorenstein formats
Authors:
Muhammad Imran Qureshi
Abstract:
We construct some new deformation families of four-dimensional Fano manifolds of index $1$ in some known classes of Gorenstein formats. These families have explicit descriptions in terms of equations, defining their image under the anti-canonical embedding in some weighted projective space. The constructed families have relatively smaller anti-canonical degrees than most other known families of sm…
▽ More
We construct some new deformation families of four-dimensional Fano manifolds of index $1$ in some known classes of Gorenstein formats. These families have explicit descriptions in terms of equations, defining their image under the anti-canonical embedding in some weighted projective space. The constructed families have relatively smaller anti-canonical degrees than most other known families of smooth Fano 4-folds.
△ Less
Submitted 8 July, 2021;
originally announced July 2021.
-
Classification of COVID-19 via Homology of CT-SCAN
Authors:
Sohail Iqbal,
H. Fareed Ahmed,
Talha Qaiser,
Muhammad Imran Qureshi,
Nasir Rajpoot
Abstract:
In this worldwide spread of SARS-CoV-2 (COVID-19) infection, it is of utmost importance to detect the disease at an early stage especially in the hot spots of this epidemic. There are more than 110 Million infected cases on the globe, sofar. Due to its promptness and effective results computed tomography (CT)-scan image is preferred to the reverse-transcription polymerase chain reaction (RT-PCR).…
▽ More
In this worldwide spread of SARS-CoV-2 (COVID-19) infection, it is of utmost importance to detect the disease at an early stage especially in the hot spots of this epidemic. There are more than 110 Million infected cases on the globe, sofar. Due to its promptness and effective results computed tomography (CT)-scan image is preferred to the reverse-transcription polymerase chain reaction (RT-PCR). Early detection and isolation of the patient is the only possible way of controlling the spread of the disease. Automated analysis of CT-Scans can provide enormous support in this process. In this article, We propose a novel approach to detect SARS-CoV-2 using CT-scan images. Our method is based on a very intuitive and natural idea of analyzing shapes, an attempt to mimic a professional medic. We mainly trace SARS-CoV-2 features by quantifying their topological properties. We primarily use a tool called persistent homology, from Topological Data Analysis (TDA), to compute these topological properties. We train and test our model on the "SARS-CoV-2 CT-scan dataset" \citep{soares2020sars}, an open-source dataset, containing 2,481 CT-scans of normal and COVID-19 patients. Our model yielded an overall benchmark F1 score of $99.42\% $, accuracy $99.416\%$, precision $99.41\%$, and recall $99.42\%$. The TDA techniques have great potential that can be utilized for efficient and prompt detection of COVID-19. The immense potential of TDA may be exploited in clinics for rapid and safe detection of COVID-19 globally, in particular in the low and middle-income countries where RT-PCR labs and/or kits are in a serious crisis.
△ Less
Submitted 21 February, 2021;
originally announced February 2021.
-
Smooth Fano intrinsic Grassmannians of type $(2,n)$ with Picard number two
Authors:
Muhammad Imran Qureshi,
Milena Wrobel
Abstract:
We introduce the notion of intrinsic Grassmannians which generalizes the well known weighted Grassmannians. An intrinsic Grassmannian is a normal projective variety whose Cox ring is defined by the Plücker ideal $I_{d,n}$ of the Grassmannian $\mathrm{Gr}(d,n)$. We give a complete classification of all smooth Fano intrinsic Grassmannians of type $(2,n)$ with Picard number two and prove an explicit…
▽ More
We introduce the notion of intrinsic Grassmannians which generalizes the well known weighted Grassmannians. An intrinsic Grassmannian is a normal projective variety whose Cox ring is defined by the Plücker ideal $I_{d,n}$ of the Grassmannian $\mathrm{Gr}(d,n)$. We give a complete classification of all smooth Fano intrinsic Grassmannians of type $(2,n)$ with Picard number two and prove an explicit formula to compute the total number of such varieties for an arbitrary $n$. We study their geometry and show that they satisfy Fujita's freeness conjecture.
△ Less
Submitted 13 December, 2020;
originally announced December 2020.
-
S-ADDOPT: Decentralized stochastic first-order optimization over directed graphs
Authors:
Muhammad I. Qureshi,
Ran Xin,
Soummya Kar,
Usman A. Khan
Abstract:
In this report, we study decentralized stochastic optimization to minimize a sum of smooth and strongly convex cost functions when the functions are distributed over a directed network of nodes. In contrast to the existing work, we use gradient tracking to improve certain aspects of the resulting algorithm. In particular, we propose the~\textbf{\texttt{S-ADDOPT}} algorithm that assumes a stochasti…
▽ More
In this report, we study decentralized stochastic optimization to minimize a sum of smooth and strongly convex cost functions when the functions are distributed over a directed network of nodes. In contrast to the existing work, we use gradient tracking to improve certain aspects of the resulting algorithm. In particular, we propose the~\textbf{\texttt{S-ADDOPT}} algorithm that assumes a stochastic first-order oracle at each node and show that for a constant step-size~$α$, each node converges linearly inside an error ball around the optimal solution, the size of which is controlled by~$α$. For decaying step-sizes~$\mathcal{O}(1/k)$, we show that~\textbf{\texttt{S-ADDOPT}} reaches the exact solution sublinearly at~$\mathcal{O}(1/k)$ and its convergence is asymptotically network-independent. Thus the asymptotic behavior of~\textbf{\texttt{S-ADDOPT}} is comparable to the centralized stochastic gradient descent. Numerical experiments over both strongly convex and non-convex problems illustrate the convergence behavior and the performance comparison of the proposed algorithm.
△ Less
Submitted 22 July, 2020; v1 submitted 15 May, 2020;
originally announced May 2020.
-
Polarized rigid del Pezzo surfaces in low codimension
Authors:
Muhammad Imran Qureshi
Abstract:
We provide explicit graded constructions of orbifold del Pezzo surfaces with rigid orbifold points of type $\left\{k_i\times\frac{1}{r_i}(1,a_i): 3\le r_i \le 10,k_i \in \ZZ_{\ge 0}\right\}$; as well-formed and quasismooth varieties embedded in some weighted projective space. In particular, we present a collection of 147 such surfaces such that their image under their anti-canonical embeddings can…
▽ More
We provide explicit graded constructions of orbifold del Pezzo surfaces with rigid orbifold points of type $\left\{k_i\times\frac{1}{r_i}(1,a_i): 3\le r_i \le 10,k_i \in \ZZ_{\ge 0}\right\}$; as well-formed and quasismooth varieties embedded in some weighted projective space. In particular, we present a collection of 147 such surfaces such that their image under their anti-canonical embeddings can be described by using one of the following sets of equations: a single equation, two linearly independent equations, five maximal Pfaffians of $5\times 5$ skew symmetric matrix, and nine $2\times 2$ minors of size 3 square matrix. This is a complete classification of such surfaces under certain carefully chosen bounds on the weights of ambient weighted projective spaces and it is largely based on detailed computer-assisted searches by using the computer algebra system \textsc{magma}.
△ Less
Submitted 11 September, 2020; v1 submitted 3 May, 2020;
originally announced May 2020.
-
Some summation theorems for truncated Clausen series and applications
Authors:
M. I. Qureshi,
Saima Jabee,
Dilshad Ahamad
Abstract:
The main aim of this paper is to derive some new summation theorems for terminating and truncated Clausen's hypergeometric series with unit argument, when one numerator parameter and one denominator parameter are negative integers. Further, using our truncated summation theorems, we obtain the Mellin transforms of the product of exponential function and Goursat's truncated hypergeometric function.
The main aim of this paper is to derive some new summation theorems for terminating and truncated Clausen's hypergeometric series with unit argument, when one numerator parameter and one denominator parameter are negative integers. Further, using our truncated summation theorems, we obtain the Mellin transforms of the product of exponential function and Goursat's truncated hypergeometric function.
△ Less
Submitted 18 June, 2019;
originally announced June 2019.
-
Some definite integrals of Srinivasa Ramanujan and its consequences
Authors:
M. I. Qureshi,
Showkat Ahmad
Abstract:
In this paper, we obtain analytical solutions of some definite integrals of Srinivasa Ramanujan [Mess. Math., XLIV, 75-86, 1915] in terms of Meijer's $G$-function by using Laplace transforms of $ \sin(βx^{2}),\cos(βx^{2}), x\sin(βx^{2})$ and $x\cos(βx^{2})$. Further, we obtain some infinite summation formulas connected with Meijer's G-function and numeric values of some infinite series
In this paper, we obtain analytical solutions of some definite integrals of Srinivasa Ramanujan [Mess. Math., XLIV, 75-86, 1915] in terms of Meijer's $G$-function by using Laplace transforms of $ \sin(βx^{2}),\cos(βx^{2}), x\sin(βx^{2})$ and $x\cos(βx^{2})$. Further, we obtain some infinite summation formulas connected with Meijer's G-function and numeric values of some infinite series
△ Less
Submitted 19 April, 2019;
originally announced April 2019.
-
General series identities, some additive theorems on hypergeometric functions and their applications
Authors:
Mohammad Idris Qureshi,
Saima Jabee,
Mohammad Shadab
Abstract:
Motivated by the substantial development of the special functions, we contribute to establish some rigorous results on the general series identities with bounded sequences and hypergeometric functions with different arguments, which are generally applicable in nature. For the application purpose, we apply our results to some functions e.g. Trigonometric functions, Elliptic integrals, Dilogarithmic…
▽ More
Motivated by the substantial development of the special functions, we contribute to establish some rigorous results on the general series identities with bounded sequences and hypergeometric functions with different arguments, which are generally applicable in nature. For the application purpose, we apply our results to some functions e.g. Trigonometric functions, Elliptic integrals, Dilogarithmic function, Error function, Incomplete gamma function, and many other special functions.
△ Less
Submitted 14 February, 2019;
originally announced February 2019.
-
Some hypergeometric summation theorems and reduction formulas via Laplace transform method
Authors:
M. I. Qureshi,
Showkat Ahmad Dar
Abstract:
In this paper, we obtain analytical solutions of Laplace transform based some generalized class of the hyperbolic integrals in terms of hypergeometric functions ${}_3F_2 (\pm1)$, ${}_4F_3 (\pm1)$, ${}_5F_4(\pm1)$, ${}_6F_5(\pm1)$, ${}_7F_6(\pm1)$ and ${}_8F_7(\pm1)$ with suitable convergence conditions, by using some algebraic properties of Pochhammer symbols. In addition, reduction formulas for…
▽ More
In this paper, we obtain analytical solutions of Laplace transform based some generalized class of the hyperbolic integrals in terms of hypergeometric functions ${}_3F_2 (\pm1)$, ${}_4F_3 (\pm1)$, ${}_5F_4(\pm1)$, ${}_6F_5(\pm1)$, ${}_7F_6(\pm1)$ and ${}_8F_7(\pm1)$ with suitable convergence conditions, by using some algebraic properties of Pochhammer symbols. In addition, reduction formulas for ${}_4F_3(1)$, ${}_7F_6(-1)$ and some new summation theorems (not recorded earlier in the literature of hypergeometric functions) for ${}_3F_2(-1)$, ${}_6F_5(\pm1)$, ${}_7F_6(\pm1)$ and ${}_8F_7(\pm1)$ are obtained.
△ Less
Submitted 17 August, 2018;
originally announced August 2018.
-
Some summation theorems for Clausen's hypergeometric functions with unit argument
Authors:
M. I. Qureshi,
Mohd Shadab
Abstract:
Motivated by the work on hypergeometric summation theorems (recorded in the table III of Prudnikov et al. pp. 541-546), we have established some new summation theorems for Clausen's hypergeometric functions with unit argument in terms of $π$ and natural logarithms of some rational and irrational numbers. Also, we have given some modified summation theorems for Clausen's hypergeometric functions.
Motivated by the work on hypergeometric summation theorems (recorded in the table III of Prudnikov et al. pp. 541-546), we have established some new summation theorems for Clausen's hypergeometric functions with unit argument in terms of $π$ and natural logarithms of some rational and irrational numbers. Also, we have given some modified summation theorems for Clausen's hypergeometric functions.
△ Less
Submitted 6 June, 2018;
originally announced June 2018.
-
Analytic computations of digamma function using some new identities
Authors:
M. I. Qureshi,
Mohd Shadab
Abstract:
Motivated by rigorous development in the theory of digamma functions, we have first derived some new identities for the digamma function, and then computed the values of digamma function for the fractional orders using these identities conveniently.
Motivated by rigorous development in the theory of digamma functions, we have first derived some new identities for the digamma function, and then computed the values of digamma function for the fractional orders using these identities conveniently.
△ Less
Submitted 6 June, 2018;
originally announced June 2018.
-
Truncated Gauss hypergeometric series and its application in digamma function
Authors:
M. I. Qureshi,
Saima Jabee,
M. Shadab
Abstract:
In the last decades, the theory of digamma function has been developed with a high impact of interest by many authors. Here, we established some interesting results for digamma function, and also we have computed the values of digamma function for positive integers, using the concept of hypergeometric series. An attempt has been made to present some summation theorems for Clausen's hypergeometric…
▽ More
In the last decades, the theory of digamma function has been developed with a high impact of interest by many authors. Here, we established some interesting results for digamma function, and also we have computed the values of digamma function for positive integers, using the concept of hypergeometric series. An attempt has been made to present some summation theorems for Clausen's hypergeometric function. Results presented here are potentially useful in the further study of digamma function.
△ Less
Submitted 19 May, 2018;
originally announced May 2018.
-
Laplace transforms based some novel integrals via hypergeometric technique
Authors:
M. I. Qureshi,
Showkat Ahmad Dar
Abstract:
In this paper, we obtain the analytical solutions of Laplace transforms based some novel integrals with suitable convergence conditions, by using hypergeometric approach (some algebraic properties of Pochhammer symbol and classical summation theorems of hypergeometric series ${}_{2}F_{1}(1)$, ${}_{2}F_{1}(-1)$ , ${}_{4}F_{3}(-1)$) . Also, we obtain the Laplace transforms of arbitrary powers of som…
▽ More
In this paper, we obtain the analytical solutions of Laplace transforms based some novel integrals with suitable convergence conditions, by using hypergeometric approach (some algebraic properties of Pochhammer symbol and classical summation theorems of hypergeometric series ${}_{2}F_{1}(1)$, ${}_{2}F_{1}(-1)$ , ${}_{4}F_{3}(-1)$) . Also, we obtain the Laplace transforms of arbitrary powers of some finite series containing hyperbolic sine and cosine functions having different arguments, in terms of hypergeometric and Beta functions. Moreover, Laplace transforms of even and odd positive integral powers of sine and cosine functions with different arguments, and their combinations of the product (taking two, three, four functions at a time), are obtained. In addition, some special cases are yield from the main results.
△ Less
Submitted 11 May, 2018;
originally announced May 2018.
-
Generalizations of Ramanujan integral associated with infinite Fourier cosine transforms in terms of hypergeometric functions and its applications
Authors:
M. I. Qureshi,
Showkat Ahmad Dar
Abstract:
In this paper, we obtain analytical solution of an unsolved integral $\textbf{R}_{C}(m,n)$ of Srinivasa Ramanujan [$\textit{Mess. Math}$., XLIV, 75-86, 1915], using hypergeometric approach, Mellin transforms, Infinite Fourier cosine transforms, Infinite series decomposition identity and some algebraic properties of Pochhammer's symbol. Also we have given some generalizations of the Ramanujan's int…
▽ More
In this paper, we obtain analytical solution of an unsolved integral $\textbf{R}_{C}(m,n)$ of Srinivasa Ramanujan [$\textit{Mess. Math}$., XLIV, 75-86, 1915], using hypergeometric approach, Mellin transforms, Infinite Fourier cosine transforms, Infinite series decomposition identity and some algebraic properties of Pochhammer's symbol. Also we have given some generalizations of the Ramanujan's integral $\textbf{R}_{C}(m,n)$ in the form of integrals $\textbf{I}^{*}_{C}(\upsilon,b,c,λ,y), \textbf{J}_C (\upsilon,b,c,λ,y), \textbf{K}_{C} (\upsilon,b,c, λ,y), \textbf{I}_{C}(\upsilon,b,λ,y)$ and solved it in terms of ordinary hypergeometric functions ${}_2 F_3$, with suitable convergence conditions. Moreover as applications of Ramanujan's integral $\textbf{R}_{C}(m,n)$, the new nine infinite summation formulas associated with hypergeometric functions ${}_{0}F_{1}$, ${}_{1}F_{2}$ and ${}_{2}F_{3}$ are obtained.
△ Less
Submitted 6 May, 2018;
originally announced May 2018.
-
Biregular models of log Del Pezzo surfaces with rigid singularities
Authors:
Muhammad Imran Qureshi
Abstract:
We construct biregular models of families of log Del Pezzo surfaces with rigid cyclic quotient singularities such that a general member in each family is wellformed and quasismooth. Each biregular model consists of infinite series of such families of surfaces; parameterized by the natural numbers $\mathbb{N}$. Each family in these models is represented by either a codimension 3 Pfaffian format mod…
▽ More
We construct biregular models of families of log Del Pezzo surfaces with rigid cyclic quotient singularities such that a general member in each family is wellformed and quasismooth. Each biregular model consists of infinite series of such families of surfaces; parameterized by the natural numbers $\mathbb{N}$. Each family in these models is represented by either a codimension 3 Pfaffian format modelled on the Plücker embedding of Gr(2,5) or a codimension 4 format modelled on the Segre embedding of \(\mathbb{P}^2 \times \mathbb{P}^2 \). In particular, we show the existence of two biregular models in codimension 4 which are bi parameterized, giving rise to an infinite series of models of families of log Del Pezzo surfaces. We identify those models of surfaces which do not admit a \(\mathbb {Q}\)-Gorenstein deformation to a toric variety.
△ Less
Submitted 13 February, 2019; v1 submitted 28 November, 2017;
originally announced November 2017.
-
The equivariant cohomology of weighted flag orbifolds
Authors:
Haniya Azam,
Shaheen Nazir,
Muhammad Imran Qureshi
Abstract:
We describe the torus-equivariant cohomology of weighted partial flag orbifolds ${\mathrm{w}}Σ$ of type $A$. We establish counterparts of several results known for the partial flag variety that collectively constitute what we refer to as ``Schubert Calculus on ${\mathrm{w}}Σ$''. For the weighed Schubert classes in ${\mathrm{w}}Σ$, we give the Chevalley's formula. In addition, we define the weighte…
▽ More
We describe the torus-equivariant cohomology of weighted partial flag orbifolds ${\mathrm{w}}Σ$ of type $A$. We establish counterparts of several results known for the partial flag variety that collectively constitute what we refer to as ``Schubert Calculus on ${\mathrm{w}}Σ$''. For the weighed Schubert classes in ${\mathrm{w}}Σ$, we give the Chevalley's formula. In addition, we define the weighted analogue of double Schubert polynomials and give the corresponding Chevalley--Monk's formula.
△ Less
Submitted 13 June, 2019; v1 submitted 9 November, 2017;
originally announced November 2017.
-
Fano 3-folds in $\mathbb {P^2} \times \mathbb {P^2}$ format, Tom and Jerry
Authors:
Gavin Brown,
Alexander Kasprzyk,
Muhammad Imran Qureshi
Abstract:
We study Q-factorial terminal Fano 3-folds whose equations are modelled on those of the Segre embedding of P^2 x P^2. These lie in codimension 4 in their total anticanonical embedding and have Picard rank 2. They fit into the current state of classification in three different ways. Some families arise as unprojections of degenerations of complete intersections, where the generic unprojection is a…
▽ More
We study Q-factorial terminal Fano 3-folds whose equations are modelled on those of the Segre embedding of P^2 x P^2. These lie in codimension 4 in their total anticanonical embedding and have Picard rank 2. They fit into the current state of classification in three different ways. Some families arise as unprojections of degenerations of complete intersections, where the generic unprojection is a known prime Fano 3-fold in codimension 3; these are new, and an analysis of their Gorenstein projections reveals yet other new families. Others represent the "second Tom" unprojection families already known in codimension 4, and we show that every such family contains one of our models. Yet others have no easy Gorenstein projection analysis at all, so prove the existence of Fano components on their Hilbert scheme.
△ Less
Submitted 17 July, 2017; v1 submitted 3 July, 2017;
originally announced July 2017.
-
Polarized 3-folds in a codimension 10 weighted homogeneous $F_4$ variety
Authors:
Muhammad Imran Qureshi
Abstract:
We give the construction of a codimension 10 weighted homogeneous variety $wΣF_4(μ,u)$ corresponding to the exceptional Lie group $F_4$ by explicit computation of its graded ring structure. We give a formula for the Hilbert series of the generic weighted $wΣF_4(μ,u)$ in terms of representation theoretic data of $F_4$. We also construct some families of polarized 3-folds in codimension 10 whose gen…
▽ More
We give the construction of a codimension 10 weighted homogeneous variety $wΣF_4(μ,u)$ corresponding to the exceptional Lie group $F_4$ by explicit computation of its graded ring structure. We give a formula for the Hilbert series of the generic weighted $wΣF_4(μ,u)$ in terms of representation theoretic data of $F_4$. We also construct some families of polarized 3-folds in codimension 10 whose general member is the weighted complete intersection of some $wΣF_4(μ,u)$.
△ Less
Submitted 14 May, 2017; v1 submitted 26 October, 2015;
originally announced October 2015.
-
Computing isolated orbifolds in weighted flag varieties
Authors:
Muhammad Imran Qureshi
Abstract:
Given a weighted flag variety $wΣ(μ,u)$ corresponding to chosen fixed parameters $μ$ and $u$, we present an algorithm to compute lists of all possible projectively Gorenstein $n$-folds, having canonical weight $k$ and isolated orbifold points, appearing as weighted complete intersections in $wΣ(μ,u) $ or some projective cone(s) over $wΣ(μ,u)$. We apply our algorithm to compute lists of interesting…
▽ More
Given a weighted flag variety $wΣ(μ,u)$ corresponding to chosen fixed parameters $μ$ and $u$, we present an algorithm to compute lists of all possible projectively Gorenstein $n$-folds, having canonical weight $k$ and isolated orbifold points, appearing as weighted complete intersections in $wΣ(μ,u) $ or some projective cone(s) over $wΣ(μ,u)$. We apply our algorithm to compute lists of interesting classes of polarized 3-folds with isolated orbifold points in the codimension 8 weighted $G_2$ variety. We also show the existence of some families of log-terminal $\mathbb Q$-Fano 3-folds in codimension 8 by explicitly constructing them as quasilinear sections of a weighted $G_2$-variety.
△ Less
Submitted 25 February, 2016; v1 submitted 12 September, 2015;
originally announced September 2015.
-
Constructing projective varieties in weighted flag varieties II
Authors:
Muhammad Imran Qureshi
Abstract:
We give the construction of weighted Lagranngiann Grassmannians$wLGr(3,6)$ and weighted partial $A_3$ flag variety $wFl_{1,3}$ coming from the symplectic Lie group $Sp(6,\mathbb C)$ and the general linear group $GL(4,\mathbb C)$ respectively. We give general formulas for their Hilbert series in terms of Lie theoretic data. We use them as key varieties (Format) to construct some families of polariz…
▽ More
We give the construction of weighted Lagranngiann Grassmannians$wLGr(3,6)$ and weighted partial $A_3$ flag variety $wFl_{1,3}$ coming from the symplectic Lie group $Sp(6,\mathbb C)$ and the general linear group $GL(4,\mathbb C)$ respectively. We give general formulas for their Hilbert series in terms of Lie theoretic data. We use them as key varieties (Format) to construct some families of polarized 3-folds in codimension 7 and 9. At the end, we list all the distinct weighted flag varieties in codimension $4\le c\le 10$.
△ Less
Submitted 17 November, 2014; v1 submitted 13 January, 2014;
originally announced January 2014.
-
Calabi-Yau threefolds in weighted flag varieties
Authors:
Muhammad Imran Qureshi,
Balazs Szendroi
Abstract:
We review the construction of families of projective varieties, in particular Calabi--Yau threefolds, as quasilinear sections in weighted flag varieties. We also describe a construction of tautological orbi-bundles on these varieties, which may be of interest in heterotic model building.
We review the construction of families of projective varieties, in particular Calabi--Yau threefolds, as quasilinear sections in weighted flag varieties. We also describe a construction of tautological orbi-bundles on these varieties, which may be of interest in heterotic model building.
△ Less
Submitted 24 May, 2011; v1 submitted 21 May, 2011;
originally announced May 2011.
-
Stanley depth and complete $k$-partite hypergraphs
Authors:
Muhammad Ishaq,
Muhammad Imran Qureshi
Abstract:
We give an upper bound for the Stanley depth of the edge ideal of a complete $k$-partite hypergraph and as an application we give an upper bound for the Stanley depth of a monomial ideal in a polynomial ring $S$. We also give a lower and an upper bound for the cyclic module $S/I$ associated to the complete $k$-partite hypergraph.
We give an upper bound for the Stanley depth of the edge ideal of a complete $k$-partite hypergraph and as an application we give an upper bound for the Stanley depth of a monomial ideal in a polynomial ring $S$. We also give a lower and an upper bound for the cyclic module $S/I$ associated to the complete $k$-partite hypergraph.
△ Less
Submitted 27 February, 2012; v1 submitted 13 April, 2011;
originally announced April 2011.
-
Stanley depth of edge ideals
Authors:
Muhammad Ishaq,
Muhammad Imran Qureshi
Abstract:
We give an upper bound for the Stanley depth of the edge ideal $I$ of a $k$-partite complete graph and show that Stanley's conjecture holds for $I$. Also we give an upper bound for the Stanley depth of the edge ideal of a $k$-uniform complete bipartite hypergraph.
We give an upper bound for the Stanley depth of the edge ideal $I$ of a $k$-partite complete graph and show that Stanley's conjecture holds for $I$. Also we give an upper bound for the Stanley depth of the edge ideal of a $k$-uniform complete bipartite hypergraph.
△ Less
Submitted 6 April, 2011;
originally announced April 2011.
-
Constructing projective varieties in weighted flag varieties
Authors:
Muhammad Imran Qureshi,
Balazs Szendroi
Abstract:
We compute the Hilbert series of general weighted flag varieties and discuss a computer-aided method to determine their defining equations. We apply our results to weighted flag varieties coming from the Lie groups of type G_2 and GL(6), to construct some families of polarised projective varieties in codimensions 8 and 6, respectively.
We compute the Hilbert series of general weighted flag varieties and discuss a computer-aided method to determine their defining equations. We apply our results to weighted flag varieties coming from the Lie groups of type G_2 and GL(6), to construct some families of polarised projective varieties in codimensions 8 and 6, respectively.
△ Less
Submitted 11 August, 2010;
originally announced August 2010.
-
On the Behaviour of Stanley Depth under Variable Adjunction
Authors:
Mihai Cipu,
Muhammad Imran Qureshi
Abstract:
Let $S=K[x_1,...,x_n]$ be a polynomial ring in $n$ variables over the field $K$. For integers $1\leq t< n$ consider the ideal $I=(x_1,...,x_t)\cap(x_{t+1}, ...,x_n)$ in $S$. In this paper we bound from above the Stanley depth of the ideal $I'=(I,x_{n+1},...,x_{n+p})\subset S'=S[x_{n+1},...,x_{n+p}]$. We give similar upper bounds for the Stanley depth of the ideal $(I_{n,2},x_{n+1},...,x_{n+p})$, w…
▽ More
Let $S=K[x_1,...,x_n]$ be a polynomial ring in $n$ variables over the field $K$. For integers $1\leq t< n$ consider the ideal $I=(x_1,...,x_t)\cap(x_{t+1}, ...,x_n)$ in $S$. In this paper we bound from above the Stanley depth of the ideal $I'=(I,x_{n+1},...,x_{n+p})\subset S'=S[x_{n+1},...,x_{n+p}]$. We give similar upper bounds for the Stanley depth of the ideal $(I_{n,2},x_{n+1},...,x_{n+p})$, where $I_{n,2}$ is the square free Veronese ideal of degree 2 in $n$ variables.
△ Less
Submitted 20 July, 2010;
originally announced July 2010.
-
Computing the Stanley depth
Authors:
Dorin Popescu,
Muhammad Imran Qureshi
Abstract:
Let $Q$ and $Q'$ be two monomial primary ideals of a polynomial algebra $S$ over a field. We give an upper bound for the Stanley depth of $S/(Q\cap Q')$ which is reached if $Q$,$Q'$ are irreducible. Also we show that Stanley's Conjecture holds for $Q_1\cap Q_2$, $S/(Q_1\cap Q_2\cap Q_3)$, $(Q_i)_i$ being some irreducible monomial ideals of $S$.
Let $Q$ and $Q'$ be two monomial primary ideals of a polynomial algebra $S$ over a field. We give an upper bound for the Stanley depth of $S/(Q\cap Q')$ which is reached if $Q$,$Q'$ are irreducible. Also we show that Stanley's Conjecture holds for $Q_1\cap Q_2$, $S/(Q_1\cap Q_2\cap Q_3)$, $(Q_i)_i$ being some irreducible monomial ideals of $S$.
△ Less
Submitted 2 August, 2009; v1 submitted 6 July, 2009;
originally announced July 2009.
