Bibliography

And79: T. Ando. Concavity of certain maps on positive definite matrices and applications to Hadamard products. Linear Algebra and Its Applications, 26:203–241, 1979.
Bei12: Salman Beigi. Classification of the phases of 1D spin chains with commuting hamiltonians. Journal of Physics A: Mathematical and Theoretical, 45(2):025306, 2012.
Bei13: Salman Beigi. Sandwiched rényi divergence satisfies data processing inequality. Journal of Mathematical Physics, 54(12):122202, 2013.
Bha97: Rajendra Bhatia. Matrix Analysis, volume 169 of Graduate Texts in Mathematics. Springer, New York, 1997.
Car10: Eric A. Carlen. Trace inequalities and quantum entropies: an introductory course. In Entropy and the quantum, volume 529 of Contemporary Mathematics, pages 73–140. American Mathematical Society, Providence, RI, 2010.
Cho75: Man-Duen Choi. Completely positive linear maps on complex matrices. Linear Algebra and its Applications, 10(3):285–290, 1975.
con26a: The QICLean contributors. Exact-rank wording in Wolf’s Choi and witness criteria. Paper-gap note wolf_prop3_1_exact_schmidt_rank_scope, QICLean, 2026. https://sirui-lu.com/QICLean/paper-gaps/wolf_prop3_1_exact_schmidt_rank_scope.pdf.
con26b: The QICLean contributors. The Minkowski canonical-pair dependency in four real dimensions. Paper-gap note qiclean_minkowski_canonical_pair_dependency, QICLean, 2026. https://sirui-lu.com/QICLean/paper-gaps/qiclean_minkowski_canonical_pair_dependency.pdf.
con26c: The QICLean contributors. The missing order hypothesis in Wolf’s unitary comparison. Paper-gap note wolf_ch5_unitary_comparison_missing_order, QICLean, 2026. https://sirui-lu.com/QICLean/paper-gaps/wolf_ch5_unitary_comparison_missing_order.pdf.
con26d: The QICLean contributors. The nonempty-family condition in Wolf’s Radon–Nikodym theorem. Paper-gap note wolf_radon_nikodym_nonempty_family, QICLean, 2026. https://sirui-lu.com/QICLean/paper-gaps/wolf_radon_nikodym_nonempty_family.pdf.
con26e: The QICLean contributors. Scope of Ha’s \(A_\gamma \) witness for choi-type maps. Paper-gap note ha98_choi_type_witness_scope, QICLean, 2026. https://sirui-lu.com/QICLean/paper-gaps/ha98_choi_type_witness_scope.pdf.
con26f: The QICLean contributors. Scope of Wolf chapter 5 operator convexity and monotonicity results. Paper-gap note wolf_ch5_operator_convexity_scope, QICLean, 2026. https://sirui-lu.com/QICLean/paper-gaps/wolf_ch5_operator_convexity_scope.pdf.
con26g: The QICLean contributors. SIC–POVM equality families: the one-dimensional degeneracy. Paper-gap note wolf_sic_povm_linear_independence, QICLean, 2026. https://sirui-lu.com/QICLean/paper-gaps/wolf_sic_povm_linear_independence.pdf.
con26h: The QICLean contributors. Slater strong duality: Finiteness conditions for attainment. Paper-gap note wolf_slater_attainment_conditions, QICLean, 2026. https://sirui-lu.com/QICLean/paper-gaps/wolf_slater_attainment_conditions.pdf.
con26i: The QICLean contributors. Wolf chapter 5: The subunital logarithm clause and the operator Jensen boundary. Paper-gap note wolf_ch5_operator_jensen_lieb, QICLean, 2026. https://sirui-lu.com/QICLean/paper-gaps/wolf_ch5_operator_jensen_lieb.pdf.
con26j: The QICLean contributors. Wolf proposition 1.5: Factor and coordinate direct-sum scope restrictions. Paper-gap note wolf_prop1_5_one_factor_scope, QICLean, 2026. https://sirui-lu.com/QICLean/paper-gaps/wolf_prop1_5_one_factor_scope.pdf.
con26k: The QICLean contributors. Wolf proposition 1.6: Complete positivity from positivity, commutative side. Paper-gap note wolf_prop16_cp_positivity_commutative_side, QICLean, 2026. https://sirui-lu.com/QICLean/paper-gaps/wolf_prop16_cp_positivity_commutative_side.pdf.
con26l: The QICLean contributors. Wolf theorem 6.16: The two schwarz orientations in the printed proof. Paper-gap note wolf_theorem6_16_schwarz_orientation, QICLean, 2026. https://sirui-lu.com/QICLean/paper-gaps/wolf_theorem6_16_schwarz_orientation.pdf.
con26m: The QICLean contributors. Wolf’s operator-system extension: Matrix-algebra realization. Paper-gap note wolf_ch01_operator_system_extension_matrix_scope, QICLean, 2026. https://sirui-lu.com/QICLean/paper-gaps/wolf_ch01_operator_system_extension_matrix_scope.pdf.
con26n: The QICLean contributors. Yamagami lemma 6: The strict-disk endpoint at stride one. Paper-gap note yamagami93_lemma6_endpoint, QICLean, 2026. https://sirui-lu.com/QICLean/paper-gaps/yamagami93_lemma6_endpoint.pdf.
con26o: The QICLean contributors. Yamagami’s simultaneous-singularity boundary count. Paper-gap note yamagami93_simultaneous_singularity_boundary, QICLean, 2026. https://sirui-lu.com/QICLean/paper-gaps/yamagami93_simultaneous_singularity_boundary.pdf.
con26p: The TNLean contributors. Closure record for the strong-subadditivity equality characterization and Hayashi–Markov decomposition. Paper-gap note cpsv16_ssa_equality_hayashi_markov, TNLean, 2026. https://sirui-lu.com/TNLean/paper-gaps/cpsv16_ssa_equality_hayashi_markov.pdf.
con26q: The TNLean contributors. Support scope of the HJPW product-reference Petz factorization. Paper-gap note hjpw04_petz_factorization_maximally_mixed_scope, TNLean, 2026. https://sirui-lu.com/TNLean/paper-gaps/hjpw04_petz_factorization_maximally_mixed_scope.pdf.
CPGSV16: J. I. Cirac, D. Pérez-García, N. Schuch, and F. Verstraete. Matrix product density operators: Renormalization fixed points and boundary theories. Preprint; published version: Ann. Phys. 378 (2017) 100–149, 2016.
DlCDN19: Gemma De las Cuevas, Tom Drescher, and Tim Netzer. Separability for mixed states with operator Schmidt rank two. Quantum, 3:203, 2019.
EHK78: David E. Evans and Raphael Høegh-Krohn. Spectral properties of positive maps on \(C^*\)-algebras. Journal of the London Mathematical Society, 17(2):345–355, 1978.
EK00: Myoung-Hoe Eom and Seung-Hyeok Kye. Duality for positive linear maps in matrix algebras. Mathematica Scandinavica, 86(1):130–142, 2000.
Fan49: Ky Fan. On a theorem of Weyl concerning eigenvalues of linear transformations. I. Proceedings of the National Academy of Sciences of the United States of America, 35(11):652–655, 1949.
GR22: Li Gao and Cambyse Rouzé. Complete entropic inequalities for quantum markov chains. Archive for Rational Mechanics and Analysis, 245:183–238, 2022.
Ha98: Kil-Chan Ha. Atomic positive linear maps in matrix algebras. Publications of the Research Institute for Mathematical Sciences, 34(6):591–599, 1998.
Hay06: Masahito Hayashi. Quantum Information: An Introduction. Springer, Berlin, Heidelberg, 2006.
HJPW04: Patrick Hayden, Richard Jozsa, Dénes Petz, and Andreas Winter. Structure of states which satisfy strong subadditivity of quantum entropy with equality. Communications in Mathematical Physics, 246(2):359–374, 2004.
HP82: Frank Hansen and Gert K. Pedersen. Jensen’s inequality for operators and løwner’s theorem. Mathematische Annalen, 258(3):229–241, 1982.
Lie73: Elliott H. Lieb. Convex trace functions and the Wigner–Yanase–Dyson conjecture. Advances in Mathematics, 11(3):267–288, 1973.
LKCH00: Maciej Lewenstein, Barbara Kraus, J. Ignacio Cirac, and Pawel Horodecki. Optimization of entanglement witnesses. Physical Review A, 62:052310, 2000.
LR73: Elliott H. Lieb and Mary Beth Ruskai. Proof of the strong subadditivity of quantum-mechanical entropy. Journal of Mathematical Physics, 14(12):1938–1941, 1973.
MLDS\(^{+}\)13: Martin Müller-Lennert, Frédéric Dupuis, Oleg Szehr, Serge Fehr, and Marco Tomamichel. On quantum rényi entropies: A new generalization and some properties. Journal of Mathematical Physics, 54(12):122203, 2013.
Now68: Pedro Nowosad. Isoperimetric eigenvalue problems in algebras. Communications on Pure and Applied Mathematics, 21(5):401–465, 1968.
PGVWC07: D. Pérez-García, F. Verstraete, M. M. Wolf, and J. I. Cirac. Matrix product state representations. Quantum Information & Computation, 7(5):401–430, 2007.
RV17: Andrii Riazanov and Mikhail Vyalyi. Exploring the bounds on the positive semidefinite rank. Preprint, arXiv:1704.06507, 2017.
SPGWC10: M. Sanz, D. Pérez-García, M. M. Wolf, and J. I. Cirac. A quantum version of Wielandt’s inequality. IEEE Transactions on Information Theory, 56(9):4668–4673, 2010.
TT88: Kotaro Tanahashi and Jun Tomiyama. Indecomposable positive maps in matrix algebras. Canadian Mathematical Bulletin, 31(3):308–317, 1988.
VV02: Frank Verstraete and Henri Verschelde. On quantum channels. arXiv:quant-ph/0202124v2, 2002.
WC08: Michael M. Wolf and J. Ignacio Cirac. Dividing quantum channels. arXiv:math-ph/0611057v3, 2008.
Wol12: Michael M. Wolf. Quantum channels & operations: Guided tour. Lecture notes, 2012. Originally distributed via TU Munich foswiki; archival PDF at https://mediatum.ub.tum.de/doc/1099654/1099654.pdf.
WPG10: Michael M. Wolf and David Pérez-García. The inverse eigenvalue problem for quantum channels. Preprint, 2010.
Yam93: Shigeru Yamagami. Cyclic inequalities. Proceedings of the American Mathematical Society, 118(2):521–527, 1993.