graph
35150 papers tagged with this keyword
Token-sliding realizability for complements, Cartesian-products, and grid graph families
For an integer $k\ge 0$ and a graph $G$, the \emph{token-sliding reconfiguration graph $\mathsf{TS}_k(G)$} has the independent $k$-sets of $G$ as vertices. Two vertices are adjacent if one token can slide along an edge of $G$ and the resulting $k$-set is still independent. We study the following realizability problem: for fixed $k\ge 2$, which graphs are isomorphic to $\mathsf{TS}_k(G)$ for some graph $G$? This inverse viewpoint asks which abstract state spaces can occur exactly under a local token rule. We give positive realizability results for the complement targets $\overline{K_n}$, $\overline{K_{m,n}}$, and $\overline{K_n-e}$, and we determine sharp cutoffs for complements of paths and cycles. We also prove a product formula for token-sliding graphs of disjoint unions and apply it to Cartesian products of complete graphs, paths, and cycles. For every grid $Γ_{m,n}=P_m\square P_n$ with $2\le m\le n$, we realize $Γ_{m,n}$ at token value $m+n-2$ and at every token value $k\ge 4$. At small token values, we prove that $C_4\square C_n$ is not a $\mathsf{TS}_2$-graph for $n\ge 4$, classify ladders $Γ_{2,n}$, and settle the first non-ladder grid: for $k\ge 2$, $Γ_{3,3}$ is realizable if and only if $k\ge 4$.
A Graph-Based Method for Invariant Densities of Multidimensional Continued Fractions
We propose a novel method for computing invariant densities of certain multidimensional continued fraction algorithms. Inspired by Rauzy induction, our approach builds on the formalism of simplicial systems developed by Fougeron. We introduce a win-lose induction on a graph that is conjugate to the original algorithm, and construct its natural extension by introducing the notion of a dual graph. This method explicitly reconstructs the complete dynamics of the algorithm, yielding a partition of the invariant domain of the natural extension into pieces that map to one another. We further study the ergodic properties of the algorithms within this framework; in particular, we prove that the Modified Triangle algorithm in any dimension admits a unique ergodic measure equivalent to the Lebesgue measure.
Cayley graphs of quasirandom groups
A finite group $G$ is $\varepsilon$-quasirandom if all its nontrivial irreducible complex representations have degree at least $|G|^\varepsilon$. Building on recent work of Golsefidy-Srinivas, we prove that expansion in a quasirandom group is controlled by expansion in its simple quotients. As a consequence, we remove the product theorem from the hypotheses of the Bourgain-Gamburd expansion machine. Moreover, we combine this result with crown theory to deduce that $1 + \lfloor \varepsilon^{-1} \rfloor$ random elements give an expander Cayley graph with high probability. Finally, generalizing results of Breuillard-Green-Tao and Pyber-Szabó, we prove that the diameter of any connected Cayley graph of a quasirandom group is polylogarithmic.
$K_{2, t+1}$-free graphs containing an optimal number of $K_{t, t}$'s
The generalized Turán number $ex(n, K_{t, t}, K_{2, t+1})$ is the maximum number of copies of $K_{t, t}$ that a $K_{2, t+1}$-free graph on $n$ vertices can contain. Recently, Pohoata, Tidor, and Yu established that $ex(n, K_{t, t}, K_{2, t+1}) = Θ_t(n^2)$ for all integers $t \geq 3$. In this short note, we use an explicit construction to establish that when $t$ is a prime power and $n = t^{2e - 1}$, then $$ ex(n, K_{t, t}, K_{2, t+1}) = (1 + o(1))\frac{n^2}{2t(t-1)}. $$
Geometric Routing in Geometric Inhomogeneous Random Graphs
We present the first rigorous analysis of decentralized geometric routing in Geometric Inhomogeneous Random Graphs (GIRGs), a weight-agnostic variant of the greedy routing protocol. While greedy routing in GIRGs is known to explain the algorithmic small-world phenomenon by finding ultra-short paths of length $Θ(\log \log n)$, it assumes additional knowledge of vertex weights beyond geometry, an assumption that is often restrictive or unavailable. We investigate whether the underlying geometry alone is sufficient for efficient navigation. We prove that for power-law weight exponent $τ\in (2,3)$ and geometric decay parameter $α> τ- 1$, geometric routing succeeds with constant probability and finds ultra-short paths of length $Θ(\log \log n)$, matching the optimal asymptotic guarantees for greedy routing. Our analysis further reveals that, upon success, both protocols follow a similar two-phase trajectory, consisting of a rapid ascent to the heavy vertices, followed by efficient navigation to the target. These results demonstrate that, in the appropriate regime, the network's geometry alone implicitly guides the path to the target through its high-weight core.
A Sparse Transference Principle for a Non-Monotone Ramsey Property
We prove a sparse transference theorem for induced Ramsey graphs. The theorem transfers the weighted random-host proof of Aragão, Campos, Dahia, Filipe, and Marciano to the sparse random setting. It follows that, for every fixed graph $H$ with no isolated vertices and at least two edges, and every $η>0$, there is $C>0$ such that, whenever $N\ge r^{Cr}$ and $N^{-1/m_2(H)+η}\le p\le \frac12$, with high probability every $r$-colouring of the edges of $G(N,p)$ contains a monochromatic induced copy of $H$. Here, $m_2(H)$ denotes the usual maximum 2-density of $H$.
Connectivities for k-knitted graphs and for minimal counterexamples to Hadwiger's Conjecture
For a given subset $S\subseteq V(G)$ of a graph $G$, the pair $(G,S)$ is \emph{knitted} if for every partition of $S$ into non-empty subsets $S_1, S_2, \ldots, S_t$, there exist pairwise disjoint connected subgraphs $C_1, C_2, \ldots, C_t$ in $G$ such that $S_i\subseteq V(C_i)$ for all $1 \le i \le t$. A graph $G$ is \emph{$\ell$-knitted} if $(G,S)$ is knitted for every subset $S\subseteq V(G)$ of size $\ell$. In this paper, we prove that every $8\ell$-connected graph is $\ell$-knitted. We subsequently apply this result to Hadwiger's Conjecture, which states that every $k$-chromatic graph contains a $K_k$-minor. Specifically, we demonstrate that the vertex connectivity of any minimal counterexample to Hadwiger's Conjecture is at least $\lceil k/8 \rceil$, improving upon the previous lower bound of $\lceil 2k/27 \rceil$ established by Kawarabayashi (2007). Our proof corrects a gap in the argument of Kawarabayashi-Yu~(2013) and establishes the claim stated without proof in Liu--Rolek--Yu~(2019).
The geometry of the giant component of random geometric graphs
Consider a random geometric graph $G_M(n;r)$ whose vertex set consists of $n$ points chosen independently and uniformly from a Riemannian manifold $M$, with edges joining pairs of vertices whose distance in the metric $d_M$ is at most $r$. Let $Δ$ denote the expected average degree of the graph. As is the case for Erdős-Rényi graphs, there is a critical value $Δ_c$, depending only on the dimension of $M$, such that if $Δ> Δ_c$ then $G_M(n;r)$ has a giant component. We show that whenever $Δ> Δ_c$, the giant component of $G_M(n;r)$, equipped with the graph distance, converges to the underlying manifold $M$ in the Gromov-Hausdorff distance after rescaling by an appropriate deterministic factor. Our result holds for $Δ$ depending on $n$ as well, provided $Δ= o(n)$ and $Δ\geq Δ_c + \varepsilon$ for any fixed $\varepsilon > 0$. As a consequence, we show that for any pair of non-isometric compact Riemannian manifolds $M_1$ and $M_2$, there is a polynomial-time algorithm that distinguishes random geometric graphs on $M_1$ and $M_2$ throughout this regime of $Δ.$ In the thermodynamic regime -- i.e.\ when $Δ$ is constant -- our results appear to be new even in the classical cases where $M$ is a sphere or a torus. Our proof makes use of techniques from first-passage percolation which allow us to understand the long-range behavior of the graph distance on small, approximately Euclidean patches of $M$, together with global arguments that glue these local estimates into a global description.
Submodular flows and extreme flows on measurable spaces
The theory of submodular flows, introduced by Edmonds and Giles, is a cornerstone of combinatorial optimization, unifying network flows, matroid intersections and directed cut coverings. In this paper, we establish a measurable-space version of this framework, addressing the structural existence and duality questions raised as part of Problem~10.6 by Lovász in \textit{Submodular setfunctions on sigma-algebras, version 2}.
We develop a theory of submodular flows on standard Borel spaces and establish the measurable analogues of the existence and optimality theorems. Furthermore, we introduce a measurable notion of the residual graph and characterize extreme flows by combining a base-polytope intersection condition with an acyclicity condition for the measurable residual graph, generalizing the discrete geometric intuition to the infinite-dimensional setting. Finally, we apply the theory to constrained supply-demand problems on measurable bipartite graphs and to fractional measurable orientations.
Coxeter Condorcet domains
Condorcet domains are subsets of permutations that ensure pairwise majority voting yields acyclic outcomes, and they form an active area of research at the intersection of social choice theory and combinatorics. In this paper, we extend the theory of Condorcet domains to the broader setting of arbitrary finite Coxeter groups. The core contribution of our approach is the introduction of Condorcet root posets, defined on the chosen root systems. Notably, we establish a natural bijection between closed Condorcet domains and Condorcet root posets, which facilitates the study of Condorcet domains. Using this correspondence, we extend the median graph representation of closed Condorcet domains to arbitrary finite Coxeter groups, demonstrating that these domains can be characterized by the skeletons of their associated Condorcet root posets. These results are novel even in type $A$. Furthermore, these posets give a unified language that efficiently captures a wide range of desirable properties of Condorcet domains, such as being maximal, connected, peak-pit, and of tiling type. Using this framework, we strengthen and generalize several classical results: we establish that a maximal Condorcet domain is connected if and only if it is peak-pit; we prove that the tiling-type property is equivalent to the combination of being maximal and connected, and having maximal width; and we show that strictly positive voting profiles on connected Condorcet domains yield outcomes with only simple ties.
A note on the Ratio and Inertia Bounds for the $k$-Independence Number
The $k$-th power $G^k$ of a graph $G$ is the graph on the same vertex set where the edge set consists of those pairs of distinct vertices of $G$ that are at distance at most $k$ from each other. A. Abiad, G. Coutinho, and M. A. Fiol [On the $k$-independence number of graphs, Discrete Mathematics 342 (2019), 2875--2885] proposed extensions of the classical ratio (for regular graphs) and inertia bounds to the independence number of $G^k$ for $k\ge 2$.
Continuing a line of work comparing these two parameters with other known bounds, we show that the $\vartheta$-function of L. Lovász and the weighted inertia bound of A. R. Calderbank and P. Frankl, when applied directly to $G^k$, perform at least as well as the ratio and inertia bounds of Abiad-Coutinho-Fiol, respectively. In particular, $\vartheta(G^k)$ provides a polynomial-time computable upper bound on the independence number of $G^k$ that is at least as strong as the ratio bound when the latter applies (i.e.,\ when the graph $G$ is regular).
On the product of cross-intersecting families with small covering number
A central problem in extremal set theory is to determine or estimate $m(n,k,t),n>2k\geq 2t$, the maximum size of an intersecting $k$-graph and covering number at least $t$(see the paper for the definitions). For $t=1$ and $2$ the classical Erdős-Ko-Rado Theorem and the Hilton-Milner Theorem provide the answer.The complete solution for $t=3$ was only achieved recently . There are some partial results for $t=4,5$ but for the general case even to determine the asymptotic appears to be hopelessly difficult .
Denoting by $\widetilde{m}(n,k,t)$ the maximum of $|\mathcal{F}||\mathcal{G}|$ for a pair of cross-intersecting $k$-graphs with covering number at least $t$, $\widetilde{m}(n,k,t)\geq {m}(n,k,t)^2$ is obvious. Pyber showed that equality holds for $t=1$. The same was shown for $t=2$ in a wide range(cf.[7]).
Quite surprisingly our results show that the inequality is strict for $t\geq 3$ and for $n>n_0(k,t)$, Theorem 1.7 determines the exact value of $\widetilde{m}(n,k,t)$ for $k>2t$ and $n$ sufficiently large.
On the product of cross-intersecting families with maximal covering number
For integers $k ,\ell \geq 2$ let $m(k,\ell)$ denote the maximum of $|\mathcal{F}| |\mathcal{G}|$ where the maximum is taken over all pairs of cross-intersecting families, $\mathcal{F}$ being a $k$-graph with covering number $\ell$ and $\mathcal{G}$ a $\ell$-graph with covering number $k$ (see the paper for the definitions). Erdos and Lovasz initiated the study of the one family version. That is, they provided lower and upper bounds on the maximal size $m(k)=|\mathcal{F}|$ where $\mathcal{F}$ is an intersecting k-graph with covering number $k$. In many similar situations $m(k,k)=m(k)^2$ holds. However, as our results show $m(k,k)/m(k)^2$ is tending to infinity as $k$ grows(Th.1.5) . For $k>k_0$ we establish the exact value $m(k,k)=(k^{k-1}+k-1)^2$(Th.1.6). As to smaller values we prove $m(3,3)=121$ (Th.1.7) and determine $m(2,k) $ for all $k\geq 2$ (Th.1.8).
On the threshold Ramsey multiplicity conjectures for paths and even cycles
The Ramsey number $r(H)$ of a graph $H$ is the minimum positive integer $n$ such that every red/blue edge-coloring of the complete graph $K_n$ on $n$ vertices contains a monochromatic copy of $H$. The threshold Ramsey multiplicity $m(H)$ of $H$ is the minimum number of monochromatic copies of $H$ over all red/blue edge-colorings of $K_{r(H)}$. Let $P_t$ and $C_t$ be a path and a cycle on $t$ vertices, respectively. In this paper, by using combinatorial and local random construction, we show that $$m(C_{2t})\le t^{-γ+o(1)}\frac{(2t-1)!}{2}, \qquad m(P_{2t+1})\le t^{-γ+o(1)}\frac{t}{2}(2t)!,$$ and $$m(P_{2t})\leq \left(\frac{7}{8}+o(1)\right)\frac{(2t)!}{2},$$ for sufficiently large $t$, where $γ=1/(1+\sqrt{2})$. These results disprove two conjectures on the threshold Ramsey multiplicity for even cycles and paths, due to Conlon, Fox, Sudakov, and Wei.
A Domatic Analogue of $χ$-Bounded Graph Classes and the Gyárfás-Sumner Conjecture
Given a graph $G$, a dominating set is a subset $X\subseteq V(G)$ such that $N[X]=V(G)$. The \emph{domatic number} of $G$, denoted ${\rm dom}(G)$, is the maximum size of a partition of $V(G)$ into dominating sets. In analogy with the lower bound of the chromatic number by the clique number, the domatic number satisfies the upper bound ${\rm dom}(G)\le δ(G)+1$ where $δ(G)$ is the minimum degree of $G$. Therefore, as an analogue of the notion of $χ$-bounded graph classes, we say that a class of graphs $\mathscr{G}$ is \emph{DOM-bounded} if there exists a positive unbounded function $f_{\mathscr{G}}$ such that for every $G\in \mathscr{G}$, we have ${\rm dom}(G) \ge f_{\mathscr{G}}(δ(G))$.
We propose the following conjecture for graphs forbidding a fixed induced subgraph, analogous to the Gyárfás--Sumner Conjecture for $χ$-bounded graph classes: for every connected graph $H$, the class of $H$-free graphs is DOM-bounded if and only if $H$ is a tree of diameter at most $3$. We reduce the case of disconnected graphs to the connected setting and show that the conditions on $H$ are necessary.
We show that star-free graphs of minimum degree at least $δ$ have domatic number $Ω(δ/\log δ)$, which is best possible up to a constant factor. We also identify a subclass of star-free graphs for which the domatic number is linear in $δ$: line graphs of bounded rank hypergraphs.
In support of our conjecture in the case of double stars, we prove that $P_4$-free graphs (i.e. cographs) of minimum degree $δ$ have domatic number at least $1 + \fracδ{2}$, which is best possible.
On cliques in hypergraphs under bounded $(j,p)$-norm
Let $\mathcal{H}$ be an $r$-uniform hypergraph. For $S\in \binom{V(\mathcal{H})}{j}$, let $\mathrm{deg}(S)$ be the number of edges of $\mathcal{H}$ containing $S$, and define the $(j,p)$-norm of $\mathcal{H}$ by $\|\mathcal{H}\|_{j,p}=\left(\sum_{S\in \binom{V(\mathcal{H})}{j}}\mathrm{deg}(S)^p\right)^{1/p}$. Motivated by a problem of Chao, Dong, Shen and Yang, we determine the maximum number of $t$-cliques in an $n$-vertex $r$-graph with bounded $(j,p)$-norm in the range $p>(t-j)/(r-j)$. The proof uses an entropy argument adapted to hypergraphs, together with a continuous interpolation step. The bound is sharp whenever the corresponding Steiner systems exist.
Pancyclicity of graphs perturbed by a random $F$-factor
Resolving a conjecture of Espuny Díaz and Girão [Random Structures Algorithms, 2023], we determine the sharp minimum-degree threshold for Hamiltonicity in graphs perturbed by a uniformly random $K_r$-factor. In fact, we prove the stronger pancyclic statement. More generally, for each fixed connected graph $F$, we study the union of an arbitrary deterministic graph of linear minimum degree and a uniformly random $F$-factor. Let $α^*(F)$ and $α_{\text{pan}}^*(F)$ denote the corresponding Hamiltonicity and pancyclicity thresholds. We introduce two new parameters, $τ_{\text{pc}}(F)$ and $τ_{\text{ind}}(F)$, defined by the expected path-cover number and independence number of random induced subgraphs of $F$, and prove \[ τ_{\text{pc}}(F)\le α^*(F)\le α_{\text{pan}}^*(F)\le τ_{\text{ind}}(F). \] For $F=K_r$, the two parameters coincide and are equal to the unique positive solution $ρ_r$ of $x^r+rx-1=0$. Hence $α^*(K_r)=α_{\text{pan}}^*(K_r)=ρ_r$ for every $r\ge2$.
Stability of nontrivial graph pairs
A graph pair $(Γ, Σ)$ is called stable if every automorphism of the direct product $Γ\timesΣ$ is induced componentwise by automorphisms of $Γ$ and $Σ$. A graph is twin-free if no two distinct vertices share the same neighbourhood in the graph. Two graphs $Γ$ and $Σ$ are coprime with respect to the direct product if there is no graph $Δ$ of order greater than $1$ such that $Γ\congΓ'\timesΔ$ and $Σ\congΣ'\timesΔ$ for some graphs $Γ'$ and $Σ'$. A graph pair $(Γ,Σ)$ is nontrivial if $Γ$ and $Σ$ are coprime connected twin-free graphs and exactly one of them is bipartite. In this paper, we prove that if $Γ$ is non-bipartite, stable, and factor-loopless, then each nontrivial graph pair $(Γ,Σ)$ is stable. This gives a partial answer to [Question~19, Qin, Xia and Zhou, Discrete Math., 113856, (2024)] and proves the factor-loopless case of [Conjecture~1.3, Wang, Qin and Xia, arXiv:2509.26170]. We also give affirmative answers to [Questions~3.5, 3.6, Gan, Liu and Xia, J. Combin. Theory Ser. B, 140--164, (2025)] and a negative answer to [Question~3.7, Gan, Liu and Xia, J. Combin. Theory Ser. B, 140--164, (2025)].
Exact Leaf Powers on Cycles, Ladders, Crowns, and Multipartite Block Graphs
Exact \(k\)-leaf powers are graphs whose edges are exactly the pairs of leaves at distance \(k\) in a tree. We prove explicit structure theorems for exact leaf powers on several representative graph families that test different exact-distance phenomena. Our most detailed root-classification theorem concerns chordless cycles: all exact \(5\)-leaf roots of \(C_\ell\), \(\ell\ge 8\), are described by a complete terminal block language. We also prove that the \(t\)-square ladder \(L_t\) is an exact \(5\)-leaf power if and only if \(t\le 2\). In contrast, dense bipartite square structures are often representable: among block-complete multipartite graphs, the exact \(5\)-leaf powers are precisely the bipartite members, and every bipartite co-cluster graph, including every crown \(K_{n,n}-M\), is an exact \(k\)-leaf power for every \(k\ge 5\). Finally, we give parity classifications for complete multipartite graphs and multipartite block graphs at larger exact distances, and isolate a sharp fan boundary at exact distance six.
Counting Hamiltonian paths between prescribed vertices in traceable graphs with a forbidden induced subgraph
For graphs $G$ and $F$, we say that $G$ is $F$-free if $F$ does not occur as an induced subgraph of $G$. This paper is concerned with the following question: Given an $F$-free graph $G$ having two vertices between which there exists at least one Hamiltonian path, how many Hamiltonian paths between these endpoints must exist (in terms of the order of $G$)? Our main result shows that there exists a sharp dichotomy. More precisely, we show that if $F$ is not an induced subgraph of $P_3+sP_1$ for any integer $s \geq 0$, then there exists an infinite family of $F$-free graphs having two vertices between which there exists a unique Hamiltonian path. On the other hand, we prove that if $F$ is an induced subgraph of $P_3+sP_1$ for some integer $s \geq 0$, then any $F$-free graph having two vertices between which there exists a Hamiltonian path contains exponentially many such paths between these two vertices. Our proofs use Ramsey-theoretic methods, a result on the existence of two vertices with low degree in graphs containing a unique Hamiltonian cycle, a path variant of Thomassen's red-independent weakly green-dominating sets, and a structural analysis of Hamiltonian paths in $P_3+sP_1$-free graphs. As an algorithmic consequence we obtain that for every fixed $s \geq 1$, given a Hamiltonian $sP_1$-free graph together with a Hamiltonian cycle, one can decide in linear time whether a second Hamiltonian cycle exists and construct one if it does.