Showing 1–50 of 64 results for author: Kumar, B

Detecting weighted hidden cliques

Authors: Urmisha Chatterjee, Karissa Huang, Ritabrata Karmakar, B. R. Vinay Kumar, Gábor Lugosi, Nandan Malhotra, Anirban Mandal, Maruf Alam Tarafdar

Abstract: We study a generalization of the classical hidden clique problem to graphs with real-valued edge weights. Formally, we define a hypothesis testing problem. Under the null hypothesis, edges of a complete graph on $n$ vertices are associated with independent and identically distributed edge weights from a distribution $P$. Under the alternate hypothesis, $k$ vertices are chosen at random and the edg… ▽ More We study a generalization of the classical hidden clique problem to graphs with real-valued edge weights. Formally, we define a hypothesis testing problem. Under the null hypothesis, edges of a complete graph on $n$ vertices are associated with independent and identically distributed edge weights from a distribution $P$. Under the alternate hypothesis, $k$ vertices are chosen at random and the edge weights between them are drawn from a distribution $Q$, while the remaining are sampled from $P$. The goal is to decide, upon observing the edge weights, which of the two hypotheses they were generated from. We investigate the problem under two different scenarios: (1) when $P$ and $Q$ are completely known, and (2) when there is only partial information of $P$ and $Q$. In the first scenario, we obtain statistical limits on $k$ when the two hypotheses are distinguishable, and when they are not. Additionally, in each of the scenarios, we provide bounds on the minimal risk of the hypothesis testing problem when $Q$ is not absolutely continuous with respect to $P$. We also provide computationally efficient spectral tests that can distinguish the two hypotheses as long as $k=Ω(\sqrt{n})$ in both the scenarios. △ Less

Submitted 26 June, 2025; originally announced June 2025.

MSC Class: 62F03

Consistent line clustering using geometric hypergraphs

Authors: Kalle Alaluusua, Konstantin Avrachenkov, B. R. Vinay Kumar, Lasse Leskelä

Abstract: Traditional data analysis often represents data as a weighted graph with pairwise similarities, but many problems do not naturally fit this framework. In line clustering, points in a Euclidean space must be grouped so that each cluster is well approximated by a line segment. Since any two points define a line, pairwise similarities fail to capture the structure of the problem, necessitating the us… ▽ More Traditional data analysis often represents data as a weighted graph with pairwise similarities, but many problems do not naturally fit this framework. In line clustering, points in a Euclidean space must be grouped so that each cluster is well approximated by a line segment. Since any two points define a line, pairwise similarities fail to capture the structure of the problem, necessitating the use of higher-order interactions modeled by geometric hypergraphs. We encode geometry into a 3-uniform hypergraph by treating sets of three points as hyperedges whenever they are approximately collinear. The resulting hypergraph contains information about the underlying line segments, which can then be extracted using community recovery algorithms. In contrast to classical hypergraph block models, latent geometric constraints in this construction introduce significant dependencies between hyperedges, which restricts the applicability of many standard theoretical tools. We aim to determine the fundamental limits of line clustering and evaluate hypergraph-based line clustering methods. To this end, we derive information-theoretic thresholds for exact and almost exact recovery for data generated from intersecting lines on a plane with additive Gaussian noise. We develop a polynomial-time spectral algorithm and show that it succeeds under noise conditions that match the information-theoretic bounds up to a polylogarithmic factor. △ Less

Submitted 30 May, 2025; originally announced May 2025.

Comments: 40 pages, 4 figures

MSC Class: 62H30; 62R10; 62C20; 05C65; 05C80; 62H12; 94A15; 90B15

Linear Convergence of Plug-and-Play Algorithms with Kernel Denoisers

Authors: Arghya Sinha, Bhartendu Kumar, Chirayu D. Athalye, Kunal N. Chaudhury

Abstract: The use of denoisers for image reconstruction has shown significant potential, especially for the Plug-and-Play (PnP) framework. In PnP, a powerful denoiser is used as an implicit regularizer in proximal algorithms such as ISTA and ADMM. The focus of this work is on the convergence of PnP iterates for linear inverse problems using kernel denoisers. It was shown in prior work that the update operat… ▽ More The use of denoisers for image reconstruction has shown significant potential, especially for the Plug-and-Play (PnP) framework. In PnP, a powerful denoiser is used as an implicit regularizer in proximal algorithms such as ISTA and ADMM. The focus of this work is on the convergence of PnP iterates for linear inverse problems using kernel denoisers. It was shown in prior work that the update operator in standard PnP is contractive for symmetric kernel denoisers under appropriate conditions on the denoiser and the linear forward operator. Consequently, we could establish global linear convergence of the iterates using the contraction mapping theorem. In this work, we develop a unified framework to establish global linear convergence for symmetric and nonsymmetric kernel denoisers. Additionally, we derive quantitative bounds on the contraction factor (convergence rate) for inpainting, deblurring, and superresolution. We present numerical results to validate our theoretical findings. △ Less

Submitted 21 May, 2025; originally announced May 2025.

Comments: 18 pages, 14 Figures

MSC Class: 94A08; 41A25; 65F10

Cislunar Mean-Motion Resonances: Definitions, Widths, and Comparisons with Resonant Satellites

Authors: Anjali Rawat, Bhanu Kumar, Aaron J. Rosengren, Shane D. Ross

