A Hyperbolic Extension of Kadison-Singer Type Results

Authors Ruizhe Zhang, Xinzhi Zhang



PDF
Thumbnail PDF

File

LIPIcs.ICALP.2023.108.pdf
  • Filesize: 0.67 MB
  • 14 pages

Document Identifiers

Author Details

Ruizhe Zhang
  • The University of Texas at Austin, TX, USA
Xinzhi Zhang
  • University of Washington, Seattle, WA, USA

Cite As Get BibTex

Ruizhe Zhang and Xinzhi Zhang. A Hyperbolic Extension of Kadison-Singer Type Results. In 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 261, pp. 108:1-108:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023) https://doi.org/10.4230/LIPIcs.ICALP.2023.108

Abstract

In 2013, Marcus, Spielman, and Srivastava resolved the famous Kadison-Singer conjecture. It states that for n independent random vectors v_1,⋯, v_n that have expected squared norm bounded by ε and are in the isotropic position in expectation, there is a positive probability that the determinant polynomial det(xI - ∑_{i=1}^n v_i v_i^⊤) has roots bounded by (1 + √ε)². An interpretation of the Kadison-Singer theorem is that we can always find a partition of the vectors v_1,⋯,v_n into two sets with a low discrepancy in terms of the spectral norm (in other words, rely on the determinant polynomial). 
In this paper, we provide two results for a broader class of polynomials, the hyperbolic polynomials. Furthermore, our results are in two generalized settings:  
- The first one shows that the Kadison-Singer result requires a weaker assumption that the vectors have a bounded sum of hyperbolic norms. 
- The second one relaxes the Kadison-Singer result’s distribution assumption to the Strongly Rayleigh distribution.  To the best of our knowledge, the previous results only support determinant polynomials [Anari and Oveis Gharan'14, Kyng, Luh and Song'20]. It is unclear whether they can be generalized to a broader class of polynomials. In addition, we also provide a sub-exponential time algorithm for constructing our results.

Subject Classification

ACM Subject Classification
  • Theory of computation → Randomness, geometry and discrete structures
Keywords
  • Kadison-Singer conjecture
  • Hyperbolic polynomials
  • Strongly-Rayleigh distributions
  • Interlacing polynomials

Metrics

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

