graph
34516 papers tagged with this keyword
Creating triangles in Constructor-Blocker games
Generalized Turán problems investigate the maximization of the number of certain structures (typically edges) under some constraints in a graph. We study a game version of these problems, the Constructor-Blocker game. We mainly focus on the case where Constructor tries to maximize the number of triangles in her graph, while forbidding her to claim short paths or cycles. We also study a variant of this game, where we impose some planarity constraints on Constructor instead of forbidding certain subgraphs. For all games studied, we obtain (precise) asymptotics or upper and lower bounds.
Sharp thresholds for NAC-colourings and stable cuts in random graphs
NAC-colourings of graphs correspond to flexible quasi-injective realisations in $\mathbb {R} ^2$. A special class of NAC-colourings are those that arise from stable cuts. We give sharp thresholds for the random graph to have no stable cut and to have no NAC-colouring via exact hitting-time results: with high probability, the random graph process gains both properties at the precise time that every vertex is in a triangle. Our thresholds complement recent results on the thresholds for the random graph to be generically or globally rigid in $\mathbb {R} ^d$, and for all injective realisations to be globally rigid in $\mathbb {R} $.
Immersions and Albertson's conjecture
A graph is said to contain $K_k$ (a clique of size $k$) as a weak immersion if it has $k$ vertices, pairwise connected by edge-disjoint paths. In 1989, Lescure and Meyniel made the following conjecture related to Hadwiger's conjecture: Every graph of chromatic number $k$ contains $K_k$ as a weak immersion. We prove this conjecture for graphs with at most $(1.64-o(1))k$ vertices. As an application, we make some progress on Albertson's conjecture, according to which every graph $G$ with chromatic number $k$ satisfies $cr(G) \geq cr(K_k)$. In particular, we show that the conjecture is true for all graphs of chromatic number $k$, provided that they have at most $(1.64-o(1))k$ vertices.
Analytic spread of binomial edge ideals
We investigate the analytic spread of binomial edge ideals of finite simple graphs. We provide tight bounds for this invariant in general. For special families of graphs (e.g., closed graphs, pseudo-forests), we compute the exact value for the analytic spread of the corresponding binomial edge ideals via combinatorial and convex geometric means.
Combinatorial Courant-Fischer-Weyl Minimax Principle on Cheeger $k$-constants of Weighted Forests
We establish novel max-min and minimax characterizations of Cheeger $k$-constants in weighted forests, thereby providing the first combinatorial analogue of the Courant-Fischer-Weyl minimax principle. As for applications, we prove that the forest 1-Laplacian variational eigenvalues are independent of the choice of typical indexes; we propose a refined higher order Cheeger inequality involving numbers of loops of graphs and $p$-Laplacian eigenvalues; and we present a combinatorial proof for the equality $h_k=λ_k(Δ_1)$ which connects the 1-Laplacian variational eigenvalues and the multiway Cheeger constants.
On convergence structures in infinite graphs
It is well known that a graph admits a natural closure operator defined on its vertex set, which also corresponds to a pretopology. In this paper, we describe the classical pretopology on a graph in terms of nets, with the aim of relating combinatorial properties to convergence properties.
Super-minimally $3$-connected graphs
In this paper, we introduce super-minimally $k$-connected graphs, those $k$-connected graphs in which no proper subgraph is $k$-connected. For $k$ greater than or equal to three, this class lies strictly between the classes of minimally $k$-connected graphs and uniformly $k$-connected graphs. In particular, we determine the minimum number of degree-$3$ vertices in a super-minimally $3$-connected graph, thereby extending a result of Halin on minimally $3$-connected graphs. In addition, we determine the maximum number of edges in a super-minimally $3$-connected graph, extending Xu's result for uniformly $3$-connected graphs, and providing an analogue of Halin's result for minimally $3$-connected graphs.
On orientations preserving edge-connectivity in infinite graphs
We prove that every 2k-edge-connected graph with countably many edge-ends admits a k-arc-connected orientation, extending the previous result by Assem, Koloschin and Pitz that also assumed the hypothesis of the graph being locally finite. We prove that, if every locally finite graph has a well-balanced orientation, so does every graph. Lastly, we explore an alternative to the Nash-Williams Orientation Conjecture via topological paths, and prove that it is true for every finitely separated graph.
Finding a HIST: Chordality, Structural Parameters, and Diameter
A homeomorphically irreducible spanning tree (HIST) is a spanning tree with no degree-2 vertices, serving as a structurally minimal backbone of a graph. While the existence of HISTs has been widely studied from a structural perspective, the algorithmic complexity of finding them remains less understood. In this paper, we provide a comprehensive investigation of the HIST problem from both structural and algorithmic viewpoints. We present a simple characterization that precisely describes which chordal graphs of diameter at most~3 admit a HIST, leading to a polynomial-time decision procedure for this class. In contrast, we show that the problem is NP-complete for strongly chordal graphs of diameter~4. From the perspective of parameterized complexity, we establish that the HIST problem is W[1]-hard when parameterized by clique-width, indicating that the problem is unlikely to be efficiently solvable in general dense graphs. On the other hand, we present fixed-parameter tractable (FPT) algorithms when parameterized by treewidth, modular-width, or cluster vertex deletion number. Specifically, we develop an $O^*(4^{k})$-time algorithm parameterized by modular-width~$k$, and an FPT algorithm parameterized by the cluster vertex deletion number based on kernelization techniques that bound clique sizes while preserving the existence of a HIST. These results together provide a clearer understanding of the structural and computational boundaries of the HIST problem.
The high order spectral radius of graphs without long cycles or paths
In 1959, Erdős and Gallai established two classic theorems, which determine the maximum number of edges in an $n$-vertex graph with no cycles of length at least $k$, and in an $n$-vertex graph with no paths on $k$ vertices, respectively. Subsequently, generalized and spectral versions of the Erdős-Gallai theorems have been investigated. A concept of a high order spectral radius for graphs was introduced in 2023, defined as the spectral radius of a tensor and termed the $t$-clique spectral radius $ρ_t(G)$. In this paper, we establish a high order spectral version of Erdős-Gallai theorems by employing the $t$-clique spectral radius, i.e., we determine the extremal graphs that attain the maximum $t$-clique spectral radius in the $n$-vertex graphs with no cycles of length at least $k$ and in the $n$-vertex graphs with no paths on $k$ vertices, respectively.
The Smith normal form of distance matrices of high dimensional trees
Graham-Lovász-Pollak \cite{GL,GP} obtained the celebrated formula $$\det({\sf D}(T_{n+1}))=(-1)^nn2^{n-1},$$ for the determinant of the distance matrix ${\sf D}(T_{n+1})$ for any tree $T_{n+1}$ with $n+1$ vertices. Later, Hou and Woo \cite{HW} extended this formula to the Smith normal form (SNF) obtaining that $\SNF({\sf D}(T_{n+1}))={\sf I}_2\oplus 2{\sf I}_{n-2}\oplus [2n]$, for any tree $T_{n+1}$ with $n+1$ vertices.
A $k$-{\it tree} is either a complete graph on $k$ vertices or a graph obtained from a smaller $k$-tree by adjoining a new vertex together with $k$ edges connecting it to a $k$-clique. If $τ$ and $τ'$ are $d$-cliques in a $k$-tree $T$, a $d$-{\it walk} between $τ$ and $τ'$ is a finite sequence $τ_1σ_1τ_2σ_2\cdotsτ_l$, where $τ_1=τ$, $τ_l=τ'$, and the $d$-cliques $τ_i$ and $τ_{i+1}$ are incident to the same $(d+1)$-clique $σ_i$. For $d\in\{1,\dots,k\}$, the $d$-{\it distance} from the $d$-cliques $τ$ and $τ'$ is the number of $(d+1)$-cliques in a minimum $d$-walk from $τ$ and $τ'$, and is denoted by $\dist^d(τ,τ')$. Let $c_d$ denote the number of $d$-cliques in the $k$-tree $T$. Then the $d$-distance matrix ${\sf D}^d(T)$ of the $k$-tree $T$ is the $c_d\times c_d$ matrix, indexed by the $d$-cliques of $T$, such that the $(i,j)$-entry is $0$ if $i=j$, and $\dist^d(τ_i,τ_j)$ otherwise. Here, we show that, for $k$ and $n$ fixed, the SNF of the $k$-distance matrix is the same for any $k$-tree with $n$ vertices. Specifically, for any $k$-tree $T_{n}$ with $n$ vertices such that $n\geq k+2$, the Smith normal form of ${\sf D}^{k}(T_{n})$ is $${\sf I}_{(k-1)(n-k)+2}\oplus (k+1){\sf I}_{n-k-2}\oplus [k(k+1)(n-k)],$$ which extends Graham-Lovász-Pollak and Hou-Woo results.
Estimates of the first Dirichlet eigenvalue of graphs
Inspired by the Li--Yau eigenvalue-diameter estimates, we investigate lower bounds for the first Dirichlet eigenvalue in terms of the diameter (or inscribed radius) of a graph. Let $G = (V, E)$ be a graph with boundary $B$. Assume that the interior $Ω= V \setminus B$ is connected. Let $r$ be the inscribed radius of $(G, B)$ and $d$ be the maximum degree of $G$. We prove that $$λ_1(G, B) \geq \frac{d - 1}{r d^r},$$ which can be viewed as an analogue of the Lin--Yau bound and the Meng--Lin bound for normalized Dirichlet/Laplacian eigenvalues. We also derive the inequality $$λ_1(G, B) \geq \frac{1}{r |Ω|}.$$ In particular, for a tree $T$ with at least $3$ vertices, we show that $$λ_1(T) \geq 4 \sin^2 \fracπ{4r + 6} \geq \frac{1}{(r + 1)^2}.$$ Notably, both of the two preceding bounds are sharp up to a constant factor. We additionally examine upper bounds on the first Dirichlet eigenvalue under constraints on the numbers of interior and boundary vertices.
Redicoloring some classes of circulant tournaments
Given a digraph $D$ with no loops, the \textit{dicoloring graph} of $D$, denoted by $\mathcal{D}_k(D)$, is the graph whose vertices are the acyclic $k$-colorings of $D$ and two colorings are adjacent in $\mathcal{D}_k(D)$ if they differ in color on exactly one vertex. In this paper, we prove that there is no expression $φ(\vecχ)$ in terms of the dichromatic number $\vecχ$, such that the graph $\mathcal{D}_k(D)$ is connected for all graphs $D$ and integers $k\geq φ(\vecχ)$. We give conditions for the dicoloring graph of two infinite families of circulant tournaments to be connected, and we provide upper bounds for its diameter. In particular, for the Payley tournament $\vec{C}_{7}(1,2,4)$, also known as $ST_7$, we prove that $\mathcal{D}_k(\vec{C}_{7}(1,2,4))$ is connected and has diameter 8, for each $k\geq 3$.
Quantum walks on finite and bounded infinite graphs
A weighted graph $G$ with countable vertex set is bounded if there is an upper bound on the maximum of the sum of absolute values of all edge weights incident to a vertex in $G$. In this paper, we prove a fundamental result on equitable partitions of bounded weighted graphs with twin subgraphs and use this fact to construct finite and bounded infinite graphs with pair and plus state transfer with the adjacency matrix as a Hamiltonian. We show that for each $k \ge 3$, (i) there are infinitely many connected unweighted graphs with maximum degree $k$ admitting pair state transfer at $τ\in\{\fracπ{\sqrt{2}},\fracπ{2}\}$, and (ii) there are infinitely many signed graphs with exactly one negative edge weight and whose underlying unweighted graphs have maximum degree $k$ admitting plus state transfer at $τ\in\{\fracπ{\sqrt{2}},\fracπ{2}\}$. Parallel results are proven for perfect state transfer between a plus state and a pair state, and for the existence of sedentary pair and plus states. We further prove that almost all connected unweighted finite planar graphs admit pair state transfer at $τ\in\{\fracπ{\sqrt{2}},\fracπ{2}\}$, and almost all connected unweighted finite planar graphs can be assigned a single negative edge weight resulting in plus state transfer, or perfect state transfer between a plus state and a pair state, at $τ\in\{\fracπ{\sqrt{2}},\fracπ{2}\}$. Analogous results are shown to hold for unweighted finite trees. Using blow-up graphs, Cayley graphs and graphs with tails, we construct new infinite families of (finite and infinite) unweighted graphs and signed graphs admitting pair or plus state transfer.
Characterizing Graphs as Algebraic Squares
Graphs that are squares under the gluing algebra arise in the study of homomorphism density inequalities such as Sidorenko's conjecture. Recent work has focused on these homomorphism density applications. This paper takes a new perspective and focuses on the graph properties of arbitrary square graphs, not only those relevant to homomorphism conjectures and theorems.
We develop a set of necessary and/or sufficient conditions for a graph to be square. We apply these conditions to categorize several classical families of graphs as square or not. In addition, we create infinite families of square graphs by proving that joins and Cartesian, direct, strong, and lexicographic products of square graphs with arbitrary graphs are square.
Closing paths to cycles in symmetric graphs
It was shown by Beisegel, Chudnovsky, Gurvich, Milanič, and Servatius in 2022 that every induced $2$-edge path in a vertex-transitive graph closes to an induced cycle. Similar results were obtained for 3-edge paths closing to cycles in edge-transitive graphs, where the cycle can be assumed to be induced if the path is induced. Motivated by these results, we consider the following problem: For a given class of graphs, determine all integers $\ell\geq 0$ such that for every graph in the class, every path of length at most $\ell$ closes to a cycle. We also consider the variant of the problem for induced paths closing to induced cycles. We completely solve these problems for the classes of (finite) vertex-transitive graphs, edge-transitive graphs, and edge-transitive graphs that are not stars. For all but one case of a negative answer, we provide infinite families of connected counterexamples.
The Turán number of Berge matchings
Given a graph $F$, an $r$-uniform hypergraph $\mathcal{H}$ is a {\em Berge-$F$} if there is a bijection $φ:E(F)\to E(\mathcal{H})$ such that $e\subseteq φ(e)$ for each $e\in E(F)$. Given a family $\mathcal{F}$ of $r$-uniform hypergraphs, an $r$-uniform hypergraph is $\mathcal{F}$-free if it does not contain any member of $\mathcal{F}$ as a subhypergraph. The Turán number of $\mathcal{F}$ is the maximum number of hyperedges in an $\mathcal{F}$-free $r$-graph on $n$ vertices. Let $M_{s+1}$ denote a matching of size $s+1$, i.e., the graph consisting of $s+1$ independent edges. Khormali and Palmer [\textit{European J. Combin.} 102 (2022) 103506] completely determined the Turán number of Berge matchings for sufficiently large $n$. Subsequently, Kang, Ni, and Shan [\textit{Discrete Math.} 345 (2022) 112901] determined the exact value of the Turán number of Berge-$M_{s+1}$ for all $n$ when $r \le s-1$ or $r \ge 2s+2$. In this paper, we settle the final open case $s \le r \le 2s+1$, thereby completing the determination of the Turán number of Berge matchings.
Toward a rainbow Corrádi--Hajnal Theorem \RNum{1}
We study an anti-Ramsey extension of the classical Corrádi--Hajnal Theorem: how many colors are needed to color the complete graph on $n$ vertices in order to guarantee a rainbow copy of $t K_{3}$, that is, $t$ vertex-disjoint triangles.
We provide a conjecture for large $n$, consisting of five classes of different extremal constructions, corresponding to five subintervals of $\left[1,\, \tfrac{n}{3}\right]$ for the parameter $t$.
In this work, we establish this conjecture for the first interval, $t \in \left[1,\, \tfrac{2n-6}{9}\right]$.
In particular, this improves upon a recent result of Lu--Luo--Ma~[arXiv:2506.07115] which established the case $t \le \tfrac{n - 57}{15}$.
Strong hub cover pebbling number
In a graph $G$, we define a set of vertices to be a \emph{strong hub set} if for any two vertices in $G$, we can find a path between them whose internal vertices are all in this set. We define the \emph{strong hub cover pebbling number} of $G$, denoted by $h_s^*(G)$, to be the smallest $t$ such that for any initial configuration with $t$ pebbles on $G$, we can make some pebbling moves (a pebbling move consists of removing two pebbles from a vertex $v$ and adding one pebble to another vertex adjacent to $v$) so that there is a strong hub set with every vertex in it having a pebble. We determine the strong hub cover pebbling numbers of paths, stars, and books.
On the Modular Chromatic Index of Random Hypergraphs
Let $k,r \geq 2$ be two integers. We consider the problem of partitioning the hyperedge set of an $r$-uniform hypergraph $H$ into the minimum number $χ_k'(H)$ of edge-disjoint subhypergraphs in which every vertex has either degree $0$ or degree congruent to $1$ modulo $k$. For a random hypergraph $H$ drawn from the binomial model $\mathbf{H}(n,p,r)$, with edge probability $p \in (C\log(n)/n,1)$ for a large enough constant $C>0$ independent of $n$ and satisfying $n^{r-1}p(1-p)\to\infty$ as $n\to\infty$, we show that asymptotically almost surely $χ_k'(H) = k$ if $n$ is divisible by $\gcd(k,r)$, and $\max(k,r) \le χ_k'(H) \le k+r+1$ otherwise. A key ingredient in our approach is a sufficient condition ensuring the existence of a $k$-factor, a $k$-regular spanning subhypergraph, within subhypergraphs of a random hypergraph from $\mathbf{H}(n,p,r)$, a result that may be of independent interest. Our main result extends a theorem of Botler, Colucci, and Kohayakawa (2023), who proved an analogous statement for graphs, and provides a partial answer to a question posed by Goetze, Klute, Knauer, Parada, Peña, and Ueckerdt (2025) regarding whether $χ_2'(H)$ can be bounded by a constant for every hypergraph $H$.