graph
34934 papers tagged with this keyword
Harmonic vectors and matrix tree theorems
Published
• View Publication
• BIB
The paper describes an explicit combinatorial formula for a harmonic vector for the Laplacian of a directed graph with arbitrary edge weights. This result was motivated by questions from mathematical economics, and the formula plays a crucial role in forthcoming joint work of the author on the emergence of prices and money in an exchange economy.
It turns out that the formula is closely related to well-studied problems in graph theory, in particular to the so-called matrix tree theorem due to W. Tutte and independently to R. Bott and J. Mayberry. As a further application of our considerations, we obtain a short new proof of both the matrix tree theorem as well as its generalization due to S. Chaiken.
Arboreal Singularities
Published in Geom. Topol. 21 (2017) 1231-1274
• View Publication
• BIB
We introduce a class of combinatorial singularities of Lagrangian skeleta of symplectic manifolds. The link of each singularity is a finite regular cell complex homotopy equivalent to a bouquet of spheres. It is determined by its face poset which is naturally constructed starting from a tree (nonempty finite acyclic graph). The choice of a root vertex of the tree leads to a natural front projection of the singularity along with an orientation of the edges of the tree. Microlocal sheaves along the singularity, calculated via the front projection, are equivalent to modules over the quiver given by the directed tree.
An Alternate method to find the chromatic number of a Finite, Connected Graph
A new algorithm to obtain the chromatic number of a finite, connected graph is proposed in this paper. The algorithm is based on contraction of non adjacent vertices.
Shellable drawings and the cylindrical crossing number of $K_n$
The Harary-Hill Conjecture States that the number of crossings in any drawing of the complete graph $ K_n $ in the plane is at least $Z(n):=\frac{1}{4}\left\lfloor \frac{n}{2}\right\rfloor \left\lfloor\frac{n-1}{2}\right\rfloor \left\lfloor \frac{n-2}{2}\right\rfloor\left\lfloor \frac{n-3}{2}\right\rfloor$. In this paper, we settle the Harary-Hill conjecture for {\em shellable drawings}. We say that a drawing $D$ of $ K_n $ is {\em $ s $-shellable} if there exist a subset $ S = \{v_1,v_2,\ldots,v_ s\}$ of the vertices and a region $R$ of $D$ with the following property: For all $1 \leq i < j \leq s$, if $D_{ij}$ is the drawing obtained from $D$ by removing $v_1,v_2,\ldots v_{i-1},v_{j+1},\ldots,v_{s}$, then $v_i$ and $v_j$ are on the boundary of the region of $D_{ij}$ that contains $R$. For $ s\geq n/2 $, we prove that the number of crossings of any $ s $-shellable drawing of $ K_n $ is at least the long-conjectured value Z(n). Furthermore, we prove that all cylindrical, $ x $-bounded, monotone, and 2-page drawings of $ K_n $ are $ s $-shellable for some $ s\geq n/2 $ and thus they all have at least $ Z(n) $ crossings. The techniques developed provide a unified proof of the Harary-Hill conjecture for these classes of drawings.
New and simple algorithms for stable flow problems
Published
• View Publication
• BIB
Stable flows generalize the well-known concept of stable matchings to markets in which transactions may involve several agents, forwarding flow from one to another. An instance of the problem consists of a capacitated directed network, in which vertices express their preferences over their incident edges. A network flow is stable if there is no group of vertices that all could benefit from rerouting the flow along a walk.
Fleiner established that a stable flow always exists by reducing it to the stable allocation problem. We present an augmenting-path algorithm for computing a stable flow, the first algorithm that achieves polynomial running time for this problem without using stable allocation as a black-box subroutine. We further consider the problem of finding a stable flow such that the flow value on every edge is within a given interval. For this problem, we present an elegant graph transformation and based on this, we devise a simple and fast algorithm, which also can be used to find a solution to the stable marriage problem with forced and forbidden edges.
Finally, we study the stable multicommodity flow model introduced by Király and Pap. The original model is highly involved and allows for commodity-dependent preference lists at the vertices and commodity-specific edge capacities. We present several graph-based reductions that show equivalence to a significantly simpler model. We further show that it is NP-complete to decide whether an integral solution exists.
A note on Jacobians, Tutte polynomials, and two-variable zeta functions of graphs
Published in Exp. Math. 24 (2015), no. 1, 1-7
• View Publication
• BIB
We address questions posed by Lorenzini about relations between Jacobians, Tutte polynomials, and the Brill-Noether theory of finite graphs, as encoded in his two-variable zeta functions. In particular, we give examples showing that none of these invariants is determined by the other two.
Eigenvalues of Non-Regular Linear-Quasirandom Hypergraphs
Published
• View Publication
• BIB
Chung, Graham, and Wilson proved that a graph is quasirandom if and only if there is a large gap between its first and second largest eigenvalue. Recently, the authors extended this characterization to k-uniform hypergraphs, but only for the so-called coregular k-uniform hypergraphs. In this paper, we extend this characterization to all k-uniform hypergraphs, not just the coregular ones. Specifically, we prove that if a k-uniform hypergraph satisfies the correct count of a specially defined four-cycle, then there is a gap between its first and second largest eigenvalue.
Total Thue colourings of graphs
Published in European Journal of Mathematics, Volume 1, Issue 1, March 2015, pp. 186-197
• View Publication
• BIB
A total colouring of a graph is a colouring of its vertices and edges such that no two adjacent vertices or edges have the same colour and moreover, no edge coloured $c$ has its endvertex coloured $c$ too. A weak total Thue colouring of a graph $G$ is a colouring of its vertices and edges such that the colour sequence of consecutive vertices and edges of every path of $G$ is nonrepetitive. In a total Thue colouring also the induced vertex-colouring and edge-colouring of $G$ are nonrepetitive. The weak total Thue number $π_{T_w}(G)$ of a graph $G$ denotes the minimum number of colours required in every weak total Thue colouring and the minimum number of colours required in every total Thue colouring is called the total Thue number $π_T$. Here we show some upper bounds for both parameters depending on the maximum degree or size of the graph. We also give some lower bounds and some better upper bounds for these graph parameters considering special families of graphs.
The Hosoya polynomial of distance-regular graphs
Published
• View Publication
• BIB
In this note we obtain an explicit formula for the Hosoya polynomial of any distance-regular graph in terms of its intersection array. As a consequence, we obtain a very simple formula for the Hosoya polynomial of any strongly regular graph.
Edge Boundaries for a Family of Graphs on $\mathbb{Z}^n$
We consider the family of graphs whose vertex set is $\mathbb{Z}^n$ where two vertices are connected by an edge when their $\ell_\infty$-distance is 1. Towards an edge isoperimetric inequality for this graph, we calculate the edge boundary of any finite set $S \subset \mathbb{Z}^n$. This boundary calculation leads to a desire to show that a set with optimal edge boundary has no ``gaps'' in any direction $ε\in \{-1,0,1\}^n, ε\not=0$. We show that one can find a set with optimal edge boundary that does not have gaps in any direction $e_i$ (or $-e_i$) where $e_i$ is the standard basis vector.
Abelian networks I. Foundations and examples
Published
• View Publication
• BIB
In Deepak Dhar's model of abelian distributed processors, automata occupy the vertices of a graph and communicate via the edges. We show that two simple axioms ensure that the final output does not depend on the order in which the automata process their inputs. A collection of automata obeying these axioms is called an "abelian network". We prove a least action principle for abelian networks. As an application, we show how abelian networks can solve certain linear and nonlinear integer programs asynchronously.
In most previously studied abelian networks, the input alphabet of each automaton consists of a single letter; in contrast, we propose two non-unary examples of abelian networks: "oil and water" and "abelian mobile agents".
Complexity of colouring problems restricted to unichord-free and \{square,unichord\}-free graphs
Published in Discrete Applied Mathematics. Volume 164, Part 1, 19 February 2014, Pages 191-199
• View Publication
• BIB
A \emph{unichord} in a graph is an edge that is the unique chord of a cycle. A \emph{square} is an induced cycle on four vertices. A graph is \emph{unichord-free} if none of its edges is a unichord. We give a slight restatement of a known structure theorem for unichord-free graphs and use it to show that, with the only exception of the complete graph $K_4$, every square-free, unichord-free graph of maximum degree~3 can be total-coloured with four colours. Our proof can be turned into a polynomial time algorithm that actually outputs the colouring. This settles the class of square-free, unichord-free graphs as a class for which edge-colouring is NP-complete but total-colouring is polynomial.
The number of $C_{2l}$-free graphs
Published
• View Publication
• BIB
One of the most basic questions one can ask about a graph $H$ is: how many $H$-free graphs on $n$ vertices are there? For non-bipartite $H$, the answer to this question has been well-understood since 1986, when Erdős, Frankl and Rödl proved that there are $2^{(1 + o(1)) ex(n,H)}$ such graphs. For bipartite graphs, however, much less is known: even the weaker bound $2^{O(ex(n,H))}$ has been proven in only a few special cases: for cycles of length four and six, and for some complete bipartite graphs.
For even cycles, Bondy and Simonovits proved in the 1970s that ex$(n,C_{2l}) = O( n^{1 + 1/l} )$, and this bound is conjectured to be sharp up to the implicit constant. In this paper we prove that the number of $C_{2l}$-free graphs on $n$ vertices is at most $2^{O(n^{1 + 1/l})}$, confirming a conjecture of Erdős. Our proof uses the hypergraph container method, which was developed recently (and independently) by Balogh, Morris and Samotij, and by Saxton and Thomason, together with a new 'balanced supersaturation theorem' for even cycles. We moreover show that there are at least $2^{(1 + c)ex(n,C_6)}$ $C_6$-free graphs on $n$ vertices for some $c > 0$ and infinitely many values of $n$, disproving a well-known and natural conjecture. As a further application of our method, we essentially resolve the so-called Turán problem on the Erdős-Rényi random graph $G(n,p)$ for both even cycles and complete bipartite graphs.
On the Crossing Number of Complete Graphs with an Uncrossed Hamiltonian Cycle
We prove new lower bounds on the crossing number of a complete graphs assuming that it is drawn in such a way that it contains a Hamiltonian cycle with no crossings.
Extending Partial Representations of Circle Graphs
Published
• View Publication
• BIB
The partial representation extension problem is a recently introduced generalization of the recognition problem. A circle graph is an intersection graph of chords of a circle. We study the partial representation extension problem for circle graphs, where the input consists of a graph $G$ and a partial representation $\cal R'$ giving some pre-drawn chords that represent an induced subgraph of $G$. The question is whether one can extend $\cal R'$ to a representation $\cal R$ of the entire graph $G$, i.e., whether one can draw the remaining chords into a partially pre-drawn representation to obtain a representation of $G$. Our main result is an $O(n^3)$ time algorithm for partial representation extension of circle graphs, where $n$ is the number of vertices. To show this, we describe the structure of all representations of a circle graph using split decomposition. This can be of independent interest.
Cyclic Subsets and Barnette's Conjecture
In this paper, the concept of cyclic subsets in graph theory is introduced. An interesting theorem which relates to the collective Hamiltonicity of these cyclic subsets in graphs is also presented. This paper uses this theorem to construct an inductive proof of Barnette's long-standing conjecture, which asks whether every cubic, polyhedral, bipartite graph is Hamiltonian. Finding a class of graphs that are certain to be Hamiltonian is one of the biggest unsolved problems in Hamiltonian graph theory today.
On wheel-free graphs
A wheel is a graph formed by a chordless cycle and a vertex that has at least three neighbors in the cycle. We prove that every 3-connected graph that does not contain a wheel as a subgraph is in fact minimally 3-connected. We give a new proof of a theorem of Thomassen and Toft: every graph that does not contain a wheel as a subgraph is 3-colorable.
The 42 reducts of the random ordered graph
Published
• View Publication
• BIB
The random ordered graph is the up to isomorphism unique countable homogeneous linearly ordered graph that embeds all finite linearly ordered graphs. We determine the reducts of the random ordered graph up to first-order interdefinability.
G-parking functions and tree inversions
Published
• View Publication
• BIB
A depth-first search version of Dhar's burning algorithm is used to give a bijection between the parking functions of a graph and labeled spanning trees, relating the degree of the parking function with the number of inversions of the spanning tree. Specializing to the complete graph answers a problem posed by R. Stanley.
A simple proof of the tree-width duality theorem
We give a simple proof of the "tree-width duality theorem" of Seymour and Thomas that the tree-width of a finite graph is exactly one less than the largest order of its brambles.