Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
10.1145/3188745.3188932acmconferencesArticle/Chapter ViewAbstractPublication PagesstocConference Proceedingsconference-collections
research-article

Operator scaling with specified marginals

Published: 20 June 2018 Publication History

Abstract

The completely positive maps, a generalization of the nonnegative matrices, are a well-studied class of maps from n× n matrices to m× m matrices. The existence of the operator analogues of doubly stochastic scalings of matrices, the study of which is known as operator scaling, is equivalent to a multitude of problems in computer science and mathematics such rational identity testing in non-commuting variables, noncommutative rank of symbolic matrices, and a basic problem in invariant theory (Garg et. al., 2016).
We study operator scaling with specified marginals, which is the operator analogue of scaling matrices to specified row and column sums (or marginals). We characterize the operators which can be scaled to given marginals, much in the spirit of the Gurvits’ algorithmic characterization of the operators that can be scaled to doubly stochastic (Gurvits, 2004). Our algorithm, which is a modified version of Gurvits’ algorithm, produces approximate scalings in time poly(n,m) whenever scalings exist. A central ingredient in our analysis is a reduction from operator scaling with specified marginals to operator scaling in the doubly stochastic setting.
Instances of operator scaling with specified marginals arise in diverse areas of study such as the Brascamp-Lieb inequalities, communication complexity, eigenvalues of sums of Hermitian matrices, and quantum information theory. Some of the known theorems in these areas, several of which had no algorithmic proof, are straightforward consequences of our characterization theorem. For instance, we obtain a simple algorithm to find, when it exists, a tuple of Hermitian matrices with given spectra whose sum has a given spectrum. We also prove new theorems such as a generalization of Forster’s theorem (Forster, 2002) concerning radial isotropic position.

Supplementary Material

MP4 File (2c-3.mp4)

References

[1]
Zeyuan Allen-Zhu, Yuanzhi Li, Rafael Oliveira, and Avi Wigderson. 2017. Much faster algorithms for matrix scaling. arXiv preprint arXiv:1704.02315 (2017).
[2]
Franck Barthe. 1998. On a reverse form of the Brascamp-Lieb inequality. Inventiones mathematicae 134, 2 (1998), 335–361.
[3]
Peter Bürgisser, Matthias Christandl, Ketan D Mulmuley, and Michael Walter. 2017. Membership in moment polytopes is in NP and coNP. SIAM J. Comput. 46, 3 (2017), 972–991. arXiv: 1511.03675
[4]
Michael B Cohen, Aleksander Madry, Dimitris Tsipras, and Adrian Vladu. 2017.
[5]
Matrix Scaling and Balancing via Box Constrained Newton’s Method and Interior Point Methods. arXiv preprint arXiv:1704.02310 (2017).
[6]
Harm Derksen and Visu Makam. 2017.
[7]
Polynomial degree bounds for matrix semi-invariants. Advances in Mathematics 310 (2017), 44–63.
[8]
Jack Edmonds. 1970.
[9]
Submodular functions, matroids, and certain polyhedra. Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 11 (1970).
[10]
Jürgen Forster. 2002. A linear lower bound on the unbounded error probabilistic communication complexity. J. Comput. System Sci. 65, 4 (2002), 612–625.
[11]
Cole Franks. 2018.
[12]
Operator scaling with specified marginals. arXiv preprint arXiv:1801.01412 (2018).
[13]
Shmuel Friedland. 2016.
[14]
On Schrodinger’s bridge problem. arXiv preprint arXiv:1608.05862 (2016).
[15]
William Fulton. 2000. Eigenvalues, invariant factors, highest weights, and Schubert calculus. Bull. Amer. Math. Soc. 37, 3 (2000), 209–249.
[16]
Ankit Garg, Leonid Gurvits, Rafael Oliveira, and Avi Wigderson. 2016.
[17]
Algorithmic aspects of Brascamp-Lieb inequalities. arXiv preprint arXiv:1607.06711 (2016).
[18]
Ankit Garg, Leonid Gurvits, Rafael Oliveira, and Avi Wigderson. 2016. A deterministic polynomial time algorithm for non-commutative rational identity testing. In Foundations of Computer Science (FOCS), 2016 IEEE 57th Annual Symposium on. IEEE, 109–117.
[19]
Tryphon T Georgiou and Michele Pavon. 2015. Positive contraction mappings for classical and quantum Schrödinger systems. J. Math. Phys. 56, 3 (2015), 033301.
[20]
Leonid Gurvits. 2004. Classical complexity and quantum entanglement. J. Comput. System Sci. 69, 3 (2004), 448–484.
[21]
Moritz Hardt and Ankur Moitra. 2013.
[22]
Algorithms and hardness for robust subspace recovery. In Conference on Learning Theory. 354–375.
[23]
Alfred Horn. 1954.
[24]
Doubly stochastic matrices and the diagonal of a rotation matrix. American Journal of Mathematics 76, 3 (1954), 620–630.
[25]
Alfred Horn. 1962. Eigenvalues of sums of Hermitian matrices. Pacific J. Math. 12, 1 (1962), 225–241.
[26]
A Jamiołkowski. 1974. An effective method of investigation of positive maps on the set of positive definite operators. Reports on Mathematical Physics 5, 3 (1974), 415–424.
[27]
Alexander A Klyachko. 1998. Stable bundles, representation theory and Hermitian operators. Selecta Mathematica, New Series 4, 3 (1998), 419–445.
[28]
Allen Knutson and Terence Tao. 2000.
[29]
Honeycombs and sums of Hermitian matrices. (2000). arXiv: math/0009048 https://arxiv.org/abs/math/0009048
[30]
Nathan Linial, Alex Samorodnitsky, and Avi Wigderson. 1998. A deterministic strongly polynomial algorithm for matrix scaling and approximate permanents. In Proceedings of the thirtieth annual ACM symposium on Theory of computing. ACM, 644–652.
[31]
James S. Milne. 2017. Algebraic Geometry (v6.02). (2017), 221 pages. Available at www.jmilne.org/math/.
[32]
Ketan D Mulmuley, Hariharan Narayanan, and Milind Sohoni. 2012. Geometric complexity theory III: on deciding nonvanishing of a Littlewood–Richardson coefficient. Journal of Algebraic Combinatorics 36, 1 (2012), 103–110.
[33]
D Mumford. 1999.
[34]
The red book of varieties and schemes, Second, expanded edition, volume 1358 of LNM. (1999).
[35]
Uriel G Rothblum and Hans Schneider. 1989. Scalings of matrices which have prespecified row sums and column sums via optimization. Linear Algebra Appl. 114 (1989), 737–764.
[36]
Richard Sinkhorn. 1964. A relationship between arbitrary positive matrices and doubly stochastic matrices. The annals of mathematical statistics 35, 2 (1964), 876–879.
[37]
Michael Walter, Brent Doran, David Gross, and Matthias Christandl. 2013. Entanglement polytopes: multiparticle entanglement from single-particle information. Science 340, 6137 (2013), 1205–1208.