Abstract: Lunar mean-motion resonances (MMRs) significantly shape cislunar dynamics beyond GEO, forming stable-unstable orbit pairs with corresponding intermingled chaotic and regular regions. The resonance zone is rigorously defined using the separatrix of unstable resonant periodic orbits surrounding stable quasi-periodic regions. Our study leverages the planar, circular, restricted three-body problem (PC… ▽ More Lunar mean-motion resonances (MMRs) significantly shape cislunar dynamics beyond GEO, forming stable-unstable orbit pairs with corresponding intermingled chaotic and regular regions. The resonance zone is rigorously defined using the separatrix of unstable resonant periodic orbits surrounding stable quasi-periodic regions. Our study leverages the planar, circular, restricted three-body problem (PCR3BP) to estimate the (stable) resonance widths and (unstable) chaotic resonance zones of influence of the 2:1 and 3:1 MMRs across various Jacobi constants, employing a Poincaré map at perigee and presenting findings in easily interpretable geocentric orbital elements. An analysis of the semi-major axis versus eccentricity plane reveals broader regions of resonance influence than those predicted by semi-analytical models based on the perturbed Kepler problem. A comparison with high-fidelity 3-dimensional ephemeris propagation of several spacecraft - TESS, IBEX, and Spektr-R - in these regions is made, which shows good agreement with the simplified CR3BP model. △ Less

Submitted 15 May, 2025; originally announced May 2025.

Comments: Submitted to The Journal of Guidance, Control, and Dynamics

Optimal control of fractional Poisson equation from non-local to local

Authors: Ram Manohar, Kedarnath Buda, B. V. Rathish Kumar

Abstract: In this article, the limiting behavior of the solution $\bar u_s$ of the optimal control problem subjected to the fractional Poisson equation $$(-Δ)^s u_s(x)=f_s(x), \quad x\in Ω$$ defined on domain $Ω$ bounded by smooth boundary with zero exterior boundary conditions $u_s(x)\equiv 0, \quad x \in Ω^c $ is established. We will prove that $\lim_{s\to 1^-} \bar u_s= \bar u$, where $\bar u$ is a solut… ▽ More In this article, the limiting behavior of the solution $\bar u_s$ of the optimal control problem subjected to the fractional Poisson equation $$(-Δ)^s u_s(x)=f_s(x), \quad x\in Ω$$ defined on domain $Ω$ bounded by smooth boundary with zero exterior boundary conditions $u_s(x)\equiv 0, \quad x \in Ω^c $ is established. We will prove that $\lim_{s\to 1^-} \bar u_s= \bar u$, where $\bar u$ is a solution of the optimal control problem subjected to classical Poisson equation $-Δu(x)=f(x), \quad x \in Ω$ and $u(x)=0, \quad x\in \partial Ω.$ △ Less

Submitted 12 March, 2025; originally announced March 2025.

Comments: 10 Pages, 3 Authors

MSC Class: $65\mathrm{N}30$; $65\mathrm{N}50$; $49\mathrm{J}20$; $65\mathrm{K}10$

Adaptive SIPG method for approximations of boundary control problems governed by parabolic PDEs

Authors: Ram Manohar, B. V. Rathish Kumar, Kedarnath Buda, Rajen Kumar Sinha

Abstract: This study presents an aposteriori error analysis of adaptive finite element approximations of parabolic boundary control problems with bilateral box constraints that act on a Neumann boundary. The control problem is discretized using the symmetric interior penalty Galerkin (SIPG) technique. We derive both reliable and efficient type residual-based error estimators coupling with the data oscillati… ▽ More This study presents an aposteriori error analysis of adaptive finite element approximations of parabolic boundary control problems with bilateral box constraints that act on a Neumann boundary. The control problem is discretized using the symmetric interior penalty Galerkin (SIPG) technique. We derive both reliable and efficient type residual-based error estimators coupling with the data oscillations. The implementation of these error estimators serves as a guide for the adaptive mesh refinement process, indicating whether or not more refinement is required. Although the control error estimator effectively captured control approximation errors, it had limitations in guiding refinement localization in critical cases. To overcome this, an alternative control indicator was used in numerical tests. The results demonstrated the clear superiority of adaptive refinements over uniform refinements, confirming the proposed approach's effectiveness in achieving accurate solutions while optimizing computational efficiency. numerical experiment showcases the effectiveness of the derived error estimators. △ Less

Submitted 20 February, 2025; originally announced March 2025.

Comments: 41 pages, 26 Figures, 4 Authors

MSC Class: $65N30$; $65N50$; $49J20$; $65K10$

A Note on Generalized Locally Toeplitz Operators

Authors: V. B. Kiran Kumar, N. S. Sarathkumar

Abstract: Generalized Locally Toeplitz (GLT) matrix sequences arise from large linear systems that approximate Partial Differential Equations (PDEs), Fractional Differential Equations (FDEs), and Integro-Differential Equations (IDEs). GLT sequences of matrices have been developed to study the spectral/singular value behaviour of the numerical approximations to various PDEs, Fades and IDEs. These approximati… ▽ More Generalized Locally Toeplitz (GLT) matrix sequences arise from large linear systems that approximate Partial Differential Equations (PDEs), Fractional Differential Equations (FDEs), and Integro-Differential Equations (IDEs). GLT sequences of matrices have been developed to study the spectral/singular value behaviour of the numerical approximations to various PDEs, Fades and IDEs. These approximations can be achieved using any discretization method on appropriate grids through local techniques such as Finite Differences, Finite Elements, Finite Volumes, Isogeometric Analysis, and Discontinuous Galerkin methods. Spectral and singular value symbols are essential for analyzing the eigenvalue and singular value distributions of matrix sequences in the Weyl sense. In this article, we provide a comprehensive overview of the operator-theoretic aspect of GLT sequences. The theory of GLT sequences, along with findings on the asymptotic spectral distribution of perturbed matrix sequences, is a highly effective and successful method for calculating the spectral symbol f. Therefore, developing an automatic procedure to compute the spectral symbols of these matrix sequences would be advantageous, a task that Ahmed Ratnani, N S Sarathkumar, S. Serra-Capizzano have partially undertaken. As an application of the theory developed here, we propose an automatic procedure for computing the symbol of the underlying sequences of matrices, assuming they form a GLT sequence that meets mild conditions. △ Less

Submitted 24 July, 2024; v1 submitted 18 July, 2024; originally announced July 2024.

Stochastic Mathematical Modelling Study for Understanding the Extinction, Persistence and Control of SARS-CoV-2 Virus at the Within-host Level

Authors: Bishal Chhetri, B. V. Ratish Kumar

Abstract: Stochastic differential equations characterized by uncertainty are effective in modelling virus dynamics and provide an alternative to traditional deterministic models. Epidemic models are inevitably subjected to the randomness within the system or the environmental noise. In this paper, we analyze the stochastic within host compartment model for SARS-CoV-2 virus and explore its dynamics. We first… ▽ More Stochastic differential equations characterized by uncertainty are effective in modelling virus dynamics and provide an alternative to traditional deterministic models. Epidemic models are inevitably subjected to the randomness within the system or the environmental noise. In this paper, we analyze the stochastic within host compartment model for SARS-CoV-2 virus and explore its dynamics. We first examine the existence and positivity of the solution of the model using Ito's formula and the establish the stochastic boundedness and permanence of the model. Exponential stability of the infection free equilibrium state is established. Numerical simulations are conducted to complement the theoretical results. Environmental noise is found to play a crucial role in the dynamics of the disease and can even lead to the extinction of the disease. The model is also extended to a stochastic optimal control problem and the effectiveness of control measures, such as antiviral drugs and immunomodulators is investigated. △ Less

Submitted 9 August, 2024; v1 submitted 10 May, 2024; originally announced May 2024.

Comments: 26 pages, 16 figures

Korovkin-type approximation for non positive operators

Authors: V. B. Kiran Kumar, M. N. N. Namboodiri, P. C. Vinaya

Abstract: This article investigates the convergence properties of Grunwald-type operators defined using the Lagrange interpolation operator. In $C[0, π]$, we establish sufficient conditions under which alternate grid point selection yields a convergence result. Employing a quantitative approach grounded in the modulus of continuity, we derive a theorem that provides insightful estimates for the convergence… ▽ More This article investigates the convergence properties of Grunwald-type operators defined using the Lagrange interpolation operator. In $C[0, π]$, we establish sufficient conditions under which alternate grid point selection yields a convergence result. Employing a quantitative approach grounded in the modulus of continuity, we derive a theorem that provides insightful estimates for the convergence of Grunwald operator, accompanied by illustrative numerical examples. Addressing challenges related to continuity, we extend the operator to $L^1(\mathbb{R})$ and prove similar convergence results. Notably, the new operator demonstrates a uniform order of convergence on a dense subspace of $L^1(\mathbb{R})$. Moreover, it has a better convergence rate than Grunwald operator. We establish the non positivity of the Lagrange interpolation operator and, consequently, the constructed operators. Significant emphasis is placed on D.E. Wulbert theorem ($1968$), which is a Korovkin-type theorem that can be applied to non-positive operators. We extend this theorem to a broader class of operators, enabling its effective application to the constructed operators. This article, overall, highlights the broad applicability of Lagrange interpolation across diverse disciplines. △ Less

Submitted 6 March, 2024; originally announced March 2024.

Community Detection on Block Models with Geometric Kernels

Authors: Konstantin Avrachenkov, B. R. Vinay Kumar, Lasse Leskelä

Abstract: We consider the community recovery problem on a one-dimensional random geometric graph where every node has two independent labels: an observed location label and a hidden community label. A geometric kernel maps the locations of pairs of nodes to probabilities. Edges are drawn between pairs of nodes based on their communities and the value of the kernel corresponding to the respective node locati… ▽ More We consider the community recovery problem on a one-dimensional random geometric graph where every node has two independent labels: an observed location label and a hidden community label. A geometric kernel maps the locations of pairs of nodes to probabilities. Edges are drawn between pairs of nodes based on their communities and the value of the kernel corresponding to the respective node locations. Given the graph so generated along with the location labels, the latent communities of the nodes are to be inferred. In this work, we will look into the fundamental statistical limits for recovering the communities in such models. Additionally, we propose a linear-time algorithm (in the number of edges) and show that it recovers the communities of nodes exactly up to the information theoretic threshold. △ Less

Submitted 5 March, 2024; originally announced March 2024.

MSC Class: 60D05; 62F30

Spatial Queues with Nearest Neighbour Shifts

Authors: B. R. Vinay Kumar, Lasse Leskelä

Abstract: This work studies queues in a Euclidean space. Consider $N$ servers that are distributed uniformly in $[0,1]^d$. Customers arrive at the servers according to independent stationary processes. Upon arrival, they probabilistically decide whether to join the queue they arrived at, or shift to one of the nearest neighbours. Such shifting strategies affect the load on the servers, and may cause some of… ▽ More This work studies queues in a Euclidean space. Consider $N$ servers that are distributed uniformly in $[0,1]^d$. Customers arrive at the servers according to independent stationary processes. Upon arrival, they probabilistically decide whether to join the queue they arrived at, or shift to one of the nearest neighbours. Such shifting strategies affect the load on the servers, and may cause some of the servers to become overloaded. We derive a law of large numbers and a central limit theorem for the fraction of overloaded servers in the system as the total number of servers $N \to \infty$. Additionally, in the one-dimensional case ($d=1$), we evaluate the expected fraction of overloaded servers for any finite $N$. Numerical experiments are provided to support our theoretical results. Typical applications of the results include electric vehicles queueing at charging stations, and queues in airports or supermarkets. △ Less

Submitted 4 September, 2024; v1 submitted 20 February, 2024; originally announced February 2024.

Comments: A part of this work was accepted to the conference International Teletraffic Congress (ITC 35) held between 3--5 October 2023 in Turin, Italy. Revised version generalizes to general stationary arrival processes to servers with service rate $μ$. Several previous strategies are subsumed into a single main strategy

MSC Class: 60K30; 05C80

More on Equivalent Formulation of Implicit Complementarity Problem

Authors: Bharat Kumar, Deepmala, A. K. Das

Abstract: This article presents an equivalent formulation of the implicit complementarity problem. We demonstrate that solution of the equivalent formulation is equivalent to the solution of the implicit complementarity problem. Moreover, we provide another equivalent formulation of the implicit complementarity problem using a strictly increasing function. This article presents an equivalent formulation of the implicit complementarity problem. We demonstrate that solution of the equivalent formulation is equivalent to the solution of the implicit complementarity problem. Moreover, we provide another equivalent formulation of the implicit complementarity problem using a strictly increasing function. △ Less

Submitted 7 December, 2023; originally announced December 2023.

Some identities of Ramanujan's q-Continued Fraction of Order Eighteen, Twenty-Six and Thirty, and Vanishing Coefficients

Authors: Raksha, B. R. Srivatsa Kumar

Abstract: In the present work, we established continued fractions of level eighteen, twenty six and thirty. Further, we obtained vanishing coefficients and many algebraic relations. To validate our result colored partitions are also obtained. In the present work, we established continued fractions of level eighteen, twenty six and thirty. Further, we obtained vanishing coefficients and many algebraic relations. To validate our result colored partitions are also obtained. △ Less

Submitted 6 November, 2023; originally announced November 2023.

A Theoretical and Empirical Study on the Convergence of Adam with an "Exact" Constant Step Size in Non-Convex Settings

Authors: Alokendu Mazumder, Rishabh Sabharwal, Manan Tayal, Bhartendu Kumar, Punit Rathore

Abstract: In neural network training, RMSProp and Adam remain widely favoured optimisation algorithms. One of the keys to their performance lies in selecting the correct step size, which can significantly influence their effectiveness. Additionally, questions about their theoretical convergence properties continue to be a subject of interest. In this paper, we theoretically analyse a constant step size vers… ▽ More In neural network training, RMSProp and Adam remain widely favoured optimisation algorithms. One of the keys to their performance lies in selecting the correct step size, which can significantly influence their effectiveness. Additionally, questions about their theoretical convergence properties continue to be a subject of interest. In this paper, we theoretically analyse a constant step size version of Adam in the non-convex setting and discuss why it is important for the convergence of Adam to use a fixed step size. This work demonstrates the derivation and effective implementation of a constant step size for Adam, offering insights into its performance and efficiency in non convex optimisation scenarios. (i) First, we provide proof that these adaptive gradient algorithms are guaranteed to reach criticality for smooth non-convex objectives with constant step size, and we give bounds on the running time. Both deterministic and stochastic versions of Adam are analysed in this paper. We show sufficient conditions for the derived constant step size to achieve asymptotic convergence of the gradients to zero with minimal assumptions. Next, (ii) we design experiments to empirically study Adam's convergence with our proposed constant step size against stateof the art step size schedulers on classification tasks. Lastly, (iii) we also demonstrate that our derived constant step size has better abilities in reducing the gradient norms, and empirically, we show that despite the accumulation of a few past gradients, the key driver for convergence in Adam is the non-increasing step sizes. △ Less

Submitted 3 April, 2024; v1 submitted 15 September, 2023; originally announced September 2023.

Comments: 48 pages including proofs and extended experiments

4th Body-Induced Secondary Resonance Overlapping Inside Unstable Resonant Orbit Families: a Jupiter-Ganymede 4:3 + Europa Case Study

Authors: Bhanu Kumar, Rodney L. Anderson, Rafael de la Llave

Abstract: The overlapping of mean-motion resonances is useful for low or zero-propellant space mission design, but while most related prior work uses a planar CRTBP model, tours of multi-moon systems require using resonances affected by two moons. In this case study, we investigate Jupiter-Ganymede unstable 4:3 resonant orbits in a concentric circular restricted 4-body Jupiter-Europa-Ganymede model. We show… ▽ More The overlapping of mean-motion resonances is useful for low or zero-propellant space mission design, but while most related prior work uses a planar CRTBP model, tours of multi-moon systems require using resonances affected by two moons. In this case study, we investigate Jupiter-Ganymede unstable 4:3 resonant orbits in a concentric circular restricted 4-body Jupiter-Europa-Ganymede model. We show that despite their high order, secondary resonances between the 4:3 orbits and Europa have a large effect, including 11/34, 12/37, 23/71, and 25/77. Computing newly generated objects inside the secondary resonances definitively confirms their overlap, which causes a complete structural change of the higher-energy unstable 4:3 orbits whose manifolds are most useful for low-TOF orbit transfers. We believe this phenomenon is general, with major implications for resonant orbit use in tour design. △ Less

Submitted 16 September, 2023; v1 submitted 12 September, 2023; originally announced September 2023.

Comments: 20 pages, 12 figures

MSC Class: 70M20

Journal ref: Proceedings of the 2023 AAS/AIAA Astrodynamics Specialist Conference, Paper AAS 23-397

Constraining neutron star properties and dark matter admixture with the NITR-I equation of state: Insights from observations and universal relations

Authors: Pinku Routaray, H C Das, Jeet Amrit Pattnaik, Bharat Kumar

Abstract: A recent observational study has constrained the maximum mass of neutron stars (NSs), with particular attention to PSR J0952-0607 and the compact star remnant HESS J1731-347, especially in the low-mass regime. Building on our earlier work, which developed the NITR energy density functional (EDF) to reproduce the mass limit of PSR J0952-0607 but did not satisfy other observational constraints, this… ▽ More A recent observational study has constrained the maximum mass of neutron stars (NSs), with particular attention to PSR J0952-0607 and the compact star remnant HESS J1731-347, especially in the low-mass regime. Building on our earlier work, which developed the NITR energy density functional (EDF) to reproduce the mass limit of PSR J0952-0607 but did not satisfy other observational constraints, this study introduces a refined EDF named ``NITR-I". NITR-I successfully reconciles the PSR J0952-0607 mass limit with observational data, including radius measurements from NICER+XMM and tidal deformability constraints from GW170817, demonstrating its robustness. The low-mass constraint associated with HESS J1731-347 indicates diverse NS compositions. Since NITR-I alone cannot satisfy this constraint, we explore the role of dark matter (DM) within NSs to bridge the gap. Incorporating DM, particularly at specific Fermi momentum values, enables the model to address this constraint. We further analyze the influence of DM on various NS properties, such as tidal deformability and non-radial $f$-mode oscillations, across multiple relativistic mean-field models. The presence of DM suggests a reduction in tidal deformability and shifts in oscillation frequencies, potentially offering detectable signatures in gravitational wave observations from neutron star mergers. Additionally, we investigate universal relations (URs) for DM-admixed NSs, focusing on correlations such as compactness versus tidal deformability and $f$-mode frequency versus tidal deformability. Canonical values for these properties are estimated using GW170817 data, offering further insights into the structure and composition of neutron stars. △ Less

Submitted 26 November, 2024; v1 submitted 24 July, 2023; originally announced July 2023.

Comments: Published in IJMPE

New Relaxation Modulus Based Iterative Method for Large and Sparse Implicit Complementarity Problem

Authors: Bharat Kumar, Deepmala, A. K. Das

Abstract: This article presents a class of new relaxation modulus-based iterative methods to process the large and sparse implicit complementarity problem (ICP). Using two positive diagonal matrices, we formulate a fixed-point equation and prove that it is equivalent to ICP. Also, we provide sufficient convergence conditions for the proposed methods when the system matrix is a $P$-matrix or an $H_+$-matrix.… ▽ More This article presents a class of new relaxation modulus-based iterative methods to process the large and sparse implicit complementarity problem (ICP). Using two positive diagonal matrices, we formulate a fixed-point equation and prove that it is equivalent to ICP. Also, we provide sufficient convergence conditions for the proposed methods when the system matrix is a $P$-matrix or an $H_+$-matrix. Keyword: Implicit complementarity problem, $H_{+}$-matrix, $P$-matrix, matrix splitting, convergence △ Less

Submitted 6 June, 2023; originally announced June 2023.

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

MSC Class: 90C33; 65F10; 65F50

More on Projected Type Iteration Method and Linear Complementarity Problem

Authors: Bharat Kumar, Deepmala, A. K. Das

Abstract: In this article, we establish a class of new projected type iteration methods based on matrix spitting for solving the linear complementarity problem. Also, we provide a sufficient condition for the convergence analysis when the system matrix is an $H_+$-matrix. We show the efficiency of the proposed method by using two numerical examples for different parameters. Keywords. Iterative method, Lin… ▽ More In this article, we establish a class of new projected type iteration methods based on matrix spitting for solving the linear complementarity problem. Also, we provide a sufficient condition for the convergence analysis when the system matrix is an $H_+$-matrix. We show the efficiency of the proposed method by using two numerical examples for different parameters. Keywords. Iterative method, Linear complementarity problem, $H_{+}$-matrix, $P$-matrix, Matrix splitting, Convergence. △ Less

Submitted 9 May, 2023; originally announced May 2023.

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

MSC Class: 90C33

Finite element analysis of modified N-S equations coupled with energy transfer for Hybrid Nanofluid flow in complex domains

Authors: Sangita Dey, B. V. Rathish Kumar

Abstract: A theoretical and computational finite element study of modified Navier-Stokes Equations coupled with energy conservation governing the flow and heat transfer in complex domains with hybrid nanofluid$(HNF)$ is carried out. The apriori error estimates providing the convergence analysis for the finite element scheme is derived in the $H^1$ norm. A detailed parametric analysis on the physics related… ▽ More A theoretical and computational finite element study of modified Navier-Stokes Equations coupled with energy conservation governing the flow and heat transfer in complex domains with hybrid nanofluid$(HNF)$ is carried out. The apriori error estimates providing the convergence analysis for the finite element scheme is derived in the $H^1$ norm. A detailed parametric analysis on the physics related to flow and heat tranfer for different governing parameters such as: hybrid nano-particle volume fraction $(φ),$ Rayleigh Number $(Ra)$, Prandtl Number$(Pr)$, and the length of heat source has been reported. The use of hybrid nano-particles leads to the enhancement of heat conduction both in L and H shaped domains. While a butterfly flow pattern with a multi-cellular structure is noticed in H-shaped domain, the flow in L-Shaped domain depicts a boundary layer feature with primary, secondary and tertiary co-rotating and counter rotating cells. △ Less

Submitted 30 March, 2023; originally announced May 2023.

New Accelerated Modulus-Based Iteration Method for Solving Large and Sparse Linear Complementarity Problem

Authors: Bharat Kumar, Deepmala, A. K. Das

Abstract: In this article, we establish a class of new accelerated modulus-based iteration methods for solving the linear complementarity problem. When the system matrix is an $H_+$-matrix, we present appropriate criteria for the convergence analysis. Also, we demonstrate the effectiveness of our proposed method and reduce the number of iterations and CPU time to accelerate the convergence performance by pr… ▽ More In this article, we establish a class of new accelerated modulus-based iteration methods for solving the linear complementarity problem. When the system matrix is an $H_+$-matrix, we present appropriate criteria for the convergence analysis. Also, we demonstrate the effectiveness of our proposed method and reduce the number of iterations and CPU time to accelerate the convergence performance by providing two numerical examples for various parameters. Keywords. Linear complementarity problem, Iteration method, $P$-matrix, $H_{+}$-matrix, Convergence analysis, Matrix splitting. △ Less

Submitted 4 May, 2023; originally announced May 2023.

MSC Class: 90C33

More on Modulus Based Iterative Method for Solving Implicit Complementarity Problem

Authors: Bharat kumar, Deepmala, A. K. Das

Abstract: This article presents a class of modified new modulus-based iterative methods to process the large and sparse implicit complementarity problem (ICP). By using two positive diagonal matrices, we formulate a fixed-point equation which is equivalent to an ICP and based on a fixed-point equation, an iterative method is presented to solve the ICP. We provide some convergence conditions for the proposed… ▽ More This article presents a class of modified new modulus-based iterative methods to process the large and sparse implicit complementarity problem (ICP). By using two positive diagonal matrices, we formulate a fixed-point equation which is equivalent to an ICP and based on a fixed-point equation, an iterative method is presented to solve the ICP. We provide some convergence conditions for the proposed methods when the system matrix is a $P$-matrix or an $H_+$-matrix. △ Less

Submitted 22 March, 2023; originally announced March 2023.

MSC Class: 90C33; 65F10; 65F50

A Note on Approximating the Symplectic Spectrum

Authors: V. B. Kiran Kumar, Anmary Tonny

Abstract: The symplectic eigenvalues play a significant role in finite mode quantum information theory, and Williamson normal form proves to be a valuable tool in this area. Understanding the symplectic spectrum of a Gaussian Covariance Operator is a crucial task. Recently, an infinite-dimensional analogue of Williamson Normal form was discovered, which has been instrumental in studying infinite mode Gaussi… ▽ More The symplectic eigenvalues play a significant role in finite mode quantum information theory, and Williamson normal form proves to be a valuable tool in this area. Understanding the symplectic spectrum of a Gaussian Covariance Operator is a crucial task. Recently, an infinite-dimensional analogue of Williamson Normal form was discovered, which has been instrumental in studying infinite mode Gaussian quantum states. However, most existing results pertain to finite-dimensional operators, leaving a dearth of literature in the infinite-dimensional context. The focus of this article is on employing approximation techniques to estimate the symplectic spectrum of certain infinite-dimensional operators. These techniques are well-suited for a particular class of operators, including specific types of infinite mode Gaussian Covariance Operators. Our approach involves computing the Williamson Normal form and deriving bounds for the symplectic spectrum of these operators. As a practical application, we explicitly compute the symplectic spectrum of Gaussian Covariance Operators. Through this research, we aim to contribute to the understanding of symplectic eigenvalues in the context of infinite-dimensional operators, opening new avenues for exploration in quantum information theory and related fields. △ Less

Submitted 29 July, 2023; v1 submitted 16 March, 2023; originally announced March 2023.

An efficient Haar wavelet method for the coupled non-linear transient PDE-ODEs system with discontinuous coefficients

Authors: B. V. Rathish Kumar, Meena Pargaei

Abstract: In this work, the Haar wavelet method for the coupled non-linear transient PDE-ODEs system with the Neumann boundary condition has been proposed. The capability of the method in handling multiple jump discontinuities in the coefficients and parameters of the transient and coupled PDE-ODEs system is brought out through a series of 1D/2D/3D test problems. The method is easy to implement, computation… ▽ More In this work, the Haar wavelet method for the coupled non-linear transient PDE-ODEs system with the Neumann boundary condition has been proposed. The capability of the method in handling multiple jump discontinuities in the coefficients and parameters of the transient and coupled PDE-ODEs system is brought out through a series of 1D/2D/3D test problems. The method is easy to implement, computationally efficient, and compares well with conventional methods like the finite element method. Convergence analysis of the method has been carried out and apriori error is found to be exponential order i.e. ||u-u_H||_X<= o(2^j ). ILU-GMRES is found to better accelerate the numerical solution convergence than other Krylov solvers for the class of transient non-linear PDE-ODE system. △ Less

Submitted 8 February, 2023; originally announced February 2023.

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

Multilayer hypergraph clustering using the aggregate similarity matrix

Authors: Kalle Alaluusua, Konstantin Avrachenkov, B. R. Vinay Kumar, Lasse Leskelä

Abstract: We consider the community recovery problem on a multilayer variant of the hypergraph stochastic block model (HSBM). Each layer is associated with an independent realization of a d-uniform HSBM on N vertices. Given the similarity matrix containing the aggregated number of hyperedges incident to each pair of vertices, the goal is to obtain a partition of the N vertices into disjoint communities. In… ▽ More We consider the community recovery problem on a multilayer variant of the hypergraph stochastic block model (HSBM). Each layer is associated with an independent realization of a d-uniform HSBM on N vertices. Given the similarity matrix containing the aggregated number of hyperedges incident to each pair of vertices, the goal is to obtain a partition of the N vertices into disjoint communities. In this work, we investigate a semidefinite programming (SDP) approach and obtain information-theoretic conditions on the model parameters that guarantee exact recovery both in the assortative and the disassortative cases. △ Less

Submitted 3 November, 2023; v1 submitted 27 January, 2023; originally announced January 2023.

Comments: 16 pages, 3 tables. Reason for replacement on 3 Nov 2023: incorporating the possibility of non-uniform layers. Reason for replacement on 18 May 2023: improving clarity of the presentation and clarifying the contribution/novelty of the paper

MSC Class: 05C65; 05C80; 62H30; 90B15; 90C22; 90C35; 94A16

Journal ref: In: Dewar, M., Prałat, P., Szufel, P., Théberge, F., Wrzosek, M. (eds) Algorithms and Models for the Web Graph. WAW 2023. Lecture Notes in Computer Science, vol 13894. Springer, Cham. pp. 83-98

An Order Relation between Eigenvalues and Symplectic Eigenvalues of a Class of Infinite-Dimensional Operators

Authors: Tiju Cherian John, V. B. Kiran Kumar, Anmary Tonny

Abstract: In this article, we obtain some results in the direction of ``infinite dimensional symplectic spectral theory". We prove an inequality between the eigenvalues and symplectic eigenvalues of a special class of infinite dimensional operators. Let $T$ be an operator such that $T - αI$ is compact for some $α> 0$. Denote by $\{{λ_j^R}^\downarrow(T)\}$, the set of eigenvalues of $T$ lying strictly to the… ▽ More In this article, we obtain some results in the direction of ``infinite dimensional symplectic spectral theory". We prove an inequality between the eigenvalues and symplectic eigenvalues of a special class of infinite dimensional operators. Let $T$ be an operator such that $T - αI$ is compact for some $α> 0$. Denote by $\{{λ_j^R}^\downarrow(T)\}$, the set of eigenvalues of $T$ lying strictly to the right side of $α$ arranged in the decreasing order and let $\{{λ_j^L}^\uparrow(T)\}$ denote the set of eigenvalues of $T$ lying strictly to the left side of $α$ arranged in the increasing order. Furthermore, let $\{{d_j^R}^\downarrow(T)\}$ denote the symplectic eigenvalues of $T$ lying strictly to the right of $α$ arranged in decreasing order and $\{{d_j^L}^\uparrow(T)\}$ denote the set of symplectic eigenvalues of $T$ lying strictly to the left of $α$ arranged in increasing order, respectively (such an arrangement is possible as it will be shown that the only possible accumulation point for the symplectic eigenvalues is $α$). Then we show that $${d_j^R}^\downarrow(T) \leq {λ_j^R}^\downarrow(T), \quad j = 1,2, \cdots, s_r$$ and $${λ_j^L}^\uparrow(T) \leq {d_j^L}^\uparrow(T), \quad j = 1,2, \cdots, s_l,$$ where $s_r$ and $s_l$ denote the number of symplectic eigenvalues of $T$ strictly to the right and left of $α$, respectively. This generalizes a finite dimensional result obtained by Bhatia and Jain (J. Math. Phys. 56, 112201 (2015)). The class of Gaussian Covariance Operators (GCO) and positive Absolutely Norm attaining Operators ($(\mathcal{A}\mathcal{N})_+$ operators) appear as special cases of the set of operators we consider. △ Less

Submitted 29 June, 2024; v1 submitted 7 December, 2022; originally announced December 2022.

Comments: Closer to the published version Quantum Stud.: Math. Found. (2024)

MSC Class: 47A10; 47B07; 81S10 (Primary); 46L60; 47B15; 47B65 (Secondary)

Error Bound for the Linear Complementarity Problem using Plus Function

Authors: Bharat Kumar, Deepmala, A. Dutta, A. K. Das

Abstract: In this article we establish error bound for linear complementarity problem with $P$-matrix using plus function. We introduce a fundamental quantity associated with a $P$-matrix and show how this quantity is useful in deriving error bounds for the linear complementarity problem of the $P$-type. We also obtain (upper and lower) bounds for the quantity introduced. Keywords: Linear complementarity… ▽ More In this article we establish error bound for linear complementarity problem with $P$-matrix using plus function. We introduce a fundamental quantity associated with a $P$-matrix and show how this quantity is useful in deriving error bounds for the linear complementarity problem of the $P$-type. We also obtain (upper and lower) bounds for the quantity introduced. Keywords: Linear complementarity problem, plus function, error bound, relative error bound. △ Less

Submitted 1 September, 2022; originally announced September 2022.

MSC Class: 90C33; 15A39; 15A24; 15A60; 65G50

A Fractional Image Inpainting Model Using a Variant of Mumford-Shah Model

Authors: Abdul Halim, Abdur Rohim, B. V. Rathish Kumar, Ripan Saha

Abstract: In this paper, we propose a fourth order PDE model for image inpainting based on a variant of the famous Mumford-Shah (MS) image segmentation model. Convexity splitting is used to discrtised the time and we replace the Laplacian by its fractional counterpart in the time discretised scheme. Fourier spectral method is used for space discretization. Consistency, stability and convergence of the time… ▽ More In this paper, we propose a fourth order PDE model for image inpainting based on a variant of the famous Mumford-Shah (MS) image segmentation model. Convexity splitting is used to discrtised the time and we replace the Laplacian by its fractional counterpart in the time discretised scheme. Fourier spectral method is used for space discretization. Consistency, stability and convergence of the time discretised model has been carried out. The model is tested on some standard test images and compared them with the result of some models existed in the literature. △ Less

Submitted 4 August, 2022; v1 submitted 3 August, 2022; originally announced August 2022.

Comments: 19 pages

Operator version of Korovkin Theorem; Degree of Convergence and its Applications

Authors: V. B. Kiran Kumar, P. C. Vinaya

Abstract: In a recent article, Dumitru Popa proved an operator version of the Korovkin theorem. We recall the quantitative version of the Korovkin theorem obtained by O. Shisha and B. Mond in 1968. In this paper, we obtain a quantitative estimate for the operator version of the Korovkin theorem obtained by Dumitru Popa. We also consider various examples where the operator version is applicable and obtain si… ▽ More In a recent article, Dumitru Popa proved an operator version of the Korovkin theorem. We recall the quantitative version of the Korovkin theorem obtained by O. Shisha and B. Mond in 1968. In this paper, we obtain a quantitative estimate for the operator version of the Korovkin theorem obtained by Dumitru Popa. We also consider various examples where the operator version is applicable and obtain similar estimates leading to the degree of convergence. In addition, we obtain the trigonometric analogue of this result by proving the quantitative version. Finally, we apply this result to the preconditioning problem of large linear systems with the Toeplitz structure. △ Less

Submitted 7 July, 2022; originally announced July 2022.

Report number: 127087 MSC Class: 41A36; 47B35

Journal ref: Volume 523, Issue 1, 1 July 2023

Solution of Tensor Complementarity Problem Using Homotopy Function

Authors: A. Dutta, Bharat Kumar, Deepmala, A. K. Das

Abstract: The paper aims to propose a suitable method in finding the solution of tensor complementarity problem. The tensor complementarity problem is a subclass of nonlinear complementarity problems for which the involved function is defined by a tensor. We propose a new homotopy function with smooth and bounded homotopy path to obtain solution of the tensor complementarity problem under some conditions. A… ▽ More The paper aims to propose a suitable method in finding the solution of tensor complementarity problem. The tensor complementarity problem is a subclass of nonlinear complementarity problems for which the involved function is defined by a tensor. We propose a new homotopy function with smooth and bounded homotopy path to obtain solution of the tensor complementarity problem under some conditions. A homotopy continuation method is developed based on the proposed homotopy function. Several numerical examples are provided to show the effectiveness of the proposed homotopy continuation method. △ Less

Submitted 4 May, 2022; originally announced May 2022.

Comments: arXiv admin note: text overlap with arXiv:2108.06497, arXiv:2203.08561

MSC Class: 90C33; 90C30; 15A69

Revisiting Korovkin-type Theorems in Banach Function Spaces

Authors: V. B. Kiran Kumar, P C Vinaya

Abstract: This article delves into Korovkin-type theorems in Banach function spaces, as established by Yusuf Zeren et al. (2022). We prove that in this theorem, the positivity of the operators is not a necessary requirement and provide example of a non positive operator where it is applicable. Under the assumption of positivity, we establish an operator version of the result. Additionally, we derive a quant… ▽ More This article delves into Korovkin-type theorems in Banach function spaces, as established by Yusuf Zeren et al. (2022). We prove that in this theorem, the positivity of the operators is not a necessary requirement and provide example of a non positive operator where it is applicable. Under the assumption of positivity, we establish an operator version of the result. Additionally, we derive a quantitative form of the result using the modulus of continuity. We apply the result to examples such as Lebesgue space, Weighted Lebesgue space, Grand Lebesgue space, etc. Furthermore, we present numerical illustrations for specific cases. △ Less

Submitted 17 August, 2024; v1 submitted 21 April, 2022; originally announced April 2022.

On the cozero-divisor graphs assosciated to rings

Authors: Praveen Mathil, Barkha Baloda Jitender Kumar

Abstract: Let $R$ be a ring with unity. The cozero-divisor graph of a ring $R$, denoted by $Γ'(R)$, is an undirected simple graph whose vertices are the set of all non-zero and non-unit elements of $R$, and two distinct vertices $x$ and $y$ are adjacent if and only if $x \notin Ry$ and $y \notin Rx$. In this paper, first we study the Laplacian spectrum of $Γ'(\mathbb{Z}_n)$. We show that the graph… ▽ More Let $R$ be a ring with unity. The cozero-divisor graph of a ring $R$, denoted by $Γ'(R)$, is an undirected simple graph whose vertices are the set of all non-zero and non-unit elements of $R$, and two distinct vertices $x$ and $y$ are adjacent if and only if $x \notin Ry$ and $y \notin Rx$. In this paper, first we study the Laplacian spectrum of $Γ'(\mathbb{Z}_n)$. We show that the graph $Γ'(\mathbb{Z}_{pq})$ is Laplacian integral. Further, we obtain the Laplacian spectrum of $Γ'(\mathbb{Z}_n)$ for $n = p^{n_1}q^{n_2}$, where $n_1, n_2 \in \mathbb{N}$ and $p, q$ are distinct primes. In order to study the Laplacian spectral radius and algebraic connectivity of $Γ'(\mathbb{Z}_n)$, we characterized the values of $n$ for which the Laplacian spectral radius is equal to the order of $Γ'(\mathbb{Z}_n)$. Moreover, the values of $n$ for which the algebraic connectivity and vertex connectivity of $Γ'(\mathbb{Z}_n)$ coincide are also described. At the final part of this paper, we obtain the Wiener index of $Γ'(\mathbb{Z}_n)$ for arbitrary $n$. △ Less

Submitted 24 May, 2022; v1 submitted 1 February, 2022; originally announced February 2022.

Comments: 2 figures

MSC Class: 05C25; 05C50

Journal ref: AKCE International Journal of Graphs and Combinatorics, 2022

Stability in Non-Normal Periodic Jacobi Operators: Advancing Börg's Theorem

Authors: Krishna Kumar G., V. B. Kiran Kumar

Abstract: Periodic Jacobi operators naturally arise in numerous applications, forming a cornerstone in various fields. The spectral theory associated with these operators boasts an extensive body of literature. Considered as discretized counterparts of Schrödinger operators, widely employed in quantum mechanics, Jacobi operators play a crucial role in mathematical formulations. The classical uniqueness re… ▽ More Periodic Jacobi operators naturally arise in numerous applications, forming a cornerstone in various fields. The spectral theory associated with these operators boasts an extensive body of literature. Considered as discretized counterparts of Schrödinger operators, widely employed in quantum mechanics, Jacobi operators play a crucial role in mathematical formulations. The classical uniqueness result by G. Börg in $1946$ occupies a significant place in the literature of inverse spectral theory and its applications. This result is closely intertwined with M. Kac's renowned article, 'Can one hear the shape of a drum?' published in $1966$. Since $1975,$ discrete versions of Börg's theorem have been available in the literature. In this article, we concentrate on the non-normal periodic Jacobi operator and the discrete versions of Börg's Theorem. We extend recently obtained stability results to encompass non-normal cases. The existing stability findings establish a correlation between the oscillations of the matrix entries and the size of the spectral gap. Our result encompasses the current self-adjoint versions of Börg's theorem, including recent quantitative variations. Here, the oscillations of the matrix entries are linked to the path-connectedness of the pseudospectrum. Additionally, we explore finite difference approximations of various linear differential equations as specific applications. △ Less

Submitted 20 February, 2024; v1 submitted 30 December, 2021; originally announced December 2021.

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

Computation and Analysis of Jupiter-Europa and Jupiter-Ganymede Resonant Orbits in the Planar Concentric Circular Restricted 4-Body Problem

Authors: Bhanu Kumar, Rodney L. Anderson, Rafael de la Llave, Brian Gunter

Abstract: Many unstable periodic orbits of the planar circular restricted 3-body problem (PCRTBP) persist as invariant tori when a periodic forcing is added to the equations of motion. In this study, we compute tori corresponding to exterior Jupiter-Europa and interior Jupiter-Ganymede PCRTBP resonant periodic orbits in a concentric circular restricted 4-body problem (CCR4BP). Motivated by the 2:1 Laplace r… ▽ More Many unstable periodic orbits of the planar circular restricted 3-body problem (PCRTBP) persist as invariant tori when a periodic forcing is added to the equations of motion. In this study, we compute tori corresponding to exterior Jupiter-Europa and interior Jupiter-Ganymede PCRTBP resonant periodic orbits in a concentric circular restricted 4-body problem (CCR4BP). Motivated by the 2:1 Laplace resonance between Europa and Ganymede's orbits, we then attempt the continuation of a Jupiter-Europa 3:4 resonant orbit from the CCR4BP into the Jupiter-Ganymede PCRTBP. We strongly believe that the resulting dynamical object is a KAM torus lying near but not on the 3:2 Jupiter-Ganymede resonance. △ Less

Submitted 29 September, 2021; originally announced September 2021.

Comments: 20 pages, 18 figures

Journal ref: Proceedings of the 2021 AAS/AIAA Astrodynamics Specialist Conference, Paper AAS 21-651

Rapid GPU-Assisted Search and Parameterization-Based Refinement and Continuation of Connections between Tori in Periodically Perturbed Planar Circular Restricted 3-Body Problems

Authors: Bhanu Kumar, Rodney L. Anderson, Rafael de la Llave

Abstract: When the planar circular restricted 3-body problem (PCRTBP) is periodically perturbed, as occurs in many useful astrodynamics models, most unstable periodic orbits persist as whiskered tori. Intersections between stable and unstable manifolds of such tori provide natural heteroclinic pathways enabling spacecraft to greatly modify their orbits without using propellant. However, the 2D Poincaré sect… ▽ More When the planar circular restricted 3-body problem (PCRTBP) is periodically perturbed, as occurs in many useful astrodynamics models, most unstable periodic orbits persist as whiskered tori. Intersections between stable and unstable manifolds of such tori provide natural heteroclinic pathways enabling spacecraft to greatly modify their orbits without using propellant. However, the 2D Poincaré sections used in PCRTBP studies no longer work to find these intersections. Thus, in this study, we develop new fast methods to search for and compute such heteroclinics. First, the dynamics are used to restrict the intersection search to only certain manifold subsets, greatly reducing the required computational effort. Next, we present a massively parallel procedure for carrying out this search by representing the manifolds as discrete meshes and adapting methods from computer graphics collision detection algorithms. Implementing the method in Julia and OpenCL, we obtain a 5-7x speedup by leveraging GPUs versus CPU-only execution. Finally, we show how to use manifold parameterizations to refine the approximate intersections found in the mesh search to very high accuracy, as well as to numerically continue the connections through families of tori; the families' Whitney differentiability enables interpolation of needed parameterizations. The ability to very rapidly find a heteroclinic intersection between tori of fixed frequencies thus allows the systematic exploration of intersections for tori of nearby frequencies as well, yielding a variety of potential zero-fuel spacecraft trajectories. We demonstrate the tools on the Jupiter-Europa planar elliptic RTBP. △ Less

Submitted 17 October, 2023; v1 submitted 29 September, 2021; originally announced September 2021.

Comments: 38 pages, 15 figures

MSC Class: 70M20; 37J46; 37M21

High-Order Resonant Orbit Manifold Expansions For Mission Design In the Planar Circular Restricted 3-Body Problem

Authors: Bhanu Kumar, Rodney L. Anderson, Rafael de la Llave

Abstract: In recent years, stable and unstable manifolds of invariant objects (such as libration points and periodic orbits) have been increasingly recognized as an efficient tool for designing transfer trajectories in space missions. However, most methods currently used in mission design rely on using eigenvectors of the linearized dynamics as local approximations of the manifolds. Since such approximation… ▽ More In recent years, stable and unstable manifolds of invariant objects (such as libration points and periodic orbits) have been increasingly recognized as an efficient tool for designing transfer trajectories in space missions. However, most methods currently used in mission design rely on using eigenvectors of the linearized dynamics as local approximations of the manifolds. Since such approximations are not accurate except very close to the base invariant object, this requires large amounts of numerical integration to globalize the manifolds and locate intersections. In this paper, we study hyperbolic resonant periodic orbits in the planar circular restricted 3-body problem, and transfer trajectories between them, by: 1) determining where to search for resonant periodic orbits; 2) developing and implementing a parameterization method for accurate computation of their invariant manifolds as Taylor series; and 3) developing a procedure to compute intersections of the computed stable and unstable manifolds. We develop and implement algorithms that accomplish these three goals, and demonstrate their application to the problem of transferring between resonances in the Jupiter-Europa system. △ Less

