graph
34585 papers tagged with this keyword
Interval colorings of graphs -- coordinated and unstable no-wait schedules
Published
• View Publication
• BIB
A proper edge-coloring of a graph is an interval coloring if the labels on the edges incident to any vertex form an interval of consecutive integers. Interval thickness s(G) of a graph G is the smallest number of interval colorable graphs edge-decomposing G. We prove that s(G)=o(n) for any graph G on n vertices. This improves the previously known bound of 2n/5 by Asratian, Casselgren, and Petrosyan. While we do not have a single example of a graph with interval thickness strictly greater than 2, we construct bipartite graphs whose interval spectrum has arbitrarily many arbitrarily large gaps. Here, an interval spectrum of a graph is the set of all integers t such that the graph has an interval coloring using t colors.
Interval colorings of bipartite graphs naturally correspond to no-wait schedules, say for parent-teacher conferences, where a conversation between any teacher and any parent lasts the same amount of time. Our results imply that any such conference with $n$ participants can be coordinated in o(n) no-wait periods. In addition, we show that for any integers t and T, t<T, there is a set of pairs of parents and teachers wanting to talk to each other, such that any no-wait schedules are unstable -- they could last t hours and could last T hours, but there is no possible no-wait schedule lasting x hours if t<x<T.
Bipartite intrinsically knotted graphs with 23 edges
Published
• View Publication
• BIB
A graph is intrinsically knotted if every embedding contains a nontrivially knotted cycle. It is known that intrinsically knotted graphs have at least 21 edges and that there are exactly 14 intrinsically knotted graphs with 21 edges, in which the Heawood graph is the only bipartite graph. The authors showed that there are exactly two graphs with at most 22 edges that are minor minimal bipartite intrinsically knotted: the Heawood graph and Cousin 110 of the $E_9+e$ family. In this paper we show that there are exactly six bipartite intrinsically knotted graphs with 23 edges so that every vertex has degree 3 or more. Four among them contain the Heawood graph and the other two contain Cousin 110 of the $E_9+e$ family. Consequently, there is no minor minimal intrinsically knotted graph with 23 edges that is bipartite.
Frucht's theorem in Borel setting
Published
• View Publication
• BIB
In this paper, we show that Frucht's theorem holds in Borel setting. More specifically, we prove that any standard Borel group can be realized as the Borel automorphism group of a Borel graph. A slight modification of our construction also yields the following result in topological setting: Any Polish group can be realized as the homeomorphic automorphism group of a $\mathbf{Δ^0_2}$-graph on a Polish space.
Connected power domination number of product graphs
Published
• View Publication
• BIB
In this paper, we consider the connected power domination number ($γ_{P, c}$) of three standard graph products. The exact value for $γ_{P, c}(G\circ H)$ is obtained for any two non-trivial graphs $G$ and $H.$ Further, tight upper bounds are proved for the connected power domination number of the Cartesian product of two graphs $G$ and $H.$ Consequently, the exact value of the connected power domination number of the Cartesian product of some standard graphs is determined. Finally, the connected power domination number of tensor product of graphs is discussed.
Incidence matrices and line graphs of mixed graphs
Published
• View Publication
• BIB
In the theory of line graphs of undirected graphs there exists an important theorem linking the incidence matrix of the root graph to the adjacency matrix of its line graph. For directed or mixed graphs, however, the exists no analogous result. The goal of this article is to present aligned definitions of the adjacency matrix, the incidence matrix and line graph of a mixed graph such that the mentioned theorem is valid for mixed graphs.
Twin-width of Planar Graphs is at most 9, and at most 6 when Bipartite Planar
The structural parameter twin-width was introduced by Bonnet et al. in [FOCS 2020], and already this first paper included an asymptotic argument bounding the twin-width of planar graphs by a non-explicit constant. Quite recently, we have seen first small explicit upper bounds of 183 by Jacob and Pilipczuk [arXiv, January 2022], 583 by Bonnet et al. [arXiv, February 2022], and of 37 by Bekos et al. [arXiv, April 2022]. We prove that the twin-width of planar graphs is at most 9. Furthermore, if a planar graph is also bipartite, then its twin-width is at most 6.
On the $d$-dimensional algebraic connectivity of graphs
Published
• View Publication
• BIB
The $d$-dimensional algebraic connectivity $a_d(G)$ of a graph $G=(V,E)$, introduced by Jordán and Tanigawa, is a quantitative measure of the $d$-dimensional rigidity of $G$ that is defined in terms of the eigenvalues of stiffness matrices (which are analogues of the graph Laplacian) associated to mappings of the vertex set $V$ into $\mathbb{R}^d$.
Here, we analyze the $d$-dimensional algebraic connectivity of complete graphs. In particular, we show that, for $d\geq 3$, $a_d(K_{d+1})=1$, and for $n\geq 2d$, \[ \left\lceil\frac{n}{2d}\right\rceil-2d+1\leq a_d(K_n) \leq \frac{2n}{3(d-1)}+\frac{1}{3}. \]
Ratio of Symmetries Between any two n-Node Graphs
Given any two graphs on the same vertex set, $G_1 = (V, E_1)$ and $G_2 = (V, E_2)$, along with the difference between the two graphs $Δ= (E_1 \setminus E_2) \cup (E_2 \setminus E_1)$, we prove that the ratio of the sizes of the two graphs' automorphism groups is equivalent to the ratio of the sizes of $Δ$'s automorphism orbits in $G_1$ and $G_2$ respectively. This result provides a link between graphs' symmetries that might otherwise seem to be unrelated.
A Model for Birdwatching and other Chronological Sampling Activities
Published
• View Publication
• BIB
In many real life situations one has $m$ types of random events happening in chronological order within a time interval and one wishes to predict various milestones about these events or their subsets. An example is birdwatching. Suppose we can observe up to $m$ different types of birds during a season. At any moment a bird of type $i$ is observed with some probability. There are many natural questions a birdwatcher may have: how many observations should one expect to perform before recording all types of birds? Is there a time interval where the researcher is most likely to observe all species? Or, what is the likelihood that several species of birds will be observed at overlapping time intervals? Our paper answers these questions using a new model based on random interval graphs. This model is a natural follow up to the famous coupon collector's problem.
Measurable domatic partitions
Published
• View Publication
• BIB
Let $Γ$ be a compact Polish group of finite topological dimension. For a countably infinite subset $S\subseteq Γ$, a domatic $\aleph_0$-partition (for its Schreier graph on $Γ$) is a partial function $f:Γ\rightharpoonup\mathbb{N}$ such that for every $x\in Γ$, one has $f[S\cdot x]=\mathbb{N}$. We show that a continuous domatic $\aleph_0$-partition exists, if and only if a Baire measurable domatic $\aleph_0$-partition exists, if and only if the topological closure of $S$ is uncountable. A Haar measurable domatic $\aleph_0$-partition exists for all choices of $S$. We also investigate domatic partitions in the general descriptive graph combinatorial setting.
Approximately Strongly Regular Graphs
Published
• View Publication
• BIB
We give variants of the Krein bound and the absolute bound for graphs with a spectrum similar to that of a strongly regular graph. In particular, we investigate what we call approximately strongly regular graphs.
We apply our results to extremal problems. Among other things, we show the following:
(1) Caps in $\mathrm{PG}(n, q)$ for which the number of secants on exterior points does not vary too much, have size at most $O(q^{\frac34 n})$ (as $q \rightarrow \infty$ or as $n \rightarrow \infty$).
(2) Optimally pseudorandom $K_m$-free graphs of order $v$ and degree $k$ for which the induced subgraph on the common neighborhood of a clique of size $i \leq m-3$ is similar to a strongly regular graph, have $k = O(v^{1 - \frac{1}{3m-2i-5}})$.
Arkhipov's theorem, graph minors, and linear system nonlocal games
Published
• View Publication
• BIB
The perfect quantum strategies of a linear system game correspond to certain representations of its solution group. We study the solution groups of graph incidence games, which are linear system games in which the underlying linear system is the incidence system of a (non-properly) two-coloured graph. While it is undecidable to determine whether a general linear system game has a perfect quantum strategy, for graph incidence games this problem is solved by Arkhipov's theorem, which states that the graph incidence game of a connected graph has a perfect quantum strategy if and only if it either has a perfect classical strategy, or the graph is nonplanar. Arkhipov's criterion can be rephrased as a forbidden minor condition on connected two-coloured graphs. We extend Arkhipov's theorem by showing that, for graph incidence games of connected two-coloured graphs, every quotient closed property of the solution group has a forbidden minor characterization. We rederive Arkhipov's theorem from the group theoretic point of view, and then find the forbidden minors for two new properties: finiteness and abelianness. Our methods are entirely combinatorial, and finding the forbidden minors for other quotient closed properties seems to be an interesting combinatorial problem.
Automorphism Shuffles for Graphs and Hypergraphs and Its Applications
Published
• View Publication
• BIB
In card-based cryptography, a deck of physical cards is used to achieve secure computation. A shuffle, which randomly permutes a card-sequence along with some probability distribution, ensures the security of a card-based protocol. The authors proposed a new class of shuffles called graph shuffles, which randomly permutes a card-sequence by an automorphism of a directed graph (New Generation Computing 2022). For a directed graph $G$ with $n$ vertices and $m$ edges, such a shuffle could be implemented with pile-scramble shuffles with $2(n+m)$ cards. In this paper, we study graph shuffles and give an implementation, an application, and a slight generalization of them. First, we propose a new protocol for graph shuffles with $2n+m$ cards. Second, as a new application of graph shuffles, we show that any cyclic group shuffle, which is a shuffle over a cyclic group, is a graph shuffle associated with some graph. Third, we define a hypergraph shuffle, which is a shuffle by an automorphism of a hypergraph, and show that any hypergraph shuffle can also be implemented with pile-scramble shuffles.
Colorful Words and d-Tverberg Complexes
Published
• View Publication
• BIB
We give a complete combinatorial characterization of weakly $d$-Tverberg complexes. These complexes record which intersection combinatorics of convex hulls necessarily arise in any sufficiently large general position point set in $\mathbb R^d$. This strengthens the concept of $d$-representable complexes, which describe intersection combinatorics that arise in at least one point set. Our characterization allows us to construct for every fixed $d$ a graph that is not weakly $d'$-Tverberg for any $d'\le d$, answering a question of De Loera, Hogan, Oliveros, and Yang.
Super connected direct product of graphs and cycles
Published
• View Publication
• BIB
The topology of an interconnection network can be modeled by a graph $G=(V(G),E(G))$. The connectivity of graph $G$ is a parameter to measure the reliability of corresponding network. Direct product is one important graph product. This paper mainly focuses on the super connectedness of direct product of graphs and cycles.
The connectivity of $G$, denoted by $κ(G)$, is the size of a minimum vertex set $S\subseteq V(G)$ such that $G-S$ is not connected or has only one vertex. The graph $G$ is said to be super connected, simply super-$κ$, if every minimum vertex cut is the neighborhood of a vertex with minimum degree. The direct product of two graphs $G$ and $H$, denoted by $G\times H$, is the graph with vertex set $V(G \times H) = V (G)\times V (H)$ and edge set $E(G \times H) = \{(u_{1} ,v_{1} )(u_{2} ,v_{2} )|\ u_{1}u_{2} \in E(G), v_{1}v_{2} \in E(H)\}$. In this paper, we give some sufficient conditions for direct product $G\times C_{n}$ to be super connected, where $C_{n}$ is the cycle on $n$ vertices. Furthermore, those sufficient conditions are best possible.
Expansion in Supercritical Random Subgraphs of Expanders and its Consequences
Published
• View Publication
• BIB
In 2004, Frieze, Krivelevich and Martin [17] established the emergence of a giant component in random subgraphs of pseudo-random graphs. We study several typical properties of the giant component, most notably its expansion characteristics. We establish an asymptotic vertex expansion of connected sets in the giant by a factor of $\tilde{O}\left(ε^2\right)$. From these expansion properties, we derive that the diameter of the giant is typically $O_ε\left(\log n\right)$, and that the mixing time of a lazy random walk on the giant is asymptotically $O_ε\left(\log^2 n\right)$. We also show similar asymptotic expansion properties of (not necessarily connected) linear sized subsets in the giant, and the typical existence of a large expander as a subgraph.
Coloring of zero-divisor graphs of posets and applications to graphs associated with algebraic structures
Published
• View Publication
• BIB
In this paper, we characterize chordal and perfect zero-divisor graphs of finite posets. Also, it is proved that the zero-divisor graphs of finite posets and the complement of zero-divisor graphs of finite $0$-distributive posets satisfy the Total Coloring Conjecture. These results are applied to the zero-divisor graphs of finite reduced rings, the comaximal ideal graph of rings, the annihilating ideal graphs, the intersection graphs of ideals of rings, and the intersection graphs of subgroups of cyclic groups. In fact, it is proved that these graphs associated with a commutative ring $R$ with identity can be effectively studied via the zero-divisor graph of a specially constructed poset from $R$.
Colouring Strong Products
Published in European Journal of Combinatorics 121 (2024), 103847
• View Publication
• BIB
Recent results show that several important graph classes can be embedded as subgraphs of strong products of simpler graphs classes (paths, small cliques, or graphs of bounded treewidth). This paper develops general techniques to bound the chromatic number (and its popular variants, such as fractional, clustered, or defective chromatic number) of the strong product of general graphs with simpler graphs classes, such as paths, and more generally graphs of bounded treewidth. We also highlight important links between the study of (fractional) clustered colouring of strong products and other topics, such as asymptotic dimension in metric theory and topology, site percolation in probability theory, and the Shannon capacity in information theory.
Balancing connected colourings of graphs
Published in Electronic Journal of Combinatorics 30 (2023), P1.54
• View Publication
• BIB
We show that the edges of any graph $G$ containing two edge-disjoint spanning trees can be blue/red coloured so that the blue and red graphs are connected and the blue and red degrees at each vertex differ by at most four. This improves a result of Hörsch. We discuss variations of the question for digraphs, infinite graphs and a computational question, and resolve two further questions of Hörsch in the negative.
Spanning tree-connected subgraphs with small degrees
Let $G$ be a graph with a spanning subgraph $F$, let $m$ be a positive integer, and let $f$ be a positive integer-valued function on $V(G)$. In this paper, we show that if for all $S\subseteq V(G)$, $$Ω_m(G\setminus S)\le \sum_{v\in S}\big(f(v)-2m\big)+m+Ω_m(G[S]),$$ then $G$ has a spanning $m$-tree-connected subgraph $H$ containing $F$ such that for each vertex $ v$, $d_H(v)\le f(v)+\max\{0,d_F(v)-m\}$, where $G[S]$ denotes the induced subgraph of $G$ with the vertex set $S$ and $Ω_m(G_0)$ is a parameter to measure $m$-tree-connectivity of a given graph $G_0$.
By applying this result, we show that every $k$-edge-connected graph $G$ with $k\ge 2m$ has a spanning $m$-tree-connected subgraph $H$ such that $d_H(v)\le \big\lceil \frac{m}{k}(d_G(v)-2m)\big\rceil+2m$ for each $v\in V(H)$; moreover, if $G$ is $k$-tree-connected and $k\ge m$, then $G$ has a spanning $m$-tree-connected subgraph $H$ such that $d_H(v)\le \big\lceil \frac{m}{k}(d_G(v)-m)\big\rceil+m$ for each $v\in V(H)$. As a consequence, we conclude that every $(r-2m)$-edge-connected graph with $r\ge 4m$ admits a spanning $m$-tree-connected subgraph with maximum degree at most $3m$.
Next, we prove that a graph $G$ admits a spanning $m$-tree-connected subgraph $H$ satisfying $Δ(H) \le 2m+1$, if for all $S\subseteq V(G)$, $$ ω(G\setminus S)+\small {\frac{m+1}{2}}\, iso(G\setminus S) \le \frac{1}{m}|S|+1,$$ where $ω(G\setminus S)$ and $iso(G\setminus S)$ denote the number of components and the number of isolated vertices of $G\setminus S$, respectively. As a consequence, we conclude that every $m(n-1)$-connected $K_{1, n}$-free simple graph with a sufficiently large minimum degree and $n\ge 3$ admits a spanning $m$-tree-connected subgraph with maximum degree at most $2m+1$.