graph
34604 papers tagged with this keyword
A 1-Separation Formula for the Graph Kemeny Constant and Braess Edges
Published
• View Publication
• BIB
Kemeny's constant of a simple connected graph $G$ is the expected length of a random walk from $i$ to any given vertex $j \neq i$. We provide a simple method for computing Kemeny's constant for 1-separable via effective resistance methods from electrical network theory. Using this formula, we furnish a simple proof that the path graph on $n$ vertices maximizes Kemeny's constant for the class of undirected trees on $n$ vertices. Applying this method again, we simplify existing expressions for the Kemeny's constant of barbell graphs and demonstrate which barbell maximizes Kemeny's constant. This 1-separation identity further allows us to create sufficient conditions for the existence of Braess edges in 1-separable graphs. We generalize the notion of the Braess edge to Braess sets, collections of non-edges in a graph such that their addition to the base graph increases the Kemeny constant. We characterize Braess sets in graphs with any number of twin pendant vertices, generalizing work of Kirkland et.~al.~\cite{kirkland2016kemeny} and Ciardo \cite{ciardo2020braess}.
Hamiltonicity of the Complete Double Vertex Graph of some Join Graphs
Published
• View Publication
• BIB
The complete double vertex graph $M_2(G)$ of $G$ is defined as the graph whose vertices are the $2$-multisubsets of $V(G)$, and two of such vertices are adjacent in $M_2(G)$ if their symmetric difference (as multisets) is a pair of adjacent vertices in $G$. In this paper we exhibit an infinite family of graphs $G$ (containing Hamiltonian and non-Hamiltonian graphs) for which $M_2(G)$ are Hamiltonian.
Approximate counting and sampling via local central limit theorems
Published
• View Publication
• BIB
We give an FPTAS for computing the number of matchings of size $k$ in a graph $G$ of maximum degree $Δ$ on $n$ vertices, for all $k \le (1-δ)m^*(G)$, where $δ>0$ is fixed and $m^*(G)$ is the matching number of $G$, and an FPTAS for the number of independent sets of size $k \le (1-δ) α_c(Δ) n$, where $α_c(Δ)$ is the NP-hardness threshold for this problem. We also provide quasi-linear time randomized algorithms to approximately sample from the uniform distribution on matchings of size $k \leq (1-δ)m^*(G)$ and independent sets of size $k \leq (1-δ)α_c(Δ)n$.
Our results are based on a new framework for exploiting local central limit theorems as an algorithmic tool. We use a combination of Fourier inversion, probabilistic estimates, and the deterministic approximation of partition functions at complex activities to extract approximations of the coefficients of the partition function. For our results for independent sets, we prove a new local central limit theorem for the hard-core model that applies to all fugacities below $λ_c(Δ)$, the uniqueness threshold on the infinite $Δ$-regular tree.
Induced subgraphs and tree decompositions II. Toward walls and their line graphs in graphs of bounded degree
Published in Journal of Combinatorial Theory, Series B, Volume 164, January 2024, Pages 371-403
• View Publication
• BIB
This paper is motivated by the following question: what are the unavoidable induced subgraphs of graphs with large treewidth? Aboulker et al. made a conjecture which answers this question in graphs of bounded maximum degree, asserting that for all $k$ and $Δ$, every graph with maximum degree at most $Δ$ and sufficiently large treewidth contains either a subdivision of the $(k\times k)$-wall or the line graph of a subdivision of the $(k\times k)$-wall as an induced subgraph. We prove two theorems supporting this conjecture, as follows.
1. For $t\geq 2$, a $t$-theta is a graph consisting of two nonadjacent vertices and three internally disjoint paths between them, each of length at least $t$. A $t$-pyramid is a graph consisting of a vertex $v$, a triangle $B$ disjoint from $v$ and three paths starting at $v$ and disjoint otherwise, each joining $v$ to a vertex of $B$, and each of length at least $t$. We prove that for all $k,t$ and $Δ$, every graph with maximum degree at most $Δ$ and sufficiently large treewidth contains either a $t$-theta, or a $t$-pyramid, or the line graph of a subdivision of the $(k\times k)$-wall as an induced subgraph. This affirmatively answers a question of Pilipczuk et al. asking whether every graph of bounded maximum degree and sufficiently large treewidth contains either a theta or a triangle as an induced subgraph (where a theta means a $t$-theta for some $t\geq 2$).
2. A subcubic subdivided caterpillar is a tree of maximum degree at most three whose all vertices of degree three lie on a path. We prove that for every $Δ$ and subcubic subdivided caterpillar $T$, every graph with maximum degree at most $Δ$ and sufficiently large treewidth contains either a subdivision of $T$ or the line graph of a subdivision of $T$ as an induced subgraph.
On ($1,C_4$) one-factorization and two orthogonal ($2,C_4$) one-factorization of complete graphs
An one-factorization $\mathcal{F}$ of the complete graph $K_n$ is ($l,C_k$), where $l\geq0$ and $k\geq4$ are integers, if the union $F\cup G$, for any $F,G\in\mathcal{F}$, includes exactly $l$ (edge-disjoint) cycles of length $k$ ($lk\leq n$). Moreover, a pair of orthogonal one-factorizations $\mathcal{F}$ and $\mathcal{G}$ of the complete graph $K_n$ is ($l,C_k$) if the union $F\cup G$, for any $F\in\mathcal{F}$ and $G\in\mathcal{G}$, includes exactly $l$ cycles of length $k$. In this paper, we prove the following: if $q\equiv11$ (mod 24) is an odd prime power, then there is a ($1,C_4$) one-factorization of $K_{q+1}$. Also, there is a pair of orthogonal ($2,C_4$) one-factorization of $K_{q+1}$.
Inertia indices of a complex unit gain graph in terms of matching number
Published
• View Publication
• BIB
A complex unit gain graph is a triple $\varphi=(G, \mathbb{T}, \varphi)$ (or $G^{\varphi}$ for short) consisting of a simple graph $G$, as the underlying graph of $G^{\varphi}$, the set of unit complex numbers $\mathbb{T}={z\in \mathbb{C}: |z| = 1}$ and a gain function $\varphi: \overrightarrow{E}\rightarrow \mathbb{T}$ such that $\varphi(e_{i,j})=\varphi(e_{j,i}) ^{-1}$. Let $A(G^{\varphi})$ be adjacency matrix of $G^{\varphi}$. In this paper, we prove that $$m(G)-c(G)\leq p(G^{\varphi})\leq m(G)+c(G),$$ $$m(G)-c(G)\leq n(G^{\varphi})\leq m(G)+c(G),$$ where $p(G^{\varphi})$, $n(G^{\varphi})$, $m(G)$ and $c(G)$ are the number of positive eigenvalues of $A(G^{\varphi})$, the number of negative eigenvalues of $A(G^{\varphi})$, the matching number and the cyclomatic number of $G$, respectively. Furthermore, we characterize the graphs which attain the upper bounds and the lower bounds, respectively.
Choice number of Kneser graphs
Published
• View Publication
• BIB
In this short note, we show that for any $ε>0$ and $k<n^{0.5-ε}$ the choice number of the Kneser graph $KG_{n,k}$ is $Θ(n\log n)$.
Planar graphs with the maximum number of induced 4-cycles or 5-cycles
Published
• View Publication
• BIB
For large $n$ we determine exactly the maximum numbers of induced $C_4$ and $C_5$ subgraphs that a planar graph on $n$ vertices can contain. We show that $K_{2,n-2}$ uniquely achieves this maximum in the $C_4$ case, and we identify the graphs which achieve the maximum in the $C_5$ case. This extends work in a paper by Hakimi and Schmeichel and a paper by Ghosh, Győri, Janzer, Paulos, Salia, and Zamora which together determine both maxima asymptotically.
Factorially many maximum matchings close to the Erdős-Gallai bound
Published
• View Publication
• BIB
A classical result of Erdős and Gallai determines the maximum size $m(n,ν)$ of a graph $G$ of order $n$ and matching number $νn$. We show that $G$ has factorially many maximum matchings provided that its size is sufficiently close to $m(n,ν)$.
An improved planar graph product structure theorem
Published
• View Publication
• BIB
Dujmović, Joret, Micek, Morin, Ueckerdt and Wood [J. ACM 2020] proved that for every planar graph $G$ there is a graph $H$ with treewidth at most 8 and a path $P$ such that $G\subseteq H\boxtimes P$. We improve this result by replacing "treewidth at most 8" by "simple treewidth at most 6".
On the principal eigenvector of a graph
The principal ratio of a connected graph $G$, $γ(G)$, is the ratio between the largest and smallest coordinates of the principal eigenvector of the adjacency matrix of $G$. Over all connected graphs on $n$ vertices, $γ(G)$ ranges from $1$ to $n^{cn}$. Moreover, $γ(G)=1$ if and only if $G$ is regular. This indicates that $γ(G)$ can be viewed as an irregularity measure of $G$, as first suggested by Tait and Tobin (El. J. Lin. Alg. 2018). We are interested in how stable this measure is. In particular, we ask how $γ$ changes when there is a small modification to a regular graph $G$. We show that this ratio is polynomially bounded if we remove an edge belonging to a cycle of bounded length in $G$, while the ratio can jump from $1$ to exponential if we join a pair of vertices at distance $2$. We study the connection between the spectral gap of a regular graph and the stability of its principal ratio. A naive bound shows that given a constant multiplicative spectral gap and bounded degree, the ratio remains polynomially bounded if we add or delete an edge. Using results from matrix perturbation theory, we show that given an additive spectral gap greater than $(2+ε)\sqrt{n}$, the ratio stays bounded after adding or deleting an edge.
Prime-valent Symmetric graphs with a quasi-semiregular automorphism
Published
• View Publication
• BIB
An automorphism of a graph is called quasi-semiregular if it fixes a unique vertex of the graph and its remaining cycles have the same length. This kind of symmetry of graphs was first investigated by Kutnar, Malnič, Martínez and Marušič in 2013, as a generalization of the well-known semiregular automorphism of a graph. Symmetric graphs of valency three or four, admitting a quasi-semiregular automorphism, have been classified in recent two papers.
Let $p\geq 5$ be a prime and $Γ$ a connected symmetric graph of valency $p$ admitting a quasi-semiregular automorphism. In this paper, we first prove that either $Γ$ is a connected Cayley graph $\rm{Cay}(M,S)$ such that $M$ is a $2$-group admitting a fixed-point-free automorphism of order $p$ with $S$ as an orbit of involutions, or $Γ$ is a normal $N$-cover of a $T$-arc-transitive graph of valency $p$ admitting a quasi-semiregular automorphism, where $T$ is a non-abelian simple group and $N$ is a nilpotent group. Then in case $p=5$, we give a complete classification of such graphs $Γ$ such that either $\rm{Aut}(Γ)$ has a solvable arc-transitive subgroup or $Γ$ is $T$-arc-transitive with $T$ a non-abelian simple group. We also construct the first infinite family of symmetric graphs that have a quasi-semiregular automorphism and an insolvable full automorphism group.
Metric and Edge Metric Dimension of Zigzag Edge Coronoid Fused with Starphene
Let $Γ=(V,E)$ be a simple connected graph. $d(α,ε)=min\{d(α, w), d(α, d\}$ computes the distance between a vertex $α\in V(Γ)$ and an edge $ε=wd\in E(Γ)$. A single vertex $α$ is said to recognize (resolve) two different edges $ε_{1}$ and $ε_{2}$ from $E(Γ)$ if $d(α, ε_{2})\neq d(α, ε_{1}\}$. A subset of distinct ordered vertices $U_{E}\subseteq V(Γ)$ is said to be an edge metric generator for $Γ$ if every pair of distinct edges from $Γ$ are recognized by some element of $U_{E}$. An edge metric generator with a minimum number of elements in it, is called an edge metric basis for $Γ$. Then, the cardinality of this edge metric basis of $Γ$, is called the edge metric dimension of $Γ$, denoted by $edim(Γ)$. The concept of studying chemical structures using graph theory terminologies is both appealing and practical. It enables chemical researchers to more precisely and easily examine various chemical topologies and networks. In this article, we investigate a fascinating cluster of organic chemistry as a result of this motivation. We consider a zigzag edge coronoid fused with starphene and find its minimum vertex and edge metric generators.
Crowns in linear $3$-graphs
Published
• View Publication
• BIB
A \textit{linear $3$-graph}, $H = (V, E)$, is a set, $V$, of vertices together with a set, $E$, of $3$-element subsets of $V$, called edges, so that any two distinct edges intersect in at most one vertex. The linear Turán number, ${\rm ex}(n,F)$, is the maximum number of edges in a linear $3$-graph $H$ with $n$ vertices containing no copy of $F$.
We focus here on the \textit{crown}, $C$, which consists of three pairwise disjoint edges (jewels) and a fourth edge (base) which intersects all of the jewels. Our main result is that every linear $3$-graph with minimum degree at least $4$ contains a crown. This is not true if $4$ is replaced by $3$. In fact the known bounds of the Turán number are \[ 6 \left\lfloor{\frac{n - 3}{4}}\right\rfloor \leq {\rm ex}(n, C) \leq 2n, \] and in the construction providing the lower bound all but three vertices have degree $3$. We conjecture that ${\rm ex}(n, C) \sim \frac{3n}{2}$ but even if this were known it would not imply our main result.
Our second result is a step towards a possible proof of ${\rm ex}(n,C) \leq \frac{3n}{2}$ (i.e., determining it within a constant error). We show that a minimal counterexample to this statement must contain certain configurations with $9$ edges and we conjecture that all of them lead to contradiction.
Distinguishing threshold of graphs
Published in Journal of Graph Theory (2022)
• View Publication
• BIB
A vertex coloring of a graph $G$ is called distinguishing if no non-identity automorphisms of $G$ can preserve it. The distinguishing number of $G$, denoted by $D(G)$, is the minimum number of colors required for such a coloring, and the distinguishing threshold of $G$, denoted by $θ(G)$, is the minimum number $k$ such that every $k$-coloring of $G$ is distinguishing. As an alternative definition, $θ(G)$ is one more than the maximum number of cycles in the cycle decomposition of automorphisms of $G$. In this paper, we characterize $θ(G)$ when $G$ is disconnected. Afterwards, we prove that, although for every positive integer $k\neq 2$ there are infinitely many graphs whose distinguishing thresholds are equal to $k$, we have $θ(G)=2$ if and only if $\vert V(G)\vert =2$. Moreover, we show that if $θ(G)=3$, then either $G$ is isomorphic to one of the four graphs on~3 vertices or it is of order $2p$, where $p\neq 3,5$ is a prime number. Furthermore, we prove that $θ(G)=D(G)$ if and only if $G$ is asymmetric, $K_n$ or $\overline{K_n}$. Finally, we consider all generalized Johnson graphs, $J(n,k,i)$, which are the graphs on all $k$-subsets of $\{1,\ldots , n\}$ where two vertices $A$ and $B$ are adjacent if $|A\cap B|=k-i$. After studying their automorphism groups and distinguishing numbers, we calculate their distinguishing thresholds as $θ(J(n,k,i))={n\choose k} - {n-2\choose k-1}+1$, unless $ k=\frac{n}{2}$ and $i\in\{ \frac{k}{2} , k\}$ in which case we have $θ(J(n,k,i))={n\choose k}$.
Rooted Clusters for Graph LP Algebras
Published in SIGMA 18 (2022), 089, 30 pages
• View Publication
• BIB
LP algebras, introduced by Lam and Pylyavskyy, are a generalization of cluster algebras. These algebras are known to have the Laurent phenomenon, but positivity remains conjectural. Graph LP algebras are finite LP algebras encoded by a graph. For the graph LP algebra defined by a tree, we define a family of clusters called rooted clusters. We prove positivity for these clusters by giving explicit formulas for each cluster variable. We also give a combinatorial interpretation for these expansions using a generalization of $T$-paths.
On hamiltonian cycles in Cayley graphs of order pqrs
Published
• View Publication
• BIB
Let $G$ be a finite group. We show that if $|G| = pqrs$, where $p$, $q$, $r$, and $s$ are distinct odd primes, then every connected Cayley graph on $G$ has a hamiltonian cycle.
Counting $r$-graphs without forbidden configurations
Published
• View Publication
• BIB
One of the major problems in combinatorics is to determine the number of $r$-uniform hypergraphs ($r$-graphs) on $n$ vertices which are free of certain forbidden structures. This problem dates back to the work of Erdős, Kleitman and Rothschild, who showed that the number of $K_r$-free graphs on $n$ vertices is $2^{\text{ex}(n,K_r)+o(n^2)}$. Their work was later extended to forbidding graphs as induced subgraphs by Prömel and Steger.
Here, we consider one of the most basic counting problems for $3$-graphs. Let $E_1$ be the $3$-graph with $4$ vertices and $1$ edge. What is the number of induced $\{K_4^3,E_1\}$-free $3$-graphs on $n$ vertices? We show that the number of such $3$-graphs is of order $n^{Θ(n^2)}$. More generally, we determine asymptotically the number of induced $\mathcal{F}$-free $3$-graphs on $n$ vertices for all families $\mathcal{F}$ of $3$-graphs on $4$ vertices. We also provide upper bounds on the number of $r$-graphs on $n$ vertices which do not induce $i \in L$ edges on any set of $k$ vertices, where $L \subseteq \big \{0,1,\ldots,\binom{k}{r} \big\}$ is a list which does not contain $3$ consecutive integers in its complement. Our bounds are best possible up to a constant multiplicative factor in the exponent when $k = r+1$. The main tool behind our proof is counting the solutions of a constraint satisfaction problem.
Computational complexity and pragmatic solutions for flexible tile based DNA self-assembly
Branched junction molecule assembly of DNA nanostructures, pioneered by Seeman's laboratory in the 1980s, has become increasingly sophisticated, as have the assembly targets. A critical design step is finding minimal sets of branched junction molecules that will self-assemble into target structures without unwanted substructures forming. We use graph theory, which is a natural design tool for self-assembling DNA complexes, to address this problem. After determining that finding optimal design strategies for this method is generally NP-complete, we provide pragmatic solutions in the form of programs for special settings and provably optimal solutions for natural assembly targets such as platonic solids, regular lattices, and nanotubes. These examples also illustrate the range of design challenges.
The Pyro game: a slow intelligent fire
In the Firefighter problem, a fire breaks out at a vertex of a graph and at each subsequent time step, the firefighter chooses a vertex to protect and then the fire spreads from each burned vertex to every unprotected neighbour. The problem can be thought of as a simplified model for the spread of gossip or disease in a network. We introduce a new two-player variation called the Pyro game, in which at each step, the fire spreads from one burned vertex to all unprotected neighbours of that vertex. The fire is no longer automated and aims to maximize the number of burned vertices. We show, that unlike the Firefighter problem, one firefighter can contain a fire on the Cartesian grid in the Pyro game. We also study both the Pyro Game and the Firefighter Problem on the infinite strong grid and the complexity of the Pyro game.