Showing 1–50 of 98 results for author: Kumar, N

On Conjecture of Binomial Edge Ideals of Linear Type

Authors: Marie Amalore Nambi, Neeraj Kumar

Abstract: An ideal $I$ of a commutative ring $R$ is said to be of linear type when its Rees algebra and symmetric algebra exhibit isomorphism. In this paper, we investigate the conjecture put forth by Jayanthan, Kumar, and Sarkar (2021) that if $G$ is a tree or a unicyclic graph, then the binomial edge ideal of $G$ is of linear type. Our investigation validates this conjecture for trees. However, our study… ▽ More An ideal $I$ of a commutative ring $R$ is said to be of linear type when its Rees algebra and symmetric algebra exhibit isomorphism. In this paper, we investigate the conjecture put forth by Jayanthan, Kumar, and Sarkar (2021) that if $G$ is a tree or a unicyclic graph, then the binomial edge ideal of $G$ is of linear type. Our investigation validates this conjecture for trees. However, our study reveals that not all unicyclic graphs adhere to this conjecture. △ Less

Submitted 1 July, 2024; v1 submitted 9 June, 2024; originally announced June 2024.

Comments: 14 pages, removed Theorem 5.1, comments are welcome

MSC Class: 05E40; 13F65; 13F70

Restriction theorems for the $p$-analog of the Fourier-Stieltjes algebra

Authors: Arvish Dabra, N. Shravan Kumar

Abstract: For a locally compact group $G$ and $1 < p < \infty,$ let $B_p(G)$ denote the $p$-analog of the Fourier-Stieltjes algebra $B(G) \, (\text{or} \, B_2(G))$. Let $r: B_p(G) \to B_p(H)$ be the restriction map given by $r(u) = u|_H$ for any closed subgroup $H$ of $G.$ In this article, we prove that the restriction map $r$ is a surjective isometry for any open subgroup $H$ of $G.$ Further, we show that… ▽ More For a locally compact group $G$ and $1 < p < \infty,$ let $B_p(G)$ denote the $p$-analog of the Fourier-Stieltjes algebra $B(G) \, (\text{or} \, B_2(G))$. Let $r: B_p(G) \to B_p(H)$ be the restriction map given by $r(u) = u|_H$ for any closed subgroup $H$ of $G.$ In this article, we prove that the restriction map $r$ is a surjective isometry for any open subgroup $H$ of $G.$ Further, we show that the range of the map $r$ is dense in $B_p(H)$ when $H$ is either a compact normal subgroup of $G$ or compact subgroup of an [SIN]$_H$-group. △ Less

Submitted 23 May, 2024; originally announced May 2024.

Comments: 14 pages

MSC Class: Primary 43A15; 43A25; 46J10; Secondary 22D12; 43A65

Prediction of Cryptocurrency Prices through a Path Dependent Monte Carlo Simulation

Authors: Ayush Singh, Anshu K. Jha, Amit N. Kumar

Abstract: In this paper, our focus lies on the Merton's jump diffusion model, employing jump processes characterized by the compound Poisson process. Our primary objective is to forecast the drift and volatility of the model using a variety of methodologies. We adopt an approach that involves implementing different drift, volatility, and jump terms within the model through various machine learning technique… ▽ More In this paper, our focus lies on the Merton's jump diffusion model, employing jump processes characterized by the compound Poisson process. Our primary objective is to forecast the drift and volatility of the model using a variety of methodologies. We adopt an approach that involves implementing different drift, volatility, and jump terms within the model through various machine learning techniques, traditional methods, and statistical methods on price-volume data. Additionally, we introduce a path-dependent Monte Carlo simulation to model cryptocurrency prices, taking into account the volatility and unexpected jumps in prices. △ Less

Submitted 10 April, 2024; originally announced May 2024.

Comments: 21 pages

Maximal regular ideals of algebras related to the dual of Orlicz Figà-Talamanca Herz algebra

Authors: Arvish Dabra, Rattan Lal, N. Shravan Kumar

