-
Effective Generation of Feasible Solutions for Integer Programming via Guided Diffusion
Authors:
Hao Zeng,
Jiaqi Wang,
Avirup Das,
Junying He,
Kunpeng Han,
Haoyuan Hu,
Mingfei Sun
Abstract:
Feasible solutions are crucial for Integer Programming (IP) since they can substantially speed up the solving process. In many applications, similar IP instances often exhibit similar structures and shared solution distributions, which can be potentially modeled by deep learning methods. Unfortunately, existing deep-learning-based algorithms, such as Neural Diving and Predict-and-search framework,…
▽ More
Feasible solutions are crucial for Integer Programming (IP) since they can substantially speed up the solving process. In many applications, similar IP instances often exhibit similar structures and shared solution distributions, which can be potentially modeled by deep learning methods. Unfortunately, existing deep-learning-based algorithms, such as Neural Diving and Predict-and-search framework, are limited to generating only partial feasible solutions, and they must rely on solvers like SCIP and Gurobi to complete the solutions for a given IP problem. In this paper, we propose a novel framework that generates complete feasible solutions end-to-end. Our framework leverages contrastive learning to characterize the relationship between IP instances and solutions, and learns latent embeddings for both IP instances and their solutions. Further, the framework employs diffusion models to learn the distribution of solution embeddings conditioned on IP representations, with a dedicated guided sampling strategy that accounts for both constraints and objectives. We empirically evaluate our framework on four typical datasets of IP problems, and show that it effectively generates complete feasible solutions with a high probability (> 89.7 \%) without the reliance of Solvers and the quality of solutions is comparable to the best heuristic solutions from Gurobi. Furthermore, by integrating our method's sampled partial solutions with the CompleteSol heuristic from SCIP, the resulting feasible solutions outperform those from state-of-the-art methods across all datasets, exhibiting a 3.7 to 33.7\% improvement in the gap to optimal values, and maintaining a feasible ratio of over 99.7\% for all datasets.
△ Less
Submitted 18 June, 2024;
originally announced June 2024.
-
Grokking Modular Polynomials
Authors:
Darshil Doshi,
Tianyu He,
Aritra Das,
Andrey Gromov
Abstract:
Neural networks readily learn a subset of the modular arithmetic tasks, while failing to generalize on the rest. This limitation remains unmoved by the choice of architecture and training strategies. On the other hand, an analytical solution for the weights of Multi-layer Perceptron (MLP) networks that generalize on the modular addition task is known in the literature. In this work, we (i) extend…
▽ More
Neural networks readily learn a subset of the modular arithmetic tasks, while failing to generalize on the rest. This limitation remains unmoved by the choice of architecture and training strategies. On the other hand, an analytical solution for the weights of Multi-layer Perceptron (MLP) networks that generalize on the modular addition task is known in the literature. In this work, we (i) extend the class of analytical solutions to include modular multiplication as well as modular addition with many terms. Additionally, we show that real networks trained on these datasets learn similar solutions upon generalization (grokking). (ii) We combine these "expert" solutions to construct networks that generalize on arbitrary modular polynomials. (iii) We hypothesize a classification of modular polynomials into learnable and non-learnable via neural networks training; and provide experimental evidence supporting our claims.
△ Less
Submitted 5 June, 2024;
originally announced June 2024.
-
Bipartite powers of some classes of bipartite graphs
Authors:
Indrajit Paul,
Ashok Kumar Das
Abstract:
Graph powers are a well-studied concept in graph theory. Analogous to graph powers, Chandran et al.[3] introduced the concept of bipartite powers for bipartite graphs. In this paper, we will demonstrate that some well-known classes of bipartite graphs, namely the interval bigraphs, proper interval bigraphs, and bigraphs of Ferrers dimension 2, are closed under the operation of taking bipartite pow…
▽ More
Graph powers are a well-studied concept in graph theory. Analogous to graph powers, Chandran et al.[3] introduced the concept of bipartite powers for bipartite graphs. In this paper, we will demonstrate that some well-known classes of bipartite graphs, namely the interval bigraphs, proper interval bigraphs, and bigraphs of Ferrers dimension 2, are closed under the operation of taking bipartite powers. Finally, we define strongly closed property for bipartite graphs under powers and have shown that the class of chordal bipartite graphs is strongly closed under powers.
△ Less
Submitted 26 April, 2024;
originally announced April 2024.
-
A proof theory of (omega-)context-free languages, via non-wellfounded proofs
Authors:
Anupam Das,
Abhishek De
Abstract:
We investigate the proof theory of regular expressions with fixed points, construed as a notation for (omega-)context-free grammars. Starting with a hypersequential system for regular expressions due to Das and Pous, we define its extension by least fixed points and prove soundness and completeness of its non-wellfounded proofs for the standard language model. From here we apply proof-theoretic te…
▽ More
We investigate the proof theory of regular expressions with fixed points, construed as a notation for (omega-)context-free grammars. Starting with a hypersequential system for regular expressions due to Das and Pous, we define its extension by least fixed points and prove soundness and completeness of its non-wellfounded proofs for the standard language model. From here we apply proof-theoretic techniques to recover an infinitary axiomatisation of the resulting equational theory, complete for inclusions of context-free languages. Finally, we extend our syntax by greatest fixed points, now computing omega-context-free languages. We show the soundness and completeness of the corresponding system using a mixture of proof-theoretic and game-theoretic techniques.
△ Less
Submitted 24 April, 2024;
originally announced April 2024.
-
On tensor products of representations of Lie superalgebras
Authors:
Abhishek Das,
Santosha Pattanayak
Abstract:
We consider typical finite dimensional complex irreducible representations of a basic classical simple Lie superalgebra, and give a sufficient condition on when unique factorization of finite tensor products of such representations hold. We also prove unique factorization of tensor products of singly atypical finite dimensional irreducible modules for $\mathfrak{sl}(m+1,n+1)$,…
▽ More
We consider typical finite dimensional complex irreducible representations of a basic classical simple Lie superalgebra, and give a sufficient condition on when unique factorization of finite tensor products of such representations hold. We also prove unique factorization of tensor products of singly atypical finite dimensional irreducible modules for $\mathfrak{sl}(m+1,n+1)$, $\mathfrak{osp}(2,2n)$, $G(3)$ and $F(4)$ under an additional assumption. This result is a Lie superalgebra analogue of Rajan's fundamental result \cite{MR2123935} on unique factorization of tensor products for finite dimensional complex simple Lie algebras.
△ Less
Submitted 30 March, 2024;
originally announced April 2024.
-
Nijenhuis deformations of Poisson algebras and $F$-manifold algebras
Authors:
Anusuiya Baishya,
Apurba Das
Abstract:
The notion of pre-Poisson algebras was introduced by Aguiar in his study of zinbiel algebras and pre-Lie algebras. In this paper, we first introduce NS-Poisson algebras as a generalization of both Poisson algebras and pre-Poisson algebras. An NS-Poisson algebra has an associated sub-adjacent Poisson algebra. We show that a Nijenhuis operator on a Poisson algebra deforms the structure into an NS-Po…
▽ More
The notion of pre-Poisson algebras was introduced by Aguiar in his study of zinbiel algebras and pre-Lie algebras. In this paper, we first introduce NS-Poisson algebras as a generalization of both Poisson algebras and pre-Poisson algebras. An NS-Poisson algebra has an associated sub-adjacent Poisson algebra. We show that a Nijenhuis operator on a Poisson algebra deforms the structure into an NS-Poisson algebra. The semi-classical limit of an NS-algebra deformation and a suitable filtration of an NS-algebra produce NS-Poisson algebras. On the other hand, $F$-manifold algebras were introduced by Dotsenko as the underlying algebraic structure of $F$-manifolds. We also introduce NS-$F$-manifold algebras as a simultaneous generalization of NS-Poisson algebras, $F$-manifold algebras and pre-$F$-manifold algebras. In the end, we show that Nijenhuis deformations of $F$-manifold algebras and the semi-classical limits of NS-pre-Lie algebra deformations have NS-$F$-manifold algebra structures.
△ Less
Submitted 27 March, 2024;
originally announced March 2024.
-
A Data-driven Approach for Rapid Detection of Aeroelastic Modes from Flutter Flight Test Based on Limited Sensor Measurements
Authors:
Arpan Das,
Pier Marzocca,
Giuliano Coppotelli,
Oleg Levinski,
Paul Taylor
Abstract:
Flutter flight test involves the evaluation of the airframes aeroelastic stability by applying artificial excitation on the aircraft lifting surfaces. The subsequent responses are captured and analyzed to extract the frequencies and dam** characteristics of the system. However, noise contamination, turbulence, non-optimal excitation of modes, and sensor malfunction in one or more sensors make it…
▽ More
Flutter flight test involves the evaluation of the airframes aeroelastic stability by applying artificial excitation on the aircraft lifting surfaces. The subsequent responses are captured and analyzed to extract the frequencies and dam** characteristics of the system. However, noise contamination, turbulence, non-optimal excitation of modes, and sensor malfunction in one or more sensors make it time-consuming and corrupt the extraction process. In order to expedite the process of identifying and analyzing aeroelastic modes, this study implements a time-delay embedded Dynamic Mode Decomposition technique. This approach is complemented by Robust Principal Component Analysis methodology, and a sparsity promoting criterion which enables the automatic and optimal selection of sparse modes. The anonymized flutter flight test data, provided by the fifth author of this research paper, is utilized in this implementation. The methodology assumes no knowledge of the input excitation, only deals with the responses captured by accelerometer channels, and rapidly identifies the aeroelastic modes. By incorporating a compressed sensing algorithm, the methodology gains the ability to identify aeroelastic modes, even when the number of available sensors is limited. This augmentation greatly enhances the methodology's robustness and effectiveness, making it an excellent choice for real-time implementation during flutter test campaigns.
△ Less
Submitted 18 March, 2024;
originally announced March 2024.
-
Higher structures for Lie $H$-pseudoalgebras
Authors:
Apurba Das
Abstract:
Let $H$ be a cocommutative Hopf algebra. The notion of Lie $H$-pseudoalgebra is a multivariable generalization of Lie conformal algebras. In this paper, we study some higher structures related to Lie $H$-pseudoalgebras where we increase the flexibility of the Jacobi identity. Namely, we first introduce $L_\infty$ $H$-pseudoalgebras (also called strongly homotopy Lie $H$-pseudoalgebras) as the homo…
▽ More
Let $H$ be a cocommutative Hopf algebra. The notion of Lie $H$-pseudoalgebra is a multivariable generalization of Lie conformal algebras. In this paper, we study some higher structures related to Lie $H$-pseudoalgebras where we increase the flexibility of the Jacobi identity. Namely, we first introduce $L_\infty$ $H$-pseudoalgebras (also called strongly homotopy Lie $H$-pseudoalgebras) as the homotopy analogue of Lie $H$-pseudoalgebras. We give several equivalent descriptions of such homotopy algebras and show that some particular classes of these homotopy algebras are closely related to the cohomology of Lie $H$-pseudoalgebras and crossed modules of Lie $H$-pseudoalgebras. Next, we introduce another higher structure, called Lie-$2$ $H$-pseudoalgebras which are the categorification of Lie $H$-pseudoalgebras. Finally, we show that the category of Lie-$2$ $H$-pseudoalgebras is equivalent to the category of certain $L_\infty$ $H$-pseudoalgebras.
△ Less
Submitted 15 March, 2024;
originally announced March 2024.
-
Averaging operators on groups, racks and Leibniz algebras
Authors:
Apurba Das
Abstract:
This paper considers averaging operators on various algebraic structures and studies the induced structures. We first introduce the notion of an averaging operator on a group $G$ and show that it induces a rack structure. Moreover, the given group structure and the induced rack structure form a group-rack. We observe that any pointed group-rack can be embedded into an averaging group. We show that…
▽ More
This paper considers averaging operators on various algebraic structures and studies the induced structures. We first introduce the notion of an averaging operator on a group $G$ and show that it induces a rack structure. Moreover, the given group structure and the induced rack structure form a group-rack. We observe that any pointed group-rack can be embedded into an averaging group. We show that the differentiation of a smooth pointed averaging operator on a Lie group gives rise to an averaging operator on the corresponding Lie algebra. Next, we consider averaging operators on a rack that induces a hierarchy of new rack structures. Moreover, any two racks with increasing hierarchy levels form a rack-pairing, a structure that is related to two-sided skew braces by conjugation. We also consider averaging operators on cocommutative Hopf algebras and braided vector spaces in relations to averaging operators on groups, Lie algebras and racks. In the end, we define averaging operators on a Leibniz algebra, find the induced structure and show that the differentiation of a smooth pointed averaging operator on a pointed Lie rack yields an averaging operator on the corresponding Leibniz algebra.
△ Less
Submitted 10 March, 2024;
originally announced March 2024.
-
Reversibility in the Seifert-fibered spaces
Authors:
Anushree Das,
Debattam Das
Abstract:
An element $a$ in a group $Γ$ is called \emph{reversible} if there exists $g \in Γ$ such that $gag^{-1}=a^{-1}$. The reversible elements are also known as `real elements' or `reciprocal elements' in literature. In this paper, we classify the reversible elements in Fuchsian groups, and use this classification to find all reversible elements in a Seifert-fibered group. In the last section we apply t…
▽ More
An element $a$ in a group $Γ$ is called \emph{reversible} if there exists $g \in Γ$ such that $gag^{-1}=a^{-1}$. The reversible elements are also known as `real elements' or `reciprocal elements' in literature. In this paper, we classify the reversible elements in Fuchsian groups, and use this classification to find all reversible elements in a Seifert-fibered group. In the last section we apply this classification to the braid groups, particularly to the braid group on $3$ strands.
△ Less
Submitted 6 March, 2024; v1 submitted 3 March, 2024;
originally announced March 2024.
-
Automorphism group of a family of distance regular graphs which are not distance transitive
Authors:
Angsuman Das,
S. Morteza Mirafzal
Abstract:
Let $G_n=\mathbb{Z}_n\times \mathbb{Z}_n$ for $n\geq 4$ and $S=\{(i,0),(0,i),(i,i): 1\leq i \leq n-1\}\subset G_n$. Define $Γ(n)$ to be the Cayley graph of $G_n$ with respect to the connecting set $S$. It is known that $Γ(n)$ is a strongly regular graph with the parameters $(n^2,3n-3,n,6)$ \cite{19}. Hence $Γ(n)$ is a distance regular graph. It is known that every distance transitive graph is dist…
▽ More
Let $G_n=\mathbb{Z}_n\times \mathbb{Z}_n$ for $n\geq 4$ and $S=\{(i,0),(0,i),(i,i): 1\leq i \leq n-1\}\subset G_n$. Define $Γ(n)$ to be the Cayley graph of $G_n$ with respect to the connecting set $S$. It is known that $Γ(n)$ is a strongly regular graph with the parameters $(n^2,3n-3,n,6)$ \cite{19}. Hence $Γ(n)$ is a distance regular graph. It is known that every distance transitive graph is distance regular, but the converse is not true. In this paper, we study some algebraic properties of the graph $Γ(n)$. Then by determining the automorphism group of this family of graphs, we show that the graphs under study are not distance transitive.
△ Less
Submitted 2 March, 2024;
originally announced March 2024.
-
Solvability of a group based on its number of subgroups
Authors:
Angsuman Das,
Arnab Mandal
Abstract:
In this paper, we provide some conditions of (super)-solvability and nilpotency of a finite group $G$ based on its number of subgroups $Sub(G)$. Our results generalize the classification of finite groups with less than $20$ subgroups by Betz and Nash. We also provide an application of our results in studying comaximal subgroup graph of a group. Finally, we conclude with some open issues.
In this paper, we provide some conditions of (super)-solvability and nilpotency of a finite group $G$ based on its number of subgroups $Sub(G)$. Our results generalize the classification of finite groups with less than $20$ subgroups by Betz and Nash. We also provide an application of our results in studying comaximal subgroup graph of a group. Finally, we conclude with some open issues.
△ Less
Submitted 2 March, 2024;
originally announced March 2024.
-
Graph Burning: Bounds and Hardness
Authors:
Dhanyamol Antony,
Anita Das,
Shirish Gosavi,
Dalu Jacob,
Shashanka Kulamarva
Abstract:
Graph burning models the propagation of information within a network as a stepwise process where at each step, one node becomes informed, and this information also spreads to all neighbors of previously informed nodes. Formally, graph burning is defined as follows: For an undirected graph $G$, at step $t=0$ all vertices in $G$ are unburned. At each step $t\ge 1$, one new unburned vertex is selecte…
▽ More
Graph burning models the propagation of information within a network as a stepwise process where at each step, one node becomes informed, and this information also spreads to all neighbors of previously informed nodes. Formally, graph burning is defined as follows: For an undirected graph $G$, at step $t=0$ all vertices in $G$ are unburned. At each step $t\ge 1$, one new unburned vertex is selected to burn if such a vertex exists. If a vertex is burned at step $t$, then all its unburned neighbors are burned in step $t+1$, and the process continues until there are no unburned vertices in $G$. The burning number of a graph $G$, denoted by $b(G)$, is the minimum number of steps required to burn all the vertices of $G$. The burning number problem asks whether the burning number of an input graph $G$ is at most $k$ or not. In this paper, we study the burning number problem both from an algorithmic and a structural point of view. The burning number problem is known to be NP-complete for trees with maximum degree at most three and interval graphs. Here, we prove that this problem is NP-complete even when restricted to connected cubic graphs and connected proper interval graphs. The well-known burning number conjecture asserts that all the vertices of a graph of order $n$ can be burned in $\lceil\sqrt{n}~\rceil$ steps. In line with this conjecture, upper and lower bounds of $b(G)$ are well-studied for various graph classes. Here, we provide an improved upper bound for the burning number of connected $P_k$-free graphs and show that the bound is tight up to an additive constant $1$. Finally, we study two variants of the problem, namely edge burning (only edges are burned) and total burning (both vertices and edges are burned). In particular, we establish their relationship with the burning number problem and evaluate the algorithmic complexity of these variants.
△ Less
Submitted 12 June, 2024; v1 submitted 29 February, 2024;
originally announced February 2024.
-
Representations and cohomology of a matched pair of Lie algebras, and $L_\infty$-algebras
Authors:
Anusuiya Baishya,
Apurba Das
Abstract:
The notion of a matched pair of Lie algebras was introduced in the study of Lie bialgebras and Poisson-Lie groups. In this paper, we introduce representations and cohomology of a matched pair of Lie algebras. We show that there is a morphism from the cohomology of a Lie bialgebra to the cohomology of the corresponding matched pair of Lie algebras. Our cohomology is also useful to study infinitesim…
▽ More
The notion of a matched pair of Lie algebras was introduced in the study of Lie bialgebras and Poisson-Lie groups. In this paper, we introduce representations and cohomology of a matched pair of Lie algebras. We show that there is a morphism from the cohomology of a Lie bialgebra to the cohomology of the corresponding matched pair of Lie algebras. Our cohomology is also useful to study infinitesimal deformations and abelian extensions. In the last part, we define the notion of a matched pair of $L_\infty$-algebras and construct the corresponding bicrossed product. Finally, we show that a matched pair of skeletal $L_\infty$-algebras is closely related to the cohomology introduced in the paper.
△ Less
Submitted 10 March, 2024; v1 submitted 26 February, 2024;
originally announced February 2024.
-
On a family of quasi-strongly regular Cayley graphs
Authors:
Sucharita Biswas,
Angsuman Das
Abstract:
In this paper, we construct a family of quasi-strongly regular Cayley graphs $Γ_H(G)$ which is defined on a finite group $G$ with respect to a subgroup $H$ of $G$. We also compute its full automorphism group and characterize various transitivity properties of it.
In this paper, we construct a family of quasi-strongly regular Cayley graphs $Γ_H(G)$ which is defined on a finite group $G$ with respect to a subgroup $H$ of $G$. We also compute its full automorphism group and characterize various transitivity properties of it.
△ Less
Submitted 14 February, 2024;
originally announced February 2024.
-
A proof theory of right-linear (omega-)grammars via cyclic proofs
Authors:
Anupam Das,
Abhishek De
Abstract:
Right-linear (or left-linear) grammars are a well-known class of context-free grammars computing just the regular languages. They may naturally be written as expressions with (least) fixed points but with products restricted to letters as left arguments, giving an alternative to the syntax of regular expressions. In this work, we investigate the resulting logical theory of this syntax. Namely, we…
▽ More
Right-linear (or left-linear) grammars are a well-known class of context-free grammars computing just the regular languages. They may naturally be written as expressions with (least) fixed points but with products restricted to letters as left arguments, giving an alternative to the syntax of regular expressions. In this work, we investigate the resulting logical theory of this syntax. Namely, we propose a theory of right-linear algebras (RLA) over of this syntax and a cyclic proof system CRLA for reasoning about them.
We show that CRLA is sound and complete for the intended model of regular languages. From here we recover the same completeness result for RLA by extracting inductive invariants from cyclic proofs, rendering the model of regular languages the free right-linear algebra.
Finally, we extend system CRLA by greatest fixed points, nuCRLA, naturally modelled by languages of omega-words thanks to right-linearity. We show a similar soundness and completeness result of (the guarded fragment of) nuCRLA for the model of omega-regular languages, employing game theoretic techniques.
△ Less
Submitted 24 January, 2024;
originally announced January 2024.
-
A Robust Two-Level Schwarz Preconditioner For Sparse Matrices
Authors:
Hussam Al Daas,
Pierre Jolivet,
Frédéric Nataf,
Pierre-Henri Tournier
Abstract:
This paper introduces a fully algebraic two-level additive Schwarz preconditioner for general sparse large-scale matrices. The preconditioner is analyzed for symmetric positive definite (SPD) matrices. For those matrices, the coarse space is constructed based on approximating two local subspaces in each subdomain. These subspaces are obtained by approximating a number of eigenvectors corresponding…
▽ More
This paper introduces a fully algebraic two-level additive Schwarz preconditioner for general sparse large-scale matrices. The preconditioner is analyzed for symmetric positive definite (SPD) matrices. For those matrices, the coarse space is constructed based on approximating two local subspaces in each subdomain. These subspaces are obtained by approximating a number of eigenvectors corresponding to dominant eigenvalues of two judiciously posed generalized eigenvalue problems. The number of eigenvectors can be chosen to control the condition number. For general sparse matrices, the coarse space is constructed by approximating the image of a local operator that can be defined from information in the coefficient matrix. The connection between the coarse spaces for SPD and general matrices is also discussed. Numerical experiments show the great effectiveness of the proposed preconditioners on matrices arising from a wide range of applications. The set of matrices includes SPD, symmetric indefinite, nonsymmetric, and saddle-point matrices. In addition, we compare the proposed preconditioners to the state-of-the-art domain decomposition preconditioners.
△ Less
Submitted 8 January, 2024;
originally announced January 2024.
-
On some properties of set-valued tensor complementarity problem
Authors:
R. Deb,
A. K. Das
Abstract:
In this paper, we introduce set-valued tensor complementarity problem where the elements of the involved tensors are defined based on a set-valued map**. We study several properties of the solution set under the framework of set-valued map**. We provide the necessary and sufficient conditions for the zero solution of a set-valued tensor complementarity problem. We introduce limit $R_0$-propert…
▽ More
In this paper, we introduce set-valued tensor complementarity problem where the elements of the involved tensors are defined based on a set-valued map**. We study several properties of the solution set under the framework of set-valued map**. We provide the necessary and sufficient conditions for the zero solution of a set-valued tensor complementarity problem. We introduce limit $R_0$-property for the set of tensors and establish a connection between limit $R_0$-property and the level boundedness of the merit function of the corresponding set-valued tensor complementarity problem.
△ Less
Submitted 30 December, 2023;
originally announced January 2024.
-
On the solution set of semi-infinite tensor complementarity problem
Authors:
R. Deb,
A. K. Das
Abstract:
In this paper, we introduce semi-infinite tensor complementarity problem to provide an approach for considering a more realistic situation of the problem. We prove the necessary and sufficient conditions for the existence of the solution set. In this context, we study the error bounds of the solution set in terms of residual function.
In this paper, we introduce semi-infinite tensor complementarity problem to provide an approach for considering a more realistic situation of the problem. We prove the necessary and sufficient conditions for the existence of the solution set. In this context, we study the error bounds of the solution set in terms of residual function.
△ Less
Submitted 30 December, 2023;
originally announced January 2024.
-
Spanning caterpillar in biconvex bipartite graphs
Authors:
Dhanyamol Antony,
Anita Das,
Shirish Gosavi,
Dalu Jacob,
Shashanka Kulamarva
Abstract:
A bipartite graph $G=(A, B, E)$ is said to be a biconvex bipartite graph if there exist orderings $<_A$ in $A$ and $<_B$ in $B$ such that the neighbors of every vertex in $A$ are consecutive with respect to $<_B$ and the neighbors of every vertex in $B$ are consecutive with respect to $<_A$. A caterpillar is a tree that will result in a path upon deletion of all the leaves. In this note, we prove…
▽ More
A bipartite graph $G=(A, B, E)$ is said to be a biconvex bipartite graph if there exist orderings $<_A$ in $A$ and $<_B$ in $B$ such that the neighbors of every vertex in $A$ are consecutive with respect to $<_B$ and the neighbors of every vertex in $B$ are consecutive with respect to $<_A$. A caterpillar is a tree that will result in a path upon deletion of all the leaves. In this note, we prove that there exists a spanning caterpillar in any connected biconvex bipartite graph. Besides being interesting on its own, this structural result has other consequences. For instance, this directly resolves the burning number conjecture for biconvex bipartite graphs.
△ Less
Submitted 18 December, 2023;
originally announced December 2023.
-
Non-abelian cohomology of Lie $H$-pseudoalgebras and inducibility of automorphisms
Authors:
Apurba Das
Abstract:
The notion of Lie $H$-pseudoalgebra is a higher-dimensional analogue of Lie conformal algebras. In this paper, we classify the equivalence classes of non-abelian extensions of a Lie $H$-pseudoalgebra $L$ by another Lie $H$-pseudoalgebra $M$ in terms of the non-abelian cohomology group $H^2_{nab} (L, M)$. We also show that the group $H^2_{nab} (L, M)$ can be realized as the Deligne groupoid of a su…
▽ More
The notion of Lie $H$-pseudoalgebra is a higher-dimensional analogue of Lie conformal algebras. In this paper, we classify the equivalence classes of non-abelian extensions of a Lie $H$-pseudoalgebra $L$ by another Lie $H$-pseudoalgebra $M$ in terms of the non-abelian cohomology group $H^2_{nab} (L, M)$. We also show that the group $H^2_{nab} (L, M)$ can be realized as the Deligne groupoid of a suitable differential graded Lie algebra. Finally, we consider the inducibility of a pair of Lie $H$-pseudoalgebra automorphisms in a given non-abelian extension. We show that the corresponding obstruction can be realized as the image of a suitable Wells map in the context.
△ Less
Submitted 16 December, 2023;
originally announced December 2023.
-
A Family of Iterated Maps on Natural Numbers
Authors:
Angsuman Das
Abstract:
In this paper, we introduce and study the iterates of the following family of functions $\varphi_k$ defined on natural numbers which exhibits nice properties. $$\varphi_k(x)=\left\lbrace \begin{array}{ll} x+k, & \mbox{ if $x$ is prime;}\\ \mbox{largest prime divisor of $x$,} & \mbox{ if $x$ is composite;} \end{array} \right.$$ In particular, we study the periodic behaviour of the trajectories of t…
▽ More
In this paper, we introduce and study the iterates of the following family of functions $\varphi_k$ defined on natural numbers which exhibits nice properties. $$\varphi_k(x)=\left\lbrace \begin{array}{ll} x+k, & \mbox{ if $x$ is prime;}\\ \mbox{largest prime divisor of $x$,} & \mbox{ if $x$ is composite;} \end{array} \right.$$ In particular, we study the periodic behaviour of the trajectories of these iterated functions. In some cases, we provide proofs of these properties and in some other cases we pose some open problems based on numerical evidences supported by heuristic arguments.
△ Less
Submitted 11 December, 2023;
originally announced December 2023.
-
More on Equivalent Formulation of Implicit Complementarity Problem
Authors:
Bharat Kumar,
Deepmala,
A. K. Das
Abstract:
This article presents an equivalent formulation of the implicit complementarity problem. We demonstrate that solution of the equivalent formulation is equivalent to the solution of the implicit complementarity problem. Moreover, we provide another equivalent formulation of the implicit complementarity problem using a strictly increasing function.
This article presents an equivalent formulation of the implicit complementarity problem. We demonstrate that solution of the equivalent formulation is equivalent to the solution of the implicit complementarity problem. Moreover, we provide another equivalent formulation of the implicit complementarity problem using a strictly increasing function.
△ Less
Submitted 7 December, 2023;
originally announced December 2023.
-
Meromorphic CFTs have central charges c = 8$\mathbb{N}$: a proof based on the MLDE approach and Rademacher series
Authors:
Arpit Das
Abstract:
In this short note, we present a simple and elementary proof that meromorphic conformal field theories (CFTs) have central charges of the form: $c=8N$ with $N\in\mathbb{N}$ (the set of natural numbers) using the modular linear differential equations (MLDEs) approach. We first set up the 1-character MLDE for arbitrary value of the Wronskian index: $\ell$. From this we get the general form of the me…
▽ More
In this short note, we present a simple and elementary proof that meromorphic conformal field theories (CFTs) have central charges of the form: $c=8N$ with $N\in\mathbb{N}$ (the set of natural numbers) using the modular linear differential equations (MLDEs) approach. We first set up the 1-character MLDE for arbitrary value of the Wronskian index: $\ell$. From this we get the general form of the meromorphic CFT's character. We then study its modular transformations and the asymptotic value of it's Fourier coefficients -- using Rademacher series -- to conclude that odd values of $\ell$ make the character in-admissible implying that the central charge for admissible character has to be a multiple of 8.
△ Less
Submitted 30 May, 2024; v1 submitted 4 December, 2023;
originally announced December 2023.
-
Poisson Dialgebras
Authors:
Apurba Das,
Satyendra Kumar Mishra,
Goutam Mukherjee
Abstract:
The notion of Poisson dialgebras was introduced by Loday. In this article, we propose a new definition with some modifications that is supported by several canonical examples coming from Poisson algebra modules, averaging operators on Poisson algebras, and differential Poisson algebras. We show that a Poisson object in the category of linear maps has an associated Poisson dialgebra structure. Conv…
▽ More
The notion of Poisson dialgebras was introduced by Loday. In this article, we propose a new definition with some modifications that is supported by several canonical examples coming from Poisson algebra modules, averaging operators on Poisson algebras, and differential Poisson algebras. We show that a Poisson object in the category of linear maps has an associated Poisson dialgebra structure. Conversely, starting from a Poisson dialgebra we describe a Poisson object in the category of linear maps. These constructions yield a pair of adjoint functors between the category of Poisson objects in the category of linear maps and the category of Poisson dialgebras. There is a Lie $2$-algebra associated with any Leibniz algebra. Here, we first obtain an associative $2$-algebra starting from a dialgebra. Then, for a Poisson dialgebra, we construct a graded space that inherits both a Lie $2$-algebra and an associative $2$-algebra structure. In a particular case of Poisson dialgebras, which we call `reduced Poisson dialgebra', we obtain an associated $2$-term homotopy Poisson algebra (of degree $0$).
△ Less
Submitted 23 November, 2023;
originally announced November 2023.
-
Low-order Linear Parameter Varying Approximations for Nonlinear Controller Design for Flows
Authors:
Amritam Das,
Jan Heiland
Abstract:
The control of nonlinear large-scale dynamical models such as the incompressible Navier-Stokes equations is a challenging task. The computational challenges in the controller design come from both the possibly large state space and the nonlinear dynamics. A general purpose approach certainly will resort to numerical linear algebra techniques which can handle large system sizes or to model order re…
▽ More
The control of nonlinear large-scale dynamical models such as the incompressible Navier-Stokes equations is a challenging task. The computational challenges in the controller design come from both the possibly large state space and the nonlinear dynamics. A general purpose approach certainly will resort to numerical linear algebra techniques which can handle large system sizes or to model order reduction. In this work we propose a two-folded model reduction approach tailored to nonlinear controller design for incompressible Navier-Stokes equations and similar PDE models that come with quadratic nonlinearities. Firstly, we approximate the nonlinear model within in the class of LPV systems with a very low dimension in the parametrization. Secondly, we reduce the system size to a moderate number of states. This way, standard robust LPV theory for nonlinear controller design becomes feasible. We illustrate the procedure and its potentials by numerical simulations.
△ Less
Submitted 9 November, 2023;
originally announced November 2023.
-
On Some Intersection Properties of Finite Groups
Authors:
Angsuman Das,
Arnab Mandal
Abstract:
In this article, we introduce the study of a class of finite groups $G$ which admits a subgroup which intersects all non-trivial subgroups of $G$. We also explore a subclass of it consisting of all groups $G$ in which the prime order elements commute. In particular, we discuss the relationship between these class of groups with other known classes of finite groups, like simple groups, perfect grou…
▽ More
In this article, we introduce the study of a class of finite groups $G$ which admits a subgroup which intersects all non-trivial subgroups of $G$. We also explore a subclass of it consisting of all groups $G$ in which the prime order elements commute. In particular, we discuss the relationship between these class of groups with other known classes of finite groups, like simple groups, perfect groups etc. Moreover, we also prove some results on the possible orders of such groups. Finally, we conclude with some open issues.
△ Less
Submitted 19 October, 2023;
originally announced October 2023.
-
CM-values of $p$-adic $Θ$-functions
Authors:
Michael A. Daas
Abstract:
We prove a $p$-adic version of the work by Gross and Zagier on the differences between singular moduli by proving a set of conjectures by Giampietro and Darmon, who investigated the factorisation of a rational invariant associated to a pair of CM-points on a genus zero Shimura curve, obtained as the ratio of the CM-values of $p$-adic $Θ$-functions. As did Gross and Zagier, we give two proofs; an a…
▽ More
We prove a $p$-adic version of the work by Gross and Zagier on the differences between singular moduli by proving a set of conjectures by Giampietro and Darmon, who investigated the factorisation of a rational invariant associated to a pair of CM-points on a genus zero Shimura curve, obtained as the ratio of the CM-values of $p$-adic $Θ$-functions. As did Gross and Zagier, we give two proofs; an algebraic proof using CM-theory, and more interestingly, also an analytic proof using $p$-adic infinitesimal deformations of Hilbert Eisenstein series. Since there are no explicit formulae for its cuspidal $p$-adic deformations, we instead compute the Frobenius traces of the appropriate Galois deformation, and show their modularity via an $R = T$ theorem. This approach aims to bridge the gap between classical CM-theory and the more recent $p$-adic advances in the theory of real multiplication.
△ Less
Submitted 29 September, 2023;
originally announced September 2023.
-
Volume growth on manifolds with more than one end
Authors:
Anushree Das,
Soma Maity
Abstract:
For an open manifold $M$ and a function $v$ with bounded growth of derivative, there exists a Riemannian metric of bounded geometry on $M$ such that the volume growth function lies in the same growth class as $v$. This was proved by R. Grimaldi and P. Pansu with the proof focusing on the case of manifolds with a single end. We prove this in the case of manifolds with multiple ends and call the con…
▽ More
For an open manifold $M$ and a function $v$ with bounded growth of derivative, there exists a Riemannian metric of bounded geometry on $M$ such that the volume growth function lies in the same growth class as $v$. This was proved by R. Grimaldi and P. Pansu with the proof focusing on the case of manifolds with a single end. We prove this in the case of manifolds with multiple ends and call the constructed metrics Grimaldi-Pansu metrics. We give uniform bounds for the volume growth function of these metrics in terms of the given bgd-function in the case of a certain class of manifolds which can be written as connected sums of a finite collection of closed and compact manifolds. We study the volume doubling condition and the Relatively Connected Annulus (R.C.A.) property of the Grimaldi-Pansu metrics, which play an important role in studying geometric analysis on manifolds with finitely many ends.
△ Less
Submitted 25 April, 2024; v1 submitted 13 September, 2023;
originally announced September 2023.
-
Homotopification and categorification of Leibniz conformal algebras
Authors:
Apurba Das,
Anupam Sahoo
Abstract:
Bakalov, Kac and Voronov introduced Leibniz conformal algebras (and their cohomology) as a non-commutative analogue of Lie conformal algebras. Leibniz conformal algebras are closely related to field algebras which are non-skew-symmetric generalizations of vertex algebras. In this paper, we first introduce $Leib_\infty$-conformal algebras (also called strongly homotopy Leibniz conformal algebras) w…
▽ More
Bakalov, Kac and Voronov introduced Leibniz conformal algebras (and their cohomology) as a non-commutative analogue of Lie conformal algebras. Leibniz conformal algebras are closely related to field algebras which are non-skew-symmetric generalizations of vertex algebras. In this paper, we first introduce $Leib_\infty$-conformal algebras (also called strongly homotopy Leibniz conformal algebras) where the Leibniz conformal identity holds up to homotopy. We give some equivalent descriptions of $Leib_\infty$-conformal algebras and characterize some particular classes of $Leib_\infty$-conformal algebras in terms of the cohomology of Leibniz conformal algebras and crossed modules of Leibniz conformal algebras. On the other hand, we also introduce Leibniz conformal $2$-algebras that can be realized as the categorification of Leibniz conformal algebras. Finally, we observe that the category of Leibniz conformal $2$-algebras is equivalent to the category of $2$-term $Leib_\infty$-conformal algebras.
△ Less
Submitted 5 September, 2023;
originally announced September 2023.
-
Intuitionistic Gödel-Löb logic, à la Simpson: labelled systems and birelational semantics
Authors:
Anupam Das,
Iris van der Giessen,
Sonia Marin
Abstract:
We derive an intuitionistic version of Gödel-Löb modal logic ($\sf{GL}$) in the style of Simpson, via proof theoretic techniques. We recover a labelled system, $\sf{\ell IGL}$, by restricting a non-wellfounded labelled system for $\sf{GL}$ to have only one formula on the right. The latter is obtained using techniques from cyclic proof theory, sidestep** the barrier that $\sf{GL}$'s usual frame c…
▽ More
We derive an intuitionistic version of Gödel-Löb modal logic ($\sf{GL}$) in the style of Simpson, via proof theoretic techniques. We recover a labelled system, $\sf{\ell IGL}$, by restricting a non-wellfounded labelled system for $\sf{GL}$ to have only one formula on the right. The latter is obtained using techniques from cyclic proof theory, sidestep** the barrier that $\sf{GL}$'s usual frame condition (converse well-foundedness) is not first-order definable. While existing intuitionistic versions of $\sf{GL}$ are typically defined over only the box (and not the diamond), our presentation includes both modalities.
Our main result is that $\sf{\ell IGL}$ coincides with a corresponding semantic condition in birelational semantics: the composition of the modal relation and the intuitionistic relation is conversely well-founded. We call the resulting logic $\sf{IGL}$. While the soundness direction is proved using standard ideas, the completeness direction is more complex and necessitates a detour through several intermediate characterisations of $\sf{IGL}$.
△ Less
Submitted 1 September, 2023;
originally announced September 2023.
-
$2$-term averaging $L_\infty$-algebras and non-abelian extensions of averaging Lie algebras
Authors:
Apurba Das,
Sourav Sen
Abstract:
In recent years, averaging operators on Lie algebras (also called embedding tensors in the physics literature) and associated tensor hierarchies form an efficient tool for constructing supergravity and higher gauge theories. A Lie algebra with an averaging operator is called an averaging Lie algebra. In the present paper, we introduce $2$-term averaging $L_\infty$-algebras and give characterizatio…
▽ More
In recent years, averaging operators on Lie algebras (also called embedding tensors in the physics literature) and associated tensor hierarchies form an efficient tool for constructing supergravity and higher gauge theories. A Lie algebra with an averaging operator is called an averaging Lie algebra. In the present paper, we introduce $2$-term averaging $L_\infty$-algebras and give characterizations of some particular classes of such homotopy algebras. Next, we study non-abelian extensions of an averaging Lie algebra by another averaging Lie algebra. We define the second non-abelian cohomology group to classify the equivalence classes of such non-abelian extensions. Next, given a non-abelian extension of averaging Lie algebras, we show that the obstruction for a pair of averaging Lie algebra automorphisms to be inducible can be seen as the image of a suitable Wells map. Finally, we discuss the Wells short exact sequence in the above context.
△ Less
Submitted 31 August, 2023;
originally announced August 2023.
-
Obstruction characterization of co-TT graphs
Authors:
Ashok Kumar Das,
Indrajit Paul
Abstract:
Threshold tolerance graphs and their complement graphs ( known as co-TT graphs) were introduced by Monma, Reed and Trotter[24]. Introducing the concept of negative interval Hell et al.[19] defined signed-interval bigraphs/digraphs and have shown that they are equivalent to several seemingly different classes of bigraphs/digraphs. They have also shown that co-TT graphs are equivalent to symmetric s…
▽ More
Threshold tolerance graphs and their complement graphs ( known as co-TT graphs) were introduced by Monma, Reed and Trotter[24]. Introducing the concept of negative interval Hell et al.[19] defined signed-interval bigraphs/digraphs and have shown that they are equivalent to several seemingly different classes of bigraphs/digraphs. They have also shown that co-TT graphs are equivalent to symmetric signed-interval digraphs. In this paper we characterize signed-interval bigraphs and signed-interval graphs respectively in terms of their biadjacency matrices and adjacency matrices. Finally, based on the geometric representation of signed-interval graphs we have setteled the open problem of forbidden induced subgraph characterization of co-TT graphs posed by Monma, Reed and Trotter in the same paper.
△ Less
Submitted 24 August, 2023;
originally announced August 2023.
-
Homotopy conformal algebras
Authors:
Anupam Sahoo,
Apurba Das
Abstract:
The notion of conformal algebras was introduced by Victor G. Kac using the axiomatic description of the operator product expansion of chiral fields in conformal field theory. The structure theory, representations and cohomology of Lie and associative conformal algebras are extensively studied in the literature. In this paper, we first introduce $A_\infty$-conformal algebras as the homotopy analogu…
▽ More
The notion of conformal algebras was introduced by Victor G. Kac using the axiomatic description of the operator product expansion of chiral fields in conformal field theory. The structure theory, representations and cohomology of Lie and associative conformal algebras are extensively studied in the literature. In this paper, we first introduce $A_\infty$-conformal algebras as the homotopy analogue of associative conformal algebras, provide some equivalent descriptions and prove the homotopy transfer theorem. We characterize some $A_\infty$-conformal algebras in terms of Hochschild cohomology classes of associative conformal algebras. Next, we introduce associative conformal $2$-algebras as the categorification of associative conformal algebras. We show that the category of associative conformal $2$-algebras and the category of $2$-term $A_\infty$-conformal algebras are equivalent. Finally, we consider $L_\infty$-conformal algebras and find their relations with $A_\infty$-conformal algebras.
△ Less
Submitted 29 September, 2023; v1 submitted 11 August, 2023;
originally announced August 2023.
-
Modular Differential Equations with Movable Poles and Admissible RCFT Characters
Authors:
Arpit Das,
Chethan N. Gowdigere,
Sunil Mukhi,
Jagannath Santara
Abstract:
Studies of modular linear differential equations (MLDE) for the classification of rational CFT characters have been limited to the case where the coefficient functions (in monic form) have no poles, or poles at special points of moduli space. Here we initiate an exploration of the vast territory of MLDEs with two characters and any number of poles at arbitrary points of moduli space. We show how t…
▽ More
Studies of modular linear differential equations (MLDE) for the classification of rational CFT characters have been limited to the case where the coefficient functions (in monic form) have no poles, or poles at special points of moduli space. Here we initiate an exploration of the vast territory of MLDEs with two characters and any number of poles at arbitrary points of moduli space. We show how to parametrise the most general equation precisely and count its parameters. Eliminating logarithmic singularities at all the poles provides constraint equations for the accessory parameters. By taking suitable limits, we find recursion relations between solutions for different numbers of poles. The cases of one and two movable poles are examined in detail and compared with predictions based on quasi-characters to find complete agreement. We also comment on the limit of coincident poles. Finally we show that there exist genuine CFT corresponding to many of the newly-studied cases. We emphasise that the modular data is an output, rather than an input, of our approach.
△ Less
Submitted 17 December, 2023; v1 submitted 31 July, 2023;
originally announced August 2023.
-
An Exact Algorithm for Optimization Problems with Inverse S-shaped Function
Authors:
Arka Das,
Ankur Sinha,
Sachin Jayaswal
Abstract:
In this paper, we propose an exact general algorithm for solving non-convex optimization problems, where the non-convexity arises due to the presence of an inverse S-shaped function. The proposed method involves iteratively approximating the inverse S-shaped function through piece-wise linear inner and outer approximations. In particular, the concave part of the inverse S-shaped function is inner-…
▽ More
In this paper, we propose an exact general algorithm for solving non-convex optimization problems, where the non-convexity arises due to the presence of an inverse S-shaped function. The proposed method involves iteratively approximating the inverse S-shaped function through piece-wise linear inner and outer approximations. In particular, the concave part of the inverse S-shaped function is inner-approximated through an auxiliary linear program, resulting in a bilevel program, which is reduced to a single level using KKT conditions before solving it using the cutting plane technique. To test the computational efficiency of the algorithm, we solve a facility location problem involving economies and dis-economies of scale for each of the facilities. The computational experiments indicate that our proposed algorithm significantly outperforms the previously reported methods. We solve non-convex facility location problems with sizes up to 30 potential facilities and 150 customers. Our proposed algorithm converges to the global optimum within a maximum computational time of 3 hours for 95 percent of the datasets. For almost 60 percent of the test cases, the proposed algorithm outperforms the benchmark methods by an order of magnitude. The paper ends with managerial insights on facility network design involving economies and dis-economies of scale. One of the important insights points out that it may be optimal to increase the number of production facilities operating under dis-economies of scale with an overall decrease in transportation costs.
△ Less
Submitted 25 July, 2023;
originally announced July 2023.
-
Adjacency spectra of some subdivision hypergraphs
Authors:
Anirban Banerjee,
Arpita Das
Abstract:
Here, we define a subdivision operation for a hypergraph and compute all the eigenvalues of the subdivision of regular and certain non-regular hypergraphs. In non-regular hypergraphs, we investigate the power of regular graphs, various types of hyperflowers, and the squid-like hypergraph. Using our subdivision operation, we also show how to construct non-regular non-isomorphic cospectral hypergrap…
▽ More
Here, we define a subdivision operation for a hypergraph and compute all the eigenvalues of the subdivision of regular and certain non-regular hypergraphs. In non-regular hypergraphs, we investigate the power of regular graphs, various types of hyperflowers, and the squid-like hypergraph. Using our subdivision operation, we also show how to construct non-regular non-isomorphic cospectral hypergraphs.
△ Less
Submitted 25 July, 2023;
originally announced July 2023.
-
Near Optimal Heteroscedastic Regression with Symbiotic Learning
Authors:
Dheeraj Baby,
Aniket Das,
Dheeraj Nagaraj,
Praneeth Netrapalli
Abstract:
We consider the problem of heteroscedastic linear regression, where, given $n$ samples $(\mathbf{x}_i, y_i)$ from $y_i = \langle \mathbf{w}^{*}, \mathbf{x}_i \rangle + ε_i \cdot \langle \mathbf{f}^{*}, \mathbf{x}_i \rangle$ with $\mathbf{x}_i \sim N(0,\mathbf{I})$, $ε_i \sim N(0,1)$, we aim to estimate $\mathbf{w}^{*}$. Beyond classical applications of such models in statistics, econometrics, time…
▽ More
We consider the problem of heteroscedastic linear regression, where, given $n$ samples $(\mathbf{x}_i, y_i)$ from $y_i = \langle \mathbf{w}^{*}, \mathbf{x}_i \rangle + ε_i \cdot \langle \mathbf{f}^{*}, \mathbf{x}_i \rangle$ with $\mathbf{x}_i \sim N(0,\mathbf{I})$, $ε_i \sim N(0,1)$, we aim to estimate $\mathbf{w}^{*}$. Beyond classical applications of such models in statistics, econometrics, time series analysis etc., it is also particularly relevant in machine learning when data is collected from multiple sources of varying but apriori unknown quality. Our work shows that we can estimate $\mathbf{w}^{*}$ in squared norm up to an error of $\tilde{O}\left(\|\mathbf{f}^{*}\|^2 \cdot \left(\frac{1}{n} + \left(\frac{d}{n}\right)^2\right)\right)$ and prove a matching lower bound (upto log factors). This represents a substantial improvement upon the previous best known upper bound of $\tilde{O}\left(\|\mathbf{f}^{*}\|^2\cdot \frac{d}{n}\right)$. Our algorithm is an alternating minimization procedure with two key subroutines 1. An adaptation of the classical weighted least squares heuristic to estimate $\mathbf{w}^{*}$, for which we provide the first non-asymptotic guarantee. 2. A nonconvex pseudogradient descent procedure for estimating $\mathbf{f}^{*}$ inspired by phase retrieval. As corollaries, we obtain fast non-asymptotic rates for two important problems, linear regression with multiplicative noise and phase retrieval with multiplicative noise, both of which are of independent interest. Beyond this, the proof of our lower bound, which involves a novel adaptation of LeCam's method for handling infinite mutual information quantities (thereby preventing a direct application of standard techniques like Fano's method), could also be of broader interest for establishing lower bounds for other heteroscedastic or heavy-tailed statistical problems.
△ Less
Submitted 1 July, 2023; v1 submitted 25 June, 2023;
originally announced June 2023.
-
Application of a generalization of Darbos fixed point theorem on an integral equation involving the weighted fractional integral with respect to another function
Authors:
Sudip Deb,
Anupam Das
Abstract:
In this study , we display a generalization of Darbos fixed point theorem , by using the use of a freshly made contraction operator and that we use to study the solvability of an integral equation involving the weighted fractional integral with respect to another function in Banach space. Also, we consider some appropriate example for verifying our results.
In this study , we display a generalization of Darbos fixed point theorem , by using the use of a freshly made contraction operator and that we use to study the solvability of an integral equation involving the weighted fractional integral with respect to another function in Banach space. Also, we consider some appropriate example for verifying our results.
△ Less
Submitted 15 June, 2023;
originally announced June 2023.
-
Cyclic proofs for arithmetical inductive definitions
Authors:
Anupam Das,
Lukas Melgaard
Abstract:
We investigate the cyclic proof theory of extensions of Peano Arithmetic by (finitely iterated) inductive definitions. Such theories are essential to proof theoretic analyses of certain `impredicative' theories; moreover, our cyclic systems naturally subsume Simpson's Cyclic Arithmetic.
Our main result is that cyclic and inductive systems for arithmetical inductive definitions are equally powerf…
▽ More
We investigate the cyclic proof theory of extensions of Peano Arithmetic by (finitely iterated) inductive definitions. Such theories are essential to proof theoretic analyses of certain `impredicative' theories; moreover, our cyclic systems naturally subsume Simpson's Cyclic Arithmetic.
Our main result is that cyclic and inductive systems for arithmetical inductive definitions are equally powerful. We conduct a metamathematical argument, formalising the soundness of cyclic proofs within second-order arithmetic by a form of induction on closure ordinals, thence appealing to conservativity results. This approach is inspired by those of Simpson and Das for Cyclic Arithmetic, however we must further address a difficulty: the closure ordinals of our inductive definitions (around Church-Kleene) far exceed the proof theoretic ordinal of the appropriate metatheory (around Bachmann-Howard), so explicit induction on their notations is not possible. For this reason, we rather rely on formalisation of the theory of (recursive) ordinals within second-order arithmetic.
△ Less
Submitted 14 June, 2023;
originally announced June 2023.
-
New Relaxation Modulus Based Iterative Method for Large and Sparse Implicit Complementarity Problem
Authors:
Bharat Kumar,
Deepmala,
A. K. Das
Abstract:
This article presents a class of new relaxation modulus-based iterative methods to process the large and sparse implicit complementarity problem (ICP). Using two positive diagonal matrices, we formulate a fixed-point equation and prove that it is equivalent to ICP. Also, we provide sufficient convergence conditions for the proposed methods when the system matrix is a $P$-matrix or an $H_+$-matrix.…
▽ More
This article presents a class of new relaxation modulus-based iterative methods to process the large and sparse implicit complementarity problem (ICP). Using two positive diagonal matrices, we formulate a fixed-point equation and prove that it is equivalent to ICP. Also, we provide sufficient convergence conditions for the proposed methods when the system matrix is a $P$-matrix or an $H_+$-matrix.
Keyword: Implicit complementarity problem, $H_{+}$-matrix, $P$-matrix, matrix splitting, convergence
△ Less
Submitted 6 June, 2023;
originally announced June 2023.
-
Provably Fast Finite Particle Variants of SVGD via Virtual Particle Stochastic Approximation
Authors:
Aniket Das,
Dheeraj Nagaraj
Abstract:
Stein Variational Gradient Descent (SVGD) is a popular variational inference algorithm which simulates an interacting particle system to approximately sample from a target distribution, with impressive empirical performance across various domains. Theoretically, its population (i.e, infinite-particle) limit dynamics is well studied but the behavior of SVGD in the finite-particle regime is much les…
▽ More
Stein Variational Gradient Descent (SVGD) is a popular variational inference algorithm which simulates an interacting particle system to approximately sample from a target distribution, with impressive empirical performance across various domains. Theoretically, its population (i.e, infinite-particle) limit dynamics is well studied but the behavior of SVGD in the finite-particle regime is much less understood. In this work, we design two computationally efficient variants of SVGD, namely VP-SVGD and GB-SVGD, with provably fast finite-particle convergence rates. We introduce the notion of virtual particles and develop novel stochastic approximations of population-limit SVGD dynamics in the space of probability measures, which are exactly implementable using a finite number of particles. Our algorithms can be viewed as specific random-batch approximations of SVGD, which are computationally more efficient than ordinary SVGD. We show that the $n$ particles output by VP-SVGD and GB-SVGD, run for $T$ steps with batch-size $K$, are at-least as good as i.i.d samples from a distribution whose Kernel Stein Discrepancy to the target is at most $O\left(\tfrac{d^{1/3}}{(KT)^{1/6}}\right)$ under standard assumptions. Our results also hold under a mild growth condition on the potential function, which is much weaker than the isoperimetric (e.g. Poincare Inequality) or information-transport conditions (e.g. Talagrand's Inequality $\mathsf{T}_1$) generally considered in prior works. As a corollary, we consider the convergence of the empirical measure (of the particles output by VP-SVGD and GB-SVGD) to the target distribution and demonstrate a double exponential improvement over the best known finite-particle analysis of SVGD. Beyond this, our results present the first known oracle complexities for this setting with polynomial dimension dependence.
△ Less
Submitted 5 October, 2023; v1 submitted 27 May, 2023;
originally announced May 2023.
-
More on Projected Type Iteration Method and Linear Complementarity Problem
Authors:
Bharat Kumar,
Deepmala,
A. K. Das
Abstract:
In this article, we establish a class of new projected type iteration methods based on matrix spitting for solving the linear complementarity problem. Also, we provide a sufficient condition for the convergence analysis when the system matrix is an $H_+$-matrix. We show the efficiency of the proposed method by using two numerical examples for different parameters.
Keywords. Iterative method, Lin…
▽ More
In this article, we establish a class of new projected type iteration methods based on matrix spitting for solving the linear complementarity problem. Also, we provide a sufficient condition for the convergence analysis when the system matrix is an $H_+$-matrix. We show the efficiency of the proposed method by using two numerical examples for different parameters.
Keywords. Iterative method, Linear complementarity problem, $H_{+}$-matrix, $P$-matrix, Matrix splitting, Convergence.
△ Less
Submitted 9 May, 2023;
originally announced May 2023.
-
New Accelerated Modulus-Based Iteration Method for Solving Large and Sparse Linear Complementarity Problem
Authors:
Bharat Kumar,
Deepmala,
A. K. Das
Abstract:
In this article, we establish a class of new accelerated modulus-based iteration methods for solving the linear complementarity problem. When the system matrix is an $H_+$-matrix, we present appropriate criteria for the convergence analysis. Also, we demonstrate the effectiveness of our proposed method and reduce the number of iterations and CPU time to accelerate the convergence performance by pr…
▽ More
In this article, we establish a class of new accelerated modulus-based iteration methods for solving the linear complementarity problem. When the system matrix is an $H_+$-matrix, we present appropriate criteria for the convergence analysis. Also, we demonstrate the effectiveness of our proposed method and reduce the number of iterations and CPU time to accelerate the convergence performance by providing two numerical examples for various parameters.
Keywords. Linear complementarity problem, Iteration method, $P$-matrix, $H_{+}$-matrix, Convergence analysis, Matrix splitting.
△ Less
Submitted 4 May, 2023;
originally announced May 2023.
-
Averaging algebras of any nonzero weight
Authors:
Apurba Das,
Ramkrishna Mandal
Abstract:
In this paper, we first introduce the notion of a (relative) averaging operator of any nonzero weight $λ$. We show that such operators are intimately related to triassociative algebras introduced by Loday and Ronco. Next, we construct a differential graded Lie algebra and a $L_\infty$-algebra whose Maurer-Cartan elements are respectively relative averaging operators of weight $λ$ and relative aver…
▽ More
In this paper, we first introduce the notion of a (relative) averaging operator of any nonzero weight $λ$. We show that such operators are intimately related to triassociative algebras introduced by Loday and Ronco. Next, we construct a differential graded Lie algebra and a $L_\infty$-algebra whose Maurer-Cartan elements are respectively relative averaging operators of weight $λ$ and relative averaging algebras of weight $λ$. Subsequently, we define cohomology theories for relative averaging operators and relative averaging algebras of any nonzero weight. Our cohomology is useful to study infinitesimal deformations of relative averaging algebras. Finally, we introduce and study homotopy triassociative algebras and homotopy relative averaging operators of any nonzero weight $λ$.
△ Less
Submitted 25 April, 2023;
originally announced April 2023.
-
On sparse solution of tensor complementarity problem
Authors:
R. Deb,
A. K. Das
Abstract:
In this article we consider the sparse solutions of the tensor complementarity problem (TCP) which are the solutions of the smallest cardinality. We establish a connection between the least element of the feasible solution set of TCP and sparse solution for $Z$-tensor. We propose a $p$ norm regularized minimization model when $p\in (0,1)$ and show that it can approximate sparse solution applying t…
▽ More
In this article we consider the sparse solutions of the tensor complementarity problem (TCP) which are the solutions of the smallest cardinality. We establish a connection between the least element of the feasible solution set of TCP and sparse solution for $Z$-tensor. We propose a $p$ norm regularized minimization model when $p\in (0,1)$ and show that it can approximate sparse solution applying the regularization of parameter.
Keywords: Tensor complementarity problem, sparse solution, $l_p$ regularized minimization, $Z$-tensor.
△ Less
Submitted 24 April, 2023;
originally announced April 2023.
-
Some topological results on generalized parametric metric spaces
Authors:
Abhishikta Das,
T. Bag
Abstract:
In this paper, ideas of open ball, closed ball, compact set are introduced and some related basic properties are studied. Some topological properties and some other well known results of metric spaces including Cantor intersection theorem are established in generalized parametric metric space setting.
In this paper, ideas of open ball, closed ball, compact set are introduced and some related basic properties are studied. Some topological properties and some other well known results of metric spaces including Cantor intersection theorem are established in generalized parametric metric space setting.
△ Less
Submitted 28 February, 2023;
originally announced April 2023.
-
Embedding tensors on Hom-Lie algebras
Authors:
Apurba Das,
Abdenacer Makhlouf
Abstract:
The notion of embedding tensors and the associated tensor hierarchies form an effective tool for the construction of supergravity and higher gauge theories. Embedding tensors and related structures are extensively studied also in the mathematics literature. On the other hand, Hom-Lie algebras were introduced in the study of $q$-deformations of Witt and Virasoro algebras. In this paper, we first in…
▽ More
The notion of embedding tensors and the associated tensor hierarchies form an effective tool for the construction of supergravity and higher gauge theories. Embedding tensors and related structures are extensively studied also in the mathematics literature. On the other hand, Hom-Lie algebras were introduced in the study of $q$-deformations of Witt and Virasoro algebras. In this paper, we first introduce embedding tensors on a Hom-Lie algebra with respect to a given representation. An embedding tensor naturally induces a Hom-Leibniz algebra structure. We construct a graded Lie algebra that characterizes embedding tensors as its Maurer-Cartan elements. Using this, we define the cohomology of an embedding tensor and realize it as the cohomology of the induced Hom-Leibniz algebra with coefficients in a suitable representation. A triple consisting of a Hom-Lie algebra, a representation and an embedding tensor is called a Hom-Lie-Leibniz triple. We construct the controlling $L_\infty$-algebra of a given Hom-Lie-Leibniz triple. Next, we define the cohomology of a Hom-Lie-Leibniz triple that governs the deformations of the structure. Finally, we introduce homotopy embedding tensors, $HLeib_\infty$-algebras and find their relations.
△ Less
Submitted 9 April, 2023;
originally announced April 2023.
-
Controlling structures, deformations and homotopy theory for averaging algebras
Authors:
Apurba Das
Abstract:
An averaging operator on an associative algebra $A$ is an algebraic abstraction of the time average operator on the space of real-valued functions defined in time-space. In this paper, we consider relative averaging operators on a bimodule $M$ over an associative algebra $A$. A relative averaging operator induces a diassociative algebra structure on the space $M$. The full data consisting of an as…
▽ More
An averaging operator on an associative algebra $A$ is an algebraic abstraction of the time average operator on the space of real-valued functions defined in time-space. In this paper, we consider relative averaging operators on a bimodule $M$ over an associative algebra $A$. A relative averaging operator induces a diassociative algebra structure on the space $M$. The full data consisting of an associative algebra, a bimodule and a relative averaging operator is called a relative averaging algebra. We define bimodules over a relative averaging algebra that fits with the representations of diassociative algebras. We construct a graded Lie algebra and a $L_\infty$-algebra that are respectively controlling algebraic structures for a given relative averaging operator and relative averaging algebra. We also define cohomologies of relative averaging operators and relative averaging algebras and find a long exact sequence connecting various cohomology groups. As applications, we study deformations and abelian extensions of relative averaging algebras. Finally, we define homotopy relative averaging algebras and show that they induce homotopy diassociative algebras.
△ Less
Submitted 31 March, 2023;
originally announced March 2023.
-
More on Modulus Based Iterative Method for Solving Implicit Complementarity Problem
Authors:
Bharat kumar,
Deepmala,
A. K. Das
Abstract:
This article presents a class of modified new modulus-based iterative methods to process the large and sparse implicit complementarity problem (ICP). By using two positive diagonal matrices, we formulate a fixed-point equation which is equivalent to an ICP and based on a fixed-point equation, an iterative method is presented to solve the ICP. We provide some convergence conditions for the proposed…
▽ More
This article presents a class of modified new modulus-based iterative methods to process the large and sparse implicit complementarity problem (ICP). By using two positive diagonal matrices, we formulate a fixed-point equation which is equivalent to an ICP and based on a fixed-point equation, an iterative method is presented to solve the ICP. We provide some convergence conditions for the proposed methods when the system matrix is a $P$-matrix or an $H_+$-matrix.
△ Less
Submitted 22 March, 2023;
originally announced March 2023.