arXiv++ Combinatorics

We develop a combinatorial rigidity theory for symmetric bar-joint frameworks in a general finite dimensional normed space. In the case of rotational symmetry, matroidal Maxwell-type sparsity counts are identified for a large class of $d$-dimensional normed spaces (including all $\ell^p$ spaces with $p\not=2$). Complete combinatorial characterisations are obtained for half-turn rotation in the $\ell^1$ and $\ell^\infty$-plane. As a key tool, a new Henneberg-type inductive construction is developed for the matroidal class of $(2,2,0)$-gain-tight graphs.

In 1976, Loupekine introduced (via Isaacs) a very general way of constructing new snarks from old snarks by cyclically connecting multipoles constructed from smaller snarks. In this paper, we generalize Loupekine's construction to produce a variety of snarks which can be drawn with $m$-fold rotational symmetry for $m\geq 3$ (and often, $m$ odd), constructed as $\mathbb{Z}_{m}$ lifts of \emph{voltage graphs} with certain properties; we call these snarks \emph{cyclic pseudo-Loupekine snarks}. In particular, we discuss three infinite families of snarks which can be drawn with $\mathbb{Z}_{m}$ rotational symmetry whose smallest element is constructed from 3 snarks with 3-fold rotational symmetry on 28 vertices; one family has the property that the oddness of the family increases with $m$. We also develop a new infinite family of snarks, of order $12m$ for each odd $m\geq 3$, which can be drawn with $m$-fold rotational symmetry and which are constructed beginning with a 3-edge-colorable graph, instead of a snark.

A (k, g) graph is a graph with regular degree k and girth g. The cage problem refers to finding the smallest (k, g) graph. The (3, 14) cage problem is known to be unresolved. In 2002, Exoo found a (3, 14) record graph with order 384. The trivalent cage problem is restricted in this paper to the Hamiltonian bipartite class of trivalent graphs. A parameter called symmetry factor for representing rotational symmetry is introduced in this paper. The general problem of finding a (3, g) Hamiltonian bipartite graph of minimum order is further decomposed into a set of sub-problems for finding (3, g) Hamiltonian bipartite graphs of minimum order for various symmetry factors. The minimum order for (3, g) Hamiltonian bipartite graphs for various symmetry factors has been found using computer search. This information about sub-problems also yields useful information about non-existence of (3, 14) Hamiltonian bipartite graphs between the (3, 14) lower bound, 258 and the (3, 14) upper bound, 384. This non-existence information partially supports the likelihood of the current (3, 14) record graph indeed being the (3, 14) cage.

In this paper a closed form expression for the number of tilings of an $n\times n$ square border with $1\times 1$ and $2\times1$ cuisenaire rods is proved using a transition matrix approach. This problem is then generalised to $m\times n$ rectangular borders. The number of distinct tilings up to rotational symmetry is considered, and closed form expressions are given, in the case of a square border and in the case of a rectangular border. Finally, the number of distinct tilings up to dihedral symmetry is considered, and a closed form expression is given in the case of a square border.

A catalog of a class of (3,g) graphs for even girth g is introduced in this paper. A (k,g) graph is a regular graph with degree k and girth g. This catalog of (3,g) graphs for even girth g satisfying 6 <= g <= 16, has the following properties. Firstly, this catalog contains the smallest known (3, g) graphs. An appropriate class of cubic graphs for this catalog has been identified, such that the (3,g) graph of minimum order within the class is also the smallest known (3,g) graph. Secondly, this catalog contains (3,g) graphs for more orders than other listings. Thirdly, the class of graphs have been defined so that a practical algorithm to generate graphs can be created. Fourthly, this catalog is infinite, since the results are extended into knowledge about infinitely many graphs. The findings are as follows. Firstly, Hamiltonian bipartite graphs have been identified as a promising class of cubic graphs that can lead to a catalog of (3,g) graphs for even girth g with graphs for more orders than other listings, that is also expected to contain a (3,g) graph with minimum order. Secondly, this catalog of (3,g) graphs contains many non-vertex-transitive graphs. Thirdly, in order to make the computation more tractable, and at the same time, to enable deeper analysis on the results, symmetry factor has been introduced as a measure of the extent of rotational symmetry along the identified Hamiltonian cycle. The D3 chord index notation is introduced as a concise notation for cubic Hamiltonian bipartite graphs. The D3 chord index notation is twice as compact as the LCF notation. The D3 chord index notation can specify an infinite family of graphs. Fourthly, results on the minimum order for existence of a (3,g) Hamiltonian bipartite graph, and minimum value of symmetry factor for existence of a (3,g) Hamiltonian bipartite graph are of wider interest.

The focus of this paper is on discussion of a catalog of a class of (3, g) graphs for even girth g. A (k, g) graph is a graph with regular degree k and girth g. This catalog is compared with other known lists of (3, g) graphs such as the enumerations of trivalent symmetric graphs and enumerations of trivalent vertex-transitive graphs, to conclude that this catalog has graphs for more orders than these lists. This catalag also specifies a list of orders, rotational symmetry and girth for which the class of (3, g) graphs do not exist. It is also shown that this catalog of graphs extends infinitely.