Abstract: Let $G$ be a locally compact group and the pair $(Φ,Ψ)$ be a complementary pair of Young functions satisfying the $Δ_2$-condition. Let $A_Φ(G)$ be the Orlicz analog of the Figà-Talamanca Herz algebra associated with the function $Φ.$ The dual of the algebra $A_Φ(G)$ is the space of $Ψ$-pseudomeasures, denoted $PM_Ψ(G).$ In this article, we aim to characterize the maximal regular left (right or two… ▽ More Let $G$ be a locally compact group and the pair $(Φ,Ψ)$ be a complementary pair of Young functions satisfying the $Δ_2$-condition. Let $A_Φ(G)$ be the Orlicz analog of the Figà-Talamanca Herz algebra associated with the function $Φ.$ The dual of the algebra $A_Φ(G)$ is the space of $Ψ$-pseudomeasures, denoted $PM_Ψ(G).$ In this article, we aim to characterize the maximal regular left (right or two-sided) ideals of the Banach algebras $\mathcal{A}^{'}$ and $\mathcal{B}^{''}.$ The space $\mathcal{A}$ is any of the closed subspaces $C_{δ,Ψ}(\widehat{G}), PF_Ψ(G), M(\widehat{G}), AP_Ψ(\widehat{G}), WAP_Ψ(\widehat{G}), UCB_Ψ(\widehat{G})$ or $PM_Ψ({G}),$ of $PM_Ψ(G),$ and the space $\mathcal{B}$ is any of the Banach algebras $W_Φ(G)$ or $B_Φ(G).$ We further characterize the minimal left ideals of $\mathcal{A}^{'}.$ Moreover, we also prove the necessary and sufficient conditions for the existence of minimal ideals in the Banach algebras $A_Φ(G)$ and $\mathcal{B}.$ △ Less

Submitted 6 April, 2024; originally announced April 2024.

MSC Class: Primary 43A15; 46J10; 46J20; Secondary 43A99

Almost Complete Intersections: Regularity of powers and Rees algebra

Authors: Neeraj Kumar, Chitra Venugopal

Abstract: An almost complete intersection ideal can be seen as a $d$-sequence ideal with the minimal number of generators being one more than its height. In this paper, we give exact formulas for the regularity of powers of graded almost complete intersection ideals. We also present the minimal bigraded free resolutions of Rees algebras associated with linear type ideals having one generator more than their… ▽ More An almost complete intersection ideal can be seen as a $d$-sequence ideal with the minimal number of generators being one more than its height. In this paper, we give exact formulas for the regularity of powers of graded almost complete intersection ideals. We also present the minimal bigraded free resolutions of Rees algebras associated with linear type ideals having one generator more than their grade and study the properties of Cohen-Macaualyness, Koszulness associated to their diagonals. △ Less

Submitted 23 March, 2024; originally announced March 2024.

Comments: Comments and suggestions are welcome

MSC Class: 13D02; 13J30; 13C05; 13H10

Asymptotic solutions of generalized Fermat-type equation of signature $(p,p,3)$ over totally real number fields

Authors: Narasimha Kumar, Satyabrat Sahoo

Abstract: In this article, we study the asymptotic solutions of the generalized Fermat-type equation of signature $(p,p,3)$ over totally real number fields $K$, i.e., $Ax^p+By^p=Cz^3$ with prime exponent $p$ and $A,B,C \in \mathcal{O}_K \setminus \{0\}$. For certain class of fields $K$, we prove that $Ax^p+By^p=Cz^3$ has no asymptotic solutions over $K$ (resp., solutions of certain type over $K$) with restr… ▽ More In this article, we study the asymptotic solutions of the generalized Fermat-type equation of signature $(p,p,3)$ over totally real number fields $K$, i.e., $Ax^p+By^p=Cz^3$ with prime exponent $p$ and $A,B,C \in \mathcal{O}_K \setminus \{0\}$. For certain class of fields $K$, we prove that $Ax^p+By^p=Cz^3$ has no asymptotic solutions over $K$ (resp., solutions of certain type over $K$) with restrictions on $A,B,C$ (resp., for all $A,B,C \in \mathcal{O}_K \setminus \{0\}$). Finally, we present several local criteria over $K$. △ Less

Submitted 20 February, 2024; originally announced March 2024.

Comments: arXiv admin note: substantial text overlap with arXiv:2301.09263

MSC Class: Primary 11D41; 11R80; Secondary 11F80; 11G05; 11R04

Arens regularity of the Orlicz Figà-Talamanca Herz Algebra

Authors: Arvish Dabra, N. Shravan Kumar

Abstract: Let G be a locally compact group and let $A_Φ(G)$ be the Orlicz-version of the Figà-Talamanca Herz algebra of G associated with a Young function $Φ.$ We show that if $A_Φ(G)$ is Arens regular, then $G$ is discrete. We further explore the Arens regularity of $A_Φ(G)$ when the underlying group $G$ is discrete. In the running, we also show that $A_Φ(G)$ is finite-dimensional if and only if $G$ is fin… ▽ More Let G be a locally compact group and let $A_Φ(G)$ be the Orlicz-version of the Figà-Talamanca Herz algebra of G associated with a Young function $Φ.$ We show that if $A_Φ(G)$ is Arens regular, then $G$ is discrete. We further explore the Arens regularity of $A_Φ(G)$ when the underlying group $G$ is discrete. In the running, we also show that $A_Φ(G)$ is finite-dimensional if and only if $G$ is finite. Further, for amenable groups, we show that $A_Φ(G)$ is reflexive if and only if $G$ is finite, under the assumption that the associated Young function $Φ$ satisfies the MA-condition. △ Less

Submitted 31 January, 2024; originally announced January 2024.

MSC Class: Primary 43A15; 43A30; 46B22; Secondary 43A60; 46J10

Estimation of Tsallis entropy for exponentially distributed several populations

Authors: Naveen Kumar, Ambesh Dixit, Vivek Vijay

Abstract: We study the estimation of Tsallis entropy of a finite number of independent populations, each following an exponential distribution with the same scale parameter and distinct location parameters for $q>0$. We derive a Stein-type improved estimate, establishing the inadmissibility of the best affine equivariant estimate of the parameter function. A class of smooth estimates utilizing the Brewster… ▽ More We study the estimation of Tsallis entropy of a finite number of independent populations, each following an exponential distribution with the same scale parameter and distinct location parameters for $q>0$. We derive a Stein-type improved estimate, establishing the inadmissibility of the best affine equivariant estimate of the parameter function. A class of smooth estimates utilizing the Brewster technique is obtained, resulting in a significant improvement in the risk value. We computed the Brewster-Zidek estimates for both one and two populations, to illustrate the comparison with best affine equivariant and Stein-type estimates. We further derive that the Bayesian estimate, employing an inverse gamma prior, which takes the best affine equivariant estimate as a particular case. We provide a numerical illustration utilizing simulated samples for a single population. The purpose is to demonstrate the impact of sample size, location parameter, and entropic index on the estimates. △ Less

Submitted 17 January, 2024; originally announced January 2024.

Boundary determination of coefficients appearing in a perturbed weighted $p$-Laplace equation

Authors: Nitesh Kumar, Tanmay Sarkar, Manmohan Vashisth

Abstract: We study an inverse boundary value problem associated with $p$-Laplacian which is further perturbed by a linear second order term, defined on a bounded set $Ω$ in $\R^n, n\geq 2$. We recover the coefficients at the boundary from the boundary measurements which are given by the Dirichlet to Neumann map. Our approach relies on the appropriate asymptotic expansion of the solution and it allows one to… ▽ More We study an inverse boundary value problem associated with $p$-Laplacian which is further perturbed by a linear second order term, defined on a bounded set $Ω$ in $\R^n, n\geq 2$. We recover the coefficients at the boundary from the boundary measurements which are given by the Dirichlet to Neumann map. Our approach relies on the appropriate asymptotic expansion of the solution and it allows one to recover the coefficients pointwise. Furthermore, by considering the localized Dirichlet-to-Neumann map around a boundary point, we provide a procedure to reconstruct the normal derivative of the coefficients at that boundary point. △ Less

Submitted 11 January, 2024; originally announced January 2024.

Lehmer-Type bounds and counting rational points of bounded heights on Abelian varieties

Authors: Narasimha Kumar, Satyabrat Sahoo

Abstract: In this article, we study Lehmer-type bounds for the Néron-Tate height of $\bar{K}$-points on abelian varieties $A$ over number fields $K$. Then, we estimate the number of $K$-rational points on $A$ with Néron-Tate height $\leq \log B$ for $B\gg 0$. This estimate involves a constant $C$, which is not explicit. However, for elliptic curves and the product of elliptic curves over $K$, we make the co… ▽ More In this article, we study Lehmer-type bounds for the Néron-Tate height of $\bar{K}$-points on abelian varieties $A$ over number fields $K$. Then, we estimate the number of $K$-rational points on $A$ with Néron-Tate height $\leq \log B$ for $B\gg 0$. This estimate involves a constant $C$, which is not explicit. However, for elliptic curves and the product of elliptic curves over $K$, we make the constant explicitly computable. △ Less

Submitted 27 March, 2024; v1 submitted 19 November, 2023; originally announced November 2023.

Comments: To appear in the International Journal of Number Theory

MSC Class: (MSC 2020) Primary 11G50; 11G10; 14K15; Secondary 14G25

On Positive Matching Decomposition Conjectures of Hypergraphs

Authors: Marie Amalore Nambi, Neeraj Kumar

Abstract: In this paper, we prove the conjectures of Gharakhloo and Welker (2023) that the positive matching decomposition number (pmd) of a $3$-uniform hypergraph is bounded from above by a polynomial of degree $2$ in terms of the number of vertices. Moreover, we derive a lower bound for pmd specifically for complete $3$-uniform hypergraphs. Additionally, we obtain an upper bound for pmd of $r$-uniform hyp… ▽ More In this paper, we prove the conjectures of Gharakhloo and Welker (2023) that the positive matching decomposition number (pmd) of a $3$-uniform hypergraph is bounded from above by a polynomial of degree $2$ in terms of the number of vertices. Moreover, we derive a lower bound for pmd specifically for complete $3$-uniform hypergraphs. Additionally, we obtain an upper bound for pmd of $r$-uniform hypergraphs. For a $r$-uniform hypergraphs $H=(V,E)$ such that $\lvert e_i\cap e_j\rvert \leq 1$ for all $e_i,e_j \in E$, we give a characterization of positive matching in terms of strong alternate closed walks. For specific classes of a hypergraph, we classify the radical and complete intersection Lovász$-$Saks$-$Schrijver ideals. △ Less

Submitted 4 March, 2024; v1 submitted 27 September, 2023; originally announced September 2023.

Comments: Subsection 2.1 is added

MSC Class: Primary 05C70; 13F65; 13F70; 13C40. Secondary 05C75; 05E40

Power boundedness in Fourier and Fourier-Stieltjes algebra of an ultraspherical hypergroup

Authors: Reza Esmailvandi, Mehdi Nemati, N. Shravan kumar

Abstract: Let $H$ be an ultraspherical hypergroup associated with a locally compact group $G$ and a spherical projector $π$ and let $A(H)$ and $B(H)$ denote the Fourier and Fourier-Stieltjes algebras, respectively, associated with $H.$ In this note, we study power boundedness and Cesàro boundedness in $B(H)$. We also characterize the power bounded property for both $A(H)$ and $B(H).$ Let $H$ be an ultraspherical hypergroup associated with a locally compact group $G$ and a spherical projector $π$ and let $A(H)$ and $B(H)$ denote the Fourier and Fourier-Stieltjes algebras, respectively, associated with $H.$ In this note, we study power boundedness and Cesàro boundedness in $B(H)$. We also characterize the power bounded property for both $A(H)$ and $B(H).$ △ Less

Submitted 20 September, 2023; originally announced September 2023.

Spectral Synthesis in the Multidimensional Fourier Algebra and the Varopolous Algebra for Compact Groups

Authors: Kanupriya, N. Shravan Kumar

Abstract: Let $G$ be a compact group and let $A^n(G)$ denote the multidimensional Fourier algebra introduced by Todorov and Turowska. In this note, we first define the multidimensional version of the Varopolous algebra and show that the multidimensional Fourier algebra can be embedded into the multidimensional Varopolous algebra. Using this embedding, we also prove a result on parallel synthesis, subsuming… ▽ More Let $G$ be a compact group and let $A^n(G)$ denote the multidimensional Fourier algebra introduced by Todorov and Turowska. In this note, we first define the multidimensional version of the Varopolous algebra and show that the multidimensional Fourier algebra can be embedded into the multidimensional Varopolous algebra. Using this embedding, we also prove a result on parallel synthesis, subsuming the earlier results of Varopolous, Spronk-Turowska and Parthsarathy-Prakash. △ Less

Submitted 30 July, 2023; originally announced July 2023.

Comments: 17 pages

MSC Class: Primary 43A45; 43A77; 47L25; Secondary 43A15; 46L07

Hardness of the Maximum Independent Set Problem on Unit-Disk Graphs and Prospects for Quantum Speedups

Authors: Ruben S. Andrist, Martin J. A. Schuetz, Pierre Minssen, Romina Yalovetzky, Shouvanik Chakrabarti, Dylan Herman, Niraj Kumar, Grant Salton, Ruslan Shaydulin, Yue Sun, Marco Pistoia, Helmut G. Katzgraber

Abstract: Rydberg atom arrays are among the leading contenders for the demonstration of quantum speedups. Motivated by recent experiments with up to 289 qubits [Ebadi et al., Science 376, 1209 (2022)] we study the maximum independent set problem on unit-disk graphs with a broader range of classical solvers beyond the scope of the original paper. We carry out extensive numerical studies and assess problem ha… ▽ More Rydberg atom arrays are among the leading contenders for the demonstration of quantum speedups. Motivated by recent experiments with up to 289 qubits [Ebadi et al., Science 376, 1209 (2022)] we study the maximum independent set problem on unit-disk graphs with a broader range of classical solvers beyond the scope of the original paper. We carry out extensive numerical studies and assess problem hardness, using both exact and heuristic algorithms. We find that quasi-planar instances with Union-Jack-like connectivity can be solved to optimality for up to thousands of nodes within minutes, with both custom and generic commercial solvers on commodity hardware, without any instance-specific fine-tuning. We also perform a scaling analysis, showing that by relaxing the constraints on the classical simulated annealing algorithms considered in Ebadi et al., our implementation is competitive with the quantum algorithms. Conversely, instances with larger connectivity or less structure are shown to display a time-to-solution potentially orders of magnitudes larger. Based on these results we propose protocols to systematically tune problem hardness, motivating experiments with Rydberg atom arrays on instances orders of magnitude harder (for established classical solvers) than previously studied. △ Less

Submitted 9 January, 2024; v1 submitted 18 July, 2023; originally announced July 2023.

Comments: Manuscript: 9 pages, 9 figures. Appendix: 2 pages, 4 figures

Journal ref: Phys. Rev. Research 5, 043277 (2023)

Paley inequality for the Weyl transform and its applications

Authors: Ritika Singhal, N. Shravan Kumar

Abstract: In this paper, we prove several versions of the classical Paley inequality for the Weyl transform. As an application, we discuss $L^p$-$L^q$ boundedness of the Weyl multipliers and prove a version of the Hörmander's multiplier theorem. We also prove Hardy-Littlewood inequality. Finally, we study vector-valued versions of these inequalities. In particular, we consider the inequalities of Paley, Hau… ▽ More In this paper, we prove several versions of the classical Paley inequality for the Weyl transform. As an application, we discuss $L^p$-$L^q$ boundedness of the Weyl multipliers and prove a version of the Hörmander's multiplier theorem. We also prove Hardy-Littlewood inequality. Finally, we study vector-valued versions of these inequalities. In particular, we consider the inequalities of Paley, Hausdorff-Young, and Hardy-Littlewood and their relations. △ Less

Submitted 5 July, 2023; originally announced July 2023.

MSC Class: 43A32; 43A15; 43A25

(Almost) Complete Intersection Lovász-Saks-Schrijver ideals and regularity of their powers

Authors: Marie Amalore Nambi, Neeraj Kumar, Chitra Venugopal

Abstract: We discuss the property of (almost) complete intersection of LSS-ideals of graphs of some special forms, like trees, unicyclic, and bicyclic graphs. Further, we give a sufficient condition for the complete intersection property of twisted LSS-ideals in terms of a new graph theoretical invariant called twisted positive matching decomposition number denoted by tpmd. We also study the regularity of p… ▽ More We discuss the property of (almost) complete intersection of LSS-ideals of graphs of some special forms, like trees, unicyclic, and bicyclic graphs. Further, we give a sufficient condition for the complete intersection property of twisted LSS-ideals in terms of a new graph theoretical invariant called twisted positive matching decomposition number denoted by tpmd. We also study the regularity of powers of LSS-ideals and make observations related to the Koszul property of the quotients of the same. △ Less

Submitted 30 November, 2023; v1 submitted 16 May, 2023; originally announced May 2023.

Comments: Propositions 2.1, 2.2 and Theorem 2.1 are added related to a new invariant called tpmd

MSC Class: Primary 13F65; 13F70; 13C40; Secondary 14M10; 13D02; 05E40

Unsupervised Discovery of Extreme Weather Events Using Universal Representations of Emergent Organization

Authors: Adam Rupe, Karthik Kashinath, Nalini Kumar, James P. Crutchfield

Abstract: Spontaneous self-organization is ubiquitous in systems far from thermodynamic equilibrium. While organized structures that emerge dominate transport properties, universal representations that identify and describe these key objects remain elusive. Here, we introduce a theoretically-grounded framework for describing emergent organization that, via data-driven algorithms, is constructive in practice… ▽ More Spontaneous self-organization is ubiquitous in systems far from thermodynamic equilibrium. While organized structures that emerge dominate transport properties, universal representations that identify and describe these key objects remain elusive. Here, we introduce a theoretically-grounded framework for describing emergent organization that, via data-driven algorithms, is constructive in practice. Its building blocks are spacetime lightcones that embody how information propagates across a system through local interactions. We show that predictive equivalence classes of lightcones -- local causal states -- capture organized behaviors and coherent structures in complex spatiotemporal systems. Employing an unsupervised physics-informed machine learning algorithm and a high-performance computing implementation, we demonstrate automatically discovering coherent structures in two real world domain science problems. We show that local causal states identify vortices and track their power-law decay behavior in two-dimensional fluid turbulence. We then show how to detect and track familiar extreme weather events -- hurricanes and atmospheric rivers -- and discover other novel coherent structures associated with precipitation extremes in high-resolution climate data at the grid-cell level. △ Less

Submitted 28 September, 2023; v1 submitted 25 April, 2023; originally announced April 2023.

Fractional eternal domination: securely distributing resources across a network

Authors: Fnu Devvrit, Aaron Krim-Yee, Nithish Kumar, Gary MacGillivray, Ben Seamone, Virgélot Virgile, AnQi Xu

Abstract: This paper initiates the study of fractional eternal domination in graphs, a natural relaxation of the well-studied eternal domination problem. We study the connections to flows and linear programming in order to obtain results on the complexity of determining the fractional eternal domination number of a graph $G$, which we denote $γ_{\,\textit{f}}^{\infty}(G)$. We study the behaviour of… ▽ More This paper initiates the study of fractional eternal domination in graphs, a natural relaxation of the well-studied eternal domination problem. We study the connections to flows and linear programming in order to obtain results on the complexity of determining the fractional eternal domination number of a graph $G$, which we denote $γ_{\,\textit{f}}^{\infty}(G)$. We study the behaviour of $γ_{\,\textit{f}}^{\infty}(G)$ as it relates to other domination parameters. We also determine bounds on, and in some cases exact values for, $γ_{\,\textit{f}}^{\infty}(G)$ when $G$ is a member of one of a variety of important graph classes, including trees, split graphs, strongly chordal graphs, Kneser graphs, abelian Cayley graphs, and graph products. △ Less

Submitted 23 April, 2023; originally announced April 2023.

Comments: 32 pages, including appendix

MSC Class: 05C57; 05C69; 05C72; 05C21; 90C05; 91A24; 49N75

A note on sequences and y-regularity of Rees algebra

Authors: Neeraj Kumar, Chitra Venugopal

Abstract: Given a graded ring $A$ and a homogeneous ideal $I$, the ideal is said to be of linear type if the Rees algebra of $I$ is isomorphic to the symmetric algebra of $I$. We examine the relations between different notions of sequences already known in literature which form ideals of linear type. We observe how the vanishing of $y$-regularity of the Rees algebra of an ideal is connected to the ideal bei… ▽ More Given a graded ring $A$ and a homogeneous ideal $I$, the ideal is said to be of linear type if the Rees algebra of $I$ is isomorphic to the symmetric algebra of $I$. We examine the relations between different notions of sequences already known in literature which form ideals of linear type. We observe how the vanishing of $y$-regularity of the Rees algebra of an ideal is connected to the ideal being generated by some specific sequences. As an application of this, we discuss Koszulness and Cohen-Macaulayness of the diagonal subalgebras of Rees algebras of ideals generated by some of these sequences. We also mention Macaulay2 algorithms to check if an ideal is generated by a $d$-sequence, c-sequence, weak relative-regular sequence and for computing bi-regularities. △ Less

Submitted 23 August, 2023; v1 submitted 1 March, 2023; originally announced March 2023.

Comments: Comments and suggestions are welcome. In version 2, subsection 2.1 has been added

MSC Class: 13D02; 13-04; 13P20; 13A30; 13A02

Rees algebra of maximal order Pfaffians and its diagonal subalgebras

Authors: Neeraj Kumar, Chitra Venugopal

Abstract: Given a skew-symmetric matrix $X$, the Pfaffian of $X$ is defined as the square root of the determinant of $X$. In this article, we give the explicit defining equations of the Rees algebra of a Pfaffian ideal $I$ generated by the maximal order Pfaffians of a generic skew-symmetric matrix. We further prove that all diagonal subalgebras of the corresponding Rees algebra of $I$ are Koszul. We also lo… ▽ More Given a skew-symmetric matrix $X$, the Pfaffian of $X$ is defined as the square root of the determinant of $X$. In this article, we give the explicit defining equations of the Rees algebra of a Pfaffian ideal $I$ generated by the maximal order Pfaffians of a generic skew-symmetric matrix. We further prove that all diagonal subalgebras of the corresponding Rees algebra of $I$ are Koszul. We also look at Rees algebras of Pfaffian ideals of linear type associated with certain sparse skew-symmetric matrices. In particular, we consider the tridiagonal matrices and identify the corresponding Pfaffian ideals to be of Gröbner linear type and as the vertex cover ideals of unmixed bipartite graphs. As an application of our results, we conclude that all their ordinary and symbolic powers have linear quotients. △ Less

Submitted 27 September, 2023; v1 submitted 15 February, 2023; originally announced February 2023.

Comments: To appear in Communications in Algebra

MSC Class: 13C40; 13D02; 13H10

An Efficient Solution to s-Rectangular Robust Markov Decision Processes

Authors: Navdeep Kumar, Kfir Levy, Kaixin Wang, Shie Mannor

Abstract: We present an efficient robust value iteration for \texttt{s}-rectangular robust Markov Decision Processes (MDPs) with a time complexity comparable to standard (non-robust) MDPs which is significantly faster than any existing method. We do so by deriving the optimal robust Bellman operator in concrete forms using our $L_p$ water filling lemma. We unveil the exact form of the optimal policies, whic… ▽ More We present an efficient robust value iteration for \texttt{s}-rectangular robust Markov Decision Processes (MDPs) with a time complexity comparable to standard (non-robust) MDPs which is significantly faster than any existing method. We do so by deriving the optimal robust Bellman operator in concrete forms using our $L_p$ water filling lemma. We unveil the exact form of the optimal policies, which turn out to be novel threshold policies with the probability of playing an action proportional to its advantage. △ Less

Submitted 31 January, 2023; originally announced January 2023.

Comments: arXiv admin note: substantial text overlap with arXiv:2205.14327

On the solutions of $x^2= By^p+Cz^p$ and $2x^2= By^p+Cz^p$ over totally real fields

Authors: Narasimha Kumar, Satyabrat Sahoo

Abstract: In this article, we study the solutions of certain type over $K$ of the Diophantine equation $x^2= By^p+Cz^p$ with prime exponent $p$, where $B$ is an odd integer and $C$ is either an odd integer or $C=2^r$ for $r \in \mathbb{N}$. Further, we study the non-trivial primitive solutions of the Diophantine equation $x^2= By^p+2^rz^p$ ($r\in {1,2,4,5}$) (resp., $2x^2= By^p+2^rz^p$ with… ▽ More In this article, we study the solutions of certain type over $K$ of the Diophantine equation $x^2= By^p+Cz^p$ with prime exponent $p$, where $B$ is an odd integer and $C$ is either an odd integer or $C=2^r$ for $r \in \mathbb{N}$. Further, we study the non-trivial primitive solutions of the Diophantine equation $x^2= By^p+2^rz^p$ ($r\in {1,2,4,5}$) (resp., $2x^2= By^p+2^rz^p$ with $r \in \mathbb{N}$) with prime exponent $p$, over $K$. We also present several purely local criteria of $K$. △ Less

Submitted 6 April, 2024; v1 submitted 22 January, 2023; originally announced January 2023.

Comments: To appear in the Ramanujan Journal

MSC Class: Primary 11D41; 11R80; Secondary 11F80; 11G05; 11R04

Port-Hamiltonian Discontinuous Galerkin Finite Element Methods

Authors: N. Kumar, J. J. W. van der Vegt, H. J. Zwart

Abstract: A port-Hamiltonian (pH) system formulation is a geometrical notion used to formulate conservation laws for various physical systems. The distributed parameter port-Hamiltonian formulation models infinite dimensional Hamiltonian dynamical systems that have a non-zero energy flow through the boundaries. In this paper we propose a novel framework for discontinuous Galerkin (DG) discretizations of pH-… ▽ More A port-Hamiltonian (pH) system formulation is a geometrical notion used to formulate conservation laws for various physical systems. The distributed parameter port-Hamiltonian formulation models infinite dimensional Hamiltonian dynamical systems that have a non-zero energy flow through the boundaries. In this paper we propose a novel framework for discontinuous Galerkin (DG) discretizations of pH-systems. Linking DG methods with pH-systems gives rise to compatible structure preserving finite element discretizations along with flexibility in terms of geometry and function spaces of the variables involved. Moreover, the port-Hamiltonian formulation makes boundary ports explicit, which makes the choice of structure and power preserving numerical fluxes easier. We state the Discontinuous Finite Element Stokes-Dirac structure with a power preserving coupling between elements, which provides the mathematical framework for a large class of pH discontinuous Galerkin discretizations. We also provide an a priori error analysis for the port-Hamiltonian discontinuous Galerkin Finite Element Method (pH-DGFEM). The port-Hamiltonian discontinuous Galerkin finite element method is demonstrated for the scalar wave equation showing optimal rates of convergence. △ Less

Submitted 14 December, 2022; originally announced December 2022.

Regularity of powers of d-sequence (parity) binomial edge ideals of unicycle graphs

Authors: Marie Amalore Nambi, Neeraj Kumar

Abstract: We classify all unicycle graphs whose edge-binomials form a $d$-sequence, particularly linear type binomial edge ideals. We also classify unicycle graphs whose parity edge-binomials form a $d$-sequence. We study the regularity of powers of (parity) binomial edge ideals of unicycle graphs generated by $d$-sequence (parity) edge-binomials. We classify all unicycle graphs whose edge-binomials form a $d$-sequence, particularly linear type binomial edge ideals. We also classify unicycle graphs whose parity edge-binomials form a $d$-sequence. We study the regularity of powers of (parity) binomial edge ideals of unicycle graphs generated by $d$-sequence (parity) edge-binomials. △ Less

Submitted 18 March, 2024; v1 submitted 25 September, 2022; originally announced September 2022.

Comments: To appear in Communications in Algebra

MSC Class: 05E40; 13D02

D-Sequence Edge Binomials, and Regularity of Powers of Binomial Edge Ideals of Trees

Authors: Marie Amalore Nambi, Neeraj Kumar

Abstract: We provide the necessary and sufficient conditions for the edge-binomials of the tree forming a $d$-sequence in terms of the degree sequence notion of a graph. We study the regularity of powers of the binomial edge ideals of trees generated by $d$-sequence edge binomials. We provide the necessary and sufficient conditions for the edge-binomials of the tree forming a $d$-sequence in terms of the degree sequence notion of a graph. We study the regularity of powers of the binomial edge ideals of trees generated by $d$-sequence edge binomials. △ Less

Submitted 18 May, 2023; v1 submitted 15 September, 2022; originally announced September 2022.

Comments: To appear in Journal of Algebra and Its Applications

MSC Class: 13F65; 13D02; 05E40

On the solutions of $x^p+y^p=2^r z^p$, $x^p+y^p=z^2$ over totally real fields

Authors: Narasimha Kumar, Satyabrat Sahoo

Abstract: In this article, we study the non-trivial primitive solutions of a certain type for the Diophantine equations $x^p+y^p=2^rz^p$ and $x^p+y^p=z^2$ of prime exponent $p$, $r \in \mathbb{N}$, over a totally real field $K$. Then for $r=2,3$, we study the non-trivial primitive solutions over $\mathcal{O}_K$ for the equation $x^p+y^p=2^rz^p$ of prime exponent $p$. Finally, we give several purely local cr… ▽ More In this article, we study the non-trivial primitive solutions of a certain type for the Diophantine equations $x^p+y^p=2^rz^p$ and $x^p+y^p=z^2$ of prime exponent $p$, $r \in \mathbb{N}$, over a totally real field $K$. Then for $r=2,3$, we study the non-trivial primitive solutions over $\mathcal{O}_K$ for the equation $x^p+y^p=2^rz^p$ of prime exponent $p$. Finally, we give several purely local criteria for $K$ such that the equation $x^p+y^p=2^rz^p$ has no non-trivial primitive solutions over $\mathcal{O}_K$. △ Less

Submitted 19 January, 2023; v1 submitted 22 July, 2022; originally announced July 2022.

MSC Class: 11D41 (Primary); 11F80; 11R04; 11R80 (Secondary)

Journal ref: Acta Arith. 212 (2024), no. 1, 31--47

Enhancing Fairness of Visual Attribute Predictors

Authors: Tobias Hänel, Nishant Kumar, Dmitrij Schlesinger, Mengze Li, Erdem Ünal, Abouzar Eslami, Stefan Gumhold

Abstract: The performance of deep neural networks for image recognition tasks such as predicting a smiling face is known to degrade with under-represented classes of sensitive attributes. We address this problem by introducing fairness-aware regularization losses based on batch estimates of Demographic Parity, Equalized Odds, and a novel Intersection-over-Union measure. The experiments performed on facial a… ▽ More The performance of deep neural networks for image recognition tasks such as predicting a smiling face is known to degrade with under-represented classes of sensitive attributes. We address this problem by introducing fairness-aware regularization losses based on batch estimates of Demographic Parity, Equalized Odds, and a novel Intersection-over-Union measure. The experiments performed on facial and medical images from CelebA, UTKFace, and the SIIM-ISIC melanoma classification challenge show the effectiveness of our proposed fairness losses for bias mitigation as they improve model fairness while maintaining high classification performance. To the best of our knowledge, our work is the first attempt to incorporate these types of losses in an end-to-end training scheme for mitigating biases of visual attribute predictors. Our code is available at https://github.com/nish03/FVAP. △ Less

Submitted 1 October, 2022; v1 submitted 7 July, 2022; originally announced July 2022.

Comments: Camera Ready, ACCV 2022

Complete Hypersurfaces of Constant Isotropic Curvature in Space Forms

Authors: H. A. Gururaja, Niteesh Kumar

Abstract: We classify complete orientable hypersurfaces of constant isotropic curvature in space forms. We show that such a hypersurface has constant mean curvature only if it is an isoparametric hypersurface, and that it is minimal if and only if it is totally geodesic or it is the Clifford minimal hypersurface ${\mathbb S}^{3}(\frac{4c}{3})\times {\mathbb S}^{1}(4c)$ in ${\mathbb S}^{5}(c).$ We classify complete orientable hypersurfaces of constant isotropic curvature in space forms. We show that such a hypersurface has constant mean curvature only if it is an isoparametric hypersurface, and that it is minimal if and only if it is totally geodesic or it is the Clifford minimal hypersurface ${\mathbb S}^{3}(\frac{4c}{3})\times {\mathbb S}^{1}(4c)$ in ${\mathbb S}^{5}(c).$ △ Less

Submitted 17 October, 2022; v1 submitted 30 June, 2022; originally announced June 2022.

Comments: 12 Pages. Minor errors have been corrected and new examples are added

MSC Class: 53

Binomial Approximation to Locally Dependent CDO

Authors: Amit N. Kumar, P. Vellaisamy

Abstract: In this paper, we develop Stein's method for binomial approximation using the stop-loss metric that allows one to obtain a bound on the error term between the expectation of call functions. We obtain the results for a locally dependent collateralized debt obligation (CDO), under certain conditions on moments. The results are also exemplified for an independent CDO. Finally, it is shown that our bo… ▽ More In this paper, we develop Stein's method for binomial approximation using the stop-loss metric that allows one to obtain a bound on the error term between the expectation of call functions. We obtain the results for a locally dependent collateralized debt obligation (CDO), under certain conditions on moments. The results are also exemplified for an independent CDO. Finally, it is shown that our bounds are sharper than the existing bounds. △ Less

Submitted 24 March, 2022; originally announced March 2022.

Comments: 19 pages

MSC Class: Primary: 62E17; 62E20; Secondary: 60F05; 60E05

Least-squares formulations for Stokes equations with non-standard boundary conditions -- A unified approach

Authors: Subhashree Mohapatra, N. Kishore Kumar, Shivangi Joshi

Abstract: In this paper, we propose a unified non-conforming least-squares spectral element approach for solving Stokes equations with various non-standard boundary conditions. Existing least-squares formulations mostly deal with Dirichlet boundary conditions are formulated using ADN theory-based regularity estimates. However, changing boundary conditions lead to a search for parameters satisfying supplemen… ▽ More In this paper, we propose a unified non-conforming least-squares spectral element approach for solving Stokes equations with various non-standard boundary conditions. Existing least-squares formulations mostly deal with Dirichlet boundary conditions are formulated using ADN theory-based regularity estimates. However, changing boundary conditions lead to a search for parameters satisfying supplementing and complimenting conditions [4] which is not easy always. Here we have avoided ADN theory-based regularity estimates and proposed a unified approach for dealing with various boundary conditions. Stability estimates and error estimates have been discussed. Numerical results displaying exponential accuracy have been presented for both two and three-dimensional cases with various boundary conditions. △ Less

Submitted 5 September, 2022; v1 submitted 21 March, 2022; originally announced March 2022.

Comments: 21

Ulrich bundles on double covers of projective spaces

Authors: N. Mohan Kumar, Poornapushkala Narayanan, A. J. Parameswaran

Abstract: In this article, we prove that any smooth projective variety $X$ which is a double cover of the projective space $\mathbb{P}^n$ ($n\geq 2$) admits an Ulrich bundle. When $n=2$, we show that on any such $X$, there is an Ulrich bundle of rank two. In this article, we prove that any smooth projective variety $X$ which is a double cover of the projective space $\mathbb{P}^n$ ($n\geq 2$) admits an Ulrich bundle. When $n=2$, we show that on any such $X$, there is an Ulrich bundle of rank two. △ Less

Submitted 1 November, 2023; v1 submitted 21 January, 2022; originally announced January 2022.

Comments: Proof of Theorem 1.1 revised. 24 pages

MSC Class: 14E20; 14J60; 14J70; 14H30; 14H50

Banach Spaces of GLT Sequences and Function Spaces

Authors: V. B. Kiran Kumar, Rahul Rajan, N. S. Sarath Kumar

Abstract: The Generalized Locally Toeplitz (GLT) sequences of matrices have been originated from the study of certain partial differential equations. To be more precise, such matrix sequences arise when we numerically approximate some partial differential equations by discretization. The study of the asymptotic spectral behaviour of GLT sequence is very important in analysing the solution of corresponding p… ▽ More The Generalized Locally Toeplitz (GLT) sequences of matrices have been originated from the study of certain partial differential equations. To be more precise, such matrix sequences arise when we numerically approximate some partial differential equations by discretization. The study of the asymptotic spectral behaviour of GLT sequence is very important in analysing the solution of corresponding partial differential equations. The approximating classes of sequences (a.c.s) and the spectral symbols are important notions in this connection. Recently, G. Barbarino obtained some additional results regarding the theoretical aspects of such notions. He obtained the completeness of the space of matrix sequences with respect to pseudo metric a.c.s. Also, he identified the space of GLT sequences with the space of measurable functions. In this article, we follow the same research line and obtain various results connecting the sub-algebras of matrix sequence spaces and sub-algebras of function spaces. In some cases, these are identifications as Banach spaces and some of them are Banach algebra identifications. In the process, we also prove that the convergence notions in the sense of eigenvalue/singular value clustering are equivalent to the convergence with respect to the metrics introduced here. These convergence notions are related to the study of preconditioners in the case of matrix/operator sequences. Finally, as an application of our main results, we establish a Korovkin-type result in the setting of GLT sequences. △ Less

Submitted 30 December, 2021; originally announced December 2021.

Journal ref: Electronic Journal of Linear Algebra, Volume 38, pp. 295-316, April 2022

Notes on Atkin-Lehner theory for Drinfeld modular forms

Authors: Tarun Dalal, Narasimha Kumar

Abstract: In this article, we settle a part of the Conjecture by Bandini and Valentino (\cite{BV19a}) for $S_{k,l}(Γ_0(T))$ when $\mathrm{dim}\ S_{k,l}(\mathrm{GL}_2(A))\leq 2$. Then, we frame this conjecture for prime, higher levels, and provide some evidence in favour of it. For any square-free level $\mathfrak{n}$, we define oldforms $S_{k,l}^{\mathrm{old}}(Γ_0(\mathfrak{n}))$, newforms… ▽ More In this article, we settle a part of the Conjecture by Bandini and Valentino (\cite{BV19a}) for $S_{k,l}(Γ_0(T))$ when $\mathrm{dim}\ S_{k,l}(\mathrm{GL}_2(A))\leq 2$. Then, we frame this conjecture for prime, higher levels, and provide some evidence in favour of it. For any square-free level $\mathfrak{n}$, we define oldforms $S_{k,l}^{\mathrm{old}}(Γ_0(\mathfrak{n}))$, newforms $S_{k,l}^{\mathrm{new}}(Γ_0(\mathfrak{n}))$, and investigate their properties. These properties depend on the commutativity of the (partial) Atkin-Lehner operators with the $U_\mathfrak{p}$-operators. Finally, we show that the set of all $U_\mathfrak{p}$-operators are simultaneously diagonalizable on $S_{k,l}^{\mathrm{new}}(Γ_0(\mathfrak{n}))$. △ Less

Submitted 23 July, 2022; v1 submitted 20 December, 2021; originally announced December 2021.

MSC Class: Primary 11F52; 11F25; Secondary 12J25; 11G09

On Congruences and Linear relations for Drinfeld modular forms of level $Γ_0(T)$, arbitrary type

Authors: Tarun Dalal, Narasimha Kumar

Abstract: In \cite{Cho09}, Choi studied congruences of coefficients (modulo $T^q-T$) for Drinfeld modular forms of level $Γ_0(T)$, trivial type and the linear relations between the initial coefficients of those. In this article, we generalize these results for level $Γ_0(T)$, arbitrary type. In \cite{Cho09}, Choi studied congruences of coefficients (modulo $T^q-T$) for Drinfeld modular forms of level $Γ_0(T)$, trivial type and the linear relations between the initial coefficients of those. In this article, we generalize these results for level $Γ_0(T)$, arbitrary type. △ Less

Submitted 3 April, 2022; v1 submitted 13 December, 2021; originally announced December 2021.

MSC Class: Primary 11F33; 11F52; Secondary 11F30

The structure of Drinfeld modular forms of level $Γ_0(T)$ and applications

Authors: Tarun Dalal, Narasimha Kumar

Abstract: In this article, we describe the structure of the $R$-algebra of Drinfeld modular forms $M(Γ_0(T))_R$ (resp., $M^0(Γ_0(T))_R$) of level $Γ_0(T)$ and the structure of mod-$\p$ reduction of $M_{\mfp}^0(Γ_0(T))$ for $\p \neq (T)$. As a result, we are able to study the properties of the weight filtration for $M_{k,l}(Γ_0(T))$. Finally, we prove a result on mod-$\p$ congruences for Drinfeld modular for… ▽ More In this article, we describe the structure of the $R$-algebra of Drinfeld modular forms $M(Γ_0(T))_R$ (resp., $M^0(Γ_0(T))_R$) of level $Γ_0(T)$ and the structure of mod-$\p$ reduction of $M_{\mfp}^0(Γ_0(T))$ for $\p \neq (T)$. As a result, we are able to study the properties of the weight filtration for $M_{k,l}(Γ_0(T))$. Finally, we prove a result on mod-$\p$ congruences for Drinfeld modular forms of level $Γ_0(\p T)$ for $\p \neq (T)$. △ Less

Submitted 8 December, 2021; originally announced December 2021.

MSC Class: Primary 11G09; 11F52; Secondary 11F33; 13C05

Ribet's conjecture for Eisenstein maximal ideals

Authors: Debargha Banerjee, Narasimha Kumar, Dipramit Majumdar

Abstract: According to Ogg's conjecture (Mazur's Theorem), cuspidal subgroup coincides with rational torsion points of the Jacobian variety of modular curves of the form $X_0(N)$ for a {\it prime} number $N$. There is a recent interest to generalize the conjecture for arbitrary $N$ by Ribet, Ohta and Yoo. In this direction, Ribet conjectured that all the Eisenstein maximal ideals are "cuspidal". Hwajong Yoo… ▽ More According to Ogg's conjecture (Mazur's Theorem), cuspidal subgroup coincides with rational torsion points of the Jacobian variety of modular curves of the form $X_0(N)$ for a {\it prime} number $N$. There is a recent interest to generalize the conjecture for arbitrary $N$ by Ribet, Ohta and Yoo. In this direction, Ribet conjectured that all the Eisenstein maximal ideals are "cuspidal". Hwajong Yoo proved the conjecture ( under certain hypothesis) provided that those ideals are {\it rational}. In this article, we show that ( under certain hypothesis), Ribet's conjecture is true for {\it non-rational} Eisenstein maximal ideals. △ Less

