graph
35150 papers tagged with this keyword
The Minimum Number of Edges in $(p+1)K_2$-Saturated Graphs
Given a family of graphs $\mathcal{F}$, a graph $G$ is $\mathcal{F}$-saturated if it is $\mathcal{F}$-free but the addition of any missing edge creates a copy of some $F \in \mathcal{F}$. The study of the minimum number of edges in $\mathcal{F}$-saturated graphs is a central topic in extremal graph theory.
Let $(p+1)K_2$ denote a matching of size $p+1$. Determining the minimum number of edges in a $(p+1)K_{2}$-saturated graph is a fundamental question in this area, explicitly posed as Problem 9 in the survey by Faudree et al. (2011). In this paper, we refine the structural analysis of $(p+1)K_2$-saturated graphs and derive an explicit formula for the number of edges in terms of a single integer parameter. By minimizing this formula we determine $\mathrm{sat}(n,(p+1)K_2)$ for all $n>2p$, thereby resolving Problem 9 in full generality and extending earlier results of Kászonyi--Tuza (1986) and Zhang--Lu--Yu (2024). Moreover, by maximizing the same formula we recover the classical Erdős--Gallai (1959) upper bound on the number of edges in such graphs.
The existence of even factors based on spectral conditions of graphs
Let $G=(V(G),E(G)) $ be a graph with vertex set $V(G)$ and edge set $E(G)$. An even factor of $G$ is a spanning subgraph $F$ such that every vertex in $F$ has a nonzero even degree. Note that $δ(G)\geq 2$ is a trivial necessary condition for a graph to have an even factor, where \( δ(G) \) is the minimum degree of \( G \). In this paper, for a connected graph $G$ with minimum degree $δ$, we establish a lower bound on the signless
Laplacian spectral radius of $G$ and an upper bound on the distance spectral radius of $G$ such
that $G$ contains an even factor.
Large cliques in graphs with forbidden semi-induced structures
In 2022, Holmsen showed that any graph with at least \( c \binom{n}{r} \) \(r\)-cliques but no induced complete $r$-partite graph $K_{2,\ldots, 2}$ must contain a clique of order \(Ω(c^{2^{r-1}} n)\). In this paper, we study graphs forbidding semi-induced substructures and show that every $n$-vertex graph $G$ containing at least $c\binom{n}{r}$ copies of $K_r$ (for some constant $c>0$) and forbidding semi-induced substructures, related to $K_{2,\ldots, 2}$, must contain a clique of order $Ω(cn)$. Our result strengthens Holmsen's bound by improving the dependence on $c$ from $c^{2^{r-1}}$ to linear in $c$ with bounded number of forbidden structures. Furthermore, our approach is naturally linked to the notion of VC-dimension.
Colouring ($P_2\cup P_4$, diamond)-free graphs with $ω$ colours
In this paper, we establish an optimal $χ$-binding function for $(P_2\cup P_4,\text{ diamond})$-free graphs. We prove that for any graph $G$ in this class, $χ(G)\le 4$ when $ω(G)=2$, $χ(G)\le 6$ when $ω(G)=3$, and $χ(G)=ω(G)$ when $ω(G)\ge 4$, where $χ(G)$ and $ω(G)$ denote the chromatic number and clique number of $G$, respectively. This result extends the known chromatic bounds for $(P_2\cup P_3,\text{ diamond})$-free graphs by showing that $(P_2\cup P_4,\text{ diamond})$-free graphs admit the same $χ$-binding function. It also refines the chromatic bound obtained by Angeliya, Karthick and Huang [arXiv:2501.02543v3 [math.CO], 2025] for $(P_2\cup P_4,\text{ diamond})$-free graphs.
The star edge coloring of cubic Halin graphs with star chromatic index $5$
Published
• View Publication
• BIB
The star chromatic index of a graph $G$, denoted by $χ'_{st}(G) $, is the minimum number of colors needed to properly color the edges of $G$ such that no path or cycle of length four is bi-colored. Casselgren et al. and Hou et al. independently proved that the star chromatic index of a cubic Halin graph, except a special graph, is at most $6$. It remains an open problem to determine which of such graphs have star chromatic index $5$. In this paper, we show that if $G\ne N_{e_2}$ is a cubic Halin graph whose tree is a caterpillar or a complete tree, then $χ'_{st}(G)=5$.
Polynomial invariants of cyclically ordered graphs
Cyclically ordered graphs, or cogs, sit between abstract graphs and cellularly embedded graphs. They arise naturally in topological graph theory, knot theory, and mathematical biology. We develop a formal theory of cogs and establish a number of invariants of cogs. In particular we detail several ways to present cogs and detail how these descriptions can be used to construct cog invariants by adapting the matching, transition and Yamada polynomials.
On the deep commuting graph of a finite group
Let $G$ be a finite group and let $\tilde{G}$ be a Schur cover of $G$. The deep commuting graph $Δ_D(G)$ of $G$ is a simple graph with vertex set $G$, where two distinct vertices are adjacent if their pre-images commute in $\tilde{G}$. The deep commuting graph of a finite group was first introduced in [P. J. Cameron and B. Kuzma, Between the enhanced power graph and the commuting graph, {\it J. Graph Theory} {\bf 102} (2023), no. 2, 295--303], where the authors have shown that $Δ_D(G)$ is fixed irrespective of the choice of the Schur cover $\tilde{G}$. In this paper, we first prove that $Δ_D(G)$ is complete if and only if $G$ is cyclic. Also, we classify finite simple groups, symmetric groups and alternating groups, for which $Δ_D(G)$ is perfect. In addition, explore several other properties of $Δ_D(G)$ like Eulerianess, universality and connectedness of reduced deep commuting graphs.
Next, we classify the finite abelian groups for which deep commuting graphs coincide with enhance power graphs. We also characterize the dominant vertices for the deep commuting graphs of finite abelian groups and examine the connectedness of the associated reduced deep commuting graphs. These properties of the deep commuting graphs for the non abelian groups like symmetric groups, alternating groups, dihedral groups, generalized quaternion group and Heisenberg groups are also discussed.
Higher Steklov eigenvalues of graphs on surfaces
In this paper, we study the higher Steklov eigenvalues of graphs on surfaces.
We obtain the upper bound of higher Steklov eigenvalues of a finite graph $G$ with boundary $B$ and genus $g$ by using metrical deformation via probability flows.
Our result can be regarded as a discrete analogue of Karpukhin's bound in spectral geometry.
Moreover, this result implies the upper bound of higher Laplacian eigenvalues given by Kelner, Lee, Price and Teng (Geom. Funct. Anal., 2011).
Rankwidth of Graphs with Balanced Separations: Expansion for Dense Graphs
We prove that every graph of rankwidth at least $72r$ contains an induced subgraph whose minimum balanced cutrank is at least $r$, which implies a vertex subset where every balanced separation has $\mathbb{F}_2$-cutrank at least $r$. This implies a novel relation between rankwidth and a well-linkedness measure, defined entirely by balanced vertex cuts. As a byproduct, our result supports the notion of rank-expansion as a suitable candidate for measuring expansion in dense graphs.
Simultaneous variances of Pauli strings, weighted independence numbers, and a new kind of perfection of graphs
A set of Pauli stings is well characterized by the graph that encodes its commutatitivity structure, i.e., by its frustration graph. This graph provides a natural interface between graph theory and quantum information, which we explore in this work. We investigate all aspects of this interface for a special class of graphs that bears tight connections between the groundstate structures of a spin systems and topological structure of a graph. We call this class $\hbar$-perfect, as it extends the class of perfect and $h$-perfect graphs.
Having an $\hbar$-perfect graph opens up several applications: we find efficient schemes for entanglement detection, a connection to the complexity of shadow tomography, tight uncertainty relations and a construction for computing good lower on bounds ground state energies. Conversely this also induces quantum algorithms for computing the independence number. Albeit those algorithms do not immediately promise an advantage in runtime, we show that an approximate Hamilton encoding of the independence number can be achieved with an amount of qubits that typically scales logarithmically in the number of vertices. We also we also determine the behavior of $\hbar$-perfectness under basic graph operations and evaluate their prevalence among all graphs.
An elementary proof of the bunkbed conjecture for forests
Although false for general graphs, this note gives an elementary proof of the bunkbed conjecture for any acyclic graph. The argument is short and self-contained, and may be of educational interest.
A Note on Large Degenerate Induced Subgraphs in Sparse Graphs
Published
• View Publication
• BIB
Given a graph $G$ and a non-negative integer $d$ let $α_d(G)$ be the order of a largest induced $d$-degenerate subgraph of $G$. We prove that for any pair of non-negative integers $k>d$, if $G$ is a $k$-degenerate graph, then $α_d(G) \geq \max\{ \frac{(d+1)n}{k+d+1}, n - α_{k-d-1}(G)\}$. For $k$-degenerate graphs this improves a more general lower bound of Alon, Kahn, and Seymour. By modifying our argument we obtain improved lower bound on $α_d(G)$ for graphs of bounded genus. This extends earlier work on degenerate subgraphs of planar graphs.
Counterexamples to conjectures on strong maximality and minimality
Published
• View Publication
• BIB
We provide counterexamples to several conjectures concerning strongly maximal and strongly minimal structures in infinite graphs and hypergraphs. In particular, we construct 3-uniform hypergraphs without strongly maximal matchings and without strongly minimal covers, and from our construction for covers we build a graph with no strongly minimal colouring. We also consider several refinements of these problems.
Our results resolve conjectures and questions of Aharoni; Aharoni and Berger; Aharoni, Berger, Georgakopoulos, and Sprüssel; Aharoni and Korman; and Tardos.
Signed permutations and degree-one dot action representations for types B and C
A spline is an assignment of polynomials to the vertices of a graph, where the difference of two polynomials along an edge must belong to the ideal labeling that edge. We consider a ring of splines $\mathcal{M}_{H}$ constructed on a graph whose vertices are the Weyl group $\mathfrak{W}_n$ of signed permutations, and whose edges and edge-ideals are defined using an order ideal $H$ of positive roots. These splines are a module over the polynomial ring in two ways, and a $\mathfrak{W}_n$-module by the dot action. These structures on $\mathcal{M}_{H}$ give rise to the graded left and right dot action representations of $\mathfrak{W}_n$. The left representation is the type B/C generalization of the type A dot action for regular semisimple Hessenberg varieties (and thus, chromatic quasisymmetric functions), and the right representation is the same for corresponding manifolds of isospectral matrices (and thus, unicellular LLT polynomials). This paper gives explicit module generators for the degree-one graded piece of $\mathcal{M}_{H}$ and computes the degree-one piece of the both dot action representations for all $H$ using the combinatorial data of $H$.
Mader's Conjecture and Its Variants for Cographs
The class of cographs is one of the most well-known graph classes, which is also known to be equivalent to the class of $P_4$-free graphs. We show that Mader's conjecture is true if we restrict ourselves to cographs, that is, for any tree $T$ of order $m$, every $k$-connected cograph $G$ with $δ(G) \geq \left\lfloor \frac{3k}{2} \right\rfloor +m-1$ contains a subtree $T' \cong T$ such that $G-V(T')$ is still $k$-connected, where $δ(G)$ denotes the minimum degree of $G$. Moreover, we show that three variants of Mader's conjecture hold for cographs, that is, for any tree $T$ of order $m$,
$\bullet$ every $k$-connected (respectively, $k$-edge-connected) cograph $G$ with $δ(G) \geq k+m-1$ contains a subtree $T' \cong T$ such that $G-E(T')$ is $k$-connected (respectively, $k$-edge-connected),
$\bullet$ every $k$-edge-connected cograph $G$ with $δ(G) \geq k+m-[k = 1]$ contains a subtree $T' \cong T$ such that $G-V(T')$ is $k$-edge-connected, where we use Iverson's convention for $[k = 1]$.
We furthermore present tight lower bounds on the minimum degree of a cograph for the existence of disjoint connectivity keeping trees, a maximal connectedness keeping tree and a super edge-connectedness keeping tree.
Rainbow subgraphs of star-coloured graphs
An edge-colouring of a graph $G$ can fail to be rainbow for two reasons: either it contains a monochromatic cherry (a pair of incident edges), or a monochromatic matching of size two. A colouring is a proper colouring if it forbids the first structure, and a star-colouring if it forbids the second structure. In this paper, we study rainbow subgraphs in star-coloured graphs and determine the maximum number of colours in a star-colouring of a large complete graph which does not contain a rainbow copy of a given graph $H$. This problem is a special case of one studied by Axenovich and Iverson on generalised Ramsey numbers and we extend their results in this case.
Tetrahedron Conjecture in the $\ell_2$-norm
The famous Tetrahedron Conjecture of Turán from the 1940s asserts that the number of edges in an $n$-vertex $3$-graph without the tetrahedron, the complete $3$-graph on four vertices, cannot exceed that of the balanced complete cyclic $3$-partite $3$-graph, whose edges are of types $V_1 V_2 V_3$, $V_1 V_1 V_2$, $V_2 V_2 V_3$, and $V_3 V_3 V_1$. A recent surprising result of Balogh-Clemen-Lidický [J. Lond. Math. Soc. (2) 106 (2022)] shows that this conjecture is asymptotically true in the $\ell_2$-norm, where the number of edges is replaced by the sum of squared codegrees. They further conjectured that, in this $\ell_2$-norm setting, the $3$-partite construction is uniquely extremal for large $n$. We confirm this conjecture.
Two key ingredients in our proofs include establishing a Mantel theorem for vertex-colored graphs that forbid certain types of triangles, and introducing a novel procedure integrated into Simonovits' stability method, which essentially reduces the task to verifying that the $\ell_2$-norm of certain near-extremal constructions increases under suitable local modifications. The strategy in the latter may be of independent interest and potentially applicable to other extremal problems.
Explicit M-Polynomial and Degree-Based Topological Indices of Generalized Hanoi Graphs
Published
• View Publication
• BIB
The M-polynomial, introduced by Deutsch and Klavžar in 2015, provides a unifying algebraic framework for the computation of numerous degree-based topological indices such as the Zagreb, Randic, harmonic, and forgotten indices. Despite its broad applications in chemical graph theory and network analysis, closed expressions of the M-polynomial remain unknown for many important graph families.
In this work we derive, for the first time, a complete explicit expression of the M-polynomial of the generalized Hanoi graphs $H_p^n$ for arbitrary positive $p$ and $n$. Our derivation relies on a detailed combinatorial analysis of the occupancy-based structure of $H_p^n$, refined using Stirling and $2$-associated Stirling numbers to enumerate all configurations with prescribed singleton and multiton counts. We obtain closed formulas for all diagonal and off-diagonal coefficients of the M-polynomial and show how these expressions yield exact values of the main degree-based topological indices. The correctness of the formulas is supported through numerical computation in small instances. These results provide a complete degree-based description of $H_p^n$ and make their structural complexity fully accessible through the M-polynomial framework.
Closed neighborhood complexes of graphs
The closed neighborhood complex $\mathcal{N}[G]$ of a simple graph $G$ is the simplicial complex whose simplices are finite sets of vertices contained in a closed neighborhood of a vertex in $G$. We reveal that the closed neighborhood complex has close connections with other concepts, including the independence complex of the canonical double covering and the independence complex of the neighborhood hypergraph. Furthermore, we show that the fundamental group of the closed neighborhood complex is isomorphic to Grigor'yan--Lin--Muranov--Yau's fundamental group of a graph introduced in the study of path homology.
Patterns that require distinct singular values
Published
• View Publication
• BIB
Patterns of m by n matrices of term-rank m for which every real matrix with the pattern has no multiple singular value are characterized. This generalizes Fiedler's characterization of the paths being the only graphs for which every real symmetric matrix with the given graph has no repeated eigenvalue.