graph
34516 papers tagged with this keyword
The star edge coloring of cubic Halin graphs with star chromatic index $5$
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).
$t$-Young complexes and squarefree powers of $t$-path ideals
We introduce a new class of simplicial complexes, called \emph{$t$-Young complexes}, arising from a Young diagram and a positive integer~$t$. We show that every $t$-Young complex is either contractible or homotopy equivalent to a wedge of spheres. A complete characterization of their vertex-decomposability is provided, and in several cases, we establish explicit formulas for their homotopy types. Interestingly, $t$-Young complexes naturally appear as the Alexander dual complexes of squarefree powers of $t$-path ideals of path graphs, as well as of certain ideals generated by subsets of their minimal generators. As an application, we derive formulas for the projective dimension and Krull dimension of these squarefree powers.
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
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
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.
Directed Hamiltonicity in Generalized Kneser Graphs
We prove that the canonical orientation of the generalized Kneser graph $KG(n,k,s)$ contains a directed Hamiltonian cycle for all integers $s \geq 3$ and $n>sk$. Furthermore, we establish that the dichromatic number of this oriented graph is exactly $k$. As a special case, our results apply to the $s$-stable Kneser graphs $K_{s\text{-stab}}(n,k)$, resolving their directed Hamiltonicity and dichromatic number. Our proof adapts the class graph framework of Ledezma and Pastine to the directed setting, leveraging cyclic rotations and friend class adjacencies to construct a single directed cycle spanning all vertices. This work provides a unified and strengthened perspective on the Hamiltonian properties of Kneser-type graphs.
Explicit M-Polynomial and Degree-Based Topological Indices of Generalized Hanoi Graphs
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
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.
Threshold graphs are globally synchronizing
The Kuramoto model can be formulated as a gradient flow on a nonconvex energy landscape of the form $E(\boldsymbolθ) := \frac{1}{2} \sum_{1\le i,j\le n} A_{ij}\bigl(1-\cos(θ_i-θ_j)\bigr).$ A fundamental question is to identify graph structures for which this landscape is benign, in the sense that every second-order stationary point corresponds to a fully synchronized state. This property guarantees that all trajectories of the Kuramoto model converge to a fully synchronized state except for a measure-zero set of initial conditions, a phenomenon known as global synchronization. Existing guarantees typically require that each node be connected to a sufficiently large fraction of the other nodes, enforcing high graph density. In this work, we show that threshold graphs lie well outside this regime while still exhibiting global synchronization. In particular, threshold graphs realize arbitrary edge densities and have degree sequences that are extremal in the sense of majorization. Our analysis is based on a phasor--geometric characterization of stationary points that exploits the structural and geometric symmetries induced by threshold graphs.
On the Harmonic characteristic polynomial of specific graphs
This paper explores the Harmonic matrix $MH(G)$ associated with a simple graph $ G $, where each entry corresponds to $ \frac{2}{d_i + d_j} $ for adjacent vertices $ v_i $ and $ v_j $. We investigate the spectral properties of this matrix, particularly focusing on its eigenvalues. A central objective of this work is to compute the Harmonic characteristic polynomial. Furthermore, we analyze the Harmonic energy $ HE(G) $ of a graph as the sum of the absolute values of the eigenvalues of $ MH(G) $. Explicit expressions for both the Harmonic characteristic polynomial and the Harmonic energy are derived for several specific classes of graphs.