Almost-ℤ₂²- and ℤ₄-connectedness of bicritical snarks
Problem 7.1 · arXiv:2511.02892
Status open high confidence
Problem 7.1 from arXiv:2511.02892 conjectures that every bicritical snark is almost-\mathbb{Z}_{2}^{2}-connected and almost-\mathbb{Z}_{4}-connected. The property has been verified computationally for the Petersen graph and both Blanuša snarks on 18 vertices using the House of Graphs snark database, but no proof for the general case has appeared. No follow-up work addressing this conjecture was found in the literature as of May 2026, consistent with its very recent posting date.
Reviewer notes. The conjecture was posted in November 2025 and no citing or follow-up papers were found. The 2026 preprint arXiv:2603.17789 ('Algorithms for the Generation of Snarks') appeared in search results but could not be verified as addressing this specific conjecture within the web-call budget. The foundational references for this problem are Jaeger-Linial-Payan-Tarsi (1992) on group connectivity, Nedela-Škoviera (1996) on snark decompositions, and Coolsaet-D'hondt-Goedgebeur (2023) on the House of Graphs database.
Context
A graph is almost-$A$-connected if all boundaries are admissible for group $A$ except $\partial f=0$. The property has been verified for the Petersen graph and both Blanuša snarks on 18 vertices. The conjecture emerged from exploration of the House of Graphs snark database.
Notes. Stated as a declarative conjecture inside a labeled Problem environment.
Source paper
Open problems of the 33rd Workshop on Cycles and Colourings
János Barát, Zdeněk Dvořák, Penny Haxell, František Kardoš, Borut Lužar, Alfréd Onderko, Jozef Rajník, Roman Soták, Nikolay Ulyanov · 2025-11-04
https://arxiv.org/abs/2511.02892