graph
35299 papers tagged with this keyword
Sparse Incidence Geometries and Pebble Game Algorithms
We generalize a sparsity condition for hypergraphs and show a result relating sparseness of hypergraphs to the decomposition of a modified incidence graph into edge-disjoint spanning forests. We also give new sparsity conditions for posets, and define an algorithm of pebble game type for recognising this sparsity.
On a conjecture of Conlon, Fox and Wigderson
Published
• View Publication
• BIB
For graphs $G$ and $H$, the Ramsey number $r(G,H)$ is the smallest positive integer $N$ such that any red/blue edge coloring of the complete graph $K_N$ contains either a red $G$ or a blue $H$. A book $B_n$ is a graph consisting of $n$ triangles all sharing a common edge.
Recently, Conlon, Fox and Wigderson conjectured that for any $0<α<1$, the random lower bound $r(B_{\lceilαn\rceil},B_n)\ge (\sqrtα+1)^2n+o(n)$ is not tight. In other words, there exists some constant $β>(\sqrtα+1)^2$ such that $r(B_{\lceilαn\rceil},B_n)\ge βn$ for all sufficiently large $n$. This conjecture holds for every $α< 1/6$ by a result of Nikiforov and Rousseau from 2005, which says that in this range $r(B_{\lceilαn\rceil},B_n)=2n+3$ for all sufficiently large $n$.
We disprove the conjecture of Conlon, Fox and Wigderson. Indeed, we show that the random lower bound is asymptotically tight for every $1/4\leq α\leq 1$. Moreover, we show that for any $1/6\leq α\le 1/4$ and large $n$, $r(B_{\lceilαn\rceil}, B_n)\le\left(\frac 32+3α\right) n+o(n)$, where the inequality is asymptotically tight when $α=1/6$ or $1/4$. We also give a lower bound of $r(B_{\lceilαn\rceil}, B_n)$ for $1/6\leα< \frac{52-16\sqrt{3}}{121}\approx0.2007$, showing that the random lower bound is not tight, i.e., the conjecture of Conlon, Fox and Wigderson holds in this interval.
Quantum computing algorithms for inverse problems on graphs and an NP-complete inverse problem
Published
• View Publication
• BIB
We consider an inverse problem for a finite graph $(X,E)$ where we are given a subset of vertices $B\subset X$ and the distances $d_{(X,E)}(b_1,b_2)$ of all vertices $b_1,b_2\in B$. The distance of points $x_1,x_2\in X$ is defined as the minimal number of edges needed to connect two vertices, so all edges have length 1. The inverse problem is a discrete version of the boundary rigidity problem in Riemannian geometry or the inverse travel time problem in geophysics. We will show that this problem has unique solution under certain conditions and develop quantum computing methods to solve it. We prove the following uniqueness result: when $(X,E)$ is a tree and $B$ is the set of leaves of the tree, the graph $(X,E)$ can be uniquely determined in the class of all graphs having a fixed number of vertices. We present a quantum computing algorithm which produces a graph $(X,E)$, or one of those, which has a given number of vertices and the required distances between vertices in $B$. To this end we develop an algorithm that takes in a qubit representation of a graph and combine it with Grover's search algorithm. The algorithm can be implemented using only $O(|X|^2)$ qubits, the same order as the number of elements in the adjacency matrix of $(X,E)$. It also has a quadratic improvement in computational cost compared to standard classical algorithms. Finally, we consider applications in theory of computation, and show that a slight modification of the above inverse problem is NP-complete: all NP-problems can be reduced to a discrete inverse problem we consider.
Vertex isoperimetry on signed graphs and spectra of non-bipartite Cayley and Cayley sum graphs
Published in European Journal of Combinatorics(2025 or later)
• View Publication
• BIB
For a non-bipartite finite Cayley graph, we show the non-trivial eigenvalues of its normalized adjacency matrix lie in the interval $$\left[-1+\frac{ch_{out}^2}{d},1-\frac{Ch_{out}^2}{d}\right],$$ for some absolute constant $c$ and $C$, where $h_{out}$ stands for the outer vertex boundary isoperimetric constant. This improves upon recent obtained estimates aiming at a quantitative version of a result due to Breuillard, Green, Guralnick and Tao. We achieve this by extending the work of Bobkov, Houdré and Tetali on vertex isoperimetry to the setting of signed graphs. We further extend our interval estimate to the settings of vertex transitive graphs and Cayley sum graphs. As a byproduct, we answer positively open questions proposed recently by Moorman, Ralli and Tetali.
Twin-width of subdivisions of multigraphs
Published in SIAM J. Discrete Math., 39(2):607-862, 2025
• View Publication
• BIB
For each $d\leq3$, we construct a finite set $F_d$ of multigraphs such that for each graph $H$ of girth at least $5$ obtained from a multigraph $G$ by subdividing each edge at least two times, $H$ has twin-width at most $d$ if and only if $G$ has no minor in $F_d$. This answers a question of Bergé, Bonnet, and Déprés asking for the structure of graphs $G$ such that each long subdivision of $G$ has twin-width $4$. As a corollary, we show that the $7\times7$ grid has twin-width $4$, which answers a question of Schidler and Szeider.
Cycles through two edges in signed graphs
Published
• View Publication
• BIB
We give a characterization of when a signed graph $G$ with a pair of distinguished edges $e_1, e_2 \in E(G)$ has the property that all cycles containing both $e_1$ and $e_2$ have the same sign. This answers a question of Zaslavsky.
A Comment on Dean's Construction of Prime Labelings on Ladders
A prime labeling on a graph of order $m$ is an assignment of $\{ 1, 2, \ldots, m \}$ to the vertices of the graph such that each pair of adjacent vertices has coprime labels. The ladder of order $2n$ is the $2 \times n$ grid graph graph $P_2 \times P_n$. In a recent paper, Dean claimed a proof of the Prime Ladder Conjecture that every ladder has a prime labeling. We point out a flaw in Dean's construction, showing that a stronger hypothesis is needed for it to hold. We conjecture that this stronger hypothesis is true. We also offer an alternative construction inspired by Dean's approach which shows that if the Even Goldbach Conjecture and a particular strengthening of Lemoine's Conjecture are true then the Prime Ladder Conjecture follows.
A characterization of well-dominated Cartesian products
Published
• View Publication
• BIB
A graph is well-dominated if all its minimal dominating sets have the same cardinality. In this paper we prove that at least one factor of every connected, well-dominated Cartesian product is a complete graph, which then allows us to give a complete characterization of the connected, well-dominated Cartesian products if both factors have order at least $2$. In particular, we show that $G\,\Box\,H$ is well-dominated if and only if $G\,\Box\,H = P_3 \,\Box\,K_3$ or $G\,\Box\,H= K_n \,\Box\,K_n$ for some $n\ge 2$.
On Induced Subgraph of Cartesian Product of Paths
Published
• View Publication
• BIB
Chung, Füredi, Graham, and Seymour (JCTA, 1988) constructed an induced subgraph of the hypercube $Q^n$ with $α(Q^n)+1$ vertices and with maximum degree smaller than $\lceil \sqrt{n} \rceil$. Subsequently, Huang (Annals of Mathematics, 2019) proved the Sensitivity Conjecture by demonstrating that the maximum degree of such an induced subgraph of hypercube $Q^n$ is at least $\lceil \sqrt{n} \rceil$, and posed the question: Given a graph $G$, let $f(G)$ be the minimum of the maximum degree of an induced subgraph of $G$ on $α(G)+1$ vertices, what can we say about $f(G)$? In this paper, we investigate this question for Cartesian product of paths $P_m$, denoted by $P_m^k$. We determine the exact values of $f(P_{m}^k)$ when $m=2n+1$ by showing that $f(P_{2n+1}^k)=1$ for $n\geq 2$ and $f(P_3^k)=2$, and give a nontrivial lower bound of $f(P_{m}^k)$ when $m=2n$ by showing that $f(P_{2n}^k)\geq \lceil \sqrt{β_nk}\rceil$. In particular, when $n=1$, we have $f(Q^k)=f(P_{2}^k)\ge \sqrt{k}$, which is Huang's result. The lower bounds of $f(P_{3}^k)$ and $f(P_{2n}^k)$ are given by using the spectral method provided by Huang.
Group connectivity of 3-edge-connected signed graphs
Published
• View Publication
• BIB
Jaeger, Linial, Payan, and Tarsi introduced the notion of $A$-connectivity for graphs in 1992, and proved a decomposition for cubic graphs from which $A$-connectivity follows for all 3-edge-connected graphs when $|A|\geq 6$. The concept of $A$-connectivity was generalized to signed graphs by Li, Luo, Ma, and Zhang in 2018 and they proved that all 4-edge-connected flow-admissible signed graphs are $A$-connected when $|A|\geq 4$ and $|A|\neq 5$. We prove that all 3-edge-connected flow-admissible signed graphs are $A$-connected when $|A|\geq 6$ and $|A|\neq 7$. Our proof is based on a decomposition that is a signed-graph analogue of the decomposition found by Jaeger et. al, and which may be of independent interest.
Strong metric dimension of the prime ideal sum graph of a commutative ring
Published
• View Publication
• BIB
Let $R$ be a commutative ring with unity. The prime ideal sum graph of the ring $R$ is the simple undirected graph whose vertex set is the set of all nonzero proper ideals of $R$ and two distinct vertices $I$ and $J$ are adjacent if and only if $I + J$ is a prime ideal of $R$. In this paper, we obtain the strong metric dimension of the prime ideal sum graph for various classes of Artinian non-local commutative rings.
Solving NP-hard Problems on \textsc{GaTEx} Graphs: Linear-Time Algorithms for Perfect Orderings, Cliques, Colorings, and Independent Sets
Published
• View Publication
• BIB
The class of $\mathsf{Ga}$lled-$\mathsf{T}$ree $\mathsf{Ex}$plainable ($\mathsf{GaTEx}$) graphs has recently been discovered as a natural generalization of cographs. Cographs are precisely those graphs that can be uniquely represented by a rooted tree where the leaves correspond to the vertices of the graph. As a generalization, $\mathsf{GaTEx}$ graphs are precisely those that can be uniquely represented by a particular rooted acyclic network, called a galled-tree.
This paper explores the use of galled-trees to solve combinatorial problems on $\mathsf{GaTEx}$ graphs that are, in general, NP-hard. We demonstrate that finding a maximum clique, an optimal vertex coloring, a perfect order, as well as a maximum independent set in $\mathsf{GaTEx}$ graphs can be efficiently done in linear time. The key idea behind the linear-time algorithms is to utilize the galled-trees that explain the $\mathsf{GaTEx}$ graphs as a guide for computing the respective cliques, colorings, perfect orders, or independent sets.
On Galois groups of type-1 minimally rigid graphs
Published
• View Publication
• BIB
For every graph that is mimimally rigid in the plane, its Galois group is defined as the Galois group generated by the coordinates of its planar realizations, assuming that the edge lengths are transcendental and algebraically independent. Here we compute the Galois group of all minimally rigid graphs that can be constructed from a single edge by repeated Henneberg 1-steps. It turns out that any such group is totally imprimitive, i.e., it is determined by all the partitions it preserves.
The weak Lefschetz property of whiskered graphs
Published
• View Publication
• BIB
We consider Artinian level algebras arising from the whiskering of a graph. Employing a result by Dao-Nair we show that multiplication by a general linear form has maximal rank in degrees 1 and $n-1$ when the characteristic is not two, where $n$ is the number of vertices in the graph. Moreover, the multiplication is injective in degrees $<n/2$ when the characteristic is zero, following a proof by Hausel. Our result in the characteristic zero case is optimal in the sense that there are whiskered graphs for which the multiplication maps in all intermediate degrees $n/2,\ldots,n-2$ of the associated Artinian algebras fail to have maximal rank, and consequently, the weak Lefschetz property.
A Cheeger inequality for the lower spectral gap
Let $Γ$ be a Cayley graph, or a Cayley sum graph, or a twisted Cayley graph, or a twisted Cayley sum graph, or a vertex-transitive graph. Denote the degree of $Γ$ by $d$, its edge Cheeger constant by $\mathfrak{h}_Γ$, and its vertex Cheeger constant by $h_Γ$. Assume that $Γ$ is undirected, non-bipartite. We prove that the edge bipartiteness constant of $Γ$ is $Ω({\mathfrak{h}_Γ}/{d})$, the vertex bipartiteness constant of $Γ$ is $Ω(h_Γ)$, and the smallest eigenvalue of the normalized adjacency operator of $Γ$ is $-1 + Ω({h_Γ^2}/{d^2})$. This answers in the affirmative a question of Moorman, Ralli and Tetali on the lower spectral gap of Cayley sum graphs.
On large regular (1,1,k)-mixed graphs
An $(r,z,k)$-mixed graph $G$ has every vertex with undirected degree $r$, directed in- and out-degree $z$, and diameter $k$. In this paper, we study the case $r=z=1$, proposing some new constructions of $(1,1,k)$-mixed graphs with a large number of vertices $N$. Our study is based on computer techniques for small values of $k$ and the use of graphs on alphabets for general $k$. In the former case, the constructions are either Cayley or lift graphs. In the latter case, some infinite families of $(1,1,k)$-mixed graphs are proposed with diameter of the order of $2\log_2 N$.
Prime sum graphs and the induced trees they contain
Published
• View Publication
• BIB
In this paper we show that prime sum graphs on $n$ vertices -- which are graphs on vertex set $\{1,2,...,n\}$ where $ij$ is an edge when $i+j$ is prime -- contain all trees with at most $\exp( c \log n / \log\log n)$ vertices as induced subgraphs. We also prove some results for related graphs, and end with some unsolved problems.
Infinite families of $k$-vertex-critical ($P_5$, $C_5$)-free graphs
Published
• View Publication
• BIB
A graph is $k$-vertex-critical if $χ(G)=k$ but $χ(G-v)<k$ for all $v\in V(G)$. We construct a new infinite families of $k$-vertex-critical $(P_5,C_5)$-free graphs for all $k\ge 6$. Our construction generalizes known constructions for $4$-vertex-critical $P_7$-free graphs and $5$-vertex-critical $P_5$-free graphs and is in contrast to the fact that there are only finitely many $5$-vertex-critical $(P_5,C_5)$-free graphs. In fact, our construction is actually even more well-structured, being $(2P_2,K_3+P_1,C_5)$-free.
Optimization in graphical small cancellation theory
Published in Discrete Mathematics 347(4) (2024), 113842
• View Publication
• BIB
Gromov (2003) constructed finitely generated groups whose Cayley graphs contain all graphs from a given infinite sequence of expander graphs of unbounded girth and bounded diameter-to-girth ratio. These so-called Gromov monster groups provide examples of finitely generated groups that do not coarsely embed into Hilbert space, among other interesting properties. If graphs in Gromov's construction admit graphical small cancellation labellings, then one gets similar examples of Cayley graphs containing all the graphs of the family as isometric subgraphs. Osajda (2020) recently showed how to obtain such labellings using the probabilistic method. In this short note, we simplify Osajda's approach, decreasing the number of generators of the resulting group significantly.
Extremal spectral behavior of weighted random $d$-regular graphs
Analyzing the spectral behavior of random matrices with dependency among entries is a challenging problem. The adjacency matrix of the random $d$-regular graph is a prominent example that has attracted immense interest. A crucial spectral observable is the extremal eigenvalue, which reveals useful geometric properties of the graph. According to the Alon's conjecture, which was verified by Friedman, the (nontrivial) extremal eigenvalue of the random $d$-regular graph is approximately $2\sqrt{d-1}$.
In the present paper, we analyze the extremal spectrum of the random $d$-regular graph (with $d\ge 3$ fixed) equipped with random edge-weights, and precisely describe its phase transition behavior with respect to the tail of edge-weights. In addition, we establish that the extremal eigenvector is always localized, showing a sharp contrast to the unweighted case where all eigenvectors are delocalized. Our method is robust and inspired by a sparsification technique developed in the context of Erdős-Rényi graphs (Ganguly and Nam, '22), which can also be applied to analyze the spectrum of general random matrices whose entries are dependent.