Proving and Using Pseudorandomness
Proving and Using Pseudorandomness
批准号:
1639631
负责人:
Richard Karp
金额:
$2.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2016
资助国家:
美国
项目状态:
已结题
起止时间:
2016-07-01 至 2017-06-30
中文摘要
伪随机和准随机的概念已经在理论计算机科学、组合学和数论(包括复杂性理论、密码学、图论、加性组合学和解析数论)的几个领域得到了发展和研究,以回答以下问题。固定对象“随机化”意味着什么?是否有可能将使用概率方法的存在证明转化为明确的结构?是否有可能确定性地模拟随机算法?将质数视为随机整数集的启发式论证何时能变成严格的证明?在加性组合的情况下,质数必须满足的最小测试集是什么,以保证它们包含等差数列(或其他结构)?在一个非常高的层次上,这些概念的吸引力在于,人们可以很容易地证明某些属性对于随机对象是正确的,使用概率方法,然后将这些属性转移到伪随机对象,只要伪随机对象是“傻瓜”。概率技术。本次研讨会的一个主题将是如何利用弱伪随机属性,愚弄简单的测试类,以获得与更复杂的测试相关的更强的伪随机属性。研讨会将探索处于前沿的伪随机对象的无条件构造,例如用于小空间计算的伪随机生成器,具有模块化门的小深度电路,阈值电路和析取范式的公式。研讨会将汇集复杂性理论家、组合数学家、数论家、概率论家和算法设计师,他们对伪随机性的基础和应用感兴趣。研讨会将向所有潜在参与者开放,研讨会成果(包括演讲录像)将向公众发布,以征求意见和参与。组织者将鼓励学生参加研讨会,并将积极招募来自不同背景的科学家,为广泛的应用做出贡献。
英文摘要
Notions of pseudorandomness and quasirandomness have been developed and investigated in several areas of theoretical computer science, combinatorics and number theory (including complexity theory, cryptography, graph theory, additive combinatorics and analytic number theory) to answer such questions such as the following. What does it mean for a fixed object to be "random-like"? Is it possible to turn existence proofs that use the probabilistic method into explicit constructions? Is it possible to simulate randomized algorithms deterministically? When can heuristic arguments that treat the primes as a random set of integers be turned into rigorous proofs? In the setting of additive combinatorics, what is the minimal set of tests that primes have to satisfy in order to guarantee that they contain arithmetic progressions (or other structures)?At a very high level, the appeal of such notions is that one can easily prove that certain properties are true for random objects, using probabilistic methods, and then transfer such properties to pseudorandom objects, provided that the pseudorandomness ?fools? the probabilistic techniques. A theme of this workshop will be how to leverage weak pseudorandomness properties, fooling simple classes of tests, in order to derive stronger pseudorandomness properties related to more complex tests. The workshop will explore unconditional constructions of pseudorandom objects at the frontier of progress, such as pseudorandom generators for small-space computations, small-depth circuits with modular gates, threshold circuits, and formulas in disjunctive normal form.The workshop will bring together complexity theorists, combinatorial mathematicians, number theorists, probabilists and algorithm designers interested in the foundations and uses of pseudo-randomness. It will be open to all potential participants, and the workshop findings (including videorecordings of presentations) will be distributed to the public for comment and engagement. The organizers will encourage students to attend the workshop, and will actively recruit scientists from a diversity of backgrounds to contribute to a wide range of applications.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Brain and Computation
-
批准号:1744126
-
项目类别:Standard Grant
-
资助金额:$6.0万
-
财政年份:2017
-
负责人:Richard Karp
-
依托单位:
Learning, Algorithm Design and Beyond Worst-Case Analysis
-
批准号:1639629
-
项目类别:Standard Grant
-
资助金额:$2.0万
-
财政年份:2016
-
负责人:Richard Karp
-
依托单位:
Computational Challenges in Machine Learning
-
批准号:1639630
-
项目类别:Standard Grant
-
资助金额:$2.0万
-
财政年份:2016
-
负责人:Richard Karp
-
依托单位:
Optimization and Decision-Making Under Uncertainty
-
批准号:1639628
-
项目类别:Standard Grant
-
资助金额:$2.0万
-
财政年份:2016
-
负责人:Richard Karp
-
依托单位:
Women in Theory 2016
-
批准号:1636967
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:2016
-
负责人:Richard Karp
-
依托单位:
Uncertainty in Computation
-
批准号:1639627
-
项目类别:Standard Grant
-
资助金额:$2.0万
-
财政年份:2016
-
负责人:Richard Karp
-
依托单位:
Connections Between Algorithm Design and Complexity Theory
-
批准号:1540284
-
项目类别:Standard Grant
-
资助金额:$2.5万
-
财政年份:2015
-
负责人:Richard Karp
-
依托单位:
Approximate Counting, Markov Chains and Phase Transitions
-
批准号:1540286
-
项目类别:Standard Grant
-
资助金额:$2.5万
-
财政年份:2015
-
负责人:Richard Karp
-
依托单位:
Network Biology
-
批准号:1540285
-
项目类别:Standard Grant
-
资助金额:$2.5万
-
财政年份:2015
-
负责人:Richard Karp
-
依托单位:
Algorithmic Game Theory and Practice
-
批准号:1540283
-
项目类别:Standard Grant
-
资助金额:$2.5万
-
财政年份:2015
-
负责人:Richard Karp
-
依托单位:
Spectral Algorithms: From Theory to Practice
-
批准号:1443133
-
项目类别:Standard Grant
-
资助金额:$3.0万
-
财政年份:2014
-
负责人:Richard Karp
-
依托单位:
The Mathematics Underlying Cryptography
-
批准号:1443136
-
项目类别:Standard Grant
-
资助金额:$3.0万
-
财政年份:2014
-
负责人:Richard Karp
-
依托单位:
Securing Computation
-
批准号:1443135
-
项目类别:Standard Grant
-
资助金额:$3.0万
-
财政年份:2014
-
负责人:Richard Karp
-
依托单位:
Coding: From Practice to Theory
-
批准号:1443134
-
项目类别:Standard Grant
-
资助金额:$3.0万
-
财政年份:2014
-
负责人:Richard Karp
-
依托单位:
Big Data and Differential Privacy
-
批准号:1346565
-
项目类别:Standard Grant
-
资助金额:$2.5万
-
财政年份:2013
-
负责人:Richard Karp
-
依托单位:
CCF: AF: EAGER: Systematic Construction of Heuristic Algorithms for Combinatorial Optimization Problems in Biology
-
批准号:1052553
-
项目类别:Standard Grant
-
资助金额:$25.94万
-
财政年份:2010
-
负责人:Richard Karp
-
依托单位:
Workshop:Planning for a Cross-Cutting Initiative on Theory of Networked Computation
-
批准号:0601893
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Richard Karp
-
依托单位:
Design and Analysis of Internet Algorithms: Routing, Filtering, Overlay Design and Influence of Heterogeneity
-
批准号:0515259
-
项目类别:Continuing Grant
-
资助金额:$75.0万
-
财政年份:2005
-
负责人:Richard Karp
-
依托单位:
ITR: Analysis of Internet Algorithms: Optimization, Game Theory and Competitive Analysis
-
批准号:0081698
-
项目类别:Continuing Grant
-
资助金额:$49.98万
-
财政年份:2000
-
负责人:Richard Karp
-
依托单位:
Computational Problems in Physical Mapping and Sequencing
-
批准号:9601046
-
项目类别:Continuing Grant
-
资助金额:$72.5万
-
财政年份:1996
-
负责人:Richard Karp
-
依托单位:
国内基金
海外基金
Capture and Release of Droplets Using Advanced Materials for High Technology Applications
-
批准号:52073127
-
项目类别:面上项目
-
资助金额:58.0万元
-
批准年份:2020
-
负责人:Alidad Amirfazli
-
依托单位:
Molecular Interaction Reconstruction of Rheumatoid Arthritis Therapies Using Clinical Data
-
批准号:31070748
-
项目类别:面上项目
-
资助金额:34.0万元
-
批准年份:2010
-
负责人:Christine Nardini
-
依托单位: