Uniform derandomization from pathetic lower bounds

被引:2
|
作者
Allender, Eric [1 ]
Arvind, V. [2 ]
Santhanam, Rahul [3 ]
Wang, Fengming [1 ]
机构
[1] Rutgers State Univ, Dept Comp Sci, New Brunswick, NJ 08855 USA
[2] Inst Math Sci, Madras 600113, Tamil Nadu, India
[3] Univ Edinburgh, Sch Informat, Edinburgh EH8 9AD, Midlothian, Scotland
来源
PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES | 2012年 / 370卷 / 1971期
基金
美国国家科学基金会;
关键词
computational complexity; derandomization; circuit complexity; ARITHMETIC CIRCUITS; PSEUDORANDOM GENERATORS; THRESHOLD CIRCUITS; HITTING SETS; RANDOMNESS; FORMULAS; HARDNESS; COMPUTATION; COMPLEXITY; TRADEOFFS;
D O I
10.1098/rsta.2011.0318
中图分类号
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号
07 ; 0710 ; 09 ;
摘要
The notion of probabilistic computation dates back at least to Turing, who also wrestled with the practical problems of how to implement probabilistic algorithms on machines with, at best, very limited access to randomness. A more recent line of research, known as derandomization, studies the extent to which randomness is superfluous. A recurring theme in the literature on derandomization is that probabilistic algorithms can be simulated quickly by deterministic algorithms, if one can obtain impressive (i.e. superpolynomial, or even nearly exponential) circuit size lower bounds for certain problems. In contrast to what is needed for derandomization, existing lower bounds seem rather pathetic. Here, we present two instances where 'pathetic' lower bounds of the form n(1+epsilon) would suffice to derandomize interesting classes of probabilistic algorithms. We show the following: - If the word problem over S-5 requires constant-depth threshold circuits of size n(1+epsilon) for some epsilon > 0, then any language accepted by uniform polynomial size probabilistic threshold circuits can be solved in subexponential time (and, more strongly, can be accepted by a uniform family of deterministic constant-depth threshold circuits of subexponential size). - If there are no constant-depth arithmetic circuits of size n(1+epsilon) for the problem of multiplying a sequence of n 3 x 3 matrices, then, for every constant d, black-box identity testing for depth-d arithmetic circuits with bounded individual degree can be performed in subexponential time (and even by a uniform family of deterministic constant-depth AC(0) circuits of subexponential size).
引用
收藏
页码:3512 / 3535
页数:24
相关论文
共 50 条
  • [11] Lower bounds for the Aα-spectral radius of uniform hypergraphs
    Zhang, Peng-Li
    Zhang, Xiao-Dong
    LINEAR ALGEBRA AND ITS APPLICATIONS, 2021, 631 : 308 - 327
  • [12] Uniform lower bounds on the dimension of Bernoulli convolutions
    Kleptsyn, V
    Pollicott, M.
    Vytnova, P.
    ADVANCES IN MATHEMATICS, 2022, 395
  • [13] Easiness Amplification and Uniform Circuit Lower Bounds
    Murray, Cody D.
    Williams, R. Ryan
    32ND COMPUTATIONAL COMPLEXITY CONFERENCE (CCC 2017), 2017, 79
  • [14] Sharp lower bounds on the extractable randomness from non-uniform sources
    Skoric, Boris
    Obi, Chibuzo
    Verbitskiy, Evgeny
    Schoenmakers, Berry
    INFORMATION AND COMPUTATION, 2011, 209 (08) : 1184 - 1196
  • [15] Non-Uniform ACC Circuit Lower Bounds
    Williams, Ryan
    2011 IEEE 26TH ANNUAL CONFERENCE ON COMPUTATIONAL COMPLEXITY (CCC), 2011, : 115 - 125
  • [16] Respecting Lower Bounds in Uniform Lower and Upper Bounded Facility Location Problem
    Gupta, Neelima
    Grover, Sapna
    Dabas, Rajni
    COMPUTING AND COMBINATORICS (COCOON 2021), 2021, 13025 : 463 - 475
  • [17] Time-space lower bounds for SAT on uniform and non-uniform machines
    Tourlakis, I
    15TH ANNUAL IEEE CONFERENCE ON COMPUTATIONAL COMPLEXITY, PROCEEDINGS, 2000, : 22 - 33
  • [18] Lower Bounds Against Weakly-Uniform Threshold Circuits
    Ruiwen Chen
    Valentine Kabanets
    Jeff Kinne
    Algorithmica, 2014, 70 : 47 - 75
  • [19] Lower Bounds Against Weakly-Uniform Threshold Circuits
    Chen, Ruiwen
    Kabanets, Valentine
    Kinne, Jeff
    ALGORITHMICA, 2014, 70 (01) : 47 - 75
  • [20] Lower Bounds for Uniform Machine Scheduling Using Decision Diagrams
    van den Bogaerdt, Pim
    de Weerdt, Mathijs
    INTEGRATION OF CONSTRAINT PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND OPERATIONS RESEARCH, CPAIOR 2019, 2019, 11494 : 565 - 580