Подматрица != квадрат. Заметим, что мы использовали здесь бин поиск для того, чтобы понять, какой максимальный квадрат может быть, если нашим верхним левым будет [i, j]. То есть, если нам подходит квадрат [i + L - 1, j + L - 1], то логично, что квадраты [i + L - 2, j + L - 2], [i + L - 3, j + L - 3], … [i, j] будут также подходить (напомню, a[i] не может быть отрицательным). Таких квадратов у нас будет L штук, из-за этого мы прибавляем L.