graph
34516 papers tagged with this keyword
Approximately counting independent sets in dense bipartite graphs via subspace enumeration
We give a randomized algorithm that approximates the number of independent sets in a dense, regular bipartite graph -- in the language of approximate counting, we give an FPRAS for #BIS on the class of dense, regular bipartite graphs. Efficient counting algorithms typically apply to ``high-temperature'' problems on bounded-degree graphs, and our contribution is a notable exception as it applies to dense graphs in a low-temperature setting. Our methods give a counting-focused complement to the long line of work in combinatorial optimization showing that CSPs such as Max-Cut and Unique Games are easy on dense graphs via spectral arguments. The proof exploits the fact that dense, regular graphs exhibit a kind of small-set expansion (i.e. bounded threshold rank), which via subspace enumeration lets us enumerate small cuts efficiently.
Positive dependence for colored percolation
For uniform random 4-colorings of graph edges with colors a,b,c,d, every two colors form a 1/2-percolation, and every two overlapping pairs of colors form independent 1/2-percolations. We show joint positive dependence for pairs of colors ab, ac and ac, and joint negative dependence for pairs of colors ab, ac and bc. The proof is based on a generalization of the Harris--Kleitman inequalities. We apply the results to crossing probabilities for the colored bond and site percolation, and to colored critical percolation that we also define.
Spectral Applications of Vertex-Clique Incidence Matrices Associated with a Graph
In this paper, we demonstrate a useful interaction between the theory of clique partitions, edge clique covers of a graph, and the spectra of graphs. Using a clique partition and an edge clique cover of a graph we introduce the notion of a vertex-clique incidence matrix for a graph and produce new lower bounds for the negative eigenvalues and negative inertia of a graph. Moreover, utilizing these vertex-clique incidence matrices, we generalize several notions such as the signless Laplacian matrix, and develop bounds on the incidence energy and the signless Laplacian energy of the graph. %The tight upper bounds for the energies of a graph and its line graph are given. More generally, we also consider the set $S(G)$ of all real-valued symmetric matrices whose off-diagonal entries are nonzero precisely when the corresponding vertices of the graph are adjacent. An important parameter in this setting is $q(G)$, and is defined to be the minimum number of distinct eigenvalues over all matrices in $S(G)$. For a given graph $G$ the concept of a vertex-clique incidence matrix associated with an edge clique cover is applied to establish several classes of graphs with $q(G)=2$.
Combinatorial Approach for Factorization of Variance and Entropy in Spin Systems
We present a simple combinatorial framework for establishing approximate tensorization of variance and entropy in the setting of spin systems (a.k.a. undirected graphical models) based on balanced separators of the underlying graph. Such approximate tensorization results immediately imply as corollaries many important structural properties of the associated Gibbs distribution, in particular rapid mixing of the Glauber dynamics for sampling. We prove approximate tensorization by recursively establishing block factorization of variance and entropy with a small balanced separator of the graph. Our approach goes beyond the classical canonical path method for variance and the recent spectral independence approach, and allows us to obtain new rapid mixing results. As applications of our approach, we show that:
1. On graphs of treewidth $t$, the mixing time of the Glauber dynamics is $n^{O(t)}$, which recovers the recent results of Eppstein and Frishberg with improved exponents and simpler proofs;
2. On bounded-degree planar graphs, strong spatial mixing implies $\tilde{O}(n)$ mixing time of the Glauber dynamics, which gives a faster algorithm than the previous deterministic counting algorithm by Yin and Zhang.
Phase Transitions of Structured Codes of Graphs
We consider the symmetric difference of two graphs on the same vertex set $[n]$, which is the graph on $[n]$ whose edge set consists of all edges that belong to exactly one of the two graphs. Let $\mathcal{F}$ be a class of graphs, and let $M_{\mathcal{F}}(n)$ denote the maximum possible cardinality of a family $\mathcal{G}$ of graphs on $[n]$ such that the symmetric difference of any two members in $\mathcal{G}$ belongs to $\mathcal{F}$. These concepts are recently investigated by Alon, Gujgiczer, Körner, Milojević, and Simonyi, with the aim of providing a new graphic approach to coding theory. In particular, $M_{\mathcal{F}}(n)$ denotes the maximum possible size of this code. Existing results show that as the graph class $\mathcal{F}$ changes, $M_{\mathcal{F}}(n)$ can vary from $n$ to $2^{(1+o(1))\binom{n}{2}}$. We study several phase transition problems related to $M_{\mathcal{F}}(n)$ in general settings and present a partial solution to a recent problem posed by Alon et. al.
Tuple regularity and $k$-ultrahomogeneity for finite groups
For $k, \ell \in \mathbb{N}$, we introduce the concepts of $k$-ultrahomogeneity and $\ell$-tuple regularity for finite groups. Inspired by analogous concepts in graph theory, these form a natural generalization of homogeneity, which was studied by Cherlin and Felgner and Li as well as automorphism transitivity, which was investigated by Zhang. Additionally, these groups have an interesting algorithmic interpretation. We classify the $k$-ultrahomogeneous and $\ell$-tuple regular finite groups for $k, \ell \geq 2$. In particular, we show that every 2-tuple regular finite group is ultrahomogeneous.
Components of domino tilings under flips in quadriculated tori
Published in Discrete Math. 348 (2025) 114396
• Search Publication
In a region R consisting of unit squares, a (domino) tiling is a collection of dominoes (the union of two adjacent squares) which pave fully the region. The flip graph of R is defined on the set of all tilings of R where two tilings are adjacent if we change one from the other by a flip (a 90-degree rotation of a pair of side-by-side dominoes). If R is simply-connected, then its flip graph is connected. By using homology and cohomology, Saldanha, Tomei, Casarin and Romualdo obtained a criterion to decide if two tilings are in the same component of flip graph of quadriculated surface. By a graph-theoretic method, we obtain that the flip graph of a non-bipartite quadriculated torus consists of two isomorphic components. As an application, we obtain that the forcing numbers of all perfect matchings of each non-bipartite quadriculated torus form an integer-interval. For a bipartite quadriculated torus, the components of the flip graph is more complicated, and we use homology to obtain a general lower bound for the number of components of its flip graph.
Some variants of discrete positive mass theorems on graphs
Inspired by asymptotically flat manifolds, we introduce the concept of asymptotically flat graphs and define the discrete ADM mass on them. We formulate the discrete positive mass conjecture based on the scalar curvature in the sense of Ollivier curvature, and prove the positive mass theorem for asymptotically flat graphs that are combinatorially isomorphic to grid graphs. As a corollary, the discrete torus does not admit positive scalar curvature. We prove a weaker version of the positive mass conjecture: an asymptotically flat graph with non-negative Ricci curvature is isomorphic to the standard grid graph. Hence the combinatorial structure of an asymptotically flat graph is determined by the curvature condition, which is a discrete analog of the rigidity part for the positive mass theorem. The key tool for the proof is the discrete harmonic function of linear growth associated with the salami structure.
A structural duality for path-decompositions into parts of small radius
It is an easy observation that if a graph~$G$ admits a path-decomposition whose parts have small radius, then $G$ contains no large subdivision of $K_{1,3}$ or $K^3$ as a (quasi-)geodesic subgraph. We show that these are in fact the only obstructions to such path-decompositions of small radial width, and we prove analogous results for decompositions modelled on cycles and subdivided stars instead of paths.
With our results we confirm in a strong form a conjecture of Georgakopoulos and Papasoglu on fat-minor-characterisations of graphs quasi-isometric to paths, cycles and paths, and subdivided stars, respectively. For this, we present a novel view on quasi-isometries between graphs by graph-decompositions of bounded radial width and spread. This new perspective enables us to prove further results in coarse graph theory, and may thus be of independent interest.
The weighted total cophenetic index: A novel balance index for phylogenetic networks
Phylogenetic networks play an important role in evolutionary biology as, other than phylogenetic trees, they can be used to accommodate reticulate evolutionary events such as horizontal gene transfer and hybridization. Recent research has provided a lot of progress concerning the reconstruction of such networks from data as well as insight into their graph theoretical properties. However, methods and tools to quantify structural properties of networks or differences between them are still very limited. For example, for phylogenetic trees, it is common to use balance indices to draw conclusions concerning the underlying evolutionary model, and more than twenty such indices have been proposed and are used for different purposes. One of the most frequently used balance index for trees is the so-called total cophenetic index, which has several mathematically and biologically desirable properties. For networks, on the other hand, balance indices are to-date still scarce.
In this contribution, we introduce the \textit{weighted} total cophenetic index as a generalization of the total cophenetic index for trees to make it applicable to general phylogenetic networks. As we shall see, this index can be determined efficiently and behaves in a mathematical sound way, i.e., it satisfies so-called locality and recursiveness conditions. In addition, we analyze its extremal properties and, in particular, we investigate its maxima and minima as well as the structure of networks that achieve these values within the space of so-called level-$1$ networks. We finally briefly compare this novel index to the two other network balance indices available so-far.
Colouring Digraphs
The aim of this thesis is to investigate how the structure of a digraph affects its dichromatic number and to extend various results on undirected colouring to digraphs.
In the first part of this thesis, we examine how the dichromatic number interacts with other metrics. First, we consider the degree, which is the maximum number of neighbours of a vertex. In the undirected case, this corresponds to Brooks' theorem, a celebrated theorem with multiple variations and generalizations. In the directed case, there is no natural metric corresponding to the maximum degree, so we explore how different notions of maximum directed degree lead to either Brooks-like theorems or impossibility results. We also investigate the maximum local-arc connectivity, a metric that encompasses several degree-like metrics.
The second part of this manuscript focuses on a directed analogue of the Gyárfás-Sumner conjecture. The Gyárfás-Sumner conjecture tries to characterize sets S of undirected graphs such that graphs with large enough chromatic number must contain a graph of S. This conjecture is still largely open. On digraphs, a corresponding conjecture was proposed by Aboulker, Charbit, and Naserasr. We prove several subcases of this conjecture, mainly demonstrating that certain classes of digraphs have bounded dichromatic number.
In the last part of this thesis, we address the d-edge-defective-colouring problem, which involves colouring edges of a multigraph such that, for any vertex, no colour appears on more than d of its incident edges. When d equals one, this corresponds to the infamous edge-colouring problem. Shannon established a tight bound on the number of colours needed relative to the maximum degree when d equals one, and we extend this result to any value of d. We also explore this problem on simple graphs and prove results that extend Vizing's theorem to any value of d.
Ramsey numbers and the Zarankiewicz problem
Building on recent work of Mattheus and Verstraëte, we establish a general connection between Ramsey numbers of the form $r(F,t)$ for $F$ a fixed graph and a variant of the Zarankiewicz problem asking for the maximum number of 1s in an $m$ by $n$ $0/1$-matrix that does not have any matrix from a fixed finite family $\mathcal{L}(F)$ derived from $F$ as a submatrix. As an application, we give new lower bounds for the Ramsey numbers $r(C_5,t)$ and $r(C_7,t)$, namely, $r(C_5,t) = \tildeΩ(t^{\frac{10}{7}})$ and $r(C_7,t) = \tildeΩ(t^{\frac{5}{4}})$. We also show how the truth of a plausible conjecture about Zarankiewicz numbers would allow an approximate determination of $r(C_{2\ell+1}, t)$ for any fixed integer $\ell \geq 2$.
Packing and Covering Triangles in Bilaterally-Complete Tripartite Graphs
We use Menger's Theorem and König's Line Colouring Theorem to show that in any tripartite graph with two complete (bipartite) sides the maximum number of pairwise edge-disjoint triangles equals the minimum number of edges that meet all triangles. This generalizes the corresponding result for complete tripartite graphs given by Lakshmanan, et al.
A stability result for $C_{2k+1}$-free graphs
A graph $G$ is called $C_{2k+1}$-free if it does not contain any cycle of length $2k+1$. In 1981, Haggkvist, Faudree and Schelp showed that every $n$-vertex triangle-free graph with more than $\frac{(n-1)^2}{4}+1$ edges is bipartite. In this paper, we extend their result and show that for $1\leq t\leq 2k-2$ and $n\geq 318t^2k$, every $n$-vertex $C_{2k+1}$-free graph with more than $\frac{(n-t-1)^2}{4}+\binom{t+2}{2}$ edges can be made bipartite by either deleting at most $t-1$ vertices or deleting at most $\binom{\lfloor\frac{t+2}{2}\rfloor}{2}+\binom{\lceil\frac{t+2}{2}\rceil}{2}-1$ edges. The construction shows that this is best possible.
On the sizes of generalized cactus graphs
A cactus is a connected graph in which each edge is contained in at most one cycle. We generalize the concept of cactus graphs, i.e., a $k$-cactus is a connected graph in which each edge is contained in at most $k$ cycles where $k\ge 1$. It is well known that every cactus with $n$ vertices has at most $\lfloor\frac{3}{2}(n-1) \rfloor$ edges. Inspired by it, we attempt to establish analogous upper bounds for general $k$-cactus graphs. In this paper, we first characterize $k$-cactus graphs for $2\le k\le 4$ based on the block decompositions. Subsequently, we give tight upper bounds on their sizes. Moreover, the corresponding extremal graphs are also characterized. However, the case of $k\ge 5$ remains open. For the case of 2-connectedness, the range of $k$ is expanded to all positive integers in our research. We prove that every $2$-connected $k ~(\ge 1)$-cactus graphs with $n$ vertices has at most $n+k-1$ edges, and the bound is tight if $n \ge k + 2$. But, for $n < k+1$, determining best bounds remains a mystery except for some small values of $k$.
An algorithmic version of the Hajnal--Szemerédi theorem
A $K_r$-factor of a graph $G$ is a collection of vertex disjoint $r$-cliques covering $V(G)$. We prove the following algorithmic version of the classical Hajnal--Szemerédi Theorem in graph theory, when $r$ is considered as a constant. Given $r, c, n\in \mathbb{N}$ such that $n\in r\mathbb N$, let $G$ be an $n$-vertex graph with minimum degree at least $(1-1/r)n - c$. Then there is an algorithm with running time $2^{c^{O(1)}} n^{O(1)}$ that outputs either a $K_r$-factor of $G$ or a certificate showing that none exists, namely, this problem is fixed-parameter tractable in $c$. On the other hand, it is known that if $c = n^{\varepsilon}$ for fixed $\varepsilon \in (0,1)$, the problem is \texttt{NP-C}.
We indeed establish characterization theorems for this problem, showing that the existence of a $K_r$-factor is equivalent to the existence of certain class of $K_r$-tilings of size $o(n)$, whose existence can be searched by the color-coding technique developed by Alon--Yuster--Zwick.
On the singular pebbling number of a graph
In this paper, we define a new parameter of a graph as a spin-off of the pebbling number (which is the smallest $t$ such that every supply of $t$ pebbles can satisfy every demand of one pebble). This new parameter is the singular pebbling number, the smallest $t$ such that a player can be given any configuration of at least $t$ pebbles and any target vertex and can successfully move pebbles so that exactly one pebble ends on the target vertex. We also prove that the singular pebbling number of any graph on 3 or more vertices is equal to its pebbling number, that the singular pebbling number of the disconnected graph on two vertices is equal to its pebbling number, and we find the singular pebbling numbers of the two remaining graphs, $K_1$ and $K_2$, which are not equal to their pebbling numbers.
The connectivity of friends-and-strangers graphs on complete multipartite graphs
Published in Annals of Combinatorics (2024)
• View Publication
• BIB
For simple graphs $X$ and $Y$ on $n$ vertices, the friends-and-strangers graph $\mathsf{FS}(X,Y)$ is the graph whose vertex set consists of all bijections $σ: V(X) \to V(Y)$, where two bijections $σ$ and $σ'$ are adjacent if and only if they agree on all but two adjacent vertices $a, b \in V(X)$ such that $σ(a), σ(b) \in V(Y)$ are adjacent in $Y$. Resolving a conjecture of Wang, Lu, and Chen, we completely characterize the connectedness of $\mathsf{FS}(X, Y)$ when $Y$ is a complete bipartite graph. We further extend this result to when $Y$ is a complete multipartite graph. We also determine when $\mathsf{FS}(X, Y)$ has exactly two connected components where $X$ is bipartite and $Y$ is a complete bipartite graph.
On short edges in complete topological graphs
Let $h(n)$ be the minimum integer such that every complete $n$-vertex simple topological graph contains an edge that crosses at most $h(n)$ other edges. In 2009, Kynčl and Valtr showed that $h(n) = O(n^2/\log^{1/4} n)$, and in the other direction, gave constructions showing that $h(n) = Ω(n^{3/2})$. In this paper, we prove that $h(n) = O(n^{7/4})$. Along the way, we establish a new variant of Chazelle and Welzl's matching theorem for set systems with bounded VC-dimension, which we believe to be of independent interest.
Minimum Separator Reconfiguration
We study the problem of reconfiguring one minimum $s$-$t$-separator $A$ into another minimum $s$-$t$-separator $B$ in some $n$-vertex graph $G$ containing two non-adjacent vertices $s$ and $t$. We consider several variants of the problem as we focus on both the token sliding and token jumping models. Our first contribution is a polynomial-time algorithm that computes (if one exists) a minimum-length sequence of slides transforming $A$ into $B$. We additionally establish that the existence of a sequence of jumps (which need not be of minimum length) can be decided in polynomial time (by an algorithm that also outputs a witnessing sequence when one exists). In contrast, and somewhat surprisingly, we show that deciding if a sequence of at most $\ell$ jumps can transform $A$ into $B$ is an $\textsf{NP}$-complete problem. To complement this negative result, we investigate the parameterized complexity of what we believe to be the two most natural parameterized counterparts of the latter problem; in particular, we study the problem of computing a minimum-length sequence of jumps when parameterized by the size $k$ of the minimum \stseps and when parameterized by the number of jumps $\ell$. For the first parameterization, we show that the problem is fixed-parameter tractable, but does not admit a polynomial kernel unless $\textsf{NP} \subseteq \textsf{coNP/poly}$. We complete the picture by designing a kernel with $\mathcal{O}(\ell^2)$ vertices and edges for the length $\ell$ of the sequence as a parameter.