English
Related papers

Related papers: Pseudorandom Bits for Oblivious Branching Programs

200 papers

We propose a method for program generation based on semantic scaffolds, lightweight structures representing the high-level semantic and syntactic composition of a program. By first searching over plausible scaffolds then using these as…

Computation and Language · Computer Science 2020-05-13 Ruiqi Zhong , Mitchell Stern , Dan Klein

Goldreich suggested candidates of one-way functions and pseudorandom generators included in $\mathsf{NC}^0$. It is known that randomly generated Goldreich's generator using $(r-1)$-wise independent predicates with $n$ input variables and…

Cryptography and Security · Computer Science 2014-06-03 Ryuhei Mori , Takeshi Koshiba , Osamu Watanabe , Masaki Yamamoto

The paper investigates the computational problem of predicting RNA secondary structures. The general belief is that allowing pseudoknots makes the problem hard. Existing polynomial-time algorithms are heuristic algorithms with no…

Computational Engineering, Finance, and Science · Computer Science 2007-05-23 Samuel Ieong , Ming-Yang Kao , Tak-Wah Lam , Wing-Kin Sung , Siu-Ming Yiu

A monotone Boolean (OR,AND) circuit computing a monotone Boolean function f is a read-k circuit if the polynomial produced (purely syntactically) by the arithmetic (+,x) version of the circuit has the property that for every prime implicant…

Computational Complexity · Computer Science 2023-11-23 Stasys Jukna

This paper introduces a new family of reconstruction codes which is motivated by applications in DNA data storage and sequencing. In such applications, DNA strands are sequenced by reading some subset of their substrings. While previous…

Information Theory · Computer Science 2022-05-10 Yonatan Yehezkeally , Daniella Bar-Lev , Sagi Marcovich , Eitan Yaakobi

As DNA data storage moves closer to practical deployment, minimizing sequencing coverage depth is essential to reduce both operational costs and retrieval latency. This paper addresses the recently studied Random Access Problem, which…

Information Theory · Computer Science 2026-01-13 Chen Wang , Eitan Yaakobi

We present a general approach connecting biased Maker-Breaker games and problems about local resilience in random graphs. We utilize this approach to prove new results and also to derive some known results about biased Maker-Breaker games.…

Combinatorics · Mathematics 2015-09-11 Asaf Ferber , Michael Krivelevich , Humberto Naves

We introduce a protocol through which a pair of quantum mechanical devices may be used to generate n bits of true randomness from a seed of O(log n) uniform bits. The bits generated are certifiably random based only on a simple statistical…

Quantum Physics · Physics 2011-11-28 Umesh V. Vazirani , Thomas Vidick

The analysis of the decoding failure rate of the bit-flipping algorithm has received increasing attention. For a binary linear code we consider the minimum number of rows in a parity-check matrix such that the bit-flipping algorithm is able…

Information Theory · Computer Science 2024-02-05 Jens Zumbrägel

In this paper, we present exact exponential algorithms for computing branchwidth that are fast both in theory and in practice. The running times of these algorithms are single-exponential in the number of vertices. Our basic algorithm is…

Data Structures and Algorithms · Computer Science 2026-05-19 Taiki Kaneda , Yasuaki Kobayashi , Hisao Tamaki

We consider oblivious transfer protocols performed over binary symmetric channels in a malicious setting where parties will actively cheat if they can. We provide constructions purely based on coding theory that achieve an explicit positive…

Information Theory · Computer Science 2020-09-01 Frédérique Oggier , Gilles Zémor

Quasi-interpretations are a technique to guarantee complexity bounds on first-order functional programs: with termination orderings they give in particular a sufficient condition for a program to be executable in polynomial time, called…

Programming Languages · Computer Science 2007-05-23 Patrick Baillot , Ugo Dal Lago , Jean-Yves Moyen

We develop a framework for approximation limits of polynomial-size linear programs from lower bounds on the nonnegative ranks of suitably defined matrices. This framework yields unconditional impossibility results that are applicable to any…

Computational Complexity · Computer Science 2014-05-20 Gábor Braun , Samuel Fiorini , Sebastian Pokutta , David Steurer

Parallel supercomputer-based Monte Carlo applications depend on pseudorandom number generators that produce independent pseudorandom streams across many separate processes. We propose a new scalable class of parallel pseudorandom number…

Computational Physics · Physics 2015-02-03 Paul D. Beale

We study the task of list-decodable linear regression using batches. A batch is called clean if it consists of i.i.d. samples from an unknown linear regression distribution. For a parameter $\alpha \in (0, 1/2)$, an unknown…

Machine Learning · Computer Science 2025-03-14 Ilias Diakonikolas , Daniel M. Kane , Sushrut Karmalkar , Sihan Liu , Thanasis Pittas

We study the improper learning of multi-layer neural networks. Suppose that the neural network to be learned has $k$ hidden layers and that the $\ell_1$-norm of the incoming weights of any neuron is bounded by $L$. We present a kernel-based…

Machine Learning · Computer Science 2015-10-14 Yuchen Zhang , Jason D. Lee , Michael I. Jordan

We show that the class of strongly connected graphical models with treewidth at most k can be properly efficiently PAC-learnt with respect to the Kullback-Leibler Divergence. Previous approaches to this problem, such as those of Chow ([1]),…

Machine Learning · Computer Science 2012-07-19 Mukund Narasimhan , Jeff A. Bilmes

Various specifiable combinatorial structures, with d extensive parameters, can be exactly sampled both by the recursive method, with linear arithmetic complexity if a heavy preprocessing is performed, or by the Boltzmann method, with…

Data Structures and Algorithms · Computer Science 2013-07-09 Frederique Bassino , Andrea Sportiello

Miller et al. \cite{MPVX15} devised a distributed\footnote{They actually showed a PRAM algorithm. The distributed algorithm with these properties is implicit in \cite{MPVX15}.} algorithm in the CONGEST model, that given a parameter $k =…

Data Structures and Algorithms · Computer Science 2017-02-07 Michael Elkin , Ofer Neiman

We give improved pseudorandom generators (PRGs) for Lipschitz functions of low-degree polynomials over the hypercube. These are functions of the form psi(P(x)), where P is a low-degree polynomial and psi is a function with small Lipschitz…

Computational Complexity · Computer Science 2012-11-07 Daniel Kane , Raghu Meka