graph
35175 papers tagged with this keyword
Singularities in the entropy of asymptotically large simple graphs
Published in J. Stat. Phys. 158 (2015) 853-865
• View Publication
• BIB
We prove that the asymptotic entropy of large simple graphs, as a function of fixed edge and triangle densities, is nondifferentiable along a certain curve.
On Realizations of a Joint Degree Matrix
Published in Disc. Appl. Math 181 (2015), 283-288
• View Publication
• BIB
The joint degree matrix of a graph gives the number of edges between vertices of degree i and degree j for every pair (i,j). One can perform restricted swap operations to transform a graph into another with the same joint degree matrix. We prove that the space of all realizations of a given joint degree matrix over a fixed vertex set is connected via these restricted swap operations. This was claimed before, but there is an error in the previous proof, which we illustrate by example. We also give a simplified proof of the necessary and sufficient conditions for a matrix to be a joint degree matrix. Finally, we address some of the issues concerning the mixing time of the corresponding MCMC method to sample uniformly from these realizations.
Totally Silver Graphs
A totally silver coloring of a graph G is a k--coloring of G such that for every vertex v \in V(G), each color appears exactly once on N[v], the closed neighborhood of v. A totally silver graph is a graph which admits a totally silver coloring. Totally silver coloring are directly related to other areas of graph theory such as distance coloring and domination. In this work, we present several constructive characterizations of totally silver graphs and bipartite totally silver graphs. We give several infinite families of totally silver graphs. We also give cubic totally silver graphs of girth up to 10.
Bounding Castelnuovo-Mumford regularity of graphs via Lozin's transformation
We prove that when a Lozin's transformation is applied to a graph, the (Castelnuovo-Mumford) regularity of the graph increases exactly by one, as it happens to its induced matching number. As a consequence, we show that the regularity of a graph can be bounded from above by a function of its induced matching number. We also prove that the regularity of a graph is always less than or equal to the sum of its induced matching and decycling numbers.
Hitting Times, Cover Cost, and the Wiener Index of a Tree
Published
• View Publication
• BIB
We exhibit a close connection between hitting times of the simple random walk on a graph, the Wiener index, and related graph invariants. In the case of trees we obtain a simple identity relating hitting times to the Wiener index.
It is well known that the vertices of any graph can be put in a linear preorder so that vertices appearing earlier in the preorder are "easier to reach" by a random walk, but "more difficult to get out of". We define various other natural preorders and study their relationships. These preorders coincide when the graph is a tree, but not necessarily otherwise.
Our treatise is self-contained, and puts some known results relating the behaviour or random walk on a graph to its eigenvalues in a new perspective.
Planar Hypohamiltonian Graphs on 40 Vertices
Published
• View Publication
• BIB
A graph is hypohamiltonian if it is not Hamiltonian, but the deletion of any single vertex gives a Hamiltonian graph. Until now, the smallest known planar hypohamiltonian graph had 42 vertices, a result due to Araya and Wiener. That result is here improved upon by 25 planar hypohamiltonian graphs of order 40, which are found through computer-aided generation of certain families of planar graphs with girth 4 and a fixed number of 4-faces. It is further shown that planar hypohamiltonian graphs exist for all orders greater than or equal to 42. If Hamiltonian cycles are replaced by Hamiltonian paths throughout the definition of hypohamiltonian graphs, we get the definition of hypotraceable graphs. It is shown that there is a planar hypotraceable graph of order 154 and of all orders greater than or equal to 156. We also show that the smallest hypohamiltonian planar graph of girth 5 has 45 vertices.
Hereditary unigraphs and Erdős--Gallai equalities
Published in Discrete Mathematics 313 (2013), no. 21, 2469-2481
• View Publication
• BIB
We give characterizations of the structure and degree sequences of hereditary unigraphs, those graphs for which every induced subgraph is the unique realization of its degree sequence. The class of hereditary unigraphs properly contains the threshold and matrogenic graphs, and the characterizations presented here naturally generalize those known for these other classes of graphs.
The degree sequence characterization of hereditary unigraphs makes use of the list of values $k$ for which the $k$th Erdős--Gallai inequality holds with equality for a graphic sequence. Using the canonical decomposition of Tyshkevich, we show how this list describes structure common among all realizations of an arbitrary graphic sequence.
Acquaintance Time of a Graph
Published
• View Publication
• BIB
We define the following parameter of connected graphs. For a given graph $G$ we place one agent in each vertex of $G$. Every pair of agents sharing a common edge is declared to be acquainted. In each round we choose some matching of $G$ (not necessarily a maximal matching), and for each edge in the matching the agents on this edge swap places. After the swap, again, every pair of agents sharing a common edge become acquainted, and the process continues. We define the \emph{acquaintance time} of a graph $G$, denoted by $AC(G)$, to be the minimal number of rounds required until every two agents are acquainted.
We first study the acquaintance time for some natural families of graphs including the path, expanders, the binary tree, and the complete bipartite graph. We also show that for all positive integers $n$ and $k \leq n^{1.5}$ there exists an $n$-vertex graph $G$ such that $AC(G) =Θ(k)$. We also prove that for all $n$-vertex connected graphs $G$ we have $AC(G) = O\left(\frac{n^2}{\log(n)/\log\log(n)}\right)$, improving the $O(n^2)$ trivial upper bound achieved by sequentially letting each agent perform depth-first search along a spanning tree of $G$.
Studying the computational complexity of this problem, we prove that for any constant $t \geq 1$ the problem of deciding that a given graph $G$ has $AC(G) \leq t$ or $AC(G) \geq 2t$ is $\mathcal{NP}$-complete. That is, $AC(G)$ is $\mathcal{NP}$-hard to approximate within multiplicative factor of 2, as well as within any additive constant factor.
On the algorithmic side, we give a deterministic algorithm that given a graph $G$ with $AC(G)=1$ finds a ${\lceil n/c\rceil}$-rounds strategy for acquaintance in time $n^{c+O(1)}$. We also design a randomized polynomial time algorithm that given a graph $G$ with $AC(G)=1$ finds with high probability an $O(\log(n))$-rounds strategy for acquaintance.
Minimum length path decompositions
Published in Journal of Computer and System Sciences 81 (2015) 1715-1747
• View Publication
• BIB
We consider a bi-criteria generalization of the pathwidth problem, where, for given integers $k,l$ and a graph $G$, we ask whether there exists a path decomposition $\cP$ of $G$ such that the width of $\cP$ is at most $k$ and the number of bags in $\cP$, i.e., the \emph{length} of $\cP$, is at most $l$.
We provide a complete complexity classification of the problem in terms of $k$ and $l$ for general graphs. Contrary to the original pathwidth problem, which is fixed-parameter tractable with respect to $k$, we prove that the generalized problem is NP-complete for any fixed $k\geq 4$, and is also NP-complete for any fixed $l\geq 2$. On the other hand, we give a polynomial-time algorithm that, for any (possibly disconnected) graph $G$ and integers $k\leq 3$ and $l>0$, constructs a path decomposition of width at most $k$ and length at most $l$, if any exists.
As a by-product, we obtain an almost complete classification of the problem in terms of $k$ and $l$ for connected graphs. Namely, the problem is NP-complete for any fixed $k\geq 5$ and it is polynomial-time for any $k\leq 3$. This leaves open the case $k=4$ for connected graphs.
Gorenstein cut polytopes
Published in European Journal of Combinatorics 38 (2014) 122--129
• View Publication
• BIB
An integral convex polytope ${\mathcal P}$ is said to be Gorenstein if its toric ring $K[{\mathcal P}]$ is normal and Gorenstein. In this paper, Gorenstein cut polytopes of graphs are characterized explicitly. First, we prove that Gorenstein cut polytopes are compressed (i.e., all of whose reverse lexicographic triangulations are unimodular). Second, by applying Athanasiadis's theory for Gorenstein compressed polytopes, we show that a cut polytope of a graph $G$ is Gorenstein if and only if $G$ has no $K_5$-minor and $G$ is either a bipartite graph without induced cycles of length $\geq 6$ or a bridgeless chordal graph.
Acyclic edge coloring of graphs
Published in Discrete Applied Mathematics, 167 (2014) 290--303
• View Publication
• BIB
An {\em acyclic edge coloring} of a graph $G$ is a proper edge coloring such that the subgraph induced by any two color classes is a linear forest (an acyclic graph with maximum degree at most two). The {\em acyclic chromatic index} $\chiup_{a}'(G)$ of a graph $G$ is the least number of colors needed in an acyclic edge coloring of $G$. Fiamčík (1978) conjectured that $\chiup_{a}'(G) \leq Δ(G) + 2$, where $Δ(G)$ is the maximum degree of $G$. This conjecture is well known as Acyclic Edge Coloring Conjecture (AECC). A graph $G$ with maximum degree at most $κ$ is {\em $κ$-deletion-minimal} if $\chiup_{a}'(G) > κ$ and $\chiup_{a}'(H) \leq κ$ for every proper subgraph $H$ of $G$. The purpose of this paper is to provide many structural lemmas on $κ$-deletion-minimal graphs. By using the structural lemmas, we firstly prove that AECC is true for the graphs with maximum average degree less than four (\autoref{NMAD4}). We secondly prove that AECC is true for the planar graphs without triangles adjacent to cycles of length at most four, with an additional condition that every $5$-cycle has at most three edges contained in triangles (\autoref{NoAdjacent}), from which we can conclude some known results as corollaries. We thirdly prove that every planar graph $G$ without intersecting triangles satisfies $\chiup_{a}'(G) \leq Δ(G) + 3$ (\autoref{NoIntersect}). Finally, we consider one extreme case and prove it: if $G$ is a graph with $Δ(G) \geq 3$ and all the $3^{+}$-vertices are independent, then $\chiup_{a}'(G) = Δ(G)$. We hope the structural lemmas will shed some light on the acyclic edge coloring problems.
Degree sequences of random digraphs and bipartite graphs
Published
• View Publication
• BIB
We investigate the joint distribution of the vertex degrees in three models of random bipartite graphs. Namely, we can choose each edge with a specified probability, choose a specified number of edges, or specify the vertex degrees in one of the two colour classes. This problem can alternatively be described in terms of the row and sum columns of random binary matrix or the in-degrees and out-degrees of a random digraph, in which case we can optionally forbid loops. It can also be cast as a problem in random hypergraphs, or as a classical occupancy, allocation, or coupon collection problem. In each case, provided the two colour classes are not too different in size nor the number of edges too low, we define a probability space based on independent binomial variables and show that its probability masses asymptotically equal those of the degrees in the graph model almost everywhere. The accuracy is sufficient to asymptotically determine the expectation of any joint function of the degrees whose maximum is at most polynomially greater than its expectation.
Avoider-Enforcer star games
Published in DMTCS 17:1, (2015) 145-160
• View Publication
• BIB
In this paper, we study $(1 : b)$ Avoider-Enforcer games played on the edge set of the complete graph on $n$ vertices. For every constant $k\geq 3$ we analyse the $k$-star game, where Avoider tries to avoid claiming $k$ edges incident to the same vertex. We analyse both versions of Avoider-Enforcer games -- the strict and the monotone -- and for each provide explicit winning strategies for both players. We determine the order of magnitude of the threshold biases $f^{mon}_\mathcal{F}$, $f^-_\mathcal{F}$ and $f^+_\mathcal{F}$, where $\mathcal{F}$ is the hypergraph of the game.
$(3,1)^*$-choosability of planar graphs without adjacent short cycles
Published
• View Publication
• BIB
A list assignment of a graph $G$ is a function $L$ that assigns a list $L(v)$ of colors to each vertex $v\in V(G)$. An $(L,d)^*$-coloring is a mapping $π$ that assigns a color $π(v)\in L(v)$ to each vertex $v\in V(G)$ so that at most $d$ neighbors of $v$ receive color $π(v)$. A graph $G$ is said to be $(k,d)^*$-choosable if it admits an $(L,d)^*$-coloring for every list assignment $L$ with $|L(v)|\ge k$ for all $v\in V(G)$. In 2001, Lih et al. \cite{LSWZ-01} proved that planar graphs without 4- and $l$-cycles are $(3,1)^*$-choosable, where $l\in \{5,6,7\}$. Later, Dong and Xu \cite{DX-09} proved that planar graphs without 4- and l-cycles are $(3,1)^*$-choosable, where $l\in \{8,9\}$.
There exist planar graphs containing 4-cycles that are not $(3,1)^*$-choosable (Crown, Crown and Woodall, 1986 \cite{CCW-86}). This partly explains the fact that in all above known sufficient conditions for the $(3,1)^*$-choosability of planar graphs the 4-cycles are completely forbidden. In this paper we allow 4-cycles nonadjacent to relatively short cycles. More precisely, we prove that every planar graph without 4-cycles adjacent to 3- and 4-cycles is $(3,1)^*$-choosable. This is a common strengthening of all above mentioned results. Moreover as a consequence we give a partial answer to a question of Xu and Zhang \cite{XZ-07} and show that every planar graph without 4-cycles is $(3,1)^*$-choosable.
Snarks from a Kaszonyi perspective: a survey
Published
• View Publication
• BIB
This is a survey or exposition of a particular collection of results and open problems involving snarks --- simple "cubic" (3-valent) graphs for which, for nontrivial reasons, the edges cannot be 3-colored. The results and problems here are rooted in a series of papers by Laszlo Kaszonyi that were published in the early 1970s. The problems posed in this survey paper can be tackled without too much specialized mathematical preparation, and in particular seem well suited for interested undergraduate mathematics students to pursue as independent research projects. This survey paper is intended to facilitate research on these problems.
On the extension complexity of combinatorial polytopes
Published
• View Publication
• BIB
In this paper we extend recent results of Fiorini et al. on the extension complexity of the cut polytope and related polyhedra. We first describe a lifting argument to show exponential extension complexity for a number of NP-complete problems including subset-sum and three dimensional matching. We then obtain a relationship between the extension complexity of the cut polytope of a graph and that of its graph minors. Using this we are able to show exponential extension complexity for the cut polytope of a large number of graphs, including those used in quantum information and suspensions of cubic planar graphs.
Extremal results in random graphs
Published in Bolyai Soc. Math. Stud., 25, 535-583, 2013
• View Publication
• BIB
According to Paul Erdős [Some notes on Turán's mathematical work, J. Approx. Theory 29 (1980), page 4] it was Paul Turán who "created the area of extremal problems in graph theory". However, without a doubt, Paul Erdős popularized extremal combinatorics, by his many contributions to the field, his numerous questions and conjectures, and his influence on discrete mathematicians in Hungary and all over the world. In fact, most of the early contributions in this field can be traced back to Paul Erdős, Paul Turán, as well as their collaborators and students. Paul Erdős also established the probabilistic method in discrete mathematics, and in collaboration with Alfréd Rényi, he started the systematic study of random graphs. We shall survey recent developments at the interface of extremal combinatorics and random graph theory.
Generalized Counting Constraint Satisfaction Problems With Determinantal Circuits
Published
• View Publication
• BIB
Generalized counting constraint satisfaction problems include Holant problems with planarity restrictions; polynomial-time algorithms for such problems include matchgates and matchcircuits, which are based on Pfaffians. In particular, they use gates which are expressible in terms of a vector of sub-Pfaffians of a skew-symmetric matrix. We introduce a new type of circuit based instead on determinants, with seemingly different expressive power. In these determinantal circuits, a gate is represented by the vector of all minors of an arbitrary matrix. Determinantal circuits permit a different class of gates. Applications of these circuits include proofs of theorems from algebraic graph theory including the Chung-Langlands formula for the number of rooted spanning forests of a graph and computing Tutte Polynomials of certain matroids. They also give a strategy for simulating quantum circuits with closed timelike curves. Monoidal category theory provides a useful language for discussing such counting problems, turning combinatorial restrictions into categorical properties. We introduce the counting problem in monoidal categories and count-preserving functors as a way to study FP subclasses of problems in settings which are generally #P-hard. Using this machinery we show that, surprisingly, determinantal circuits can be simulated by Pfaffian circuits at quadratic cost.
Growth rates of permutation grid classes, tours on graphs, and the spectral radius
Published in Trans. Amer. Math. Soc., 367(8):5863-5889, 2015
• View Publication
• BIB
Monotone grid classes of permutations have proven very effective in helping to determine structural and enumerative properties of classical permutation pattern classes. Associated with grid class $\mathrm{Grid}(M)$ is a graph, $G(M)$, known as its "row-column" graph. We prove that the exponential growth rate of $\mathrm{Grid}(M)$ is equal to the square of the spectral radius of $G(M)$. Consequently, we utilize spectral graph theoretic results to characterise all slowly growing grid classes and to show that for every $γ\geqslant2+\sqrt{5}$ there is a grid class with growth rate arbitrarily close to $γ$. To prove our main result, we establish bounds on the size of certain families of tours on graphs. In the process, we prove that the family of tours of even length on a connected graph grows at the same rate as the family of "balanced" tours on the graph (in which the number of times an edge is traversed in one direction is the same as the number of times it is traversed in the other direction).
Three-coloring triangle-free graphs on surfaces II. 4-critical graphs in a disk
Let G be a plane graph of girth at least five. We show that if there exists a 3-coloring phi of a cycle C of G that does not extend to a 3-coloring of G, then G has a subgraph H on O(|C|) vertices that also has no 3-coloring extending phi. This is asymptotically best possible and improves a previous bound of Thomassen. In the next paper of the series we will use this result and the attendant theory to prove a generalization to graphs on surfaces with several precolored cycles.