graph
34665 papers tagged with this keyword
Convergence of Eulerian triangulations
Published in Electron. J. Probab. 26: 1-48 (2021)
• View Publication
• BIB
We prove that properly rescaled large planar Eulerian triangulations converge to the Brownian map. This result requires more than a standard application of the methods that have been used to obtain the convergence of other families of planar maps to the Brownian map, as the natural distance for Eulerian triangulations is a canonical oriented pseudo-distance. To circumvent this difficulty, we adapt the layer decomposition method established by Curien and Le Gall, which yields asymptotic proportionality between three natural distances on planar Eulerian triangulations: the usual graph distance, the canonical oriented pseudo-distance, and the Riemannian metric. This notably gives the first mathematical proof of a convergence to the Brownian map for maps endowed with their Riemannian metric. Along the way, we also construct new models of infinite random maps, as local limits of large planar Eulerian triangulations.
Torsion in the Magnitude homology of graphs
Published
• View Publication
• BIB
Magnitude homology is a bigraded homology theory for finite graphs defined by Hepworth and Willerton, categorifying the power series invariant known as magnitude which was introduced by Leinster. We analyze the structure and implications of torsion in magnitude homology. We show that any finitely generated abelian group may appear as a subgroup of the magnitude homology of a graph, and, in particular, that torsion of a given prime order can appear in the magnitude homology of a graph and that there are infinitely many such graphs. Finally, we provide complete computations of magnitude homology of outerplanar graphs and focus on the ranks of the groups along the main diagonal of magnitude homology.
Domination number of graphs with minimum degree five
We prove that for every graph $G$ on $n$ vertices and with minimum degree five, the domination number $γ(G)$ cannot exceed $n/3$. The proof combines an algorithmic approach and the discharging method. Using the same technique, we provide a shorter proof for the known upper bound $4n/11$ on the domination number of graphs of minimum degree four.
Large rainbow cliques in randomly perturbed dense graphs
Published
• View Publication
• BIB
For two graphs $G$ and $H$, write $G \stackrel{\mathrm{rbw}}{\longrightarrow} H$ if $G$ has the property that every {\sl proper} colouring of its edges yields a {\sl rainbow} copy of $H$.
We study the thresholds for such so-called {\sl anti-Ramsey} properties in randomly perturbed dense graphs, which are unions of the form $G \cup \mathbb{G}(n,p)$, where $G$ is an $n$-vertex graph with edge-density at least $d$, and $d$ is a constant that does not depend on $n$.
Our results in this paper, combined with our results in a companion paper, determine the threshold for the property $G \cup \mathbb{G}(n,p) \stackrel{\mathrm{rbw}}{\longrightarrow} K_s$ for every $s$. In this paper, we show that for $s \geq 9$ the threshold is $n^{-1/m_2(K_{\left\lceil s/2 \right\rceil})}$; in fact, our $1$-statement is a supersaturation result. This turns out to (almost) be the threshold for $s=8$ as well, but for every $4 \leq s \leq 7$, the threshold is lower; see our companion paper for more details.
In this paper, we also consider the property $G \cup \mathbb{G}(n,p) \stackrel{\mathrm{rbw}}{\longrightarrow} C_{2\ell - 1}$, and show that the threshold for this property is $n^{-2}$ for every $\ell \geq 2$; in particular, it does not depend on the length of the cycle $C_{2\ell - 1}$. It is worth mentioning that for even cycles, or more generally for any fixed bipartite graph, no random edges are needed at all.
Quasigraphs and skeletal partitions
Published
• View Publication
• BIB
We give a new proof of the Skeletal Lemma, which is the main technical tool in our paper on Hamilton cycles in line graphs [T. Kaiser and P. Vrána, Hamilton cycles in 5-connected line graphs, European J. Combin. 33 (2012), 924-947]. It generalises results on disjoint spanning trees in graphs to the context of 3-hypergraphs. The lemma is proved in a slightly stronger version that is more suitable for applications. The proof is simplified and formulated in a more accessible way.
The hamiltonicity of essentially 9-connected line graphs
Published
• View Publication
• BIB
Yang et al. proved that every 3-connected, essentially 11-connected line graph is Hamilton-connected. This was extended by Li and Yang to 3-connected, essentially 10-connected graphs. Strengthening their result further, we prove that 3-connected, essentially 9-connected line graphs are Hamilton-connected. We use a method based on quasigraphs in combination with the discharging technique. The result extends to claw-free graphs.
Constructive Characterization for Bidirected Analogue of Critical Graphs I: Principal Classes of Radials and Semiradials
This paper is the first from serial papers that provide constructive characterizations for classes of bidirected graphs known as radials and semiradials. In this paper, we provide constructive characterizations for five principle classes of radials and semiradials to be used for characterizing general radials and semiradials. A bidirected graph is a graph in which each end of each edge has a sign $+$ or $-$. Bidirected graphs are a common generalization of digraphs and signed graphs. We define a new concept of radials as a generalization of a classical concept in matching theory, critical graphs. Radials are also a generalization of a class of digraphs known as flowgraphs. We also define semiradials, which are a relaxed concept of radials. We further define special classes of radials and semiradials, that is, absolute semiradials, strong and almost strong radials, linear semiradials, and sublinear radials. We provide constructive characterizations for these five classes of bidirected graphs. Our serial papers are a part of a series of works that establish the strong component decomposition for bidirected graphs.
Distinguishing Orthogonality Graphs
Published in Journal of Graph Theory, Vol. 93(3), (2021): pp. 384-404
• View Publication
• BIB
A graph $G$ is said to be $d$-distinguishable if there is a labeling of the vertices with $d$ labels so that only the trivial automorphism preserves the labels. The smallest such $d$ is the distinguishing number, Dist($G$). A subset of vertices $S$ is a determining set for $G$ if every automorphism of $G$ is uniquely determined by its action on $S$. The size of a smallest determining set for $G$ is called the determining number, Det($G$). The orthogonality graph $Ω_{2k}$ has vertices which are bitstrings of length $2k$ with an edge between two vertices if they differ in precisely $k$ bits. This paper shows that Det($Ω_{2k}$) $= 2^{2k-1}$ and that if $\binom{m}{2} \geq 2k$ then $2<$ Dist($Ω_{2k}$) $\leq m$.
Cop number of graphs without long holes
A hole in a graph is an induced cycle of length at least 4. We give a simple winning strategy for t-3 cops to capture a robber in the game of cops and robbers played in a graph that does not contain a hole of length at least t. This strengthens a theorem of Joret-Kaminski-Theis, who proved that t-2 cops have a winning strategy in such graphs. As a consequence of our bound, we also give an inequality relating the cop number and the Dilworth number of a graph.
Complexes of graphs with bounded independence number
Published in Israel Journal of Mathematics, Volume 249 (2022)
• View Publication
• BIB
Let $G=(V,E)$ be a graph and $n$ a positive integer. Let $I_n(G)$ be the abstract simplicial complex whose simplices are the subsets of $V$ that do not contain an independent set of size $n$ in $G$. We study the collapsibility numbers of the complexes $I_n(G)$ for various classes of graphs, focusing on the class of graphs with maximum degree bounded by $Δ$. As an application, we obtain the following result:
Let $G$ be a claw-free graph with maximum degree at most $Δ$. Then, every collection of $\left\lfloor\left(\fracΔ{2}+1\right)(n-1)\right\rfloor+1$ independent sets in $G$ has a rainbow independent set of size $n$.
Point partition numbers: decomposable and indecomposable critical graphs
Published
• View Publication
• BIB
Graphs considered in this paper are finite, undirected and loopless, but we allow multiple edges. The point partition number $χ_t(G)$ is the least integer $k$ for which $G$ admits a coloring with $k$ colors such that each color class induces a $(t-1)$-degenerate subgraph of $G$. So $χ_1$ is the chromatic number and $χ_2$ is the point aboricity. The point partition number $χ_t$ with $t\geq 1$ was introduced by Lick and White. A graph $G$ is called $χ_t$-critical if every proper subgraph $H$ of $G$ satisfies $χ_t(H)<χ_t(G)$. In this paper we prove that if $G$ is a $χ_t$-critical graph whose order satisfies $|G|\leq 2χ_t(G)-2$, then $G$ can be obtained from two non-empty disjoint subgraphs $G_1$ and $G_2$ by adding $t$ edges between any pair $u,v$ of vertices with $u\in V(G_1)$ and $v\in V(G_2)$. Based on this result we establish the minimum number of edges possible in a $χ_t$-critical graph $G$ of order $n$ and with $χ_t(G)=k$, provided that $n\leq 2k-1$ and $t$ is even. For $t=1$ the corresponding two results were obtained in 1963 by Tibor Gallai.
The Alon-Tarsi Number of A Toroidal Grid
Published
• View Publication
• BIB
The Alon-Tarsi number $AT(G)$ of a graph $G$ is the smallest $k$ for which there is an orientation $D$ of $G$ with max indegree $k-1$ such that the number of even and odd circulations contained in D are different. In this paper, we show that the Alon--Tarsi number of toroidal grids $T_{m,n}=C_m\Box C_n$ equals $4$ when $m,n$ are both odd and $3$ otherwise.
A result on fractional (a,b,k)-critical covered graphs
Published
• View Publication
• BIB
For a graph $G$, the set of vertices in $G$ is denoted by $V(G)$, and the set of edges in $G$ is denoted by $E(G)$. A fractional $[a,b]$-factor of a graph $G$ is a function $h$ from $E(G)$ to $[0,1]$ satisfying $a\leq d_G^{h}(v)\leq b$ for every vertex $v$ of $G$, where $d_G^{h}(v)=\sum\limits_{e\in E(v)}{h(e)}$ and $E(v)=\{e=uv:u\in V(G)\}$. A graph $G$ is called fractional $[a,b]$-covered if $G$ contains a fractional $[a,b]$-factor $h$ with $h(e)=1$ for any edge $e$ of $G$. A graph $G$ is called fractional $(a,b,k)$-critical covered if $G-Q$ is fractional $[a,b]$-covered for any $Q\subseteq V(G)$ with $|Q|=k$. In this article, we demonstrate a neighborhood condition for a graph to be fractional $(a,b,k)$-critical covered. Furthermore, we claim that the result is sharp.
Total vertex product irregularity strength of graphs
Published
• View Publication
• BIB
Consider a simple graph $G$. We call a labeling $w:E(G)\cup V(G)\rightarrow \{1, 2, \dots, s\}$ (\textit{total vertex}) \textit{product-irregular}, if all product degrees $pd_G(v)$ induced by this labeling are distinct, where $pd_G(v)=w(v)\times\prod_{e\ni v}w(e)$. The strength of $w$ is $s$, the maximum number used to label the members of $E(G)\cup V(G)$. The minimum value of $s$ that allows some irregular labeling is called \textit{the total vertex product irregularity strength} and denoted $tvps(G)$. We provide some general bounds, as well as exact values for chosen families of graphs. Keywords: product-irregular labeling, total vertex product irregularity strength, vertex-distinguishing labeling.
Transversals of Longest Cycles in Partial $k$-Trees and Chordal Graphs
Let $lct(G)$ be the minimum cardinality of a set of vertices that intersects every longest cycle of a 2-connected graph $G$. We show that $lct(G)\leq k-1$ if $G$ is a partial $k$-tree and that $lct(G)\leq \max \{1, {ω(G){-}3}\}$ if $G$ is chordal, where $ω(G)$ is the cardinality of a maximum clique in $G$. Those results imply that all longest cycles intersect in 2-connected series parallel graphs and in 3-trees.
What do QAOA energies reveal about graphs?
Quantum Approximate Optimization Algorithm (QAOA) is a hybrid classical-quantum algorithm to approximately solve NP optimization problems such as MAX-CUT. We describe a new application area of QAOA circuits: graph structure discovery. We omit the time-consuming parameter-optimization phase and utilize the dependence of QAOA energy on the graph structure for randomly or judiciously chosen parameters to learn about graphs. In the first part, Following up on Wang et. al. and Brandao et. al. we give explicit formulas. We show that the layer-one QAOA energy for the MAX-CUT problem for three regular graphs carries exactly the information: {\em (# of vertices, # of triangles)}. We have calculated our explicit formulas differently from \cite{wang2018quantum}, by developing the notion of the $U$ polynomial of a graph $G$. Many of our discoveries can be interpreted as computing $U(G)$ under various restrictions. The most basic question when comparing the structure of two graphs is if they are isomorphic or not. We find that the QAOA energies separate all non-isomorphic three-regular graphs up to size 18, all strongly regular graphs up to size 26 and the Praust and the smallest Miyazaki examples. We observe that the QAOA energy values can be also used as a proxy to how much graphs differ. Unfortunately, we have also found a sequence of non-isomorphic pairs of graphs, for which the energy gap seems to shrink at an exponential rate as the size grows. Our negative findings however come with a surprise: if the QAOA energies do not measurably separate between two graphs, then both of their energy landscapes must be extremely flat (indistinguishable from constant), already when the number of QAOA layers is intermediately large. This holds due to a remarkable uncoupling phenomenon that we have only deduced from computer simulation.
A Polynomial Time Algorithm for Computing the Strong Rainbow Connection Numbers of Odd Cacti
We consider the problem of computing the strong rainbow connection number $src(G)$ for cactus graphs $G$ in which all cycles have odd length. We present a formula to calculate $src(G)$ for such odd cacti which can be evaluated in linear time, as well as an algorithm for computing the corresponding optimal strong rainbow edge coloring, with polynomial worst case run time complexity. Although computing $src(G)$ is NP-hard in general, previous work has demonstrated that it may be computed in polynomial time for certain classes of graphs, including cycles, trees and block clique graphs. This work extends the class of graphs for which $src(G)$ may be computed in polynomial time.
A Complete Solution to the Cvetković-Rowlinson Conjecture
Published in J. Graph Theory 97 (2021), no. 3, 441--450
• View Publication
• BIB
In 1990, Cvetković and Rowlinson [The largest eigenvalue of a graph: a survey, Linear Multilinear Algebra 28(1-2) (1990), 3--33] conjectured that among all outerplanar graphs on $n$ vertices, $K_1\vee P_{n-1}$ attains the maximum spectral radius. In 2017, Tait and Tobin [Three conjectures in extremal spectral graph theory, J. Combin. Theory, Ser. B 126 (2017) 137-161] confirmed the conjecture for sufficiently large values of $n$. In this article, we show the conjecture is true for all $n\geq2$ except for $n=6$.
A Brooks-like result for graph powers
Published
• View Publication
• BIB
Coloring a graph $G$ consists in finding an assignment of colors $c: V(G)\to\{1,\ldots,p\}$ such that any pair of adjacent vertices receives different colors. The minimum integer $p$ such that a coloring exists is called the chromatic number of $G$, denoted by $χ(G)$. We investigate the chromatic number of powers of graphs, i.e. the graphs obtained from a graph $G$ by adding an edge between every pair of vertices at distance at most $k$. For $k=1$, Brooks' theorem states that every connected graph of maximum degree $Δ\geqslant 3$ excepted the clique on $Δ+1$ vertices can be colored using $Δ$ colors (i.e. one color less than the naive upper bound). For $k\geqslant 2$, a similar result holds: excepted for Moore graphs, the naive upper bound can be lowered by 2. We prove that for $k\geqslant 3$ and for every $Δ$, we can actually spare $k-2$ colors, excepted for a finite number of graphs. We then improve this value to $Θ((Δ-1)^{\frac{k}{12}})$.
Parity of transversals of Latin squares
Published in Algebr. Comb. 3 (2020), 539-557
• View Publication
• BIB
We introduce a notion of parity for transversals, and use it to show that in Latin squares of order $2 \bmod 4$, the number of transversals is a multiple of 4. We also demonstrate a number of relationships (mostly congruences modulo 4) involving $E_1,\dots, E_n$, where $E_i$ is the number of diagonals of a given Latin square that contain exactly $i$ different symbols.
Let $A(i\mid j)$ denote the matrix obtained by deleting row $i$ and column $j$ from a parent matrix $A$. Define $t_{ij}$ to be the number of transversals in $L(i\mid j)$, for some fixed Latin square $L$. We show that $t_{ab}\equiv t_{cd}\bmod2$ for all $a,b,c,d$ and $L$. Also, if $L$ has odd order then the number of transversals of $L$ equals $t_{ab}$ mod 2. We conjecture that $t_{ac} + t_{bc} + t_{ad} + t_{bd} \equiv 0 \bmod 4$ for all $a,b,c,d$.
In the course of our investigations we prove several results that could be of interest in other contexts. For example, we show that the number of perfect matchings in a $k$-regular bipartite graph on $2n$ vertices is divisible by $4$ when $n$ is odd and $k\equiv0\bmod 4$. We also show that $${\rm per}\, A(a \mid c)+{\rm per}\, A(b \mid c)+{\rm per}\, A(a \mid d)+{\rm per}\, A(b \mid d) \equiv 0 \bmod 4$$ for all $a,b,c,d$, when $A$ is an integer matrix of odd order with all row and columns sums equal to $k\equiv2\bmod4$.