graph
34516 papers tagged with this keyword
An El-Zahar Type Theorem in $3$-graphs under Codegree Condition
A $3$-uniform loose cycle, denoted by $C_t$, is a $3$-graph on $t$ vertices whose vertices can be arranged cyclically so that each hyperedge consists of three consecutive vertices, and any two consecutive hyperedges share exactly one vertex. The length of $C_t$ is the number of its hyperedges. We prove that for any $η>0$, there exists an $n_0=n_0(η)$ such that for any $n\geq n_0$ the following holds. Let $\mathcal{C}$ be a $3$-graph consisting of vertex-disjoint loose cycles $C_{n_1}, C_{n_2}, \ldots, C_{n_r}$ such that $\sum_{i=1}^{r}n_i=n$. Let $k$ be the number of loose cycles with odd lengths in $\mathcal{C}$. If $\mathcal{H}$ is a $3$-graph on $n$ vertices with minimum codegree at least $(n+2k)/4+ηn$, then $\mathcal{H}$ contains $\mathcal{C}$ as a spanning subhypergraph. The degree condition is approximately tight. This generalizes the result of Kühn and Osthus for loose Hamilton cycle and the result of Mycroft for loose cycle factors in $3$-graphs. Our proof relies on the regularity lemma and a transversal blow-up lemma recently developed by the first author and Staden.
A Unified FPT Framework for Crossing Number Problems
The basic (and traditional) crossing number problem is to determine the minimum number of crossings in a topological drawing of an input graph in the plane. We develop a unified framework that smoothly captures many generalized crossing number problems, and that yields fixed-parameter tractable (FPT) algorithms for them not only in the plane but also on surfaces. Our framework takes the following form. We fix a surface S, an integer r, and a map \k{appa} from the set of topological drawings of graphs in S to Z+\cup{\infty}, satisfying some natural monotonicity conditions, but essentially describing the allowed drawings and how we want to count the crossings in them. Then deciding whether an input graph G has an allowed drawing D on S with \k{appa}(D)<=r can be done in time quadratic in the size of G (and exponential in other parameters). More generally, we may take as input an edge-colored graph, and distinguish crossings by the colors of the involved edges; and we may allow to perform a bounded number of edge removals and vertex splits to G before drawing it. The proof is a reduction to the embeddability of a graph on a two-dimensional simplicial complex. This framework implies, in a unified way, quadratic FPT algorithms for many topological crossing number variants established in the graph drawing community. Some of these variants already had previously published FPT algorithms, mostly relying on Courcelle's metatheorem, but for many of those, we obtain an algorithm with a better runtime. Moreover, our framework extends, at no cost, to these crossing number variants in any fixed surface.
A combinatorial approach to phase transitions in random graph isomorphism problems
We consider two independent Erdős-Rényi random graphs, with possibly different parameters, and study two isomorphism problems, a graph embedding problem and a common subgraph problem. Under certain conditions on the graph parameters we show a sharp asymptotic phase transition as the graph sizes tend to infinity. This extends known results for the case of uniform Erdős-Rényi random graphs. Our approach is primarily combinatorial, naturally leading to several related problems for further exploration.
Connected components and non-bipartiteness of generalized Paley graphs
In this work we consider the class of Cayley graphs known as generalized Paley graphs (GP-graphs for short) given by $Γ(k,q) = Cay(\mathbb{F}_q, \{x^k : x\in \mathbb{F}_q^* \})$, where $\mathbb{F}_q$ is a finite field with $q$ elements, both in the directed and undirected case. Hence $q=p^m$ with $p$ prime, $m\in \mathbb{N}$ and one can assume that $k\mid q-1$. We first give the connected components of an arbitrary GP-graph. We show that these components are smaller GP-graphs all isomorphic to each other (generalizing a Lim and Praeger's result from 2009 to the directed case). We then characterize those GP-graphs which are disjoint unions of odd cycles. Finally, we show that $Γ(k,q)$ is non-bipartite except for the graphs $Γ(2^m-1,2^m)$, $m \in \mathbb{N}$, which are isomorphic to $K_2 \sqcup \cdots \sqcup K_2$, the disjoint union of $2^{m-1}$ copies of $K_2$.
Symmetric Cayley graphs on non-abelian simple groups of valency 7
Let $Γ$ be a connected $7$-valent symmetric Cayley graph on a finite non-abelian simple group $G$. If $Γ$ is not normal, Li {\em et al.} [On 7-valent symmetric Cayley graphs of finite simple groups, J. Algebraic Combin. 56 (2022) 1097-1118] characterised the group pairs $(\mathrm{soc}(\mathrm{Aut}(Γ)/K),GK/K)$, where $K$ is a maximal intransitive normal subgroup of $\mathrm{Aut}(Γ)$. In this paper, we improve this result by proving that if $Γ$ is not normal, then $\mathrm{Aut}(Γ)$ contains an arc-transitive non-abelian simple normal subgroup $T$ such that $G<T$ and $(T,G)=(\mathrm{A}_{n},\mathrm{A}_{n-1})$ with $n=7$, $3\cdot 7$, $3^2\cdot 7$, $2^2\cdot 3\cdot 7$, $2^3\cdot3\cdot7$, $2^3\cdot3^2\cdot5\cdot7$, $2^4\cdot3^2\cdot5\cdot7$, $2^6\cdot3\cdot7$, $2^7\cdot3\cdot7$, $2^6\cdot3^2\cdot7$, $2^6\cdot3^4\cdot5^2\cdot7$, $2^8\cdot3^4\cdot5^2\cdot7$, $2^7\cdot3^4\cdot5^2\cdot7$, $2^{10}\cdot3^2\cdot7$, $2^{24}\cdot3^2\cdot7$. Furthermore, $\mathrm{soc}(\mathrm{Aut}(Γ)/R)=(T\times R)/R$, where $R$ is the largest solvable normal subgroup of $\mathrm{Aut}(Γ)$.
Creating Subgraphs in Semi-Random Hypergraph Games
The semi-random hypergraph process is a natural generalisation of the semi-random graph process, which can be thought of as a one player game. For fixed $r < s$, starting with an empty hypergraph on $n$ vertices, in each round a set of $r$ vertices $U$ is presented to the player independently and uniformly at random. The player then selects a set of $s-r$ vertices $V$ and adds the hyperedge $U \cup V$ to the $s$-uniform hypergraph. For a fixed (monotone) increasing graph property, the player's objective is to force the graph to satisfy this property with high probability in as few rounds as possible.
We focus on the case where the player's objective is to construct a subgraph isomorphic to an arbitrary, fixed hypergraph $H$. In the case $r=1$ the threshold for the number of rounds required was already known in terms of the degeneracy of $H$. In the case $2 \le r < s$, we give upper and lower bounds on this threshold for general $H$, and find further improved upper bounds for cliques in particular. We identify cases where the upper and lower bounds match. We also demonstrate that the lower bounds are not always tight by finding exact thresholds for various paths and cycles.
Solitaire of Independence
In this paper, we study a reversible process (more precisely, a groupoid/group action) resembling the classical 15-puzzle, where the legal moves are to ``move the unique hole inside a translate of a shape $S$''. Such a process can be defined for any finite subset $S$ of a group, and we refer to such a process as simply ``solitaire''. We develop a general theory of solitaire, and then concentrate on the simplest possible example, solitaire for the plane $\mathbb{Z}^2$, and $S$ the triangle shape (equivalently, any three-element set in general position). In this case, we give a polynomial time algorithm that puts any finite subset of the plane in normal form using solitaire moves, and show that the solitaire orbit of a line of consecutive ones -- the line orbit -- is completely characterised by the notion of a so-called fill matrix. We show that the diameter of the line orbit, as a graph with edges the solitaire moves, is cubic. We show that analogous results hold for the square shape, but indicate some shapes (still on the group $\mathbb{Z}^2$) where this is less immediate. We then explain in detail the connection of the solitaire to TEP and more generally permutive subshifts. Namely, the solitaire is a closure property of various sets of subsets of the group that can be associated to such a subshift, such as the independence, spanning and filling sets.
Toroidal embeddings of cubic projective plane obstructions
Work of Glover and Huneke shows that a cubic graph embeds into the real projective plane if and only if it does not contain one of six topological minors called cubic projective plane obstructions. Here we classify up to equivalence the embeddings of these graphs into the torus.
Reconfiguration graphs for vertex colorings of $P_5$-free graphs
For any positive integer $k$, the reconfiguration graph for all $k$-colorings of a graph $G$, denoted by $\mathcal{R}_k(G)$, is the graph where vertices represent the $k$-colorings of $G$, and two $k$-colorings are joined by an edge if they differ in color on exactly one vertex. Bonamy et al. established that for any $2$-chromatic $P_5$-free graph $G$, $\mathcal{R}_k(G)$ is connected for each $k\geq 3$. On the other hand, Feghali and Merkel proved the existence of a $7p$-chromatic $P_5$-free graph $G$ for every positive integer $p$, such that $\mathcal{R}_{8p}(G)$ is disconnected.
In this paper, we offer a detailed classification of the connectivity of $\mathcal{R} _k(G) $ concerning $t$-chromatic $P_5$-free graphs $G$ for cases $t=3$, and $t\geq4$ with $t+1\leq k \leq {t\choose2}$. We demonstrate that $\mathcal{R}_k(G)$ remains connected for each $3$-chromatic $P_5$-free graph $G$ and each $k \geq 4$. Furthermore, for each $t\geq4$ and $t+1 \leq k \leq {t\choose2}$, we provide a construction of a $t$-chromatic $P_5$-free graph $G$ with $\mathcal{R}_k(G)$ being disconnected. This resolves a question posed by Feghali and Merkel.
Automated conjecturing in mathematics with \emph{TxGraffiti}
\emph{TxGraffiti} is a data-driven, heuristic-based computer program developed to automate the process of generating conjectures across various mathematical domains. Since its creation in 2017, \emph{TxGraffiti} has contributed to numerous mathematical publications, particularly in graph theory. In this paper, we present the design and core principles of \emph{TxGraffiti}, including its roots in the original \emph{Graffiti} program, which pioneered the automation of mathematical conjecturing. We describe the data collection process, the generation of plausible conjectures, and methods such as the \emph{Dalmatian} heuristic for filtering out redundant or transitive conjectures. Additionally, we highlight its contributions to the mathematical literature and introduce a new web-based interface that allows users to explore conjectures interactively. While we focus on graph theory, the techniques demonstrated extend to other areas of mathematics.
Spectral extremal problems on outerplanar and planar graphs
Let $\emph{spex}_{\mathcal{OP}}(n,F)$ and $\emph{spex}_{\mathcal{P}}(n,F)$ be the maximum spectral radius over all $n$-vertex $F$-free outerplanar graphs and planar graphs, respectively. Define $tC_l$ as $t$ vertex-disjoint $l$-cycles, $B_{tl}$ as the graph obtained by sharing a common vertex among $t$ edge-disjoint $l$-cycles %$B_{tl}$ as the graph obtained by connecting all cycles in $tC_l$ at a single vertex, and $(t+1)K_{2}$ as the disjoint union of $t+1$ copies of $K_2$. In the 1990s, Cvetković and Rowlinson conjectured $K_1 \vee P_{n-1}$ maximizes spectral radius in outerplanar graphs on $n$ vertices, while Boots and Royle (independently, Cao and Vince) conjectured $K_2 \vee P_{n-2} $ does so in planar graphs. Tait and Tobin [J. Combin. Theory Ser. B, 2017] determined the fundamental structure as the key to confirming these two conjectures for sufficiently large $n.$ Recently, Fang et al. [J. Graph Theory, 2024] characterized the extremal graph with $\emph{spex}_{\mathcal{P}}(n,tC_l)$ in planar graphs by using this key. In this paper, we first focus on outerplanar graphs and adopt a similar approach to describe the key structure of the connected extremal graph with $\emph{spex}_{\mathcal{OP}}(n,F)$, where $F$ is contained in $K_1 \vee P_{n-1}$ but not in $K_{1} \vee ((t-1)K_2\cup(n-2t+1)K_1)$. Based on this structure, we determine $\emph{spex}_{\mathcal{OP}}(n,B_{tl})$ and $\emph{spex}_{\mathcal{OP}}(n,(t+1)K_{2})$ along with their unique extremal graphs for all $t\geq1$, $l\geq3$ and large $n$. Moreover, we further extend the results to planar graphs, characterizing the unique extremal graph with $\emph{spex}_{\mathcal{P}}(n,B_{tl})$ for all $t\geq3$, $l\geq3$ and large $n$.
Bivariate exponential integrals and edge-bicolored graphs
Published in Le Matematiche, 80 (1), 167-187 (2025)
• View Publication
• BIB
We show that specific exponential bivariate integrals serve as generating functions of labeled edge-bicolored graphs. Based on this, we prove an asymptotic formula for the number of regular edge-bicolored graphs with arbitrary weights assigned to different vertex structures. The asymptotic behavior is governed by the critical points of a polynomial. As an application, we discuss the Ising model on a random 4-regular graph and show how its phase transitions arise from our formula.
The embedding of line graphs associated to the annihilator graph of commutative rings
The annihilator graph $AG(R)$ of the commutative ring $R$ is an undirected graph with vertex set as the set of all non-zero zero divisors of $R$, and two distinct vertices $x$ and $y$ are adjacent if and only if $ann(xy) \neq ann(x) \cup ann(y)$. In this paper, we study the embedding of the line graph of $AG(R)$ into orientable or non-orientable surfaces. We completely characterize all the finite commutative rings such that the line graph of $AG(R)$ is of genus or crosscap at most two. We also obtain the inner vertex number of $L(AG(R))$. Finally, we classify all the finite rings such that the book thickness of $L(AG(R))$ is at most four.
The existence of $m$-Haar graphical representations
Extending the well-studied concept of graphical regular representations to bipartite graphs, a Haar graphical representation (HGR) of a group $G$ is a bipartite graph whose automorphism group is isomorphic to $G$ and acts semiregularly with the orbits giving the bipartition. The question of which groups admit an HGR was inspired by a closely related question of Estélyi and Pisanski in 2016, as well as Babai's work in 1980 on poset representations, and has been recently solved by Morris and Spiga. In this paper, we introduce the $m$-Haar graphical representation ($m$-HGR) as a natural generalization of HGR to $m$-partite graphs for $m\geq2$, and explore the existence of $m$-HGRs for any fixed group. This inquiry represents a more robust version of the existence problem of G$m$SRs as addressed by Du, Feng and Spiga in 2020. Our main result is a complete classification of finite groups $G$ without $m$-HGRs.
On the average squared radius of gyration of a family of embeddings of subdivision graphs
Suppose we have an embedding of a graph $\mathbf{G}$ created by subdividing the edges of a simpler graph $\mathbf{G'}$. The edges of $\mathbf{G}$ can be divided into subsets which join pairs of ``junction'' vertices in $\mathbf{G'}$. The displacement vectors of the edges in each subset sum to the displacement between junctions. We can construct a family of embeddings of $\mathbf{G}$ with the same junction positions by rearranging the displacements in each group. In this paper, we show that the average (squared) radius of gyration of these embeddings is given by a simple formula involving a weighted (squared) radius of gyration of the positions of the junctions and the sum of the squares of the lengths of the edges of $\mathbf{G}$ and $\mathbf{G'}$. This ensemble of graph embeddings arises naturally in polymer science.
The exact quantum chromatic number of Hadamard graphs
We compute the exact value of the quantum chromatic numbers of Hadamard graphs of order $n=2^N$ for $N$ a multiple of $4$ using the upper bound derived by Avis, Hasegawa, Kikuchi, and Sasaki, as well as an application of the Hoffman-like lower bound of Elphick and Wocjan that was generalized by Ganesan for quantum graphs. As opposed to prior computations for the lower bound, our approach uses Ito's results on conjugacy class graphs allowing us to also find bounds on the quantum chromatic numbers of products of Hadamard graphs. In particular, we also compute the exact quantum chromatic number of the categorical product of Hadamard graphs.
An $11/6$-Approximation Algorithm for Vertex Cover on String Graphs
We present a 1.8334-approximation algorithm for Vertex Cover on string graphs given with a representation, which takes polynomial time in the size of the representation; the exact approximation factor is $11/6$. Recently, the barrier of 2 was broken by Lokshtanov et al. [SoGC '24] with a 1.9999-approximation algorithm. Thus we increase by three orders of magnitude the distance of the approximation ratio to the trivial bound of 2. Our algorithm is very simple. The intricacies reside in its analysis, where we mainly establish that string graphs without odd cycles of length at most 11 are 8-colorable. Previously, Chudnovsky, Scott, and Seymour [JCTB '21] showed that string graphs without odd cycles of length at most 7 are 80-colorable, and string graphs without odd cycles of length at most 5 have bounded chromatic number.
Graph minors, Ehrhart theory, and a monotonicity property
We study the extended root polytope associated to a directed graph. We show that under the operations of deletion and contraction of an edge of the graph, none of the coefficients of the $h^*$-polynomial of the associated extended root polytope increase. We examine cases when the $h^*$-polynomial does not change, for instance when contracting the edges of a minimal directed join in a digraph whose lattice polytope has the Gorenstein property.
Algorithms and complexity for monitoring edge-geodetic sets in graphs
A monitoring edge-geodetic set of a graph is a subset $M$ of its vertices such that for every edge $e$ in the graph, deleting $e$ increases the distance between at least one pair of vertices in $M$. We study the following computational problem \textsc{MEG-set}: given a graph $G$ and an integer $k$, decide whether $G$ has a monitoring edge geodetic set of size at most $k$. We prove that the problem is NP-hard even for 2-apex 3-degenerate graphs, improving a result by Haslegrave (Discrete Applied Mathematics 2023). Additionally, we prove that the problem cannot be solved in subexponential-time, assuming the Exponential-Time Hypothesis, even for 3-degenerate graphs. Further, we prove that the optimization version of the problem is APX-hard, even for 4-degenerate graphs. Complementing these hardness results, we prove that the problem admits a polynomial-time algorithm for interval graphs, a fixed-parameter tractable algorithm for general graphs with clique-width plus diameter as the parameter, and a fixed-parameter tractable algorithm for chordal graphs with treewidth as the parameter. We also provide an approximation algorithm with factor $\ln m\cdot OPT$ and $\sqrt{n\ln m}$ for the optimization version of the problem, where $m$ is the number of edges, $n$ the number of vertices, and $OPT$ is the size of a minimum monitoring edge-geodetic set of the input graph.
Improved bound on the number of edges of diameter-$k$-critical graphs
A graph is diameter-$k$-critical if its diameter equals $k$ and the deletion of any edge increases its diameter. The Murty-Simon Conjecture states that for any diameter-2-critical graph $G$ of order $n$, $e(G) \leq \lfloor \frac{n^2}{4}\rfloor$, with equality if and only if $G \cong K_{\lfloor \frac{n}{2}\rfloor,\lceil \frac{n}{2}\rceil}$. Füredi (JGT,1992) proved that this conjecture is true for sufficiently large $n$. Over two decades later, Loh and Ma (JCT-B, 2016) proved that $e(G) \leq \frac{n^2}{6}+o(n^2)$ for diameter-3-critical graphs $G$, and
$e(G) \leq \frac{3n^2}{k}$ for diameter-$k$-critical graphs $G$ with $k \geq 4$. In this paper, we improve the bound for diameter-$k$-critical graphs to $ \frac{n^2}{2k}+o(n^2)$.