TY - GEN
T1 - Testing convexity of functions over finite domains
AU - Belovs, Aleksandrs
AU - Blais, Eric
AU - Bommireddi, Abhinav
N1 - Publisher Copyright:
Copyright © 2020 by SIAM
PY - 2020
Y1 - 2020
N2 - We establish new upper and lower bounds on the number of queries required to test convexity of functions over various discrete domains. 1. We provide a simplified version of the non-adaptive convexity tester on the line. We re-prove the upper bound O( log(ε εn) ) in the usual uniform model, and prove an O( logεn ) upper bound in the distribution-free setting. 2. We show a tight lower bound of Ω( log(ε εn) ) queries for testing convexity of functions f : [n] → R on the line. This lower bound applies to both adaptive and non-adaptive algorithms, and matches the upper bound from item 1, showing that adaptivity does not help in this setting. 3. Moving to higher dimensions, we consider the case of a stripe [3] ×[n]. We construct an adaptive tester for convexity of functions f : [3] × [n] → R with query complexity O(log2 n). We also show that any non-adaptive tester must use Ω(√n) queries in this setting. Thus, adaptivity yields an exponential improvement for this problem. 4.
AB - We establish new upper and lower bounds on the number of queries required to test convexity of functions over various discrete domains. 1. We provide a simplified version of the non-adaptive convexity tester on the line. We re-prove the upper bound O( log(ε εn) ) in the usual uniform model, and prove an O( logεn ) upper bound in the distribution-free setting. 2. We show a tight lower bound of Ω( log(ε εn) ) queries for testing convexity of functions f : [n] → R on the line. This lower bound applies to both adaptive and non-adaptive algorithms, and matches the upper bound from item 1, showing that adaptivity does not help in this setting. 3. Moving to higher dimensions, we consider the case of a stripe [3] ×[n]. We construct an adaptive tester for convexity of functions f : [3] × [n] → R with query complexity O(log2 n). We also show that any non-adaptive tester must use Ω(√n) queries in this setting. Thus, adaptivity yields an exponential improvement for this problem. 4.
UR - https://dl.acm.org/doi/10.5555/3381089.3381214
UR - https://www.scopus.com/pages/publications/85084077362
M3 - Conference paper
SN - 9781611975994
VL - 2020-January
T3 - Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms
SP - 2030
EP - 2045
BT - 31st Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2020
PB - Society for Industrial and Applied Mathematics
CY - Philadelphia
ER -