Abstract:Two recent papers by Kawarabayashi, Thomas and Wollan, "A New Proof of the Flat Wall Theorem" (<a class="link-https" data-arxiv-id="1207.6927" href="https://arxiv.org/abs/1207.6927">arXiv:1207.6927</a>) and "Quickly Excluding a Non-Planar Graph" (<a class="link-https" data-arxiv-id="2010.12397" href="https://arxiv.org/abs/2010.12397">arXiv:2010.12397</a>) provide major improvements over Robertson and Seymour's original proof of the structure theorem for finite graphs that exclude a given graph. The first paper redefines the notion of a flat wall. Unfortunately, this new notion is too strong. As a result, the new Flat Wall Theorem in that paper is incorrect. A counterexample is given in Appendix A. A follow-on lemma in the first paper, about the transitivity of flatness, is also incorrect, a fact that was noticed by Dimitrios Thilikos et al in <a class="link-https" data-arxiv-id="2102.06463" href="https://arxiv.org/abs/2102.06463">arXiv:2102.06463</a>. However, that error is derivative and not the main issue. This paper provides a weaker definition of the notion of a flat wall, provides a correction to the proof of the new Flat Wall Theorem and a new proof of flatness transitivity. The notion of a tight rendition as presented here differs from Thilikos' definition but is defined much more simply, and the notion of a proper cycle is introduced. The notions of certificates and tilted walls used by Thilikos turn out of be unnecessary and transitivity is preserved in its original simplicity and generality. Most importantly, it looks like the new weaker definition of flatness is all that is really necessary to carry through the proof of the structure theorem in the second paper of Kawarabayashi, Thomas and Wollan.

On Walter Wyss's no perfect cuboid paper

A note on the third cuboid conjecture. Part I

On the Planar Dual Minkowski Problem

There is no Perfect Cuboid

Novel required properties of, and efficient algorithms to seek, perfect cuboids

Perfect Cuboid and Congruent Number Equation Solutions

Asymptotic estimates for roots of the cuboid characteristic equation in the linear region

Multiple New Important Conjectures on Equivalence to Perfect Cuboid and Euler Brick

Parametric Solutions for a Nearly-Perfect Cuboid

Dudeney's Dissection is Optimal

On Dividing a Rectangle

On The Optimal Paper Moebius Band

The Cube-A Window to Convex and Discrete Geometry

Quasi-human algorithm for solving cuboid packing problem

There is no perfect Mondrian partition for squares of side lengths less than 1001

Fixing the Kawarabayashi-Thomas-Wollan Flat Wall

An Elementary Approach For Sums Of Consecutive Cubes Being Prime Power Squares

A Pythagorean triangle in which the hypotenuse and the sum of the arms are squares

Cubes and Boxes Have Rupert’s Passages in Every Nontrivial Direction

Problems related to Waring-Goldbach problem involving cubes of primes

A MECHANICAL PROOF TO A GEOMETRIC INEQUALITY OF ZIRAKZADEH THROUGH RECTANGULAR PARTITION OF POLYHEDRA