References

  1. Kasra Alishahi and Milad Barzegar. Paving property for real stable polynomials and strongly rayleigh processes. arXiv preprint, 2020. URL: https://arxiv.org/abs/2006.13923.
  2. Nima Amini. Spectrahedrality of hyperbolicity cones of multivariate matching polynomials. Journal of Algebraic Combinatorics, 50(2):165-190, 2019. Google Scholar
  3. Nima Anari, Kuikui Liu, Shayan Oveis Gharan, and Cynthia Vinzant. Log-concave polynomials ii: high-dimensional walks and an fpras for counting bases of a matroid. In Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing, pages 1-12, 2019. Google Scholar
  4. Nima Anari, Kuikui Liu, Shayan Oveis Gharan, Cynthia Vinzant, and Thuy-Duong Vuong. Log-concave polynomials iv: approximate exchange, tight mixing times, and near-optimal sampling of forests. In Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing, pages 408-420, 2021. Google Scholar
  5. Nima Anari, Tung Mai, Shayan Oveis Gharan, and Vijay V Vazirani. Nash social welfare for indivisible items under separable, piecewise-linear concave utilities. In Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, pages 2274-2290. SIAM, 2018. Google Scholar
  6. Nima Anari and Shayan Oveis Gharan. The kadison-singer problem for strongly rayleigh measures and applications to asymmetric tsp. In arXiv preprint. https://arxiv.org/pdf/1412.1143.pdf, 2014.
  7. Nima Anari and Shayan Oveis Gharan. Effective-resistance-reducing flows, spectrally thin trees, and asymmetric tsp. In Foundations of Computer Science (FOCS), 2015 IEEE 56th Annual Symposium on, pages 20-39. IEEE, 2015. Google Scholar
  8. Nima Anari and Shayan Oveis Gharan. A generalization of permanent inequalities and applications in counting and optimization. In Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing, pages 384-396, 2017. Google Scholar
  9. Nima Anari, Shayan Oveis Gharan, and Alireza Rezaei. Monte carlo markov chain algorithms for sampling strongly rayleigh distributions and determinantal point processes. In Conference on Learning Theory, pages 103-115. PMLR, 2016. Google Scholar
  10. Nima Anari, Shayan Oveis Gharan, Amin Saberi, and Mohit Singh. Nash social welfare, matrix permanent, and stable polynomials. arXiv preprint, 2016. URL: https://arxiv.org/abs/1609.07056.
  11. Nima Anari, Shayan Oveis Gharan, Amin Saberi, and Nikhil Srivastava. Approximating the largest root and applications to interlacing families. In Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, pages 1015-1028. SIAM, 2018. Google Scholar
  12. Nima Anari, Shayan Oveis Gharan, and Cynthia Vinzant. Log-concave polynomials, entropy, and a deterministic approximation algorithm for counting bases of matroids. In 2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS), pages 35-46. IEEE, 2018. Google Scholar
  13. Julius Borcea and Petter Brändén. The lee-yang and pólya-schur programs. ii. theory of stable polynomials and applications. Communications on Pure and Applied Mathematics: A Journal Issued by the Courant Institute of Mathematical Sciences, 62(12):1595-1631, 2009. Google Scholar
  14. Julius Borcea, Petter Brändén, and Thomas Liggett. Negative dependence and the geometry of polynomials. Journal of the American Mathematical Society, 22(2):521-567, 2009. Google Scholar
  15. Marcin Bownik, Pete Casazza, Adam W Marcus, and Darrin Speegle. Improved bounds in weaver and feichtinger conjectures. Journal für die reine und angewandte Mathematik (Crelles Journal), 2019(749):267-293, 2019. Google Scholar
  16. Petter Brändén. Notes on hyperbolicity cones. Verfügbar unter https://math. berkeley. edu/~ bernd/branden. pdf, 2010. Google Scholar
  17. Petter Brändén. Obstructions to determinantal representability. Advances in Mathematics, 226(2):1202-1212, 2011. Google Scholar
  18. Petter Brändén. Hyperbolicity cones of elementary symmetric polynomials are spectrahedral. Optimization Letters, 8(5):1773-1782, 2014. Google Scholar
  19. Petter Brändén. Hyperbolic polynomials and the kadison-singer problem. arXiv preprint, 2018. URL: https://arxiv.org/abs/1809.03255.
  20. Sam Burton, Cynthia Vinzant, and Yewon Youm. A real stable extension of the vamos matroid polynomial. arXiv preprint, 2014. URL: https://arxiv.org/abs/1411.2038.
  21. Michael Cohen. Improved spectral sparsification and Kadison-Singer for sums of higher-rank matrices. In Banff International Research Station for Mathematical Innovation and Discovery. https://open.library.ubc.ca/cIRcle/collections/48630/items/1.0340957, 2016.
  22. Michael B Cohen. Ramanujan graphs in polynomial time. In 2016 IEEE 57th Annual Symposium on Foundations of Computer Science (FOCS), pages 276-281. IEEE, 2016. Google Scholar
  23. Lars Gårding. Linear hyperbolic partial differential equations with constant coefficients. Acta Mathematica, 85:1-62, 1951. Google Scholar
  24. Osman Güler. Hyperbolic polynomials and interior point methods for convex programming. Mathematics of Operations Research, 22(2):350-377, 1997. Google Scholar
  25. Leonid Gurvits. Van der waerden/schrijver-valiant like conjectures and stable (aka hyperbolic) homogeneous polynomials: one theorem for all. arXiv preprint, 2007. URL: https://arxiv.org/abs/0711.3496.
  26. Leonid Gurvits and Jonathan Leake. Capacity lower bounds via productization. In Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing, pages 847-858, 2021. Google Scholar
  27. Nicholas JA Harvey and Neil Olver. Pipage rounding, pessimistic estimators and matrix concentration. In Proceedings of the twenty-fifth annual ACM-SIAM symposium on Discrete algorithms, pages 926-945. SIAM, 2014. Google Scholar
  28. J William Helton and Victor Vinnikov. Linear matrix inequality representation of sets. Communications on Pure and Applied Mathematics: A Journal Issued by the Courant Institute of Mathematical Sciences, 60(5):654-674, 2007. Google Scholar
  29. L Hormander. The analysis of linear partial differential operators ii. Grundlehren, 257, 1983. Google Scholar
  30. Richard V Kadison and Isadore M Singer. Extensions of pure states. American journal of mathematics, 81(2):383-400, 1959. Google Scholar
  31. Anna R Karlin, Nathan Klein, and Shayan Oveis Gharan. An improved approximation algorithm for tsp in the half integral case. In Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing, pages 28-39, 2020. Google Scholar
  32. Anna R Karlin, Nathan Klein, and Shayan Oveis Gharan. A (slightly) improved approximation algorithm for metric tsp. In Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing, pages 32-45, 2021. Google Scholar
  33. Anna R Karlin, Nathan Klein, Shayan Oveis Gharan, and Xinzhi Zhang. An improved approximation algorithm for the minimum k-edge connected multi-subgraph problem. arXiv preprint, 2021. URL: https://arxiv.org/abs/2101.05921.
  34. N.V. Krylov. On the general notion of fully nonlinear second-order elliptic equations. Transactions of the American Mathematical Society, 347(3):857-895, 1995. Google Scholar
  35. Mario Kummer, Daniel Plaumann, and Cynthia Vinzant. Hyperbolic polynomials, interlacers, and sums of squares. Mathematical Programming, 153(1):223-245, 2015. Google Scholar
  36. Rasmus Kyng, Kyle Luh, and Zhao Song. Four deviations suffice for rank 1 matrices. In Advances in Mathematics. arXiv preprint arXiv:1901.06731, 2020. Google Scholar
  37. Rasmus Kyng and Zhao Song. A matrix chernoff bound for strongly rayleigh distributions and spectral sparsifiers from a few random spanning trees. In 2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS), pages 373-384. IEEE, 2018. Google Scholar
  38. Lap Chi Lau and Hong Zhou. A spectral approach to network design. In Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing, pages 826-839, 2020. Google Scholar
  39. Peter D Lax. Differential equations, difference equations and matrix theory. Technical report, New York Univ., New York. Atomic Energy Commission Computing and Applied Mathematics Center, 1957. Google Scholar
  40. Adrian Lewis, Pablo Parrilo, and Motakuri Ramana. The lax conjecture is true. Proceedings of the American Mathematical Society, 133(9):2495-2499, 2005. Google Scholar
  41. A. Marcus, D. Spielman, and N. Srivastava. Interlacing families iv: Bipartite ramanujan graphs of all sizes. SIAM Journal on Computing, 47(6):2488-2509, 2018. URL: https://doi.org/10.1137/16M106176X.
  42. Adam W. Marcus, Daniel A. Spielman, and Nikhil Srivastava. Interlacing families I: Bipartite Ramanujan graphs of all degrees. Ann. of Math. (2), 182(1):307-325, 2015. Google Scholar
  43. Adam W. Marcus, Daniel A. Spielman, and Nikhil Srivastava. Interlacing families II: Mixed characteristic polynomials and the Kadison-Singer problem. Ann. of Math. (2), 182(1):327-350, 2015. Google Scholar
  44. Tor Myklebust and Levent Tunçel. Interior-point algorithms for convex optimization based on primal-dual metrics. arXiv preprint, 2014. URL: https://arxiv.org/abs/1411.2129.
  45. Simone Naldi and Daniel Plaumann. Symbolic computation in hyperbolic programming. Journal of Algebra and Its Applications, 17(10):1850192, 2018. Google Scholar
  46. Aleksandar Nikolov and Mohit Singh. Maximizing determinants under partition constraints. In Proceedings of the forty-eighth annual ACM symposium on Theory of Computing, pages 192-201, 2016. Google Scholar
  47. Robin Pemantle and Yuval Peres. Concentration of lipschitz functionals of determinantal and other strong rayleigh measures. Combinatorics, Probability and Computing, 23(1):140-160, 2014. Google Scholar
  48. Prasad Raghavendra, Nick Ryder, Nikhil Srivastava, and Benjamin Weitz. Exponential lower bounds on spectrahedral representations of hyperbolicity cones. In Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms, pages 2322-2332. SIAM, 2019. Google Scholar
  49. Mohan Ravichandran and Jonathan Leake. Mixed determinants and the kadison-singer problem. Mathematische Annalen, 377(1):511-541, 2020. Google Scholar
  50. James Renegar. Hyperbolic programs, and their derivative relaxations. Foundations of Computational Mathematics, 6(1):59-79, 2006. Google Scholar
  51. James Renegar. "Efficient” subgradient methods for general convex optimization. SIAM Journal on Optimization, 26(4):2649-2676, 2016. Google Scholar
  52. James Renegar. Accelerated first-order methods for hyperbolic programming. Mathematical Programming, 173(1-2):1-35, 2019. Google Scholar
  53. James Renegar and Mutiara Sondjaja. A polynomial-time affine-scaling method for semidefinite and hyperbolic programming. arXiv preprint, 2014. URL: https://arxiv.org/abs/1410.6734.
  54. James Saunderson. A spectrahedral representation of the first derivative relaxation of the positive semidefinite cone. Optimization Letters, 12(7):1475-1486, 2018. Google Scholar
  55. Zhao Song, Zhaozhuo Xu, and Lichen Zhang. Speeding up sparsification using inner product search data structures, 2022. URL: https://arxiv.org/abs/2204.03209.
  56. Zhao Song and Ruizhe Zhang. Hyperbolic concentration, anti-concentration, and discrepancy. In Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2022). Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2022. Google Scholar
  57. Joel Spencer. Six standard deviations suffice. Transactions of the American mathematical society, 289(2):679-706, 1985. Google Scholar
  58. Damian Straszak and Nisheeth K Vishnoi. Real stable polynomials and matroids: Optimization and counting. In Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing, pages 370-383, 2017. Google Scholar
  59. Terence Tao. Real stable polynomials and the kadison-singer problem. URL: https://terrytao.wordpress.com/2013/11/04/real-stable-polynomials-and-the-kadison-singer-problem/, 2013.
  60. Joel A. Tropp. An introduction to matrix concentration inequalities. Foundations and Trends® in Machine Learning, 8(1-2):1-230, 2015. URL: https://doi.org/10.1561/2200000048.
  61. Nik Weaver. The Kadison-Singer problem in discrepancy theory. Discrete Math., 278(1-3):227-239, 2004. 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