On an Extension Problem for Density Matrices

We investigate the problem of the existence of a density matrix rho on the product of three Hilbert spaces with given marginals on the pair (1,2) and the pair (2,3). While we do not solve this problem completely we offer partial results in the form of some necessary and some sufficient conditions on the two marginals. The quantum case differs markedly from the classical (commutative) case, where the obvious necessary compatibility condition suffices, namely, trace_1 (rho_{12}) = \trace_3 (rho_{23}).Comment: 12 pages late

Inequalities that sharpen the triangle inequality for sums of NN functions in LpL^p

We study $L^p$ inequalities that sharpen the triangle inequality for sums of $N$ functions in $L^p$

Inequalities for Lᵖ-Norms that Sharpen the Triangle Inequality and Complement Hanner’s Inequality

In 2006 Carbery raised a question about an improvement on the naïve norm inequality ∥f+g∥^p_p ≤ 2^(p−1)(∥f∥^p_p+∥g∥^p_p) for two functions f and g in Lᵖ of any measure space. When f=g this is an equality, but when the supports of f and g are disjoint the factor 2^(p−1) is not needed. Carbery’s question concerns a proposed interpolation between the two situations for p > 2 with the interpolation parameter measuring the overlap being ∥fg∥_(p/2). Carbery proved that his proposed inequality holds in a special case. Here, we prove the inequality for all functions and, in fact, we prove an inequality of this type that is stronger than the one Carbery proposed. Moreover, our stronger inequalities are valid for all real p ≠ 0