Honest compressions and their application to compression schemes

Roi Livni, Pierre Simon

Research output: Contribution to journalConference articlepeer-review


The existence of a compression scheme for every concept class with bounded VC-dimension is one of the oldest open problems in statistical learning theory. Here we demonstrate the existence of such compression schemes under stronger assumptions than finite VC-dimension. Specifically, for each concept class we associate a family of concept classes that we call the alternating concept classes. Under the assumption that these concept classes have bounded VC-dimension, we prove existence of a compression scheme. This result is motivated by recent progress in the field of model theory with respect to an analogues problem. In fact, our proof can be considered as a constructive proof of these advancements. This means that we describe the reconstruction function explicitly. Not less important, the theorems and proofs we present are in purely combinatorial terms and are available to the reader who is unfamiliar with model theory. Also, using tools from model theory, we apply our results and prove existence of compression schemes in interesting cases such as concept classes defined by hyperplanes, polynomials, exponentials, restricted analytic functions and compositions, additions and multiplications of all of the above.

Original languageEnglish
Pages (from-to)77-92
Number of pages16
JournalJournal of Machine Learning Research
StatePublished - 2013
Externally publishedYes
Event26th Conference on Learning Theory, COLT 2013 - Princeton, NJ, United States
Duration: 12 Jun 201314 Jun 2013


  • Compression Conjecture
  • Compression Scheme
  • NIP Structures

All Science Journal Classification (ASJC) codes

  • Software
  • Control and Systems Engineering
  • Statistics and Probability
  • Artificial Intelligence


Dive into the research topics of 'Honest compressions and their application to compression schemes'. Together they form a unique fingerprint.

Cite this