Document Open Access Logo

Isoperimetric Inequalities for Real-Valued Functions with Applications to Monotonicity Testing

Authors Hadley Black , Iden Kalemaj , Sofya Raskhodnikova

PDF
Thumbnail PDF

File

LIPIcs.ICALP.2023.25.pdf
  • Filesize: 0.98 MB
  • 20 pages

Document Identifiers

Author Details

Hadley Black
  • Department of Computer Science, University of California at Los Angeles, CA, USA
Iden Kalemaj
  • Department of Computer Science, Boston University, MA, USA
Sofya Raskhodnikova
  • Department of Computer Science, Boston University, MA, USA

Funding

  • Black, Hadley: This work was supported by NSF Grant CCF-1553605 and Boston University’s Data Science Initiative.
  • Kalemaj, Iden: This work was supported by NSF award CCF-1909612 and Boston University’s Dean’s Fellowship.
  • Raskhodnikova, Sofya: This work was supported by NSF award CCF-1909612.

Acknowledgements

We thank Ramesh Krishnan Pallavoor Suresh for useful discussions.

Cite AsGet BibTex

Hadley Black, Iden Kalemaj, and Sofya Raskhodnikova. Isoperimetric Inequalities for Real-Valued Functions with Applications to Monotonicity Testing. In 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 261, pp. 25:1-25:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
https://doi.org/10.4230/LIPIcs.ICALP.2023.25

Abstract

We generalize the celebrated isoperimetric inequality of Khot, Minzer, and Safra (SICOMP 2018) for Boolean functions to the case of real-valued functions f:{0,1}^d → ℝ. Our main tool in the proof of the generalized inequality is a new Boolean decomposition that represents every real-valued function f over an arbitrary partially ordered domain as a collection of Boolean functions over the same domain, roughly capturing the distance of f to monotonicity and the structure of violations of f to monotonicity. We apply our generalized isoperimetric inequality to improve algorithms for testing monotonicity and approximating the distance to monotonicity for real-valued functions. Our tester for monotonicity has query complexity Õ(min(r √d,d)), where r is the size of the image of the input function. (The best previously known tester makes O(d) queries, as shown by Chakrabarty and Seshadhri (STOC 2013).) Our tester is nonadaptive and has 1-sided error. We prove a matching lower bound for nonadaptive, 1-sided error testers for monotonicity. We also show that the distance to monotonicity of real-valued functions that are α-far from monotone can be approximated nonadaptively within a factor of O(√{d log d}) with query complexity polynomial in 1/α and the dimension d. This query complexity is known to be nearly optimal for nonadaptive algorithms even for the special case of Boolean functions. (The best previously known distance approximation algorithm for real-valued functions, by Fattal and Ron (TALG 2010) achieves O(d log r)-approximation.)

Subject Classification

ACM Subject Classification
  • Theory of computation → Streaming, sublinear and near linear time algorithms
  • Mathematics of computing → Probabilistic algorithms
Keywords
  • Isoperimetric inequalities
  • property testing
  • monotonicity testing

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

Related Versions

