graph
35252 papers tagged with this keyword
Random cliques in random graphs revisited
We study the distribution of the set of copies of some given graph $H$ in the random graph $G(n,p)$, focusing on the case when $H = K_r$. Our main results capture the 'leading term' in the difference between this distribution and the 'independent hypergraph model', where (in the case $H = K_r$) each copy is present independently with probability $π= p^{\binom{r}{2}}$. As a concrete application, we derive a new upper bound on the number of $K_r$-factors in $G(n,p)$ above the threshold for such factors to appear.
We will prove our main results in a much more general setting, so that they also apply to random hypergraphs, and also (for example) to the case when $p$ is constant and $r = r(n) \sim 2\log_{1/p}(n)$.
Causal Models for Growing Networks
Real-world networks grow over time; statistical models based on node exchangeability are not appropriate. Instead of constraining the structure of the \textit{distribution} of edges, we propose that the relevant symmetries refer to the \textit{causal structure} between them. We first enumerate the 96 causal directed acyclic graph (DAG) models over pairs of nodes (dyad variables) in a growing network with finite ancestral sets that are invariant to node deletion. We then partition them into 21 classes with ancestral sets that are closed under node marginalization. Several of these classes are remarkably amenable to distributed and asynchronous evaluation. As an example, we highlight a simple model that exhibits flexible power-law degree distributions and emergent phase transitions in sparsity, which we characterize analytically. With few parameters and much conditional independence, our proposed framework provides natural baseline models for causal inference in relational data.
On the Number of Disconnected Character Degree Graphs Satisfying Pálfy's Inequality
Let $G$ be a finite solvable group with disconnected character degree graph $Δ(G)$. Under these conditions, it follows from a result of Pálfy that $Δ(G)$ consists of two connected components. Another result of Pálfy's gives an inequality relating the sizes of these two connected components. In this paper, we calculate the number of possible component size pairs that satisfy Pálfy's inequality. Additionally, for a fixed positive integer $n$, the number of distinct graph orders for which exactly $n$ component size pairs satisfy Pálfy's inequality is shown.
Stiffness matrices of graph blow-ups and the $d$-dimensional algebraic connectivity of complete bipartite graphs
The $d$-dimensional algebraic connectivity $a_d(G)$ of a graph $G=(V,E)$ is a quantitative measure of its $d$-dimensional rigidity, defined in terms of the eigenvalues of stiffness matrices associated with different embeddings of the graph into $\mathbb{R}^d$. For a function $a:V\to \mathbb{N}$, we denote by $G^{(a)}$ the $a$-blow-up of $G$, that is, the graph obtained from $G$ by replacing every vertex $v\in V$ with an independent set of size $a(v)$. We determine a relation between the stiffness matrix eigenvalues of $G^{(a)}$ and the eigenvalues of certain weighted stiffness matrices associated with the original graph $G$. This resolves, as a special case, a conjecture of Lew, Nevo, Peled and Raz on the stiffness eigenvalues of balanced blow-ups of the complete graph.
As an application, we obtain a lower bound on the $d$-dimensional algebraic connectivity of complete bipartite graphs. More precisely, we prove the following: Let $K_{n,m}$ be the complete bipartite graph with sides of size $n$ and $m$ respectively. Then, for every $d\ge 1$ there exists $c_d>0$ such that, for all $n,m\ge d+1$ with $n+m\ge \binom{d+2}{2}$, $a_d(K_{n,m})\ge c_d\cdot \min\{n,m\}$. This bound is tight up to the multiplicative constant. In the special case $d=2$, $n=m=3$, we obtain the improved bound $a_2(K_{3,3})\ge 2(1-λ)$, where $λ\approx 0.6903845$ is the unique positive real root of the polynomial $176 x^4-200 x^3+47 x^2+18 x-9$, which we conjecture to be tight.
The spanning tree spectrum: improved bounds and simple proofs
The number of spanning trees of a graph $G$, denoted $τ(G)$, is a well studied graph parameter with numerous connections to other areas of mathematics. In a recent remarkable paper, answering a question of Sedláček from 1969, Chan, Kontorovich and Pak showed that $τ(G)$ takes at least $1.1103^n$ different values across simple (and planar) $n$-vertex graphs $G$, for large enough $n$. We give a very short, purely combinatorial proof that at least $1.55^n$ values are attained. We also prove that exponential growth can be achieved with regular graphs, determining the growth rate in another problem first raised by Sedláček in the late 1960's. We further show that the following modular dual version of the result holds. For any integer $N$ and any $u < N$ there exists a planar graph on $O(\log N)$ vertices whose number of spanning trees is $u$ modulo $N$.
Herscovici Conjecture on Pebbling
Consider a configuration of pebbles on the vertices of a connected graph. A pebbling move is to remove two pebbles from a vertex and to place one pebble at the neighbouring vertex of the vertex from which the pebbles are removed.
For a positive integer $t$, with every configuration of $π_t(G)$(least positive integer) pebbles, if we can transfer $t$ pebbles to any target through a number of pebbling moves then $π_t(G)$ is called the $t$-pebbling number of $G$.
We discuss the computation of the $t$-pebbling number, the $2t-$ pebbling property and Herscovici conjecture considering total graphs.
\bigskip \noindent Keywords: pebbling moves, $t$- pebbling number, $2t$-pebbling property, Herscovici conjecture, total graphs.
Directed treewidth is closed under taking butterfly minors
Butterfly minors are a generalisation of the minor containment relation for undirected graphs to directed graphs. Many results in directed structural graph theory use this notion as a central tool next to directed treewidth, a generalisation of the width measure treewidth to directed graphs. Adler [JCTB'07] showed that the directed treewidth is not closed under taking butterfly minors. Over the years, many alternative definitions for directed treewidth appeared throughout the literature, equivalent to the original definition up to small functions. In this paper, we consider the major ones and show that not all of them share the problem identified by Adler.
On cores of distance-regular graphs
We look at the question of which distance-regular graphs are core-complete, meaning they are isomorphic to their own core or have a complete core. We build on Roberson's homomorphism matrix approach by which method he proved the Cameron-Kazanidis conjecture that strongly regular graphs are core-complete. We develop the theory of the homomorphism matrix for distance-regular graphs of diameter $d$.
We derive necessary conditions on the cosines of a distance-regular graph for it to admit an endomorphism into a subgraph of smaller diameter $e<d$. As a consequence of these conditions, we show that if $X$ is a primitive distance-regular graph where the subgraph induced by the set of vertices furthest away from a vertex $v$ is connected, any retraction of $X$ onto a diameter-$d$ subgraph must be an automorphism, which recovers Roberson's result for strongly regular graphs as a special case for diameter $2$.
We illustrate the application of our necessary conditions through computational results. We find that no antipodal, non-bipartite distance-regular graphs of diameter 3, with degree at most $50$ admits an endomorphism to a diameter 2 subgraph. We also give many examples of intersection arrays of primitive distance-regular graphs of diameter $3$ which are core-complete. Our methods include standard tools from the theory of association schemes, particularly the spectral idempotents.
Keywords: algebraic graph theory, distance-regular graphs, association schemes, graph homomorphisms
Intersections of graphs and $χ$-boundedness
Published
• View Publication
• BIB
Given $k$ graphs $G_{1}, \ldots, G_{k}$, their intersection is the graph $(\cap_{i\in [k]}V(G_{i}), \cap_{i\in [k]}E(G_{i}))$. Given $k$ graph classes $\mathcal{G}_{1}, \ldots , \mathcal{G}_{k}$, we call the class $\{G: \forall i \in[k], \exists G_{i} \in \mathcal{G}_{i} \text{ such that } G=G_{1}\cap \ldots \cap G_{k}\}$ the graph-intersection of $\mathcal{G}_{1}, \ldots , \mathcal{G}_{k}$. The main motivation for the work presented in this paper is to try to understand under which conditions graph-intersection preserves $χ$-boundedness. We consider the following two questions:
Which graph classes have the property that their graph-intersection with every $χ$-bounded class of graphs is $χ$-bounded? We call such a class intersectionwise $χ$-guarding. We prove that classes of graphs which admit a certain kind of decomposition are intersectionwise $χ$-guarding. We provide necessary conditions that a finite set of graphs $\mathcal{H}$ should satisfy if the class of $\mathcal{H}$-free graphs is intersectionwise $χ$-guarding, and we characterize the intersectionwise $χ$-guarding classes which are defined by a single forbidden induced subgraph.
Which graph classes have the property that, for every positive integer $k$, their $k$-fold graph-intersection is $χ$-bounded? We call such a class intersectionwise self-$χ$-guarding. We study intersectionwise self-$χ$-guarding classes which are defined by a single forbidden induced subgraph, and we prove a result which allows us construct intersectionwise self-$χ$-guarding classes from known intersectionwise $χ$-guarding classes.
Reconstructing graphs with subgraph compositions
Published
• View Publication
• BIB
We generalize the problem of reconstructing strings from their substring compositions first introduced by Acharya et al. in 2015 motivated by polymer-based advanced data storage systems utilizing mass spectrometry. Namely, we see strings as labeled path graphs, and as such try to reconstruct labeled graphs. For a given integer t, the subgraph compositions contain either vectors of labels for each connected subgraph of order t (t-multiset-compositions) or the sum of all labels of all connected subgraphs of order t (t-sum-composition). We ask whether, given a graph of which we know the structure and an oracle whom you can query for compositions, we can reconstruct the labeling of the graph. If it is possible, then the graph is reconstructable; otherwise, it is confusable, and two labeled graphs with the same compositions are called equicomposable. We prove that reconstructing through a brute-force algorithm is wildly inefficient, before giving methods for reconstructing several graph classes using as few compositions as possible. We also give negative results, finding the smallest confusable graphs and trees, as well as families with a large number of equicomposable non-isomorphic graphs. An interesting result occurs when twinning one leaf of a path: some paths are confusable, creating a twin out of a leaf sees the graph alternating between reconstructable and confusable depending on the parity of the path, and creating a false twin out of a leaf makes the graph reconstructable using only sum-compositions in all cases.
Strong Geometry : Knots
In this paper, we introduce the notion of strong geometry, a structure composed by both the chirotope of a set of points X in the d-dimensional space and the wedge chirotope which is the specific adjoint chirotope induced by the hyperplanes spanned by X. We present various properties relating these two chirotopes, for instance, by introducing the witness chirotope, we are able to give a formula expressing the wedge chirotope in terms of the usual chirotope. With this on hand, we answer positively a strong geometry version of a question due to M. Las Vergnas about reconstructing polygonal knots via chirotopes. Moreover, we also show that linear spatial graphs are determined by their corresponding strong geometries.
Full classification of anti-van der Waerden numbers of graph products of forests
The anti-van der Waerden number of a graph $G$ is the fewest number of colors needed to guarantee a rainbow $3$-term arithmetic progression in $G$, denoted $\operatorname{aw}(G,3)$. It is known that the anti-van der Waerden number of graph products is $3 \le \operatorname{aw}(G\square H,3)\le 4$. Previous work has been done on classifying families of graph products into $\operatorname{aw}(G\square H,3) = 3$ and $\operatorname{aw}(G\square H,3) = 4$. Some of these families include the product of two paths, the product of paths and cycles, the product of two cycles, and the product of odd cycles with any graph. Recently, a partial characterization of the product of two trees was established. This paper completes the characterization for $\operatorname{aw}(T\square T',3)$ where $T$ and $T'$ are trees. Moreover, this result extends to a full classification of products of forests.
Preparing graph states forbidding a vertex-minor
Measurement based quantum computing is preformed by adding non-Clifford measurements to a prepared stabilizer states. Entangling gates like CZ are likely to have lower fidelities due to the nature of interacting qubits, so when preparing a stabilizer state, we wish to minimize the number of required entangling states. This naturally introduces the notion of CZ-distance.
Every stabilizer state is local-Clifford equivalent to a graph state, so we may focus on graph states $\left\vert G \right\rangle$. As a lower bound for general graphs, there exist $n$-vertex graphs $G$ such that the CZ-distance of $\left\vert G \right\rangle$ is $Ω(n^2 / \log n)$. We obtain significantly improved bounds when $G$ is contained within certain proper classes of graphs. For instance, we prove that if $G$ is a $n$-vertex circle graph with clique number $ω$, then $\left\vert G \right\rangle$ has CZ-distance at most $4n \log ω+ 7n$. We prove that if $G$ is an $n$-vertex graph of rank-width at most $k$, then $\left\vert G \right\rangle$ has CZ-distance at most $(2^{2^{k+1}} + 1) n$. More generally, this is obtained via a bound of $(k+2)n$ that we prove for graphs of twin-width at most $k$.
We also study how bounded-rank perturbations and low-rank cuts affect the CZ-distance. As a consequence, we prove that Geelen's Weak Structural Conjecture for vertex-minors implies that if $G$ is an $n$-vertex graph contained in some fixed proper vertex-minor-closed class of graphs, then $\left\vert G \right\rangle$ has CZ-distance at most $O(n\log n)$. Since graph states of locally equivalent graphs are local Clifford equivalent, proper vertex-minor-closed classes of graphs are natural and very general in this setting.
Sufficient conditions for the variation of toughness under the distance spectral in graphs involving minimum degree
The concept of graph toughness was first introduced in 1973. In 1995, scholars first explored the lower bound of the toughness of connected d-regular graphs with respect to d and the second largest eigenvalue of the adjacency matrix. The concept of the variation of toughness was first introduced in 1988. The variation of toughness is defined as tau(G) = min{|S|/(c(G-S)-1)}. In 2025, Chen, Fan, and Lin provided sufficient conditions for a graph to be t-tough in terms of the minimum degree and the distance spectral radius. Inspired by this, we propose a sufficient condition for a graph to be tau-tough in terms of minimum degree and distance spectral radius, and provide the corresponding proof, where |S| and c(G-S)-1 are mutually divisible.
Hypergraphs of arbitrary uniformity with vanishing codegree Turán density
Published
• View Publication
• BIB
The codegree Turán density $π_{\text{co}}(F)$ of a $k$-uniform hypergraph (or $k$-graph) $F$ is the infimum over all $d$ such that a copy of $F$ is contained in any sufficiently large $n$-vertex $k$-graph $G$ with the property that any $(k-1)$-subset of $V(G)$ is contained in at least $dn$ edges. The problem of determining $π_{\text{co}}(F)$ for a $k$-graph $F$ is in general very difficult when $k \geq 3$, and there were previously very few nontrivial examples of $k$-graphs $F$ for which $π_{\text{co}}(F)$ was known when $k \geq 4$.
In this paper, we prove that $C_\ell^{(k)-}$, the $k$-uniform tight cycle of length $\ell$ minus an edge, has vanishing codegree Turán density if and only if $\ell \equiv 0, \pm 1 \pmod{k}$ when $\ell \geq k + 2$. This generalises a result of Piga, Sales and Schülke, who proved that $π_\text{co}(C_\ell^{(3)-}) = 0$ when $\ell \geq 5$. The method used to prove that $π_\text{co}(C_\ell^{(k)-}) = 0$ when $\ell \equiv \pm 1 \pmod{k}$ and $\ell \geq 2k - 1$ in fact gives a rather larger class of $k$-graphs with vanishing codegree Turán density. We also answer a question of Piga and Schülke by proving that another family of $k$-graphs, studied by them, has vanishing codegree Turán density.
$(q,t)$-chromatic symmetric functions
By using level one polynomial representations of affine Hecke algebras of type $A$, we obtain a $(q,t)$-analogue of the chromatic symmetric functions of unit interval graphs which generalizes Syu Kato's formula for the chromatic symmetric functions of unit interval graphs. We show that at $q=1$, the $(q,t)$-chromatic symmetric functions essentially reduce to the chromatic quasisymmetric functions defined by Shareshian-Wachs, which in particular gives an algebraic proof of Kato's formula. We also give an explicit formula of the $(q,t)$-chromatic symmetric functions at $q=\infty$, which leads to a probability theoretic interpretation of $e$-expansion coefficients of chromatic quasisymmetric functions used in our proof of the Stanley-Stembridge conjecture.
Moreover, we observe that the $(q,t)$-chromatic symmetric functions are multiplicative with respect to certain deformed multiplication on the ring of symmetric functions. We give a simple description of such multiplication in terms of the affine Hecke algebras of type $A$. We also obtain a recipe to produce $(q,t)$-chromatic symmetric functions from chromatic quasisymmetric functions, which actually makes sense for any oriented graphs.
Spectral condition for $k$-factor-criticality in $t$-connected graphs
Published
• View Publication
• BIB
A graph $G$ is called $k$-factor-critical if $G-S$ has a perfect matching for every $S\subseteq G$ with $|S|=k$. A connected graph $G$ is called $t$-connected if it has more than $t$ vertices and remains connected whenever fewer than $t$ vertices are removed. We give a condition on the number of edges and a condition on the spectral radius for $k$-factor-criticality in $t$-connected graphs.
Normal approximation for number of edges in random intersection graphs
The random intersection graph model $\mathcal G(n,m,p)$ is considered. Due to substantial edge dependencies, studying even fundamental statistics such as the subgraph count is significantly more challenging than in the classical binomial model $\mathcal G(n,p)$. First, we establish normal approximation bound in both the Wasserstein and the Kolmogorov distances for a class of local statistics on $\mathcal G(n,m,p)$. Next, we apply these results to derive such bounds for the standardised number of edges, and determine the necessary and sufficient conditions for its asymptotic normality. We develop a new method that provides a combinatorial interpretation and facilitates the estimation of analytical expressions related to general distance bounds. In particular, this allows us to control the behaviour of central moments of subgraph existence indicators. The presented method can also be extended to count copies of subgraphs larger than a single edge.
A local limit theorem for the edge counts of random induced subgraphs of a random graph
Consider a `dense' Erdős--Rényi random graph model $G=G_{n,M}$ with $n$ vertices and $M$ edges, where we assume the edge density $M/\binom{n}{2}$ is bounded away from 0 and 1. Fix $k=k(n)$ with $k/n$ bounded away from 0 and~1, and let $S$ be a random subset of size $k$ of the vertices of $G$. We show that with probability $1-\exp(-n^{Ω(1)})$, $G$ satisfies both a central limit theorem and a local limit theorem for the empirical distribution of the edge count $e(G[S])$ of the subgraph of $G$ induced by $S$, where the distribution is over uniform random choices of the $k$-set $S$.
Two-block paths in oriented graphs of large semidegree
Published
• View Publication
• BIB
We study the existence of oriented paths with two blocks in oriented graphs under semidegree conditions. A block of an oriented path is a maximal directed subpath. Given positive integers $k$ and $\ell$ with $k/2\le \ell < k$, we establish a semidegree function that guarantees the containment of every oriented path with two blocks of sizes $\ell$ and $k-\ell$. As a corollary, we show that every oriented graph with all in- and out-degrees at least $3k/4$ contains every two-block path with $k$ arcs. Our results extend previous work on Stein's conjecture and related problems concerning oriented paths.