graph
34516 papers tagged with this keyword
Erdős-Pósa property of tripods in directed graphs
Let $D$ be a directed graphs with distinguished sets of sources $S\subseteq V(D)$ and sinks $T\subseteq V(D)$. A tripod in $D$ is a subgraph consisting of the union of two $S$-$T$-paths that have distinct start-vertices and the same end-vertex, and are disjoint apart from sharing a suffix.
We prove that tripods in directed graphs exhibit the Erdős-Pósa property. More precisely, there is a function $f\colon \mathbb{N}\to \mathbb{N}$ such that for every digraph $D$ with sources $S$ and sinks $T$, if $D$ does not contain $k$ vertex-disjoint tripods, then there is a set of at most $f(k)$ vertices that meets all the tripods in $D$.
On Criticality and Additivity of the Pseudoachromatic Number Under Join
A vertex coloring of a graph is said to be pseudocomplete if, for any two distinct colors, there exists at least one edge with those two colors as its end vertices. The pseudoachromatic number of a graph is the greatest number of colors possible used in a pseudocomplete coloring. This paper studies properties relating to additivity of the pseudoachromatic number under the join. Errors from the literature are corrected and the notion of weakly critical is introduced in order to study the problem.
Braid graphs in simply-laced triangle-free Coxeter systems are median
Any two reduced expressions for the same Coxeter group element are related by a sequence of commutation and braid moves. Two reduced expressions are said to be braid equivalent if they are related via a sequence of braid moves. Braid equivalence is an equivalence relation and the corresponding equivalence classes are called braid classes. Each braid class can be encoded in terms of a braid graph in a natural way. In a recent paper, Awik et al.~proved that when a Coxeter system is simply laced and triangle free (i.e., the corresponding Coxeter graph has no three-cycles), the braid graph for a reduced expression is a partial cube (i.e., isometric to a subgraph of a hypercube). In this paper, we will provide an alternate proof of this fact, as well as determine the minimal dimension hypercube into which a braid graph can be isometrically embedded, which addresses an open question posed by Awik et al. For our main result, we prove that braid graphs in simply-laced triangle-free Coxeter systems are median, which is a strengthening of previous results.
Maximum spectral gaps of graphs
The spread of a graph $G$ is the difference $λ_1 - λ_n$ between the largest and smallest eigenvalues of its adjacency matrix. Breen, Riasanovsky, Tait and Urschel recently determined the graph on $n$ vertices with maximum spread for sufficiently large $n$. In this paper, we study a related question of maximizing the difference $λ_{i+1} - λ_{n-j}$ for a given pair $(i, j)$ over all graphs on $n$ vertices. We give upper bounds for all pairs $(i, j)$, exhibit an infinite family of pairs where the bound is tight, and show that for the pair $(1, 0)$ the extremal example is unique. These results contribute to a line of inquiry pioneered by Nikiforov aiming to maximize different linear combinations of eigenvalues over all graphs on $n$ vertices.
A strong structural stability of $C_{2k+1}$-free graphs
Füredi and Gunderson showed that $ex(n, C_{2k+1})$ is achieved only on $K_{\lfloor\frac{n}{2}\rfloor, \lceil\frac{n}{2}\rceil}$ if $n\ge 4k-2$. It is natural to study how far a $ C_{2k+1}$-free graph is from being bipartite.Let $T^*(r, n)$ be obtained by adding a suspension $K_{r}$ with $1$ suspension point to $K_{\lfloor\frac{n-r+1}{2}\rfloor, \lceil\frac{n-r+1}{2}\rceil}$. We show that for integers $r, k$ with $3\le r\le 2k-4$ and $n\ge 20(r+2)^2k$, if $G$ is a $C_{2k+1}$-free $n$-vertex graph with $e(G)\ge e(T^*(r, n))$, then $G$ is obtained by adding suspensions to a bipartite graph one by one and the total number of vertices in all suspensions minus intersection points is no more than $r-1$. In other words, $G=B\bigcup\limits_{i=1}^p G_i$, where $B$ is a bipartite graph, $G_1$ is a suspension to $B$, $G_j$ is a suspension to $B\bigcup\limits_{i=1}^{j-1} G_i$ for $2\le j\le p$ and $\sum\limits_{i=1}^p \vert V(G_i)-V(G_i)\cap V(B\bigcup\limits_{i=1}^{j-1} G_i) \vert\le r-1$. Furthermore, $\sum\limits_{i=1}^p \vert V(G_i)-V(G_i)\cap V(B\bigcup\limits_{i=1}^{j-1} G_i) \vert= r-1$ if and only if $G=T^*(r, n)$. Let $d_2(G)=\min\{|T|: T\subseteq V(G), G-T \ \text{is bipartite}\}$ and $γ_2(G)=\min\{|E|: E\subseteq E(G), G-E \ \text{is bipartite}\}$. Our structural stability result implies that $d_2(G)\le r-1$ and $γ_2(G)\le {\lceil\frac{r}{2}\rceil \choose 2}+{\lfloor\frac{r}{2}\rfloor \choose 2}$ under the same condition, which is a recent result of Ren-Wang-Wang-Yang [SIAM J. Discrete Math. 38 (2024)]. They proved $d_2(G)\le r-1$ and $γ_2(G)\le {\lceil\frac{r}{2}\rceil \choose 2}+{\lfloor\frac{r}{2}\rfloor \choose 2}$ separately. We introduce a new concept strong-$2k$-core which is the key that we can give a stronger structural stability result but a simpler proof.
Characterization of Equimatchable Even-Regular Graphs
A graph is called equimatchable if all of its maximal matchings have the same size. Due to Eiben and Kotrbčík,, any connected graph with odd order and independence number $α(G)$ at most $2$ is equimatchable. Akbari et al. showed that for any odd number $r$, a connected equimatchable $r$-regular graph must be either the complete graph $K_{r+1}$ or the complete bipartite graph $K_{r,r}$. They also determined all connected equimatchable $4$-regular graphs and proved that for any even $r$, any connected equimatchable $r$-regular graph is either $K_{r,r}$ or factor-critical. In this paper, we confirm that for any even $r\ge 6$, there exists a unique connected equimatchable $r$-regular graph $G$ with $α(G)\geq 3$ and odd order.
General position problems in strong and lexicographic products of graphs
Published in Computational and Applied Mathematics (2026) 45:97
• View Publication
• BIB
Outer, dual, and total general position sets are studied on strong and lexicographic products of graphs. Sharp lower and upper bounds are proved for the outer and the dual general position number of strong products and several exact values are obtained. For the lexicographic product, the outer general position number is determined in all the cases, and the dual general position number in many cases. The total general position number is determined for both products. Along the way some results on outer general position sets are also derived.
On $k$-planar Graphs without Short Cycles
We study the impact of forbidding short cycles to the edge density of $k$-planar graphs; a $k$-planar graph is one that can be drawn in the plane with at most $k$ crossings per edge. Specifically, we consider three settings, according to which the forbidden substructures are $3$-cycles, $4$-cycles or both of them (i.e., girth $\ge 5$). For all three settings and all $k\in\{1,2,3\}$, we present lower and upper bounds on the maximum number of edges in any $k$-planar graph on $n$ vertices. Our bounds are of the form $c\,n$, for some explicit constant $c$ that depends on $k$ and on the setting. For general $k \geq 4$ our bounds are of the form $c\sqrt{k}n$, for some explicit constant $c$. These results are obtained by leveraging different techniques, such as the discharging method, the recently introduced density formula for non-planar graphs, and new upper bounds for the crossing number of $2$-- and $3$-planar graphs in combination with corresponding lower bounds based on the Crossing Lemma.
Degree-balanced decompositions of cubic graphs
Published
• View Publication
• BIB
We show that every cubic graph on $n$ vertices contains a spanning subgraph in which the number of vertices of each degree deviates from $\frac{n}{4}$ by at most $\frac{1}{2}$, up to three exceptions. This resolves the conjecture of Alon and Wei (Irregular subgraphs, Combin. Probab. Comput. 32(2) (2023), 269--283) for cubic graphs.
Equitable factorizations of highly edge-connected graphs: complete characterizations
In this paper, we show that every highly edge-connected graph $G$, under a necessary and sufficient degree condition, can be edge-decomposed into $k$ factors $G_1,\ldots, G_k$ such that for each vertex $v\in V(G_i)$ with $1\le i\le k$, $|d_{G_i}(v)-d_G(v)/k|<1$. This characterization covers graphs having at least $k-1$ vertices with degree not divisible by $k$. In addition, we investigate almost equitable factorizations in arbitrary edge-connected graphs.
Next, we establish a simpler criterion for the existence of factorizations $G_1,\ldots, G_k$ satisfying $d_{G_i}(v)\ge \lfloor d_G(v)/k\rfloor$ for all vertices $v$ (reps. $d_{G_i}(v)\le \lceil d_G(v)/k\rceil$). As an application, we come up with a criterion to determine whether a highly edge-connected graph with $δ(G)\ge δ_1+\cdots+ δ_m$ (resp. $Δ(G)\le Δ_1+\cdots+ Δ_m$) can be edge-decomposed into factors $G_1,\ldots, G_m$ satisfying $δ(G_i)\ge δ_i$ (resp. $Δ(G_i)\le Δ_i$) for all $i$ with $1\le i \le m$, provided that $δ_1+\cdots+ δ_m$ is divisible by an odd number $p$ and $δ_i\ge p-1\ge 2$ (resp. $Δ_1+\cdots+ Δ_m$ is divisible by $p$ and $Δ_i\ge p-1\ge 2$).
For graphs of even order, we replace an odd-edge-connectivity condition. In particular, for the special case $m=2$, we refine the needed odd-edge-connectivity further by giving a sufficient odd-edge-connectivity condition for a graph $G$ to have a partial parity factor $F$ such that for each vertex $v$ with a given parity constraint, $| d_{F}(v)-\varepsilon d_G(v)|< 2$, and for all other vertices $v$, $| d_{F}(v)-\varepsilon d_G(v)|\le 1$, where $\varepsilon $ is a real number and $0< \varepsilon < 1$. Finally we introduce another application on the existence of almost even factorizations of odd-edge-connected graphs.
Lipschitz functions on weak expanders
Given a connected finite graph $G$, an integer-valued function $f$ on $V(G)$ is called $M$-Lipschitz if the value of $f$ changes by at most $M$ along the edges of $G$. In 2013, Peled, Samotij, and Yehudayoff showed that random $M$-Lipschitz functions on graphs with sufficiently good expansion typically exhibit small fluctuations, giving sharp bounds on the typical range of such functions, assuming $M$ is not too large. We prove that the same conclusion holds under a relaxed expansion condition and for larger $M$, (partially) answering questions of Peled et al. Our techniques involve a combination of Sapozhenko's graph container methods and entropy methods from information theory.
Perfect state transfer in graphs related to linear groups in two dimensions
We construct families of graphs from linear groups $\mathrm{SL}(2,q)$, $\mathrm{GL}(2,q)$ and $\mathrm{GU}(2,q^2)$, where $q$ is an odd prime power, with the property that the continuous-time quantum walks on the associated networks of qubits admit perfect state transfer.
Excluding the fork and antifork
Published in Discrete Mathematics, Volume 343, Issue 5, 2020
• View Publication
• BIB
The fork is the tree obtained from the claw $K_{1,3}$ by subdividing one of its edges once, and the antifork is its complement graph. We give a complete description of all graphs that do not contain the fork or antifork as induced subgraphs.
Strongly nice property and Schur positivity of graphs
Motivated by the notion of nice graphs, we introduce the concept of strongly nice property, which can be used to study the Schur positivity of symmetric functions. We show that a graph and all its induced subgraphs are strongly nice if and only if it is claw-free, which strengthens a result of Stanley and provides further evidence for the well-known conjecture on the Schur positivity of claw-free graphs. As another application, we solve Wang and Wang's conjecture on the non-Schur positivity of squid graphs $Sq(2n-1;1^n)$ for $n \ge 3$ by proving that these graphs are not strongly nice.
Diameter and connectivity of finite simple graphs II
Let $G$ be a finite simple non-complete connected graph on $[n] = \{1, \ldots, n\}$ and $κ(G) \geq 1$ its vertex connectivity. Let $f(G)$ denote the number of free vertices of $G$ and $\mathrm{diam}(G)$ the diameter of $G$. The final goal of this paper is to determine all sequences of integers $(n,f,d,k)$ with $n\geq 8$, $f\geq 0$, $d\geq 2$ and $k\geq 1$ for which there exists a finite simple non-complete connected graph on $[n]$ with $f=f(G)$, $d=\mathrm{diam}(G)$ and $k=κ(G)$.
Lassos: Pushing Tree Decompositions Forward Along Homomorphisms
It is folklore that tree-width is monotone under taking subgraphs (i.e. injective graph homomorphisms) and contractions (certain kinds of surjective graph homomorphisms). However, although tree-width is obviously not monotone under any surjective graph homomorphism, it is not clear whether contractions are canonically the only class of surjections with respect to which it is monotone. Under the requirement that the decomposition shape must be preserved, we prove that this is indeed the case.
Our results provide a framework for answering questions of this sort for many other kinds of combinatorial data structures (such as directed multigraphs, hypergraphs, Petri nets, circular port graphs, half-edge graphs, databases, simplicial sets etc.) for which natural analogues of tree decompositions can be defined. Furthermore and of independent interest, we prove these results by introducing the notion of a lasso, a generalization of contractions of graphs to arbitrary categories with pushouts of monomorphisms.
Maximum induced trees and forests of bounded degree in random graphs
Asymptotic behaviour of maximum sizes of induced trees and forests has been studied extensively in last decades, though the overall picture is far from being complete. In this paper, we close several significant gaps: 1) We prove $2$-point concentration of the maximum sizes of an induced forest and an induced tree with maximum degree at most $Δ$ in dense binomial random graphs $G(n,p)$ with constant probability $p$. 2) We show concentration in an explicit interval of size $o(1/p)$ for the maximum size of an induced forest with maximum degree at most $Δ$ for $1/n\ll p=o(1)$. Our proofs rely on both the second moment approach, with the probabilistic part involving Talagrand's concentration inequality and the analytical part involving saddle-point analysis, and new results on enumeration of labelled trees and forests that might be of their own interest.
A characterisation of graphs quasi-isometric to $K_4$-minor-free graphs
We prove that there is a function $f$ such that every graph with no $K$-fat $K_4$ minor is $f(K)$-quasi-isometric to a graph with no $K_4$ minor. This solves the $K_4$-case of a general conjecture of Georgakopoulos and Papasoglu. Our proof technique also yields a new short proof of the respective $K_4^-$-case, which was first established by Fujiwara and Papasoglu.
Turán number of complete bipartite graphs with bounded matching number
Let $\mathscr{F}$ be a family of graphs. A graph $G$ is $\mathscr{F}$-free if $G$ does not contain any $F\in \mathcal{F}$ as a subgraph. The Turán number $ex(n, \mathscr{F})$ is the maximum number of edges in an $n$-vertex $\mathscr{F}$-free graph. Let $M_{s}$ be the matching consisting of $ s $ independent edges. Recently, Alon and Frank determined the exact value of $ex(n,\{K_{m},M_{s+1}\})$. Gerbner obtained several results about $ex(n,\{F,M_{s+1}\})$ when $F$ satisfies certain proportions. In this paper, we determine the exact value of $ex(n,\{K_{l,t},M_{s+1}\})$ when $s, n$ are large enough for every $3\leq l\leq t$. When $n$ is large enough, we also show that $ex(n,\{K_{2,2}, M_{s+1}\})=n+{s\choose 2}-\left\lceil\frac{s}{2}\right\rceil$ for $s\ge 12$ and $ex(n,\{K_{2,t},M_{s+1}\})=n+(t-1){s\choose 2}-\left\lceil\frac{s}{2}\right\rceil$ when $t\ge 3$ and $s$ is large enough.
Spectral Turán problem for $\mathcal{K}_{2,t}^-$-free unbalanced signed graphs
We determine the maximum index and the signed graphs with the maximum index among all $\mathcal{K}_{2,t}^-$-free unbalanced signed graphs with fixed order for $t\geq 3$, as well as the second maximum index and the signed graphs with the second maximum index among all $\mathcal{K}_{2,t}^-$-free unbalanced signed graphs with fixed order for $t\geq 4$.