Low-Degree Polynomials

Size: px
Start display at page:

Download "Low-Degree Polynomials"

Transcription

1 Low-Degree Polynomials Madhu Sudan Harvard University October 7, 2016 Avi60!! Low-degree Polynomials 1 of 27

2 October 7, 2016 Avi60!! Low-degree Polynomials 2 of 27

3 Happy Birthday, Avi!! October 7, 2016 Avi60!! Low-degree Polynomials 3 of 27

4 Happy Birthday Avi!! Polynomials Cheeseburger again! October 7, 2016 Avi60!! Low-degree Polynomials 4 of 27

5 This talk Polynomials How to correct them? How to test them? Some history (Why?)!!! Current status October 7, 2016 Avi60!! Low-degree Polynomials 5 of 27

6 GLRSW-91 October 7, 2016 Avi60!! Low-degree Polynomials 6 of 27

7 Main Results Thm 1: deg. dd poly s are OO dd, Ω 1 -resilient. Defn: Family of functions FF is kk, δδ 0 -resilient if DD s.t. ff FF, gg, xx s.t. δδ ff, gg δδ 0, DD gg xx = ff xx, and DD makes kk calls to gg. Thm 2: deg. dd polynomials are dd + 2, 1 dd 3 -robust. October 7, 2016 Avi60!! Low-degree Polynomials 7 of 27

8 Resilience (visually) xx ff FF 1 2 DD gg (xx) k gg δδ ff Defn: Family of functions FF is kk, δδ 0 -resilient if DD s.t. ff FF, gg, xx s.t. δδ ff, gg δδ 0, DD gg xx = ff xx, and DD makes kk calls to gg. October 7, 2016 Avi60!! Low-degree Polynomials 8 of 27

9 Main Results Thm 1: deg. dd poly s are OO dd, Ω 1 -resilient. Defn: Family of functions FF is kk, δδ 0 -resilient if DD s.t. ff FF, gg, xx s.t. δδ ff, gg δδ 0, DD gg xx = ff xx, and DD makes kk calls to gg. Thm 2: deg. dd polynomials are dd + 2, 1 dd 3 -robust. Defn: FF {ff: SS TT} is (kk, αα)-robust if distribution PP on SS kk s.t ff δδ llllllllll ff EE VV PP δδ ff VV, FF VV αα δδ(ff, FF) October 7, 2016 Avi60!! Low-degree Polynomials 9 of 27

10 Background/Motivation: Permanent: Worst-case Average-case Analysis: [Lipton 90]: (building on [Beaver-Feigenbaum]): PPPPPPPP AA + iiii = deg. nn poly in ii. Thm: Deg. dd poly s are OO(dd), Ω dd 1 Cor: nn nn-permanent is OO nn, Ω nn 1 -resilient. ii nn + 1, gg AA + iiii = PPPPPPPP AA + iiii GG RR ii PPPPPPPP(AA + iiii) Worst-case complexity of permanent average-case complexity of permanent. Proof of Cor: Suppose Pr M gg MM PPPPPPPP MM = δδ OO nn 1 -resilient. AA, ii Pr gg AA + iiii PPPPPPPP AA + iiii = δδ RR Pr ii nn + 1 gg AA + iiii PPPPPPPP(AA + iiii)] (nn + 1)δδ 1/3 RR Union Bound Then AA, PPPPPPPP AA = GG RR (0) w.h.p. over RR where GG RR = PPPPPPPP IIIIIIIIIIIIIIIIIIIIII ii, gg AA + iiii ii nn + 1. October 7, 2016 Avi60!! Low-degree Polynomials 10 of 27

11 Improving Resilience? Error-correcting codes (ECC) to the rescue!! [GLRSW]: (PPPPPPPP AA + iiii ii [10nn]) forms an ECC which can be decoded from Ω(1)-fraction errors efficiently! Don t need to get PPPPPPPP AA + iiii = gg AA + iiii for every ii nn + 1. Instead suffices to get equality for 90% of ii 10nn. Replace Union Bound by Markov. Reed-Solomon Codes! Resilience goes up to Ω 1 from Ω nn 1 October 7, 2016 Avi60!! Low-degree Polynomials 11 of 27

12 Error-Correcting Codes!! In TCS/1990: ECCs not widely used/understood.!!!! My first introduction to ECCs! Thanks, Avi & Dick! October 7, 2016 Avi60!! Low-degree Polynomials 12 of 27

13 Some followup I m not happy [Blum, personal comm. 90] What are BCH codes? How do you decode them? What is the Ω(1) in the resilience? Our answers: Read [17] Read [17, Chapters 3, 9, 12] Blum: Go talk to Elwyn yada yada yada [Gemmell,S. 92]: Poly s are OO dd, 1 εε -resilient! 2 Decoding Berlekamp-Welch Decoder October 7, 2016 Avi60!! Low-degree Polynomials 13 of 27

14 1991: Avi visits Berkeley! (Pete+) Me Avi: Resilience is 1 2! Avi: Great. Now tell me how to make it higher! Me: What do you want? we are optimal! (under unique decoding) Avi: Everything. You are not. What if there are two polynomial pp, qq agreeing with gg on 50% of points each? (let me tell you about list-decoding ) Btw, Sigal, Dick and Ronitt can recover both pp and qq in the above case. blah blah blah symmetric functions blah blah blah factor quadratics blah blah blah October 7, 2016 Avi60!! Low-degree Polynomials 14 of 27

15 Damage Report from Avi s visit [Ar,Lipton,Rubinfeld,S. 92]: Can recover pp xx, qq xx from gg if yy gg yy = {pp yy, qq yy } and each polynomial represented often. In retrospect, I misunderstood Avi and his claims about [Sigal, Dick, Ronitt ]. [S.96,Guruswami+S.98,S.+Trevisan+Vadhan 99] Thm 1 : Poly s are OO dd, 1 oo(1) - resilient. Can recover ff 1 xx,, ff kk xx from gg s.t if Pr xx ff xx gg xx 1 1/kk then ff ff 1,, ff kk October 7, 2016 Avi60!! Low-degree Polynomials 15 of 27

16 Concluding Part 1 Thanks to Avi for introducing me to the many wonders of polynomials! to error-correcting codes to list-decoding to (accidentally?) triggering follow up. For his curiosity and (infectious?) optimism. October 7, 2016 Avi60!! Low-degree Polynomials 16 of 27