Submitted 29 September, 2021; originally announced September 2021.

Comments: 17 pages, 8 figures

MSC Class: 37C27; 37C29; 37M21; 70M20

Journal ref: Commun Nonlinear Sci Numer Simulat 97(2021): 105691

Myocardial ischemic effects on cardiac electro-mechanical activity

Authors: B. V. Rathish Kumar, Meena Pargaei, Luca F. Pavarino, Simone Scacchi

Abstract: In this work, we investigated the effect of varying strength of Hyperkalemia and Hypoxia, in human cardiac tissue with a local ischemic subregion, on the electrical and mechanical activity of healthy and ischemic zones of the cardiac muscle. The Monodomain model in a deforming domain is taken with the addition of mechanical feedback and stretch-activated channel current coupled with the ten Tussch… ▽ More In this work, we investigated the effect of varying strength of Hyperkalemia and Hypoxia, in human cardiac tissue with a local ischemic subregion, on the electrical and mechanical activity of healthy and ischemic zones of the cardiac muscle. The Monodomain model in a deforming domain is taken with the addition of mechanical feedback and stretch-activated channel current coupled with the ten Tusscher human ventricular membrane model. The equations of finite elasticity are used to describe the deformation of the cardiac tissue. The resulting coupled electro-mechanical PDEs-ODEs non-linear system is solved numerically using finite elements in space and finite difference method in time. We examined the effect of local ischemia on cardiac electrical and mechanical activity in different cases. We concluded that the spread of Hyperkalemic or Hypoxic region alters the electro-mechanical coupling in terms of the action potential ($v$), intracellular calcium ion concentration $[Ca^{+2}]_i$, active tension, ($T_A$), stretch ($λ$), stretch rate ($ \frac{d λ}{dt}$). With the increase in the size of the ischemic region by a factor of five, approximately $45\%$ variation in the stretch rate $\frac{d λ}{dt}$ is noticed. It is also shown that ischemia affects the deformation (expansion and contraction) of the heart. △ Less

