graph
34905 papers tagged with this keyword
The Disjoint Domination Game
We introduce and study a Maker-Breaker type game in which the issue is to create or avoid two disjoint dominating sets in graphs without isolated vertices. We prove that the maker has a winning strategy on all connected graphs if the game is started by the breaker. This implies the same in the $(2:1)$ biased game also in the maker-start game. It remains open to characterize the maker-win graphs in the maker-start non-biased game, and to analyze the $(a:b)$ biased game for $(a:b)\neq (2:1)$. For a more restricted variant of the non-biased game we prove that the maker can win on every graph without isolated vertices.
Identifying codes in vertex-transitive graphs and strongly regular graphs
Published
• View Publication
• BIB
We consider the problem of computing identifying codes of graphs and its fractional relaxation. The ratio between the size of optimal integer and fractional solutions is between 1 and 2 ln(|V|)+1 where V is the set of vertices of the graph. We focus on vertex-transitive graphs for which we can compute the exact fractional solution. There are known examples of vertex-transitive graphs that reach both bounds. We exhibit infinite families of vertex-transitive graphs with integer and fractional identifying codes of order |V|^a with a in {1/4,1/3,2/5}. These families are generalized quadrangles (strongly regular graphs based on finite geometries). They also provide examples for metric dimension of graphs.
Some examples of asymptotic combinatorial behavior, zero-one and convergence results on random hypergraphs
This is an extended version of the thesis presented to the Programa de Pós-Graduação em Matemática of the Departamento de Matemática, PUC-Rio, in September 2013, incorporating some suggestions from the examining commission.
Random graphs (and more generally hypergraphs) have been extensively studied, including their first order logic. In this work we focus on certain specific aspects of this vast theory. We consider the binomial model $G^{d+1}(n,p)$ of the random $(d+1)$-uniform hypergraph on $n$ vertices, where each edge is present, independently of one another, with probability $p=p(n)$. We are particularly interested in the range $p(n) \sim C\log(n)/n^d$, after the double jump and near connectivity. We prove several zero-one, and, more generally, convergence results and obtain combinatorial applications of some
Asymptotics for Sparse Exponential Random Graph Models
Published in Braz. J. Probab. Stat. 31, 394-412 (2017)
• View Publication
• BIB
We study the asymptotics for sparse exponential random graph models where the parameters may depend on the number of vertices of the graph. We obtain exact estimates for the mean and variance of the limiting probability distribution and the limiting log partition function of the edge-(single)-star model. They are in sharp contrast to the corresponding asymptotics in dense exponential random graph models. Similar analysis is done for directed sparse exponential random graph models parametrized by edges and multiple outward stars.
Counting K_4-Subdivisions
Published
• View Publication
• BIB
A fundamental theorem in graph theory states that any 3-connected graph contains a subdivision of $K_4$. As a generalization, we ask for the minimum number of $K_4$-subdivisions that are contained in every $3$-connected graph on $n$ vertices. We prove that there are $Ω(n^3)$ such $K_4$-subdivisions and show that the order of this bound is tight for infinitely many graphs. We further investigate a better bound in dependence on $m$ and prove that the computational complexity of the problem of counting the exact number of $K_4$-subdivisions is $\#P$-hard.
Note on the Sum of Powers of Signless Laplacian Eigenvalues of Graphs
For a simple graph $G$ and a real number $α$ $\left(α\neq 0,1\right) $ the graph invariant $s_α\left(G\right) $ is equal to the sum of powers of signless Laplacian eigenvalues of $G$. In this note, we present some new bounds on $s_α\left(G\right) $. As a result of these bounds, we also give some results on incidence energy.
On Eigenvalues of Random Complexes
Published
• View Publication
• BIB
We consider higher-dimensional generalizations of the normalized Laplacian and the adjacency matrix of graphs and study their eigenvalues for the Linial-Meshulam model $X^k(n,p)$ of random $k$-dimensional simplicial complexes on $n$ vertices. We show that for $p=Ω(\log n/n)$, the eigenvalues of these matrices are a.a.s. concentrated around two values. The main tool, which goes back to the work of Garland, are arguments that relate the eigenvalues of these matrices to those of graphs that arise as links of $(k-2)$-dimensional faces. Garland's result concerns the Laplacian; we develop an analogous result for the adjacency matrix. The same arguments apply to other models of random complexes which allow for dependencies between the choices of $k$-dimensional simplices. In the second part of the paper, we apply this to the question of possible higher-dimensional analogues of the discrete Cheeger inequality, which in the classical case of graphs relates the eigenvalues of a graph and its edge expansion. It is very natural to ask whether this generalizes to higher dimensions and, in particular, whether the higher-dimensional Laplacian spectra capture the notion of coboundary expansion - a generalization of edge expansion that arose in recent work of Linial and Meshulam and of Gromov. We show that this most straightforward version of a higher-dimensional discrete Cheeger inequality fails, in quite a strong way: For every $k\geq 2$ and $n\in \mathbb{N}$, there is a $k$-dimensional complex $Y^k_n$ on $n$ vertices that has strong spectral expansion properties (all nontrivial eigenvalues of the normalised $k$-dimensional Laplacian lie in the interval $[1-O(1/\sqrt{n}),1+O(1/\sqrt{n})]$) but whose coboundary expansion is bounded from above by $O(\log n/n)$ and so tends to zero as $n\rightarrow \infty$; moreover, $Y^k_n$ can be taken to have vanishing integer homology in dimension less than $k$.
On some automorphism related parameters in graphs
In this paper, we deduce some properties of $f$-sets of connected graphs. Also, we introduce the concept of fixing share of each vertex of a fixing set $D$ to see the participation of each vertex when fixing a connected graph $G$. We define a parameter, called the fixing percentage, by using the concept of fixing share, which is helpful in determining the measure of the amount of fixing done by the elements of $D$ in $G$.
Three-edge-colouring doublecross cubic graphs
Published in J. Combin. Theory Ser. B 119 (2016), 66-95
• View Publication
• BIB
A graph is apex if there is a vertex whose deletion makes the graph planar, and doublecross if it can be drawn in the plane with only two crossings, both incident with the infinite region in the natural sense. In 1966, Tutte conjectured that every two-edge-connected cubic graph with no Petersen graph minor is three-edge-colourable. With Neil Robertson, two of us showed that this is true in general if it is true for apex graphs and doublecross graphs. In another paper, two of us solved the apex case, but the doublecross case remained open. Here we solve the doublecross case; that is, we prove that every two-edge-connected doublecross cubic graph is three-edge-colourable. The proof method is a variant on the proof of the four-colour theorem.
Cosets, Voltages, and Derived Embeddings
An ordinary voltage graph embedding of a graph in a surface encodes a certain kind of highly symmetric covering space of that surface. Given an ordinary voltage graph embedding of a graph $G$ in a surface with voltage group $A$ and a connected subgraph $H$ of $G$, we define special subgroups of $A$ that depend on $H$ and show how cosets of these groups in $A$ can be used to find topological information concerning the derived embedding without constructing the whole covering space. Our strongest theorems treat the case that $H$ is a cycle and the fiber over $H$ is a disjoint union of cycles with annular neighborhoods, in which case we are able to deduce specific symmetry properties of the derived embeddings. We give infinite families of examples that demonstrate the usefulness of our results.
Maximizing proper colorings on graphs
Published
• View Publication
• BIB
The number of proper $q$-colorings of a graph $G$, denoted by $P_G(q)$, is an important graph parameter that plays fundamental role in graph theory, computational complexity theory and other related fields. We study an old problem of Linial and Wilf to find the graphs with $n$ vertices and $m$ edges which maximize this parameter. This problem has attracted much research interest in recent years, however little is known for general $m,n,q$. Using analytic and combinatorial methods, we characterize the asymptotic structure of extremal graphs for fixed edge density and $q$. Moreover, we disprove a conjecture of Lazebnik, which states that the Turán graph $T_s(n)$ has more $q$-colorings than any other graph with the same number of vertices and edges. Indeed, we show that there are infinite many counterexamples in the range $q = O({s^2}/{\log s})$. On the other hand, when $q$ is larger than some constant times ${s^2}/{\log s}$, we confirm that the Turán graph $T_s(n)$ asymptotically is the extremal graph achieving the maximum number of $q$-colorings. Furthermore, other (new and old) results on various instances of the Linial-Wilf problem are also established.
On a Ramsey-type problem of Erdős and Pach
Published
• View Publication
• BIB
In this paper we show that there exists a constant $C>0$ such that for any graph $G$ on $Ck\ln k$ vertices either $G$ or its complement $\bar{G}$ has an induced subgraph on $k$ vertices with minimum degree at least $\frac12(k-1)$. This affirmatively answers a question of Erdős and Pach from 1983.
Maximum density of an induced 5-cycle is achieved by an iterated blow-up of a 5-cycle
Published
• View Publication
• BIB
Let $C(n)$ denote the maximum number of induced copies of 5-cycles in graphs on $n$ vertices. For $n$ large enough, we show that $C(n)=a\cdot b\cdot c \cdot d \cdot e + C(a)+C(b)+C(c)+C(d)+C(e)$, where $a+b+c+d+e = n$ and $a,b,c,d,e$ are as equal as possible.
Moreover, if $n$ is a power of 5, we show that the unique graph on $n$ vertices maximizing the number of induced 5-cycles is an iterated blow-up of a 5-cycle.
The geometry of flip graphs and mapping class groups
Published
• View Publication
• BIB
The space of topological decompositions into triangulations of a surface has a natural graph structure where two triangulations share an edge if they are related by a so-called flip. This space is a sort of combinatorial Teichmüller space and is quasi-isometric to the underlying mapping class group. We study this space in two main directions. We first show that strata corresponding to triangulations containing a same multiarc are strongly convex within the whole space and use this result to deduce properties about the mapping class group. We then focus on the quotient of this space by the mapping class group to obtain a type of combinatorial moduli space. In particular, we are able to identity how the diameters of the resulting spaces grow in terms of the complexity of the underlying surfaces.
Doyen-Wilson results for odd length cycle systems
Published
• View Publication
• BIB
For each odd $m \geq 3$ we completely solve the problem of when an $m$-cycle system of order $u$ can be embedded in an $m$-cycle system of order $v$, barring a finite number of possible exceptions. In cases where $u$ is large compared to $m$, where $m$ is a prime power, or where $m \leq 15$, the problem is completely resolved. In other cases, the only possible exceptions occur when $v-u$ is small compared to $m$. This result is proved as a consequence of a more general result which gives necessary and sufficient conditions for the existence of an $m$-cycle decomposition of a complete graph of order $v$ with a hole of size $u$ in the case where $u \geq m-2$ and $v-u \geq m+1$ both hold.
Families of locally separated Hamilton paths
We improve by an exponential factor the lower bound of Korner and Muzi for the cardinality of the largest family of Hamilton paths in a complete graph of n vertices in which the union of any two paths has degree 4. The improvement is through an explicit construction while the previous bound was obtained by a greedy algorithm. We solve a similar problem for permutations up to an exponential factor.
Ordered Ramsey numbers of loose paths and matchings
Published
• View Publication
• BIB
For a $k$-uniform hypergraph $G$ with vertex set $\{1,\ldots,n\}$, the ordered Ramsey number $\operatorname{OR}_t(G)$ is the least integer $N$ such that every $t$-coloring of the edges of the complete $k$-uniform graph on vertex set $\{1,\ldots,N\}$ contains a monochromatic copy of $G$ whose vertices follow the prescribed order. Due to this added order restriction, the ordered Ramsey numbers can be much larger than the usual graph Ramsey numbers. We determine that the ordered Ramsey numbers of loose paths under a monotone order grows as a tower of height one less than the maximum degree. We also extend theorems of Conlon, Fox, Lee, and Sudakov [Ordered Ramsey numbers, arXiv:1410.5292] on the ordered Ramsey numbers of 2-uniform matchings to provide upper bounds on the ordered Ramsey number of $k$-uniform matchings under certain orderings.
Scaling limits of random graph models at criticality: Universality and the basin of attraction of the Erdős-Rényi random graph
A wide array of random graph models have been postulated to understand properties of observed networks. Typically these models have a parameter $t$ and a critical time $t_c$ when a giant component emerges. It is conjectured that for a large class of models, the nature of this emergence is similar to that of the Erdős-Rényi random graph, in the sense that (a) the sizes of the maximal components in the critical regime scale like $n^{2/3}$, and (b) the structure of the maximal components at criticality (rescaled by $n^{-1/3}$) converges to random fractals. To date, (a) has been proven for a number of models using different techniques. This paper develops a general program for proving (b) that requires three ingredients: (i) in the critical scaling window, components merge approximately like the multiplicative coalescent, (ii) scaling exponents of susceptibility functions are the same as that of the Erdős-Rényi random graph, and (iii) macroscopic averaging of distances between vertices in the barely subcritical regime. We show that these apply to two fundamental random graph models: the configuration model and inhomogeneous random graphs with a finite ground space. For these models, we also obtain new results for component sizes at criticality and structural properties in the barely subcritical regime.
Automorphisms of strongly regular graphs
In this article we generalize a theorem of Benson for generalized quadrangles to strongly regular graphs and directed strongly regular graphs. The main result provides numerical restrictions on the number of fixed vertices and the number of vertices mapped to adjacent vertices under an automorphism. It is explained how these results can be used when studying partial difference sets in Abelian groups and projective two-weight sets. The underlying ideas are linear algebraic in nature.
Cheeger constants, structural balance, and spectral clustering analysis for signed graphs
Published in Discrete Mathematics 343:111616 (2020)
• View Publication
• BIB
We introduce a family of multi-way Cheeger-type constants $\{h_k^σ, k=1,2,\ldots, n\}$ on a signed graph $Γ=(G,σ)$ such that $h_k^σ=0$ if and only if $Γ$ has $k$ balanced connected components. These constants are switching invariant and bring together in a unified viewpoint a number of important graph-theoretical concepts, including the classical Cheeger constant, those measures of bipartiteness introduced by Desai-Rao, Trevisan, Bauer-Jost, respectively, on unsigned graphs,, and the frustration index (originally called the line index of balance by Harary) on signed graphs. We further unify the (higher-order or improved) Cheeger and dual Cheeger inequalities for unsigned graphs as well as the underlying algorithmic proof techniques by establishing their corresponding versions on signed graphs. In particular, we develop a spectral clustering method for finding $k$ almost-balanced subgraphs, each defining a sparse cut. The proper metric for such a clustering is the metric on a real projective space. We also prove estimates of the extremal eigenvalues of signed Laplace matrix in terms of number of signed triangles ($3$-cycles).