Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



REPORTS > DETAIL:

Revision(s):

Revision #1 to TR18-135 | 12th June 2019 09:05

Variants of Homomorphism Polynomials Complete for Algebraic Complexity Classes

RSS-Feed




Revision #1
Authors: Prasad Chaugule, Nutan Limaye, Aditya Varre
Accepted on: 12th June 2019 09:05
Downloads: 520
Keywords: 


Abstract:

We present polynomial families complete for the well-studied algebraic complexity classes VF, VBP, VP, and VNP. The polynomial families are based on the homomorphism polynomials studied in the recent works of Durand et al. (2014) and Mahajan et al. (2016). We consider three different variants of graph homomorphisms, namely injective homomorphisms, directed homomorphisms and injective directed homomorphisms and obtain polynomial families complete for VF, VBP, VP, and VNP under each one of these. The polynomial families have the following properties:
* The polynomial families complete for VF, VBP, and VP are model independent, i.e. they do not use a particular instance of a formula, ABP or circuit for characterising VF, VBP, or VP, respectively.
* All the polynomial families are hard under $p$-projections.



Changes to previous version:

*We have added one more polynomial family complete for VP.
*This family is essentially a generalisation of a polynomial family in the previous version.


Paper:

TR18-135 | 31st July 2018 20:11

Variants of Homomorphism Polynomials Complete for Algebraic Complexity Classes





TR18-135
Authors: Prasad Chaugule, Nutan Limaye, Aditya Varre
Publication: 31st July 2018 21:02
Downloads: 1093
Keywords: 


Abstract:

We present polynomial families complete for the well-studied algebraic complexity classes VF, VBP, VP, and VNP. The polynomial families are based on the homomorphism polynomials studied in the recent works of Durand et al. (2014) and Mahajan et al. (2016). We consider three different variants of graph homomorphisms, namely injective homomorphisms, directed homomorphisms and injective directed homomorphisms and obtain polynomial families complete for VF, VBP, VP, and VNP under each one of these. The polynomial families have the following properties:
* The polynomial families complete for VF, VBP, and VP are model independent, i.e. they do not use a particular instance of a formula, ABP or circuit for characterising VF, VBP, or VP, respectively.
* All the polynomial families are hard under $p$-projections.



ISSN 1433-8092 | Imprint