Many applications in network science have recently been discovered for the "curvature" of a network, but there is no consensus on the definition for this term. A common approach in these applications is to derive from the curvature either a "logical center" of the network or a tree representation of the network (these would only exist when the curvature is negative), but that such structures can be extracted using curvature alone remains largely conjectural. A connection between one type of curvature -- Gromov's hyperbolicity -- and a tree representation has been known for decades, and recently it has also been connected for unweighted graphs to a logical center. We extend the connection between Gromov's hyperbolicity and a logical center to weighted graphs, and we construct counterexamples showing that no other proposed definition for curvature implies the existence of a logical center. We also consider the leading methods to construct a tree representation of the network and the leading methods to measure the quality of the representation, and show that, despite wildly different descriptions, they are asymptotically equivalent. These results resolve several conjectures, including a conjecture of Dourisboure and Gavoille on a $2$-approximation method for calculating tree-length and all of the conjectures from Jonckheere, Lou, Bonahon, and Baryshnikov relating congestion to rotational symmetry.

In contrast to many known results concerning periodic tilings of the Euclidean plane with pentagons, here tilings with rotational symmetry are investigated. A certain class of convex pentagons is introduced. It can be shown that for any given symmetry type $\mathbf{C}_{n}$ or $\mathbf{D}_{n}$ there exists a monohedral tiling generated by a pentagon from this class. For $n>1$ each of these tilings is also a spiral tiling with $n$ arms. As a byproduct it follows that the same holds for convex hexagons.

We describe a computer algorithm that searches for substitution rules on a set of triangles, the angles of which are all integer multiples of π/n. We find new substitution rules admitting 7-fold rotational symmetry at many different inflation factors.

The enumeration of Hamiltonian cycles on 2n*2n grids of nodes is a longstanding problem in combinatorics. Previous work has concentrated on counting all cycles. The current work enumerates nonisomorphic cycles -- that is, the number of isomorphism classes (up to all symmetry operations of the square). It is shown that the matrix method used previously can be modified to count cycles with all combinations of reflective and 180-degree rotational symmetry. Cycles with 90-degree rotational symmetry were counted by a direct search, using a modification of Knuth's Dancing Links algorithm. From these counts, the numbers of nonisomorphic cycles were calculated for n<=10.

Symmetries of geometric structures such as hyperplane arrangements, point configurations and polytopes have been studied extensively for a long time. However, symmetries of oriented matroids, a common combinatorial abstraction of them, are not understood well. In this paper, we aim to obtain a better understanding of symmetries of oriented matroids. First, we put focus on symmetries of matroids, and give a general construction that generates a $3$-dimensional point configuration with a matroidal symmetry that cannot be realized as a geometric symmetry. The construction is based on the observation that every non-trivial rotation in the $2$-dimensional Euclidean space has a unique fixed point but that there is no corresponding property for matroids. The construction suggests that the lack of the fixed point theorem generates a big gap between matroidal symmetries and geometric symmetries of point configurations. Motivated by this insight, we study fixed-point properties for symmetry groups of oriented matroids. For rotational symmetries of oriented matroids, we prove a useful property, which corresponds to the uniqueness of fixed points (in the rank $3$ case). Using it, we classify rotational and full symmetry groups of simple oriented matroids of rank $3$. In addition, we define fixed-point-admitting (FPA) property for subgroups of symmetry groups of oriented matroids, and make classification of rotational symmetry groups with FPA property of simple acyclic oriented matroids of rank $4$. We conjecture that the symmetry group of every acyclic simple oriented matroid has FPA property.

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.

Reiner, Stanton, and White \cite{RSWCSP} proved results regarding the enumeration of polygon dissections up to rotational symmetry. Eu and Fu \cite{EuFu} generalized these results to Cartan-Killing types other than A by means of actions of deformed Coxeter elements on cluster complexes of Fomin and Zelevinsky \cite{FZY}. The Reiner-Stanton-White and Eu-Fu results were proven using direct counting arguments. We give representation theoretic proofs of closely related results using the notion of noncrossing and semi-noncrossing tableaux due to Pylyavskyy \cite{PN} as well as some geometric realizations of finite type cluster algebras due to Fomin and Zelevinsky \cite{FZClusterII}.

Recent work has shown that if an isostatic bar and joint framework possesses non-trivial symmetries, then it must satisfy some very simply stated restrictions on the number of joints and bars that are `fixed' by various symmetry operations of the framework. For the group $C_3$ which describes 3-fold rotational symmetry in the plane, we verify the conjecture proposed in [4] that these restrictions on the number of fixed structural components, together with the Laman conditions, are also sufficient for a framework with $C_3$ symmetry to be isostatic, provided that its joints are positioned as generically as possible subject to the given symmetry constraints. In addition, we establish symmetric versions of Henneberg's Theorem and Crapo's Theorem for $C_3$ which provide alternate characterizations of `generically' isostatic graphs with $C_3$ symmetry. As shown in [19], our techniques can be extended to establish analogous results for the symmetry groups $C_2$ and $C_s$ which are generated by a half-turn and a reflection in the plane, respectively.

Fully packed loop models describe the statistics of closely packed nested polygons on the square lattice. Many exact results can be obtained for these models, even for finite geometries, using their close relationship to alternating-sign matrices and the solvable six-vertex and O(n=1) lattice models. Some results for the exact partition function of fully packed loop models on various finite geometries are briefly reviewed, as well as the well-known order-disorder bulk phase transition present in these models. A detailed study is presented of the distribution of boundary nests of polygons in fully packed loop models with mirror or rotational symmetry. The probability distribution function of such nests, as well as the average number of nests, are obtained analytically, albeit conjecturally. It is further shown that fully packed loop models undergo another phase transition as a function of the boundary nest fugacity. At criticality, we derive a scaling form for the nest distribution function which displays an unusual non-Gaussian cubic exponential behaviour.