The squaregraphs are planar graphs in which all bounded faces are four-cycles, and each vertex either belongs to the outer face or has degree at least four. The rectangular grids form familiar examples. A grid with vertices can have up to edges (depending on how close to square it is) and the same formula can also be obtained for other values of by removing vertices from a square or nearly-square grid. For instance, the drawing below is of a partial grid with vertices and edges, matching the formula as
What about squaregraphs more generally? How many edges can they have? To answer this, I think it’s easier to think about a dual version of the problem. The squaregraphs are exactly the graphs whose vertices represent the cells of a triangle-free weak pseudoline arrangement, and whose edges represent boundaries between cells. Here, a pseudoline is a curve that can be obtained from a line in the plane by a topological deformation of the whole plane, a weak arrangement is a collection of pseudolines such that the intersection of every two pseudolines is either empty or a single crossing point, and it’s triangle-free if no three pseudolines all cross. It’s equivalent to think of these as triangle-free arrangements of lines in the hyperbolic plane, or as triangle-free chord diagrams. The drawing below shows an example; the yellow line segments below are the pseudolines/hyperbolic lines/chords, each blue vertex lies in one of the regions separated by the yellow line segments, and each edge between two blue vertices corresponds to a pair of regions separated by one of the yellow line segments.
If we create this arrangement by adding the dual curves one at a time, then initially we have one vertex and zero edges. Each new line with crossings adds new vertices (by splitting that many regions of the previous arrangement into pairs of regions) and new edges ( of them connecting each new region to the one it was split from, and of them connecting new regions that are consecutive along the new curve). Therefore, by induction, if there are lines and total crossings, the number of vertices in the squaregraph is and the number of edges is . Therefore, for an -vertex squaregraph represented by an arrangement of lines, the number of edges will fall short of by exactly . To make squaregraphs with a number of edges that is as close to as possible, we need to use as few lines as possible.
But to figure out how few lines we need, we can forget the geometry and fall back to standard graph theory. Consider the intersection graph of the pseudolines. It is a triangle-free graph with vertices, and Mantel’s theorem tells us that the maximum number of edges in such a graph is achieved by the complete bipartite graphs. Translating this result back to arrangements, the maximum number of crossings in a triangle-free weak pseudoline arrangement is achieved by partitioning the lines into two equal or nearly-equal sets and making each pseudoline in one set cross each pseudoline in the other set. This is exactly the arrangement that corresponds to a square or nearly-square grid.
We don’t want to maximize crossings for a given number of lines; we want to minimize lines for a given number of squaregraph vertices. But the same result tells us that we can never achieve fewer lines than the grid or partial grid with the same number of vertices, because to do so we would need to use more crossings than are possible for that many lines. Therefore, every -vertex squaregraph has at most edges, the number given by the grids and partial grids.
This edge bound turns out to be exactly the same as Swanepoel’s conjectured maximum number of edges in triangle-free penny graphs. The grids and partial grids are penny graphs, and their existence shows that (if true) Swanepoel’s conjectured bound would be tight. But not every squaregraph is a penny graph, and not every triangle-free penny graph is a squaregraph, so the fact that squaregraphs can be proven to obey the same bound doesn’t seem to be helpful in making progress on Swanepoel’s conjecture.