\documentclass[acmtog]{acmart} %\documentclass[sigconf]{acmart} %\documentclass[manuscript, screen, review]{acmart}. \acmSubmissionID{126} \acmJournal{TOG} \usepackage{amsmath} \usepackage{xcolor} \usepackage{algpseudocodex} \usepackage{nicematrix} \usepackage{overpic} \usepackage{todonotes} % TOG prefers author-name bib system with square brackets \citestyle{acmauthoryear} % Packages %\usepackage[utf8]{inputenc} % For UTF-8 encoding %\usepackage{amsmath} % For advanced math features %\usepackage{amssymb} % For additional math symbols %\usepackage{geometry} % To adjust page margins %\geometry{a4paper, margin=0.5in} %\usepackage{graphicx} %\usepackage{overpic} %\usepackage{xcolor} % Metadata Information \setcopyright{cc} \setcctype{by} \acmJournal{TOG} \acmYear{2025} \acmVolume{44} \acmNumber{4} \acmArticle{} \acmMonth{8} \acmPrice{}\acmDOI{10.1145/3730821} \begin{document} % Title, Author, and Date \title{Sobol' Sequences with Guaranteed-Quality 2D Projections\\Supplementary Materials: Proofs} % DO NOT ENTER AUTHOR INFORMATION FOR ANONYMOUS TECHNICAL PAPER SUBMISSIONS TO SIGGRAPH 2019! \author{Nicolas Bonneel} \orcid{0000-0001-5243-4810} \affiliation{ \institution{CNRS, Université Claude Bernard Lyon 1, INSA Lyon} \country{France} } \email{nicolas.bonneel@liris.cnrs.fr} \author{David Coeurjolly} \orcid{0000-0003-3164-8697} \affiliation{ \institution{CNRS, Université Claude Bernard Lyon 1, INSA Lyon} \country{France} } \email{david.coeurjolly@cnrs.fr} \author{Jean-Claude Iehl} \orcid{0000-0001-6877-2398} \affiliation{ \institution{Université Claude Bernard Lyon 1, CNRS, INSA Lyon} \country{France} } \email{jean-claude.iehl@liris.cnrs.fr} \author{Victor Ostromoukhov} \orcid{0009-0004-3123-9388} \affiliation{ \institution{Université Claude Bernard Lyon 1, CNRS, INSA Lyon} \country{France} } \email{victor.ostromoukhov@liris.cnrs.fr} \maketitle % Generates the title \onecolumn $$ K^{(1)} = \left[\begin{array}{cc} A & B\\ 0 & C \end{array}\right] \rightarrow K^{(2)} = \left[\begin{array}{cc|cc} A & B & A+B & A\\ & C & C & 0 \\ \hline & & A & A+B\\ & & & C \end{array}\right] \rightarrow K^{(3)} = \left[\begin{array}{cccc|cccc} A & B & A+B & A & B & A+B & A & B\\ & C & C & 0 & C&C&0&C \\ & & A & A+B & A&A+B&0&0\\ & & & C & 0 & C&0&0\\ \hline & & & & A & B& B&A+B \\ & & & & & C & C& C \\ & & & & & & A&A+B\\ & & & & & & & C \end{array}\right] $$ We assume $A$, $B$ and $C$ are of size $m \times m$. We need to show that all $(s-1) \times s$ rectangular submatrices $T$ of $K^{(3)} $ anchored on the first row are rank-deficient of at most $1$ (i.e., $corank(S) \leq 1$), given that this property $\mathcal{P}$ holds for $K^{(1)}$ and $K^{(2)}$. We also require a property $\mathcal{Q}$ on $C$: all submatrices $T$ of $C$ obtained by removing $1 \leq t < m$ consecutive columns and the last $t$ rows has $corank(T)\leq 1$. \section{Property $\mathcal{Q}$} It is easy to see that if $\mathcal{Q}$ holds for $C$, it also holds for $\left[\begin{array}{cc} A & A+B\\ 0 & C \end{array}\right] $. Indeed, $A$ has full rank, so removing any row and column of $A$ does not change the rank of $\left[\begin{array}{cc} A & A+B\\ 0 & C \end{array}\right] $. The base case of this induction is guaranteed by numerical evaluation: property $\mathcal{Q}$ is numerically verified for the initial $e \times e$ block $C$ by checking ranks. \section{Property $\mathcal{P}$} The base case of the induction for property $\mathcal{P}$ is obtained by numerically evaluating ranks on up to $4e \times 4e$ matrices (submatrices of the initial $4e \times 4e$ matrix $K^{(2)}$). We show that if the property $\mathcal{P}$ holds for $K^{(1)}$ and $K^{(2)}$, it also necessarily holds for $K^{(3)}$, and thus, for any number of iterations of the procedure. The idea is to perform linear combinations of rows and/or columns on matrices to exhibit a block-triangular structure, where diagonal blocks are either full rank, or, for at most one block, satisfy property $\mathcal{P}$ or $\mathcal{Q}$ by hypothesis, which allows to conclude that the corank is at most $1$. Note that matrices that need to be tested can have any size and are of shape $(w-1) \times w$: these matrices are anchored on the top of matrix $K^{(3)}$, and will, in general, contain partial blocks that require particular attention. They may also overlap more blocks horizontally than vertically (e.g., if they slightly overlap block horizontally), which also requires particular attention when considering permutations of rows. We exhaustively detail below all cases, depending on the size of the tested matrix, and where it is located on the top row. \newpage \subsection{$1 \leq w\leq m$ : testing $\mathcal{P}$ on all 1x2 blocks and 1x1 blocks} Trivial, by hypothesis \subsection{$m \leq w\leq 2m$ : testing $\mathcal{P}$ on all 2x2 blocks (left to right):} \begin{itemize} \item $\left[\begin{array}{cc} A & B\\ 0 & C \end{array}\right] \rightarrow $ directly by hypothesis \item $\left[\begin{array}{cc} B & A+B\\ C & C \end{array}\right] \rightarrow $ directly by hypothesis \item $\left[\begin{array}{cc} A+B & A\\ C & 0 \end{array}\right] \rightarrow $ directly by hypothesis \end{itemize} \subsection{$m \leq w\leq 2m$ and $2m \leq w\leq 3m$: testing $\mathcal{P}$ on all 3x3 blocks (left to right):} \begin{itemize} \item $\left[\begin{array}{ccc} A & B & A+B\\ 0 & C & C \\ 0 & 0 & A \end{array}\right] \rightarrow $ directly by hypothesis \item $\left[\begin{array}{ccc} B & A+B & A\\ C & C & 0 \\ 0 & A & A+B \end{array}\right] \rightarrow $ directly by hypothesis \item $\left[\begin{array}{ccc} A+B & A & B\\ C & 0 & C \\ A & A+B & A \end{array}\right] $ \\ When the size of the considered submatrices $m < w\leq 2m$, we rely on the following transformation \includegraphics[width=\linewidth]{blocks/bloc33_2h.pdf} This results in a block triangular matrix with a diagonal block $A$ and another diagonal block $\widetilde{C}$ consisting of top-leftmost and top-rightmost rows of $C$. $A$ is invertible by hypothesis, and $corank(\widetilde{C}) \leq 1$ by hypothesis $\mathcal{Q}$. When $2m < w\leq 3m$, we rely on the following transformation \includegraphics[width=\linewidth]{blocks/bloc33_1h.pdf} This results in a block triangular matrix with one triangular block which determinant is non-zero, as diagonal elements are non-zero, and one block consisting of a small first-row anchored submatrix of $B$. Matrix $B$ has property $\mathcal{P}$. The corank of matrix $T$ is thus that of this small submatrix of $B$~\cite{meyer1973generalized}, which concludes the proof for this case. \item $\left[\begin{array}{ccc} A & B & A+B\\ 0 & C & C \\ A+B & A & A+B \end{array}\right] $ \\ When the size of the considered submatrices $m < w\leq 2m$, $T$ only involves the first two (block) rows. They appear in the initial hypotheses, and so $\mathcal{P}$ is satisfied by hypothesis. When $2m < w\leq 3m$, we rely on the following transformation \includegraphics[width=\linewidth]{blocks/bloc33_3h.pdf} This results in a block triangular matrix with one triangular block which determinant is non-zero, as diagonal elements are non-zero, and one block consisting of a small first-row anchored submatrix of $A$. Matrix $A$ has property $\mathcal{P}$. The corank of matrix $T$ is thus that of this small submatrix of $A$~\cite{meyer1973generalized}, which concludes the proof for this case. \item $\left[\begin{array}{ccc} B & A+B & A\\ C & C & 0 \\ A & A+B & 0 \end{array}\right] $ When the size of the considered submatrices $w\leq 2m$, $T$ only involves the first two (block) rows. They appear in the initial hypotheses, and so $\mathcal{P}$ is satisfied by hypothesis. When $2m < w\leq 3m$, we rely on the following transformation \includegraphics[width=\linewidth]{blocks/bloc33_4h.pdf} This results in a block triangular matrix with one triangular block which determinant is non-zero as diagonal elements are non-zero, and one block consisting of a small first-row anchored submatrix of $B$. Matrix $B$ has property $\mathcal{P}$. The corank of matrix $T$ is thus that of this small submatrix of $B$~\cite{meyer1973generalized}, which concludes the proof for this case. \item $\left[\begin{array}{ccc} A+B & A & B\\ C & 0 & C \\ A+B & 0 & 0 \end{array}\right] $ When $m < w\leq 2m$, $T$ only involves the two first (block) rows. We have already encountered this case for these two rows and provided a proof (see above for matrix $\left[\begin{array}{ccc} A+B & A & B\\ C & 0 & C \\ A & A+B & A \end{array}\right] $). When $2m < w\leq 3m$, we rely on the following transformation \includegraphics[width=\linewidth]{blocks/bloc33_5h.pdf} This results in a block triangular matrix with one triangular block which determinant is non-zero as diagonal elements are non-zero, and one block consisting of a small first-row anchored submatrix of $A+B$. Matrix $A+B$ has property $\mathcal{P}$. The corank of matrix $T$ is thus that of this small submatrix of $A+B$~\cite{meyer1973generalized}, which concludes the proof for this case. \end{itemize} \subsection{$2m \leq w\leq 3m$ and $3m \leq w\leq 4m$: testing $\mathcal{P}$ on all 4x4 blocks (left to right):} From now on, all our transformations only involve simple (block) column-wise operations. When the size of the considered submatrices $2m < w\leq 3m$, $T$ only involves the first three blocks of rows. We apply the same column transformations as for the case $3m \leq w\leq 4m$, and conclude similarly. \begin{itemize} \item $\left[\begin{array}{cccc} A & B & A+B & A\\ 0 & C & C & 0 \\ 0 & 0 & A & A+B \\ 0 & 0 & 0 & C \end{array}\right] \rightarrow $ directly by hypothesis \item $\left[\begin{array}{cccc} B & A+B & A & B\\ C & C & 0 & C \\ 0 & A & A+B & A\\ 0 & 0 & C & 0 \end{array}\right] $ %When the size of the considered submatrices $2m < s\leq 3m$, $T$ only involves the first three rows. We rely on the following transformation %\includegraphics[width=\linewidth]{blocks/bloc44_2h.pdf} %This results in a block triangular matrix with a diagonal block $\left[\begin{array}{cccc} %A+B & A\\ %C & 0 %\end{array}\right] $ highlighted in bold orange that has non-zero determinant, and another diagonal block consisting of a top-%anchored square submatrix of %$\left[\begin{array}{cc} %B & A+B %\end{array}\right] $ highlighted in bold mangenta for which $\mathcal{P}$ holds by hypothesis, and has thus a corank lower or equal to 1. This concludes the proof for this case. When the size of the considered submatrices $3m < w\leq 4m$, we rely on the following transformation \includegraphics[width=\linewidth]{blocks/bloc44_1h.pdf} This results in a block triangular matrix with a diagonal block $\left[\begin{array}{cc} B & A\\ C &0 \end{array}\right] $ highlighted in bold orange that has a non-zero determinant, and another diagonal block consisting of a top-anchored rectangular submatrix of $\left[\begin{array}{cc} B & A+B\\ C & C \end{array}\right] $ highlighted in bold magenta, for which $\mathcal{P}$ holds by hypothesis, and has thus a corank lower or equal to 1. This concludes the proof for this case. \item $\left[\begin{array}{cccc} A+B & A & B & A+B\\ C & 0 & C & C \\ A & A+B & A & A+B\\ 0 & C & 0 & C \end{array}\right] $ %When the size of the considered submatrices $2m < s\leq 3m$, $T$ only involves the first three rows. We rely on the following transformation %\includegraphics[width=\linewidth]{blocks/bloc44_4h.pdf} %This results in a block triangular matrix with a diagonal block $\left[\begin{array}{cccc} %A & B\\ %C & 0 %\end{array}\right] $ highlighted in bold orange that has non-zero determinant, and another diagonal block consisting of a top-%anchored square submatrix of %$\left[\begin{array}{cc} %A+B & A %\end{array}\right] $ highlighted in bold mangenta for which $\mathcal{P}$ holds by hypothesis, and has thus a corank lower or equal to 1. This concludes the proof for this case. When the size of the considered submatrices $3m < w\leq 4m$, we rely on the following transformation \includegraphics[width=\linewidth]{blocks/bloc44_3h.pdf} This results in a block triangular matrix with a diagonal block $\left[\begin{array}{cc} A & B\\ 0 & C \end{array}\right] $ highlighted in bold orange that has non-zero determinant, and another diagonal block consisting of a top-anchored rectangular submatrix of $\left[\begin{array}{cc} A+B & A\\ C & 0 \end{array}\right] $ highlighted in bold magenta, for which $\mathcal{P}$ holds by hypothesis, and has thus a corank lower or equal to 1. This concludes the proof for this case. \item $\left[\begin{array}{cccc} A & B & A+B & A\\ 0 & C & C & 0\\ A+B & A & A+B& 0\\ C & 0 & C & 0 \end{array}\right] $ %When the size of the considered submatrices $2m < s\leq 3m$, $T$ only involves the first three rows. We rely on the following transformation %\includegraphics[width=\linewidth]{blocks/bloc44_6h.pdf} %This results in a block triangular matrix with a diagonal block $\left[\begin{array}{cccc} %B & A\\ %C & 0 %\end{array}\right] $ highlighted in bold orange that has non-zero determinant, and another diagonal block consisting of a top-anchored square submatrix of %$\left[\begin{array}{cc} %A & B %\end{array}\right] $ highlighted in bold mangenta for which $\mathcal{P}$ holds by hypothesis, and has thus a corank lower or equal to 1. This concludes the proof for this case. When the size of the considered submatrices $3m < w\leq 4m$, we rely on the following transformation \includegraphics[width=\linewidth]{blocks/bloc44_5h.pdf} This results in a block triangular matrix with a diagonal block $\left[\begin{array}{cc} B & A\\ C & 0 \end{array}\right] $ highlighted in bold orange that has a non-zero determinant, and another diagonal block consisting of a top-anchored rectangular submatrix of $\left[\begin{array}{cc} A & B\\ 0 & C \end{array}\right] $ highlighted in bold magenta, for which $\mathcal{P}$ holds by hypothesis, and has thus a corank lower or equal to 1. This concludes the proof for this case. \item $\left[\begin{array}{cccc} B & A+B & A & B\\ C & C & 0 & C\\ A & A+B & 0& 0\\ 0 & C & 0 & 0 \end{array}\right] $ %When the size of the considered submatrices $2m < s\leq 3m$, $T$ only involves the first three rows. We rely on the following transformation %\includegraphics[width=\linewidth]{blocks/bloc44_8h.pdf} %This results in a block triangular matrix with a diagonal block $\left[\begin{array}{cccc} %B & A\\ %C & 0 %\end{array}\right] $ highlighted in bold orange that has non-zero determinant, and another diagonal block consisting of a top-anchored square submatrix of %$\left[\begin{array}{cc} %B & A+B %\end{array}\right] $ highlighted in bold mangenta for which $\mathcal{P}$ holds by hypothesis, and has thus a corank lower or equal to 1. This concludes the proof for this case. When the size of the considered submatrices $3m < w\leq 4m$, we rely on the following transformation \includegraphics[width=\linewidth]{blocks/bloc44_7h.pdf} This results in a block triangular matrix with a diagonal block $\left[\begin{array}{cc} B & A\\ C & 0 \end{array}\right] $ highlighted in bold orange that has non-zero determinant, and another diagonal block consisting of a top-anchored rectangular submatrix of $\left[\begin{array}{cc} B & A+B\\ C & C \end{array}\right] $ highlighted in bold magenta, for which $\mathcal{P}$ holds by hypothesis, and has thus a corank lower or equal to 1. This concludes the proof for this case. \end{itemize} \subsection{$3m \leq w\leq 4m$ and $4m \leq w\leq 5m$: testing $\mathcal{P}$ on all 5x5 blocks (left to right):} Similarly, all our transformations only involve simple (block) column-wise operations. When the size of the considered submatrices $3m < w\leq 4m$, $T$ only involves the first four blocks of rows. We apply the same column transformations as for the case $4m \leq w\leq 5m$, and conclude similarly. \begin{itemize} \item $\left[\begin{array}{ccccc} A & B & A+B & A &B\\ 0 & C & C & 0 & C\\ 0 & 0 & A & A+B &A\\ 0 & 0 & 0 & C & 0 \\ 0 & 0 & 0 & 0 & A \end{array}\right] $ %When the size of the considered submatrices $3m < s\leq 4m$, $T$ only involves the first four rows. We rely on the following transformation %\includegraphics[width=\linewidth]{blocks/bloc55_2h.pdf} %This results in a block triangular matrix with a diagonal block $\left[\begin{array}{cccc} %B & A\\ %C & 0 %\end{array}\right] $ highlighted in bold orange that has non-zero determinant, and another diagonal block consisting of a top-anchored square submatrix of %$\left[\begin{array}{ccc} %A & B & A+B\\ %0 & C & C %\end{array}\right] $ highlighted in bold mangenta for which $\mathcal{P}$ holds by hypothesis, and has thus a corank lower or equal to 1. This concludes the proof for this case. When the size of the considered submatrices $4m < w\leq 5m$, we rely on the following transformation \includegraphics[width=\linewidth]{blocks/bloc55_1h.pdf} This results in a block triangular matrix with a diagonal block of the form $\left[\begin{array}{cc} B & A\\ C & 0 \end{array}\right] $ highlighted in bold orange that has a non-zero determinant, and another diagonal block consisting of a top-anchored rectangular submatrix of $\left[\begin{array}{ccc} A & B & A+B\\ 0 & C & C \\ 0 & 0 & A \end{array}\right] $ highlighted in bold magenta, for which $\mathcal{P}$ holds by hypothesis, and has thus a corank lower or equal to 1. This concludes the proof for this case. \item $\left[\begin{array}{ccccc} B & A+B & A &B & A+B\\ C & C & 0 & C & C\\ 0 & A & A+B &A &A+B\\ 0 & 0 & C & 0 & C\\ 0 & 0 & 0 & A & B \end{array}\right] $ %When the size of the considered submatrices $3m < s\leq 4m$, $T$ only involves the first four rows. We rely on the following transformation %\includegraphics[width=\linewidth]{blocks/bloc55_4h.pdf} %This results in a block triangular matrix with a diagonal block $\left[\begin{array}{cccc} %A & B\\%% %0 & C %\end{array}\right] $ highlighted in bold orange that has non-zero determinant, and another diagonal block consisting of a top-anchored square submatrix of %$\left[\begin{array}{ccc} %B & A+B & A\\ %C & C & 0 %\end{array}\right] $ highlighted in bold mangenta for which $\mathcal{P}$ holds by hypothesis, and has thus a corank lower or equal to 1. This concludes the proof for this case. When the size of the considered submatrices $4m < w\leq 5m$, we rely on the following transformation \includegraphics[width=\linewidth]{blocks/bloc55_3h.pdf} This results in a block triangular matrix with a diagonal block of the form $\left[\begin{array}{cc} A & B\\ 0 & C \end{array}\right] $ highlighted in bold orange that has a non-zero determinant, and another diagonal block consisting of a top-anchored rectangular submatrix of $\left[\begin{array}{ccc} B & A+B & A\\ C & C & 0\\ 0 & A & A+B \end{array}\right] $ highlighted in bold magenta, for which $\mathcal{P}$ holds by hypothesis, and has thus a corank lower or equal to 1. This concludes the proof for this case. \item $\left[\begin{array}{ccccc} A+B & A &B & A+B & A\\ C & 0 & C & C & 0\\ A & A+B &A &A+B & 0\\ 0 & C & 0 & C & 0\\ 0 & 0 & A & B & B \end{array}\right] $ %When the size of the considered submatrices $3m < s\leq 4m$, $T$ only involves the first four rows. We rely on the following transformation %\includegraphics[width=\linewidth]{blocks/bloc55_6h.pdf} %This results in a block triangular matrix with a diagonal block $\left[\begin{array}{cccc} %A & B\\ %0 & C %\end{array}\right] $ highlighted in bold orange that has non-zero determinant, and another diagonal block consisting of a top-anchored square submatrix of %$\left[\begin{array}{ccc} %A+B & A & B\\ %C & 0 & C %\end{array}\right] $ highlighted in bold mangenta for which $\mathcal{P}$ holds by hypothesis, and has thus a corank lower or equal to 1. This concludes the proof for this case. When the size of the considered submatrices $4m < w\leq 5m$, we rely on the following transformation \includegraphics[width=\linewidth]{blocks/bloc55_5h.pdf} This results in a block triangular matrix with a diagonal block of the form $\left[\begin{array}{cc} B & A\\ C & 0 \end{array}\right] $ highlighted in bold orange that has a non-zero determinant, and another diagonal block consisting of a top-anchored rectangular submatrix of $\left[\begin{array}{ccc} A+B & A & B\\ C & 0 & C\\ A & A+B & A \end{array}\right] $ highlighted in bold magenta, for which we demonstrated above that $\mathcal{P}$ holds, and has thus a corank lower or equal to 1. This concludes the proof for this case. \item $\left[\begin{array}{ccccc} A & B &A+B & A & B\\ 0 & C & C & 0 & C\\ A+B & A &A+B &0 & 0\\ C & 0 & C & 0 & 0\\ 0 & A & B & B & A+B \end{array}\right] $ When the size of the considered submatrices $4m < w\leq 5m$, we rely on the following transformation \includegraphics[width=\linewidth]{blocks/bloc55_7h.pdf} This results in a block triangular matrix with a diagonal block of the form $\left[\begin{array}{cc} B & A\\ C & 0 \end{array}\right] $ highlighted in bold orange that has a non-zero determinant, and another diagonal block consisting of a top-anchored rectangular submatrix of $\left[\begin{array}{ccc} A+B & A & B\\ C & 0 & C\\ A & A+B & A \end{array}\right] $ highlighted in bold magenta, for which we demonstrated above that $\mathcal{P}$ holds, and has thus a corank lower or equal to 1. This concludes the proof for this case. When the size of the considered submatrices $3m < w\leq 4m$, $T$ only involves the first four rows. The same transformation can be applied and results A block triangular matrix involving the same non-zero determinant block, and a top-anchored square submatrix of $\left[\begin{array}{ccc} A+B & A & B\\ C & 0 & C\\ \end{array}\right] $ for which $\mathcal{P}$ holds. \end{itemize} \subsection{$4m \leq w\leq 5m$ and $5m \leq w\leq 6m$: testing $\mathcal{P}$ on all 6x6 blocks (left to right):} Similarly, all our transformations only involve simple (block) column-wise operations. When the size of the considered submatrices $4m < w\leq 5m$, $T$ only involves the first five blocks of rows. We apply the same column transformations as for the case $5m \leq w\leq 6m$, and conclude similarly. \begin{itemize} \item $\left[\begin{array}{cccccc} A & B & A+B & A &B & A+B\\ 0 & C & C & 0 & C & C\\ 0 & 0 & A & A+B &A & A+B\\ 0 & 0 & 0 & C & 0 & C \\ 0 & 0 & 0 & 0 & A & B \\ 0 & 0 & 0 & 0 & 0 & C \end{array}\right] $ When the size of the considered submatrices $5m < w\leq 6m$, we rely on the following transformation \includegraphics[width=\linewidth]{blocks/bloc66_1h.pdf} This results in a block triangular matrix with one block-triangular block that has two diagonal blocks of the form $\left[\begin{array}{cc} B & A\\ C & 0 \end{array}\right] $ highlighted in bold orange that have non-zero determinants, and another block on the diagonal consisting of a top-anchored rectangular submatrix of $\left[\begin{array}{cc} A & B \\ 0 & C \end{array}\right] $ highlighted in bold magenta, for which $\mathcal{P}$ holds by hypothesis, and has thus a corank lower or equal to 1. This concludes the proof for this case. \item $\left[\begin{array}{cccccc} B & A+B & A &B & A+B & A\\ C & C & 0 & C & C & 0\\ 0 & A & A+B &A & A+B& 0\\ 0 & 0 & C & 0 & C& 0 \\ 0 & 0 & 0 & A & B & B\\ 0 & 0 & 0 & 0 & C & 0 \end{array}\right] $ When the size of the considered submatrices $5m < w\leq 6m$, we rely on the following transformation \includegraphics[width=\linewidth]{blocks/bloc66_3h.pdf} This results in a block triangular matrix with one block-triangular block that has two diagonal blocks of the form $\left[\begin{array}{cc} B & A\\ C & 0 \end{array}\right] $ (up to permutation) highlighted in bold orange that have non-zero determinants, and another block on the diagonal consisting of a top-anchored rectangular submatrix of $\left[\begin{array}{cc} B & A+B \\ C & C \end{array}\right] $ highlighted in bold magenta, for which $\mathcal{P}$ holds by hypothesis, and has thus a corank lower or equal to 1. This concludes the proof for this case. \item $\left[\begin{array}{cccccc} A+B & A &B & A+B & A &B\\ C & 0 & C & C & 0 &C\\ A & A+B &A & A+B& 0 &0\\ 0 & C & 0 & C& 0 &0\\ 0 & 0 & A & B & B&A+B\\ 0 & 0 & 0 & C & 0&C \end{array}\right] $ When the size of the considered submatrices $5m < w\leq 6m$, we rely on the following transformation \includegraphics[width=\linewidth]{blocks/bloc66_5h.pdf} This results in a block triangular matrix with one block-triangular block that has two diagonal blocks of the form $\left[\begin{array}{cc} A & B\\ 0 & C \end{array}\right] $ highlighted in bold orange that have non-zero determinants, and another block on the diagonal consisting of a top-anchored rectangular submatrix of $\left[\begin{array}{cc} A+B & A \\ C & 0 \end{array}\right] $ highlighted in bold magenta, for which $\mathcal{P}$ holds by hypothesis, and has thus a corank lower or equal to 1. This concludes the proof for this case. \end{itemize} \subsection{$5m \leq w\leq 6m$ and $6m \leq w\leq 7m$: testing $\mathcal{P}$ on all 7x7 blocks (left to right):} Similarly, all our transformations only involve simple (block) column-wise operations. When the size of the considered submatrices $5m < w\leq 6m$, $T$ only involves the first six blocks of rows. We apply the same column transformations as for the case $6m \leq w\leq 7m$, and conclude similarly. \begin{itemize} \item $\left[\begin{array}{ccccccc} A & B & A+B & A &B & A+B & A\\ 0 & C & C & 0 & C & C &0 \\ 0 & 0 & A & A+B &A & A+B& 0\\ 0 & 0 & 0 & C & 0 & C &0 \\ 0 & 0 & 0 & 0 & A & B & B \\ 0 & 0 & 0 & 0 & 0 & C & C \\ 0 & 0 & 0 & 0 & 0 & 0 & A \end{array}\right] $ When the size of the considered submatrices $6m < w\leq 7m$, we rely on the following transformation \includegraphics[width=\linewidth]{blocks/bloc77_1h.pdf} This results in a block triangular matrix with one block-triangular block that has two diagonal blocks of the form $\left[\begin{array}{cc} A & B\\ 0 & C \end{array}\right] $ (up to permutations) highlighted in bold orange that have non-zero determinants, and another block on the diagonal consisting of a top-anchored rectangular submatrix of $\left[\begin{array}{ccc} A & B & A+B\\ 0 & C & C \\ 0 &0 & A \end{array}\right] $ highlighted in bold magenta for which $\mathcal{P}$ holds by hypothesis, and has thus a corank lower or equal to 1. This concludes the proof for this case. \item $\left[\begin{array}{ccccccc} B & A+B & A &B & A+B & A & B\\ C & C & 0 & C & C &0 & C \\ 0 & A & A+B &A & A+B& 0 & 0\\ 0 & 0 & C & 0 & C &0 & 0 \\ 0 & 0 & 0 & A & B & B &A+B\\ 0 & 0 & 0 & 0 & C & C & C\\ 0 & 0 & 0 & 0 & 0 & A &A+B \end{array}\right] $ When the size of the considered submatrices $6m < w\leq 7m$, we rely on the following transformation \includegraphics[width=\linewidth]{blocks/bloc77_3h.pdf} This results in a block triangular matrix with one block-triangular block that has two diagonal blocks of the form $\left[\begin{array}{cc} A & B\\ 0 & C \end{array}\right] $ (up to permutations) highlighted in bold orange that have non-zero determinants, and another block on the diagonal consisting of a top-anchored rectangular submatrix of $\left[\begin{array}{ccc} B & A+B & A\\ C & C & 0 \\ 0 &A & A+B \end{array}\right] $ highlighted in bold magenta for which $\mathcal{P}$ holds by hypothesis, and has thus a corank lower or equal to 1. This concludes the proof for this case. \end{itemize} \subsection{$6m \leq w\leq 7m$ and $7m \leq w\leq 8m$: testing $\mathcal{P}$ on the entire matrix:} Similarly, all our transformations only involve simple (block) column-wise operations. When the size of the considered submatrices $6m < w\leq 7m$, $T$ only involves the first seven blocks of rows. We apply the same column transformations as for the case $7m \leq w\leq 8m$, and conclude similarly. \begin{itemize} \item $\left[\begin{array}{cccccccc} A & B & A+B & A &B & A+B & A & B\\ 0 & C & C & 0 & C & C &0 & C \\ 0 & 0 & A & A+B &A & A+B& 0 & 0\\ 0 & 0 & 0 & C & 0 & C &0& 0 \\ 0 & 0 & 0 & 0 & A & B & B& A+B \\ 0 & 0 & 0 & 0 & 0 & C & C & C\\ 0 & 0 & 0 & 0 & 0 & 0 & A& A+B\\ 0 & 0 & 0 & 0 & 0 & 0 & 0& C\\ \end{array}\right] $ When the size of the considered submatrices $7m