arXiv++ Combinatorics

Suppose that D is an acyclic orientation of a graph G. An arc of D is called dependent if its reversal creates a directed cycle. Let m and M denote the minimum and the maximum of the number of dependent arcs over all acyclic orientations of G. We call G fully orientable if G has an acyclic orientation with exactly d dependent arcs for every d satisfying m <= d <= M. A graph G is called chordal if every cycle in G of length at least four has a chord. We show that all chordal graphs are fully orientable.

Let D be an acyclic orientation of a simple graph G. An arc of D is called dependent if its reversal creates a directed cycle. Let d(D) denote the number of dependent arcs in D. Define m and M to be the minimum and the maximum number of d(D) over all acyclic orientations D of G. We call G fully orientable if G has an acyclic orientation with exactly k dependent arcs for every k satisfying m <= k <= M. In this paper, we prove that the square of a cycle C_n of length n is fully orientable except n=6.

Multiple-choice load balancing has been a topic of intense study since the seminal paper of Azar, Broder, Karlin, and Upfal. Questions in this area can be phrased in terms of orientations of a graph, or more generally a k-uniform random hypergraph. A (d,b)-orientation is an assignment of each edge to d of its vertices, such that no vertex has more than b edges assigned to it. Conditions for the existence of such orientations have been completely documented except for the "extreme" case of (k-1,1)-orientations. We consider this remaining case, and establish: - The density threshold below which an orientation exists with high probability, and above which it does not exist with high probability. - An algorithm for finding an orientation that runs in linear time with high probability, with explicit polynomial bounds on the failure probability. Previously, the only known algorithms for constructing (k-1,1)-orientations worked for k<=3, and were only shown to have expected linear running time.

A Schnyder wood is an orientation and coloring of the edges of a planar map satisfying a simple local property. We propose a generalization of Schnyder woods to graphs embedded on the torus with application to graph drawing. We prove several properties on this new object. Among all we prove that a graph embedded on the torus admits such a Schnyder wood if and only if it is an essentially 3-connected toroidal map. We show that these Schnyder woods can be used to embed the universal cover of an essentially 3-connected toroidal map on an infinite and periodic orthogonal surface. Finally we use this embedding to obtain a straight-line flat torus representation of any toroidal map in a polynomial size grid.

In 2003, it was claimed that the following problem was solvable in polynomial time: do there exist k edge-disjoint paths of length exactly 3 between vertices s and t in a given graph? The proof was flawed, and we show that this problem is NP-hard even if we disallow multiple edges. We use a reduction from Partial Orientation, a problem recently shown by Pálvölgyi to be NP-hard.

A h-uniform hypergraph H=(V,E) is called (l,k)-orientable if there exists an assignment of each hyperedge e to exactly l of its vertices such that no vertex is assigned more than k hyperedges. Let H_{n,m,h} be a hypergraph, drawn uniformly at random from the set of all h-uniform hypergraphs with n vertices and m edges. In this paper, we determine the threshold of the existence of a (l,k)-orientation of H_{n,m,h} for k>=1 and h>l>=1, extending recent results motivated by applications such as cuckoo hashing or load balancing with guaranteed maximum load. Our proof combines the local weak convergence of sparse graphs and a careful analysis of a Gibbs measure on spanning subgraphs with degree constraints. It allows us to deal with a much broader class than the uniform hypergraphs.

We prove that every (6k + 2l, 2k)-connected simple graph contains k rigid and l connected edge-disjoint spanning subgraphs. This implies a theorem of Jackson and Jordán [4] and a theorem of Jordán [6] on packing of rigid spanning subgraphs. Both these results are generalizations of the classical result of Lovász and Yemini [9] saying that every 6-connected graph is rigid for which our approach provides a transparent proof. Our result also gives two improved upper bounds on the connectivity of graphs that have interesting properties: (1) every 8-connected graph packs a spanning tree and a 2-connected spanning subgraph; (2) every 14-connected graph has a 2-connected orientation.

It is known that the Pak-Stanley labeling of the Shi hyperplane arrangement provides a bijection between the regions of the arrangement and parking functions. For any graph G, we define the G-semiorder arrangement and show that the Pak-Stanley labeling of its regions produces all G-parking functions.

The family $D(k,m)$ of graphs having an orientation such that for every vertex $v \in V(G)$ either (outdegree) $°^+(v) \le k$ or (indegree) $°^-(v) \le m$ have been investigated recently in several papers because of the role $D(k,m)$ plays in the efforts to estimate the maximum directed cut in digraphs and the minimum cover of digraphs by directed cuts. Results concerning the chromatic number of graphs in the family $D(k,m)$ have been obtained via the notion of $d$-degeneracy of graphs. In this paper we consider a far reaching generalization of the family $D(k,m)$, in a complementary form, into the context of $r$-uniform hypergraphs, using a generalization of Hakimi's theorem to $r$-uniform hypergraphs and by showing some tight connections with the well known Ramsey numbers for hypergraphs.

