graph
34629 papers tagged with this keyword
Strong modeling limits of graphs with bounded tree-width
Published
• View Publication
• BIB
The notion of first order convergence of graphs unifies the notions of convergence for sparse and dense graphs. Nešetřil and Ossona de Mendez [J. Symbolic Logic 84 (2019), 452-472] proved that every first order convergent sequence of graphs from a nowhere-dense class of graphs has a modeling limit and conjectured the existence of such modeling limits with an additional property, the strong finitary mass transport principle. The existence of modeling limits satisfying the strong finitary mass transport principle was proved for first order convergent sequences of trees by Nešetřil and Ossona de Mendez [Electron. J. Combin. 23 (2016), P2.52] and for first order sequences of graphs with bounded path-width by Gajarský et al. [Random Structures Algorithms 50 (2017), 612-635]. We establish the existence of modeling limits satisfying the strong finitary mass transport principle for first order convergent sequences of graphs with bounded tree-width.
Torsor Structures on Spanning Trees
Published
• View Publication
• BIB
We study two actions of the (degree 0) Picard group on the set of the spanning trees of a finite ribbon graph. It is known that these two actions, denoted $β_q$ and $ρ_q$ respectively, are independent of the base vertex $q$ if and only if the ribbon graph is planar. Baker and Wang conjectured that in a nonplanar ribbon graph without multiple edges there always exists a vertex $q$ for which $ρ_q\neqβ_q$. We prove the conjecture and extend it to a class of ribbon graphs with multiple edges. We also give explicit examples exploring the relationship between the two torsor structures in the nonplanar case.
Tight bound for powers of Hamilton cycles in tournaments
A basic result in graph theory says that any $n$-vertex tournament with in- and out-degrees larger than $\frac{n-2}{4}$ contains a Hamilton cycle, and this is tight. In 1990, Bollobás and Häggkvist significantly extended this by showing that for any fixed $k$ and $\varepsilon > 0$, and sufficiently large $n$, all tournaments with degrees at least $\frac{n}{4}+\varepsilon n$ contain the $k$-th power of a Hamilton cycle. Up until now, there has not been any progress on determining a more accurate error term in the degree condition, neither in understanding how large $n$ should be in the Bollobás-Häggkvist theorem. We essentially resolve both of these questions. First, we show that if the degrees are at least $\frac{n}{4} + cn^{1-1/\lceil k/2 \rceil}$ for some constant $c = c(k)$, then the tournament contains the $k$-th power of a Hamilton cycle. In particular, in order to guarantee the square of a Hamilton cycle, one only requires a constant additive term. We also present a construction which, modulo a well-known conjecture on Turán numbers for complete bipartite graphs, shows that the error term must be of order at least $n^{1-1/\lceil (k-1)/2 \rceil}$, which matches our upper bound for all even $k$. For odd $k$, we believe that the lower bound can be improved. Indeed, we show that for $k=3$, there exist tournaments with degrees $\frac{n}{4}+Ω(n^{1/5})$ and no cube of a Hamilton cycle. In addition, our results imply that the Bollobás-Häggkvist theorem already holds for $n = \varepsilon^{-Θ(k)}$, which is best possible.
Geometric constructions for Ramsey-Turán theory
Published
• View Publication
• BIB
Combining two classical notions in extremal combinatorics, the study of Ramsey-Turán theory seeks to determine, for integers $m\le n$ and $p \leq q$, the number $\mathsf{RT}_p(n,K_q,m)$, which is the maximum size of an $n$-vertex $K_q$-free graph in which every set of at least $m$ vertices contains a $K_p$.
Two major open problems in this area from the 80s ask: (1) whether the asymptotic extremal structure for the general case exhibits certain periodic behaviour, resembling that of the special case when $p=2$; (2) constructing analogues of Bollobás-Erdős graphs with densities other than $1/2$.
We refute the first conjecture by witnessing asymptotic extremal structures that are drastically different from the $p=2$ case, and address the second problem by constructing Bollobás-Erdős-type graphs using high dimensional complex spheres with all rational densities. Some matching upper bounds are also provided.
The planted matching problem: Sharp threshold and infinite-order phase transition
Published
• View Publication
• BIB
We study the problem of reconstructing a perfect matching $M^*$ hidden in a randomly weighted $n\times n$ bipartite graph. The edge set includes every node pair in $M^*$ and each of the $n(n-1)$ node pairs not in $M^*$ independently with probability $d/n$. The weight of each edge $e$ is independently drawn from the distribution $\mathcal{P}$ if $e \in M^*$ and from $\mathcal{Q}$ if $e \notin M^*$. We show that if $\sqrt{d} B(\mathcal{P},\mathcal{Q}) \le 1$, where $B(\mathcal{P},\mathcal{Q})$ stands for the Bhattacharyya coefficient, the reconstruction error (average fraction of misclassified edges) of the maximum likelihood estimator of $M^*$ converges to $0$ as $n\to \infty$. Conversely, if $\sqrt{d} B(\mathcal{P},\mathcal{Q}) \ge 1+ε$ for an arbitrarily small constant $ε>0$, the reconstruction error for any estimator is shown to be bounded away from $0$ under both the sparse and dense model, resolving the conjecture in [Moharrami et al. 2019, Semerjian et al. 2020]. Furthermore, in the special case of complete exponentially weighted graph with $d=n$, $\mathcal{P}=\exp(λ)$, and $\mathcal{Q}=\exp(1/n)$, for which the sharp threshold simplifies to $λ=4$, we prove that when $λ\le 4-ε$, the optimal reconstruction error is $\exp\left( - Θ(1/\sqrtε) \right)$, confirming the conjectured infinite-order phase transition in [Semerjian et al. 2020].
Gauss sums and the maximum cliques in generalized Paley graphs of square order
Published in Funct. Approx. Comment. Math. 66 (2022), no. 1, 119-138
• View Publication
• BIB
Let $GP(q,d)$ be the $d$-Paley graph defined on the finite field $\mathbb{F}_q$. It is notoriously difficult to improve the trivial upper bound $\sqrt{q}$ on the clique number of $GP(q,d)$. In this paper, we investigate the connection between Gauss sums over a finite field and the maximum cliques of their corresponding generalized Paley graphs. We show that the trivial upper bound on the clique number of $GP(q,d)$ is tight if and only if $d \mid (\sqrt{q}+1)$, which strengthens the previous related results by Broere-Döman-Ridley and Schneider-Silva. We also obtain a new simple proof of Stickelberger's theorem on evaluating semi-primitive Gauss sums.
Transversal $C_k$-factors in subgraphs of the balanced blow-up of $C_k$
Published
• View Publication
• BIB
For a subgraph $G$ of the blow-up of a graph $F$, we let $δ^*(G)$ be the smallest minimum degree over all of the bipartite subgraphs of $G$ induced by pairs of parts that correspond to edges of $F$. In [Triangle-factors in a balanced blown-up triangle. Discrete Mathematics, 2000], Johansson proved that if $G$ is a spanning subgraph of the blow-up of $C_3$ with parts of size $n$ and $δ^*(G) \ge \frac{2}{3}n + \sqrt{n}$, then $G$ contains $n$ vertex-disjoint triangles, and presented the following conjecture of Häggkvist: If $G$ is a spanning subgraph of the blow-up of $C_k$ with parts of size $n$ and $δ^*(G) \ge (1 + 1/k)n/2 + 1$, then $G$ contains $n$ vertex disjoint copies of $C_k$ such that each $C_k$ intersects each of the $k$ parts exactly once. The degree condition of this conjecture is tight when $k=3$ and cannot be strengthened by more than one when $k \ge 4$., A similar conjecture was also made by Fischer in [Variants of the Hajnal-Szemerédi Theorem. Journal of Graph Theory, 1999] and the triangle case was proved for large $n$ by Magyar and Martin in [Tripartite version of the Corrádi-Hajnal Theorem. Discrete Mathematics, 2002].
In this paper, we prove this Conjecture asymptotically. We also pose a conjecture which generalizes this result by allowing the minimum degree conditions on the nonempty bipartite subgraphs induced by pairs of parts to vary. Our second result supports this new conjecture by proving the triangle case. This result generalizes Johannson's result asymptotically.
The Ising antiferromagnet in the replica symmetric phase
Published
• View Publication
• BIB
Partition functions are an important research object in combinatorics and mathematical physics [Barvinok, 2016]. In this work, we consider the partition function of the Ising antiferromagnet on random regular graphs and characterize its limiting distribution in the replica symmetric phase up to the Kesten-Stigum bound. Our proof relies on a careful execution of the method of moments, spatial mixing arguments and small subgraph conditioning.
Regular saturated graphs and sum-free sets
Published
• View Publication
• BIB
In a recent paper, Gerbner, Patkós, Tuza and Vizer studied regular $F$-saturated graphs. One of the essential questions is given $F$, for which $n$ does a regular $n$-vertex $F$-saturated graph exist. They proved that for all sufficiently large $n$, there is a regular $K_3$-saturated graph with $n$ vertices. We extend this result to both $K_4$ and $K_5$ and prove some partial results for larger complete graphs. Using a variation of sum-free sets from additive combinatorics, we prove that for all $k \geq 2$, there is a regular $C_{2k+1}$-saturated with $n$ vertices for infinitely many $n$. Studying the sum-free sets that give rise to $C_{2k+1}$-saturated graphs is an interesting problem on its own and we state an open problem in this direction.
Continuous Time Quantum Walks on Graphs: Group State Transfer
Published
• View Publication
• BIB
We introduce the concept of group state transfer on graphs, summarize its relationship to other concepts in the theory of quantum walks, set up a basic theory, and discuss examples.
Let $X$ be a graph with adjacency matrix $A$ and consider quantum walks on the vertex set $V(X)$ governed by the continuous time-dependent unitary transition operator $U(t)= \exp(itA)$. For $S,T\subseteq V(X)$, we says $X$ admits "group state transfer" from $S$ to $T$ at time $τ$ if the submatrix of $U(τ)$ obtained by restricting to columns in $S$ and rows not in $T$ is the all-zero matrix. As a generalization of perfect state transfer, fractional revival and periodicity, group state transfer satisfies natural monotonicity and transitivity properties. Yet non-trivial group state transfer is still rare; using a compactness argument, we prove that bijective group state transfer (the optimal case where $|S|=|T|$) is absent for almost all $t$. Focusing on this bijective case, we obtain a structure theorem, prove that bijective group state transfer is "monogamous", and study the relationship between the projections of $S$ and $T$ into each eigenspace of the graph.
Group state transfer is obviously preserved by graph automorphisms and this gives us information about the relationship between the setwise stabilizer of $S\subseteq V(X)$ and the stabilizers of naturally defined subsets obtained by spreading $S$ out over time and crudely reversing this process. These operations are sufficiently well-behaved to give us a topology on $V(X)$ which is likely to be simply the topology of subsets for which bijective group state transfer occurs at that time. We illustrate non-trivial group state transfer in bipartite graphs with integer eigenvalues, in joins of graphs, and in symmetric double stars. The Cartesian product allows us to build new examples from old ones.
On Vertices Contained in All or in No Metric Basis
Published in Discrete Applied Mathematics, 319, p. 407-423, 2022
• View Publication
• BIB
A set $R \subseteq V(G)$ is a resolving set of a graph $G$ if for all distinct vertices $v,u \in V(G)$ there exists an element $r \in R$ such that $d(r,v) \neq d(r,u)$. The metric dimension $\dim(G)$ of the graph $G$ is the minimum cardinality of a resolving set of $G$. A resolving set with cardinality $\dim(G)$ is called a metric basis of $G$. We consider vertices that are in all metric bases, and we call them basis forced vertices. We give several structural properties of sparse and dense graphs where basis forced vertices are present. In particular, we give bounds for the maximum number of edges in a graph containing basis forced vertices. Our bound is optimal whenever the number of basis forced vertices is even. Moreover, we provide a method of constructing fairly sparse graphs with basis forced vertices. We also study vertices which are in no metric basis in connection to cut-vertices and pendants. Furthermore, we show that deciding whether a vertex is in all metric bases is co-NP-hard, and deciding whether a vertex is in no metric basis is NP-hard.
Pruned inside-out polytopes, combinatorial reciprocity theorems and generalized permutahedra
Published in The Electronic Journal of Combinatorics 29 (2022) P4.36
• View Publication
• BIB
Generalized permutahedra are a class of polytopes with many interesting combinatorial subclasses. We introduce pruned inside-out polytopes, a generalization of inside-out polytopes introduced by Beck--Zaslavsky (2006), which have many applications such as recovering the famous reciprocity result for graph colorings by Stanley. We study the integer point count of pruned inside-out polytopes by applying classical Ehrhart polynomials and Ehrhart-Macdonald reciprocity. This yields a geometric perspective on and a generalization of a combinatorial reciprocity theorem for generalized permutahedra by Aguiar-Ardila (2017), Billera-Jia-Reiner (2009), and Karaboghossian (2022). Applying this reciprocity theorem to hypergraphic polytopes allows to give a geometric proof of a combinatorial reciprocity theorem for hypergraph colorings by Aval-Karaboghossian-Tanasa (2020). This proof relies, aside from the reciprocity for generalized permutahedra, only on elementary geometric and combinatorial properties of hypergraphs and their associated polytopes.
On a question of Vera T. Sós about size forcing of graphons
Published
• View Publication
• BIB
The $k$-sample $\mathbb{G}(k,W)$ from a graphon $W:[0,1]^2\to [0,1]$ is the random graph on $\{1,\dots,k\}$, where we sample $x_1,\dots,x_k\in [0,1]$ uniformly at random and make each pair $\{i,j\}\subseteq \{1,\dots,k\}$ an edge with probability $W(x_i,x_j)$, with all these choices being mutually independent. Let the random variable $X_k(W)$ be the number of edges in $\mathbb{G}(k,W)$.
Vera T. Sós asked in 2012 whether two graphons $U,W$ are necessarily weakly isomorphic if the random variables $X_k(U)$ and $X_k(W)$ have the same distribution for every integer $k\ge 2$. This question when one of the graphons $W$ is a constant function was answered positively by Endre Csóka and independently by Jacob Fox, Tomasz Łuczak and Vera T. Sós. Here we investigate the question when $W$ is a 2-step graphon and prove that the answer is positive for a 3-dimensional family of such graphons.
We also present some related results.
Classification of OBDD size for monotone 2-CNFs
We introduce a new graph parameter called linear upper maximum induced matching width \textsc{lu-mim width}, denoted for a graph $G$ by $lu(G)$. We prove that the smallest size of the \textsc{obdd} for $\varphi$, the monotone 2-\textsc{cnf} corresponding to $G$, is sandwiched between $2^{lu(G)}$ and $n^{O(lu(G))}$. The upper bound is based on a combinatorial statement that might be of an independent interest. We show that the bounds in terms of this parameter are best possible.
On factors of independent transversals in $k$-partite graphs
Published in The Electronic Journal of Combinatorics, Volume 28, P4.23 (2021)
• View Publication
• BIB
A $[k,n,1]$-graph is a $k$-partite graph with parts of order $n$ such that the bipartite graph induced by any pair of parts is a matching. An independent transversal in such a graph is an independent set that intersects each part in a single vertex. A factor of independent transversals is a set of $n$ pairwise-disjoint independent transversals. Let $f(k)$ be the smallest integer $n_0$ such that every $[k,n,1]$-graph has a factor of independent transversals assuming $n \ge n_0$. Several known conjectures imply that for $k \ge 2$, $f(k)=k$ if $k$ is even and $f(k)=k+1$ if $k$ is odd. While a simple greedy algorithm based on iterating Hall's Theorem shows that $f(k) \le 2k-2$, no better bound is known and in fact, there are instances showing that the bound $2k-2$ is tight for the greedy algorithm. Here we significantly improve upon the greedy algorithm bound and prove that $f(k) \le 1.78k$ for all $k$ sufficiently large, answering a question of MacKeigan.
Geometry and combinatorics via right-angled Artin groups
Published
• View Publication
• BIB
We survey the relationship between the combinatorics and geometry of graphs and the algebraic structure of right-angled Artin groups. We concentrate on the defining graph of the right-angled Artin group and on the extension graph associated to the right-angled Artin group. Additionally, we discuss connections to geometric group theory and complexity theory. The final version of this survey will appear in "In the tradition of Thurston, vol.~II", ed.~K.~Ohshika and A.~Papadopoulos.
Monotonic normalized heat diffusion for regular bipartite graphs with four eigenvalues
Published in Graphs and Combinatorics 38 (2022), no. 22
• View Publication
• BIB
Let $X=(V, E)$ be a finite regular graph and $H_t(u, v), \, u, v \in V$, the heat kernel on $X$. We prove that, if the graph $X$ is bipartite and has four distinct Laplacian eigenvalues, the ratio $H_t(u, v)/H_t(u, u), \, u, v \in V,$ is monotonically non-decreasing as a function of $t$. The key to the proof is the fact that such a graph is an incidence graph of a symmetric 2-design.
Irregularity of expansions and Pell graphs
For a graph $G$ the imbalance of an edge $uv$ of $G$ is $|deg_G(u)-deg_G(v)|$. Irregularity of a graph $G$ is defined as the sum of imbalances over all edges of $G$. In this paper we consider expansions and Pell graphs. If $H$ is an expansion of $G$ with respect to the sets $V_1$ and $V_2$, we express the irregularity of $H$ using $G, V_1$ and $V_2$. For Pell graphs the imbalance of their edges is studied. The number of edges of a Pell graph with a fixed imbalance $k$ is expressed. Using these results the irregularity and the $σ$-index of Pell graphs are given.
Labelled well-quasi-order for permutation classes
Published
• View Publication
• BIB
While the theory of labelled well-quasi-order has received significant attention in the graph setting, it has not yet been considered in the context of permutation patterns. We initiate this study here, and show how labelled well quasi order provides a lens through which to view and extend previous well-quasi-order results in the permutation patterns literature. Connections to the graph setting are emphasised throughout. In particular, we establish that a permutation class is labelled well-quasi-ordered if and only if its corresponding graph class is also labelled well-quasi-ordered.
Local Problems on Grids from the Perspective of Distributed Algorithms, Finitary Factors, and Descriptive Combinatorics
We present an intimate connection among the following fields:
(a) distributed local algorithms: coming from the area of computer science,
(b) finitary factors of iid processes: coming from the area of analysis of randomized processes,
(c) descriptive combinatorics: coming from the area of combinatorics and measure theory.
In particular, we study locally checkable labellings in grid graphs from all three perspectives. Most of our results are for the perspective (b) where we prove time hierarchy theorems akin to those known in the field (a) [Chang, Pettie FOCS 2017]. This approach that borrows techniques from the fields (a) and (c) implies a number of results about possible complexities of finitary factor solutions. Among others, it answers three open questions of [Holroyd et al. Annals of Prob. 2017] or the more general question of [Brandt et al. PODC 2017] who asked for a formal connection between the fields (a) and (b). In general, we hope that our treatment will help to view all three perspectives as a part of a common theory of locality, in which we follow the insightful paper of [Bernshteyn 2020+] .