graph
35436 papers tagged with this keyword
Exceptional autonomous components of Goldbach factorization graphs
We introduce a concept of a Goldbach factorization graph (GFG) $F_n$, which can be constructed for each even integer $n$ greater than 2. We prove that, if $n$ does not satisfy the binary Goldbach conjecture (BGC), then $F_n$ contains a special source strongly connected component (exceptional autonomous component, EAC). We analyse existence and properties of EACs using deductive and computational approaches. In particular, we prove that there exists exactly one EAC induced by two vertices. Using computer-aided search, we show that for $n \leq 10^8$ there are 6 EACs, each inside a different GFG, and they are located at the relative beginning of the checked range, namely, for $n\in\{128,1718,1862,1928,2200,6142\}$. Using classic graph algorithms, the constraint programming method, and metaheuristic approaches, we have prepared a repository of drawings and some selected properties of the found EACs and GFGs which contain them. The concept of EAC relates to the BGC, but more generally, it represents interesting self-conjugation of prime numbers under a relation which combines addition and multiplication.
Formations and generalized Davenport-Schinzel sequences
Let $up(r, t) = (a_1 a_2 \dots a_r)^t$. We investigate the problem of determining the maximum possible integer $n(r, t)$ for which there exist $2t-1$ permutations $π_1, π_2, \dots, π_{2t-1}$ of $1, 2, \dots, n(r, t)$ such that the concatenated sequence $π_1 π_2 \dots π_{2t-1}$ has no subsequence isomorphic to $up(r,t)$. This quantity has been used to obtain an upper bound on the maximum number of edges in $k$-quasiplanar graphs. It was proved by (Geneson, Prasad, and Tidor, Electronic Journal of Combinatorics, 2014) that $n(r, t) \le (r-1)^{2^{2t-2}}$.
We prove that $n(r,t) = Θ(r^{2t-1 \choose t})$, where the constant in the bound depends only on $t$. Using our upper bound in the case $t = 2$, we also sharpen an upper bound of (Klazar, Integers, 2002), who proved that $Ex(up(r,2),n) < (2n+1)L$ where $L = Ex(up(r,2),K-1)+1$, $K = (r-1)^4 + 1$, and $Ex(u, n)$ denotes the extremal function for forbidden generalized Davenport-Schinzel sequences. We prove that $K = (r-1)^4 + 1$ in Klazar's bound can be replaced with $K = (r-1) \binom{r}{2}+1$.
We also prove a conjecture from (Geneson, Prasad, and Tidor, Electronic Journal of Combinatorics, 2014) by showing for $t \geq 1$ that $Ex(a b c (a c b)^{t} a b c, n) = n 2^{\frac{1}{t!}α(n)^{t} \pm O(α(n)^{t-1})}$. In addition, we prove that $Ex(a b c a c b (a b c)^{t} a c b, n) = n 2^{\frac{1}{(t+1)!}α(n)^{t+1} \pm O(α(n)^{t})}$ for all $t \geq 1$.
Linear-Time Recognition of Double-Threshold Graphs
Published
• View Publication
• BIB
A graph $G = (V,E)$ is a double-threshold graph if there exist a vertex-weight function $w \colon V \to \mathbb{R}$ and two real numbers $\mathtt{lb}, \mathtt{ub} \in \mathbb{R}$ such that $uv \in E$ if and only if $\mathtt{lb} \le \mathtt{w}(u) + \mathtt{w}(v) \le \mathtt{ub}$. In the literature, those graphs are studied also as the pairwise compatibility graphs that have stars as their underlying trees. We give a new characterization of double-threshold graphs that relates them to bipartite permutation graphs. Using the new characterization, we present a linear-time algorithm for recognizing double-threshold graphs. Prior to our work, the fastest known algorithm by Xiao and Nagamochi [Algorithmica 2020] ran in $O(n^{3} m)$ time, where $n$ and $m$ are the numbers of vertices and edges, respectively.
Concepts of signed graph coloring
Published in European Journal of Combinatorics 91 (2021)
• View Publication
• BIB
This paper surveys recent development of concepts related to coloring of signed graphs. Various approaches are presented and discussed.
Representing split graphs by words
Published
• View Publication
• BIB
There is a long line of research in the literature dedicated to word-representable graphs, which generalize several important classes of graphs. However, not much is known about word-representability of split graphs, another important class of graphs.
In this paper, we show that threshold graphs, a subclass of split graphs, are word-representable. Further, we prove a number of general theorems on word-representable split graphs, and use them to characterize computationally such graphs with cliques of size 5 in terms of 9 forbidden subgraphs, thus extending the known characterization for word-representable split graphs with cliques of size 4. Moreover, we use split graphs, and also provide an alternative solution, to show that gluing two word-representable graphs in any clique of size at least 2 may, or may not, result in a word-representable graph. The two surprisingly simple solutions provided by us answer a question that was open for about ten years.
A new kind of Hermitian matrices for digraphs
Published
• View Publication
• BIB
In an earlier work, the author together with Guo [Hermitian adjacency matrix of digraphs and mixed graphs, J. Graph Theory 85 (2017) 217-248] introduced the Hermitian adjacency matrix of directed (and partially directed) graphs. However, it appears that a more natural Hermitian matrix exists, and it is the purpose of this note to bring this new Hermitian matrix to the attention of researchers in algebraic graph theory.
Crescent configurations in normed spaces
We study the problem of crescent configurations, posed by Erdős in 1989. A crescent configuration is a set of $n$ points in the plane such that: 1) no three points lie on a common line, 2) no four points lie on a common circle, 3) for each $1 \leq i \leq n - 1$, there exists a distance which occurs exactly $i$ times. Constructions of sizes $n \leq 8$ have been provided by Liu, Palásti, and Pomerance. Erdős conjectured that there exists some $N$ for which there do not exist crescent configurations of size $n$ for all $n \geq N$.
We extend the problem of crescent configurations to general normed spaces $(\mathbb{R}^2, \| \cdot \|)$ by studying strong crescent configurations in $\| \cdot \|$. In an arbitrary norm $\|\cdot \|$, we construct a strong crescent configuration of size 4. We also construct larger strong crescent configurations in the Euclidean, taxicab, and Chebyshev norms, of sizes $n \leq 6$, $n \leq 8$, and $n \leq 8$ respectively. When defining strong crescent configurations, we introduce the notion of line-like configurations in $\|\cdot \|$. A line-like configuration in $\|\cdot \|$ is a set of points whose distance graph is isomorphic to the distance graph of equally spaced points on a line. In a broad class of norms, we construct line-like configurations of arbitrary size.
Our main result is a crescent-type result about line-like configurations in the Chebyshev norm. A line-like crescent configuration is a line-like configuration for which no three points lie on a common line and no four points lie on a common $\|\cdot \|$ circle. We prove that for $n \geq 7$, every line-like crescent configuration of size $n$ in the Chebyshev norm must have a rigid structure. Specifically, it must be a perpendicular perturbation of equally spaced points on a horizontal or vertical line.
Trees of tangles in abstract separation systems
Published in Journal of Combinatorial Theory, Series A, Volume 180, May 2021, 105425
• View Publication
• BIB
We prove canonical and non-canonical tree-of-tangles theorems for abstract separation systems that are merely structurally submodular. Our results imply all known tree-of-tangles theorems for graphs, matroids and abstract separation systems with submodular order functions, with greatly simplified and shortened proofs.
A Characterization of Circle Graphs in Terms of Total Unimodularity
Published
• View Publication
• BIB
A graph $G$ has an associated multimatroid $\mathcal{Z}_3(G)$, which is equivalent to the isotropic system of $G$ studied by Bouchet. In previous work it was shown that $G$ is a circle graph if and only if for every field $\mathbb F$, the rank function of $\mathcal{Z}_3(G)$ can be extended to the rank function of an $\mathbb F$-representable matroid. In the present paper we strengthen this result using a multimatroid analogue of total unimodularity. As a consequence we obtain a characterization of matroid planarity in terms of this total-unimodularity analogue.
Monochromatic Components in Edge-Coloured Graphs with Large Minimum Degree
Published
• View Publication
• BIB
For every $n\in\mathbb{N}$ and $k\geq2$, it is known that every $k$-edge-colouring of the complete graph on $n$ vertices contains a monochromatic connected component of order at least $\frac{n}{k-1}$. For $k\geq3$, it is known that the complete graph can be replaced by a graph $G$ with $δ(G)\geq(1-\varepsilon_k)n$ for some constant $\varepsilon_k$. In this paper, we show that the maximum possible value of $\varepsilon_3$ is $\frac16$. This disproves a conjecture of Gyárfas and Sárközy.
The influence of cut vertices and eigenvalues on character graphs of solvable groups
Published
• View Publication
• BIB
Given a finite group $G$, the character graph, denoted by $Δ(G)$, for its irreducible character degrees is a graph with vertex set $ρ(G)$ which is the set of prime numbers that divide the irreducible character degrees of $G$, and with $\{p,q\}$ being an edge if there exist a non-linear $χ\in {\rm Irr}(G)$ whose degree is divisible by $pq$. In this paper, we discuss the influences of cut vertices and eigenvalues of $Δ(G)$ on the group structure of $G$. Recently, Lewis and Meng proved the character graph of each solvable group has at most one cut vertex. Now, we determine the structure of character graphs of solvable groups with a cut vertex and diameter $3$. Furthermore, we study solvable groups whose character graphs have at most two distinct eigenvalues. Moreover, we investigate the solvable groups whose character graphs are regular with three distinct eigenvalues. In addition, we give some lower bounds for the number of edges of $Δ(G)$.
On the packing coloring of base-3 Sierpiński and $H$ graphs
Published
• View Publication
• BIB
For a nondecreasing sequence of integers $S=(s_1, s_2, \ldots)$ an $S$-packing $k$-coloring of a graph $G$ is a mapping from $V(G)$ to $\{1, 2,\ldots,k\}$ such that vertices with color $i$ have pairwise distance greater than $s_i$. By setting $s_i = d + \lfloor \frac{i-1}{n} \rfloor$ we obtain a $(d,n)$-packing coloring of a graph $G$. The smallest integer $k$ for which there exists a $(d,n)$-packing coloring of $G$ is called the $(d,n)$-packing chromatic number of $G$. In the special case when $d$ and $n$ are both equal to one we speak of the packing chromatic number of $G$. We determine the packing chromatic number of the base-3 Sierpiński graphs $S_k$ and provide new results on $(d,n)$-packing chromatic colorings, $d \le 2$, for this class of graphs. By using a dynamic algorithm, we establish the packing chromatic number for $H$-graphs $H(r)$.
On the Infinite Lucchesi-Younger Conjecture I
Published
• View Publication
• BIB
A dicut in a directed graph is a cut for which all of its edges are directed to a common side of the cut. A famous theorem of Lucchesi and Younger states that in every finite digraph the least size of an edge set meeting every dicut equals the maximum number of disjoint dicuts in that digraph.
In this first paper out of a series of two papers, we conjecture a version of this theorem using a more structural description of this min-max property for finite dicuts in infinite digraphs. We show that this conjecture can be reduced to countable digraphs where the underlying undirected graph is $2$-connected, and we prove several special cases of the conjecture.
A polynomial time approximation schema for maximum k-vertex cover in bipartite graphs
The paper presents a polynomial time approximation schema for the edge-weighted version of maximum k-vertex cover problem in bipartite graphs.
A sharper Ramsey theorem for constrained drawings
Given a graph $G$ and a collection $\mathcal C$ of subsets of $\mathbb{R}^d$ indexed by the subsets of vertices of $G$, a constrained drawing of $G$ is a drawing, where each edge is drawn inside some set from $\mathcal C$, in such a way that non-adjacent edges are drawn in sets with disjoint indices. In this paper we prove a Ramsey type result for such drawings. Furthermore we show how the result can be used to obtain Helly type theorems.
More precisely, we prove the following. For each $n$ and $b$, there is $N=O(b^{2n-3})$ with the following properties: If $G$ is a drawing of a graph on $N$ vertices and $\mathcal C$ is a collection of sets of $\mathbb{R}^d$ such that each $(b+1)$-tuple $T$ of vertices lies in a set indexed by $T$ and contains at least one edge in $T$, then in $G$, we can find a constrained copy of the complete graph $K_n$.
As a direct consequence we obtain the following Helly type result: For each $d$, there is a polynomial $h(b)$ of degree at most $2d+3$ such that the following holds. For every family $\mathcal F$ of sets in $\mathbb{R}^d$, its Helly number is at most $h(b)$, provided that the intersection of any non-empty subfamily has at most $b$ path-connected components, and trivial homology groups $H_1$, $H_2$, .... $H_{\lceil d/2\rceil-1}$. This dramatically improves the original theorem by Matoušek which had stronger assumption and a tower-like bound on $h(b)$. Under the same assumptions, our technique can also be used to bound Radon numbers.
Regular matroids have polynomial extension complexity
Published
• View Publication
• BIB
We prove that the extension complexity of the independence polytope of every regular matroid on $n$ elements is $O(n^6)$. Past results of Wong and Martin on extended formulations of the spanning tree polytope of a graph imply a $O(n^2)$ bound for the special case of (co)graphic matroids. However, the case of a general regular matroid was open, despite recent attempts. We also consider the extension complexity of circuit dominants of regular matroids, for which we give a $O(n^2)$ bound.
A characterization of 2-neighborhood degree list of diameter 2 graphs
Let $N_2DL(v)$ denote the set of degrees of vertices at distance 2 from $v$. The $2$-neighborhood degree list of a graph is a listing of $N_2DL(v)$ for every vertex $v$. A degree restricted $2$-switch on edges $v_1v_2$ and $w_1w_2$, where $deg(v_1)=deg(w_1)$ and $deg(v_2)=deg(w_2)$, is the replacement of a pair of edges $v_1v_2$ and $w_1w_2$ by the edges $v_1w_2$ and $v_2w_1$ given that $v_1w_2$ and $v_2w_1$ did not appear in the graph originally. Let $G$ and $H$ be two graphs of diameter 2 on the same vertex set. We prove that $G$ and $H$ have the same $2$-neighborhood degree list if and only if $G$ can be transformed into $H$ by a sequence of degree restricted $2$-switches.
Bounds for the rank of a complex unit gain graph in terms of the independence number
Published
• View Publication
• BIB
A complex unit gain graph (or $\mathbb{T}$-gain graph) is a triple $Φ=(G, \mathbb{T}, \varphi)$ ($(G, \varphi)$ for short) consisting of a graph $G$ as the underlying graph of $(G, \varphi)$, $\mathbb{T}= \{ z \in C:|z|=1 \} $ is a subgroup of the multiplicative group of all nonzero complex numbers $\mathbb{C}^{\times}$ and a gain function $\varphi: \overrightarrow{E} \rightarrow \mathbb{T}$ such that $\varphi(e_{ij})=\varphi(e_{ji})^{-1}=\overline{\varphi(e_{ji})}$. In this paper, we investigate the relation among the rank, the independence number and the cyclomatic number of a complex unit gain graph $(G, \varphi)$ with order $n$, and prove that $2n-2c(G) \leq r(G, \varphi)+2α(G) \leq 2n$. Where $r(G, \varphi)$, $α(G)$ and $c(G)$ are the rank of the Hermitian adjacency matrix $A(G, \varphi)$, the independence number and the cyclomatic number of $G$, respectively. Furthermore, the properties of the complex unit gain graph that reaching the lower bound are characterized.
The rank of a complex unit gain graph in terms of the matching number
Published
• View Publication
• BIB
A complex unit gain graph (or ${\mathbb T}$-gain graph) is a triple $Φ=(G, {\mathbb T}, \varphi)$ (or $(G, \varphi)$ for short) consisting of a simple graph $G$, as the underlying graph of $(G, \varphi)$, the set of unit complex numbers $\mathbb{T}= \{ z \in C:|z|=1 \}$ and a gain function $\varphi: \overrightarrow{E} \rightarrow \mathbb{T}$ with the property that $\varphi(e_{i,j})=\varphi(e_{j,i})^{-1}$. In this paper, we prove that $2m(G)-2c(G) \leq r(G, \varphi) \leq 2m(G)+c(G)$, where $r(G, \varphi)$, $m(G)$ and $c(G)$ are the rank of the Hermitian adjacency matrix $H(G, \varphi)$, the matching number and the cyclomatic number of $G$, respectively. Furthermore, the complex unit gain graphs $(G, \mathbb{T}, \varphi)$ with $r(G, \varphi)=2m(G)-2c(G)$ and $r(G, \varphi)=2m(G)+c(G)$ are characterized. These results generalize the corresponding known results about undirected graphs, mixed graphs and signed graphs. Moreover, we show that $2m(G-V_{0}) \leq r(G, \varphi) \leq 2m(G)+b(G)$ holds for any subset $V_0$ of $V(G)$ such that $G-V_0$ is acyclic and $b(G)$ is the minimum integer $|S|$ such that $G-S$ is bipartite for $S \subset V(G)$.
On the nonexistence of pseudo-generalized quadrangles
Published
• View Publication
• BIB
In this paper we consider the question of when a strongly regular graph with parameters $((s+1)(st+1),s(t+1),s-1,t+1)$ can exist. These parameters arise when the graph is derived from a generalized quadrangle, but there are other examples which do not arise in this manner, and we term these {\it pseudo-generalized quadrangles}. If the graph is a generalized quadrangle then $t \leq s^2$ and $s \leq t^2$, while for pseudo-generalized quadrangles we still have the former bound but not the latter. Previously, Neumaier has proved a bound for $s$ which is cubic in $t$, but we improve this to one which is quadratic. The proof involves a careful analysis of cliques and cocliques in the graph. This improved bound eliminates many potential parameter sets which were otherwise feasible.