Submitted 31 May, 2021; originally announced May 2021.

Rapid and Accurate Methods for Computing Whiskered Tori and their Manifolds in Periodically Perturbed Planar Circular Restricted 3-Body Problems

Authors: Bhanu Kumar, Rodney L. Anderson, Rafael de la Llave

Abstract: When the planar circular restricted 3-body problem (RTBP) is periodically perturbed, families of unstable periodic orbits break up into whiskered tori, with most tori persisting into the perturbed system. In this study, we 1) develop a quasi-Newton method which simultaneously solves for the tori and their center, stable, and unstable directions; 2) implement continuation by both perturbation as we… ▽ More When the planar circular restricted 3-body problem (RTBP) is periodically perturbed, families of unstable periodic orbits break up into whiskered tori, with most tori persisting into the perturbed system. In this study, we 1) develop a quasi-Newton method which simultaneously solves for the tori and their center, stable, and unstable directions; 2) implement continuation by both perturbation as well as rotation numbers; 3) compute Fourier-Taylor parameterizations of the stable and unstable manifolds; 4) regularize the equations of motion; and 5) globalize these manifolds. Our methodology improves on efficiency and accuracy compared to prior studies, and applies to a variety of periodic perturbations. We demonstrate the tools near resonances in the planar elliptic RTBP. △ Less

