Department of Mathematics
 Search | Help | Login | pdf version | printable version

Math @ Duke



Publications [#348676] of Benjamin Rossman

Papers Published

  1. Rossman, B, Subspace-invariant AC0 formulas, Leibniz International Proceedings in Informatics, Lipics, vol. 80 (July, 2017), ISBN 9783959770415 [doi]
    (last updated on 2023/06/01)

    The n-variable PARITY function is computable (by a well-known recursive construction) by AC0 formulas of depth d + 1 and leafsize n·2dn1/d. These formulas are seen to possess a certain symmetry: they are syntactically invariant under the subspace P of even-weight elements in {0, 1}n, which acts (as a group) on formulas by toggling negations on input literals. In this paper, we prove a 2d(n1/d-1) lower bound on the size of syntactically P-invariant depth d + 1 formulas for PARITY. Quantitatively, this beats the best 2ω(d(n1/d-1)) lower bound in the noninvariant setting [16].
ph: 919.660.2800
fax: 919.660.2821

Mathematics Department
Duke University, Box 90320
Durham, NC 27708-0320