Average-case algorithms for testing isomorphism of polynomials, algebras, and multilinear forms

12/02/2020
āˆ™
by   Joshua A. Grochow, et al.
āˆ™
0
āˆ™

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āˆˆš”½_q[x_1,ā€¦, x_n], and decides whether f and g are isomorphic in time q^O(n) for most f. This average-case setting has direct practical implications, having been studied in multivariate cryptography since the 1990s. Our second result concerns the complexity of testing equivalence of alternating trilinear forms. This problem is of interest in both mathematics and cryptography. We show that this problem is polynomial-time equivalent to testing equivalence of symmetric trilinear forms, by showing that they are both Tensor Isomorphism-complete (Grochow-Qiao, ITCS, 2021), therefore is equivalent to testing isomorphism of cubic forms over most fields.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
āˆ™ 06/15/2020

Randomized polynomial-time equivalence between determinant and trace-IMM equivalence tests

Equivalence testing for a polynomial family g_m over a field F is the fo...
research
āˆ™ 04/14/2022

Shift Equivalence Testing of Polynomials and Symbolic Summation of Multivariate Rational Functions

The Shift Equivalence Testing (SET) of polynomials is deciding whether t...
research
āˆ™ 06/28/2023

On the complexity of isomorphism problems for tensors, groups, and polynomials IV: linear-length reductions and their applications

Many isomorphism problems for tensors, groups, algebras, and polynomials...
research
āˆ™ 04/19/2017

A note on integrating products of linear forms over the unit simplex

Integrating a product of linear forms over the unit simplex can be done ...
research
āˆ™ 06/30/2019

Isomorphism problems for tensors, groups, and cubic forms: completeness and reductions

In this paper we consider the problems of testing isomorphism of tensors...
research
āˆ™ 07/24/2018

Zeros of Holant problems: locations and algorithms

We present fully polynomial-time (deterministic or randomised) approxima...
research
āˆ™ 01/01/2022

The solutions to single-variable polynomials, implemented and verified in Lean

In this work, we describe our experience in learning the use of a comput...

Please sign up or login with your details

Forgot password? Click here to reset