graph
35396 papers tagged with this keyword
Self-avoiding walk on nonunimodular transitive graphs
Published
• View Publication
• BIB
We study self-avoiding walk on graphs whose automorphism group has a transitive nonunimodular subgroup. We prove that self-avoiding walk is ballistic, that the bubble diagram converges at criticality, and that the critical two-point function decays exponentially in the distance from the origin. This implies that the critical exponent governing the susceptibility takes its mean-field value, and hence that the number of self-avoiding walks of length $n$ is comparable to the $n$th power of the connective constant. We also prove that the same results hold for a large class of repulsive walk models with a self-intersection based interaction, including the weakly self-avoiding walk. All these results apply in particular to the product $T_k \times \mathbb{Z}^d$ of a $k$-regular tree ($k\geq 3$) with $\mathbb{Z}^d$, for which these results were previously only known for large $k$.
Extremal Threshold Graphs for Matchings and Independent Sets
Published
• View Publication
• BIB
Many extremal problems for graphs have threshold graphs as their extremal examples. For instance the current authors proved that for fixed $k\ge 1$, among all graphs on $n$ vertices with $m$ edges, some threshold graph has the fewest matchings of size $k$; indeed either the lex graph or the colex graph is such an extremal example. In this paper we consider the problem of maximizing the number of matchings in the class of threshold graphs. We prove that the minimizers are what we call \emph{almost alternating threshold graphs}.
We also discuss a problem with a similar flavor: which threshold graph has the fewest independent sets. Here we are inspired by the result that among all graphs on $n$ vertices and $m$ edges the lex graph has the most independent sets.
Graphs, Skeleta and Reconstruction of Polytopes
Published in Acta Math. Hungar. 155 (2018), no. 1, 61-73
• View Publication
• BIB
A renowned theorem of Blind and Mani, with a constructive proof by Kalai and an efficiency proof by Friedman, shows that the whole face lattice of a simple polytope can be determined from its graph. This is part of a broader story of reconstructing face lattices from partial information, first considered comprehensively in Grünbaum's 1967 book. This survey paper includes varied results and open questions by many researchers on simplicial polytopes, nearly simple polytopes, cubical polytopes, zonotopes, crosspolytopes, and Eulerian posets.
A note on a Brooks' type theorem for DP-coloring
Published
• View Publication
• BIB
Dvořák and Postle \cite{DP} introduced a \textit{DP-coloring} of a simple graph as a generalization of a list-coloring. They proved a Brooks' type theorem for a DP-coloring, and Bernshteyn, Kostochka and Pron \cite{BKP} extended it to a DP-coloring of multigraphs. However, detailed structure when a multigraph does not admit a DP-coloring was not specified in \cite{BKP}. In this note, we make this point clear and give the complete structure. This is also motivated by the relation to signed coloring of signed graphs.
Fully leafed induced subtrees
Let $G$ be a simple graph on $n$ vertices. We consider the problem LIS of deciding whether there exists an induced subtree with exactly $i \leq n$ vertices and $\ell$ leaves in $G$. We study the associated optimization problem, that consists in computing the maximal number of leaves, denoted by $L_G(i)$, realized by an induced subtree with $i$ vertices, for $0 \le i \le n$. We begin by proving that the LIS problem is NP-complete in general and then we compute the values of the map $L_G$ for some classical families of graphs and in particular for the $d$-dimensional hypercubic graphs $Q_d$, for $2 \leq d \leq 6$. We also describe a nontrivial branch and bound algorithm that computes the function $L_G$ for any simple graph $G$. In the special case where $G$ is a tree of maximum degree $Δ$, we provide a $\mathcal{O}(n^3Δ)$ time and $\mathcal{O}(n^2)$ space algorithm to compute the function $L_G$.
A Sufficient condition for DP-4-colorability
Published
• View Publication
• BIB
DP-coloring of a simple graph is a generalization of list coloring, and also a generalization of signed coloring of signed graphs. It is known that for each $k \in \{3, 4, 5, 6\}$, every planar graph without $C_k$ is 4-choosable. Furthermore, Jin, Kang, and Steffen \cite{JKS} showed that for each $k \in \{3, 4, 5, 6\}$, every signed planar graph without $C_k$ is signed 4-choosable. In this paper, we show that for each $k \in \{3, 4, 5, 6\}$, every planar graph without $C_k$ is 4-DP-colorable, which is an extension of the above results.
Signed graphs cospectral with the path
Published in Linear Algebra and its Applications 553 (2018), 104-116
• View Publication
• BIB
A signed graph $Γ$ is said to be determined by its spectrum if every signed graph with the same spectrum as $Γ$ is switching isomorphic with $Γ$. Here it is proved that the path $P_n$, interpreted as a signed graph, is determined by its spectrum if and only if $n\equiv 0, 1$, or 2 (mod 4), unless $n\in\{8, 13, 14, 17, 29\}$, or $n=3$.
Weighted domination of independent sets
Published
• View Publication
• BIB
The {\em independent domination number} $γ^i(G)$ of a graph $G$ is the maximum, over all independent sets $I$, of the minimal number of vertices needed to dominate $I$. It is known \cite{abz} that in chordal graphs $γ^i$ is equal to $γ$, the ordinary domination number. The weighted version of this result is not true, but we show that it does hold for interval graphs, and for the intersection (that is, line) graphs of subtrees of a given tree, where each subtree is a single edge.
Recovering sparse graphs
We construct a fixed parameter algorithm parameterized by d and k that takes as an input a graph G' obtained from a d-degenerate graph G by complementing on at most k arbitrary subsets of the vertex set of G and outputs a graph H such that G and H agree on all but f(d,k) vertices.
Our work is motivated by the first order model checking in graph classes that are first order interpretable in classes of sparse graphs. We derive as a corollary that if G_0 is a graph class with bounded expansion, then the first order model checking is fixed parameter tractable in the class of all graphs that can obtained from a graph G from G_0 by complementing on at most k arbitrary subsets of the vertex set of G; this implies an earlier result that the first order model checking is fixed parameter tractable in graph classes interpretable in classes of graphs with bounded maximum degree.
Hypergraph expanders from Cayley graphs
Published
• View Publication
• BIB
We present a simple mechanism, which can be randomised, for constructing sparse $3$-uniform hypergraphs with strong expansion properties. These hypergraphs are constructed using Cayley graphs over $\mathbb{Z}_2^t$ and have vertex degree which is polylogarithmic in the number of vertices. Their expansion properties, which are derived from the underlying Cayley graphs, include analogues of vertex and edge expansion in graphs, rapid mixing of the random walk on the edges of the skeleton graph, uniform distribution of edges on large vertex subsets and the geometric overlap property.
The distinguishing chromatic number of bipartite graphs of girth at least six
The distinguishing number $D(G)$ of a graph $G$ is the least integer $d$ such that $G$ has a vertex labeling with $d$ labels that is preserved only by a trivial automorphism. The distinguishing chromatic number $χ_{D}(G)$ of $G$ is defined similarly, where, in addition, $f$ is assumed to be a proper labeling. Motivated by a conjecture in \cite{colins}, we prove that if $G$ is a bipartite graph of girth at least six with the maximum degree $Δ(G)$, then $χ_{D}(G)\leq Δ(G)+1$. We also obtain an upper bound for $χ_{D}(G)$ where $G$ is a graph with at most one cycle. Finally, we state a relationship between the distinguishing chromatic number of a graph and its spanning subgraphs.
A counterexample regarding labelled well-quasi-ordering
Published
• View Publication
• BIB
Korpelainen, Lozin, and Razgon conjectured that a hereditary property of graphs which is well-quasi-ordered by the induced subgraph order and defined by only finitely many minimal forbidden induced subgraphs is labelled well-quasi-ordered, a notion stronger than that of $n$-well-quasi-order introduced by Pouzet in the 1970s. We present a counterexample to this conjecture. In fact, we exhibit a hereditary property of graphs which is well-quasi-ordered by the induced subgraph order and defined by finitely many minimal forbidden induced subgraphs yet is not $2$-well-quasi-ordered. This counterexample is based on the widdershins spiral, which has received some study in the area of permutation patterns.
Finding Small Weight Isomorphisms with Additional Constraints is Fixed-Parameter Tractable
Lubiw showed that several variants of Graph Isomorphism are NP-complete, where the solutions are required to satisfy certain additional constraints [SICOMP 10, 1981]. One of these, called Isomorphism With Restrictions, is to decide for two given graphs $X_1=(V,E_1)$ and $X_2=(V,E_2)$ and a subset $R\subseteq V\times V$ of forbidden pairs whether there is an isomorphism $π$ from $X_1$ to $X_2$ such that $π(i)\neq j$ for all $(i,j)\in R$. We prove that this problem and several of its generalizations are in fact in FPT:
- The problem of deciding whether there is an isomorphism between two graphs that moves k vertices and satisfies Lubiw-style constraints is in FPT, with k and the size of $R$ as parameters. The problem remains in FPT if a CNF of such constraints is allowed. It follows that the problem to decide whether there is an isomorphism that moves exactly k vertices is in FPT. This solves a question left open in our article on exact weight automorphisms [STACS 2017].
- When the weight and complexity are unrestricted, finding isomorphisms that satisfy a CNF of Lubiw-style constraints can be solved in FPT with access to a GI oracle.
- Checking if there is an isomorphism $π$ between two graphs with complexity t is also in FPT with t as parameter, where the complexity of a permutation is the Cayley measure defined as the minimum number t such that $π$ can be expressed as a product of t transpositions.
- We consider a more general problem in which the vertex set of a graph X is partitioned into Red and Blue, and we are interested in an automorphism that stabilizes Red and Blue and moves exactly k vertices in Blue, where k is the parameter. This problem was introduced by [Downey and Fellows 1999], and we showed [STACS 2017] that it is W[1]-hard even with color classes of size 4 inside Red. Now, for color classes of size at most 3 inside Red, we show the problem is in FPT.
Distance ideals of graphs
Published
• View Publication
• BIB
We introduce the concept of distance ideals of graphs, which can be regarded as a generalization of the Smith normal form and the spectra of the distance matrix of a graph. We obtain a classification of the graphs with at most one trivial distance ideal.
3-coloring triangle-free planar graphs with a precolored 9-cycle
Published
• View Publication
• BIB
Given a triangle-free planar graph G and a 9-cycle C in G, we characterize situations where a 3-coloring of C does not extend to a proper 3-coloring of G. This extends previous results when C is a cycle of length at most 8.
Hamilton decompositions of one-ended Cayley graphs
Published
• View Publication
• BIB
We prove that any one-ended, locally finite Cayley graph with non-torsion generators admits a decomposition into edge-disjoint Hamiltonian (i.e. spanning) double-rays. In particular, the $n$-dimensional grid $\mathbb{Z}^n$ admits a decomposition into $n$ edge-disjoint Hamiltonian double-rays for all $n \in \mathbb{N}$.
Random Overlapping Communities: Approximating Motif Densities of Large Graphs
A wide variety of complex networks (social, biological, information etc.) exhibit local clustering with substantial variation in the clustering coefficient (the probability of neighbors being connected). Existing models of large graphs capture power law degree distributions (Barabási-Albert) and small-world properties (Watts-Strogatz), but only limited clustering behavior. We introduce a generalization of the classical Erdős-Rényi model of random graphs which provably achieves a wide range of desired clustering coefficient, triangle-to-edge and four-cycle-to-edge ratios for any given graph size and edge density. Rather than choosing edges independently at random, in the Random Overlapping Communities model, a graph is generated by choosing a set of random, relatively dense subgraphs ("communities"). We discuss the explanatory power of the model and some of its consequences.
Surjective H-Colouring over Reflexive Digraphs
Published
• View Publication
• BIB
The Surjective H-Colouring problem is to test if a given graph allows a vertex-surjective homomorphism to a fixed graph H. The complexity of this problem has been well studied for undirected (partially) reflexive graphs. We introduce endo-triviality, the property of a structure that all of its endomorphisms that do not have range of size 1 are automorphisms, as a means to obtain complexity-theoretic classifications of Surjective H-Colouring in the case of reflexive digraphs.
Chen [2014] proved, in the setting of constraint satisfaction problems, that Surjective H-Colouring is NP-complete if H has the property that all of its polymorphisms are essentially unary. We give the first concrete application of his result by showing that every endo-trivial reflexive digraph H has this property. We then use the concept of endo-triviality to prove, as our main result, a dichotomy for Surjective H-Colouring when H is a reflexive tournament: if H is transitive, then Surjective H-Colouring is in NL, otherwise it is NP-complete.
By combining this result with some known and new results we obtain a complexity classification for Surjective H-Colouring when H is a partially reflexive digraph of size at most 3.
Extremality of graph entropy based on degrees of uniform hypergraphs with few edges
Published
• View Publication
• BIB
Let $\mathcal{H}$ be a hypergraph with $n$ vertices. Suppose that $d_1,d_2,\ldots,d_n$ are degrees of the vertices of $\mathcal{H}$. The $t$-th graph entropy based on degrees of $\mathcal{H}$ is defined as $$ I_d^t(\mathcal{H}) =-\sum_{i=1}^{n}\left(\frac{d_i^{t}}{\sum_{j=1}^{n}d_j^{t}}\log\frac{d_i^{t}}{\sum_{j=1}^{n}d_j^{t}}\right) =\log\left(\sum_{i=1}^{n}d_i^{t}\right)-\sum_{i=1}^{n}\left(\frac{d_i^{t}}{\sum_{j=1}^{n}d_j^{t}}\log d_i^{t}\right), $$ where $t$ is a real number and the logarithm is taken to the base two. In this paper we obtain upper and lower bounds of $I_d^t(\mathcal{H})$ for $t=1$, when $\mathcal{H}$ is among all uniform supertrees, unicyclic uniform hypergraphs and bicyclic uniform hypergraphs, respectively.
Independence in generic incidence structures
Published in J. symb. log. 84 (2019) 750-780
• View Publication
• BIB
We study the theory $T_{m,n}$ of existentially closed incidence structures omitting the complete incidence structure $K_{m,n}$, which can also be viewed as existentially closed $K_{m,n}$-free bipartite graphs. In the case $m = n = 2$, this is the theory of existentially closed projective planes. We give an $\forall\exists$-axiomatization of $T_{m,n}$, show that $T_{m,n}$ does not have a countable saturated model when $m,n\geq 2$, and show that the existence of a prime model for $T_{2,2}$ is equivalent to a longstanding open question about finite projective planes. Finally, we analyze model theoretic notions of complexity for $T_{m,n}$. We show that $T_{m,n}$ is NSOP$_1$, but not simple when $m,n\geq 2$, and we show that $T_{m,n}$ has weak elimination of imaginaries but not full elimination of imaginaries. These results rely on combinatorial characterizations of various notions of independence, including algebraic independence, Kim independence, and forking independence.