17 Part 2: Testing Polynomials October 7, 2016 Avi60!! Low-degree Polynomials 17 of 27

18 Main Results Thm 1: deg. dd poly s are OO dd, Ω 1 -resilient. Defn: Family of functions FF is kk, δδ 0 -resilient if DD s.t. ff FF, gg, xx s.t. δδ ff, gg δδ 0, DD gg xx = ff xx, and DD makes kk calls to gg. Thm 2: deg. dd polynomials are dd + 2, 1 dd 3 -robust. Defn: FF {ff: SS TT} is (kk, αα)-robust if distribution PP on SS kk s.t ff δδ llllllllll ff EE VV PP δδ ff VV, FF VV 1 oo(1) [STV 99] X αα δδ(ff, FF) October 7, 2016 Avi60!! Low-degree Polynomials 18 of 27

19 Why test? Probabilistically Checkable Proofs! Polynomials are building blocks of complexity. Complex statements (OO nn bit statements) simple statements (OO(1) long) about complex polynomials (OO nn coefficients). Low-degree testing: Verifying truth of complex statements verifying simple statements (about complex polynomials). October 7, 2016 Avi60!! Low-degree Polynomials 19 of 27

20 An Analogy Inspecting a building: Building = OO(nn) atoms OR Building = OO(1) rooms = OO(1) walls Former view: Verifying stability takes Ω nn -checks. Latter view: Verifying stability takes OO 1 -checks + OO(1)- stability of wall-checks. Polynomials Walls! October 7, 2016 Avi60!! Low-degree Polynomials 20 of 27

21 Polynomials = Walls? A (NP-)complete statement: Graph GG 0,1 nn nn is 3-colorable. Proof: Coloring (Θ(nn)-bits). Verification: Read entire coloring. Equivalent (NP-)complete statement: Given: Φ local map from poly s to poly s poly s AA, BB, CC, DD s.t. Φ AA, BB, CC, DD 0 Verification: Step 1: Test AA, BB, CC, DD are polynomials Step 2: Verify Φ AA, BB, CC, DD rr = 0 for random rr. October 7, 2016 Avi60!! Low-degree Polynomials 21 of 27

22 Polynomials = Wall - II Reduction from 3-coloring to polynomial satisfiability [Ben-Sasson-S. 04] Φ AA, BB, CC, DD xx 0, xx, yy = Φ EE AA, BB, CC, DD [xx 0, xx, yy] = (AA xx AA xx 1 AA xx 2 BB xx Π vv VV xx vv ) + xx 0 (EE xx, yy Π ii 2, 1,1,2 AA xx AA yy ii CC xx, yy Π vv VV xx vv DD xx, yy Π vv VV yy vv ) October 7, 2016 Avi60!! Low-degree Polynomials 22 of 27

23 Low-degree Testing Better αα? Ω 1? 1 oo 1? Thm 2: deg. dd polynomials are dd + 2, 1 dd 3 -robust. Definition: FF {ff: SS TT} is (kk, αα)-robust if distribution PP on SS kk s.t ff δδ llllllllll ff EE VV PP δδ ff VV, FF VV αα δδ(ff, FF) Better testers etc. Better PCPs [ALMSS 92, PS 94,AS 98,RS 98,GS 02,BSVW 04,BGHSV 05,MR 08] Robustness: [Rubinfeld-S. 92]: αα = Ω(dd 1 ) [ALMSS 92]: αα = Ω 1 Thanks again, Avi! [Raz-Safra 98,Arora-S. 98]: αα = 1 oo(1) October 7, 2016 Avi60!! Low-degree Polynomials 23 of 27

24 Other reasons to test XOR lemma for polynomials δδ ff > 0 δδ ff tt δδ rrrrrrrrrrrr as tt Low-degree testing: δδ llllllllll ff αα δδ(ff) For some tests δδ llllllllll (ff tt ) determined completely by δδ llllllllll (ff) and tt 1 2δδ llllllllll ff tt = 1 2δδ llllllllll ff tt [Gowers]: For same tests δδ FF lower bounded by some function of δδ llllllllll FF. δδ FF 1 1 2δδ llllllllll FF [ViolaWigderson 04]: Small set expanders and Short Long Codes omitted. [BGHMRS] 2 dd October 7, 2016 Avi60!! Low-degree Polynomials 24 of 27

25 State-of-the-art: Low-degree testing Long history omitted, Variations omitted. Families of interest: PP(mm, dd, qq): mm-var. deg. dd over FF qq Benchmark: distance δδ qq,dd of code PP(mm, dd, qq) Thm. 1: δδ qq,dd 1 αα 1 Thm. 2: δδ qq,dd > 0 αα > 0 Thm. 3: δδ qq,dd = oo 1 αα = Ω(δδ qq,dd ) [Raz-Safra 98]: [GHS 15]: αα < 1 ββ > 0 s.t. PP mm, ββββ, qq is qq 2, αα -robust [BKSSZ 09, HSS 11, HRS 15]: δδ > 0 αα > 0 s.t. PP mm, 1 δδ qq, qq is (qq 2, αα)-robust qq εε > 0 s.t. PP(mm, dd, qq) is (δδ 1 qq,dd, εε δδ qq,dd )-robust October 7, 2016 Avi60!! Low-degree Polynomials 25 of 27

26 Techniques? Idea 1: Use symmetry to reduce highdimensional case to low-dimension. PP mm, qq, dd PP(cc, qq, dd) (Gets mm independence). Idea 2: Find some slightly weaker, but better understood, code that contains code of interest. Typically tensor : PP cc, qq, dd PP 1, qq, dd cc Works quite generally : need symmetry + supercode. Doesn t work when tensoring doesn t! No testing thm yet for multiplicity codes! October 7, 2016 Avi60!! Low-degree Polynomials 26 of 27

27 Summary: Thanks again Avi! For generously contributing ideas (and your students ) Many inspiring moments (about low-degree polynomials, and everything else!) October 7, 2016 Avi60!! Low-degree Polynomials 27 of 27

Property Testing and Affine Invariance Part I Madhu Sudan Harvard University

Property Testing and Affine Invariance Part I Madhu Sudan Harvard University Property Testing and Affine Invariance Part I Madhu Sudan Harvard University December 29-30, 2015 IITB: Property Testing & Affine Invariance 1 of 31 Goals of these talks Part I Introduce Property Testing

More information