Submitted 4 February, 2022; v1 submitted 15 November, 2021; originally announced November 2021.

Weyl transform of vector-valued functions and vector measures on the phase space associated to a locally compact abelian group

Authors: Ritika Singhal, N. Shravan Kumar

Abstract: In this paper, we introduce and study the Weyl transform of functions which are integrable with respect to a vector measure on a phase space associated to a locally compact abelian group. We also study the Weyl transform of vector measures. Later, we also introduce and study the convolution of functions from $L^p$-spaces associated to a vector measure. We also study the Weyl transform of vector-va… ▽ More In this paper, we introduce and study the Weyl transform of functions which are integrable with respect to a vector measure on a phase space associated to a locally compact abelian group. We also study the Weyl transform of vector measures. Later, we also introduce and study the convolution of functions from $L^p$-spaces associated to a vector measure. We also study the Weyl transform of vector-valued functions and prove a vector-valued analogue of the Hausdorff-Young inequality. △ Less

Submitted 13 July, 2021; originally announced July 2021.

On generation of the coefficient field of a primitive Hilbert modular form by a single Fourier coefficient

Authors: Narasimha Kumar, Satyabrat Sahoo

Abstract: For a primitive Hilbert modular form $f$ over $F$ of weight $k$, under certain assumptions on image of $\barρ_{f,λ}$, we calculate the Dirichlet density of primes $\mathfrak{p}$ for which the $\mathfrak{p}$-th Fourier coefficient $C(\mathfrak{p}, f)$ generates the coefficient field $E_f$. If $k=2$, then we show that the assumption on the image of $\barρ_{f,λ}$ is satisfied when the degrees of… ▽ More For a primitive Hilbert modular form $f$ over $F$ of weight $k$, under certain assumptions on image of $\barρ_{f,λ}$, we calculate the Dirichlet density of primes $\mathfrak{p}$ for which the $\mathfrak{p}$-th Fourier coefficient $C(\mathfrak{p}, f)$ generates the coefficient field $E_f$. If $k=2$, then we show that the assumption on the image of $\barρ_{f,λ}$ is satisfied when the degrees of $E_f, F$ are equal and odd prime. We also compute the density of primes $\mathfrak{p}$ for which $C^*(\mathfrak{p}, f)$ generates $F_f$. Then, we provide some examples of $f$ to support our results. Finally, we calculate the density of primes $\mathfrak{p}$ for which $C(\mathfrak{p}, f) \in K$ for any field $K$ with $F_f \subseteq K \subseteq E_f$. This density is completely determined by the inner twists of $f$ associated with $K$. This work can be thought of as a generalization of~\cite{KSW08} to primitive Hilbert modular forms. △ Less

