The Facial Common Neighbourhood Graph
Pith reviewed 2026-05-20 16:34 UTC · model grok-4.3
The pith
For cubic polyhedra the common neighbourhood graph is planar only if the odd faces meet specific adjacency rules, while for every other polyhedron it is non-planar.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For a 3-connected plane graph G the common neighbourhood graph con(G) is planar if and only if G is cubic and the odd faces of G satisfy a precise adjacency condition; in all other cases con(G) is non-planar. The facial common neighbourhood graph facecon(G) is a spanning subgraph of con(G) whose maximality as a planar triangulation implies that G has no face longer than six edges; all polyhedra of maximum face length four whose facecon(G) realises a maximal planar graph are completely classified and constructed.
What carries the argument
The common neighbourhood graph con(G), whose vertices are those of G and whose edges join any pair sharing a common neighbour, together with its facial restriction facecon(G) that only records pairs whose common neighbour lies on one shared face.
If this is right
- If facecon(G) is maximal planar then every face of G has length at most 6.
- All polyhedra of maximum face length 4 whose facecon(G) is maximal planar are explicitly constructed.
- For cubic polyhedra the planarity status of con(G) is completely determined by the number of odd faces and which pairs of them share an edge.
- The edge-extremal polyhedra with planar con(G) or facecon(G) are characterised for any fixed number of vertices.
Where Pith is reading between the lines
- The technical lemma that a maximal planar graph with exactly two odd-degree vertices has those vertices non-adjacent may be useful in other problems involving Eulerian orientations or medial graphs.
- The facial restriction may yield tractable subcases of neighbourhood-graph problems on non-polyhedral plane graphs.
- The explicit constructions for square-faced polyhedra suggest a possible enumeration or generating function for all such maximal facecon instances.
Load-bearing premise
The input graph must be a polyhedron, that is, a 3-connected plane graph, so that the notions of faces and common neighbours on a single face are unambiguously defined.
What would settle it
Exhibit a single cubic polyhedron whose odd faces are pairwise non-adjacent yet whose common neighbourhood graph is non-planar.
Figures
read the original abstract
Given a polyhedron (planar, $3$-connected graph) $G$, we investigate its common neighbourhood graph con($G$). For cubic ($3$-regular) polyhedra, we show that the planarity of con($G$) depends on the number of odd faces of $G$, and on their adjacency. We then prove that for all other polyhedra, con($G$) is non-planar. We introduce a novel concept for polyhedra (and more generally, for plane graphs) $G$, namely the `facial common neighbourhood graph' facecon($G$). Its definition takes into account pairs of vertices with a common neighbour on the same face of $G$. It is a spanning subgraph of con($G$), that coincides with con($G$) for cubic polyhedra. It also generalises the reverse construction of the radial graph. As part of our investigation, we also prove a technical result of independent interest: if a maximal planar graph (triangulation of the sphere) has exactly two vertices of odd degree, then they are not adjacent. We also answer several questions in extremal graph theory. Fixing the number of vertices, we characterise the polyhedra $G$ such that con($G$) is planar and the number of edges in con($G$) is minimal/maximal. We address the same problem for facecon($G$), and prove that if it is maximal planar, then $G$ has no face of length greater than $6$. We notably characterise and explicitly construct all polyhedra $G$ of maximal face length $4$ such that facecon($G$) is maximal planar.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper defines the common neighbourhood graph con(G) for polyhedra G (3-connected planar graphs). For cubic polyhedra, planarity of con(G) depends on the number of odd faces and their adjacency; for all non-cubic polyhedra, con(G) is non-planar. It introduces the facial common neighbourhood graph facecon(G), a spanning subgraph of con(G) that coincides with it for cubic cases and generalizes the reverse radial graph. A technical lemma of independent interest states that a maximal planar graph with exactly two odd-degree vertices has those vertices non-adjacent. The paper characterizes, for fixed number of vertices, the polyhedra extremizing the edge count in con(G) and facecon(G), proves that maximal-planar facecon(G) implies no face longer than 6, and explicitly constructs all maximum-face-length-4 polyhedra with facecon(G) maximal planar.
Significance. If the claims hold, the work contributes to the study of derived graphs on polyhedra by giving planarity criteria tied to facial parity and adjacency, plus complete extremal characterizations with explicit constructions. The technical lemma on odd-degree vertices in triangulations has potential independent value in graph theory. The generalization via facecon(G) and the link to radial graphs strengthen the contribution to embedded-graph combinatorics.
minor comments (3)
- §2 (Definitions): An early small example contrasting con(G) and facecon(G) for a non-cubic polyhedron would clarify the spanning-subgraph relation and the role of facial common neighbors.
- Theorem 5.3 (extremal characterization for facecon(G)): The statement that G has no face of length >6 when facecon(G) is maximal planar would benefit from an explicit reference to the Euler formula or handshaking lemma used in the proof.
- Figure 4 (construction for max-face-length 4): The caption should indicate the number of vertices and confirm that the depicted graph is 3-connected planar.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript, for the accurate summary of our results, and for recommending acceptance. We are pleased that the contributions to derived graphs on polyhedra, the planarity criteria, the technical lemma, and the extremal characterizations were viewed positively.
Circularity Check
No significant circularity detected
full rationale
The paper defines con(G) and facecon(G) directly from the common-neighborhood relation on vertices of a 3-connected planar graph (polyhedron), then proves planarity criteria, extremal edge counts, and a technical lemma on odd-degree vertices in maximal planar graphs using standard tools such as Euler's formula, the handshaking lemma, and local embedding arguments. No step reduces a claimed prediction or uniqueness result to a fitted parameter, a self-citation chain, or a redefinition of the input; the derivations remain independent of the opening assumptions once the graphs are fixed.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption A polyhedron is a 3-connected planar graph (or equivalently a plane graph).
- standard math Standard facts about planar graphs and degrees (handshaking lemma, Euler's formula) hold.
invented entities (1)
-
facial common neighbourhood graph facecon(G)
no independent evidence
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
For cubic (3-regular) polyhedra, we show that the planarity of con(G) depends on the number of odd faces of G, and on their adjacency. We then prove that for all other polyhedra, con(G) is non-planar.
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
A. Alwardi, B. Arsic, I. Gutman, and N. D. Soner. The common neighborhood graph and its energy.Iranian Journal of Mathematical Sciences and Informatics, 7(2):1–8, 2012
work page 2012
-
[2]
Generation of simple quadrangulations of the sphere.Discrete Mathematics, 305(1-3):33–54, Dec
G.Brinkmann, S.Greenberg, C.Greenhill, B.D.McKay, R.Thomas, andP.Wollan. Generation of simple quadrangulations of the sphere.Discrete Mathematics, 305(1-3):33–54, Dec. 2005
work page 2005
-
[3]
R. Diestel. Graph theory 3rd ed.Graduate texts in mathematics, 173, 2005
work page 2005
-
[4]
S. Gaspoz and R. W. Maffucci. Independence numbers of polyhedral graphs.Applied Mathe- matics and Computation, 462:128349, 2024
work page 2024
-
[5]
P. Hollowbread-Smith and R. W. Maffucci. Generation of 3-connected, planar line graphs. Discrete Mathematics, 348(2):114302, 2025
work page 2025
-
[6]
M. Knor, B. Luzar, R. Skrekovski, and I. Gutman. On Wiener index of common neighborhood graphs.MATCH Commun. Math. Comput. Chem, 72(1):321–332, 2014
work page 2014
- [7]
- [8]
- [9]
-
[10]
R. W. Maffucci. Deza graphs and regular polyhedra.The Art of Discrete and Applied Mathe- matics
- [11]
-
[12]
R. W. Maffucci and N. Willems. On smallest 3-polytopes of given graph radius.Discrete Mathematics, 346(5):113322, 2023
work page 2023
-
[13]
P. Schweitzer. Iterated open neighborhood graphs and generalizations.Discrete Applied Math- ematics, 161(10-11):1598–1609, 2013
work page 2013
-
[14]
M. Sonntag and H.-M. Teichert. Iterated neighborhood graphs.Discussiones Mathematicae Graph Theory, 32(3):403–417, 2012
work page 2012
-
[15]
E. Steinitz and H. Rademacher. Vorlesungen über die Theorie der Polyeder. Springer 1934
work page 1934
-
[16]
H. Tian and R. Zafarani. Exploiting common neighbor graph for link prediction. InProceedings of the 29th ACM International Conference on Information & Knowledge Management, pages 3333–3336, 2020
work page 2020
-
[17]
W. T. Tutte. A theory of 3-connected graphs.Indag. Math, 23(441-455):8, 1961
work page 1961
-
[18]
H. Whitney. Congruent graphs and the connectivity of graphs.American Journal of Mathe- matics, 54(1):150–168, 1932. 42
work page 1932
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.