Imperial College London
Portrait Picture

Dr Mahdi Cheraghchi

Faculty of Engineering, Department of Computing

Honorary Senior Lecturer
 
 
 
//

Contact

 

m.cheraghchi Website CV

 
 
//

Location

 

353ACE ExtensionSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@unpublished{Chandrasekaran:2016:10.4230/LIPIcs.FSTTCS.2016.46,
author = {Chandrasekaran, K and Cheraghchi, M and Gandikota, V and Grigorescu, E},
doi = {10.4230/LIPIcs.FSTTCS.2016.46},
title = {Local testing for membership in lattices},
url = {http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2016.46},
year = {2016}
}
Download

RIS format (EndNote, RefMan)

TY  - UNPB
AB  - Testing membership in lattices is of practical relevance, with applications to integer programming, error detection in lattice-based communication and cryptography. In this work, we initiate a systematic study of local testing for membership in lattices, complementing and building upon the extensive body of work on locally testable codes. In particular, we formally define the notion of local tests for lattices and present the following: 1. We show that in order to achieve low query complexity, it is sufficient to design one-sided non-adaptive canonical tests. This result is akin to, and based on an analogous result for error-correcting codes due to Ben-Sasson et al. (SIAM J. Computing, 35(1):1-21). 2. We demonstrate upper and lower bounds on the query complexity of local testing for membership in code formula lattices. We instantiate our results for code formula lattices constructed from Reed-Muller codes to obtain nearly-matching upper and lower bounds on the query complexity of testing such lattices. 3. We contrast lattice testing from code testing by showing lower bounds on the query complexity of testing low-dimensional lattices. This illustrates large lower bounds on the query complexity of testing membership in knapsack lattices. On the other hand, we show that knapsack lattices with bounded coefficients have low-query testers if the inputs are promised to lie in the span of the lattice.
AU  - Chandrasekaran,K
AU  - Cheraghchi,M
AU  - Gandikota,V
AU  - Grigorescu,E
DO  - 10.4230/LIPIcs.FSTTCS.2016.46
PY  - 2016///
TI  - Local testing for membership in lattices
UR  - http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2016.46
UR  - http://hdl.handle.net/10044/1/38897
ER  -
Download