Submitted 14 February, 2022; v1 submitted 10 July, 2021; originally announced July 2021.

MSC Class: Primary 11F30; 11F41; Secondary 11F80

Bounds on Negative Binomial Approximation to Call Function

Authors: Amit N. Kumar

Abstract: In this paper, we develop Stein's method for negative binomial distribution using call function defined by $f_z(k)=(k-z)^+=\max\{k-z,0\}$, for $k\ge 0$ and $z \ge 0$. We obtain error bounds between $\mathbb{E}[f_z(\text{N}_{r,p})]$ and $\mathbb{E}[f_z(V)]$, where $\text{N}_{r,p}$ follows negative binomial distribution and $V$ is the sum of locally dependent random variables, using certain conditio… ▽ More In this paper, we develop Stein's method for negative binomial distribution using call function defined by $f_z(k)=(k-z)^+=\max\{k-z,0\}$, for $k\ge 0$ and $z \ge 0$. We obtain error bounds between $\mathbb{E}[f_z(\text{N}_{r,p})]$ and $\mathbb{E}[f_z(V)]$, where $\text{N}_{r,p}$ follows negative binomial distribution and $V$ is the sum of locally dependent random variables, using certain conditions on moments. We demonstrate our results through an interesting application, namely, collateralized debt obligation (CDO), and compare the bounds with the existing bounds. △ Less

