-
Exploring Algorithmic Solutions for the Independent Roman Domination Problem in Graphs
Authors:
Kaustav Paul,
Ankit Sharma,
Arti Pandey
Abstract:
Given a graph $G=(V,E)$, a function $f:V\to \{0,1,2\}$ is said to be a \emph{Roman Dominating function} if for every $v\in V$ with $f(v)=0$, there exists a vertex $u\in N(v)$ such that $f(u)=2$. A Roman Dominating function $f$ is said to be an \emph{Independent Roman Dominating function} (or IRDF), if $V_1\cup V_2$ forms an independent set, where $V_i=\{v\in V~\vert~f(v)=i\}$, for…
▽ More
Given a graph $G=(V,E)$, a function $f:V\to \{0,1,2\}$ is said to be a \emph{Roman Dominating function} if for every $v\in V$ with $f(v)=0$, there exists a vertex $u\in N(v)$ such that $f(u)=2$. A Roman Dominating function $f$ is said to be an \emph{Independent Roman Dominating function} (or IRDF), if $V_1\cup V_2$ forms an independent set, where $V_i=\{v\in V~\vert~f(v)=i\}$, for $i\in \{0,1,2\}$. The total weight of $f$ is equal to $\sum_{v\in V} f(v)$, and is denoted as $w(f)$. The \emph{Independent Roman Domination Number} of $G$, denoted by $i_R(G)$, is defined as min$\{w(f)~\vert~f$ is an IRDF of $G\}$. For a given graph $G$, the problem of computing $i_R(G)$ is defined as the \emph{Minimum Independent Roman Domination problem}. The problem is already known to be NP-hard for bipartite graphs. In this paper, we further study the algorithmic complexity of the problem.
In this paper, we propose a polynomial-time algorithm to solve the Minimum Independent Roman Domination problem for distance-hereditary graphs, split graphs, and $P_4$-sparse graphs.
△ Less
Submitted 12 July, 2024; v1 submitted 4 July, 2024;
originally announced July 2024.
-
On $r$-primitive $k$-normal polynomials with two prescribed coefficients
Authors:
Avnish K. Sharma,
Mamta Rani,
Sharwan K. Tiwari,
Anupama Panigrahi
Abstract:
This article investigates the existence of an $r$-primitive $k$-normal polynomial, defined as the minimal polynomial of an $r$-primitive $k$-normal element in $\mathbb{F}_{q^n}$, with a specified degree $n$ and two given coefficients over the finite field $\mathbb{F}_{q}$. Here, $q$ represents an odd prime power, and $n$ is an integer. The article establishes a sufficient condition to ensure the e…
▽ More
This article investigates the existence of an $r$-primitive $k$-normal polynomial, defined as the minimal polynomial of an $r$-primitive $k$-normal element in $\mathbb{F}_{q^n}$, with a specified degree $n$ and two given coefficients over the finite field $\mathbb{F}_{q}$. Here, $q$ represents an odd prime power, and $n$ is an integer. The article establishes a sufficient condition to ensure the existence of such a polynomial. Using this condition, it is demonstrated that a $2$-primitive $2$-normal polynomial of degree $n$ always exists over $\mathbb{F}_{q}$ when both $q\geq 11$ and $n\geq 15$. However, for the range $10\leq n\leq 14$, uncertainty remains regarding the existence of such a polynomial for $71$ specific pairs of $(q,n)$. Moreover, when $q<11$, the number of uncertain pairs reduces to $16$. Furthermore, for the case of $n=9$, extensive computational power is employed using SageMath software, and it is found that the count of such uncertain pairs is reduced to $3988$.
△ Less
Submitted 31 May, 2024;
originally announced May 2024.
-
Numerical integrators for confined Langevin dynamics
Authors:
B. Leimkuhler,
A. Sharma,
M. V. Tretyakov
Abstract:
We derive and analyze numerical methods for weak approximation of underdamped (kinetic) Langevin dynamics in bounded domains. First-order methods are based on an Euler-type scheme interlaced with collisions with the boundary. To achieve second order, composition schemes are derived based on decomposition of the generator into collisional drift, impulse, and stochastic momentum evolution. In a dete…
▽ More
We derive and analyze numerical methods for weak approximation of underdamped (kinetic) Langevin dynamics in bounded domains. First-order methods are based on an Euler-type scheme interlaced with collisions with the boundary. To achieve second order, composition schemes are derived based on decomposition of the generator into collisional drift, impulse, and stochastic momentum evolution. In a deterministic setting, this approach would typically lead to first-order approximation, even in symmetric compositions, but we find that the stochastic method can provide second-order weak approximation with a single gradient evaluation, both at finite times and in the ergodic limit. We provide theoretical and numerical justification for this observation using model problems and compare and contrast the numerical performance of different choices of the ordering of the terms in the splitting scheme.
△ Less
Submitted 25 April, 2024;
originally announced April 2024.
-
Convexity in Optimal Control Problems
Authors:
Abhijeet,
Mohamed Naveed Gul Mohamed,
Aayushman Sharma,
Suman Chakravorty
Abstract:
This paper investigates the central role played by the Hamiltonian in continuous-time nonlinear optimal control problems. We show that the strict convexity of the Hamiltonian in the control variable is a sufficient condition for the existence of a unique optimal trajectory, and the nonlinearity/non-convexity of the dynamics and the cost are immaterial. The analysis is extended to discrete-time pro…
▽ More
This paper investigates the central role played by the Hamiltonian in continuous-time nonlinear optimal control problems. We show that the strict convexity of the Hamiltonian in the control variable is a sufficient condition for the existence of a unique optimal trajectory, and the nonlinearity/non-convexity of the dynamics and the cost are immaterial. The analysis is extended to discrete-time problems, revealing that discretization destroys the convex Hamiltonian structure, leading to multiple spurious optima, unless the time discretization is sufficiently small. We present simulated results comparing the "indirect" Iterative Linear Quadratic Regulator (iLQR) and the "direct" Sequential Quadratic Programming (SQP) approach for solving the optimal control problem for the cartpole and pendulum models to validate the theoretical analysis. Results show that the ILQR always converges to the "globally" optimum solution while the SQP approach gets stuck in spurious minima given multiple random initial guesses for a time discretization that is insufficiently small, while both converge to the same unique solution if the discretization is sufficiently small.
△ Less
Submitted 12 April, 2024;
originally announced April 2024.
-
An Optimal Solution to Infinite Horizon Nonlinear Control Problems: Part II
Authors:
Mohamed Naveed Gul Mohamed,
Aayushman Sharma,
Raman Goyal,
Suman Chakravorty
Abstract:
This paper considers the infinite horizon optimal control problem for nonlinear systems. Under the condition of nonlinear controllability of the system to any terminal set containing the origin and forward invariance of the terminal set, we establish a regularized solution approach consisting of a ``finite free final time" optimal transfer problem to the terminal set which renders the set globally…
▽ More
This paper considers the infinite horizon optimal control problem for nonlinear systems. Under the condition of nonlinear controllability of the system to any terminal set containing the origin and forward invariance of the terminal set, we establish a regularized solution approach consisting of a ``finite free final time" optimal transfer problem to the terminal set which renders the set globally asymptotically stable. Further, we show that the approximations converge to the optimal infinite horizon cost as the size of the terminal set decreases to zero. We also perform the analysis for the discounted problem and show that the terminal set is asymptotically stable only for a subset of the state space and not globally. The theory is empirically evaluated on various nonholonomic robotic systems to show that the cost of our approximate problem converges and the transfer time into the terminal set is dependent on the initial state of the system, necessitating the free final time formulation.
△ Less
Submitted 25 March, 2024;
originally announced March 2024.
-
Data driven approach to study the transition from dispersive to dissipative systems through dimensionality reduction techniques
Authors:
Mairembam Kelvin Singh,
A. Surjalal Sharma,
N. Nimai Singh,
Moirangthem Shubhakanta Singh
Abstract:
Complexity is often exhibited in dynamical systems, where certain parameters evolve with time in a strange and chaotic nature. These systems lack predictability and are common in the physical world. Dissipative systems are one of such systems where the volume of the phase space contracts with time. On the other hand, we employ dimensionality reduction techniques to study complicated and complex da…
▽ More
Complexity is often exhibited in dynamical systems, where certain parameters evolve with time in a strange and chaotic nature. These systems lack predictability and are common in the physical world. Dissipative systems are one of such systems where the volume of the phase space contracts with time. On the other hand, we employ dimensionality reduction techniques to study complicated and complex data, which are tough to analyse. The Principal Component Analysis (PCA) is a dimensionality reduction technique used as a means to study complex data. Through PCA, we studied the reduced dimensional features of the numerical data generated by a nonlinear partial differential equation called the Korteweg de Vries (KdV) equation, which is a nonlinear dispersive system, where solitary waves travel along a specific direction with finite amplitude. Dissipative nature, specific to that of the Lorenz system, were observed in the dimensionally reduced data, which implies a transition from a dispersive system to a dissipative system.
△ Less
Submitted 7 February, 2024;
originally announced March 2024.
-
Solving fluid flow problems in space-time with multiscale stabilization: formulation and examples
Authors:
Biswajit Khara,
Robert Dyja,
Kumar Saurabh,
Anupam Sharma,
Baskar Ganapathysubramanian
Abstract:
We present a space-time continuous-Galerkin finite element method for solving incompressible Navier-Stokes equations. To ensure stability of the discrete variational problem, we apply ideas from the variational multi-scale method. The finite element problem is posed on the ``full" space-time domain, considering time as another dimension. We provide a rigorous analysis of the stability and converge…
▽ More
We present a space-time continuous-Galerkin finite element method for solving incompressible Navier-Stokes equations. To ensure stability of the discrete variational problem, we apply ideas from the variational multi-scale method. The finite element problem is posed on the ``full" space-time domain, considering time as another dimension. We provide a rigorous analysis of the stability and convergence of the stabilized formulation. And finally, we apply this method on two benchmark problems in computational fluid dynamics, namely, lid-driven cavity flow and flow past a circular cylinder. We validate the current method with existing results from literature and show that very large space-time blocks can be solved using our approach.
△ Less
Submitted 1 July, 2024; v1 submitted 19 February, 2024;
originally announced February 2024.
-
Sampling and estimation on manifolds using the Langevin diffusion
Authors:
Karthik Bharath,
Alexander Lewis,
Akash Sharma,
Michael V Tretyakov
Abstract:
Error bounds are derived for sampling and estimation using a discretization of an intrinsically defined Langevin diffusion with invariant measure $\text{d}μ_φ\propto e^{-φ} \mathrm{dvol}_g $ on a compact Riemannian manifold. Two estimators of linear functionals of $μ_φ$ based on the discretized Markov process are considered: a time-averaging estimator based on a single trajectory and an ensemble-a…
▽ More
Error bounds are derived for sampling and estimation using a discretization of an intrinsically defined Langevin diffusion with invariant measure $\text{d}μ_φ\propto e^{-φ} \mathrm{dvol}_g $ on a compact Riemannian manifold. Two estimators of linear functionals of $μ_φ$ based on the discretized Markov process are considered: a time-averaging estimator based on a single trajectory and an ensemble-averaging estimator based on multiple independent trajectories. Imposing no restrictions beyond a nominal level of smoothness on $φ$, first-order error bounds, in discretization step size, on the bias and variance/mean-square error of both estimators are derived. The order of error matches the optimal rate in Euclidean and flat spaces, and leads to a first-order bound on distance between the invariant measure $μ_φ$ and a stationary measure of the discretized Markov process. This order is preserved even upon using retractions when exponential maps are unavailable in closed form, thus enhancing practicality of the proposed algorithms. Generality of the proof techniques, which exploit links between two partial differential equations and the semigroup of operators corresponding to the Langevin diffusion, renders them amenable for the study of a more general class of sampling algorithms related to the Langevin diffusion. Conditions for extending analysis to the case of non-compact manifolds are discussed. Numerical illustrations with distributions, log-concave and otherwise, on the manifolds of positive and negative curvature elucidate on the derived bounds and demonstrate practical utility of the sampling algorithm.
△ Less
Submitted 15 June, 2024; v1 submitted 22 December, 2023;
originally announced December 2023.
-
A generalization of a result of Minakshisundaram and Pleijel
Authors:
Mansi Mishra,
Ankita Sharma,
M. K. Vemuri
Abstract:
Minakshisundaram and Pleijel gave an asymptotic formula for the sum of squares of the pointwise values of the eigenfunctions of the Laplace-Beltrami operator on a compact Riemannian manifold, with eigenvalues less than a fixed number. Here, a generalization is given, where the pointwise values are replaced by the Fourier coefficients of a smooth measure supported on a compact submanifold.
Minakshisundaram and Pleijel gave an asymptotic formula for the sum of squares of the pointwise values of the eigenfunctions of the Laplace-Beltrami operator on a compact Riemannian manifold, with eigenvalues less than a fixed number. Here, a generalization is given, where the pointwise values are replaced by the Fourier coefficients of a smooth measure supported on a compact submanifold.
△ Less
Submitted 16 February, 2024; v1 submitted 12 December, 2023;
originally announced December 2023.
-
Reducing Uncertainty in Sea-level Rise Prediction: A Spatial-variability-aware Approach
Authors:
Subhankar Ghosh,
Shuai An,
Arun Sharma,
Jayant Gupta,
Shashi Shekhar,
Aneesh Subramanian
Abstract:
Given multi-model ensemble climate projections, the goal is to accurately and reliably predict future sea-level rise while lowering the uncertainty. This problem is important because sea-level rise affects millions of people in coastal communities and beyond due to climate change's impacts on polar ice sheets and the ocean. This problem is challenging due to spatial variability and unknowns such a…
▽ More
Given multi-model ensemble climate projections, the goal is to accurately and reliably predict future sea-level rise while lowering the uncertainty. This problem is important because sea-level rise affects millions of people in coastal communities and beyond due to climate change's impacts on polar ice sheets and the ocean. This problem is challenging due to spatial variability and unknowns such as possible tipping points (e.g., collapse of Greenland or West Antarctic ice-shelf), climate feedback loops (e.g., clouds, permafrost thawing), future policy decisions, and human actions. Most existing climate modeling approaches use the same set of weights globally, during either regression or deep learning to combine different climate projections. Such approaches are inadequate when different regions require different weighting schemes for accurate and reliable sea-level rise predictions. This paper proposes a zonal regression model which addresses spatial variability and model inter-dependency. Experimental results show more reliable predictions using the weights learned via this approach on a regional scale.
△ Less
Submitted 18 October, 2023;
originally announced October 2023.
-
On Data-Driven Surrogate Modeling for Nonlinear Optimal Control
Authors:
Aayushman Sharma,
Suman Chakravorty
Abstract:
In this paper, we study the use of state-of-the-art nonlinear system identification techniques for the optimal control of nonlinear systems. We show that the nonlinear systems identification problem is equivalent to estimating the generalized moments of an underlying sampling distribution and is bound to suffer from ill-conditioning and variance when approximating a system to high order, requiring…
▽ More
In this paper, we study the use of state-of-the-art nonlinear system identification techniques for the optimal control of nonlinear systems. We show that the nonlinear systems identification problem is equivalent to estimating the generalized moments of an underlying sampling distribution and is bound to suffer from ill-conditioning and variance when approximating a system to high order, requiring samples combinatorial-exponential in the order of the approximation, i.e., the global nature of the approximation. We show that the iterative identification of "local" linear time varying (LTV) models around the current estimate of the optimal trajectory, coupled with a suitable optimal control algorithm such as iterative LQR (ILQR), is necessary as well as sufficient, to accurately solve the underlying optimal control problem.
△ Less
Submitted 19 October, 2023;
originally announced October 2023.
-
Finite difference method in prolate spheroidal coordinates for freely suspended spheroidal particles in linear flows of viscous and viscoelastic fluids
Authors:
Arjun Sharma,
Donald L. Koch
Abstract:
A finite difference scheme is used to develop a numerical method to solve the flow of an unbounded viscoelastic fluid with zero to moderate inertia around a prolate spheroidal particle. The equations are written in prolate spheroidal coordinates, and the shape of the particle is exactly resolved as one of the coordinate surfaces representing the inner boundary of the computational domain. As the p…
▽ More
A finite difference scheme is used to develop a numerical method to solve the flow of an unbounded viscoelastic fluid with zero to moderate inertia around a prolate spheroidal particle. The equations are written in prolate spheroidal coordinates, and the shape of the particle is exactly resolved as one of the coordinate surfaces representing the inner boundary of the computational domain. As the prolate spheroidal grid is naturally clustered near the particle surface, good resolution is obtained in the regions where the gradients of relevant flow variables are most significant. This coordinate system also allows large domain sizes with a reasonable number of mesh points to simulate unbounded fluid around a particle. Changing the aspect ratio of the inner computational boundary enables simulations of different particle shapes ranging from a sphere to a slender fiber. Numerical studies of the latter particle shape allow testing of slender body theories. The mass and momentum equations are solved with a Schur complement approach allowing us to solve the zero inertia case necessary to isolate the viscoelastic effects. The singularities associated with the coordinate system are overcome using L'Hopital's rule. A straightforward imposition of conditions representing a time-varying combination of linear flows on the outer boundary allows us to study various flows with the same computational domain geometry. {For the special but important case of zero fluid and particle inertia we obtain a novel formulation that satisfies the force- and torque-free constraint in an iteration-free manner.} The numerical method is demonstrated for various flows of Newtonian and viscoelastic fluids around spheres and spheroids (including those with large aspect ratio). Good agreement is demonstrated with existing theoretical and numerical results.
△ Less
Submitted 10 October, 2023;
originally announced October 2023.
-
Avalanche Prediction and Dynamics using Temperature Variance , Grain Size Variance and Flow Regimes
Authors:
Aditya Sharma
Abstract:
We investigate the effects of temperature variance, grain size variation, flow regimes, and the use of Support Vector Machines (SVMs) in avalanche studies. The temperature variance experiments involved ice single crystals and polycrystals, revealing that the scale-free pattern of avalanche sizes remains consistent regardless of temperature. The dynamics of dislocations in polycrystals were found t…
▽ More
We investigate the effects of temperature variance, grain size variation, flow regimes, and the use of Support Vector Machines (SVMs) in avalanche studies. The temperature variance experiments involved ice single crystals and polycrystals, revealing that the scale-free pattern of avalanche sizes remains consistent regardless of temperature. The dynamics of dislocations in polycrystals were found to be independent of stress level and temperature. The Material Point Method (MPM) was used to explore snow avalanche behavior and identify flow regimes. The MPM accurately represented various flow patterns of snow avalanches, although challenges remained in capturing powder clouds. SVMs were employed for avalanche forecasting, using meteorological and snowpack variables as input features. The selected features provided insights into snowfall characteristics, snow accumulation, rain interaction, snowdrift patterns, cloud dynamics, snowpack mechanics, and temperature distribution within the snowpack. The findings contribute to a better understanding of avalanche dynamics and offer potential improvements in avalanche trend predictions.
△ Less
Submitted 21 September, 2023;
originally announced October 2023.
-
Space-time finite element analysis of the advection-diffusion equation using Galerkin/least-square stabilization
Authors:
Biswajit Khara,
Kumar Saurabh,
Robert Dyja,
Anupam Sharma,
Baskar Ganapathysubramanian
Abstract:
We present a full space-time numerical solution of the advection-diffusion equation using a continuous Galerkin finite element method. The Galerkin/least-square method is employed to ensure stability of the discrete variational problem. In the full space-time formulation, time is considered another dimension, and the time derivative is interpreted as an additional advection term of the field varia…
▽ More
We present a full space-time numerical solution of the advection-diffusion equation using a continuous Galerkin finite element method. The Galerkin/least-square method is employed to ensure stability of the discrete variational problem. In the full space-time formulation, time is considered another dimension, and the time derivative is interpreted as an additional advection term of the field variable. We derive a priori error estimates and illustrate spatio-temporal convergence with several numerical examples. We also derive a posteriori error estimates, which coupled with adaptive space-time mesh refinement provide efficient and accurate solutions. The accuracy of the space-time solutions is illustrated against analytical solutions as well as against numerical solutions using a conventional time-marching algorithm.
△ Less
Submitted 24 March, 2024; v1 submitted 3 July, 2023;
originally announced July 2023.
-
On LCP and checkable group codes over finite non-commutative Frobenius rings
Authors:
Sanjit Bhowmick,
Javier de la Cruz,
Edgar Martínez-Moro,
Anuradha Sharma
Abstract:
We provide a simple proof for a complementary pair of group codes over a finite non-commutative Frobenius ring of the fact that one of them is equivalent to the other one. We also explore this fact for checkeable codes over the same type of alphabet.
We provide a simple proof for a complementary pair of group codes over a finite non-commutative Frobenius ring of the fact that one of them is equivalent to the other one. We also explore this fact for checkeable codes over the same type of alphabet.
△ Less
Submitted 13 April, 2023; v1 submitted 31 March, 2023;
originally announced March 2023.
-
Generalization in Graph Neural Networks: Improved PAC-Bayesian Bounds on Graph Diffusion
Authors:
Haotian Ju,
Dongyue Li,
Aneesh Sharma,
Hongyang R. Zhang
Abstract:
Graph neural networks are widely used tools for graph prediction tasks. Motivated by their empirical performance, prior works have developed generalization bounds for graph neural networks, which scale with graph structures in terms of the maximum degree. In this paper, we present generalization bounds that instead scale with the largest singular value of the graph neural network's feature diffusi…
▽ More
Graph neural networks are widely used tools for graph prediction tasks. Motivated by their empirical performance, prior works have developed generalization bounds for graph neural networks, which scale with graph structures in terms of the maximum degree. In this paper, we present generalization bounds that instead scale with the largest singular value of the graph neural network's feature diffusion matrix. These bounds are numerically much smaller than prior bounds for real-world graphs. We also construct a lower bound of the generalization gap that matches our upper bound asymptotically. To achieve these results, we analyze a unified model that includes prior works' settings (i.e., convolutional and message-passing networks) and new settings (i.e., graph isomorphism networks). Our key idea is to measure the stability of graph neural networks against noise perturbations using Hessians. Empirically, we find that Hessian-based measurements correlate with the observed generalization gaps of graph neural networks accurately. Optimizing noise stability properties for fine-tuning pretrained graph neural networks also improves test performance on several graph-level classification tasks.
△ Less
Submitted 23 October, 2023; v1 submitted 9 February, 2023;
originally announced February 2023.
-
Congruences for the difference of even and odd number of parts of the cubic and some analogous partition functions
Authors:
Nayandeep Deka Baruah,
Abhishek Sharma
Abstract:
Partitions wherein the even parts appear in two different colours are known as cubic partitions. Recently, Merca introduced and studied the function $A(n)$, which is defined as the difference between the number of cubic partitions of $n$ into an even number of parts and the number of cubic partitions of $n$ into an odd number of parts. In particular, using Smoot's \textsf{RaduRK} Mathematica packa…
▽ More
Partitions wherein the even parts appear in two different colours are known as cubic partitions. Recently, Merca introduced and studied the function $A(n)$, which is defined as the difference between the number of cubic partitions of $n$ into an even number of parts and the number of cubic partitions of $n$ into an odd number of parts. In particular, using Smoot's \textsf{RaduRK} Mathematica package, Merca proved the following congruences by finding the exact generating functions of the respective functions. For all $n\ge0$, \begin{align*}A(9n+5)\equiv 0\pmod 3,\\ A(27n+26)\equiv 0\pmod 3. \end{align*} By using generating function manipulations and dissections, da Silva and Sellers proved these congruences and two infinite families of congruences modulo 3 arising from these congruences. In this paper, by employing Ramanujan's theta function identities, we present simplified formulas of the generating functions from which proofs of the congruences of Merca as well as those of da Silva and Sellers follow quite naturally. We also study analogous partition functions wherein multiples of $k$ appear in two different colours, where $k\in\{3,5,7,23\}$.
△ Less
Submitted 25 January, 2023;
originally announced January 2023.
-
Vanishing Carleson measures and power compact weighted composition operators
Authors:
Aakriti Sharma,
Ajay K. Sharma,
M. Mursaleen
Abstract:
In this paper, we characterize Carleson measure and vanishing Carleson measure on Bergman spaces with admissible weights in terms of {\it t-Berezin transform} and {\it averaging function} as key tools. Moreover, power bounded and power compact weighted composition operators are characterized as application of Carleson measure and vanishing Carleson measure respectively on Bergman spaces with admis…
▽ More
In this paper, we characterize Carleson measure and vanishing Carleson measure on Bergman spaces with admissible weights in terms of {\it t-Berezin transform} and {\it averaging function} as key tools. Moreover, power bounded and power compact weighted composition operators are characterized as application of Carleson measure and vanishing Carleson measure respectively on Bergman spaces with admissible weights.
△ Less
Submitted 30 November, 2022;
originally announced December 2022.
-
Nuclear Volterra composition operators between Bloch and weighted type spaces
Authors:
Aakriti Sharma,
Ajay K. Sharma
Abstract:
In this paper, we completely characterize nuclear Volterra composition operators $T^φ_g : \mathcal H^\infty_ν\longrightarrow \mathcal H^\infty_μ$ and $S^φ_g : \mathcal H^\infty_ν\longrightarrow \mathcal H^\infty_μ$ acting between weighted type spaces in terms of the symbols $g$ and $φ$ of $T^φ_g$ and $S^φ_g$ and weights $ν$ and $μ$, when the weights $ν$ and $μ$ are normal weights in the sense of S…
▽ More
In this paper, we completely characterize nuclear Volterra composition operators $T^φ_g : \mathcal H^\infty_ν\longrightarrow \mathcal H^\infty_μ$ and $S^φ_g : \mathcal H^\infty_ν\longrightarrow \mathcal H^\infty_μ$ acting between weighted type spaces in terms of the symbols $g$ and $φ$ of $T^φ_g$ and $S^φ_g$ and weights $ν$ and $μ$, when the weights $ν$ and $μ$ are normal weights in the sense of Shields and Williams. Moreover, nuclear Volterra composition operators acting between little weighted type spaces and Bloch spaces of order $β$ are also characterized.
△ Less
Submitted 30 November, 2022;
originally announced November 2022.
-
Compact and order bounded sum of weighted differentiation composition operators
Authors:
Aakriti Sharma
Abstract:
In this paper, we characterize bounded, compact and order bounded sum of weighted differentiation composition operators from Bergman type spaces to weighted Banach spaces of analytic functions, where the sum of weighted differentiation composition operators is defined as $$ S^{n}_{\vec{u},τ}(f)= \displaystyle\sum_{j=0}^{n}D_{u_{j} ,τ}^{j}(f), \; \; f \in \mathcal{H}(\mathbb D).$$ Here…
▽ More
In this paper, we characterize bounded, compact and order bounded sum of weighted differentiation composition operators from Bergman type spaces to weighted Banach spaces of analytic functions, where the sum of weighted differentiation composition operators is defined as $$ S^{n}_{\vec{u},τ}(f)= \displaystyle\sum_{j=0}^{n}D_{u_{j} ,τ}^{j}(f), \; \; f \in \mathcal{H}(\mathbb D).$$ Here $\mathcal{H}(\mathbb D)$ is the space of all holomorphic functions on $\mathbb D$, $\vec{u}=\{u_{j}\}_{j=0}^{n}$, $u_{j} \in \mathcal{H}(\mathbb{D})$, $τ$ a holomorphic self-map of $\mathbb D$, $f^{(j)}$ the $j$th derivative of $f$ and weighted differentiation composition operator $D_{u_{j},τ}^{j}$ is defined as $D_{u_{j},τ}^{j}(f)=u_{j}C_τD^{j}(f)=u_{j}f^{(j)}\circτ, \; \; f \in \mathcal{H}(\mathbb D).$
△ Less
Submitted 16 November, 2022;
originally announced November 2022.
-
A Unified Framework for Optimization-Based Graph Coarsening
Authors:
Manoj Kumar,
Anurag Sharma,
Sandeep Kumar
Abstract:
Graph coarsening is a widely used dimensionality reduction technique for approaching large-scale graph machine learning problems. Given a large graph, graph coarsening aims to learn a smaller-tractable graph while preserving the properties of the originally given graph. Graph data consist of node features and graph matrix (e.g., adjacency and Laplacian). The existing graph coarsening methods ignor…
▽ More
Graph coarsening is a widely used dimensionality reduction technique for approaching large-scale graph machine learning problems. Given a large graph, graph coarsening aims to learn a smaller-tractable graph while preserving the properties of the originally given graph. Graph data consist of node features and graph matrix (e.g., adjacency and Laplacian). The existing graph coarsening methods ignore the node features and rely solely on a graph matrix to simplify graphs. In this paper, we introduce a novel optimization-based framework for graph dimensionality reduction. The proposed framework lies in the unification of graph learning and dimensionality reduction. It takes both the graph matrix and the node features as the input and learns the coarsen graph matrix and the coarsen feature matrix jointly while ensuring desired properties. The proposed optimization formulation is a multi-block non-convex optimization problem, which is solved efficiently by leveraging block majorization-minimization, $\log$ determinant, Dirichlet energy, and regularization frameworks. The proposed algorithms are provably convergent and practically amenable to numerous tasks. It is also established that the learned coarsened graph is $ε\in(0,1)$ similar to the original graph. Extensive experiments elucidate the efficacy of the proposed framework for real-world applications.
△ Less
Submitted 2 October, 2022;
originally announced October 2022.
-
Li-Yorke Chaos for Composition operators on Orlicz-Lorentz spaces
Authors:
Rajat Singh,
Aditi Sharma,
Romesh Kumar
Abstract:
In this paper, we study the Li-Yorke chaotic composition operators on Orlicz-Lorentz space. In fact, necessary and sufficient conditions are given for Li-Yorke chaotic composition operator $C_τ$ on $\mathbb{L}^{\varphi,h}(μ)$. Further, we present the equivalent conditions for $C_τ$ to be Li-Yorke chaotic. This paper's results are the generalization of results of [15] into Orlicz-Lorentz spaces.
In this paper, we study the Li-Yorke chaotic composition operators on Orlicz-Lorentz space. In fact, necessary and sufficient conditions are given for Li-Yorke chaotic composition operator $C_τ$ on $\mathbb{L}^{\varphi,h}(μ)$. Further, we present the equivalent conditions for $C_τ$ to be Li-Yorke chaotic. This paper's results are the generalization of results of [15] into Orlicz-Lorentz spaces.
△ Less
Submitted 21 December, 2022; v1 submitted 26 September, 2022;
originally announced September 2022.
-
Flexible Differentiable Optimization via Model Transformations
Authors:
Mathieu Besançon,
Joaquim Dias Garcia,
Benoît Legat,
Akshay Sharma
Abstract:
We introduce DiffOpt.jl, a Julia library to differentiate through the solution of optimization problems with respect to arbitrary parameters present in the objective and/or constraints. The library builds upon MathOptInterface, thus leveraging the rich ecosystem of solvers and composing well with modeling languages like JuMP. DiffOpt offers both forward and reverse differentiation modes, enabling…
▽ More
We introduce DiffOpt.jl, a Julia library to differentiate through the solution of optimization problems with respect to arbitrary parameters present in the objective and/or constraints. The library builds upon MathOptInterface, thus leveraging the rich ecosystem of solvers and composing well with modeling languages like JuMP. DiffOpt offers both forward and reverse differentiation modes, enabling multiple use cases from hyperparameter optimization to backpropagation and sensitivity analysis, bridging constrained optimization with end-to-end differentiable programming. DiffOpt is built on two known rules for differentiating quadratic programming and conic programming standard forms. However, thanks ability to differentiate through model transformation, the user is not limited to these forms and can differentiate with respect to the parameters of any model that can be reformulated into these standard forms. This notably includes programs mixing affine conic constraints and convex quadratic constraints or objective function.
△ Less
Submitted 31 July, 2023; v1 submitted 10 June, 2022;
originally announced June 2022.
-
On the average behavior of the Fourier coefficients of $j^{th}$ symmetric power $L$-function over a certain sequences of positive integers
Authors:
Anubhav Sharma,
Ayyadurai Sankaranarayanan
Abstract:
In this paper, we investigate the average behavior of the $n^{th}$ normalized Fourier coefficients of the $j^{th}$ ($j \geq 2$ be any fixed integer) symmetric power $L$-function (i.e., $L(s,sym^{j}f)$), attached to a primitive holomorphic cusp form $f$ of weight $k$ for the full modular group $SL(2,\mathbb{Z})$ over a certain sequences of positive integers. Precisely, we prove an asymptotic formul…
▽ More
In this paper, we investigate the average behavior of the $n^{th}$ normalized Fourier coefficients of the $j^{th}$ ($j \geq 2$ be any fixed integer) symmetric power $L$-function (i.e., $L(s,sym^{j}f)$), attached to a primitive holomorphic cusp form $f$ of weight $k$ for the full modular group $SL(2,\mathbb{Z})$ over a certain sequences of positive integers. Precisely, we prove an asymptotic formula with an error term for the sum $$\sum_{\stackrel{a_{1}^{2}+a_{2}^{2}+a_{3}^{2}+a_{4}^{2}+a_{5}^{2}+a_{6}^{2}\leq {x}}{(a_{1},a_{2},a_{3},a_{4},a_{5},a_{6})\in\mathbb{Z}^{6}}}λ^{2}_{sym^{j}f}(a_{1}^{2}+a_{2}^{2}+a_{3}^{2}+a_{4}^{2}+a_{5}^{2}+a_{6}^{2}),$$ where $x$ is sufficiently large, and $$L(s,sym^{j}f):=\sum_{n=1}^{\infty}\dfrac{λ_{sym^{j}f}(n)}{n^{s}}.$$ When $j=2$, the error term which we obtain, improves the earlier known result.
△ Less
Submitted 3 June, 2022;
originally announced June 2022.
-
coCartesian fibrations and homotopy colimits
Authors:
Amit Sharma
Abstract:
The main objective of this paper is to show that the homotopy colimit of a diagram of quasi-categories and indexed by a small category is a localization of Lurie's higher Grothendieck construction of the diagram. We thereby generalize Thomason's classical result which states that the homotopy colimit of a diagram of categories has the homotopy type of (the classifying space of) the Grothendieck co…
▽ More
The main objective of this paper is to show that the homotopy colimit of a diagram of quasi-categories and indexed by a small category is a localization of Lurie's higher Grothendieck construction of the diagram. We thereby generalize Thomason's classical result which states that the homotopy colimit of a diagram of categories has the homotopy type of (the classifying space of) the Grothendieck construction of the diagram of categories.
△ Less
Submitted 26 May, 2022;
originally announced May 2022.
-
Consensus based optimization via jump-diffusion stochastic differential equations
Authors:
D. Kalise,
A. Sharma,
M. V. Tretyakov
Abstract:
We introduce a new consensus based optimization (CBO) method where interacting particle system is driven by jump-diffusion stochastic differential equations. We study well-posedness of the particle system as well as of its mean-field limit. The major contributions of this paper are proofs of convergence of the interacting particle system towards the mean-field limit and convergence of a discretize…
▽ More
We introduce a new consensus based optimization (CBO) method where interacting particle system is driven by jump-diffusion stochastic differential equations. We study well-posedness of the particle system as well as of its mean-field limit. The major contributions of this paper are proofs of convergence of the interacting particle system towards the mean-field limit and convergence of a discretized particle system towards the continuous-time dynamics in the mean-square sense. We also prove convergence of the mean-field jump-diffusion SDEs towards global minimizer for a large class of objective functions. We demonstrate improved performance of the proposed CBO method over earlier CBO methods in numerical simulations on benchmark objective functions.
△ Less
Submitted 10 May, 2022;
originally announced May 2022.
-
Future-Focused Control Barrier Functions for Autonomous Vehicle Control
Authors:
Mitchell Black,
Mrdjan Jankovic,
Abhishek Sharma,
Dimitra Panagou
Abstract:
In this paper, we introduce a class of future-focused control barrier functions (ff-CBF) aimed at improving traditionally myopic CBF based control design and study their efficacy in the context of an unsignaled four-way intersection crossing problem for collections of both communicating and non-communicating autonomous vehicles. Our novel ff-CBF encodes that vehicles take control actions that avoi…
▽ More
In this paper, we introduce a class of future-focused control barrier functions (ff-CBF) aimed at improving traditionally myopic CBF based control design and study their efficacy in the context of an unsignaled four-way intersection crossing problem for collections of both communicating and non-communicating autonomous vehicles. Our novel ff-CBF encodes that vehicles take control actions that avoid collisions predicted under a zero-acceleration policy over an arbitrarily long future time interval. In this sense the ff-CBF defines a virtual barrier, a loosening of which we propose in the form of a relaxed future-focused CBF (rff-CBF) that allows a relaxation of the virtual ff-CBF barrier far from the physical barrier between vehicles. We study the performance of ff-CBF and rff-CBF based controllers on communicating vehicles via a series of simulated trials of the intersection scenario, and in particular highlight how the rff-CBF based controller empirically outperforms a benchmark controller from the literature by improving intersection throughput while preserving safety and feasibility. Finally, we demonstrate our proposed ff-CBF control law on an intersection scenario in the laboratory environment with a collection of 5 non-communicating AION ground rovers.
△ Less
Submitted 3 October, 2022; v1 submitted 31 March, 2022;
originally announced April 2022.
-
Inverses of $r$-primitive $k$-normal elements over finite fields
Authors:
Mamta Rani,
Avnish K. Sharma,
Sharwan K. Tiwari,
Anupama Panigrahi
Abstract:
Let $r$, $n$ be positive integers, $k$ be a non-negative integer and $q$ be any prime power such that $r\mid q^n-1.$ An element $α$ of the finite field $\mathbb{F}_{q^n}$ is called an {\it $r$-primitive} element, if its multiplicative order is $(q^n-1)/r$, and it is called a {\it $k$-normal} element over $\mathbb{F}_q$, if the greatest common divisor of the polynomials…
▽ More
Let $r$, $n$ be positive integers, $k$ be a non-negative integer and $q$ be any prime power such that $r\mid q^n-1.$ An element $α$ of the finite field $\mathbb{F}_{q^n}$ is called an {\it $r$-primitive} element, if its multiplicative order is $(q^n-1)/r$, and it is called a {\it $k$-normal} element over $\mathbb{F}_q$, if the greatest common divisor of the polynomials $m_α(x)=\sum_{i=1}^{n} α^{q^{i-1}}x^{n-i}$ and $x^n-1$ is of degree $k.$ In this article, we define the characteristic function for the set of $k$-normal elements, and with the help of this, we establish a sufficient condition for the existence of an element $α$ in $\mathbb{F}_{q^n}$, such that $α$ and $α^{-1}$ both are simultaneously $r$-primitive and $k$-normal over $\mathbb{F}_q$. Moreover, for $n>6k$, we show that there always exists an $r$-primitive and $k$-normal element $α$ such that $α^{-1}$ is also $r$-primitive and $k$-normal in all but finitely many fields $\mathbb{F}_{q^n}$ over $\mathbb{F}_q$, where $q$ and $n$ are such that $r\mid q^n-1$ and there exists a $k$-degree polynomial $g(x)\mid x^n-1$ over $\mathbb{F}_q$. In particular, we discuss the existence of an element $α$ in $\mathbb{F}_{q^n}$ such that $α$ and $α^{-1}$ both are simultaneously $1$-primitive and $1$-normal over $\mathbb{F}_q$.
△ Less
Submitted 27 January, 2022;
originally announced January 2022.
-
Weighted composition operators between weighted Hardy spaces on rooted trees
Authors:
P. Muthukumar,
Ajay K. Sharma,
Vivek Kumar
Abstract:
In this paper, we introduce a discrete analogue of weighted Hardy spaces on rooted trees and study weighted composition operators between them in detail. In particular, we characterize bounded and compact weighted composition operators between discrete Hardy spaces. We also consider isometric weighted composition operators between these spaces.
In this paper, we introduce a discrete analogue of weighted Hardy spaces on rooted trees and study weighted composition operators between them in detail. In particular, we characterize bounded and compact weighted composition operators between discrete Hardy spaces. We also consider isometric weighted composition operators between these spaces.
△ Less
Submitted 15 December, 2021;
originally announced December 2021.
-
Primitive Normal Values of Rational Functions over Finite Fields
Authors:
Avnish K. Sharma,
Mamta Rani,
Sharwan K. Tiwari
Abstract:
In this paper, we consider rational functions $f$ with some minor restrictions over the finite field $\mathbb{F}_{q^n},$ where $q=p^k$ for some prime $p$ and positive integer $k$. We establish a sufficient condition for the existence of a pair $(α,f(α))$ of primitive normal elements in $\mathbb{F}_{q^n}$ over $\mathbb{F}_{q}.$ Moreover, for $q=2^k$ and rational functions $f$ with quadratic numerat…
▽ More
In this paper, we consider rational functions $f$ with some minor restrictions over the finite field $\mathbb{F}_{q^n},$ where $q=p^k$ for some prime $p$ and positive integer $k$. We establish a sufficient condition for the existence of a pair $(α,f(α))$ of primitive normal elements in $\mathbb{F}_{q^n}$ over $\mathbb{F}_{q}.$ Moreover, for $q=2^k$ and rational functions $f$ with quadratic numerators and denominators, we explicitly find that there are at most $55$ finite fields $\mathbb{F}_{q^n}$ in which such a pair $(α,f(α))$ of primitive normal elements may not exist.
△ Less
Submitted 14 December, 2021;
originally announced December 2021.
-
Knowledge Transfer based Evolutionary Deep Neural Network for Intelligent Fault Diagnosis
Authors:
Arun K. Sharma,
Nishchal K. Verma
Abstract:
The performance of a deep neural network (DNN) for fault diagnosis is very much dependent on the network architecture. Also, the diagnostic performance is reduced if the model trained on a laboratory case machine is used on a test dataset from an industrial machine running under variable operating conditions. Thus, there are two challenges for the intelligent fault diagnosis of industrial machines…
▽ More
The performance of a deep neural network (DNN) for fault diagnosis is very much dependent on the network architecture. Also, the diagnostic performance is reduced if the model trained on a laboratory case machine is used on a test dataset from an industrial machine running under variable operating conditions. Thus, there are two challenges for the intelligent fault diagnosis of industrial machines: (i) selection of suitable DNN architecture and (ii) domain adaptation for the change in operating conditions. Therefore, we propose an evolutionary Net2Net transformation (EvoN2N) that finds the best suitable DNN architecture for the given dataset. Non-dominated sorting genetic algorithm II has been used to optimize the depth and width of the DNN architecture. Also, we have introduced a hybrid crossover technique for optimization of the depth and width of the deep neural network encoded in a chromosome. We have formulated a knowledge transfer-based fitness evaluation scheme for faster evolution. The proposed framework can obtain the best model for intelligent fault diagnosis without the need for a long-time-taking search process. We have used the Case Western Reserve University dataset, Paderborn university dataset, and gearbox fault detection dataset to demonstrate the effectiveness of the proposed framework for the selection of the best suitable architecture capable of excellent diagnostic performance, classification accuracy almost up to 100%
△ Less
Submitted 10 February, 2022; v1 submitted 28 September, 2021;
originally announced September 2021.
-
Twistor sigma models for quaternionic geometry and graviton scattering
Authors:
Tim Adamo,
Lionel Mason,
Atul Sharma
Abstract:
We reformulate the twistor construction for hyper- and quaternion-Kähler manifolds, introducing new sigma models that compute scalar potentials for the geometry. These sigma models have the twistor space of the quaternionic manifold as their target and encode finite non-linear perturbations of the flat structures. In the hyperkähler case our twistor sigma models compute both Plebanski fundamental…
▽ More
We reformulate the twistor construction for hyper- and quaternion-Kähler manifolds, introducing new sigma models that compute scalar potentials for the geometry. These sigma models have the twistor space of the quaternionic manifold as their target and encode finite non-linear perturbations of the flat structures. In the hyperkähler case our twistor sigma models compute both Plebanski fundamental forms (including the Kähler potential), while in the quaternion-Kähler setting the twistor sigma model computes the Kähler potential for the hyperkähler structure on non-projective twistor space. In four-dimensions, one of the models provides the generating functional of tree-level MHV graviton scattering amplitudes; perturbations of the hyperkähler structure corresponding to positive helicity gravitons. The sigma model's perturbation theory gives rise to a sum of tree diagrams observed previously in the literature, and their summation via a matrix tree theorem gives a first-principles derivation of Hodges' formula for MHV graviton amplitudes directly from general relativity. We generalise the twistor sigma model to higher-degree (defined in the first case with a cosmological constant), giving a new generating principle for the full tree-level graviton S-matrix.
△ Less
Submitted 17 January, 2022; v1 submitted 31 March, 2021;
originally announced March 2021.
-
On Cofibrations of Permutative categories
Authors:
Amit Sharma
Abstract:
In this note we introduce a notion of free cofibrations of permutative categories. We show that each cofibration of permutative categories is a retract of a free cofibration.
In this note we introduce a notion of free cofibrations of permutative categories. We show that each cofibration of permutative categories is a retract of a free cofibration.
△ Less
Submitted 24 February, 2021;
originally announced February 2021.
-
Compact closed categories and $Γ$-categories (with an appendix by André Joyal)
Authors:
Amit Sharma
Abstract:
In this paper we study compact closed categories within the context of homotopical algebra.
We construct two new model category structures by localizing two (Quillen equivalent) model categories of symmetric monoidal categories with the objective of establishing the free compact closed category on one generator as a fibrant replacement of the free symmetric monoidal category on one generator, in…
▽ More
In this paper we study compact closed categories within the context of homotopical algebra.
We construct two new model category structures by localizing two (Quillen equivalent) model categories of symmetric monoidal categories with the objective of establishing the free compact closed category on one generator as a fibrant replacement of the free symmetric monoidal category on one generator, in our localized model categories. We go on to show that the fibrant objects in our model categories are compact closed categories.
△ Less
Submitted 25 February, 2021; v1 submitted 16 October, 2020;
originally announced October 2020.
-
Simplest random walk for approximating Robin boundary value problems and ergodic limits of reflected diffusions
Authors:
B. Leimkuhler,
A. Sharma,
M. V. Tretyakov
Abstract:
A simple-to-implement weak-sense numerical method to approximate reflected stochastic differential equations (RSDEs) is proposed and analysed. It is proved that the method has the first order of weak convergence. Together with the Monte Carlo technique, it can be used to numerically solve linear parabolic and elliptic PDEs with Robin boundary condition. One of the key results of this paper is the…
▽ More
A simple-to-implement weak-sense numerical method to approximate reflected stochastic differential equations (RSDEs) is proposed and analysed. It is proved that the method has the first order of weak convergence. Together with the Monte Carlo technique, it can be used to numerically solve linear parabolic and elliptic PDEs with Robin boundary condition. One of the key results of this paper is the use of the proposed method for computing ergodic limits, i.e. expectations with respect to the invariant law of RSDEs, both inside a domain in $\mathbb{R}^{d}$ and on its boundary. This allows to efficiently sample from distributions with compact support. Both time-averaging and ensemble-averaging estimators are considered and analysed. A number of extensions are considered including a second-order weak approximation, the case of arbitrary oblique direction of reflection, and a new adaptive weak scheme to solve a Poisson PDE with Neumann boundary condition. The presented theoretical results are supported by several numerical experiments.
△ Less
Submitted 29 June, 2022; v1 submitted 28 June, 2020;
originally announced June 2020.
-
A Linear Time Algorithm for Computing the Eternal Vertex Cover Number of Cactus Graphs
Authors:
Jasine Babu,
Veena Prabhakaran,
Arko Sharma
Abstract:
The eternal vertex cover problem is a dynamic variant of the classical vertex cover problem. It is NP-hard to compute the eternal vertex cover number of graphs and known algorithmic results for the problem are very few. This paper presents a linear time recursive algorithm for computing the eternal vertex cover number of cactus graphs. Unlike other graph classes for which polynomial time algorithm…
▽ More
The eternal vertex cover problem is a dynamic variant of the classical vertex cover problem. It is NP-hard to compute the eternal vertex cover number of graphs and known algorithmic results for the problem are very few. This paper presents a linear time recursive algorithm for computing the eternal vertex cover number of cactus graphs. Unlike other graph classes for which polynomial time algorithms for eternal vertex cover number are based on efficient computability of a known lower bound directly derived from minimum vertex cover, we show that it is a certain substructure property that helps the efficient computation of eternal vertex cover number of cactus graphs. An extension of the result to graphs in which each block is an edge, a cycle or a biconnected chordal graph is also presented.
△ Less
Submitted 16 May, 2020;
originally announced May 2020.
-
Differences of composition operators from analytic Besov spaces into little Bloch type spaces
Authors:
Ajay K. Sharma,
Sei-Ichiro Ueki
Abstract:
The purpose of this paper is to describe the characterization for the compact difference of two composition operators acting between analytic Besov spaces and the weighted little Bloch type space over the unit disk.
The purpose of this paper is to describe the characterization for the compact difference of two composition operators acting between analytic Besov spaces and the weighted little Bloch type space over the unit disk.
△ Less
Submitted 2 May, 2020;
originally announced May 2020.
-
A higher Grothendieck construction
Authors:
Amit Sharma
Abstract:
The main objective of this paper is to construct a homotopy colimit functor on a category of functors taking values in the model category of quasi-categories.
The main objective of this paper is to construct a homotopy colimit functor on a category of functors taking values in the model category of quasi-categories.
△ Less
Submitted 20 July, 2020; v1 submitted 20 April, 2020;
originally announced April 2020.
-
D2C 2.0: Decoupled Data-Based Approach for Learning to Control Stochastic Nonlinear Systems via Model-Free ILQR
Authors:
Karthikeya S Parunandi,
Aayushman Sharma,
Suman Chakravorty,
Dileep Kalathil
Abstract:
In this paper, we propose a structured linear parameterization of a feedback policy to solve the model-free stochastic optimal control problem. This parametrization is corroborated by a decoupling principle that is shown to be near-optimal under a small noise assumption, both in theory and by empirical analyses. Further, we incorporate a model-free version of the Iterative Linear Quadratic Regulat…
▽ More
In this paper, we propose a structured linear parameterization of a feedback policy to solve the model-free stochastic optimal control problem. This parametrization is corroborated by a decoupling principle that is shown to be near-optimal under a small noise assumption, both in theory and by empirical analyses. Further, we incorporate a model-free version of the Iterative Linear Quadratic Regulator (ILQR) in a sample-efficient manner into our framework. Simulations on systems over a range of complexities reveal that the resulting algorithm is able to harness the superior second-order convergence properties of ILQR. As a result, it is fast and is scalable to a wide variety of higher dimensional systems. Comparisons are made with a state-of-the-art reinforcement learning algorithm, the Deep Deterministic Policy Gradient (DDPG) technique, in order to demonstrate the significant merits of our approach in terms of training-efficiency.
△ Less
Submitted 17 February, 2020;
originally announced February 2020.
-
Picard groupoids and $Γ$-categories
Authors:
Amit Sharma
Abstract:
In this paper we construct a symmetric monoidal closed model category of coherently commutative Picard groupoids. We construct another model category structure on the category of (small) permutative categories whose fibrant objects are (permutative) Picard groupoids. The main result is that the Segal's nerve functor induces a Quillen equivalence between the two aforementioned model categories. Our…
▽ More
In this paper we construct a symmetric monoidal closed model category of coherently commutative Picard groupoids. We construct another model category structure on the category of (small) permutative categories whose fibrant objects are (permutative) Picard groupoids. The main result is that the Segal's nerve functor induces a Quillen equivalence between the two aforementioned model categories. Our main result implies the classical result that Picard groupoids model stable homotopy one-types.
△ Less
Submitted 11 March, 2020; v1 submitted 13 February, 2020;
originally announced February 2020.
-
Positive linear maps and eigenvalue estimates for nonnegative matrices
Authors:
R. Sharma,
M. Pal,
A. Sharma
Abstract:
We show how positive unital linear maps can be used to obtain some bounds for the eigenvalues of nonnegative matrices.
We show how positive unital linear maps can be used to obtain some bounds for the eigenvalues of nonnegative matrices.
△ Less
Submitted 31 January, 2020;
originally announced February 2020.
-
Comments on the "Optimal strategy of deteriorating items with capacity constraints under two-levels of trade credit policy"
Authors:
Sunil Tiwari,
Masih Fadaki,
Anuj Kumar Sharma
Abstract:
This technical note rectified the mathematical and conceptual errors present in Liao et al. (2014). Liao et al. (2014) proposed an EOQ model under two-levels trade credit policy considering limited storage capacity whereby the supplier provides a permissible delay period (M) to the retailer, and the retailer also offers a permissible delay period (N) (whereM > N) to its customers. In the current t…
▽ More
This technical note rectified the mathematical and conceptual errors present in Liao et al. (2014). Liao et al. (2014) proposed an EOQ model under two-levels trade credit policy considering limited storage capacity whereby the supplier provides a permissible delay period (M) to the retailer, and the retailer also offers a permissible delay period (N) (whereM > N) to its customers. In the current technical note, we point out some defects of their model from the logical viewpoints of mathematics regarding both interest charged and interest earned. Furthermore, as an example, one of the affected numerical results is re-evaluated.
△ Less
Submitted 15 October, 2019; v1 submitted 15 October, 2019;
originally announced October 2019.
-
Weakly $I$-clean rings
Authors:
Ajay Sharma,
Dhiren Kumar Basnet
Abstract:
In this article, we introduce the concept of weakly $I$-clean ring, for any ideal $I$ of a ring $R$. We show that, for an ideal $I$ of a ring $R$, $R$ is uniquely weakly $I$-clean if and only if $R/I$ is semi boolean and idempotents can be lifted uniquely weakly modulo $I$ if and only if for each $a\in R$, there exists a central idempotent $e\in R$ such that either $a-e\in I$ or $a+e\in I$ and…
▽ More
In this article, we introduce the concept of weakly $I$-clean ring, for any ideal $I$ of a ring $R$. We show that, for an ideal $I$ of a ring $R$, $R$ is uniquely weakly $I$-clean if and only if $R/I$ is semi boolean and idempotents can be lifted uniquely weakly modulo $I$ if and only if for each $a\in R$, there exists a central idempotent $e\in R$ such that either $a-e\in I$ or $a+e\in I$ and $I$ is idempotent free. As a corollary, we characterize weakly $J$-clean ring. Also we study various properties of weakly $I$-clean ring.
△ Less
Submitted 26 September, 2019;
originally announced September 2019.
-
Globalized Robust Markov Perfect Equilibrium for Discounted Stochastic Games and its Application on Intrusion Detection in Wireless Sensor Networks: Part I -- Theory
Authors:
Debdas Ghosh,
Akshay Sharma,
K. K. Shukla
Abstract:
In this article, we study a discounted stochastic game to model resource optimal intrusion detection in wireless sensor networks. To address the problem of uncertainties in various network parameters, we propose a globalized robust game theoretic framework for discounted robust stochastic games. A robust solution to the considered problem is an optimal point that is feasible for all realizations o…
▽ More
In this article, we study a discounted stochastic game to model resource optimal intrusion detection in wireless sensor networks. To address the problem of uncertainties in various network parameters, we propose a globalized robust game theoretic framework for discounted robust stochastic games. A robust solution to the considered problem is an optimal point that is feasible for all realizations of data from a given uncertainty set. To allow a controlled violation of the constraints when the parameters move out of the uncertainty set, the concept of globalized robust framework comes into view. In this article, we formulate a globalized robust counterpart for the discounted stochastic game under consideration. With the help of globalized robust optimization, a concept of globalized robust Markov perfect equilibrium is introduced. The existence of such an equilibrium is shown for a discounted stochastic game when the number of actions of the players is finite. The contraction mapping theorem, Kakutani fixed point theorem and the concept of equicontinuity are used to prove the existence result. To compute a globalized robust Markov perfect equilibrium for the considered discounted stochastic game, a tractable representation of the proposed globalized robust counterpart is also provided. Using the derived tractable representation, we formulate a globalized robust intrusion detection system for wireless sensor networks. The simulation result reveals that the proposed globalized solution is much less sensitive to data perturbations than the robust solution.
△ Less
Submitted 28 October, 2019; v1 submitted 24 September, 2019;
originally announced September 2019.
-
A homotopy theory of coherently commutative monoidal quasi-categories
Authors:
Amit Sharma
Abstract:
The main objective of this paper is to construct a symmetric monoidal closed model category of coherently commutative monoidal quasi-categories. We construct another model category structure whose fibrant objects are (essentially) those coCartesian fibrations which represent objects that are known as symmetric monoidal quasi-categories in the literature. We go on to establish a Quillen equivalence…
▽ More
The main objective of this paper is to construct a symmetric monoidal closed model category of coherently commutative monoidal quasi-categories. We construct another model category structure whose fibrant objects are (essentially) those coCartesian fibrations which represent objects that are known as symmetric monoidal quasi-categories in the literature. We go on to establish a Quillen equivalence between the two model categories.
△ Less
Submitted 2 May, 2020; v1 submitted 14 August, 2019;
originally announced August 2019.
-
A note on variance bounds and location of eigenvalues
Authors:
R. Sharma,
A. Sharma,
R. Saini
Abstract:
We discuss some extensions and refinements of the variance bounds for both real and complex numbers. The related bounds for the eigenvalues and spread of a matrix are also derived here.
We discuss some extensions and refinements of the variance bounds for both real and complex numbers. The related bounds for the eigenvalues and spread of a matrix are also derived here.
△ Less
Submitted 18 May, 2019;
originally announced May 2019.
-
Nil Clean Divisor Graph
Authors:
Ajay Sharma,
Dhiren Kumar Basnet
Abstract:
In this article, we introduce a new graph theoretic structure associated with a finite commutative ring, called nil clean divisor graph. For a ring $R$, nil clean divisor graph is denoted by $G_N(R)$, where the vertex set is $\{x\in R\,:\, x\neq 0, \,\exists\, y(\neq 0, \neq x)\in R$ such that $xy$ is nil clean$\}$, two vertices $x$ and $y$ are adjacent if $xy$ is a nil clean element. We prove som…
▽ More
In this article, we introduce a new graph theoretic structure associated with a finite commutative ring, called nil clean divisor graph. For a ring $R$, nil clean divisor graph is denoted by $G_N(R)$, where the vertex set is $\{x\in R\,:\, x\neq 0, \,\exists\, y(\neq 0, \neq x)\in R$ such that $xy$ is nil clean$\}$, two vertices $x$ and $y$ are adjacent if $xy$ is a nil clean element. We prove some interesting results of nil clean divisor graph of a ring.
△ Less
Submitted 6 March, 2019;
originally announced March 2019.
-
Symmetric monoidal categories and $Γ$-categories
Authors:
Amit Sharma
Abstract:
In this paper we construct a symmetric monoidal closed model category of coherently commutative monoidal categories. The main aim of this paper is to establish a Quillen equivalence between a model category of coherently commutative monoidal categories and a natural model category of Permutative (or strict symmetric monoidal) categories, $\mathbf{Perm}$, which is not a symmetric monoidal closed mo…
▽ More
In this paper we construct a symmetric monoidal closed model category of coherently commutative monoidal categories. The main aim of this paper is to establish a Quillen equivalence between a model category of coherently commutative monoidal categories and a natural model category of Permutative (or strict symmetric monoidal) categories, $\mathbf{Perm}$, which is not a symmetric monoidal closed model category. The right adjoint of this Quillen equivalence is the classical Segal's Nerve functor.
△ Less
Submitted 8 October, 2019; v1 submitted 27 November, 2018;
originally announced November 2018.
-
Weak Nil Clean Ideal
Authors:
Dhiren Kumar Basnet,
Ajay Sharma
Abstract:
As a generalization of nil clean ideal, we define weak nil clean ideal of a ring. An ideal $I$ of a ring $R$ is weak nil clean ideal if for any $x\in I$, either $x=e+n$ or $x=-e+n$, where $n$ is a nilpotent element and $e$ is an idempotent element of $R$. Some interesting properties of weak nil clean ideal and its relation with weak nil clean ring have been discussed.
As a generalization of nil clean ideal, we define weak nil clean ideal of a ring. An ideal $I$ of a ring $R$ is weak nil clean ideal if for any $x\in I$, either $x=e+n$ or $x=-e+n$, where $n$ is a nilpotent element and $e$ is an idempotent element of $R$. Some interesting properties of weak nil clean ideal and its relation with weak nil clean ring have been discussed.
△ Less
Submitted 1 October, 2018;
originally announced October 2018.
-
On the Generalized Class of $\mathcal{P}\mathcal{R}$-warped product submanifolds in para-Kähler Manifolds
Authors:
A. Sharma,
S. K. Srivastava
Abstract:
In this paper, we study a new generalized class of $\mathcal{P}\mathcal{R}$-warped product submanifolds under the name $\mathcal{P}\mathcal{R}$-pseudo-slant warped product submanifolds in para-Kähler manifolds $\bar{M}$. The results of existence and non-existence for $\mathcal{P}\mathcal{R}$-pseudo-slant warped product submanifolds with proper slant factor in $\bar{M}$ are shown. In addition to th…
▽ More
In this paper, we study a new generalized class of $\mathcal{P}\mathcal{R}$-warped product submanifolds under the name $\mathcal{P}\mathcal{R}$-pseudo-slant warped product submanifolds in para-Kähler manifolds $\bar{M}$. The results of existence and non-existence for $\mathcal{P}\mathcal{R}$-pseudo-slant warped product submanifolds with proper slant factor in $\bar{M}$ are shown. In addition to these results, we give an elementary illustration of such warped product submanifold in $\bar{M}$.
△ Less
Submitted 9 May, 2018;
originally announced May 2018.