Cited By

View all
  • (2023)Interior-point methods on manifolds: theory and applications2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS)10.1109/FOCS57990.2023.00123(2021-2030)Online publication date: 6-Nov-2023
  • (2023)Convex Analysis on Hadamard Spaces and Scaling ProblemsFoundations of Computational Mathematics10.1007/s10208-023-09628-5Online publication date: 17-Oct-2023
  • (2021)Singular tuples of matrices is not a null cone (and the symmetries of algebraic varieties)Journal für die reine und angewandte Mathematik (Crelles Journal)10.1515/crelle-2021-00442021:780(79-131)Online publication date: 17-Aug-2021
  • Show More Cited By

Index Terms

  1. Operator scaling with specified marginals

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    STOC 2018: Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing
    June 2018
    1332 pages
    ISBN:9781450355599
    DOI:10.1145/3188745
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

    Sponsors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 20 June 2018

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. Completely Positive Maps
    2. Horn?s Problem
    3. Operator Scaling

    Qualifiers

    • Research-article

    Conference

    STOC '18
    Sponsor:
    STOC '18: Symposium on Theory of Computing
    June 25 - 29, 2018
    CA, Los Angeles, USA

    Acceptance Rates

    Overall Acceptance Rate 1,469 of 4,586 submissions, 32%

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)17
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 30 Aug 2024

    Other Metrics

    Citations

    Cited By

    View all
    • (2023)Interior-point methods on manifolds: theory and applications2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS)10.1109/FOCS57990.2023.00123(2021-2030)Online publication date: 6-Nov-2023
    • (2023)Convex Analysis on Hadamard Spaces and Scaling ProblemsFoundations of Computational Mathematics10.1007/s10208-023-09628-5Online publication date: 17-Oct-2023
    • (2021)Singular tuples of matrices is not a null cone (and the symmetries of algebraic varieties)Journal für die reine und angewandte Mathematik (Crelles Journal)10.1515/crelle-2021-00442021:780(79-131)Online publication date: 17-Aug-2021
    • (2021)Capacity lower bounds via productizationProceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing10.1145/3406325.3451105(847-858)Online publication date: 15-Jun-2021
    • (2020)Two-Qubit Circuit Depth and the Monodromy PolytopeQuantum10.22331/q-2020-03-26-2474(247)Online publication date: 26-Mar-2020
    • (2020)Symbolic determinant identity testing (SDIT) is not a null cone problem; and the symmetries of algebraic varieties2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS)10.1109/FOCS46700.2020.00086(881-888)Online publication date: Nov-2020
    • (2019)Towards a Theory of Non-Commutative Optimization: Geodesic 1st and 2nd Order Methods for Moment Maps and Polytopes2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS)10.1109/FOCS.2019.00055(845-861)Online publication date: Nov-2019
    • (2018)Efficient Algorithms for Tensor Scaling, Quantum Marginals, and Moment Polytopes2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS)10.1109/FOCS.2018.00088(883-897)Online publication date: Oct-2018

    View Options

    Get Access

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media