Submitted 4 October, 2021; v1 submitted 24 May, 2021; originally announced May 2021.

Comments: 39 pages, 7 figures

MSC Class: 70

Subgrid multiscale stabilized finite element analysis of non-Newtonian Casson model fully coupled with Advection-Diffusion-Reaction equations

Authors: B. V. Rathish Kumar, Manisha Chowdhury

Abstract: In this paper we have studied subgrid multiscale stabilized formulation with dynamic subscales for non-Newtonian Casson fluid flow model tightly coupled with variable coefficients ADR ($VADR$) equation. The Casson viscosity coefficient is taken to be dependent upon solute mass concentration. This paper presents the stability and convergence analyses of the stabilized finite element solution. The p… ▽ More In this paper we have studied subgrid multiscale stabilized formulation with dynamic subscales for non-Newtonian Casson fluid flow model tightly coupled with variable coefficients ADR ($VADR$) equation. The Casson viscosity coefficient is taken to be dependent upon solute mass concentration. This paper presents the stability and convergence analyses of the stabilized finite element solution. The proposed expressions of the stabilization parameters helps in obtaining optimal order of convergences. Appropriate numerical experiments have been provided. △ Less

Submitted 19 May, 2021; originally announced May 2021.

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

An Analysis of Probabilistic Forwarding of Coded Packets on Random Geometric Graphs

