graph
34516 papers tagged with this keyword
Counting sparse induced subgraphs in locally dense graphs
An $n$-vertex graph $G$ is locally dense if every induced subgraph of size larger than $ζn$ has density at least $d > 0$, for some parameters $ζ, d > 0$. We show that the number of induced subgraphs of $G$ with $m$ vertices and maximum degree significantly smaller than $dm$ is roughly $\binom{ζn}{m}$, for $m \ll ζn$ which is not too small. This generalises a result of Kohayakawa, Lee, Rödl, and Samotij on the number of independent sets in locally dense graphs. As an application, we slightly improve a result of Balogh, Chen, and Luo on the generalised Erdős-Rogers function for graphs with small extremal number.
Slitherlink on Triangular Grids
Let $G$ be a plane graph and let $C$ be a cycle in $G$. For each finite face of $G$, count the number of edges of $C$ the face contains. We call this the Slitherlink signature of $C$. The symmetric difference $A$ of two cycles with the same signature is totally even, meaning every vertex is incident to an even number of edges in $A$ and every face contains an even number of edges in $A$. In this paper, we completely characterize totally even subsets in the triangular grid, and count the number of edges in any totally even subset of the triangular grid. We also show that the size of the symmetric difference of two cycles with the same signature in the triangular grid is divisible by $12$; this is best possible since 12 is the greatest common divisor of all the sizes of the symmetric difference between two cycles with the same signature in a triangular grid.
Reinforcement Learning the Chromatic Symmetric Function
We propose a conjectural counting formula for the coefficients of the chromatic symmetric function of unit interval graphs using reinforcement learning. The formula counts specific disjoint cycle-tuples in the graphs, referred to as Eschers, which satisfy certain concatenation conditions. These conditions are identified by a reinforcement learning model and are independent of the particular unit interval graph, resulting a universal counting expression.
Limits of sparse hypergraphs
We generalize ultraproducts and local-global limits of graphs to hypergraphs and other structures. We show that the local statistics of an ultraproduct of a sequence of hypergraphs are the ultralimits of the local statistics of the hypergraphs. Using some standard results from model theory, we conclude that the space of (equivalence classes of) pmp hypergraphs with the topology of local-global convergence is compact, and that any countable set of local statistics for a pmp hypergraph can be realized as the statistics of a set of labellings (rather than just approximated) in a local-global equivalent hypergraph.
We give two applications. First, we characterize those structures where any solution to the corresponding CSP can be turned into a measurable solution. These turn out to be the width-1 structures. We can also use the limit machinery to extract from this theorem a purely finitary characterizations of width-1 structures involving asymptotic solutions.
Second, we prove two measurable versions of the Frankl--Rödl matching theorem using measurable nibble and differential equation arguments. The measurable proofs are much softer than the purely finitary results. And, we can recover the finitary theorems using the limit machinery.
Faber-Krahn type inequality for supertrees
The Faber-Krahn inequality states that the first Dirichlet eigenvalue among all bounded domains is no less than a Euclidean ball with the same volume in $\mathbb{R}^n$ \cite{Chavel FB}. Bıyıkoğlu and Leydold (J. Comb. Theory, Ser. B., 2007) demonstrated that the Faber-Krahn inequality also holds for the class of trees with boundary with the same degree sequence and characterized the unique extremal tree. Bıyıkoğlu and Leydold (2007) also posed a question as follows: Give a characterization of all graphs in a given class $\mathcal{C}$ with the Faber-Krahn property. In this paper, we address this question specifically for $k$-uniform supertrees with boundary. We introduce a spiral-like ordering (SLO-ordering) of vertices for supertrees, an extension of the SLO-ordering for trees initially proposed by Pruss [ Duke Math. J., 1998], and prove that the SLO-supertree has the Faber-Krahn property among all supertrees with a given degree sequence. Furthermore, among degree sequences that have a minimum degree $d$ for interior vertices, the SLO-supertree with degree sequence $(d,\ldots,d, d', 1, \dots, 1)$ possesses the Faber-Krahn property.
On local antimagic chromatic number of the join of two special families of graphs -- II
It is known that null graphs and 1-regular graphs are the only regular graphs without local antimagic chromatic number. In this paper, we proved that the join of 1-regular graph and a null graph has local antimagic chromatic number is 3. Consequently, we also obtained many families of (possibly disconnected or regular) bipartite and tripartite graph with local antimagic chromatic number 3.
$k$-Hyperopic Cops and Robber
A generalization of hyperopic cops and robber, analogous to the $k$-visibility cops and robber, is introduced in this paper. For a positive integer $k$ the $k$-hyperopic game of cops and robber is defined similarly as the usual cops and robber game, but with the robber being omniscient and invisible to the cops that are at distance at most $k$ away from the robber. The cops win the game if, after a finite number of rounds, a cop occupies the same vertex as robber. Otherwise, robber wins. The minimum number of cops needed to win the game on a graph $G$ is the $k$-hyperopic cop number $c_{H,k}(G)$ of $G$.
In addition to basic properties of the new invariant, cop-win graphs are characterized and a general upper bound in terms of the matching number of the graph is given. The invariant is also studied on trees where the upper bounds mostly depend on the relation between $k$ and the diameter of the tree. It is also proven that the 2-hyperopic cop number of outerplanar graphs is at most 2 and an upper bound in terms of the number of vertices of the graph is presented for $k \geq 3$.
The minimum number of maximal independent sets in graphs with given order and independence number
Let $MIS(G)$ be the set of all maximal independent sets in a graph $G$, and let $mis(G)=|MIS(G)|$. In this paper, we show that for any tree $T$ with $n$ vertices and independence number $α$,
\[mis(T)\geq f(n-α),\]
and for any unicyclic graph $G$ with $n$ vertices and independence number $α$,
\begin{align*}
mis(G)\geq
\begin{cases}
2, & \text{if} \ n=4\ \text{and}\ α=2,
3, & \text{if} \; α=n-2 \; \text{and} \; n\neq4,
2f(n-α), & \text{if} \; n\geq 5\; \text{and}\; \lceil \frac{n}{2} \rceil \leq α< n-2,
f(n-α+2)-f(n-α-3), &\text{if} \; n\geq 5, \;\text{and}\ n \; \text{is odd}, \; \text{and} \; α= \lfloor \frac{n}{2} \rfloor,
\end{cases}
\end{align*}
where $f(n)$ represent the $n$th Fibonacci number. Moreover, we also show that the above inequalities are sharp.
Density of quotient orders in groups and applications to locally-transitive graphs
We prove that the set of orders of finite quotients of a finitely generated group has natural density 0, 1/2 or 1, and characterise when each of these cases occurs. We apply this to show that the sets of orders of various families of symmetric graphs have natural density 0.
On the lumpability of tree-valued Markov chains
Phylogenetic trees constitute an interesting class of objects for stochastic processes due to the non-standard nature of the space they inhabit. In particular, many statistical applications require the construction of Markov processes on the space of trees, whose cardinality grows superexponentially with the number of leaves considered. We investigate whether certain lower-dimensional projections of tree space preserve the Markov property in tree-valued Markov processes. We study exact lumpability of tree shapes and $\varepsilon$-lumpability of clades, exploiting the combinatorial structure of the SPR graph to obtain bounds on the lumping error under the random walk and Metropolis-Hastings processes. Finally, we show how to use these results in empirical investigation, leveraging exact and $\varepsilon$-lumpability to improve Monte Carlo estimation of tree-related quantities.
Treewidth versus clique number: induced minors
We prove that a hereditary class of graphs is $(\mathsf{tw}, ω)$-bounded if and only if the induced minors of the graphs from the class form a $(\mathsf{tw}, ω)$-bounded class.
Locally seeded embeddings, and Ramsey numbers of bipartite graphs with sublinear bandwidth
A seminal result of Lee asserts that the Ramsey number of any bipartite $d$-degenerate graph $H$ satisfies $\log r(H) = \log n + O(d)$. In particular, this bound applies to every bipartite graph of maximal degree $Δ$. It remains a compelling challenge to identify conditions that guarantee that an $n$-vertex graph $H$ has Ramsey number linear in $n$, independently of $Δ$. Our contribution is a characterization of bipartite graphs with linear-size Ramsey numbers in terms of graph bandwidth, a notion of local connectivity. We prove that for any $n$-vertex bipartite graph $H$ with maximal degree at most $Δ$ and bandwidth $b(H)$ at most $\exp(-CΔ\logΔ)\,n$, we have $\log r(H) = \log n + O(1)$. This characterization is nearly optimal: for every $Δ$ there exists an $n$-vertex bipartite graph $H$ of degree at most $Δ$ and $b(H) \leq \exp(-cΔ)\,n$, such that $\log r(H) = \log n + Ω(Δ)$. We also provide bounds interpolating between these two bandwidth regimes.
The diameter of random spanning trees interpolating between the UST and the MST of the complete graph
We introduce $\mathsf{WST}^{β_n}(K_n)$ as the weighted spanning tree of the complete graph $K_n$ w.r.t. the random electric network of conductances $\{\exp(-β_nU_{e})\}_{e\in E(K_n)}$ with $\mathrm{Unif}[0,1]$ i.i.d. $U_e$'s.
Moving from $β_n\equiv 0$ to faster and faster growing $β_n$'s, the model interpolates between the \emph{uniform} and the \emph{minimum} spanning trees: $\mathsf{WST}^0(K_n)=\mathsf{UST}(K_n)$, and there are phase transitions for $\mathsf{WST}^{β_n}(K_n)$ behaving more and more like $\mathsf{MST}(K_n)$:
- around $β_n=n^{3+o(1)}$ regarding the agreement of the two standard algorithms generating these models : Aldous-Broder and Prim's invasion algorithms,
- around $β_n=n^{2+o(1)}$ regarding the models consisting of exactly the same edges, and
- around $β_n=n^{1+o(1)}$ regarding the expected total length $\mathbb{E}\left[\sum_{e\in \mathsf{WST}^{β_n}(K_n)}U_e\right]$.
But most importantly, we study the global geometry of the model: we prove that the typical diameter of $\mathsf{WST}^{β_n}(K_n)$ grows like $Θ(n^{1/3})$ for $β_n\ge n^{4/3+o(1)}$ likewise the $\mathsf{MST}(K_n)$ case, and it grows like $Θ(n^{1/2})$ for $β_n\le n^{1+o(1)}$ similarly to the $\mathsf{UST}(K_n)$ case. For $β_n=n^α$ with $1<α<4/3$, the behavior of the typical diameter is a more delicate open question, but we conjecture that its exponent strictly between 1/2 and 1/3.
Every $3$-connected $\{K_{1,3},Γ_3\}$-free graph is Hamilton-connected
We show that every $3$-connected $\{K_{1,3},Γ_3\}$-free graph is Hamilton-connected, where $Γ_3$ is the graph obtained by joining two vertex-disjoint triangles with a path of length $3$. This resolves one of the two last open cases in the characterization of pairs of connected forbidden subgraphs implying Hamilton-connectedness. The proof is based on a new closure technique, developed in a previous paper, and on a structural analysis of small subgraphs, cycles and paths in line graphs of multigraphs. The most technical steps of the analysis are computer-assisted.
Keywords: Hamilton-connected; closure; forbidden subgraph; claw-free; $Γ_3$-free
On a conjecture of Nikiforov concerning the minimal $p$-energy of connected graphs
For a given simple graph \( G \), the \( p \)-energy of \( G \), denoted by \( \mathcal{E}_p(G) \), is defined as the sum of the \( p \)-th power of the absolute values of the eigenvalues of its adjacency matrix. Let \( S_n \) denote the star graph with one internal node and \( n-1 \) leaves. Nikiforov conjectured that for \( 1 < p < 2 \), the connected graph of order \( n \) with the smallest \( p \)-energy is \( S_n \). Recently, this conjecture was proved for bipartite graphs. In this paper, by employing a Coulson-Jacobs-type formula and certain spectral radius results for connected graphs, we completely resolve this conjecture. Furthermore, we establish that the equality condition in the inequality \( \mathcal{E}_p(G) \geq \mathcal{E}_p(S_n) \) holds if and only if \( G \) is \( S_n \).
Caterpillars with given degree sequence, small Energy and small Hosoya index
The energy $En(G)$ of a graph $G$ is defined as the sum of the absolute values of its eigenvalues. The Hosoya index $Z(G)$ of a graph $G$ is the number of independent edge subsets of $G$, including the empty set. For any given degree sequence $D$, we characterize the caterpillar $\mathcal{S}(D)$ that has the minimum $Z$ and $En$. %and maximum $σ$. In $\mathcal{S}(D)$, as we move along the internal path towards the center, large and small degrees alternate. We also compare $\mathcal{S}(D)$ with $\mathcal{S}(Y)$, for a degree sequence $Y$ majorized by a degree sequence $D$. Suppose $Y=(y_1,\dots ,y_n)$ and $D=(d_1,\dots ,d_n)$ are degree sequences such that $Y$ is majorized by $D$ and$$\sum_{i=1}^{n}y_i=\sum_{i=1}^{n}d_i,$$then $Z(\mathcal{S}(D))<Z(\mathcal{S}(Y))$ and $En(\mathcal{S}(D))<En(\mathcal{S}(Y))$.
Random spanning trees in random environment
We introduce a new spanning tree model called the random spanning tree in random environment (RSTRE), which interpolates between the uniform spanning tree and the minimum spanning tree as the inverse temperature (disorder strength) $β$ varies. On the complete graph with $n$ vertices and i.i.d.\ uniform disorder variables on the edges, we identify: (1) a low disorder regime with $β\leq C n/\log n$, where the diameter of the random spanning tree is typically of order $n^{1/2}$, the same as for the uniform spanning tree; (2) a high disorder regime with $β\geq n^{4/3} \log n$, where the diameter is typically of order $n^{1/3}$, the same as for the minimum spanning tree. We conjecture that for $β=n^α$ with $α\in (1, 4/3)$, the diameter is of order $n^{γ+o(1)}$ for some $γ=γ(α)$ strictly between $1/2$ and $1/3$.
Local limits of random spanning trees in random environment
We study the edge overlap and local limit of the random spanning tree in random environment (RSTRE) on the complete graph with $n$ vertices and weights given by $\exp(-βω_e)$ for $ω_e$ uniformly distributed on $[0,1]$. We show that for $β$ growing with $β= o(n/\log n)$, the edge overlap is $(1+o(1)) β$, while for $β$ much larger than $n \log^2 n$, the edge overlap is $(1-o(1))n$. Furthermore, there is a transition of the local limit around $β= n$. When $β= o(n/ \log n)$ the RSTRE locally converges to the same limit as the uniform spanning tree, whereas for $β$ larger than $n \log^λn$, where $λ= λ(n) \rightarrow \infty$ arbitrarily slowly, the local limit of the RSTRE is the same as that of the minimum spanning tree.
Discrepancies of spanning trees in dense graphs
We address several related problems on combinatorial discrepancy of trees in a setting introduced by Erdős, Füredi, Loebl and Sós. Given a fixed tree $T$ on $n$ vertices and an edge-colouring of the complete graph $K_n$, for every colour, we find a copy of $T$ in $K_n$ where the number of edges in that colour significantly exceeds its expected count in a uniformly random embedding. This resolves a problem posed by Erdős, Füredi, Loebl and Sós by generalising their work from two to many colours. Furthermore, if $T$ has maximum degree $Δ\leqεn$ for sufficiently small $ε> 0$ and the edge-colouring of $K_n$ is both balanced and ``not too close'' to one particular instance, we show that, for every colour, there is a copy of $T$ in $K_n$ where that colour appears on linearly more edges than any other colour. Several related examples are provided to demonstrate the necessity of the introduced structural restrictions. Our proofs combine saturation arguments for the existence of particular coloured substructures and analysis of conveniently defined local exchanges.
Using similar methods, we investigate the existence of copies of a graph $H$ with prescribed number of edges in each colour in $2$-edge-coloured dense host graphs. In particular, for a graph $H$ with bounded maximum degree and balanced $2$-edge-colourings $\mathbf{c}$ of a host graph $G$ with minimum degree at least $(1-ε)n$ for some $ε> 0$, we show that, for any sufficiently large $n$ and sufficiently small $ε$, there exists a copy of $H$ where the number of edges in the two colours differ by at most $2$. Moreover, we completely characterise the pairs $(H,\mathbf{c})$ for which the difference of $2$ cannot be improved, refuting a conjecture by Mohr, Pardey, and Rautenbach.
Upper bounds for multicolour Ramsey numbers
The $r$-colour Ramsey number $R_r(k)$ is the minimum $n \in \mathbb{N}$ such that every $r$-colouring of the edges of the complete graph $K_n$ on $n$ vertices contains a monochromatic copy of $K_k$. We prove, for each fixed $r \geqslant 2$, that $$R_r(k) \leqslant e^{-δk} r^{rk}$$ for some constant $δ= δ(r) > 0$ and all sufficiently large $k \in \mathbb{N}$. For each $r \geqslant 3$, this is the first exponential improvement over the upper bound of Erdős and Szekeres from 1935. In the case $r = 2$, it gives a different (and significantly shorter) proof of a recent result of Campos, Griffiths, Morris and Sahasrabudhe.