graph
35436 papers tagged with this keyword
Clique-partitioned graphs
Published in Discrete Applied Math. 314 (2022) 238--248
• View Publication
• BIB
A graph $G$ of order $nv$ where $n\geq 2$ and $v\geq 2$ is said to be weakly $(n,v)$-clique-partitioned if its vertex set can be decomposed in a unique way into $n$ vertex-disjoint $v$-cliques. It is strongly $(n,v)$-clique-partitioned if in addition, the only $v$-cliques of $G$ are the $n$ cliques in the decomposition. We determine the structure of such graphs which have the largest possible number of edges.
Ubiquity in graphs II: Ubiquity of graphs with nowhere-linear end structure
Published
• View Publication
• BIB
A graph $G$ is said to be $\preceq$-ubiquitous, where $\preceq$ is the minor relation between graphs, if whenever $Γ$ is a graph with $nG \preceq Γ$ for all $n \in \mathbb{N}$, then one also has $\aleph_0 G \preceq Γ$, where $αG$ is the disjoint union of $α$ many copies of $G$. A well-known conjecture of Andreae is that every locally finite connected graph is $\preceq$-ubiquitous.
In this paper we give a sufficient condition on the structure of the ends of a graph~$G$ which implies that $G$ is $\preceq$-ubiquitous. In particular this implies that the full grid is $\preceq$-ubiquitous.
Separations of sets
Published
• View Publication
• BIB
Abstract separation systems are a new unifying framework in which separations of graph, matroids and other combinatorial structures can be expressed and studied. We characterize the abstract separation systems that have representations as separation systems of graphs, sets, or set bipartitions.
A minimal counterexample to a strengthening of Perles' conjecture
In this paper, we present a minimal counterexample to a conjecture of Perles that answers a question of Haase and Ziegler. The example is a simple 4-polytope that has an induced 3-connected 3-regular subgraph, whose graph complement is connected. This subgraph is planar and not the graph of a facet of the polytope.
Cambrian triangulations and their tropical realizations
Published in European J. Combin., 83, 19 pp., 2020
• View Publication
• BIB
This paper develops a Cambrian extension of the work of C. Ceballos, A. Padrol and C. Sarmiento on $ν$-Tamari lattices and their tropical realizations. For any signature $\varepsilon \in \{\pm\}^n$, we consider a family of $\varepsilon$-trees in bijection with the triangulations of the $\varepsilon$-polygon. These $\varepsilon$-trees define a flag regular triangulation $\mathcal{T}^\varepsilon$ of the subpolytope $\operatorname{conv} \{(\mathbf{e}_{i_\bullet}, \mathbf{e}_{j_\circ}) \, | \, 0 \le i_\bullet < j_\circ \le n+1 \}$ of the product of simplices $\triangle_{\{0_\bullet, \dots, n_\bullet\}} \times \triangle_{\{1_\circ, \dots, (n+1)_\circ\}}$. The oriented dual graph of the triangulation $\mathcal{T}^\varepsilon$ is the Hasse diagram of the (type $A$) $\varepsilon$-Cambrian lattice of N. Reading. For any $I_\bullet \subseteq \{0_\bullet, \dots, n_\bullet\}$ and $J_\circ \subseteq \{1_\circ, \dots, (n+1)_\circ\}$, we consider the restriction $\mathcal{T}^\varepsilon_{I_\bullet, J_\circ}$ of the triangulation $\mathcal{T}^\varepsilon$ to the face $\triangle_{I_\bullet} \times \triangle_{J_\circ}$. Its dual graph is naturally interpreted as the increasing flip graph on certain $(\varepsilon, I_\bullet, J_\circ)$-trees, which is shown to be a lattice generalizing in particular the $ν$-Tamari lattices in the Cambrian setting. Finally, we present an alternative geometric realization of $\mathcal{T}^\varepsilon_{I_\bullet, J_\circ}$ as a polyhedral complex induced by a tropical hyperplane arrangement.
An Optimal $χ$-Bound for ($P_6$, diamond)-Free Graphs
Published
• View Publication
• BIB
Given two graphs $H_1$ and $H_2$, a graph $G$ is $(H_1,H_2)$-free if it contains no induced subgraph isomorphic to $H_1$ or $H_2$. Let $P_t$ be the path on $t$ vertices and $K_t$ be the complete graph on $t$ vertices. The diamond is the graph obtained from $K_4$ by removing an edge. In this paper we show that every ($P_6$, diamond)-free graph $G$ satisfies $χ(G)\le ω(G)+3$, where $χ(G)$ and $ω(G)$ are the chromatic number and clique number of $G$, respectively. Our bound is attained by the complement of the famous 27-vertex Schläfli graph. Our result unifies previously known results on the existence of linear $χ$-binding functions for several graph classes. Our proof is based on a reduction via the Strong Perfect Graph Theorem to imperfect ($P_6$, diamond)-free graphs, a careful analysis of the structure of those graphs, and a computer search that relies on a well-known characterization of 3-colourable $(P_6,K_3)$-free graphs.
The Star Dichromatic Number
We introduce a new notion of circular colourings for digraphs. The idea of this quantity, called star dichromatic number $\vecχ^\ast(D)$ of a digraph $D$, is to allow a finer subdivision of digraphs with the same dichromatic number into such which are "easier" or "harder" to colour by allowing fractional values. This is related to a coherent notion for the vertex arboricity of graphs introduced by Wang et al. and resembles the concept of the star chromatic number of graphs introduced by Vince in the framework of digraph colouring. After presenting basic properties of the new quantity, including range, simple classes of digraphs, general inequalities and its relation to integer counterparts as well as other concepts of fractional colouring, we compare our notion with the notion of circular colourings for digraphs introduced by Bokal et al. and point out similarities as well as differences in certain situations. As it turns out, the star dichromatic number is a lower bound for the circular dichromatic number of Bokal et al., but the gap between the numbers may be arbitrarily close to $1$. We conclude with a discussion of the case of planar digraphs and point out some open problems.
On Adjacency and e-Adjacency in General Hypergraphs: Towards a New e-Adjacency Tensor
Published
• View Publication
• BIB
In graphs, the concept of adjacency is clearly defined: it is a pairwise relationship between vertices. Adjacency in hypergraphs has to integrate hyperedge multi-adicity: the concept of adjacency needs to be defined properly by introducing two new concepts: $k$-adjacency - $k$ vertices are in the same hyperedge - and e-adjacency - vertices of a given hyperedge are e-adjacent. In order to build a new e-adjacency tensor that is interpretable in terms of hypergraph uniformisation, we designed two processes: the first is a hypergraph uniformisation process (HUP) and the second is a polynomial homogeneisation process (PHP). The PHP allows the construction of the e-adjacency tensor while the HUP ensures that the PHP keeps interpretability. This tensor is symmetric and can be fully described by the number of hyperedges; its order is the range of the hypergraph, while extra dimensions allow to capture additional hypergraph structural information including the maximum level of $k$-adjacency of each hyperedge. Some results on spectral analysis are discussed.
Hypergraph Modeling and Visualisation of Complex Co-occurence Networks
Published
• View Publication
• BIB
Finding inherent or processed links within a dataset allows to discover potential knowledge. The main contribution of this article is to define a global framework that enables optimal knowledge discovery by visually rendering co-occurences (i.e. groups of linked data instances attached to a metadata reference) - either inherently present or processed - from a dataset as facets. Hypergraphs are well suited for modeling co-occurences since they support multi-adicity whereas graphs only support pairwise relationships. This article introduces an efficient navigation between different facets of an information space based on hypergraph modelisation and visualisation.
Gallai-Ramsey number of odd cycles with chords
Published
• View Publication
• BIB
A Gallai coloring is a coloring of the edges of a complete graph without rainbow triangles, and a Gallai $k$-coloring is a Gallai coloring that uses at most $k$ colors. For an integer $k\geq 1$, the Gallai-Ramsey number $GR_k(H)$ of a given graph $H$ is the least positive integer $N$ such that every Gallai $k$-coloring of the complete graph $K_N$ contains a monochromatic copy of $H$. Let $C_m$ denote the cycle on $m\ge4$ vertices and let $Θ_m$ denote the family of graphs obtained from $C_m$ by adding an additional edge joining two non-consecutive vertices. We prove that $GR_k(Θ_{2n+1})=n\cdot 2^k+1$ for all $k\geq 1$ and $n\geq 3$. This implies that $GR_k(C_{2n+1})=n\cdot 2^k+1$ all $k\geq 1$ and $n\geq 3$. Our result yields a unified proof for the Gallai-Ramsey number of all odd cycles on at least five vertices.
Empilements compacts avec trois tailles de disque
Discs form a compact packing of the plane if they are interior disjoint and the graph which connects the center of mutually tangent discs is triangulated. There is only one compact packing by discs all of the same size, called hexagonal compact packing. It has been previously proven that there are exactly $9$ values of $r$ such that there exists a compact packing with discs of radius $1$ and $r$. This paper shows that there are exactly $164$ pairs $(r,s)$ such that there exists a compact packing with discs of radius $1$, $r$ and $s$. In all these $164$ cases, there exists a periodic packing.
An inertial upper bound for the quantum independence number of a graph
A well known upper bound for the independence number $α(G)$ of a graph $G$, is that \[ α(G) \le n^0 + \min\{n^+ , n^-\}, \] where $(n^+, n^0, n^-)$ is the inertia of $G$. We prove that this bound is also an upper bound for the quantum independence number $α_q$(G), where $α_q(G) \ge α(G)$. We identify numerous graphs for which $α(G) = α_q(G)$ and demonstrate that there are graphs for which the above bound is not exact with any Hermitian weight matrix, for $α(G)$ and $α_q(G)$. This result complements results by the authors that many spectral lower bounds for the chromatic number are also lower bounds for the quantum chromatic number.
Upward Planar Morphs
Published
• View Publication
• BIB
We prove that, given two topologically-equivalent upward planar straight-line drawings of an $n$-vertex directed graph $G$, there always exists a morph between them such that all the intermediate drawings of the morph are upward planar and straight-line. Such a morph consists of $O(1)$ morphing steps if $G$ is a reduced planar $st$-graph, $O(n)$ morphing steps if $G$ is a planar $st$-graph, $O(n)$ morphing steps if $G$ is a reduced upward planar graph, and $O(n^2)$ morphing steps if $G$ is a general upward planar graph. Further, we show that $Ω(n)$ morphing steps might be necessary for an upward planar morph between two topologically-equivalent upward planar straight-line drawings of an $n$-vertex path.
General lemmas for Berge-Turán hypergraph problems
Published
• View Publication
• BIB
For a graph $F$, a hypergraph $\mathcal{H}$ is a Berge copy of $F$ (or a Berge-$F$ in short), if there is a bijection $f : E(F) \rightarrow E(\mathcal{H})$ such that for each $e \in E(F)$ we have $e \subset f(e)$. A hypergraph is Berge-$F$-free if it does not contain a Berge copy of $F$. We denote the maximum number of hyperedges in an $n$-vertex $r$-uniform Berge-$F$-free hypergraph by $\mathrm{ex}_r(n,\textrm{Berge-}F).$
In this paper we prove two general lemmas concerning the maximum size of a Berge-$F$-free hypergraph and use them to establish new results and improve several old results. In particular, we give bounds on $\mathrm{ex}_r(n,\textrm{Berge-}F)$ when $F$ is a path (reproving a result of Győri, Katona and Lemons), a cycle (extending a result of Füredi and Özkahya), a theta graph (improving a result of He and Tait), or a $K_{2,t}$ (extending a result of Gerbner, Methuku and Vizer).
We also establish new bounds when $F$ is a clique (which implies extensions of results by Maherani and Shahsiah and by Gyárfás) and when $F$ is a general tree.
On the Area-Universality of Triangulations
Published
• View Publication
• BIB
We study straight-line drawings of planar graphs with prescribed face areas. A plane graph is 'area-universal' if for every area assignment on the inner faces, there exists a straight-line drawing realizing the prescribed areas.
For triangulations with a special vertex order, we present a sufficient criterion for area-universality that only requires the investigation of one area assignment. Moreover, if the sufficient criterion applies to one plane triangulation, then all embeddings of the underlying planar graph are also area-universal. Until now, it is open whether area-universality is a property of a plane or planar graph.
We use the developed machinery to present area-universal families of triangulations. Among them we characterize area-universality of accordion graphs showing that area-universal and non-area-universal graphs may be structural very similar.
The generalized connectivity of some regular graphs
The generalized $k$-connectivity $κ_{k}(G)$ of a graph $G$ is a parameter that can measure the reliability of a network $G$ to connect any $k$ vertices in $G$, which is proved to be NP-complete for a general graph $G$. Let $S\subseteq V(G)$ and $κ_{G}(S)$ denote the maximum number $r$ of edge-disjoint trees $T_{1}, T_{2}, \cdots, T_{r}$ in $G$ such that $V(T_{i})\bigcap V(T_{j})=S$ for any $i, j \in \{1, 2, \cdots, r\}$ and $i\neq j$. For an integer $k$ with $2\leq k\leq n$, the {\em generalized $k$-connectivity} of a graph $G$ is defined as $κ_{k}(G)= min\{κ_{G}(S)|S\subseteq V(G)$ and $|S|=k\}$.
In this paper, we study the generalized $3$-connectivity of some general $m$-regular and $m$-connected graphs $G_{n}$ constructed recursively and obtain that $κ_{3}(G_{n})=m-1$, which attains the upper bound of $κ_{3}(G)$ [Discrete Mathematics 310 (2010) 2147-2163] given by Li {\em et al.} for $G=G_{n}$. As applications of the main result, the generalized $3$-connectivity of many famous networks such as the alternating group graph $AG_{n}$, the $k$-ary $n$-cube $Q_{n}^{k}$, the split-star network $S_{n}^{2}$ and the bubble-sort-star graph $BS_{n}$ etc. can be obtained directly.
Bipartite Ramsey numbers of large cycles
Published
• View Publication
• BIB
For an integer $r\geq 2$ and bipartite graphs $H_i$, where $1\leq i\leq r$, the bipartite Ramsey number $br(H_1,H_2,\ldots,H_r)$ is the minimum integer $N$ such that any $r$-edge coloring of the complete bipartite graph $K_{N,N}$ contains a monochromatic subgraph isomorphic to $H_i$ in color $i$ for some $i$, $1\leq i\leq r$. We show that for $α_1,α_2>0$, $br(C_{2\lfloor α_1 n\rfloor},C_{2\lfloor α_2 n\rfloor})=(α_1+α_2+o(1))n$. We also show that if $r\geq 3, α_1,α_2>0, α_{j+2}\geq [(j+2)!-1]\sum^{j+1}_{i=1} α_i$ for $j=1,2,\ldots,r-2$, then $br(C_{2\lfloor α_1 n\rfloor},C_{2\lfloor α_2 n\rfloor},\ldots,C_{2\lfloor α_r n\rfloor})=(\sum^r_{j=1} α_j+o(1))n.$ For $ξ>0$ and sufficiently large $n$, let $G$ be a bipartite graph with bipartition $\{V_1,V_2\}$, $|V_1|=|V_2|=N$, where $N=(2+8ξ)n$. We prove that if $δ(G)>(\frac{7}{8}+9ξ)N$, then any $2$-edge coloring of $G$ contains a monochromatic copy of $C_{2n}$.
Recognizing Generating Subgraphs in Graphs without Cycles of Lengths 6 and 7
Published
• View Publication
• BIB
Let $B$ be an induced complete bipartite subgraph of $G$ on vertex sets of bipartition $B_{X}$ and $B_{Y}$. The subgraph $B$ is {\it generating} if there exists an independent set $S$ such that each of $S \cup B_{X}$ and $S \cup B_{Y}$ is a maximal independent set in the graph. If $B$ is generating, it \textit{produces} the restriction $w(B_{X})=w(B_{Y})$. Let $w:V(G) \longrightarrow\mathbb{R}$ be a weight function. We say that $G$ is $w$-well-covered if all maximal independent sets are of the same weight. The graph $G$ is $w$-well-covered if and only if $w$ satisfies all restrictions produced by all generating subgraphs of $G$. Therefore, generating subgraphs play an important role in characterizing weighted well-covered graphs. It is an \textbf{NP}-complete problem to decide whether a subgraph is generating, even when the subgraph is isomorphic to $K_{1,1}$ \cite{bnz:related}. We present a polynomial algorithm for recognizing generating subgraphs for graphs without cycles of lengths 6 and 7.
The Hyper-Zagreb Index of Trees and Unicyclic Graphs
Published
• View Publication
• BIB
Applications in chemistry motivated mathematicians to define different topological indices for different types of graphs. The Hyper-Zagreb index (HM) is an important tool as it integrates the first and the second Zagreb indices. In this paper, we characterize the trees and unicyclic graphs with the first four and first eight greatest HM-value, respectively.
Maximum Eccentric Connectivity Index for Graphs with Given Diameter
Published
• View Publication
• BIB
The eccentricity of a vertex $v$ in a graph $G$ is the maximum distance between $v$ and any other vertex of $G$. The diameter of a graph $G$ is the maximum eccentricity of a vertex in $G$. The eccentric connectivity index of a connected graph is the sum over all vertices of the product between eccentricity and degree. Given two integers $n$ and $D$ with $D\leq n-1$, we characterize those graphs which have the largest eccentric connectivity index among all connected graphs of order $n$ and diameter $D$. As a corollary, we also characterize those graphs which have the largest eccentric connectivity index among all connected graphs of a given order $n$.