algebraic property testing
play

Algebraic property testing Elad Haramaty Northeastern University - PowerPoint PPT Presentation

Feb 27, 2024 •24 likes •64 views

Algebraic property testing Elad Haramaty Northeastern University Algebraic property testing Property testing : using O (1) queries determined with high probability if f is in the code or far from the code Algebraic codes : linear codes that are

  1. Algebraic property testing Elad Haramaty Northeastern University

  2. Algebraic property testing Property testing : using O (1) queries determined with high probability if f is in the code or far from the code Algebraic codes : linear codes that are affine invariant

  3. Algebraic property testing Example : low degree polynomials [RS96,ALMSS98,AS03, FS95,AKKLR05, KR06, JPRZ09, BKSSZ10, H SS11, H GS15] More examples : lifted codes (codes defined by their restriction on subspaces) [KS08, H RS13, H GS15] Applications : PCP [ALMSS92], Small sets expanders [BGHMRS12], Xor lemmas for polys [VW08], Algorithms [ABG H 14]

  4. More interesting problems - Interactive coding : transcript resilient to error - Natural communication : uncertainty, evolve - Protocols and algorithms : distributed and centralized Thanks!

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

Algebraic Property Testing: A Survey Madhu Sudan MIT 1 1 April 1, 2009 April 1, 2009

Algebraic Property Testing: A Survey Madhu Sudan MIT 1 1 April 1, 2009 April 1, 2009

Algebraic Property Testing: A Survey Madhu Sudan MIT 1 1 April 1, 2009 April 1, 2009 Algebraic Property Testing @ DIMACS Algebraic Property Testing @ DIMACS Algebraic Property Testing: Personal Perspective Madhu Sudan MIT 2 2 April

774 views • 49 slides
Higher-Order Fourier Analysis: Applications to Algebraic Property Testing Yuichi Yoshida

Higher-Order Fourier Analysis: Applications to Algebraic Property Testing Yuichi Yoshida

Higher-Order Fourier Analysis: Applications to Algebraic Property Testing Yuichi Yoshida National Institute of Informatics, and Preferred Infrastructure, Inc October 18, 2014 Yuichi Yoshida (NII and PFI) Applications to algebraic property

600 views • 59 slides
Higher order Fourier analysis and algebraic property testing Hamed Hatami School of Computer

Higher order Fourier analysis and algebraic property testing Hamed Hatami School of Computer

Higher order Fourier analysis and algebraic property testing Hamed Hatami School of Computer Science McGill University July 22, 2019 Hamed Hatami (McGill Universities) Higher order Fourier analysis and algebraic property testing July 22,

824 views • 78 slides
fifty shades of adaptivity (in property testing) An Adaptivity Hierarchy Theorem for Property

fifty shades of adaptivity (in property testing) An Adaptivity Hierarchy Theorem for Property

fifty shades of adaptivity (in property testing) An Adaptivity Hierarchy Theorem for Property Testing Clment Canonne (Columbia University) July 9, 2017 Joint work with Tom Gur (Weizmann Institute UC Berkeley) property testing?

705 views • 67 slides
Property-Based Testing Matt Bachmann @mattbachmann Testing is Important Testing is Important

Property-Based Testing Matt Bachmann @mattbachmann Testing is Important Testing is Important

Property-Based Testing Matt Bachmann @mattbachmann Testing is Important Testing is Important Testing is Important Testing is Hard Testing is Hard Testing is Hard Capture the Important Cases Minimize The Coding Overhead Sorting a list of

1.66k views • 118 slides
PROPERTY TESTING Arnab BHATTACHARYYA (in lieu of Seth) 29/08/2019 Lecture Outline What is

PROPERTY TESTING Arnab BHATTACHARYYA (in lieu of Seth) 29/08/2019 Lecture Outline What is

CS523 234: 4: Alg lgori rith thms ms at Sca cale le PROPERTY TESTING Arnab BHATTACHARYYA (in lieu of Seth) 29/08/2019 Lecture Outline What is property testing? Identify what goes into showing correctness of a testing algorithm.

682 views • 40 slides
Property Based Testing Practice Curtis Millar CSE, UNSW (and Data61) 17 June 2020 1 Exercise 1

Property Based Testing Practice Curtis Millar CSE, UNSW (and Data61) 17 June 2020 1 Exercise 1

