graph
34516 papers tagged with this keyword
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$.
A Resolution of the McCarty Conjecture
The McCarty Conjecture states that any McCarty Matrix (an $n\times n$ matrix $A$ with positive integer entries and each of the $2n$ row and column sums equal to $n$), can be additively decomposed into two other matrices, $B$ and $C$, such that $B$ has row and column sumsets both equal to $\{1, 2,... n\}$, and $C$ has row and column sumsets both equal to $\{0, 1,... n-1\}$. The problem can also be formulated in terms of bipartite graphs. In this paper we use probabilistic methods to resolve this conjecture.
Two-block paths in oriented graphs of large semidegree
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.
Classical Simulation of Quantum CSP Strategies
We prove that any perfect quantum strategy for the two-prover game encoding a constraint satisfaction problem (CSP) can be simulated via a perfect classical strategy with an extra classical communication channel, whose size depends only on $(i)$ the size of the shared quantum system used in the quantum strategy, and $(ii)$ structural parameters of the CSP template. The result is obtained via a combinatorial characterisation of perfect classical strategies with extra communication channels and a geometric rounding procedure for the projection-valued measurements involved in quantum strategies. A key intermediate step of our proof is to establish that the gap between the classical chromatic number of graphs and its quantum variant is bounded when the quantum strategy involves shared quantum information of bounded size.
On the Quantum Chromatic Gap
The largest known gap between quantum and classical chromatic number of graphs, obtained via quantum protocols for colouring Hadamard graphs based on the Deutsch--Jozsa algorithm and the quantum Fourier transform, is exponential. We put forth a quantum pseudo-telepathy version of Khot's $d$-to-$1$ Games Conjecture and prove that, conditional to its validity, the gap is unbounded: There exist graphs whose quantum chromatic number is $3$ and whose classical chromatic number is arbitrarily large. Furthermore, we show that the existence of a certain form of pseudo-telepathic XOR games would imply the conjecture and, thus, the unboundedness of the quantum chromatic gap. As two technical steps of our proof that might be of independent interest, we establish a quantum adjunction theorem for Pultr functors between categories of relational structures, and we prove that the Dinur--Khot--Kindler--Minzer--Safra reduction, recently used for proving the $2$-to-$2$ Games Theorem, is quantum complete.
Recent Progress in Ramsey Theory
The classical Ramsey numbers $r(s,t)$ denote the minimum $n$ such that every red-blue coloring of the edges of the complete graph $K_n$ contains either a red clique of order $s$ or a blue clique of order $t$. These quantities are the centerpiece of graph Ramsey Theory, and have been studied for almost a century. The Erdős-Szekeres Theorem (1935) shows that for each $s \geq 2$, $r(s,t) = O(t^{s - 1})$ as $t \rightarrow \infty$. We introduce a new approach using pseudorandom graphs which shows $r(4,t) = Ω(t^3/(\log t)^4)$ as $t \rightarrow \infty$, answering an old conjecture of Erdős, and we illustrate how to apply this approach to many other Ramsey and related combinatorial problems.
Counting independent sets in expanding bipartite regular graphs
In this paper we provide an asymptotic expansion for the number of independent sets in a general class of regular, bipartite graphs satisfying some vertex-expansion properties, extending results of Jenssen and Perkins on the hypercube and strengthening results of Jenssen, Perkins and Potukuchi. More precisely, we give an expansion of the independence polynomial of such graphs using a polymer model and the cluster expansion. In addition to the number of independent sets, our results yields information on the typical structure of (weighted) independent sets in such graphs. The class of graphs we consider covers well-studied cases like the hypercube or the middle layers graph, and we show further that it includes any Cartesian product of bipartite, regular base graphs of bounded size. To this end, we prove strong bounds on the vertex expansion of bipartite and regular Cartesian product graphs, which might be of independent interest.
Persistent homology of Morse decomposition in Markov chains based on combinatorial multivector fields
In this paper, we introduce a novel persistence framework for Morse decompositions in Markov chains using combinatorial multivector fields. Our approach provides a structured method to analyze recurrence and stability in finite-state stochastic processes. In our setting filtrations are governed by transition probabilities rather than spatial distances. We construct multivector fields directly from Markov transition matrices, treating states and transitions as elements of a directed graph. By applying Morse decomposition to the induced multivector field, we obtain a hierarchical structure of invariant sets that evolve under changes in transition probabilities. This structure naturally defines a persistence diagram, where each Morse set is indexed by its topological and dynamical complexity via homology and Conley index dimensions.
On Finding All Connected Maximum-Sized Common Subgraphs in Multiple Labeled Graphs
We present an exact algorithm for computing all common subgraphs with the maximum number of vertices across multiple graphs. Our approach is further extended to handle the connected Maximum Common Subgraph (MCS), identifying the largest common subgraph in terms of either vertices or edges across multiple graphs, where edges or vertices may additionally be labeled to account for possible atom types or bond types, a classical labeling used in molecular graphs. Our approach leverages modular product graphs and a modified Bron-Kerbosch algorithm to enumerate maximal cliques, ensuring all intermediate solutions are retained. A pruning heuristic efficiently reduces the modular product size, improving computational feasibility. Additionally, we introduce a graph ordering strategy based on graph-kernel similarity measures to optimize the search process. Our method is particularly relevant for bioinformatics and cheminformatics, where identifying conserved structural motifs in molecular graphs is crucial. Empirical results on molecular datasets demonstrate that our approach is scalable and fast.
Graphs generated from minimal sets of finite point-set topologies
In 1985, Golumbic and Scheinerman established an equivalence between comparability graphs and containment graphs, graphs whose vertices represent sets, with edges indicating set containment. A few years earlier, McMorris and Zaslavsky characterized upper bound graphs, those derived from partially ordered sets where two elements share an edge if they have a common upper bound, by a specific edge clique cover condition. In this paper, we introduce a unifying framework for these results using finite point set topologies. Given a finite topology, we define a graph whose vertices correspond to its elements, with edges determined by intersections of their minimal containing sets, where intersection is understood in terms of the topological separation axioms. This construction yields a natural sequence of graph classes, one for each separation axiom, that connects and extends both classical results in a structured and intuitive way.
When do graph covers preserve the clique dynamics of infinite graphs?
We investigate for which classes of (potentially infinite) graphs the clique dynamics is cover stable, i. e., when clique convergence/divergence is preserved under triangular covering maps. We first present an instructive counterexample: a clique convergent graph which covers a clique divergent graph and which is covered by a clique divergent graph. Based on this we then focus on local conditions (i. e., conditions on the neighbourhoods of vertices) and show that the following are sufficient to imply cover stability: local girth $\geq 7$ and local minimum degree $\geq 2$; being locally cyclic and of minimum degree $\geq 6$.
The Terwilliger algebra of digraphs I -- Hamming digraph $H^*(d,3)$
In the present paper, we define the Terwilliger algebra of digraphs. Then, we determine the irreducible modules of the Terwilliger algebra of a Hamming digraph $H^*(d,3)$. As is well known, the representation of the Terwilliger algebra of a binary Hamming graph $H(d,2)$ is closely related to that of the Lie algebra $\mathit{sl}_2(\mathbb{C})$. We show that in the case of $H^*(d,3)$, it is related to that of the Lie algebra $\mathit{sl}_3(\mathbb{C})$. We also identify the Terwilliger algebra of $H^*(d,3)$ as the $d$ symmetric tensor algebra of ${\rm Mat}_3(\mathbb{C})$.
On the second-largest modulus among the eigenvalues of a power hypergraph
It is well known that the algebraic multiplicity of an eigenvalue of a graph (or real symmetric matrix) is equal to the dimension of its corresponding linear eigen-subspace, also known as the geometric multiplicity. However, for hypergraphs, the relationship between these two multiplicities remains an open problem. For a graph $G=(V,E)$ and $k \geq 3$, the $k$-power hypergraph $G^{(k)}$ is a $k$-uniform hypergraph obtained by adding $k-2$ new vertices to each edge of $G$, who always has non-real eigenvalues. In this paper, we determine the second-largest modulus $Λ$ among the eigenvalues of $G^{(k)}$, which is indeed an eigenvalue of $G^{(k)}$. The projective eigenvariety $\mathbb{V}_Λ$ associated with $Λ$ is the set of the eigenvectors of $G^{(k)}$ corresponding to $Λ$ considered in the complex projective space. We show that the dimension of $\mathbb{V}_Λ$ is zero, i.e, there are finitely many eigenvectors corresponding to $Λ$ up to a scalar. We give both the algebraic multiplicity of $Λ$ and the total multiplicity of the eigenvector in $\mathbb{V}_Λ$ in terms of the number of the weakest edges of $G$. Our result show that these two multiplicities are equal.
Matchgate signatures under variable permutations
In this article, we give a sufficient and necessary condition for determining whether a matchgate signature retains its property under a certain variable permutation, which can be checked in polynomial time. We also define the concept of permutable matchgate signatures, and use it to erase the gap between Pl-\#CSP and \#CSP on planar graphs in the previous study. We provide a detailed characterization of permutable matchgate signatures as well, by presenting their relation to symmetric matchgate signatures. In addition, we prove a dichotomy for Pl-$\#R_D$-CSP where $D\ge 3$ is an integer.
Cell Classification of Gelfand $S_n$-Graphs
Kazhdan and Lusztig introduced the $W$-graphs, which represent the multiplication action of the standard basis on the canonical bais in the Iwahori-Hecke algebra. In the Hecke algebra module, Marberg defined two generalied $W$-graphs, called the Gelfand $W$-graphs. The classification of the molecules of the type $A$ Gelfand $S_n$-graphs are determined by two RSK-like insertion algorithms. We finish the classification of cells by proving that every molecule in the $S_n$-graphs is indeed a cell.
On Supports for graphs of bounded genus
Let $(X,\mathcal{E})$ be a hypergraph. A support is a graph $Q$ on $X$ such that for each $E\in\mathcal{E}$, the subgraph of $Q$ induced on the elements in $E$ is connected. We consider the problem of constructing a support for hypergraphs defined by connected subgraphs of a host graph. For a graph $G=(V,E)$, let $\mathcal{H}$ be a set of connected subgraphs of $G$. Let the vertices of $G$ be partitioned into two sets the \emph{terminals} $\mathbf{b}(V)$ and the \emph{non-terminals} $\mathbf{r}(V)$. We define a hypergraph on $\mathbf{b}(V)$, where each $H\in\mathcal{H}$ defines a hyperedge consisting of the vertices of $\mathbf{b}(V)$ in $H$.
We also consider the problem of constructing a support for the \emph{dual hypergraph} - a hypergraph on $\mathcal{H}$ where each $v\in \mathbf{b}(V)$ defines a hyperedge consisting of the subgraphs in $\mathcal{H}$ containing $v$. In fact, we construct supports for a common generalization of the primal and dual settings called the \emph{intersection hypergraph}.
As our main result, we show that if the host graph $G$ has bounded genus and the subgraphs in $\mathcal{H}$ satisfy a condition of being \emph{cross-free}, then there exists a support that also has bounded genus. Our results are a generalization of the results of Raman and Ray (Rajiv Raman, Saurabh Ray: Constructing Planar Support for Non-Piercing Regions. Discret. Comput. Geom. 64(3): 1098-1122 (2020)).
Our techniques imply a unified analysis for packing and covering problems for hypergraphs defined on surfaces of bounded genus. We also describe applications of our results for hypergraph colorings.
Unavoidable induced subgraphs of large and infinite $2$-edge-connected graphs
In 1930, Ramsey proved that every large graph contains either a large clique or a large edgeless graph as an induced subgraph. It is well known that every large connected graph contains a long path, a large clique, or a large star as an induced subgraph. Recently Allred, Ding, and Oporowski presented the unavoidable large induced subgraphs for large $2$-connected graphs and for infinite $2$-connected graphs. In this paper we establish the $2$-edge-connected analogues of these results. As consequences we obtain results on unavoidable large subgraphs, topological minors, minors, induced topological minors, induced minors, and Eulerian subgraphs in large and infinite $2$-edge-connected graphs. When appropriate we extend our results to multigraphs.
On the Regularity, Planarity and Edge Bounds of Link-irregular Graphs
A graph $G$ is a link-irregular graph if every two distinct vertices of $G$ have non-isomorphic links. The link of a vertex $v$ in $G$ is the subgraph induced by the neighbors of $v$ in $G$. Ali, Chartrand and Zhang [Discussiones Mathematicae. Graph Theory, 45(1) (2025) p.95] conjectured that there exists no regular link-irregular graph. In this paper, we show that the existence of an $r$-regular link irregular graph is very likely for large enough $r$. In particular, we provide a 7-regular link irregular graph on 12 vertices, which serves as a counterexample to the conjecture. Additionally, we prove that no bipartite link-irregular graphs exist, and there are no regular link-irregular graphs on $n$-vertices for $n \leq 9$. Also, we determine upper and lower bounds for the number of edges of link-irregular graphs. Furthermore, we show the minimum number of edges in a link-irregular graph on the $n$ vertices is $Ω(n\sqrt{\log n})$. Finally, we prove that all but finitely many link-irregular graphs are non-planar, and there is no regular link-irregular planar graphs.
Shuffle squares and ordered nest-free graphs
A shuffle square is a word consisting of two shuffled copies of the same word. For instance, the Turkish word $\mathtt{\color{red}{ik}\color{blue}{i}\color{red}{li}\color{blue}{kli}}$ (binary in English) is a shuffle square, as it can be split into two copies of the word $\mathtt{ikli}$. We explore a representation of shuffle squares in terms of \emph{ordered nest-free graphs} and demonstrate the usefulness of this approach by applying it to several families of binary words. Among others, we characterize shuffle squares with four and five runs, as well as shuffle squares with all $\mathtt1$-runs of length one (and with the $\mathtt1$'s alternating between the two copies). In our main result we provide quite general sufficient conditions for a binary word not to be a shuffle square.
In particular, it follows that binary words of the type $(\mathtt{1001})^n$, $n$ odd, are not shuffle squares. We complement it by showing that all other words whose every $\mathtt{1}$-run has length one or two, while every $\mathtt{0}$-run has length two, are shuffle squares.
We also provide a counterexample to a believable stipulation that binary words of the form $\mathtt1^{m}\mathtt0^{m-2}\mathtt1^{m-4}\cdots$, $m$ odd, are far from being shuffle squares (the distance measured by the minimum number of letters one has to delete in order to turn a word into a shuffle square).