Local Decoding and Testing Polynomials over Grids

Local Decoding and Testing Polynomials over Grids Local Decoding and Testing Polynomials over Grids Madhu Sudan Harvard University Joint work with Srikanth Srinivasan (IIT Bombay) January 11, 2018 ITCS: Polynomials over Grids 1 of 12 DeMillo-Lipton-Schwarz-Zippel

More information

Locality in Coding Theory

Locality in Coding Theory Locality in Coding Theory Madhu Sudan Harvard April 9, 2016 Skoltech: Locality in Coding Theory 1 Error-Correcting Codes (Linear) Code CC FF qq nn. FF qq : Finite field with qq elements. nn block length

More information

General Strong Polarization

General Strong Polarization General Strong Polarization Madhu Sudan Harvard University Joint work with Jaroslaw Blasiok (Harvard), Venkatesan Gurswami (CMU), Preetum Nakkiran (Harvard) and Atri Rudra (Buffalo) December 4, 2017 IAS:

More information

General Strong Polarization

General Strong Polarization General Strong Polarization Madhu Sudan Harvard University Joint work with Jaroslaw Blasiok (Harvard), Venkatesan Gurswami (CMU), Preetum Nakkiran (Harvard) and Atri Rudra (Buffalo) May 1, 018 G.Tech:

More information

Algebraic Codes and Invariance

Algebraic Codes and Invariance Algebraic Codes and Invariance Madhu Sudan Harvard April 30, 2016 AAD3: Algebraic Codes and Invariance 1 of 29 Disclaimer Very little new work in this talk! Mainly: Ex- Coding theorist s perspective on

More information

Uncertain Compression & Graph Coloring. Madhu Sudan Harvard

Uncertain Compression & Graph Coloring. Madhu Sudan Harvard Uncertain Compression & Graph Coloring Madhu Sudan Harvard Based on joint works with: (1) Adam Kalai (MSR), Sanjeev Khanna (U.Penn), Brendan Juba (WUStL) (2) Elad Haramaty (Harvard) (3) Badih Ghazi (MIT),

More information

General Strong Polarization

General Strong Polarization General Strong Polarization Madhu Sudan Harvard University Joint work with Jaroslaw Blasiok (Harvard), Venkatesan Guruswami (CMU), Preetum Nakkiran (Harvard) and Atri Rudra (Buffalo) Oct. 8, 018 Berkeley:

More information

General Strong Polarization

General Strong Polarization General Strong Polarization Madhu Sudan Harvard University Joint work with Jaroslaw Blasiok (Harvard), Venkatesan Guruswami (CMU), Preetum Nakkiran (Harvard) and Atri Rudra (Buffalo) Oct. 5, 018 Stanford:

More information

Two Decades of Property Testing Madhu Sudan Harvard

Two Decades of Property Testing Madhu Sudan Harvard Two Decades of Property Testing Madhu Sudan Harvard April 8, 2016 Two Decades of Property Testing 1 of 29 Kepler s Big Data Problem Tycho Brahe (~1550-1600): Wished to measure planetary motion accurately.

More information

Low-Degree Testing. Madhu Sudan MSR. Survey based on many works. of /02/2015 CMSA: Low-degree Testing 1

Low-Degree Testing. Madhu Sudan MSR. Survey based on many works. of /02/2015 CMSA: Low-degree Testing 1 Low-Degree Testing Madhu Sudan MSR Survey based on many works 09/02/2015 CMSA: Low-degree Testing 1 Kepler s Problem Tycho Brahe (~1550-1600): Wished to measure planetary motion accurately. To confirm

More information

Lecture 5: Derandomization (Part II)

Lecture 5: Derandomization (Part II) CS369E: Expanders May 1, 005 Lecture 5: Derandomization (Part II) Lecturer: Prahladh Harsha Scribe: Adam Barth Today we will use expanders to derandomize the algorithm for linearity test. Before presenting

More information

Worksheets for GCSE Mathematics. Quadratics. mr-mathematics.com Maths Resources for Teachers. Algebra

Worksheets for GCSE Mathematics. Quadratics. mr-mathematics.com Maths Resources for Teachers. Algebra Worksheets for GCSE Mathematics Quadratics mr-mathematics.com Maths Resources for Teachers Algebra Quadratics Worksheets Contents Differentiated Independent Learning Worksheets Solving x + bx + c by factorisation

More information

Towards the Sliding Scale Conjecture (Old & New PCP constructions)

Towards the Sliding Scale Conjecture (Old & New PCP constructions) Towards the Sliding Scale Conjecture (Old & New PCP constructions) Prahladh Harsha TIFR [Based on joint works with Irit Dinur & Guy Kindler] Outline Intro, Background & Context Goals and questions in this

More information

Highly resilient correctors for polynomials

Highly resilient correctors for polynomials Highly resilient correctors for polynomials Peter Gemmell Madhu Sudan Abstract We consider the problem of correcting programs that compute multivariate polynomials over large finite fields and give an

More information

Mathematics, Proofs and Computation

Mathematics, Proofs and Computation Mathematics, Proofs and Computation Madhu Sudan Harvard December 16, 2016 TIMC: Math, Proofs, Computing 1 of 25 Logic, Mathematics, Proofs Reasoning: Start with body of knowledge. Add to body of knowledge

More information

Heteroskedasticity ECONOMETRICS (ECON 360) BEN VAN KAMMEN, PHD

Heteroskedasticity ECONOMETRICS (ECON 360) BEN VAN KAMMEN, PHD Heteroskedasticity ECONOMETRICS (ECON 360) BEN VAN KAMMEN, PHD Introduction For pedagogical reasons, OLS is presented initially under strong simplifying assumptions. One of these is homoskedastic errors,

More information

Terms of Use. Copyright Embark on the Journey

Terms of Use. Copyright Embark on the Journey Terms of Use All rights reserved. No part of this packet may be reproduced, stored in a retrieval system, or transmitted in any form by any means - electronic, mechanical, photo-copies, recording, or otherwise

More information

Chapter 6 Reed-Solomon Codes. 6.1 Finite Field Algebra 6.2 Reed-Solomon Codes 6.3 Syndrome Based Decoding 6.4 Curve-Fitting Based Decoding

