graph
35411 papers tagged with this keyword
Efficient diagonalization of symmetric matrices associated with graphs of small treewidth
Let $M=(m_{ij})$ be a symmetric matrix of order $n$ whose elements lie in an arbitrary field $\mathbb{F}$, and let $G$ be the graph with vertex set $\{1,\ldots,n\}$ such that distinct vertices $i$ and $j$ are adjacent if and only if $m_{ij} \neq 0$. We introduce a dynamic programming algorithm that finds a diagonal matrix that is congruent to $M$. If $G$ is given with a tree decomposition $\mathcal{T}$ of width $k$, then this can be done in time $O(k|\mathcal{T}| + k^2 n)$, where $|\mathcal{T}|$ denotes the number of nodes in $\mathcal{T}$. Among other things, this allows one to compute the determinant, the rank and the inertia of a symmetric matrix in time $O(k|\mathcal{T}| + k^2 n)$.
On signed graphs with at most two eigenvalues unequal to $\pm 1$
Published
• View Publication
• BIB
We present the first steps towards the determination of the signed graphs for which the adjacency matrix has all but at most two eigenvalues equal to 1 or -1. Here we deal with the disconnected, the bipartite and the complete signed graphs. In addition, we present many examples which cannot be obtained from an unsigned graph or its negative by switching.
Covering random graphs with monochromatic trees
Given an $r$-edge-coloured complete graph $K_n$, how many monochromatic connected components does one need in order to cover its vertex set? This natural question is a well-known essentially equivalent formulation of the classical Ryser's conjecture which, despite a lot of attention over the last 50 years, still remains open. A number of recent papers consider a sparse random analogue of this question, asking for the minimum number of monochromatic components needed to cover the vertex set of an $r$-edge-coloured random graph $\mathcal{G}(n,p)$.
Recently, Bucić, Korándi and Sudakov established a connection between this problem and a certain Helly-type local to global question for hypergraphs raised about 30 years ago by Erdős, Hajnal and Tuza. We identify a modified version of the hypergraph problem which controls the answer to the problem of covering random graphs with monochromatic components more precisely. To showcase the power of our approach, we essentially resolve the $3$-colour case by showing that $(\log n / n)^{1/4}$ is a threshold at which point three monochromatic components are needed to cover all vertices of a $3$-edge-coloured random graph, answering a question posed by Kohayakawa, Mendonça, Mota and Schülke. Our approach also allows us to determine the answer in the general $r$-edge coloured instance of the problem, up to lower order terms, around the point when it first becomes bounded, answering a question of Bucić, Korándi and Sudakov.
Ramsey numbers of trails and circuits
Published
• View Publication
• BIB
We show that every two-colouring of the edges of the complete graph $K_n$ contains a monochromatic trail or circuit of length at least $2n^2/9 +o(n^2)$, which is asymptotically best possible.
Improved Upper Bound on the Linear Turán Number of the Crown
A linear $3$-graph is a set of vertices along with a set of edges, which are three element subsets of the vertices, such that any two edges intersect in at most one vertex. The crown, $C$, is a specific $3$-graph consisting of three pairwise disjoint edges, called jewels, along with a fourth edge intersecting all three jewels. For a linear $3$-graph, $F$, the linear Turán number, $ex(n,F)$, is the maximum number of edges in any linear $3$-graph that does not contain $F$ as a subgraph. Currently, the best known bounds on the linear Turán number of the crown are
\[ 6 \Big \lfloor \frac{n-3}{4}\Big \rfloor \leq ex(n, C) \leq 2n. \] In this paper, the upper bound is improved to $ex(n,C) < \frac{5n}{3}$.
Minimum Number of Bends of Paths of Trees in a Grid Embedding
Published
• View Publication
• BIB
We are interested in embedding trees T with maximum degree at most four in a rectangular grid, such that the vertices of T correspond to grid points, while edges of T correspond to non-intersecting straight segments of the grid lines. Such embeddings are called straight models. While each edge is represented by a straight segment, a path of T is represented in the model by the union of the segments corresponding to its edges, which may consist of a path in the model having several bends. The aim is to determine a straight model of a given tree T minimizing the maximum number of bends over all paths of T. We provide a quadratic-time algorithm for this problem. We also show how to construct straight models that have k as its minimum number of bends and with the least number of vertices possible. As an application of our algorithm, we provide an upper bound on the number of bends of EPG models of graphs that are both VPT and EPT.
Limiting Behavior of Resistances in Triangular Graphs
Barrett et al studied resistance labels of electrical circuits whose underlying graphs when embedded in the Cartesian plane has the form of an $n$-grid, $n$ rows of upright triangles. Proofs in Barrett introduced a row-reduction algorithm which uses series, $Δ$--Y, and Y--$Δ$ electric transformations to transform an $n$-grid into an $n-1$ grid with equivalent resistances between specified nodes. This paper explores this row-reduction algorithm computationally. The introductory part of the paper presents several conjectures supported by numerical evidence, showing that repeated application of the row-reduction algorithm to an initial $n$-grid uniformly labeled 1 asymptotically produces triangular grids whose sides are labeled with rational multiples of $\frac{1}{e};$ moreover, the ratio of specified consecutive edges in the row-reduced grids are asymptotically described by four rational functions. The main part of this paper studies a family of graphs whose edge labels are determined using these limiting edge-ratios functions arising in the conjectures. The main result proven is that these $n$-grids and their repeated reductions under the row-reduction algorithm possess vertical and rotational symmetries and satisfy the relationships captured by the four edge-ratio functions. Thus, the limiting edge-ratio relationships are local algebraic relationships mirroring the global vertical and rotational symmetries possessed by the underlying graph. Additionally, because row-reduction is local (in contrast to the combinatoric Laplacian which is global) the paper is able to introduce a mechanical verification method of proof for assertions about effective resistance identities.
Sufficient spectral conditions for graphs being $k$-edge-Hamiltonian or $k$-Hamiltonian
Published in Linear and Multilinear Algebra 71 (13) (2023) 2093-2113
• View Publication
• BIB
A graph $G$ is $k$-edge-Hamiltonian if any collection of vertex-disjoint paths with at most $k$ edges altogether belong to a Hamiltonian cycle in $G$. A graph $G$ is $k$-Hamiltonian if for all $S\subseteq V(G)$ with $|S|\le k$, the subgraph induced by $V(G)\setminus S$ has a Hamiltonian cycle. These two concepts are classical extensions for the usual Hamiltonian graphs. In this paper, we present some spectral sufficient conditions for a graph to be $k$-edge-Hamiltonian and $k$-Hamiltonian in terms of the adjacency spectral radius as well as the signless Laplacian spectral radius. Our results could be viewed as slight extensions of the recent theorems proved by Li and Ning [Linear Multilinear Algebra 64 (2016)], Nikiforov [Czechoslovak Math. J. 66 (2016)] and Li, Liu and Peng [Linear Multilinear Algebra 66 (2018)]. Moreover, we shall prove a stability result for graphs being $k$-Hamiltonian, which could be regarded as a complement of two recent results of Füredi, Kostochka and Luo [Discrete Math. 340 (2017)] and [Discrete Math. 342 (2019)].
An algorithm for Berenstein-Kazhdan decoration functions and trails for minuscule representations
Published
• View Publication
• BIB
For a simply connected connected simple algebraic group $G$, a cell $B_{w_0}^-=B^-\cap U\overline{w_0}U$ is a geometric crystal with a positive structure $θ_{\textbf{i}}^-:(\mathbb{C}^{\times})^{l(w_0)}\rightarrow B_{w_0}^-$. Applying the tropicalization functor to a rational function $Φ^h_{BK}=\sum_{i\in I}Δ_{w_0Λ_i,s_iΛ_i}$ called the half decoration on $B_{w_0}^-$, one can realize the crystal $B(\infty)$ in $\mathbb{Z}^{l(w_0)}$. By computing $Φ^h_{BK}$, we get an explicit form of $B(\infty)$ in $\mathbb{Z}^{l(w_0)}$. In this paper, we give an algorithm to compute $Δ_{w_0Λ_i,s_iΛ_i}\circ θ_{\textbf{i}}^-$ explicitly for $i\in I$ such that $V(Λ_i)$ is a minuscule representation of $\mathfrak{g}={\rm Lie}(G)$. In particular, the algorithm works for all $i\in I$ if $\mathfrak{g}$ is of type ${\rm A}_n$. The algorithm computes a directed graph $DG$, called a decoration graph, whose vertices are labelled by all monomials in $Δ_{w_0Λ_i,s_iΛ_i}\circ θ_{\textbf{i}}^-(t_1,\cdots,t_{l(w_0)})$. The decoration graph has some properties similar to crystal graphs of minuscule representations. We also verify that the algorithm works in some other cases, for example, the case $\mathfrak{g}$ is of type ${\rm G}_2$ though $V(Λ_i)$ is non-minuscule.
The Terwilliger algebra of the halved cube
Let $D\geq 3$ denote an integer. For any $x\in \mathbb F_2^D$ let $w(x)$ denote the Hamming weight of $x$. Let $X$ denote the subspace of $\mathbb F_2^D$ consisting of all $x\in \mathbb F_2^D$ with even $w(x)$. The $D$-dimensional halved cube $\frac{1}{2}H(D,2)$ is a finite simple connected graph with vertex set $X$ and $x,y\in X$ are adjacent if and only if $w(x-y)=2$. Fix a vertex $x\in X$. The Terwilliger algebra $\mathcal T=\mathcal T(x)$ of $\frac{1}{2}H(D,2)$ with respect to $x$ is the subalgebra of ${\rm Mat}_X(\mathbb C)$ generated by the adjacency matrix $A$ and the dual adjacency matrix $A^*=A^*(x)$ where $A^*$ is a diagonal matrix with $$ A^*_{yy}=D-2w(x-y) \qquad \hbox{for all $y\in X$}. $$ In this paper we decompose the standard $\mathcal T$-module into a direct sum of irreducible $\mathcal T$-modules.
A linear-time algorithm for semitotal domination in strongly chordal graphs
Published
• View Publication
• BIB
In a graph $G=(V,E)$ with no isolated vertex, a dominating set $D \subseteq V$, is called a semitotal dominating set if for every vertex $u \in D$ there is another vertex $v \in D$, such that distance between $u$ and $v$ is at most two in $G$. Given a graph $G=(V,E)$ without isolated vertices, the Minimum Semitotal Domination problem is to find a minimum cardinality semitotal dominating set of $G$. The semitotal domination number, denoted by $γ_{t2}(G)$, is the minimum cardinality of a semitotal dominating set of $G$. The decision version of the problem remains NP-complete even when restricted to chordal graphs, chordal bipartite graphs, and planar graphs. Galby et al. in [6] proved that the problem can be solved in polynomial time for bounded MIM-width graphs which includes many well known graph classes, but left the complexity of the problem in strongly chordal graphs unresolved. Henning and Pandey in [20] also asked to resolve the complexity status of the problem in strongly chordal graphs. In this paper, we resolve the complexity of the problem in strongly chordal graphs by designing a linear-time algorithm for the problem.
A non-aligning variant of generalized Turán problems
Published
• View Publication
• BIB
In the so-called generalized Turán problems we study the largest number of copies of $H$ in an $n$-vertex $F$-free graph $G$. Here we introduce a variant, where $F$ is not forbidden, but we restrict how copies of $H$ and $F$ can be placed in $G$. More precisely, given an integer $n$ and graphs $H$ and $F$, what is the largest number of copies of $H$ in an $n$-vertex graph such that the vertex set of that copy does not contain and is not contained in the vertex set of a copy of $F$?
We solve this problem for some instances, give bounds in other instances, and we use our results to determine the generalized Turán number for some pairs of graphs.
Generalized Turán number for linear forests
Published
• View Publication
• BIB
The generalized Turán number $ex(n,K_s,H)$ is defined to be the maximum number of copies of a complete graph $K_s$ in any $H$-free graph on $n$ vertices. Let $F$ be a linear forest consisting of $k$ paths of orders $\ell_1,\ell_2,...,\ell_k$. In this paper, by characterizing the structure of the $F$-free graph with large minimum degree, we determine the value of $ex(n,K_s,F)$ for $n=Ω\left(|F|^s\right)$ and $k\geq 2$ except some $\ell_i=3$, and the corresponding extremal graphs. The special case when $s=2$ of our result improves some results of Bushaw and Kettle (2011) and Lidický et al. (2013) on the classical Turán number for linear forests.
McKay trees
Published
• View Publication
• BIB
Given a finite group $G$ and its representation $ρ$, the corresponding McKay graph is a graph $Γ(G,ρ)$ whose vertices are the irreducible representations of $G$; the number of edges between two vertices $π,τ$ of $Γ(G,ρ)$ is $dim Hom_G(π\otimes ρ, τ) $. The collection of all McKay graphs for a given group $G$ encodes, in a sense, its character table. Such graphs were also used by McKay to provide a bijection between the finite subgroups of $SU(2)$ and the affine Dynkin diagrams of types $A, D, E$, the bijection given by considering the appropriate McKay graphs.
In this paper, we classify all (undirected) trees which are McKay graphs of finite groups and describe the corresponding pairs $(G,ρ)$; this classification turns out to be very concise.
Moreover, we give a partial classification of McKay graphs which are forests, and construct some non-trivial examples of such forests.
Geometric bijections between spanning subgraphs and orientations of a graph
Published
• View Publication
• BIB
Let $G$ be a connected finite graph. Backman, Baker, and Yuen have constructed a family of explicit and easy-to-describe bijections $g_{σ,σ^*}$ between spanning trees of $G$ and $(σ,σ^*)$-compatible orientations, where the $(σ,σ^*)$-compatible orientations are the representatives of equivalence classes of orientations up to cycle-cocycle reversal which are determined by a cycle signature $σ$ and a cocycle signature $σ^*$. Their proof makes use of zonotopal subdivisions and the bijections $g_{σ,σ^*}$ are called \emph{geometric bijections}. In this paper, we extend the geometric bijections to subgraph-orientation correspondences. Moreover, we extend the geometric constructions accordingly. Our proofs are purely combinatorial, even for the geometric constructions. We also provide geometric proofs for partial results, which make use of zonotopal tiling, relate to Backman, Baker, and Yuen's method, and motivate our combinatorial constructions. Finally, we explain that the main results hold for \emph{regular matroids}.
Erdős-Gyárfás Conjecture for $P_8$-free graphs
Published
• View Publication
• BIB
A graph is $P_8$-free if it contains no induced subgraph isomorphic to the path $P_8$ on eight vertices. In 1995, Erdős and Gyárfás conjectured that every graph of minimum degree at least three contains a cycle whose length is a power of two. In this paper, we confirm the conjecture for $P_8$-free graphs by showing that there exists a cycle of length four or eight in every $P_8$-free graph with minimum degree at least three.
Induced subgraphs and tree decompositions III. Three-path-configurations and logarithmic treewidth
Published in Advances in Combinatorics, 2022:6, 29pp
• View Publication
• BIB
A theta is a graph consisting of two non-adjacent vertices and three internally disjoint paths between them, each of length at least two. For a family $\mathcal{H}$ of graphs, we say a graph $G$ is $\mathcal{H}$-free if no induced subgraph of $G$ is isomorphic to a member of $\mathcal{H}$. We prove a conjecture of Sintiari and Trotignon, that there exists an absolute constant $c$ for which every (theta, triangle)-free graph $G$ has treewidth at most $c\log (|V(G)|)$. A construction by Sintiari and Trotignon shows that this bound is asymptotically best possible, and (theta, triangle)-free graphs comprise the first known hereditary class of graphs with arbitrarily large yet logarithmic treewidth.
Our main result is in fact a generalization of the above conjecture, that treewidth is at most logarithmic in $|V(G)|$ for every graph $G$ excluding the so-called three-path-configurations as well as a fixed complete graph. It follows that several NP-hard problems such as Stable Set, Vertex Cover, Dominating Set and Coloring admit polynomial time algorithms in graphs excluding the three-path-configurations and a fixed complete graph.
Bipartite-ness under smooth conditions
Published
• View Publication
• BIB
Given a family $\mathcal{F}$ of bipartite graphs, the {\it Zarankiewicz number} $z(m,n,\mathcal{F})$ is the maximum number of edges in an $m$ by $n$ bipartite graph $G$ that does not contain any member of $\mathcal{F}$ as a subgraph (such $G$ is called {\it $\mathcal{F}$-free}). For $1\leq β<α<2$, a family $\mathcal{F}$ of bipartite graphs is $(α,β)$-{\it smooth} if for some $ρ>0$ and every $m\leq n$, $z(m,n,\mathcal{F})=ρm n^{α-1}+O(n^β)$. Motivated by their work on a conjecture of Erdős and Simonovits on compactness and a classic result of Andrásfai, Erdős and Sós, in \cite{AKSV} Allen, Keevash, Sudakov and Verstraëte proved that for any $(α,β)$-smooth family $\mathcal{F}$, there exists $k_0$ such that for all odd $k\geq k_0$ and sufficiently large $n$, any $n$-vertex $\mathcal{F}\cup\{C_k\}$-free graph with minimum degree at least $ρ(\frac{2n}{5}+o(n))^{α-1}$ is bipartite.
In this paper, we strengthen their result by showing that for every real $δ>0$, there exists $k_0$ such that for all odd $k\geq k_0$ and sufficiently large $n$, any $n$-vertex $\mathcal{F}\cup\{C_k\}$-free graph with minimum degree at least $δn^{α-1}$ is bipartite. Furthermore, our result holds under a more relaxed notion of smoothness, which include the families $\mathcal{F}$ consisting of the single graph $K_{s,t}$ when $t\gg s$. We also prove an analogous result for $C_{2\ell}$-free graphs for every $\ell\geq 2$, which complements a result of Keevash, Sudakov and Verstraëte in \cite{KSV}.
Forest formulas of discrete Green's functions
Published in Journal of Graph Theory 102 (2023), 556-577
• View Publication
• BIB
The discrete Green's functions are the pseudoinverse (or the inverse) of the Laplacian (or its variations) of a graph. In this paper, we will give combinatorial interpretations of Green's functions in terms of enumerating trees and forests in a graph that will be used to derive further formulas for several graph invariants. For example, we show that the trace of the Green's function $\mathbf{G}$ associated with the combinatorial Laplacian of a connected simple graph $Γ$ on $n$ vertices satisfies $\text{Tr}(\mathbf{G})=\sum_{λ_i \neq 0} \frac 1 {λ_i}= \frac{1}{nτ}|\mathbb{F}^*_2|$, where $λ_i$ denotes the eigenvalues of the combinatorial Laplacian, $τ$ denotes the number of spanning trees and $\mathbb{F}^*_2$ denotes the set of rooted spanning $2$-forests in $Γ$. We will prove forest formulas for discrete Green's functions for directed and weighted graphs and apply them to study random walks on graphs and digraphs. We derive a forest expression of the hitting time for digraphs, which gives combinatorial proofs to old and new results about hitting times, traces of discrete Green's functions, and other related quantities.
Coordinating drones with mothership vehicles: The mothership and multiple drones routing problem with Graphs
Published
• View Publication
• BIB
This paper considers the optimization problems that arise to coordinate a tandem between a mothership vehicle and a fleet of drones. %more than one drone. Each drone can be launched from the mothership to perform an operation. After completing the operations the drones return to the mothership to recharge batteries and to be ready for a new operation. Operations consist on (partially) visiting graphs with given lengths to deliver some service or to perform some surveillance/inspection activity. The goal is to minimize the overall weighted distance traveled by the mothership while satisfying some requirements in terms of percentages of visits to the target graphs. In all cases, we develop exact formulations resorting to mixed integer second order cone programs that are compared on a testbed of instances to assess their performance. We also develop a matheuristic algorithm that provides reasonable solutions. Computational experiments show the usefulness of our methods in different scenarios.