Grolmusz, Vince - A Degree-Decreasing Lemma for (MOD_q-MOD_p) Circuits

dmtcs:289 - Discrete Mathematics & Theoretical Computer Science, January 1, 2001, Vol. 4 no. 2
A Degree-Decreasing Lemma for (MOD_q-MOD_p) Circuits

Authors: Grolmusz, Vince

Consider a (MOD_q,MOD_p) circuit, where the inputs of the bottom MOD_p gates are degree-d polynomials with integer coefficients of the input variables (p, q are different primes). Using our main tool ―- the Degree Decreasing Lemma ―- we show that this circuit can be converted to a (MOD_q,MOD_p) circuit with \emphlinear polynomials on the input-level with the price of increasing the size of the circuit. This result has numerous consequences: for the Constant Degree Hypothesis of Barrington, Straubing and Thérien, and generalizing the lower bound results of Yan and Parberry, Krause and Waack, and Krause and Pudlák. Perhaps the most important application is an exponential lower bound for the size of (MOD_q,MOD_p) circuits computing the n fan-in AND, where the input of each MOD_p gate at the bottom is an \empharbitrary integer valued function of cn variables (c<1) plus an arbitrary linear function of n input variables.


Source : oai:HAL:hal-00958960v1
Volume: Vol. 4 no. 2
Published on: January 1, 2001
Submitted on: March 26, 2015
Keywords: Circuit complexity,modular circuits,composite modulus,Constant Degree Hypothesis,[INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM]


Share

Consultation statistics

This page has been seen 73 times.
This article's PDF has been downloaded 65 times.