Chapter 6 Reed-Solomon Codes. 6.1 Finite Field Algebra 6.2 Reed-Solomon Codes 6.3 Syndrome Based Decoding 6.4 Curve-Fitting Based Decoding Chapter 6 Reed-Solomon Codes 6. Finite Field Algebra 6. Reed-Solomon Codes 6.3 Syndrome Based Decoding 6.4 Curve-Fitting Based Decoding 6. Finite Field Algebra Nonbinary codes: message and codeword symbols

More information

Lecture 8 (Notes) 1. The book Computational Complexity: A Modern Approach by Sanjeev Arora and Boaz Barak;

Lecture 8 (Notes) 1. The book Computational Complexity: A Modern Approach by Sanjeev Arora and Boaz Barak; Topics in Theoretical Computer Science April 18, 2016 Lecturer: Ola Svensson Lecture 8 (Notes) Scribes: Ola Svensson Disclaimer: These notes were written for the lecturer only and may contain inconsistent

More information

Secondary 3H Unit = 1 = 7. Lesson 3.3 Worksheet. Simplify: Lesson 3.6 Worksheet

Secondary 3H Unit = 1 = 7. Lesson 3.3 Worksheet. Simplify: Lesson 3.6 Worksheet Secondary H Unit Lesson Worksheet Simplify: mm + 2 mm 2 4 mm+6 mm + 2 mm 2 mm 20 mm+4 5 2 9+20 2 0+25 4 +2 2 + 2 8 2 6 5. 2 yy 2 + yy 6. +2 + 5 2 2 2 0 Lesson 6 Worksheet List all asymptotes, holes and

More information

On Axis-Parallel Tests for Tensor Product Codes

On Axis-Parallel Tests for Tensor Product Codes Electronic Colloquium on Computational Complexity, Report No. 110 (2017) On Axis-Parallel Tests for Tensor Product Codes Alessandro Chiesa alexch@berkeley.edu UC Berkeley Peter Manohar manohar@berkeley.edu

More information

Worksheets for GCSE Mathematics. Algebraic Expressions. Mr Black 's Maths Resources for Teachers GCSE 1-9. Algebra

Worksheets for GCSE Mathematics. Algebraic Expressions. Mr Black 's Maths Resources for Teachers GCSE 1-9. Algebra Worksheets for GCSE Mathematics Algebraic Expressions Mr Black 's Maths Resources for Teachers GCSE 1-9 Algebra Algebraic Expressions Worksheets Contents Differentiated Independent Learning Worksheets

More information

Math 171 Spring 2017 Final Exam. Problem Worth

Math 171 Spring 2017 Final Exam. Problem Worth Math 171 Spring 2017 Final Exam Problem 1 2 3 4 5 6 7 8 9 10 11 Worth 9 6 6 5 9 8 5 8 8 8 10 12 13 14 15 16 17 18 19 20 21 22 Total 8 5 5 6 6 8 6 6 6 6 6 150 Last Name: First Name: Student ID: Section:

More information

Classical RSA algorithm

Classical RSA algorithm Classical RSA algorithm We need to discuss some mathematics (number theory) first Modulo-NN arithmetic (modular arithmetic, clock arithmetic) 9 (mod 7) 4 3 5 (mod 7) congruent (I will also use = instead

More information

COMPRESSION FOR QUANTUM POPULATION CODING

COMPRESSION FOR QUANTUM POPULATION CODING COMPRESSION FOR QUANTUM POPULATION CODING Ge Bai, The University of Hong Kong Collaborative work with: Yuxiang Yang, Giulio Chiribella, Masahito Hayashi INTRODUCTION Population: A group of identical states

More information

Section 2: Equations and Inequalities

Section 2: Equations and Inequalities Topic 1: Equations: True or False?... 29 Topic 2: Identifying Properties When Solving Equations... 31 Topic 3: Solving Equations... 34 Topic 4: Solving Equations Using the Zero Product Property... 36 Topic

More information

1. The graph of a function f is given above. Answer the question: a. Find the value(s) of x where f is not differentiable. Ans: x = 4, x = 3, x = 2,

1. The graph of a function f is given above. Answer the question: a. Find the value(s) of x where f is not differentiable. Ans: x = 4, x = 3, x = 2, 1. The graph of a function f is given above. Answer the question: a. Find the value(s) of x where f is not differentiable. x = 4, x = 3, x = 2, x = 1, x = 1, x = 2, x = 3, x = 4, x = 5 b. Find the value(s)

More information

Lesson 13: More Factoring Strategies for Quadratic Equations & Expressions

Lesson 13: More Factoring Strategies for Quadratic Equations & Expressions : More Factoring Strategies for Quadratic Equations & Expressions Opening Exploration Looking for Signs In the last lesson, we focused on quadratic equations where all the terms were positive. Juan s examples

More information

Variations. ECE 6540, Lecture 02 Multivariate Random Variables & Linear Algebra

Variations. ECE 6540, Lecture 02 Multivariate Random Variables & Linear Algebra Variations ECE 6540, Lecture 02 Multivariate Random Variables & Linear Algebra Last Time Probability Density Functions Normal Distribution Expectation / Expectation of a function Independence Uncorrelated

More information

Recent Developments on Circuit Satisfiability Algorithms

Recent Developments on Circuit Satisfiability Algorithms Recent Developments on Circuit Satisfiability Algorithms Suguru TAMAKI Kyoto University Fine-Grained Complexity and Algorithm Design Reunion, December 14, 2016, Simons Institute, Berkeley, CA After the

More information

Integrating Rational functions by the Method of Partial fraction Decomposition. Antony L. Foster

Integrating Rational functions by the Method of Partial fraction Decomposition. Antony L. Foster Integrating Rational functions by the Method of Partial fraction Decomposition By Antony L. Foster At times, especially in calculus, it is necessary, it is necessary to express a fraction as the sum of

More information

Mathematics Ext 2. HSC 2014 Solutions. Suite 403, 410 Elizabeth St, Surry Hills NSW 2010 keystoneeducation.com.

Mathematics Ext 2. HSC 2014 Solutions. Suite 403, 410 Elizabeth St, Surry Hills NSW 2010 keystoneeducation.com. Mathematics Ext HSC 4 Solutions Suite 43, 4 Elizabeth St, Surry Hills NSW info@keystoneeducation.com.au keystoneeducation.com.au Mathematics Extension : HSC 4 Solutions Contents Multiple Choice... 3 Question...

More information

Permanent is hard to compute even on a good day

Permanent is hard to compute even on a good day Permanent is hard to compute even on a good day Yuval Filmus September 11, 2012 Abstract We give an exposition of Cai, Pavan and Sivakumar s result on the hardness of permanent. They show that assuming

More information

Great Theoretical Ideas in Computer Science

Great Theoretical Ideas in Computer Science 15-251 Great Theoretical Ideas in Computer Science Lecture 28: A Computational Lens on Proofs December 6th, 2016 Evolution of proof First there was GORM GORM = Good Old Regular Mathematics Pythagoras s

More information

7.3 The Jacobi and Gauss-Seidel Iterative Methods

7.3 The Jacobi and Gauss-Seidel Iterative Methods 7.3 The Jacobi and Gauss-Seidel Iterative Methods 1 The Jacobi Method Two assumptions made on Jacobi Method: 1.The system given by aa 11 xx 1 + aa 12 xx 2 + aa 1nn xx nn = bb 1 aa 21 xx 1 + aa 22 xx 2

More information

ECE 6540, Lecture 06 Sufficient Statistics & Complete Statistics Variations

ECE 6540, Lecture 06 Sufficient Statistics & Complete Statistics Variations ECE 6540, Lecture 06 Sufficient Statistics & Complete Statistics Variations Last Time Minimum Variance Unbiased Estimators Sufficient Statistics Proving t = T(x) is sufficient Neyman-Fischer Factorization

More information

" = Y(#,$) % R(r) = 1 4& % " = Y(#,$) % R(r) = Recitation Problems: Week 4. a. 5 B, b. 6. , Ne Mg + 15 P 2+ c. 23 V,

 = Y(#,$) % R(r) = 1 4& %  = Y(#,$) % R(r) = Recitation Problems: Week 4. a. 5 B, b. 6. , Ne Mg + 15 P 2+ c. 23 V, Recitation Problems: Week 4 1. Which of the following combinations of quantum numbers are allowed for an electron in a one-electron atom: n l m l m s 2 2 1! 3 1 0 -! 5 1 2! 4-1 0! 3 2 1 0 2 0 0 -! 7 2-2!

More information

The Tensor Product of Two Codes is Not Necessarily Robustly Testable

The Tensor Product of Two Codes is Not Necessarily Robustly Testable The Tensor Product of Two Codes is Not Necessarily Robustly Testable Paul Valiant Massachusetts Institute of Technology pvaliant@mit.edu Abstract. There has been significant interest lately in the task

More information

Quantum Chosen-Ciphertext Attacks against Feistel Ciphers

Quantum Chosen-Ciphertext Attacks against Feistel Ciphers SESSION ID: CRYP-R09 Quantum Chosen-Ciphertext Attacks against Feistel Ciphers Gembu Ito Nagoya University Joint work with Akinori Hosoyamada, Ryutaroh Matsumoto, Yu Sasaki and Tetsu Iwata Overview 3-round

More information

Module 7 (Lecture 25) RETAINING WALLS

Module 7 (Lecture 25) RETAINING WALLS Module 7 (Lecture 25) RETAINING WALLS Topics Check for Bearing Capacity Failure Example Factor of Safety Against Overturning Factor of Safety Against Sliding Factor of Safety Against Bearing Capacity Failure

More information

Lecture No. 1 Introduction to Method of Weighted Residuals. Solve the differential equation L (u) = p(x) in V where L is a differential operator

Lecture No. 1 Introduction to Method of Weighted Residuals. Solve the differential equation L (u) = p(x) in V where L is a differential operator Lecture No. 1 Introduction to Method of Weighted Residuals Solve the differential equation L (u) = p(x) in V where L is a differential operator with boundary conditions S(u) = g(x) on Γ where S is a differential

More information

Eureka Lessons for 6th Grade Unit FIVE ~ Equations & Inequalities

Eureka Lessons for 6th Grade Unit FIVE ~ Equations & Inequalities Eureka Lessons for 6th Grade Unit FIVE ~ Equations & Inequalities These 2 lessons can easily be taught in 2 class periods. If you like these lessons, please consider using other Eureka lessons as well.

More information

A Posteriori Error Estimates For Discontinuous Galerkin Methods Using Non-polynomial Basis Functions

A Posteriori Error Estimates For Discontinuous Galerkin Methods Using Non-polynomial Basis Functions Lin Lin A Posteriori DG using Non-Polynomial Basis 1 A Posteriori Error Estimates For Discontinuous Galerkin Methods Using Non-polynomial Basis Functions Lin Lin Department of Mathematics, UC Berkeley;

More information

U.C. Berkeley CS294: Beyond Worst-Case Analysis Handout 2 Luca Trevisan August 29, 2017

U.C. Berkeley CS294: Beyond Worst-Case Analysis Handout 2 Luca Trevisan August 29, 2017 U.C. Berkeley CS94: Beyond Worst-Case Analysis Handout Luca Trevisan August 9, 07 Scribe: Mahshid Montazer Lecture In this lecture, we study the Max Cut problem in random graphs. We compute the probable

More information

Self-Testing Polynomial Functions Efficiently and over Rational Domains

Self-Testing Polynomial Functions Efficiently and over Rational Domains Chapter 1 Self-Testing Polynomial Functions Efficiently and over Rational Domains Ronitt Rubinfeld Madhu Sudan Ý Abstract In this paper we give the first self-testers and checkers for polynomials over

More information

Introduction Long transparent proofs The real PCP theorem. Real Number PCPs. Klaus Meer. Brandenburg University of Technology, Cottbus, Germany

Introduction Long transparent proofs The real PCP theorem. Real Number PCPs. Klaus Meer. Brandenburg University of Technology, Cottbus, Germany Santaló s Summer School, Part 3, July, 2012 joint work with Martijn Baartse (work supported by DFG, GZ:ME 1424/7-1) Outline 1 Introduction 2 Long transparent proofs for NP R 3 The real PCP theorem First

More information

PHY103A: Lecture # 4

PHY103A: Lecture # 4 Semester II, 2017-18 Department of Physics, IIT Kanpur PHY103A: Lecture # 4 (Text Book: Intro to Electrodynamics by Griffiths, 3 rd Ed.) Anand Kumar Jha 10-Jan-2018 Notes The Solutions to HW # 1 have been

More information

Angular Momentum, Electromagnetic Waves

Angular Momentum, Electromagnetic Waves Angular Momentum, Electromagnetic Waves Lecture33: Electromagnetic Theory Professor D. K. Ghosh, Physics Department, I.I.T., Bombay As before, we keep in view the four Maxwell s equations for all our discussions.

More information

2.4 Error Analysis for Iterative Methods

2.4 Error Analysis for Iterative Methods 2.4 Error Analysis for Iterative Methods 1 Definition 2.7. Order of Convergence Suppose {pp nn } nn=0 is a sequence that converges to pp with pp nn pp for all nn. If positive constants λλ and αα exist

More information

Grover s algorithm. We want to find aa. Search in an unordered database. QC oracle (as usual) Usual trick

Grover s algorithm. We want to find aa. Search in an unordered database. QC oracle (as usual) Usual trick Grover s algorithm Search in an unordered database Example: phonebook, need to find a person from a phone number Actually, something else, like hard (e.g., NP-complete) problem 0, xx aa Black box ff xx

More information

Patterns of soiling in the Old Library Trinity College Dublin. Allyson Smith, Robbie Goodhue, Susie Bioletti

Patterns of soiling in the Old Library Trinity College Dublin. Allyson Smith, Robbie Goodhue, Susie Bioletti Patterns of soiling in the Old Library Trinity College Dublin Allyson Smith, Robbie Goodhue, Susie Bioletti Trinity College aerial view Old Library E N S W Old Library main (south) elevation Gallery Fagel

More information

Lecture 11. Kernel Methods

Lecture 11. Kernel Methods Lecture 11. Kernel Methods COMP90051 Statistical Machine Learning Semester 2, 2017 Lecturer: Andrey Kan Copyright: University of Melbourne This lecture The kernel trick Efficient computation of a dot product

More information

Efficient Probabilistically Checkable Debates

Efficient Probabilistically Checkable Debates Efficient Probabilistically Checkable Debates Andrew Drucker MIT Andrew Drucker MIT, Efficient Probabilistically Checkable Debates 1/53 Polynomial-time Debates Given: language L, string x; Player 1 argues

More information

Testing Low-Degree Polynomials over GF (2)

Testing Low-Degree Polynomials over GF (2) Testing Low-Degree Polynomials over GF (2) Noga Alon Tali Kaufman Michael Krivelevich Simon Litsyn Dana Ron July 9, 2003 Abstract We describe an efficient randomized algorithm to test if a given binary

More information

Math, Stats, and Mathstats Review ECONOMETRICS (ECON 360) BEN VAN KAMMEN, PHD

Math, Stats, and Mathstats Review ECONOMETRICS (ECON 360) BEN VAN KAMMEN, PHD Math, Stats, and Mathstats Review ECONOMETRICS (ECON 360) BEN VAN KAMMEN, PHD Outline These preliminaries serve to signal to students what tools they need to know to succeed in ECON 360 and refresh their

More information

Systems of Linear Equations

Systems of Linear Equations Systems of Linear Equations As stated in Section G, Definition., a linear equation in two variables is an equation of the form AAAA + BBBB = CC, where AA and BB are not both zero. Such an equation has

More information

Chapter 5: Spectral Domain From: The Handbook of Spatial Statistics. Dr. Montserrat Fuentes and Dr. Brian Reich Prepared by: Amanda Bell

Chapter 5: Spectral Domain From: The Handbook of Spatial Statistics. Dr. Montserrat Fuentes and Dr. Brian Reich Prepared by: Amanda Bell Chapter 5: Spectral Domain From: The Handbook of Spatial Statistics Dr. Montserrat Fuentes and Dr. Brian Reich Prepared by: Amanda Bell Background Benefits of Spectral Analysis Type of data Basic Idea

More information

Review for Exam Hyunse Yoon, Ph.D. Assistant Research Scientist IIHR-Hydroscience & Engineering University of Iowa

Review for Exam Hyunse Yoon, Ph.D. Assistant Research Scientist IIHR-Hydroscience & Engineering University of Iowa 57:020 Fluids Mechanics Fall2013 1 Review for Exam3 12. 11. 2013 Hyunse Yoon, Ph.D. Assistant Research Scientist IIHR-Hydroscience & Engineering University of Iowa 57:020 Fluids Mechanics Fall2013 2 Chapter

More information

Mathematics Paper 2 Grade 12 Preliminary Examination 2017

Mathematics Paper 2 Grade 12 Preliminary Examination 2017 Mathematics Paper 2 Grade 12 Preliminary Examination 2017 DURATION: 180 min EXAMINER: R. Obermeyer MARKS: 150 MODERATOR: A. Janisch Date: 15 September 2017 External Moderator: I. Atteridge INSTRUCTIONS:

More information

Section 5: Quadratic Equations and Functions Part 1

Section 5: Quadratic Equations and Functions Part 1 Section 5: Quadratic Equations and Functions Part 1 Topic 1: Real-World Examples of Quadratic Functions... 121 Topic 2: Factoring Quadratic Expressions... 125 Topic 3: Solving Quadratic Equations by Factoring...

More information

Lesson 24: True and False Number Sentences

Lesson 24: True and False Number Sentences NYS COMMON CE MATHEMATICS CURRICULUM Lesson 24 6 4 Student Outcomes Students identify values for the variables in equations and inequalities that result in true number sentences. Students identify values

More information

Revision : Thermodynamics

Revision : Thermodynamics Revision : Thermodynamics Formula sheet Formula sheet Formula sheet Thermodynamics key facts (1/9) Heat is an energy [measured in JJ] which flows from high to low temperature When two bodies are in thermal

More information

L.6 Absolute Value Equations and Inequalities

L.6 Absolute Value Equations and Inequalities L.6 Absolute Value Equations and Inequalities 1 The concept of absolute value (also called numerical value) was introduced in Section R. Recall that when using geometrical visualisation of real numbers

More information

The Elasticity of Quantum Spacetime Fabric. Viorel Laurentiu Cartas

The Elasticity of Quantum Spacetime Fabric. Viorel Laurentiu Cartas The Elasticity of Quantum Spacetime Fabric Viorel Laurentiu Cartas The notion of gravitational force is replaced by the curvature of the spacetime fabric. The mass tells to spacetime how to curve and the

More information

Building Assignment Testers DRAFT

Building Assignment Testers DRAFT Building Assignment Testers DRAFT Andrew Drucker University of California, San Diego Abstract In this expository paper, we show how to construct Assignment Testers using the Hadamard and quadratic encodings.

More information

Permanent and Determinant

Permanent and Determinant Permanent and Determinant non-identical twins Avi Wigderson IAS, Princeton Meet the twins F field, char(f) 2. X M n (F) matrix of variables X ij Det n (X) = σ Sn sgn(σ) i [n] X iσ(i) Per n (X) = σ Sn i

More information

Chapter 22 : Electric potential

Chapter 22 : Electric potential Chapter 22 : Electric potential What is electric potential? How does it relate to potential energy? How does it relate to electric field? Some simple applications What does it mean when it says 1.5 Volts

More information

Lecture 15: A Brief Look at PCP

Lecture 15: A Brief Look at PCP IAS/PCMI Summer Session 2000 Clay Mathematics Undergraduate Program Basic Course on Computational Complexity Lecture 15: A Brief Look at PCP David Mix Barrington and Alexis Maciel August 4, 2000 1. Overview

More information

Support Vector Machines. CSE 4309 Machine Learning Vassilis Athitsos Computer Science and Engineering Department University of Texas at Arlington

Support Vector Machines. CSE 4309 Machine Learning Vassilis Athitsos Computer Science and Engineering Department University of Texas at Arlington Support Vector Machines CSE 4309 Machine Learning Vassilis Athitsos Computer Science and Engineering Department University of Texas at Arlington 1 A Linearly Separable Problem Consider the binary classification

More information

Inferring the origin of an epidemic with a dynamic message-passing algorithm

Inferring the origin of an epidemic with a dynamic message-passing algorithm Inferring the origin of an epidemic with a dynamic message-passing algorithm HARSH GUPTA (Based on the original work done by Andrey Y. Lokhov, Marc Mézard, Hiroki Ohta, and Lenka Zdeborová) Paper Andrey

More information

Great Theoretical Ideas in Computer Science

Great Theoretical Ideas in Computer Science 15-251 Great Theoretical Ideas in Computer Science Polynomials, Lagrange, and Error-correction Lecture 23 (November 10, 2009) P(X) = X 3 X 2 + + X 1 + Definition: Recall: Fields A field F is a set together

More information

CDS 101/110: Lecture 6.2 Transfer Functions

CDS 101/110: Lecture 6.2 Transfer Functions CDS 11/11: Lecture 6.2 Transfer Functions November 2, 216 Goals: Continued study of Transfer functions Review Laplace Transform Block Diagram Algebra Bode Plot Intro Reading: Åström and Murray, Feedback

More information

STAT2201 Slava Vaisman

STAT2201 Slava Vaisman STAT2201 Slava Vaisman This course is for engineering (civil, mechanical, software ) Electronic Course Profile http://www.courses.uq.edu.au/student_section_loader.php?section=1&profileid=9 2234 If you

More information

Lecture 6. k+1 n, wherein n =, is defined for a given

Lecture 6. k+1 n, wherein n =, is defined for a given (67611) Advanced Topics in Complexity: PCP Theory November 24, 2004 Lecturer: Irit Dinur Lecture 6 Scribe: Sharon Peri Abstract In this lecture we continue our discussion of locally testable and locally

More information

Big Bang Planck Era. This theory: cosmological model of the universe that is best supported by several aspects of scientific evidence and observation

Big Bang Planck Era. This theory: cosmological model of the universe that is best supported by several aspects of scientific evidence and observation Big Bang Planck Era Source: http://www.crystalinks.com/bigbang.html Source: http://www.odec.ca/index.htm This theory: cosmological model of the universe that is best supported by several aspects of scientific

More information

5.1 Modelling Polynomials

5.1 Modelling Polynomials 5.1 Modelling Polynomials FOCUS Model, write, and classify polynomials. In arithmetic, we use Base Ten Blocks to model whole numbers. How would you model the number 234? In algebra, we use algebra tiles

More information

Heat, Work, and the First Law of Thermodynamics. Chapter 18 of Essential University Physics, Richard Wolfson, 3 rd Edition

Heat, Work, and the First Law of Thermodynamics. Chapter 18 of Essential University Physics, Richard Wolfson, 3 rd Edition Heat, Work, and the First Law of Thermodynamics Chapter 18 of Essential University Physics, Richard Wolfson, 3 rd Edition 1 Different ways to increase the internal energy of system: 2 Joule s apparatus

More information

A A A A A A A A A A A A. a a a a a a a a a a a a a a a. Apples taste amazingly good.

A A A A A A A A A A A A. a a a a a a a a a a a a a a a. Apples taste amazingly good. Victorian Handwriting Sheet Aa A A A A A A A A A A A A Aa Aa Aa Aa Aa Aa Aa a a a a a a a a a a a a a a a Apples taste amazingly good. Apples taste amazingly good. Now make up a sentence of your own using

More information

Notes 10: List Decoding Reed-Solomon Codes and Concatenated codes

Notes 10: List Decoding Reed-Solomon Codes and Concatenated codes Introduction to Coding Theory CMU: Spring 010 Notes 10: List Decoding Reed-Solomon Codes and Concatenated codes April 010 Lecturer: Venkatesan Guruswami Scribe: Venkat Guruswami & Ali Kemal Sinop DRAFT

More information

Solving Fuzzy Nonlinear Equations by a General Iterative Method

Solving Fuzzy Nonlinear Equations by a General Iterative Method 2062062062062060 Journal of Uncertain Systems Vol.4, No.3, pp.206-25, 200 Online at: www.jus.org.uk Solving Fuzzy Nonlinear Equations by a General Iterative Method Anjeli Garg, S.R. Singh * Department

More information

Two Decades of Property Testing

Two Decades of Property Testing Two Decades of Property Testing Madhu Sudan Microsoft Research 12/09/2014 Invariance in Property Testing @MIT 1 of 29 Kepler s Big Data Problem Tycho Brahe (~1550-1600): Wished to measure planetary motion

More information

P versus NP over Various Structures

P versus NP over Various Structures 26th ESSLLI Summer School 2014, Tübingen, August 2014 PART 5: Probabilistically Checkable Proofs jointly with J.A. Makowsky Outline for today 1 Introduction 2 Verifiers and real PCP classes 3 The classical

More information

Almost transparent short proofs for NP R

Almost transparent short proofs for NP R Brandenburgische Technische Universität, Cottbus, Germany From Dynamics to Complexity: A conference celebrating the work of Mike Shub Toronto, May 10, 2012 Supported by DFG under GZ:ME 1424/7-1 Outline

More information

Last Name _Piatoles_ Given Name Americo ID Number

Last Name _Piatoles_ Given Name Americo ID Number Last Name _Piatoles_ Given Name Americo ID Number 20170908 Question n. 1 The "C-V curve" method can be used to test a MEMS in the electromechanical characterization phase. Describe how this procedure is

More information

A Self-Tester for Linear Functions over the Integers with an Elementary Proof of Correctness

A Self-Tester for Linear Functions over the Integers with an Elementary Proof of Correctness A Self-Tester for Linear Functions over the Integers with an Elementary Proof of Correctness The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story

More information

TECHNICAL NOTE AUTOMATIC GENERATION OF POINT SPRING SUPPORTS BASED ON DEFINED SOIL PROFILES AND COLUMN-FOOTING PROPERTIES

TECHNICAL NOTE AUTOMATIC GENERATION OF POINT SPRING SUPPORTS BASED ON DEFINED SOIL PROFILES AND COLUMN-FOOTING PROPERTIES COMPUTERS AND STRUCTURES, INC., FEBRUARY 2016 TECHNICAL NOTE AUTOMATIC GENERATION OF POINT SPRING SUPPORTS BASED ON DEFINED SOIL PROFILES AND COLUMN-FOOTING PROPERTIES Introduction This technical note

More information

Rotational Motion. Chapter 10 of Essential University Physics, Richard Wolfson, 3 rd Edition

Rotational Motion. Chapter 10 of Essential University Physics, Richard Wolfson, 3 rd Edition Rotational Motion Chapter 10 of Essential University Physics, Richard Wolfson, 3 rd Edition 1 We ll look for a way to describe the combined (rotational) motion 2 Angle Measurements θθ ss rr rrrrrrrrrrrrrr

More information

10.4 The Cross Product

10.4 The Cross Product Math 172 Chapter 10B notes Page 1 of 9 10.4 The Cross Product The cross product, or vector product, is defined in 3 dimensions only. Let aa = aa 1, aa 2, aa 3 bb = bb 1, bb 2, bb 3 then aa bb = aa 2 bb

More information

Diffusive DE & DM Diffusve DE and DM. Eduardo Guendelman With my student David Benisty, Joseph Katz Memorial Conference, May 23, 2017

Diffusive DE & DM Diffusve DE and DM. Eduardo Guendelman With my student David Benisty, Joseph Katz Memorial Conference, May 23, 2017 Diffusive DE & DM Diffusve DE and DM Eduardo Guendelman With my student David Benisty, Joseph Katz Memorial Conference, May 23, 2017 Main problems in cosmology The vacuum energy behaves as the Λ term in

More information

Lecture 21: P vs BPP 2

Lecture 21: P vs BPP 2 Advanced Complexity Theory Spring 206 Prof. Dana Moshkovitz Lecture 2: P vs BPP 2 Overview In the previous lecture, we began our discussion of pseudorandomness. We presented the Blum- Micali definition

More information

EECE 2150 Circuits and Signals Final Exam Fall 2016 Dec 9

EECE 2150 Circuits and Signals Final Exam Fall 2016 Dec 9 EECE 2150 Circuits and Signals Final Exam Fall 2016 Dec 9 Name: Instructions: Write your name and section number on all pages Closed book, closed notes; Computers and cell phones are not allowed You can

More information

Sub-Constant Error Low Degree Test of Almost Linear Size

Sub-Constant Error Low Degree Test of Almost Linear Size Sub-Constant rror Low Degree Test of Almost Linear Size Dana Moshkovitz Ran Raz March 9, 2006 Abstract Given a function f : F m F over a finite field F, a low degree tester tests its agreement with an

More information

KENNESAW STATE UNIVERSITY ATHLETICS VISUAL IDENTITY

KENNESAW STATE UNIVERSITY ATHLETICS VISUAL IDENTITY KENNESAW STATE UNIVERSITY ATHLETICS VISUAL IDENTITY KENNESAW STATE DEPARTMENT OF ATHLETICS VISUAL IDENTITY GENERAL University Athletics Brand History...3 Referencing the Institution...3 Referencing the

More information

Dressing up for length gauge: Aspects of a debate in quantum optics

Dressing up for length gauge: Aspects of a debate in quantum optics Dressing up for length gauge: Aspects of a debate in quantum optics Rainer Dick Department of Physics & Engineering Physics University of Saskatchewan rainer.dick@usask.ca 1 Agenda: Attosecond spectroscopy

More information

Lesson 24: Using the Quadratic Formula,

Lesson 24: Using the Quadratic Formula, , b ± b 4ac x = a Opening Exercise 1. Examine the two equation below and discuss what is the most efficient way to solve each one. A. 4xx + 5xx + 3 = xx 3xx B. cc 14 = 5cc. Solve each equation with the

More information

Approximate Second Order Algorithms. Seo Taek Kong, Nithin Tangellamudi, Zhikai Guo

Approximate Second Order Algorithms. Seo Taek Kong, Nithin Tangellamudi, Zhikai Guo Approximate Second Order Algorithms Seo Taek Kong, Nithin Tangellamudi, Zhikai Guo Why Second Order Algorithms? Invariant under affine transformations e.g. stretching a function preserves the convergence

More information

Local Reductions. September Emanuele Viola Northeastern University

Local Reductions. September Emanuele Viola Northeastern University Local Reductions September 2014 Emanuele Viola Northeastern University Papers: Local Reductions with Hamid Jahanjou and Eric Miles Succinct and explicit circuits for sorting and connectivity With Hamid

More information

Some examples of radical equations are. Unfortunately, the reverse implication does not hold for even numbers nn. We cannot

Some examples of radical equations are. Unfortunately, the reverse implication does not hold for even numbers nn. We cannot 40 RD.5 Radical Equations In this section, we discuss techniques for solving radical equations. These are equations containing at least one radical expression with a variable, such as xx 2 = xx, or a variable

More information

8. Active Filters - 2. Electronic Circuits. Prof. Dr. Qiuting Huang Integrated Systems Laboratory

8. Active Filters - 2. Electronic Circuits. Prof. Dr. Qiuting Huang Integrated Systems Laboratory 8. Active Filters - 2 Electronic Circuits Prof. Dr. Qiuting Huang Integrated Systems Laboratory Blast From The Past: Algebra of Polynomials * PP xx is a polynomial of the variable xx: PP xx = aa 0 + aa

More information