English
Related papers

Related papers: Average-case algorithms for testing isomorphism of…

200 papers

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

In Grochow and Qiao (SIAM J. Comput., 2021), the complexity class Tensor Isomorphism (TI) was introduced and isomorphism problems for groups, algebras, and polynomials were shown to be TI-complete. In this paper, we study average-case…

Computational Complexity · Computer Science 2026-04-02 Tiange Li , Yinan Li , Youming Qiao , Dacheng Tao , Yingjie Wang

We consider two basic algorithmic problems concerning tuples of (skew-)symmetric matrices. The first problem asks to decide, given two tuples of (skew-)symmetric matrices $(B_1, \dots, B_m)$ and $(C_1, \dots, C_m)$, whether there exists an…

Data Structures and Algorithms · Computer Science 2019-02-08 Gábor Ivanyos , Youming Qiao

It is known that a graph isomorphism testing algorithm is polynomially equivalent to a detecting of a graph non-trivial automorphism algorithm. The polynomiality of the latter algorithm, is obtained by consideration of symmetry properties…

General Mathematics · Mathematics 2007-05-23 Aleksandr Golubchik

In this paper, we give algorithms for determining the existence of isomorphism between two finite-dimensional Lie algebras and compute such an isomorphism in the affirrmative case. We also provide algorithms for determining algebraic…

Rings and Algebras · Mathematics 2021-02-23 Tuan A. Nguyen , Vu A. Le , Thieu N. Vo

We present a new algorithm to decide isomorphism between finite graded algebras. For a broad class of nilpotent Lie algebras, we demonstrate that it runs in time polynomial in the order of the input algebras. We introduce heuristics that…

Rings and Algebras · Mathematics 2019-05-06 Peter A. Brooksbank , E. A. O'Brien , James B. Wilson

We claimed that there is a polynomial algorithm to test if two graphs are isomorphic. But the algorithm is wrong. It only tests if the adjacency matrices of two graphs have the same eigenvalues. There is a counterexample of two…

Computational Complexity · Computer Science 2022-10-18 Reiner Czerwinski

A polynomial algorithm for graphs' isomorphism testing is constructed in assumption that there exists a corresponding polynomial algorithm for graphs with trivial automorphism group.

Combinatorics · Mathematics 2007-05-23 Aleksandr Golubchik

Given two tuples of subspaces, can you tell whether the tuples are isomorphic? We develop theory and algorithms to address this fundamental question. We focus on isomorphisms in which the ambient vector space is acted on by either a unitary…

Metric Geometry · Mathematics 2025-12-25 Emily J. King , Dustin G. Mixon , Shayne Waldron

[PLEASE SEE COMMENT] We consider the isomorphism problem for finite abelian groups and finite meta-cyclic groups. We prove that for a dense set of positive integers $n$, isomorphism testing for abelian groups of black-box type of order $n$…

Group Theory · Mathematics 2021-09-03 Heiko Dietrich , James B. Wilson

In this paper we consider the problems of testing isomorphism of tensors, $p$-groups, cubic forms, algebras, and more, which arise from a variety of areas, including machine learning, group theory, and cryptography. These problems can all…

Computational Complexity · Computer Science 2025-06-18 Joshua A. Grochow , Youming Qiao

Many isomorphism problems for tensors, groups, algebras, and polynomials were recently shown to be equivalent to one another under polynomial-time reductions, prompting the introduction of the complexity class TI (Grochow & Qiao, ITCS '21;…

Computational Complexity · Computer Science 2024-04-15 Joshua A. Grochow , Youming Qiao

Two polynomials $f, g \in \mathbb{F}[x_1, \ldots, x_n]$ are called shift-equivalent if there exists a vector $(a_1, \ldots, a_n) \in \mathbb{F}^n$ such that the polynomial identity $f(x_1+a_1, \ldots, x_n+a_n) \equiv g(x_1,\ldots,x_n)$…

Computational Complexity · Computer Science 2014-02-20 Zeev Dvir , Rafael Oliveira , Amir Shpilka

The graph isomorphism problem is theoretically interesting and also has many practical applications. The best known classical algorithms for graph isomorphism all run in time super-polynomial in the size of the graph in the worst case. An…

Quantum Physics · Physics 2011-04-26 David Rosenbaum

We show that the problem to decide whether two (convex) polytopes, given by their vertex-facet incidences, are combinatorially isomorphic is graph isomorphism complete, even for simple or simplicial polytopes. On the other hand, we give a…

Combinatorics · Mathematics 2007-05-23 Volker Kaibel , Alexander Schwartz

We introduce an algorithm to decide isomorphism between tensors. The algorithm uses the Lie algebra of derivations of a tensor to compress the space in which the search takes place to a so-called densor space. To make the method practicable…

Rings and Algebras · Mathematics 2022-08-19 Peter A. Brooksbank , Joshua Maglione , James B. Wilson

The group isomorphism problem asks whether two finite groups given by their Cayley tables are isomorphic or not. Although there are polynomial-time algorithms for some specific group classes, the best known algorithm for testing isomorphism…

Group Theory · Mathematics 2026-03-10 Saveliy V. Skresanov

This article deals with new polynomial time algorithm for graph isomorphism testing.

Data Structures and Algorithms · Computer Science 2013-06-19 Michael I. Trofimov

We propose a polynomial time $f$-algorithm (a deterministic algorithm which uses an oracle for factoring univariate polynomials over $\mathbb{F}_q$) for computing an isomorphism (if there is any) of a finite dimensional…

Rings and Algebras · Mathematics 2017-01-03 Gábor Ivanyos , Péter Kutas , Lajos Rónyai

A group $G$ has cube-free order if no prime to the third power divides $|G|$. We describe an algorithm that given two cube-free groups $G$ and $H$ of known order, decides whether $G\cong H$, and, if so, constructs an isomorphism $G\to H$.…

Group Theory · Mathematics 2019-05-06 Heiko Dietrich , James B. Wilson
‹ Prev 1 2 3 10 Next ›