Authors: B. R. Vinay Kumar, Navin Kashyap, D. Yogeshwaran

Abstract: We consider the problem of energy-efficient broadcasting on dense ad-hoc networks. Ad-hoc networks are generally modeled using random geometric graphs (RGGs). Here, nodes are deployed uniformly in a square area around the origin, and any two nodes which are within Euclidean distance of $1$ are assumed to be able to receive each other's broadcast. A source node at the origin encodes $k$ data packet… ▽ More We consider the problem of energy-efficient broadcasting on dense ad-hoc networks. Ad-hoc networks are generally modeled using random geometric graphs (RGGs). Here, nodes are deployed uniformly in a square area around the origin, and any two nodes which are within Euclidean distance of $1$ are assumed to be able to receive each other's broadcast. A source node at the origin encodes $k$ data packets of information into $n\ (>k)$ coded packets and transmits them to all its one-hop neighbors. The encoding is such that, any node that receives at least $k$ out of the $n$ coded packets can retrieve the original $k$ data packets. Every other node in the network follows a probabilistic forwarding protocol; upon reception of a previously unreceived packet, the node forwards it with probability $p$ and does nothing with probability $1-p$. We are interested in the minimum forwarding probability which ensures that a large fraction of nodes can decode the information from the source. We deem this a \emph{near-broadcast}. The performance metric of interest is the expected total number of transmissions at this minimum forwarding probability, where the expectation is over both the forwarding protocol as well as the realization of the RGG. In comparison to probabilistic forwarding with no coding, our treatment of the problem indicates that, with a judicious choice of $n$, it is possible to reduce the expected total number of transmissions while ensuring a near-broadcast. △ Less