Exercise 1 Property Based Testing Proofs and Tests Homework Consultations Software System Design and Implementation Property Based Testing Practice Curtis Millar CSE, UNSW (and Data61) 17 June 2020 1 Exercise 1 Property Based Testing

899 views • 41 slides
Property Based Testing for Better Code @jessitron lots of tests maintenance burden didn't test

Property Based Testing for Better Code @jessitron lots of tests maintenance burden didn't test

Property Based Testing for Better Code @jessitron lots of tests maintenance burden didn't test seams Scala ScalaCheck Property Based Testing Scala ScalaCheck Property Based Testing Define Success Design Documentation Quality Enable

525 views • 40 slides
Software Testing Lecture 7 Property Based Testing Justin Pearson 2019 1 / 17 When are there

Software Testing Lecture 7 Property Based Testing Justin Pearson 2019 1 / 17 When are there

Software Testing Lecture 7 Property Based Testing Justin Pearson 2019 1 / 17 When are there enough unit tests? Lets look at a really simple example. import u n i t t e s t def add ( x , y ) : return x+y class TestAddition ( u n i t t e s t

352 views • 17 slides
Sourav Chakraborty Chennai Mathematical Institute Introduction Techniques Testing of Function

Sourav Chakraborty Chennai Mathematical Institute Introduction Techniques Testing of Function

Introduction Techniques Testing of Function Properties Graph Property testing Isomorphism Testing Conclusion Property Testing: Sublinear Algorithms for Promise Problems Sourav Chakraborty Chennai Mathematical Institute Introduction

2.19k views • 169 slides
Property Based Testing; Lazy Evaluation Liam OConnor University of Edinburgh LFCS (and UNSW)

Property Based Testing; Lazy Evaluation Liam OConnor University of Edinburgh LFCS (and UNSW)

Property Based Testing Example Coverage Lazy Evaluation Homework Software System Design and Implementation Property Based Testing; Lazy Evaluation Liam OConnor University of Edinburgh LFCS (and UNSW) Term 2 2020 1 Property Based

938 views • 80 slides
Property Based Testing; Lazy Evaluation Liam OConnor University of Edinburgh LFCS (and UNSW)

Property Based Testing; Lazy Evaluation Liam OConnor University of Edinburgh LFCS (and UNSW)

Property Based Testing Example Coverage Lazy Evaluation Homework Software System Design and Implementation Property Based Testing; Lazy Evaluation Liam OConnor University of Edinburgh LFCS (and UNSW) Term 2 2020 1 Property Based

487 views • 25 slides
The Blame Game for Property-based Testing: work-in-progress Alberto Momigliano, joint work with

The Blame Game for Property-based Testing: work-in-progress Alberto Momigliano, joint work with

The Blame Game for Property-based Testing: work-in-progress Alberto Momigliano, joint work with Mario Ornaghi DI, University of Milan CILC 2019, Trieste Property-based Testing A light-weight validation approach merging two well known

210 views • 18 slides
Testing membership in varieties, algebraic natural proofs, and geometric complexity theory

Testing membership in varieties, algebraic natural proofs, and geometric complexity theory

Testing membership in varieties, algebraic natural proofs, and geometric complexity theory Markus Bl aser Saarland University with Christian Ikenmeyer, Gorav Jindal, Vladimir Lysikov, Anurag Pandey, and Frank-Olaf Schreyer Membership

537 views • 27 slides
Improved Division Property Based Cube Attacks Exploiting Algebraic Properties of Superpoly Qingju

Improved Division Property Based Cube Attacks Exploiting Algebraic Properties of Superpoly Qingju

Improved Division Property Based Cube Attacks Exploiting Algebraic Properties of Superpoly Qingju Wang 1 Yonglin Hao 2 Yosuke Todo 3 Chaoyun Li 4 Takanori Isobe 5 Willi Meier 6 1 SnT, University of Luxembourg, LU 2 State Key Laboratory of

577 views • 46 slides
Three Approaches towards Optimal Property Estimation and Testing Jiantao Jiao (Stanford EE)

Three Approaches towards Optimal Property Estimation and Testing Jiantao Jiao (Stanford EE)

Three Approaches towards Optimal Property Estimation and Testing Jiantao Jiao (Stanford EE) Joint work with: Yanjun Han, Dmitri Pavlichin, Kartik Venkat, Tsachy Weissman Frontiers in Distribution Testing Workshop, FOCS 2017 Oct. 14th, 2017 1

1.05k views • 34 slides
Introduction Travelxp HD was launched on 2nd February 2011 as Indias first and very own High

Introduction Travelxp HD was launched on 2nd February 2011 as Indias first and very own High

Introduction Travelxp HD was launched on 2nd February 2011 as Indias first and very own High Definition (HD) Channel. Today we are proud to have the largest HD library of travel content filmed in more than 40 countries and with over 500+

542 views • 13 slides
Audience Measurement (AM) Authored by Q13/16 Ad hoc Group on Audience Measurement International

Audience Measurement (AM) Authored by Q13/16 Ad hoc Group on Audience Measurement International

Introduction to ITU-T Audience Measurement (AM) Authored by Q13/16 Ad hoc Group on Audience Measurement International Telecommunication Union IPTV-GSI, June 2011 Contents 1. The Values of Audience Measurement 2. Comparison to Traditional

288 views • 11 slides
COMPANY PROFILE THE DISTRIBUTION REDLIGHT HD REDLIGHT PREMIUM THE CONTENTS

COMPANY PROFILE THE DISTRIBUTION REDLIGHT HD REDLIGHT PREMIUM THE CONTENTS

COMPANY PROFILE THE DISTRIBUTION REDLIGHT HD REDLIGHT PREMIUM THE CONTENTS SATELLITE FREQUENCY CONTACT US REDLIGHT TV is the European brand devoted to sexy, high-quality entertainment for adults. Started in

495 views • 10 slides
Setting New Standards in NDIR Gas Sensing Jeff Wright CEO S U N S T A R h t

Setting New Standards in NDIR Gas Sensing Jeff Wright CEO S U N S T A R h t

S U N S T A R h t t p : / / w w w . s e n s o r - i c . c o m / T E L : 0 7 5 5 - 8 3 3 7 6 5 4 9 F A X : 0 7 5 5 - 8 3 3 7 6 1 8 2 E - M A I L : s z s s 2

362 views • 23 slides
zyxwvutsrqponmlkjihgfedcbaZYXWVUTSRQPONMLKJIHGFEDCBA "Reviewed November 2014" 2D Barcode

zyxwvutsrqponmlkjihgfedcbaZYXWVUTSRQPONMLKJIHGFEDCBA "Reviewed November 2014" 2D Barcode

zyxwvutsrqponmlkjihgfedcbaZYXWVUTSRQPONMLKJIHGFEDCBA "Reviewed November 2014" 2D Barcode History and Progress Elizabeth Sobczyk, MPH, MSW Manager, Immunization Initiatives Division of Pediatric Practice American Academy of Pediatrics

624 views • 13 slides
Update on regulatory reforms from the Scientific Evaluation Branch Jenny Burnett Scientific

Update on regulatory reforms from the Scientific Evaluation Branch Jenny Burnett Scientific

Update on regulatory reforms from the Scientific Evaluation Branch Jenny Burnett Scientific Operations Management Section Scientific Evaluation Branch Medicines Regulation Division, TGA ARCS August 2019, Sydney Outline The latest on

745 views • 40 slides
Dual Language Immersion Middle School Programming One Team. One Mission. One Rock Hill. Welcome!

Dual Language Immersion Middle School Programming One Team. One Mission. One Rock Hill. Welcome!

Dual Language Immersion Middle School Programming One Team. One Mission. One Rock Hill. Welcome! Bienvenidos! Bienvenue! One Team. One Mission. One Rock Hill. Making the Transition One Team. One Mission. One Rock Hill. Transitioning

554 views • 22 slides
pixelman Brian Tsau :) Teresa Choe Gabriel Kramer-Garcia Anthony Chan Motivation Create a

pixelman Brian Tsau :) Teresa Choe Gabriel Kramer-Garcia Anthony Chan Motivation Create a

pixelman Brian Tsau :) Teresa Choe Gabriel Kramer-Garcia Anthony Chan Motivation Create a general purpose programming language catered towards manipulating pixels in images Faster, easier vector/matrix manipulation More portable

232 views • 11 slides

More recommend