1 research outputs found
On Blockwise Symmetric Matchgate Signatures and Higher Domain \#CSP
For any and , we prove that the {\sc Equality} function
on variables over a domain of size cannot be realized by
matchgates under holographic transformations. This is a consequence of our
theorem on the structure of blockwise symmetric matchgate signatures. %due to
the rank of the matrix form of the blockwise symmetric standard signatures,
%where is an equality signature on domain . This
has the implication that the standard holographic algorithms based on
matchgates, a methodology known to be universal for \#CSP over the Boolean
domain, cannot produce P-time algorithms for planar \#CSP over any higher
domain