graph
34516 papers tagged with this keyword
A class of highly symmetric Archdeacon embeddings
Archdeacon, in his seminal paper $[1]$, defined the concept of Heffter array to provide explicit constructions of biembeddings of the complete graph $K_v$ into orientable surfaces, the so-called Archdeacon embeddings, and proved that these embeddings are $\mathbb{Z}_{v}$-regular.
In this paper, we show that an Archdeacon embedding may admit an automorphism group that is strictly larger than $\mathbb{Z}_{v}$. Indeed, as an application of the interesting class of arrays recently introduced by Buratti in $[2]$, we exhibit, for infinitely many values of $v$, an embedding of this type having full automorphism group of size ${v \choose 2}$ that is the largest possible one.
Computing Well-Covered Vector Spaces of Graphs using Modular Decomposition
A graph is well-covered if all its maximal independent sets have the same cardinality. This well studied concept was introduced by Plummer in 1970 and naturally generalizes to the weighted case. Given a graph $G$, a real-valued vertex weight function $w$ is said to be a well-covered weighting of $G$ if all its maximal independent sets are of the same weight. The set of all well-covered weightings of a graph $G$ forms a vector space over the field of real numbers, called the well-covered vector space of $G$. Since the problem of recognizing well-covered graphs is $\mathsf{co}$-$\mathsf{NP}$-complete, the problem of computing the well-covered vector space of a given graph is $\mathsf{co}$-$\mathsf{NP}$-hard. Levit and Tankus showed in 2015 that the problem admits a polynomial-time algorithm in the class of claw-free graph. In this paper, we give two general reductions for the problem, one based on anti-neighborhoods and one based on modular decomposition, combined with Gaussian elimination. Building on these results, we develop a polynomial-time algorithm for computing the well-covered vector space of a given fork-free graph, generalizing the result of Levit and Tankus. Our approach implies that well-covered fork-free graphs can be recognized in polynomial time and also generalizes some known results on cographs.
Finite Hypergraph Families with Rich Extremal Turán Constructions via Mixing Patterns
Published in Forum of Mathematics, Sigma 13 (2025) e53
• View Publication
• BIB
We prove that, for any finite set of minimal $r$-graph patterns, there is a finite family $\mathcal F$ of forbidden $r$-graphs such that the extremal Turán constructions for $\mathcal F$ are precisely the maximum $r$-graphs obtainable from mixing the given patterns in any way via blowups and recursion. This extends the result by the second author \cite{PI14}, where the above statement was established for a single pattern.
We present two applications of this result. First, we construct a finite family $\mathcal F$ of $3$-graphs such that there are exponentially many maximum $\mathcal F$-free $3$-graphs of each large order $n$ and, moreover, the corresponding Turán problem is not finitely stable. Second, we show that there exists a finite family $\mathcal{F}$ of $3$-graphs whose feasible region function attains its maximum on a Cantor-type set of positive Hausdorff dimension.
Product structure extension of the Alon--Seymour--Thomas theorem
Published in SIAM Journal on Discrete Mathematics, 38(3):2095--2107, 2024
• View Publication
• BIB
Alon, Seymour and Thomas [1990] proved that every $n$-vertex graph excluding $K_t$ as a minor has treewidth less than $t^{3/2}\sqrt{n}$. Illingworth, Scott and Wood [2022] recently refined this result by showing that every such graph is a subgraph of some graph with treewidth $t-2$, where each vertex is blown up by a complete graph of order $O(\sqrt{tn})$. Solving an open problem of Illingworth, Scott and Wood [2022], we prove that the treewidth bound can be reduced to $4$ while keeping blowups of order $O_t(\sqrt{n})$. As an extension of the Lipton--Tarjan theorem, in the case of planar graphs, we show that the treewidth can be further reduced to $2$, which is best possible. We generalise this result for $K_{3,t}$-minor-free graphs, with blowups of order $O(t\sqrt{n})$. This setting includes graphs embeddable on any fixed surface.
Rearrangement Inequalities on the Lattice Graph
Published
• View Publication
• BIB
The Polya-Szegő inequality in $\mathbb{R}^n$ states that, given a non-negative function $f:\mathbb{R}^{n} \rightarrow \mathbb{R}_{}$, its spherically symmetric decreasing rearrangement $f^*:\mathbb{R}^{n} \rightarrow \mathbb{R}_{}$ is `smoother' in the sense of $\| \nabla f^*\|_{L^p} \leq \| \nabla f\|_{L^p}$ for all $1 \leq p \leq \infty$. We study analogues on the lattice grid graph $\mathbb{Z}^2$. The spiral rearrangement is known to satisfy the Polya-Szegő inequality for $p=1$, the Wang-Wang rearrangement satisfies it for $p=\infty$ and no rearrangement can satisfy it for $p=2$. We develop a robust approach to show that both these rearrangements satisfy the Polya-Szegő inequality up to a constant for all $1 \leq p \leq \infty$. In particular, the Wang-Wang rearrangement satisfies $\| \nabla f^*\|_{L^p} \leq 2^{1/p} \| \nabla f\|_{L^p}$ for all $1 \leq p \leq \infty$. We also show the existence of (many) rearrangements on $\mathbb{Z}^d$ such that $\| \nabla f^*\|_{L^p} \leq c_d \cdot \| \nabla f\|_{L^p}$ for all $1 \leq p \leq \infty$.
The graph minor relation satisfies the twin alternative conjecture
In 2006 Bonato and Tardif posed the Tree Alternative Conjecture (TAC): the equivalence class of a tree under the embeddability relation is, up to isomorphism, either trivial or infinite. In 2022 LaFlamme, et al. provided a rigorous exposition of a conter-example to TAC developed by Tetano in his 2008 PhD thesis. Also in 2022, the present author provided a positive answer to TAC for the topological minor relation. Along with embeddability and the topological minor, the graph minor relation completes the triad of the most widely studied graph relations. In this paper we provide a positive answer to TAC for the the graph minor.
On tetravalent half-arc-transitive graphs of girth 5
A subgroup of the automorphism group of a graph $\G$ is said to be {\em half-arc-transitive} on $\G$ if its action on $\G$ is transitive on the vertex set of $\G$ and on the edge set of $\G$ but not on the arc set of $\G$. Tetravalent graphs of girths $3$ and $4$ admitting a half-arc-transitive group of automorphisms have previously been characterized. In this paper we study the examples of girth $5$. We show that, with two exceptions, all such graphs only have directed $5$-cycles with respect to the corresponding induced orientation of the edges. Moreover, we analyze the examples with directed $5$-cycles, study some of their graph theoretic properties and prove that the $5$-cycles of such graphs are always consistent cycles for the given half-arc-transitive group. We also provide infinite families of examples, classify the tetravalent graphs of girth $5$ admitting a half-arc-transitive group of automorphisms relative to which they are tightly-attached and classify the tetravalent half-arc-transitive weak metacirculants of girth $5$.
On the Difference Graph of power graphs of finite groups
Published
• View Publication
• BIB
The power graph of a finite group $G$ is a simple undirected graph with vertex set $G$ and two vertices are adjacent if one is a power of the other. The enhanced power graph of a finite group $G$ is a simple undirected graph whose vertex set is the group $G$ and two vertices $a$ and $b$ are adjacent if there exists $c \in G$ such that both $a$ and $b$ are powers of $c$. In this paper, we investigate the difference graph $\mathcal{D}(G)$ of a finite group $G$, which is the difference of the enhanced power graph and the power graph of $G$ with all isolated vertices removed. We study the difference graphs of finite groups with forbidden subgraphs among other results. We first characterize an arbitrary finite group $G$ such that $\mathcal{D}(G)$ is a chordal graph, star graph, dominatable, threshold graph, and split graph. From this, we conclude that the latter four graph classes are equivalent for $\mathcal{D}(G)$. By applying these results, we classify the nilpotent groups $G$ such that $\mathcal{D}(G)$ belong to the aforementioned five graph classes. This shows that all these graph classes are equivalent for $\mathcal{D}(G)$ when $G$ is nilpotent. Then, we characterize the nilpotent groups whose difference graphs are cograph, bipartite, Eulerian, planar, and outerplanar. Finally, we consider the difference graph of non-nilpotent groups and determine the values of $n$ such that the difference graphs of the symmetric group $S_n$ and alternating group $A_n$ are cograph, chordal, split, and threshold.
Switching Checkerboards
Published
• View Publication
• BIB
In order to study $\mathbf{M}(R,C)$, the set of binary matrices with fixed row and column sums $R$ and $C$, we consider sub-matrices of the form $\begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix}$ and $\begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}$, called positive and negative checkerboard respectively. We define an oriented graph of matrices $G(R,C)$ with vertex set $\mathbf{M}(R,C)$ and an arc from $\mathbf{A}$ to $\mathbf{A'}$ indicates you can reach $\mathbf{A'}$ by switching a negative checkerboard in $\mathbf{A}$ to positive. We show that $G(R,C)$ is a directed acyclic graph and identify classes of matrices which constitute unique sinks and sources of $G(R,C)$. Given $\mathbf{A},\mathbf{A'}\in\mathbf{M}(R,C)$, we give necessary conditions and sufficient conditions on $\mathbf{M}=\mathbf{A'}-\mathbf{A}$ for the existence of a directed path from $\mathbf{A}$ to $\mathbf{A'}$.
We then consider the special case of $\mathbf{M}(\mathcal D)$, the set of adjacency matrices of graphs with fixed degree distribution $\mathcal D$. We define $G(\mathcal D)$ accordingly by switching negative checkerboards in symmetric pairs. We show that $Z_2$, an approximation of the spectral radius $λ_1$ based on the second Zagreb index, is non-decreasing along arcs of $G(\mathcal D)$. Also, $\ll$ reaches its maximum in $\mathbf{M}(\mathcal D)$ at a sink of $G(\mathcal D)$. We provide simulation results showing that applying successive positive switches to an Erd\H os-Rényi graph can significantly increase $λ_1$.
On Sombor Index of Unicyclic graphs with a fixed number of pendant vertices
The Sombor index is a topological index in graph theory defined by Gutman in 2021. In this article we find the maximum Sombor index of unicyclic graphs with a fixed number of pendant vertices. We also provide the unique graph among the chosen class where the maximum Sombor index is attained.
Twin-width of random graphs
Published in Random Structures Algorithms, 65(4):794-831, December 2024
• View Publication
• BIB
We investigate the twin-width of the Erdős-Rényi random graph $G(n,p)$. We unveil a surprising behavior of this parameter by showing the existence of a constant $p^*\approx 0.4$ such that with high probability, when $p^*\le p\le 1-p^*$, the twin-width is asymptotically $2p(1-p)n$, whereas, when $0<p<p^*$ or $1>p>1-p^*$, the twin-width is significantly higher than $2p(1-p)n$. In addition, we show that the twin-width of $G(n,1/2)$ is concentrated around $n/2 - \sqrt{3n \log n}/2$ within an interval of length $o(\sqrt{n\log n})$. For the sparse random graph, we show that with high probability, the twin-width of $G(n,p)$ is $Θ(n\sqrt{p})$ when $(726\ln n)/n\leq p\leq1/2$.
Graph comparison meets Alexandrov
Published in Sib. Math. J. 64, 624--628 (2023)
• View Publication
• BIB
Graph comparison is a certain type of condition on metric space encoded by a finite graph. We show that any nontrivial graph comparison implies one of Alexandrov's comparisons. The proof gives a complete description of graphs with trivial graph comparisons.
Random Polynomial Graphs for Random Turán Problems
Published
• View Publication
• BIB
Bukh and Conlon used random polynomial graphs to give effective lower bounds on $\mathrm{ex}(n,\mathcal{T}^\ell)$, where $\mathcal{T}^\ell$ is the $\ell$th power of a balanced rooted tree $T$. We extend their result to give effective lower bounds on $\mathrm{ex}(G_{n,p},\mathcal{T}^\ell)$, which is the maximum number of edges in a $\mathcal{T}^\ell$-free subgraph of the random graph $G_{n,p}$. Analogous bounds for generalized Turán numbers in random graphs are also proven.
The tower of Kontsevich deformations for Nambu-Poisson structures on $\mathbb{R}^{d}$: dimension-specific micro-graph calculus
Published in SciPost Phys. Proc., Vol. 14 (2023), Paper 020, pp.1--11
• View Publication
• BIB
In Kontsevich's graph calculus, internal vertices of directed graphs are inhabited by multi-vectors, e.g., Poisson bi-vectors; the Nambu-determinant Poisson brackets are differential-polynomial in the Casimir(s) and density $\varrho$ times Levi-Civita symbol. We resolve the old vertices into subgraphs such that every new internal vertex contains one Casimir or one Levi-Civita symbol${}\times\varrho$. Using this micro-graph calculus, we show that Kontsevich's tetrahedral $γ_3$-flow on the space of Nambu-determinant Poisson brackets over $\mathbb{R}^3$ is a Poisson coboundary: we realize the trivializing vector field $\smash{\vec{X}}$ over $\smash{\mathbb{R}^3}$ using micro-graphs. This $\smash{\vec{X}}$ projects to the known trivializing vector field for the $γ_3$-flow over $\smash{\mathbb{R}^2}$.
Approximate counting using Taylor's theorem: a survey
Published in Bulletin of EATCS 138, no. 3 (2022)
• Search Publication
In this article we consider certain well-known polynomials associated with graphs including the independence polynomial and the chromatic polynomial. These polynomials count certain objects in graphs: independent sets in the case of the independence polynomial and proper colourings in the case of the chromatic polynomial. They also have interpretations as partition functions in statistical physics.
The algorithmic problem of (approximately) computing these types of polynomials has been studied for close to 50 years, especially using Markov chain techniques. Around eight years ago, Barvinok devised a new algorithmic approach based on Taylor's theorem for computing the permanent of certain matrices, and the approach has been applied to various graph polynomials since then. This article is intended as a gentle introduction to the approach as well as a partial survey of associated techniques and results.
Cherry picking in forests: A new characterization for the unrooted hybrid number of two phylogenetic trees
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:2, Graph Theory (May 20, 2025) dmtcs:11633
• View Publication
• BIB
Phylogenetic networks are a special type of graph which generalize phylogenetic trees and that are used to model non-treelike evolutionary processes such as recombination and hybridization. In this paper, we consider {\em unrooted} phylogenetic networks, i.e. simple, connected graphs $\mathcal{N}=(V,E)$ with leaf set $X$, for $X$ some set of species, in which every internal vertex in $\mathcal{N}$ has degree three. One approach used to construct such phylogenetic networks is to take as input a collection $\mathcal{P}$ of phylogenetic trees and to look for a network $\mathcal{N}$ that contains each tree in $\mathcal{P}$ and that minimizes the quantity $r(\mathcal{N}) = |E|-(|V|-1)$ over all such networks. Such a network always exists, and the quantity $r(\mathcal{N})$ for an optimal network $\mathcal{N}$ is called the hybrid number of $\mathcal{P}$. In this paper, we give a new characterization for the hybrid number in case $\mathcal{P}$ consists of two trees. This characterization is given in terms of a cherry picking sequence for the two trees, although to prove that our characterization holds we need to define the sequence more generally for two forests. Cherry picking sequences have been intensively studied for collections of rooted phylogenetic trees, but our new sequences are the first variant of this concept that can be applied in the unrooted setting. Since the hybrid number of two trees is equal to the well-known tree bisection and reconnection distance between the two trees, our new characterization also provides an alternative way to understand this important tree distance.
Fault-Tolerant Locating-Dominating sets with Error-correction
Published
• View Publication
• BIB
A locating-dominating set is a subset of vertices representing "detectors" in a graph G; each detector monitors its closed neighborhood and can distinguish its own location from its neighbors, and given all sensor input, the system can locate an "intruder" anywhere in the graph. We explore a fault-tolerant variant of locating-dominating sets, error-correcting locating-dominating (ERR:LD) sets, which can tolerate an incorrect signal from a single detector. In particular, we characterize error-correcting locating-dominating sets, and derive its existence criteria. We also prove that the problem of determining the minimum cardinality of ERR:LD set in arbitrary graphs is NP-complete. Additionally, we establish lower and upper bounds for the minimum density of ERR:LD sets in infinite grids and cubic graphs, and prove the lower bound for cubic graphs is sharp.
A random coloring process gives improved bounds for the Erdős-Gyárfás problem on generalized Ramsey numbers
Published
• View Publication
• BIB
The Erdős-Gyárfás number $f(n, p, q)$ is the smallest number of colors needed to color the edges of the complete graph $K_n$ so that all of its $p$-clique spans at least $q$ colors. In this paper we improve the best known upper bound on $f(n, p, q)$ for many fixed values of $p, q$ and large $n$. Our proof uses a randomized coloring process, which we analyze using the so-called differential equation method to establish dynamic concentration.
Rainbow variations on a theme by Mantel: extremal problems for Gallai colouring templates
Published
• View Publication
• BIB
Let $\mathbf{G}:=(G_1, G_2, G_3)$ be a triple of graphs on the same vertex set $V$ of size $n$. A rainbow triangle in $\mathbf{G}$ is a triple of edges $(e_1, e_2, e_3)$ with $e_i\in G_i$ for each $i$ and $\{e_1, e_2, e_3\}$ forming a triangle in $V$. The triples $\mathbf{G}$ not containing rainbow triangles, also known as Gallai colouring templates, are a widely studied class of objects in extremal combinatorics.
In the present work, we fully determine the set of edge densities $(α_1, α_2, α_3)$ such that if $\vert E(G_i)\vert> α_i n^2$ for each $i$ and $n$ is sufficiently large, then $\mathbf{G}$ must contain a rainbow triangle. This resolves a problem raised by Aharoni, DeVos, de la Maza, Montejanos and Šámal, generalises several previous results on extremal Gallai colouring templates, and proves a recent conjecture of Frankl, Györi, He, Lv, Salia, Tompkins, Varga and Zhu.
Minors, connectivity, and diameter in randomly perturbed sparse graphs
Published
• View Publication
• BIB
Extremal properties of sparse graphs, randomly perturbed by the binomial random graph are considered. It is known that every $n$-vertex graph $G$ contains a complete minor of order $Ω(n/α(G))$. We prove that adding $ξn$ random edges, where $ξ> 0$ is arbitrarily small yet fixed, to an $n$-vertex graph $G$ satisfying $α(G) \leq ζ(ξ)n$ asymptotically almost surely results in a graph containing a complete minor of order $\tilde Ω\left( n/\sqrt{α(G)}\right)$; this result is tight up to the implicit logarithmic terms.
For complete topological minors, we prove that there exists a constant $C>0$ such that adding $C n$ random edges to a graph $G$ satisfying $δ(G) = ω(1)$, asymptotically almost surely results in a graph containing a complete topological minor of order $\tilde Ω(\min\{δ(G),\sqrt{n}\})$; this result is tight up to the implicit logarithmic terms.
Finally, extending results of Bohman, Frieze, Krivelevich, and Martin for the dense case, we analyse the asymptotic behaviour of the vertex-connectivity and the diameter of randomly perturbed sparse graphs.