graph
35150 papers tagged with this keyword
The first Steklov eigenvalue bound for graphs of positive genus
Published
• View Publication
• BIB
Let $G$ be a graph of genus $g$ with boundary $δΩ$. For $g=0$, Lin and Zhao [J. Lond. Math. Soc. 112 (2025), Paper No. e70238] proved an upper bound for the first (non-trivial) Steklov eigenvalue of $(G, δΩ)$, and they posed the problem of determining a corresponding bound for graphs of genus $g>0$. In this paper, we prove an $O\left(\frac{g}{|δΩ|}\right)$ bound for a bounded-degree graph of positive genus $g$. Our result can be regarded as a discrete analogue of Kokarev's bound [Adv. Math. 258 (2014), 191-239], up to a constant factor.
Frustration indices of signed subcubic graphs
The frustration index of a signed graph is defined as the minimum number of negative edges among all switching-equivalent signatures. This can be regarded as a generalization of the classical \textsc{Max-Cut} problem in graphs, as the \textsc{Max-Cut} problem is equivalent to determining the frustration index of signed graphs with all edges being negative signs. In this paper, we prove that the frustration index of an $n$-vertex signed connected simple subcubic graph, other than $(K_4, -)$, is at most $\frac{3n + 2}{8}$, and we characterize the family of signed graphs for which this bound is attained. This bound can be further improved to $\frac{n}{3}$ for signed $2$-edge-connected simple subcubic graphs, with the exceptional signed graphs being characterized. As a corollary, every signed $2$-edge-connected simple cubic graph on at least $10$ vertices and with $m$ edges has its frustration index at most $\frac{2}{9}m$, where the upper bound is tight as it is achieved by an infinite family of signed cubic graphs.
A note on the classification of classical distance-regular graphs of negative type and the non-existence of hemisystems
The goal of this note is to connect some interesting results in the literature on algebraic graph theory and finite geometry. In 1999, Weng gave an almost complete classification of classical distance-regular graphs of negative type with diameter at least 4. He proved that these graphs are either dual polar graphs of Hermitian polar spaces, Hermitian forms graphs, or fall into a last category. It was recently proved by Yian et al. that the latter category does not exist when the diameter equals 3, which by Weng's results proves that they do not exist for bigger diameter. Using a result of Vanhove, this proves that certain hemisystems in Hermitian polar spaces cannot exist.
Odd Induced Subgraphs in Graphs of Maximum Degree Four
A graph is called odd if all of its vertex degrees are odd. A long-standing conjecture asked whether there exists a positive constant $c$ such that every $n$-vertex graph without isolated vertices contains an odd induced subgraph on at least $cn$ vertices. In 2022, Ferber and Krivelevich resolved this conjecture affirmatively with $c=10^{-4}$. A natural question is to determine the largest possible constant $c$. In 1994, Caro remarked that if $2/7$ is a valid value for $c$, then it is the largest possible one. To the best of our knowledge, the bound $c\ge 2/7$ has not been improved. Previous research has established tight bounds for specific graph classes -- for instance, $c = 2/5$ for graphs with maximum degree at most $3$ and without isolated vertices. In this paper, we prove that $c=2/7$ is the tight bound for graphs with maximum degree at most $4$ and without isolated vertices. Our result provides some support for $2/7$ being the largest value of $c$.
On the largest degrees in intersecting hypergraphs
Let $\binom{[n]}{k}$ denote the collection of all $k$-subsets of the standard $n$-set $[n]=\{1,2,\ldots,n\}$. Let $n>2k$ and let $\mathcal{F}\subset \binom{[n]}{k}$ be an {\it intersecting} $k$-graph, i.e., $F\cap F'\neq \emptyset$ for all $F,F'\in \mathcal{F}$. The number of edges $F\in \mathcal{F}$ containing $x\in [n]$ is called the {\it degree} of $x$. Assume that $d_1\geq d_2\geq \ldots\geq d_n$ are the degrees of $\mathcal{F}$ in decreasing order. An important result of Huang and Zhao states that for $n>2k$ the minimum degree $d_n$ is at most $\binom{n-2}{k-2}$. For $n\geq 6k-9$ we strengthen this result by showing $d_{2k+1}\leq \binom{n-2}{k-2}$. As to the second and third largest degrees we prove the best possible bound $d_3\leq d_2\leq \binom{n-2}{k-2}+\binom{n-3}{k-2}$ for $n>2k$. Several more best possible results of a similar nature are established.
Endomorphism and automorphism graphs of finite groups
Let $G$ be a group. The directed endomorphism graph, $\dend(G)$ of $G$ is a directed graph with vertex set $G$ and there is a directed edge from the vertex $a$ to the vertex $b$ if $a \neq b$ and there exists an endomorphism on $G$ mapping $a$ to $b$. The endomorphism graph, $\uend(G)$ is the corresponding undirected simple graph. The automorphism graph of $G$ is similarly defined for automorphisms: it is a disjoint union of complete graphs on the orbits of $\Aut(G)$. The endomorphism digraph is a special case of a digraph associated with a transformation monoid, and we begin by introducing this. We have explored graph theoretic properties like size, planarity, girth etc. and tried finding out for which types of groups these graphs are complete, diconnected, trees, bipartite and so on, as well as computing these graphs for some special groups. We conclude with examples showing that things are not always simple.
On fractional triangle decompositions of random graphs
We prove that with high probability $G(n,p)$ with $p \geq n^{-4/11 + o(1)}$ admits a fractional triangle decomposition (FTD), i.e., a nonnegative weighting of its triangles such that for each edge, the total weight of the triangles containing it equals one. This improves on the state of the art, due to Delcourt, Kelly, and Postle, that $p \geq n^{-1/3+o(1)}$ suffices.
The proof is algorithmic: Given $G \sim G(n,p)$, we first construct an approximate FTD by taking a uniform weighting of the triangles. We then use specialized gadgets to iteratively shift weights and obtain successively better approximations of an FTD.
Spectral extremal graphs for $F_6$-free graphs with even size
Let $F_l$ be the fan graph obtained by joining a vertex with a path on $l-1$ vertices. Yu, Li and Peng [Discrete Math. 346 (2023)] conjectured that if the number of edges of $G$ is $m$ and the spectral radius $λ(G)>\frac{k-1+\sqrt{4m-k^2+1}}{2}$, then $G$ contains a $F_{2k+1}$ and $F_{2k+2}$, unless $G=K_{k}\vee (\frac{m}{k}-\frac{k-1}{2})K_1$. The case $k\geq 3$ of the above conjecture has been confirmed by Li, Zhao and Zou [J. Graph theory 110 (2025)]. Zhang and Wang [Discrete Math. 347 (2024)], Yu, Li and Peng [Discrete Math. 348 (2025)], Gao and Li [Discrete Math. 349 (2026)] confirmed the case $k=2$. However, the extremal graphs for the case $k=2$ only exist when $m$ is odd. The case with $m$ even has not been determined. In this paper, we characterize the extremal graph for $F_6$ and even $m\ge 3000$.
On the number of small edge-weighted subgraphs
Subgraph counting is a fundamental task that underpins several network analysis methodologies, including community detection and graph two-sample tests. Counting subgraphs is a computationally intensive problem. Substantial research has focused on developing efficient algorithms and strategies to make it feasible for larger unweighted graphs. Implementing those algorithms can be a significant hurdle for data professionals or researchers with limited expertise in algorithmic principles and programming. Furthermore, many real-world networks are weighted. Computing the number of weighted subgraphs in weighted networks presents a computational challenge, as no efficient algorithm exists for the worst-case scenario. In this paper, we derive explicit formulas for counting small edge-weighted subgraphs using the weighted adjacency matrix. These formulas are applicable to unweighted networks, offering a simple and highly practical analytical tool for researchers across various scientific domains. In addition, we introduce a generalized methodology for calculating arbitrary weighted subgraphs.
Bounding signed bipartite partial t-trees and application to edge-coloring
Given a signed bipartite graph $(B, π)$ of negative girth $2k$, we present a necessary and sufficient condition for it to have the following property: each signed bipartite graph $(G, σ)$ whose negative girth is at least $2k$ and whose underlying graph has treewidth at most $t$ admits a homomorphism to $(B, π)$.
Applying the result on the signed projective cube $SPC(2k-1)$, we conclude that every signed bipartite graph of negative girth at least $2k$ whose underlying graph is a partial 3-tree admits a homomorphism to $SPC(2k-1)$. For planar partial 3-trees, applying duality we conclude that if $G$ is a planar $2k$-regular multigraph whose dual has treewidth at most 3 and such that every edge-cut $(X, V\backslash X)$, where $|X|$ is odd, has size at least $2k$, then $G$ is $2k$-edge-colorable. This supports a conjecture of Seymour which, in full generality, largely extends Tait's reformulation of the four-color theorem, claiming that the fractional edge-chromatic number of a planar multigraph determines its edge-chromatic number.
Finally, noting the contrast between fractional isomorphism and quantum isomorphism, where the former admits a polynomial time algorithm while the latter is proved to be undecidable, and observing the similarities of these notions to the subject of our study, we ask if there is an algorithm to decide if an input signed graph $\widehat{B}$ has the following property: if a signed planar graph $\widehat{G}$ does not map to $\widehat{B}$, it would be because a cycle in $\widehat{G}$ does not map to $\widehat{B}$. In other words, minimal planar graphs that do not map to $\widehat{B}$ are signed cycles.
An integral family of quasi-strongly regular Cayley graphs
Quasi-strongly regular graphs form a significant generalization of strongly regular graphs. We study the eigenvalues of a family of such graphs, $Γ_H(G)$, constructed from a finite group $G$ and a subgroup $H$. Our main results include a sufficient condition for $Γ_H(G)$ to be integral and an explicit computation of its entire spectrum when $H$ is normal, revealing that the spectrum in this case depends only on $|G|$ and the index $[G:H]$.
Optimal chromatic bound for ($P_2\cup P_4$, HVN)-free graphs
The HVN is a graph formed by removing two edges incident to the same vertex from the complete graph $K_5$. In this paper, we prove that every ($P_2\cup P_4$, HVN)-free graph $G$ satisfies $χ(G)\leq\lceil\frac{4}{3}ω(G)\rceil$ when $ω(G)\ge4$, where $χ(G)$ and $ω(G)$ denote the chromatic number and clique number of $G$, respectively. Furthermore, this bound is optimal for every $ω(G)\ge4$. Constructions demonstrating the optimality of the bound are provided. Our work unifies several previously known results on $χ$-binding functions for several graph classes.
Graph Irregularity via Edge Deletions
Published
• View Publication
• BIB
We pursue the study of edge-irregulators of graphs, which were recently introduced in [Fioravantes et al. Parametrised Distance to Local Irregularity. IPEC, 2024]. That is, we are interested in the parameter Ie(G), which, for a given graph G, denotes the smallest k >= 0 such that G can be made locally irregular (i.e., with no two adjacent vertices having the same degree) by deleting k edges. We exhibit notable properties of interest of the parameter Ie, in general and for particular classes of graphs, together with parameterized algorithms for several natural graph parameters.
Despite the computational hardness previously exhibited by this problem (NP-hard, W[1]-hard w.r.t. feedback vertex number, W[1]-hard w.r.t. solution size), we present two FPT algorithms, the first w.r.t. the solution size plus Delta and the second w.r.t. the vertex cover number of the input graph.
Finally, we take important steps towards better understanding the behaviour of this problem in dense graphs. This is crucial when considering some of the parameters whose behaviour is still uncharted in regards to this problem (e.g., neighbourhood diversity, distance to clique). In particular, we identify a subfamily of complete graphs for which we are able to provide the exact value of Ie(G). These investigations lead us to propose a conjecture that Ie(G) should always be at most m/3 + c, where $m$ is the number of edges of the graph $G$ and $c$ is some constant. This conjecture is verified for various families of graphs, including trees.
A note on embracing exchange sequences in oriented matroids
An open problem in convex geometry asks whether two simplices $A,B\subseteq\mathbb{R}^d$, both containing the origin in their convex hulls, admit a polynomial-length sequence of vertex exchanges transforming $A$ into $B$ while maintaining the origin in the convex hull throughout. We propose a matroidal generalization of the problem to oriented matroids, concerning exchange sequences between bases under sign constraints on elements appearing in certain fundamental circuits. We formulate a conjecture on the minimum length of such a sequence, and prove it for oriented graphic matroids of directed graphs. We also study connections between our conjecture and several long-standing open problems on exchange sequences between pairs of bases in unoriented matroids.
Testing chirality on hypertopes
Published
• View Publication
• BIB
In this paper we give group-theoretical conditions on the maximal parabolic subgroups of a coset geometry for it to be a chiral hypertope, bypassing the need to construct the incidence graph of the coset geometry to determine whether or not it is a chiral hypertope. This result permits to study much larger coset geometries with computers and gives hope on proving theoretical results about coset geometries that are chiral hypertopes.
Optimal graph joining with applications to isomorphism detection and identification
We introduce an optimal transport based approach for comparing undirected graphs with non-negative edge weights and general vertex labels, and we study connections between the resulting linear program and the graph isomorphism problem. Our approach is based on the notion of a joining of two graphs $G$ and $H$, which is a product graph that preserves their marginal structure. Given $G$ and $H$ and a vertex-based cost function $c$, the optimal graph joining (OGJ) problem finds a joining of $G$ and $H$ minimizing degree weighted cost. The OGJ problem can be written as a linear program with a convex polyhedral solution set. We establish several basic properties of the OGJ problem, and present theoretical results connecting the OGJ problem to the graph isomorphism problem. In particular, we examine a variety of conditions on graph families that are sufficient to ensure that for every pair of graphs $G$ and $H$ in the family (i) $G$ and $H$ are isomorphic if and only if their optimal joining cost is zero, and (ii) if $G$ and $H$ are isomorphic, the the extreme points of the solution set of the OGJ problem are deterministic joinings corresponding to the isomorphisms from $G$ to $H$.
An exact Ramsey number of large bipartite graphs versus odd wheel
The Ramsey number for the pair of graphs $\mathbb{K}_{1,n}$ (star) versus $W_{m}$ (wheel) has been extensively studied. In contrast, the Ramsey number of $\mathbb{K}_{2,n}$ versus the wheel is not yet explored due to the bit more structural complexity of $\mathbb{K}_{2,n}$ compared to the star. In this article, we have established an exact value of $\mathbb{K}_{2,n}$ versus $W_{m}$ for large $n$ and $m$. In particular, we have proved \begin{equation*} R(\mathbb{K}_{2,n}, W_{m})=3n+4, \end{equation*} whenever $n$ and $m$ are sufficiently large integers satisfying $n\geq4m$ and $m$ is an odd integer. This proves the $W_{m}$-goodness of $\mathbb{K}_{2,n}$. Our proof combines probabilistic methods with an analysis of structural dependencies. As part of the argument, we resolve a structural rigidity question concerning highly dependent neighbourhoods (Lemma 3.12).
On Fair and Tolerant Colorings of Graphs
Published
• View Publication
• BIB
A (not necessarily proper) vertex coloring of a graph $G$ with color classes $V_1$, $V_2$, $\dots$, $V_k$, is said to be a {\it Fair And Tolerant vertex coloring of $G$ with $k$ colors}, whenever $V_1$, $V_2$, $\dots$, $V_k$ are nonempty and there exist two real numbers $α$ and $β$ such that $α\in [0,1]$ and $β\in [0,1]$ and the following condition holds for each arbitrary vertex $v$ and every arbitrary color class $V_i$: $$ \bigl| V_i \cap N (v) \bigr| = \begin{cases}
α°(v) & \mbox{ if } \ \ v \notin V_i
β°(v) & \mbox{ if } \ \ v \in V_i . \end{cases} $$ The {\it FAT chromatic number} of $G$, denoted by $χ^{\rm FAT} (G)$, is defined as the maximum positive integer $k$ for which $G$ admits a Fair And Tolerant vertex coloring with $k$ colors. The concept of the FAT chromatic number of graphs was introduced and studied by Beers and Mulas, where they asked for the existence of a function $f \colon \mathbb{N} \to \mathbb{R}$ in such a way that the inequality $χ^{\rm FAT} (G) \ \leq \ f \big( χ(G) \big)$ holds for all graphs $G$. Another similar interesting question concerns the existence of some function $g \colon \mathbb{N} \to \mathbb{R}$ such that the inequality $χ(G) \ \leq \ g \left( χ^{\rm FAT} (G) \right)$ holds for every graph $G$. In this paper, we establish that both questions admit negative resolutions.
A Dichotomy for 1-Planarity with Restricted Crossing Types Parameterized by Treewidth
A drawing of a graph is 1-planar if each edge participates in at most one crossing and adjacent edges do not cross. Up to symmetry, each crossing in a 1-planar drawing belongs to one out of six possible crossing types, where a type characterizes the subgraph induced by the four vertices of the crossing edges. Each of the 63 possible nonempty subsets $\mathcal{S}$ of crossing types gives a recognition problem: does a given graph admit an $\mathcal{S}$-restricted drawing, that is, a 1-planar drawing where the crossing type of each crossing is in $\mathcal{S}$?
We show that there is a set $\mathcal{S}_{\rm bad}$ with three crossing types and the following properties: If $\mathcal{S}$ contains no crossing type from $\mathcal{S}_{\rm bad}$, then the recognition of graphs that admit an $\mathcal{S}$-restricted drawing is fixed-parameter tractable with respect to the treewidth of the input graph. If $\mathcal{S}$ contains any crossing type from $\mathcal{S}_{\rm bad}$, then it is NP-hard to decide whether a graph has an $\mathcal{S}$-restricted drawing, even when considering graphs of constant pathwidth.
We also extend this characterization of crossing types to 1-planar straight-line drawings and show the same complexity behaviour parameterized by treewidth.
Planar graphs without cycles of length 4 or 5 are $(7m:2m)$-DP-colorable
It was conjectured by Steinberg in 1976 that planar graphs without cycles of length 4 or 5 are 3-colorable. This conjecture attracted a substantial amount of attention and was finally refuted by Cohen-Addad, Hebdige, Král', Li and Salgado in 2017. Although Steinberg's conjecture is settled, coloring of this family of graphs, as well as some other families of planar graphs forbidding certain cycle lengths have been attracting a lot of recent attention and many challenging problems remain open. One problem of interest is multiple coloring and multiple list coloring of this family of graphs. It was proved by Dvǒrák and Hu that
planar graphs without cycles of length 4 or 5 are $(11,3)$-colorable, and this result was improved by Wang, who proved that graphs in this family are $(7:2)$-colorable. On the other hand, it was proved by Xu and Zhu that for every positive integer $m$, there is a graph in this family which is not $(3m + \lfloor \frac{m-1}{12} \rfloor, m)$-choosable.
In this paper, we prove that for any positive integer $m$, graphs in this family are $(7m:2m)$-DP-colorable, and hence $(7m,2m)$-choosable.