graph
34516 papers tagged with this keyword
On the Spectral Determination of Complements of \(T\)-shape Trees
A graph \(G\) is said to be \emph{determined by its spectrum} if every graph cospectral with \(G\) is isomorphic to \(G\). A \emph{T-shape tree} is defined as a tree containing exactly one vertex of maximum degree three. For any three positive integers \(\ell_1\),\(\ell_2\) and \(\ell_3\) with \( \ell_1\leq \ell_2\leq \ell_3\), we denote by \(T(\ell_1,\ell_2,\ell_3)\) the unique \(T\)-shape tree such that deleting its degree-three vertex \(v\) yields three disjoint paths \(P_{\ell_1}\), \(P_{\ell_2}\), and \(P_{\ell_3}\), i.e., \(T(\ell_1,\ell_2,\ell_3)-v = P_{\ell_1}\cup P_{\ell_2}\cup P_{\ell_3}\), where \(P_k\) stands for the path graph on \(k\) vertices. In this paper, we establish a complete spectral characterization for the complements of \(T\)-shape trees, settling a long-standing conjecture posed by Wang and Xu (2006). Specifically, we prove that the complement of \(T(\ell_1,\ell_2,\ell_3)\) is spectrally determined if and only if \((\ell_1,\ell_2,\ell_3) \notin \{(\ell,\ell,2\ell-2):\ell\ge2\}\). Moreover, all cospectral mates of the complement of the \(T\)-shape tree \(T(\ell,\ell,2\ell-2)\) are identified for every integer \(\ell\geq 2\).
A finite forbidden family with superlinear surplus and no three-factor product extremizers
We construct a fixed finite family $\mathcal L$ of ordinary forbidden subgraphs with $p(\mathcal L)=3$ and a constant $c>0$ such that $$ex(n,\mathcal L)>t_3(n)+cn^{3/2}$$ at every sufficiently large order. Nevertheless, the complement of every sufficiently large $\mathcal L$-extremal graph has at most two connected components. In particular, no such extremal graph is a complete join of three graphs of positive order. This gives a negative answer to a natural existence-only question motivated by the Simonovits Product Conjecture, in which one asks only for one product extremizer at each sufficiently large order.
On graphically local versions of metric embeddings
We consider the problem of graphically local metric embedding, i.e. embedding points from an arbitrary finite metric space into a target metric space while preserving, up to a small distortion, only a subset of the pairwise distances specified by a bounded degree graph $G$.
We provide a general reduction showing that, in many cases, this is no easier than embedding the points while approximately preserving all pairwise distances. As an illustration of our general reduction, we show that there exists a Euclidean metric space $X$ on $n$ points along with a graph $G = (X,E)$ of maximum degree $3$ such that any embedding of $X$ into $\ell_2^m$ which only preserves distances specified by $E$ up to a relative error of $(1+\varepsilon)$ must satisfy $m = Ω(\varepsilon^{-2}\log n)$.
Our lower bound matches the upper bound on the dimension coming from the Johnson-Lindenstrauss lemma for approximately preserving all pairwise distances; previously, such a lower bound was known only for the class of noncontracting embeddings [Schechtman-Shraibman, Discrete & Computational Geometry, 2009]. Moreover, the condition that the maximum degree of the graph is $3$ is best possible: for graphs $G$ of maximum degree $2$ (or more generally, treewidth at most $2$), any metric space embeds $G$-isometrically into any two-dimensional normed space.
Spanning $H$-subdivisions with Prescribed Path Lengths
We study spanning $H$-subdivisions in dense graphs where the length of every subdivision path is prescribed in advance. This problem is motivated in part by a question of Pavez-Signé [Combin. Probab. Comput. 33 (2024), 121--128], who asked whether the subdivision paths in a spanning $H$-subdivision can be required to have similar lengths.
Let $h\ge3$ be an integer and let $0<β\llα\ll1/h$. We prove that, for all sufficiently large $n$, every $n$-vertex graph $G$ with $δ(G)\ge n/2+\lfloor h/3\rfloor$ has the following property. For every graph $H$ with $h$ edges and no isolated vertices, write $E(H)=\{e_1,\ldots,e_h\}$, and every choice of integers $\ell_1,\ldots,\ell_h\ge4$ satisfying $\sum_{i=1}^h\ell_i=n-|V(H)|+h$ and $\sum_{\ell_i<αn}\ell_i\leβn$, the graph $G$ contains a spanning $H$-subdivision in which the $i$th edge of $H$ is replaced by a path of length exactly $\ell_i$. We also give a family of examples showing that a linear additive term in $h$ is necessary in general.
Disconnected graphs and extremal bounds for realizable distance orders
Let $G$ be a graph together with a total order $\prec$ on its edges. We say that $\prec$ is realizable in $\mathbb{R}^d$ if there is a placement of the vertices of $G$ in $\mathbb{R}^d$ such that the Euclidean lengths of the edges induce exactly the order $\prec$. Almendra-Hernández and Martínez-Sandoval proved that every total order on the edges of the complete graph $K_n$ is realizable in $\mathbb{R}^{n-2}$. We show that the same is not true for the disjoint union of two complete graphs: for every $n\geq 3$ there is a total order on the edges of $K_n\sqcup K_n$ that is not realizable in $\mathbb{R}^{n-2}$, but is in $\mathbb{R}^{n-1}$. Surprisingly, the realizability of an order on a disconnected graph is not determined by its restrictions to the connected components. We also study realizability on the real line: we characterize which disjoint unions of two cycles are realizable, and estimate the largest number of edges an $n$-vertex graph can have while all of its edge-orders remain realizable on the line. In general dimension, we show that the largest number of edges of an $n$-vertex graph all of whose edge-orders are realizable in $\mathbb{R}^d$ is $dn+O\!\left(dn/\ln(dn)\right)$.
Linking invariants of spatial graphs
We recall definitions of linking numbers and Wu--Simon numbers for spatial graphs. We expose a `converse' to the Conway--Gordon--Sachs theorem (i.e. description of linking functions for embeddings $K_6\to\mathbb{R}^3$), and some results on Wu--Simon numbers. We conjecture and discuss a generalization of the Conway--Gordon--Sachs theorem to multiple linking. The exposition is based on plane diagrams, so no knowledge of spatial geometry is required.
A Loehr-Remmel bijection in the $n \times kn$ grid and sandpiles
We extend the $\mathsf{pmaj}$ statistic of Loehr and Remmel to labelled Dyck paths in the $n \times kn$ grid, and generalize their bijection sending the bistatistic $(\mathsf{dinv},\mathsf{area})$ to $(\mathsf{area}, \mathsf{pmaj})$, proving in this way a new combinatorial formula for $\nabla^k e_n$ ($k \geq 1$). At $k = 1$ we recover the original statistic and the original bijection. Moreover, we provide an explicit description of the recurrent configurations of the sandpile model on a family of graphs $G_{μ, ν}^{(k)}$, indexed by an integer $k \geq 1$ and two compositions $μ$ and $ν$: at $k = 1$ these are the clique-independent graphs of D'Adderio et al. Finally, we define a $\mathsf{delay}$ statistic on these configurations, and we show that, together with the usual level statistic, it can be used to provide a new combinatorial interpretation of the polynomials $\langle \nabla^k e_n,e_μh_ν\rangle$ from the $(n,kn)$-shuffle theorem. At $k = 1$ we recover the main results of D'Adderio et al.
The Sylvester--Gallai dimension of graphs
For an undirected graph $G$, its \emph{Sylvester--Gallai dimension} $\text{SGdim}(G)$ is the largest affine dimension of a configuration of distinct real points indexed by $V(G)$ in which every line determined by an edge of $G$ is a special line (contains at least three points). Hence, the classical Sylvester--Gallai theorem can be stated as $\text{SGdim}(K_n)=1$ for the complete graph $K_n$. We initiate the systematic study of this new graph parameter and prove lower bounds for certain graph families (bounded degree, sparse, minor-free) as well as an upper bound for random graphs.
Extending the Bipartite Parking Space
We prove an analogue of a theorem of Berget and Rhoades about extending the parking space $\mathrm{Park}_n$ to an $S_{n+1}$-module $\mathrm{Slim}_n$. Specifically, we show that the \textit{bipartite parking space} $\mathrm{Park}_{K_{n,m}}$, which naturally comes with an $S_{n-1} \times S_m$ action, extends to an $S_n \times S_m$-representation $\mathrm{Slim}_{n,m}$. We then formulate a conjecture generalizing this statement to any simple graph.
Spanning Structures in Multipartite Graph Traversals
Let $G$ be an $r$-partite graph such that the edge density between any two parts is at least $α$. We consider the problem of determining how large $α$ must be in order to guarantee that $G$ has a Hamiltonian traversal (an $r$-cycle subgraph containing exactly one vertex from each part), and show that this critical density tends to $\frac 1 2$ as $r$ increases. This resolves a conjecture of Badakhshian, Falgas-Ravry, and Sharifzadeh. We also study the critical densities necessary to guarantee the existence of other spanning structures in traversals, particularly subgraph factors, and obtain asymptotically the critical densities for traversal $F$-factor subgraphs for several classes of graphs $F$. The proofs of our results involve the absorption method.
On the damage number of graphs
We study a variant of Cops and Robbers in which the robber attempts to visit as many vertices of the graph as possible without being captured, while the cop aims to keep the robber confined to a small set of vertices. The \textit{damage number} of a graph $G$, introduced by Cox and Sanaei in 2019, is the maximum number of vertices the robber can visit in a game of Cops and Robbers on $G$.
In this paper, we determine damage numbers for several classes of graphs, including hypercubes, Hamming graphs, Johnson graphs, incidence graphs of projective planes, and Erdős-Rényi random graph $G(n,p)$, for $p \gg \log^{2/5}(n) / n^{1/5}$. We also show that the problem of determining the damage number of a graph is {\sf PSPACE}-complete.
A Proof of the Chen--Raspaud Conjecture
For every integer $k\ge2$, Chen and Raspaud conjectured that each graph $G$ with odd girth $\og(G)\ge2k+1$ and maximum average degree $\mad(G)<2+1/k$ has a $(2k+1:k)$-coloring. In this paper, we prove the conjecture.
A Ten-Vertex Counterexample to a Conjecture on Unstable Graphs
Mizzi conjectured that every nontrivially unstable graph contains cycles C_k and C_{2k} for some odd k. We give a connected, nonbipartite, vertex-determining counterexample on ten vertices. Its instability is certified by an explicit nontrivial two-fold automorphism, and its complete set of simple-cycle lengths is {5,5,6}.
Hamiltonian paths in the permutation digraphs $P(n,n-2)$
For $1\leq k<n$, let $P(n,k)$ be the directed overlap graph whose vertices are the $k$-permutations of $[n]$ and whose arcs are the $(k+1)$-permutations. Isaak proved that $P(n,n-2)$ has no directed Hamiltonian cycle for $n\geq4$ and asked whether it nevertheless has a directed Hamiltonian path. We answer this question affirmatively by showing that $P(n,n-2)$ has a Hamiltonian path.
Odd minors or odd immersions in graphs with independence number two
Kühn, Sauermann, Steiner and Wigderson recently disproved the Odd Hadwiger Conjecture, even for graphs with independence number 2. For this class of graphs the conjecture is known to be equivalent to the following: every $n$-vertex graph $G$ with independence number 2 contains $K_{\lceil \frac n2 \rceil}$ as an odd minor. While this does not hold, we prove that every graph $G$ with independence number 2 contains $K_{\lceil \frac n2 \rceil}$ as an odd minor or as a totally odd immersion.
Stability of Shifted Complexes via the Second-Moment Defect of the Up-Laplacian
Let $K$ be a finite pure $k$-dimensional simplicial complex, with $k\ge1$, on the vertex set $[n]$ and with facet family $K_k$. Let $λ_1(K)\geλ_2(K)\ge\cdots>0$ be the nonzero eigenvalues of its $(k-1)$-dimensional up-Laplacian, and, after ordering the vertices so that $°_K(1)\ge\cdots\ge°_K(n)$, let $\dvT{r}(K)$ be the number of vertices contained in at least $r$ facets. A complex is \emph{shifted} if replacing a vertex of a face by a smaller vertex outside the face always yields another face. We prove that there is a shifted family $\HH$ of $(k+1)$-element subsets of $[n]$, with the same number of members as $K_k$, such that \[ \tfrac12\bigl|K_k\,\triangle\,\HH\bigr| \;\le\; \tfrac12\left[\sum_{r\ge1}\bigl(\dvT{r}(K)\bigr)^{2}-\sum_{r}λ_r(K)^{2}\right]. \] The left-hand side counts the facets that have to be exchanged to reach $\HH$; thus one half of the gap between the second power sums of the two sequences bounds the distance of $K_k$ to a shifted family. The characterization $λ(K)=\dv(K)^{\mathsf T}\iff K$ is isomorphic to a shifted complex was established in \cite{Gupta} from the identity that this gap equals twice the number of failed elementary shifts. The present paper converts that identity into a quantitative stability statement and recovers the equality characterization at zero defect. For $k=1$ this bounds the number of edge exchanges needed to reach a threshold graph with the same number of edges.
On the Laplacian spectral gap of generalized pancake graphs
The generalized pancake graph $P(m,n)$ is the Cayley graph of the group of colored permutations $\mathbb{Z}_m\wr S_n=(\mathbb{Z}_m)^n\rtimes S_n$ generated by generalized prefix reversals. In this paper, we establish that, for all $m,n\geq2$, the spectral gap $γ(P(m,n))$ of the normalized Laplacian satisfies $α_m/n\leqγ(P(m,n))\leq1/n$, where $α_m$ is a positive constant that depends only on $m$. As a consequence, for every fixed $m\geq2$, $γ(P(m,n))$ is $Θ_m(1/n)$ as $n\to\infty$. The proof combines Cesi's semi-recursive spectral-gap inequality with a Fourier decomposition of the appropriate operators associated with a coset Schreier graph of color-position pairs. For fixed $n\geq2$, we also establish that $γ(P(m,n))$ is $Θ_n(m^{-2})$ as $m\to\infty$. This disproves a conjecture of Blanco and Buehrle asserting that, for fixed $n$, the corresponding undirected generalized pancake graphs form an expander family.
Borel graphs generated by commuting functions
In this paper we study Borel graphs generated by finitely many commuting Borel functions. We give a geometric analysis of the free part of such graphs based on marker sets and marker regions. Assuming the existence of $r$-forward-independent hitting sets with bounded syndeticity, we obtain marker decompositions of the free part into rootless and rooted regions with controlled geometry. As applications, we derive finite Borel asymptotic dimension and hyperfiniteness, and obtain upper bounds for Borel edge chromatic numbers which improve previously known results. For the case in which each of the commuting Borel functions is bounded-to-one, we verify the existence of $r$-forward-independent hitting sets with syndeticity $Cr$ for some constant $C$. This gives another proof of a recent theorem of Naryshkin-Shinko-Weilacher-Yu, and is used to show that if one of the commuting Borel functions is injective and another one is bounded-to-one and exactly even-to-one, then the graph has a Borel perfect matching.
On the Lei--Bai conjecture on $5$-regular Lin--Lu--Yau Ricci-flat graphs
We study the Ricci curvature introduced by Lin, Lu, and Yau. A graph is called Ricci-flat if every edge has curvature zero. Lei and Bai classified $5$-regular symmetric Ricci-flat graphs by proving that every such graph is isomorphic to a particular $72$-vertex graph $\RF$, and conjectured that every $5$-regular Ricci-flat graph is either isomorphic to $\RF$ or admits a nontrivial Cartesian product decomposition. In this paper, we disprove this conjecture by constructing an infinite family of connected $5$-regular Ricci-flat graphs, none of which is isomorphic to $\RF$ or admits a nontrivial Cartesian product decomposition. This shows that the conjectured extension of the classification from the symmetric setting to general $5$-regular Ricci-flat graphs fails and that the class of such graphs is substantially richer than previously conjectured. To establish these results, we use an optimal-assignment formulation of Lin--Lu--Yau curvature to verify the Ricci-flatness of the constructed graphs.
Tight bounds for generalized power domination in regular graphs
Dorbec et al. [SIAM J. Discrete Math., 27 (2013)] conjectured that, for all integers $k\geq1$ and $r\geq3$, every connected $r$-regular graph $G$ of order $n$, other than $K_{r,r}$, satisfies $γ_{P,k}(G)\leq n/(r+1)$. After disproving this conjecture, Chen et al.[Graphs Combin., 38 (2022)] proposed a corresponding conjecture for claw-free regular graphs. In this paper, we prove this conjecture: for integers $k\geq\ell\geq1$, every connected claw-free $(k+\ell+1)$-regular graph $G$ of order $n$ satisfies $γ_{P,k}(G)\leq n/(k+\ell+2)$, and this bound is tight. Moreover, without the claw-free assumption, we show that, for each fixed integer $k\geq1$, the supremum of $γ_{P,k}(G)/\lvert V(G)\rvert$ over all connected $r$-regular graphs $G$ is asymptotic to $(\ln r)/r$ as $r\to\infty$.