graph
34516 papers tagged with this keyword
Extension on spectral extrema of gem-free graph with given size
A graph $G$ is $F$-free if $G$ does not contain $F$ as a subgraph. Let $\mathcal{G}(m, F)$ denote the family of $F$-free graphs with $m$ edges and without isolated vertices. Let $S_{n,k}$ denote the graph obtained by joining every vertex of $K_{k}$ to $n-k$ isolated vertices and $S_{n,k}^{t}$ denote the graph obtained from $S_{n-t,k}$ by attaching $t$ pendant vertices to the maximal degree vertex of $S_{n-t,k}$, respectively. Denote by $H_{n}$ the fan graph obtain from $n-1$-vertex path plus a vertex adjacent to each vertex of the path. Particularly, the graph $H_{5}$ is also known as the gem. Zhang and Wang [Discrete Math. 347(2024)114171] and Yu, Li and Peng [arXiv: 2404. 03423] showed that every gem-free graph $G$ with $m$ edges satisfies $ρ(G)\leq ρ(S_{\frac{m+3}{2},2})$. In this paper, we show that if $G\in \mathcal{G}(m, H_{5})\setminus S_{\frac{m+3}{2},2}$ be a graph of odd size $m\geq23$, then $ρ(G)\leq ρ(S_{\frac{m+5}{2},2}^{2})$, and equality holds if and only if $G\cong S_{\frac{m+5}{2},2}^{2}$.
Long induced paths in $K_{s, s}$-free graphs
More than 40 years ago, Galvin, Rival and Sands showed that every $K_{s, s}$-free graph containing an $n$-vertex path must contain an induced path of length $f(n)$, where $f(n)\to \infty$ as $n\to \infty$. Recently, it was shown by Duron, Esperet and Raymond that one can take $f(n)=(\log \log n)^{1/5-o(1)}$. In this note, we give a short self-contained proof that a $K_{s, s}$-free graphs with an $n$-vertex path contains an induced path of length at least $(\log \log n)^{1-o(1)}$. Combined with the recent remarkable example of Couëtoux, Defrain, and Raymond, which provides an upper bound of $O((\log \log n)^{1+o(1)})$, this essentially resolves this old problem.
Balanced 1-Factorisations of 3- and 4-Regular Circulant Graphs
We investigate 1-factorisations in which the 2-regular graphs that occur as the union of a pair of 1-factors appear an equal number of times across the unions of all pairs of 1-factors in the 1-factorisation. We call such 1-factorisations balanced 1-factorisations (B1Fs) and we present some results on B1Fs of 3- and 4-regular circulant graphs.
Twin-free $K_r$-saturated Graphs and Maximally Independent Sets in $K_3$-free Graphs
We say that two vertices are twins if they have the same neighbourhood and that a graph is $K_r$-saturated if it does not contain $K_r$ but adding any new edge to it creates a $K_r$. In 1964, Erdős, Hajnal and Moon showed that $sat(n,K_r)=(r-2)n+o(n)$ for $r \geq 3$, where $sat(n,K_r)$ is the minimum number of edges in a $K_r$-saturated graph on $n$ vertices, and determined the unique extremal graph. This graph has many twins, leading us to define $tsat(n,K_r)$ to be the minimum number of edges in a twin-free $K_r$-saturated graph on $n$ vertices. We show that $(5 +2/3)n + o(n) \leq tsat(n,K_3) \leq 6n+o(n)$ and that $\left(r+2\right)n + o(n) \leq tsat(n,K_r) \leq (r+3)n+o(n)$ for $r \geq 4$. We also consider a variant of this problem where we additionally require the graphs to have large minimum degree. Both of these problems turn out be intimately related to two other problems regarding maximally independent sets of a given size in $K_3$-free graphs and generalisations of these problems to $K_r$ with $r \geq 4$. The first problem is to maximise the number of maximally independent sets given the number of vertices and the second problem is to minimise the number of edges given the number of maximally independent sets. They are interesting in their own right.
Bilevel Programming for Pebbling Numbers of Lemke Graph Products
Given a configuration of indistinguishable pebbles on the vertices of a graph, a pebbling move consists of removing two pebbles from one vertex and placing one pebble on an adjacent vertex. The pebbling number of a graph is the least integer such that any configuration with that many pebbles and any target vertex, some sequence of pebbling moves can place a pebble on the target. Graham's conjecture asserts that the pebbling number of the cartesian product of two graphs is at most the product of the two graphs' pebbling numbers. Products of so-called Lemke graphs are widely thought to be the most likely counterexamples to Graham's conjecture, provided one exists.
In this paper, we introduce a novel framework for computing pebbling numbers using bilevel optimization. We use this approach to algorithmically show that the pebbling numbers of all products of 8-vertex Lemke graphs are consistent with Graham's conjecture, with the added assumption that pebbles can only be placed on a set of at most four vertices.
Differential transcendence and walks on self-similar graphs
Published
• View Publication
• BIB
Symmetrically self-similar graphs are an important type of fractal graph. Their Green functions satisfy order one iterative functional equations. We show when the branching number of a generating cell is two, either the graph is a star consisting of finitely many one-sided lines meeting at an origin vertex, in which case the Green function is algebraic, or the Green function is differentially transcendental over $\mathbb{C}(z)$. The proof strategy relies on a recent work of Di Vizio, Fernandes and Mishna. The result adds evidence to a conjecture of Krön and Teufl about the spectrum of this family of graphs.
On the matching arrangement of a graph, improper weight function problem and its application
This article presents examples of an application of the finite field method for the computation of the characteristic polynomial of the matching arrangement of a graph. Weight functions on edges of a graph with weights from a finite field are divided into proper and improper functions in connection with proper colorings of vertices of the matching polytope of a graph. An improper weight function problem is introduced, a proof of its NP-completeness is presented, and a knapsack-like public key cryptosystem is constructed based on the improper weight function problem.
Paintbucket on graphs is PSPACE-complete
The game of Paintbucket was recently introduced by Amundsen and Erickson. It is played on a rectangular grid of black and white pixels. The players alternately fill in one of their opponent's connected components with their own color, until the entire board is just a single color. The player who makes the last move wins. It is not currently known whether there is a simple winning strategy for Paintbucket. In this paper, we consider a natural generalization of Paintbucket that is played on an arbitrary simple graph, and we show that the problem of determining the winner in a given position of this generalized game is PSPACE-complete.
Ramsey--Dirac theory for bounded degree hypertrees
Ramsey--Turán theory considers Turán type questions in Ramsey-context, asking for the existence of a small subgraph in a graph $G$ where the complement $\overline{G}$ lacks an appropriate subgraph $F$, such as a clique of linear size. Similarly, one can consider Dirac-type questions in Ramsey context, asking for the existence of a spanning subgraph $H$ in a graph $G$ where the complement $\overline{G}$ lacks an appropriate subgraph $F$, which we call a Ramsey--Dirac theory question.
When $H$ is a connected spanning subgraph, the disjoint union $K_{n/2}\cup K_{n/2}$ of two large cliques shows that it is natural to consider complete bipartite graphs $F$. Indeed, Han, Hu, Ping, Wang, Wang and Yang in 2024 proved that if $G$ is an $n$-vertex graph with $δ(G)=Ω(n)$ where the complement $\overline{G}$ does not contain any complete bipartite graph $K_{m,m}$ with $m=Ω(n)$, then $G$ contains every $n$-vertex bounded degree tree $T$ as a subgraph.
Extending this result to the Ramsey--Dirac theory for hypertrees, we prove that if $G$ is an $n$-vertex $r$-uniform hypergraph with $δ(G)=Ω(n^{r-1})$ where the complement $\overline{G}$ does not contain any complete $r$-partite hypergraph $K_{m,m,\dots, m}$ with $m=Ω(n)$, then $G$ contains every $n$-vertex bounded degree hypertree $T$ as a subgraph. We also prove the existence of matchings and loose Hamilton cycles in the same setting, which extends the result of Mcdiarmid and Yolov into hypergraphs.
This result generalizes the universality result on randomly perturbed graphs by Böttcher, Han, Kohayakawa, Montgomery, Parczyk and Person in 2019 into hypergraphs and also strengthen the results on quasirandom hypergraphs by Lenz, Mubayi and Mycroft in 2016 and Lenz and Mubayi in 2016 into hypergraphs satisfying a much weaker pseudorandomness condition.
A Faster Deterministic Algorithm for Mader's $\mathcal{S}$-Path Packing
Given an undirected graph $G = (V,E)$ with a set of terminals $T\subseteq V$ partitioned into a family $\mathcal{S}$ of disjoint blocks, find the maximum number of vertex-disjoint paths whose endpoints belong to two distinct blocks while no other internal vertex is a terminal. This problem is called Mader's $\mathcal{S}$-path packing. It has been of remarkable interest as a common generalization of the non-bipartite matching and vertex-disjoint $s\text{-}t$ paths problem.
This paper presents a new deterministic algorithm for this problem via known reduction to linear matroid parity. The algorithm utilizes the augmenting-path algorithm of Gabow and Stallmann (1986), while replacing costly matrix operations between augmentation steps with a faster algorithm that exploits the original $\mathcal{S}$-path packing instance. The proposed algorithm runs in $O(mnk)$ time, where $n = |V|$, $m = |E|$, and $k = |T|\le n$. This improves on the previous best bound $O(mn^ω)$ for deterministic algorithms, where $ω\ge2$ denotes the matrix multiplication exponent.
Linear Extensions of Rotor-Routing in Directed Graphs: Reachability Problems
We develop a unified framework for rotor-routing that extends the classical model to a broad class of multigraphs equipped with Generalized Rotor Mechanisms (GRM). This perspective places rotor-routing on the same footing as abelian sandpiles by interpreting both as conservative instances of Vector Addition Systems (VAS). Within this framework, routing becomes a linear transformation governed by arc mechanisms, while legality is enforced through non-negativity constraints.
We introduce four routing models -- free routing, standard rotor-routing, cyclic GRM routing, and fully general GRM routing -- and study their reachability problems in both the linear and legal settings. Our results generalize previous characterizations for standard rotor-routing and extend them to the GRM setting. In particular, we show that legal reachability in GRM multigraphs is NP-complete, whereas the cyclic GRM routing model, which includes the classical rotor-router, admits a polynomial-time algorithm.
Planar Turán number of two adjacent cycles
The planar Turán number of $H$, denoted by $ex_{\mathcal{P}}(n,H)$, is the maximum number of edges in an $n$-vertex $H$-free planar graph. The planar Turán number of $k(k\geq 3)$ vertex-disjoint union of cycles is the trivial value $3n-6$. We determine the planar Turán number of $C_{3}\text{-}C_{3}$ and $C_{3}\text{-}C_{4}$, where $C_{k}\text{-}C_{\ell}$ denotes the graph consisting of two disjoint cycles $C_k$ with an edge connecting them.
On induced cycles of Levi graphs associated to line arrangements
In this article, we investigate the existence of induced cycles in Levi graphs associated to line arrangements in $\mathbb{P}_{\mathbb{C}}^2$. We also look at the problem of finding the length of a longest induced cycle in Levi graphs associated to line arrangements.
Lower tails for triangles inside the critical window
We study the probability that the random graph $G(n,p)$ is triangle-free. When $p =o(n^{-1/2})$ or $p = ω(n^{-1/2})$ the asymptotics of the logarithm of this probability are known via Janson's inequality in the former case and via regularity or hypergraph container methods in the latter case. We prove for the first time an asymptotic formula for the logarithm of this probability when $p = c n^{-1/2}$ for $c$ a sufficiently small constant.
More generally, we study lower-tail large deviations for triangles in random graphs: the probability that $G(n,p)$ has at most $η$ times its expected number of triangles, when $p = c n^{-1/2}$ for $c$ and $η\in [0,1)$ constant. Our results apply for all $c$ if $η\ge .4993$ and for $c$ small enough otherwise.
For $η$ small (including the case of triangle-freeness), we prove that a phase transition occurs as $c$ varies, in the sense of a non-analyticity of the rate function, while for $η\ge .4993$ we prove that no phase transition occurs.
On the other hand for the random graph $G(n,m)$, with $m = b n^{3/2}$, we show that a phase transition occurs in the lower-tail problem for triangles as $b$ varies for \emph{every} $η\in [0,1)$.
Our method involves ingredients from algorithms and statistical physics including the cluster expansion and concentration inequalities for contractive Markov chains.
On the thresholds of degenerate hypergraphs
An $n$-vertex $k$-uniform hypergraph $G$ is $(d,α)$-degenerate if $m_1(G)\le{d}$ and there exists a constant $\varepsilon >0$ such that for every subset $U\subseteq{V(G)}$ with size $2\le|U|\le{\varepsilon n}$, we have $e\left(G[U]\right)\le{d\left(|U|-1\right)-α}$. These hypergraphs include many natural graph classes, such as the degenerate hypergraphs, the planar graphs, and the power of cycles. In this paper, we consider the threshold of the emergence of a $(d,α)$-degenerate hypergraph with bounded maximum degree in the Erdős-Rényi model. We show that its threshold is at most $n^{-1/d}$, improving previous results of Riordan and Kelly-Müyesser-Pokrovskiy.
Near rainbow Hamilton cycles in dense graphs
Finding near-rainbow Hamilton cycles in properly edge-coloured graphs was first studied by Andersen, who proved in 1989 that every proper edge colouring of the complete graph on $n$ vertices contains a Hamilton cycle with at least $n-\sqrt{2n}$ distinct colours. This result was improved to $n-O(\log^2 n)$ by Balogh and Molla in 2019.
In this paper, we consider Anderson's problem for general graphs with a given minimum degree. We prove every globally $n/8$-bounded (i.e. every colour is assigned to at most $n/8$ edges) properly edge-coloured graph $G$ with $δ(G) \geq (1/2+\varepsilon)n$ contains a Hamilton cycle with $n-o(n)$ distinct colours. Moreover, we show that the constant $1/8$ is best possible.
Spanning trees and continued fractions
We prove the exponential growth of the cardinality of the set of numbers of spanning trees in simple (and planar) graphs on $n$ vertices, answering a question of Sedláček from 1969. The proof uses a connection with continued fractions, ``thin orbits,'' and Zaremba's conjecture.
On decomposition thresholds for odd-length cycles and other tripartite graphs
An (edge) decomposition of a graph $G$ is a set of subgraphs of $G$ whose edge sets partition the edge set of $G$. Here we show, for each odd $\ell \geq 5$, that any graph $G$ of sufficiently large order $n$ with minimum degree at least $(\frac{1}{2}+\frac{1}{2\ell-4}+o(1))n$ has a decomposition into $\ell$-cycles if and only if $\ell$ divides $|E(G)|$ and each vertex of $G$ has even degree. This threshold cannot be improved beyond $\frac{1}{2}+\frac{1}{2\ell-2}$. It was previously shown that the thresholds approach $\frac{1}{2}$ as $\ell$ becomes large, but our thresholds do so significantly more rapidly. Our methods can be applied to tripartite graphs more generally and we also obtain some bounds for decomposition thresholds of other tripartite graphs.
Cubic bricks that every b-invariant edge is forcing
A connected graph G is matching covered if every edge lies in some perfect matching of G. Lovasz proved that every matching covered graph G can be uniquely decomposed into a list of bricks (nonbipartite) and braces (bipartite) up to multiple edges. Denote by b(G) the number of bricks of G. An edge e of G is removable if G-e is also matching covered, and solitary (or forcing) if after the removal of the two end vertices of e, the left graph has a unique perfect matching. Furthermore, a removable edge e of a brick G is b-invariant if b(G-e) = 1.
Lucchesi and Murty proposed a problem of characterizing bricks, distinct from K4, the prism and the Petersen graph, in which every b-invariant edge is forcing. We answer the problem for cubic bricks by showing that there are exactly ten cubic bricks, including K4, the prism and the Petersen graph, every b-invariant edge of which is forcing.
On Hamilton paths in vertex-transitive graphs of order $10p$
It was shown by Kutnar, Maru\v si\v c and Zhang in 2012 that every connected vertex-transitive graph of order $10p$, where $p$ is a prime and $p\ne 7$, contains a Hamilton path, except for graphs $X$ arising from the action of PSL$(2, s^m)$ on cosets of $\mathbb{Z}_s^m\rtimes \mathbb{Z}_{\frac{s^m-1}{10}}$, where $s$ is a prime. In this paper, Hamilton cycles of these exceptions $X$ will be found.