graph
34726 papers tagged with this keyword
Turán number of disjoint triangles in 4-partite graphs
Let $k\ge 2$ and $n_1\ge n_2\ge n_3\ge n_4$ be integers such that $n_4$ is sufficiently larger than $k$. We determine the maximum number of edges of a 4-partite graph with parts of sizes $n_1,\dots, n_4$ that does not contain $k$ vertex-disjoint triangles. For any $r> t\ge 3$, we give a conjecture on the maximum number of edges of an $r$-partite graph that does not contain $k$ vertex-disjoint cliques $K_t$.
Proper disconnection of graphs
For an edge-colored graph $G$, a set $F$ of edges of $G$ is called a \emph{proper cut} if $F$ is an edge-cut of $G$ and any pair of adjacent edges in $F$ are assigned by different colors. An edge-colored graph is \emph{proper disconnected} if for each pair of distinct vertices of $G$ there exists a proper edge-cut separating them. For a connected graph $G$, the \emph{proper disconnection number} of $G$, denoted by $pd(G)$, is the minimum number of colors that are needed in order to make $G$ proper disconnected. In this paper, we first give the exact values of the proper disconnection numbers for some special families of graphs. Next, we obtain a sharp upper bound of $pd(G)$ for a connected graph $G$ of order $n$, i.e, $pd(G)\leq \min\{ χ'(G)-1, \left \lceil \frac{n}{2} \right \rceil\}$. Finally, we show that for given integers $k$ and $n$, the minimum size of a connected graph $G$ of order $n$ with $pd(G)=k$ is $n-1$ for $k=1$ and $n+2k-4$ for $2\leq k\leq \lceil\frac{n}{2}\rceil$.
On Colourability of Polygon Visibility Graphs
We study the problem of colouring visibility graphs of polygons. In particular, for visibility graphs of simple polygons, we provide a polynomial algorithm for 4-colouring, and prove that the 5-colourability question is already NP-complete for them. For visibility graphs of polygons with holes, we prove that the 4-colourability question is NP-complete.
Resonance graphs of catacondensed even ring systems
Published in Appl. Math. Comput. 374 (2020) 125064
• Search Publication
A catacondensed even ring system (shortly CERS) is a simple bipartite 2-connected outerplanar graph with all vertices of degree 2 or 3. In this paper, we investigate the resonance graphs (also called $Z$-transformation graphs) of CERS and firstly show that two even ring chains are resonantly equivalent iff their resonance graphs are isomorphic. As the main result, we characterize CERS whose resonance graphs are daisy cubes. In this way, we greatly generalize the result known for kinky benzenoid graphs. Finally, some open problems are also presented.
Triangles in $K_s$-saturated graphs with minimum degree $t$
For $n \geq 15$, we prove that the minimum number of triangles in an $n$-vertex $K_4$-saturated graph with minimum degree 4 is exactly $2n-4$, and that there is a unique extremal graph. This is a triangle version of a result of Alon, Erdős, Holzman, and Krivelevich from 1996. Additionally, we show that for any $s > r \geq 3$ and $t \geq 2 (s-2)+1$, there is a $K_s$-saturated $n$-vertex graph with minimum degree $t$ that has $\binom{ s-2}{r-1}2^{r-1} n + c_{s,r,t}$ copies of $K_r$. This shows that unlike the number of edges, the number of $K_r$'s ($r >2$) in a $K_s$-saturated graph is not forced to grow with the minimum degree, except for possibly in lower order terms.
All Terminal Reliability Roots of Smallest Modulus
Given a connected graph $G$ whose vertices are perfectly reliable and whose edges each fail independently with probability $q\in[0,1],$ the \textit{(all-terminal) reliability} of $G$ is the probability that the resulting subgraph of operational edges contains a spanning tree (this probability is always a polynomial in $q$). The location of the roots of reliability polynomials has been well studied, with particular interest in finding those with the largest moduli. In this paper, we will discuss a related problem -- among all reliability polynomials of graphs on $n$ vertices, which has a root of smallest modulus? We prove that, provided $n \geq 3$, the roots of smallest moduli occur precisely for the cycle graph $C_n$, and the root is unique.
Correlation decay and partition function zeros: Algorithms and phase transitions
Published
• View Publication
• BIB
We explore connections between the phenomenon of correlation decay and the location of Lee-Yang and Fisher zeros for various spin systems. In particular we show that, in many instances, proofs showing that weak spatial mixing on the Bethe lattice (infinite $Δ$-regular tree) implies strong spatial mixing on all graphs of maximum degree $Δ$ can be lifted to the complex plane, establishing the absence of zeros of the associated partition function in a complex neighborhood of the region in parameter space corresponding to strong spatial mixing. This allows us to give unified proofs of several recent results of this kind, including the resolution by Peters and Regts of the Sokal conjecture for the partition function of the hard core lattice gas. It also allows us to prove new results on the location of Lee-Yang zeros of the anti-ferromagnetic Ising model.
We show further that our methods extend to the case when weak spatial mixing on the Bethe lattice is not known to be equivalent to strong spatial mixing on all graphs. In particular, we show that results on strong spatial mixing in the anti-ferromagnetic Potts model can be lifted to the complex plane to give new zero-freeness results for the associated partition function. This extension allows us to give the first deterministic FPTAS for counting the number of $q$-colorings of a graph of maximum degree $Δ$ provided only that $q\ge 2Δ$. This matches the natural bound for randomized algorithms obtained by a straightforward application of Markov chain Monte Carlo. We also give an improved version of this result for triangle-free graphs.
On a version of the spectral excess theorem
Given a regular (connected) graph $Γ=(X,E)$ with adjacency matrix $A$, $d+1$ distinct eigenvalues, and diameter $D$, we give a characterization of when its distance matrix $A_D$ is a polynomial in $A$, in terms of the adjacency spectrum of $Γ$ and the arithmetic (or harmonic) mean of the numbers of vertices at distance $\le D-1$ of every vertex. The same results is proved for any graph by using its Laplacian matrix $L$ and corresponding spectrum. When $D=d$ we reobtain the spectral excess theorem characterizing distance-regular graphs.
The Alon-Tarsi number of subgraphs of a planar graph
This paper constructs a planar graph $G_1$ such that for any subgraph $H$ of $G_1$ with maximum degree $Δ(H) \le 3$, $G_1-E(H)$ is not $3$-choosable, and a planar graph $G_2$ such that for any star forest $F$ in $G_2$, $G_2-E(F)$ contains a copy of $K_4$ and hence $G_2-E(F)$ is not $3$-colourable. On the other hand, we prove that every planar graph $G$ contains a forest $F$ such that the Alon-Tarsi number of $G - E(F)$ is at most $3$, and hence $G - E(F)$ is 3-paintable and 3-choosable.
Quasi-automatic groups are asynchronously automatic
Published
• View Publication
• BIB
A quasi-automatic semigroup is a finitely generated semigroup with a rational set of representatives such that the graph of right multiplication by any generator is a rational relation. A asynchronously automatic semigroup is a quasi-automatic semigroup for which these rational relations are also recognisable by two-tape automata. We show that when such a semigroup happens to be a group, the converse actually holds, meaning quasi-automatic groups are asynchronously automatic.
Successive minimum spanning trees
In a complete graph $K_n$ with edge weights drawn independently from a uniform distribution $U(0,1)$ (or alternatively an exponential distribution $\operatorname{Exp}(1)$), let $T_1$ be the MST (the spanning tree of minimum weight) and let $T_k$ be the MST after deletion of the edges of all previous trees $T_i$, $i<k$. We show that each tree's weight $w(T_k)$ converges in probability to a constant $γ_k$ with $2k-2\sqrt k <γ_k<2k+2\sqrt k$, and we conjecture that $γ_k = 2k-1+o(1)$. The problem is distinct from that of Frieze and Johansson (2018), finding $k$ MSTs of combined minimum weight, and for $k=2$ ours has strictly larger cost.
Our results also hold (and mostly are derived) in a multigraph model where edge weights for each vertex pair follow a Poisson process; here we additionally have $\mathbb E(w(T_k)) \to γ_k$. Thinking of an edge of weight $w$ as arriving at time $t=n w$, Kruskal's algorithm defines forests $F_k(t)$, each initially empty and eventually equal to $T_k$, with each arriving edge added to the first $F_k(t)$ where it does not create a cycle. Using tools of inhomogeneous random graphs we obtain structural results including that $C_1(F_k(t))/n$, the fraction of vertices in the largest component of $F_k(t)$, converges in probability to a function $ρ_k(t)$, uniformly for all $t$, and that a giant component appears in $F_k(t)$ at a time $t=σ_k$. We conjecture that the functions $ρ_k$ tend to time translations of a single function, $ρ_k(2k+x)\toρ_\infty(x)$ as $k \to \infty$, uniformly in $x\in \mathbb R$.
Simulations and numerical computations give estimated values of $γ_k$ for small $k$, and support the conjectures just stated.
Enumeration of planar Tangles
Published in Proc Math Sci 130, 50 (2020)
• View Publication
• BIB
A planar Tangle is a smooth simple closed curve piecewise defined by quadrants of circles with constant curvature. We can enumerate Tangles by counting their dual graphs, which consist of a certain family of polysticks. The number of Tangles with a given length or area grows exponentially, and we show the existence of their growth constants by comparing Tangles to two families of polyominoes.
Pair State Transfer
Let $L$ denote the Laplacian matrix of a graph $G$. We study continuous quantum walks on $G$ defined by the transition matrix $U(t)=\exp\left(itL\right)$. The initial state is of the pair state form, $e_a-e_b$ with $a,b$ being any two vertices of $G$. We provide two ways to construct infinite families of graphs that have perfect pair transfer. We study a "transitivity" phenomenon which cannot occur in vertex state transfer. We characterize perfect pair state transfer on paths and cycles. We also study the case when quantum walks are generated by the unsigned Laplacians of underlying graphs and the initial states are of the plus state form, $e_a+e_b$. When the underlying graphs are bipartite, plus state transfer is equivalent to pair state transfer.
Extremal Behavior in Exponential Random Graphs
Yin, Rinaldo, and Fadnavis classified the extremal behavior of the edge-triangle exponential random graph model by first taking the network size to infinity, then the parameters diverging to infinity along straight lines. Lubetzky and Zhao proposed an extension to the edge-triangle model by introducing an exponent $γ> 0$ on the triangle homomorphism density function. This allows non-trivial behavior in the positive limit, which is absent in the standard edge-triangle model. The present work seeks to classify the limiting behavior of this generalized edge-triangle exponential random graph model. It is shown that for $γ\le 1$, the limiting set of graphons come from a special class, known as Turán graphons. For $γ> 1$, there are large regions of the parameter space where the limit is not a Turán graphon, but rather has edge density between subsequent Turán graphons. Furthermore, for $γ$ large enough, the exact edge density of the limiting set is determined in terms of a nested radical. Utilizing a result of Reiher, intuition is given for the characterization of the extremal behavior in the generalized edge-clique model.
An upper bound for the clique number using clique ceiling numbers
In this article we present the idea of clique ceiling numbers of the vertices of a given graph that has a universal vertex. We follow up with a polynomial-time algorithm to compute an upper bound for the clique number of such a graph using clique ceiling numbers. We compare this algorithm with some upper bound formulas for the clique number.
A reduction of the spectrum problem for odd sun systems and the prime case
Published in Journal of Combinatorial Designs 29(1) 2021, 5-37
• View Publication
• BIB
A $k$-cycle with a pendant edge attached to each vertex is called a $k$-sun. The existence problem for $k$-sun decompositions of $K_v$, with $k$ odd, has been solved only when $k=3$ or $5$.
By adapting a method used by Hoffmann, Lindner and Rodger to reduce the spectrum problem for odd cycle systems of the complete graph, we show that if there is a $k$-sun system of $K_v$ ($k$ odd) whenever $v$ lies in the range $2k< v < 6k$ and satisfies the obvious necessary conditions, then such a system exists for every admissible $v\geq 6k$.
Resistance matrices of balanced directed graphs
Published
• View Publication
• BIB
Let $G$ be a strongly connected and balanced directed graph. The Laplacian matrix of $G$ is then the matrix (not necessarily symmetric) $L:=D-A$, where $A$ is the adjacency matrix of $G$ and $D$ is the diagonal matrix such that the row sums and the column sums of $L$ are equal to zero. Let $L^†=[l^†_{ij}]$ be the Moore-Penrose inverse of $L$. We define the resistance between any two vertices $i$ and $j$ of $G$ by $r_{ij}:=l^†_{ii}+l^†_{jj}-2l^†_{ij}$. In this paper, we derive some interesting properties of the resistance and the corresponding resistance matrix $[r_{ij}]$.
Betti numbers of unordered configuration spaces of small graphs
The purpose of this document is to provide data about known Betti numbers of unordered configuration spaces of small graphs in order to guide research and avoid duplicated effort. It contains information for connected multigraphs having at most nine edges which contain no loops, no bivalent vertices, and no internal (i.e., non-leaf) bridges.
Generalizations of $k$-Weisfeiler-Leman stabilization
Published in Moscow J. Comb. Number Th. 9 (2020) 229-252
• View Publication
• BIB
The family of Weisfeiler-Leman equivalences on graphs is a widely studied approximation of graph isomorphism with many different characterizations. We study these, and other approximations of isomorphism defined in terms of refinement operators and Schurian Polynomial Approximation Schemes (SPAS). The general framework of SPAS allows us to study a number of parameters of the refinement operators based on Weisfeiler-Leman refinement, logic with counting, lifts of Weisfeiler-Leman as defined by Evdokimov and Ponomarenko, and the invertible map test introduced by Dawar and Holm, and variations of these, and establish relationships between them.
The general position problem and strong resolving graph
The general position number ${\rm gp}(G)$ of a connected graph $G$ is the cardinality of a largest set $S$ of vertices such that no three pairwise distinct vertices from $S$ lie on a common geodesic. It is proved that ${\rm gp}(G)\ge ω(G_{\rm SR}$, where $G_{\rm SR}$ is the strong resolving graph of $G$, and $ω(G_{\rm SR})$ is its clique number. That the bound is sharp is demonstrated with numerous constructions including for instance direct products of complete graphs and different families of strong products, of generalized lexicographic products, and of rooted product graphs. For the strong product it is proved that $gp(G\boxtimes H) \ge gp(G)gp(H)$, and asked whether the equality holds for arbitrary connected graphs $G$ and $H$. It is proved that the answer is in particular positive for strong products with a complete factor, for strong products of complete bipartite graphs, and for certain strong cylinders.