References

  1. Nir Ailon and Bernard Chazelle. Information theory in property testing and monotonicity testing in higher dimension. Information and Computation, 204(11):1704-1717, 2006. Google Scholar
  2. Nir Ailon, Bernard Chazelle, Seshadhri Comandur, and Ding Liu. Estimating the distance to a monotone function. Random Structures and Algorithms, 31(3):371-383, 2007. Google Scholar
  3. Tugkan Batu, Ronitt Rubinfeld, and Patrick White. Fast approximate PCPs for multidimensional bin-packing problems. Information and Computation, 196(1):42-56, 2005. Google Scholar
  4. Aleksandrs Belovs. Adaptive lower bound for testing monotonicity on the line. In Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM), pages 31:1-31:10, 2018. Google Scholar
  5. Aleksandrs Belovs and Eric Blais. A polynomial lower bound for testing monotonicity. In Proceedings, ACM Symposium on Theory of Computing (STOC), pages 1021-1032, 2016. Google Scholar
  6. Piotr Berman, Sofya Raskhodnikova, and Grigory Yaroslavtsev. l_p-testing. In Proceedings, ACM Symposium on Theory of Computing (STOC), pages 164-173, 2014. Google Scholar
  7. Arnab Bhattacharyya, Elena Grigorescu, Kyomin Jung, Sofya Raskhodnikova, and David P. Woodruff. Transitive-closure spanners. SIAM J. Comput., 41(6):1380-1425, 2012. Google Scholar
  8. Hadley Black, Deeparnab Chakrabarty, and C. Seshadhri. A o(d)⋅ polylog n monotonicity tester for Boolean functions over the hypergrid [n]^d. In Proceedings, ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 2133-2151, 2018. Google Scholar
  9. Hadley Black, Deeparnab Chakrabarty, and C. Seshadhri. Domain reduction for monotonicity testing: A o(d) tester for Boolean functions in d-dimensions. In Shuchi Chawla, editor, Proceedings, ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 1975-1994, 2020. Google Scholar
  10. Hadley Black, Deeparnab Chakrabarty, and C. Seshadhri. Directed isoperimetric theorems for boolean functions on the hypergrid and an Õ(n√d) monotonicity tester. In Proceedings, ACM Symposium on Theory of Computing (STOC), 2023. Google Scholar
  11. Hadley Black, Iden Kalemaj, and Sofya Raskhodnikova. Isoperimetric inequalities for real-valued functions with applications to monotonicity testing. CoRR, abs/2011.09441, 2020. URL: https://arxiv.org/abs/2011.09441.
  12. Eric Blais, Joshua Brody, and Kevin Matulef. Property testing lower bounds via communication complexity. Computational Complexity, 21(2):311-358, 2012. Google Scholar
  13. Eric Blais, Sofya Raskhodnikova, and Grigory Yaroslavtsev. Lower bounds for testing properties of functions over hypergrid domains. In Proceedings, IEEE Conference on Computational Complexity (CCC), pages 309-320, 2014. Google Scholar
  14. Mark Braverman, Subhash Khot, Guy Kindler, and Dor Minzer. Improved monotonicity testers via hypercube embeddings. In Proceedings, Innovations in Theoretical Computer Science (ITCS), pages 25:1-25:24, 2023. Google Scholar
  15. Jop Briët, Sourav Chakraborty, David García Soriano, and Ari Matsliah. Monotonicity testing and shortest-path routing on the cube. Combinatorica, 32(1):35-53, 2012. Google Scholar
  16. Deeparnab Chakrabarty, Kashyap Dixit, Madhav Jha, and C. Seshadhri. Property testing on product distributions: Optimal testers for bounded derivative properties. ACM Trans. on Algorithms, 13(2):20:1-20:30, 2017. Google Scholar
  17. Deeparnab Chakrabarty and C. Seshadhri. Optimal bounds for monotonicity and Lipschitz testing over hypercubes and hypergrids. In Proceedings, ACM Symposium on Theory of Computing (STOC), pages 419-428, 2013. Google Scholar
  18. Deeparnab Chakrabarty and C. Seshadhri. An optimal lower bound for monotonicity testing over hypergrids. Theory of Computing, 10:453-464, 2014. Google Scholar
  19. Deeparnab Chakrabarty and C. Seshadhri. An o(n) monotonicity tester for Boolean functions over the hypercube. SIAM Journal on Computing, 45(2):461-472, 2016. Google Scholar
  20. Deeparnab Chakrabarty and C. Seshadhri. Adaptive Boolean monotonicity testing in total influence time. In Proceedings, Innovations in Theoretical Computer Science (ITCS), pages 20:1-20:7, 2019. Google Scholar
  21. Xi Chen, Anindya De, Rocco A. Servedio, and Li-Yang Tan. Boolean function monotonicity testing requires (almost) n^1/2 non-adaptive queries. In Proceedings, ACM Symposium on Theory of Computing (STOC), pages 519-528, 2015. Google Scholar
  22. Xi Chen, Rocco A. Servedio, and Li-Yang Tan. New algorithms and lower bounds for monotonicity testing. In Proceedings, IEEE Symposium on Foundations of Computer Science (FOCS), pages 286-295, 2014. Google Scholar
  23. Xi Chen, Erik Waingarten, and Jinyu Xie. Beyond Talagrand functions: new lower bounds for testing monotonicity and unateness. In Proceedings, ACM Symposium on Theory of Computing (STOC), pages 523-536, 2017. Google Scholar
  24. Kashyap Dixit, Sofya Raskhodnikova, Abhradeep Thakurta, and Nithin Varma. Erasure-resilient property testing. SIAM Journal on Computing, 47(2):295-329, 2018. Google Scholar
  25. Yevgeniy Dodis, Oded Goldreich, Eric Lehman, Sofya Raskhodnikova, Dana Ron, and Alex Samorodnitsky. Improved testing algorithms for monotonicity. In Proceedings of Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM, pages 97-108, 1999. Google Scholar
  26. Funda Ergun, Sampath Kannan, Ravi Kumar, Ronitt Rubinfeld, and Mahesh Viswanathan. Spot-checkers. J. Comput. System Sci., 60(3):717-751, 2000. Google Scholar
  27. Shahar Fattal and Dana Ron. Approximating the distance to monotonicity in high dimensions. ACM Trans. on Algorithms, 6(3):52:1-52:37, 2010. Google Scholar
  28. Eldar Fischer. On the strength of comparisons in property testing. Information and Computation, 189(1):107-116, 2004. Google Scholar
  29. Eldar Fischer, Eric Lehman, Ilan Newman, Sofya Raskhodnikova, Ronitt Rubinfeld, and Alex Samorodnitsky. Monotonicity testing over general poset domains. In Proceedings, ACM Symposium on Theory of Computing (STOC), pages 474-483, 2002. Google Scholar
  30. Oded Goldreich, Shafi Goldwasser, Eric Lehman, Dana Ron, and Alex Samorodnitsky. Testing monotonicity. Combinatorica, 20(3):301-337, 2000. Google Scholar
  31. Shirley Halevy and Eyal Kushilevitz. Testing monotonicity over graph products. Random Structures and Algorithms, 33(1):44-67, 2008. Google Scholar
  32. Subhash Khot, Dor Minzer, and Muli Safra. On monotonicity testing and Boolean isoperimetric-type theorems. SIAM Journal on Computing, 47(6):2238-2276, 2018. Google Scholar
  33. Eric Lehman and Dana Ron. On disjoint chains of subsets. Journal of Combinatorial Theory, Series A, 94(2):399-404, 2001. Google Scholar
  34. Grigory A. Margulis. Probabilistic characteristics of graphs with large connectivity. Problemy Peredachi Informatsii, 10(2):101-108, 1974. Google Scholar
  35. Ramesh Krishnan S. Pallavoor, Sofya Raskhodnikova, and Nithin Varma. Parameterized property testing of functions. ACM Trans. Comput. Theory, 9(4):17:1-17:19, 2018. Google Scholar
  36. Ramesh Krishnan S. Pallavoor, Sofya Raskhodnikova, and Erik Waingarten. Approximating the distance to monotonicity of Boolean functions. Random Structures and Algorithms, 60(2):233-260, 2022. Google Scholar
  37. Ramesh Krishnan Pallavoor Suresh. Improved Algorithms and New Models in Property Testing. PhD thesis, Boston University, 2020. Google Scholar
  38. Michal Parnas, Dana Ron, and Ronitt Rubinfeld. Tolerant property testing and distance approximation. J. Comput. Syst. Sci., 72(6):1012-1042, 2006. Google Scholar
  39. Sofya Raskhodnikova. Monotonicity testing. Masters Thesis, MIT, 1999. Google Scholar
  40. Michel Talagrand. Isoperimetry, logarithmic Sobolev inequalities on the discrete cube, and Margulis’ graph connectivity theorem. Geom. Func. Anal., 3(3):295-314, 1993. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact