Property Testing and Affine Invariance Part I Madhu Sudan Harvard University
|
|
- Cory McKenzie
- 5 years ago
- Views:
Transcription
1 Property Testing and Affine Invariance Part I Madhu Sudan Harvard University December 29-30, 2015 IITB: Property Testing & Affine Invariance 1 of 31
2 Goals of these talks Part I Introduce Property Testing (broadly interesting) Philosophy behind Invariance Introduce Algebraic Property Testing Affine-Invariance Part II Structural results about Affine-Invariance Testing & Affine-Invariance December 29-30, 2015 IITB: Property Testing & Affine Invariance 2 of 31
3 Property Testing Broadly: Test if massive data has some global property approximately, quickly. E.g.: 16 th /17 th century astronomy: Do planetary positions have geometric structure? Formalization: Data = Function ff: DD RR (DD, RR finite) Property = PP ff: DD RR Approximately? δδ(ff, PP) small, where δδ ff, PP = min { δδ ff, gg Pr ff xx gg xx } gg PP xx DD Quickly? With l DD queries into ff December 29-30, 2015 IITB: Property Testing & Affine Invariance 3 of 31
4 Ancient Example: Majority Is Majority of Population (roughly) Blue/Red? DD = Population; RR = {Blue, Red} ff = Current preferences PP = gg: Pr xx gg xx = BBBBBBBB 1 2 Test: Pick xx 1,, xx l DD uniformly independently. Accept if more than 1 2 εε 2 Theorem: l vote Blue. ff PP Accept w.p. 1 exp εε 2 l δδ ff, PP εε Accept w.p. exp εε 2 l Emphasis: l independent of DD ; Error acceptable December 29-30, 2015 IITB: Property Testing & Affine Invariance 4 of 31
5 Less Ancient Example: Linearity Is ff xx 1,, xx mm aa ii xx ii ii for some aa 1,, aa nn Abstraction: DD = GG, RR = HH; GG, HH finite groups PP = φφ: GG HH xx, yy φφ xx + yy = φφ xx + φφ(yy)} Test: Pick xx, yy GG uniformly & independently Accept if ff xx + yy = ff xx + ff(yy) Analysis [Blum,Luby,Rubinfeld 90]: ff PP Accept w.p. 1 (by definition) δδ ff, PP δδ Reject w.p. 2 9 δδ (non-trivial) December 29-30, 2015 IITB: Property Testing & Affine Invariance 5 of 31
6 Non-triviality? Example: nn = 3 tt ; GG = Z 3nn ; HH = Z nn ; PP = {xx aaaa mod nn } ; Consider ff xx = xx 3 δδ ff, PP = 1 1 nn Pr AAAAAAAAAAAAAAAAAAAA = 7 9 (Reject iff xx mmmmmm 3 = yy mmmmmm 3 {+1, 1}) Reason for non-triviality: Gap between f usually satisfies P and f usually equals g which always satisfies P Gap invisible in Polling ; gaping in linearity December 29-30, 2015 IITB: Property Testing & Affine Invariance 6 of 31
7 Example 3: Low-degree testing Is ff xx 1,, xx mm gg xx 1,, xx mm with deg gg dd? DD = FF qq mm ; RR = FF qq Test: Is deg ff llllllll dd? (More generally: Is deg ff AA subspace AA?) Locality l = qq vs. DD = qq mm (Example) Analyses: dd for affine αα > 0 s. t. mm, qq, dd qq 2, Pr llllllll RRRRRRRRRRRRRRRRRR ff αα δδ(ff, PP dd) Robust version: ββ > 0 s. t. mm, qq, dd qq 2, EE llllllll δδ(ff llllllll, PP dd ) ββ δδ(ff, PP dd ) December 29-30, 2015 IITB: Property Testing & Affine Invariance 7 of 31
8 Aside: Importance of Low-degree Testing Central element in PCPs (Probabilistically Checkable Proofs). Till [Dinur 06] no proof without (robust) low-degree testing. Since: Best proofs (smallest, tightest parameters etc.) rely on improvements to low-degree tests. Connected to Gowers Norms: [Viola-Wigderson 07]: [AKKLR] Hardness Amplification Yield Locally Testable Codes Best in high-rate regime. [BarakGopalanHåstadMekaRaghavendraSteurer 12]: [BKSSZ 11] Small-set expanders. December 29-30, 2015 IITB: Property Testing & Affine Invariance 8 of 31
9 History of Property Testing (slightly abbreviated) [Blum,Luby,Rubinfeld S 90] Linearity + application to program testing [Babai,Fortnow,Lund F 90] Multilinearity + application to PCPs (MIP). [Rubinfeld+S.] Low-degree testing + Definition [Goldreich,Goldwasser,Ron] Graph property testing + systematic study Since then many developments More graph properties, statistical properties, matrix properties, properties of Boolean functions More algebraic properties December 29-30, 2015 IITB: Property Testing & Affine Invariance 9 of 31
10 What is Property Testing? Algebra Graphs + Regularity Matrices + Linear algebra Statistics + CLT December 29-30, 2015 IITB: Property Testing & Affine Invariance 10 of 31
11 Invariance? Property PP ff: DD RR Property PP invariant under 1-1 ππ: DD DD, if ff PP ff ππ PP Property PP invariant under group GG if ππ GG PP is invariant under ππ. GG is invariance class of PP. Main Observation: Different property tests unified/separated by invariance class. December 29-30, 2015 IITB: Property Testing & Affine Invariance 11 of 31
12 Invariances (contd.) Some examples: Classical statistics: Invariant under all permutations SS DD. Graph properties: Invariant under vertex renaming. Boolean properties: Invariant under variable renaming. Matrix properties: Invariant under mult. by invertible matrix. Algebraic Properties =? Some introspection: Classical statistics only dealt with SS DD Different invariances different techniques. Invariance for algebra? December 29-30, 2015 IITB: Property Testing & Affine Invariance 12 of 31
13 What is Property Testing? Algebra=? SS VVVVVVVVVVVVVVVV SS vvvvvvvvvvvvvvvvvv? SS DDoooooooooo December 29-30, 2015 IITB: Property Testing & Affine Invariance 13 of 31
14 Algebraic Property Testing Property = algebraic Linearity Property (esp. GG = FF mm q ; HH = FF qq ) Low-degree Property. Is there anything else? What is the abstraction? December 29-30, 2015 IITB: Property Testing & Affine Invariance 14 of 31
15 Abstracting algebraic properties [Kaufman+S. 08] Affine Invariance: Range = Small Field FF qq mm Domain = Vector space over extension field FF qq nn Property invariant under affine transformations of domain (xx AA xx + bb) Additional feature: Linearity of Properties: Property = vector space over range. Critical in use in Coding Theory/PCP. December 29-30, 2015 IITB: Property Testing & Affine Invariance 15 of 31
16 Testing Linear Properties R is a field F; P is linear! Universe: {f:d R} P P Must reject Algebraic Property = Code! (usually) December 29-30, 2015 Must accept Don t care IITB: Property Testing & Affine Invariance 16 of 31
17 Connection to Coding Theory Algebraic properties lead to error-correcting codes Low-degree polynomials can t intersect often. True for other classes of algebraic functions. BCH codes, Dual BCH codes (same symmetries) AG/Goppa codes (fewer symmetries) Coding theoretic metrics want Property with: Large pairwise distance Classical Many members ( high rate ) Small locality of tests. New! December 29-30, 2015 IITB: Property Testing & Affine Invariance 17 of 31
18 Why Study Affine-Invariance Unify known testability results? [Kaufman+S 08]: Unified [BLR 90], [RS 92], [AKKLR 03], [JPRZ 04], [KR 04]. [Haramaty+RonZewi+S 13]: extends [BKSSZ 10], [HSS 11] [Guo+Haramaty+S 14]: strengthens robust low-degree tests [ALMSS 92,Raz-Safra 96] What leads to testability? Negative results: Counterexamples to AKKLR conjecture Positive results: Restrictions within Affine-invariance. New Codes and Implications: Lifted codes December 29-30, 2015 IITB: Property Testing & Affine Invariance 18 of 31
19 Rest of talk (including tomorrow) AKKLR Conjecture Motivation, Counterexample, Lessons Lifted Codes Intriguing generalization of polynomials! Ideas behind analyses of local tests Role of the tensor product December 29-30, 2015 IITB: Property Testing & Affine Invariance 19 of 31
20 AKKLR Conjecture [Alon,Kaufman,Krivelevich,Litsyn,Ron 03] Extended low-degree testing to case of dd qq. Proof extended that of BLR. Conjectured that testing should apply to symmetric codes with local constraints. Symmetric =? 2-transitive invariance class 2-transitivity supports local decoding Constraints =? December 29-30, 2015 IITB: Property Testing & Affine Invariance 20 of 31
21 Constraints, Characterization, Testing Testing Constraints Example: Can not test degree dd polynomials with locality l dd + 1 No local constraints! SS FF qq, SS dd + 1, pp SS pp ff SS ff, where pp = random deg. dd poly, ff = random function. Constraint= SS, VV : SS DD, SS l; VV h: SS RR. Is ff SS VV? Testing Characterizations Characterization= CC 1,, CC MM ; CC jj =constraint. ff PP jj, ff satisfies CC jj December 29-30, 2015 IITB: Property Testing & Affine Invariance 21 of 31
22 Constraints/Characterizations suffice? [Ben-Sasson,Harsha,Raskhodnikova 04]: No! even characterizations don t. AKKLR: Perhaps symmetry suffices? Strong form: Constraint + 2-transitivity suffices Does above imply characterization? Weak form: Characterization + 2-transitivity Both forms false: [Grigorescu,Kaufman,S 08]: Constraint + 2-transitivity Characterization [Ben-Sasson,Maatouk,Shpilka,S 11]: Characterization + 2-transitivity Testing December 29-30, 2015 IITB: Property Testing & Affine Invariance 22 of 31
23 Structure of Affine-Invariant Properties PP gg: FF QQ mm FF qq ; QQ = qq nn ; PP linear, affine-invariant. TTTT xx xx + xx qq + + xx qqnn 1. DD = Deg PP Monomials xx 1,, xx mm s.t. PP = TTTT cc MM MM MM DD Closure properties of the degree set Deg(PP) : xx 1 ii xx 2 jj MM Deg PP xx 1 ii+jj MM (mod xx 1 QQ xx 1 ) Deg(PP); xx 1 ii MM Deg PP xx 1 qqqq MM mod xx 1 QQ xx 1 Deg(PP) xx 1 ii MM Deg(PP) & jj pp ii xx 1 jj MM, xx 1 jj xx 2 ii jj MM Deg PP jj pp ii jj tt ii tt tt, jj = jj tt pp tt ; ii = ii tt pp tt tt ; qq = pp ss Any set closed wrt all three above is a degree set December 29-30, 2015 IITB: Property Testing & Affine Invariance 23 of 31
24 Known Testable Properties Focus on univariate properties PP ff: FF qq nn FF qq Basic locally testable univ. properties Reed-Muller Deg(RRRR ww ) = xx dd dd = tt dd tt pp tt ; tt dd tt ww} (locality l 2 ww+1 ) Sparse: Deg PP tt ; locality l l tt nn, qq [KaufmanLitsyn,GrigorescuKS,KLovett,BenSassonRonZewiS] Operations: Let PP 1 be l 1 -locally testable and PP 2 be l 2 -locally testable; l = l l 1, l 2, qq s.t. PP 1 PP 2, and PP 1 + PP 2 are l-locally testable. [BGMatoukShpilkaS,GuoS] and one more operation (to come later) December 29-30, 2015 IITB: Property Testing & Affine Invariance 24 of 31
25 Constraint + 2-transitivity Characterization Counterexample univariate wlog. Idea: Remove basis elements from RRMM 2 so resulting property is not Reed-Muller or sparse, but satisfies closure. Specifically Deg PP = xx 2ii +2 jj ii jj nn 3 xx2ii ii xx 0 Thm: For PP as above, l = Ω(nn) Key Lemma:αα 1,, αα kk FF 2 nn lin. ind. over FF 2, 2 αα αα 1 kk is non-singular 2 αα kk 1 2 αα kk kk December 29-30, 2015 IITB: Property Testing & Affine Invariance 25 of 31
26 Towards Counterexample to weak form Idea: Start with PP 1,, PP kk : l-locally testable properties and let PP = ii PP ii By construction PP is l-locally characterized Hope: locality of testing as kk Unfortunately: Sparse Anything = Sparse RM RM = RM (RM+Sparse) (RM+Sparse) = RM+Sparse Need non RM+Sparse locally testable property. Idea lift sparse properties to non-sparse ones! December 29-30, 2015 IITB: Property Testing & Affine Invariance 26 of 31
27 Lifting Base Code BB bb: FF QQ FF qq affine-invariant Lifted Code LL mm (BB) = ff: FF QQ mm FF qq llllllll ff llllllll BB ; LL mm (BB) gg: FF QQ mm FF qq gg: FF QQ mm FF qq Lift of Sparse Sparse ; Lift of RM RM [BMSS] Use lifts and intersections to show Characterization + 2-transitivity Testing December 29-30, 2015 IITB: Property Testing & Affine Invariance 27 of 31
28 Characterizations + 2-transitivity Testable PP ff: FF 2 nn FF 2 ; nn = nn 1 nn kk ; nn ii distinct primes BB ii bb: FF 2 nn ii FF 2 ; Deg BB ii = xx 2jj +2 jj+1 jj 1, xx, xx 2, xx 4 PP ii = LL nn BB ii ff: FF 2 nn FF 2 ; PP = ii PP ii nn ii Lemma: Test-locality PP as kk Proof Steps: Let PP ii = jj ii PP jj ; Understand Deg(PP ii ) Find YY ii Deg(PP ii ) with nice recursive structure. Extract Matrices MM ii such that constraint lies in its kernel. Prove ker MM ii ker(mm ii 1 ) December 29-30, 2015 IITB: Property Testing & Affine Invariance 28 of 31
29 Characterizing testability Conjecture: To be OO(1) locally testable, code must be obtained from RRRR, SSSSSSSSSSSS by finite #composition steps using LL mm, +, Conjecture implies: tt kk prime nn, SS 1,, nn, αα 1, αα 2,, αα kk FF 2 nn lin. ind. 2 the matrix MM = αα ss ii has rank tt ii kk,ss SS Implication Open! In general, few techniques to lower bound rank of matrix over finite fields December 29-30, 2015 IITB: Property Testing & Affine Invariance 29 of 31
30 Next Lecture Nice Lifted Properties Surprising implications in incidence geometry Testability of Affine-invariant codes Some ideas December 29-30, 2015 IITB: Property Testing & Affine Invariance 30 of 31
31 Thank You December 29-30, 2015 IITB: Property Testing & Affine Invariance 31 of 31
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 informationTwo 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 informationInvariance in Property Testing
Invariance in Property Testing Madhu Sudan Microsoft Research Based on: works with/of Eli Ben-Sasson, Elena Grigorescu, Tali Kaufman, Shachar Lovett, Ghid Maatouk, Amir Shpilka. February 22, 2012 Invariance
More informationAlgebraic 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 informationLocality 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 informationLow-Degree Polynomials
Low-Degree Polynomials Madhu Sudan Harvard University October 7, 2016 Avi60!! Low-degree Polynomials 1 of 27 October 7, 2016 Avi60!! Low-degree Polynomials 2 of 27 Happy Birthday, Avi!! October 7, 2016
More informationLocal 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 informationTesting Affine-Invariant Properties
Testing Affine-Invariant Properties Madhu Sudan Microsoft Surveys: works with/of Eli Ben-Sasson, Elena Grigorescu, Tali Kaufman, Shachar Lovett, Ghid Maatouk, Amir Shpilka. May 23-28, 2011 Bertinoro: Testing
More informationGeneral 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 informationGeneral 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 informationLow-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 informationUncertain 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 informationWorksheets 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 informationGeneral 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 informationGeneral 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 informationReview 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 informationWorksheets 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 informationAdvanced data analysis
Advanced data analysis Akisato Kimura ( 木村昭悟 ) NTT Communication Science Laboratories E-mail: akisato@ieee.org Advanced data analysis 1. Introduction (Aug 20) 2. Dimensionality reduction (Aug 20,21) PCA,
More informationLecture 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 informationVariations. 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 informationLecture 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 informationReed-Muller testing and approximating small set expansion & hypergraph coloring
Reed-Muller testing and approximating small set expansion & hypergraph coloring Venkatesan Guruswami Carnegie Mellon University (Spring 14 @ Microsoft Research New England) 2014 Bertinoro Workshop on Sublinear
More informationTowards 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 informationClassical 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 informationAlgebraic Property Testing: The Role of Invariance
Algebraic Property Testing: The Role of Invariance Tali Kaufman Madhu Sudan November 2, 2007 Abstract We argue that the symmetries of a property being tested play a central role in property testing. We
More informationReview for Exam Hyunse Yoon, Ph.D. Adjunct Assistant Professor Department of Mechanical Engineering, University of Iowa
Review for Exam3 12. 9. 2015 Hyunse Yoon, Ph.D. Adjunct Assistant Professor Department of Mechanical Engineering, University of Iowa Assistant Research Scientist IIHR-Hydroscience & Engineering, University
More information10.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 informationInternational Journal of Mathematical Archive-5(3), 2014, Available online through ISSN
International Journal of Mathematical Archive-5(3), 214, 189-195 Available online through www.ijma.info ISSN 2229 546 COMMON FIXED POINT THEOREMS FOR OCCASIONALLY WEAKLY COMPATIBLE MAPPINGS IN INTUITIONISTIC
More informationSymmetric LDPC codes are not necessarily locally testable
Symmetric LDPC codes are not necessarily locally testable Eli Ben-Sasson Ghid Maatouk Amir Shpilka Madhu Sudan Abstract Locally testable codes, i.e., codes where membership in the code is testable with
More informationMath 3336 Section 4.3 Primes and Greatest Common Divisors. Prime Numbers and their Properties Conjectures and Open Problems About Primes
Math 3336 Section 4.3 Primes and Greatest Common Divisors Prime Numbers and their Properties Conjectures and Open Problems About Primes Greatest Common Divisors and Least Common Multiples The Euclidian
More informationGrover 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 informationThe 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 information1. 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 informationSecondary 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 informationLesson 1: Successive Differences in Polynomials
Lesson 1 Lesson 1: Successive Differences in Polynomials Classwork Opening Exercise John noticed patterns in the arrangement of numbers in the table below. 2.4 3.4 4.4 5.4 6.4 5.76 11.56 19.36 29.16 40.96
More informationSupport 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 informationControl of Mobile Robots
Control of Mobile Robots Regulation and trajectory tracking Prof. Luca Bascetta (luca.bascetta@polimi.it) Politecnico di Milano Dipartimento di Elettronica, Informazione e Bioingegneria Organization and
More informationApproximate 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 informationChapter 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 informationLast 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 informationAngular 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 informationSymmetric LDPC codes are not necessarily locally testable
Symmetric LDPC codes are not necessarily locally testable Eli Ben-Sasson, Ghid Maatouk, Amir Shpilka, and Madhu Sudan Faculty of Computer Science, Technion, Haifa, Israel, eli,shpilka@cs.technion.ac.il
More informationLecture 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 informationECE 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 informationModule 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 informationA 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 information10.1 Three Dimensional Space
Math 172 Chapter 10A notes Page 1 of 12 10.1 Three Dimensional Space 2D space 0 xx.. xx-, 0 yy yy-, PP(xx, yy) [Fig. 1] Point PP represented by (xx, yy), an ordered pair of real nos. Set of all ordered
More informationF.4 Solving Polynomial Equations and Applications of Factoring
section F4 243 F.4 Zero-Product Property Many application problems involve solving polynomial equations. In Chapter L, we studied methods for solving linear, or first-degree, equations. Solving higher
More informationDSGE (3): BASIC NEOCLASSICAL MODELS (2): APPROACHES OF SOLUTIONS
DSGE (3): Stochastic neoclassical growth models (2): how to solve? 27 DSGE (3): BASIC NEOCLASSICAL MODELS (2): APPROACHES OF SOLUTIONS. Recap of basic neoclassical growth models and log-linearisation 2.
More informationSome 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 informationTerms 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 information7.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 information8. 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 informationOn the efficient approximability of constraint satisfaction problems
On the efficient approximability of constraint satisfaction problems July 13, 2007 My world Max-CSP Efficient computation. P Polynomial time BPP Probabilistic Polynomial time (still efficient) NP Non-deterministic
More informationCS Lecture 8 & 9. Lagrange Multipliers & Varitional Bounds
CS 6347 Lecture 8 & 9 Lagrange Multipliers & Varitional Bounds General Optimization subject to: min ff 0() R nn ff ii 0, h ii = 0, ii = 1,, mm ii = 1,, pp 2 General Optimization subject to: min ff 0()
More informationTesting 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 informationLarge Scale Data Analysis Using Deep Learning
Large Scale Data Analysis Using Deep Learning Linear Algebra U Kang Seoul National University U Kang 1 In This Lecture Overview of linear algebra (but, not a comprehensive survey) Focused on the subset
More informationCharge carrier density in metals and semiconductors
Charge carrier density in metals and semiconductors 1. Introduction The Hall Effect Particles must overlap for the permutation symmetry to be relevant. We saw examples of this in the exchange energy in
More informationCompressed representation of Kohn-Sham orbitals via selected columns of the density matrix
Lin Lin Compressed Kohn-Sham Orbitals 1 Compressed representation of Kohn-Sham orbitals via selected columns of the density matrix Lin Lin Department of Mathematics, UC Berkeley; Computational Research
More informationMultiple Regression Analysis: Inference ECONOMETRICS (ECON 360) BEN VAN KAMMEN, PHD
Multiple Regression Analysis: Inference ECONOMETRICS (ECON 360) BEN VAN KAMMEN, PHD Introduction When you perform statistical inference, you are primarily doing one of two things: Estimating the boundaries
More informationLesson 7: Linear Transformations Applied to Cubes
Classwork Opening Exercise Consider the following matrices: AA = 1 2 0 2, BB = 2, and CC = 2 2 4 0 0 2 2 a. Compute the following determinants. i. det(aa) ii. det(bb) iii. det(cc) b. Sketch the image of
More informationPredicting Winners of Competitive Events with Topological Data Analysis
Predicting Winners of Competitive Events with Topological Data Analysis Conrad D Souza Ruben Sanchez-Garcia R.Sanchez-Garcia@soton.ac.uk Tiejun Ma tiejun.ma@soton.ac.uk Johnnie Johnson J.E.Johnson@soton.ac.uk
More informationDiscrete Structures Lecture Solving Congruences. mathematician of the eighteenth century). Also, the equation gggggg(aa, bb) =
First Introduction Our goal is to solve equations having the form aaaa bb (mmmmmm mm). However, first we must discuss the last part of the previous section titled gcds as Linear Combinations THEOREM 6
More informationEstimate by the L 2 Norm of a Parameter Poisson Intensity Discontinuous
Research Journal of Mathematics and Statistics 6: -5, 24 ISSN: 242-224, e-issn: 24-755 Maxwell Scientific Organization, 24 Submied: September 8, 23 Accepted: November 23, 23 Published: February 25, 24
More informationMath, 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" = 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 informationSECTION 7: FAULT ANALYSIS. ESE 470 Energy Distribution Systems
SECTION 7: FAULT ANALYSIS ESE 470 Energy Distribution Systems 2 Introduction Power System Faults 3 Faults in three-phase power systems are short circuits Line-to-ground Line-to-line Result in the flow
More informationProperty Testing: A Learning Theory Perspective
Property Testing: A Learning Theory Perspective Dana Ron School of EE Tel-Aviv University Ramat Aviv, Israel danar@eng.tau.ac.il Abstract Property testing deals with tasks where the goal is to distinguish
More informationOn The Cauchy Problem For Some Parabolic Fractional Partial Differential Equations With Time Delays
Journal of Mathematics and System Science 6 (216) 194-199 doi: 1.17265/2159-5291/216.5.3 D DAVID PUBLISHING On The Cauchy Problem For Some Parabolic Fractional Partial Differential Equations With Time
More informationTesting Low-Degree Polynomials over Prime Fields
Testing Low-Degree Polynomials over Prime Fields Charanjit S. Jutla IBM Thomas J. Watson Research Center, Yorktown Heights, NY 0598 csjutla@watson.ibm.com Atri Rudra Dept. of Computer Science & Engineering
More informationDressing 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 informationLecture 3. STAT161/261 Introduction to Pattern Recognition and Machine Learning Spring 2018 Prof. Allie Fletcher
Lecture 3 STAT161/261 Introduction to Pattern Recognition and Machine Learning Spring 2018 Prof. Allie Fletcher Previous lectures What is machine learning? Objectives of machine learning Supervised and
More informationAlmost 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 informationIntroduction to Density Estimation and Anomaly Detection. Tom Dietterich
Introduction to Density Estimation and Anomaly Detection Tom Dietterich Outline Definition and Motivations Density Estimation Parametric Density Estimation Mixture Models Kernel Density Estimation Neural
More informationPower of Adiabatic Quantum Computation
Power of Adiabatic Quantum Computation Itay Hen Information Sciences Institute, USC Physics Colloquium, USC February 10, 2014 arxiv preprints: 1207.1712, 1301.4956, 1307.6538, 1401.5172 Motivation in what
More informationOn 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 informationTECHNICAL 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 informationChapter 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(1) Introduction: a new basis set
() Introduction: a new basis set In scattering, we are solving the S eq. for arbitrary VV in integral form We look for solutions to unbound states: certain boundary conditions (EE > 0, plane and spherical
More informationPCP Theorem and Hardness of Approximation
PCP Theorem and Hardness of Approximation An Introduction Lee Carraher and Ryan McGovern Department of Computer Science University of Cincinnati October 27, 2003 Introduction Assuming NP P, there are many
More informationModule 7 (Lecture 27) RETAINING WALLS
Module 7 (Lecture 27) RETAINING WALLS Topics 1.1 RETAINING WALLS WITH METALLIC STRIP REINFORCEMENT Calculation of Active Horizontal and vertical Pressure Tie Force Factor of Safety Against Tie Failure
More informationMath 3 Unit 3: Polynomial Functions
Math 3 Unit 3: Polynomial Functions Unit Title Standards 3.1 End Behavior of Polynomial Functions F.IF.7c 3.2 Graphing Polynomial Functions F.IF.7c, A.APR3 3.3 Writing Equations of Polynomial Functions
More informationSublinear Algorithms Lecture 3
Sublinear Algorithms Lecture 3 Sofya Raskhodnikova Penn State University Thanks to Madhav Jha (Penn State) for help with creating these slides. Tentative Plan Lecture. Background. Testing properties of
More informationData Preprocessing. Jilles Vreeken IRDM 15/ Oct 2015
Data Preprocessing Jilles Vreeken 22 Oct 2015 So, how do you pronounce Jilles Yill-less Vreeken Fray-can Okay, now we can talk. Questions of the day How do we preprocess data before we can extract anything
More informationLecture 6. Notes on Linear Algebra. Perceptron
Lecture 6. Notes on Linear Algebra. Perceptron COMP90051 Statistical Machine Learning Semester 2, 2017 Lecturer: Andrey Kan Copyright: University of Melbourne This lecture Notes on linear algebra Vectors
More informationLecture 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 informationNon-Parametric Weighted Tests for Change in Distribution Function
American Journal of Mathematics Statistics 03, 3(3: 57-65 DOI: 0.593/j.ajms.030303.09 Non-Parametric Weighted Tests for Change in Distribution Function Abd-Elnaser S. Abd-Rabou *, Ahmed M. Gad Statistics
More informationNumerical Analysis of the Non-Isothermal Flow of Polymeric Liquid between Two Coaxial Cylinders *
Numerical Analysis of the Non-Isothermal Flow of Polymeric Liquid between Two Coaxial Cylinders * ALEXANDER BLOKHIN EKATERINA KRUGLOVA BORIS SEMISALOV Sobolev Institute of Mathematics Institute of Computational
More informationPHL424: Nuclear Shell Model. Indian Institute of Technology Ropar
PHL424: Nuclear Shell Model Themes and challenges in modern science Complexity out of simplicity Microscopic How the world, with all its apparent complexity and diversity can be constructed out of a few
More informationLesson 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 informationBig 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 informationSECTION 5: POWER FLOW. ESE 470 Energy Distribution Systems
SECTION 5: POWER FLOW ESE 470 Energy Distribution Systems 2 Introduction Nodal Analysis 3 Consider the following circuit Three voltage sources VV sss, VV sss, VV sss Generic branch impedances Could be
More informationF.1 Greatest Common Factor and Factoring by Grouping
1 Factoring Factoring is the reverse process of multiplication. Factoring polynomials in algebra has similar role as factoring numbers in arithmetic. Any number can be expressed as a product of prime numbers.
More informationMath 3 Unit 3: Polynomial Functions
Math 3 Unit 3: Polynomial Functions Unit Title Standards 3.1 End Behavior of Polynomial Functions F.IF.7c 3.2 Graphing Polynomial Functions F.IF.7c, A.APR3 3.3 Writing Equations of Polynomial Functions
More informationSub-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 informationRotational 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 informationLocal list-decoding and testing of random linear codes from high-error
Local list-decoding and testing of random linear codes from high-error Swastik Kopparty Shubhangi Saraf February 4, 01 Abstract In this paper, we give efficient algorithms for list-decoding and testing
More informationIntroduction 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 informationMathematics, 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 informationOn Sums of Locally Testable Affine Invariant Properties
On Sums of Locally Testable Affine Invariant Properties Eli Ben-Sasson Elena Grigorescu Ghid Maatouk Amir Shpilka Madhu Sudan Abstract Affine-invariant properties are an abstract class of properties that
More information