A Self-Tester for Linear Functions over the Integers with an Elementary Proof of Correctness
We present simple, self-contained proofs of correctness for algorithms for linearity testing and program checking of linear functions on finite subsets of integers represented as n-bit numbers. In addition we explore a generalization of self-testing to homomorphisms on a multidimensional vector spac...
Uložené v:
| Vydané v: | arXiv.org |
|---|---|
| Hlavní autori: | , |
| Médium: | Paper |
| Jazyk: | English |
| Vydavateľské údaje: |
Ithaca
Cornell University Library, arXiv.org
22.06.2015
|
| Predmet: | |
| ISSN: | 2331-8422 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Abstract | We present simple, self-contained proofs of correctness for algorithms for linearity testing and program checking of linear functions on finite subsets of integers represented as n-bit numbers. In addition we explore a generalization of self-testing to homomorphisms on a multidimensional vector space. We show that our self-testing algorithm for the univariate case can be directly generalized to vector space domains. The number of queries made by our algorithms is independent of domain size. |
|---|---|
| AbstractList | We present simple, self-contained proofs of correctness for algorithms for linearity testing and program checking of linear functions on finite subsets of integers represented as n-bit numbers. In addition we explore a generalization of self-testing to homomorphisms on a multidimensional vector space. We show that our self-testing algorithm for the univariate case can be directly generalized to vector space domains. The number of queries made by our algorithms is independent of domain size. |
| Author | Devadas, Sheela Rubinfeld, Ronitt |
| Author_xml | – sequence: 1 givenname: Sheela surname: Devadas fullname: Devadas, Sheela – sequence: 2 givenname: Ronitt surname: Rubinfeld fullname: Rubinfeld, Ronitt |
| BookMark | eNotj0FLAzEUhIMoWGvvHgOetyZ5STd7LKW1hYKCexRKkn2xW2qiSVr137ugMDCHD-ZjbshliAEJueNsKrVS7MGk7_485ZKLqZJaXpCRAOCVlkJck0nOB8aYmNVCKRiR1zl9waOvWswFE_Ux0W0f0CS6OgVX-hgyjeeBlD3STSj4hinTr77sqQl0ecR3DMWkH_qcYvR0yCKmhK4EzPmWXHlzzDj57zFpV8t2sa62T4-bxXxbGcV5ZRsPGrhrLPDOshqUM51W3FpXOwNau5lUyLSWWjjWOS8tNGwGuqu9kraBMbn_m_1I8fM0HNkd4imFwbgTTIPkCmoOv9cXVe0 |
| ContentType | Paper |
| Copyright | 2015. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. |
| Copyright_xml | – notice: 2015. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. |
| DBID | 8FE 8FG ABJCF ABUWG AFKRA AZQEC BENPR BGLVJ CCPQU DWQXO HCIFZ L6V M7S PHGZM PHGZT PIMPY PKEHL PQEST PQGLB PQQKQ PQUKI PRINS PTHSS |
| DOI | 10.48550/arxiv.1412.5484 |
| DatabaseName | ProQuest SciTech Collection ProQuest Technology Collection Materials Science & Engineering Collection ProQuest Central (Alumni) ProQuest Central UK/Ireland ProQuest Central Essentials - QC ProQuest Central ProQuest Technology Collection ProQuest One ProQuest Central Korea SciTech Premium Collection ProQuest Engineering Collection Engineering Database ProQuest Central Premium ProQuest One Academic (New) Publicly Available Content Database ProQuest One Academic Middle East (New) ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition ProQuest Central China Engineering Collection |
| DatabaseTitle | Publicly Available Content Database Engineering Database Technology Collection ProQuest One Academic Middle East (New) ProQuest Central Essentials ProQuest One Academic Eastern Edition ProQuest Central (Alumni Edition) SciTech Premium Collection ProQuest One Community College ProQuest Technology Collection ProQuest SciTech Collection ProQuest Central China ProQuest Central ProQuest One Applied & Life Sciences ProQuest Engineering Collection ProQuest One Academic UKI Edition ProQuest Central Korea Materials Science & Engineering Collection ProQuest Central (New) ProQuest One Academic ProQuest One Academic (New) Engineering Collection |
| DatabaseTitleList | Publicly Available Content Database |
| Database_xml | – sequence: 1 dbid: PIMPY name: Publicly Available Content Database url: http://search.proquest.com/publiccontent sourceTypes: Aggregation Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Physics |
| EISSN | 2331-8422 |
| Genre | Working Paper/Pre-Print |
| GroupedDBID | 8FE 8FG ABJCF ABUWG AFKRA ALMA_UNASSIGNED_HOLDINGS AZQEC BENPR BGLVJ CCPQU DWQXO FRJ HCIFZ L6V M7S M~E PHGZM PHGZT PIMPY PKEHL PQEST PQGLB PQQKQ PQUKI PRINS PTHSS |
| ID | FETCH-LOGICAL-a511-b9f3831c9b31db0735cad851bbc7ca388c645e088482c0dcf4b390638d7f54b93 |
| IEDL.DBID | M7S |
| IngestDate | Mon Jun 30 09:35:12 EDT 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | false |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a511-b9f3831c9b31db0735cad851bbc7ca388c645e088482c0dcf4b390638d7f54b93 |
| Notes | SourceType-Working Papers-1 ObjectType-Working Paper/Pre-Print-1 content type line 50 |
| OpenAccessLink | https://www.proquest.com/docview/2083415371?pq-origsite=%requestingapplication% |
| PQID | 2083415371 |
| PQPubID | 2050157 |
| ParticipantIDs | proquest_journals_2083415371 |
| PublicationCentury | 2000 |
| PublicationDate | 20150622 |
| PublicationDateYYYYMMDD | 2015-06-22 |
| PublicationDate_xml | – month: 06 year: 2015 text: 20150622 day: 22 |
| PublicationDecade | 2010 |
| PublicationPlace | Ithaca |
| PublicationPlace_xml | – name: Ithaca |
| PublicationTitle | arXiv.org |
| PublicationYear | 2015 |
| Publisher | Cornell University Library, arXiv.org |
| Publisher_xml | – name: Cornell University Library, arXiv.org |
| SSID | ssj0002672553 |
| Score | 1.5660495 |
| SecondaryResourceType | preprint |
| Snippet | We present simple, self-contained proofs of correctness for algorithms for linearity testing and program checking of linear functions on finite subsets of... |
| SourceID | proquest |
| SourceType | Aggregation Database |
| SubjectTerms | Algorithms Domains Homomorphisms Integers Linear functions Linearity Self testing Vector space |
| Title | A Self-Tester for Linear Functions over the Integers with an Elementary Proof of Correctness |
| URI | https://www.proquest.com/docview/2083415371 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1NS8NAEB20VfDkN37Usgev0SbZdDcn0dKioCXYIhWEsp9SkLQmtei_d3ZN9SB4EXIJIRA2O2_em33MAJxyY3nbJArjGyGQ6tAGgnETtJgymL6SmPleeg-3rN_no1GaVQW3srJVLjHRA7WeKlcjR5HOEXDx3fBi9hq4qVHudLUaobEKddclIfTWvcF3jSVqM2TM8dfppG_ddS6K98kC4SGMzpCr018I7NNKb_O_H7QF9UzMTLENKybfgXVv51TlLjxdkoF5scHQ90EgSEwJik7c1KSHecxvNeK8mwTpH3FFwWdkgcTVZInISbeylBcfJENibQleHTfFQ80dMO7BsNcddq6Dao5CIJBOBTK1KENDlco41BJDOlFCI9GSUjElYs5VmyYG0YbySLW0slTGqWMymtmEyjTeh1o-zc0BEEzmzKIiU1oLVFaWU8m1TtJUoJIJDT2ExnKtxlUslOOfhTr6-_ExbCAdSZwRK4oaUJsXb-YE1tRiPimLJtSvuv3svul_Md5lN3fZ4yfWpLFS |
| linkProvider | ProQuest |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LS8NAEF5Kq-jJNz6q7kGP0ebV3RxEpLa0tJZCg_QglH1KQdKa1Gp_lP_R2W2jB8FbD0JuIZBldr75vtnZGYQuqNK0qkIB_g0QGEhXO4xQ5VSIUBC-Qp_YXnqPHdLt0sEg6hXQZ34XxpRV5phogVqOhcmRg0inALjwrXs7eXXM1ChzupqP0Fhsi7aav4Nky25a92DfS89r1ONa01lOFXAYkAuHRxpEmSsi7ruSwwYPBZNAOzgXRDCfUlENQgW-F1BPVKTQAfcjE9cl0WHATe8lQPwSsAgvspWC_e-UjlclQND9xWGo7RR2zdKP0QzQyPWuQBoEvwDfRrHG1j9b_zYq9dhEpTuooJJdtG6LVUW2h57ucF-9aCe2XR4w0G4Mkhr-DTcgSltHwqYyFQO5xSbl-QwcF5uMM2YJri8L5tM57oFs0BiemplRIqYG9vdRvIr1HKBiMk7UIcJAVYgGvSmkZKAbNQ04lTKMIgY6zVXBESrnphkuPT0b_tjl-O_X52ijGT90hp1Wt32CNoF4habkzPPKqDhN39QpWhOz6ShLz-yuwmi4Yit-AYUwCWI |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=A+Self-Tester+for+Linear+Functions+over+the+Integers+with+an+Elementary+Proof+of+Correctness&rft.jtitle=arXiv.org&rft.au=Devadas%2C+Sheela&rft.au=Rubinfeld%2C+Ronitt&rft.date=2015-06-22&rft.pub=Cornell+University+Library%2C+arXiv.org&rft.eissn=2331-8422&rft_id=info:doi/10.48550%2Farxiv.1412.5484 |