graph
34905 papers tagged with this keyword
Finding Even Subgraphs Even Faster
Published
• View Publication
• BIB
Problems of the following kind have been the focus of much recent research in the realm of parameterized complexity: Given an input graph (digraph) on $n$ vertices and a positive integer parameter $k$, find if there exist $k$ edges (arcs) whose deletion results in a graph that satisfies some specified parity constraints. In particular, when the objective is to obtain a connected graph in which all the vertices have even degrees---where the resulting graph is \emph{Eulerian}---the problem is called Undirected Eulerian Edge Deletion. The corresponding problem in digraphs where the resulting graph should be strongly connected and every vertex should have the same in-degree as its out-degree is called Directed Eulerian Edge Deletion. Cygan et al. [\emph{Algorithmica, 2014}] showed that these problems are fixed parameter tractable (FPT), and gave algorithms with the running time $2^{O(k \log k)}n^{O(1)}$. They also asked, as an open problem, whether there exist FPT algorithms which solve these problems in time $2^{O(k)}n^{O(1)}$. In this paper we answer their question in the affirmative: using the technique of computing \emph{representative families of co-graphic matroids} we design algorithms which solve these problems in time $2^{O(k)}n^{O(1)}$. The crucial insight we bring to these problems is to view the solution as an independent set of a co-graphic matroid. We believe that this view-point/approach will be useful in other problems where one of the constraints that need to be satisfied is that of connectivity.
Intersecting extremal constructions in Ryser's Conjecture for r-partite hypergraphs
Ryser's Conjecture states that for any $r$-partite $r$-uniform hypergraph the vertex cover number is at most $r-1$ times the matching number. This conjecture is only known to be true for $r\leq 3$. For intersecting hypergraphs, Ryser's Conjecture reduces to saying that the edges of every $r$-partite intersecting hypergraph can be covered by $r-1$ vertices. This special case of the conjecture has only been proven for $r \leq 5$.
It is interesting to study hypergraphs which are extremal in Ryser's Conjecture i.e, those hypergraphs for which the vertex cover number is exactly $r-1$ times the matching number. There are very few known constructions of such graphs. For large $r$ the only known constructions come from projective planes and exist only when $r-1$ is a prime power. Mansour, Song and Yuster studied how few edges a hypergraph which is extremal for Ryser's Conjecture can have. They defined $f(r)$ as the minimum integer so that there exist an $r$-partite intersecting hypergraph $\mathcal{H}$ with $τ({\mathcal{H}}) = r -1$ and with $f(r)$ edges. They showed that $f(3) = 3, f(4) = 6$, $f(5) = 9$, and $12\leq f(6)\leq 15$.
In this paper we focus on the cases when $r=6$ and 7. We show that $f(6)=13$ improving previous bounds. We also show that $f(7)\leq 22$, giving the first known extremal hypergraphs for the $r=7$ case of Ryser's Conjecture. These results have been obtained independently by Aharoni, Barat, and Wanless.
On finite groups all of whose cubic Cayley graphs are integral
Published
• View Publication
• BIB
For any positive integer $k$, let $\mathcal{G}_k$ denote the set of finite groups $G$ such that all Cayley graphs ${\rm Cay}(G,S)$ are integral whenever $|S|\le k$. Est${\rm \acute{e}}$lyi and Kov${\rm \acute{a}}$cs \cite{EK14} classified $\mathcal{G}_k$ for each $k\ge 4$. In this paper, we characterize the finite groups each of whose cubic Cayley graphs is integral. Moreover, the class $\mathcal{G}_3$ is characterized. As an application, the classification of $\mathcal{G}_k$ is obtained again, where $k\ge 4$.
Transitivity is not a (big) restriction on homotopy types
For every simplicial complex K there exists a vertex-transitive simplicial complex homotopy equivalent to a wedge of copies of K with some copies of the circle. It follows that every simplicial complex can occur as a homotopy wedge summand in some vertex-transitive complex. One can even demand that the vertex-transitive complex is the clique complex of a Cayley graph or that it is facet-transitive.
Lower Bound Theorems and a Generalized Lower Bound Conjecture for balanced simplicial complexes
Published in Mathematika 62 (2016) 441-477
• View Publication
• BIB
A $(d-1)$-dimensional simplicial complex is called balanced if its underlying graph admits a proper $d$-coloring. We show that many well-known face enumeration results have natural balanced analogs (or at least conjectural analogs). Specifically, we prove the balanced analog of the celebrated Lower Bound Theorem for pseudomanifolds and characterize the case of equality; we introduce and characterize the balanced analog of the Walkup class; we propose the balanced analog of the Generalized Lower Bound Conjecture and establish some related results. We close with constructions of balanced manifolds with few vertices.
Characterizing 4-Critical Graphs of Ore-Degree at most Seven
Published
• View Publication
• BIB
Dirac introduced the notion of a k-critical graph, a graph that is not (k-1)-colorable but whose every proper subgraph is (k-1)-colorable. Brook's Theorem states that every graph with maximum degree k is k-colorable unless it contains a subgraph isomorphic to K_{k+1} (or an odd cycle for k=2). Equivalently, for all k>=4, the only k-critical graph of maximum degree k-1 is K_k. A natural generalization of Brook's theorem is to consider the Ore-degree of a graph, which is the maximum of d(u)+d(v) over all edges uv. Kierstead and Kostochka proved that for all k>=6 the only k-critical graph with Ore-degree at most 2k-1 is K_k. Kostochka, Rabern and Steibitz proved that the only 5-critical graphs with Ore-degree at most 9 are K_5 and a graph they called O_5.
A different generalization of Brook's theorem, motivated by Hajos' construction, is Gallai's conjectured bound on the minimum density of a k-critical graph. Recently, Kostochka and Yancey proved Gallai's conjecture. Their proof for k>=5 implies the above results on Ore-degree. However, the case for k=4 remains open, which is the subject of this paper.
Kostochka and Yancey's short but beautiful proof for the case k=4 says that if $G$ is a $4$-critical graph, then |E(G)|>= (5|V(G)|-2)/3. We prove the following bound which is better when there exists a large independent set of degree three vertices: if G is a 4-critical graph G, then |E(G)|>= 1.6 |V(G)| + .2 alpha(D_3(G)) - .6, where D_3(G) is the graph induced by the degree three vertices of G. As a corollary, we characterize the 4-critical graphs with Ore-degree at most seven as precisely the graphs of Ore-degree seven in the family of graphs obtained from K_4 and Ore compositions.
The spectral excess theorem for distance-regular graphs having distance-$d$ graph with fewer distinct eigenvalues
Published
• View Publication
• BIB
Let $Γ$ be a distance-regular graph with diameter $d$ and Kneser graph $K=Γ_d$, the distance-$d$ graph of $Γ$. We say that $Γ$ is partially antipodal when $K$ has fewer distinct eigenvalues than $Γ$. In particular, this is the case of antipodal distance-regular graphs ($K$ with only two distinct eigenvalues), and the so-called half-antipodal distance-regular graphs ($K$ with only one negative eigenvalue). We provide a characterization of partially antipodal distance-regular graphs (among regular graphs with $d$ distinct eigenvalues) in terms of the spectrum and the mean number of vertices at maximal distance $d$ from every vertex. This can be seen as a general version of the so-called spectral excess theorem, which allows us to characterize those distance-regular graphs which are half-antipodal, antipodal, bipartite, or with Kneser graph being strongly regular.
A note on the Thue chromatic number of lexicographic products of graphs
Published
• View Publication
• BIB
A sequence is called non-repetitive if no of its subsequences forms a repetition (a sequence $r_1,r_2,\dots,r_{2n}$ such that $r_i=r_{n+i}$ for all $1\leq i \leq n$). Let $G$ be a graph whose vertices are coloured. A colouring $\varphi$ of the graph $G$ is non-repetitive if the sequence of colours on every path in $G$ is non-repetitive. The Thue chromatic number, denoted by $π(G)$, is the minimum number of colours of a non-repetitive colouring of $G$. In this short note we present a general upper bound for the Thue chromatic number for the lexicographic product $G\circ H$ of graphs $G$ and $H$ with respect to some properties of the factors. This upper bound is then used to derive the exact values for $π(G\circ H)$ when $G$ is a complete multipartite graph and $H$ is an arbitrary graph.
Three-coloring graphs with no induced seven-vertex path I : the triangle-free case
In this paper, we give a polynomial time algorithm which determines if a given triangle-free graph with no induced seven-vertex path is 3-colorable, and gives an explicit coloring if one exists.
The worm algorithm for the Ising model is rapidly mixing
Published
• View Publication
• BIB
We prove rapid mixing of the Prokofiev-Svistunov (or worm) algorithm for the zero-field ferromagnetic Ising model, on all finite graphs and at all temperatures. As a corollary, we show how to rigorously construct simple and efficient approximation schemes for the Ising susceptibility and two-point correlation function.
Minimum Weight Resolving Sets of Grid Graphs
Published
• View Publication
• BIB
For a simple graph $G=(V,E)$ and for a pair of vertices $u,v \in V$, we say that a vertex $w \in V$ resolves $u$ and $v$ if the shortest path from $w$ to $u$ is of a different length than the shortest path from $w$ to $v$. A set of vertices ${R \subseteq V}$ is a resolving set if for every pair of vertices $u$ and $v$ in $G$, there exists a vertex $w \in R$ that resolves $u$ and $v$. The minimum weight resolving set problem is to find a resolving set $M$ for a weighted graph $G$ such that$\sum_{v \in M} w(v)$ is minimum, where $w(v)$ is the weight of vertex $v$. In this paper, we explore the possible solutions of this problem for grid graphs $P_n \square P_m$ where $3\leq n \leq m$. We give a complete characterisation of solutions whose cardinalities are 2 or 3, and show that the maximum cardinality of a solution is $2n-2$. We also provide a characterisation of a class of minimals whose cardinalities range from $4$ to $2n-2$.
An isoperimetric inequality for conjugation-invariant sets in the symmetric group
Published
• View Publication
• BIB
We prove an isoperimetric inequality for conjugation-invariant sets of size $k$ in $S_n$, showing that these necessarily have edge-boundary considerably larger than some other sets of size $k$ (provided $k$ is small). Specifically, let $T_n$ denote the Cayley graph on $S_n$ generated by the set of all transpositions. We show that if $A \subset S_n$ is a conjugation-invariant set with $|A| = pn! \leq n!/2$, then the edge-boundary of $A$ in $T_n$ has size at least $$c \cdot \frac {\log_2 (\tfrac 1{p})}{\log_2 \log_2 (\tfrac 2{p})}\cdot n \cdot |A|,$$ where $c$ is an absolute constant. (This is sharp up to an absolute constant factor, when $p = Θ(1/s!)$ for any $s \in \{1,2,...,n\}$.) It follows that if $p = n^{-Θ(1)}$, then the edge-boundary of a conjugation-invariant set of measure $p$ is necessarily a factor of $Ω(\log n / \log \log n)$ larger than the minimum edge-boundary over all sets of measure $p$.
Induced subgraphs with large degrees at end-vertices for hamiltonicity of claw-free graphs
Published in Acta Math. Sin. (Engl. Ser.) 32 (2016), no. 7, 845--855
• View Publication
• BIB
A graph is called \emph{claw-free} if it contains no induced subgraph isomorphic to $K_{1,3}$. Matthews and Sumner proved that a 2-connected claw-free graph $G$ is hamiltonian if every vertex of it has degree at least $(|V(G)|-2)/3$. At the workshop C\&C (Novy Smokovec, 1993), Broersma conjectured the degree condition of this result can be restricted only to end-vertices of induced copies of $N$ (the graph obtained from a triangle by adding three disjoint pendant edges). Fujisawa and Yamashita showed that the degree condition of Matthews and Sumner can be restricted only to end-vertices of induced copies of $Z_1$ (the graph obtained from a triangle by adding one pendant edge). Our main result in this paper is a characterization of all graphs $H$ such that a 2-connected claw-free graph $G$ is hamiltonian if each end-vertex of every induced copy of $H$ in $G$ has degree at least $|V(G)|/3+1$. This gives an affirmative solution of the conjecture of Broersma up to an additive constant.
A characterization of $K_{2,4}$-minor-free graphs
Published
• View Publication
• BIB
We provide a complete structural characterization of $K_{2,4}$-minor-free graphs. The $3$-connected $K_{2,4}$-minor-free graphs consist of nine small graphs on at most eight vertices, together with a family of planar graphs that contains $K_4$ and, for each $n \ge 5$, $2n-8$ nonisomorphic graphs of order $n$. To describe the $2$-connected $K_{2,4}$-minor-free graphs we use $xy$-outerplanar graphs, graphs embeddable in the plane with a Hamilton $xy$-path so that all other edges lie on one side of this path. We show that, subject to an appropriate connectivity condition, $xy$-outerplanar graphs are precisely the graphs that have no rooted $K_{2,2}$-minor where $x$ and $y$ correspond to the two vertices on one side of the bipartition of $K_{2,2}$. Each $2$-connected $K_{2,4}$-minor-free graph is then (i) outerplanar, (ii) the union of three $xy$-outerplanar graphs and possibly the edge $xy$, or (iii) obtained from a $3$-connected $K_{2,4}$-minor-free graph by replacing each edge $x_iy_i$ in a set $\{x_1 y_1, x_2 y_2, \ldots, x_k y_k\}$ satisfying a certain condition by an $x_i y_i$-outerplanar graph.
Growth in Right-Angled Groups and Monoids
We derive functional relationships between spherical generating functions of graph monoids, right-angled Artin groups and right-angled Coxeter groups. We use these relationships to express the spherical generating function of a right-angled Artin group in terms of the clique polynomial of its defining graph. We also describe algorithms for computing the geodesic generating functions of these structures.
The Derivative Degree Sequences of Finite Simple Connected Graphs are Parking Functions
Parking functions are well researched and interesting results are found in the listed references and more. Some introductory results stemming from application to degree sequences of simple connected graphs are provided in this paper. Amongst others, the result namely, that a derivative degree sequence, $d_d(G) \in \Bbb D_d(G)= \{(\lceil\frac{d(v_1}{\ell}\rceil, \lceil\frac{d(v_2)}{\ell}\rceil, \lceil\frac{d(v_3)}{\ell}\rceil, ..., \lceil\frac{d(v_n)}{\ell}\rceil| \ell = d(v_i), \forall i,$ with $d(v_i)\geq 2\},$ of a simple connected graph $G$ is a parking function, is presented. We also introduce the concept of \emph{looping degree sequences} and the \emph{looping number}, $ξ(G)$. Four open problems are proposed as well.
Many $T$ copies in $H$-free graphs
Published
• View Publication
• BIB
For two graphs $T$ and $H$ with no isolated vertices and for an integer $n$, let $ex(n,T,H)$ denote the maximum possible number of copies of $T$ in an $H$-free graph on $n$ vertices. The study of this function when $T=K_2$ is a single edge is the main subject of extremal graph theory. In the present paper we investigate the general function, focusing on the cases of triangles, complete graphs, complete bipartite graphs and trees. These cases reveal several interesting phenomena. Three representative results are:
(i) $ex(n,K_3,C_5) \leq (1+o(1)) \frac{\sqrt 3}{2} n^{3/2},$
(ii) For any fixed $m$, $s \geq 2m-2$ and $t \geq (s-1)!+1 $, $ex(n,K_m,K_{s,t})=Θ(n^{m-\binom{m}{2}/s})$ and
(iii) For any two trees $H$ and $T$, $ex(n,T,H) =Θ(n^m)$ where $m=m(T,H)$ is an integer depending on $H$ and $T$ (its precise definition is given in Section 1).
The first result improves (slightly) an estimate of Bollobás and Győri.
The proofs combine combinatorial and probabilistic arguments with simple spectral techniques.
A transfer principle and applications to eigenvalue estimates for graphs
Published
• View Publication
• BIB
In this paper, we prove a variant of the Burger-Brooks transfer principle which, combined with recent eigenvalue bounds for surfaces, allows to obtain upper bounds on the eigenvalues of graphs as a function of their genus. More precisely, we show the existence of a universal constants $C$ such that the $k$-th eigenvalue $λ_k^{nr}$ of the normalized Laplacian of a graph $G$ of (geometric) genus $g$ on $n$ vertices satisfies $$λ_k^{nr}(G) \leq C \frac{d_{\max}(g+k)}{n},$$ where $d_{\max}$ denotes the maximum valence of vertices of the graph. This result is tight up to a change in the value of the constant $C$, and improves recent results of Kelner, Lee, Price and Teng on bounded genus graphs.
To show that the transfer theorem might be of independent interest, we relate eigenvalues of the Laplacian on a metric graph to the eigenvalues of its simple graph models, and discuss an application to the mesh partitioning problem, extending pioneering results of Miller-Teng-Thurston-Vavasis and Spielman-Tang to arbitrary meshes.
The Path Partition Conjecture is True and its Validity Yields Upper Bounds for Detour Chromatic Number and Star Chromatic Number
The detour order of a graph $G$, denoted $τ(G)$, is the order of a longest path in $G$. A partition $(A, B)$ of $V(G)$ such that $τ(\langle A \rangle) \leq a$ and $τ(\langle B \rangle) \leq b$ is called an $(a, b)$-partition of $G$. A graph $G$ is called $τ$-partitionable if $G$ has an $(a, b)$-partition for every pair $(a, b)$ of positive integers such that $a + b = τ(G)$. The well-known Path Partition Conjecture states that every graph is $τ$-partitionable. In \cite{df07} Dunber and Frick have shown that if every 2-connected graph is $τ$-partitionable then every graph is $τ$-partitionable. In this paper we show that every 2-connected graph is $τ$-partitionable. Thus, our result settles the Path Partition Conjecture affirmatively. We prove the following two theorems as the implications of the validity of the Path Partition Conjecture.\\ {\bf Theorem 1:} For every graph $G$, $χ_s(G) \leq τ(G)$, where $χ_s(G)$ is the star chromatic number of a graph $G$. The $n^{th}$ detour chromatic number of a graph $G$, denoted $χ_n(G)$, is the minimum number of colours required for colouring the vertices of $G$ such that no path of order greater than $n$ is mono coloured. These chromatic numbers were introduced by Chartrand, Gellar and Hedetniemi\cite{cg68} as a generalization of vertex chromatic number $χ(G)$.\\ {\bf Theorem 2:} For every graph $G$ and for every $n \geq 1$, $χ_n(G) \leq \left\lceil \frac{τ_n(G)}{n} \right\rceil$, where $χ_n(G)$ denote the $n^{th}$ detour chromatic number.\\ Theorem 2 settles the conjecture of Frick and Bullock \cite{fb01} that $χ_n(G) \leq \left\lceil \frac{τ(G)}{n} \right\rceil$, for every graph $G$, for every $n \geq 1$, affirmatively.
A new encoding of coalescent processes. Applications to the additive and multiplicative cases
Published
• View Publication
• BIB
We revisit the discrete additive and multiplicative coalescents, starting with $n$ particles with unit mass. These cases are known to be related to some "combinatorial coalescent processes": a time reversal of a fragmentation of Cayley trees or a parking scheme in the additive case, and the random graph process $(G(n,p))_p$ in the multiplicative case. Time being fixed, encoding these combinatorial objects in real-valued processes indexed by the line is the key to describing the asymptotic behaviour of the masses as $n\to +\infty$.
We propose to use the Prim order on the vertices instead of the classical breadth-first (or depth-first) traversal to encode the combinatorial coalescent processes. In the additive case, this yields interesting connections between the different representations of the process. In the multiplicative case, it allows one to answer to a stronger version of an open question of Aldous [Ann. Probab., vol. 25, pp. 812--854, 1997]: we prove that not only the sequence of (rescaled) masses, seen as a process indexed by the time $λ$, converges in distribution to the reordered sequence of lengths of the excursions above the current minimum of a Brownian motion with parabolic drift $(B_t+λt - t^2/2, t\geq 0)$, but we also construct a version of the standard augmented multiplicative coalescent of Bhamidi, Budhiraja and Wang [Probab. Theory Rel., to appear] using an additional Poisson point process.