-
Feature-Based Interpretable Optimization
Authors:
Marc Goerigk,
Michael Hartisch,
Sebastian Merten,
Kartikey Sharma
Abstract:
For optimization models to be used in practice, it is crucial that users trust the results. A key factor in this aspect is the interpretability of the solution process. A previous framework for inherently interpretable optimization models used decision trees to map instances to solutions of the underlying optimization model. Based on this work, we investigate how we can use more general optimizati…
▽ More
For optimization models to be used in practice, it is crucial that users trust the results. A key factor in this aspect is the interpretability of the solution process. A previous framework for inherently interpretable optimization models used decision trees to map instances to solutions of the underlying optimization model. Based on this work, we investigate how we can use more general optimization rules to further increase interpretability and at the same time give more freedom to the decision maker. The proposed rules do not map to a concrete solution but to a set of solutions characterized by common features. To find such optimization rules, we present an exact methodology using mixed-integer programming formulations as well as heuristics. We also outline the challenges and opportunities that these methods present. In particular, we demonstrate the improvement in solution quality that our approach offers compared to existing frameworks for interpretable optimization and we discuss the relationship between interpretability and performance. These findings are supported by experiments using both synthetic and real-world data.
△ Less
Submitted 3 September, 2024;
originally announced September 2024.
-
A Random Matrix Model for a Family of Cusp Forms
Authors:
Owen Barrett,
Zoë X. Batterman,
Aditya Jambhale,
Steven J. Miller,
Akash L. Narayanan,
Kishan Sharma,
Chris Yao
Abstract:
The Katz-Sarnak philosophy states that statistics of zeros of $L$-function families near the central point as the conductors tend to infinity agree with those of eigenvalues of random matrix ensembles as the matrix size tends to infinity. While numerous results support this conjecture, S. J. Miller observed that for finite conductors, very different behavior can occur for zeros near the central po…
▽ More
The Katz-Sarnak philosophy states that statistics of zeros of $L$-function families near the central point as the conductors tend to infinity agree with those of eigenvalues of random matrix ensembles as the matrix size tends to infinity. While numerous results support this conjecture, S. J. Miller observed that for finite conductors, very different behavior can occur for zeros near the central point in elliptic curve $L$-function families. This led to the creation of the excised model of Dueñez, Huynh, Keating, Miller, and Snaith, whose predictions for quadratic twists of a given elliptic curve are well fit by the data. The key ingredients are relating the discretization of central values of the $L$-functions to excising matrices based on the value of the characteristic polynomials at 1 and using lower order terms (in statistics such as the one-level density and pair-correlation) to adjust the matrix size. We extended this model for a family of twists of an $L$-function associated to a given holomorphic cuspidal newform of odd prime level and arbitrary weight. We derive the corresponding "effective" matrix size for a given form by computing the one-level density and pair-correlation statistics for a chosen family of twists, and we show there is no repulsion for forms with weight greater than 2 and principal nebentype. We experimentally verify the accuracy of the model, and as expected, our model recovers the elliptic curve model.
△ Less
Submitted 8 July, 2024;
originally announced July 2024.
-
Some Novel Results on (alpha, beta)-Ricci-Yamabe Soliton and its Spacetime
Authors:
Pankaj Pandey,
Kamakshi Sharma
Abstract:
This article aims to investigate the characteristics of (alpha, beta) Ricci Yamabe soliton (briefly (alpha, beta) (RYS)) and its spacetime. The inclusion of killing vector field and the Lorentzian metrics make the Ricci-Yamabe soliton richer and interesting. We study the cosmological and dust fluid model on (RYS) equipped with Lorentzian para Sasakian (LPS) spacetime. The cases of eta-parallel Ric…
▽ More
This article aims to investigate the characteristics of (alpha, beta) Ricci Yamabe soliton (briefly (alpha, beta) (RYS)) and its spacetime. The inclusion of killing vector field and the Lorentzian metrics make the Ricci-Yamabe soliton richer and interesting. We study the cosmological and dust fluid model on (RYS) equipped with Lorentzian para Sasakian (LPS) spacetime. The cases of eta-parallel Ricci tensor and the Poisson structure have been studied on (RYS) equipped with (LPS) manifold. Gradient (RYS) equipped with (LPS) manifold also reveal. Finally, we establish an example of four-dimensional LP Sasakian manifold (LPS) that satisfy (alpha, beta) (RYS) and some results.
△ Less
Submitted 22 June, 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.
-
The German Tank Problem with Multiple Factories
Authors:
Steven J. Miller,
Kishan Sharma,
Andrew K. Yang
Abstract:
During the Second World War, estimates of the number of tanks deployed by Germany were critically needed. The Allies adopted two methods to estimate this information: espionage and statistical analysis. The latter approach was far more successful and is as follows: assuming that the tanks are sequentially numbered starting from 1, if we observe $k$ serial numbers from an unknown total of $N$ tanks…
▽ More
During the Second World War, estimates of the number of tanks deployed by Germany were critically needed. The Allies adopted two methods to estimate this information: espionage and statistical analysis. The latter approach was far more successful and is as follows: assuming that the tanks are sequentially numbered starting from 1, if we observe $k$ serial numbers from an unknown total of $N$ tanks, with the highest observed number being $M$, then the best linear unbiased estimator for $N$ is $M(1+1/k)-1$. This is now known as the German Tank Problem. Suppose one wishes to estimate the productivity of a rival by inspecting captured or destroyed tanks, each with a unique serial number. In many situations, the original German Tank Problem is insufficient, since typically there are $l>1$ factories, and tanks produced by different factories may have serial numbers in disjoint ranges that are often far separated, let alone sequentially numbered starting from 1. We wish to estimate the total tank production across all of the factories. We construct an efficient procedure to estimate the total productivity and prove that our procedure effectively estimates $N$ when $\log l/\log k$ is sufficiently small, and is robust against both large and small gaps between factories. In the final section, we show that given information about the gaps, we can make a far better estimator that is also effective when we have a small number of samples. When the number of samples is small compared to the number of gaps, the Mean Squared Error of this new estimator is several orders of magnitude smaller than the one that assumes no information. This quantifies the importance of hiding such information if one wishes to conceal their productivity from a rival.
△ Less
Submitted 11 April, 2024; v1 submitted 21 March, 2024;
originally announced March 2024.
-
Norm-induced Cuts: Optimization with Lipschitzian Black-box Functions
Authors:
Adrian Göß,
Alexander Martin,
Sebastian Pokutta,
Kartikey Sharma
Abstract:
In this paper, we consider a finite dimensional optimization problem minimizing a continuous objective on a compact domain subject to a multi-dimensional constraint function. For the latter, we only assume the availability of a Lipschitz property. In recent literature methods based on non-convex outer approximation are proposed for tackling one dimensional equality constraints on bounded polyhedra…
▽ More
In this paper, we consider a finite dimensional optimization problem minimizing a continuous objective on a compact domain subject to a multi-dimensional constraint function. For the latter, we only assume the availability of a Lipschitz property. In recent literature methods based on non-convex outer approximation are proposed for tackling one dimensional equality constraints on bounded polyhedral domains, which are Lipschitz with respect to the maximum norm. To the best of our knowledge, however, there exists no non-convex outer approximation method for a general problem class. We introduce a meta-level solution framework to solve such problems and tackle the underlying theoretical foundations. Considering the feasible domain without the constraint function as manageable, our method relaxes the multidimensional constraint and iteratively refines the feasible region by means of norm-induced cuts, relying on an oracle for the resulting sub-problems. We show the method's correctness and investigate the problem complexity. In order to account for discussions about functionality, limits, and extensions, we present computational examples including illustrations.
△ Less
Submitted 18 March, 2024;
originally announced March 2024.
-
Sampling-based Safe Reinforcement Learning for Nonlinear Dynamical Systems
Authors:
Wesley A. Suttle,
Vipul K. Sharma,
Krishna C. Kosaraju,
S. Sivaranjani,
Ji Liu,
Vijay Gupta,
Brian M. Sadler
Abstract:
We develop provably safe and convergent reinforcement learning (RL) algorithms for control of nonlinear dynamical systems, bridging the gap between the hard safety guarantees of control theory and the convergence guarantees of RL theory. Recent advances at the intersection of control and RL follow a two-stage, safety filter approach to enforcing hard safety constraints: model-free RL is used to le…
▽ More
We develop provably safe and convergent reinforcement learning (RL) algorithms for control of nonlinear dynamical systems, bridging the gap between the hard safety guarantees of control theory and the convergence guarantees of RL theory. Recent advances at the intersection of control and RL follow a two-stage, safety filter approach to enforcing hard safety constraints: model-free RL is used to learn a potentially unsafe controller, whose actions are projected onto safe sets prescribed, for example, by a control barrier function. Though safe, such approaches lose any convergence guarantees enjoyed by the underlying RL methods. In this paper, we develop a single-stage, sampling-based approach to hard constraint satisfaction that learns RL controllers enjoying classical convergence guarantees while satisfying hard safety constraints throughout training and deployment. We validate the efficacy of our approach in simulation, including safe control of a quadcopter in a challenging obstacle avoidance problem, and demonstrate that it outperforms existing benchmarks.
△ Less
Submitted 6 March, 2024;
originally announced March 2024.
-
A Survey of a Random Matrix Model for a Family of Cusp Forms
Authors:
Owen Barrett,
Zoë X. Batterman,
Aditya Jambhale,
Steven J. Miller,
Akash L. Narayanan,
Kishan Sharma,
Chris Yao
Abstract:
The Katz-Sarnak philosophy states that statistics of zeros of $L$-function families near the central point as the conductors tend to infinity agree with those of eigenvalues of random matrix ensembles as the matrix size tends to infinity. While numerous results support this conjecture, S. J. Miller observed that for finite conductors, very different behavior can occur for zeros near the central po…
▽ More
The Katz-Sarnak philosophy states that statistics of zeros of $L$-function families near the central point as the conductors tend to infinity agree with those of eigenvalues of random matrix ensembles as the matrix size tends to infinity. While numerous results support this conjecture, S. J. Miller observed that for finite conductors, very different behavior can occur for zeros near the central point in elliptic curve families. This led to the excised model of Dueñez, Huynh, Keating, Miller, and Snaith, whose predictions for quadratic twists of a given elliptic curve are beautifully fit by the data. The key ingredients are relating the discretization of central values of the $L$-functions to excising matrices based on the value of the characteristic polynomials at 1 and using lower order terms (in statistics such as the one-level density and pair-correlation) to adjust the matrix size. We discuss recent successes by the authors in extending this model to a family of quadratic twists of finite conductor of a given holomorphic cuspidal newform of level an odd prime level. In particular, we predict very little repulsion for forms with weight greater than 2.
△ Less
Submitted 17 April, 2024; v1 submitted 28 January, 2024;
originally announced February 2024.
-
Network Design for the Traffic Assignment Problem with Mixed-Integer Frank-Wolfe
Authors:
Kartikey Sharma,
Deborah Hendrych,
Mathieu Besançon,
Sebastian Pokutta
Abstract:
We tackle the network design problem for centralized traffic assignment, which can be cast as a mixed-integer convex optimization (MICO) problem. For this task, we propose different formulations and solution methods in both a deterministic and a stochastic setting in which the demand is unknown in the design phase. We leverage the recently proposed Boscia framework, which can solve MICO problems w…
▽ More
We tackle the network design problem for centralized traffic assignment, which can be cast as a mixed-integer convex optimization (MICO) problem. For this task, we propose different formulations and solution methods in both a deterministic and a stochastic setting in which the demand is unknown in the design phase. We leverage the recently proposed Boscia framework, which can solve MICO problems when the main nonlinearity stems from a differentiable objective function. Boscia tackles these problems by branch-and-bound with continuous relaxations solved approximately with Frank-Wolfe algorithms. We compare different linear relaxations and the corresponding subproblems solved by Frank-Wolfe, and alternative problem formulations to identify the situations in which each performs best. Our experiments evaluate the different approaches on instances from the Transportation Networks library and highlight the suitability of the mixed-integer Frank-Wolfe algorithm for this problem. In particular, we find that the Boscia framework is particularly applicable to this problem and that a mixed-integer linear Frank-Wolfe subproblem performs well for the deterministic case, while a penalty-based approach, with decoupled feasible regions for the design and flow variables, dominates other approaches for stochastic instances with many scenarios.
△ Less
Submitted 16 February, 2024; v1 submitted 31 January, 2024;
originally announced February 2024.
-
Adiabatic Limit of Calderon Projector on Manifold with Cylindrical End
Authors:
Kunal Sharma
Abstract:
For a Riemannian manifold with a cylindrical end, consider a Dirac-type operator that is asymptotically product type with the generalized Atiyah-Patodi-Singer boundary condition on any finite portion of the cylinder. In the present work we consider the problem of constructing the Calderon projector in this setting and studying the adiabatic limit of it along the cylindrical end. As a consequence,…
▽ More
For a Riemannian manifold with a cylindrical end, consider a Dirac-type operator that is asymptotically product type with the generalized Atiyah-Patodi-Singer boundary condition on any finite portion of the cylinder. In the present work we consider the problem of constructing the Calderon projector in this setting and studying the adiabatic limit of it along the cylindrical end. As a consequence, we extend a result of Nicolaescu on adiabatic limits of Cauchy data spaces. The proof leverages resolvent and its estimates in the framework of the b-calculus needed for the construction of the Calderon projector corresponding to our Dirac-type operator.
△ Less
Submitted 15 January, 2024;
originally announced January 2024.
-
Derivations of Non-Commutative Group Algebras
Authors:
Praveen Manju,
Rajendra Kumar Sharma
Abstract:
In this article, we study the derivations of group algebras of some important groups, namely, dihedral ($D_{2n}$), Dicyclic ($T_{4n}$) and Semi-dihedral ($SD_{8n}$). First, we explicitly classify all inner derivations of a group algebra $\mathbb{F}G$ of a finite group $G$ over an arbitrary field $\mathbb{F}$. Then we classify all $\mathbb{F}$-derivations of the group algebras $\mathbb{F}D_{2n}$,…
▽ More
In this article, we study the derivations of group algebras of some important groups, namely, dihedral ($D_{2n}$), Dicyclic ($T_{4n}$) and Semi-dihedral ($SD_{8n}$). First, we explicitly classify all inner derivations of a group algebra $\mathbb{F}G$ of a finite group $G$ over an arbitrary field $\mathbb{F}$. Then we classify all $\mathbb{F}$-derivations of the group algebras $\mathbb{F}D_{2n}$, $\mathbb{F}T_{4n}$ and $\mathbb{F}(SD_{8n})$ when $\mathbb{F}$ is a field of characteristic $0$ or an odd rational prime $p$ by giving the dimension and an explicit basis of these derivation algebras. We explicitly describe all inner derivations of these group algebras over an arbitrary field. Finally, we classify all derivations of the above group algebras when $\mathbb{F}$ is an algebraic extension of a prime field.
△ Less
Submitted 19 December, 2023;
originally announced December 2023.
-
Applications of Moments of Dirichlet Coefficients in Elliptic Curve Families
Authors:
Zoë Batterman,
Aditya Jambhale,
Steven J. Miller,
Akash L. Narayanan,
Kishan Sharma,
Andrew Yang,
Chris Yao
Abstract:
The moments of the coefficients of elliptic curve L-functions are related to numerous arithmetic problems. Rosen and Silverman proved a conjecture of Nagao relating the first moment of one-parameter families satisfying Tate's conjecture to the rank of the corresponding elliptic surface over Q(T); one can also construct families of moderate rank by finding families with large first moments. Michel…
▽ More
The moments of the coefficients of elliptic curve L-functions are related to numerous arithmetic problems. Rosen and Silverman proved a conjecture of Nagao relating the first moment of one-parameter families satisfying Tate's conjecture to the rank of the corresponding elliptic surface over Q(T); one can also construct families of moderate rank by finding families with large first moments. Michel proved that if j(T) is not constant, then the second moment of the family is of size p^2 + O(p^(3/2)); these two moments show that for suitably small support the behavior of zeros near the central point agree with that of eigenvalues from random matrix ensembles, with the higher moments impacting the rate of convergence.
In his thesis, Miller noticed a negative bias in the second moment of every one-parameter family of elliptic curves over the rationals whose second moment had a calculable closed-form expression, specifically the first lower order term which does not average to zero is on average negative. This Bias Conjecture is confirmed for many families; however, these are highly non-generic families whose resulting Legendre sums can be determined. Inspired by the recent successes by Yang-Hui He, Kyu-Hwan Lee, Thomas Oliver, Alexey Pozdnyakov and others in investigations of murmurations of elliptic curve coefficients with machine learning techniques, we pose a similar problem for trying to understand the Bias Conjecture. As a start to this program, we numerically investigate the Bias Conjecture for a family whose bias is positive for half the primes. Since the numerics do not offer conclusive evidence that negative bias for the other half is enough to overwhelm the positive bias, the Bias Conjecture cannot be verified for the family.
△ Less
Submitted 17 June, 2024; v1 submitted 28 November, 2023;
originally announced November 2023.
-
The Reversed Zeckendorf Game
Authors:
Zoë X. Batterman,
Aditya Jambhale,
Steven J. Miller,
Akash L. Narayanan,
Kishan Sharma,
Andrew K. Yang,
Chris Yao
Abstract:
Zeckendorf proved that every natural number $n$ can be expressed uniquely as a sum of non-consecutive Fibonacci numbers, called its Zeckendorf decomposition. Baird-Smith, Epstein, Flint, and Miller created the Zeckendorf game, a two-player game played on partitions of $n$ into Fibonacci numbers which always terminates at a Zeckendorf decomposition, and proved that Player 2 has a winning strategy f…
▽ More
Zeckendorf proved that every natural number $n$ can be expressed uniquely as a sum of non-consecutive Fibonacci numbers, called its Zeckendorf decomposition. Baird-Smith, Epstein, Flint, and Miller created the Zeckendorf game, a two-player game played on partitions of $n$ into Fibonacci numbers which always terminates at a Zeckendorf decomposition, and proved that Player 2 has a winning strategy for $n\geq 3$. Since their proof was non-constructive, other authors have studied the game to find a constructive winning strategy, and lacking success there turned to related problems. For example, Cheigh, Moura, Jeong, Duke, Milgrim, Miller, and Ngamlamai studied minimum and maximum game lengths and randomly played games. We explore a new direction and introduce the reversed Zeckendorf game, which starts at the ending state of the Zeckendorf game and flips all the moves, so the reversed game ends with all pieces in the first bin. We show that Player 1 has a winning strategy for $n = F_{i+1} + F_{i-2}$ and solve various modified games.
△ Less
Submitted 4 October, 2023; v1 submitted 22 September, 2023;
originally announced September 2023.
-
Safe Control Design through Risk-Tunable Control Barrier Functions
Authors:
Vipul K. Sharma,
S. Sivaranjani
Abstract:
We consider the problem of designing controllers to guarantee safety in a class of nonlinear systems under uncertainties in the system dynamics and/or the environment. We define a class of uncertain control barrier functions (CBFs), and formulate the safe control design problem as a chance-constrained optimization problem with uncertain CBF constraints. We leverage the scenario approach for chance…
▽ More
We consider the problem of designing controllers to guarantee safety in a class of nonlinear systems under uncertainties in the system dynamics and/or the environment. We define a class of uncertain control barrier functions (CBFs), and formulate the safe control design problem as a chance-constrained optimization problem with uncertain CBF constraints. We leverage the scenario approach for chance constrained optimization to develop a risk-tunable control design that provably guarantees the satisfaction of CBF safety constraints up to a user-defined probabilistic risk bound, and provides a trade-off between the sample complexity and risk tolerance. We demonstrate the performance of this approach through simulations on a quadcopter navigation problem with obstacle avoidance constraints.
△ Less
Submitted 18 September, 2023;
originally announced September 2023.
-
On pairs of $r$-primitive and $k$-normal elements with prescribed traces over finite fields
Authors:
Aakash Choudhary,
R. K. Sharma
Abstract:
Given $\mathbb{F}_{q^{n}}$, a field with $q^n$ elements, where $q $ is a prime power and $n$ is positive integer. For $r_1,r_2,m_1,m_2 \in \mathbb{N}$, $k_1,k_2 \in \mathbb{N}\cup \{0\}$, a rational function $F = \frac{F_1}{F_2}$ in $\mathbb{F}_{q}[x]$ with deg($F_i$) $\leq m_i$; $i=1,2,$ satisfying some conditions, and $a,b \in \mathbb{F}_{q}$, we construct a sufficient condition on $(q,n)$ which…
▽ More
Given $\mathbb{F}_{q^{n}}$, a field with $q^n$ elements, where $q $ is a prime power and $n$ is positive integer. For $r_1,r_2,m_1,m_2 \in \mathbb{N}$, $k_1,k_2 \in \mathbb{N}\cup \{0\}$, a rational function $F = \frac{F_1}{F_2}$ in $\mathbb{F}_{q}[x]$ with deg($F_i$) $\leq m_i$; $i=1,2,$ satisfying some conditions, and $a,b \in \mathbb{F}_{q}$, we construct a sufficient condition on $(q,n)$ which guarantees the existence of an $r_1$-primitive, $k_1$-normal element $ε\in \mathbb{F}_{q^n}$ such that $F(ε)$ is $r_2$-primitive, $k_2$-normal with $\operatorname{Tr}_{\mathbb{F}_{q^n}/\mathbb{F}_q}(ε) = a$ and $\operatorname{Tr}_{\mathbb{F}_{q^n}/\mathbb{F}_q}(ε^{-1}) = b$. For $m_1=10, \; m_2=11,\; r_1 = 3, \; r_2 = 2, \; k_1=2,\;k_2 = 1$, we establish bounds on $q$, for various $n$, to determine the existence of such elements in $\mathbb{F}_{q^{n}}$. Furthermore, we identify all such pairs $(q,n)$ excluding 10 possible values of $(q,n)$, in fields of characteristics 13.
△ Less
Submitted 25 July, 2023; v1 submitted 18 April, 2023;
originally announced April 2023.
-
Data-driven Distributionally Robust Optimization over Time
Authors:
Kevin-Martin Aigner,
Andreas Bärmann,
Kristin Braun,
Frauke Liers,
Sebastian Pokutta,
Oskar Schneider,
Kartikey Sharma,
Sebastian Tschuppik
Abstract:
Stochastic Optimization (SO) is a classical approach for optimization under uncertainty that typically requires knowledge about the probability distribution of uncertain parameters. As the latter is often unknown, Distributionally Robust Optimization (DRO) provides a strong alternative that determines the best guaranteed solution over a set of distributions (ambiguity set). In this work, we presen…
▽ More
Stochastic Optimization (SO) is a classical approach for optimization under uncertainty that typically requires knowledge about the probability distribution of uncertain parameters. As the latter is often unknown, Distributionally Robust Optimization (DRO) provides a strong alternative that determines the best guaranteed solution over a set of distributions (ambiguity set). In this work, we present an approach for DRO over time that uses online learning and scenario observations arriving as a data stream to learn more about the uncertainty. Our robust solutions adapt over time and reduce the cost of protection with shrinking ambiguity. For various kinds of ambiguity sets, the robust solutions converge to the SO solution. Our algorithm achieves the optimization and learning goals without solving the DRO problem exactly at any step. We also provide a regret bound for the quality of the online strategy which converges at a rate of $\mathcal{O}(\log T / \sqrt{T})$, where $T$ is the number of iterations. Furthermore, we illustrate the effectiveness of our procedure by numerical experiments on mixed-integer optimization instances from popular benchmark libraries and give practical examples stemming from telecommunications and routing. Our algorithm is able to solve the DRO over time problem significantly faster than standard reformulations.
△ Less
Submitted 11 April, 2023;
originally announced April 2023.
-
Existence of primitive pairs with two prescribed traces over finite fields
Authors:
Aakash Choudhary,
R. K. Sharma
Abstract:
Given $F= \mathbb{F}_{p^{t}}$, a field with $p^t$ elements, where $p $ is a prime power, $t\geq 7$, $n$ are positive integers and $f=f_1/f_2$ is a rational function, where $f_1, f_2$ are relatively prime, irreducible polynomials with $deg(f_1) + deg(f_2) = n $ in $F[x]$. We construct a sufficient condition on $(p,t)$ which guarantees primitive pairing $(ε, f(ε))$ exists in $F$ such that…
▽ More
Given $F= \mathbb{F}_{p^{t}}$, a field with $p^t$ elements, where $p $ is a prime power, $t\geq 7$, $n$ are positive integers and $f=f_1/f_2$ is a rational function, where $f_1, f_2$ are relatively prime, irreducible polynomials with $deg(f_1) + deg(f_2) = n $ in $F[x]$. We construct a sufficient condition on $(p,t)$ which guarantees primitive pairing $(ε, f(ε))$ exists in $F$ such that $Tr_{\mathbb{F}_{p^t}/\mathbb{F}_p}(ε) = a$ and $Tr_{\mathbb{F}_{p^t}/\mathbb{F}_p}(f(ε)) = b$ for any prescribed $a,b \in \mathbb{F}_{p}$. Further, we demonstrate for any positive integer $n$, such a pair definitely exists for large $t$. The scenario when $n = 2$ is handled separately and we verified that such a pair exists for all $(p,t)$ except from possible 71 values of $p$. A result for the case $n=3$ is given as well.
△ Less
Submitted 6 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.
-
On k-distance degree based topological indices of benzenoid systems
Authors:
Sohan Lal,
Karnika Sharma,
Vijay Kumar Bhat
Abstract:
Topological indices are graph invariants numeric quantities, which are utilized by researchers to analyze a variety of physiochemical aspects of molecules. The goal of developing topological indices is to give each chemical structure a numerical value while maintaining the highest level of differentiation. Using these indices, the classification of various structures, and their physiochemical and…
▽ More
Topological indices are graph invariants numeric quantities, which are utilized by researchers to analyze a variety of physiochemical aspects of molecules. The goal of developing topological indices is to give each chemical structure a numerical value while maintaining the highest level of differentiation. Using these indices, the classification of various structures, and their physiochemical and biological properties can be predicted. In this paper, the leap and leap hyper Zagreb indices, as well as their polynomials for a zigzag benzenoid system $Z_{p}$ and a rhombic benzenoid system $R_{p}$ are determined. In addition, new $k$-distance degree-based topological indices such as leap-Somber index, hyper leap forgotten index, leap $Y$ index, and leap $Y$ coindex are also computed for the molecular graphs of $Z_p$ and $R_p$. Furthermore, their numerical computation and discussion are performed to determine the significance of their physiochemical properties.
△ Less
Submitted 8 December, 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.
-
Groups having $11$ or $12$ cyclic subgroups
Authors:
Khyati Sharma,
A. Satyanarayana Reddy
Abstract:
A group is $n$-cyclic if it has exactly $n$ cyclic subgroups. In this paper, we classify $11$-cyclic groups and $12$-cyclic groups.
A group is $n$-cyclic if it has exactly $n$ cyclic subgroups. In this paper, we classify $11$-cyclic groups and $12$-cyclic groups.
△ Less
Submitted 9 February, 2023; v1 submitted 21 October, 2022;
originally announced October 2022.
-
Cyclic and Abelian CLT groups
Authors:
Khyati Sharma,
A. Satyanarayana Reddy
Abstract:
A group $G$ of order $n$ is said to be an ACLT (CCLT) group, if for every divisor $d$ of $n,$ where $d<n,$ $G$ has an abelian (cyclic) subgroup of order $d.$ A natural number $n$ is said to be an ACLT (CCLT) number if every group of order $n$ is an ACLT (CCLT) group. In this paper we find all ACLT and CCLT numbers and study various properties of ACLT (CCLT) groups.
A group $G$ of order $n$ is said to be an ACLT (CCLT) group, if for every divisor $d$ of $n,$ where $d<n,$ $G$ has an abelian (cyclic) subgroup of order $d.$ A natural number $n$ is said to be an ACLT (CCLT) number if every group of order $n$ is an ACLT (CCLT) group. In this paper we find all ACLT and CCLT numbers and study various properties of ACLT (CCLT) groups.
△ Less
Submitted 30 July, 2022;
originally announced August 2022.
-
Optimization under Connected Uncertainty
Authors:
Omid Nohadani,
Kartikey Sharma
Abstract:
Robust optimization methods have shown practical advantages in a wide range of decision-making applications under uncertainty. Recently, their efficacy has been extended to multi-period settings. Current approaches model uncertainty either independent of the past or in an implicit fashion by budgeting the aggregate uncertainty. In many applications, however, past realizations directly influence fu…
▽ More
Robust optimization methods have shown practical advantages in a wide range of decision-making applications under uncertainty. Recently, their efficacy has been extended to multi-period settings. Current approaches model uncertainty either independent of the past or in an implicit fashion by budgeting the aggregate uncertainty. In many applications, however, past realizations directly influence future uncertainties. For this class of problems, we develop a modeling framework that explicitly incorporates this dependence via connected uncertainty sets, whose parameters at each period depend on previous uncertainty realizations. To find optimal here-and-now solutions, we reformulate robust and distributionally robust constraints for popular set structures and demonstrate this modeling framework numerically on broadly applicable knapsack and portfolio-optimization problems.
△ Less
Submitted 21 February, 2022;
originally announced February 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.
-
Distributed Cooperative Multi-Agent Reinforcement Learning with Directed Coordination Graph
Authors:
Gangshan Jing,
He Bai,
Jemin George,
Aranya Chakrabortty,
Piyush. K. Sharma
Abstract:
Existing distributed cooperative multi-agent reinforcement learning (MARL) frameworks usually assume undirected coordination graphs and communication graphs while estimating a global reward via consensus algorithms for policy evaluation. Such a framework may induce expensive communication costs and exhibit poor scalability due to requirement of global consensus. In this work, we study MARLs with d…
▽ More
Existing distributed cooperative multi-agent reinforcement learning (MARL) frameworks usually assume undirected coordination graphs and communication graphs while estimating a global reward via consensus algorithms for policy evaluation. Such a framework may induce expensive communication costs and exhibit poor scalability due to requirement of global consensus. In this work, we study MARLs with directed coordination graphs, and propose a distributed RL algorithm where the local policy evaluations are based on local value functions. The local value function of each agent is obtained by local communication with its neighbors through a directed learning-induced communication graph, without using any consensus algorithm. A zeroth-order optimization (ZOO) approach based on parameter perturbation is employed to achieve gradient estimation. By comparing with existing ZOO-based RL algorithms, we show that our proposed distributed RL algorithm guarantees high scalability. A distributed resource allocation example is shown to illustrate the effectiveness of our algorithm.
△ Less
Submitted 9 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.
-
Multiset and Mixed Metric Dimension for Starphene and Zigzag-Edge Coronoid
Authors:
Jia-Bao Liu,
Sunny Kumar Sharma,
Vijay Kumar Bhat,
Hassan Raza
Abstract:
Let $Γ=(V,E)$ be a simple connected graph. A vertex $a$ is said to recognize (resolve) two different elements $b_{1}$ and $b_{2}$ from $V(Γ)\cup E(Γ)$ if $d(a, b_{1})\neq d(a, b_{2}\}$. A subset of distinct ordered vertices $U_{M}\subseteq V(Γ)$ is said to be a mixed metric generator for $Γ$ if each pair of distinct elements from $V\cup E$ are recognized by some element of $U_{M}$. The mixed metri…
▽ More
Let $Γ=(V,E)$ be a simple connected graph. A vertex $a$ is said to recognize (resolve) two different elements $b_{1}$ and $b_{2}$ from $V(Γ)\cup E(Γ)$ if $d(a, b_{1})\neq d(a, b_{2}\}$. A subset of distinct ordered vertices $U_{M}\subseteq V(Γ)$ is said to be a mixed metric generator for $Γ$ if each pair of distinct elements from $V\cup E$ are recognized by some element of $U_{M}$. The mixed metric generator with a minimum number of elements is called a mixed metric basis of $Γ$. Then, the cardinality of this mixed metric basis for $Γ$ is called the mixed metric dimension of $Γ$, denoted by $mdim(Γ)$. The concept of studying chemical structures using graph theory terminologies is both appealing and practical. It enables researchers to more precisely and easily examines various chemical topologies and networks. In this paper, we consider two well known chemical structures; starphene $SP_{a,b,c}$ and six-sided hollow coronoid $HC_{a,b,c}$ and respectively compute their multiset dimension and mixed metric dimension.
△ Less
Submitted 24 October, 2021;
originally announced October 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.
-
Unbounded Mixed Resolvability of Web Graph and Prism Related Graph
Authors:
Sunny Kumar Sharma,
Vijay Kumar Bhat
Abstract:
Let $\mathbb{E}(H)$ and $\mathbb{V}(H)$ denote the edge set and the vertex set of the simple connected graph $H$, respectively. The mixed metric dimension of the graph $H$ is the graph invariant, which is the mixture of two important graph parameters, the edge metric dimension and the metric dimension. In this article, we compute the mixed metric dimension for the two families of the plane graphs…
▽ More
Let $\mathbb{E}(H)$ and $\mathbb{V}(H)$ denote the edge set and the vertex set of the simple connected graph $H$, respectively. The mixed metric dimension of the graph $H$ is the graph invariant, which is the mixture of two important graph parameters, the edge metric dimension and the metric dimension. In this article, we compute the mixed metric dimension for the two families of the plane graphs viz., the Web graph $\mathbb{W}_{n}$ and the Prism allied graph $\mathbb{D}_{n}^{t}$. We show that the mixed metric dimension is non-constant unbounded for these two families of the plane graph. Moreover, for the Web graph $\mathbb{W}_{n}$ and the Prism allied graph $\mathbb{D}_{n}^{t}$, we unveil that the mixed metric basis set $M_{G}^{m}$ is independent.
△ Less
Submitted 19 August, 2021;
originally announced August 2021.
-
Metric and Edge Metric Dimension of Zigzag Edge Coronoid Fused with Starphene
Authors:
Sunny Kumar Sharma,
Vijay Kumar Bhat,
Hassan Raza,
Karnika Sharma
Abstract:
Let $Γ=(V,E)$ be a simple connected graph. $d(α,ε)=min\{d(α, w), d(α, d\}$ computes the distance between a vertex $α\in V(Γ)$ and an edge $ε=wd\in E(Γ)$. A single vertex $α$ is said to recognize (resolve) two different edges $ε_{1}$ and $ε_{2}$ from $E(Γ)$ if $d(α, ε_{2})\neq d(α, ε_{1}\}$. A subset of distinct ordered vertices $U_{E}\subseteq V(Γ)$ is said to be an edge metric generator for $Γ$ i…
▽ More
Let $Γ=(V,E)$ be a simple connected graph. $d(α,ε)=min\{d(α, w), d(α, d\}$ computes the distance between a vertex $α\in V(Γ)$ and an edge $ε=wd\in E(Γ)$. A single vertex $α$ is said to recognize (resolve) two different edges $ε_{1}$ and $ε_{2}$ from $E(Γ)$ if $d(α, ε_{2})\neq d(α, ε_{1}\}$. A subset of distinct ordered vertices $U_{E}\subseteq V(Γ)$ is said to be an edge metric generator for $Γ$ if every pair of distinct edges from $Γ$ are recognized by some element of $U_{E}$. An edge metric generator with a minimum number of elements in it, is called an edge metric basis for $Γ$. Then, the cardinality of this edge metric basis of $Γ$, is called the edge metric dimension of $Γ$, denoted by $edim(Γ)$. The concept of studying chemical structures using graph theory terminologies is both appealing and practical. It enables chemical researchers to more precisely and easily examine various chemical topologies and networks. In this article, we investigate a fascinating cluster of organic chemistry as a result of this motivation. We consider a zigzag edge coronoid fused with starphene and find its minimum vertex and edge metric generators.
△ Less
Submitted 30 July, 2021;
originally announced July 2021.
-
Asynchronous Distributed Reinforcement Learning for LQR Control via Zeroth-Order Block Coordinate Descent
Authors:
Gangshan Jing,
He Bai,
Jemin George,
Aranya Chakrabortty,
Piyush K. Sharma
Abstract:
Recently introduced distributed zeroth-order optimization (ZOO) algorithms have shown their utility in distributed reinforcement learning (RL). Unfortunately, in the gradient estimation process, almost all of them require random samples with the same dimension as the global variable and/or require evaluation of the global cost function, which may induce high estimation variance for large-scale net…
▽ More
Recently introduced distributed zeroth-order optimization (ZOO) algorithms have shown their utility in distributed reinforcement learning (RL). Unfortunately, in the gradient estimation process, almost all of them require random samples with the same dimension as the global variable and/or require evaluation of the global cost function, which may induce high estimation variance for large-scale networks. In this paper, we propose a novel distributed zeroth-order algorithm by leveraging the network structure inherent in the optimization objective, which allows each agent to estimate its local gradient by local cost evaluation independently, without use of any consensus protocol. The proposed algorithm exhibits an asynchronous update scheme, and is designed for stochastic non-convex optimization with a possibly non-convex feasible domain based on the block coordinate descent method. The algorithm is later employed as a distributed model-free RL algorithm for distributed linear quadratic regulator design, where a learning graph is designed to describe the required interaction relationship among agents in distributed learning. We provide an empirical validation of the proposed algorithm to benchmark its performance on convergence rate and variance against a centralized ZOO algorithm.
△ Less
Submitted 2 May, 2024; v1 submitted 26 July, 2021;
originally announced July 2021.
-
Edge Resolvability for Circular Ladder of Heptagons
Authors:
Jia-Bao Liu,
Sunny Kumar Sharma,
Vijay Kumar Bhat,
Hassan Raza
Abstract:
A set $\mathbb{Y}$ of elements (vertices or edges) in space is said to be a $generator$ of a metric space if each element of the space is recognized by its distances from the elements of $\mathbb{Y}$, uniquely. The generator with minimum cardinality is known as the $basis$ of the metric space, and this cardinality is the $dimension$ of the given space. In this article, we further discuss these not…
▽ More
A set $\mathbb{Y}$ of elements (vertices or edges) in space is said to be a $generator$ of a metric space if each element of the space is recognized by its distances from the elements of $\mathbb{Y}$, uniquely. The generator with minimum cardinality is known as the $basis$ of the metric space, and this cardinality is the $dimension$ of the given space. In this article, we further discuss these notions with respect to a heptagonal circular ladder. We show that for a heptagonal circular ladder $Γ_{n}$, the edge metric dimension is three and find that it equals its metric dimension. We also introduce a new family of the convex polytope graph (denoted by $Δ_{n}$) from a heptagonal circular ladder and find its metric dimension. Furthermore, we prove that the minimum generator (metric and edge metric) are independent for all of these families of the convex polytopes.
△ Less
Submitted 28 April, 2021; v1 submitted 26 April, 2021;
originally announced April 2021.
-
On Fault-Tolerant Resolvability of Double Antiprism and its related Graphs
Authors:
Sunny Kumar Sharma,
Vijay Kumar Bhat
Abstract:
For a connected graph $Γ=(V,E)$, a subset $R$ of ordered vertices in $V$ is said to be a resolving set in $Γ$, if the vector of distances to the vertices in $R$ is unique for each $u^{i}\in V(Γ)$. The metric dimension of $Γ$ is the minimum cardinality of such a set $R$. If $R\setminus \{u^{i}\}$ is still a resolving set $\forall$ $u^{i}\in R$, then $R$ is called a fault-tolerant resolving set (FTR…
▽ More
For a connected graph $Γ=(V,E)$, a subset $R$ of ordered vertices in $V$ is said to be a resolving set in $Γ$, if the vector of distances to the vertices in $R$ is unique for each $u^{i}\in V(Γ)$. The metric dimension of $Γ$ is the minimum cardinality of such a set $R$. If $R\setminus \{u^{i}\}$ is still a resolving set $\forall$ $u^{i}\in R$, then $R$ is called a fault-tolerant resolving set (FTRS) for $Γ$ and its least cardinality is the fault-tolerant metric dimension (FTMD) of $Γ$. In this article, we introduce the concept of an independent fault-tolerant resolving set (IFTRS) and investigate it for several well-known graphs. We also show that the FTMD is four for three closely related families of convex polytopes available in the literature (viz., double antiprism $\mathbb{A}_{n}$, $S_{n}$, and $T_{n}$).
△ Less
Submitted 19 April, 2021;
originally announced April 2021.
-
Learning Distributed Stabilizing Controllers for Multi-Agent Systems
Authors:
Gangshan Jing,
He Bai,
Jemin George,
Aranya Chakrabortty,
Piyush K. Sharma
Abstract:
We address the problem of model-free distributed stabilization of heterogeneous multi-agent systems using reinforcement learning (RL). Two algorithms are developed. The first algorithm solves a centralized linear quadratic regulator (LQR) problem without knowing any initial stabilizing gain in advance. The second algorithm builds upon the results of the first algorithm, and extends it to distribut…
▽ More
We address the problem of model-free distributed stabilization of heterogeneous multi-agent systems using reinforcement learning (RL). Two algorithms are developed. The first algorithm solves a centralized linear quadratic regulator (LQR) problem without knowing any initial stabilizing gain in advance. The second algorithm builds upon the results of the first algorithm, and extends it to distributed stabilization of multi-agent systems with predefined interaction graphs. Rigorous proofs are provided to show that the proposed algorithms achieve guaranteed convergence if specific conditions hold. A simulation example is presented to demonstrate the theoretical results.
△ Less
Submitted 7 March, 2021;
originally announced March 2021.
-
Existence of Primitive Normal Pairs with One Prescribed Trace over Finite Fields
Authors:
Hariom Sharma,
R. K. Sharma
Abstract:
Given $m, n, q\in \mathbb{N}$ such that $q$ is a prime power and $m\geq 3$, $a\in \mathbb{F}_q$, we establish a sufficient condition for the existence of primitive pair $(α, f(α))$ in $\mathbb{F}_{q^m}$ such that $α$ is normal over $\mathbb{F}_q$ and $\text{Tr}_{\mathbb{F}_{q^m}/\mathbb{F}_q}(α^{-1})=a$, where $f(x)\in \mathbb{F}_{q^m}(x)$ is a rational function of degree sum $n$. Further, when…
▽ More
Given $m, n, q\in \mathbb{N}$ such that $q$ is a prime power and $m\geq 3$, $a\in \mathbb{F}_q$, we establish a sufficient condition for the existence of primitive pair $(α, f(α))$ in $\mathbb{F}_{q^m}$ such that $α$ is normal over $\mathbb{F}_q$ and $\text{Tr}_{\mathbb{F}_{q^m}/\mathbb{F}_q}(α^{-1})=a$, where $f(x)\in \mathbb{F}_{q^m}(x)$ is a rational function of degree sum $n$. Further, when $n=2$ and $q=5^k$ for some $k\in \mathbb{N}$, such a pair definitely exists for all $(q, m)$ apart from at most $20$ choices.
△ Less
Submitted 20 January, 2021;
originally announced January 2021.
-
Briot-Bouquet differential subordination and Bernardi's integral operator
Authors:
Kanika Sharma,
Rasoul Aghalary,
V. Ravichandran
Abstract:
The conditions on $A$, $B$, $β$ and $γ$ are obtained for an analytic function $p$ defined on the open unit disc $\mathbb{D}$ and normalized by $p(0)=1$ to be subordinate to $(1+Az)/(1+Bz)$, $-1\leq B<A \leq 1$ when $p(z)+ zp'(z)/(βp(z)+γ)$ is subordinate to $e^{z}$. The conditions on these parameters are derived for the function $p$ to be subordinate to $\sqrt{1+z}$ or $e^{z}$ when…
▽ More
The conditions on $A$, $B$, $β$ and $γ$ are obtained for an analytic function $p$ defined on the open unit disc $\mathbb{D}$ and normalized by $p(0)=1$ to be subordinate to $(1+Az)/(1+Bz)$, $-1\leq B<A \leq 1$ when $p(z)+ zp'(z)/(βp(z)+γ)$ is subordinate to $e^{z}$. The conditions on these parameters are derived for the function $p$ to be subordinate to $\sqrt{1+z}$ or $e^{z}$ when $p(z)+ zp'(z)/(βp(z)+γ)$ is subordinate to $(1+Az)/(1+Bz)$. The conditions on $β$ and $γ$ are determined for the function $p$ to be subordinate to $e^{z}$ when $p(z)+ zp'(z)/(βp(z)+γ)$ is subordinate to $\sqrt{1+z}$. Related result for the function $p(z)+ zp'(z)/(βp(z)+γ)$ to be in the parabolic region bounded by the $\operatorname{Re} w=|w-1|$ is investigated. Sufficient conditions for the Bernardi's integral operator to belong to the various subclasses of starlike functions are obtained as applications
△ Less
Submitted 15 January, 2021;
originally announced January 2021.
-
Radius of starlikeness for some classes containing non-univalent functions
Authors:
Shalu Yadav,
Kanika Sharma,
V. Ravichandran
Abstract:
A starlike univalent function $f$ is characterized by the function $zf'(z)/f(z)$; several subclasses of these functions were studied in the past by restricting the function $zf'(z)/f(z)$ to take values in a region $Ω$ on the right-half plane, or, equivalently, by requiring the function $zf'(z)/f(z)$ to be subordinate to the corresponding mapping of the unit disk $\mathbb{D}$ to the region $Ω$.
T…
▽ More
A starlike univalent function $f$ is characterized by the function $zf'(z)/f(z)$; several subclasses of these functions were studied in the past by restricting the function $zf'(z)/f(z)$ to take values in a region $Ω$ on the right-half plane, or, equivalently, by requiring the function $zf'(z)/f(z)$ to be subordinate to the corresponding mapping of the unit disk $\mathbb{D}$ to the region $Ω$.
The mappings $w_1(z):=z+\sqrt{1+z^2}, w_2(z):=\sqrt{1+z}$ and $w_3(z):=e^z$ maps the unit disk $\mathbb{D}$ to various regions in the right half plane. For normalized analytic functions $f$ satisfying the conditions that $f(z)/g(z), g(z)/zp(z)$ and $p(z)$ are subordinate to the functions $w_i, i=1,2,3$ in various ways for some analytic functions $g(z)$ and $p(z)$, we determine the sharp radius for them to belong to various subclasses of starlike functions.
△ Less
Submitted 5 January, 2021;
originally announced January 2021.
-
Starlikeness of Analytic Functions with Subordinate Ratios
Authors:
Rosihan M. Ali,
Kanika Sharma,
V. Ravichandran
Abstract:
Let $h$ be a non-vanishing analytic function in the open unit disc with $h(0)=1$. Consider the class consisting of normalized analytic functions $f$ whose ratios $f(z)/g(z)$, $g(z)/z p(z)$, and $p(z)$ are each subordinate to $h$ for some analytic functions $g$ and $p$. The radius of starlikeness is obtained for this class when $h$ is chosen to be either $h(z)=\sqrt{1+z}$ or $h(z)=e^z$. Further…
▽ More
Let $h$ be a non-vanishing analytic function in the open unit disc with $h(0)=1$. Consider the class consisting of normalized analytic functions $f$ whose ratios $f(z)/g(z)$, $g(z)/z p(z)$, and $p(z)$ are each subordinate to $h$ for some analytic functions $g$ and $p$. The radius of starlikeness is obtained for this class when $h$ is chosen to be either $h(z)=\sqrt{1+z}$ or $h(z)=e^z$. Further $\mathcal{G}$-radius is also obtained for each of these two classes when $\mathcal{G}$ is a particular widely studied subclass of starlike functions. These include $\mathcal{G}$ consisting of the Janowski starlike functions, and functions which are parabolic starlike.
△ Less
Submitted 5 January, 2021;
originally announced January 2021.
-
Sufficient conditions for strong starlikeness
Authors:
Kanika Sharma,
Nak Eun Cho,
V. Ravichandran
Abstract:
Let $p$ be an analytic function defined on the open unit disc $\mathbb{D}$ with $p(0)=1$ and $0< α\leq 1$. The conditions on complex valued functions $C$, $D$ and $E$ are obtained for $p$ to be subordinate to $((1+z)/(1-z))^α$ when $C(z) z^{2}p''(z)+D(z)zp'(z) + E(z)p(z)=0$. Sufficient conditions for confluent (Kummer) hypergeometric function and generalized and normalized Bessel function of the f…
▽ More
Let $p$ be an analytic function defined on the open unit disc $\mathbb{D}$ with $p(0)=1$ and $0< α\leq 1$. The conditions on complex valued functions $C$, $D$ and $E$ are obtained for $p$ to be subordinate to $((1+z)/(1-z))^α$ when $C(z) z^{2}p''(z)+D(z)zp'(z) + E(z)p(z)=0$. Sufficient conditions for confluent (Kummer) hypergeometric function and generalized and normalized Bessel function of the first kind of complex order to be subordinate to $((1+z)/(1-z))^α$ are obtained as applications. The conditions on $α$ and $β$ are derived for $p$ to be subordinate to $((1+z)/(1-z))^α$ when $1+βzp'(z)/p^{n}(z)$ with $n=1,2$ is subordinate to $1+4z/3+2z^{2}/3=:\varphi_{CAR}(z)$. Similar problems were investigated for $\RE p(z)>0$ when the functions $p(z)+βzp'(z)/p^{n}(z)$ with $n=0,2$ is subordinate to $\varphi_{CAR}(z)$. The condition on $β$ is determined for $p$ to be subordinate to $((1+z)/(1-z))^α$ when $p(z)+βzp'(z)/p^{n}(z)$ with $n=0,1,2$ is subordinate to $((1+z)/(1-z))^α$.
△ Less
Submitted 6 July, 2020;
originally announced July 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.
-
Existence of Primitive Pairs with Prescribed Traces over Finite Fields
Authors:
Hariom Sharma,
R. K. Sharma
Abstract:
Let $F=\mathbb{F}_{q^m}$, $m>6$, $n$ a positive integer, and $f=p/q$ with $p$, $q$ co-prime irreducible polynomials in $F[x]$ and deg$(p)$ $+$ deg$(q)= n$. A sufficient condition has been obtained for the existence of primitive pairs $(α, f(α))$ in $F$ such that for any prescribed $a, b$ in $E=\mathbb{F}_q$, Tr$F/E (α) = a$ and Tr$F/E (α^{-1}) = b$. Further, for every positive integer $n$, such a…
▽ More
Let $F=\mathbb{F}_{q^m}$, $m>6$, $n$ a positive integer, and $f=p/q$ with $p$, $q$ co-prime irreducible polynomials in $F[x]$ and deg$(p)$ $+$ deg$(q)= n$. A sufficient condition has been obtained for the existence of primitive pairs $(α, f(α))$ in $F$ such that for any prescribed $a, b$ in $E=\mathbb{F}_q$, Tr$F/E (α) = a$ and Tr$F/E (α^{-1}) = b$. Further, for every positive integer $n$, such a pair definitely exists for large enough $(q,m)$. The case $n = 2$ is dealt separately and proved that such a pair exists for all $(q,m)$ apart from at most $64$ choices.
△ Less
Submitted 22 April, 2020;
originally announced April 2020.
-
Frame of Operators in quaternionic Hilbert spaces
Authors:
S. K. Sharma,
A. M. Jarrah,
S. K. Kaushik
Abstract:
In this paper, we introduce and study frame of operators in quaternionic Hilbert spaces as a generalization of g frames which in turn generalized various notions like Pseduo frames, bounded quasi-projectors and frame of subspaces (fusion frames) in separable quaternionic Hilbert spaces.
In this paper, we introduce and study frame of operators in quaternionic Hilbert spaces as a generalization of g frames which in turn generalized various notions like Pseduo frames, bounded quasi-projectors and frame of subspaces (fusion frames) in separable quaternionic Hilbert spaces.
△ Less
Submitted 1 March, 2020;
originally announced March 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.
-
Riesz bases in quaternionic Hilbert spaces
Authors:
S. K. Sharma,
Virender,
S. K. Kaushik
Abstract:
In this article, we introduce and study Riesz bases in a separable quaternionic Hilbert spaces. Some results on Riesz bases in a separable quaternionic Hilbert spaces are proved. It is also proved that a Riesz basis in a separable quaternionic Hilbert space a frame for the quaternionic Hilbert space. Riesz sequences are defined and equivalence of a Riesz basis and a complete Riesz sequence in a se…
▽ More
In this article, we introduce and study Riesz bases in a separable quaternionic Hilbert spaces. Some results on Riesz bases in a separable quaternionic Hilbert spaces are proved. It is also proved that a Riesz basis in a separable quaternionic Hilbert space a frame for the quaternionic Hilbert space. Riesz sequences are defined and equivalence of a Riesz basis and a complete Riesz sequence in a separable quaternionic Hilbert space is proved.
△ Less
Submitted 13 September, 2019;
originally announced September 2019.
-
Powers Vs. Powers
Authors:
Pramod K Sharma
Abstract:
Let $ A \subset B$ be rings. An ideal $ J \subset B$ is called power stable in $A$ if $ J^n \cap A = (J\cap A)^n$ for all $ n\geq 1$. Further, $J$ is called ultimately power stable in $A$ if $ J^n \cap A = (J\cap A)^n$ for all $n$ large i.e., $ n \gg 0$. In this note, our focus is to study these concepts for pair of rings $ R \subset R[X]$ where $R$ is an integral domain. Some of the results we pr…
▽ More
Let $ A \subset B$ be rings. An ideal $ J \subset B$ is called power stable in $A$ if $ J^n \cap A = (J\cap A)^n$ for all $ n\geq 1$. Further, $J$ is called ultimately power stable in $A$ if $ J^n \cap A = (J\cap A)^n$ for all $n$ large i.e., $ n \gg 0$. In this note, our focus is to study these concepts for pair of rings $ R \subset R[X]$ where $R$ is an integral domain. Some of the results we prove are: A maximal ideal $\textbf{m}$ in $R[X]$ is power stable in $R$ if and only if $ \wp^t $ is $ \wp-$primary for all $ t \geq 1$ for the prime ideal $\wp = \textbf{m}\cap R$. We use this to prove that for a Hilbert domain $R$, any radical ideal in $R[X]$ which is a finite intersection of G-ideals is power stable in $R$. Further, we prove that if $R$ is a Noetherian integral domain of dimension 1 then any radical ideal in $R[X] $ is power stable in $R$, and if every ideal in $R[X]$ is power stable in $R$ then $R$ is a field. We also show that if $ A \subset B$ are Noetherian rings, and $ I $ is an ideal in $B$ which is ultimately power stable in $A$, then if $ I \cap A = J$ is a radical ideal generated by a regular $A$-sequence, it is power stable. Finally, we give a relationship in power stability and ultimate power stability using the concept of reduction of an ideal (Theorem 3.22).
△ Less
Submitted 26 March, 2019;
originally announced March 2019.
-
Ideal containment vs. powers
Authors:
Pramod K. Sharma
Abstract:
Let $R$ be a commutative ring with identity. In this note, we study the property: If $ I \subsetneqq J$ are ideals in $R$, then $ I^n \subsetneqq J^n$ for all $ n\geq 1$. We define the notion of a big ideal (Definition 1.2). It is noted that the property has close relationship with the notions of reduction of an ideal and Ratliff-Rush ideal [7]. Apart from other results, it is proved that a Noethe…
▽ More
Let $R$ be a commutative ring with identity. In this note, we study the property: If $ I \subsetneqq J$ are ideals in $R$, then $ I^n \subsetneqq J^n$ for all $ n\geq 1$. We define the notion of a big ideal (Definition 1.2). It is noted that the property has close relationship with the notions of reduction of an ideal and Ratliff-Rush ideal [7]. Apart from other results, it is proved that a Noetherian domain satifies the property if and only if every ideal in $R$ is a Ratliff-Rush ideal. We also prove that ideals having no proper reduction are big ideals, and maximal ideals in regular rings are big.
△ Less
Submitted 26 March, 2019;
originally announced March 2019.
-
Deep Learning Based Online Power Control for Large Energy Harvesting Networks
Authors:
Mohit K Sharma,
Alessio Zappone,
Merouane Debbah,
Mohamad Assaad
Abstract:
In this paper, we propose a deep learning based approach to design online power control policies for large EH networks, which are often intractable stochastic control problems. In the proposed approach, for a given EH network, the optimal online power control rule is learned by training a deep neural network (DNN), using the solution of offline policy design problem. Under the proposed scheme, in…
▽ More
In this paper, we propose a deep learning based approach to design online power control policies for large EH networks, which are often intractable stochastic control problems. In the proposed approach, for a given EH network, the optimal online power control rule is learned by training a deep neural network (DNN), using the solution of offline policy design problem. Under the proposed scheme, in a given time slot, the transmit power is obtained by feeding the current system state to the trained DNN. Our results illustrate that the DNN based online power control scheme outperforms a Markov decision process based policy. In general, the proposed deep learning based approach can be used to find solutions to large intractable stochastic control problems.
△ Less
Submitted 8 March, 2019;
originally announced March 2019.
-
On the Reversible Geodesics for a Finsler space with Randers change of Quartic metric
Authors:
Gauree Shanker,
Ruchi Kaushik Sharma
Abstract:
In this paper, we consider a Finsler space with a Randers change of Quartic metric F = $\sqrt[4]{α^4 + β^4} + β$. The conditions for this space to be with reversible geodesics are obtained. Further, we study some geometrical properties of F with reversible geodesics and prove that the Finsler metric F induces a generalized weighted quasi-distance $d_F$ on M.
In this paper, we consider a Finsler space with a Randers change of Quartic metric F = $\sqrt[4]{α^4 + β^4} + β$. The conditions for this space to be with reversible geodesics are obtained. Further, we study some geometrical properties of F with reversible geodesics and prove that the Finsler metric F induces a generalized weighted quasi-distance $d_F$ on M.
△ Less
Submitted 22 December, 2018;
originally announced December 2018.
-
Constant Curvature Conditions For Generalized Kropina Spaces
Authors:
Gauree Shanker,
Ruchi Kaushik Sharma
Abstract:
The classification of Finsler spaces of constant curvature is an interesting and important topic of research in differential geometry. In this paper we obtain necessary and sufficient conditions for generalized Kropina space to be of constant flag curvature.
The classification of Finsler spaces of constant curvature is an interesting and important topic of research in differential geometry. In this paper we obtain necessary and sufficient conditions for generalized Kropina space to be of constant flag curvature.
△ Less
Submitted 30 September, 2018;
originally announced October 2018.