graph
35436 papers tagged with this keyword
New results for MaxCut in $H$-free graphs
Published
• View Publication
• BIB
The MaxCut problem asks for the size ${\rm mc}(G)$ of a largest cut in a graph $G$. It is well known that ${\rm mc}(G)\ge m/2$ for any $m$-edge graph $G$, and the difference ${\rm mc}(G)-m/2$ is called the surplus of $G$. The study of the surplus of $H$-free graphs was initiated by Erdős and Lovász in the 70s, who in particular asked what happens for triangle-free graphs. This was famously resolved by Alon, who showed that in the triangle-free case the surplus is $Ω(m^{4/5})$, and found constructions matching this bound. We prove several new results in this area.
Firstly, we show that for every fixed odd $r\ge 3$, any $C_r$-free graph with $m$ edges has surplus $Ω_r\big(m^{\frac{r+1}{r+2}}\big)$. This is tight, as is shown by a construction of pseudorandom $C_r$-free graphs due to Alon and Kahale. It improves previous results of several researchers, and complements a result of Alon, Krivelevich and Sudakov which is the same bound when $r$ is even.
Secondly, generalizing the result of Alon, we allow the graph to have triangles, and show that if the number of triangles is a bit less than in a random graph with the same density, then the graph has large surplus. For regular graphs our bounds on the surplus are sharp.
Thirdly, we prove that an $n$-vertex graph with few copies of $K_r$ and average degree $d$ has surplus $Ω_r(d^{r-1}/n^{r-3})$, which is tight when $d$ is close to $n$ provided that a conjectured dense pseudorandom $K_r$-free graph exists. This result is used to improve the best known lower bound (as a function of $m$) on the surplus of $K_r$-free graphs.
Our proofs combine techniques from semidefinite programming, probabilistic reasoning, as well as combinatorial and spectral arguments.
Burling graphs revisited, part I: New characterizations
Published in European Journal of Combinatorics, Volume 110,2023,103686
• View Publication
• BIB
The Burling sequence is a sequence of triangle-free graphs of increasing chromatic number. Each of them is isomorphic to the intersection graph of a set of axis-parallel boxes in $R^3$. These graphs were also proved to have other geometrical representations: intersection graphs of line segments in the plane, and intersection graphs of frames, where a frame is the boundary of an axis-aligned rectangle in the plane. We call Burling graph every graph that is an induced subgraph of some graph in the Burling sequence. We give five new equivalent ways to define Burling graphs. Three of them are geometrical, one is of a more graph-theoretical flavour and one is more axiomatic.
From one to many rainbow Hamiltonian cycles
Published
• View Publication
• BIB
Given a graph $G$ and a family $\mathcal{G} = \{G_1,\ldots,G_n\}$ of subgraphs of $G$, a transversal of $\mathcal{G}$ is a pair $(T,φ)$ such that $T \subseteq E(G)$ and $φ: T \rightarrow [n]$ is a bijection satisfying $e \in G_{φ(e)}$ for each $e \in T$. We call a transversal Hamiltonian if $T$ corresponds to the edge set of a Hamiltonian cycle in $G$. We show that, under certain conditions on the maximum degree of $G$ and the minimum degrees of the $G_i \in \mathcal{G}$, for every $\mathcal{G}$ which contains a Hamiltonian transversal, the number of Hamiltonian transversals contained in $\mathcal{G}$ is bounded below by a function of $G$'s maximum degree. This generalizes a theorem of Thomassen stating that, for $m \geq 300$, no $m$-regular graph is uniquely Hamiltonian. We also extend Joos and Kim's recent result that, if $G = K_n$ and each $G_i \in \mathcal{G}$ has minimum degree at least $\frac{n}{2}$, then $\mathcal{G}$ has a Hamiltonian transversal: we show that, in this setting, $\mathcal{G}$ has exponentially many Hamiltonian transversals. Finally, we prove analogues of both of these theorems for transversals which form perfect matchings of $G$.
Weierstrass sets on finite graphs
Published in Electronic Journal of Combinatorics Volume 29 Issue 1 (2022), Paper No. 1.4, 13 pp
• View Publication
• BIB
We study two possible tropical analogues of Weierstrass semigroups on graphs, called rank and functional Weierstrass sets. We prove that on simple graphs, the first is contained in the second. We completely characterize the subsets of N arising as a functional Weierstrass set of some graph. Finally, we give a sufficient condition for a subset of N to be the rank Weierstrass set of some graph, allowing us to construct examples of rank Weierstrass sets that are not semigroups.
Triangle-free graphs with large chromatic number and no induced wheel
Published
• View Publication
• BIB
A wheel is a graph consisting of an induced cycle of length at least four and a single additional vertex with at least three neighbours on the cycle. We prove that no Burling graph contains an induced wheel. Burling graphs are triangle-free and have arbitrarily large chromatic number, so this answers a question of Trotignon and disproves a conjecture of Scott and Seymour.
List star edge coloring of generalized Halin graphs
Published
• View Publication
• BIB
A star $k$-edge coloring is a proper edge coloring such that there are no bichromatic paths or cycles of length four. The smallest integer $k$ such that $G$ admits a star $k$-edge coloring is the star chromatic index of $G$. Deng \etal \cite{MR2933839}, and Bezegov{á} \etal \cite{MR3431294} independently proved that the star chromatic index of a tree is at most $\lfloor \frac{3Δ}{2} \rfloor$, and the bound is sharp. Han \etal \cite{MR3924408} strengthened the result to list version of star chromatic index, and proved that $\lfloor \frac{3Δ}{2} \rfloor$ is also the sharp upper bound for the list star chromatic index of trees. A generalized Halin graph is a plane graph that consists of a plane embedding of a tree $T$ with $Δ(T) \geq 3$, and a cycle $C$ connecting all the leaves of the tree such that $C$ is the boundary of the exterior face. In this paper, we prove that if $H := T \cup C$ is a generalized Halin graph with $|C| \neq 5$, then its list star chromatic index is at most \[ \max\left\{\left\lfloor\frac{θ(T) + Δ(T)}{2}\right\rfloor, 2 \left\lfloor\frac{Δ(T)}{2}\right\rfloor + 7\right\}, \] where $θ(T) = \max_{xy \in E(T)}\{d_{T}(x) + d_{T}(y)\}$. As a consequence, if $H$ is a (generalized) Halin graph with maximum degree $Δ\geq 13$, then the list star chromatic index is at most $\lfloor \frac{3Δ}{2} \rfloor$. Moreover, the upper bound for the list star chromatic index is sharp.
k-Strong Shortest Path Union Cover for Certain Graphs and Networks
The k-distance strong shortest path union cover of a graph is the minimum cardinality among all strong shortest path union cover at distance k of G. In this paper we determine the 2-strong shortest path union cover for certain graphs, also we prove that the k-strong shortest path union cover problem, in general, is NP-complete.
Measured expanders
Published
• View Publication
• BIB
By measured graphs we mean graphs endowed with a measure on the set of vertices. In this context, we explore the relations between the appropriate Cheeger constant and Poincaré inequalities. We prove that the so-called Cheeger inequality holds in two cases: when the measure comes from a random walk, or when the measure has a bounded measure ratio. Moreover, we also prove that our measured (asymptotic) expanders are generalised expanders introduced by Tessera. Finally, we present some examples to demonstrate relations and differences between classical expander graphs and the measured ones. The current paper is motivated primarily by our previous work on the rigidity problem for Roe algebras.
A zero forcing technique for bounding sums of eigenvalue multiplicities
Published
• View Publication
• BIB
Given a graph $G$, one may ask: "What sets of eigenvalues are possible over all weighted adjacency matrices of $G$?" (The weight of an edge is positive or negative, while the diagonal entries can be any real numbers.) This is known as the Inverse Eigenvalue Problem for graphs (IEP-$G$). A mild relaxation of this question considers the multiplicity list instead of the exact eigenvalues themselves. That is, given a graph $G$ on $n$ vertices and an ordered partition $\mathbf{m}= (m_1, \ldots, m_\ell)$ of $n$, is there a weighted adjacency matrix where the $i$-th distinct eigenvalue has multiplicity $m_i$? This is known as the ordered multiplicity IEP-$G$. Recent work solved the ordered multiplicity IEP-$G$ for all graphs on 6 vertices.
In this work, we develop zero forcing methods for the ordered multiplicity IEP-$G$ in a multitude of different contexts. Namely, we utilize zero forcing parameters on powers of graphs to achieve bounds on consecutive multiplicities. We are able to provide general bounds on sums of multiplicities of eigenvalues for graphs. This includes new bounds on the the sums of multiplicities of consecutive eigenvalues as well as more specific bounds for trees. Using these results, we verify the previous results above regarding the IEP-$G$ on six vertices. In addition, applying our techniques to skew-symmetric matrices, we are able to determine all possible ordered multiplicity lists for skew-symmetric matrices for connected graphs on five vertices.
Decomposing hypergraphs into cycle factors
Published
• View Publication
• BIB
A famous result by Rödl, Ruciński, and Szemerédi guarantees a (tight) Hamilton cycle in $k$-uniform hypergraphs $H$ on $n$ vertices with minimum $(k-1)$-degree $δ_{k-1}(H)\geq (1/2+o(1))n$, thereby extending Dirac's result from graphs to hypergraphs. For graphs, much more is known; each graph on $n$ vertices with $δ(G)\geq (1/2+o(1))n$ contains $(1-o(1))r$ edge-disjoint Hamilton cycles where $r$ is the largest integer such that $G$ contains a spanning $2r$-regular subgraph, which is clearly asymptotically optimal. This was proved by Ferber, Krivelevich, and Sudakov answering a question raised by Kühn, Lapinskas, and Osthus.
We extend this result to hypergraphs; every $k$-uniform hypergraph $H$ on $n$ vertices with $δ_{k-1}(H)\geq (1/2+o(1))n$ contains $(1-o(1))r$ edge-disjoint (tight) Hamilton cycles where $r$ is the largest integer such that $H$ contains a spanning subgraph with each vertex belonging to $kr$ edges. In particular, this yields an asymptotic solution to a question of Glock, Kühn, and Osthus.
In fact, our main result applies to approximately vertex-regular $k$-uniform hypergraphs with a weak quasirandom property and provides approximate decompositions into cycle factors without too short cycles.
4-regular 4-connected Hamiltonian graphs with few Hamiltonian cycles
Published in Australasian Journal of Combinatorics 81 (2021) 334-338
• Search Publication
We prove that there exists an infinite family of 4-regular 4-connected Hamiltonian graphs with a bounded number of Hamiltonian cycles. We do not know if there exists such a family of 5-regular 5-connected Hamiltonian graphs.
3-colorability of graphs with minimum degree at least 6
Let $G$ be an $n$-vertex graph and let $L:V(G)\rightarrow P(\{1,2,3\})$ be a list assignment over the vertices of $G$, where each vertex with list of size 3 and of degree at most 5 has at least three neighbors with lists of size 2. We can determine $L$-choosability of $G$ in $O(1.3196^{n_3+.5n_2})$ time, where $n_i$ is the number of vertices in $G$ with list of size $i$ for $i\in \{2,3\}$. As a corollary, we conclude that the 3-colorability of any graph $G$ with minimum degree at least 6 can be determined in $O(1.3196^{n-.5Δ(G)})$ time.
Efficient Algorithm for Checking 2-Chordal (Doubly Chordal) Bipartite Graphs
We present an algorithm for determining whether a bipartite graph $G$ is 2-chordal (formerly doubly chordal bipartite). At its core this algorithm is an extension of the existing efficient algorithm for determining whether a graph is chordal bipartite. We then introduce the notion of $k$-chordal bipartite graphs and show by inductive means that a slight modification of our algorithm is sufficient to detect this property. We show that there are no nontrivial $k$-chordal bipartite graphs for $k \geq 4$ and that both the 2-chordal bipartite and 3-chordal bipartite problem are contained within complexity class P.
Every nice graph is $(1,5)$-choosable
Published
• View Publication
• BIB
A graph $G=(V,E)$ is total weight $(k,k')$-choosable if the following holds: For any list assignment $L$ which assigns to each vertex $v$ a set $L(v)$ of $k$ real numbers, and assigns to each edge $e$ a set $L(e)$ of $k'$ real numbers, there is a proper $L$-total weighting, i.e., a map
$φ: V \cup E \to \mathbb{R}$ such that $φ(z) \in L(z)$ for $z \in V \cup E$, and $\sum_{e \in E(u)}φ(e)+φ(u) \ne \sum_{e \in E(v)}φ(e)+φ(v)$ for every edge $\{u,v\}$. A graph is called nice if it contains no isolated edges. As a strengthening of the famous 1-2-3 conjecture, it was conjectured in [T. Wong and X. Zhu, Total weigt choosability of graphs, J. Graph Th. 66 (2011),198-212] that every nice graph is total weight $(1,3)$-choosable. The problem whether there is a constant $k$ such that every nice graph is total weight $(1,k)$-choosable remained open for a decade and was recently solved by Cao [L. Cao, Total weight choosability of graphs: Towards the 1-2-3 conjecture, J. Combin. Th. B, 149(2021), 109-146], who proved that every nice graph is total weight $(1, 17)$-choosable. This paper improves this result and proves that every nice graph is total weight $(1, 5)$-choosable.
Lower Bounds for Maximum Weighted Cut
Published
• View Publication
• BIB
While there have been many results on lower bounds for Max Cut in unweighted graphs, there are only few results for lower bounds for Max Cut in weighted graphs. In this paper, we launch an extensive study of lower bounds for Max Cut in weighted graphs. We introduce a new approach for obtaining lower bounds for Weighted Max Cut. Using it, Probabilistic Method, Vizing's chromatic index theorem, and other tools, we obtain several lower bounds for arbitrary weighted graphs, weighted graphs of bounded girth and triangle-free weighted graphs. We pose conjectures and open questions.
Non-triviality of the phase transition for percolation on finite transitive graphs
Published
• View Publication
• BIB
We prove that if $(G_n)_{n\geq1}=((V_n,E_n))_{n\geq 1}$ is a sequence of finite, vertex-transitive graphs with bounded degrees and $|V_n|\to\infty$ that is at least $(1+ε)$-dimensional for some $ε>0$ in the sense that \[\mathrm{diam} (G_n)=O\left(|V_n|^{1/(1+ε)}\right) \text{ as $n\to\infty$}\] then this sequence of graphs has a non-trivial phase transition for Bernoulli bond percolation. More precisely, we prove under these conditions that for each $0<α<1$ there exists $p_c(α)<1$ such that for each $p\geq p_c(α)$, Bernoulli-$p$ bond percolation on $G_n$ has a cluster of size at least $α|V_n|$ with probability tending to $1$ as $n\to \infty$. In fact, we prove more generally that there exists a universal constant $a$ such that the same conclusion holds whenever \[\mathrm{diam} (G_n)=O\left(\frac{|V_n|}{(\log |V_n|)^a}\right) \text{ as $n\to\infty$.}\] This verifies a conjecture of Benjamini up to the value of the constant $a$, which he suggested should be $1$.
We also prove a generalization of this result to quasitransitive graph sequences with a bounded number of vertex orbits and prove that one may indeed take $a=1$ when the graphs $G_n$ are all Cayley graphs of Abelian groups. A key step in our proof is to adapt the methods of Duminil-Copin, Goswami, Raoufi, Severo, and Yadin from infinite graphs to finite graphs. This adaptation also leads to an isoperimetric criterion for infinite graphs to have a nontrivial uniqueness phase (i.e., to have $p_u<1$) which is of independent interest. We also prove that the set of possible values of the critical probability of an infinite quasitransitive graph has a gap at $1$ in the sense that for every $k,n<\infty$ there exists $ε>0$ such that every infinite graph $G$ of degree at most $k$ whose vertex set has at most $n$ orbits under Aut$(G)$ either has $p_c=1$ or $p_c\leq 1-ε$.
Grundy domination of forests and the strong product conjecture
Published in The Electronic Journal of Combinatorics 28(2) (2021), #P2.12
• View Publication
• BIB
A maximum sequence $S$ of vertices in a graph $G$, so that every vertex in $S$ has a neighbor which is independent, or is itself independent, from all previous vertices in $S$, is called a Grundy dominating sequence. The Grundy domination number, $γ_{gr}(G)$, is the length of $S$. We show that for any forest $F$, $γ_{gr}(F)=|V(T)|-|\mathcal{P}|$ where $\mathcal{P}$ is a minimum partition of the non-isolate vertices of $F$ into caterpillars in which if two caterpillars of $\mathcal{P}$ have an edge between them in $F$, then such an edge must be incident to a non-leaf vertex in at least one of the caterpillars. We use this result to show the strong product conjecture of B. Brešar, Cs. Bujtás, T. Gologranc, S. Klavžar, G. Košmrlj, B. Patkós, Zs. Tuza, and M. Vizer, Dominating sequences in grid-like and toroidal graphs, Electron. J. Combin. 23(4): P4.34 (2016), for all forests. Namely, we show that for any forest $G$ and graph $H$, $γ_{gr}(G \boxtimes H) = γ_{gr}(G) γ_{gr}(H)$. We also show that every connected graph $G$ has a spanning tree $T$ so that $γ_{gr}(G)\le γ_{gr}(T)$ and that every non-complete connected graph contains a Grundy dominating set $S$ so that the induced subgraph of $S$ contains no isolated vertices.
On the locating chromatic number of infinite trees
The locating chromatic number of a graph is the smallest integer $n$ such that there is a proper $n$-coloring $c$ and every vertex has a unique vector of distances to colors in $c$. We explore the necessary conditions and provide sufficient conditions for an infinite tree to have a finite locating chromatic number. We also give an algorithm for computing the locating coloring of trees that works for both finite and infinite trees.
Deconstruction hierarchies and locality diagrams of conformal models
Published
• View Publication
• BIB
The relationship between locality graphs and deconstruction hierarchies of conformal models is explained, leading to computationally effective procedures for determining the latter, and the relevant notions are illustrated with several examples.
Forbidden subgraphs in enhanced power graphs of finite groups
Published
• View Publication
• BIB
The enhanced power graph of a group is the simple graph whose vertex set is consisted of all elements of the group, and whose any pair of vertices are adjacent if they generate a cyclic subgroup. In this paper, we classify all finite groups whose enhanced power graphs are split and threshold. We also classify all finite nilpotent groups whose enhanced power graphs are chordal graphs and cographs. Finally, we give some families of non-nilpotent groups whose enhanced power graphs are chordal graphs and cographs. These results partly answer a question posed by Peter J. Cameron.