-
Algebraic and Spectral properties of slant Toeplitz and slant little Hankel Operators on weighted Bergman Space
Authors:
Oinam Nilbir Singh,
M. P. Singh,
Thokchom Sonamani Singh
Abstract:
This paper studies the \(k^{th}-\)order slant Toeplitz and slant little Hankel operators on the weighted Bergman space \(\mathcal{A}_α^2(\mathbb{D})\). These operators are constructed using a slant shift operator \(W_k\) composed with classical Toeplitz and Hankel operators, respectively. We derive their matrix representations and establish criteria for boundedness, compactness, and normality. Com…
▽ More
This paper studies the \(k^{th}-\)order slant Toeplitz and slant little Hankel operators on the weighted Bergman space \(\mathcal{A}_α^2(\mathbb{D})\). These operators are constructed using a slant shift operator \(W_k\) composed with classical Toeplitz and Hankel operators, respectively. We derive their matrix representations and establish criteria for boundedness, compactness, and normality. Commutativity conditions are obtained, showing that two such operators commute if and only if their symbols are linearly dependent. Normality is characterized as slant Toeplitz operators are normal only for constant symbols, while slant little Hankel operators are normal if the symbol is analytic. Compactness is shown to occur precisely when the symbol vanishes. Spectral properties, including essential spectra and eigenvalue distributions, are analyzed. Numerical simulations corroborate the theoretical findings and highlight key structural and computational differences between the two operator classes.
△ Less
Submitted 9 July, 2025;
originally announced July 2025.
-
H-Toeplitz operators on Fock space
Authors:
Thokchom Sonamani Singh,
M. Premjit Singh,
Oinam Nilbir Singh,
Khumballambam Priyobarta Singh
Abstract:
This paper explores H-Toeplitz operators on the Fock space, unifying aspects of Toeplitz and Hankel operators while introducing novel structural properties. We derive explicit matrix representations for these operators with respect to the orthonormal basis of monomials, analyze their commutativity, and establish compactness criteria. Key results include the characterization of commuting H-Toeplitz…
▽ More
This paper explores H-Toeplitz operators on the Fock space, unifying aspects of Toeplitz and Hankel operators while introducing novel structural properties. We derive explicit matrix representations for these operators with respect to the orthonormal basis of monomials, analyze their commutativity, and establish compactness criteria. Key results include the characterization of commuting H-Toeplitz operators with harmonic symbols and the proof that non-zero H-Toeplitz operators cannot be Hilbert-Schmidt. Additionally, we introduce directed H-Toeplitz graphs to visualize adjacency relations encoded by these operators, demonstrating their structural patterns through indegree and outdegree sequences. Our findings bridge theoretical operator theory with graphical representations, offering insights into the interplay between analytic function spaces and operator algebras.
△ Less
Submitted 9 July, 2025;
originally announced July 2025.
-
Yang-Baxter Equation and Related Algebraic Structures
Authors:
Valeriy Bardakov,
Mohamed Elhamdadi,
Mahender Singh
Abstract:
In the 1990s, Drinfel'd proposed the study of set-theoretical solutions to the quantum Yang-Baxter equation, initiating a line of research that has since garnered substantial attention and led to notable developments in algebra, low-dimensional topology, and related areas. This monograph offers a concise introduction to the algebraic theory of such solutions, focusing on key structures including s…
▽ More
In the 1990s, Drinfel'd proposed the study of set-theoretical solutions to the quantum Yang-Baxter equation, initiating a line of research that has since garnered substantial attention and led to notable developments in algebra, low-dimensional topology, and related areas. This monograph offers a concise introduction to the algebraic theory of such solutions, focusing on key structures including skew braces, quandles, racks, and Rota-Baxter groups, which have emerged as central objects in this framework. We investigate the algebraic, combinatorial, and homological properties of these structures, with an emphasis on their interrelations and applications to knot theory. The monograph is intended as a reference for researchers interested in the deep interplay between these algebraic structures and the quantum Yang-Baxter equation.
△ Less
Submitted 29 June, 2025;
originally announced June 2025.
-
Optimally Linearizing Power Flow Equations for Improved Power System Dispatch
Authors:
Yuhao Chen,
Manish K. Singh
Abstract:
Managing power grids with the increasing presence of variable renewable energy-based (distributed) generation involves solving high-dimensional optimization tasks at short intervals. Linearizing the AC power flow (PF) constraints is a standard practice to ease the computational burden at the cost of hopefully acceptable inaccuracies. However, the design of these PF linearizations has traditionally…
▽ More
Managing power grids with the increasing presence of variable renewable energy-based (distributed) generation involves solving high-dimensional optimization tasks at short intervals. Linearizing the AC power flow (PF) constraints is a standard practice to ease the computational burden at the cost of hopefully acceptable inaccuracies. However, the design of these PF linearizations has traditionally been agnostic of the use case. Towards bridging the linearization-application gap, we first model the complete operational sequence needed to implement optimal power flow (OPF) decisions on power systems and characterize the effect of PF linearization on the resulting steady-state system operation. We then propose a novel formulation for obtaining optimal PF constraint linearizations to harness desirable system-operation attributes such as low generation cost and engineering-limit violations. To pursue the optimal PF linearization, we develop a gradient-based approach backed by sensitivity analysis of optimization routines and AC PF equations. Numerical tests on the IEEE 39-bus system demonstrate the capabilities of our approach in traversing the cost-optimality vs operational feasibility trade-off inherent to OPF approximations.
△ Less
Submitted 3 April, 2025;
originally announced April 2025.
-
On the conjecture of non-inner automorphisms of finite $p$-groups with a non-trivial abelian direct factor
Authors:
Mandeep Singh,
Mahak Sharma
Abstract:
Let $p$ be a prime number. A longstanding conjecture asserts that every finite non-abelian $p$-group has a non-inner automorphism of order $p$. In this paper, we prove that the conjecture is true when a finite non-abelian $p$-group $G$ has a non-trivial abelian direct factor. Moreover, we prove that the non-inner automorphism is central and fixes $Φ(G)$ elementwise. As a consequence, we prove that…
▽ More
Let $p$ be a prime number. A longstanding conjecture asserts that every finite non-abelian $p$-group has a non-inner automorphism of order $p$. In this paper, we prove that the conjecture is true when a finite non-abelian $p$-group $G$ has a non-trivial abelian direct factor. Moreover, we prove that the non-inner automorphism is central and fixes $Φ(G)$ elementwise. As a consequence, we prove that every group which is not purely non-abelian has a non-inner central automorphism of order $p$ which fixes $Φ(G)$ elementwise.
△ Less
Submitted 2 March, 2025;
originally announced March 2025.
-
Second bounded cohomology of knot quandles
Authors:
Deepanshi Saraf,
Mahender Singh
Abstract:
In this paper, we explore the bounded cohomology of quandles and its applications to knot theory. We establish two key results that provide sufficient conditions for the infinite dimensionality of the second bounded cohomology of quandles. The first condition involves a subspace of homogeneous group quasimorphisms on the inner automorphism group of the quandle, whereas the second condition concern…
▽ More
In this paper, we explore the bounded cohomology of quandles and its applications to knot theory. We establish two key results that provide sufficient conditions for the infinite dimensionality of the second bounded cohomology of quandles. The first condition involves a subspace of homogeneous group quasimorphisms on the inner automorphism group of the quandle, whereas the second condition concerns the vanishing of the stable commutator length on a subgroup of this inner automorphism group. As topological applications, we show that the second bounded cohomology of the quandle of any non-split link whose link group is non-solvable as well as the quandle of any split link, is infinite dimensional. From these results, we conclude that the second bounded cohomology of the knot quandle detects the unknot. On the algebraic side, we prove that the second bounded cohomology of a free product of quandles is infinite dimensional if the inner automorphism group of at least one of the free factors is amenable. This leads to the result that the second bounded cohomology of free quandles of rank greater than one, as well as their canonical quotients, is infinite dimensional.
△ Less
Submitted 23 February, 2025; v1 submitted 6 February, 2025;
originally announced February 2025.
-
Quasitoric representation of generalized braids
Authors:
Neha Nanda,
Manpreet Singh
Abstract:
In this paper, we define generalized braid theories in alignment with the language of Fenn and Bartholomew for knot theories, and compute a generating set for the pure generalized braid theories. Using this, we prove that every oriented normal generalized knot is the closure of a quasitoric normal generalized braid. Further, we prove that the set of quasitoric normal generalized braids forms a sub…
▽ More
In this paper, we define generalized braid theories in alignment with the language of Fenn and Bartholomew for knot theories, and compute a generating set for the pure generalized braid theories. Using this, we prove that every oriented normal generalized knot is the closure of a quasitoric normal generalized braid. Further, we prove that the set of quasitoric normal generalized braids forms a subgroup of normal generalized braid group.
△ Less
Submitted 27 November, 2024;
originally announced November 2024.
-
Linear representations, crystallographic quotients, and twisted conjugacy of virtual Artin groups
Authors:
Neeraj Kumar Dhanwani,
Pravin Kumar,
Tushar Kanta Naik,
Mahender Singh
Abstract:
Virtual Artin groups were recently introduced by Bellingeri, Paris, and Thiel as broad generalizations of the well-known virtual braid groups. For each Coxeter graph $Γ$, they defined the virtual Artin group $VA[Γ]$, which is generated by the corresponding Artin group $A[Γ]$ and the Coxeter group $W[Γ]$, subject to certain mixed relations inspired by the action of $W[Γ]$ on its root system $Φ[Γ]$.…
▽ More
Virtual Artin groups were recently introduced by Bellingeri, Paris, and Thiel as broad generalizations of the well-known virtual braid groups. For each Coxeter graph $Γ$, they defined the virtual Artin group $VA[Γ]$, which is generated by the corresponding Artin group $A[Γ]$ and the Coxeter group $W[Γ]$, subject to certain mixed relations inspired by the action of $W[Γ]$ on its root system $Φ[Γ]$. There is a natural surjection $ \mathrm{VA}[Γ] \rightarrow W[Γ]$, with the kernel $PVA[Γ]$ representing the pure virtual Artin group. In this paper, we explore linear representations and crystallographic quotients of virtual Artin groups. Inspired from the work of Cohen, Wales, and Krammer, we construct a linear representation of the virtual Artin group $VA[Γ]$. As a consequence of this representation, we deduce that if $W[Γ]$ is a spherical Coxeter group, then $VA[Γ]/PVA[Γ]'$ is a crystallographic group of dimension $ |Φ[Γ]|$ with the holonomy group $W[Γ]$. We also investigate twisted conjugacy in these groups, and prove that each right-angled virtual Artin group admit the $R_\infty$-property.
△ Less
Submitted 2 January, 2025; v1 submitted 16 September, 2024;
originally announced September 2024.
-
Representations of skew braces
Authors:
Nishant Rathee,
Mahender Singh,
Ayush Udeep
Abstract:
In this paper, we explore linear representations of skew left braces, which are known to provide bijective non-degenerate set-theoretical solutions to the Yang--Baxter equation that are not necessarily involutive. A skew left brace $(A, \cdot, \circ)$ induces an action $λ^{\op}: (A, \circ) \to \Aut (A, \cdot)$, which gives rise to the group $Λ_{A^{\op}} = (A, \cdot) \rtimes_{λ^{\op}} (A, \circ)$.…
▽ More
In this paper, we explore linear representations of skew left braces, which are known to provide bijective non-degenerate set-theoretical solutions to the Yang--Baxter equation that are not necessarily involutive. A skew left brace $(A, \cdot, \circ)$ induces an action $λ^{\op}: (A, \circ) \to \Aut (A, \cdot)$, which gives rise to the group $Λ_{A^{\op}} = (A, \cdot) \rtimes_{λ^{\op}} (A, \circ)$. We prove that if $A$ and $B$ are isoclinic skew left braces, then $Λ_{A^{\op}}$ and $Λ_{B^{\op}}$ are also isoclinic under some mild restrictions on the centers of the respective groups. Our key observation is that there is a one-to-one correspondence between the set of equivalence classes of irreducible representations of $(A, \cdot, \circ)$ and that of the group $Λ_{A^{\op}}$. We obtain a decomposition of the induced representation of the additive group $(A, \cdot)$ and of the multiplicative group $(A, \circ)$ corresponding to the regular representation of the group $Λ_{A^{\op}}$. As examples, we compute the dimensions of the irreducible representations for several skew left braces with prime power orders.
△ Less
Submitted 22 August, 2024; v1 submitted 7 August, 2024;
originally announced August 2024.
-
Orderability of big mapping class groups
Authors:
Pravin Kumar,
Apeksha Sanghi,
Mahender Singh
Abstract:
We give an alternate proof of the left-orderability of the mapping class group of a connected oriented infinite-type surface with a non-empty boundary. Our main strategy involves the inductive construction of a countable stable Alexander system for the surface using a carefully chosen exhaustion by finite-type subsurfaces. In fact, we prove that a generalised ideal arc system for the surface also…
▽ More
We give an alternate proof of the left-orderability of the mapping class group of a connected oriented infinite-type surface with a non-empty boundary. Our main strategy involves the inductive construction of a countable stable Alexander system for the surface using a carefully chosen exhaustion by finite-type subsurfaces. In fact, we prove that a generalised ideal arc system for the surface also induces a left-ordering on the big mapping class group. We then prove that two generalised ideal arc systems determine the same left-ordering if and only if they are loosely isotopic. Finally, we prove that the topology on the big mapping class group is the same as the order topology induced by a left-ordering corresponding to an inductively constructed ideal arc system.
△ Less
Submitted 10 August, 2024; v1 submitted 19 July, 2024;
originally announced July 2024.
-
Automorphisms, cohomology and extensions of symmetric quandles
Authors:
Biswadeep Karmakar,
Deepanshi Saraf,
Mahender Singh
Abstract:
It is well-known that the cohomology of symmetric quandles generates robust cocycle invariants for unoriented classical and surface links. Expanding on the recently introduced module-theoretic generalized cohomology for symmetric quandles, we derive a four-term exact sequence that relates 1-cocycles, second cohomology, and a specific group of automorphisms associated with the extensions of symmetr…
▽ More
It is well-known that the cohomology of symmetric quandles generates robust cocycle invariants for unoriented classical and surface links. Expanding on the recently introduced module-theoretic generalized cohomology for symmetric quandles, we derive a four-term exact sequence that relates 1-cocycles, second cohomology, and a specific group of automorphisms associated with the extensions of symmetric quandles. This exact sequence shows that the obstruction to lifting and extending automorphisms is found in the second symmetric quandle cohomology. Additionally, some general aspects of dynamical cocycles and extensions are discussed.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
On the conjecture of non-inner automorphisms of finite $p$-groups
Authors:
Mandeep Singh,
Mahak Sharma
Abstract:
Let $p$ be a prime number. A longstanding conjecture asserts that every finite non-abelian $p$-group has a non-inner automorphism of order $p$. In this paper, we prove that if $G$ is an odd order finite non-abelian monolithic $p$-group such that every maximal subgroup of $G$ is non-abelian and $[Z(M), g] \leq Z(G)$ for every maximal subgroup $M$ of $G$ and $g \in G \setminus M$. Then $G$ has a non…
▽ More
Let $p$ be a prime number. A longstanding conjecture asserts that every finite non-abelian $p$-group has a non-inner automorphism of order $p$. In this paper, we prove that if $G$ is an odd order finite non-abelian monolithic $p$-group such that every maximal subgroup of $G$ is non-abelian and $[Z(M), g] \leq Z(G)$ for every maximal subgroup $M$ of $G$ and $g \in G \setminus M$. Then $G$ has a non-inner automorphism of order $p$ leaving the Frattini subgroup $Φ(G)$ elementwise fixed.
△ Less
Submitted 15 June, 2024;
originally announced June 2024.
-
Weighted Fourier inequalities and application of restriction theorems on rank one Riemannian symmetric spaces of noncompact type
Authors:
Pratyoosh Kumar,
Sanjoy Pusti,
Tapendu Rana,
Mandeep Singh
Abstract:
This article explores weighted $(L^p, L^q)$ inequalities for the Fourier transform in rank one Riemannian symmetric spaces of noncompact type. We establish both necessary and sufficient conditions for these inequalities to hold. To prove the weighted Fourier inequalities, we apply restriction theorems on symmetric spaces and utilize Calder{ó}n's estimate for sublinear operators. While establishing…
▽ More
This article explores weighted $(L^p, L^q)$ inequalities for the Fourier transform in rank one Riemannian symmetric spaces of noncompact type. We establish both necessary and sufficient conditions for these inequalities to hold. To prove the weighted Fourier inequalities, we apply restriction theorems on symmetric spaces and utilize Calder{ó}n's estimate for sublinear operators. While establishing the necessary conditions, we demonstrate that Harish-Chandra's elementary spherical functions play a crucial role in this setting. Furthermore, we apply our findings to derive Fourier inequalities with polynomial and exponential weights.
△ Less
Submitted 10 June, 2024;
originally announced June 2024.
-
Fundamental $n$-quandles of links are residually finite
Authors:
Neeraj Kumar Dhanwani,
Deepanshi Saraf,
Mahender Singh
Abstract:
In this paper, we investigate the residual finiteness and subquandle separability of quandles, properties that respectively imply the solvability of the word problem and the generalized word problem for quandles. From Winker's work, we know that fundamental $n$-quandles of oriented links, which are canonical quotients of their fundamental quandles, are closely associated with $n$-fold cyclic branc…
▽ More
In this paper, we investigate the residual finiteness and subquandle separability of quandles, properties that respectively imply the solvability of the word problem and the generalized word problem for quandles. From Winker's work, we know that fundamental $n$-quandles of oriented links, which are canonical quotients of their fundamental quandles, are closely associated with $n$-fold cyclic branched covers of the 3-sphere branched over these links. We prove that the fundamental $n$-quandle of any oriented link in the 3-sphere is residually finite for each $n\ge 2$. This supplements the recent result by Bardakov, Singh and the third author on residual finiteness of fundamental quandles of oriented links, and the classification by Hoste and Shanahan of links whose fundamental $n$-quandles are finite for some $n$. We also establish several general results on these finiteness properties and identify many families of quandles admitting them.
△ Less
Submitted 1 July, 2025; v1 submitted 26 March, 2024;
originally announced March 2024.
-
Data driven approach to study the transition from dispersive to dissipative systems through dimensionality reduction techniques
Authors:
Mairembam Kelvin Singh,
A. Surjalal Sharma,
N. Nimai Singh,
Moirangthem Shubhakanta Singh
Abstract:
Complexity is often exhibited in dynamical systems, where certain parameters evolve with time in a strange and chaotic nature. These systems lack predictability and are common in the physical world. Dissipative systems are one of such systems where the volume of the phase space contracts with time. On the other hand, we employ dimensionality reduction techniques to study complicated and complex da…
▽ More
Complexity is often exhibited in dynamical systems, where certain parameters evolve with time in a strange and chaotic nature. These systems lack predictability and are common in the physical world. Dissipative systems are one of such systems where the volume of the phase space contracts with time. On the other hand, we employ dimensionality reduction techniques to study complicated and complex data, which are tough to analyse. The Principal Component Analysis (PCA) is a dimensionality reduction technique used as a means to study complex data. Through PCA, we studied the reduced dimensional features of the numerical data generated by a nonlinear partial differential equation called the Korteweg de Vries (KdV) equation, which is a nonlinear dispersive system, where solitary waves travel along a specific direction with finite amplitude. Dissipative nature, specific to that of the Lorenz system, were observed in the dimensionally reduced data, which implies a transition from a dispersive system to a dissipative system.
△ Less
Submitted 7 February, 2024;
originally announced March 2024.
-
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.
-
Generalized (co)homology of symmetric quandles over homogeneous Beck modules
Authors:
Biswadeep Karmakar,
Deepanshi Saraf,
Mahender Singh
Abstract:
A quandle equipped with a good involution is referred to as symmetric. It is known that the cohomology of symmetric quandles gives rise to strong cocycle invariants for classical and surface links, even when they are not necessarily oriented. In this paper, we introduce the category of symmetric quandle modules and prove that these modules completely determine the Beck modules in the category of s…
▽ More
A quandle equipped with a good involution is referred to as symmetric. It is known that the cohomology of symmetric quandles gives rise to strong cocycle invariants for classical and surface links, even when they are not necessarily oriented. In this paper, we introduce the category of symmetric quandle modules and prove that these modules completely determine the Beck modules in the category of symmetric quandles. Consequently, this establishes suitable coefficient objects for constructing appropriate (co)homology theories. We develop an extension theory of modules over symmetric quandles and propose a generalized (co)homology theory for symmetric quandles with coefficients in a homogeneous Beck module, which also recovers the symmetric quandle (co)homology developed by Kamada and Oshiro [Trans. Amer. Math. Soc. (2010)]. Our constructions also apply to symmetric racks. We conclude by establishing an explicit isomorphism between the second cohomology of a symmetric quandle and the first cohomology of its associated group.
△ Less
Submitted 25 January, 2024;
originally announced January 2024.
-
Twisted Yang-Baxter sets, cohomology theory, and application to knots
Authors:
Mohamed Elhamdadi,
Manpreet Singh
Abstract:
We introduce twisted set-theoretic Yang-Baxter solutions and develop an associated cohomology theory, which extends the standard cohomology theory of Yang-Baxter solutions. By employing cocycles of twisted biquandles along with Alexander numbering, we construct state-sum invariants for knots and knotted surfaces. As an application, we use our approach to distinguish the $2$-twist spun trefoil from…
▽ More
We introduce twisted set-theoretic Yang-Baxter solutions and develop an associated cohomology theory, which extends the standard cohomology theory of Yang-Baxter solutions. By employing cocycles of twisted biquandles along with Alexander numbering, we construct state-sum invariants for knots and knotted surfaces. As an application, we use our approach to distinguish the $2$-twist spun trefoil from its reverse orientation, in line with prior findings.
△ Less
Submitted 20 June, 2024; v1 submitted 2 January, 2024;
originally announced January 2024.
-
Brunnian planar braids and simplicial groups
Authors:
Valeriy G. Bardakov,
Pravin Kumar,
Mahender Singh
Abstract:
Twin groups are planar analogues of Artin braid groups and play a crucial role in the Alexander-Markov correspondence for the isotopy classes of immersed circles on the 2-sphere without triple and higher intersections. These groups admit diagrammatic representations, leading to maps obtained by the addition and deletion of strands. This paper explores Brunnian twin groups, which are subgroups of t…
▽ More
Twin groups are planar analogues of Artin braid groups and play a crucial role in the Alexander-Markov correspondence for the isotopy classes of immersed circles on the 2-sphere without triple and higher intersections. These groups admit diagrammatic representations, leading to maps obtained by the addition and deletion of strands. This paper explores Brunnian twin groups, which are subgroups of twin groups composed of twins that become trivial when any of their strands are deleted. We establish that Brunnian twin groups consisting of more than two strands are free groups. Furthermore, we provide a necessary and sufficient condition for a Brunnian doodle on the 2-sphere to be the closure of a Brunnian twin. Additionally, we delve into two generalizations of Brunnian twins, namely, $k$-decomposable twins and Cohen twins, and prove some structural results about these groups. We also investigate a simplicial structure on pure twin groups that admits a simplicial homomorphism from Milnor's construction of the simplicial 2-sphere. This gives a possibility to provide a combinatorial description of homotopy groups of the 2-sphere in terms of pure twins.
△ Less
Submitted 27 December, 2023;
originally announced December 2023.
-
Bridging colorings of virtual links from virtual biquandles to biquandles
Authors:
Mohamed Elhamdadi,
Manpreet Singh
Abstract:
A biquandle is a solution to the set-theoretical Yang-Baxter equation, which yields invariants for virtual knots such as the coloring number and the state-sum invariant. A virtual biquandle enriches the structure of a biquandle by incorporating an invertible unary map. This unary operator plays a crucial role in defining the action of virtual crossings on the labels of incoming arcs in a virtual l…
▽ More
A biquandle is a solution to the set-theoretical Yang-Baxter equation, which yields invariants for virtual knots such as the coloring number and the state-sum invariant. A virtual biquandle enriches the structure of a biquandle by incorporating an invertible unary map. This unary operator plays a crucial role in defining the action of virtual crossings on the labels of incoming arcs in a virtual link diagram. This leads to extensions of invariants from biquandles to virtual biquandles, thereby enhancing their strength.
In this article, we establish a connection between the coloring invariant derived from biquandles and virtual biquandles. We prove that the number of colorings of a virtual link $L$ by virtual biquandles can be recovered from colorings by biquandles. We achieve this by proving the equivalence between two different representations of virtual braid groups. Furthermore, we introduce a new set of labeling rules using which one can construct a presentation of the associated fundamental virtual biquandle of $L$ using only the relations coming from the classical crossings. This is an improvement to the traditional method, where writing down a presentation of the associated fundamental virtual biquandle necessitates noting down the relations arising from the classical and virtual crossings.
△ Less
Submitted 15 May, 2024; v1 submitted 9 December, 2023;
originally announced December 2023.
-
Twisted Rokhlin property for mapping class groups
Authors:
Pravin Kumar,
Apeksha Sanghi,
Mahender Singh
Abstract:
In this paper, generalising the idea of the Rokhlin property, we explore the concept of the twisted Rokhlin property of topological groups. A topological group is said to exhibit the twisted Rokhlin property if, for each automorphism $φ$ of the group, there exists a $φ$-twisted conjugacy class that is dense in the group. We provide a complete classification of connected orientable infinite-type su…
▽ More
In this paper, generalising the idea of the Rokhlin property, we explore the concept of the twisted Rokhlin property of topological groups. A topological group is said to exhibit the twisted Rokhlin property if, for each automorphism $φ$ of the group, there exists a $φ$-twisted conjugacy class that is dense in the group. We provide a complete classification of connected orientable infinite-type surfaces without boundaries whose mapping class groups possess the twisted Rokhlin property. Additionally, we prove that the mapping class groups of the remaining surfaces do not admit any dense $φ$-twisted conjugacy class for any automorphism $φ$. This supplements the recent work of Lanier and Vlamis on the Rokhlin property of big mapping class groups. We also prove that the mapping class group of each connected orientable infinite-type surface without boundary possesses the $R_\infty$-property.
△ Less
Submitted 1 January, 2024; v1 submitted 5 December, 2023;
originally announced December 2023.
-
Schur multiplier and Schur covers of relative Rota-Baxter groups
Authors:
Pragya Belwal,
Nishant Rathee,
Mahender Singh
Abstract:
Relative Rota-Baxter groups are generalizations of Rota-Baxter groups and share a close connection with skew left braces. These structures are well-known for offering bijective non-degenerate set-theoretical solutions to the Yang-Baxter equation. This paper builds upon the recently introduced extension theory and low-dimensional cohomology of relative Rota-Baxter groups. We prove an analogue of th…
▽ More
Relative Rota-Baxter groups are generalizations of Rota-Baxter groups and share a close connection with skew left braces. These structures are well-known for offering bijective non-degenerate set-theoretical solutions to the Yang-Baxter equation. This paper builds upon the recently introduced extension theory and low-dimensional cohomology of relative Rota-Baxter groups. We prove an analogue of the Hochschild-Serre exact sequence for central extensions of relative Rota-Baxter groups. We introduce the Schur multiplier $M_{RRB}(\mathcal{A})$ of a relative Rota-Baxter group $\mathcal{A} =(A,B,β,T)$, and prove that the exponent of $M_{RRB}(\mathcal{A})$ divides $|A||B|$ when $\mathcal{A}$ is finite. We define weak isoclinism of relative Rota-Baxter groups, introduce their Schur covers, and prove that any two Schur covers of a finite bijective relative Rota-Baxter group are weakly isoclinic. The results align with recent results of Letourmy and Vendramin for skew left braces.
△ Less
Submitted 21 November, 2023;
originally announced November 2023.
-
Endomorphism monoid and automorphism group of residually finite and profinite quandles
Authors:
Manpreet Singh
Abstract:
We explore residually finite and profinite quandles. We prove that the endomorphism monoid and the automorphism group of finitely generated residually finite quandles are residually finite. In fact, we establish the similar result for a broad class of residually finite quandles. We provide a topological characterization of profinite quandles. We establish necessary and sufficient conditions for pr…
▽ More
We explore residually finite and profinite quandles. We prove that the endomorphism monoid and the automorphism group of finitely generated residually finite quandles are residually finite. In fact, we establish the similar result for a broad class of residually finite quandles. We provide a topological characterization of profinite quandles. We establish necessary and sufficient conditions for profinite quandles ensuring that their endomorphism monoids and automorphism groups are profinite.
△ Less
Submitted 6 November, 2023;
originally announced November 2023.
-
Cohomology and Extensions of Relative Rota-Baxter groups
Authors:
Pragya Belwal,
Nishant Rathee,
Mahender Singh
Abstract:
Relative Rota-Baxter groups are generalisations of Rota-Baxter groups and recently shown to be intimately related to skew left braces, which are well-known to yield bijective non-degenerate solutions to the Yang-Baxter equation. In this paper, we develop an extension theory of relative Rota-Baxter groups and introduce their low dimensional cohomology groups, which are distinct from the ones known…
▽ More
Relative Rota-Baxter groups are generalisations of Rota-Baxter groups and recently shown to be intimately related to skew left braces, which are well-known to yield bijective non-degenerate solutions to the Yang-Baxter equation. In this paper, we develop an extension theory of relative Rota-Baxter groups and introduce their low dimensional cohomology groups, which are distinct from the ones known in the context of Rota-Baxter operators on Lie groups. We establish an explicit bijection between the set of equivalence classes of extensions of relative Rota-Baxter groups and their second cohomology. Further, we delve into the connections between this cohomology and the cohomology of associated skew left braces. We prove that for bijective relative Rota-Baxter groups, the two cohomologies are isomorphic in dimension two.
△ Less
Submitted 1 September, 2023;
originally announced September 2023.
-
A New Perspective of Accelerated Gradient Methods: The Controlled Invariant Manifold Approach
Authors:
Revati Gunjal,
Sushama Wagh,
Syed Shadab Nayyer,
Alex Stankovic,
Navdeep M. Singh
Abstract:
Gradient Descent (GD) is a ubiquitous algorithm for finding the optimal solution to an optimization problem. For reduced computational complexity, the optimal solution $\mathrm{x^*}$ of the optimization problem must be attained in a minimum number of iterations. For this objective, the paper proposes a genesis of an accelerated gradient algorithm through the controlled dynamical system perspective…
▽ More
Gradient Descent (GD) is a ubiquitous algorithm for finding the optimal solution to an optimization problem. For reduced computational complexity, the optimal solution $\mathrm{x^*}$ of the optimization problem must be attained in a minimum number of iterations. For this objective, the paper proposes a genesis of an accelerated gradient algorithm through the controlled dynamical system perspective. The objective of optimally reaching the optimal solution $\mathrm{x^*}$ where $\mathrm{\nabla f(x^*)=0}$ with a given initial condition $\mathrm{x(0)}$ is achieved through control.
△ Less
Submitted 31 May, 2023; v1 submitted 18 May, 2023;
originally announced May 2023.
-
Relative Rota-Baxter groups and skew left braces
Authors:
Nishant Rathee,
Mahender Singh
Abstract:
Relative Rota-Baxter groups are generalisations of Rota-Baxter groups and introduced recently in the context of Lie groups. In this paper, we explore connections of relative Rota-Baxter groups with skew left braces, which are well-known to give non-degenerate set-theoretic solutions of the Yang-Baxter equation. We prove that every relative Rota-Baxter group gives rise to a skew left brace, and con…
▽ More
Relative Rota-Baxter groups are generalisations of Rota-Baxter groups and introduced recently in the context of Lie groups. In this paper, we explore connections of relative Rota-Baxter groups with skew left braces, which are well-known to give non-degenerate set-theoretic solutions of the Yang-Baxter equation. We prove that every relative Rota-Baxter group gives rise to a skew left brace, and conversely, every skew left brace arises from a relative Rota-Baxter group. It turns out that there is an isomorphism between the two categories under some mild restrictions. We propose an efficient GAP algorithm, which would enable the computation of relative Rota-Baxter operators on finite groups. In the end, we introduce the notion of isoclinism of relative Rota-Baxter groups and prove that an isoclinism of these objects induces an isoclinism of corresponding skew left braces.
△ Less
Submitted 1 May, 2023;
originally announced May 2023.
-
Commutator subgroups and crystallographic quotients of virtual extensions of symmetric groups
Authors:
Pravin Kumar,
Tushar Kanta Naik,
Neha Nanda,
Mahender Singh
Abstract:
The virtual braid group $VB_n$, the virtual twin group $VT_n$ and the virtual triplet group $VL_n$ are extensions of the symmetric group $S_n$, which are motivated by the Alexander-Markov correspondence for virtual knot theories. The kernels of natural epimorphisms of these groups onto the symmetric group $S_n$ are the pure virtual braid group $VP_n$, the pure virtual twin group $PVT_n$ and the pu…
▽ More
The virtual braid group $VB_n$, the virtual twin group $VT_n$ and the virtual triplet group $VL_n$ are extensions of the symmetric group $S_n$, which are motivated by the Alexander-Markov correspondence for virtual knot theories. The kernels of natural epimorphisms of these groups onto the symmetric group $S_n$ are the pure virtual braid group $VP_n$, the pure virtual twin group $PVT_n$ and the pure virtual triplet group $PVL_n$, respectively. In this paper, we investigate commutator subgroups, pure subgroups and crystallographic quotients of these groups. We derive explicit finite presentations of the pure virtual triplet group $PVL_n$, the commutator subgroup $VT_n^{'}$ of $VT_n$ and the commutator subgroup $VL_n^{'}$ of $VL_n$. Our results complete the understanding of these groups, except that of $VB_n^{'}$, for which the existence of a finite presentations is not known for $n \ge 4$. We also prove that $VL_n/PVL_n^{'}$ is a crystallographic group and give an explicit construction of infinitely many torsion elements in it.
△ Less
Submitted 17 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.
-
Generalised Legendrian racks of Legendrian links
Authors:
Biswadeep Karmakar,
Deepanshi Saraf,
Mahender Singh
Abstract:
A generalised Legendrian rack is a rack equipped with a Legendrian structure, which is a pair of maps encoding the information of Legendrian Reidemeister moves together with up and down cusps in the front diagram of an oriented Legendrian link. Employing a purely rack theoretic approach, we associate a generalised Legendrian rack (or a GL-rack) to an oriented Legendrian link, and prove that it is…
▽ More
A generalised Legendrian rack is a rack equipped with a Legendrian structure, which is a pair of maps encoding the information of Legendrian Reidemeister moves together with up and down cusps in the front diagram of an oriented Legendrian link. Employing a purely rack theoretic approach, we associate a generalised Legendrian rack (or a GL-rack) to an oriented Legendrian link, and prove that it is an invariant under Legendrian isotopy. As immediate applications, we prove that this invariant distinguishes infinitely many oriented Legendrian unknots and oriented Legendrian trefoils. To comprehend their algebraic structure, we prove that every GL-rack admits a homogeneous representation. Further, using the idea of trunks, we define modules over GL-racks, and prove the equivalence of the category of GL-rack modules and the category of Beck modules over a fixed GL-rack.
△ Less
Submitted 5 February, 2024; v1 submitted 17 January, 2023;
originally announced January 2023.
-
Congruence subgroups and crystallographic quotients of small Coxeter groups
Authors:
Pravin Kumar,
Tushar Kanta Naik,
Mahender Singh
Abstract:
Small Coxeter groups are precisely the ones for which the Tits representation is integral, which makes the study of their congruence subgroups relevant. The symmetric group $S_n$ has three natural extensions, namely, the braid group $B_n$, the twin group $T_n$ and the triplet group $L_n$. The latter two groups are small Coxeter groups, and play the role of braid groups under the Alexander-Markov c…
▽ More
Small Coxeter groups are precisely the ones for which the Tits representation is integral, which makes the study of their congruence subgroups relevant. The symmetric group $S_n$ has three natural extensions, namely, the braid group $B_n$, the twin group $T_n$ and the triplet group $L_n$. The latter two groups are small Coxeter groups, and play the role of braid groups under the Alexander-Markov correspondence for appropriate knot theories, with their pure subgroups admitting suitable hyperplane arrangements as Eilenberg-MacLane spaces. In this paper, we prove that the congruence subgroup property fails for infinite small Coxeter groups which are not virtually abelian. As an application, we deduce that the congruence subgroup property fails for both $T_n$ and $L_n$ when $n \ge 4$. We also determine subquotients of principal congruence subgroups of $T_n$, and identify the pure twin group $PT_n$ and the pure triplet group $PL_n$ with suitable principal congruence subgroups. Further, we investigate crystallographic quotients of these two families of small Coxeter groups, and prove that $T_n /PT_n^{'}$, $T_n/T_n^{''}$ and $L_n /PL_n^{'}$ are crystallographic groups. We also determine crystallographic dimensions of these groups and identify the holonomy representation of $T_n/T_n^{''}$.
△ Less
Submitted 14 October, 2023; v1 submitted 18 December, 2022;
originally announced December 2022.
-
Constructing an infinite family of quandles from a quandle
Authors:
Pedro Lopes,
Manpreet Singh
Abstract:
Quandles are self-distributive, right-invertible, idempotent algebras. A group with conjugation for binary operation is an example of a quandle. Given a quandle $(Q, \ast)$ and a positive integer $n$, define $a\ast_n b = (\cdots (a\ast \underbrace{b)\ast \cdots )\ast b}_{n}$, where $a, b \in Q$. Then, $(Q, \ast_n)$ is again a quandle. We set forth the following problem. ``Find $(Q, \ast)$ such tha…
▽ More
Quandles are self-distributive, right-invertible, idempotent algebras. A group with conjugation for binary operation is an example of a quandle. Given a quandle $(Q, \ast)$ and a positive integer $n$, define $a\ast_n b = (\cdots (a\ast \underbrace{b)\ast \cdots )\ast b}_{n}$, where $a, b \in Q$. Then, $(Q, \ast_n)$ is again a quandle. We set forth the following problem. ``Find $(Q, \ast)$ such that the sequence $\{(Q, \ast_n)\, :\, n\in \mathbb{Z}^+ \}$ is made up of pairwise non-isomorphic quandles.'' In this article we find such a quandle $(Q, \ast)$. We study the general linear group of $2$-by-$2$ matrices over $\mathbb{C}$ as a quandle under conjugation. Its (algebraically) connected components, that is, its conjugacy classes, are subquandles of it. We show the latter are connected as quandles and prove rigidity results about them such as the dihedral quandle of order $3$ is not a subquandle for most of them. Then we consider the quandle which is the projective linear group of $2$-by-$2$ matrices over $\mathbb{C}$ with conjugation, and prove it solves the problem above. In the course of this work we prove a sufficient and necessary condition for a quandle to be latin. This will reduce significantly the complexity of algorithms for ascertaining if a quandle is latin.
△ Less
Submitted 23 November, 2022;
originally announced November 2022.
-
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.
-
Efficient Determinant Maximization for All Matroids
Authors:
Adam Brown,
Aditi Laddha,
Madhusudhan Pittu,
Mohit Singh
Abstract:
Determinant maximization provides an elegant generalization of problems in many areas, including convex geometry, statistics, machine learning, fair allocation of goods, and network design. In an instance of the determinant maximization problem, we are given a collection of vectors $v_1,\ldots, v_n \in \mathbb{R}^d$, and the goal is to pick a subset $S\subseteq [n]$ of given vectors to maximize th…
▽ More
Determinant maximization provides an elegant generalization of problems in many areas, including convex geometry, statistics, machine learning, fair allocation of goods, and network design. In an instance of the determinant maximization problem, we are given a collection of vectors $v_1,\ldots, v_n \in \mathbb{R}^d$, and the goal is to pick a subset $S\subseteq [n]$ of given vectors to maximize the determinant of the matrix $\sum_{i \in S} v_iv_i^\top$, where the picked set of vectors $S$ must satisfy some combinatorial constraint such as cardinality constraint ($|S| \leq k$) or matroid constraint ($S$ is a basis of a matroid defined on $[n]$).
In this work, we give a combinatorial algorithm for the determinant maximization problem under a matroid constraint that achieves $O(d^{O(d)})$-approximation for any matroid of rank $r\geq d$. This complements the recent result of~\cite{BrownLPST22} that achieves a similar bound for matroids of rank $r\leq d$, relying on a geometric interpretation of the determinant. Our result matches the best-known estimation algorithms~\cite{madan2020maximizing} for the problem, which could estimate the objective value but could not give an approximate solution with a similar guarantee. Our work follows the framework developed by~\cite{BrownLPST22} of using matroid intersection based algorithms for determinant maximization. To overcome the lack of a simple geometric interpretation of the objective when $r \geq d$, our approach combines ideas from combinatorial optimization with algebraic properties of the determinant. We also critically use the properties of a convex programming relaxation of the problem introduced by~\cite{madan2020maximizing}.
△ Less
Submitted 18 November, 2022;
originally announced November 2022.
-
Towards Optimal Primary- and Secondary-control Design for Networks with Generators and Inverters
Authors:
Manish K. Singh,
D. Venkatramanan,
Sairaj Dhople
Abstract:
For power grids predominantly featuring large synchronous generators (SGs), there exists a significant body of work bridging optimization and control tasks. A generic workflow in such efforts entails: characterizing the steady state of control algorithms and SG dynamics; assessing the optimality of the resulting operating point with respect to an optimal dispatch task; and prescribing control para…
▽ More
For power grids predominantly featuring large synchronous generators (SGs), there exists a significant body of work bridging optimization and control tasks. A generic workflow in such efforts entails: characterizing the steady state of control algorithms and SG dynamics; assessing the optimality of the resulting operating point with respect to an optimal dispatch task; and prescribing control parameters to ensure that (under reasonable ambient perturbations) the considered control nudges the system steady state to optimality. Well studied instances of the aforementioned approach include designing: i) automatic generation control (AGC) participation factors to ensure economic optimality, and ii) governor frequency-droop slopes to ensure power sharing. Recognizing that future power grids will feature a diverse mix of SGs and inverter-based resources (IBRs) with varying control structures, this work examines the different steps of the optimization-control workflow for this context. Considering a representative model of active power-frequency dynamics of IBRs and SGs, a characterization of steady state is put forth (with and without secondary frequency control). Conditions on active-power droop slopes and AGC participation factors are then derived to ascertain desired power sharing and ensure economically optimal operation under varying power demands.
△ Less
Submitted 11 October, 2022;
originally announced October 2022.
-
The IID Prophet Inequality with Limited Flexibility
Authors:
Sebastian Perez-Salazar,
Mohit Singh,
Alejandro Toriello
Abstract:
In online sales, sellers usually offer each potential buyer a posted price in a take-it-or-leave fashion. Buyers can sometimes see posted prices faced by other buyers, and changing the price frequently could be considered unfair. The literature on posted price mechanisms and prophet inequality problems has studied the two extremes of pricing policies, the fixed price policy and fully dynamic prici…
▽ More
In online sales, sellers usually offer each potential buyer a posted price in a take-it-or-leave fashion. Buyers can sometimes see posted prices faced by other buyers, and changing the price frequently could be considered unfair. The literature on posted price mechanisms and prophet inequality problems has studied the two extremes of pricing policies, the fixed price policy and fully dynamic pricing. The former is suboptimal in revenue but is perceived as fairer than the latter. This work examines the middle situation, where there are at most $k$ distinct prices over the selling horizon. Using the framework of prophet inequalities with independent and identically distributed random variables, we propose a new prophet inequality for strategies that use at most $k$ thresholds. We present asymptotic results in $k$ and results for small values of $k$. For $k=2$ prices, we show an improvement of at least $11\%$ over the best fixed-price solution. Moreover, $k=5$ prices suffice to guarantee almost $99\%$ of the approximation factor obtained by a fully dynamic policy that uses an arbitrary number of prices. From a technical standpoint, we use an infinite-dimensional linear program in our analysis; this formulation could be of independent interest to other online selection problems.
△ Less
Submitted 13 August, 2023; v1 submitted 11 October, 2022;
originally announced October 2022.
-
Finiteness of canonical quotients of Dehn quandles of surfaces
Authors:
Neeraj K. Dhanwani,
Mahender Singh
Abstract:
The Dehn quandle of a closed orientable surface is the set of isotopy classes of non-separating simple closed curves with a natural quandle structure arising from Dehn twists. In this paper, we consider finiteness of some canonical quotients of these quandles. For a surface of positive genus, we give a precise description of the 2-quandle of its Dehn quandle. Further, with some exceptions for genu…
▽ More
The Dehn quandle of a closed orientable surface is the set of isotopy classes of non-separating simple closed curves with a natural quandle structure arising from Dehn twists. In this paper, we consider finiteness of some canonical quotients of these quandles. For a surface of positive genus, we give a precise description of the 2-quandle of its Dehn quandle. Further, with some exceptions for genus more than two, we determine all values of $n$ for which the $n$-quandle of its Dehn quandle is finite. The result can be thought of as the Dehn quandle analogue of a similar result of Hoste and Shanahan for link quandles. We also compute the size of the smallest non-trivial quandle quotient of the Dehn quandle of a surface. Along the way, we prove that the involutory quotient of an Artin quandle is precisely the corresponding Coxeter quandle and also determine the smallest non-trivial quotient of a braid quandle.
△ Less
Submitted 31 August, 2022; v1 submitted 25 August, 2022;
originally announced August 2022.
-
Enhancements of link colorings via idempotents of quandle rings
Authors:
Mohamed Elhamdadi,
Brandon Nunez,
Mahender Singh
Abstract:
We show that quandle rings and their idempotents lead to proper enhancements of the well-known quandle coloring invariant of links in the 3-space. We give explicit examples to show that the new invariants are also stronger than the $\Hom$ quandle invariant when the coloring quandles are medial. We provide computer assisted computations of idempotents for all quandles of order less than six, and al…
▽ More
We show that quandle rings and their idempotents lead to proper enhancements of the well-known quandle coloring invariant of links in the 3-space. We give explicit examples to show that the new invariants are also stronger than the $\Hom$ quandle invariant when the coloring quandles are medial. We provide computer assisted computations of idempotents for all quandles of order less than six, and also determine the ones for which the set of all idempotents is itself a quandle. The data supports our conjecture about triviality of idempotents of integral quandle rings of finite latin quandles. We also determine Peirce spectra for complex quandle algebras of some small order quandles.
△ Less
Submitted 19 July, 2022;
originally announced July 2022.
-
Initial boundary value problem for 1D scalar balance laws with strictly convex flux
Authors:
Manas R. Sahoo,
Abhrojyoti Sen,
Manish Singh
Abstract:
A Lax-Oleinik type explicit formula for 1D scalar balance laws has been recently obtained for the pure initial value problem by Adimurthi et al. in [1]. In this article, by introducing a suitable boundary functional, we establish a Lax-Oleinik type formula for the initial boundary value problem. For the pure initial value problem, the solution for the corresponding Hamilton-Jacobi equation turns o…
▽ More
A Lax-Oleinik type explicit formula for 1D scalar balance laws has been recently obtained for the pure initial value problem by Adimurthi et al. in [1]. In this article, by introducing a suitable boundary functional, we establish a Lax-Oleinik type formula for the initial boundary value problem. For the pure initial value problem, the solution for the corresponding Hamilton-Jacobi equation turns out to be the minimizer of a functional on the set of curves known as h-curves. In the present situation, part of the h-curve joining any two points in the quarter plane may cross the boundary $x = 0.$ This phenomenon breaks the simplicity of the minimization process through the boundary functional compared to the case of conservation laws. Moreover, this complicates the verification of the boundary condition in the sense of Bardos, le Roux, and Nedelec [2]. To verify the boundary condition, the boundary points are classified into three types depending on the structure of the minimizers at those points. Finally, by introducing characteristic triangles, we construct generalized characteristics and show that the explicit solution is entropy admissible.
△ Less
Submitted 4 December, 2023; v1 submitted 10 June, 2022;
originally announced June 2022.
-
On certain classes of rectangular designs
Authors:
Mithilesh Kumar Singh,
Shyam Saurabh
Abstract:
Rectangular designs are classified as regular, Latin regular, semiregular, Latin semiregular and singular designs. Some series of selfdual as well as alpharesolvable designs are obtained using matrix approaches which belong to the above classes. In every construction we obtain a matrix N whose blocks are square (0,1) matrices such that N becomes the incidence matrix of a rectangular design. The me…
▽ More
Rectangular designs are classified as regular, Latin regular, semiregular, Latin semiregular and singular designs. Some series of selfdual as well as alpharesolvable designs are obtained using matrix approaches which belong to the above classes. In every construction we obtain a matrix N whose blocks are square (0,1) matrices such that N becomes the incidence matrix of a rectangular design. The method is the reverse of the well known tactical decomposition of the incidence matrix of a known design. Authors have already obtained some series of Group Divisible and Latin square designs using this method. Tactical decomposable designs are of great interest because of their connections with automorphisms of designs, see Bekar et al. (1982). The rectangular designs constructed here are of statistical as well as combinatorial interest.
△ Less
Submitted 1 June, 2022; v1 submitted 6 May, 2022;
originally announced May 2022.
-
Idempotents, free products and quandle coverings
Authors:
Mohamed Elhamdadi,
Brandon Nunez,
Mahender Singh,
Dipali Swain
Abstract:
In this paper, we investigate idempotents in quandle rings and relate them with quandle coverings. We prove that integral quandle rings of quandles of finite type that are non-trivial coverings over nice base quandles admit infinitely many non-trivial idempotents, and give their complete description. We show that the set of all these idempotents forms a quandle in itself. As an application, we ded…
▽ More
In this paper, we investigate idempotents in quandle rings and relate them with quandle coverings. We prove that integral quandle rings of quandles of finite type that are non-trivial coverings over nice base quandles admit infinitely many non-trivial idempotents, and give their complete description. We show that the set of all these idempotents forms a quandle in itself. As an application, we deduce that the quandle ring of the knot quandle of a non-trivial long knot admit non-trivial idempotents. We consider free products of quandles and prove that integral quandle rings of free quandles have only trivial idempotents, giving an infinite family of quandles with this property. We also give a description of idempotents in quandle rings of unions and certain twisted unions of quandles.
△ Less
Submitted 15 August, 2022; v1 submitted 24 April, 2022;
originally announced April 2022.
-
Optimal Power Flow Schedules with Reduced Low-Frequency Oscillations
Authors:
Manish K. Singh,
Vassilis Kekatos
Abstract:
The dynamic response of power grids to small events or persistent stochastic disturbances influences their stable operation. Low-frequency inter-area oscillations are of particular concern due to insufficient damping. This paper studies the effect of the operating point on the linear time-invariant dynamics of power networks. A pertinent metric based on the frequency response of grid dynamics is p…
▽ More
The dynamic response of power grids to small events or persistent stochastic disturbances influences their stable operation. Low-frequency inter-area oscillations are of particular concern due to insufficient damping. This paper studies the effect of the operating point on the linear time-invariant dynamics of power networks. A pertinent metric based on the frequency response of grid dynamics is proposed to quantify power system's stability against inter-area oscillations. We further put forth an optimal power flow formulation to yield a grid dispatch that optimizes this novel stability metric. A semidefinite program (SDP) relaxation is employed to yield a computationally tractable convex problem. Numerical tests on the IEEE-39 bus system demonstrate that the SDP relaxation is exact yielding a rank-1 solution. The relative trade-off of the proposed small-signal stability metric versus the generation cost is also studied.
△ Less
Submitted 19 April, 2022;
originally announced April 2022.
-
Integrated System Models for Networks with Generators & Inverters
Authors:
D. Venkatramanan,
Manish K. Singh,
Olaolu Ajala,
Alejandro Dominguez-Garcia,
Sairaj Dhople
Abstract:
Synchronous generators and inverter-based resources are complex systems with dynamics that cut across multiple intertwined physical domains and control loops. Modeling individual generators and inverters is, in itself, a very involved activity and has attracted dedicated attention from power engineers and control theorists over the years. Control and stability challenges associated with increasing…
▽ More
Synchronous generators and inverter-based resources are complex systems with dynamics that cut across multiple intertwined physical domains and control loops. Modeling individual generators and inverters is, in itself, a very involved activity and has attracted dedicated attention from power engineers and control theorists over the years. Control and stability challenges associated with increasing penetration of grid-following inverters have generated tremendous interest in grid-forming inverter technology. The envisioned coexistence of inverter technologies alongside rotating machines call for modeling frameworks that can accurately describe networked dynamics of interconnected generators and inverters across timescales. We put forth a comprehensive integrated system model for such a setting by: i) adopting a combination of circuit- and system-theoretic constructs, ii) unifying representations of three-phase signals across reference-frame transformations and phasor types, and iii) leveraging domain-level knowledge, engineering insights, and reasonable approximations. A running theme through our effort is to offer a clear distinction between physics-based models and the task of modeling. Among several insights spanning the spectrum from analytical to practical, we highlight how differential-algebraic-equation models and algebraic power-flow phasor models fall out of the detailed originating electromagnetic transient models.
△ Less
Submitted 24 July, 2022; v1 submitted 15 March, 2022;
originally announced March 2022.
-
Permutation Invariant Representations with Applications to Graph Deep Learning
Authors:
Radu Balan,
Naveed Haghani,
Maneesh Singh
Abstract:
This paper presents primarily two Euclidean embeddings of the quotient space generated by matrices that are identified modulo arbitrary row permutations. The original application is in deep learning on graphs where the learning task is invariant to node relabeling. Two embedding schemes are introduced, one based on sorting and the other based on algebras of multivariate polynomials. While both emb…
▽ More
This paper presents primarily two Euclidean embeddings of the quotient space generated by matrices that are identified modulo arbitrary row permutations. The original application is in deep learning on graphs where the learning task is invariant to node relabeling. Two embedding schemes are introduced, one based on sorting and the other based on algebras of multivariate polynomials. While both embeddings exhibit a computational complexity exponential in problem size, the sorting based embedding is globally bi-Lipschitz and admits a low dimensional target space. Additionally, an almost everywhere injective scheme can be implemented with minimal redundancy and low computational cost. In turn, this proves that almost any classifier can be implemented with an arbitrary small loss of performance. Numerical experiments are carried out on two data sets, a chemical compound data set (QM9) and a proteins data set (PROTEINS).
△ Less
Submitted 14 March, 2022;
originally announced March 2022.
-
Analysis of an implicitly extended Crank-Nicolson scheme for the heat equation on a time-dependent domain
Authors:
Stefan Frei,
Maneesh Kumar Singh
Abstract:
We consider a time-stepping scheme of Crank-Nicolson type for the heat equation on a moving domain in Eulerian coordinates. As the spatial domain varies between subsequent time steps, an extension of the solution from the previous time step is required. Following Lehrenfeld \& Olskanskii [ESAIM: M2AN, 53(2):\,585-614, 2019], we apply an implicit extension based on so-called ghost-penalty terms. Fo…
▽ More
We consider a time-stepping scheme of Crank-Nicolson type for the heat equation on a moving domain in Eulerian coordinates. As the spatial domain varies between subsequent time steps, an extension of the solution from the previous time step is required. Following Lehrenfeld \& Olskanskii [ESAIM: M2AN, 53(2):\,585-614, 2019], we apply an implicit extension based on so-called ghost-penalty terms. For spatial discretisation, a cut finite element method is used. We derive a complete a priori error analysis in space and time, which shows in particular second-order convergence in time under a parabolic CFL condition. Finally, we present numerical results in two and three space dimensions that confirm the analytical estimates, even for much larger time steps.
△ Less
Submitted 28 April, 2023; v1 submitted 13 March, 2022;
originally announced March 2022.
-
Heterogeneous Multi-Resource Allocation with Subset Demand Requests
Authors:
Arden Baxter,
Pinar Keskinocak,
Mohit Singh
Abstract:
We consider the problem of allocating multiple heterogeneous resources geographically and over time to meet demands that require some subset of the available resource types simultaneously at a specified time, location, and duration. The objective is to maximize the total reward accrued from meeting (a subset of) demands. We model this problem as an integer program, show that it is NP-hard, and ana…
▽ More
We consider the problem of allocating multiple heterogeneous resources geographically and over time to meet demands that require some subset of the available resource types simultaneously at a specified time, location, and duration. The objective is to maximize the total reward accrued from meeting (a subset of) demands. We model this problem as an integer program, show that it is NP-hard, and analyze the complexity of various special cases. We introduce approximation algorithms and an extension to our problem that considers travel costs. Finally, we test the performance of the integer programming model in an extensive computational study.
△ Less
Submitted 4 March, 2022;
originally announced March 2022.
-
k^{th} order Slant Hankel Operators on the Polydisk
Authors:
M. P. Singh,
Oinam Nilbir Singh
Abstract:
In this paper, we initiate the notion of k^{th} order slant Hankel operators on L^2(T^n) for k greater than or equal to 2 and n greater than or equal to 1 where T^n denotes the n-torus. We give the necessary and sufficient condition for a bounded operator on L^2(T^n) to be a k^{th} order slant Hankel and discuss their commutative, compactness, hyponormal and isometric property.
In this paper, we initiate the notion of k^{th} order slant Hankel operators on L^2(T^n) for k greater than or equal to 2 and n greater than or equal to 1 where T^n denotes the n-torus. We give the necessary and sufficient condition for a bounded operator on L^2(T^n) to be a k^{th} order slant Hankel and discuss their commutative, compactness, hyponormal and isometric property.
△ Less
Submitted 18 February, 2022;
originally announced February 2022.
-
Leakage Inventory Model without shortages under fuzzy parameters
Authors:
Huidrom Malemnganbi,
M. Kuber Singh
Abstract:
In this paper, an attempt has been made to develop a simple leakage inventory model without shortages with instantaneous or finite production rate under fuzzy environment. In the present day scenario, it is difficult to decide the exact annual demand rate and hence a major difficulty is faced by a decision maker to forecast the demand. Also, in any inventory system, goods in stock may subject to d…
▽ More
In this paper, an attempt has been made to develop a simple leakage inventory model without shortages with instantaneous or finite production rate under fuzzy environment. In the present day scenario, it is difficult to decide the exact annual demand rate and hence a major difficulty is faced by a decision maker to forecast the demand. Also, in any inventory system, goods in stock may subject to deterioration or leakage. Deterioration of goods refers to decrease in quality whereas quantity remains more or less the same. On the other hand, leakage refers to loss in quantity whereas the quality remains unchanged for a certain period of time. Leakages in the inventory system may be considered to be very small, not detectable by the management immediately and hence it is difficult to decide the exact leakage rate. The objective of this paper is to consider these variable parameters and determine the optimal economic order quantity (EOQ) to maximise the annual total profit. So, fuzzy inventory models have been proposed considering fuzzy leakage rate and fuzzy annual demand rate to estimate the total profit per unit time. Signed distance method is used for defuzzification. Numerical examples are provided to support the results of the proposed models.
△ Less
Submitted 18 February, 2022;
originally announced February 2022.
-
Rubio de Francia Extrapolation Theorems for Quasi-Monotone Functions
Authors:
Arun Pal Singh,
Ragul Panchal,
Pankaj Jain,
Monika Singh
Abstract:
We prove Rubio de Francia extrapolation results in Lebesgue and grand Lebesgue spaces for quasi monotone functions with $QB_{β,p}$ weights. The extrapolation in Lebesgue spaces with the weight class $QB_{β,\infty}$ has also been investigated. As an application, we characterize the boundedness of the Hardy averaging operator for quasi monotone functions in the grand Lebesgue spaces.
We prove Rubio de Francia extrapolation results in Lebesgue and grand Lebesgue spaces for quasi monotone functions with $QB_{β,p}$ weights. The extrapolation in Lebesgue spaces with the weight class $QB_{β,\infty}$ has also been investigated. As an application, we characterize the boundedness of the Hardy averaging operator for quasi monotone functions in the grand Lebesgue spaces.
△ Less
Submitted 5 February, 2022;
originally announced February 2022.
-
Presentations of Dehn quandles
Authors:
Neeraj K. Dhanwani,
Hitesh Raundal,
Mahender Singh
Abstract:
The paper gives two approaches to write explicit presentations for the class of Dehn quandles using presentations of their underlying groups. The first approach gives finite presentations for Dehn quandles of a class of Garside groups and Gaussian groups. The second approach is for general Dehn quandles when the centralisers of generators of their underlying groups are known. Several examples incl…
▽ More
The paper gives two approaches to write explicit presentations for the class of Dehn quandles using presentations of their underlying groups. The first approach gives finite presentations for Dehn quandles of a class of Garside groups and Gaussian groups. The second approach is for general Dehn quandles when the centralisers of generators of their underlying groups are known. Several examples including Dehn quandles of spherical Artin groups, surface groups and mapping class groups of orientable surfaces are given to illustrate the results.
△ Less
Submitted 23 February, 2022; v1 submitted 5 February, 2022;
originally announced February 2022.
-
An Operator-Splitting Finite Element Method for the Numerical Solution of Radiative Transfer Equation
Authors:
Sashikumaar Ganesan,
Maneesh Kumar Singh
Abstract:
An operator-splitting finite element scheme for the time-dependent, high-dimensional radiative transfer equation is presented in this paper. The streamline upwind Petrov-Galerkin finite element method and discontinuous Galerkin finite element method are used for the spatial-angular discretization of the radiative transfer equation, whereas the implicit backward Euler scheme is used for temporal di…
▽ More
An operator-splitting finite element scheme for the time-dependent, high-dimensional radiative transfer equation is presented in this paper. The streamline upwind Petrov-Galerkin finite element method and discontinuous Galerkin finite element method are used for the spatial-angular discretization of the radiative transfer equation, whereas the implicit backward Euler scheme is used for temporal discretization. Error analysis of the proposed numerical scheme for the fully discrete radiative transfer equation is presented. The stability and convergence estimates for the fully discrete problem are derived. Moreover, an operator-splitting algorithm for numerical simulation of high-dimensional equations is also presented. The validation of the derived estimates and implementation is demonstrated with appropriate numerical experiments.
△ Less
Submitted 20 March, 2022; v1 submitted 15 December, 2021;
originally announced December 2021.
