graph
34828 papers tagged with this keyword
The weighted poset metrics and directed graph metrics
Etzion et al. introduced metrics on $\mathbb{F}_2^n$ based on directed graphs on $n$ vertices and developed some basic coding theory on directed graph metric spaces. In this paper, we consider the problem of classifying directed graphs which admit the extended Hamming codes to be a perfect code. We first consider weighted poset metrics as a natural generalization of poset metrics and investigate interrelation between weighted poset metrics and directed graph based metrics. In the next, we classify weighted posets on a set with eight elements and directed graphs on eight vertices which admit the extended Hamming code $\widetilde{\mathcal{H}}_3$ to be a $2$-perfect code. We also construct some families of such structures for any $k \geq 3$. Those families enable us to construct packing or covering codes of radius 2 under certain maps.
A uniformness conjecture of the Kolakoski sequence, graph connectivity, and correlations
The Kolakoski sequence is the unique infinite sequence with values in $\{1,2\}$ and first term $1$ which equals the sequence of run-lengths of itself, we call this $K(1,2).$ We define $K(m,n)$ similarly. A well-known conjecture is that the limiting density of $K(1,2)$ is one-half. We state a natural generalization, the "generalized uniformness conjecture" (GUC). The GUC seems intractable, but we prove a partial result. The GUC implies that members of a certain family of directed graphs $G_{m,n,k}$ are all strongly connected. We prove this unconditionally.
For $d>0,$ let $cf(m,n,d)$ be the density of indices $i$ such that $K(m, n)_i=K(m, n)_{i+d}.$ Essentially, $cf(m, n, d)$ is the autocorrelation function of a stationary stochastic process with random variables $\{X_t\}_{t\in\mathbb{Z}}$ whereby a sample of a finite window of this process is formed by copying as many consecutive terms of $K(m,n)$ starting from a "uniformly random index" $i\in\mathbb{Z}_+.$ Assuming the GUC, we prove that we can compute $cf(m,n,d)$ exactly for quite large $d$ by constructing a periodic sequence $S$ of period around $10^{8.5}$ such that for $d$ not too large, the correlation frequency at distance $d$ in $K(m,n)$ equals that in $S.$ We efficiently compute correlations in $S$ using polynomial multiplication via FFT.
We plot our estimates $cf(m,n,d)$ for several small values of $(m,n)$ and $d\le10^5$ or $10^6$. We note many suggested patterns. For example, for the three pairs $(m,n)\in\{(1,2),(2,3),(3,4)\},$ the function $cf(m,n,d)$ behaves very differently as we restrict $d$ to the $m+n$ residue classes $\text{mod}$ $m+n.$ The plots of the three functions $cf(1,2,d),cf(2,3,d),$ and $cf(3,4,d)$ resemble waves which have common nodes. We consider this very unusual behavior for an autocorrelation function. The pairs $(m,n)\in\{(1,4),(1,6),(2,5)\}$ show wave-like patterns with much more noise.
Algorithms and Bounds for Very Strong Rainbow Coloring
Published
• View Publication
• BIB
A well-studied coloring problem is to assign colors to the edges of a graph $G$ so that, for every pair of vertices, all edges of at least one shortest path between them receive different colors. The minimum number of colors necessary in such a coloring is the strong rainbow connection number ($\src(G)$) of the graph. When proving upper bounds on $\src(G)$, it is natural to prove that a coloring exists where, for \emph{every} shortest path between every pair of vertices in the graph, all edges of the path receive different colors. Therefore, we introduce and formally define this more restricted edge coloring number, which we call \emph{very strong rainbow connection number} ($\vsrc(G)$).
In this paper, we give upper bounds on $\vsrc(G)$ for several graph classes, some of which are tight. These immediately imply new upper bounds on $\src(G)$ for these classes, showing that the study of $\vsrc(G)$ enables meaningful progress on bounding $\src(G)$. Then we study the complexity of the problem to compute $\vsrc(G)$, particularly for graphs of bounded treewidth, and show this is an interesting problem in its own right. We prove that $\vsrc(G)$ can be computed in polynomial time on cactus graphs; in contrast, this question is still open for $\src(G)$. We also observe that deciding whether $\vsrc(G) = k$ is fixed-parameter tractable in $k$ and the treewidth of $G$. Finally, on general graphs, we prove that there is no polynomial-time algorithm to decide whether $\vsrc(G) \leq 3$ nor to approximate $\vsrc(G)$ within a factor $n^{1-\varepsilon}$, unless P$=$NP.
Improvements on Spectral Bisection
Published
• View Publication
• BIB
We investigate combinatorial properties of certain configurations of a graph partition which are related to the minimality of a cut. We show that such configurations are related to the third eigenvector of the Laplacian matrix. It is well known that the second eigenvector encodes structural information, and that can be used to approximate a minimum bisection. In this paper, we show that the third eigenvector carries structural information as well. We then provide a new spectral bisection algorithm using both eigenvectors. The new algorithm is guaranteed to return a cut that is smaller or equal to the one returned by the classic spectral bisection. Also, we provide a spectral algorithm that can refine a given partition and produce a smaller cut.
Smaller subgraphs of minimum degree k
Published
• View Publication
• BIB
In 1990 Erdős, Faudree, Rousseau and Schelp proved that for $k\geq 2$, every graph with $n\geq k+1$ vertices and $(k-1)(n-k+2)+\binom{k-2}{2}+1$ edges contains a subgraph of minimum degree $k$ on at most $n-\sqrt{n}/\sqrt{6k^3}$ vertices. They conjectured that it is possible to remove at least $ε_k n$ many vertices and remain with a subgraph of minimum degree $k$, for some $ε_k>0$. We make progress towards their conjecture by showing that one can remove at least $Ω(n/\log n)$ many vertices.
Distant total irregularity strength of graphs via random vertex ordering
Published in Discrete Math. 341(4) (2018) 1098-1102
• View Publication
• BIB
Let $c:V\cup E\to\{1,2,\ldots,k\}$ be a (not necessarily proper) total colouring of a graph $G=(V,E)$ with maximum degree $Δ$. Two vertices $u,v\in V$ are sum distinguished if they differ with respect to sums of their incident colours, i.e. $c(u)+\sum_{e\ni u}c(e)\neq c(v)+\sum_{e\ni v}c(e)$. The least integer $k$ admitting such colouring $c$ under which every $u,v\in V$ at distance $1\leq d(u,v)\leq r$ in $G$ are sum distinguished is denoted by ${\rm ts}_r(G)$. Such graph invariants link the concept of the total vertex irregularity strength of graphs with so called 1-2-Conjecture, whose concern is the case of $r=1$. Within this paper we combine probabilistic approach with purely combinatorial one in order to prove that ${\rm ts}_r(G)\leq (2+o(1))Δ^{r-1}$ for every integer $r\geq 2$ and each graph $G$, thus improving the previously best result: ${\rm ts}_r(G)\leq 3Δ^{r-1}$.
A note on asymptotically optimal neighbour sum distinguishing colourings
Published in European J. Comb. 77 (2019) 49-56
• View Publication
• BIB
The least $k$ admitting a proper edge colouring $c:E\to\{1,2,\ldots,k\}$ of a graph $G=(V,E)$ without isolated edges such that $\sum_{e\ni u}c(e)\neq \sum_{e\ni v}c(e)$ for every $uv\in E$ is denoted by $χ'_Σ(G)$. It has been conjectured that $χ'_Σ(G)\leq Δ+ 2$ for every connected graph of order at least three different from the cycle $C_5$, where $Δ$ is the maximum degree of $G$. It is known that $χ'_Σ(G) = Δ+ O(Δ^\frac{5}{6}\ln^\frac{1}{6}Δ)$ for a graph $G$ without isolated edges. We improve this upper bound to $χ'_Σ(G) = Δ+ O(Δ^\frac{1}{2})$ using a simpler approach involving a combinatorial algorithm enhanced by the probabilistic method. The same upper bound is provided for the total version of this problem as well.
On the reconstruction of polytopes
Published
• View Publication
• BIB
Blind and Mani, and later Kalai, showed that the face lattice of a simple polytope is determined by its graph, namely its $1$-skeleton. Call a vertex of a $d$-polytope \emph{nonsimple} if the number of edges incident to it is more than $d$.
We show that (1) the face lattice of any $d$-polytope with at most two nonsimple vertices is determined by its $1$-skeleton; (2) the face lattice of any $d$-polytope with at most $d-2$ nonsimple vertices is determined by its $2$-skeleton; and (3) for any $d>3$ there are two $d$-polytopes with $d-1$ nonsimple vertices, isomorphic $(d-3)$-skeleta and nonisomorphic face lattices. In particular, the result (1) is best possible for $4$-polytopes.
Extension complexity of stable set polytopes of bipartite graphs
Published
• View Publication
• BIB
The extension complexity $\mathsf{xc}(P)$ of a polytope $P$ is the minimum number of facets of a polytope that affinely projects to $P$. Let $G$ be a bipartite graph with $n$ vertices, $m$ edges, and no isolated vertices. Let $\mathsf{STAB}(G)$ be the convex hull of the stable sets of $G$. It is easy to see that $n \leqslant \mathsf{xc} (\mathsf{STAB}(G)) \leqslant n+m$. We improve both of these bounds. For the upper bound, we show that $\mathsf{xc} (\mathsf{STAB}(G))$ is $O(\frac{n^2}{\log n})$, which is an improvement when $G$ has quadratically many edges. For the lower bound, we prove that $\mathsf{xc} (\mathsf{STAB}(G))$ is $Ω(n \log n)$ when $G$ is the incidence graph of a finite projective plane. We also provide examples of $3$-regular bipartite graphs $G$ such that the edge vs stable set matrix of $G$ has a fooling set of size $|E(G)|$.
Defective Coloring on Classes of Perfect Graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 24, no. 1, Discrete Algorithms (January 20, 2022) dmtcs:4926
• View Publication
• BIB
In Defective Coloring we are given a graph $G$ and two integers $χ_d$, $Δ^*$ and are asked if we can $χ_d$-color $G$ so that the maximum degree induced by any color class is at most $Δ^*$. We show that this natural generalization of Coloring is much harder on several basic graph classes. In particular, we show that it is NP-hard on split graphs, even when one of the two parameters $χ_d$, $Δ^*$ is set to the smallest possible fixed value that does not trivialize the problem ($χ_d = 2$ or $Δ^* = 1$). Together with a simple treewidth-based DP algorithm this completely determines the complexity of the problem also on chordal graphs. We then consider the case of cographs and show that, somewhat surprisingly, Defective Coloring turns out to be one of the few natural problems which are NP-hard on this class. We complement this negative result by showing that Defective Coloring is in P for cographs if either $χ_d$ or $Δ^*$ is fixed; that it is in P for trivially perfect graphs; and that it admits a sub-exponential time algorithm for cographs when both $χ_d$ and $Δ^*$ are unbounded.
Improvement on Brook theorem for (3 Times K1)-free Graphs
Problem of finding an optimal upper bound for the chromatic no. of a (3 Times K1)-free graph is still open and pretty hard. Here we prove that for a (3 Times K1)-free graph G with maximum degree greater than or equal to 8, χ is less than or equal to max (maximum degree-1, ω). We also prove that if G is (3 Times K1)-free, ω is equal to 4 and maximum degree is greater than or equal to 7, then χ is less than or equal to maximum degree-1. This implies that Borodin & Kostochka Conjecture is true for (3 Times K1)-free graphs as a corollary.
The metric dimension of the circulant graph $C(n,\pm\{1,2,3,4\})$
Published in Australasian Journal of Combinatorics, 69(3), 417-441, 2017
• Search Publication
Let $G=(V,E)$ be a connected graph and let $d(u,v)$ denote the distance between vertices $u,v \in V$. A metric basis for $G$ is a set $B\subseteq V$ of minimum cardinality such that no two vertices of $G$ have the same distances to all points of $B$. The cardinality of a metric basis of $G$ is called the metric dimension of $G$, denoted by $\dim(G)$. In this paper we determine the metric dimension of the circulant graphs $C(n,\pm\{1,2,3,4\})$ for all values of $n$.
Hajós-like theorem for signed graphs
Published
• View Publication
• BIB
The paper designs five graph operations, and proves that every signed graph with chromatic number $q$ can be obtained from all-positive complete graphs $(K_q,+)$ by repeatedly applying these operations. This result gives a signed version of the Hajós theorem, emphasizing the role of all-positive complete graphs played in the class of signed graphs, as played in the class of unsigned graphs.
Subspace Sum Graph of a Vector Space
Published
• View Publication
• BIB
In this paper we introduce a graph structure, called subspace sum graph $\mathcal{G}(\mathbb{V})$ on a finite dimensional vector space $\mathbb{V}$ where the vertex set is the collection of non-trivial proper subspaces of a vector space and two vertices $W_1,W_2$ are adjacent if $W_1 + W_2=\mathbb{V}$. The diameter, girth, connectivity, maximal independent sets, different variants of domination number, clique number and chromatic number of $\mathcal{G}(\mathbb{V})$ are studied. It is shown that two subspace sum graphs are isomorphic if and only if the base vector spaces are isomorphic. Finally some properties of subspace sum graph are studied when the base field is finite.
Regular $t$-balanced Cayley maps on split metacyclic $2$-groups
Published in Bulletin of the Korean Mathematical Society 61 (2024), no. 1, 13-27
• View Publication
• BIB
A regular $t$-balanced Cayley map on a group $Γ$ is an embedding of a Cayley graph on $Γ$ into a surface with certain special symmetric properties. We completely classify regular $t$-balanced Cayley maps for a class of split metacyclic $2$-groups.
The Local Limit of Random Sorting Networks
Published in Annales de l'Institut Henri Poincaré, Probabilités et Statistiques. Vol. 55. No. 1. Institut Henri Poincaré, 2019. Awarded "best published paper in the journal 2018-19"
• View Publication
• BIB
A sorting network is a geodesic path from $12 \cdots n$ to $n \cdots 21$ in the Cayley graph of $S_n$ generated by adjacent transpositions. For a uniformly random sorting network, we establish the existence of a local limit of the process of space-time locations of transpositions in a neighbourhood of $an$ for $a\in[0,1]$ as $n\to\infty$. Here time is scaled by a factor of $1/n$ and space is not scaled. The limit is a swap process $U$ on $\mathbb{Z}$. We show that $U$ is stationary and mixing with respect to the spatial shift and has time-stationary increments. Moreover, the only dependence on $a$ is through time scaling by a factor of $\sqrt{a(1-a)}$. To establish the existence of $U$, we find a local limit for staircase-shaped Young tableaux. These Young tableaux are related to sorting networks through a bijection of Edelman and Greene.
Divisible sandpile on Sierpinski gasket graphs
Published
• View Publication
• BIB
The divisible sandpile model is a growth model on graphs that was introduced by Levine and Peres as a tool to study internal diffusion limited aggregation. In this work we investigate the shape of the divisible sandpile model on the graphical Sierpinski gasket SG. We show that the shape is a ball in the graph metric of SG. Moreover we give an exact representation of the odometer function of the divisible sandpile.
The Robot Crawler Model on Complete k-Partite and Erdős-Rényi Random Graphs
Published
• View Publication
• BIB
Web crawlers are used by internet search engines to gather information about the web graph. In this paper we investigate a simple process which models such software by walking around the vertices of a graph. Once initial random vertex weights have been assigned, the robot crawler traverses the graph deterministically following a greedy algorithm, always visiting the neighbour of least weight and then updating this weight to be the highest overall. We consider the maximum, minimum and average number of steps taken by the crawler to visit every vertex of firstly, complete k-partite graphs and secondly, sparse Erdős-Rényi random graphs. Our work follows on from a paper of Bonato et. al. who introduced the model.
Asymptotic enumeration of graphs by degree sequence, and the degree sequence of a random graph
Published
• View Publication
• BIB
In this paper we relate a fundamental parameter of a random graph, its degree sequence, to a simple model of nearly independent binomial random variables. This confirms a conjecture made in 1997. As a result, many interesting functions of the joint distribution of graph degrees, such as the distribution of the median degree, become amenable to estimation. Our result is established by proving an asymptotic formula conjectured in 1990 for the number of graphs with given degree sequence. In particular, this gives an asymptotic formula for the number of $d$-regular graphs for all $d$, as $n\to\infty$.
Maximum Size of a Family of Pairwise Graph-Different Permutations
Published
• View Publication
• BIB
Two permutations of the vertices of a graph $G$ are called $G$-different if there exists an index $i$ such that $i$-th entry of the two permutations form an edge in $G$. We bound or determine the maximum size of a family of pairwise $G$-different permutations for various graphs $G$. We show that for all balanced bipartite graphs $G$ of order $n$ with minimum degree $n/2 - o(n)$, the maximum number of pairwise $G$-different permutations of the vertices of $G$ is $2^{(1-o(1))n}$. We also present examples of bipartite graphs $G$ with maximum degree $O(\log n)$ that have this property. We explore the problem of bounding the maximum size of a family of pairwise graph-different permutations when an unlimited number of disjoint vertices is added to a given graph. We determine this exact value for the graph of 2 disjoint edges, and present some asymptotic bounds relating to this value for graphs consisting of the union of $n/2$ disjoint edges.