graph
35436 papers tagged with this keyword
A Random-Line-Graph Approach to Overlapping Line Segments
Published in J. Complex Netw. 8, cnaa029 (2020)
• View Publication
• BIB
We study graphs that are formed by independently-positioned needles (i.e., line segments) in the unit square. To mathematically characterize the graph structure, we derive the probability that two line segments intersect and determine related quantities such as the distribution of intersections, given a certain number of line segments $N$. We interpret intersections between line segments as nodes and connections between them as edges in a spatial network that we refer to as random-line graph (RLG). Using methods from the study of random-geometric graphs, we show that the probability of RLGs to be connected undergoes a sharp transition if the number of lines exceeds a threshold $N^*$.
The Longest $(s, t)$-paths of $O$-shaped Supergrid Graphs
In this paper, we continue the study of the Hamiltonian and longest $(s, t)$-paths of supergrid graphs. The Hamiltonian $(s, t)$-path of a graph is a Hamiltonian path between any two given vertices $s$ and $t$ in the graph, and the longest $(s, t)$-path is a simple path with the maximum number of vertices from $s$ to $t$ in the graph. A graph holds Hamiltonian connected property if it contains a Hamiltonian $(s, t)$-path. These two problems are well-known NP-complete for general supergrid graphs. An $O$-shaped supergrid graph is a special kind of a rectangular grid graph with a rectangular hole. In this paper, we first prove the Hamiltonian connectivity of $O$-shaped supergrid graphs except few conditions. We then show that the longest $(s, t)$-path of an $O$-shaped supergrid graph can be computed in linear time. The Hamiltonian and longest $(s, t)$-paths of $O$-shaped supergrid graphs can be applied to compute the minimum trace of computerized embroidery machine and 3D printer when a hollow object is printed.
Weighted Triangle-free 2-matching Problem with Edge-disjoint Forbidden Triangles
Published
• View Publication
• BIB
The weighted $\mathcal{T}$-free $2$-matching problem is the following problem: given an undirected graph $G$, a weight function on its edge set, and a set $\mathcal{T}$ of triangles in $G$, find a maximum weight $2$-matching containing no triangle in $\mathcal{T}$. When $\mathcal{T}$ is the set of all triangles in $G$, this problem is known as the weighted triangle-free $2$-matching problem, which is a long-standing open problem. A main contribution of this paper is to give a first polynomial-time algorithm for the weighted $\mathcal{T}$-free $2$-matching problem under the assumption that $\mathcal{T}$ is a set of edge-disjoint triangles. In our algorithm, a key ingredient is to give an extended formulation representing the solution set, that is, we introduce new variables and represent the convex hull of the feasible solutions as a projection of another polytope in a higher dimensional space. Although our extended formulation has exponentially many inequalities, we show that the separation problem can be solved in polynomial time, which leads to a polynomial-time algorithm for the weighted $\mathcal{T}$-free $2$-matching problem.
Linear rankwidth meets stability
Classes with bounded rankwidth are MSO-transductions of trees and classes with bounded linear rankwidth are MSO-transductions of paths. These results show a strong link between the properties of these graph classes considered from the point of view of structural graph theory and from the point of view of finite model theory. We take both views on classes with bounded linear rankwidth and prove structural and model theoretic properties of these classes: 1) Graphs with linear rankwidth at most $r$ are linearly \mbox{$χ$-bounded}. Actually, they have bounded $c$-chromatic number, meaning that they can be colored with $f(r)$ colors, each color inducing a cograph. 2) Based on a Ramsey-like argument, we prove for every proper hereditary family $\mathcal F$ of graphs (like cographs) that there is a class with bounded rankwidth that does not have the property that graphs in it can be colored by a bounded number of colors, each inducing a subgraph in~$\mathcal F$. 3) For a class $\mathcal C$ with bounded linear rankwidth the following conditions are equivalent: a) $\mathcal C$~is~stable, b)~$\mathcal C$~excludes some half-graph as a semi-induced subgraph, c) $\mathcal C$ is a first-order transduction of a class with bounded pathwidth. These results open the perspective to study classes admitting low linear rankwidth covers.
Generalized rainbow Turán problems
Alon and Shikhelman initiated the systematic study of the following generalized Turán problem: for fixed graphs $H$ and $F$ and an integer $n$, what is the maximum number of copies of $H$ in an $n$-vertex $F$-free graph?
An edge-colored graph is called rainbow if all its edges have different colors. The rainbow Turán number of $F$ is defined as the maximum number of edges in a properly edge-colored graph on $n$ vertices with no rainbow copy of $F$. The study of rainbow Turán problems was initiated by Keevash, Mubayi, Sudakov and Verstraëte.
Motivated by the above problems, we study the following problem: What is the maximum number of copies of $F$ in a properly edge-colored graph on $n$ vertices without a rainbow copy of $F$? We establish several results, including when $F$ is a path, cycle or tree.
Failed zero forcing and critical sets on directed graphs
Let $D$ be a simple digraph (directed graph) with vertex set $V(D)$ and arc set $A(D)$ where $n=|V(D)|$, and each arc is an ordered pair of distinct vertices. If $(v,u) \in A(D)$, then $u$ is considered an \emph{out-neighbor} of $v$ in $D$. Initially, we designate each vertex to be either filled or empty. Then, the following color change rule (CCR) is applied: if a filled vertex $v$ has exactly one empty out-neighbor $u$, then $u$ will be filled. The process continues until the CCR does not allow any empty vertex to become filled. If all vertices in $V(D)$ are eventually filled, then the initial set is called a \emph{zero forcing set} (ZFS); if not, it is a \emph{failed zero forcing set} (FZFS). We introduce the \emph{failed zero forcing number} $F(D)$ on a digraph, which is the maximum cardinality of any FZFS. The \emph{zero forcing number}, $Z(D)$, is the minimum cardinality of any ZFS. We characterize digraphs that have $F(D)<Z(D)$ and determine $F(D)$ for several classes of digraphs including directed acyclic graphs, weak paths and cycles, and weakly connected line digraphs such as de Bruijn and Kautz digraphs. We also characterize digraphs with $F(D)=n-1$, $F(D)=n-2$, and $F(D)=0$, which leads to a characterization of digraphs in which any vertex is a ZFS. Finally, we show that for any integer $n \geq 3$ and any non-negative integer $k$ with $k <n$, there exists a weak cycle $D$ with $F(D)=k$.
Partially normal 5-edge-colorings of cubic graphs
Published
• View Publication
• BIB
In a proper edge-coloring of a cubic graph, an edge $e$ is normal if the set of colors used by the edges adjacent to $e$ has cardinality 3 or 5. The Petersen coloring conjecture asserts that every bridgeless cubic graph has a normal 5-edge-coloring, that is, a proper 5-edge-coloring such that all edges are normal. In this paper, we prove a result related to the Petersen coloring conjecture. The parameter $μ_3$ is a measurement for cubic graphs, introduced by Steffen in 2015. Our result shows that every bridgeless cubic graph $G$ has a proper 5-edge-coloring such that at least $|E(G)|-μ_3(G)$, which is no less than $\frac{4}{5}|E(G)|$, many edges are normal. This result improves on some earlier results of Bílková and Šámal.
The weight distribution of irreducible cyclic codes associated with decomposable generalized Paley graphs
We use known characterizations of generalized Paley graphs which are cartesian decomposable to explicitly compute the spectra of the corresponding associated irreducible cyclic codes. As applications, we give reduction formulas for the number of rational points in Artin-Schreier curves defined over extension fields and to the computation of Gaussian periods.
Resistance distance in directed cactus graphs
Published
• View Publication
• BIB
Let $G=(V,E)$ be a strongly connected and balanced digraph with vertex set $V=\{1,\dotsc,n\}$. The classical distance $d_{ij}$ between any two vertices $i$ and $j$ in $G$ is the minimum length of all the directed paths joining $i$ and $j$. The resistance distance (or, simply the resistance) between any two vertices $i$ and $j$ in $V$ is defined by $r_{ij}:=l_{ii}^†+l_{jj}^†-2l_{ij}^†$, where $l_{pq}^{\dagger}$ is the $(p,q)^{\rm th}$ entry of the Moore-Penrose inverse of $L$ which is the Laplacian matrix of $G$. In practice, the resistance $r_{ij}$ is more significant than the classical distance. One reason for this is, numerical examples show that the resistance distance between $i$ and $j$ is always less than or equal to the classical distance, i.e. $r_{ij} \leq d_{ij}$. However, no proof for this inequality is known. In this paper, we show that this inequality holds for all directed cactus graphs.
A zeta function related to the transition matrix of the discrete-time quantum walk on a graph
Published
• View Publication
• BIB
We present the structure theorem for the positive support of the cube of the Grover transition matrix of the discrete-time quantum walk (the Grover walk) on a general graph $G$ under same condition. Thus, we introduce a zeta function on the positive support of the cube of the Grover transition matrix of $G$, and present its Euler product and its determinant expression. As a corollary, we give the characteristic polynomial for the positive support of the cube of the Grover transition matrix of a regular graph, and so obtain its spectra. Finally, we present the poles and the radius of the convergence of this zeta function.
Flexibility and movability in Cayley graphs
Published
• View Publication
• BIB
Let $\mathbfΓ = (V,E)$ be a (non-trivial) finite graph with $λ: E \rightarrow \mathbb{R}_{+}$, an edge labelling of $\mathbfΓ$. Let $ρ: V\rightarrow \mathbb{R}^{2}$ be a map which preserves the edge labelling. The graph $\mathbfΓ$ is said to be flexible if there exists an infinite number of such maps (upto equivalence by rigid transformations) and it is said to be movable if there exists an infinite number of injective maps. We study movability of Cayley graphs and construct regular moving graphs of all degrees. Further, we give explicit constructions of "dense", movable graphs.
Colourings of star systems
Published
• View Publication
• BIB
An $e$-star is a complete bipartite graph $K_{1,e}$. An $e$-star system of order $n>1$, $S_e(n)$, is a partition of the edges of the complete graph $K_n$ into $e$-stars. An $e$-star system is said to be $k$-colourable if its vertex set can be partitioned into $k$ sets (called colour classes) such that no $e$-star is monochromatic. The system $S_e(n)$ is $k$-chromatic if $S_e(n)$ is $k$-colourable but is not $(k-1)$-colourable. If every $k$-colouring of an $e$-star system can be obtained from some $k$-colouring $φ$ by a permutation of the colours, we say that the system is uniquely $k$-colourable. In this paper, we first show that for any integer $k\geq 2$, there exists a $k$-chromatic 3-star system of order $n$ for all sufficiently large admissible $n$. Next, we generalize this result for $e$-star systems for any $e\geq 3$. We show that for all $k\geq 2$ and $e\geq 3$, there exists a $k$-chromatic $e$-star system of order $n$ for all sufficiently large $n$ such that $n\equiv 0,1$ (mod $2e$). Finally, we prove that for all $k\geq 2$ and $e\geq 3$, there exists a uniquely $k$-chromatic $e$-star system of order $n$ for all sufficiently large $n$ such that $n\equiv 0,1$ (mod $2e$).
New Bounds on the Biplanar and $k$-Planar Crossing Numbers
The biplanar crossing number of a graph $G$ is the minimum number of crossings over all possible drawings of the edges of $G$ in two disjoint planes. We present new bounds on the biplanar crossing number of complete graphs and complete bipartite graphs. In particular, we prove that the biplanar crossing number of complete bipartite graphs can be approximated to within a factor of $3$, improving over the best previously known approximation factor of $4.03$. For complete graphs, we provide a new approximation factor of $3.17$, improving over the best previous factor of $4.34$. We provide similar improved approximation factors for the $k$-planar crossing number of complete graphs and complete bipartite graphs, for any positive integer $k$. We also investigate the relation between (ordinary) crossing number and biplanar crossing number of general graphs in more depth, and prove that any graph with a crossing number of at most $10$ is biplanar.
Jungerman ladders and index 2 constructions for genus embeddings of dense regular graphs
Published
• View Publication
• BIB
We construct several families of minimum genus embeddings of dense graphs using index 2 current graphs. In particular, we complete the genus formula for the octahedral graphs, solving a longstanding conjecture of Jungerman and Ringel, and find triangular embeddings of complete graphs minus a Hamiltonian cycle, making partial progress on a problem of White. Index 2 current graphs are also applied to various cases of the genus of the complete graphs, in some cases yielding simpler solutions, e.g., the nonorientable genus of $K_{12s+8}-K_2$. In addition, we give a topological proof of a theorem of Jungerman that shows that a symmetric type of such current graphs might not exist roughly "half of the time."
Path and cycle decompositions of dense graphs
Published in J. London Math. Soc., 104 (2021): 1085-1134
• View Publication
• BIB
We make progress on three long standing conjectures from the 1960s about path and cycle decompositions of graphs. Gallai conjectured that any connected graph on $n$ vertices can be decomposed into at most $\left\lceil \frac{n}{2}\right\rceil$ paths, while a conjecture of Hajós states that any Eulerian graph on $n$ vertices can be decomposed into at most $\left\lfloor \frac{n-1}{2}\right\rfloor$ cycles. The Erdős-Gallai conjecture states that any graph on $n$ vertices can be decomposed into $O(n)$ cycles and edges.
We show that if $G$ is a sufficiently large graph on $n$ vertices with linear minimum degree, then the following hold.
(i) $G$ can be decomposed into at most $\frac{n}{2}+o(n)$ paths.
(ii) If $G$ is Eulerian, then it can be decomposed into at most $\frac{n}{2}+o(n)$ cycles.
(iii) $G$ can be decomposed into at most $\frac{3 n}{2}+o(n)$ cycles and edges.
If in addition $G$ satisfies a weak expansion property, we asymptotically determine the required number of paths/cycles for each such $G$.
(iv) $G$ can be decomposed into $\max \left\{\frac{odd(G)}{2},\frac{Δ(G)}{2}\right\}+o(n)$ paths, where $odd(G)$ is the number of odd-degree vertices of $G$.
(v) If $G$ is Eulerian, then it can be decomposed into $\frac{Δ(G)}{2}+o(n)$ cycles.
All bounds in (i)-(v) are asymptotically best possible.
Flexible placements of periodic graphs in the plane
Published in Discrete & Computational Geometry (2021)
• View Publication
• BIB
Given a periodic graph, we wish to determine via combinatorial methods whether it has periodic embeddings in the plane that -- via motions that preserve edge-lengths and periodicity -- can be continuously deformed into another non-congruent embedding of the graph. By introducing NBAC-colourings for the corresponding quotient gain graphs, we identify which periodic graphs have flexible embeddings in the plane when the lattice of periodicity is fixed. We further characterise with NBAC-colourings which 1-periodic graphs have flexible embeddings in the plane with a flexible lattice of periodicity, and characterise in special cases which 2-periodic graphs have flexible embeddings in the plane with a flexible lattice of periodicity.
2-nearly Platonic graphs are unique
Published
• View Publication
• BIB
A 2-nearly Platonic graph of type (k|d) is a k-regular planar graph with f faces, f-2 of which are of degree d and the remaining two are of degrees m_1;m_2, both different from d. Such a graph is called balanced if m_1=m_2. We show that all 2-nearly Platonic graphs are necessarily balanced. This proves a recent conjecture by Keith, Froncek, and Kreher.
On the Relativized Alon Second Eigenvalue Conjecture I: Main Theorems, Examples, and Outline of Proof
This is the first in a series of six articles devoted to showing that a typical covering map of large degree to a fixed, regular graph has its new adjacency eigenvalues within the bound conjectured by Alon for random regular graphs. Many of the techniques we develop hold whether or not the base graph is regular.
Our first main theorem in this series of articles is that if the base graph is $d$-regular, then for any $ε>0$, as the degree, $n$, of the covering map tends to infinity, some new adjacency eigenvalue of the map is larger in absolute value that $2(d-1)^{1/2}+ε$ with probability at most order $1/n$. Our second main theorem is that if, in addition, the base graph is Ramanujan, then this probability is bounded above and below by $1/n$ to the power of a positive integer that we call the {\em tangle power} of the model, i.e., of the probability spaces of random covering maps of degree $n$.
The tangle power is fairly easy to bound from below, and at times to compute exactly; it measures the probability that certain {\em tangles} appear in the random covering graph, where a {\em tangle} is a local event that forces the covering graph to have a new eigenvalue strictly larger than $2(d-1)^{1/2}$.
Our main theorems are relativizations of Alon's conjecture on the second eigenvalue of random regular graphs of large degree.
In this first article of the series, we introduce all the terminology needed in this series, motivate this terminology, precisely state all the results in the remaining articles, and make some remarks about their proofs. As such, this article provides an overview of the entire series of articles; furthermore, the rest of the articles in this series may be read independently of one another.
On the Relativized Alon Eigenvalue Conjecture II: Asymptotic Expansion Theorems for Walks
This is the second in a series of articles devoted to showing that a typical covering map of large degree to a fixed, regular graph has its new adjacency eigenvalues within the bound conjectured by Alon for random regular graphs.
The first main result in this article concerns the function $f(k,n)$ defined as the number of SNBC (strictly non-backtracking closed) walks of length $k$ of a given homotopy type in a random covering graph of degree $n$ of a fixed graph. We prove the existence of asymptotic expansions in powers of $1/n$ for $f(k,n)$, where the coefficients---functions of $k$---are proven to have some desirable properties; namely, these coefficients are approximately a sum of polynomials times exponential functions.
The second main result is a generalization of the first, where the number of SNBC walks of length $k$ is multiplied by an indicator function that the covering graph contains a certain type of {\em tangle}; the second result requires more terminology, although its proof uses the same basic tools used to prove the first result. % The motivation for the second main result will be clear in % the third article in this series of articles.
The results in this article are mostly straightforward generalizations of methods used in previous works. However, this article (1) "factors" these methods into a number of short, conceptually simple, and independent parts, (2) writes each independent part in more general terms, and (3) significantly simplifies of one of the previous computations. As such we expect that this article will make it easier to apply trace methods to related models of random graphs.
On the Relativized Alon Second Eigenvalue Conjecture III: Asymptotic Expansions for Tangle-Free Hashimoto Traces
This is the third in a series of articles devoted to showing that a typical covering map of large degree to a fixed, regular graph has its new adjacency eigenvalues within the bound conjectured by Alon for random regular graphs.
In this paper we consider random graphs that are random covering graphs of large degree $n$ of a fixed base graph. We prove the existence of asympototic expansion in $1/n$ for the expected value of the number of strictly non-backtracking closed walks of length $k$ times the indicator function that the graph is free of certain {\em tangles}; moreover, we prove that the coefficients of these expansions are "nice functions" of $k$, namely approximately equal to a sum of polynomials in $k$ times exponential functions of $k$.
Our results use the methods of Friedman used to resolve Alon's original conjecture, combined with the results of Article~II in this series of articles. One simplification in this article over the previous methods of Friedman is that the "regularlized traces" used in this article, which we call {\em certified traces}, are far easier to define and work with than the previously utilized {\em selective traces}.