The graph realization problem has received a great deal of attention in recent years, due to its importance in applications such as wireless sensor networks and structural biology. In this paper, we extend on previous work and propose the 3D-ASAP algorithm, for the graph realization problem in $\mathbb{R}^3$, given a sparse and noisy set of distance measurements. 3D-ASAP is a divide and conquer, non-incremental and non-iterative algorithm, which integrates local distance information into a global structure determination. Our approach starts with identifying, for every node, a subgraph of its 1-hop neighborhood graph, which can be accurately embedded in its own coordinate system. In the noise-free case, the computed coordinates of the sensors in each patch must agree with their global positioning up to some unknown rigid motion, that is, up to translation, rotation and possibly reflection. In other words, to every patch there corresponds an element of the Euclidean group Euc(3) of rigid transformations in $\mathbb{R}^3$, and the goal is to estimate the group elements that will properly align all the patches in a globally consistent way. Furthermore, 3D-ASAP successfully incorporates information specific to the molecule problem in structural biology, in particular information on known substructures and their orientation. In addition, we also propose 3D-SP-ASAP, a faster version of 3D-ASAP, which uses a spectral partitioning algorithm as a preprocessing step for dividing the initial graph into smaller subgraphs. Our extensive numerical simulations show that 3D-ASAP and 3D-SP-ASAP are very robust to high levels of noise in the measured distances and to sparse connectivity in the measurement graph, and compare favorably to similar state-of-the art localization algorithms.

Motivated by the theory of cluster algebras, F. Chapoton, S. Fomin and A. Zelevinsky associated to each finite type root system a simple convex polytope called \emph{generalized associahedron}. They provided an explicit realization of this polytope associated with a bipartite orientation of the corresponding Dynkin diagram. In the first part of this paper, using the parametrization of cluster variables by their $g$-vectors explicitly computed by S.-W. Yang and A. Zelevinsky, we generalize the original construction to any orientation. In the second part we show that our construction agrees with the one given by C. Hohlweg, C. Lange, and H. Thomas in the setup of Cambrian fans developed by N. Reading and D. Speyer.

