Bias Invariance of Small Upper Spans

Extended Abstract
  • Jack H. Lutz
  • Martin J. Strauss
Conference paper

DOI: 10.1007/3-540-46541-3_6

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1770)
Cite this paper as:
Lutz J.H., Strauss M.J. (2000) Bias Invariance of Small Upper Spans. In: Reichel H., Tison S. (eds) STACS 2000. STACS 2000. Lecture Notes in Computer Science, vol 1770. Springer, Berlin, Heidelberg

Abstract

The resource-bounded measures of certain classes of languages are shown to be invariant under certain changes in the underlying probability measure. Specifically, for any real number δ > 0, any polynomial-time computable sequence β = (β0, β1, ...) of biases βi ∈ [δ, 1 − δ], and any class \( \mathcal{C} \) of languages that is closed upwards or downwards under positive, polynomial-time truth-table reductions with linear bounds on number and length of queries, it is shown that the following two conditions are equivalent.
  1. (1)

    \( \mathcal{C} \) has p-measure 0 relative to the probability measure given by β.

     
  2. (2)

    \( \mathcal{C} \) has p-measure 0 relative to the uniform probability measure.

     

The analogous equivalences are established for measure in E and measure in E2. ([5] established this invariance for classes \( \mathcal{C} \) that are closed downwards under slightly more powerful reductions, but nothing was known about invariance for classes that are closed upwards.) The proof introduces two new techniques, namely, the contraction of a martingale for one probability measure to a martingale for an induced probability measure, and a new, improved positive bias reduction of one bias sequence to another. Consequences for the BPP versus E problem and small span theorems are derived.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Jack H. Lutz
    • 1
  • Martin J. Strauss
    • 2
  1. 1.Department of Computer ScienceIowa State UniveristyAmesUSA
  2. 2.AT&T Labs—ResearchFlorham ParkUSA

Personalised recommendations