arXiv++ Combinatorics

We review known linear and matrix generalizations of Hall's classic ``marriage theorem'' and Kőnig's theorem on partial matchings in bipartite graphs, and relate them to linear and matrix generalizations of Dilworth's theorem about chains and antichains in posets and Menger's theorem about disjoint paths in directed graphs.

We introduce notions of being "triangle-free" and "strongly triangle-free" for operator systems in M_n(C) considered as quantum graphs. Several examples and non-examples are discussed. We provide a complete characterization of strongly triangle-free operator systems.

Let V be a linear subspace of M_n(C) which contains the identity matrix and is stable under Hermitian transpose. A "quantum k-clique" for V is a rank k orthogonal projection P in M_n(C) for which dim(PVP) = k^2, and a "quantum k-anticlique" is a rank k orthogonal projection for which dim(PVP) = 1. We give upper and lower bounds both for the largest dimension of V which would ensure the existence of a quantum k-anticlique, and for the smallest dimension of V which would ensure the existence of a quantum k-clique.

Let V be a linear subspace of M_n(C) which contains the identity matrix and is stable under the formation of Hermitian adjoints. We prove that if n is sufficiently large then there exists a rank k orthogonal projection P such that dim(PVP) = 1 or k^2.

Let G be a finite abelian group. We examine the discrepancy between subspaces of l^2(G) which are diagonalized in the standard basis and subspaces which are diagonalized in the dual Fourier basis. The general principle is that a Fourier subspace whose dimension is small compared to |G| = dim(l^2(G)) tends to be far away from standard subspaces. In particular, the recent positive solution of the Kadison-Singer problem shows that from within any Fourier subspace whose dimension is small compared to |G| there is standard subspace which is essentially indistinguishable from its orthogonal complement.

Marcus, Spielman, and Srivastava recently solved the Kadison-Singer problem by showing that if u_1, ..., u_m are column vectors in C^d such that \sum u_iu_i^* = I, then a set of indices S \subseteq {1, ..., m} can be chosen so that \sum_{i \in S} u_iu_i^* is approximately (1/2)I, with the approximation good in operator norm to order ε^{1/2} where ε= \max \|u_i\|^2. We extend their result to show that every linear combination of the matrices u_iu_i^* with coefficients in [0,1] can be approximated in operator norm to order ε^{1/8} by a matrix of the form \sum_{i \in S} u_iu_i^*.

We apply Srivastava's spectral sparsification technique to a vector balancing version of the Kadison-Singer problem. The result is a one-sided version of the conjectured solution.

We give a combinatorial form of the Kadison-Singer problem, a famous problem in C*-algebra. This combinatorial problem, which has several minor variations, is a discrepancy question about vectors in C^n. Some partial results can be easily deduced from known facts in discrepancy theory.