Submitted 15 May, 2021; originally announced May 2021.

Comments: 20 pages

MSC Class: Primary: 62E17; 62E20; Secondary: 60F05; 60E05

A Systematic Study on Weak Galerkin Finite Element Method for Second Order Parabolic Problems

Authors: Bhupen Deka, Naresh Kumar

Abstract: A systematic numerical study on weak Galerkin (WG) finite element method for second order linear parabolic problems is presented by allowing polynomial approximations with various degrees for each local element. Convergence of both semidiscrete and fully discrete WG solutions are established in $L^{\infty}(L^2)$ and $L^{\infty}(H^1)$ norms for a general WG element… ▽ More A systematic numerical study on weak Galerkin (WG) finite element method for second order linear parabolic problems is presented by allowing polynomial approximations with various degrees for each local element. Convergence of both semidiscrete and fully discrete WG solutions are established in $L^{\infty}(L^2)$ and $L^{\infty}(H^1)$ norms for a general WG element $({\cal P}_{k}(K),\;{\cal P}_{j}(\partial K),\;\big[{\cal P}_{l}(K)\big]^2)$, where $k\ge 1$, $j\ge 0$ and $l\ge 0$ are arbitrary integers. The fully discrete space-time discretization is based on a first order in time Euler scheme. Our results are intended to extend the numerical analysis of WG methods for elliptic problems [J. Sci. Comput., 74 (2018), 1369-1396] to parabolic problems. Numerical experiments are reported to justify the robustness, reliability and accuracy of the WG finite element method. △ Less

