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
-
依托单位: