Six signed Petersen graphs, and their automorphisms

Up to switching isomorphism there are six ways to put signs on the edges of the Petersen graph. We prove this by computing switching invariants, especially frustration indices and frustration numbers, switching automorphism groups, chromatic numbers, and numbers of proper 1-colorations, thereby illustrating some of the ideas and methods of signed graph theory. We also calculate automorphism groups and clusterability indices, which are not invariant under switching. In the process we develop new properties of signed graphs, especially of their switching automorphism groups.Comment: 39 pp., 7 fi

Flows on Signed Graphs

This dissertation focuses on integer flow problems within specific signed graphs. The theory of integer flows, which serves as a dual problem to vertex coloring of planar graphs, was initially introduced by Tutte as a tool related to the Four-Color Theorem. This theory has been extended to signed graphs. In 1983, Bouchet proposed a conjecture asserting that every flow-admissible signed graph admits a nowhere-zero 6-flow. To narrow dawn the focus, we investigate cubic signed graphs in Chapter 2. We prove that every flow-admissible 3-edge-colorable cubic signed graph admits a nowhere-zero 10-flow. This together with the 4-color theorem implies that every flow-admissible bridgeless planar signed graph admits a nowhere-zero 10-flow. As a byproduct of this research, we also demonstrate that every flow-admissible hamiltonian signed graph can admit a nowhere-zero 8-flow. In Chapter 3, we delve into triangularly connected signed graphs. Here, A triangle-path in a graph G is defined as a sequence of distinct triangles $T_1,T_2,\ldots,T_m$ in G such that for any i, j with $1\leq i \u3c j \leq m$, $|E(T_i)\cap E(T_{i+1})|=1$ and $E(T_i)\cap E(T_j)=\emptyset$ if $j \u3e i+1$. We categorize a connected graph $G$ as triangularly connected if it can be demonstrated that for any two nonparallel edges $e$ and $e\u27$, there exists a triangle-path $T_1T_2\cdots T_m$ such that $e\in E(T_1)$ and $e\u27\in E(T_m)$. For ordinary graphs, Fan {\it et al.} characterized all triangularly connected graphs that admit nowhere-zero $3$-flows or $4$-flows. Corollaries of this result extended to integer flow in certain families of ordinary graphs, such as locally connected graphs due to Lai and certain types of products of graphs due to Imrich et al. In this dissertation, we extend Fan\u27s result for triangularly connected graphs to signed graphs. We proved that a flow-admissible triangularly connected signed graph $(G,\sigma)$ admits a nowhere-zero $4$-flow if and only if $(G,\sigma)$ is not the wheel $W_5$ associated with a specific signature. Moreover, this result is proven to be sharp since we identify infinitely many unbalanced triangularly connected signed graphs that can admit a nowhere-zero 4-flow but not 3-flow.\\ Chapter 4 investigates integer flow problems within $K_4$-minor free signed graphs. A minor of a graph $G$ refers to any graph that can be derived from $G$ through a series of vertex and edge deletions and edge contractions. A graph is considered $K_4$-minor free if $K_4$ is not a minor of $G$. While Bouchet\u27s conjecture is known to be tight for some signed graphs with a flow number of 6. Kompi\v{s}ov\\u27{a} and M\\u27{a}\v{c}ajov\\u27{a} extended those signed graph with a specific signature to a family \M, and they also put forward a conjecture that suggests if a flow-admissible signed graph does not admit a nowhere-zero 5-flow, then it belongs to \M. In this dissertation, we delve into the members in \M that are $K_4$-minor free, designating this subfamily as $\N$. We provide a proof demonstrating that every flow-admissible, $K_4$-minor free signed graph admits a nowhere-zero 5-flow if and only if it does not belong to the specified family $\N$

Moduli space actions on the Hochschild Co-Chains of a Frobenius algebra I: Cell Operads

