graph
34516 papers tagged with this keyword
General sharp upper bounds on the total coalition number
Let $G(V,E)$ be a finite, simple, isolate-free graph. Two disjoint sets $A,B\subset V$ form a total coalition in $G$, if none of them is a total dominating set, but their union $A\cup B$ is a total dominating set. A vertex partition $Ψ=\{C_1,C_2,\dots,C_k\}$ is a total coalition partition, if none of the partition classes is a total dominating set, meanwhile for every $i\in\{1,2,\dots,k\}$ there exists a distinct $j\in\{1,2,\dots,k\}$ such that $C_i$ and $C_j$ form a total coalition. The maximum cardinality of a total coalition partition of $G$ is the total coalition number of $G$ and denoted by $TC(G)$. We give a general sharp upper bound on the total coalition number as a function of the maximum degree. We further investigate this optimal case and study the total coalition graph. We show that every graph can be realised as a total coalition graph.
Isomorphism Classes of Vertex-Transitive Tournaments
Tournaments are graphs obtained by assigning a direction for every edge in an undirected complete graph. We give a formula for the number of isomorphism classes of vertex-transitive tournaments with prime order. For that, we introduce Cayley tournaments, which are special Cayley digraphs, and show that there is a one to one identification between the isomorphism classes of vertex-transitive tournaments with prime order and the isomorphism classes of Cayley tournaments with prime order.
Treewidth is NP-Complete on Cubic Graphs (and related results)
In this paper, we give a very simple proof that Treewidth is NP-complete; this proof also shows NP-completeness on the class of co-bipartite graphs. We then improve the result by Bodlaender and Thilikos from 1997 that Treewidth is NP-complete on graphs with maximum degree at most 9, by showing that Treewidth is NP-complete on cubic graphs.
Coloring lines and Delaunay graphs with respect to boxes
Published
• View Publication
• BIB
The goal of this paper is to show the existence (using probabilistic tools) of configurations of lines, boxes, and points with certain interesting combinatorial properties.
(i) First, we construct a family of $n$ lines in $\mathbb{R}^3$ whose intersection graph is triangle-free of chromatic number $Ω(n^{1/15})$. This improves the previously best known bound $Ω(\log\log n)$ by Norin, and is also the first construction of a triangle-free intersection graph of simple geometric objects with polynomial chromatic number.
(ii) Second, we construct a set of $n$ points in $\mathbb{R}^d$, whose Delaunay graph with respect to axis-parallel boxes has independence number at most $n\cdot (\log n)^{-(d-1)/2+o(1)}$. This extends the planar case considered by Chen, Pach, Szegedy, and Tardos.
Random perfect matchings in regular graphs
Published in Random Struct. Algorithms., 64 (2024): 3-14
• View Publication
• BIB
We prove that in all regular robust expanders $G$ every edge is asymptotically equally likely contained in a uniformly chosen perfect matching $M$. We also show that given any fixed matching or spanning regular graph $N$ in $G$, the random variable $|M\cap E(N)|$ is approximately Poisson distributed. This in particular confirms a conjecture and a question due to Spiro and Surya, and complements results due to Kahn and Kim who proved that in a regular graph every vertex is asymptotically equally likely contained in a uniformly chosen matching. Our proofs rely on the switching method and the fact that simple random walks mix rapidly in robust expanders.
Certain graphs with exactly one irreducible $T$-module with endpoint $1$, which is thin: the pseudo-distance-regularized case
Let $Γ$ denote a finite, simple and connected graph. Fix a vertex $x$ of $Γ$ which is not a leaf and let $T=T(x)$ denote the Terwilliger algebra of $Γ$ with respect to $x$. Assume that the unique irreducible $T$-module with endpoint $0$ is thin, or equivalently that $Γ$ is pseudo-distance-regular around $x$. We consider the property that $Γ$ has, up to isomorphism, a unique irreducible $T$-module with endpoint $1$, and that this $T$-module is thin. The main result of the paper is a combinatorial characterization of this property.
Induced subgraph density. I. A loglog step towards Erdos-Hajnal
In 1977, Erdős and Hajnal made the conjecture that, for every graph $H$, there exists $c>0$ such that every $H$-free graph $G$ has a clique or stable set of size at least $|G|^c$; and they proved that this is true with $ |G|^c$ replaced by $2^{c\sqrt{\log |G|}}$. Until now, there has been no improvement on this result (for general $H$).
We prove a strengthening: that for every graph $H$, there exists $c>0$ such that every $H$-free graph $G$ with $|G|\ge 2$ has a clique or stable set of size at least $$2^{c\sqrt{\log |G|\log\log|G|}}.$$ Indeed, we prove the corresponding strengthening of a theorem of Fox and Sudakov, which in turn was a common strengthening of theorems of Rödl, Nikiforov, and the theorem of Erdős and Hajnal mentioned above.
Effective bounds for induced size-Ramsey numbers of cycles
The induced size-Ramsey number $\hat{r}_\text{ind}^k(H)$ of a graph $H$ is the smallest number of edges a (host) graph $G$ can have such that for any $k$-coloring of its edges, there exists a monochromatic copy of $H$ which is an induced subgraph of $G$. In 1995, in their seminal paper, Haxell, Kohayakawa and Luczak showed that for cycles, these numbers are linear for any constant number of colours, i.e., $\hat{r}_\text{ind}^k(C_n)\leq Cn$ for some $C=C(k)$. The constant $C$ comes from the use of the regularity lemma, and has a tower type dependence on $k$. In this paper we significantly improve these bounds, showing that $\hat{r}_\text{ind}^k(C_n)\leq O(k^{102})n$ when $n$ is even, thus obtaining only a polynomial dependence of $C$ on $k$. We also prove $\hat{r}_\text{ind}^k(C_n)\leq e^{O(k\log k)}n$ for odd $n$, which almost matches the lower bound of $e^{Ω(k)}n$. Finally, we show that the ordinary (non-induced) size-Ramsey number satisfies $\hat{r}^k(C_n)=e^{O(k)}n$ for odd $n$. This substantially improves the best previous result of $e^{O(k^2)}n$, and is best possible, up to the implied constant in the exponent. To achieve our results, we present a new host graph construction which, roughly speaking, reduces our task to finding a cycle of approximate given length in a graph with local sparsity.
Chvátal-Erdős condition for pancyclicity
An $n$-vertex graph is Hamiltonian if it contains a cycle that covers all of its vertices and it is pancyclic if it contains cycles of all lengths from $3$ up to $n$. A celebrated meta-conjecture of Bondy states that every non-trivial condition implying Hamiltonicity also implies pancyclicity (up to possibly a few exceptional graphs). We show that every graph $G$ with $κ(G) > (1+o(1)) α(G)$ is pancyclic. This extends the famous Chvátal-Erdős condition for Hamiltonicity and proves asymptotically a $30$-year old conjecture of Jackson and Ordaz.
Hat guessing number of planar graphs is at least 22
We analyze the version of the deterministic Hats game. In this paper, we present new constructors, i.e. theorems that allow built winning strategies for the sages on different graphs. Using this technique we calculate the hat guessing number ${\text{HG}}_s(G)$ for paths and "petunias", and present a planar graph $G$ for which ${\text{HG}}_1(G) \ge 22$.
On the Biplanarity of Blowups
Published in Journal of Graph Algorithms and Applications, 28(2), 83-99, 2024
• View Publication
• BIB
The 2-blowup of a graph is obtained by replacing each vertex with two non-adjacent copies; a graph is biplanar if it is the union of two planar graphs. We disprove a conjecture of Gethner that 2-blowups of planar graphs are biplanar: iterated Kleetopes are counterexamples. Additionally, we construct biplanar drawings of 2-blowups of planar graphs whose duals have two-path induced path partitions, and drawings with split thickness two of 2-blowups of 3-chromatic planar graphs, and of graphs that can be decomposed into a Hamiltonian path and a dual Hamiltonian path.
On the Clean Graph of a Ring
Let R be a ring (not necessarily commutative ring) with identity. The clean graph Cl(R) of a ring R is a graph with vertices in the form of ordered pair (e; u), where e is an idempotent of the ring R and u is a unit of the ring R. Two distinct vertices (e; u) and (f; v) are adjacent if and only if ef = fe = 0 or uv = vu = 1. In this paper, we determine the Wiener index, Matching number of the clean graph of the ring Zn.
Contractions and extractions on twisted bialgebras and coloured Fock functors
We introduce a notion of extraction-contraction coproduct on twisted bialgebras, that is to say bialgebras in the category of linear species. If $P$ is a twisted bialgebra, a contraction-extraction coproduct sends $P[X]$ to $P[X/\sim]\otimes P[X]$ for any finite set $X$ and any equivalence relation $\sim$ on $X$, with a coassociativity constraint and compatibilities with the product and coproduct of $P$. We prove that if $P$ is a twisted bialgebra with an extraction-contraction coproduct, then $P\circ Com$ is a bialgebra in the category of coalgebraic species, that is to say species in the category of coalgebras.We then introduce a coloured version of the bosonic Fock functor. This induces a bifunctor which associates to any bialgebra $(V,\cdot,δ_V)$ and to any twisted bialgebra $P$ with an extraction-contraction coproduct a comodule-bialgebra $F_V[P]$: this object inherits a product $m$ and two coproducts $Δ$ and $δ$, such that $(F_V[P],m,Δ)$ is a bialgebra in the category of right $(F_V[P],m,δ)$-comodules.As an example, this is applied to the twisted bialgebra of graphs. The coloured Fock functors then allow to extend the construction of the double bialgebra of graphs to double bialgebras of graphs which vertices are decorated by elements of any bialgebra $V$. Other examples (on mixed graphs, hypergraphs, noncrossing partitions...) will be given in a series of forthcoming papers.
Hopf-algebraic structures on mixed graphs
We introduce two coproducts on mixed graphs (that is to say graphs with both oriented and unoriented edges), the first one by separation of the vertices into two parts, and the second one given by contraction and extractions of subgraphs. We show that, with the disjoint union product, this gives a double bialgebra, that is to say that the first coproduct makes it a Hopf algebra in the category of right comodules over the second coproduct. This structure implies the existence of a unique polynomial invariant on mixed graphs compatible with the product and both coproducts: we prove that it is the (strong) chromatic polynomial of Beck, Bogart and Pham.Using the action of the monoid of characters, we relate it to the weak chromatic polynomial, as well to Ehrhart polynomials and to a polynomial invariants related to linear extensions. As applications, we give an algebraic proof of the link between the values of the strong chromatic polynomial at negative values and acyclic orientations (a result due to Beck, Blado, Crawford, Jean-Louis and Young) and obtain a combinatorial description of the antipode of the Hopf algebra of mixed graphs.
Functionality of box intersection graphs
Published
• View Publication
• BIB
Functionality is a graph complexity measure that extends a variety of parameters, such as vertex degree, degeneracy, clique-width, or twin-width. In the present paper, we show that functionality is bounded for box intersection graphs in $\mathbb{R}^1$, i.e. for interval graphs, and unbounded for box intersection graphs in $\mathbb{R}^3$. We also study a parameter known as symmetric difference, which is intermediate between twin-width and functionality, and show that this parameter is unbounded both for interval graphs and for unit box intersection graphs in $\mathbb{R}^2$.
Embedding loose spanning trees in 3-uniform hypergraphs
In 1995, Komlós, Sárközy and Szemerédi showed that every large $n$-vertex graph with minimum degree at least $(1/2 + γ)n$ contains all spanning trees of bounded degree. We consider a generalization of this result to loose spanning hypertrees in 3-graphs, that is, linear hypergraphs obtained by successively appending edges sharing a single vertex with a previous edge. We show that for all $γ$ and $Δ$, and $n$ large, every $n$-vertex 3-uniform hypergraph of minimum vertex degree $(5/9 + γ)\binom{n}{2}$ contains every loose spanning tree $T$ with maximum vertex degree $Δ$. This bound is asymptotically tight, since some loose trees contain perfect matchings.
The Packing Chromatic Number of the Infinite Square Grid is 15
Published
• View Publication
• BIB
A packing $k$-coloring is a natural variation on the standard notion of graph $k$-coloring, where vertices are assigned numbers from $\{1, \ldots, k\}$, and any two vertices assigned a common color $c \in \{1, \ldots, k\}$ need to be at a distance greater than $c$ (as opposed to $1$, in standard graph colorings). Despite a sequence of incremental work, determining the packing chromatic number of the infinite square grid has remained an open problem since its introduction in 2002. We culminate the search by proving this number to be 15. We achieve this result by improving the best-known method for this problem by roughly two orders of magnitude. The most important technique to boost performance is a novel and surprisingly effective propositional encoding. Additionally, we developed a new symmetry-breaking method. Since both new techniques are more complex than existing techniques for this problem, a verified approach is required to trust them. We include both techniques in a proof of unsatisfiability, reducing the trusted core to the correctness of the direct encoding.
Number of Matchings of Low Order in (4,6)-Fullerene Graphs
Published in Number of Matchings of Low Order in (4,6)-Fullerene Graphs,MATCH Commun. Math. Comput. Chem., 77(3)(2017), 707--724
• Search Publication
We obtain the formulae for the numbers of 4-matchings and 5-matchings in terms of the number of hexagonal faces in (4, 6)-fullerene graphs by studying structural classification of 6-cycles and some local structural properties, which correct the corresponding wrong results published. Furthermore, we obtain a formula for the number of 6-matchings in tubular (4, 6)-fullerenes in terms of the number of hexagonal faces, and a formula for the number of 6-matchings in the other (4,6)-fullerenes in terms of the numbers of hexagonal faces and dual-squares.
Rational Normal Curves, Chip Firing and Free Resolutions
We study rational normal curves via a connection to the chip firing game. A key technique, introduced in this article, is to interpret the defining ideal of the rational normal curve as an ideal associated to a generalisation of a cycle graph called a parcycle. This association allows us to study rational normal curves by combinatorial methods. Given any Cohen-Macaulay initial monomial ideal of the rational normal curve, we explicitly construct (via this association) a corresponding Gröbner degeneration and an explicit combinatorial minimal free resolution of this Gröbner degeneration. Applications include minimal cellular resolutions for each Cohen-Macaulay initial monomial ideal of the rational normal curve, explicit combinatorial formulas for Hilbert series of certain lex-segment ideals and a combinatorial perspective on the Eagon-Northcott complex associated to the rational normal curve.
On the size of maximum cut in planar graphs
We show that the size of maximum cut in a planar graph with $m$ edges is at least $2m/3$. We also show that maximal planar graphs saturate this bound.