graph
35299 papers tagged with this keyword
List colouring with a bounded palette
Published in Journal of Graph Theory 84(1): 93-103, 2017
• View Publication
• BIB
Král' and Sgall (2005) introduced a refinement of list colouring where every colour list must be subset to one predetermined palette of colours. We call this $(k,\ell)$-choosability when the palette is of size at most $\ell$ and the lists must be of size at least $k$. They showed that, for any integer $k\ge 2$, there is an integer $C=C(k,2k-1)$, satisfying $C = O(16^{k}\ln k)$ as $k\to \infty$, such that, if a graph is $(k,2k-1)$-choosable, then it is $C$-choosable, and asked if $C$ is required to be exponential in $k$. We demonstrate it must satisfy $C = Ω(4^k/\sqrt{k})$.
For an integer $\ell \ge 2k-1$, if $C(k,\ell)$ is the least integer such that a graph is $C(k,\ell)$-choosable if it is $(k,\ell)$-choosable, then we more generally supply a lower bound on $C(k,\ell)$, one that is super-polynomial in $k$ if $\ell = o(k^2/\ln k)$, by relation to an extremal set theoretic property. By the use of containers, we also give upper bounds on $C(k,\ell)$ that improve on earlier bounds if $\ell \ge 2.75 k$.
Renormalization and Hopf Algebraic Structure of the 5-Dimensional Quartic Tensor Field Theory
Published in J.Phys. A48 (2015) no.48, 485204
• View Publication
• BIB
This paper is devoted to the study of renormalization of the quartic melonic tensor model in dimension (=rank) five. We review the perturbative renormalization and the computation of the one loop beta function, confirming the asymptotic freedom of the model. We then define the Connes-Kreimer-like Hopf algebra describing the combinatorics of the renormalization of this model and we analyze in detail, at one- and two-loop levels, the Hochschild cohomology allowing to write the combinatorial Dyson-Schwinger equations. Feynman tensor graph Hopf subalgebras are also exhibited.
Distance Preserving Graphs
Given a graph $G$ then a subgraph $H$ is $isometric$ if, for every pair of vertices $u,v$ of $H$, we have $d_H(u,v) = d_G(u,v)$. We say a graph $G$ is $distance\ preserving\ (dp)$ if it has an isometric subgraph of every possible order up to the order of $G$. We consider how to add a vertex to a dp graph so that the result is a dp graph. This condition implies that chordal graphs are dp. We also find a condition on the girth of $G$ which implies that it is not dp. In closing, we discuss other work and open problems concerning dp graphs.
Two characterizations of simple circulant tournaments
The \textit{acyclic disconnection} $\overrightarrow{ω}(D)$ (resp. the \textit{directed triangle free disconnection } $\overrightarrow{ω}_{3}(D)$) of a digraph $D$ is defined as the maximum possible number of connected components of the underlying graph of $D\setminus A(D^{\ast })$ where $D^{\ast }$ is an acyclic (resp. a directed triangle free) subdigraph of $D$. In this paper, we generalize some previous results and solve some problems posed by V. Neumann-Lara (The acyclic disconnection of a digraph, Discrete Math. 197/198 (1999), 617-632). Let $\overrightarrow{C}_{2n+1}(J)$ be a circulant tournament. We prove that $\overrightarrow{C}_{2n+1}(J)$ is $\overrightarrow{% ω}$-keen and $\overrightarrow{ω_{3}}$-keen, respectively, and $% \overrightarrow{ω}(\overrightarrow{C}_{2n+1}(J))=\overrightarrow{% ω}_{3}(\overrightarrow{C}_{2n+1}(J))=2$ for every $\overrightarrow{C}% _{2n+1}(J)$. Finally, it is showed that $\overrightarrow{ω}_{3}(% \overrightarrow{C}_{2n+1}(J))=2$, $\overrightarrow{C}_{2n+1}(J)$ is simple and $J$ is aperiodic are equivalent propositions.
Existence of $u$-representation of graphs
Published
• View Publication
• BIB
Recently, Jones et al. introduced the study of $u$-representable graphs, where $u$ is a word over $\{1,2\}$ containing at least one 1. The notion of a $u$-representable graph is a far-reaching generalization of the notion of a word-representable graph studied in the literature in a series of papers.
Jones et al. have shown that any graph is $11\cdots 1$-representable assuming that the number of 1s is at least three, while the class of 12-rerpesentable graphs is properly contained in the class of comparability graphs, which, in turn, is properly contained in the class of word-representable graphs corresponding to 11-representable graphs. Further studies in this direction were conducted by Nabawanda, who has shown, in particular, that the class of 112-representable graphs is not included in the class of word-representable graphs.
Jones et al. raised a question on classification of $u$-representable graphs at least for small values of $u$. In this paper we show that if $u$ is of length at least 3 then any graph is $u$-representable. This rather unexpected result shows that from existence of representation point of view there are only two interesting non-equivalent cases in the theory of $u$-representable graphs, namely, those of $u=11$ and $u=12$.
The Coloring Game on Planar Graphs with Large Girth, by a result on Sparse Cactuses
Published
• View Publication
• BIB
We denote by $χ$ g (G) the game chromatic number of a graph G, which is the smallest number of colors Alice needs to win the coloring game on G. We know from Montassier et al. [M. Montassier, P. Ossona de Mendez, A. Raspaud and X. Zhu, Decomposing a graph into forests, J. Graph Theory Ser. B, 102(1):38-52, 2012] and, independantly, from Wang and Zhang, [Y. Wang and Q. Zhang. Decomposing a planar graph with girth at least 8 into a forest and a matching, Discrete Maths, 311:844-849, 2011] that planar graphs with girth at least 8 have game chromatic number at most 5. One can ask if this bound of 5 can be improved for a sufficiently large girth. In this paper, we prove that it cannot. More than that, we prove that there are cactuses CT (i.e. graphs whose edges only belong to at most one cycle each) having $χ$ g (CT) = 5 despite having arbitrary large girth, and even arbitrary large distance between its cycles.
The Coarse Geometry of Hartnell's Firefighter Problem on Infinite Graphs
Published
• View Publication
• BIB
In this article, we study Hartnell's Firefighter Problem through the group theoretic notions of growth and quasi-isometry. A graph has the $n$-containment property if for every finite initial fire, there is a strategy to contain the fire by protecting $n$ vertices at each turn. A graph has the constant containment property if there is an integer $n$ such that it has the $n$-containment property. Our first result is that any locally finite connected graph with quadratic growth has the constant containment property; the converse does not hold. This result provides a unified way to recover previous results in the literature, in particular the class of graphs satisfying the constant containment property is infinite. A second result is that in the class of graphs with bounded degree, having the constant containment property is preserved by quasi-isometry. Some sample consequences of the second result are that any regular tiling of the Euclidean plane has the fire containment property; no regular tiling of the $n$-dimensional Euclidean space has the containment property if $n>2$; and no regular tiling of the $n$-dimensional hyperbolic space has the containment property if $n\geq 2$. We prove analogous results for the $\{f_n\}$-containment property, where $f_n$ is an integer sequence corresponding to the number of vertices protected at time $n$. In particular, we positively answer a conjecture by Develin and Hartke by proving that the $d$-dimensional square grid $\mathbb{L}^d$ does not satisfy the $cn^{d-3}$-containment property for any constant $c$.
Symmetry in Turán Sums of Squares Polynomials from Flag Algebras
Published
• View Publication
• BIB
Turán problems in extremal combinatorics ask to find asymptotic bounds on the edge densities of graphs and hypergraphs that avoid specified subgraphs. The theory of flag algebras proposed by Razborov provides powerful methods based on semidefinite programming to find sums of squares that establish edge density inequalities in Turán problems. Working with polynomial analogs of the flag algebra entities, we prove that such sums of squares created by flag algebras can be retrieved from a restricted version of the symmetry-adapted semidefinite program proposed by Gatermann and Parrilo. This involves using the representation theory of the symmetric group for finding succinct sums of squares expressions for invariant polynomials. The connection reveals several combinatorial and structural properties of flag algebra sums of squares, and offers new tools for Turán and other related problems.
Homomorphic Preimages of Geometric Cycles
Published in Discussiones Mathematicae Graph Theory, Vol. 38 (2) (2018): pp. 553 - 572
• View Publication
• BIB
A graph G is a homomorphic preimage of another graph H, or equivalently G is H-colorable, if there exists a graph homomorphism from G to H. A classic problem is to characterize the family of homomorphic preimages of a given graph H. A geometric graph is a simple graph G together with a straight line drawing of G in the plane with the vertices in general position. A geometric homomorphism (resp. isomorphism) is a graph homomorphism (resp. isomorphism) that preserves edge crossings (resp. and non-crossings). The homomorphism posetof a graph G is the set of isomorphism classes of geometric realizations of G partially ordered by the existence of injective geometric homomorphisms. A geometric graph G is H-colorable if there is a geometric homomorphism from G to some element of the homomorphism poset of H. We provide necessary and sufficient conditions for a geometric graph to be C_n-colorable for n less than 6.
Analytic connectivity of $k$-uniform hypergraphs
Published
• View Publication
• BIB
In this paper, we study the analytic connectivity of a $k$-uniform hypergraph $H$, denoted by $α(H)$. In addition to computing the analytic connectivity of a complete $k$-graph, we present several bounds on analytic connectivity that relate it with other graph invariants, such as degree, vertex connectivity, diameter, and isoperimetric number.
Splitting Planar Graphs of Girth 6 into Two Linear Forests with Short Paths
Published
• View Publication
• BIB
Recently, Borodin, Kostochka, and Yancey (On $1$-improper $2$-coloring of sparse graphs. Discrete Mathematics, 313(22), 2013) showed that the vertices of each planar graph of girth at least $7$ can be $2$-colored so that each color class induces a subgraph of a matching. We prove that any planar graph of girth at least $6$ admits a vertex coloring in $2$ colors such that each monochromatic component is a path of length at most $14$. Moreover, we show a list version of this result. On the other hand, for each positive integer $t\geq 3$, we construct a planar graph of girth $4$ such that in any coloring of vertices in $2$ colors there is a monochromatic path of length at least $t$. It remains open whether each planar graph of girth $5$ admits a $2$-coloring with no long monochromatic paths.
The 3/5-conjecture for weakly $S(K_{1,3})$-free forests
Published
• View Publication
• BIB
The $3/5$-conjecture for the domination game states that the game domination numbers of an isolate-free graph $G$ on $n$ vertices are bounded as follows: $γ_g(G)\leq \frac{3n}5 $ and $γ_g'(G)\leq \frac{3n+2}5 $. Recent progress have been done on the subject and the conjecture is now proved for graphs with minimum degree at least $2$. One powerful tool, introduced by Bujtás is the so-called greedy strategy for \D. In particular, using this strategy, she has proved the conjecture for isolate-free forests without leafs at distance $4$. In this paper, we improve this strategy to extend the result to the larger class of weakly $S(K_{1,3})$-free forests, where a weakly $S(K_{1,3})$-free forest $F$ is an isolate-free forest without induced $S(K_{1,3})$, whose leafs are leafs of $F$ as well.
Spanning trees in directed circulant graphs and cycle power graphs
Published
• View Publication
• BIB
The number of spanning trees in a class of directed circulant graphs with generators depending linearly on the number of vertices $βn$, and in the $n$-th and $(n-1)$-th power graphs of the $βn$-cycle are evaluated as a product of $\lceilβ/2\rceil-1$ terms.
Estimation of Laplacian spectra of direct and strong product graphs
Published in Discrete Applied Mathematics, 205: 160-170, 2016
• View Publication
• BIB
Calculating a product of multiple graphs has been studied in mathematics, engineering, computer science, and more recently in network science, particularly in the context of multilayer networks. One of the important questions to be addressed in this area is how to characterize spectral properties of a product graph using those of its factor graphs. While several such characterizations have already been obtained analytically (mostly for adjacency spectra), characterization of Laplacian spectra of direct product and strong product graphs has remained an open problem. Here we develop practical methods to estimate Laplacian spectra of direct and strong product graphs from spectral properties of their factor graphs using a few heuristic assumptions. Numerical experiments showed that the proposed methods produced reasonable estimation with percentage errors confined within a +/-10% range for most eigenvalues.
Well-Formed Separator Sequences, with an Application to Hypergraph Drawing
Given a hypergraph $H$, the Planar Support problem asks whether there is a planar graph $G$ on the same vertex set as $H$ such that each hyperedge induces a connected subgraph of $G$. Planar Support is motivated by applications in graph drawing and data visualization. We show that Planar Support is fixed-parameter tractable when parameterized by the number of hyperedges in the input hypergraph and the outerplanarity number of the sought planar graph. To this end, we develop novel structural results for $r$-outerplanar triangulated disks, showing that they admit sequences of separators with structural properties enabling data reduction. This allows us to obtain a problem kernel for Planar Support, thus showing its fixed-parameter tractability.
Maximum matching width: new characterizations and a fast algorithm for dominating set
Published
• View Publication
• BIB
We give alternative definitions for maximum matching width, e.g. a graph $G$ has $\operatorname{mmw}(G) \leq k$ if and only if it is a subgraph of a chordal graph $H$ and for every maximal clique $X$ of $H$ there exists $A,B,C \subseteq X$ with $A \cup B \cup C=X$ and $|A|,|B|,|C| \leq k$ such that any subset of $X$ that is a minimal separator of $H$ is a subset of either $A, B$ or $C$. Treewidth and branchwidth have alternative definitions through intersections of subtrees, where treewidth focuses on nodes and branchwidth focuses on edges. We show that mm-width combines both aspects, focusing on nodes and on edges. Based on this we prove that given a graph $G$ and a branch decomposition of mm-width $k$ we can solve Dominating Set in time $O^*({8^k})$, thereby beating $O^*(3^{\operatorname{tw}(G)})$ whenever $\operatorname{tw}(G) > \log_3{8} \times k \approx 1.893 k$. Note that $\operatorname{mmw}(G) \leq \operatorname{tw}(G)+1 \leq 3 \operatorname{mmw}(G)$ and these inequalities are tight. Given only the graph $G$ and using the best known algorithms to find decompositions, maximum matching width will be better for solving Dominating Set whenever $\operatorname{tw}(G) > 1.549 \times \operatorname{mmw}(G)$.
The generic rigidity of triangulated spheres with blocks and holes
Published
• View Publication
• BIB
A simple graph G=(V,E) is 3-rigid if its generic bar-joint frameworks in R3 are infinitesimally rigid. Block and hole graphs are derived from triangulated spheres by the removal of edges and the addition of minimally rigid subgraphs, known as blocks, in some of the resulting holes. Combinatorial characterisations of minimal $3$-rigidity are obtained for these graphs in the case of a single block and finitely many holes or a single hole and finitely many blocks. These results confirm a conjecture of Whiteley from 1988 and special cases of a stronger conjecture of Finbow-Singh and Whiteley from 2013.
Bouquet algebra of toric ideals
To any toric ideal $I_A$, encoded by an integer matrix $A$, we associate a matroid structure called {\em the bouquet graph} of $A$ and introduce another toric ideal called {\em the bouquet ideal} of $A$. We show how these objects capture the essential combinatorial and algebraic information about $I_A$. Passing from the toric ideal to its bouquet ideal reveals a structure that allows us to classify several cases. For example, on the one end of the spectrum, there are ideals that we call {\em stable}, for which bouquets capture the complexity of various generating sets as well as the minimal free resolution. On the other end of the spectrum lie toric ideals whose various bases (e.g., minimal generating sets, Gröbner, Graver bases) coincide. Apart from allowing for classification-type results, bouquets provide a new way to construct families of examples of toric ideals with various interesting properties, such as robustness, genericity, and unimodularity. The new bouquet framework can be used to provide a characterization of toric ideals whose Graver basis, the universal Gröbner basis, any reduced Gröbner basis and any minimal generating set coincide.
On fixing sets of composition and corona product of graphs
A fixing set $\mathcal{F}$ of a graph $G$ is a set of those vertices of the graph $G$ which when assigned distinct labels removes all the automorphisms from the graph except the trivial one. The fixing number of a graph $G$, denoted by $fix(G)$, is the smallest cardinality of a fixing set of $G$. In this paper, we study the fixing number of composition product, $G_1[G_2]$ and corona product, $G_1 \odot G_2$ of two graphs $G_1$ and $G_2$ with orders $m$ and $n$ respectively. We show that for a connected graph $G_1$ and an arbitrary graph $G_2$ having $l\geq 1$ components $G_2^1$, $G_2^2$, ... $G_2^l,$ $mn-1\geq fix(G_1[G_2])\geq m\left(\sum \limits_{i=1}^{l} fix(G_2^i )\right)$. For a connected graph $G_1$ and an arbitrary graph $G_2$, which are not asymmetric, we prove that $fix(G_1\odot G_2)=m fix( G_2)$. Further, for an arbitrary connected graph $G_{1}$ and an arbitrary graph $G_{2}$ we show that $fix(G_1\odot G_2)= max\{fix(G_1), m fix(G_2)\}$.
On the finite geometry of $W(23,16)$
We study the local geometry of the zero pattern of a weighing matrix $W(23,16)$. The geometry consists of $23$ lines and $23$ points where each line contains $7$ points. The incidence rules are that every two lines intersect in an odd number of points, and the dual statement holds as well. We show that more than $50\%$ of the pairs of lines must intersect at a single point, and construct a regular weighted graph out of this geometry. This might indicate that a weighing matrix $W(23,16)$ does not exist.