Submitted 25 March, 2021; originally announced March 2021.

Bounds for the extremal eigenvalues of gain Laplacian matrices

Authors: M. Rajesh Kannan, Navish Kumar, Shivaramakrishna Pragada

Abstract: A complex unit gain graph ($\mathbb{T}$-gain graph), $Φ= (G, \varphi)$ is a graph where the function $\varphi$ assigns a unit complex number to each orientation of an edge of $G$, and its inverse is assigned to the opposite orientation. A $ \mathbb{T} $-gain graph $Φ$ is balanced if the product of the edge gains of each cycle (with a fixed orientation) is $1$. Signed graphs are special cases of… ▽ More A complex unit gain graph ($\mathbb{T}$-gain graph), $Φ= (G, \varphi)$ is a graph where the function $\varphi$ assigns a unit complex number to each orientation of an edge of $G$, and its inverse is assigned to the opposite orientation. A $ \mathbb{T} $-gain graph $Φ$ is balanced if the product of the edge gains of each cycle (with a fixed orientation) is $1$. Signed graphs are special cases of $\mathbb{T}$-gain graphs. The adjacency matrix of $Φ$, denoted by $ \mathbf{A}(Φ)$ is defined canonically. The gain Laplacian for $Φ$ is defined as $\mathbf{L}(Φ) = \mathbf{D}(Φ) - \mathbf{A}(Φ)$, where $\mathbf{D}(Φ)$ is the diagonal matrix with diagonal entries are the degrees of the vertices of $G$. The minimum number of vertices (resp., edges) to be deleted from $Φ$ in order to get a balanced gain graph the frustration number (resp, frustration index). We show that frustration number and frustration index are bounded below by the smallest eigenvalue of $\mathbf{L}(Φ)$. We provide several lower and upper bounds for extremal eigenvalues of $\mathbf{L}(Φ)$ in terms of different graph parameters such as the number of edges, vertex degrees, and average $2$-degrees. The signed graphs are particular cases of the $\mathbb{T}$-gain graphs, all the bounds established in paper hold for signed graphs. Most of the bounds established here are new for signed graphs. Finally, we perform comparative analysis for all the obtained bounds in the paper with the state-of-the-art bounds available in the literature for randomly generated Erdős-Reýni graphs. Some of the major highlights of our paper are the gain-dependent bounds, limit convergence of the bounds to the extremal eigenvalues, and optimal extremal bounds obtained by posing optimization problems to achieve the best possible bounds. △ Less

