Monotone circuits for monotone weighted threshold functions

Amos Beimel, Enav Weinreb

Research output: Contribution to journalArticlepeer-review

26 Scopus citations

Abstract

Weighted threshold functions with positive weights are a natural generalization of unweighted threshold functions. These functions are clearly monotone. However, the naive way of computing them is adding the weights of the satisfied variables and checking if the sum is greater than the threshold; this algorithm is inherently non-monotone since addition is a non-monotone function. In this work we by-pass this addition step and construct a polynomial size logarithmic depth unbounded fan-in monotone circuit for every weighted threshold function, i.e., we show that weighted threshold functions are in mAC1. (To the best of our knowledge, prior to our work no polynomial monotone circuits were known for weighted threshold functions.) Our monotone circuits are applicable for the cryptographic tool of secret sharing schemes. Using general results for compiling monotone circuits (Yao, 1989) and monotone formulae (Benaloh and Leichter, 1990) into secret sharing schemes, we get secret sharing schemes for every weighted threshold access structure. Specifically, we get: (1) information-theoretic secret sharing schemes where the size of each share is quasi-polynomial in the number of users, and (2) computational secret sharing schemes where the size of each share is polynomial in the number of users.

Original languageEnglish
Pages (from-to)12-18
Number of pages7
JournalInformation Processing Letters
Volume97
Issue number1
DOIs
StatePublished - 16 Jan 2006

Keywords

  • Computational complexity
  • Cryptography
  • Parallel algorithms
  • Theory of computation

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Signal Processing
  • Information Systems
  • Computer Science Applications

Fingerprint

Dive into the research topics of 'Monotone circuits for monotone weighted threshold functions'. Together they form a unique fingerprint.

Cite this