graph
34516 papers tagged with this keyword
Strong edge-coloring of sparse graphs with Ore-degree 7 or 8
In a strong edge-coloring of a graph $G=(V,E)$, any two edges of distance at most $2$ get distinct colors. The strong chromatic index of $G$, denoted by $χ_s'(G)$, is the minimum number of colors needed in a strong edge-coloring of $G$. The Ore-degree of $G$ is defined by $\max\{d(u)+d(v):uv\in E\}$. In this paper, we apply the discharging method and make use of Hall's marriage theorem to prove two results toward a conjecture by Chen et al. First, we prove that if $G$ is a graph with Ore-degree $7$ and maximum average degree less than $\frac{34}{11}$, then $χ_s'(G)\le 13$. This result improves the previous best bound from $\frac{40}{13}$ to $\frac{34}{11}$. Second, we prove that if $G$ is a graph with Ore-degree $8$ and maximum average degree less than $\frac{113}{31}$, then $χ_s'(G)\le 20$.
A counter-example to Baranyai's combinatorial characterisation for 3-rigidity
Recently Baranyai described a necessary combinatorial characterisation of graph rigidity for dimension 3. In this short note we provide a counter-example to the converse of the condition. Additionally, we provide an alternative proof to the Baranyai's necessary condition.
On the Symmetric Normaliser Graph of a Group
In this paper we introduce the symmetric normaliser graph of a group $G$. The vertex set of this graph consists of elements of the group. Vertices $x$ and $y$ are adjacent if $x$ lies in the normaliser of $\langle y \rangle$ and $y$ lies in the normaliser of $\langle x \rangle$. We investigate the hierarchical position this graph occupies in the hierarchy of graphs defined on groups. We show that the existing hierarchy is further refined by this graph and that the edges of this graph lie between the edges of the commuting graph and the nilpotent graph. For finite groups, we prove a necessary and sufficient condition for the symmetric normaliser graph to be equal to the commuting graph and similarly, for equality with the nilpotent graph. The edge set of the symmetric normaliser graph is also a subset of the edge set of the Engel graph of a group and has connections to the non-generating graph of a group.
A dual view of Roman Domination: The 2-limited packing problem
We consider the 2-limited packing problem: for a graph $G=(V,E)$ one seeks to find a maximum cardinality subset $B\subseteq V$, such that, for all $v\in V$, the closed neighbourhood of $v$ contains at most two vertices in $B$. We compare this packing problem to the well-known Roman domination problem by pointing out some similarities and differences in the behaviour of the optimal solutions of both problems and show that these two problems are weakly dual. We show that for trees, the two problems are strongly dual, letting us solve the Roman domination problem by computing an optimal solution to the 2-limited packing problem.
General position and mutual-visibility in shadow graphs
The \emph{general position problem} in graphs asks for a largest set of vertices in which no three lie on a common shortest path. The \emph{mutual-visibility problem} seeks a largest set of vertices such that every pair is connected by a shortest path whose internal vertices lie outside the set. In this paper, we investigate the general position and mutual-visibility problems for shadow graphs. Sharp general bounds are established for both the general position number and the mutual-visibility number of shadow graphs, and classes of graphs attaining these extremal values are characterized. Furthermore, these invariants are determined for several standard classes of shadow graphs, including shadow graphs of cycles, multipartite graphs, and trees.
Cost-Benefit Analysis for PMU Placement in Power Grids
Power domination is a graph-theoretic model for the observance of a power grid using phasor measurement units (PMUs). There are many costs associated with the installation of a PMU, but also costs associated with not observing the entire power grid. In this work, we propose and study a power domination cost function, which balances these two costs. Given a graph $G$, a set of sensor locations $S$, and a parameter $β$ (which is the ratio of the cost of a PMU to the cost of non-observance of any given vertex), we define the cost function
\[ \mathrm{C}(G;S,β)=|S|+β\cdot (|V(G)|-|\mathrm{Obs}(G;S)|) \] where $|\mathrm{Obs}(G;S)|$ is the number of vertices observed by sensors placed at $S\subseteq V(G)$ in the power domination process. We explore the values of $k$ for which there is a set $S$ of size $k$ that minimizes this cost function, and explore which values of $β$ guarantee that it is optimal to observe the entire power grid to minimize cost. We also introduce notions of marginal cost and marginal observance, providing tools to analyze how many PMUs one should install on a given power grid.
Large point-line matchings and small Nikodym sets
For any integer $d \geq 2$ and prime power $q$, we construct unexpectedly large induced matchings in the point-line incidence graph of $\mathbb{F}_{q}^{d}$ by leveraging a new connection with the Furstenberg-Sárközy problem from arithmetic combinatorics. In particular, we significantly improve the previously well-known baselines when $q$ is prime, showing that $\mathbb{F}_{q}^{2}$ contains matchings of size $q^{1.233}$ and $\mathbb{F}_{q}^{d}$ contains matchings of size $q^{d-o_{d}(1)}$.
These results and their proofs have several applications. First, we also obtain new constructions for finite field Nikodym sets in dimension $d \geq 2$, improving recent results of Tao by polynomial factors. For example, when $q$ is prime, we show the existence of Nikodym sets in $\mathbb{F}_q^d$ of size $q^d - q^{d - o_d(1)}$. Second, we construct a new minimal blocking set in $\mathrm{PG}(2,q)$, solving a longstanding problem in finite geometry. Third, we obtain new constructions for the minimal distance problem (in $\mathbb{R}^{2}$ and also in higher dimensions), improving a recent result of Logunov-Zakharov.
We also obtain analogous results for general finite fields with large characteristics. In particular, in one of our constructions we introduce a new special set of points inside the norm hypersurface in $\mathbb{F}_{q}^{d}$, which directly generalizes the classical Hermitian unital and which may be of independent interest for applications.
Vertex degrees in grid graphs associated with 213-avoiding permutations
Given a permutation of size $n$, we consider its associated grid graph whose $i$th column has height equal to the $i$th entry, with vertical edges between consecutive levels and horizontal edges between equal levels in adjacent columns. We study global degree statistics of these graphs when the permutation is chosen from the Catalan avoidance class $\mathrm{Av}_n(213)$ (and, by reversal, also from $\mathrm{Av}_n(312)$).
We first obtain an explicit closed form for the total number of horizontal edges summed over all permutations in $\mathrm{Av}_n(213)$. We then determine, for each degree $r\in\{1,2,3,4\}$, the total number of degree-$r$ vertices accumulated over the same class, yielding closed expressions in terms of central binomial coefficients and powers of four. The proofs rely on the Catalan decomposition induced by the position of the minimum entry, which leads to gluing identities and algebraic functional equations for ordinary generating functions, completed using global vertex and degree-sum identities.
As a consequence, we derive asymptotic degree proportions for a uniform random permutation in $\mathrm{Av}_n(213)$: the distribution concentrates and the proportion of degree-$4$ vertices tends to $1$, with a deficit of order $n^{-1/2}$.
Minimal spectral radius of graphs with given matching number
The Brualdi-Solheid problem asks which graph achieves the extremal (maximum or minimum) spectral radius for a given class of graphs. This paper addresses the Brualdi-Solheid problem for \( \mathcal{G}_{n,β} \), the family of graphs with order \( n \) and matching number \( β\), aiming to identify its spectrally minimal graphs i.e., those that minimize the spectral radius \(ρ(G)\).
We introduce the novel concept of ``quasi-adjacency'' relation, developing a unified structural classification framework for trees in \(\mathcal{G}_{n,β}\), which clarifies structural properties and provides a constructive method to generate trees with fixed \(β\). By showing that all spectrally minimal graphs in \( \mathcal{G}_{n,β} \) are trees, we further narrow the search for extremal graphs. Additionally, we apply this framework to the representative cases \(β=2,3,4\), obtaining the minimizers by explicit structural formulas involving parameters related to \(n\).
Complex-Valued-Matrix Permanents: SPA-based Approximations and Double-Cover Analysis
Approximating the permanent of a complex-valued matrix is a fundamental problem with applications in Boson sampling and probabilistic inference. In this paper, we extend factor-graph-based methods for approximating the permanent of non-negative-real-valued matrices that are based on running the sum-product algorithm (SPA) on standard normal factor graphs, to factor-graph-based methods for approximating the permanent of complex-valued matrices that are based on running the SPA on double-edge normal factor graphs.
On the algorithmic side, we investigate the behavior of the SPA, in particular how the SPA fixed points change when transitioning from real-valued to complex-valued matrix ensembles. On the analytical side, we use graph covers to analyze the Bethe approximation of the permanent, i.e., the approximation of the permanent that is obtained with the help of the SPA.
This combined algorithmic and analytical perspective provides new insight into the structure of Bethe approximations in complex-valued problems and clarifies when such approximations remain meaningful beyond the non-negative-real-valued settings.
Graphical composition of mapping spaces between modules of configuration-space-type
In embedding calculus, spaces of embeddings are identified with derived mapping spaces between framed Fulton-MacPherson-type modules (framed configuration spaces). Unfortunately, there are no sufficiently good algebraic models for framed Fulton-MacPherson modules that would allow us to explicitly describe the rational homotopy type of the embedding space. Recently there were several attempts to avoid dealing with the framed versions of Fulton-MacPherson modules by considering framed manifolds, e.g. embeddings modulo immersions $\overline{\mathrm{Emb}}$ in a recent paper by Fresse, Turchin and Willwacher, or embeddings with a deformation of the framing $\widetilde{\mathrm{Emb}}$ in a recent paper by the author. In both cases, the rational homotopy type of the corresponding embedding space has an explicit description in terms of graphs (hairy graph complexes).
We construct a combinatorial graphical composition for the composition of embedding spaces $\widetilde{\mathrm{Emb}}$. As a step on our way, we describe the action of the coinduction functor on configuration-space-type $e_n^c$-comodules.
A short note on $A_α$-eigenvalues for simple graphs
Given a simple graph $G$, its $A_α$ matrix is a convex combination with parameter $α\in [0,1]$ of its adjacency matrix and its degree diagonal matrices. Here we compare two lower bounds presented in [J. D. G. Silva Jr., C. S. Oliveira and L. M. G. C. Costa. "Some results involving the $A_α$-eigenvalues for graphs and line graphs"] for the spectral radius of $A_α$, and prove that one is better than the other when there are no isolated nodes in $G$.
Divisible design graphs from Higmanian association schemes
An imprimitive symmetric indecomposable association scheme of rank 5 is said to be Higmanian. A divisible design graph is a graph whose adjacency matrix is an incidence matrix of a symmetric divisible design. We establish conditions which guarantee that a union of some basis relations of a Higmanian association scheme is an edge set of a divisible design graph. Further, we show that several known families of divisible design graphs can be obtained as fusions of Higmanian association schemes. Finally, using our approach we construct new infinite families of divisible design graphs.
On the average hitting times of the directed wheel
In this paper, following the paper ``On the average hitting times of the squares of cycles,'' we provide an explicit formula for the average hitting times of a simple random walk on a directed graph with $N$ vertices, where the graph consists of a cycle with a single absorbing vertex at its center, using elementary methods. Also, we show that the average hitting times can be expressed in terms of the Fibonacci and Lucas numbers in general.
A coarse Gallai theorem
We prove that there exist functions $f$ and $g$ such that for all positive integers $k$ and $d$, for every graph $G$ and every subset $A$ of the vertices of $G$, either $G$ contains $k$ $A$-paths such that vertices of different $A$-paths are at distance at least $d$ in $G$, or there exists a set $X$ of the vertices of $G$ with $|X|\leq f(k)$ such that every $A$-path in $G$ contains a vertex of $B_G(X,g(k,d))$.
Monochromatic triangle-tilings in dense graphs without large independent sets
Given two graphs $H$ and $G$, an $H$-tiling is a family of vertex-disjoint copies of $H$ in $G$. A perfect $H$-tiling covers all vertices of $G$. The Corradi-Hajnal theorem (1963) states that an $n$-vertex graph $G$ with minimum degree $δ(G)\ge 2n/3$ contains a perfect triangle-tiling. For an $n$-vertex graph $G$ with independence number $α(G)=o(n)$, Balogh, Molla and Sharifzadeh (Random Structures & Algorithms, 2016) showed that a minimum degree of $(\frac12+o(1))n$ forces a perfect triangle-tiling. In a 2-edge-colored graph, Balogh, Freschi, Treglown (European J. Combin. 2026) determined the (asymptotic) minimum degree threshold for forcing a strong or weak monochromatic triangle-tiling covering a prescribed proportion of the vertices: a strong tiling requires all triangles to be in the same color class, while a weak tiling only requires each triangle to be monochromatic. In this paper, we combine the conditions from these two lines of work and prove that every $2$-edge-colored $n$-vertex graph $G$ with $α(G)=o(n)$ contains a weak monochromatic triangle-tiling $Γ$ of size \[ |Γ|\ge \begin{cases} 2δ(G)-n-o(n), & \text{if }\frac12 n\le δ(G)\le \frac35 n,\\[2mm] δ(G)/3-o(n), & \text{if }δ(G)>\frac35 n. \end{cases} \] Both bounds are asymptotically optimal. We use the degree form regularity lemma in our proof.
Well-quasi-ordered classes of bounded clique-width
We study classes of graphs with bounded clique-width that are well-quasi-ordered by the induced subgraph relation, in the presence of labels on the vertices. We prove that, given a finite presentation of a class of graphs, one can decide whether the class is labelled-well-quasi-ordered. This solves an open problem raised by Daligault, Rao and Thomassé in 2010, and answers positively to two conjectures of Pouzet in the restricted case of bounded clique-width classes. Namely, we prove that being labelled-well-quasi-ordered by a set of size 2 or by a well-quasi-ordered infinite set are equivalent conditions, and that in such cases, one can freely assume that the graphs are equipped with a total ordering on their vertices. Finally, we provide a structural characterization of those classes as those that are of bounded clique-width and do not existentially transduce the class of all finite paths.
Distinguishing Graphs by Counting Homomorphisms from Sparse Graphs
Lovász (1967) showed that two graphs $G$ and $H$ are isomorphic if, and only if, they are homomorphism indistinguishable over all graphs, i.e., $G$ and $H$ admit the same number of number of homomorphisms from every graph $F$. Subsequently, a substantial line of work studied homomorphism indistinguishability over restricted graph classes. For example, homomorphism indistinguishability over minor-closed graph classes $\mathcal{F}$ such as the class of planar graphs, the class of graphs of treewidth $\leq k$, pathwidth $\leq k$, or treedepth $\leq k$, was shown to be equivalent to quantum isomorphism and equivalences with respect to counting logic fragments, respectively.
Via such characterisations, the distinguishing power of e.g. logical or quantum graph isomorphism relaxations can be studied with graph-theoretic means. In this vein, Roberson (2022) conjectured that homomorphism indistinguishability over every graph class excluding some minor is not the same as isomorphism. We prove this conjecture for all vortex-free graph classes. In particular, homomorphism indistinguishability over graphs of bounded Euler genus is not the same as isomorphism. As a negative result, we show that Roberson's conjecture fails when generalised to graph classes excluding a topological minor.
Furthermore, we show homomorphism distinguishing closedness for several graph classes including all topological-minor-closed and union-closed classes of forests, and show that homomorphism indistinguishability over graphs of genus $\leq g$ (and other parameters) forms a strict hierarchy.
Uniformly balanced $H$-factors in multicoloured complete graphs
A balanced colouring of a graph is one in which every colour appears the same number of times. Given a fixed graph $H$ on $r$ vertices and a balanced $k$-colouring of the complete graph $K_{nrk}$, Hollom (2025) asked the following question: can we always find an $H$-factor $F$ covering all vertices of the complete graph $K_{nrk}$ such that the inherited colouring of $F$ is almost balanced? This is known to be the case for palettes of only two colours, or when $H$ is only a single edge. We answer the above question in full, finding an $H$-factor which is at most $C_{r,k}$ edges away from being balanced, where $C_{r,k}$ depends only on $r$ and $k$. In fact, we work in the more general setting wherein our palette of colours is a subset of $\mathbb{S}^{d-1}$, and find an $H$-factor where the sum of the colours of all edges has bounded Euclidean norm.
Sedentary quantum walks on bipartite graphs
If a quantum walk starting on a vertex tends to stay at home, then that vertex is said to be sedentary. We prove that almost all planar graphs and almost all trees contain at least two sedentary vertices for any assignment of edge weights -- a result that suggests vertex sedentariness is a common phenomenon in trees and planar graphs. For weighted bipartite graphs, we show that a vertex is not sedentary whenever 0 does not belong to its eigenvalue support. Consequently, each vertex in a nonsingular weighted bipartite graph is not sedentary, a stark contrast to weighted trees and weighted planar graphs. A corollary of this result is that every vertex in a bipartite graph with a unique perfect matching is not sedentary for any assignment of edge weights. We also construct new families of weighted bipartite graphs with sedentary vertices using the bipartite double and subdivision operations. Finally, we show that unweighted paths and unweighted even cycles contain no sedentary vertices.