Submitted 9 May, 2021; v1 submitted 15 February, 2021; originally announced February 2021.

Comments: Preliminary version. 32 pages

MSC Class: 05C22(primary); 05C50(secondary)

Performance of nonconforming spectral element method for Stokes problems

Authors: N. Kishore Kumar, Shubhashree Mohapatra

Abstract: In this paper, we study the performance of the non-conforming least-squares spectral element method for Stokes problem. Generalized Stokes problem has been considered and the method is shown to be exponential accurate. The numerical method is nonconforming and higher order spectral element functions are used. The same order spectral element functions are used for both velocity and pressure variabl… ▽ More In this paper, we study the performance of the non-conforming least-squares spectral element method for Stokes problem. Generalized Stokes problem has been considered and the method is shown to be exponential accurate. The numerical method is nonconforming and higher order spectral element functions are used. The same order spectral element functions are used for both velocity and pressure variables. The normal equations in the least-squares formulation are solved efficiently using preconditioned conjugate gradient method. Various test cases are considered including the Stokes problem on curvilinear domains, Stokes problem with mixed boundary conditions and a generalized stokes problem in \mathbb{R}^{3} to verify the accuracy of the method. △ Less

Submitted 11 February, 2021; originally announced February 2021.

Comments: 19 pages 7 figures

MSC Class: 65N35; 65F10

Normalized Laplacians for Gain Graphs

Authors: M. Rajesh Kannan, Navish Kumar, Shivaramakrishna Pragada

Abstract: We propose the notion of normalized Laplacian matrix $\mathcal{L}(Φ)$ for a gain graphs and study its properties in detail, providing insights and counterexamples along the way. We establish bounds for the eigenvalues of $\mathcal{L}(Φ)$ and characterize the classes of graphs for which equality holds. The relationships between the balancedness, bipartiteness, and their connection to the spectrum o… ▽ More We propose the notion of normalized Laplacian matrix $\mathcal{L}(Φ)$ for a gain graphs and study its properties in detail, providing insights and counterexamples along the way. We establish bounds for the eigenvalues of $\mathcal{L}(Φ)$ and characterize the classes of graphs for which equality holds. The relationships between the balancedness, bipartiteness, and their connection to the spectrum of $\mathcal{L}(Φ)$ are also studied. Besides, we extend the edge version of eigenvalue interlacing for the gain graphs. Thereupon, we determine the coefficients for the characteristic polynomial of $\mathcal{L}(Φ)$. △ Less

Submitted 10 March, 2022; v1 submitted 29 September, 2020; originally announced September 2020.

Comments: 20 Pages

Journal ref: American Journal of Combinatorics, Volume 1 (2022), Pages 20-39. Link: https://ajcombinatorics.org/articles.html

On mod $\mathfrak{p}$ congruences for Drinfeld modular forms of level $\mathfrak{p}\mathfrak{m}$

Authors: Tarun Dalal, Narasimha Kumar

Abstract: In~\cite{CS04}, Calegari and Stein studied the congruences between classical cusp forms $S_k(Γ_0(p))$ of prime level and made several conjectures about them. In~\cite{AB07} (resp., ~\cite{BP11}) the authors proved one of those conjectures (resp., their generalizations). In this article, we study the analogous conjecture and its generalizations for Drinfeld modular forms. In~\cite{CS04}, Calegari and Stein studied the congruences between classical cusp forms $S_k(Γ_0(p))$ of prime level and made several conjectures about them. In~\cite{AB07} (resp., ~\cite{BP11}) the authors proved one of those conjectures (resp., their generalizations). In this article, we study the analogous conjecture and its generalizations for Drinfeld modular forms. △ Less

