A remark on the paper ``Properties of intersecting families of ordered sets'' by O. Einstein (Q1715084)

In \textit{O. Einstein} [Combinatorica 28, No. 1, 37--44 (2008; Zbl 1164.05034)], a proof was presented for the following result. Given positive integers $k$, $m$, and $l_1, \ldots, l_k$, if $U$ is a vector space over a field $F$, and if $U_{i, j}$, $i = 1, \ldots, k$ and $j = 1, \ldots, m$ are subspaces satisfying: \begin{itemize} \item[(1)] for each $i$, $j$, dim $U_{i,j} \leq l_j$; \item[(2)] for each $i$, if $j \neq j'$ then $U_{i,j} \cap U_{i,j'}$ is trivial; \item[(3)] for each $i$, $i'$ such that $i < i'$, there exists $j$, $j'$ with $j < j'$ such that $U_{i,j} \cap U_{i',j'}$ is not trivial;\\ then $m \leq \binom {\sum_j l_j}{l_1 \; l_2 \; \cdots \; l_k}$. \end{itemize} This article identifies an error in the proof in \textit{O. Einstein} [Combinatorica 28, No. 1, 37--44 (2008; Zbl 1164.05034)], and makes partial repairs. In particular, the proof does work if the second hypothesis is replaced with: for each $i$, dim$(U_{i,1} + \cdots + U_{i,k}) = \sum_j$ dim $(U_{i,j})$. In both papers, the proof relies critically on a result from \textit{L. Babai and P. Frankl} [Linear algebra methods on combinatorics, Department of Computer Science, University of Chicago (1992)]: suppose that $W$ and $T$ are vector spaces over an infinite field $F$. Suppose that for some index set $I$, $U_i$ and $V_i$ are subspaces of $W$ for each $i \in I$ such that dim$(U_i + V_i) \leq$ dim$(T)$. Then there exists linear $\varphi : W \to T$ such that for each $i \in I$, dim$(\varphi(U_i)) =$ dim$(U_i)$, dim$(\varphi(V_i)) =$ dim$(V_i)$, and dim$(\varphi(U_i) \cap \varphi(V_i)) =$ dim$(U_i \cap V_i)$. Unfortunately, this interesting book does not seem to be available at a stable location.