Issues

• Block injectivity of the adjoint Kraus family

  LionSR/QICLean#547 · Filter by author LionSR opened on Sep 26, 2026

• Add prescribed-rate spectral-radius power bounds

  formalization
  LionSR/QICLean#531 · Filter by author LionSR opened on Sep 1, 2026

• Narrow the quantum-Wielandt proof away from the semigroup cone

  LionSR/QICLean#525 · Filter by author LionSR opened on Aug 29, 2026
  

• Wolf Ch6: primitive positive-map equivalences (Theorem 6.7)

  blueprint-syncformalizationwolf-ch6
  LionSR/QICLean#479 · Filter by author LionSR opened on Aug 25, 2026

• Wolf Ch6: covariance and peripheral eigensystem (Proposition 6.7)

  blueprint-syncformalizationwolf-ch6
  LionSR/QICLean#478 · Filter by author LionSR opened on Aug 25, 2026

• Wolf Ch6: abstract Schwarz peripheral-spectrum theorem (Theorem 6.6)

  blueprint-syncformalizationwolf-ch6
  LionSR/QICLean#477 · Filter by author LionSR opened on Aug 25, 2026

• Wolf Ch6: spectral-radius PSD eigenvector for arbitrary positive maps (Theorem 6.5)

  blueprint-syncformalizationwolf-ch6
  LionSR/QICLean#476 · Filter by author LionSR opened on Aug 25, 2026

• Wolf Ch6: positive-map ergodic time average (Corollary 6.3)

  blueprint-syncformalizationwolf-ch6
  LionSR/QICLean#475 · Filter by author LionSR opened on Aug 25, 2026

• Low-layer matrix reindex star equivalence and bipartite coefficient naturality

  1703.09188follow-upformalizationinfrastructurempu
  LionSR/QICLean#465 · Filter by author LionSR opened on Aug 24, 2026

• Wolf Ch2: signed canonical pairs for four-dimensional Minkowski-selfadjoint matrices

  blueprint-syncfollow-upformalizationwolf-ch2
  LionSR/QICLean#426 · Filter by author LionSR opened on Aug 24, 2026
  1

• Wolf Ch2: specialize the Lorentz SVD to qubit channels and canonical Kraus ranks

  blueprint-syncfollow-upformalizationwolf-ch2
  LionSR/QICLean#379 · Filter by author LionSR opened on Aug 23, 2026
  2

• Wolf Ch2: Lorentz singular-value decomposition for positive two-qubit operators

  blueprint-syncfollow-upformalizationwolf-ch2
  LionSR/QICLean#378 · Filter by author LionSR opened on Aug 23, 2026

• Wolf Ch8: trace-norm convergence toward asymptotic states (Eqs. 8.112–8.117)

  blueprint-syncformalizationwolf-ch8
  LionSR/QICLean#301 · Filter by author LionSR opened on Aug 23, 2026
  8

• Wolf Ch8: Jordan condition number under detailed balance (Eq. 8.110)

  blueprint-syncformalizationwolf-ch8
  LionSR/QICLean#298 · Filter by author LionSR opened on Aug 23, 2026
  4

• Wolf Ch8: asymptotic convergence I and Jordan scaling (Eqs. 8.106–8.109)

  blueprint-syncformalizationwolf-ch8
  LionSR/QICLean#297 · Filter by author LionSR opened on Aug 23, 2026
  2

  

• Classify qubit channels into the three Lorentz normal forms

  blueprint-syncfollow-upformalizationwolf-ch2
  LionSR/QICLean#1 · Filter by author LionSR opened on Aug 10, 2026
  4

• Wolf Ch6: low-dimensional quantum Wielandt corollary

  blueprint-syncformalizationwolf-ch6
  LionSR/QICLean#65 · Filter by author LionSR opened on Jul 14, 2026
  5

• Wolf Ch5: Loewner theory, operator convexity, and Jensen inequalities

  blueprint-syncformalizationwolf-ch5
  LionSR/QICLean#28 · Filter by author LionSR opened on Jul 14, 2026
  4

• Wolf Ch5: joint convexity and trace-function consequences

  formalizationwolf-ch5
  LionSR/QICLean#27 · Filter by author LionSR opened on Jul 14, 2026
  4

• Wolf Ch8: Jordan estimates and asymptotic convergence

  formalizationwolf-ch8
  LionSR/QICLean#44 · Filter by author LionSR opened on Jul 14, 2026
  19

• Wolf Ch8: projective metrics, trace contraction, and interpolation

  formalizationinfrastructurewolf-ch8
  LionSR/QICLean#45 · Filter by author LionSR opened on Jul 14, 2026
  11

• Wolf Ch8: quasi-relative entropies and quantum hypothesis testing

  formalizationwolf-ch8
  LionSR/QICLean#46 · Filter by author LionSR opened on Jul 14, 2026
  7

• Wolf Ch8: unitarily invariant norms, majorization, and measurement inequalities

  formalizationwolf-ch8
  LionSR/QICLean#47 · Filter by author LionSR opened on Jul 14, 2026
  7

• Tracking: Wolf Ch8 distance measures and mixedness

  formalizationtrackingwolf-ch8
  LionSR/QICLean#48 · Filter by author LionSR opened on Jul 14, 2026
  8

• Prove indecomposability of Matrix.choiTypeMap for 1 ≤ n ≤ d−2 (Wolf Ch. 3, Ex. 3.1)

  follow-upformalizationwolf-ch3
  LionSR/QICLean#18 · Filter by author claude opened on Jul 1, 2026
  8