graph
34585 papers tagged with this keyword
An Infinite 2-Dimensional Array Associated With Electric Circuits
Published
• View Publication
• BIB
Except for Koshy who devotes seven pages to applications of Fibonacci Numbers to electric circuits, most books and the Fibonacci Quarterly have been relatively silent on applications of graphs and electric circuits to Fibonacci numbers. This paper continues a recent trend of papers studying the interplay of graphs, circuits, and Fibonacci numbers by presenting and studying the Circuit Array, an infinite 2-dimensional array whose entries are electric resistances labelling edge values of circuits associated with a family of graphs. The Circuit Array has several features distinguishing it from other more familiar arrays such as the Binomial Array and Wythoff Array. For example, it can be proven modulo a strongly supported conjecture that the numerators of its left-most diagonal do not satisfy any linear, homogeneous, recursion, with constant coefficients (LHRCC). However, we conjecture with supporting numerical evidence an asymptotic formula involving $π$ satisfied by the left-most diagonal of the Circuit Array.
Resistance values under transformations in regular triangular grids
Published in Discrate Applied Mathematics, Volume 355, 15 October 2024, Pages 129-141
• View Publication
• BIB
In [Evans, Francis 2022; Hendel] the authors investigated resistance distance in triangular grid graphs and observed several types of asymptotic behavior. This paper extends their work by studying the initial, non-asymptotic, behavior found when equivalent circuit transformations are performed, reducing the rows in the triangular grid graph one row at a time. The main conjecture characterizes, after reducing an arbitrary number of times an initial triangular grid all of whose edge resistances are identically one, when edge resistance values are less than, equal to, or greater than one. A special case of the conjecture is proven. The main theorem identifies patterns of repeating edge resistances arising in diagonals of a triangular grid reduced $s$ times provided the original grid has at least $4s$ rows of triangles. This paper also improves upon the notation, concepts, and proof techniques introduced by the authors previously.
The Two-Stripe Symmetric Circulant TSP is in P
Published
• View Publication
• BIB
The symmetric circulant TSP is a special case of the traveling salesman problem in which edge costs are symmetric and obey circulant symmetry. Despite the substantial symmetry of the input, remarkably little is known about the symmetric circulant TSP, and the complexity of the problem has been an often-cited open question. Considerable effort has been made to understand the case in which only edges of two lengths are allowed to have finite cost: the two-stripe symmetric circulant TSP. In this paper, we resolve the complexity of the two-stripe symmetric circulant TSP. To do so, we reduce two-stripe symmetric circulant TSP to the problem of finding certain minimum-cost Hamiltonian paths on cylindrical graphs. We then solve this Hamiltonian path problem. Our results show that the two-stripe symmetric circulant TSP is in P. Note that a two-stripe symmetric circulant TSP instance consists of a constant number of inputs (including $n$, the number of cities), so that a polynomial-time algorithm for the decision problem must run in time polylogarithmic in $n$, and a polynomial-time algorithm for the optimization problem cannot output the tour. We address this latter difficulty by showing that the optimal tour must fall into one of two parameterized classes of tours, and that we can output the class and the parameters in polynomial time. Thus we make a substantial contribution to the set of polynomial-time solvable special cases of the TSP, and take an important step towards resolving the complexity of the general symmetric circulant TSP.
The tight bound for the strong chromatic indices of claw-free subcubic graphs
Published
• View Publication
• BIB
Let $G$ be a graph and $k$ a positive integer. A strong $k$-edge-coloring of $G$ is a mapping $φ: E(G)\to \{1,2,\dots,k\}$ such that for any two edges $e$ and $e'$ that are either adjacent to each other or adjacent to a common edge, $φ(e)\neq φ(e')$. The strong chromatic index of $G$, denoted as $χ'_{s}(G)$, is the minimum integer $k$ such that $G$ has a strong $k$-edge-coloring. Lv, Li and Zhang [Graphs and Combinatorics 38 (3) (2022) 63] proved that if $G$ is a claw-free subcubic graph other than the triangular prism then $χ_s'(G)\le 8$. In addition, they asked if the upper bound $8$ can be improved to $7$. In this paper, we answer this question in the affirmative. Our proof implies a linear-time algorithm for finding strong $7$-edge-colorings of such graphs. We also construct infinitely many claw-free subcubic graphs with their strong chromatic indices attaining the bound $7$.
Independence complexes of $(n \times 6)$-grid graphs
Published
• View Publication
• BIB
We determine the homotopy types of the independence complexes of the $(n \times 6)$-square grid graphs. In fact, we show that these complexes are homotopy equivalent to wedges of spheres.
Noncommutative extensions of parameters in the asymptotic spectrum of graphs
The zero-error capacity of a classical channel is a parameter of its confusability graph, and is equal to the minimum of the values of graph parameters that are additive under the disjoint union, multiplicative under the strong product, monotone under homomorphisms between the complements, and normalized. We show that any such function either has uncountably many extensions to noncommutative graphs with similar properties, or no such extensions at all. More precisely, we find that every extension has an exponent that characterizes its values on the confusability graphs of identity quantum channels, and the set of admissible exponents is either an unbounded subinterval of $[1,\infty)$ or empty. In particular, the set of admissible exponents for the Lovász number, the projective rank, and the fractional Haemers bound over the complex numbers are maximal, while the fractional clique cover number does not have any extensions.
The shape of $x^2\bmod n$
We examine the graphs generated by the map $x\mapsto x^2\bmod n$ for various $n$, present some results on the structure of these graphs, and compute some very cool examples.
Haemers' conjecture: an algorithmic perspective
Published in Experimental Mathematics ,2024
• View Publication
• BIB
Characterizing graphs by their spectra is a fundamental and challenging problem in spectral graph theory, which has received considerable attention in recent years. A major unsolved conjecture in this area is Haemers' conjecture which states that almost all graphs are determined by their spectra. Despite many efforts, little is known about this conjecture so far. In this paper, we shall consider Haemers' conjecture from an algorithmic perspective. Based on some recent developments in the generalized spectral characterizations of graphs, we propose an algorithm to find all possible generalized cospectral mates for a given $n$-vertex graph $G$, assuming that $G$ is controllable or almost controllable. The experimental results indicate that the proposed algorithm runs surprisingly fast for most graphs with several dozen vertices. Moreover, we observe in the experiment that most graphs are determined by their generalized spectra, e.g., at least 9945 graphs are determined by their generalized spectra among all randomly generated 10,000 graphs on 50 vertices in one experiment. These experimental results give strong evidence for Haemers' conjecture.
Ramsey-Turán Problems with small independence numbers
Published
• View Publication
• BIB
Given a graph $H$ and a function $f(n)$, the Ramsey-Turán number $RT(n,H,f(n))$ is the maximum number of edges in an $n$-vertex $H$-free graph with independence number at most $f(n)$. For $H$ being a small clique, many results about $RT(n,H,f(n))$ are known and we focus our attention on $H=K_s$ for $s\leq 13$. By applying Szemerédi's Regularity Lemma, the dependent random choice method and some weighted Turán-type results, we prove that these cliques have the so-called phase transitions when $f(n)$ is around the inverse function of the off-diagonal Ramsey number of $K_r$ versus a large clique $K_n$ for some $r\leq s$.
Distant 2-Colored Components on Embeddings Part I: Connecting Faces
This is the first in a sequence of three papers in which we prove the following generalization of Thomassen's 5-choosability theorem: Let $G$ be a finite graph embedded on a surface of genus $g$. Then $G$ can be $L$-colored, where $L$ is a list-assignment for $G$ in which every vertex has a 5-list except for a collection of pairwise far-apart components, each precolored with an ordinary 2-coloring, as long as the face-width of $G$ is $2^{Ω(g)}$ and the precolored components are of distance $2^{Ω(g)}$ apart. This provides an affirmative answer to a generalized version of a conjecture of Thomassen and also generalizes a result from 2017 of Dvořák, Lidický, Mohar, and Postle about distant precolored vertices.
Tree decompositions and many-sided separations
A separation of a graph $G$ is a partition $(A_1, A_2, C)$ of $V(G)$ such that $A_1$ is anticomplete to $A_2$. A classic result from Robertson and Seymour's Graph Minors Project states that there is a correspondence between tree decompositions and laminar collections of separations. A many-sided separation of a graph $G$ is a partition $(A_1, \ldots, A_k, C)$ of $V(G)$ such that $A_i$ is anticomplete to $A_j$ for all $1 \leq i < j \leq k$. In this note, we show a correspondence between tree decompositions with a certain parity property, called deciduous tree decompositions, and laminar collections of many-sided separations.
Permutations and the divisor graph of $[1,n]$
Published
• View Publication
• BIB
Let $S_{\rm div}(n)$ denote the set of permutations $π$ of $n$ such that for each $1\leq j \leq n$ either $j \mid π(j)$ or $π(j) \mid j$. These permutations can also be viewed as vertex-disjoint directed cycle covers of the divisor graph $\mathcal{D}_{[1,n]}$ on vertices $v_1, \ldots, v_n$ with an edge between $v_i$ and $v_j$ if $i\mid j$ or $j \mid i$. We improve on recent results of Pomerance by showing $c_d = \lim_{n \to \infty }\left(\# S_{\rm div}(n)\right)^{1/n}$ exists and that $2.069<c_d<2.694$. We also obtain similar results for the set $S_{\rm lcm}(n)$ of permutations where ${\rm lcm}(j,π(j))\leq n$ for all $j$. The results rely on a graph theoretic result bounding the number of vertex-disjoint directed cycle covers, which may be of independent interest.
Decomposition of triangle-free planar graphs
Published
• View Publication
• BIB
A decomposition of a graph $G$ is a family of subgraphs of $G$ whose edge sets form a partition of $E(G)$. In this paper, we prove that every triangle-free planar graph $G$ can be decomposed into a $2$-degenerate graph and a matching. Consequently, every triangle-free planar graph $G$ has a matching $M$ such that $G-M$ is online 3-DP-colorable. This strengthens an earlier result in [R. Škrekovski, {\em A Grötzsch-Type Theorem for List Colourings with Impropriety One}, Combin. Prob. Comput. 8 (1999), 493-507] that every triangle-free planar graph is $1$-defective $3$-choosable.
Extremal problems on planar graphs without k edge-disjoint cycles
Published
• View Publication
• BIB
In the 1960s, Erdős and his cooperators initiated the research of the maximum numbers of edges in a graph or a planar graph on $n$ vertices without $k$ edge-disjoint cycles. This problem had been solved for $k\leq4$. As pointed out by Bollobás, it is very difficult for general $k$. Recently, Tait and Tobin [J. Combin. Theory Ser. B, 2017] confirmed a famous conjecture on maximum spectral radius of $n$-vertex planar graphs. Motivated by the above results, we consider two extremal problems on planar graphs without $k$ edge-disjoint cycles. We first determine the maximum number of edges in a planar graph of order $n$ and maximum degree $n-1$ without $k$ edge-disjoint cycles. Based on this, we then determine the maximum spectral radius as well as its unique extremal graph over all planar graphs on $n$ vertices without $k$ edge-disjoint cycles. Finally, we also discuss several extremal problems for general graphs.
Mrs. Correct and Majority Colorings
Published
• View Publication
• BIB
A majority coloring of a directed graph is a vertex coloring in which each vertex has the same color as at most half of its out-neighbors. In this note we simplify some proof techniques and generalize previously known results on various generalizations of majority coloring. In particular, our unified and simplified approach works for paintability - an on-line analog of the list coloring.
Contraction Bidimensionality of Geometric Intersection Graphs
Published
• View Publication
• BIB
Given a graph $G$, we define ${\bf bcg}(G)$ as the minimum $k$ for which $G$ can be contracted to the uniformly triangulated grid $Γ_{k}$. A graph class ${\cal G}$ has the SQG${\bf C}$ property if every graph $G\in{\cal G}$ has treewidth $\mathcal{O}({\bf bcg}(G)^{c})$ for some $1\leq c<2$. The SQG${\bf C}$ property is important for algorithm design as it defines the applicability horizon of a series of meta-algorithmic results, in the framework of bidimensionality theory, related to fast parameterized algorithms, kernelization, and approximation schemes. These results apply to a wide family of problems, namely problems that are contraction-bidimensional. Our main combinatorial result reveals a wide family of graph classes that satisfy the SQG${\bf C}$ property. This family includes, in particular, bounded-degree string graphs. This considerably extends the applicability of bidimensionality theory for contraction bidimensional problems.
Improved mixing for the convex polygon triangulation flip walk
We prove that the well-studied triangulation flip walk on a convex point set mixes in time O(n^3 log^3 n), the first progress since McShine and Tetali's O(n^5 log n) bound in 1997. In the process we give lower and upper bounds of respectively Omega(1/(sqrt n log n)) and O(1/sqrt n) -- asymptotically tight up to an O(log n) factor -- for the expansion of the associahedron graph K_n. The upper bound recovers Molloy, Reed, and Steiger's Omega(n^{3/2}) bound on the mixing time of the walk. To obtain these results, we introduce a framework consisting of a set of sufficient conditions under which a given Markov chain mixes rapidly. This framework is a purely combinatorial analogue that in some circumstances gives better results than the projection-restriction technique of Jerrum, Son, Tetali, and Vigoda. In particular, in addition to the result for triangulations, we show quasipolynomial mixing for the k-angulation flip walk on a convex point set, for fixed k >= 4.
Computing Tree Decompositions with Small Independence Number
Published
• View Publication
• BIB
The independence number of a tree decomposition is the maximum of the independence numbers of the subgraphs induced by its bags. The tree-independence number of a graph is the minimum independence number of a tree decomposition of it. Several NP-hard graph problems, like maximum weight independent set, can be solved in time n^{O(k)} if the input n-vertex graph is given together with a tree decomposition of independence number k. Yolov, in [SODA 2018], gave an algorithm that, given an n-vertex graph G and an integer k, in time n^{O(k^3)} either constructs a tree decomposition of G whose independence number is O(k^3) or correctly reports that the tree-independence number of G is larger than k.
In this paper, we first give an algorithm for computing the tree-independence number with a better approximation ratio and running time and then prove that our algorithm is, in some sense, the best one can hope for. More precisely, our algorithm runs in time 2^{O(k^2)} n^{O(k)} and either outputs a tree decomposition of G with independence number at most $8k$, or determines that the tree-independence number of G is larger than k. This implies 2^{O(k^2)} n^{O(k)}-time algorithms for various problems, like maximum weight independent set, parameterized by the tree-independence number k without needing the decomposition as an input. Assuming Gap-ETH, an n^{Ω(k)} factor in the running time is unavoidable for any approximation algorithm for the tree-independence number.
Our second result is that the exact computation of the tree-independence number is para-NP-hard: We show that for every constant k \ge 4 it is NP-hard to decide if a given graph has the tree-independence number at most k.
The maximum number of triangles in $F_k$-free graphs
Published
• View Publication
• BIB
The generalized Turán number $ex(n,K_s,H)$ is the maximum number of complete graph $K_s$ in an $H$-free graph on $n$ vertices. Let $F_k$ be the friendship graph consisting of $k$ triangles. Erdős and Sós (1976) determined the value of $ex(n,K_3,F_2)$.
Alon and Shikhelman (2016) proved that $ex(n,K_3, F_k)\le (9k-15)(k+1)n.$ In this paper, by using a method developed by Chung and Frankl in hypergraph theory, we determine the exact value of $ex(n,K_3,F_k)$ and the extremal graph for any $F_k$ when $n\ge 4k^3$.
Random sorting networks: edge limit
Published
• View Publication
• BIB
A sorting network is a shortest path from $12\dots n$ to $n\dots 21$ in the Cayley graph of the symmetric group $\mathfrak S_n$ spanned by adjacent transpositions. The paper computes the edge local limit of the uniformly random sorting networks as $n\to\infty$. We find the asymptotic distribution of the first occurrence of a given swap $(k,k+1)$ and identify it with the law of the smallest positive eigenvalue of a $2k\times 2k$ aGUE (an aGUE matrix has purely imaginary Gaussian entries that are independently distributed subject to skew-symmetry). Next, we give two different formal definitions of a spacing -- the time distance between the occurrence of a given swap $(k,k+1)$ in a uniformly random sorting network. Two definitions lead to two different expressions for the asymptotic laws expressed in terms of derivatives of Fredholm determinants.