graph
35396 papers tagged with this keyword
Metric dimension of growing infinite graphs
We investigate how the metric dimension of infinite graphs change when we add edges to the graph. Our two main results: (1) there exists a growing sequence of graphs (under the subgraph relation, but without adding vertices) for which the metric dimension changes between finite and infinite infinitely many times; (2) finite changes in the edge set can not change the metric dimension from finite to infinite or vice versa.
A random walk on the Rado graph
Published
• View Publication
• BIB
The Rado graph, also known as the random graph $G(\infty, p)$, is a classical limit object for finite graphs. We study natural ball walks as a way of understanding the geometry of this graph. For the walk started at $i$, we show that order $\log_2^*i$ steps are sufficient, and for infinitely many $i$, necessary for convergence to stationarity. The proof involves an application of Hardy's inequality for trees.
The maximum number of triangles in a graph and its applications to special $p$-groups
Published
• View Publication
• BIB
We give a sharp bound on the number of triangles in a graph with fixed number of edges. We also characterize graphs that achieve the maximum number of triangles. Using the upper bound on number of triangles, we prove that if $G$ is a special $p$-group of rank $2 \leq k \leq \binom{d}{2}$, then $|\mathcal{M}(G)| \leq p^{\frac{d(d+2k-1)}{2} - k- \binom{d}{3}+ \binom{r}{3} + \mybinom[.55]{ \binom{d}{2} - k - \binom{r}{2} }{2} }$, where $r$ is such that $\binom{r}{2} \leq \binom{d}{2} -k < \binom{r+1}{2} $. We also prove that, if $G$ is a $p$-group $(p \neq 2,3)$ of class $c \geq 3$, then $|\mathcal{M}(G)| \leq p^{\frac{d(m-e)}{2}+(δ-1)(n-m)-\max(0,δ-2)-\max(1,δ-3)}$ and if $G$ is of coclass $r$ with class $c \geq 3$, then $|\mathcal{M}(G)| \leq p^{\frac{r^2-r}{2}+kr}$
Hankel edge ideals of trees and (semi-)Hamiltonian graphs
Published
• View Publication
• BIB
In this paper, we study the Hankel edge ideals of graphs. We determine the minimal prime ideals of the Hankel edge ideal of labeled Hamiltonian and semi-Hamiltonian graphs, and we investigate radicality, being a complete intersection, almost complete intersection and set theoretic complete intersection for such graphs. We also consider the Hankel edge ideal of trees with a natural labeling, called rooted labeling. We characterize such trees whose Hankel edge ideal is a complete intersection, and moreover, we determine those whose initial ideal with respect to the reverse lexicographic order satisfies this property.
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.