graph
35150 papers tagged with this keyword
Excluding surfaces as minors in graphs
The Graph Minors Structure Theorem (GMST) of Robertson and Seymour states that for every graph $H,$ any $H$-minor-free graph $G$ has a tree-decomposition of bounded adhesion such that the torso of every bag embeds in a surface $Σ$ where $H$ does not embed after removing a small number of \textsl{apex vertices} and confining some vertices into a bounded number of \textsl{bounded depth} vortices. However, the functions involved in the original form of this statement were not explicit. In an enormous effort Kawarabayashi, Thomas, and Wollan proved a similar statement with explicit (and single-exponential in $|V(H)|$) bounds. However, their proof replaces the statement "a surface where $H$ does not embed'' with "a surface of Euler-genus in $\mathcal{O}(|H|^2)$''.
In this paper we close this gap and prove that the bounds of Kawarabayashi, Thomas, and Wollan can be achieved with a tight bound on the Euler-genus. Moreover, we provide a more refined version of the GMST focussed exclusively on excluding, instead of a single graph, grid-like graphs that are minor-universal for a given set of surfaces. This allows us to give a description, in the style of Robertson and Seymour, of graphs excluding a graph of fixed Euler-genus as a minor, rather than focussing on the size of the graph.
Eigenvalues of the product matrices of finite commutative rings
The product matrix of a finite commutative ring $R=\{x_1,x_2,\ldots,x_n\}$ and an element $u \in R$ is the matrix $A_u(R)=[a_{ij}]$, where $a_{ij}=1$ if $x_ix_j=u$, and $a_{ij}=0$ otherwise. This provides a natural extension of the concept of the adjacency matrix of the zero-divisor graph of a ring, which has been studied extensively. In this paper, we find the characteristic polynomial of $A_u(R)$ for a local ring $R$ of odd order and a unit $u$. By studying the structure of a finite local ring, we find the characteristic polynomial of $A_u(R)$ for a local ring $R$ and any $u \in R$ in two cases: when the Jacobson radical of $R$ has either the maximal or the minimal possible index of nilpotency.
Strong edge-coloring of sparse graphs with Ore-degree 7 or 8
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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.
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.