graph
35299 papers tagged with this keyword
Groups all of whose undirected Cayley graphs are determined by their spectra
Published
• View Publication
• BIB
Let $G$ be a finite group, and $S$ be a subset of $G\setminus\{1\}$ such that $S=S^{-1}$. Suppose that $Cay(G,S)$ is the Cayley graph on $G$ with respect to the set $S$ which is the graph whose vertex set is $G$ and two vertices $a,b\in G$ are adjacent if and only if $ab^{-1}\in S$. The adjacency spectrum $Spec(Γ)$ of a graph $Γ$ is the multiset of eigenvalues of its adjacency matrix. A graph $Γ$ is called "determined by its spectrum" (or for short DS) whenever if a graph $Γ'$ has the same spectrum as $Γ$, then $Γ\cong Γ'$. We say that the group $G$ is DS (Cay-DS, respectively) whenever if $Γ$ is a Cayley graph over $G$ and $Spec(Γ)=Spec(Γ')$ for some graph (Cayley graph, respectively) $Γ'$, then $Γ\cong Γ'$. In this paper, we study finite DS groups and finite Cay-DS groups. In particular we prove that all finite DS groups are solvable and all Sylow $p$-subgroups of a finite DS group is cyclic for all $p\geq 5$. We also give several infinite families of non Cay-DS solvable groups. In particular we prove that there exist two cospectral non-isomorphic $6$-regular Cayley graphs on the dihedral group of order $2p$ for any prime $p\geq 13$.
Bounding connected tree-width
Published in SIAM J. Discrete Math., 30(3):1391-1400, 2016
• View Publication
• BIB
Diestel and Müller showed that the connected tree-width of a graph $G$, i.e., the minimum width of any tree-decomposition with connected parts, can be bounded in terms of the tree-width of $G$ and the largest length of a geodesic cycle in $G$. We improve their bound to one that is of correct order of magnitude. Finally, we construct a graph whose connected tree-width exceeds the connected order of any of its brambles. This disproves a conjecture by Diestel and Müller asserting an analogue of tree-width duality.
MSOL-Definability Equals Recognizability for Halin Graphs and Bounded Degree $k$-Outerplanar Graphs
One of the most famous algorithmic meta-theorems states that every graph property that can be defined by a sentence in counting monadic second order logic (CMSOL) can be checked in linear time for graphs of bounded treewidth, which is known as Courcelle's Theorem. These algorithms are constructed as finite state tree automata, and hence every CMSOL-definable graph property is recognizable. Courcelle also conjectured that the converse holds, i.e. every recognizable graph property is definable in CMSOL for graphs of bounded treewidth. We prove this conjecture for a number of special cases in a stronger form. That is, we show that each recognizable property is definable in MSOL, i.e. the counting operation is not needed in our expressions. We give proofs for Halin graphs, bounded degree $k$-outerplanar graphs and some related graph classes. We furthermore show that the conjecture holds for any graph class that admits tree decompositions that can be defined in MSOL, thus providing a useful tool for future proofs.
Space proof complexity for random 3-CNFs
Published
• View Publication
• BIB
We investigate the space complexity of refuting $3$-CNFs in Resolution and algebraic systems. We prove that every Polynomial Calculus with Resolution refutation of a random $3$-CNF $φ$ in $n$ variables requires, with high probability, $Ω(n)$ distinct monomials to be kept simultaneously in memory. The same construction also proves that every Resolution refutation $φ$ requires, with high probability, $Ω(n)$ clauses each of width $Ω(n)$ to be kept at the same time in memory. This gives a $Ω(n^2)$ lower bound for the total space needed in Resolution to refute $φ$. These results are best possible (up to a constant factor).
The main technical innovation is a variant of Hall's Lemma. We show that in bipartite graphs $G$ with bipartition $(L,R)$ and left-degree at most 3, $L$ can be covered by certain families of disjoint paths, called VW-matchings, provided that $L$ expands in $R$ by a factor of $(2-ε)$, for $ε< 1/23$.
Minimal classes of graphs of unbounded clique-width defined by finitely many forbidden induced subgraphs
Published
• View Publication
• BIB
We discover new hereditary classes of graphs that are minimal (with respect to set inclusion) of unbounded clique-width. The new examples include split permutation graphs and bichain graphs. Each of these classes is characterised by a finite list of minimal forbidden induced subgraphs. These, therefore, disprove a conjecture due to Daligault, Rao and Thomasse from 2010 claiming that all such minimal classes must be defined by infinitely many forbidden induced subgraphs.
In the same paper, Daligault, Rao and Thomasse make another conjecture that every hereditary class of unbounded clique-width must contain a labelled infinite antichain. We show that the two example classes we consider here satisfy this conjecture. Indeed, they each contain a canonical labelled infinite antichain, which leads us to propose a stronger conjecture: that every hereditary class of graphs that is minimal of unbounded clique-width contains a canonical labelled infinite antichain.
Resolvable h-sun designs
In this article we completely determine the spectrum for uniformly resolvable decompositions of the complete graph K_v into r 1-factors and s classes containing only copies of h-suns.
An upper bound on the algebraic connectivity of regular graphs
We derive a new upper bound on the algebraic connectivity of a regular graph using the Higman-Sims technique. Together with a new result on the connectivity of the neighbourhood graph of strongly regular graphs, our result gives a characterization of a class of strongly regular graphs that maximize the algebraic connectivity amongst regular graphs.
A uniform realization of the combinatorial $R$-matrix
Published
• View Publication
• BIB
Kirillov-Reshetikhin crystals are colored directed graphs encoding the structure of certain finite-dimensional representations of affine Lie algebras. A tensor products of column shape Kirillov-Reshetikhin crystals has recently been realized in a uniform way, for all untwisted affine types, in terms of the quantum alcove model. We enhance this model by using it to give a uniform realization of the combinatorial $R$-matrix, i.e., the unique affine crystal isomorphism permuting factors in a tensor product of KR crystals. In other words, we are generalizing to all Lie types Schützenberger's sliding game (jeu de taquin) for Young tableaux, which realizes the combinatorial $R$-matrix in type $A$. Our construction is in terms of certain combinatorial moves, called quantum Yang-Baxter moves, which are explicitly described by reduction to the rank 2 root systems. We also show that the quantum alcove model does not depend on the choice of a sequence of alcoves joining the fundamental one to a translation of it.
On the Number of Minimal Separators in Graphs
Published
• View Publication
• BIB
We consider the largest number of minimal separators a graph on n vertices can have at most.
We give a new proof that this number is in $O( ((1+\sqrt{5})/2)^n n )$.
We prove that this number is in $ω( 1.4521^n )$, improving on the previous best lower bound of $Ω(3^{n/3}) \subseteq ω( 1.4422^n )$.
This gives also an improved lower bound on the number of potential maximal cliques in a graph. We would like to emphasize that our proofs are short, simple, and elementary.
Sparse sum-of-squares certificates on finite abelian groups
Published in Mathematical Programming, Volume 160, Issue 1, pp 149-191, November 2016
• View Publication
• BIB
Let G be a finite abelian group. This paper is concerned with nonnegative functions on G that are sparse with respect to the Fourier basis. We establish combinatorial conditions on subsets S and T of Fourier basis elements under which nonnegative functions with Fourier support S are sums of squares of functions with Fourier support T. Our combinatorial condition involves constructing a chordal cover of a graph related to G and S (the Cayley graph Cay($\hat{G}$,S)) with maximal cliques related to T. Our result relies on two main ingredients: the decomposition of sparse positive semidefinite matrices with a chordal sparsity pattern, as well as a simple but key observation exploiting the structure of the Fourier basis elements of G.
We apply our general result to two examples. First, in the case where $G = \mathbb{Z}_2^n$, by constructing a particular chordal cover of the half-cube graph, we prove that any nonnegative quadratic form in n binary variables is a sum of squares of functions of degree at most $\lceil n/2 \rceil$, establishing a conjecture of Laurent. Second, we consider nonnegative functions of degree d on $\mathbb{Z}_N$ (when d divides N). By constructing a particular chordal cover of the d'th power of the N-cycle, we prove that any such function is a sum of squares of functions with at most $3d\log(N/d)$ nonzero Fourier coefficients. Dually this shows that a certain cyclic polytope in $\mathbb{R}^{2d}$ with N vertices can be expressed as a projection of a section of the cone of psd matrices of size $3d\log(N/d)$. Putting $N=d^2$ gives a family of polytopes $P_d \subset \mathbb{R}^{2d}$ with LP extension complexity $\text{xc}_{LP}(P_d) = Ω(d^2)$ and SDP extension complexity $\text{xc}_{PSD}(P_d) = O(d\log(d))$. To the best of our knowledge, this is the first explicit family of polytopes in increasing dimensions where $\text{xc}_{PSD}(P_d) = o(\text{xc}_{LP}(P_d))$.
A New Approach Towards a Conjecture on Intersecting Three Longest Paths
Published
• View Publication
• BIB
In 1966, T. Gallai asked whether every connected graph has a vertex that appears in all longest paths. Since then this question has attracted much attention and many work has been done in this topic. One important open question in this area is to ask whether any three longest paths contains a common vertex in a connected graph. It was conjectured that the answer to this question is positive. In this paper, we propose a new approach in view of distances among longest paths in a connected graph, and give a substantial progress towards the conjecture along the idea.
Bounds on Gromov Hyperbolicity Constant
If $X$ is a geodesic metric space and $x_{1},x_{2},x_{3} \in X$, a geodesic triangle $T=\{x_{1},x_{2},x_{3}\}$ is the union of the three geodesics $[x_{1}x_{2}]$, $[x_{2}x_{3}]$ and $[x_{3}x_{1}]$ in $X$. The space $X$ is $δ$-hyperbolic in the Gromov sense if any side of $T$ is contained in a $δ$-neighborhood of the union of the two other sides, for every geodesic triangle $T$ in $X$.
If $X$ is hyperbolic, we denote by $δ(X)$ the sharp hyperbolicity constant of $X$, i.e. $δ(X) =\inf \{ δ\geq 0:{0.3cm}$ X ${0.2cm}$ $\text{is} {0.2cm} δ\text{-hyperbolic} \}.$ To compute the hyperbolicity constant is a very hard problem. Then it is natural to try to bound the hyperbolycity constant in terms of some parameters of the graph. Denote by $\mathcal{G}(n,m)$ the set of graphs $G$ with $n$ vertices and $m$ edges, and such that every edge has length $1$. In this work we estimate $A(n,m):=\min\{δ(G)\mid G \in \mathcal{G}(n,m) \}$ and $B(n,m):=\max\{δ(G)\mid G \in \mathcal{G}(n,m) \}$. In particular, we obtain good bounds for $B(n,m)$, and we compute the precise value of $A(n,m)$ for all values of $n$ and $m$. Besides, we apply these results to random graphs.
Gonality of complete graphs with a small number of omitted edges
Published
• View Publication
• BIB
Let $K_d$ be the complete metric graph on $d$ vertices. We compute the gonality of graphs obtained from $K_d$ by omitting edges forming a $K_h$, or general configurations of at most $d-2$ edges. We also investigate if these graphs can be lifted to curves with the same gonality. We lift the former graphs and the ones obtained by removing up to $d-2$ edges not forming a $K_3$ using models of plane curves with certain singularities. We also study the gonality when removing $d-1$ edges not forming a $K_3$. We use harmonic morphism to lift these graphs to curves with the same gonality because in this case plane singular models can no be longer used due to a result of Coppens and Kato.
Saturated simple and 2-simple topological graphs with few edges
Published
• View Publication
• BIB
A simple topological graph is a topological graph in which any two edges have at most one common point, which is either their common endpoint or a proper crossing. More generally, in a k-simple topological graph, every pair of edges has at most k common points of this kind. We construct saturated simple and 2-simple graphs with few edges. These are k-simple graphs in which no further edge can be added. We improve the previous upper bounds of Kynčl, Pach, Radoičić, and Tóth and show that there are saturated simple graphs on n vertices with only 7n edges and saturated 2-simple graphs on n vertices with 14.5n edges. As a consequence, 14.5n edges is also a new upper bound for k-simple graphs (considering all values of k). We also construct saturated simple and 2-simple graphs that have some vertices with low degree.
The time of graph bootstrap percolation
Published
• View Publication
• BIB
Graph bootstrap percolation, introduced by Bollobás in 1968, is a cellular automaton defined as follows. Given a "small" graph $H$ and a "large" graph $G = G_0 \subseteq K_n$, in consecutive steps we obtain $G_{t+1}$ from $G_t$ by adding to it all new edges $e$ such that $G_t \cup e$ contains a new copy of $H$. We say that $G$ percolates if for some $t \geq 0$, we have $G_t = K_n$.
For $H = K_r$, the question about the size of the smallest percolating graphs was independently answered by Alon, Frankl and Kalai in the 1980's. Recently, Balogh, Bollobás and Morris considered graph bootstrap percolation for $G = G(n,p)$ and studied the critical probability $p_c(n,K_r)$, for the event that the graph percolates with high probability. In this paper, using the same setup, we determine, up to a logarithmic factor, the critical probability for percolation by time $t$ for all $1 \leq t \leq C \log\log n$.
Variation of the local topological structure of graph embeddings
The $2$-cell embeddings of graphs on closed surfaces have been widely studied. It is well known that ($2$-cell) embedding a given graph $G$ on a closed orientable surface is equivalent to cyclically ordering the edges incident to each vertex of $G$. In this paper, we study the following problem: given a genus $g$ embedding $\mathbb{E}$ of the graph $G$, if we randomly rearrange the edges around a vertex, i.e., re-embedding, what is the probability of the resulting embedding $\mathbb{E}'$ having genus $g+Δg$? We give a formula to compute this probability. Meanwhile, some other known and unknown results are also obtained. For example, we show that the probability of preserving the genus is at least $\frac{2}{deg(v)+2}$ for re-embedding any vertex $v$ of degree $deg(v)$ in a one-face embedding; and we obtain a necessary condition for a given embedding of $G$ to be an embedding with the minimum genus.
Colorful paths for 3-chromatic graphs
In this paper, we prove that every 3-chromatic connected graph, except $C_7$, admits a 3-vertex coloring in which every vertex is the beginning of a 3-chromatic path. It is a special case of a conjecture due to S.~Akbari, F.~Khaghanpoor, and S.~Moazzeni, cited in [P.J. Cameron, Research problems from the BCC22, \emph{Discrete Math.}
{\bf 311} (2011), 1074--1083], stating that every connected graph $G$ other than $C_7$ admits a $χ(G)$-coloring such that every vertex of $G$ is the beginning of a colorful path (i.e. a path of on $χ(G)$ vertices containing a vertex of each color). We also provide some support for the conjecture in the case of 4-chromatic graphs.
Counting dominating sets and related structures in graphs
Published
• View Publication
• BIB
We consider some problems concerning the maximum number of (strong) dominating sets in a regular graph, and their weighted analogues. Our primary tool is Shearer's entropy lemma. These techniques extend to a reasonably broad class of graph parameters enumerating vertex colorings satisfying conditions on the multiset of colors appearing in (closed) neighborhoods. We also generalize further to enumeration problems for what we call existence homomorphisms. Here our results are substantially less complete, though we do solve some natural problems.
Discrete Malliavin-Stein method: Berry-Esseen bounds for random graphs and percolation
Published
• View Publication
• BIB
A new Berry-Esseen bound for non-linear functionals of non-symmetric and non-homogeneous infinite Rademacher sequences is established. It is based on a discrete version of the Malliavin-Stein method and an analysis of the discrete Ornstein-Uhlenbeck semigroup. The result is applied to sub-graph counts and to the number of vertices having a prescribed degree in the Erdős-Renyi random graph. A further application deals with a percolation problem on trees.
2-Swappability and the Edge-Reconstruction Number of Regular Graphs
The edge-reconstruction number of graph $G$, denoted $ern(G)$,is the size of the smallest multiset of edge-deleted, unlabeled subgraphs of $G$, from which the structure of $G$ can be uniquely determined. That there was some connection between the areas of edge reconstruction and swappability has been known since the swapping number of a graph was first introduced by Froncek, Rosenberg, and Hlavacek in 2013. This paper illustrates the depth of that connection by proving several bridging results between those areas; in particular, when the graphs in question are both regular and 2-swappable. These connections led to the discovery of four infinite families of $r\geq 3$ regular graphs with $ern(G) \geq 3$, contradicting the formerly conjectured upper bound.