graph
34665 papers tagged with this keyword
On the multiplicities of digraph eigenvalues
Published
• View Publication
• BIB
We show various upper bounds for the order of a digraph (or a mixed graph) whose Hermitian adjacency matrix has an eigenspace of prescribed codimension. In particular, this generalizes the so-called absolute bound for (simple) graphs first shown by Delsarte, Goethals, and Seidel (1977) and extended by Bell and Rowlinson (2003). In doing so, we also adapt the Blokhuis' theory (1983) of harmonic analysis in real hyperbolic spaces to that in complex hyperbolic spaces.
Polyhedral study of the Convex Recoloring problem
A coloring of the vertices of a connected graph is convex if each color class induces a connected subgraph. We address the convex recoloring (CR) problem defined as follows. Given a graph $G$ and a coloring of its vertices, recolor a minimum number of vertices of $G$ so that the resulting coloring is convex. This problem, known to be NP-hard even on paths, was firstly motivated by applications on perfect phylogenies. In this work, we study CR on general graphs from a polyhedral point of view. First, we introduce a full-dimensional polytope based on the idea of connected subgraphs, and present a class of valid inequalities with righthand side one that comprises all facet-defining inequalities with binary coefficients when the input graph is a tree. Moreover, we define a general class of inequalities with righthand side in $\{1, \ldots, k\}$, where $k$ is the amount of colors used in the initial coloring, and show sufficient conditions for validity and facetness of such inequalities. Finally, we report on computational experiments for an application on mobile networks that can be modeled by the polytope of CR on paths. We evaluate the potential of the proposed inequalities to reduce the integrality gaps.
A bound for the distinguishing index of regular graphs
Published in Europ. J. Combin. 84 (2020) 103145
• View Publication
• BIB
An edge-colouring of a graph is distinguishing, if the only automorphism which preserves the colouring is the identity. It has been conjectured that all but finitely many connected, finite, regular graphs admit a distinguishing edge-colouring with two colours. We show that all such graphs except $K_2$ admit a distinguishing edge-colouring with three colours. This result also extends to infinite, locally finite graphs. Furthermore, we are able to show that there are arbitrary large infinite cardinals $κ$ such that every connected $κ$-regular graph has distinguishing edge-colouring with two colours.
Separable elements and splittings of Weyl groups
Published in Adv. Math. 374 (2020)
• View Publication
• BIB
We continue the study of separable elements in finite Weyl groups. These elements generalize the well-studied class of separable permutations. We show that the multiplication map $W/U \times U \to W$ is a length-additive bijection, or splitting, of the Weyl group $W$ when $U$ is an order ideal in right weak order generated by a separable element; this generalizes a result for the symmetric group, answering an open problem of Wei.
For a generalized quotient of the symmetric group, we show that this multiplication map is a bijection if and only if $U$ is an order ideal in right weak order generated by a separable element, thereby classifying those generalized quotients which induce splittings of the symmetric group, resolving a problem of Björner and Wachs from 1988. We also prove that this map is always surjective when $U$ is an order ideal in right weak order. Interpreting these sets of permutations as linear extensions of 2-dimensional posets gives the first direct combinatorial proof of an inequality due originally to Sidorenko in 1991, answering an open problem Morales, Pak, and Panova. We also prove a new $q$-analog of Sidorenko's formula. All of these results are conjectured to extend to arbitrary finite Weyl groups.
Finally, we show that separable elements in $W$ are in bijection with the faces of all dimensions of several copies of the graph associahedron of the Dynkin diagram of $W$. This correspondence associates to each separable element $w$ a certain nested set; we give product formulas for the rank generating functions of the principal upper and lower order ideals generated by $w$ in terms of these nested sets, generalizing several known formulas.
All $2$-transitive groups have the EKR-module property
Published
• View Publication
• BIB
We prove that every 2-transitive group has a property called the EKR-module property. This property gives a characterization of the maximum intersecting sets of permutations in the group. Specifically, the characteristic vector of any maximum intersecting set in a 2-transitive group is the linear combination of the characteristic vectors of the stabilizers of a points and their cosets. We also consider when the derangement graph of a 2-transitive group is connected and when a maximum intersecting set is a subgroup or a coset of a subgroup.
Wheels in planar graphs and Hajós graphs
Published
• View Publication
• BIB
It was conjectured by Hajós that graphs containing no $K_5$-subdivision are 4-colorable. Previous results show that any possible minimum counterexample to Hajós' conjecture, called Hajós graph, is 4-connected but not 5-connected. In this paper, we show that if a Hajós graph admits a 4-cut or 5-cut with a planar side then the planar side must be small or contains a special wheel. This is a step in our effort to reduce Hajós' conjecture to the Four Color Theorem.
List colouring of two matroids through reduction to partition matroids
In the list coloring problem for two matroids, we are given matroids $M_1=(S,{\cal I}_1)$ and $M_2=(S,{\cal I}_2)$ on the same ground set $S$, and the goal is to determine the smallest number $k$ such that given arbitrary lists $L_s$ of $k$ colors for $s\in S$, it is possible to choose a color from each list so that every monochromatic set is independent in both $M_1$ and $M_2$. When both $M_1$ and $M_2$ are partition matroids, Galvin's list coloring theorem for bipartite graphs gives the answer. One of the main open questions is to decide if there exists a constant $c$ such that if the coloring number is $k$ (i.e., the ground set can be partitioned into $k$ common independent sets), then the list coloring number is at most $c\cdot k$. We consider matroid classes that appear naturally in combinatorial optimization problems, namely graphic matroids, paving matroids and gammoids. We show that if both matroids are from these fundamental classes, then the list coloring number is at most twice the coloring number.
The proof is based on a new approach that reduces a matroid to a partition matroid without increasing its coloring number too much, and might be of independent combinatorial interest. In particular, we show that if $M=(S,{\cal I})$ is a matroid in which $S$ can be partitioned into $k$ independent sets, then there exists a partition matroid $N=(S,{\cal J})$ with ${\cal J}\subseteq{\cal I}$ in which $S$ can be partitioned into (A) $k$ independent sets if $M$ is a transversal matroid, (B) $2k-1$ independent sets if $M$ is a graphic matroid, (C) $\lceil kr/(r-1)\rceil$ independent sets if $M$ is a paving matroid of rank $r$, and (D) $2k-2$ independent sets if $M$ is a gammoid. We extend our results by showing that the existence of a matroid $N$ with $χ(N)\leq 2χ(M)$ implies the existence of a matroid $N'$ with $χ(N')\leq 2χ(M')$ for every truncation $M'$ of $M$.
A relaxed version of Šoltés's problem and cactus graphs
Published
• View Publication
• BIB
The \emph{Wiener index} is one of the most widely studied parameters in chemical graph theory. It is defined as the sum of the lengths of the shortest paths between all unordered pairs of vertices in a given graph. In 1991, Šoltés posed the following problem regarding the Wiener index: Find all graphs such that its Wiener index is preserved upon removal of any vertex. The problem is far from being solved and to this day, only one graph with such property is known: the cycle graph on 11 vertices.
In this paper, we solve a relaxed version of the problem, proposed by Knor et al.\ in 2018. For a given $k$, the problem is to find (infinitely many) graphs having exactly $k$ vertices such that the Wiener index remains the same after removing any of them. We call these vertices \emph{good} vertices and we show that there are infinitely many cactus graphs with exactly $k$ cycles of length at least 7 that contain exactly $2k$ good vertices and infinitely many cactus graphs with exactly $k$ cycles of length $c \in \{5,6\}$ that contain exactly $k$ good vertices. On the other hand, we prove that $G$ has no good vertex if the length of the longest cycle in $G$ is at most $4$.
Intersection graph of maximal stars
Published
• View Publication
• BIB
A biclique of a graph $G$ is an induced complete bipartite subgraph of $G$ such that neither part is empty. A star is a biclique of $G$ such that one part has exactly one vertex. The star graph of $G$ is the intersection graph of the maximal stars of $G$. A graph $H$ is star-critical if its star graph is different from the star graph of any of its proper induced subgraphs. We begin by presenting a bound on the size of star-critical pre-images by a quadratic function on the number of vertices of the star graph, then proceed to describe a Krausz-type characterization for this graph class; we combine these results to show membership of the recognition problem in \textsf{NP}. We also present some properties of star graphs. In particular, we show that they are biconnected, that every edge belongs to at least one triangle, characterize the structures the pre-image must have in order to generate degree two vertices, and bound the diameter of the star graph with respect to the diameter of its pre-image. Finally, we prove a monotonicity theorem, which we apply to list every star graph on at most eight vertices.
Oriented Diameter of Star Graphs
Published
• View Publication
• BIB
An {\em orientation} of an undirected graph $G$ is an assignment of exactly one direction to each edge of $G$. Converting two-way traffic networks to one-way traffic networks and bidirectional communication networks to unidirectional communication networks are practical instances of graph orientations. In these contexts minimising the diameter of the resulting oriented graph is of prime interest.
The $n$-star network topology was proposed as an alternative to the hypercube network topology for multiprocessor systems by Akers and Krishnamurthy [IEEE Trans. on Computers (1989)]. The $n$-star graph $S_n$ consists of $n!$ vertices, each labelled with a distinct permutation of $[n]$. Two vertices are adjacent if their labels differ exactly in the first and one other position. $S_n$ is an $(n-1)$-regular, vertex-transitive graph with diameter $\lfloor 3(n-1)/2 \rfloor$. Orientations of $S_n$, called unidirectional star graphs and distributed routing protocols over them were studied by Day and Tripathi [Information Processing Letters (1993)] and Fujita [The First International Symposium on Computing and Networking (CANDAR 2013)]. Fujita showed that the (directed) diameter of this unidirectional star graph $\overrightarrow{S_n}$ is at most $\lceil{5n/2}\rceil + 2$.
In this paper, we propose a new distributed routing algorithm for the same $\overrightarrow{S_n}$ analysed by Fujita, which routes a packet from any node $s$ to any node $t$ at an undirected distance $d$ from $s$ using at most $\min\{4d+4, 2n+4\}$ hops. This shows that the (directed) diameter of $\overrightarrow{S_n}$ is at most $2n+4$. We also show that the diameter of $\overrightarrow{S_n}$ is at least $2n$ when $n \geq 7$, thereby showing that our upper bound is tight up to an additive factor.
Hardness of some variants of the graph coloring game
Published
• View Publication
• BIB
Very recently, a long-standing open question proposed by Bodlaender in 1991 was answered: the graph coloring game is PSPACE-complete. In 2019, Andres and Lock proposed five variants of the graph coloring game and left open the question of PSPACE-hardness related to them. In this paper, we prove that these variants are PSPACE-complete for the graph coloring game and also for the greedy coloring game, even if the number of colors is the chromatic number. Finally, we also prove that a connected version of the graph coloring game, proposed by Charpentier et al. in 2019, is PSPACE-complete.
An algebraic reduction of Hedetniemi's conjecture
For a graph $G$, let $χ(G)$ denote the chromatic number. In graph theory, the following famous conjecture posed by Hedetniemi has been studied: For two graphs $G$ and $H$, $χ(G\times H)=\min\{χ(G),χ(H)\}$, where $G \times H$ is the tensor product of $G$ and $H$. In this paper, we give a reduction of Hedetniemi's conjecture to an inclusion relation problem on ideals of polynomial rings, and we demonstrate computational experiments for partial solutions of Hedetniemi's conjecture along such a strategy using Gröbner basis.
On the Extremal Zagreb Indices of $\mathbf{\textit{n}}$-Vertex Chemical Trees with Fixed Number of Segments or Branching Vertices
Published in MATCH Commun. Math. Comput. Chem. 84 (2020) 513-534
• Search Publication
Let $\mathcal{CT}_{n,k}$ and $\mathcal{CT}^*_{n,b}$ be the classes of all $n$-vertex chemical trees with $k$ segments and $b$ branching vertices, respectively, where $3\le k\le n-1$ and $1\le b< \frac{n}{2}-1$. The solution of the problem of finding trees from the class $\mathcal{CT}_{n,k}$ or $\mathcal{CT}^*_{n,b}$, with the minimum first Zagreb index or minimum second Zagreb index follows directly from the main results of [MATCH Commun. Math. Comput. Chem. 72 (2014) 825-834] or [MATCH Commun. Math. Comput. Chem. 74 (2015) 57-79]. In this paper, the chemical trees with the maximum first/second Zagreb index are characterized from each of the aforementioned graph classes.
Pushable chromatic number of graphs with degree constraints
Published
• View Publication
• BIB
Pushable homomorphisms and the pushable chromatic number $χ_p$ of oriented graphs were introduced by Klostermeyer and MacGillivray in 2004. They notably observed that, for any oriented graph $\overrightarrow{G}$, we have $χ_p(\overrightarrow{G}) \leq χ_o(\overrightarrow{G}) \leq 2 χ_p(\overrightarrow{G})$, where $χ_o(\overrightarrow{G})$ denotes the oriented chromatic number of $\overrightarrow{G}$. This stands as first general bounds on $χ_p$. This parameter was further studied in later works.This work is dedicated to the pushable chromatic number of oriented graphs fulfilling particular degree conditions. For all $Δ\geq 29$, we first prove that the maximum value of the pushable chromatic number of an oriented graph with maximum degree $Δ$ lies between $2^{\fracΔ{2}-1}$ and $(Δ-3) \cdot (Δ-1) \cdot 2^{Δ-1} + 2$ which implies an improved bound on the oriented chromatic number of the same family of graphs. For subcubic oriented graphs, that is, when $Δ\leq 3$, we then prove that the maximum value of the pushable chromatic number is~$6$ or~$7$. We also prove that the maximum value of the pushable chromatic number of oriented graphs with maximum average degree less than~$3$ lies between~$5$ and~$6$. The former upper bound of~$7$ also holds as an upper bound on the pushable chromatic number of planar oriented graphs with girth at least~$6$.
Kempe Chains and Rooted Minors
A (minimal) transversal of a partition is a set which contains exactly one element from each member of the partition and nothing else. A coloring of a graph is a partition of its vertex set into anticliques, that is, sets of pairwise nonadjacent vertices. We study the following problem: Given a transversal $T$ of a proper coloring $\mathfrak{C}$ of some graph $G$, is there a partition $\mathfrak{H}$ of a subset of $V(G)$ into connected sets such that $T$ is a transversal of $\mathfrak{H}$ and such that two sets of $\mathfrak{H}$ are adjacent if their corresponding vertices from $T$ are connected by a path in $G$ using only two colors?
It has been suggested by the first author to study the following question: for any transversal $T$ of a coloring $\mathfrak{C}$ of order $k$ of some graph $G$ such that any pair of color classes induces a connected graph, does there exist such a partition $\mathfrak{H}$ with pairwise adjacent sets (which would prove Hadwiger's Conjecture for the class of uniquely optimally colorable graphs)? This is open for small $k \geq 5$, here we give a proof for the case that $k=5$ and the subgraph induced by $T$ is connected. Moreover, we show that for $k\geq 7$, it is not sufficient for the existence of $\mathfrak{H}$ as above just to force any two transversal vertices to be connected by a 2-colored path.
Depth First Exploration of a Configuration Model
Published
• View Publication
• BIB
We introduce an algorithm that constructs a random uniform graph with prescribed degree sequence together with a depth first exploration of it. In the so-called supercritical regime where the graph contains a giant component, we prove that the renormalized contour process of the Depth First Search Tree has a deterministic limiting profile that we identify. The proof goes through a detailed analysis of the evolution of the empirical degree distribution of unexplored vertices. This evolution is driven by an infinite system of differential equations which has a unique and explicit solution. As a byproduct, we deduce the existence of a macroscopic simple path and get a lower bound on its length.
Distributional Invariances and Interventional Markov Equivalence for Mixed Graph Models
The invariance properties of interventional distributions relative to the observational distribution, and how these properties allow us to refine Markov equivalence classes (MECs) of DAGs, is central to causal DAG discovery algorithms that use both interventional and observational data. Here, we show how the invariance properties of interventional DAG models, and the corresponding refinement of MECs into interventional MECs, can be generalized to mixed graphical models that allow for latent cofounders and selection variables. We first generalize interventional Markov equivalence to all formal independence models associated to loopless mixed graphs. For ancestral graphs, we prove the resulting interventional MECs admit a graphical characterization generalizing that of DAGs. We then define interventional distributions for acyclic directed mixed graph models, and prove that this generalization aligns with the graphical generalization of interventional Markov equivalence given for the formal independence models. This provides a framework for causal model discovery via observational and interventional data in the presence of latent confounders that applies even when the interventions are uncontrolled.
Clique factors in Kneser graphs
For $k,n\in \mathbb{N}$, the Kneser graph $K(n,k)$ is the graph with vertex set $V=[n]^{(k)}$ and edge set $E=\{\{x,y\} \in V^{(2)}: x\cap y=\emptyset\}$. Chen proved that for $n\geq 3k$, Kneser graphs are Hamiltonian. Similarly as for graphs with Hajnal's and Szemerédi's result about a minimum degree condition for clique factors and the Pósa-Seymour Conjecture together with its solution for large graphs due to Komlós, Sárközy, and Szemerédi, the next step is to ask for clique factors and powers of Hamiltonian cycles in Kneser graphs. For $k,\ell\in \mathbb{N}$, let $n(k,\ell)$ be the smallest integer such that for $n\geq n(k,\ell)$, $K(n,k)$ contains the $\ell$-th power of a Hamiltonian cycle. Katona conjectured that for all but finitely many exceptions, $n(k,\ell)=(\ell+1)k+1$ holds. In particular, it would be interesting to know whether $n(k,\ell)$ is linear in $k$ (for fixed $\ell$). So far this is not known for $k\geq 2$. In this note, we take a first step towards such a linear bound by proving that for $\ell\in \mathbb{N}$, $k\geq \ell$ and $n\geq \ell ^3k$, all but at most $\ell-1$ vertices of $K(n,k)$ can be partitioned into cliques of size $\ell$.
Further, we use our methods to extend a short proof due to Chen and Füredi that $K(n,k)$ is Hamiltonian for $n\geq 3k$ and $k \mid n$ to all $n\geq 4k$ if $k\geq 4$.
Hull and Geodetic Numbers for Some Classes of Oriented Graphs
Published
• View Publication
• BIB
Let $D$ be an orientation of a simple graph. Given $u,v\in V(D)$, a directed shortest $(u,v)$-path is a $(u,v)$-geodesic. $S \subseteq V(D)$ is convex if, for every $u,v \in S$, the vertices in each $(u,v)$-geodesic and in each $(v,u)$-geodesic are in $S$. For each $S \subseteq V(D)$ the (convex) hull of $S$, denoted by $[S]$, is the smallest convex set containing $S$. $S \subseteq V(D)$ is a hull set if $[S] = V(D)$. $S \subseteq V(D)$ is a geodetic set of $D$ if each vertex of $D$ lies in a $(u,v)$-geodesic, for some $u,v \in S$. The cardinality of a minimum hull set (resp. geodetic set) of $G$ is the hull number (resp. geodetic number) of $D$, denoted by $ \overrightarrow{\textrm{hn}} (D)$ (resp. $\overrightarrow{\textrm{gn}}(D)$).
We first show a tight upper bound on $\overrightarrow{\textrm{hn}}(D)$. Given $k\in\mathbb{Z}_+^*$, we prove that deciding if $\overrightarrow{\textrm{hn}}\leq k$ is NP-complete when $D$ is an oriented partial cube; and if $\overrightarrow{\textrm{gn}}(D)\leq k$ is W[2]-hard parameterized by $k$ and has no $(c \cdot \ln n)$-approximation algorithm, unless P = NP, even if $D$ has an underlying graph that is bipartite or split or cobipartite. We also show polynomial-time algorithms to compute $\overrightarrow{\textrm{hn}}(D)$ and $\overrightarrow{\textrm{gn}}(D)$ when $D$ is an oriented cactus.
Reaching a Consensus on Random Networks: The Power of Few
A community of $n$ individuals splits into two camps, Red and Blue. The individuals are connected by a social network, which influences their colors. Everyday, each person changes his/her color according to the majority among his/her neighbors. Red (Blue) wins if everyone in the community becomes Red (Blue) at some point.
We study this process when the underlying network is the random Erdos-Renyi graph $G(n, p)$. With a balanced initial state ($n/2$ person in each camp), it is clear that each color wins with the same probability.
Our study reveals that for any constants $p$ and $\varepsilon$, there is a constant $C$ such that if one camp has $n/2 +C$ individuals, then it wins with probability at least $1 - \varepsilon$. The surprising key fact here is that $C$ does not depend on $n$, the population of the community. When $p=1/2$ and $\varepsilon =.1$, one can set $C$ as small as 6. If the aim of the process is to choose a candidate, then this means it takes only $6$ "defectors" to win an election unanimously with overwhelming odd.