-
On the Complexity of Problems on Graphs Defined on Groups
Authors:
Bireswar Das,
Dipan Dey,
Jinia Ghosh
Abstract:
We study the complexity of graph problems on graphs defined on groups, especially power graphs. We observe that an isomorphism invariant problem, such as Hamiltonian Path, Partition into Cliques, Feedback Vertex Set, Subgraph Isomorphism, cannot be NP-complete for power graphs, commuting graphs, enhanced power graphs, directed power graphs, and bounded-degree Cayley graphs, assuming the Exponentia…
▽ More
We study the complexity of graph problems on graphs defined on groups, especially power graphs. We observe that an isomorphism invariant problem, such as Hamiltonian Path, Partition into Cliques, Feedback Vertex Set, Subgraph Isomorphism, cannot be NP-complete for power graphs, commuting graphs, enhanced power graphs, directed power graphs, and bounded-degree Cayley graphs, assuming the Exponential Time Hypothesis (ETH). An analogous result holds for isomorphism invariant group problems: no such problem can be NP-complete unless ETH is false. We show that the Weighted Max-Cut problem is NP-complete in power graphs. We also show that, unless ETH is false, the Graph Motif problem cannot be solved in quasipolynomial time on power graphs, even for power graphs of cyclic groups. We study the recognition problem of power graphs when the adjacency matrix or list is given as input and show that for abelian groups and some classes of nilpotent groups, it is solvable in polynomial time.
△ Less
Submitted 8 July, 2025;
originally announced July 2025.
-
Fuzzy atomic system and fuzzy K-frame in fuzzy Hilbert space
Authors:
Prasenjit Ghosh,
Jayanta Ghosh,
T. K. Samanta
Abstract:
Atomic system in fuzzy Hilbert space is introduced and the existence of the fuzzy atomic systems for a strongly fuzzy bounded linear operator is studied. The notion of a K-frame in fuzzy Hilbert space is presented and some of their characterizations are given. We will see that fuzzy frame operator of a fuzzy K-frame in fuzzy Hilbert space is invertible under some sufficient condition and validates…
▽ More
Atomic system in fuzzy Hilbert space is introduced and the existence of the fuzzy atomic systems for a strongly fuzzy bounded linear operator is studied. The notion of a K-frame in fuzzy Hilbert space is presented and some of their characterizations are given. We will see that fuzzy frame operator of a fuzzy K-frame in fuzzy Hilbert space is invertible under some sufficient condition and validates this by giving some examples. Fuzzy K-frame property in fuzzy Hilbert space preserve by a strongly fuzzy bounded linear operator is established. We will describe stability condition of fuzzy K-frame in fuzzy Hilbert space under some perturbations. We construct new types of fuzzy K-frame using fuzzy K-frame in fuzzy Hilbert space. Further, it is seen that scalar combinations and product of two fuzzy K-frames is also a fuzzy K-frame in fuzzy Hilbert space
△ Less
Submitted 26 May, 2025;
originally announced June 2025.
-
Boxicity and Cubicity of Divisor Graphs and Power Graphs
Authors:
L. Sunil Chandran,
Jinia Ghosh
Abstract:
The \textit{boxicity} (\textit{cubicity}) of an undirected graph $Γ$ is the smallest non-negative integer $k$ such that $Γ$ can be represented as the intersection graph of axis-parallel rectangular boxes (unit cubes) in $\mathbb{R}^k$. An undirected graph is classified as a \textit{comparability graph} if it is isomorphic to the comparability graph of some partial order. This paper studies boxicit…
▽ More
The \textit{boxicity} (\textit{cubicity}) of an undirected graph $Γ$ is the smallest non-negative integer $k$ such that $Γ$ can be represented as the intersection graph of axis-parallel rectangular boxes (unit cubes) in $\mathbb{R}^k$. An undirected graph is classified as a \textit{comparability graph} if it is isomorphic to the comparability graph of some partial order. This paper studies boxicity and cubicity for subclasses of comparability graphs.
We initiate the study of boxicity and cubicity of a special class of algebraically defined comparability graphs, namely the \textit{power graphs}. The power graph of a group is an undirected graph whose vertex set is the group itself, with two elements being adjacent if one is a power of the other. We analyse the case when the underlying groups of power graphs are cyclic. Another important family of comparability graphs is \textit{divisor graphs}, which arises from a number-theoretically defined poset, namely the \textit{divisibility poset}. We consider a subclass of divisor graphs, denoted by $D(n)$, where the vertex set is the set of positive divisors of a natural number $n$.
We first show that to study the boxicity (cubicity) of the power graph of the cyclic group of order $n$, it is sufficient to study the boxicity (cubicity) of $D(n)$. We derive estimates, tight up to a factor of $2$, for the boxicity and cubicity of $D(n)$. The exact estimates hold good for power graphs of cyclic groups.
△ Less
Submitted 27 January, 2025;
originally announced January 2025.
-
Quadratic unconstrained binary optimization and constraint programming approaches for lattice-based cyclic peptide docking
Authors:
J. Kyle Brubaker,
Kyle E. C. Booth,
Akihiko Arakawa,
Fabian Furrer,
Jayeeta Ghosh,
Tsutomu Sato,
Helmut G. Katzgraber
Abstract:
The peptide-protein docking problem is an important problem in structural biology that facilitates rational and efficient drug design. In this work, we explore modeling and solving this problem with the quantum-amenable quadratic unconstrained binary optimization (QUBO) formalism. Our work extends recent efforts by incorporating the objectives and constraints associated with peptide cyclization an…
▽ More
The peptide-protein docking problem is an important problem in structural biology that facilitates rational and efficient drug design. In this work, we explore modeling and solving this problem with the quantum-amenable quadratic unconstrained binary optimization (QUBO) formalism. Our work extends recent efforts by incorporating the objectives and constraints associated with peptide cyclization and peptide-protein docking in the two-particle model on a tetrahedral lattice. We propose a ``resource efficient'' QUBO encoding for this problem, and baseline its performance with a novel constraint programming (CP) approach. We implement an end-to-end framework that enables the evaluation of our methods on instances from the Protein Data Bank (PDB). Our results show that the QUBO approach, using a classical simulated annealing solver, is able to find feasible conformations for problems with up to 6 peptide residues and 34 target protein residues, but has trouble scaling beyond this problem size. In contrast, the CP approach can solve problems with up to 13 peptide residues and 34 target protein residues. We conclude that while QUBO can be used to successfully tackle this problem, its scaling limitations and the strong performance of the CP method suggest that it may not be the best choice.
△ Less
Submitted 13 December, 2024;
originally announced December 2024.
-
On Oriented Diameter of Power Graphs
Authors:
Deepu Benson,
Bireswar Das,
Dipan Dey,
Jinia Ghosh
Abstract:
In this paper, we study the oriented diameter of power graphs of groups. We show that a $2$-edge connected power graph of a finite group has oriented diameter at most $4$. We prove that the power graph of the cyclic group of order $n$ has oriented diameter $2$ for all $n\neq 1,2,4,6$. For non-cyclic finite nilpotent groups, we show that the oriented diameter of corresponding power graphs is at lea…
▽ More
In this paper, we study the oriented diameter of power graphs of groups. We show that a $2$-edge connected power graph of a finite group has oriented diameter at most $4$. We prove that the power graph of the cyclic group of order $n$ has oriented diameter $2$ for all $n\neq 1,2,4,6$. For non-cyclic finite nilpotent groups, we show that the oriented diameter of corresponding power graphs is at least $3$. Moreover, we provide necessary and sufficient conditions for the oriented diameter of $2$-edge connected power graphs of finite non-cyclic nilpotent groups to be either $3$ or $4$. This, in turn, gives an algorithm for computing the oriented diameter of the power graph of a given nilpotent group that runs in time polynomial in the size of the group.
△ Less
Submitted 14 October, 2024; v1 submitted 4 September, 2024;
originally announced September 2024.
-
The Isomorphism Problem of Power Graphs and a Question of Cameron
Authors:
Bireswar Das,
Jinia Ghosh,
Anant Kumar
Abstract:
The isomorphism problem for graphs (GI) and the isomorphism problem for groups (GrISO) have been studied extensively by researchers. The current best algorithms for both these problems run in quasipolynomial time. In this paper, we study the isomorphism problem of graphs that are defined in terms of groups, namely power graphs, directed power graphs, and enhanced power graphs. It is not enough to…
▽ More
The isomorphism problem for graphs (GI) and the isomorphism problem for groups (GrISO) have been studied extensively by researchers. The current best algorithms for both these problems run in quasipolynomial time. In this paper, we study the isomorphism problem of graphs that are defined in terms of groups, namely power graphs, directed power graphs, and enhanced power graphs. It is not enough to check the isomorphism of the underlying groups to solve the isomorphism problem of such graphs as the power graphs (or the directed power graphs or the enhanced power graphs) of two nonisomorphic groups can be isomorphic. Nevertheless, it is interesting to ask if the underlying group structure can be exploited to design better isomorphism algorithms for these graphs. We design polynomial time algorithms for the isomorphism problems for the power graphs, the directed power graphs and the enhanced power graphs arising from finite nilpotent groups. In contrast, no polynomial time algorithm is known for the group isomorphism problem, even for nilpotent groups of class 2.
We note that our algorithm does not require the underlying groups of the input graphs to be given. The isomorphism problems of power graphs and enhanced power graphs are solved by first computing the directed power graphs from the input graphs. The problem of efficiently computing the directed power graph from the power graph or the enhanced power graph is due to Cameron [IJGT'22]. Therefore, we give a solution to Cameron's question.
△ Less
Submitted 17 August, 2023; v1 submitted 30 May, 2023;
originally announced May 2023.
-
Quantum-Inspired Optimization over Permutation Groups
Authors:
Rathi Munukur,
Bhaskar Roy Bardhan,
Devesh Upadhyay,
Joydip Ghosh
Abstract:
Quantum-inspired optimization (QIO) algorithms are computational techniques that emulate certain quantum mechanical effects on a classical hardware to tackle a class of optimization tasks. QIO methods have so far been employed to solve various binary optimization problems and a significant (polynomial) computational speedup over traditional techniques has also been reported. In this work, we devel…
▽ More
Quantum-inspired optimization (QIO) algorithms are computational techniques that emulate certain quantum mechanical effects on a classical hardware to tackle a class of optimization tasks. QIO methods have so far been employed to solve various binary optimization problems and a significant (polynomial) computational speedup over traditional techniques has also been reported. In this work, we develop an algorithmic framework, called Perm-QIO, to tailor QIO tools to directly solve an arbitrary optimization problem, where the domain of the underlying cost function is defined over a permutation group. Such problems are not naturally recastable to a binary optimization and, therefore, are not necessarily within the scope of direct implementation of traditional QIO tools. We demonstrate the efficacy of Perm-QIO in leveraging the structure of cost-landscape to find high-quality solutions for a class of vehicle routing problems that belong to the category of non-trivial combinatorial optimization over the space of permutations.
△ Less
Submitted 5 December, 2022;
originally announced December 2022.
-
Qualitative Analysis and Optimal Control Strategy of an SIR Model with Saturated Incidence and Treatment
Authors:
Jayanta Kumar Ghosh,
Uttam Ghosh,
M. H. A. Biswas,
Susmita Sarkar
Abstract:
This paper deals with an SIR model with saturated incidence rate affected by inhibitory effect and saturated treatment function. Two control functions have been used, one for vaccinating the susceptible population and other for the treatment control of infected population. We have analysed the existence and stability of equilibrium points and investigated the transcritical and backward bifurcation…
▽ More
This paper deals with an SIR model with saturated incidence rate affected by inhibitory effect and saturated treatment function. Two control functions have been used, one for vaccinating the susceptible population and other for the treatment control of infected population. We have analysed the existence and stability of equilibrium points and investigated the transcritical and backward bifurcation. The stability analysis of non-hyperbolic equilibrium point has been performed by using Centre manifold theory. The Pontryagin's maximum principle has been used to characterize the optimal control whose numerical results show the positive impact of two controls mentioned above for controlling the disease. Efficiency analysis is also done to determine the best control strategy among vaccination and treatment.
△ Less
Submitted 16 July, 2018;
originally announced July 2018.
-
Model Selection and Multiple Testing - A Bayesian and Empirical Bayes Overview and some New Results
Authors:
Ritabrata Dutta,
Malgortaza Bogdan,
Jayanta K. Ghosh
Abstract:
We provide a brief overview of both Bayes and classical model selection. We argue tentatively that model selection has at least two major goals, that of finding the correct model or predicting well, and that in general both these goals may not be achieved in an optimum manner by a single model selection rule. We discuss, briefly but critically, through a study of well-known model selection rules l…
▽ More
We provide a brief overview of both Bayes and classical model selection. We argue tentatively that model selection has at least two major goals, that of finding the correct model or predicting well, and that in general both these goals may not be achieved in an optimum manner by a single model selection rule. We discuss, briefly but critically, through a study of well-known model selection rules like AIC, BIC, DIC and Lasso, how these different goals are pursued in each paradigm. We introduce some new definitions of consistency, results and conjectures about consistency in high dimensional model selection problems. Finally we discuss some new or recent results in Full Bayes and Empirical Bayes multiple testing, and cross-validation. We show that when the number of parameters tends to infinity at a smaller rate than sample size, then it is best from the point of view of consistency to use most of the data for inference and only a negligible proportion to make an improper prior proper.
△ Less
Submitted 2 October, 2015;
originally announced October 2015.
-
Fuzzy ideals in $Γ-$semiring
Authors:
Jayanta Ghosh,
T. K. Samanta
Abstract:
In this paper we have studied the relation between the fuzzy left (respectively right) ideals of $Γ-$semiring and that of operator semiring. Thereafter, we have established that the Lattices of all fuzzy left (respectively right) ideal of $Γ-$semiring is equivalent to that of Left operator semiring. Also we have established few properties relating the $k-$ideals and $h-$ideals of $Γ-$semiring with…
▽ More
In this paper we have studied the relation between the fuzzy left (respectively right) ideals of $Γ-$semiring and that of operator semiring. Thereafter, we have established that the Lattices of all fuzzy left (respectively right) ideal of $Γ-$semiring is equivalent to that of Left operator semiring. Also we have established few properties relating the $k-$ideals and $h-$ideals of $Γ-$semiring with that of operator semiring.
△ Less
Submitted 12 October, 2010;
originally announced October 2010.
-
Asymptotic Bayes-optimality under sparsity of some multiple testing procedures
Authors:
Małgorzata Bogdan,
Arijit Chakrabarti,
Florian Frommlet,
Jayanta K. Ghosh
Abstract:
Within a Bayesian decision theoretic framework we investigate some asymptotic optimality properties of a large class of multiple testing rules. A parametric setup is considered, in which observations come from a normal scale mixture model and the total loss is assumed to be the sum of losses for individual tests. Our model can be used for testing point null hypotheses, as well as to distinguish la…
▽ More
Within a Bayesian decision theoretic framework we investigate some asymptotic optimality properties of a large class of multiple testing rules. A parametric setup is considered, in which observations come from a normal scale mixture model and the total loss is assumed to be the sum of losses for individual tests. Our model can be used for testing point null hypotheses, as well as to distinguish large signals from a multitude of very small effects. A rule is defined to be asymptotically Bayes optimal under sparsity (ABOS), if within our chosen asymptotic framework the ratio of its Bayes risk and that of the Bayes oracle (a rule which minimizes the Bayes risk) converges to one. Our main interest is in the asymptotic scheme where the proportion p of "true" alternatives converges to zero. We fully characterize the class of fixed threshold multiple testing rules which are ABOS, and hence derive conditions for the asymptotic optimality of rules controlling the Bayesian False Discovery Rate (BFDR). We finally provide conditions under which the popular Benjamini-Hochberg (BH) and Bonferroni procedures are ABOS and show that for a wide class of sparsity levels, the threshold of the former can be approximated by a nonrandom threshold.
△ Less
Submitted 21 November, 2012; v1 submitted 18 February, 2010;
originally announced February 2010.
-
Consistency of a recursive estimate of mixing distributions
Authors:
Surya T. Tokdar,
Ryan Martin,
Jayanta K. Ghosh
Abstract:
Mixture models have received considerable attention recently and Newton [Sankhyā Ser. A 64 (2002) 306--322] proposed a fast recursive algorithm for estimating a mixing distribution. We prove almost sure consistency of this recursive estimate in the weak topology under mild conditions on the family of densities being mixed. This recursive estimate depends on the data ordering and a permutation-in…
▽ More
Mixture models have received considerable attention recently and Newton [Sankhyā Ser. A 64 (2002) 306--322] proposed a fast recursive algorithm for estimating a mixing distribution. We prove almost sure consistency of this recursive estimate in the weak topology under mild conditions on the family of densities being mixed. This recursive estimate depends on the data ordering and a permutation-invariant modification is proposed, which is an average of the original over permutations of the data sequence. A Rao--Blackwell argument is used to prove consistency in probability of this alternative estimate. Several simulations are presented, comparing the finite-sample performance of the recursive estimate and a Monte Carlo approximation to the permutation-invariant alternative along with that of the nonparametric maximum likelihood estimate and a nonparametric Bayes estimate.
△ Less
Submitted 24 August, 2009;
originally announced August 2009.
-
A comparison of the Benjamini-Hochberg procedure with some Bayesian rules for multiple testing
Authors:
Małgorzata Bogdan,
Jayanta K. Ghosh,
Surya T. Tokdar
Abstract:
In the spirit of modeling inference for microarrays as multiple testing for sparse mixtures, we present a similar approach to a simplified version of quantitative trait loci (QTL) mapping. Unlike in case of microarrays, where the number of tests usually reaches tens of thousands, the number of tests performed in scans for QTL usually does not exceed several hundreds. However, in typical cases, t…
▽ More
In the spirit of modeling inference for microarrays as multiple testing for sparse mixtures, we present a similar approach to a simplified version of quantitative trait loci (QTL) mapping. Unlike in case of microarrays, where the number of tests usually reaches tens of thousands, the number of tests performed in scans for QTL usually does not exceed several hundreds. However, in typical cases, the sparsity $p$ of significant alternatives for QTL mapping is in the same range as for microarrays. For methodological interest, as well as some related applications, we also consider non-sparse mixtures. Using simulations as well as theoretical observations we study false discovery rate (FDR), power and misclassification probability for the Benjamini-Hochberg (BH) procedure and its modifications, as well as for various parametric and nonparametric Bayes and Parametric Empirical Bayes procedures. Our results confirm the observation of Genovese and Wasserman (2002) that for small p the misclassification error of BH is close to optimal in the sense of attaining the Bayes oracle. This property is shared by some of the considered Bayes testing rules, which in general perform better than BH for large or moderate $p$'s.
△ Less
Submitted 16 May, 2008;
originally announced May 2008.
