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
基金
美国国家科学基金会;
关键词
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 条
  • [21] Lower bounds on Tuza constants for transversals in linear uniform hypergraphs
    Henning, Michael A.
    Yeo, Anders
    DISCRETE APPLIED MATHEMATICS, 2021, 304 : 12 - 22
  • [22] Lower bounds of projection weighted symmetric discrepancy on uniform designs
    Zheng, Hao
    Fu, Kang
    Xiao, Yao
    AUSTRALIAN & NEW ZEALAND JOURNAL OF STATISTICS, 2025,
  • [23] Monotone Projection Lower Bounds from Extended Formulation Lower Bounds
    Grochow, Joshua A.
    THEORY OF COMPUTING, 2017, 13 : 1 - 15
  • [24] Randomness vs time: Derandomization under a uniform assumption
    Impagliazzo, R
    Wigderson, A
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2001, 63 (04) : 672 - 688
  • [25] A Reduction from Linear Contextual Bandits Lower Bounds to Estimations Lower Bounds
    He, Jiahao
    Zhang, Jiheng
    Zhang, Rachel Q.
    INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 162, 2022,
  • [26] Classical lower bounds from quantum upper bounds
    Ben-David, Shalev
    Bouland, Adam
    Garg, Ankit
    Kothari, Robin
    2018 IEEE 59TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS), 2018, : 339 - 349
  • [27] Sharp lower bounds for the spectral radius of uniform hypergraphs concerning degrees
    Kang, Liying
    Liu, Lele
    Shan, Erfang
    ELECTRONIC JOURNAL OF COMBINATORICS, 2018, 25 (02):
  • [28] Exponential lower bounds for the number of words of uniform length avoiding a pattern
    Bell, Jason P.
    Goh, Teow Lim
    INFORMATION AND COMPUTATION, 2007, 205 (09) : 1295 - 1306
  • [29] GUARANTEED UPPER AND LOWER BOUNDS ON THE UNIFORM LOAD OF CONTACT PROBLEMS IN ELASTICITY
    Mihai, L. Angela
    Goriely, Alain
    SIAM JOURNAL ON APPLIED MATHEMATICS, 2016, 76 (04) : 1558 - 1576
  • [30] LEARN-Uniform Circuit Lower Bounds and Provability in Bounded Arithmetic
    Carmosino, Marco
    Kabanets, Valentine
    Kolokolova, Antonina
    Oliveira, Igor C.
    2021 IEEE 62ND ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS 2021), 2022, : 770 - 780