English
Related papers

Related papers: Polynomial-time isomorphism test for groups with a…

200 papers

The Modular Isomorphism Problem asks if an isomorphism of group algebras of two finite p-groups G and H over a field of characteristic p, implies an isomorhism of the groups G and H. We survey the history of the problem, explain strategies…

Rings and Algebras · Mathematics 2022-04-11 Leo Margolis

The hidden subgroup problem (HSP) plays an important role in quantum computation, because many quantum algorithms that are exponentially faster than classical algorithms can be casted in the HSP structure. In this paper, we present a new…

Quantum Physics · Physics 2011-04-08 D. N. Goncalves , R. Portugal

In this paper we study finite groups which have Cayley isomorphism property with respect to Cayley maps, CIM-groups for a brief. We show that the structure of the CIM-groups is very restricted. It is described in Theorem~\ref{111015a} where…

Combinatorics · Mathematics 2016-02-09 Mikhail Muzychuk , Gábor Somlai

This paper shows that, if we could examine the entire history of a hidden variable, then we could efficiently solve problems that are believed to be intractable even for quantum computers. In particular, under any hidden-variable theory…

Quantum Physics · Physics 2007-05-23 Scott Aaronson

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,…

Computational Complexity · Computer Science 2025-07-09 Bireswar Das , Dipan Dey , Jinia Ghosh

We present an algorithm to solve a system of diagonal polynomial equations over finite fields when the number of variables is greater than some fixed polynomial of the number of equations whose degree depends only on the degree of the…

Computational Complexity · Computer Science 2016-06-09 Gabor Ivanyos , Miklos Santha

As a partial answer to a question of Rao, a deterministic and customizable efficient algorithm is presented to test whether an arbitrary graphical degree sequence has a bipartite realization. The algorithm can be configured to run in…

Combinatorics · Mathematics 2019-08-20 Kai Wang

Symmetries occur naturally in CSP or SAT problems and are not very difficult to discover, but using them to prune the search space tends to be very challenging. Indeed, this usually requires finding specific elements in a group of…

Artificial Intelligence · Computer Science 2011-07-25 Thierry Boy de la Tour , Mnacho Echenim

In this work, we introduce bidirectional collision detection --- a new algorithmic tool that applies to the collision problems that arise in many isomorphism problems. For the group isomorphism problem, we show that bidirectional collision…

Data Structures and Algorithms · Computer Science 2013-05-17 David J. Rosenbaum

Let $\mathbf{f}=(f\_1,\ldots,f\_m)$ and $\mathbf{g}=(g\_1,\ldots,g\_m)$ be two sets of $m\geq 1$ nonlinear polynomials over $\mathbb{K}[x\_1,\ldots,x\_n]$ ($\mathbb{K}$ being a field). We consider the computational problem of finding -- if…

Symbolic Computation · Computer Science 2016-08-11 Jérémy Berthomieu , Jean-Charles Faugère , Ludovic Perret

The Hidden Subgroup Problem (HSP) is a computational problem which includes as special cases integer factorization, the discrete logarithm problem, graph isomorphism, and the shortest vector problem. The celebrated polynomial-time quantum…

Logic in Computer Science · Computer Science 2020-05-05 Matthew Moore , Taylor Walenczyk

Let $A$ be an abelian group and let $\iota$ be the automorphism of $A$ defined by $i:a\mapsto a^{-1}$. A Cayley graph $\Gamma=\mathrm{Cay}(A,S)$ is said to have an automorphism group \emph{as small as possible} if $\mathrm{Aut}(\Gamma)=…

Combinatorics · Mathematics 2014-05-09 Edward Dobson , Pablo Spiga , Gabriel Verret

Clustering with most objective functions is NP-Hard, even to approximate well in the worst case. Recently, there has been work on exploring different notions of stability which lend structure to the problem. The notion of stability,…

Data Structures and Algorithms · Computer Science 2017-02-14 Ainesh Bakshi , Nadiia Chepurko

We describe an algorithm which, given two essential curves on a surface $S$, computes their distance in the curve graph of $S$, up to multiplicative and additive errors. As an application, we present an algorithm to decide the…

Geometric Topology · Mathematics 2024-02-02 Filippo Baroni

Given a graph $G$, the graph $[G]$ obtained by adding, for each pair of vertices of $G$, a unique vertex adjacent to both vertices is called the binding graph of $G$. In this work, we show that the class of binding graphs is…

Combinatorics · Mathematics 2024-08-27 Rui Xue

For several computational problems in homotopy theory, we obtain algorithms with running time polynomial in the input size. In particular, for every fixed k>1, there is a polynomial-time algorithm that, for a 1-connected topological space X…

Computational Geometry · Computer Science 2014-05-29 Martin Cadek , Marek Krcal , Jiri Matousek , Lukas Vokrinek , Uli Wagner

Graph isomorphism, a classical algorithmic problem, determines whether two input graphs are structurally identical or not. Interestingly, it is one of the few problems that is not yet known to belong to either the P or NP-complete…

Data Structures and Algorithms · Computer Science 2024-10-01 Sourav Dutta , Arnab Bhattacharya

We study the problem of matrix Lie algebra conjugacy. Lie algebras arise centrally in areas as diverse as differential equations, particle physics, group theory, and the Mulmuley--Sohoni Geometric Complexity Theory program. A matrix Lie…

Computational Complexity · Computer Science 2011-12-12 Joshua A. Grochow

The main purpose of this paper is to study the NP-complete subset-sum problem, not in the usual context of time-complexity-based classification of the algorithms (exponential/polynomial), but through a new kind of algorithmic classification…

Computational Complexity · Computer Science 2018-11-20 Antonios Syreloglou

Let G be a finite group with Sylow p-subgroup P. We show that the character table of G determines whether P has maximal nilpotency class and whether P is a minimal non-abelian group. The latter result is obtained from a precise…

Representation Theory · Mathematics 2023-06-07 Alexander Moretó , Benjamin Sambale