English
Related papers

Related papers: Testing isomorphism of graded algebras

200 papers

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

Motivated by the need for efficient isomorphism tests for finite groups, we present a polynomial-time method for deciding isomorphism within a class of groups that is well-suited to studying local properties of general finite groups. We…

Group Theory · Mathematics 2020-11-23 Peter A. Brooksbank , Joshua Maglione , James B. Wilson

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

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

The mod-p cohomology ring of a non-trivial finite p-group is an infinite dimensional, finitely presented graded unital algebra over the field with p elements, with generators in positive degrees. We describe an effective algorithm to test…

Rings and Algebras · Mathematics 2015-03-17 Bettina Eick , Simon King

We give an algorithm that, for every fixed k, decides isomorphism of graphs of rank width at most k in polynomial time. As the clique width of a graph is bounded in terms of its rank width, we also obtain a polynomial time isomorphism test…

Discrete Mathematics · Computer Science 2015-05-15 Martin Grohe , Pascal Schweitzer

Let $A$ and $B$ be two connected graded algebras finitely generated in degree one. If $A$ is isomorphic to $B$ as ungraded algebras, then they are also isomorphic to each other as graded algebras.

Rings and Algebras · Mathematics 2015-09-30 Jason Bell , James J. Zhang

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

We study the problems of testing isomorphism of polynomials, algebras, and multilinear forms. Our first main results are average-case algorithms for these problems. For example, we develop an algorithm that takes two cubic forms $f, g\in…

Data Structures and Algorithms · Computer Science 2023-06-22 Joshua A. Grochow , Youming Qiao , Gang Tang

An explicit algorithm is presented for testing whether two non-directed graphs are isomorphic or not. It is shown that for a graph of n vertices, the number of n independent operations needed for the test is polynomial in n. A proof that…

Data Structures and Algorithms · Computer Science 2007-05-23 Moshe Schwartz

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

We compute the graded polynomial identities of the infinite dimensional upper triangular matrix algebra over an arbitrary field. If the grading group is finite, we prove that the set of graded polynomial identities admits a finite basis. We…

Rings and Algebras · Mathematics 2024-02-19 Micael Said Garcia , Felipe Yukihide Yasumura

Let K be a number field, let A be a finite dimensional semisimple K-algebra and let Lambda be an O_K-order in A. It was shown in previous work that, under certain hypotheses on A, there exists an algorithm that for a given (left)…

Number Theory · Mathematics 2020-03-03 Tommy Hofmann , Henri Johnston

We investigate the power of graph isomorphism algorithms based on algebraic reasoning techniques like Gr\"obner basis computation. The idea of these algorithms is to encode two graphs into a system of equations that are satisfiable if and…

Computational Complexity · Computer Science 2015-02-23 Christoph Berkholz , Martin Grohe

We develop a practical algorithm to decide whether a finitely generated subgroup of a solvable algebraic group $G$ is arithmetic. This incorporates a procedure to compute a generating set of an arithmetic subgroup of $G$. We also provide a…

Group Theory · Mathematics 2019-05-13 W. A. de Graaf , A. S. Detinko , D. L. Flannery

We develop methods for computing with matrix groups defined over a range of infinite domains, and apply those methods to the design of algorithms for nilpotent groups. In particular, we provide a practical algorithm to test nilpotency of…

Group Theory · Mathematics 2019-07-16 A. S. Detinko , D. L. Flannery

We consider the significant class of holomorphically nondegenerate CR manifolds of finite type that are represented by some weighted homogeneous polynomials and we derive some useful features which enable us to set up a fast effective…

Differential Geometry · Mathematics 2014-01-21 Masoud Sabzevari , Amir Hashemi , Benyamin M. -Alizadeh , Joel Merker

In this paper we consider the problem of testing whether two finite groups are isomorphic. Whereas the case where both groups are abelian is well understood and can be solved efficiently, very little is known about the complexity of…

Quantum Physics · Physics 2021-10-05 François Le Gall

We consider the following practical question: given a finite algebra A in a finite language, can we efficiently decide whether the variety generated by A has a difference term? We answer this question (positively) in the idempotent case and…

Logic · Mathematics 2021-01-08 William DeMeo , Ralph Freese , Matthew Valeriote
‹ Prev 1 2 3 10 Next ›