# Igor Carboni Oliveira

Learn More
• 2014
The study of monotonicity and negation complexity for Boolean functions has been prevalent in complexity theory as well as in computational learning theory, but little attention has been given to it in the cryptographic context. Recently, Goldreich and Izsak (2012) have initiated a study of whether cryptographic primitives can be monotone, and showed that(More)
• 2013
What we'd like: f 2 NP f / 2 P/poly such that. What we'd like: f 2 NP f / 2 P/poly such that. Explicit circuit lower bounds known for very few circuit classes. What we'd like: f 2 NP f / 2 P/poly such that. Explicit circuit lower bounds known for very few circuit classes. Even for low depth circuits of AND, OR, NOT and mod-m gates, a lower bound eluded us(More)
• 1
• Different techniques have been used to prove several transference theorems of the form " non-trivial algorithms for a circuit class C yield circuit lower bounds against C ". In this survey we revisit many of these results. We discuss how circuit lower bounds can be obtained from deran-domization, compression, learning, and satisfiability algorithms. We also(More)
• 2013
Fort now and Klivans proved the following relationship between efficient learning algorithms and circuit lower bounds: if a class of boolean circuits C contained in P/poly of Boolean is exactly learnable with membership and equivalence queries in polynomial-time, then EXP^NP is not contained in C (the class EXP^NP was subsequently improved to EXP by(More)
• 2014
We consider C-compression games, a hybrid model between computational and communication complexity. A C-compression game for a function f : {0, 1} n → {0, 1} is a two-party communication game, where the first party Alice knows the entire input x but is restricted to use strategies computed by C-circuits, while the second party Bob initially has no(More)
• 2015
Let U k,N denote the Boolean function which takes as input k strings of N bits each, representing k numbers a 2 N −1}, and outputs 1 if and only if a (1) +· · ·+a (k) ≥ 2 N. Let THR t,n denote a monotone unweighted threshold gate, i.e., the Boolean function which takes as input a single string x ∈ {0, 1} n and outputs 1 if and only if x 1 + · · · + x n ≥ t.(More)
• 2016
We prove several results giving new and stronger connections between learning theory, circuit complexity and pseudorandomness. Let C be any typical class of Boolean circuits, and C[s(n)] denote n-variable C-circuits of size ≤ s(n). We show: Learning Speedups. If C[poly(n)] admits a randomized weak learning algorithm under the uniform distribution with(More)
{"extraction_info": {"found_math": false, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.8947582244873047, "perplexity": 1452.9995464716824}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": false}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2017-22/segments/1495463608058.57/warc/CC-MAIN-20170525102240-20170525122240-00594.warc.gz"}