graph
35150 papers tagged with this keyword
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
Published
• View Publication
• BIB
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$.
Obstructions for normally spanned sets of vertices
Halin conjectured that a graph has a normal spanning tree if and only if every minor of it has countable colouring number. This has recently been proven by the second author.
In this paper, we strengthen this result by establishing the following local version of it: Given a prescribed set of vertices $U$ in a connected graph $G$, there is a normal tree in $G$ that includes $U$ if and only if every $U$-rooted minor of $G$ (i.e. a minor every branch set of which meets $U$) has countable colouring number.
Our proof relies on a novel approach that combines normal partition trees as introduced by Brochet and Diestel with a suitable closure argument developed by Robertson, Seymour and Thomas in their discussion of infinite graphs of finite tree width.
Quadrangulations and the Lovász complex
The Lovász complex $L(G)$ of a graph $G$ is a deformation retract of its neighborhood complex, equipped with a canonical $Z_2$-action. We show that, under mild assumptions, $L(G)$ is homeomorphic to a surface if and only if $G$ is a non-bipartite quadrangulation of the orbit space $L(G)/Z_2$ in which every $4$-cycle is facial. This yields a classification of the Lovász complexes of all such quadrangulations. As an application, we contextualize a result of Archdeacon \emph{et al.}\ and Mohar and Seymour on the chromatic number of quadrangulations, obtaining a stronger statement about the $Z_2$-index.
Path decompositions of Eulerian graphs
Published
• View Publication
• BIB
Gallai's conjecture asserts that every connected graph on $n$ vertices can be decomposed into $\frac{n+1}{2}$ paths. For general graphs (possibly disconnected), it was proved that every graph on $n$ vertices can be decomposed into $\frac{2n}{3}$ paths. This is also best possible (consider the graphs consisting of vertex-disjoint triangles). Lovász showed that every $n$-vertex graph with at most one vertex of even degree can be decomposed into $\frac{n}{2}$ paths. However, Gallai's conjecture is difficult for graphs with many vertices of even degrees. Favaron and Kouider verified Gallai's conjecture for all Eulerian graphs with maximum degree at most $4$. In this paper, we show if $G$ is an Eulerian graph on $n \ge 4$ vertices and the distance between any two triangles in $G$ is at least $3$, then $G$ can be decomposed into at most $\frac{3n}{5}$ paths.
The cost of symmetry for tailed stars
Published
• View Publication
• BIB
It is known that if $n$ vertices can be removed from a connected graph $Γ$ so that no subgraphs isomorphic to the graph $K$ remain, then no more than $|V(K)|\cdot n$ vertices can be removed, forming a set invariant with respect to all automorphisms of the graph $Γ$, so that no subgraphs isomorphic to the graph $K$ remain. We construct an infinite set of (connected) graphs $K$ for which this estimate is not exact.
A very short note on a problem of Godsil and Sun
Using the spectral theorem for symmetric matrices over a real closed field, we give a quick answer to a problem of Godsil and Sun on degree-similarity of graphs.
Congestion bounds via Laplacian eigenvalues and their application to tensor networks with arbitrary geometry
Embedding the vertices of arbitrary graphs into trees while minimizing some measure of overlap is an important problem with applications in computer science and physics. In this work, we consider the problem of bijectively embedding the vertices of an $n$-vertex graph $G$ into the leaves of an $n$-leaf rooted binary tree $\mathcal{B}$. The congestion of such an embedding is given by the largest size of the cut induced by the two components obtained by deleting any vertex of $\mathcal{B}$. The congestion $\mathrm{cng}(G)$ is defined as the minimum congestion obtained by any embedding. We show that $λ_2(G)\cdot 2n/9\le \mathrm{cng} (G)\le λ_n(G)\cdot 2n/9$, where $0=λ_1(G)\le \cdots \le λ_n(G)$ are the Laplacian eigenvalues of $G$. We also provide a contraction heuristic given by hierarchically spectral clustering the original graph, which we numerically find to be effective in finding low congestion embeddings for sparse graphs. We numerically compare our congestion bounds on different families of graphs with regular structure (hypercubes and lattices), random graphs, and tensor network representations of quantum circuits. Our results imply lower and upper bounds on the memory complexity of tensor network contraction in terms of the underlying graph.
On $d$-distance $p$-packing domination number in strong products
The $d$-distance $p$-packing domination number $γ_d^p(G)$ of a graph $G$ is the cardinality of a smallest set of vertices of $G$ which is both a $d$-distance dominating set and a $p$-packing. If no such set exists, then we set $γ_d^p(G) = \infty$. For an arbitrary strong product $G\boxtimes H$ it is proved that $γ_d^p(G\boxtimes H) \le γ_d^p(G) γ_d^p(H)$. By proving that $γ_d^p(P_m \boxtimes P_n) = \left \lceil \frac{m}{2d+1} \right \rceil \left \lceil \frac{n}{2d+1} \right \rceil$, and that if $γ_d^p(C_n) < \infty$, then $γ_d^p(P_m \boxtimes C_n) = \left \lceil \frac{m}{2d+1} \right \rceil \left \lceil \frac{n}{2d+1} \right \rceil$, the sharpness of the upper bound is demonstrated. On the other hand, infinite families of strong toruses are presented for which the strict inequality holds. For instance, we present strong toruses with difference $2$ and demonstrate that the difference can be arbitrarily large if only one factor is a cycle. It is also conjectured that if $γ_d^p(G) = \infty$, then $γ_d^p(G\boxtimes H) = \infty$ for every graph $H$. Several results are proved which support the conjecture, in particular, if $γ_d^p(C_m)= \infty$, then $γ_d^p(C_m \boxtimes C_n)=\infty$.
Spectral extremal problems for the $(p,Q)$-spectral radius of hypergraphs
Let $Q$ be an $s$-vertex $r$-uniform hypergraph, and let $H$ be an $n$-vertex $r$-uniform hypergraph. Denote by $\mathcal{N}(Q,H)$ the number of isomorphic copies of $Q$ in $H$. For a hereditary family $\mathcal{P}$ of $r$-uniform hypergraphs, define $$π(Q,\mathcal{P}):=\lim\limits_{n\to \infty}\binom{n}{s}^{-1}\max\{\mathcal{N}(Q,H): H\in \mathcal{P}~~\mbox{and}~~|V(H)|=n\}.$$ For $p\geq1$, the $(p,Q)$-spectral radius of $H$ is defined as $$λ^{(p)}(Q,H):=\max_{\|\mathbf{x}\|_{p}=1}s!\sum_{\{i_{1},\ldots,i_{s}\}\in \binom{[n]}{s}}\mathcal{N}(Q,H[\{i_{1},\ldots,i_{s}\}])x_{i_{1}}\cdots x_{i_{s}}.$$
%generalizing the concept of the $p$-spectral radius introduced by %Keevash, Lenz, and Mubayi \cite{KLM2014}.
In this paper, we present a systematically investigation of the parameter $λ^{(p)}(Q,H)$. First, we prove that the limit $$λ^{(p)}(Q,\mathcal{P}):=\lim\limits_{n\to \infty}n^{s/p-s}\max\{λ^{(p)}(Q,H): H\in \mathcal{P}~~\mbox{and}~~|V(H)|=n\}$$ exists, and for $p>1$, it satisfies $$π(Q,\mathcal{P})=λ^{(p)}(Q,\mathcal{P}).$$
Second, we study spectral generalized Turán problems.
Specifically, we establish a spectral stability result and apply it to derive a spectral version of the Erdős Pentagon Problem: for $p\geq1$ and sufficiently large $n$, the balanced blow-up of $C_{5}$ maximizes $λ^{(p)}(C_{5},H)$ among all $n$-vertex triangle-free graphs $H$, thereby improving a result of Liu \cite{Liu2025}. Furthermore, we show that for $p\geq1$ and sufficiently large $n$, the $l$-partite Turán graph $T_{l}(n)$ attains the maximum $λ^{(p)}(K_{s},H)$ among all $n$-vertex F-free graphs $H$, where $F$ is an edge-critical graph with $χ(F)=l+1$. This provides a spectral analogue of a theorem due to Ma and Qiu \cite{MQ2020}.
A polynomial bound on the pathwidth of graphs edge-coverable by $k$ shortest paths
Dumas, Foucaud, Perez and Todinca (2024) recently proved that every graph whose edges can be covered by $k$ shortest paths has pathwidth at most $O(3^k)$. In this paper, we improve this upper bound on the pathwidth to a polynomial one; namely, we show that every graph whose edge set can be covered by $k$ shortest paths has pathwidth $O(k^4)$, answering a question from the same paper. Moreover, we prove that when $k\leq 3$, every such graph has pathwidth at most $k$ (and this bound is tight). Finally, we show that even though there exist graphs with arbitrarily large treewidth whose vertex set can be covered by $2$ isometric trees, every graph whose set of edges can be covered by $2$ isometric trees has treewidth at most $2$.
Generalised Kauffman Clock Theorems
Kauffman's clock theorem provides a distributive lattice structure on the set of states of a four-valent graph in the plane. We prove two distinct generalisations of this theorem, for four-valent graphs embedded in more general compact oriented surfaces. The proofs use results of Propp providing distributive lattice structures on matchings on bipartite plane graphs, and orientations of graphs with fixed circulation.
Computing the number of realisations of a rigid graph
A graph is said to be rigid if, given a generic realisation of the graph as a bar-and-joint framework in the plane, there exist only finitely many other realisations of the graph with the same edge lengths modulo rotations, reflections and translations. In recent years there has been an increase of interest in determining exactly what this finite amount is, hereon known as the realisation number. Combinatorial algorithms for the realisation number were previously known for the special cases of minimally rigid and redundantly rigid graphs. In this paper we provide a combinatorial algorithm to compute the realisation number of any rigid graph, and thus solve an open problem of Jackson and Owen. We then adapt our algorithm to compute: (i) spherical realisation numbers, and (ii) the number of rank-3 PSD matrix completions of a generic partial matrix.
(Injective) facet-complexity between simplicial complexes
We present the notion of facet-complexity, $\text{C}(\mathsf{L};\mathsf{K})$, for two simplicial complexes $\mathsf{L}$ and $\mathsf{K}$, along with basic results for this numerical invariant. This invariant $\text{C}(\mathsf{L};\mathsf{K})$ quantifies the \aspas{complexity} of the following question: When does there exist a facet simplicial map $\mathsf{L}\to \mathsf{K}$? A facet simplicial map is a simplicial map that preserves non-unitary facets. Likewise, we introduce the notion of injective facet-complexity, $\text{IC}(\mathsf{L};\mathsf{K})$. These invariants generalize the notion of (injective) hom-complexity between graphs, recently introduced by Zapata et al. We demonstrate a triangular inequality for (injective) facet-complexity and show that it is a simplicial complex invariant. Additionally, these invariants provide an obstruction to the existence of facet simplicial maps. We explore the sub-additivity of (injective) facet-complexity and we present a lower bound in terms of the chromatic number. Moreover, we provide an upper bound for $\mathrm{C}(\mathsf{L};\mathsf{H})$ in terms of the number of facets of $L$. Finally, we establish a formula for $\mathrm{IC}(\mathsf{L};\mathsf{K})$ when $\mathsf{L}$ is a pure simplicial complex and $K$ is a complete simplicial complex.
Digraph Yama Nim
{\sc Yama Nim} is a variant of two piles {\sc Nim}. In this ruleset, the player chosses one of the piles and removes at least two tokens from the pile. In the same move, the player adds one token to the other pile. We show the winning strategies and SG-values of this ruleset.
In addition, we introduce a generalization of {\sc Yama Nim}, named {\sc Digraph Yama Nim}. In this ruleset, a digraph is given and there are some tokens on each vertex of the digraph. Each player, in their turn, chooses one vertex and removes at least its out-degree plus one tokens from the vertex. Furthermore, one token is added to each vertex to which a directed edge from the chosen vertex is connected. We show that the winner determination problem of {\sc Digraph Yama Nim} is PSPACE-complete even when the input graph is bipartite and directed acyclic. Despite this, there are some cases that can be solved easily and we show them.