-
Decomposition of Difficulties in Complex Optimization Problems Using a Bilevel Approach
Authors:
Ankur Sinha,
Dhaval Pujara,
Hemant Kumar Singh
Abstract:
Practical optimization problems may contain different kinds of difficulties that are often not tractable if one relies on a particular optimization method. Different optimization approaches offer different strengths that are good at tackling one or more difficulty in an optimization problem. For instance, evolutionary algorithms have a niche in handling complexities like discontinuity, non-differe…
▽ More
Practical optimization problems may contain different kinds of difficulties that are often not tractable if one relies on a particular optimization method. Different optimization approaches offer different strengths that are good at tackling one or more difficulty in an optimization problem. For instance, evolutionary algorithms have a niche in handling complexities like discontinuity, non-differentiability, discreteness and non-convexity. However, evolutionary algorithms may get computationally expensive for mathematically well behaved problems with large number of variables for which classical mathematical programming approaches are better suited. In this paper, we demonstrate a decomposition strategy that allows us to synergistically apply two complementary approaches at the same time on a complex optimization problem. Evolutionary algorithms are useful in this context as their flexibility makes pairing with other solution approaches easy. The decomposition idea is a special case of bilevel optimization that separates the difficulties into two levels and assigns different approaches at each level that is better equipped at handling them. We demonstrate the benefits of the proposed decomposition idea on a wide range of test problems.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Center and radius of a subset of metric space
Authors:
Akhilesh Badra,
Hemant Kumar Singh
Abstract:
In this paper, we introduce a notion of the center and radius of a subset A of metric space X. In the Euclidean spaces, this notion can be seen as the extension of the center and radius of open/closed balls. The center and radius of a finite product of subsets of metric spaces, and a finite union of subsets of a metric space are also determined. For any subset A of metric space X, there is a natur…
▽ More
In this paper, we introduce a notion of the center and radius of a subset A of metric space X. In the Euclidean spaces, this notion can be seen as the extension of the center and radius of open/closed balls. The center and radius of a finite product of subsets of metric spaces, and a finite union of subsets of a metric space are also determined. For any subset A of metric space X, there is a natural question to identify the open balls of X with the largest radius that are entirely contained in A. To answer this question, we introduce a notion of quasi-center and quasi-radius of a subset A of metric space X. We prove that the center of the largest open balls contained in A belongs to the quasi-center of A, and its radius is equal to the quasi-radius of A. In particular, for the Euclidean spaces, we see that the center of largest open balls contained in A belongs to the center of A, and its radius is equal to the radius of A.
△ Less
Submitted 22 June, 2024;
originally announced June 2024.
-
Invariant rings of the special orthogonal group have nonunimodal $h$-vectors
Authors:
Aldo Conca,
Anurag K. Singh,
Matteo Varbaro
Abstract:
For $K$ an infinite field of characteristic other than two, consider the action of the special orthogonal group $\operatorname{SO}_t(K)$ on a polynomial ring via copies of the regular representation. When $K$ has characteristic zero, Boutot's theorem implies that the invariant ring has rational singularities; when $K$ has positive characteristic, the invariant ring is $F$-regular, as proven by Has…
▽ More
For $K$ an infinite field of characteristic other than two, consider the action of the special orthogonal group $\operatorname{SO}_t(K)$ on a polynomial ring via copies of the regular representation. When $K$ has characteristic zero, Boutot's theorem implies that the invariant ring has rational singularities; when $K$ has positive characteristic, the invariant ring is $F$-regular, as proven by Hashimoto using good filtrations. We give a new proof of this, viewing the invariant ring for $\operatorname{SO}_t(K)$ as a cyclic cover of the invariant ring for the corresponding orthogonal group; this point of view has a number of useful consequences, for example it readily yields the $a$-invariant and information on the Hilbert series. Indeed, we use this to show that the $h$-vector of the invariant ring for $\operatorname{SO}_t(K)$ need not be unimodal.
△ Less
Submitted 20 June, 2024;
originally announced June 2024.
-
Maximizing the Maximum Degree in Ordered Yao Graphs
Authors:
Péter Ágoston,
Adrian Dumitrescu,
Arsenii Sagdeev,
Karamjeet Singh,
Ji Zeng
Abstract:
For an ordered point set in a Euclidean space or, more generally, in an abstract metric space, the ordered Yao graph is obtained by connecting each of the points to its closest predecessor by a directed edge. We show that for every set of $n$ points in $\mathbb{R}^d$, there exists an order such that the corresponding ordered Yao graph has maximum degree at least $\log{n}/(4d)$. Apart from the…
▽ More
For an ordered point set in a Euclidean space or, more generally, in an abstract metric space, the ordered Yao graph is obtained by connecting each of the points to its closest predecessor by a directed edge. We show that for every set of $n$ points in $\mathbb{R}^d$, there exists an order such that the corresponding ordered Yao graph has maximum degree at least $\log{n}/(4d)$. Apart from the $1/(4d)$ factor, this bound is the best possible. As for the abstract setting, we show that for every $n$-element metric space, there exists an order such that the corresponding ordered Yao graph has maximum degree $Ω(\sqrt{\log{n}/\log\log{n}})$.
△ Less
Submitted 13 June, 2024;
originally announced June 2024.
-
Tensor square and isoclinic extensions of multiplicative Lie algebras
Authors:
Dev Karan Singh,
Amit Kumar,
Sumit Kumar Upadhyay,
Shiv Datt Kumar
Abstract:
In this paper, we discuss the capable and isoclinic properties of the tensor square in the context of multiplicative Lie algebras. We also developed the concept of isoclinic extensions and proved several results for multiplicative Lie algebras. Consequently, we demonstrate that covers of a multiplicative Lie algebra are mutually isoclinic.
In this paper, we discuss the capable and isoclinic properties of the tensor square in the context of multiplicative Lie algebras. We also developed the concept of isoclinic extensions and proved several results for multiplicative Lie algebras. Consequently, we demonstrate that covers of a multiplicative Lie algebra are mutually isoclinic.
△ Less
Submitted 4 June, 2024;
originally announced June 2024.
-
CMC surfaces of revolution, Elliptic curves, Weierstrass-$\wp$ functions, and Algebraicity
Authors:
Rukmini Dey,
Anantadulal Paul,
Rahul Kumar Singh
Abstract:
This paper establishes an interesting connection between the family of CMC surfaces of revolution in $\mathbb E_1^3$ and some specific families of elliptic curves. As a consequence of this connection, we show in the class of spacelike CMC surfaces of revolution in the $\mathbb E_1^3$, only spacelike cylinders and standard hyperboloids are algebraic. We also show that a similar connection exists be…
▽ More
This paper establishes an interesting connection between the family of CMC surfaces of revolution in $\mathbb E_1^3$ and some specific families of elliptic curves. As a consequence of this connection, we show in the class of spacelike CMC surfaces of revolution in the $\mathbb E_1^3$, only spacelike cylinders and standard hyperboloids are algebraic. We also show that a similar connection exists between CMC surfaces of revolution in $\mathbb E^3$ and elliptic curves. Further, we use this to reestablish the fact that the only CMC algebraic surfaces of revolution in $\mathbb E^3$ are spheres and right circular cylinders.
△ Less
Submitted 1 July, 2024; v1 submitted 30 May, 2024;
originally announced May 2024.
-
A unified approach to some rigidity and stability problems in algebra
Authors:
Karandeep J. Singh
Abstract:
In this note, we use give some algebraic applications of a previous result by the author which compares the deformations parameterized by the Maurer-Cartan elements of a differential graded Lie algebra, and a differential graded Lie subalgebra: It gives a criterion for the map on the space of Maurer-Cartan elements up to gauge equivalence, induced by the inclusion of the subalgebra, to be locally…
▽ More
In this note, we use give some algebraic applications of a previous result by the author which compares the deformations parameterized by the Maurer-Cartan elements of a differential graded Lie algebra, and a differential graded Lie subalgebra: It gives a criterion for the map on the space of Maurer-Cartan elements up to gauge equivalence, induced by the inclusion of the subalgebra, to be locally surjective. By making appropriate choices for the differential graded Lie algebra and a differential graded Lie subalgebra, we recover some classical results in the deformation theory of finite-dimensional Lie and associative algebras. We consider rigidity of Lie and associative algebras, Lie algebra morphisms, and give a quick proof of the fact that the deformation theories of a unital associative algebra as a unital associative algebra and as an associative algebra are equivalent. We then turn to stability of Lie subalgebras and their morphisms under deformations of the ambient Lie algebra structure, and study when the compatibility with a geometric structure of a representation of a Lie algebra on a vector space is stable under deformations of the representation.
△ Less
Submitted 24 May, 2024;
originally announced May 2024.
-
Dynamical behavior of Predator-Prey with Allee Effect on Both Populations and Disease in Predator
Authors:
Khushbu Singh,
K. Kaladhar
Abstract:
In the current study, we took into account a model of nonlinear ``predator-prey'' interactions including the ``Allee effect'' on both populations and disease in the predator population. The population as a whole is split into three: the prey population, susceptible predator, and diseased predator. The ``Takagi-Sugeno (T-S) impulsive control model'' and the Fuzzy impulsive control model have been u…
▽ More
In the current study, we took into account a model of nonlinear ``predator-prey'' interactions including the ``Allee effect'' on both populations and disease in the predator population. The population as a whole is split into three: the prey population, susceptible predator, and diseased predator. The ``Takagi-Sugeno (T-S) impulsive control model'' and the Fuzzy impulsive control model have been used to test the stability of the three-dimensional ``Lotka-Volterra predator-prey system'' model. Following the model's formulation, the global-stability and the fuzzy solution are examined using numerical simulations and graphical displays, together with the necessary consultation, to help comprehend the effectiveness of our suggested model.
△ Less
Submitted 24 May, 2024;
originally announced May 2024.
-
Modified least squares method and a review of its applications in machine learning and fractional differential/integral equations
Authors:
Abhishek Kumar Singh,
Mani Mehra,
Anatoly A. Alikhanov
Abstract:
The least squares method provides the best-fit curve by minimizing the total squares error. In this work, we provide the modified least squares method based on the fractional orthogonal polynomials that belong to the space $M_{n}^λ := \text{span}\{1,x^λ,x^{2λ},\ldots,x^{nλ}\},~λ\in (0,2]$. Numerical experiments demonstrate how to solve different problems using the modified least squares method. Mo…
▽ More
The least squares method provides the best-fit curve by minimizing the total squares error. In this work, we provide the modified least squares method based on the fractional orthogonal polynomials that belong to the space $M_{n}^λ := \text{span}\{1,x^λ,x^{2λ},\ldots,x^{nλ}\},~λ\in (0,2]$. Numerical experiments demonstrate how to solve different problems using the modified least squares method. Moreover, the results show the advantage of the modified least squares method compared to the classical least squares method. Furthermore, we discuss the various applications of the modified least squares method in the fields like fractional differential/integral equations and machine learning.
△ Less
Submitted 1 May, 2024;
originally announced May 2024.
-
Automorphisms of Multiplicative Lie algebra Extensions
Authors:
Dev Karan Singh,
Shiv Datt Kumar
Abstract:
In this paper, we discuss the inducibility problem for automorphisms of multiplicative Lie algebra extensions and show that obstruction to the inducibility of pairs lies in the second cohomology group of multiplicative Lie algebras. We also establish the Wells type exact sequence for multiplicative Lie algebras, which relates automorphism groups with the second cohomology group of multiplicative L…
▽ More
In this paper, we discuss the inducibility problem for automorphisms of multiplicative Lie algebra extensions and show that obstruction to the inducibility of pairs lies in the second cohomology group of multiplicative Lie algebras. We also establish the Wells type exact sequence for multiplicative Lie algebras, which relates automorphism groups with the second cohomology group of multiplicative Lie algebras.
△ Less
Submitted 1 February, 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.
-
A stochastic moving ball approximation method for smooth convex constrained minimization
Authors:
Nitesh Kumar Singh,
Ion Necoara
Abstract:
In this paper, we consider constrained optimization problems with convex, smooth objective and constraints. We propose a new stochastic gradient algorithm, called the Stochastic Moving Ball Approximation (SMBA) method, to solve this class of problems, where at each iteration we first take a gradient step for the objective function and then perform a projection step onto one ball approximation of a…
▽ More
In this paper, we consider constrained optimization problems with convex, smooth objective and constraints. We propose a new stochastic gradient algorithm, called the Stochastic Moving Ball Approximation (SMBA) method, to solve this class of problems, where at each iteration we first take a gradient step for the objective function and then perform a projection step onto one ball approximation of a randomly chosen constraint. The computational simplicity of SMBA, which uses first-order information and considers only one constraint at a time, makes it suitable for large-scale problems with many functional constraints. We provide a convergence analysis for the SMBA algorithm using basic assumptions on the problem, that yields new convergence rates in both optimality and feasibility criteria evaluated at some average point. Our convergence proofs are novel since we need to deal properly with infeasible iterates and with quadratic upper approximations of constraints that may yield empty balls. We derive convergence rates of order $\mathcal{O} (k^{-1/2})$ when the objective function is convex, and $\mathcal{O} (k^{-1})$ when the objective function is strongly convex. Preliminary numerical experiments on quadratically constrained quadratic problems demonstrate the viability and performance of our method when compared to some existing state-of-the-art optimization methods and software.
△ Less
Submitted 22 February, 2024;
originally announced February 2024.
-
Data assimilation for the stochastic Camassa-Holm equation using particle filtering: a numerical investigation
Authors:
Colin John Cotter,
Dan Crisan,
Maneesh Kumar Singh
Abstract:
In this study, we explore data assimilation for the Stochastic Camassa-Holm equation through the application of the particle filtering framework. Specifically, our approach integrates adaptive tempering, jittering, and nudging techniques to construct an advanced particle filtering system. All filtering processes are executed utilizing ensemble parallelism. We conduct extensive numerical experiment…
▽ More
In this study, we explore data assimilation for the Stochastic Camassa-Holm equation through the application of the particle filtering framework. Specifically, our approach integrates adaptive tempering, jittering, and nudging techniques to construct an advanced particle filtering system. All filtering processes are executed utilizing ensemble parallelism. We conduct extensive numerical experiments across various scenarios of the Stochastic Camassa-Holm model with transport noise and viscosity to examine the impact of different filtering procedures on the performance of the data assimilation process. Our analysis focuses on how observational data and the data assimilation step influence the accuracy and uncertainty of the obtained results.
△ Less
Submitted 10 February, 2024;
originally announced February 2024.
-
Mini-batch stochastic subgradient for functional constrained optimization
Authors:
Nitesh Kumar Singh,
Ion Necoara
Abstract:
In this paper we consider finite sum composite convex optimization problems with many functional constraints. The objective function is expressed as a finite sum of two terms, one of which admits easy computation of (sub)gradients while the other is amenable to proximal evaluations. We assume a generalized bounded gradient condition on the objective which allows us to simultaneously tackle both sm…
▽ More
In this paper we consider finite sum composite convex optimization problems with many functional constraints. The objective function is expressed as a finite sum of two terms, one of which admits easy computation of (sub)gradients while the other is amenable to proximal evaluations. We assume a generalized bounded gradient condition on the objective which allows us to simultaneously tackle both smooth and nonsmooth problems. We also consider the cases of both with and without a strong convexity property. Further, we assume that each constraint set is given as the level set of a convex but not necessarily differentiable function. We reformulate the constrained finite sum problem into a stochastic optimization problem for which the stochastic subgradient projection method from [17] specializes to a collection of mini-batch variants, with different mini-batch sizes for the objective function and functional constraints, respectively. More specifically, at each iteration, our algorithm takes a mini-batch stochastic proximal subgradient step aimed at minimizing the objective function and then a subsequent mini-batch subgradient projection step minimizing the feasibility violation. By specializing different mini-batching strategies, we derive exact expressions for the stepsizes as a function of the mini-batch size and in some cases we also derive insightful stepsize-switching rules which describe when one should switch from a constant to a decreasing stepsize regime. We also prove sublinear convergence rates for the mini-batch subgradient projection algorithm which depend explicitly on the mini-batch sizes and on the properties of the objective function. Numerical results also show a better performance of our mini-batch scheme over its single-batch counterpart.
△ Less
Submitted 19 January, 2024;
originally announced January 2024.
-
Non-Chiral Vertex Operator Algebra Associated To Lorentzian Lattices And Narain CFTs
Authors:
Ranveer Kumar Singh,
Madhav Sinha
Abstract:
Frenkel, Lepowsky, and Meurman constructed a vertex operator algebra (VOA) associated to any even, integral, Euclidean lattice. In the language of physics, these are examples of chiral conformal field theories (CFT). In this paper, we define non-chiral vertex operator algebra and some associated notions. We then give a construction of a non-chiral VOA associated to an even, integral, Lorentzian la…
▽ More
Frenkel, Lepowsky, and Meurman constructed a vertex operator algebra (VOA) associated to any even, integral, Euclidean lattice. In the language of physics, these are examples of chiral conformal field theories (CFT). In this paper, we define non-chiral vertex operator algebra and some associated notions. We then give a construction of a non-chiral VOA associated to an even, integral, Lorentzian lattice and construct their irreducible modules. We obtain the moduli space of such modular invariant non-chiral CFTs based on even, self-dual Lorentzian lattices of signature $(m,n)$ assuming the validity of a technical result about automorphisms of the lattice. We finally show that Narain conformal field theories in physics are examples of non-chiral VOA. Our formalism helps us to identify the chiral algebra of Narain CFTs in terms of a particular sublattice and give us the decomposition of its partition function into sum of characters.
△ Less
Submitted 22 May, 2024; v1 submitted 26 December, 2023;
originally announced December 2023.
-
Seshadri constants on blow-ups of Hirzebruch surfaces
Authors:
Krishna Hanumanthu,
Cyril J. Jacob,
Suhas B. N.,
Amit Kumar Singh
Abstract:
Let $e,r \ge 0$ be integers and let $\mathbb{F}_e : = \mathbb{P}(\mathcal{O}_{\mathbb{P}^1} \oplus \mathcal{O}_{\mathbb{P}^1}(-e))$ denote the Hirzebruch surface with invariant $e$. We compute the Seshadri constants of an ample line bundle at an arbitrary point of the $r$-point blow-up of $\mathbb{F}_e$ when $r \leq e-1$ and at a very general point when $r=e$ or $r=e+1$. We also discuss several co…
▽ More
Let $e,r \ge 0$ be integers and let $\mathbb{F}_e : = \mathbb{P}(\mathcal{O}_{\mathbb{P}^1} \oplus \mathcal{O}_{\mathbb{P}^1}(-e))$ denote the Hirzebruch surface with invariant $e$. We compute the Seshadri constants of an ample line bundle at an arbitrary point of the $r$-point blow-up of $\mathbb{F}_e$ when $r \leq e-1$ and at a very general point when $r=e$ or $r=e+1$. We also discuss several conjectures on linear systems of curves on the blow-up of $\mathbb{F}_e$ at $r$ very general points.
△ Less
Submitted 9 January, 2024; v1 submitted 22 December, 2023;
originally announced December 2023.
-
Frobenius representation type for invariant rings of finite groups
Authors:
Mitsuyasu Hashimoto,
Anurag K. Singh
Abstract:
Let $V$ be a finite rank vector space over a perfect field of characteristic $p>0$, and let $G$ be a finite subgroup of $\operatorname{GL}(V)$. If $V$ is a permutation representation of $G$, or more generally a monomial representation, we prove that the ring of invariants $(\operatorname{Sym}V)^G$ has finite Frobenius representation type. We also construct an example with $V$ a finite rank vector…
▽ More
Let $V$ be a finite rank vector space over a perfect field of characteristic $p>0$, and let $G$ be a finite subgroup of $\operatorname{GL}(V)$. If $V$ is a permutation representation of $G$, or more generally a monomial representation, we prove that the ring of invariants $(\operatorname{Sym}V)^G$ has finite Frobenius representation type. We also construct an example with $V$ a finite rank vector space over the algebraic closure of the function field ${\mathbb{F}_3}(t)$, and $G$ an elementary abelian subgroup of $\operatorname{GL}(V)$, such that the invariant ring $(\operatorname{Sym}V)^G$ does not have finite Frobenius representation type.
△ Less
Submitted 18 December, 2023;
originally announced December 2023.
-
Mock Modularity In CHL Models
Authors:
Ajit Bhand,
Ashoke Sen,
Ranveer Kumar Singh
Abstract:
Dabholkar, Murthy and Zagier (DMZ) proved that there is a canonical decomposition of a meromorphic Jacobi form of integral index for $\mathrm{SL}(2, \mathbb{Z})$ with poles on torsion points $z\in\mathbb{Q}τ+\mathbb{Q}$ into polar and finite parts, and showed that the finite part is a mock Jacobi form. In this paper we generalize the results of DMZ to meromorphic Jacobi forms of rational index for…
▽ More
Dabholkar, Murthy and Zagier (DMZ) proved that there is a canonical decomposition of a meromorphic Jacobi form of integral index for $\mathrm{SL}(2, \mathbb{Z})$ with poles on torsion points $z\in\mathbb{Q}τ+\mathbb{Q}$ into polar and finite parts, and showed that the finite part is a mock Jacobi form. In this paper we generalize the results of DMZ to meromorphic Jacobi forms of rational index for congruence subgroups of $\mathrm{SL}(2, \mathbb{Z})$. As an application, we establish that a large class of single-centered black hole degeneracies in CHL models are given by the Fourier coefficients of mock Jacobi forms. In this process we refine the result of DMZ regarding the set of charges for which the single-centered black hole degeneracies are given by a mock modular form. In particular, in the case studied by DMZ, we present examples of charges for which the single-centered degeneracies are not captured by the mock modular form of the expected index.
△ Less
Submitted 27 November, 2023;
originally announced November 2023.
-
Is mathematics a game?
Authors:
Klaas Landsman,
Kirti Singh
Abstract:
We re-examine the old question to what extent mathematics may be compared to a game. Under the spell of Wittgenstein, we propose that the more refined object of comparison is a "motley of language games", the nature of which was (implicitly) clarified by Hilbert: via different language games, axiomatization lies at the basis of both the rigour and the applicability of mathematics. In the "formalis…
▽ More
We re-examine the old question to what extent mathematics may be compared to a game. Under the spell of Wittgenstein, we propose that the more refined object of comparison is a "motley of language games", the nature of which was (implicitly) clarified by Hilbert: via different language games, axiomatization lies at the basis of both the rigour and the applicability of mathematics. In the "formalist" game, mathematics resembles chess via a clear conceptual dictionary. Accepting this resemblance: like positions in chess, mathematical sentences cannot be true or false; true statements in mathematics are about sentences, namely that they are theorems (if they are). In principle, the certainty of mathematics resides in proofs, but to this end, in practice these must be "surveyable". Hilbert and Wittgenstein proposed almost oppositie criteria for surveyability; we try to overcome their difference by invoking computer-verified proofs. The "applied"' language game is based on Hilbert's axiomatization program for physics (and other scientific disciplines), refined by Wittgenstein's idea that theorems are yardsticks to which empirical phenomena may be compared, and further improved by invoking elements of van Fraassen's constructive empiricism. From this perspective, in an appendix we also briefly review the varying roles and structures of axioms, definitions, and proofs in mathematics. Our view is not meant as a philosophy of mathematics by itself, but as a coat rack analogous to category theory, onto which various (traditional and new) philosophies of mathematics (such as formalism, intuitionism, structuralism, deductivism, and the philosophy of mathematical practice) may be attached and may even peacefully support each other.
△ Less
Submitted 21 November, 2023;
originally announced November 2023.
-
On Certain Gluing of semigroup rings and indispensable resolution of semigroup rings
Authors:
Sanjay Kumar Singh,
Pranjal Srivastava
Abstract:
In this paper, our aim is twofold: First, by using the technique of gluing semigroups, we give infinitely many families of a projective closure with the Cohen-Macaulay (Gorenstein) property. Also, we give an effective technique for constructing large families of one dimensional Gorenstein local rings associated to monomial curves, which supports Rossi question, saying that every Gorenstein local r…
▽ More
In this paper, our aim is twofold: First, by using the technique of gluing semigroups, we give infinitely many families of a projective closure with the Cohen-Macaulay (Gorenstein) property. Also, we give an effective technique for constructing large families of one dimensional Gorenstein local rings associated to monomial curves, which supports Rossi question, saying that every Gorenstein local ring has a non-decreasing Hilbert function. In the second part, we study strong indispensable minimal free resolutions of semigroup rings, focusing on the operation of the join of affine semigroups, which provide class of examples supporting Charalambous and Thoma question on the class of lattice ideal which has a strong indispensable free resolution.
△ Less
Submitted 20 November, 2023;
originally announced November 2023.
-
Sum of the $GL(3)$ Fourier coefficients over quadratics and mixed powers
Authors:
Himanshi Chanana,
Saurabh Kumar Singh
Abstract:
Let $Λ(1,n)$ be the $(1,n)$-th Fourier coefficients of $SL(3,\mathbb{Z})$ Hecke-Maass cusp form and $d_3(n)$ denotes the triple divisor function. This paper establishes non-trivial bounds for the averages of these arithmetic functions over polynomials in three variables having mixed powers and over quadratic forms.
Let $Λ(1,n)$ be the $(1,n)$-th Fourier coefficients of $SL(3,\mathbb{Z})$ Hecke-Maass cusp form and $d_3(n)$ denotes the triple divisor function. This paper establishes non-trivial bounds for the averages of these arithmetic functions over polynomials in three variables having mixed powers and over quadratic forms.
△ Less
Submitted 17 October, 2023;
originally announced October 2023.
-
High order approximation to Caputo derivative on graded mesh and time-fractional diffusion equation for non-smooth solutions
Authors:
Shweta Kumari,
Abhishek Kumar Singh,
Vaibhav Mehandiratta,
Mani Mehra
Abstract:
In this paper, a high-order approximation to Caputo-type time-fractional diffusion equations involving an initial-time singularity of the solution is proposed. At first, we employ a numerical algorithm based on the Lagrange polynomial interpolation to approximate the Caputo derivative on the non-uniform mesh. Then truncation error rate and the optimal grading constant of the approximation on a gra…
▽ More
In this paper, a high-order approximation to Caputo-type time-fractional diffusion equations involving an initial-time singularity of the solution is proposed. At first, we employ a numerical algorithm based on the Lagrange polynomial interpolation to approximate the Caputo derivative on the non-uniform mesh. Then truncation error rate and the optimal grading constant of the approximation on a graded mesh are obtained as $\min\{4-α,rα\}$ and $\frac{4-α}α$, respectively, where $α\in(0,1)$ is the order of fractional derivative and $r\geq 1$ is the mesh grading parameter. Using this new approximation, a difference scheme for the Caputo-type time-fractional diffusion equation on graded temporal mesh is formulated. The scheme proves to be uniquely solvable for general $r$. Then we derive the unconditional stability of the scheme on uniform mesh. The convergence of the scheme, in particular for $r=1$, is analyzed for non-smooth solutions and concluded for smooth solutions. Finally, the accuracy of the scheme is verified by analyzing the error through a few numerical examples.
△ Less
Submitted 23 September, 2023;
originally announced September 2023.
-
Geometry of Banach algebra $\mA$ and the bidual of $L^1(G,\mA)$
Authors:
Lav Kumar Singh
Abstract:
This article is intended towards the study of the bidual of generalized group algebra $L^1(G,\mA)$ equipped with two Arens product, where $G$ is any locally compact group and $\mA$ is a Banach algebra. We show that the left topological center of $(L^1(G)\hat\otimes\mA)^{**}$ is a Banach $L^1(G)$-module if $G$ is abelian. Further it also holds permanance property with respect to the unitization of…
▽ More
This article is intended towards the study of the bidual of generalized group algebra $L^1(G,\mA)$ equipped with two Arens product, where $G$ is any locally compact group and $\mA$ is a Banach algebra. We show that the left topological center of $(L^1(G)\hat\otimes\mA)^{**}$ is a Banach $L^1(G)$-module if $G$ is abelian. Further it also holds permanance property with respect to the unitization of $\mA$. We then use this fact to extend the remarkable result of A.M Lau and V. Losert\cite{Lau-losert}, about the topological center of $L^1(G)^{**}$ being just $L^1(G)$, to the reflexive Banach algebra valued case using the theory of vector measures. We further explore pseudo-center of $L^1(G,\mA)$ for non-reflexive Banach algebras $\mA$ and give a partial characterization for elements of pseudo-center using the Cohen's factorization theorem. In the running we also observe few consequences when $\mA$ holds the Radon-Nikodym property and weak sequential completeness.
△ Less
Submitted 18 September, 2023;
originally announced September 2023.
-
Fixed Point Sets of Involutions on the Product of Three Spheres
Authors:
Dimpi,
Hemant Kumar Singh
Abstract:
Let G = Z2 act on a finitistic space X having mod 2 cohomology of the product of three spheres S^n x S^m x S^l. In this paper, we have determined the fixed point sets of involutions on X. This generalizes J. C. Su [12] results for involutions on the product of two sphere S^n x S^m.
Let G = Z2 act on a finitistic space X having mod 2 cohomology of the product of three spheres S^n x S^m x S^l. In this paper, we have determined the fixed point sets of involutions on X. This generalizes J. C. Su [12] results for involutions on the product of two sphere S^n x S^m.
△ Less
Submitted 10 August, 2023;
originally announced August 2023.
-
Applications of perverse sheaves in commutative algebra
Authors:
Bhargav Bhatt,
Manuel Blickle,
Gennady Lyubeznik,
Anurag K. Singh,
Wenliang Zhang
Abstract:
The goal of this paper is to explain how basic properties of perverse sheaves sometimes translate via Riemann-Hilbert correspondences (in both characteristic $0$ and characteristic $p$) to highly non-trivial properties of singularities, especially their local cohomology. Along the way, we develop a theory of perverse $\mathbf{F}_p$-sheaves on varieties in characteristic $p$, expanding on previous…
▽ More
The goal of this paper is to explain how basic properties of perverse sheaves sometimes translate via Riemann-Hilbert correspondences (in both characteristic $0$ and characteristic $p$) to highly non-trivial properties of singularities, especially their local cohomology. Along the way, we develop a theory of perverse $\mathbf{F}_p$-sheaves on varieties in characteristic $p$, expanding on previous work by various authors, and including a strong version of the Artin vanishing theorem.
△ Less
Submitted 6 August, 2023;
originally announced August 2023.
-
Flat morphisms with regular fibers do not preserve $F$-rationality
Authors:
Eamon Quinlan-Gallego,
Austyn Simpson,
Anurag K. Singh
Abstract:
For each positive prime integer $p$ we construct a standard graded $F$-rational ring $R$, over a field $K$ of characteristic $p$, such that $R\otimes_K\overline{K}$ is not $F$-rational. By localizing we obtain a flat local homomorphism $(R, \mathfrak{m}) \to (S, \mathfrak{n})$ such that $R$ is $F$-rational, $S/\mathfrak{m} S$ is regular (in fact, a field), but $S$ is not $F$-rational. In the proce…
▽ More
For each positive prime integer $p$ we construct a standard graded $F$-rational ring $R$, over a field $K$ of characteristic $p$, such that $R\otimes_K\overline{K}$ is not $F$-rational. By localizing we obtain a flat local homomorphism $(R, \mathfrak{m}) \to (S, \mathfrak{n})$ such that $R$ is $F$-rational, $S/\mathfrak{m} S$ is regular (in fact, a field), but $S$ is not $F$-rational. In the process we also obtain standard graded $F$-rational rings $R$ for which $R\otimes_K R$ is not $F$-rational.
△ Less
Submitted 2 June, 2024; v1 submitted 7 July, 2023;
originally announced July 2023.
-
Frobenius on the cohomology of thickenings
Authors:
Bhargav Bhatt,
Manuel Blickle,
Gennady Lyubeznik,
Anurag K. Singh,
Wenliang Zhang
Abstract:
We investigate the injectivity of the Frobenius map on thickenings of smooth varieties in projective space over a field of positive characteristic. We obtain uniform bounds -- i.e., independent of the characteristic -- on the thickening that ensures an injective Frobenius map when the projective variety is a smooth complete intersection or an arbitrary projective embedding of an elliptic curve. Ou…
▽ More
We investigate the injectivity of the Frobenius map on thickenings of smooth varieties in projective space over a field of positive characteristic. We obtain uniform bounds -- i.e., independent of the characteristic -- on the thickening that ensures an injective Frobenius map when the projective variety is a smooth complete intersection or an arbitrary projective embedding of an elliptic curve. Our bounds are sharp in the case of hypersurfaces, and in the case of elliptic curves.
△ Less
Submitted 7 July, 2023;
originally announced July 2023.
-
Local cohomology of modular invariant rings
Authors:
Kriti Goel,
Jack Jeffries,
Anurag K. Singh
Abstract:
For $K$ a field, consider a finite subgroup $G$ of $\operatorname{GL}_n(K)$ with its natural action on the polynomial ring $R:=K[x_1,\dots,x_n]$. Let $\mathfrak{n}$ denote the homogeneous maximal ideal of the ring of invariants $R^G$. We study how the local cohomology module $H^n_{\mathfrak{n}}(R^G)$ compares with $H^n_{\mathfrak{n}}(R)^G$. Various results on the $a$-invariant and on the Hilbert s…
▽ More
For $K$ a field, consider a finite subgroup $G$ of $\operatorname{GL}_n(K)$ with its natural action on the polynomial ring $R:=K[x_1,\dots,x_n]$. Let $\mathfrak{n}$ denote the homogeneous maximal ideal of the ring of invariants $R^G$. We study how the local cohomology module $H^n_{\mathfrak{n}}(R^G)$ compares with $H^n_{\mathfrak{n}}(R)^G$. Various results on the $a$-invariant and on the Hilbert series of $H^n_\mathfrak{n}(R^G)$ are obtained as a consequence.
△ Less
Submitted 13 March, 2024; v1 submitted 25 June, 2023;
originally announced June 2023.
-
Finitistic Spaces with the Orbit Space FP^n x S^m
Authors:
Anju Kumari,
Hemant Kumar Singh
Abstract:
Let G = S^d, d = 0, 1 or 3, act freely on a finitistic connected space X. This paper gives the cohomology classification of X if a mod 2 or rational cohomology of the orbit space X/G is isomorphic to the product of a projective space and sphere FP^n x S^m, where F = R, C or H, respectively. For a free involution on X, a lower bound of covering dimension of the coincidence set of a continuous map f…
▽ More
Let G = S^d, d = 0, 1 or 3, act freely on a finitistic connected space X. This paper gives the cohomology classification of X if a mod 2 or rational cohomology of the orbit space X/G is isomorphic to the product of a projective space and sphere FP^n x S^m, where F = R, C or H, respectively. For a free involution on X, a lower bound of covering dimension of the coincidence set of a continuous map f: X -> R^k is also determined.
△ Less
Submitted 6 June, 2023;
originally announced June 2023.
-
Finitistic Spaces with Orbit Space a Product of Projective Spaces
Authors:
Anju Kumari,
Hemant Kumar Singh
Abstract:
Let G = Z2 act freely on a nitistic space X. If the mod 2 cohomology of X is isomorphic to the real projective space RP^{2n+1} (resp. complex projective space
CP^{2n+1}) then the mod 2 cohomology of orbit spaces of these free actions are RP1 x CPn (resp. RP2 x HPn) [7]. In this paper, we have discussed converse of these results. We have showed that if the mod 2 cohomology of the orbit space X/G…
▽ More
Let G = Z2 act freely on a nitistic space X. If the mod 2 cohomology of X is isomorphic to the real projective space RP^{2n+1} (resp. complex projective space
CP^{2n+1}) then the mod 2 cohomology of orbit spaces of these free actions are RP1 x CPn (resp. RP2 x HPn) [7]. In this paper, we have discussed converse of these results. We have showed that if the mod 2 cohomology of the orbit space X/G is RP1 x CPn (resp. RP2 x HPn) then the mod 2 cohomology of X is RP^{2n+1} or S1 x CPn (resp. CP^{2n+1} or
S2 x HPn). A partial converse of free involutions on the product of projective spaces RPn x RP2m+1 (resp. CPn x CP2m+1) are also discussed.
△ Less
Submitted 2 February, 2024; v1 submitted 6 June, 2023;
originally announced June 2023.
-
Hybrid subconvexity bound for $GL(3)\times GL(2)$ $L$-functions: t and level aspect
Authors:
Mohd Harun,
Sumit Kumar,
Saurabh Kumar Singh
Abstract:
\begin{abstract}
In this article, we will get non-trivial estimates for the central values of degree six Rankin-Selberg $L$-functions $L(1/2+it, π\times f)$ associated with a ${GL(3)}$ form $π$ and a ${GL(2)} $ form $f$ using the delta symbol approach in the hybrid settings i.e. in the level of ${GL(2)}$ form and $t$-aspect.
\end{abstract}
\begin{abstract}
In this article, we will get non-trivial estimates for the central values of degree six Rankin-Selberg $L$-functions $L(1/2+it, π\times f)$ associated with a ${GL(3)}$ form $π$ and a ${GL(2)} $ form $f$ using the delta symbol approach in the hybrid settings i.e. in the level of ${GL(2)}$ form and $t$-aspect.
\end{abstract}
△ Less
Submitted 10 June, 2024; v1 submitted 1 June, 2023;
originally announced June 2023.
-
Online Nonstochastic Model-Free Reinforcement Learning
Authors:
Udaya Ghai,
Arushi Gupta,
Wenhan Xia,
Karan Singh,
Elad Hazan
Abstract:
We investigate robust model-free reinforcement learning algorithms designed for environments that may be dynamic or even adversarial. Traditional state-based policies often struggle to accommodate the challenges imposed by the presence of unmodeled disturbances in such settings. Moreover, optimizing linear state-based policies pose an obstacle for efficient optimization, leading to nonconvex objec…
▽ More
We investigate robust model-free reinforcement learning algorithms designed for environments that may be dynamic or even adversarial. Traditional state-based policies often struggle to accommodate the challenges imposed by the presence of unmodeled disturbances in such settings. Moreover, optimizing linear state-based policies pose an obstacle for efficient optimization, leading to nonconvex objectives, even in benign environments like linear dynamical systems.
Drawing inspiration from recent advancements in model-based control, we introduce a novel class of policies centered on disturbance signals. We define several categories of these signals, which we term pseudo-disturbances, and develop corresponding policy classes based on them. We provide efficient and practical algorithms for optimizing these policies.
Next, we examine the task of online adaptation of reinforcement learning agents in the face of adversarial disturbances. Our methods seamlessly integrate with any black-box model-free approach, yielding provable regret guarantees when dealing with linear dynamics. These regret guarantees unconditionally improve the best-known results for bandit linear control in having no dependence on the state-space dimension. We evaluate our method over various standard RL benchmarks and demonstrate improved robustness.
△ Less
Submitted 31 October, 2023; v1 submitted 27 May, 2023;
originally announced May 2023.
-
Involutions on the product of Quaternionic Projective space and Sphere
Authors:
Dimpi,
Hemant Kumar Singh
Abstract:
Let G = Z2 act on a finite CW-complex X having mod 2 cohomology isomorphic to the product of quaternionic projective space and sphere HPn x Sm, n, m > or = 1. This paper is concerned with the connected fixed point sets and the orbit spaces of free involutions on X.
Let G = Z2 act on a finite CW-complex X having mod 2 cohomology isomorphic to the product of quaternionic projective space and sphere HPn x Sm, n, m > or = 1. This paper is concerned with the connected fixed point sets and the orbit spaces of free involutions on X.
△ Less
Submitted 4 May, 2023;
originally announced May 2023.
-
Stability of fixed points of Dirac structures
Authors:
Karandeep Jandu Singh,
Marco Zambon
Abstract:
Given an $L_{\infty}$-algebra $V$ and an $L_{\infty}$-subalgebra $W$, we give sufficient conditions for all small Maurer-Cartan elements of $V$ to be equivalent to Maurer-Cartan elements lying in $W$. As an application, we obtain a stability criterion for fixed points of a Dirac structure (for instance a twisted Poisson structure), i.e. points where the corresponding leaf is zero-dimensional. The…
▽ More
Given an $L_{\infty}$-algebra $V$ and an $L_{\infty}$-subalgebra $W$, we give sufficient conditions for all small Maurer-Cartan elements of $V$ to be equivalent to Maurer-Cartan elements lying in $W$. As an application, we obtain a stability criterion for fixed points of a Dirac structure (for instance a twisted Poisson structure), i.e. points where the corresponding leaf is zero-dimensional. The criterion guarantees that any nearby Dirac structure also has a fixed point.
△ Less
Submitted 24 August, 2023; v1 submitted 24 April, 2023;
originally announced April 2023.
-
Moments of derivatives of modular $L$-functions
Authors:
Sumit Kumar,
Kummari Mallesham,
Prahlad Sharma,
Saurabh Kumar Singh
Abstract:
Let $f$ be an Hecke eigenform for the group $Γ_{0}(q)$ and $χ_{d}$ be a primitive quadratic character of conductor $|d|$. In this article, we prove an asymptotic for the second moment of the derivative of $L(s, f \otimes χ_{8d})$ at the central point $1/2$, which was previously known under GRH by Petrow \cite{petrow}.
Let $f$ be an Hecke eigenform for the group $Γ_{0}(q)$ and $χ_{d}$ be a primitive quadratic character of conductor $|d|$. In this article, we prove an asymptotic for the second moment of the derivative of $L(s, f \otimes χ_{8d})$ at the central point $1/2$, which was previously known under GRH by Petrow \cite{petrow}.
△ Less
Submitted 24 October, 2023; v1 submitted 29 March, 2023;
originally announced March 2023.
-
On Hypergraph Supports
Authors:
Rajiv Raman,
Karamjeet Singh
Abstract:
Let $\mathcal{H}=(X,\mathcal{E})$ be a hypergraph. A support is a graph $Q$ on $X$ such that for each $E\in\mathcal{E}$, the subgraph of $Q$ induced on the elements in $E$ is connected. In this paper, we consider hypergraphs defined on a host graph. Given a graph $G=(V,E)$, with $c:V\to\{\mathbf{r},\mathbf{b}\}$, and a collection of connected subgraphs $\mathcal{H}$ of $G$, a primal support is a g…
▽ More
Let $\mathcal{H}=(X,\mathcal{E})$ be a hypergraph. A support is a graph $Q$ on $X$ such that for each $E\in\mathcal{E}$, the subgraph of $Q$ induced on the elements in $E$ is connected. In this paper, we consider hypergraphs defined on a host graph. Given a graph $G=(V,E)$, with $c:V\to\{\mathbf{r},\mathbf{b}\}$, and a collection of connected subgraphs $\mathcal{H}$ of $G$, a primal support is a graph $Q$ on $\mathbf{b}(V)$ such that for each $H\in \mathcal{H}$, the induced subgraph $Q[\mathbf{b}(H)]$ on vertices $\mathbf{b}(H)=H\cap c^{-1}(\mathbf{b})$ is connected. A \emph{dual support} is a graph $Q^*$ on $\mathcal{H}$ s.t. for each $v\in X$, the induced subgraph $Q^*[\mathcal{H}_v]$ is connected, where $\mathcal{H}_v=\{H\in\mathcal{H}: v\in H\}$. We present sufficient conditions on the host graph and hyperedges so that the resulting support comes from a restricted family.
We primarily study two classes of graphs: $(1)$ If the host graph has genus $g$ and the hypergraphs satisfy a topological condition of being \emph{cross-free}, then there is a primal and a dual support of genus at most $g$. $(2)$ If the host graph has treewidth $t$ and the hyperedges satisfy a combinatorial condition of being \emph{non-piercing}, then there exist primal and dual supports of treewidth $O(2^t)$. We show that this exponential blow-up is sometimes necessary. As an intermediate case, we also study the case when the host graph is outerplanar. Finally, we show applications of our results to packing and covering, and coloring problems on geometric hypergraphs.
△ Less
Submitted 2 February, 2024; v1 submitted 29 March, 2023;
originally announced March 2023.
-
Fixed point sets and orbit spaces of wedge of three spheres
Authors:
Dimpi,
Hemant Kumar Singh
Abstract:
Let $X$ be a finite CW-complex having mod $p$ cohomology isomorphic to a wedge of three spheres $\mathbb{S}^n\vee \mathbb{S}^m \vee \mathbb{S}^l,~ 1\leq n \leq m \leq l$. The aim of this paper is to determine the fixed point sets of actions of the cyclic group of prime order on $X.$ We also classify the orbit spaces of free actions of $G=\mathbb{Z}_p, p$ a prime or $G=\mathbb{S}^d,~d=1,3,$ on $X$…
▽ More
Let $X$ be a finite CW-complex having mod $p$ cohomology isomorphic to a wedge of three spheres $\mathbb{S}^n\vee \mathbb{S}^m \vee \mathbb{S}^l,~ 1\leq n \leq m \leq l$. The aim of this paper is to determine the fixed point sets of actions of the cyclic group of prime order on $X.$ We also classify the orbit spaces of free actions of $G=\mathbb{Z}_p, p$ a prime or $G=\mathbb{S}^d,~d=1,3,$ on $X$ and derive the Borsuk-Ulam type results.
△ Less
Submitted 29 March, 2023;
originally announced March 2023.
-
Involution on the product of projective space and sphere
Authors:
Dimpi,
Hemant Kumar Singh
Abstract:
Let $G=\mathbb{Z}_2$ act on a finite CW-complex $X$ having mod 2 cohomology isomorphic to the product of projective space and sphere $\mathbb{F}P^n\times \mathbb{S}^m,$ where $\mathbb{F}=\mathbb{R}$ or $\mathbb{C}.$ In this paper, we have determined the connected fixed point sets and the orbit spaces of free involutions on $X.$ As an application, we derive the Borsuk-Ulam type results.
Let $G=\mathbb{Z}_2$ act on a finite CW-complex $X$ having mod 2 cohomology isomorphic to the product of projective space and sphere $\mathbb{F}P^n\times \mathbb{S}^m,$ where $\mathbb{F}=\mathbb{R}$ or $\mathbb{C}.$ In this paper, we have determined the connected fixed point sets and the orbit spaces of free involutions on $X.$ As an application, we derive the Borsuk-Ulam type results.
△ Less
Submitted 29 March, 2023;
originally announced March 2023.
-
Orbit spaces of free involutions on the product of three spheres
Authors:
Dimpi,
Hemant Kumar Singh
Abstract:
In this paper, we have determined the orbit spaces of free involutions on a finitistic space having mod 2 cohomology of the product of three spheres $\mathbb{S}^n\times \mathbb{S}^m \times \mathbb{S}^l, 1 \leq n \leq m \leq l$. This paper generalizes the results proved by Dotzel et al. [6] for free involutions on the product of two sphere $\mathbb{S}^n \times \mathbb{S}^m,1\leq n\leq m.$
In this paper, we have determined the orbit spaces of free involutions on a finitistic space having mod 2 cohomology of the product of three spheres $\mathbb{S}^n\times \mathbb{S}^m \times \mathbb{S}^l, 1 \leq n \leq m \leq l$. This paper generalizes the results proved by Dotzel et al. [6] for free involutions on the product of two sphere $\mathbb{S}^n \times \mathbb{S}^m,1\leq n\leq m.$
△ Less
Submitted 29 March, 2023;
originally announced March 2023.
-
Sum of the triple divisor function and Fourier coefficients of $SL(3,\mathbb{Z})$ Hecke-Maass forms over quadratics
Authors:
Himanshi Chanana,
Saurabh Kumar Singh
Abstract:
Let $\mathcal{A}(n)$ be the $(1,n)-th$ Fourier coefficients of $SL(3,\mathbb{Z})$ Hecke-Maass cusp form i.e. $Λ(1,n)$ or the triple divisor function $d_3(n)$, which is the number of solutions of the equation $r_1r_2r_3 = n$ with $r_1, r_2, r_3 \in \mathbb{Z}^+.$ We establish estimates for \begin{equation*}
\sum_{1 \leq n_1,n_2\leq X} \mathcal{A}(Q(n_1,n_2)) \end{equation*} where…
▽ More
Let $\mathcal{A}(n)$ be the $(1,n)-th$ Fourier coefficients of $SL(3,\mathbb{Z})$ Hecke-Maass cusp form i.e. $Λ(1,n)$ or the triple divisor function $d_3(n)$, which is the number of solutions of the equation $r_1r_2r_3 = n$ with $r_1, r_2, r_3 \in \mathbb{Z}^+.$ We establish estimates for \begin{equation*}
\sum_{1 \leq n_1,n_2\leq X} \mathcal{A}(Q(n_1,n_2)) \end{equation*} where $Q(x,y) \in \mathbb{Z}[x,y]$ is a symmetric positive definite quadratic form.
△ Less
Submitted 28 March, 2023;
originally announced March 2023.
-
The Fourier transform on Rearrangement-Invariant Spaces
Authors:
Ron Kerman,
Rama Rawat,
Rajesh K. Singh
Abstract:
We study inequalities of the form \begin{equation*}
ρ( \lvert \hat{f} \rvert) \leq C σ(f) < \infty, \end{equation*} with $f \in L_{1}(\mathbb{R}^n)$, the Lebesgue-integrable functions on $\mathbb{R}^n$ and \begin{equation*}
\hat{f}(ξ) := \int_{\mathbb{R}^n} f(x) \, e^{- 2 πi ξ\cdot x} dx, \ \ \ ξ\in \mathbb{R}^n. \end{equation*} The functionals $ρ$ and $σ$ are so-called rearrangement-invariant…
▽ More
We study inequalities of the form \begin{equation*}
ρ( \lvert \hat{f} \rvert) \leq C σ(f) < \infty, \end{equation*} with $f \in L_{1}(\mathbb{R}^n)$, the Lebesgue-integrable functions on $\mathbb{R}^n$ and \begin{equation*}
\hat{f}(ξ) := \int_{\mathbb{R}^n} f(x) \, e^{- 2 πi ξ\cdot x} dx, \ \ \ ξ\in \mathbb{R}^n. \end{equation*} The functionals $ρ$ and $σ$ are so-called rearrangement-invariant (r.i.) norms on $M_{+}(\mathbb{R}^n)$, the nonnegative measurable functions on $\mathbb{R}^n$.
Results first proved in the general context of r.i. spaces are then both specialized and expanded on in the special cases of Orlicz spaces and of Lorentz Gamma spaces.
△ Less
Submitted 13 March, 2023;
originally announced March 2023.
-
On Segre products, $F$-regularity, and finite Frobenius representation type
Authors:
Anurag K. Singh,
Kei-ichi Watanabe
Abstract:
We study the behavior of various properties of commutative Noetherian rings under Segre products, with a special focus on properties in positive prime characteristic defined using the Frobenius endomorphism. Specifically, we construct normal graded rings of finite Frobenius representation type that are not Cohen-Macaulay.
We study the behavior of various properties of commutative Noetherian rings under Segre products, with a special focus on properties in positive prime characteristic defined using the Frobenius endomorphism. Specifically, we construct normal graded rings of finite Frobenius representation type that are not Cohen-Macaulay.
△ Less
Submitted 11 July, 2023; v1 submitted 7 March, 2023;
originally announced March 2023.
-
A simple extension of Ramanujan-Serre derivative map and some applications
Authors:
B. Ramakrishnan,
Brundaban Sahu,
Anup Kumar Singh
Abstract:
If $f(z)$ is a modular form of weight $k$, then the differential operator $\vartheta_k$ defined by $\vartheta_k(f) = \frac{1}{2πi} \frac{d}{dz}f(z) - \frac{k}{12} E_2(z) f(z)$ (known as the Ramanujan-Serre derivative map) is a modular form of weight $k+2$. In this paper, we obtain a simple extension of this map and use it to get a general method to derive certain convolution sums of the divisor fu…
▽ More
If $f(z)$ is a modular form of weight $k$, then the differential operator $\vartheta_k$ defined by $\vartheta_k(f) = \frac{1}{2πi} \frac{d}{dz}f(z) - \frac{k}{12} E_2(z) f(z)$ (known as the Ramanujan-Serre derivative map) is a modular form of weight $k+2$. In this paper, we obtain a simple extension of this map and use it to get a general method to derive certain convolution sums of the divisor functions (using the theory of modular forms). Explicit expressions are given for four types of convolution sums and we provide many examples for all these types of sums.
△ Less
Submitted 6 March, 2023;
originally announced March 2023.
-
Can Persistent Homology provide an efficient alternative for Evaluation of Knowledge Graph Completion Methods?
Authors:
Anson Bastos,
Kuldeep Singh,
Abhishek Nadgeri,
Johannes Hoffart,
Toyotaro Suzumura,
Manish Singh
Abstract:
In this paper we present a novel method, $\textit{Knowledge Persistence}$ ($\mathcal{KP}$), for faster evaluation of Knowledge Graph (KG) completion approaches. Current ranking-based evaluation is quadratic in the size of the KG, leading to long evaluation times and consequently a high carbon footprint. $\mathcal{KP}$ addresses this by representing the topology of the KG completion methods through…
▽ More
In this paper we present a novel method, $\textit{Knowledge Persistence}$ ($\mathcal{KP}$), for faster evaluation of Knowledge Graph (KG) completion approaches. Current ranking-based evaluation is quadratic in the size of the KG, leading to long evaluation times and consequently a high carbon footprint. $\mathcal{KP}$ addresses this by representing the topology of the KG completion methods through the lens of topological data analysis, concretely using persistent homology. The characteristics of persistent homology allow $\mathcal{KP}$ to evaluate the quality of the KG completion looking only at a fraction of the data. Experimental results on standard datasets show that the proposed metric is highly correlated with ranking metrics (Hits@N, MR, MRR). Performance evaluation shows that $\mathcal{KP}$ is computationally efficient: In some cases, the evaluation time (validation+test) of a KG completion method has been reduced from 18 hours (using Hits@10) to 27 seconds (using $\mathcal{KP}$), and on average (across methods & data) reduces the evaluation time (validation+test) by $\approx$ $\textbf{99.96}\%$.
△ Less
Submitted 31 January, 2023; v1 submitted 30 January, 2023;
originally announced January 2023.
-
A discrete-ordinate weak Galerkin method for radiative transfer equation
Authors:
Maneesh Kumar Singh
Abstract:
This research article discusses a numerical solution of the radiative transfer equation based on the weak Galerkin finite element method. We discretize the angular variable by means of the discrete-ordinate method. Then the resulting semi-discrete hyperbolic system is approximated using the weak Galerkin method. The stability result for the proposed numerical method is devised. A priori error anal…
▽ More
This research article discusses a numerical solution of the radiative transfer equation based on the weak Galerkin finite element method. We discretize the angular variable by means of the discrete-ordinate method. Then the resulting semi-discrete hyperbolic system is approximated using the weak Galerkin method. The stability result for the proposed numerical method is devised. A priori error analysis is established under the suitable norm. In order to examine the theoretical results, numerical experiments are carried out.
△ Less
Submitted 12 February, 2024; v1 submitted 19 November, 2022;
originally announced November 2022.
-
Introduction to Online Nonstochastic Control
Authors:
Elad Hazan,
Karan Singh
Abstract:
This text presents an introduction to an emerging paradigm in control of dynamical systems and differentiable reinforcement learning called online nonstochastic control. The new approach applies techniques from online convex optimization and convex relaxations to obtain new methods with provable guarantees for classical settings in optimal and robust control.
The primary distinction between onli…
▽ More
This text presents an introduction to an emerging paradigm in control of dynamical systems and differentiable reinforcement learning called online nonstochastic control. The new approach applies techniques from online convex optimization and convex relaxations to obtain new methods with provable guarantees for classical settings in optimal and robust control.
The primary distinction between online nonstochastic control and other frameworks is the objective. In optimal control, robust control, and other control methodologies that assume stochastic noise, the goal is to perform comparably to an offline optimal strategy. In online nonstochastic control, both the cost functions as well as the perturbations from the assumed dynamical model are chosen by an adversary. Thus the optimal policy is not defined a priori. Rather, the target is to attain low regret against the best policy in hindsight from a benchmark class of policies.
This objective suggests the use of the decision making framework of online convex optimization as an algorithmic methodology. The resulting methods are based on iterative mathematical optimization algorithms, and are accompanied by finite-time regret and computational complexity guarantees.
△ Less
Submitted 29 May, 2023; v1 submitted 17 November, 2022;
originally announced November 2022.
-
On an example of Nagarajan
Authors:
Annie Giokas,
Anurag K. Singh
Abstract:
K. R. Nagarajan constructed an example of a formal power series ring of dimension two, over a field of characteristic two, with the action of a cyclic group of order two, such that the ring of invariants is not noetherian. We point out how Nagarajan's example readily extends to each positive prime characteristic, and also to a characteristic zero example: There exists a formal power series ring of…
▽ More
K. R. Nagarajan constructed an example of a formal power series ring of dimension two, over a field of characteristic two, with the action of a cyclic group of order two, such that the ring of invariants is not noetherian. We point out how Nagarajan's example readily extends to each positive prime characteristic, and also to a characteristic zero example: There exists a formal power series ring of dimension two, over a field of characteristic zero, with an action of the infinite cyclic group, such that the ring of invariants is not noetherian. Both the positive characteristic and the characteristic zero examples are sharp in multiple ways.
△ Less
Submitted 18 October, 2023; v1 submitted 16 November, 2022;
originally announced November 2022.
-
Stability of fixed points in Poisson geometry and higher Lie theory
Authors:
Karandeep Jandu Singh
Abstract:
We provide a uniform approach to obtain sufficient criteria for a (higher order) fixed point of a given bracket structure on a manifold to be stable under deformations. Examples of bracket structures include Lie algebroids, Lie $n$-algebroids, singular foliations, Lie bialgebroids, Courant algebroids and Dirac structures in split Courant algebroids admitting a Dirac complement. We show that the st…
▽ More
We provide a uniform approach to obtain sufficient criteria for a (higher order) fixed point of a given bracket structure on a manifold to be stable under deformations. Examples of bracket structures include Lie algebroids, Lie $n$-algebroids, singular foliations, Lie bialgebroids, Courant algebroids and Dirac structures in split Courant algebroids admitting a Dirac complement. We show that the stability problems are specific instances of the following problem: given a differential graded Lie algebra $\mathfrak g$, a differential graded Lie subalgebra $\mathfrak h$ of degreewise finite codimension in $\mathfrak g$ and a Maurer-Cartan element $Q\in \mathfrak h^1$, when are Maurer-Cartan elements near $Q$ in $\mathfrak g$ gauge equivalent to elements of $\mathfrak h^1$? We show that the vanishing of a finite-dimensional cohomology group associated to $\mathfrak g,\mathfrak h$ and $Q$ implies a positive answer to the question above, and therefore implies stability of fixed points of the geometric structures described above. In particular, we recover the stability results of Crainic-Fernandes for zero-dimensional leaves, as well as the stability results for higher order singularities of Dufour-Wade.
△ Less
Submitted 9 November, 2022; v1 submitted 28 October, 2022;
originally announced October 2022.
-
Shifted Convolution Sum for $GL(3) \times GL(2)$ with Weighted Average
Authors:
Mohd Harun,
Saurabh Kumar Singh
Abstract:
In this paper, we will prove the non-trivial bound for the weighted average version of shifted convolution sum for $GL(3)\times GL(2)$, i.e. for any $ε>0$ and $X^{1/4+δ} \leq H \leq X$ with $δ>0$,
\[
\frac{1}{H}\sum_{h=1}^\infty λ_f(h) V\left( \frac{h}{H}\right)\sum_{n=1}^\infty λ_π(1,n) λ_g (n+h) W\left( \frac{n}{X} \right)\ll X^{1-δ+ε}
\]
where $V,W$ are smooth compactly supported funtio…
▽ More
In this paper, we will prove the non-trivial bound for the weighted average version of shifted convolution sum for $GL(3)\times GL(2)$, i.e. for any $ε>0$ and $X^{1/4+δ} \leq H \leq X$ with $δ>0$,
\[
\frac{1}{H}\sum_{h=1}^\infty λ_f(h) V\left( \frac{h}{H}\right)\sum_{n=1}^\infty λ_π(1,n) λ_g (n+h) W\left( \frac{n}{X} \right)\ll X^{1-δ+ε}
\]
where $V,W$ are smooth compactly supported funtions, $λ_f(n), λ_g(n)$ and $λ_π(1,n)$ are the normalized n-th Fourier coefficients of $SL(2,\mathbb{Z})$ Hecke-Maass cusp forms $f,g$ and $SL(3,\mathbb{Z})$ Hecke-Maass cusp form $π$, respectively.
△ Less
Submitted 13 November, 2023; v1 submitted 20 October, 2022;
originally announced October 2022.
-
When are the natural embeddings of classical invariant rings pure?
Authors:
Melvin Hochster,
Jack Jeffries,
Vaibhav Pandey,
Anurag K. Singh
Abstract:
Consider a reductive linear algebraic group $G$ acting linearly on a polynomial ring $S$ over an infinite field; key examples are the general linear group, the symplectic group, the orthogonal group, and the special linear group, with the classical representations as in Weyl's book: for the general linear group, consider a direct sum of copies of the standard representation and copies of the dual;…
▽ More
Consider a reductive linear algebraic group $G$ acting linearly on a polynomial ring $S$ over an infinite field; key examples are the general linear group, the symplectic group, the orthogonal group, and the special linear group, with the classical representations as in Weyl's book: for the general linear group, consider a direct sum of copies of the standard representation and copies of the dual; in the other cases take copies of the standard representation. The invariant rings in the respective cases are determinantal rings, rings defined by Pfaffians of alternating matrices, symmetric determinantal rings, and the Plücker coordinate rings of Grassmannians; these are the classical invariant rings of the title, with $S^G\subseteq S$ being the natural embedding.
Over a field of characteristic zero, a reductive group is linearly reductive, and it follows that the invariant ring $S^G$ is a pure subring of $S$, equivalently, $S^G$ is a direct summand of $S$ as an $S^G$-module. Over fields of positive characteristic, reductive groups are typically no longer linearly reductive. We determine, in the positive characteristic case, precisely when the inclusion $S^G\subseteq S$ is pure. It turns out that if $S^G\subseteq S$ is pure, then either the invariant ring $S^G$ is regular, or the group $G$ is linearly reductive.
△ Less
Submitted 7 July, 2023; v1 submitted 17 October, 2022;
originally announced October 2022.