arXiv++ Combinatorics

In this paper we introduce a product-like operation that generalizes the construction of generalized Sierpiński graphs. Let $G,H$ be graphs and let $f: V(G) \to V(H)$ be a function. Then the Sierpiński product of $G$ and $H$ with respect to $f$ is defined as a pair $(K,\varphi)$, where $K$ is a graph on the vertex set $V(G) \times V(H)$ with two types of edges: -- $\{(g,h),(g,h')\}$ is an edge in $K$ for every $g\in V(G)$ and every $\{h,h'\}\in E(H)$, -- $\{(g,f(g'),(g',f(g))\}$ is an edge in $K$ for every edge $\{g,g'\} \in E(G)$; and $\varphi: V(G) \to V(K)$ is a function that maps every vertex $g \in V(G)$ to the vertex $(g,f(g)) \in V(K)$. Graph $K$ will be denoted by $G\otimes_f H$. Function $\varphi$ is needed to define the product of more than two factors. By applying this operation $n$ times to the same graph we obtain the $n$-th generalized Sierpiński graph. Some basic properties of the Sierpiński product are presented. In particular, we show that $G \otimes_f H$ is connected if and only if both $G$ and $H$ are connected and we present some necessary and sufficient conditions that $G,H$ must fulfill in order for $G \otimes_f H$ to be planar. As for symmetry properties, we show which automorphisms of $G$ and $H$ extend to automorphisms of $G \otimes_f H$. In many cases we can also describe the whole automorphism group of $G\otimes_f H$.

In this paper the problem of the existence of regular nut graphs is addressed. A generalization of Fowler's Construction which is a local enlargement applied to a vertex in a graph is introduced to generate nut graphs of higher order. Let $N(ρ)$ denote the set of integers $n$ such that there exists a regular nut graph of degree $ρ$ and order $n$. It is proven that $N(3) = \{12\} \cup \{2k : k \geq 9\}$ and that $N(4) = \{8,10,12\} \cup \{n: n \geq 14\}$. The problem of determining $N(ρ)$ for $ρ> 4$ remains completely open.

In this paper we introduce point-ellipse configurations and point-conic configurations. We study some of their basic properties and describe two interesting families of balanced point-ellipse, respectively point-conic $6$-configurations. The construction of the first family is based on Carnot's theorem, whilst the construction of the second family is based on the Cartesian product of two regular polygons. Finally, we investigate a point-ellipse configuration based on the regular $24$-cell.

We prove that there exist infinitely many splittable and also infinitely many unsplittable cyclic $(n_3)$ configurations. We also present a complete study of trivalent cyclic Haar graphs on at most 60 vertices with respect to splittability. Finally, we show that all cyclic flag-transitive configurations with the exception of the Fano plane and the Möbius-Kantor configuration are splittable.

The family of generalized Petersen graphs $G(n, k)$, introduced by Coxeter et al. [4] and named by Mark Watkins (1969), is a family of cubic graphs formed by connecting the vertices of a regular polygon to the corresponding vertices of a star polygon. The Kronecker cover $\mathrm{KC}(G)$ of a simple undirected graph $G$ is a a special type of bipartite covering graph of $G$, isomorphic to the direct (tensor) product of $G$ and $K_2$. We characterize all the members of generalized Petersen graphs that are Kronecker covers, and describe the structure of their respective quotients. We observe that some of such quotients are again generalized Petersen graphs, and describe all such pairs.

Stability and chemistry, both exohedral and endohedral, of fullerenes are critically dependent on the distribution of their obligatory 12 pentagonal faces. It is well known that there are infinitely many IPR-fullerenes and that the pentagons in these fullerenes can be at an arbitrarily large distance from each other. IPR-fullerenes can be described as fullerenes in which each connected cluster of pentagons has size 1. In this paper we study the combinations of cluster sizes that can occur in fullerenes and whether the clusters can be at an arbitrarily large distance from each other. For each possible partition of the number 12, we are able to decide whether the partition describes the sizes of pentagon clusters in a possible fullerene, and state whether the different clusters can be at an arbitrarily large distance from each other. We will prove that all partitions with largest cluster of size 5 or less can occur in an infinite number of fullerenes with the clusters at an arbitrarily large distance of each other, that 9 partitions occur in only a finite number of fullerene isomers and that 15 partitions do not occur at all in fullerenes.

In a recent paper (arXiv:1505.01475 ) Estélyi and Pisanski raised a question whether there exist vertex-transitive Haar graphs that are not Cayley graphs. In this note we construct an infinite family of trivalent Haar graphs that are vertex-transitive but non-Cayley. The smallest example has 40 vertices and is the well-known Kronecker cover over the dodecahedron graph $G(10,2)$, occurring as the graph $40$ in the Foster census of connected symmetric trivalent graphs.

In this paper we revisit coronoids, in particular multiple coronoids. We consider a mathematical formalisation of the theory of coronoid hydrocarbons that is solely based on incidence between hexagons of the infinite hexagonal grid in the plane. In parallel, we consider perforated patches, which generalise coronoids: in addition to hexagons, other polygons may also be present. Just as coronoids may be considered as benzenoids with holes, perforated patches are patches with holes. Both cases, coronoids and perforated patches, admit a generalisation of the altan operation that can be performed at several holes simultaneously. A formula for the number of Kekulé structures of a generalised altan can be derived easily if the number of Kekulé structures is known for the original graph. Pauling Bond Orders for generalised altans are also easy to derive from those of the original graph.

We give a necessary and sufficient condition for a cubic graph to be Hamiltonian by analyzing Eulerian tours in certain spanning subgraphs of the quartic graph associated with the cubic graph by 1-factor contraction. This correspondence is most useful in the case when it induces a blue and red 2-factorization of the associated quartic graph. We use this condition to characterize the Hamiltonian I-graphs, a further generalization of generalized Petersen graphs. The characterization of Hamiltonian I-graphs follows from the fact that one can choose a 1-factor in any I-graph in such a way that the corresponding associated quartic graph is a graph bundle having a cycle graph as base graph and a fiber and the fundamental factorization of graph bundles playing the role of blue and red factorization. The techniques that we develop allow us to represent Cayley multigraphs of degree 4, that are associated to abelian groups, as graph bundles. Moreover, we can find a family of connected cubic (multi)graphs that contains the family of connected I-graphs as a subfamily.

Let $X$ be a finite vertex-transitive graph of valency $d$, and let $A$ be the full automorphism group of $X$. Then the arc-type of $X$ is defined in terms of the sizes of the orbits of the action of the stabiliser $A_v$ of a given vertex $v$ on the set of arcs incident with $v$. Specifically, the arc-type is the partition of $d$ as the sum $$n_1 + n_2 + \dots + n_t + (m_1 + m_1) + (m_2 + m_2) + \dots + (m_s + m_s),$$ where $n_1, n_2, \dots, n_t$ are the sizes of the self-paired orbits, and $m_1,m_1, m_2,m_2, \dots, m_s,m_s$ are the sizes of the non-self-paired orbits, in descending order. In this paper, we find the arc-types of several families of graphs. Also we show that the arc-type of a Cartesian product of two `relatively prime' graphs is the natural sum of their arc-types. Then using these observations, we show that with the exception of $1+1$ and $(1+1)$, every partition as defined above is realisable, in the sense that there exists at least one graph with the given partition as its arc-type.

For a finite group $G$ and subset $S$ of $G,$ the Haar graph $H(G,S)$ is a bipartite regular graph, defined as a regular $G$-cover of a dipole with $|S|$ parallel arcs labelled by elements of $S$. If $G$ is an abelian group, then $H(G,S)$ is well-known to be a Cayley graph; however, there are examples of non-abelian groups $G$ and subsets $S$ when this is not the case. In this paper we address the problem of classifying finite non-abelian groups $G$ with the property that every Haar graph $H(G,S)$ is a Cayley graph. An equivalent condition for $H(G,S)$ to be a Cayley graph of a group containing $G$ is derived in terms of $G, S$ and $\mathrm{Aut }G$. It is also shown that the dihedral groups, which are solutions to the above problem, are $\mathbb{Z}_2^2,D_3,D_4$ and $D_{5}$.

Recently a class of molecular graphs, called altans, became a focus of attention of several theoretical chemists and mathematicians. In this paper we study primary iterated altans and show, among other things, their connections with nanotubes and nanocaps. The question of classification of bipartite altans is also addressed. Using the results of Gutman we are able to enumerate Kekulé structures of several nanocaps of arbitrary length.

It is well known that not every combinatorial configuration admits a geometric realization with points and lines. Moreover, some of them do not even admit realizations with pseudoline arrangements, i.e., they are not topological. In this paper we provide a new topological representation by using and essentially generalizing the topological representation of oriented matroids in rank 3. These representations can also be interpreted as curve arrangements on surfaces. In particular, we generalize the notion of a pseudoline arrangement to the notion of a quasiline arrangement by relaxing the condition that two pseudolines meet exactly once and show that every combinatorial configuration can be realized as a quasiline arrangement in the real projective plane. We also generalize well-known tools from pseudoline arrangements such as sweeps or wiring diagrams. A quasiline arrangement with selected vertices belonging to the configuration can be viewed as a map on a closed surface. Such a map can be used to distinguish between two "distinct" realizations of a combinatorial configuration as a quasiline arrangement.

A novel self-assembly strategy for polypeptide nanostructure design was presented in [Design of a single-chain polypeptide tetrahedron assembled from coiled-coil segments, Nature Chemical Biology 9 (2013) 362--366]. The first mathematical model (polypeptide nanostructure can naturally be presented as a skeleton graph of a polyhedron) from [Stable traces as a model for self-assembly of polypeptide nanoscale polyhedrons, MATCH Commun. Math. Comput. Chem. 70 (2013) 317-330] introduced stable traces as the appropriate mathematical description, yet we find them deficient in modeling graphs with either very small (less or equal to 2) or large (greater or equal to 6) degree vertices. We introduce strong traces which remedy both of the above mentioned drawbacks. We show that every connected graph admits a strong trace by studying a connection between strong traces and graph embeddings. Further we also characterize graphs which admit parallel (resp. antiparallel) strong traces.

A $k$-orbit map is a map with its automorphism group partitioning the set of flags into $k$ orbits. Recently $k$-orbit maps were studied by Orbani\' c, Pellicer and Weiss, for $k \leq 4$. In this paper we use symmetry type graphs to extend such study and classify all the types of $5$-orbit maps, as well as all self-dual, properly and improperly, symmetry type of $k$-orbit maps with $k\leq 7$. Moreover, we determine, for small values of $k$, all types of $k$-orbits maps that are medial maps. Self-dualities constitute an important tool in this quest.

A configuration of points and lines is cyclic if it has an automorphism which permutes its points in a full cycle. A closed formula is derived for the number of non-isomorphic connected cyclic configurations of type (v_3), i.e., which have v points and lines, and each point/line is incident with exactly 3 lines/points. In addition, a Bays-Lambossy type theorem is proved for cyclic configurations if the number of points is a product of two primes or a prime power.

We revisit the configuration of Danzer DCD(4), a great inspiration for our work. This configuration of type (35_4) falls into an infinite series of geometric point-line configurations DCD(n). Each DCD(n) is characterized combinatorially by having the Kronecker cover over the Odd graph $O_n$ as its Levi graph. Danzer's configuration is deeply rooted in Pascal's Hexagrammum Mysticum. Although the combinatorial configuration is highly symmetric, we conjecture that there are no geometric point-line realizations with 7- or 5-fold rotational symmetry; on the other hand, we found a point-circle realization having the symmetry group $D_7$, the dihedral group of order 14.

The class of generalized Petersen graphs was introduced by Coxeter in the 1950s. Frucht, Graver and Watkins determined the automorphism groups of generalized Petersen graphs in 1971, and much later, Nedela and Škoviera and (independently) Lovrečič-Saražin characterised those which are Cayley graphs. In this paper we extend the class of generalized Petersen graphs to a class of GI-graphs. For any positive integer n and any sequence j_0,j_1,....,j_{t-1} of integers mod n, the GI-graph GI(n;j_0,j_1,....,j_{t-1}) is a (t+1)-valent graph on the vertex set Z_t x Z_n, with edges of two kinds: - an edge from (s,v) to (s',v), for all distinct s,s' in Z_t and all v in Z_n, - edges from (s,v) to (s,v+j_s) and (s,v-j_s), for all s in Z_t and v in Z_n. By classifying different kinds of automorphisms, we describe the automorphism group of each GI-graph, and determine which GI-graphs are vertex-transitive and which are Cayley graphs. A GI-graph can be edge-transitive only when t < 4 or equivalently, for valence at most 4. We present a unit-distance drawing of a remarkable GI(7;1,2,3).

We call a polytope P of dimension 3 admissible if it has the following two properties: (1) for each vertex of P the set of its first-neighbours is coplanar; (2) all planes determined by the first-neighbours are distinct. It is shown that the Levi graph of a point-plane configuration obtained by V-construction from an admissible polytope P is the Kronecker cover of its 1-skeleton. We investigate the combinatorial nature of the V-construction and use it on unit-distance graphs to construct novel isometric point-circle configurations. In particular, we present an infinite series whose all members are subconfigurations of the renowned Clifford configurations.

Unlike the situation in the classical theory of convex polytopes, there is a wealth of semi-regular abstract polytopes, including interesting examples exhibiting some unexpected phenomena. We prove that even an equifacetted semi-regular abstract polytope can have an arbitrary large number of flag orbits or face orbits under its combinatorial automorphism group.