I have a question about a answer of a question which is proposed in this stack exchange.
The Past Question
One of the most basic result in circuit complexity is the constnat depth cirdcuit lower bound computing PARITY function using the switching lemma.
Another popular function MAJORITY has also lower bound $exp (\Omega (n^{1/(d-1)}))$ and matching upper bound $exp (O (n^{2/(d-1)}))$.
My question is about upper bound of Threshold function which is a natural generalization of majority function.
The formal definition of the threshold function is the following one.
DEFINITION:
$THR(x_{1},...,x_{n})= \begin{cases} 1 & a_{1}x_{1}+\cdots +a_{n}x_{n} \geq t \\ 0 & otherwise \end{cases} $
We assume that each weight $a_{i} \in \mathbb{Z}$ is at most $2^{O(n)}$
QUESTION1: The depth $d$ circuit with unbounded fanin AND OR NOT gates to compute the above function has size $2^{n^{\epsilon}}$ ?
Where $\epsilon $ can depend on $d$ like $2^{n^{1/100d}}$ .
Answer
Kristoffer Arnsfelt Hansen said that:
1.$General$ $weight$ $threshold$ $gates$ can be computed by polynomial size depth 2 circuits built from $majority$ $gates$. An efficient construction of this is e.g. given by Amano and Maruoka. Then you can just compute each of these by constant depth circuits built from AND and OR gates.
My Question
$majority$ $gates$ is a monotone gate which is computes a monotone function. A monotone functin does not decreace its function value by increasing the number of "1"s in the input 0-1 bit string. However, $General$ $weight$ $threshold$ $gates$ is NOT a monotone function. For example, we can check the function which output 1 if and only if $2x_{1} -5x_{2} + 3x_{3} \geq 3.5$ is not a monotone function because increasing the value of $x_{2}$ brokes the monotone property.
My question is :
For a givern arbitrary threshold function $THR:\{0,1\}^{n}\rightarrow \{0,1\}$ with arbitrary real number weights and with no monotonicity, can we construct a constant depth circuit with $poly(n)$ threshold gates such that for any gate, any weight of the gate is integer number and is at most $poly(\Delta) $, where $\Delta$ is fan-in of the gate?