Submitted 14 January, 2022; v1 submitted 18 May, 2021; originally announced May 2021.

Comments: [v3] version has been submitted to the IEEE/ACM Transactions on Networking. A crucial assumption (Assumption 1) in previous versions has been converted into a theorem (Theorem VI.1). Extended version of paper presented in WiOpt 2021. 15 pages

M/M/1 queue in two alternating environments and its heavy traffic approximation

Authors: Antonio Di Crescenzo, Virginia Giorno, Balasubramanian Krishna Kumar, Amelia G. Nobile

Abstract: We investigate an M/M/1 queue operating in two switching environments, where the switch is governed by a two-state time-homogeneous Markov chain. This model allows to describe a system that is subject to regular operating phases alternating with anomalous working phases or random repairing periods. We first obtain the steady-state distribution of the process in terms of a generalized mixture of tw… ▽ More We investigate an M/M/1 queue operating in two switching environments, where the switch is governed by a two-state time-homogeneous Markov chain. This model allows to describe a system that is subject to regular operating phases alternating with anomalous working phases or random repairing periods. We first obtain the steady-state distribution of the process in terms of a generalized mixture of two geometric distributions. In the special case when only one kind of switch is allowed, we analyze the transient distribution, and investigate the busy period problem. The analysis is also performed by means of a suitable heavy-traffic approximation which leads to a continuous random process. Its distribution satisfies a partial differential equation with randomly alternating infinitesimal moments. For the approximating process we determine the steady-state distribution, the transient distribution and a first-passage-time density. △ Less

Submitted 19 March, 2021; originally announced March 2021.

Comments: 31 pages, 18 figures

MSC Class: 60K25; 60K37; 60J60; 60J70

Journal ref: Journal of Mathematical Analysis and Applications, 465 (2018), pp. 973-1001

Subgrid multiscale stabilized finite element analysis of non-Newtonian Power-law model fully coupled with Advection-Diffusion-Reaction equations

Authors: Manisha Chowdhury, B. V. Rathish Kumar

Abstract: This article presents stability and convergence analyses of subgrid multiscale stabilized finite element formulation of non-Newtonian power-law fluid flow model strongly coupled with variable coefficients Advection-Diffusion-Reaction ($VADR$) equation. Considering the highly non-linear viscosity coefficient as solute concentration dependent makes the coupling two way. The stabilized formulation of… ▽ More This article presents stability and convergence analyses of subgrid multiscale stabilized finite element formulation of non-Newtonian power-law fluid flow model strongly coupled with variable coefficients Advection-Diffusion-Reaction ($VADR$) equation. Considering the highly non-linear viscosity coefficient as solute concentration dependent makes the coupling two way. The stabilized formulation of the transient coupled system is developed based upon time dependent subscales, which ensures inherent consistency of the method. The proposed algebraic expressions of the stabilization parameters appropriately shape up the apriori and aposteriori error estimates. Both the shear thinning and shear thickening properties, indicated by different power-law indices are properly highlighted in theoretical derivations as well as in numerical validations. The numerical experiments carried out for different combinations of small and large Reynolds numbers and power-law indices establish far better performance of time dependent $ASGS$ method in approximating the solution of this coupled system for all the cases over the other well known stabilized finite element methods. △ Less

Submitted 18 February, 2021; originally announced February 2021.

On the size of the Fourier coefficients of Hilbert cusp forms

Authors: Balesh Kumar