Submitted 11 April, 2021; v1 submitted 5 August, 2020; originally announced August 2020.

MSC Class: Primary 11F33; 11F52; Secondary 11F23; 11G09

Journal ref: Journal Number Theory, Volume 228, November 2021, Pages 253-275

Poisson Approximation to the Convolution of Power Series Distributions

Authors: A. N. Kumar, P. Vellaisamy, F. Viens

Abstract: In this article, we obtain, for the total variance distance, the error bounds between Poisson and convolution of power series distributions via Stein's method. This provides a unified approach to many known discrete distributions. Several Poisson limit theorems follow as corollaries from our bounds. As applications, we compare the Poisson approximation results with the negative binomial approximat… ▽ More In this article, we obtain, for the total variance distance, the error bounds between Poisson and convolution of power series distributions via Stein's method. This provides a unified approach to many known discrete distributions. Several Poisson limit theorems follow as corollaries from our bounds. As applications, we compare the Poisson approximation results with the negative binomial approximation results, for the sums of Bernoulli, geometric, and logarithmic series random variables. △ Less

Submitted 25 June, 2020; originally announced June 2020.

Comments: 15 pages

MSC Class: Primary: 62E17; 62E20; Secondary: 60F05; 60E05

Approximations to Weighted Sums of Random Variables

Authors: Amit N. Kumar

Abstract: In this paper, we obtain error bound for binomial and negative binomial approximations to weighted sums of locally dependent random variables, using Stein's method. We also discuss approximation results for weighted sums of independent random variables. We demonstrate our results through some applications in finance and runs in statistics. In this paper, we obtain error bound for binomial and negative binomial approximations to weighted sums of locally dependent random variables, using Stein's method. We also discuss approximation results for weighted sums of independent random variables. We demonstrate our results through some applications in finance and runs in statistics. △ Less

Submitted 19 October, 2020; v1 submitted 25 June, 2020; originally announced June 2020.

Comments: 18 pages

MSC Class: Primary: 62E17; 62E20; Secondary: 60F05; 60E05

Analysis of an infinite-buffer batch-size-dependent service queue with discrete-time Markovian arrival process: D-$MAP/G_n^{(a,b)}/1$

Authors: U. C. Gupta, Nitin Kumar, S. Pradhan, F. P. Barbhuiya

Abstract: Discrete-time queueing models find huge applications as they are used in modeling queueing systems arising in digital platforms like telecommunication systems, computer networks, etc. In this paper, we analyze an infinite-buffer queueing model with discrete Markovian arrival process. The units on arrival are served in batches by a single server according to the general bulk-service rule, and the s… ▽ More Discrete-time queueing models find huge applications as they are used in modeling queueing systems arising in digital platforms like telecommunication systems, computer networks, etc. In this paper, we analyze an infinite-buffer queueing model with discrete Markovian arrival process. The units on arrival are served in batches by a single server according to the general bulk-service rule, and the service time follows general distribution with service rate depending on the size of the batch being served. We mathematically formulate the model using the supplementary variable technique and obtain the vector generating function at the departure epoch. The generating function is in turn used to extract the joint distribution of queue and server content in terms of the roots of the characteristic equation. Further, we develop the relationship between the distribution at the departure epoch and the distribution at arbitrary, pre-arrival and outside observer's epoch, which is used to obtain the latter ones. We evaluate some essential performance measures of the system and also discuss the computing process extensively which is demonstrated by a few numerical examples. △ Less

Submitted 28 May, 2020; originally announced May 2020.

Comments: 26 pages, 1 figure

Journal ref: RAIRO-Operations Research 55 (3), 1231-1256, 2021

Approximations Related to the Sums of $m$-dependent Random Variables

Authors: Amit N. Kumar, Neelesh S. Upadhye, P. Vellaisamy

Abstract: In this paper, we consider the sums of non-negative integer valued $m$-dependent random variables, and its approximation to the power series distribution. We first discuss some relevant results for power series distribution such as Stein operator, uniform and non-uniform bounds on the solution of Stein equation, and etc. Using Stein's method, we obtain the error bounds for the approximation proble… ▽ More In this paper, we consider the sums of non-negative integer valued $m$-dependent random variables, and its approximation to the power series distribution. We first discuss some relevant results for power series distribution such as Stein operator, uniform and non-uniform bounds on the solution of Stein equation, and etc. Using Stein's method, we obtain the error bounds for the approximation problem considered. As special cases, we discuss two applications, namely, $2$-runs and $(k_1,k_2)$-runs and compare the bound with the existing bounds. △ Less

Submitted 2 May, 2020; originally announced May 2020.

MSC Class: Primary : 62E17; 62E20; Secondary : 60F05; 60E05

A queueing system with batch renewal input and negative arrivals

Authors: U. C. Gupta, Nitin Kumar, F. P. Barbhuiya

Abstract: This paper studies an infinite buffer single server queueing model with exponentially distributed service times and negative arrivals. The ordinary (positive) customers arrive in batches of random size according to renewal arrival process, and joins the queue/server for service. The negative arrivals are characterized by two independent Poisson arrival processes, a negative customer which removes… ▽ More This paper studies an infinite buffer single server queueing model with exponentially distributed service times and negative arrivals. The ordinary (positive) customers arrive in batches of random size according to renewal arrival process, and joins the queue/server for service. The negative arrivals are characterized by two independent Poisson arrival processes, a negative customer which removes the positive customer undergoing service, if any, and a disaster which makes the system empty by simultaneously removing all the positive customers present in the system. Using the supplementary variable technique and difference equation method we obtain explicit formulae for the steady-state distribution of the number of positive customers in the system at pre-arrival and arbitrary epochs. Moreover, we discuss the results of some special models with or without negative arrivals along with their stability conditions. The results obtained throughout the analysis are computationally tractable as illustrated by few numerical examples. Furthermore, we discuss the impact of the negative arrivals on the performance of the system by means of some graphical representations. △ Less

Submitted 19 February, 2020; originally announced February 2020.

Comments: 12 pages, 5 Figures, conference

Journal ref: Applied Probability and Stochastic Processes, 143-157, 2020

System of Lane-Emden equations as IVPs BVPs and Four Point BVPs & Computation with Haar Wavelets

Authors: Amit K. Verma, Narendra Kumar, Diksha Tiwari

Abstract: In this work we present Haar wavelet collocation method and solve the following class of system of Lane-Emden equation defined as \begin{eqnarray*} -(t^{k_1} y'(t))'=t^{-ω_1} f_1(t,y(t),z(t)),\\ -(t^{k_2} z'(t))'=t^{-ω_2} f_2(t,y(t),z(t)), \end{eqnarray*} where $t>0$, subject to initial values, boundary values and four point boundary values: \begin{eqnarray*} \mbox{Initial Condition:}&&y(0)=γ_1,~y… ▽ More In this work we present Haar wavelet collocation method and solve the following class of system of Lane-Emden equation defined as \begin{eqnarray*} -(t^{k_1} y'(t))'=t^{-ω_1} f_1(t,y(t),z(t)),\\ -(t^{k_2} z'(t))'=t^{-ω_2} f_2(t,y(t),z(t)), \end{eqnarray*} where $t>0$, subject to initial values, boundary values and four point boundary values: \begin{eqnarray*} \mbox{Initial Condition:}&&y(0)=γ_1,~y'(0)=0,~z(0)=γ_2,~z'(0)=0,\\ \mbox{Boundary Condition:}&&y'(0)=0,~y(1)=δ_1,~z'(0)=0,~z(1)=δ_2,\\ \mbox{Four~point~Boundary~Condition:}&&y(0)=0,~y(1)=n_1z(v_1),~z(0)=0,~z(1)=n_2y(v_2), \end{eqnarray*} where $n_1$, $n_2$, $v_1$, $v_2$ $\in (0,1)$ and $k_1\geq 0$, $k_2\geq0$, $ω_1<1$, $ω_2<1$ are real constants. Results are compared with exact solutions in the case of IVP and BVP. In case of four point BVP we compare the result with other methods. Convergence of these methods is also established and found to be of second order. We observe that as resolution is increased to $J=4$ we get the exact values for IVPs and BVPs. For four point BVPs also at $J=4$, we get highly accurate solutions, e.g., the $L^\infty$ error is of order $10^{-16}$ or $10^{-17}$. △ Less

Submitted 3 December, 2019; originally announced December 2019.

Comments: 27b Pages