A \emph{Golomb ruler} is a sequence of distinct integers (the \emph{markings} of the ruler) whose pairwise differences are distinct. Golomb rulers can be traced back to additive number theory in the 1930s and have attracted recent research activities on existence problems, such as the search for \emph{optimal} Golomb rulers (those of minimal length given a fixed number of markings). Our goal is to enumerate Golomb rulers in a systematic way: we study [g_m(t) := # {\x \in \Z^{m+1} : \, 0 = x_0 < x_1 < ... < x_{m-1} < x_m = t, \text{all} x_j - x_k \text{distinct}},] the number of Golomb rulers with $m+1$ markings and length $t$. Our main result is that $g_m(t)$ is a quasipolynomial in $t$ which satisfies a combinatorial reciprocity theorem: $(-1)^{m-1} g_m(-t)$ equals the number of rulers $\x$ of length $t$ with $m+1$ markings, each counted with its \emph{Golomb multiplicity}, which measures how many combinatorially different Golomb rulers are in a small neighborhood of $\x$. Our reciprocity theorem can be interpreted in terms of certain mixed graphs associated to Golomb rulers; in this language, it is reminiscent of Stanley's reciprocity theorem for chromatic polynomials. Thus in the second part of the paper we develop an analogue of Stanley's theorem to mixed graphs, which connects their chromatic polynomials to acyclic orientations.

A complex unit gain graph is a graph where each orientation of an edge is given a complex unit, which is the inverse of the complex unit assigned to the opposite orientation. We extend some fundamental concepts from spectral graph theory to complex unit gain graphs. We define the adjacency, incidence and Laplacian matrices, and study each of them. The main results of the paper are eigenvalue bounds for the adjacency and Laplacian matrices.

A polytopal digraph $G(P)$ is an orientation of the skeleton of a convex polytope $P$. The possible non-degenerate pivot operations of the simplex method in solving a linear program over $P$ can be represented as a special polytopal digraph known as an LP digraph. Presently there is no general characterization of which polytopal digraphs are LP digraphs, although four necessary properties are known: acyclicity, unique sink orientation(USO), the Holt-Klee property and the shelling property. The shelling property was introduced by Avis and Moriyama (2009), where two examples are given in $d=4$ dimensions of polytopal digraphs satisfying the first three properties but not the shelling property. The smaller of these examples has $n=7$ vertices. Avis, Miyata and Moriyama(2009) constructed for each $d \ge 4$ and $n \ge d+2$, a $d$-polytope $P$ with $n$ vertices which has a polytopal digraph which is an acyclic USO that satisfies the Holt-Klee property, but does not satisfy the shelling property. The construction was based on a minimal such example, which has $d=4$ and $n=6$. In this paper we explore the shelling condition further. First we give an apparently stronger definition of the shelling property, which we then prove is equivalent to the original definition. Using this stronger condition we are able to give a more general construction of such families. In particular, we show that given any 4-dimensional polytope $P$ with $n_0$ vertices whose unique sink is simple, we can extend $P$ for any $d \ge 4$ and $n \ge n_0 + d-4$ to a $d$-polytope with these properties that has $n$ vertices. Finally we investigate the strength of the shelling condition for $d$-crosspolytopes, for which Develin (2004) has given a complete characterization of LP orientations.

We consider the class of simple graphs with large algebraic connectivity (the second-smallest eigenvalue of the Laplacian matrix). For this class of graphs we determine the asymptotic behavior of the number of Eulerian orientations. In addition, we establish some new properties of the Laplacian matrix, as well as an estimate of a conditionality of matrices with the asymptotic diagonal predominance

This paper investigates given an assembly graph, find the possible micronuclear sequences in terms of MDSs and IESs; which represent Hamiltonian polygonal paths. We will consider the orientations of the assembly graph and Hamiltonian polygonal path. To obtain a micronuclear sequence of this path, we will compare orientation of the Hamiltonian polygonal path with respect to the orientation of the assembly graph. We concentrate on two assembly graphs with two 4-valent vertices. These Hamiltonian polygonal paths influence the type of smoothings performed. There are two types of smoothings parallel and non-parallel smoothing. We consider a micronuclear sequence after one smoothing of a vertex.

In 1978, Chvátal and Thomassen showed that every bridgeless graph with diameter 2 has an orientation with diameter at most 6. They also gave general bounds on the smallest value $f(d)$ such that every bridgeless graph $G$ with diameter $d$ has an orientation with diameter at most $f(d)$. For $d=3$, they proved that $8\leq f(d)\leq 24$. Until recently, Kwok, Liu and West improved the above bounds by proving $9\leq f(3)\leq 11$ in [P.K. Kwok, Q. Liu and D.B. West, Oriented diameter of graphs with diameter 3, J. Combin. Theory Ser.B 100(2010), 265-274]. In this paper, we determine the oriented diameter among the bridgeless graphs with diameter 3 that have minimum number of edges.

We study biased {\em orientation games}, in which the board is the complete graph $K_n$, and Maker and Breaker take turns in directing previously undirected edges of $K_n$. At the end of the game, the obtained graph is a tournament. Maker wins if the tournament has some property $\mathcal P$ and Breaker wins otherwise. We provide bounds on the bias that is required for a Maker's win and for a Breaker's win in three different games. In the first game Maker wins if the obtained tournament has a cycle. The second game is Hamiltonicity, where Maker wins if the obtained tournament contains a Hamilton cycle. Finally, we consider the $H$-creation game, where Maker wins if the obtained tournament has a copy of some fixed graph $H$.

We introduce a modular (integral) complementary polynomial $κ(G;x,y)$ ($κ_{\mathbbm z}(G;x,y)$) of two variables of a graph $G$ by counting the number of modular (integral) complementary tension-flows (CTF) of $G$ with an orientation $ε$. We study these polynomials by further introducing a cut-Eulerian equivalence relation on orientations and geometric structures such as the complementary open lattice polyhedron $Δ_\textsc{ctf}(G,ε)$, the complementary open 0-1 polytope $Δ^+_\textsc{ctf}(G,ε)$, and the complementary open lattice polytopes $Δ^ρ_\textsc{ctf}(G,ε)$ with respect to orientations $ρ$. The polynomial $κ(G;x,y)$ ($κ_{\mathbbm z}(G;x,y)$) is a common generalization of the modular (integral) tension polynomial $τ(G,x)$ ($τ_\mathbbm{z}(G,x)$) and the modular (integral) flow polynomial $φ(G,y)$ ($φ_\mathbbm{z}(G,y)$), and can be decomposed into a sum of product Ehrhart polynomials of complementary open 0-1 polytopes $Δ^+_\textsc{ctf}(G,ρ)$. There are dual complementary polynomials $\barκ(G;x,y)$ and $\barκ_{\mathbbm z}(G;x,y)$, dual to $κ$ and $κ_{\mathbbm z}$ respectively, in the sense that the lattice-point counting to the Ehrhart polynomials is taken inside a topological sum of the dilated closed polytopes $\barΔ^+_\textsc{ctf}(G,ρ)$. It turns out that the polynomial $\barκ(G;x,y)$ is Whitney's rank generating polynomial $R_G(x,y)$, which gives rise to a combinatorial interpretation on the values of the Tutte polynomial $T_G(x,y)$ at positive integers. In particular, some special values of $κ_\mathbbm{z}$ and $\barκ_\mathbbm{z}$ ($κ$ and $\barκ$) count the number of certain special kinds (of equivalence classes) of orientations.

We study modular and integral flow polynomials of graphs by means of subgroup arrangements and lattice polytopes. We introduce an Eulerian equivalence relation on orientations, flow arrangements, and flow polytopes; and we apply the theory of Ehrhart polynomials to obtain properties of modular and integral flow polynomials. The emphasis is on the geometrical treatment through subgroup arrangements and Ehrhart polynomials. Such viewpoint leads to a reciprocity law for the modular flow polynomial, which gives rise to an interpretation on the values of the modular flow polynomial at negative integers, and answers a question by Beck and Zaslavsky.