Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS /...
-
Upload
clemence-reed -
Category
Documents
-
view
217 -
download
1
Transcript of Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS /...
![Page 1: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/1.jpg)
Automorphisms of Finite Rings and Applications to Complexity of Problems
Manindra AgrawalNUS / IITK
![Page 2: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/2.jpg)
Motivation
• Automorphisms of an algebraic structure capture its symmetries.
• Many properties can be proved by analyzing the automorphism group of the structure.
![Page 3: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/3.jpg)
Examples in Mathematics
• [Galois,1830] Structure of automorphism group of the splitting field of a polynomial f(x) characterizes the solvability of f using radicals.
• [Hasse,1932] The number of rational points on elliptic curve Ep is between p+1-2p and p+1+2p.
![Page 4: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/4.jpg)
What About Algorithms & Complexity?
• Not received much attention.• Used only for few problems like
polynomial factorization.• So are they not of much use?
Automorphisms of finite rings are intimately related to the complexity of many important algebraic problems.
![Page 5: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/5.jpg)
Examples Discussed
1. Primality Testing2. Integer Factoring3. Polynomial Factoring4. Graph Isomorphism5. Polynomial Equivalence
![Page 6: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/6.jpg)
Problems related to Automorphisms / Isomorphisms• Ring Automorphism: Given a ring R,
does it have a non-trivial automorphism?
• Ring Isomorphism: Given two rings R, S, are they isomorphic?– The functional versions of above two
require one to find a morphism.• Automorphism Testing: Given a ring
R and a function : R R, is an automorphism?
![Page 7: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/7.jpg)
Representations of Finite Rings
• We consider finite commutative rings with identity.
• These rings have three main representations:– Table representation– Basis representation– Polynomial representation
![Page 8: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/8.jpg)
Table Representation
• The ring R is given as– (e1, e2, …, en) – the set of elements in R
– The table of addition operation– The table of multiplication operation
• The size of representation is Θ(|R|2).
![Page 9: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/9.jpg)
Table Representation: Complexity
• Problems related to automorphisms can be computed in time O(nlog n):– The ring has O(log n)-sized generator
set under addition.– An automorphism maps a generator set
to another.
• Too verbose!
![Page 10: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/10.jpg)
Basis Representation
• The ring R is given as– (b1, m1, b2, m2, …, bn, mn) where b1, …, bn
is a generator set for R under addition and mi is the order of bi.
– The table of multiplication operation for generators: bi * bj = 1≤k≤n ijk bk.
• The size of representation is Θ(n3) = O(log |R|)3 – exponentially smaller than table representation.
![Page 11: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/11.jpg)
Basis Representation: Complexity
• Problems related to automorphisms are in the class FPAM coAM [Kayal-Saxena,2004]:– An automorphism/isomorphism is a
linear map on additive generator set.– So guess-and-verify technique works.– A variant of Graph Isomorphism in coAM
proof works.
![Page 12: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/12.jpg)
Polynomial Representation
• The ring R is given as– Zm[X1, …, Xn] / (f1, …, fk) where X1, …, Xn is a
generator set for R under addition and multiplication and (f1, …, fk) is the ideal of polynomials satisfied by X1, …, Xn.
– Each fi is given as an arithmetic circuit.
• The size of representation can be exponentially smaller than basis representation:– Example: F2[X1, …, Xn] / (X1
2, …, Xn2)
![Page 13: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/13.jpg)
Polynomial Representation: Complexity
• Problems related to automorphisms are NP-hard:– An automorphism is completely specified by its
action on X1, …, Xn.
– Verifying membership in the ideal (f1, …, fk) can be hard (EXPSPACE-complete in general).
– Ring Automorphism problem is NP-hard.– Ring Isomorphism problem is coNP-hard.
• Too compact!
![Page 14: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/14.jpg)
• So the best representation, from the complexity perspective, is basis representation.
• Often, basis and polynomial representations have similar sizes.– In such cases, we use polynomial
representation as it is most natural one.
![Page 15: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/15.jpg)
Application to Primality Testing
![Page 16: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/16.jpg)
Automorphism Testing Primality Testing
Fermat’s Little Theorem: If n is prime then the map (x) = xn (mod n) is the trivial automorphism of ring Zn.
• Converse is not true.• Even if it were, it is expensive to test
that the map is indeed an automorphism.
• These problems can be eliminated!
![Page 17: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/17.jpg)
Automorphism Testing Primality Testing
• Let R = Zn[Y] / (Yr – 1) for some r > 0 and define : R R as (x) = xn.
Observation: is an automorphism of R iff for every g(Y) R,
gn(Y) = (g(Y)) = g((Y)) = g(Yn).
![Page 18: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/18.jpg)
Automorphism Testing Primality Testing
[A-Kayal-Saxena,2002]: For suitably chosen “small” r, if (Y + a)n = Yn + a in R for 1 ≤ a ≤ √r log n, then either n is prime or has a divisor < r.
• Above is a slight generalization of the original statement.
![Page 19: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/19.jpg)
Automorphism Testing Primality Testing
• Let ring S = Zn[Y] / (Y2r – Yr).
• The AKS theorem translates to:
Theorem: (1) n is prime iff is an automorphism in S.(2) is an automorphism in S iff (Y + a) = (Y) + a for 1 ≤ a ≤ √r log n.
![Page 20: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/20.jpg)
Application to Polynomial Factoring
![Page 21: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/21.jpg)
Automorphism Testing Polynomial Factoring
• Let f be a polynomial of degree d in Fq[Y].
• Let R = Fq[Y] / (f) and (x) = xq.
Observation: (1) is an automorphism in R and d is the trivial automorphism.(2) k is trivial iff degrees of all irreducible factors of f divide k.(3) k is trivial iff Yqk = k(Y) = Y.
![Page 22: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/22.jpg)
Automorphism Testing Polynomial Factoring
• This allows to test for irreducibility of f as well as separate distinct degree factors of f:
– For k = 1 to d do: compute gcd(f, Yqk – Y).
![Page 23: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/23.jpg)
Automorphism Testing Polynomial Factoring
• Finding equal degree factors of f can be reduced to finding roots of a related polynomial in Fq:
– Find a t(Y) R \ Fq, with (t(Y)) = t(Y). [use linear algebra]
– Let g(x) = Res( t(Y) – x, f(Y) ).– For a root α of g, gcd( t(Y) – α, f(Y) ) is
non-trivial.
![Page 24: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/24.jpg)
Automorphism Testing Polynomial Factoring
• Roots of g can be computed using distinct degree factorization method.
• Works in randomized polynomial time.
![Page 25: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/25.jpg)
Application to Integer Factoring
![Page 26: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/26.jpg)
Finding Ring Automorphism Integer Factoring
• Quadratic Sieve, Number Field Sieve: the fastest two known method for factoring integers.
• Both aim to find a and b in Zn, a ≠ ± b, a2 = b2 (mod n).
• Given such a and b, gcd(a+b, n) is non-trivial.
These methods are equivalent to finding an automorphism in a special ring.
![Page 27: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/27.jpg)
Finding Ring Automorphism Integer Factoring
• Let R = Zn[Y] / (Y2 – 1) for odd n.
Observation: x x and x –x are two straightforward automorphisms in R.
Lemma: Let be any automorphism of R. Then, (Y) = cY with c2 = 1 (mod n).
![Page 28: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/28.jpg)
Finding Ring Automorphism Integer Factoring
Proof: Let (Y) = cY + d. Then,0 = (Y2 – 1) = (cY+d)2 – 1
= 2cdY + c2 + d2 – 1.Since is an automorphism, (c, n) = 1. Thus, d = 0 and c2 = 1 in Zn. □
So for any third automorphism, c ≠ ± 1. Therefore, finding a third automorphism is equivalent to factoring n.
![Page 29: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/29.jpg)
Finding Ring Automorphism Integer Factoring
• Conversely, finding ring automorphism can be reduced to integer factoring.
• [Kayal-Saxena,2004] showed how:– Given ring R, split it as a sum of local
rings using integer and polynomial factoring oracles.
– For each local ring, it is easy to find a non-trivial automorphism if it exists.
![Page 30: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/30.jpg)
Finding Ring Automorphism Integer Factoring
• There are many other connections too.• [Kayal-Saxena,2004] showed that
integer factoring reduces to:– Counting number of automorphisms of
Zn[Y] / (Y2).– Finding any non-trivial automorphism of
Zn[Y] / (f), f a random degree 3 poly.– Finding any isomorphism between Zn[Y] /
(Y2-1) and Zn[Y] / (Y2-a2), a randomly chosen from Zn.
![Page 31: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/31.jpg)
Application to Graph Isomorphism
![Page 32: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/32.jpg)
Ring Isomorphism Graph Isomorphism
• Shown in [Kayal-Saxena,2004].• Here, we give a different, more general
proof.• Let G = (V, E) be a graph on n vertices.• Define polynomial pG as:
pG(x1,…,xn) = (i,j)E xi xj.
• Define polynomial ideal IG as:
IG(x1,…,xn) = (pG(x1,…,xn), {xi
2}1 ≤ i ≤ n, {xixjxk}1 ≤ i < j < k ≤ n).
![Page 33: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/33.jpg)
Ring Isomorphism Graph Isomorphism
• Let Rq,G = Fq[Y1,…,Yn] / IG(Y1,…,Yn).
Theorem: Graphs G1 and G2 are isomorphic iff either G1 = G2 = Km Dn-
m or rings Rq,G1 and Rq,G2
are isomorphic.
Here, Dn-m is a collection of n-m isolated vertices and q any odd prime power.
![Page 34: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/34.jpg)
Ring Isomorphism Graph Isomorphism
Proof: If the graphs are isomorphic via , the rings are isomorphic via (Yi) = Y(i).
Suppose the rings are isomorphic and G2 ≠ Km Dn-m for any m.
Let be an isomorphism,Yi) = ai + 1 ≤ j ≤ n bijYj + 1 ≤ j < k ≤ n cijk
YjYk
![Page 35: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/35.jpg)
Ring Isomorphism Graph Isomorphism
Since (Yi)2 = (Yi2) = 0:
0 = (Yi)2 = ai2 + higher degree terms,
implying that ai = 0.
So:0 = (Yi)2 = 2 1 ≤ j < k ≤ n bijbik YjYk.
![Page 36: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/36.jpg)
Ring Isomorphism Graph Isomorphism
If two or more bi’s are non-zero, pG2 must
divide (Y)2.This implies G2 = Km Dn-m. Not possible.
If all bi’s are zero then (YiYt) = 0. Not possible.
So, exactly one of bi’s is non-zero.
![Page 37: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/37.jpg)
Ring Isomorphism Graph Isomorphism
Let (i) = j where bij is non-zero.
If (i) = (t), then (YiYt) = 0. Not possible.
So is a permutation on [1,n].
![Page 38: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/38.jpg)
Ring Isomorphism Graph Isomorphism
Also:
0 = (pG1) = (i,j)E1
(Yi)(Yj)
= (i,j)E1 bi,(i)bj,(j) YiYj.
So pG2 must divide above.
This means (pG1) is a constant multiple of
pG2 implying that is an isomorphism.
![Page 39: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/39.jpg)
Application to Polynomial Equivalence
![Page 40: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/40.jpg)
Polynomial Equivalence
The Problem: Given two polynomials f and g in F[x1,…,xn], test if there exists an invertible linear transformation T such that
g(x1,…,xn) = f(Tx1,…,Txn).
• [Thierauf,1998] proved it is in NP coAM when T is required to be a permutation.
• His proof works for arbitrary linear transformations too.
![Page 41: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/41.jpg)
Polynomial Equivalence
• Polynomial equivalence for d-forms (homogeneous polynomials of degree d) is well-studied.
• Witt’s theorem [1936] implies a polynomial time algorithm for quadratic forms.
• No such algorithm is known for cubic forms.• There is even a cryptosystem based on
(presumed) difficulty of deciding equivalence between collections of cubic forms.
![Page 42: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/42.jpg)
Polynomial Equivalence Ring Isomorphism
Theorem: Ring Isomorphism for rings of prime characteristic reduces to Polynomial Equivalence.
Proof: Let R and S be two rings given in basis representation:
R = (b1,p,…,bn,p), bibj = 1 ≤ k ≤ n ijk bk
S = (d1,p,…,dn,p), did
j = 1 ≤ k ≤ n ijk dk
![Page 43: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/43.jpg)
Polynomial Equivalence Ring Isomorphism
Define polynomial pR(y,b) as:
pR(y,b) = 1≤i≤j≤ n yij (bibj - 1≤k≤ n ijk bk).
Similarly define polynomial pS(z,d).
Claim: If R and S are isomorphic, then pR and pS are equivalent.
Proof: Let be an isomorphism between R and S.
![Page 44: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/44.jpg)
Polynomial Equivalence Ring Isomorphism
Then (bibj - 1≤k≤n ijk bk) = 0 in S.
This implies that bibj - 1≤k≤nijkbk) = l,m ijlm(dldm - 1≤k≤nlmkdk).
Therefore, the T that extends to yij’s as:
T(ij ijlm yij) = zlm
is an equivalence between the polynomials.
![Page 45: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/45.jpg)
Polynomial Equivalence Ring Isomorphism
Claim: If pR and pS are equivalent then R and S are isomorphic.
Proof: Let T be an equivalence. Then:1≤i≤j≤n T(yij) T(bibj - 1≤k≤ n ijk bk) =
1≤i≤j≤n zij (didj - 1≤k≤ n ijk dk).
By comparing degrees, we get:1≤i≤j≤n T(yij) T(bibj) = 1≤i≤j≤ n zijdidj.
![Page 46: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/46.jpg)
Polynomial Equivalence Ring Isomorphism
We first show that T(bi) is a linear combination of only d’s.
Suppose not. Let T(b1) include z11.
Set z11 to make T(b1) zero. This gives:
1<i≤j≤n T(yij) T(bibj) = 1≤i≤j≤n, j>1 zij (quad d’s) + (cubic d’s).
![Page 47: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/47.jpg)
Polynomial Equivalence Ring Isomorphism
Notice that LHS has only n(n-1)/2 terms left while RHS has n(n+1)/2 – 1 z’s.
For each term on LHS, if any of its component has a z-variable in it, set that variable to make the component zero.
Continuing this way, by setting at most 1+n(n-1)/2 z-variables, LHS is independent of z’s. But RHS still has n-1 unset z-variables. Contradiction.
![Page 48: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/48.jpg)
Polynomial Equivalence Ring Isomorphism
So each T(bi) has only d’s. The equation is:
1≤i≤j≤n T(yij) T(bibj - 1≤k≤n ijk bk) = 1≤i≤j≤n zij (didj - 1≤k≤n ijk dk).
Since there are no cubic d’s in RHS, we can ignore d’s in T(yij).
Suppose that T(bibj - 1≤k≤n ijk bk) is not in S.
![Page 49: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/49.jpg)
Polynomial Equivalence Ring Isomorphism
Then, in S:T(bibj - 1≤k≤n ijk bk) = k ijk dk.
Therefore, 1≤i≤j≤n ijk T(yij) = 0 in S. This is not possible since T is invertible on y’s.
Therefore, T restricted to b’s is an isomorphism from R to S.
![Page 50: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/50.jpg)
Other Connections
• Similar, more involved, proof shows that Graph Isomorphism reduces to cubic form equivalence.
• d-form equivalence over Fq with (d, q-1) = 1, reduces to Ring Isomorphism for constant d.
![Page 51: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/51.jpg)
Open Questions
![Page 52: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/52.jpg)
• Can one find connections with problems like discrete-log?
• Can one show that Ring Isomorphism reduces to cubic form equivalence?
– Our proof only reduces to degree 3 polynomials.
![Page 53: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/53.jpg)
• Most of the effort in Integer Factoring has been concentrated on the ring Zn[Y] / (Y2 – 1).
– Can taking the problem to other rings help?
– [Kayal-Saxena,2004] provide some alternative rings.
![Page 54: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/54.jpg)
• We reduce Graph Isomorphism to cubic form equivalence (over any field).
• Is the theory of cubic forms of any help in solving Graph Isomorphism?
![Page 55: Automorphisms of Finite Rings and Applications to Complexity of Problems Manindra Agrawal NUS / IITK.](https://reader036.fdocuments.us/reader036/viewer/2022081515/56649db65503460f94aa7ba2/html5/thumbnails/55.jpg)
Thank you!