Abstract: Let $\bf f$ be a primitive Hilbert cusp form of weight $k$ and level $\mathfrak{n}$ with Fourier coefficients $c_{\bf f}(\mathfrak{m})$. We prove a non-trivial upper bound for almost all Fourier coefficients $c_{\bf f}(\mathfrak{m})$ of $\bf f$. This generalizes the bounds obtained by Luca, Radziwiłł and Shparlinski. We also prove the existence of infinitely many integral ideals $\mathfrak{m}$ for… ▽ More Let $\bf f$ be a primitive Hilbert cusp form of weight $k$ and level $\mathfrak{n}$ with Fourier coefficients $c_{\bf f}(\mathfrak{m})$. We prove a non-trivial upper bound for almost all Fourier coefficients $c_{\bf f}(\mathfrak{m})$ of $\bf f$. This generalizes the bounds obtained by Luca, Radziwiłł and Shparlinski. We also prove the existence of infinitely many integral ideals $\mathfrak{m}$ for which the Fourier coefficients $c_{\bf f}(\mathfrak{m})$ have the improved upper bound and further we obtain a refinement of these integral ideals in terms of prime powers. In particular, this enable us to deduce the bound for Fourier coefficients of elliptic cusp forms beyond the `typical size'. Moreover, we prove further improvements of the bound under the assumption of Littlewood's conjecture. Finally, We study a lower bound for the Fourier coefficients at prime powers provided the corresponding Hecke eigen angle is badly approximable. △ Less

Submitted 8 October, 2020; originally announced October 2020.

Comments: Comments are welcome

MSC Class: 11F11; 11F30; 11F41

On the Existence Uniqueness and Numerical Computation of Non-linear Coupled Elliptic PDE System with its application

Authors: B. V. Rathish Kumar, Sangita Dey

Abstract: In this study we prove the existence-uniqueness of a coupled non-linear elliptic PDE system using Lax-Milgram theorem, Galerkin Method, Brouwer's fixed point theorem. Later we derive the finite element scheme for the numerical solution of the PDE system and also carry out the convergence analysis for the derived scheme. Further successfully apply the scheme to an application related to free convec… ▽ More In this study we prove the existence-uniqueness of a coupled non-linear elliptic PDE system using Lax-Milgram theorem, Galerkin Method, Brouwer's fixed point theorem. Later we derive the finite element scheme for the numerical solution of the PDE system and also carry out the convergence analysis for the derived scheme. Further successfully apply the scheme to an application related to free convection phenomena. △ Less

Submitted 30 September, 2020; originally announced September 2020.

Comments: 9 pages, 0 figure

Apriori and aposteriori error estimation of Subgrid multiscale stabilized finite element method for fully coupled Navier-Stokes Transport model

Authors: B. V. Rathish Kumar, Manisha Chowdhury

Abstract: In this paper a fully coupled system of transient $Navier$-$Stokes$ ($NS$) fluid flow model and variable coefficient unsteady Advection-Diffusion-Reaction ($VADR$) transport model has been studied through subgrid multiscale stabilized finite element method. In particular algebraic approach of approximating the subscales has been considered to arrive at stabilized variational formulation of the cou… ▽ More In this paper a fully coupled system of transient $Navier$-$Stokes$ ($NS$) fluid flow model and variable coefficient unsteady Advection-Diffusion-Reaction ($VADR$) transport model has been studied through subgrid multiscale stabilized finite element method. In particular algebraic approach of approximating the subscales has been considered to arrive at stabilized variational formulation of the coupled system. This system is strongly coupled since viscosity of the fluid depends upon the concentration, whose transportation is modelled by $VADR$ equation. Fully implicit schemes have been considered for time discretisation. Further more elaborated derivations of both $apriori$ and $aposteriori$ error estimates for stabilized finite element scheme have been carried out. Credibility of the stabilized method is also established well through various numerical experiments, presented before concluding. △ Less

Submitted 23 September, 2020; originally announced September 2020.

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

Apriori and aposteriori error estimation of Subgrid multiscale stabilized finite element method for coupled unified Stokes-Brinkman/Transport model

Authors: Manisha Chowdhury, B. V. Rathish Kumar

Abstract: In this study, we present a stabilized finite element analysis for completely unified Stokes-Brinkman problems fully coupled with variable coefficient transient Advection-Diffusion-Reaction equation(VADR). As well we have carried out the stabilized finite element analysis for Stokes-Brinkman model with interface conditions fully coupled with VADR. The viscosity of the fluid, involved in flow probl… ▽ More In this study, we present a stabilized finite element analysis for completely unified Stokes-Brinkman problems fully coupled with variable coefficient transient Advection-Diffusion-Reaction equation(VADR). As well we have carried out the stabilized finite element analysis for Stokes-Brinkman model with interface conditions fully coupled with VADR. The viscosity of the fluid, involved in flow problem, depends on the concentration of the solute, whose transport is described by VADR equation. The algebraic subgrid multiscale approach has been employed to arrive at the stabilized coupled variational formulation. For the time discretization the fully implicit Euler scheme has been used. A detailed derivation of both the apriori and aposteriori estimates for the stabilized subgrid multiscale finite element scheme have been presented. Few numerical experiments have been carried out to verify the credibility of the method. △ Less

Submitted 2 April, 2020; originally announced April 2020.

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

Subgrid multiscale stabilized finite element analysis of fully-coupled unified Stokes-Darcy-Brinkman/Transport model

Authors: B. V. Rathish Kumar, Manisha Chowdhury

Abstract: In this study, a stabilized finite element analysis of unified Stokes-Darcy-Brinkman system fully coupled with variable coefficient Advection-Diffusion-Reaction equation(VADR) has been carried out. The viscosity of the fluid, involved in Stokes-Darcy flow, depends on the concentration of the solute, whose transport is described by VADR equation. The algebraic subgrid multiscale approach has been e… ▽ More In this study, a stabilized finite element analysis of unified Stokes-Darcy-Brinkman system fully coupled with variable coefficient Advection-Diffusion-Reaction equation(VADR) has been carried out. The viscosity of the fluid, involved in Stokes-Darcy flow, depends on the concentration of the solute, whose transport is described by VADR equation. The algebraic subgrid multiscale approach has been employed to arrive at the stabilized coupled variational formulation. For the time discretization the fully implicit Euler scheme has been used. A detailed derivation of both the apriori and aposteriori estimates for the stabilized subgrid multiscale finite element scheme have been presented. Few numerical experiments have been carried out to verify the credibility of the method. △ Less

Submitted 26 November, 2019; originally announced November 2019.

Stabilized subgrid multiscale finite element formulation for advection-diffusion-reaction equation with variable coefficients coupled with Stokes-Darcy equation

Authors: Manisha Chowdhury, B. V. Rathish Kumar

Abstract: In this paper subgrid multiscale stabilized finite element method for Advection-Diffusion-Reaction (ADR) equation coupled with Stokes-Darcy flow problem has been studied. Here the advection velocity involved in ADR equation obeys Stokes-Darcy flow equation. In this study the approach of algebraic approximation of stabilization parameter has been considered. Further apriori error estimation has bee… ▽ More In this paper subgrid multiscale stabilized finite element method for Advection-Diffusion-Reaction (ADR) equation coupled with Stokes-Darcy flow problem has been studied. Here the advection velocity involved in ADR equation obeys Stokes-Darcy flow equation. In this study the approach of algebraic approximation of stabilization parameter has been considered. Further apriori error estimation has been elaborately carried out. △ Less

Submitted 23 July, 2019; originally announced July 2019.

Haar wavelet method for the coupled degenerate reaction-diffusion PDEs and the ODEs having a non-linear source

Authors: Meena Pargaei, B. V. Rathish Kumar

Abstract: In this work, we propose the Haar wavelet method for the coupled degenerate reaction-diffusion PDEs and the ODEs having non-linear a source with Neumann boundary, applicable in various fields of the natural sciences, engineering, and economics, for example in gas dynamics, certain biological models, assets pricing in economics, composite media etc. Convergence analysis of the proposed numerical sc… ▽ More In this work, we propose the Haar wavelet method for the coupled degenerate reaction-diffusion PDEs and the ODEs having non-linear a source with Neumann boundary, applicable in various fields of the natural sciences, engineering, and economics, for example in gas dynamics, certain biological models, assets pricing in economics, composite media etc. Convergence analysis of the proposed numerical scheme has been carried out. We use the GMRES solver to solve the linear system of equations. Numerical solutions for the model problems of medical significance have been successfully solved. △ Less

Submitted 19 February, 2019; originally announced February 2019.

Comments: 23 pages, 14 figures

Finite element apriori error estimate for a class of Cardiac Electric models

Authors: Meena Pargaei, B. V. Rathish Kumar

Abstract: In this study we derive the Finite element apriori error estimate for the monodomain cardiac electric model in conjunction with the generic form for a class of nonlinear ionic models. The analysis establishes a $o(h^2+k)$ space-time convergence. Further the computational realization of the same for different reduced ionic test models is presented. In this study we derive the Finite element apriori error estimate for the monodomain cardiac electric model in conjunction with the generic form for a class of nonlinear ionic models. The analysis establishes a $o(h^2+k)$ space-time convergence. Further the computational realization of the same for different reduced ionic test models is presented. △ Less

Submitted 2 February, 2019; originally announced February 2019.

Comments: 6 pages