3 problems

Generalized Cauchy–Schwarz conjecture. For every such $p$, $\mathbf{v}$, and $\mathbf{w}$,

Let $\Phi$ and $\Psi$ be linear data, and let $\gamma$ be a partial matching map as in the paper. Write $\Phi\vdash'^k_\gamma\Psi$ for entailment using the additional elementary el…

Let $\Phi$ and $\Psi$ be linear data, and let $\gamma\colon I^\Psi\to I^\Phi\times\{0,1\}$ be a partial function. Assume that whenever functions…