graph
35299 papers tagged with this keyword
The diameter of random Schreier graphs
Published
• View Publication
• BIB
We give a combinatorial proof of the following theorem. Let $G$ be any finite group acting transitively on a set of cardinality $n$. If $S \subseteq G$ is a random set of size $k$, with $k \geq (\log n)^{1+\varepsilon}$ for some $\varepsilon >0$, then the diameter of the corresponding Schreier graph is $O(\log_k n)$ with high probability. Except for the implicit constant, this result is the best possible.
Spectral conditions of pancyclicity for t-tough graphs
Published
• View Publication
• BIB
More than 40 years ago Chvátal introduced a new graph invariant, which he called graph toughness. From then on a lot of research has been conducted, mainly related to the relationship between toughness conditions and the existence of cyclic structures, in particular, determining whether the graph is Hamiltonian and pancyclic. A pancyclic graph is certainly Hamiltonian, but not conversely. Bondy in 1976, however, suggested the "metaconjecture" that almost any nontrivial condition on a graph which implies that the graph is Hamiltonian also implies that the graph is pancyclic. We confirm the Bondy conjecture for t-tough graphs in the case when $t\in \{ 1;2;3\}$ in terms of the edge number, the spectral radius and the signless Laplacian spectral radius of the graph.
Duality for pairs of upward bipolar plane graphs and submodule lattices
Let $G$ and $H$ be acyclic, upward bipolarly oriented plane graphs with the same number $n$ of edges. While $G$ can symbolize a flow network, $H$ has only a controlling role. Let $φ$ and $ψ$ be bijections from $\{1, \dots, n\}$ to the edge set of $G$ and that of $H$, respectively; their role is to define, for each edge of $H$, the corresponding edge of $G$. Let $b$ be an element of an Abelian group $\mathbb A$. An $n$-tuple $(a_1$, $\dots$, $a_n)$ of elements of $\mathbb A$ is a solution of the paired-bipolar-graphs problem $P:=(G,H$, $φ,ψ$, $\mathbb A, b)$ if whenever $a_i$ is the ``all-or-nothing-flow'' capacity of the edge $φ(i)$ for $i=1, \dots, n$ and $\vec e$ is a maximal directed path of $H$, then by fully exploiting the capacities of the edges corresponding to the edges of $\vec e$ and neglecting the rest of the edges of $G$, we have a flow process transporting $b$ from the source (vertex) of $G$ to the sink of $G$. Let $P':=(H',G'$, $ψ',φ'$, $\mathbb A, b)$, where $H'$ and $G'$ are the ``two-outer-facet'' duals of $H$ and $G$, respectively, and $ψ'$ and $φ'$ are defined naturally. We prove that $P$ and $P'$ have the same solutions. This result implies George Hutchinson's self-duality theorem on submodule lattices.
Spectral properties of Cayley graphs over finite commutative rings
Published
• View Publication
• BIB
Let $R$ be a finite commutative ring with unity and $x$ be a non-zero element of $R$. In this paper, we calculate the spectrum and energy of the Cayley graph ${\rm Cay}(R,xR^{*})$, and also compute the energy of their compliment graph. Further, we give necessary and sufficient condition for Cayley graph ${\rm Cay}(R,xR^{*})$ to be Ramanujan.
Combinatorial Curve Neighborhood of the Affine Flag Manifold of Type $A_{n-1}^1$
Let $\mathscr{X}$ be the affine flag manifold of Lie type $A_{n-1}^{(1)}$ where $n \geq 3$ and let $W_{\text{aff}}$ be the associated affine Weyl group. The moment graph for $\mathscr{X}$ encodes the torus fixed points (corresponding to elements of the affine Weyl group $W_{\text{aff}}$) and the torus stable curves in $\mathscr{X}$. Given a fixed point $u\in W_{\text{aff}}$ and a degree $\mathbf{d}=(d_0,d_1,...,d_{n-1})\in \mathbb{Z}_{\geq 0}^{n}$, the combinatorial curve neighborhood is the set of maximal elements in the moment graph of $\mathscr{X}$ which can be reached from $u'\leq u$ by a chain of curves of total degree $\leq \mathbf{d}$. In this paper we give combinatorial formulas and algorithms for calculating these elements in $\mathscr{X}$.
Recursions Satisfied by Families of Determinants with Applications to Resistance Distance
The main contribution of this paper is a six-step semi-automatic algorithm that obtains a recursion satisfied by a family of determinants by systematically and iteratively applying Laplace expansion to the underlying matrix family. The recursion allows explicit computation of the Binet form providing a closed formula for resistance distance between two specified nodes in a family of graphs. This approach is particularly suited for graph families with complex structures; the method is used to prove the 1 over 14 conjectured asymptotic formula for linear 3--trees. Additionally, although the literature on recursive formulas for resistance distances is quite large, the Fibonacci Quarterly and the Proceedings have almost no such results despite the fact that many recursions related to resistance distances involve the Fibonacci numbers. Therefore, a secondary purpose of the paper is to provide a brief introductory survey of graph families, accompanied by figures, Laplacian matrices, and typical recursive results, supported by a modest bibliography of current papers on many relevant graph families, in the hope to involve Fibonaccians in this active and beautiful field.
Robustness of Erdős--Ko--Rado theorems on permutations and perfect matchings
Published
• View Publication
• BIB
The Erdős--Ko--Rado (EKR) theorem and its generalizations can be viewed as classifications of maximum independent sets in appropriately defined families of graphs, such as the Kneser graph $K(n,k)$. In this paper, we investigate the independence number of random spanning subraphs of two other families of graphs whose maximum independent sets satisfy an EKR-type characterization: the derangement graph on the set of permutations in $\mathrm{Sym}(n)$ and the derangement graph on the set $\mathcal{M}_{n}$ of perfect matchings in the complete graph $\mathcal{K}_{2n}$. In both cases, we show there is a sharp threshold probability for the event that the independence number of a random spanning subgraph is equal to that of the original graph. As a useful tool to aid our computations, we obtain a Friedgut--Kalai--Naor (FKN) type theorem on sparse boolean functions whose domain is the vertex set of $\mathcal{M}_{n}$. In particular, we show that boolean functions whose Fourier transforms are highly concentrated on the first two irreducible modules in the $\mathrm{Sym}(2n)$ module $\mathbb{C}[\mathcal{M}_{n}]$, is close to being the characteristic function of a union of maximum independent sets in the derangement graph on perfect matchings.
Graph polynomials: some questions on the edge
Published
• View Publication
• BIB
We raise some questions about graph polynomials, highlighting concepts and phenomena that may merit consideration in the development of a general theory. Our questions are mainly of three types: When do graph polynomials have reduction relations (simple linear recursions based on local operations), perhaps in a wider class of combinatorial objects? How many levels of reduction relations does a graph polynomial need in order to express it in terms of trivial base cases? For a graph polynomial, how are properties such as equivalence and factorisation reflected in the structure of a graph? We illustrate our discussion with a variety of graph polynomials and other invariants. This leads us to reflect on the historical origins of graph polynomials. We also introduce some new polynomials based on partial colourings of graphs and establish some of their basic properties.
On the Weisfeiler-Leman dimension of circulant graphs
A circulant graph is a Cayley graph of a finite cyclic group. The Weisfeiler-Leman-dimension of a circulant graph $X$ with respect to the class of all circulant graphs is the smallest positive integer~$m$ such that the $m$-dimensional Weisfeiler-Leman algorithm correctly tests the isomorphism between $X$ and any other circulant graph. It is proved that for a circulant graph of order $n$ this dimension is less than or equal to $Ω(n)+3$, where $Ω(n)$ is the number of prime divisors of~$n$.
A new condition on dominated pair degree sum for a digraph to be supereulerian
Published
• View Publication
• BIB
A digraph $D$ is supereulerian if $D$ contains a spanning eulerian subdigraph.
For any two vertices $u,v$ in a digraph $D$, if $(u,w),(v,w)\in A(D)$ for some $w\in V(D)$, then we call the pair $\{u, v\}$ dominating; if $(w,u),(w,v)\in A(D)$ for some $w\in V(D)$, then we call the pair $\{u, v\}$ dominated. In 2015, Bang-Jensen and Maddaloni [Journal of graph theory, 79(1) (2015) 8-20]
proved that if a strong digraph $D$ with $n$ vertices satisfies
$d(u) + d(v)\geq 2n -3$ for any pair of nonadjacent vertices $\{u,v\}$ of $D$, then $D$ is supereulerian. In this paper, we study the above degree sum condition for any pair of dominated or dominating nonadjacent vertices of supereulerian digraphs.
On the Elliptic Sombor and Euler Sombor indices of Corona product of certain graphs
Published
• View Publication
• BIB
Elliptic Sombor and Euler Sombor indices are recently defined topological indices using Sombor index. Elliptic sombor index is defined as $ESO(G)=\sum_{uv\in E(G)}(d_u+ d_v)\sqrt{d^2_u+ d^2_v}$ and Euler Sombor index is defined as $EU(G)= \sum_{uv\in E(G)}\sqrt{{d_{u}^2+d_{v}^2}+d_ud_v}$, where $d_u$ and $d_v$ are degrees of vertices $u$ and $v$ in graph $G$. In this article, we compute the elliptic Sombor and Euler Sombor indices of some resultant graphs. Using the operations join and Corona product on standard graphs like path, cycle and complete graphs.
Nondegenerate Turán problems under $(t,p)$-norms
Given integers $r > t \ge 1$ and a real number $p > 0$, the $(t,p)$-norm $\left\lVert \mathcal{H} \right\rVert_{t,p}$ of an $r$-graph $\mathcal{H}$ is the sum of the $p$-th power of the degrees $d_{\mathcal{H}}(T)$ over all $t$-subsets $T \subset V(\mathcal{H})$. We conduct a systematic study of the Turán-type problem of determining $\mathrm{ex}_{t,p}(n,\mathcal{F})$, which is the maximum of $\left\lVert \mathcal{H} \right\rVert_{t,p}$ over all $n$-vertex $\mathcal{F}$-free $r$-graphs $\mathcal{H}$.
We establish several basic properties for the $(t,p)$-norm of $r$-graphs, enabling us to derive general theorems from the recently established framework in~\cite{CL24} that are useful for determining $\mathrm{ex}_{t,p}(n,\mathcal{F})$ and proving the corresponding stability.
We determine the asymptotic value of $\mathrm{ex}_{t,p}(n,H_{F}^{r})$ for all feasible combinations of $(r,t,p)$ and for every graph $F$ with chromatic number greater than $r$, where $H_{F}^{r}$ represents the expansion of $F$. In the case where $F$ is edge-critical and $p \ge 1$, we establish strong stability and determine the exact value of $\mathrm{ex}_{t,p}(n,H_{F}^{r})$ for all sufficiently large $n$. These results extend the seminal theorems of Erdős--Stone--Simonovits, Andrásfai--Erdős--Sós, Erdős--Simonovits, and a classical theorem of Mubayi.
For the $3$-uniform generalized triangle $F_5$, we determine the exact value of $\mathrm{ex}_{2,p}(n,F_5)$ for all $p \ge 1$ and its asymptotic value for all $p \in [1/2, 1]\cup \{k^{-1} \colon k \in 6\mathbb{N}^{+}+\{0,2\}\}$. This extends old theorems of Bollobás, Frankl--Füredi, and a recent result of Balogh--Clemen--Lidický. Our proofs utilize results on the graph inducibility problem, Steiner triple systems, and the feasible region problem introduced by Liu--Mubayi.
Weak recovery, hypothesis testing, and mutual information in stochastic block models and planted factor graphs
Published
• View Publication
• BIB
The stochastic block model is a canonical model of communities in random graphs. It was introduced in the social sciences and statistics as a model of communities, and in theoretical computer science as an average case model for graph partitioning problems under the name of the ``planted partition model.'' Given a sparse stochastic block model, the two standard inference tasks are: (i) Weak recovery: can we estimate the communities with non trivial overlap with the true communities? (ii) Detection/Hypothesis testing: can we distinguish if the sample was drawn from the block model or from a random graph with no community structure with probability tending to $1$ as the graph size tends to infinity?
In this work, we show that for sparse stochastic block models, the two inference tasks are equivalent except at a critical point. That is, weak recovery is information theoretically possible if and only if detection is possible. We thus find a strong connection between these two notions of inference for the model. We further prove that when detection is impossible, an explicit hypothesis test based on low degree polynomials in the adjacency matrix of the observed graph achieves the optimal statistical power. This low degree test is efficient as opposed to the likelihood ratio test, which is not known to be efficient. Moreover, we prove that the asymptotic mutual information between the observed network and the community structure exhibits a phase transition at the weak recovery threshold.
Our results are proven in much broader settings including the hypergraph stochastic block models and general planted factor graphs. In these settings we prove that the impossibility of weak recovery implies contiguity and provide a condition which guarantees the equivalence of weak recovery and detection.
The sl(2)-weight system at c = 3/8 for graphs
Published in European Journal of Combinatorics 127 (2025)
• View Publication
• BIB
We construct a 4-invariant that extends a specialization of the $\mathfrak{sl}(2)$-weight system at $c = \frac 38$, and satisfies a simple deletion-contraction relation.
Maker-Breaker resolving game played on corona products of graphs
Published in Aequationes Math. 99 (2025) 1221-1233
• View Publication
• BIB
The Maker-Breaker resolving game is a game played on a graph $G$ by Resolver and Spoiler. The players taking turns alternately in which each player selects a not yet played vertex of $G$. The goal of Resolver is to select all the vertices in a resolving set of $G$, while that of Spoiler is to prevent this from happening. The outcome $o(G)$ of the game played is one of $\mathcal{R}$, $\mathcal{S}$, and $\mathcal{N}$, where $o(G)=\mathcal{R}$ (resp.\ $o(G)=\mathcal{S}$), if Resolver (resp.\ Spoiler) has a winning strategy no matter who starts the game, and $o(G)=\mathcal{N}$, if the first player has a winning strategy. In this paper, the game is investigated on corona products $G\odot H$ of graphs $G$ and $H$. It is proved that if $o(H)\in\{\mathcal{N}, \mathcal{S}\}$, then $o(G\odot H) = \mathcal{S}$. No such result is possible under the assumption $o(H) = \mathcal{R}$. It is proved that $o(G\odot P_k) = \mathcal{S}$ if $k=5$, otherwise $o(G\odot P_k) = \mathcal{R}$, and that $o(G\odot C_k) = \mathcal{S}$ if $k=3$, otherwise $o(G\odot C_k) = \mathcal{R}$. Several results are also given on corona products in which the second factor is of diameter at most $2$.
Some Cases of the Erdős-Lovász Tihany Conjecture for Claw-free Graphs
Published
• View Publication
• BIB
The Erdős-Lovász Tihany Conjecture states that any $G$ with chromatic number $χ(G) = s + t - 1 > ω(G)$, with $s,t \geq 2$ can be split into two vertex-disjoint subgraphs of chromatic number $s, t$ respectively. We prove this conjecture for pairs $(s, t)$ if $t \leq s + 2$, whenever $G$ has a $K_s$, and for pairs $(s, t)$ if $t \leq 4 s - 3$, whenever $G$ contains a $K_s$ and is claw-free. We also prove the Erdős Lovász Tihany Conjecture for the pair $(3, 10)$ for claw-free graphs.
Partition strategies for the Maker-Breaker domination game
Published
• View Publication
• BIB
The Maker-Breaker domination game is a positional game played on a graph by two players called Dominator and Staller. The players alternately select a vertex of the graph that has not yet been chosen. Dominator wins if at some point the vertices she has chosen form a dominating set of the graph. Staller wins if Dominator cannot form a dominating set. Deciding if Dominator has a winning strategy has been shown to be a PSPACE-complete problem even when restricted to chordal or bipartite graphs. In this paper, we consider strategies for Dominator based on partitions of the graph into basic subgraphs where Dominator wins as the second player. Using partitions into cycles and edges (also called perfect [1,2]-factors), we show that Dominator always wins in regular graphs and that deciding whether Dominator has a winning strategy as a second player can be computed in polynomial time for outerplanar and block graphs. We then study partitions into subgraphs with two universal vertices, which is equivalent to considering the existence of pairing dominating sets with adjacent pairs. We show that in interval graphs, Dominator wins if and only if such a partition exists. In particular, this implies that deciding whether Dominator has a winning strategy playing second is in NP for interval graphs. We finally provide an algorithm in $n^{k+3}$ for $k$-nested interval graphs (i.e. interval graphs with at most $k$ intervals included one in each other).
State Transfer and Readout Times for Trees of Diameter 4
Published
• View Publication
• BIB
We consider the state transfer properties of continuous time quantum walks on trees of diameter 4. We characterize all pairs of strongly cospectral vertices in trees of diameter 4, finding that they fall into pairs of three different types. For each type, we construct an infinite family of diameter 4 trees for which there is pretty good state transfer between the pair of strongly cospectral vertices. Moreover, for two of those types, for each tree in the infinite family, we give an explicit sequence of readout times at which the fidelity of state transfer converges to $1$. For strongly cospectral vertices of the remaining type, we identify a sequence of trees and explicit readout times so that the fidelity of state transfer between the strongly cospectral vertices approaches $1.$
We also prove a result of independent interest: for a graph with the property that the fidelity of state transfer between a pair of vertices at time $t_k$ converges to $1$ as $k \rightarrow \infty,$ then the derivative of the fidelity at $t_k$ converges to $0$ as $k \rightarrow \infty. $
Diverse beam search to find densest-known planar unit distance graphs
Published
• View Publication
• BIB
This paper addresses the problem of determining the maximum number of edges in a unit distance graph (UDG) of $n$ vertices using computer search. An unsolved problem of Paul Erdős asks the maximum number of edges $u(n)$ a UDG of $n$ vertices can have. Those UDGs that attain $u(n)$ are called "maximally dense." In this paper, we seek to demonstrate a computer algorithm to generate dense UDGs for vertex counts up to at least 100. Via beam search with an added visitation metric, our algorithm finds all known maximally dense UDGs up to isomorphism at the push of a button. In addition, for $15 < n$, where $u(n)$ is unknown, i) the algorithm finds all previously published densest UDGs up to isomorphism for $15 < n \le 30$, and ii) the rate of growth of $u(n)/n$ remains similar for $30 < n$. The code and database of over 60 million UDGs found by our algorithm can be found at https://codeberg.org/zsamboki/dbs-udg.
A note on the threshold numbers of cycles
Published in J. Combin. Math. Combin. Comput., 126:241-246, 2025
• View Publication
• BIB
A graph $G=(V,E)$ is said to be a \textit{$k$-threshold graph} with \textit{thresholds} $θ_1<θ_2<...<θ_k$ if there is a map $r: V \longrightarrow \mathbb{R}$ such that $uv\in E$ if and only if $θ_i\le r(u)+r(v)$ holds for an odd number of $i\in [k]$. The \textit{threshold number} of $G$, denoted by $Θ(G)$, is the smallest positive integer $k$ such that $G$ is a $k$-threshold graph. In this paper, we determine the exact threshold numbers of cycles by proving
\[ Θ(C_n)=\begin{cases}
1 & if\ n=3,
2 & if\ n=4,
4 & if\ n\ge 5,
\end{cases}
\]
where $C_n$ is the cycle with $n$ vertices.