graph
34585 papers tagged with this keyword
Almost Disjoint Paths and Separating by Forbidden Pairs
Published
• View Publication
• BIB
By Menger's theorem the maximum number of arc-disjoint paths from a vertex s to a vertex t in a directed graph equals the minumum number of arcs needed to disconnect s and t, i.e., the minimum size of an s-t-cut. The max-flow problem in a network with unit capacities is equivalent to the arc-disjoint paths problem. Moreover the max-flow and min-cut problems form a strongly dual pair. We relax the disjointedness requirement on the paths, allowing them to be almost disjoint, meaning they may share up to one arc. The resulting almost disjoint paths problem (ADP) asks for k s-t-paths such that any two of them are almost disjoint. The separating by forbidden pairs problem (SFP) is the corresponding dual problem and calls for a set of k arc pairs such that every s-t-path contains both arcs of at least one such pair.
In this paper, we explore these two problems, showing that they have an unbounded duality gap in general and analyzing their complexity. We prove that ADP is NP-complete when k is part of the input and that SFP is Sigma_2P-complete, even for acyclic graphs. Furthermore, we efficiently solve ADP when k<=2 is fixed and present a polynomial time algorithm based on dynamic programming for ADP when k is constant and the considered graphs are acyclic.
The maximum number of $K_{r_1,\ldots,r_s}$ in graphs with a given circumference or matching number
Let $K_{r_1,\ldots,r_s}$ denote the complete multipartite graph with class sizes $r_1,\ldots,r_s$ and let $K_s$ denote the complete graph of order $s$. In 2018, Luo determined the maximum number of $K_s$ in 2-connected graphs with a given circumference. Recently, Lu, Yuan and Zhang determined the maximum number of $K_{r_1,r_2}$ in 2-connected graphs with a given circumference, and Wang determined the maximum number of $K_s$ or $K_{r_1,1,\ldots,1}$ in graphs with given matching number. Motivated by these works, we determine the maximum number of $K_{r_1,\ldots,r_s}$ in $2$-connected graphs with given circumference and large minimum degree. The maximum number of $K_{r_1,\ldots,r_s}$ in graphs with given matching number and large minimum degree is also given. Consequently, we determine the maximum number of $K_{r_1,\ldots,r_s}$ in graphs with a given circumference or matching number. We also solve the corresponding problems for graphs with a given detour order.
Bipyramid Volume, Mahler Measure and Some $\mathbb{Z}^2$-periodic Links
Champanerkar, Kofman and Lalín conjectured an inequality between bipyramid volume of links and Mahler measure of associated dimer models induced from alternating links on torus. Hyperbolic volume and Mahler measure can be related for isoradial graphs, which allows us to confirm the conjecture for two examples. By exploiting a connection between perfect matchings of dimer models and spanning trees on lattices, five more examples are calculated.
On Ramsey size-linear graphs and related questions
In this paper we prove several results on Ramsey numbers $R(H,F)$ for a fixed graph $H$ and a large graph $F$, in particular for $F = K_n$. These results extend earlier work of Erdős, Faudree, Rousseau and Schelp and of Balister, Schelp and Simonovits on so-called Ramsey size-linear graphs. Among others, we show that if $H$ is a subdivision of $K_4$ with at least $6$ vertices, then $R(H,F) = O(v(F) + e(F))$ for every graph $F$. We also conjecture that if $H$ is a connected graph with $e(H) - v(H) \leq \binom{k+1}{2} - 2$, then $R(H,K_n) = O(n^k)$. The case $k=2$ was proved by Erdős, Faudree, Rousseau and Schelp. We prove the case $k=3$.
Polynomial bounds for chromatic number VI. Adding a four-vertex path
Published in European Journal of Combinatorics, Volume 110, May 2023, 103710
• View Publication
• BIB
A class of graphs is $χ$-bounded if there is a function $f$ such that every graph $G$ in the class has chromatic number at most $f(ω(G))$, where $ω(G)$ is the clique number of $G$; the class is polynomially $χ$-bounded if $f$ can be taken to be a polynomial. The Gyárfás-Sumner conjecture asserts that, for every forest $H$, the class of $H$-free graphs (graphs with no induced copy of $H$) is $χ$-bounded. Let us say a forest $H$ is good if it satisfies the stronger property that the class of $H$-free graphs is polynomially $χ$-bounded.
Very few forests are known to be good: for example, it is open for the five-vertex path. Indeed, it is not even known that if every component of a forest $H$ is good then $H$ is good, and in particular, it was not known that the disjoint union of two four-vertex paths is good. Here we show the latter, and more generally, that if $H$ is good then so is the disjoint union of $H$ and a four-vertex path. We also prove a more general result: if every component of $H_1$ is good, and $H_2$ is any path (or broom) then the class of graphs that are both $H_1$-free and $H_2$-free is polynomially $χ$-bounded.
Bad list assignments for non-$k$-choosable $k$-chromatic graphs with $2k+2$-vertices
Published
• View Publication
• BIB
It was conjectured by Ohba, and proved by Noel, Reed and Wu that $k$-chromatic graphs $G$ with $|V(G)| \le 2k+1$ are chromatic-choosable. This upper bound on $|V(G)|$ is tight: if $k$ is even, then $K_{3 \star (k/2+1), 1 \star (k/2-1)}$ and $K_{4, 2 \star (k-1)}$ are $k$-chromatic graphs with $2 k+2$ vertices that are not chromatic-choosable. It was proved in [arXiv:2201.02060] that these are the only non-$k$-choosable complete $k$-partite graphs with $2k+2$ vertices. For $G =K_{3 \star (k/2+1), 1 \star (k/2-1)}$ or $K_{4, 2 \star (k-1)}$, a bad list assignment of $G$ is a $k$-list assignment $L$ of $G$ such that $G$ is not $L$-colourable. Bad list assignments for $G=K_{4, 2 \star (k-1)}$ were characterized in [Discrete Mathematics 244 (2002), 55-66]. In this paper, we first give a simpler proof of this result, and then we characterize bad list assignments for $G=K_{3 \star (k/2+1), 1 \star (k/2-1)}$. Using these results, we characterize all non-$k$-choosable (non-complete) $k$-partite graphs with $2k+2$ vertices.
Uni-width subgroups, universal elements, and lambda number of finite groups
A cyclic subgroup $N$ of a finite group $G$ is called a uni-width subgroup of $G$ if $N$ is the unique cyclic subgroup of $G$ of order $|N|$. In this article, we prove that a finite group $G$ admits a unique largest uni-width subgroup denoted by $U(1;G)$. We then show that the prime factors of the order of $U(1;G)$ influence the structure decomposition of its Fitting subgroup ${\mathrm{Fit}}(G)$. A power graph $Γ_G$ of a finite group is defined by $G$ being its set of vertices, and a pair of distinct elements $x,y \in G$ are connected by an edge if either $x \in \langle y \rangle$ or $y \in \langle x \rangle$. A universal element of a graph is a vertex that is adjacent to each of the remaining vertices. Our following result shows that a power graph $Γ_G$ of a finite non-trivial group admits a non-identity universal element if and only if it is either cyclic or a generalized quaternion $2$-group. The lambda number $λ(G)$ of a finite group $G$ is a measure of the least number of colors required for an $L(2,1)$-type of vertex coloring on $Γ_G$, which is known to be $\geq |G|$. Generalizing an earlier result, we then derive a necessary condition on a finite group $G$ such that $λ(G) = |G|$. Finally, we show that this result is best possible by exhibiting a family of groups without the necessary condition for which $λ(G) > |G|$.
Lognormal Degree Distribution in the Partition Graphs
We demonstrate a method for listing all ordinary partitions of n as binary words of length (n-1). The resulting family imbued with the hamming distance yields subgraphs of the Hamming Graphs. The existence of a 2-Gray Code for ordinary partitions follows from the fact that the graph (with the all 0s partition omitted) is 2-connected. However, the graphs fail to be hamiltonian for ordinary partitions when n > 7, ruling out the possibility of a Gray code for all such flip graphs. We further investigate the degree distribution of the graph for n, and provide computational evidence that this is a long-tailed lognormal distribution. This conjecture connects to a closely related, and much older, question of the distribution of the number of parts of a partition and the same evidence suggests that this distribution is also lognormal for large n. These methods extend to higher dimensional partitions of n which can be then written as words of length (n-1) on d + 1 letters. The resulting graphs are connected, proving that d-dimensional partitions allow a 3-Gray code.
Odd Covers of Graphs
Published
• View Publication
• BIB
Given a finite simple graph $G$, an odd cover of $G$ is a collection of complete bipartite graphs, or bicliques, in which each edge of $G$ appears in an odd number of bicliques and each non-edge of $G$ appears in an even number of bicliques. We denote the minimum cardinality of an odd cover of $G$ by $b_2(G)$ and prove that $b_2(G)$ is bounded below by half of the rank over $\mathbb{F}_2$ of the adjacency matrix of $G$. We show that this lower bound is tight in the case when $G$ is a bipartite graph and almost tight when $G$ is an odd cycle. However, we also present an infinite family of graphs which shows that this lower bound can be arbitrarily far away from $b_2(G)$.
Babai and Frankl (1992) proposed the "odd cover problem," which in our language is equivalent to determining $b_2(K_n)$. Radhakrishnan, Sen, and Vishwanathan (2000) determined $b_2(K_n)$ for an infinite but density zero subset of positive integers $n$. In this paper, we determine $b_2(K_n)$ for a density $3/8$ subset of the positive integers.
Normalized Volumes of Type-PQ Adjacency Polytopes for Certain Classes of Graphs
Published in Involve 17 (2024) 425-440
• View Publication
• BIB
The type-PQ adjacency polytope associated to a simple graph is a $0/1$-polytope containing valuable information about an underlying power network. Chen and the first author have recently demonstrated that, when the underlying graph $G$ is connected, the normalized volumes of the adjacency polytopes can be computed by counting sequences of nonnegative integers satisfying restrictions determined by $G$. This article builds upon their work, namely by showing that one of their main results -- the so-called "triangle recurrence" -- applies in a more general setting. Formulas for the normalized volumes when $G$ is obtained by deleting a path or a cycle from a complete graph are also established.
The real equiangular tight frames obtained from rank $3$ graphs
Published in Electron. J. Graph Theory Appl. 12 (2024) 329-341
• View Publication
• BIB
We present all nontrivial real equiangular tight frames $\{\varphi_m\}_{m=1}^M$ in $\mathbb{R}^N$ obtained as spherical embeddings of primitive rank $3$ graphs on $M$ vertices, and those such that one of their associated $M$ strongly regular graphs on $M-1$ vertices is a primitive rank $3$ graph.
Resolution to Sutner's Conjecture
Consider a game played on a simple graph $G = (V,E)$ where each vertex consists of a clickable light. Clicking any vertex $v$ toggles the on/off state of $v$ and its neighbors. One wins the game by finding a sequence of clicks that turns off all the lights. When $G$ is a $5 \times 5$ grid, this game was commercially available from Tiger Electronics as Lights Out. Sutner was one of the first to study these games mathematically. He found that when $d(G) = \text{dim}(\text{ker}(A + I))$ over the field $GF(2)$, where $A$ is the adjacency matrix of $G$, is 0 all initial configurations are solvable. When investigating $n \times n$ grid graphs, Sutner conjectured that $d_{2n+1} = 2d_{n} + δ_{n}, δ_{n} \in \{0,2\}, δ_{2n+1} = δ_{n}$, where $d_n = d(G)$ for $G$ an $n \times n$ grid graph. We resolve this conjecture in the affirmative. We use results from Sutner that give $d_n$ as the GCD of two polynomials in the ring $\mathbb{Z}_2[x]$. We then apply identities from Hunziker, Machiavelo, and Park that relate the polynomials of $(2n+1) \times (2n+1)$ grids and $n \times n$ grids. Finally, we use a result from Ore about the GCD of two products. Together these results allow us to prove Sutner's conjecture. We then go further and show for exactly which values of $n$ $δ_n$ is 0 or 2.
Sharp threshold for rigidity of random graphs
Published
• View Publication
• BIB
We consider the Erdős-Rényi evolution of random graphs, where a new uniformly distributed edge is added to the graph in every step. For every fixed $d\ge 1$, we show that with high probability, the graph becomes rigid in $\mathbb R^d$ at the very moment its minimum degree becomes $d$, and it becomes globally rigid in $\mathbb R^d$ at the very moment its minimum degree becomes $d+1$.
Maxima of the $Q$-index: Graphs with no $K_{1,t}$-minor
Published
• View Publication
• BIB
A graph is said to be \textit{$H$-minor free} if it does not contain $H$ as a minor. In this paper, we characteristic the unique extremal graph with maximal $Q$-index among all $n$-vertex $K_{1,t}$-minor free graphs ($t\ge3$).
The cost of symmetry in connected graphs
Published
• View Publication
• BIB
The paper answers the question posed in a joint paper by A. A. Klyachko and N. M. Luneva about the optimality of the estimate for the cost of symmetry in graphs. The original estimate says that if n vertices can be removed from a connected graph so that there is no connected subgraph of isomorphic $Γ$ left in it, then at most $n|V(Γ)|$ vertices that form a set invariant under all automorphisms of the graph so that the graph does not contain a subgraph isomorphic to $Γ$. We will prove that there exists a graph $Γ$ for which this estimate is not optimal.
Independent domination of graphs with bounded maximum degree
Published in J. Combin. Theory Ser. B, 158:341-352, January 2023
• View Publication
• BIB
An independent dominating set of a graph, also known as a maximal independent set, is a set $S$ of pairwise non-adjacent vertices such that every vertex not in $S$ is adjacent to some vertex in $S$. We prove that for $Δ=4$ or $Δ\ge 6$, every connected $n$-vertex graph of maximum degree at most $Δ$ has an independent dominating set of size at most $(1-\fracΔ{\lfloorΔ^2/4\rfloor+Δ})(n-1)+1$. In addition, we characterize all connected graphs having the equality and we show that other connected graphs have an independent dominating set of size at most $(1-\fracΔ{ \lfloorΔ^2/4\rfloor+Δ})n$.
The $m$-bipartite Ramsey number $BR_m(K_{2,2},K_{5,5})$
The bipartite Ramsey number $BR(H_1,H_2,\ldots,H_k)$, is the smallest positive integer $b$, such that each $k$-decomposition of $E(K_{b,b})$ contains $H_i$ in the $i$-th class for some $i, 1\leq i\leq k$. As another view of bipartite Ramsey numbers, for given two bipartite graphs $H_1$ and $H_2$ and a positive integer $m$, the $m$-bipartite Ramsey number $BR_m(H_1, H_2)$, is defined as the least integer $n$, such that any subgraph of $K_{m,n}$ say $H$, results in $H_1\subseteq H$ or $H_2\subseteq \overline{H}$. The size of $BR_m(K_{2,2}, K_{3,3})$, $BR_m(K_{2,2}, K_{4,4})$ for each $m$, and the size of $BR_m(K_{3,3}, K_{3,3})$ for some $m$, have been determined in several papers up to now. Also, it is shown that $BR(K_{2,2}, K_{5,5})=17$. In this article, we compute the size of $BR_m(K_{2,2}, K_{5,5})$ for some $m\geq 2$.
A relation between Wiener index and Mostar index for daisy cubes
Daisy cubes are a class of isometric subgraphs of the hypercubes Q n. Daisy cubes include some previously well known families of graphs like Fibonacci cubes and Lucas cubes. Moreover they appear in chemical graph theory. Two distance invariants, Wiener and Mostar indices, have been introduced in the context of the mathematical chemistry. The Wiener index W (G) is the sum of distance between all unordered pairs of vertices of a graph G. The Mostar index Mo(G) is a measure of how far G is from being distance balanced. In this paper we establish that the Wiener and the Mostar indices of a daisy cube G are linked by the relation 2W (G) -- Mo(G) = |V (G)||E(G)|. We give also an expression of Wiener and Mostar indices for daisy cubes.
Polynomial bounds for chromatic number VII. Disjoint holes
Published
• View Publication
• BIB
A hole in a graph $G$ is an induced cycle of length at least four, and a $k$-multihole in $G$ is a set of pairwise disjoint and nonadjacent holes. It is well known that if $G$ does not contain any holes then its chromatic number is equal to its clique number. In this paper we show that, for any $k$, if $G$ does not contain a $k$-multihole, then its chromatic number is at most a polynomial function of its clique number. We show that the same result holds if we ask for all the holes to be odd or of length four; and if we ask for the holes to be longer than any fixed constant or of length four. This is part of a broader study of graph classes that are polynomially $χ$-bounded.
Quotient graphs of symmetrically rigid frameworks
Published in Documenta Mathematica 29(3), 2024
• View Publication
• BIB
A natural problem in combinatorial rigidity theory concerns the determination of the rigidity or flexibility of bar-joint frameworks in $\mathbb{R}^d$ that admit some non-trivial symmetry. When $d=2$ there is a large literature on this topic. In particular, it is typical to quotient the symmetric graph by the group and analyse the rigidity of symmetric, but otherwise generic frameworks, using the combinatorial structure of the appropriate group-labelled quotient graph. However, mirroring the situation for generic rigidity, little is known combinatorially when $d\geq 3$. Nevertheless in the periodic case, a key result of Borcea and Streinu characterises when a quotient graph can be lifted to a rigid periodic framework in $\mathbb{R}^d$. We develop an analogous theory for symmetric frameworks in $\mathbb{R}^d$. The results obtained apply to all finite and infinite 2-dimensional point groups, and then in arbitrary dimension they concern a wide range of infinite point groups, sufficiently large finite groups and groups containing translations and rotations. For the case of finite groups we also derive results concerning the probability of assigning group labels to a quotient graph so that the resulting lift is symmetrically rigid in $\mathbb{R}^d$.