graph
34665 papers tagged with this keyword
Bipartite independence number in graphs with bounded maximum degree
Published
• View Publication
• BIB
We consider a natural, yet seemingly not much studied, extremal problem in bipartite graphs. A bi-hole of size $t$ in a bipartite graph $G$ is a copy of $K_{t, t}$ in the bipartite complement of $G$. Let $f(n, Δ)$ be the largest $k$ for which every $n \times n$ bipartite graph with maximum degree $Δ$ in one of the parts has a bi-hole of size $k$. Determining $f(n, Δ)$ is thus the bipartite analogue of finding the largest independent set in graphs with a given number of vertices and bounded maximum degree. Our main result determines the asymptotic behavior of $f(n, Δ)$. More precisely, we show that for large but fixed $Δ$ and $n$ sufficiently large, $f(n, Δ) = Θ(\frac{\log Δ}Δ n)$. We further address more specific regimes of $Δ$, especially when $Δ$ is a small fixed constant. In particular, we determine $f(n, 2)$ exactly and obtain bounds for $f(n, 3)$, though determining the precise value of $f(n, 3)$ is still open.
On structures induced by the power sequences of $($\mathbb{Z}/ m\mathbb{Z}$, \cdot)$
In this paper, we explore the structure of $\mathbb{Z}/ m\mathbb{Z}$ in terms of its orbits under modular exponentiation, illustrating this with a sequential power graph that is naturally derived from the orbits by connecting elements of $\mathbb{Z}/ m\mathbb{Z}$ in the orbit order in which they appear.
We find that this graph has a great deal of fascinating algebraic structure. The connected components are composed of orbits that all share at least one element. The vertex sets of the connected components are shown to depend on the factorization of $m$; in fact, the connected components are completely determined by the units of $\mathbb{Z}/ m\mathbb{Z}$, the idempotents of $\mathbb{Z}/ m\mathbb{Z}$ and the square-free divisors of $m$. Both tails and non-tails of the components can be described explicitly and algebraically in terms of these elements of $\mathbb{Z}/ m\mathbb{Z}$. Finally, a lattice of components can be used to show homomorphisms between the non-tails of any two comparable components in the lattice.
This extensive structure is used here to prove an algebraic identity on the roots of an idempotent mod $m$, and may be exploited to prove other identities as well.
The Threshold Dimension and Irreducible Graphs
Published
• View Publication
• BIB
Let $G$ be a graph, and let $u$, $v$, and $w$ be vertices of $G$. If the distance between $u$ and $w$ does not equal the distance between $v$ and $w$, then $w$ is said to resolve $u$ and $v$. The metric dimension of $G$, denoted $β(G)$, is the cardinality of a smallest set $W$ of vertices such that every pair of vertices of $G$ is resolved by some vertex of $W$. The threshold dimension of $G$, denoted $τ(G)$, is the minimum metric dimension among all graphs $H$ having $G$ as a spanning subgraph. In other words, the threshold dimension of $G$ is the minimum metric dimension among all graphs obtained from $G$ by adding edges. If $β(G) = τ(G)$, then $G$ is said to be irreducible.
We give two upper bounds for the threshold dimension of a graph, the first in terms of the diameter, and the second in terms of the chromatic number. As a consequence, we show that every planar graph of order $n$ has threshold dimension $O (\log_2 n)$. We show that several infinite families of graphs, known to have metric dimension $3$, are in fact irreducible. Finally, we show that for any integers $n$ and $b$ with $1 \leq b < n$, there is an irreducible graph of order $n$ and metric dimension $b$.
Clique minors in graphs with a forbidden subgraph
The classical Hadwiger conjecture dating back to 1940's states that any graph of chromatic number at least $r$ has the clique of order $r$ as a minor. Hadwiger's conjecture is an example of a well studied class of problems asking how large a clique minor one can guarantee in a graph with certain restrictions. One problem of this type asks what is the largest size of a clique minor in a graph on $n$ vertices of independence number $α(G)$ at most $r$. If true Hadwiger's conjecture would imply the existence of a clique minor of order $n/α(G)$. Results of Kuhn and Osthus and Krivelevich and Sudakov imply that if one assumes in addition that $G$ is $H$-free for some bipartite graph $H$ then one can find a polynomially larger clique minor. This has recently been extended to triangle free graphs by Dvořák and Yepremyan, answering a question of Norin. We complete the picture and show that the same is true for arbitrary graph $H$, answering a question of Dvořák and Yepremyan. In particular, we show that any $K_s$-free graph has a clique minor of order $c_s(n/α(G))^{1+\frac{1}{10(s-2) }}$, for some constant $c_s$ depending only on $s$. The exponent in this result is tight up to a constant factor in front of the $\frac{1}{s-2}$ term.
The firefighter problem on polynomial and intermediate growth groups
Published in Discrete Mathematics Volume 343, Issue 11, November 2020, 112077
• View Publication
• BIB
We prove that any Cayley graph $G$ with degree $d$ polynomial growth does not satisfy $\{f(n)\}$-containment for any $f=o(n^{d-2})$. This settles the asymptotic behaviour of the firefighter problem on such graphs as it was known that $Cn^{d-2}$ firefighters are enough, answering and strengthening a conjecture of Develin and Hartke. We also prove that intermediate growth Cayley graphs do not satisfy polynomial containment, and give explicit lower bounds depending on the growth rate of the group. These bounds can be further improved when more geometric information is available, such as for Grigorchuk's group.
The edge colorings of $K_{5}$-minor free graphs
Published
• View Publication
• BIB
In 1965, Vizing proved that every planar graph $G$ with maximum degree $Δ\geq 8$ is edge $Δ$-colorable. It is also proved that every planar graph $G$ with maximum degree $Δ=7$ is edge $Δ$-colorable by Sanders and Zhao, independently by Zhang. In this paper, we extend the above results by showing that every $K_5$-minor free graph with maximum degree $Δ$ at least seven is edge $Δ$-colorable.
Vizing-Goldberg type bounds for the equitable chromatic number of block graphs
An equitable coloring of a graph $G$ is a proper vertex coloring of $G$ such that the sizes of any two color classes differ by at most one. In the paper, we pose a conjecture that offers a gap-one bound for the smallest number of colors needed to equitably color every block graph. In other words, the difference between the upper and the lower bounds of our conjecture is at most one. Thus, in some sense, the situation is similar to that of chromatic index, where we have the classical theorem of Vizing and the Goldberg conjecture for multigraphs. The results obtained in the paper support our conjecture. More precisely, we verify it in the class of well-covered block graphs, which are block graphs in which each vertex belongs to a maximum independent set. We also show that the conjecture is true for block graphs, which contain a vertex that does not lie in an independent set of size larger than two. Finally, we verify the conjecture for some symmetric-like block graphs. In order to derive our results we obtain structural characterizations of block graphs from these classes.
String graphs have the Erdős-Hajnal property
Published
• View Publication
• BIB
A string graph is the intersection graph of curves in the plane. We prove that there exists an absolute constant $c>0$ such that if $G$ is a string graph on $n$ vertices, then $G$ contains either a clique or an independent set of size at least $n^{c}$.
Genome assembly, from practice to theory: safe, complete and linear-time
Published
• View Publication
• BIB
Genome assembly asks to reconstruct an unknown string from many shorter substrings of it. Even though it is one of the key problems in Bioinformatics, it is generally lacking major theoretical advances. Its hardness stems both from practical issues (size and errors of real data), and from the fact that problem formulations inherently admit multiple solutions. Given these, at their core, most state-of-the-art assemblers are based on finding non-branching paths (unitigs) in an assembly graph. If one defines a genome assembly solution as a closed arc-covering walk of the graph, then unitigs appear in all solutions, being thus safe partial solutions. All all such safe walks were recently characterized as omnitigs, leading to the first safe and complete genome assembly algorithm. Even if omnitig finding was improved to quadratic time, it remained open whether the crucial linear-time feature of finding unitigs can be attained with omnitigs.
We describe a surprising $O(m)$-time algorithm to identify all maximal omnitigs of a graph with $n$ nodes and $m$ arcs, notwithstanding the existence of families of graphs with $Θ(mn)$ total maximal omnitig size. This is based on the discovery of a family of walks (macrotigs) with the property that all the non-trivial omnitigs are univocal extensions of subwalks of a macrotig, with two consequences: (1) A linear-time output-sensitive algorithm enumerating all maximal omnitigs. (2) A compact $O(m)$ representation of all maximal omnitigs, which allows, e.g., for $O(m)$-time computation of various statistics on them.
Our results close a long-standing theoretical question inspired by practical genome assemblers, originating with the use of unitigs in 1995. We envision our results to be at the core of a reverse transfer from theory to practical and complete genome assembly programs, as has been the case for other key Bioinformatics problems.
Characterization of regular checkerboard colourable twisted duals of ribbon graphs
Published
• View Publication
• BIB
The geometric dual of a cellularly embedded graph is a fundamental concept in graph theory and also appears in many other branches of mathematics. The partial dual is an essential generalization which can be obtained by forming the geometric dual with respect to only a subset of edges of a cellularly embedded graph. The twisted dual is a further generalization by combining the partial Petrial. Given a ribbon graph $G$, in this paper, we first characterize regular partial duals of the ribbon graph $G$ by using spanning quasi-tree and its related shorter marking arrow sequence set. Then we characterize checkerboard colourable partial Petrials for any Eulerian ribbon graph by using spanning trees and a related notion of adjoint set. Finally we give a complete characterization of all regular checkerboard colourable twisted duals of a ribbon graph, which solve a problem raised by Ellis-Monaghan and Moffatt [T. Am. Math. Soc., 364(3) (2012), 1529-1569].
Two Kinds of Constructions of Directed Strongly Regular Graphs from Partial Sum Families and Semi-direct Products of Groups
Published
• View Publication
• BIB
In this paper, we construct directed strongly regular graphs with new parameters by using partial sum families with local rings. 16 families of new directed strongly regular graphs are obtained and the uniform partial sum families are given. Based on the cyclotomic numbers of finite fields, we present two infinite families of directed strongly regular Cayley graphs from semi-direct products of groups.
Minimizing the number of edges in $\mathcal{C}_{\ge r}$-saturated graphs
Published
• View Publication
• BIB
Given a family of graphs $\mathcal{F}$, a graph $G$ is said to be $\mathcal{F}$-saturated if $G$ does not contain a copy of $F$ as a subgraph for any $F\in\mathcal{F}$ but the addition of any edge $e\notin E(G)$ creates at least one copy of some $F\in\mathcal{F}$ within $G$. The minimum size of an $\mathcal{F}$-saturated graph on $n$ vertices are called the saturation number, denoted by $\sat(n, \mathcal{F})$. Let $\mathcal{C}_{\ge r}$ be the family of cycles of length at least $r$. Ferrara et al. (2012) gave lower and upper bounds of $\sat(n, C_{\ge r})$ and determined the exact values of $\sat(n, C_{\ge r})$ for $3\le r\le 5$. In this paper, we determine the exact value of $\sat(n,\mathcal{C}_{\ge r})$ for $r=6$ and $28\le \frac{n}2\le r\le n$ and give new upper and lower bounds for the other cases.
A Riemann-Roch type theorem for twisted fibrations of moment graphs
Published
• View Publication
• BIB
In the present paper we extend the Riemann-Roch formalism to structure algebras of moment graphs. We introduce and study the Chern character and pushforwards for twisted fibrations of moment graphs. We prove an analogue of the Riemann-Roch theorem for moment graphs. As an application, we obtain the Riemann-Roch type theorem for equivariant $K$-theory of some Kac-Moody flag varieties.
Counting independent sets in regular hypergraphs
Published
• View Publication
• BIB
Amongst $d$-regular $r$-uniform hypergraphs on $n$ vertices, which ones have the largest number of independent sets? While the analogous problem for graphs (originally raised by Granville) is now well-understood, it is not even clear what the correct general conjecture ought to be; our goal here is propose such a generalisation. Lending credence to our conjecture, we verify it within the class of `quasi-bipartite' hypergraphs (a generalisation of bipartite graphs that seems natural in this context) by adopting the entropic approach of Kahn.
Transversals and bipancyclicity in bipartite graph families
Published
• View Publication
• BIB
A bipartite graph is called bipancyclic if it contains cycles of every even length from four up to the number of vertices in the graph. A theorem of Schmeichel and Mitchem states that for $n \geq 4$, every balanced bipartite graph on $2n$ vertices in which each vertex in one color class has degree greater than $\frac{n}{2}$ and each vertex in the other color class has degree at least $\frac{n}{2}$ is bipancyclic. We prove a generalization of this theorem in the setting of graph transversals. Namely, we show that given a family $\mathcal{G}$ of $2n$ bipartite graphs on a common set $X$ of $2n$ vertices with a common balanced bipartition, if each graph of $\mathcal G$ has minimum degree greater than $\frac{n}{2}$ in one color class and minimum degree at least $\frac{n}{2}$ in the other color class, then there exists a cycle on $X$ of each even length $4 \leq \ell \leq 2n$ that uses at most one edge from each graph of $\mathcal G$. We also show that given a family $\mathcal G$ of $n$ bipartite graphs on a common set $X$ of $2n$ vertices meeting the same degree conditions, there exists a perfect matching on $X$ that uses exactly one edge from each graph of $\mathcal G$.
Measurable perfect matchings for acyclic locally countable Borel graphs
Published in Journal of Symbolic Logic 82 (1) (2017) 258-271
• View Publication
• BIB
We characterize the structural impediments to the existence of Borel perfect matchings for acyclic locally countable Borel graphs admitting a Borel selection of finitely many ends from their connected components. In particular, this yields the existence of Borel matchings for such graphs of degree at least three. As a corollary, it follows that acyclic locally countable Borel graphs of degree at least three generating $μ$-hyperfinite equivalence relations admit $μ$-measurable matchings. We establish the analogous result for Baire measurable matchings in the locally finite case, and provide a counterexample in the locally countable case.
Progress on sufficient conditions for a graph to have a spanning $k-$ended tree
Published
• View Publication
• BIB
In 1998, Broersma and Tuinstra [J. Graph Theory \textbf{29} (1998), 227-237] proved that if $G$ is a connected graph satisfying $σ_2(G) \geq |G|-k+1$ then $G$ has a spanning $k-$ended tree. They also gave an example to show that the condition "$σ_2(G) \geq |G|-k+1$" is sharp. In this paper, we introduce a new progress for this result. Let $K_{m,m+k}$ be a complete bipartite graph with bipartition $V(K_{m,m+k})=A\cup B, |A|=m, |B|=m+k.$ Denote by $H$ to be the graph obtained from $K_{m,m+k}$ by adding (or no adding) some edges with two end vertices in $A.$ We prove that if $G$ is a connected graph satisfying $σ_2(G) \geq |G|-k$ then $G$ has a spanning $k-$ended tree except for the case $G$ is isomorphic to a graph $H.$ As a corollary of our main result, a sufficient condition for a graph to have a few branch vertices is given.
Toughness and Hamiltonicity in Random Apollonian Networks
In this paper we study the toughness of Random Apollonian Networks (RANs), a random graph model which generates planar graphs with power-law properties. We consider their important characteristics: every RAN is a uniquely representable chordal graph and a planar $3$-tree and as so, known results about these classes can be particularized. We establish a partition of the class in eight nontrivial subclasses and for each one of these subclasses we provide bounds for the toughness of their elements. We also study the hamiltonicity of the elements of these subclasses.
Tight paths in convex geometric hypergraphs
In this paper, we prove a theorem on tight paths in convex geometric hypergraphs, which is asymptotically sharp in infinitely many cases. Our geometric theorem is a common generalization of early results of Hopf and Pannwitz [12], Sutherland [19], Kupitz and Perles [16] for convex geometric graphs, as well as the classical Erdős-Gallai Theorem [6] for graphs. As a consequence, we obtain the first substantial improvement on the Turán problem for tight paths in uniform hypergraphs.
Feedback game on Eulerian graphs
In this paper, we introduce a two-player impartial game on graphs, called a {\em feedback game}, which is a variant of the generalized geography. We study the feedback game on Eulerian graphs. In particular, we show that the PSPACE-completeness of the game and determine the winner of the game on several classes of Eulerian graphs.