{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T16:51:12Z","timestamp":1763657472437,"version":"3.45.0"},"reference-count":61,"publisher":"Verein zur Forderung des Open Access Publizierens in den Quantenwissenschaften","license":[{"start":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T00:00:00Z","timestamp":1763596800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Foundation for Polish Sciene","award":["POIR.04.04.00- 00-17C1\/18-00"],"award-info":[{"award-number":["POIR.04.04.00- 00-17C1\/18-00"]}]},{"DOI":"10.13039\/501100004281","name":"National Science Centre Poland","doi-asserted-by":"crossref","award":["2024\/54\/E\/ST2\/00451"],"award-info":[{"award-number":["2024\/54\/E\/ST2\/00451"]}],"id":[{"id":"10.13039\/501100004281","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100014434","name":"Polish National Agency for Academic Exchange","doi-asserted-by":"crossref","award":["BNI\/PST\/2023\/1\/00013\/U\/00001"],"award-info":[{"award-number":["BNI\/PST\/2023\/1\/00013\/U\/00001"]}],"id":[{"id":"10.13039\/501100014434","id-type":"DOI","asserted-by":"crossref"}]},{"name":"German Ministry of Education and Research","award":["16KIS1119K"],"award-info":[{"award-number":["16KIS1119K"]}]}],"content-domain":{"domain":["quantum-journal.org"],"crossmark-restriction":false},"short-container-title":["Quantum"],"abstract":"The spectral variant of the quantum marginal problem asks: Given prescribed spectra for a set of overlapping quantum marginals, does there exist a compatible joint state? The main idea of this work is a symmetry-reduced semidefinite programming hierarchy that detects when no such joint state exists. The hierarchy is complete, in the sense that it detects every incompatible set of spectra. The refutations it provides are dimension-free, certifying incompatibility in all local dimensions. The hierarchy also applies to the sums of Hermitian matrices problem, the compatibility of local unitary invariants, for certifying vanishing Kronecker coefficients, and to optimize over equivariant state polynomials.<\/jats:p>","DOI":"10.22331\/q-2025-11-20-1918","type":"journal-article","created":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T16:47:16Z","timestamp":1763657236000},"page":"1918","update-policy":"https:\/\/doi.org\/10.22331\/q-crossmark-policy-page","source":"Crossref","is-referenced-by-count":0,"title":["Refuting spectral compatibility of quantum marginals"],"prefix":"10.22331","volume":"9","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3856-4018","authenticated-orcid":false,"given":"Felix","family":"Huber","sequence":"first","affiliation":[{"name":"Division of Quantum Computing, Faculty of Mathematics, Physics and Informatics, University of Gda\u0144sk, Wita Stwosza 57, 80-308 Gda\u0144sk, Poland"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3002-9878","authenticated-orcid":false,"given":"Nikolai","family":"Wyderka","sequence":"additional","affiliation":[{"name":"Institut f\u00fcr Theoretische Physik III, Heinrich-Heine-Universit\u00e4t D\u00fcsseldorf,Universit\u00e4tsstra\u00dfe 1, D-40225 D\u00fcsseldorf, Germany"}]}],"member":"9598","published-online":{"date-parts":[[2025,11,20]]},"reference":[{"key":"0","doi-asserted-by":"publisher","unstructured":"Yi-Kai Liu. ``Consistency of Local Density Matrices Is QMA-Complete''. Page 438. Springer Berlin Heidelberg. (2006). url: https:\/\/doi.org\/10.1007\/11830924_40.","DOI":"10.1007\/11830924_40"},{"key":"1","doi-asserted-by":"publisher","unstructured":"David A. Mazziotti. ``Structure of fermionic density matrices: Complete $N$-representability conditions''. Physical Review Letters 108, 263002 (2012).","DOI":"10.1103\/PhysRevLett.108.263002"},{"key":"2","doi-asserted-by":"publisher","unstructured":"Christian Schilling. ``Quantum Marginal Problem and its Physical Relevance''. PhD thesis. ETH Z\u00fcrich. (2014).","DOI":"10.3929\/ethz-a-010139282"},{"key":"3","doi-asserted-by":"publisher","unstructured":"Michael Walter. ``Multipartite quantum states and their marginals''. PhD thesis. ETH Z\u00fcrich. (2014).","DOI":"10.3929\/ETHZ-A-010250985"},{"key":"4","unstructured":"Felix Huber. ``Quantum states and their marginals: from multipartite entanglement to quantum error-correcting codes''. PhD thesis. Universit\u00e4t Siegen. (2017). url: https:\/\/nbn-resolving.org\/urn:nbn:de:hbz:467-12725."},{"key":"5","unstructured":"Joel David Klassen. ``Existence and uniqueness in the quantum marginal problem''. PhD thesis. The University of Guelph. (2017). url: https:\/\/atrium.lib.uoguelph.ca\/xmlui\/handle\/10214\/11497."},{"key":"6","doi-asserted-by":"publisher","unstructured":"Alexander A. Klyachko. ``Stable bundles, representation theory and hermitian operators''. Selecta Mathematica 4, 419 (1998).","DOI":"10.1007\/s000290050037"},{"key":"7","doi-asserted-by":"publisher","unstructured":"Alexander Klyachko. ``Quantum marginal problem and N-representability''. Journal of Physics: Conference Series 36, 72 (2006).","DOI":"10.1088\/1742-6596\/36\/1\/014"},{"key":"8","doi-asserted-by":"publisher","unstructured":"Matthias Christandl, M. Burak \u015eahino\u011flu, and Michael Walter. ``Recoupling coefficients and quantum entropies''. Annales Henri Poincar\u00e9 19, 385\u2013410 (2018).","DOI":"10.1007\/s00023-017-0639-1"},{"key":"9","doi-asserted-by":"publisher","unstructured":"Velleda Baldoni, Mich\u00e8le Vergne, and Michael Walter. ``Computation of dilated Kronecker coefficients''. Journal of Symbolic Computation 84, 113\u2013146 (2018).","DOI":"10.1016\/j.jsc.2017.03.005"},{"key":"10","doi-asserted-by":"publisher","unstructured":"Peter B\u00fcrgisser, Cole Franks, Ankit Garg, Rafael Oliveira, Michael Walter, and Avi Wigderson. ``Efficient algorithms for tensor scaling, quantum marginals, and moment polytopes''. In 2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS). Pages 883\u2013897. (2018).","DOI":"10.1109\/FOCS.2018.00088"},{"key":"11","doi-asserted-by":"publisher","unstructured":"Mich\u00e8le Vergne and Michael Walter. ``Inequalities for moment cones of finite-dimensional representations''. Journal of Symplectic Geometry 15, 1209\u20131250 (2017).","DOI":"10.4310\/JSG.2017.v15.n4.a8"},{"key":"12","unstructured":"Alexander Klyachko. ``Quantum marginal problem and representations of the symmetric group'' (2004). arXiv:quant-ph\/0409113."},{"key":"13","doi-asserted-by":"publisher","unstructured":"Matthias Christandl and Graeme Mitchison. ``The spectra of quantum states and the Kronecker coefficients of the symmetric group''. Communications in Mathematical Physics 261, 789\u2013797 (2006).","DOI":"10.1007\/s00220-005-1435-1"},{"key":"14","doi-asserted-by":"publisher","unstructured":"Christian Ikenmeyer, Ketan D. Mulmuley, and Michael Walter. ``On vanishing of Kronecker coefficients''. Computational Complexity 26, 949\u2013992 (2017).","DOI":"10.1007\/s00037-017-0158-y"},{"key":"15","doi-asserted-by":"publisher","unstructured":"Allen Knutson and Terence Tao. ``Honeycombs and sums of hermitian matrices''. Notices of the AMS 48, 175\u2013186 (2001).","DOI":"10.48550\/arXiv.math\/0009048"},{"key":"16","doi-asserted-by":"publisher","unstructured":"Eric M. Rains. ``Quantum shadow enumerators''. IEEE Transactions on Information Theory 45, 2361 (1999).","DOI":"10.1109\/18.796376"},{"key":"17","doi-asserted-by":"publisher","unstructured":"Igor Klep, Victor Magron, Jurij Vol\u010di\u010d, and Jie Wang. ``State polynomials: positivity, optimization and nonlinear Bell inequalities''. Math. Program. 207, 645\u2013691 (2024).","DOI":"10.1007\/s10107-023-02024-5"},{"key":"18","doi-asserted-by":"publisher","unstructured":"Igor Klep, Victor Magron, and Jurij Vol\u010di\u010d. ``Optimization over trace polynomials''. Annales Henri Poincar\u00e9 23, 67\u2013100 (2021).","DOI":"10.1007\/s00023-021-01095-4"},{"key":"19","doi-asserted-by":"publisher","unstructured":"Eric M. Rains. ``Polynomial invariants of quantum codes''. IEEE Transactions on Information Theory 46, 54 (2000).","DOI":"10.1109\/18.817508"},{"key":"20","doi-asserted-by":"publisher","unstructured":"Gordon James and Adalbert Kerber. ``The representation theory of the symmetric group''. Volume 16 of Encyclopedia of Mathematics and its Applications. Cambridge University Press. (1984).","DOI":"10.1017\/CBO9781107340732"},{"key":"21","unstructured":"The Sage Developers. ``Sagemath, the Sage Mathematics Software System (Version 9.6)''. (2022). url: https:\/\/www.sagemath.org."},{"key":"22","doi-asserted-by":"publisher","unstructured":"Bertram Kostant. ``A theorem of Frobenius, a theorem of Amitsur-Levitski and cohomology theory''. Indiana University Mathematics Journal 7, 237\u2013264 (1958).","DOI":"10.1512\/iumj.1958.7.57019"},{"key":"23","unstructured":"John Watrous. ``Simpler semidefinite programs for completely bounded norms'' (2012). arXiv:1207.5726."},{"key":"24","doi-asserted-by":"publisher","unstructured":"Andrew C. Doherty, Pablo A. Parrilo, and Federico M. Spedalieri. ``Complete family of separability criteria''. Physical Review A 69, 022308 (2004).","DOI":"10.1103\/PhysRevA.69.022308"},{"key":"25","doi-asserted-by":"publisher","unstructured":"Christine Bachoc, Dion C. Gijswijt, Alexander Schrijver, and Frank Vallentin. ``Handbook on semidefinite, conic and polynomial optimization''. Volume 166 of International Series in Operations Research & Management Science, chapter Invariant Semidefinite Programs. Springer, Boston, MA. (2012).","DOI":"10.1007\/978-1-4614-0769-0_9"},{"key":"26","doi-asserted-by":"publisher","unstructured":"Laurens T. Ligthart and David Gross. ``The inflation hierarchy and the polarization hierarchy are complete for the quantum bilocal scenario''. Journal of Mathematical Physics 64, 072201 (2023).","DOI":"10.1063\/5.0143792"},{"key":"27","doi-asserted-by":"publisher","unstructured":"Matthias Christandl, Robert K\u00f6nig, Graeme Mitchison, and Renato Renner. ``One-and-a-half quantum de Finetti theorems''. Communications in Mathematical Physics 273, 473\u2013498 (2007).","DOI":"10.1007\/s00220-007-0189-3"},{"key":"28","unstructured":"Bernhard Baumgartner. ``An inequality for the trace of matrix products, using absolute values'' (2011). arXiv:1106.6189."},{"key":"29","doi-asserted-by":"publisher","unstructured":"Guillaume Sagnol and Maximilian Stahlberg. ``PICOS: A Python interface to conic optimization solvers''. Journal of Open Source Software 7, 3915 (2022).","DOI":"10.21105\/joss.03915"},{"key":"30","unstructured":"MOSEK ApS. ``The mosek optimization toolbox for matlab manual. version 9.3.20''. (2021). url: https:\/\/docs.mosek.com\/9.3\/toolbox\/index.html."},{"key":"31","doi-asserted-by":"publisher","unstructured":"Josh Cadney, Marcus Huber, Noah Linden, and Andreas Winter. ``Inequalities for the ranks of multipartite quantum states''. Linear Algebra and its Applications 452, 153\u2013171 (2014).","DOI":"10.1016\/j.laa.2014.03.035"},{"key":"32","doi-asserted-by":"publisher","unstructured":"Zhiwei Song, Lin Chen, Yize Sun, and Mengyao Hu. ``Proof of a conjectured 0-r\u00e9nyi entropy inequality with applications to multipartite entanglement''. IEEE Transactions on Information Theory 69, 2385\u20132399 (2022).","DOI":"10.1109\/TIT.2022.3227914"},{"key":"33","doi-asserted-by":"publisher","unstructured":"E. M. Rains. ``Quantum weight enumerators''. IEEE Transactions on Information Theory 44, 1388 (1998).","DOI":"10.1109\/18.681316"},{"key":"34","doi-asserted-by":"publisher","unstructured":"Felix Huber. ``Positive maps and trace polynomials from the symmetric group''. Journal of Mathematical Physics 62, 022203 (2021).","DOI":"10.1063\/5.0028856"},{"key":"35","doi-asserted-by":"publisher","unstructured":"Albert Rico and Felix Huber. ``Entanglement detection with trace polynomials''. Phys. Rev. Lett. 132, 070202 (2024).","DOI":"10.1103\/PhysRevLett.132.070202"},{"key":"36","doi-asserted-by":"publisher","unstructured":"Paul Butterley, Anthony Sudbery, and Jason Szulc. ``Compatibility of subsystem states''. Foundations of Physics 36, 83 (2006).","DOI":"10.1007\/s10701-005-9006-z"},{"key":"37","unstructured":"Tobias J. Osborne. ``Entropic bounds for the quantum marginal problem''. Preprint (2008). arXiv:0806.2962."},{"key":"38","doi-asserted-by":"publisher","unstructured":"Eric A. Carlen, Joel L. Lebowitz, and Elliott H. Lieb. ``On an extension problem for density matrices''. Journal of Mathematical Physics 54, 062103 (2013).","DOI":"10.1063\/1.4808218"},{"key":"39","doi-asserted-by":"publisher","unstructured":"Christopher Eltschka, Felix Huber, Otfried G\u00fchne, and Jens Siewert. ``Exponentially many entanglement and correlation constraints for multipartite quantum states''. Physical Review A 98, 052317 (2018).","DOI":"10.1103\/PhysRevA.98.052317"},{"key":"40","unstructured":"Atsushi Higuchi. ``On the one-particle reduced density matrices of a pure three-qutrit quantum state'' (2003). arXiv:quant-ph\/0309186."},{"key":"41","doi-asserted-by":"publisher","unstructured":"Atsushi Higuchi, Anthony Sudbery, and Jason Szulc. ``One-qubit reduced states of a pure many-qubit state: Polygon inequalities''. Physical Review Letters 90, 107902 (2003).","DOI":"10.1103\/PhysRevLett.90.107902"},{"key":"42","doi-asserted-by":"publisher","unstructured":"Jim Bryan, Zinovy Reichstein, and Mark Van Raamsdonk. ``Existence of locally maximally entangled quantum states via geometric invariant theory''. Annales Henri Poincar\u00e9 19, 2491\u20132511 (2018).","DOI":"10.1007\/s00023-018-0682-6"},{"key":"43","doi-asserted-by":"publisher","unstructured":"Jim Bryan, Samuel Leutheusser, Zinovy Reichstein, and Mark Van Raamsdonk. ``Locally Maximally Entangled States of Multipart Quantum Systems''. Quantum 3, 115 (2019).","DOI":"10.22331\/q-2019-01-06-115"},{"key":"44","doi-asserted-by":"publisher","unstructured":"Felix Huber, Otfried G\u00fchne, and Jens Siewert. ``Absolutely maximally entangled states of seven qubits do not exist''. Physical Review Letters 118, 200502 (2017).","DOI":"10.1103\/PhysRevLett.118.200502"},{"key":"45","doi-asserted-by":"publisher","unstructured":"Xiao-Dong Yu, Timo Simnacher, Nikolai Wyderka, Chau H. Nguyen, and Otfried G\u00fchne. ``A complete hierarchy for the pure state marginal problem in quantum mechanics''. Nature Communications 12, 1012 (2021).","DOI":"10.1038\/s41467-020-20799-5"},{"key":"46","doi-asserted-by":"publisher","unstructured":"Suhail Ahmad Rather, Adam Burchardt, Wojciech Bruzda, Grzegorz Rajchel-Mieldzio\u0107, Arul Lakshminarayan, and Karol \u017byczkowski. ``Thirty-six entangled officers of Euler: Quantum solution to a classically impossible problem''. Physical Review Letters 128, 080507 (2022).","DOI":"10.1103\/PhysRevLett.128.080507"},{"key":"47","unstructured":"Daniel Uzc\u00e1tegui Contreras and Dardo Goyeneche. ``Reconstructing the whole from its parts'' (2022). arXiv:2209.14154."},{"key":"48","doi-asserted-by":"publisher","unstructured":"Albert Aloy, Matteo Fadel, and Jordi Tura. ``The quantum marginal problem for symmetric states: applications to variational optimization, nonlocality and self-testing''. New Journal of Physics 23, 033026 (2021).","DOI":"10.1088\/1367-2630\/abe15e"},{"key":"49","doi-asserted-by":"publisher","unstructured":"Salini Karuvade, Peter D. Johnson, Francesco Ticozzi, and Lorenza Viola. ``Uniquely determined pure quantum states need not be unique ground states of quasi-local Hamiltonians''. Physical Review A 99, 062104 (2019).","DOI":"10.1103\/PhysRevA.99.062104"},{"key":"50","doi-asserted-by":"publisher","unstructured":"Nikolai Wyderka, Felix Huber, and Otfried G\u00fchne. ``Almost all four-particle pure states are determined by their two-body marginals''. Physical Review A 96, 010102 (2017).","DOI":"10.1103\/PhysRevA.96.010102"},{"key":"51","doi-asserted-by":"publisher","unstructured":"Marius Paraschiv, Nikolai Miklin, Tobias Moroder, and Otfried G\u00fchne. ``Proving genuine multiparticle entanglement from separable nearest-neighbor marginals''. Physical Review A 98, 062102 (2018).","DOI":"10.1103\/PhysRevA.98.062102"},{"key":"52","doi-asserted-by":"publisher","unstructured":"Miguel Navascu\u00e9s, Flavio Baccari, and Antonio Ac\u00edn. ``Entanglement marginal problems''. Quantum 5, 589 (2021).","DOI":"10.22331\/q-2021-11-25-589"},{"key":"53","doi-asserted-by":"publisher","unstructured":"Matthias Christandl, Brent Doran, Stavros Kousidis, and Michael Walter. ``Eigenvalue distributions of reduced density matrices''. Communications in Mathematical Physics 332, 1\u201352 (2014).","DOI":"10.1007\/s00220-014-2144-4"},{"key":"54","doi-asserted-by":"publisher","unstructured":"Beno\u00eet Collins and Colin McSwiggen. ``Projections of orbital measures and quantum marginal problems''. Transactions of the American Mathematical Society 376, 5601\u20135640 (2023).","DOI":"10.1090\/tran\/8931"},{"key":"55","doi-asserted-by":"publisher","unstructured":"Federico Castillo, Jean-Philippe Labb\u00e9, Julia Liebert, Arnau Padrol, Eva Philippe, and Christian Schilling. ``An effective solution to convex $1$-body $N$-representability''. Ann. Henri Poincar\u00e9 24, 2241\u20132321 (2023).","DOI":"10.1007\/s00023-022-01264-z"},{"key":"56","unstructured":"Gerard Angl\u00e8s Munn\u00e9, Andrew Nemec, and Felix Huber. ``SDP bounds on quantum codes'' (2024). arXiv:2408.10323."},{"key":"57","doi-asserted-by":"publisher","unstructured":"Jianxin Chen, Zhengfeng Ji, David Kribs, Norbert L\u00fctkenhaus, and Bei Zeng. ``Symmetric extension of two-qubit states''. Physical Review A 90, 032318 (2014).","DOI":"10.1103\/PhysRevA.90.032318"},{"key":"58","doi-asserted-by":"publisher","unstructured":"William Hall. ``Compatibility of subsystem states and convex geometry''. Physical Review A 75, 032102 (2007).","DOI":"10.1103\/PhysRevA.75.032102"},{"key":"59","doi-asserted-by":"publisher","unstructured":"Felix Huber, Igor Klep, Victor Magron, and Jurij Vol\u010di\u010d. ``Dimension-free entanglement detection in multipartite Werner states''. Communications in Mathematical Physics 396, 1051\u20131070 (2022).","DOI":"10.1007\/s00220-022-04485-9"},{"key":"60","doi-asserted-by":"publisher","unstructured":"Tilo Eggeling and Reinhard F. Werner. ``Separability properties of tripartite states with ${U} \\otimes {U} \\otimes {U}$ symmetry''. Physical Review A 63, 042111 (2001).","DOI":"10.1103\/PhysRevA.63.042111"}],"container-title":["Quantum"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/quantum-journal.org\/papers\/q-2025-11-20-1918\/pdf\/","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T16:47:19Z","timestamp":1763657239000},"score":1,"resource":{"primary":{"URL":"https:\/\/quantum-journal.org\/papers\/q-2025-11-20-1918\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,20]]},"references-count":61,"URL":"https:\/\/doi.org\/10.22331\/q-2025-11-20-1918","archive":["CLOCKSS"],"relation":{},"ISSN":["2521-327X"],"issn-type":[{"value":"2521-327X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,11,20]]},"article-number":"1918"}}