graph
34665 papers tagged with this keyword
On the abstract chromatic number and its computability for finitely axiomatizable theories
Published
• View Publication
• BIB
The celebrated Erdős--Stone--Simonovits theorem characterizes the asymptotic maximum edge density in $\mathcal{F}$-free graphs as $1 - 1/(χ(\mathcal{F})-1) + o(1)$, where $χ(\mathcal{F})$ is the minimum chromatic number of a graph in $\mathcal{F}$. In Examples 25 and 31 of [L. N. Coregliano and A. A. Razborov. Semantic limits of dense combinatorial objects. Uspekhi Mat. Nauk, 75(4(454)):45-152, 2020], it was shown that this result can be extended to the general setting of graphs with extra structure: the maximum asymptotic density of a graph with extra structure without some induced subgraphs is $1 - 1/(χ(I) - 1) + o(1)$ for an appropriately defined abstract chromatic number $χ(I)$. As the name suggests, the original formula for the abstract chromatic number is so abstract that its (algorithmic) computability was left open.
In this paper, we both extend this result to characterize maximum asymptotic density of $t$-cliques in of graphs with extra structure without some induced subgraphs in terms of $χ(I)$ and we present a more concrete formula for $χ(I)$ that allows us to show its computability when both the extra structure and the forbidden subgraphs can be described by a finitely axiomatizable universal first-order theory. Our alternative formula for $χ(I)$ makes use of a partite version of Ramsey's Theorem for structures on first-order relational languages.
An exact-arithmetic algorithm for spanning tree modulus
Published
• View Publication
• BIB
Spanning tree modulus is a generalization of effective resistance that is closely related to graph strength and fractional arboricity. The optimal edge density associated with spanning tree modulus is known to produce two hierarchical decompositions of arbitrary graphs, one based on strength and the other on arboricity. Here we introduce an exact-arithmetic algorithm for spanning tree modulus and the strength-based decomposition using Cunningham's algorithm for graph vulnerability. The algorithm exploits an interesting connection between spanning tree modulus and critical edge sets from the vulnerability problem. This paper introduces the new algorithm, describes a practical means for implementing it using integer arithmetic, and presents some examples and computational time scaling tests.
Connectedness matters: Construction and exact random sampling of connected graphs
Published
• View Publication
• BIB
We describe a new method for the random sampling of connected networks with a specified degree sequence. We consider both the case of simple graphs and that of loopless multigraphs. The constraints of fixed degrees and of connectedness are two of the most commonly needed ones when constructing null models for the practical analysis of physical or biological networks. Yet handling these constraints, let alone combining them, is non-trivial. Our method builds on a recently introduced novel sampling approach that constructs graphs with given degrees independently (unlike edge-switching Markov Chain Monte Carlo methods) and efficiently (unlike the configuration model), and extends it to incorporate the constraint of connectedness. Additionally, we present a simple and elegant algorithm for directly constructing a single connected realization of a degree sequence, either as a simple graph or a multigraph. Finally, we demonstrate our sampling method on a realistic scale-free example, as well as on degree sequences of connected real-world networks, and show that enforcing connectedness can significantly alter the properties of sampled networks.
Zarankiewicz's problem for semilinear hypergraphs
Published
• View Publication
• BIB
A bipartite graph $H = \left(V_1, V_2; E \right)$ with $|V_1| + |V_2| = n$ is semilinear if $V_i \subseteq \mathbb{R}^{d_i}$ for some $d_i$ and the edge relation $E$ consists of the pairs of points $(x_1, x_2) \in V_1 \times V_2$ satisfying a fixed Boolean combination of $s$ linear equalities and inequalities in $d_1 + d_2$ variables for some $s$. We show that for a fixed $k$, the number of edges in a $K_{k,k}$-free semilinear $H$ is almost linear in $n$, namely $|E| = O_{s,k,\varepsilon}(n^{1+\varepsilon})$ for any $\varepsilon > 0$; and more generally, $|E| = O_{s,k,r,\varepsilon}(n^{r-1 + \varepsilon})$ for a $K_{k, \ldots,k}$-free semilinear $r$-partite $r$-uniform hypergraph. As an application, we obtain the following incidence bound: given $n_1$ points and $n_2$ open boxes with axis parallel sides in $\mathbb{R}^d$ such that their incidence graph is $K_{k,k}$-free, there can be at most $O_{k,\varepsilon}(n^{1+\varepsilon})$ incidences. The same bound holds if instead of boxes one takes polytopes cut out by the translates of an arbitrary fixed finite set of halfspaces. We also obtain matching upper and (superlinear) lower bounds in the case of dyadic boxes on the plane, and point out some connections to the model-theoretic trichotomy in $o$-minimal structures (showing that the failure of an almost linear bound for some definable graph allows one to recover the field operations from that graph in a definable manner).
From $χ$- to $χ_p$-bounded classes
Published
• View Publication
• BIB
$χ$-bounded classes are studied here in the context of star colorings and more generally $χ_p$-colorings. This leads to natural extensions of the notion of bounded expansion class and to structural characterization of these. In this paper we solve two conjectures related to star coloring boundedness. One of the conjectures is disproved and in fact we determine which weakening holds true. We give structural characterizations of (strong and weak) $χ_p$-bounded classes. On the way, we generalize a result of Wood relating the chromatic number of a graph to the star chromatic number of its $1$-subdivision. As an application of our characterizations, among other things, we show that for every odd integer $g>3$ even hole-free graphs $G$ contain at most $\varphi(g,ω(G))\,|G|$ holes of length $g$.
On the spectrum and linear programming bound for hypergraphs
Published in European Journal of Combinatorics, 104 (2022), 103535
• View Publication
• BIB
The spectrum of a graph is closely related to many graph parameters. In particular, the spectral gap of a regular graph which is the difference between its valency and second eigenvalue, is widely seen an algebraic measure of connectivity and plays a key role in the theory of expander graphs. In this paper, we extend previous work done for graphs and bipartite graphs and present a linear programming method for obtaining an upper bound on the order of a regular uniform hypergraph with prescribed distinct eigenvalues. Furthermore, we obtain a general upper bound on the order of a regular uniform hypergraph whose second eigenvalue is bounded by a given value. Our results improve and extend previous work done by Feng-Li (1996) on Alon-Boppana theorems for regular hypergraphs and by Dinitz-Schapira-Shahaf (2020) on the Moore or degree-diameter problem. We also determine the largest order of an $r$-regular $u$-uniform hypergraph with second eigenvalue at most $θ$ for several parameters $(r,u,θ)$. In particular, orthogonal arrays give the structure of the largest hypergraphs with second eigenvalue at most $1$ for every sufficiently large $r$. Moreover, we show that a generalized Moore geometry has the largest spectral gap among all hypergraphs of that order and degree.
A Degree Condition for Graphs Having All $(a,b)$-Parity Factors
Published
• View Publication
• BIB
Let $a$ and $b$ be positive integers such that $a\leq b$ and $a\equiv b\pmod 2$. We say that $G$ has all $(a, b)$-parity factors if $G$ has an $h$-factor for every function $h: V(G) \rightarrow \{a,a+2,\ldots,b-2,b\}$ with $b|V(G)|$ even and $h(v)\equiv b\pmod 2$ for all $v\in V(G)$. In this paper, we prove that every graph $G$ with $n\geq 3(b+1)(a+b)$ vertices has all $(a,b)$-parity factors if $δ(G)\geq (b^2-b)/a$, and for any two nonadjacent vertices $u,v \in V(G)$, $\max\{d_G(u),d_G(v)\}\geq \frac{bn}{a+b}$. Moreover, we show that this result is best possible in some sense.
An improvement on Łuczak's connected matchings method
Published
• View Publication
• BIB
A connected matching in a graph $G$ is a matching contained in a connected component of $G$. A well-known method due to Łuczak reduces problems about monochromatic paths and cycles in complete graphs to problems about monochromatic connected matchings in almost complete graphs. We show that these can be further reduced to problems about monochromatic connected matchings in complete graphs.
We illustrate the potential of this new reduction by showing how it can be used to determine the $3$-colour Ramsey number of long paths, using a simpler argument than the original one by Gyárfás, Ruszinkó, Sárközy, and Szemerédi (2007).
On the isomorphism of certain primitive $Q$-polynomial not $P$-polynomial association schemes
Published
• View Publication
• BIB
In 2011, Penttila and Williford constructed an infinite new family of primitive $Q$-polynomial 3-class association schemes, not arising from distance regular graphs, by exploring the geometry of the lines of the unitary polar space $H(3,q^2)$, $q$ even, with respect to a symplectic polar space $W(3,q)$ embedded in it.
In a private communication to Penttila and Williford, H.~Tanaka pointed out that these schemes have the same parameters as the 3-class schemes found by Hollmann and Xiang in 2006 by considering the action of $\mathrm{PGL}(2,q^2)$, $q$ even, on a non-degenerate conic of $\mathrm{PG}(2,q^2)$ extended in $\mathrm{PG}(2,q^4)$. Therefore, the question arises whether the above association schemes are isomorphic. In this paper we provide the positive answer. As by product, we get an isomorphism of strongly regular graphs.
Ends of digraphs I: basic theory
In a series of three papers we develop an end space theory for directed graphs. As for undirected graphs, the ends of a digraph are points at infinity to which its rays converge. Unlike for undirected graphs, some ends are joined by limit edges; these are crucial for obtaining the end space of a digraph as a natural (inverse) limit of its finite contraction minors. As our main result in this first paper of our series we show that the notion of directions of an undirected graph, a tangle-like description of its ends, extends to digraphs: there is a one-to-one correspondence between the `directions' of a digraph and its ends and limit edges. In the course of this we extend to digraphs a number of fundamental tools and techniques for the study of ends of graphs, such as the star-comb lemma and Schmidt's ranking of rayless graphs.
On a conjecture by Anthony Hill
In the 1950's, English painter Anthony Hill described drawings of complete graphs $K_n$ in the plane having precisely $$H(n) = \tfrac{1}{4}\lfloor \tfrac{n}{2}\rfloor \, \lfloor \tfrac{n-1}{2}\rfloor \, \lfloor \tfrac{n-2}{2}\rfloor \,\lfloor \tfrac{n-3}{2}\rfloor$$ crossings. It became a conjecture that this number is minimum possible and, despite serious efforts, the conjecture is still widely open. Another way of drawing $K_n$ with the same number of crossings was found by Blažek and Koman in 1963. In this note we provide, for the first time, a very general construction of drawings attaining the same bound. Surprisingly, the proof is extremely short and may as well qualify as a "book proof". In particular, it gives a very simple explanation of the phenomenon discovered by Moon in 1968 that a random set of $n$ points on the unit sphere $\SS^2$ in $\RR^3$ joined by geodesics gives rise to a drawing whose number of crossings asymptotically approaches the Hill value $H(n)$.
Strong rainbow disconnection in graphs
Published
• View Publication
• BIB
Let $G$ be a nontrivial edge-colored connected graph. An edge-cut $R$ of $G$ is called a {\it rainbow edge-cut} if no two edges of $R$ are colored with the same color. For two distinct vertices $u$ and $v$ of $G$, if an edge-cut separates them, then the edge-cut is called a {\it $u$-$v$-edge-cut}. An edge-colored graph $G$ is called \emph{strong rainbow disconnected} if for every two distinct vertices $u$ and $v$ of $G$, there exists a both rainbow and minimum $u$-$v$-edge-cut ({\it rainbow minimum $u$-$v$-edge-cut} for short) in $G$, separating them, and this edge-coloring is called a {\it strong rainbow disconnection coloring} (srd-{\it coloring} for short) of $G$. For a connected graph $G$, the \emph{strong rainbow disconnection number} (srd-{\it number} for short) of $G$, denoted by $\textnormal{srd}(G)$, is the smallest number of colors that are needed in order to make $G$ strong rainbow disconnected.
In this paper, we first characterize the graphs with $m$ edges such that $\textnormal{srd}(G)=k$ for each $k \in \{1,2,m\}$, respectively, and we also show that the srd-number of a nontrivial connected graph $G$ equals the maximum srd-number among the blocks of $G$. Secondly, we study the srd-numbers for the complete $k$-partite graphs, $k$-edge-connected $k$-regular graphs and grid graphs. Finally, we show that for a connected graph $G$, to compute $\textnormal{srd}(G)$ is NP-hard. In particular, we show that it is already NP-complete to decide if $\textnormal{srd}(G)=3$ for a connected cubic graph. Moreover, we show that for a given edge-colored (with an unbounded number of colors) connected graph $G$ it is NP-complete to decide whether $G$ is strong rainbow disconnected.
Families of Integral Cographs within a Triangular Arrays
Published
• View Publication
• BIB
The \emph{determinant Hosoya triangle}, is a triangular array where the entries are the determinants of two-by-two Fibonacci matrices. The determinant Hosoya triangle $\bmod \,2$ gives rise to three infinite families of graphs, that are formed by complete product (join) of (the union of) two complete graphs with an empty graph. We give a necessary and sufficient condition for a graph from these families to be integral.
Some features of these graphs are: they are integral cographs, all graphs have at most five distinct eigenvalues, all graphs are either $d$-regular graphs with $d=2,4,6,\dots $ or almost-regular graphs, and some of them are Laplacian integral. Finally we extend some of these results to the Hosoya triangle.
Vertex-Domatic, Edge-Domatic and Total Domatic Number of Uniform Hypergraphs
E. J. Cockayne and S. T. Hedetniemi introduced the concept of domatic number of a graph. B. Zelinka extended the concept to the uniform hypergraphs. Further, B. Zelinka defined the concept of edge-domatic number and total edge-domatic number of a graph. In this paper, we investigate and prove some assertions in connection with vertex domatic number, edge-domatic number and total domatic number of some specific uniform hypergraphs.
Incidence bounds on Edge Partitions of $K_n$
We solve a problem conjectured by Cheriyan, giving sharp bounds for incidence of certain edge partitions of the connected graph on $n$-vertices. We briefly discuss the history of the problem and relation to node connectivity of strongly regular graphs. We show that the bound cannot be made sharper.
Tight gaps in the cycle spectrum of 3-connected planar graphs
Published
• View Publication
• BIB
For any positive integer $k$, define $f(k)$ (respectively, $f_3(k)$) to be the minimal integer $\ge k$ such that every 3-connected planar graph $G$ (respectively, 3-connected cubic planar graph $G$) of circumference $\ge k$ has a cycle whose length is in the interval $[k, f(k)]$ (respectively, $[k, f_3(k)]$).
Merker showed that $f_3(k) \le 2k + 9$ for any $k \ge 2$, and $f_3(k) \ge 2k + 2$ for any even $k \ge 4$. He conjectured that $f_3(k) \le 2k + 2$ for any $k \ge 2$. This conjecture was disproved by Zamfirescu, who gave an infinite family of counterexamples for every even $k \ge 6$ whose graphs have no cycle length in $[k, 2k + 2]$, i.e. $f_3(k) \ge 2k + 3$ for any even $k \ge 6$. However, the exact value of $f_3(k)$ was only known for $k \le 4$, and it was left open to determine $f_3(k)$ for $k \ge 5$. In this paper we improve Merker's upper bound, and give the exact value of $f_3(k)$ for every $k \ge 5$. We show that $f_3(5) = 10$, $f_3(7) = 15$, $f_3(9) = 20$, and $f_3(k) = 2k + 3$ for any $k = 6, 8$ or $\ge 10$.
For general 3-connected planar graphs, Merker conjectured that there exists some positive integer $c$ such that $f(k) \le 2k + c$ for any positive integer $k$. We give a complete positive answer to this conjecture. We prove that $f(k) = 5$ for any $k \le 3$, $f(4) = 10$, and $f(k) = 2k + 3$ for any $k \ge 5$.
Graphs and matrices: A translation of "Graphok és matrixok" by Dénes Kőnig (1931)
This paper, originally written in Hungarian by Dénes Kőnig in 1931, proves that in a bipartite graph, the minimum vertex cover and the maximum matching have the same size. This statement is now known as Kőnig's theorem. The paper also discusses the connection of graphs and matrices, then makes some observations about the combinatorial properties of the latter.
Explicit near-fully X-Ramanujan graphs
Let $p(Y_1, \dots, Y_d, Z_1, \dots, Z_e)$ be a self-adjoint noncommutative polynomial, with coefficients from $\mathbb{C}^{r \times r}$, in the indeterminates $Y_1, \dots, Y_d$ (considered to be self-adjoint), the indeterminates $Z_1, \dots, Z_e$, and their adjoints $Z_1^*, \dots, Z_e^*$. Suppose $Y_1, \dots, Y_d$ are replaced by independent random $n \times n$ matching matrices, and $Z_1, \dots, Z_e$ are replaced by independent random $n \times n$ permutation matrices. Assuming for simplicity that $p$'s coefficients are $0$-$1$ matrices, the result can be thought of as a kind of random $rn$-vertex graph $G$. As $n \to \infty$, there will be a natural limiting infinite graph $X$ that covers any finite outcome for $G$. A recent landmark result of Bordenave and Collins shows that for any $\varepsilon > 0$, with high probability the spectrum of a random $G$ will be $\varepsilon$-close in Hausdorff distance to the spectrum of $X$ (once the suitably defined "trivial" eigenvalues are excluded). We say that $G$ is "$\varepsilon$-near fully $X$-Ramanujan". Our work has two contributions: First we study and clarify the class of infinite graphs $X$ that can arise in this way. Second, we derandomize the Bordenave-Collins result: for any $X$, we provide explicit, arbitrarily large graphs $G$ that are covered by $X$ and that have (nontrivial) spectrum at Hausdorff distance at most $\varepsilon$ from that of $X$. This significantly generalizes the recent work of Mohanty et al., which provided explicit near-Ramanujan graphs for every degree $d$ (meaning $d$-regular graphs with all nontrivial eigenvalues bounded in magnitude by $2\sqrt{d-1} + \varepsilon$). As an application of our main technical theorem, we are also able to determine the "eigenvalue relaxation value" for a wide class of average-case degree-$2$ constraint satisfaction problems.
On the maximum diameter of $k$-colorable graphs
Published
• View Publication
• BIB
Erdős, Pach, Pollack and Tuza [J. Combin. Theory, B 47, (1989), 279-285] conjectured that the diameter of a $K_{2r}$-free connected graph of order $n$ and minimum degree $δ\geq 2$ is at most $\frac{2(r-1)(3r+2)}{(2r^2-1)}\cdot \frac{n}δ + O(1)$ for every $r\ge 2$, if $δ$ is a multiple of $(r-1)(3r+2)$. For every $r>1$ and $δ\ge 2(r-1)$, we create $K_{2r}$-free graphs with minimum degree $δ$ and diameter $\frac{(6r-5)n}{(2r-1)δ+2r-3}+O(1)$, which are counterexamples to the conjecture for every $r>1$ and $δ>2(r-1)(3r+2)(2r-3)$. The rest of the paper proves positive results under a stronger hypothesis, $k$-colorability, instead of being $K_{k+1}$-free. We show that the diameter of connected $k$-colorable graphs with minimum degree $\geq δ$ and order $n$ is at most $\left(3-\frac{1}{k-1}\right)\frac{n}δ+O(1)$, while for $k=3$, it is at most $\frac{57n}{23δ}+O\left(1\right)$.
The Ramsey theory of the universal homogeneous triangle-free graph Part II: Exact big Ramsey degrees
Building on previous work of the author, for each finite triangle-free graph $\mathbf{G}$, we determine the equivalence relation on the copies of $\mathbf{G}$ inside the universal homogeneous triangle-free graph, $\mathcal{H}_3$, with the smallest number of equivalence classes so that each one of the classes persists in every isomorphic subcopy of $\mathcal{H}_3$. This characterizes the exact big Ramsey degrees of $\mathcal{H}_3$. It follows that the triangle-free Henson graph is a big Ramsey structure.