This is the first of two papers in which we prove that a cell model of the moduli space of curves with marked points and tangent vectors at the marked points acts on the Hochschild co--chains of a Frobenius algebra. We also prove that a there is dg--PROP action of a version of Sullivan Chord diagrams which acts on the normalized Hochschild co-chains of a Frobenius algebra. These actions lift to operadic correlation functions on the co--cycles. In particular, the PROP action gives an action on the homology of a loop space of a compact simply--connected manifold. In this first part, we set up the topological operads/PROPs and their cell models. The main theorems of this part are that there is a cell model operad for the moduli space of genus $g$ curves with $n$ punctures and a tangent vector at each of these punctures and that there exists a CW complex whose chains are isomorphic to a certain type of Sullivan Chord diagrams and that they form a PROP. Furthermore there exist weak versions of these structures on the topological level which all lie inside an all encompassing cyclic (rational) operad.Comment: 50 pages, 7 figures. Newer version has minor changes. Some material shifted. Typos and small things correcte

Flows on Bidirected Graphs

The study of nowhere-zero flows began with a key observation of Tutte that in planar graphs, nowhere-zero k-flows are dual to k-colourings (in the form of k-tensions). Tutte conjectured that every graph without a cut-edge has a nowhere-zero 5-flow. Seymour proved that every such graph has a nowhere-zero 6-flow. For a graph embedded in an orientable surface of higher genus, flows are not dual to colourings, but to local-tensions. By Seymour's theorem, every graph on an orientable surface without the obvious obstruction has a nowhere-zero 6-local-tension. Bouchet conjectured that the same should hold true on non-orientable surfaces. Equivalently, Bouchet conjectured that every bidirected graph with a nowhere-zero $\mathbb{Z}$-flow has a nowhere-zero 6-flow. Our main result establishes that every such graph has a nowhere-zero 12-flow.Comment: 24 pages, 2 figure

A classification of all 1-Salem graphs

Abstract. One way to study certain classes of polynomials is by considering examples that are attached to combinatorial objects. Any graph G has an asso-ciated reciprocal polynomial RG, and with two particular classes of reciprocal polynomials in mind one can ask the questions: (a) when is RG a product of cy-clotomic polynomials (giving the cyclotomic graphs)? (b) when does RG have the minimal polynomial of a Salem number as its only non-cyclotomic factor (the non-trival Salem graphs)? Cyclotomic graphs were classified by Smith in 1970; the maximal connected ones are known as Smith graphs. Salem graphs are ‘spectrally close ’ to being cyclotomic, in that nearly all their eigenvalues are in the critical interval [−2, 2]. On the other hand Salem graphs do not need to be ‘combinatorially close ’ to being cyclotomic: the largest cyclotomic induced subgraph might be comparatively tiny. We define an m-Salem graph to be a connected Salem graph G for which m is minimal such that there exists an induced cyclotomic subgraph of G that has m fewer vertices than G. The 1-Salem subgraphs are both spectrally close and combinatorially close to being cyclotomic. Moreover, every Salem graph contains a 1-Salem graph as an induced subgraph, so these 1-Salem graphs provide some necessary substructure of all Salem graphs. The main result of this paper is a complete combinatorial description of all 1-Salem graphs: in the non-bipartite case there are 25 infinite families and 383 sporadic examples

Embedding Stacked Polytopes on a Polynomial-Size Grid

We show how to realize a stacked 3D polytope (formed by repeatedly stacking a tetrahedron onto a triangular face) by a strictly convex embedding with its n vertices on an integer grid of size O(n4) x O(n4) x O(n18). We use a perturbation technique to construct an integral 2D embedding that lifts to a small 3D polytope, all in linear time. This result solves a question posed by G unter M. Ziegler, and is the rst nontrivial subexponential upper bound on the long-standing open question of the grid size necessary to embed arbitrary convex polyhedra, that is, about effcient versions of Steinitz's 1916 theorem. An immediate consequence of our result is that O(log n)-bit coordinates suffice for a greedy routing strategy in planar 3-trees.Deutsche Forschungsgemeinschaft (DFG) (Grant No. SCHU 2458/1-1