graph
35436 papers tagged with this keyword
On the Non-Adaptive Zero-Error Capacity of the Discrete Memoryless Two-Way Channel
Published
• View Publication
• BIB
We study the problem of communicating over a discrete memoryless two-way channel using non-adaptive schemes, under a zero probability of error criterion. We derive single-letter inner and outer bounds for the zero-error capacity region, based on random coding, linear programming, linear codes, and the asymptotic spectrum of graphs. Among others, we provide a single-letter outer bound based on a combination of Shannon's vanishing-error capacity region and a two-way analogue of the linear programming bound for point-to-point channels, which in contrast to the one-way case, is generally better than both. Moreover, we establish an outer bound for the zero-error capacity region of a two-way channel via the asymptotic spectrum of graphs and show that this bound could be achieved for certain cases.
Edge-fault-tolerant strong Menger edge connectivity of bubble-sort star graphs
Published
• View Publication
• BIB
The connectivity and edge connectivity of interconnection network determine the fault tolerance of the network. An interconnection network is usually viewed as a connected graph, where vertex corresponds processor and edge corresponds link between two distinct processors. Given a connected graph $G$ with vertex set $V(G)$ and edge set $E(G)$, if for any two distinct vertices $u,v\in V(G)$, there exist $\min\{d_G(u),d_G(v)\}$ edge-disjoint paths between $u$ and $v$, then $G$ is strongly Menger edge connected. Let $m$ be an integer with $m\geq1$. If $G-F_e$ remains strongly Menger edge connected for any $F_e\subseteq E(G)$ with $|F_e|\leq m$, then $G$ is $m$-edge-fault-tolerant strongly Menger edge connected. If $G-F_e$ is strongly Menger edge connected for any $F_e\subseteq E(G)$ with $|F_e|\leq m$ and $δ(G-F_e)\geq2$, then $G$ is $m$-conditional edge-fault-tolerant strongly Menger edge connected. In this paper, we consider the $n$-dimensional bubble-sort star graph $BS_n$. We show that $BS_n$ is $(2n-5)$-edge-fault-tolerant strongly Menger edge connected for $n\geq3$ and $(6n-17)$-conditional edge-fault-tolerant strongly Menger edge connected for $n\geq4$. Moreover, we give some examples to show that our results are optimal.
Fractional Isomorphism of Graphons
We work out the theory of fractional isomorphism of graphons as a generalization to the classical theory of fractional isomorphism of finite graphs. The generalization is given in terms of homomorphism densities of finite trees and it is characterized in terms of distributions on iterated degree measures, Markov operators, weak isomorphism of a conditional expectation with respect to invariant sub-$σ$-algebras and isomorphism of certain quotients of given graphons.
Minimum status, matching and domination of graphs
Published
• View Publication
• BIB
The minimum status of a graph is the minimum of statuses of all vertices of this graph. We give a sharp upper bound for the minimum status of a connected graph with fixed order and matching number (domination number, respectively), and characterize the unique trees achieving the bound. We also determine the unique tree such that its minimum status is as small as possible when order and matching number (domination number, respectively) are fixed.
Counting weighted independent sets beyond the permanent
Published in SIAM Journal on Discrete Mathematics 35-2 (2021), 1503-1524
• View Publication
• BIB
Jerrum, Sinclair and Vigoda (2004) showed that the permanent of any square matrix can be estimated in polynomial time. This computation can be viewed as approximating the partition function of edge-weighted matchings in a bipartite graph. Equivalently, this may be viewed as approximating the partition function of vertex-weighted independent sets in the line graph of a bipartite graph. Line graphs of bipartite graphs are perfect graphs, and are known to be precisely the class of (claw, diamond, odd hole)-free graphs. So how far does the result of Jerrum, Sinclair and Vigoda extend? We first show that it extends to (claw, odd hole)-free graphs, and then show that it extends to the even larger class of (fork, odd hole)-free graphs. Our techniques are based on graph decompositions, which have been the focus of much recent work in structural graph theory, and on structural results of Chvatal and Sbihi (1988), Maffray and Reed (1999) and Lozin and Milanic (2008).
Graph Spanners: A Tutorial Review
Published
• View Publication
• BIB
This tutorial review provides a guiding reference to researchers who want to have an overview of the large body of literature about graph spanners. It reviews the current literature covering various research streams about graph spanners, such as different formulations, sparsity and lightness results, computational complexity, dynamic algorithms, and applications. As an additional contribution, we offer a list of open problems on graph spanners.
Perfect Matchings, Rank of Connection Tensors and Graph Homomorphisms
Published
• View Publication
• BIB
We develop a theory of graph algebras over general fields. This is modeled after the theory developed by Freedman, Lovász and Schrijver in [22] for connection matrices, in the study of graph homomorphism functions over real edge weight and positive vertex weight. We introduce connection tensors for graph properties. This notion naturally generalizes the concept of connection matrices. It is shown that counting perfect matchings, and a host of other graph properties naturally defined as Holant problems (edge models), cannot be expressed by graph homomorphism functions with both complex vertex and edge weights (or even from more general fields). Our necessary and sufficient condition in terms of connection tensors is a simple exponential rank bound. It shows that positive semidefiniteness is not needed in the more general setting.
Average eccentricity, minimum degree and maximum degree in graphs
Published
• View Publication
• BIB
Let $G$ be a connected finite graph with vertex set $V(G)$. The eccentricity $e(v)$ of a vertex $v$ is the distance from $v$ to a vertex farthest from $v$. The average eccentricity of $G$ is defined as $\frac{1}{|V(G)|}\sum_{v \in V(G)}e(v)$. We show that the average eccentricity of a connected graph of order $n$, minimum degree $δ$ and maximum degree $Δ$ does not exceed $\frac{9}{4} \frac{n-Δ-1}{δ+1}
\big( 1 + \frac{Δ-δ}{3n} \big) + 7$, and this bound is sharp apart from an additive constant. We give improved bounds for triangle-free graphs and for graphs not containing a $4$-cycles.
Some Bounds on Zeroth-Order General Randić$ Index
Published
• View Publication
• BIB
For a graph $G$ without isolated vertices, the inverse degree of a graph $G$ is defined as $ID(G)=\sum_{u\in V(G)}d(u)^{-1}$ where $d(u)$ is the number of vertices adjacent to the vertex $u$ in $G$. By replacing $-1$ by any non-zero real number we obtain zeroth-order general Randić index, i.e. $^0R_γ(G)=\sum_{u\in V(G)}d(u)^γ$ where $γ$ is any non-zero real number. In \cite{xd}, Xu et. al. determined some upper and lower bounds on the inverse degree for a connected graph $G$ in terms of chromatic number, clique number, connectivity, number of cut edges. In this paper, we extend their results and investigate if the same results hold for $γ<0$. The corresponding extremal graphs have been also characterized.
Bounds on Ramsey Games via Alterations
Published in Journal of Graph Theory 104 (2023), 470-484
• View Publication
• BIB
We present a refinement of the classical alteration method for constructing $H$-free graphs: for suitable edge-probabilities $p$, we show that removing all edges in $H$-copies of the binomial random graph $G_{n,p}$ does not significantly change the independence number. This differs from earlier alteration approaches of Erdős and Krivelevich, who obtained similar guarantees by removing one edge from each $H$-copy (instead of all of them). We demonstrate the usefulness of our refined alternation method via two applications to online graph Ramsey games, where it enables easier analysis.
Stable structure on safe set problems in vertex-weighted graphs
Published
• View Publication
• BIB
Let $G$ be a graph, and let $w$ be a positive real-valued weight function on $V(G)$. For every subset $S$ of $V(G)$, let $w(S)=\sum_{v \in S} w(v).$ A non-empty subset $S \subset V(G)$ is a weighted safe set of $(G,w)$ if, for every component $C$ of the subgraph induced by $S$ and every component $D$ of $G-S$, we have $w(C) \geq w(D)$ whenever there is an edge between $C$ and $D$. If the subgraph of $G$ induced by a weighted safe set $S$ is connected, then the set $S$ is called a connected weighted safe set of $(G,w)$. The weighted safe number $\mathrm{s}(G,w)$ and connected weighted safe number $\mathrm{cs}(G,w)$ of $(G,w)$ are the minimum weights $w(S)$ among all weighted safe sets and all connected weighted safe sets of $(G,w)$, respectively. Note that for every pair $(G,w)$, $\mathrm{s}(G,w) \le \mathrm{cs}(G,w)$ by their definitions. Recently, it was asked which pair $(G,w)$ satisfies the equality and shown that every weighted cycle satisfies the equality. In this paper, we give a complete list of connected bipartite graphs $G$ such that $\mathrm{s}(G,w)=\mathrm{cs}(G,w)$ for every weight function $w$ on $V(G)$.
Joins, Ears and Castelnuovo-Mumford regularity
Published
• View Publication
• BIB
We introduce a new class of polynomial ideals associated to a simple graph, $G$. Let $K[E_G]$ be the polynomial ring on the edges of $G$ and $K[V_G]$ the polynomial ring on the vertices of $G$. We associate to $G$ an ideal, $I(X_G)$, defined as the preimage of $(x_i^2-x_j^2 : i,j\in V_G)\subseteq K[V_G]$ by the map $K[E_G]\to K[V_G]$ which sends a variable, $t_e$, associated to an edge $e=\{i,j\}$, to the product $x_ix_j$ of the variables associated to its vertices. We show that $K[E_G]/I(X_G)$ is a one-dimensional, Cohen-Macaulay, graded ring, that $I(X_G)$ is a binomial ideal and that, with respect to a fixed monomial order, its initial ideal has a generating set independent of the field $K$. We focus on the Castelnuovo-Mumford regularity of $I(X_G)$ providing the following sharp upper and lower bounds: $$ μ(G) \leq \operatorname{reg} I(X_G) \leq |V_G|-b_0(G)+1, $$ where $μ(G)$ is the maximum vertex join number of the graph and $b_0(G)$ is the number of its connected components. We show that the lower bound is attained for a bipartite graph and use this to derive a new combinatorial result on the number of even length ears of nested ear decomposition.
An Effective Upperbound on Treewidth Using Partial Fill-in of Separators
Partitioning a graph using graph separators, and particularly clique separators, are well-known techniques to decompose a graph into smaller units which can be treated independently. It was previously known that the treewidth was bounded above by the sum of the size of the separator plus the treewidth of disjoint components, and this was obtained by the heuristic of filling in all edges of the separator making it into a clique.
In this paper, we present a new, tighter upper bound on the treewidth of a graph obtained by only partially filling in the edges of a separator. In particular, the method completes just those pairs of separator vertices that are adjacent to a common component, and indicates a more effective heuristic than filling in the entire separator. We discuss the relevance of this result for combinatorial algorithms and give an example of how the tighter bound can be exploited in the domain of constraint satisfaction problems.
On the vertices belonging to all, some, none minimum dominating set
Published
• View Publication
• BIB
We characterize the vertices belonging to all minimum dominating sets, to some minimum dominating sets but not all, and to no minimum dominating set. We refine this characterization for some well studied sub-classes of graphs: chordal, claw-free, triangle-free. Also we exhibit some graphs answering to some open questions of the literature on minimum dominating sets.
Relative Heffter arrays and biembeddings
Published
• View Publication
• BIB
Relative Heffter arrays, denoted by $\mathrm{H}_t(m,n; s,k)$, have been introduced as a generalization of the classical concept of Heffter array. A $\mathrm{H}_t(m,n; s,k)$ is an $m\times n$ partially filled array with elements in $\mathbb{Z}_v$, where $v=2nk+t$, whose rows contain $s$ filled cells and whose columns contain $k$ filled cells, such that the elements in every row and column sum to zero and, for every $x\in \mathbb{Z}_v$ not belonging to the subgroup of order $t$, either $x$ or $-x$ appears in the array. In this paper we show how relative Heffter arrays can be used to construct biembeddings of cyclic cycle decompositions of the complete multipartite graph $K_{\frac{2nk+t}{t}\times t}$ into an orientable surface. In particular, we construct such biembeddings providing integer globally simple square relative Heffter arrays for $t=k=3,5,7,9$ and $n\equiv 3 \pmod 4$ and for $k=3$ with $t=n,2n$, any odd $n$.
On the vanishing of discrete singular cubical homology for graphs
Published
• View Publication
• BIB
We prove that if G is a graph without 3-cycles and 4-cycles, then the discrete cubical homology of G is trivial in dimension d, for all d\ge 2. We also construct a sequence { G_d } of graphs such that this homology is non-trivial in dimension d for d\ge 1. Finally, we show that the discrete cubical homology induced by certain coverings of G equals the ordinary singular homology of a 2-dimensional cell complex built from G, although in general it differs from the discrete cubical homology of the graph as a whole.
IB-homogeneous graphs
Published
• View Publication
• BIB
The Lachlan-Woodrow Theorem identifies ultrahomogeneous graphs up to isomorphism. Recently, the present author and D. Hartman classified MB-homogeneous graphs up to bimorphism-equivalence. We extend those results in this paper, showing that every IB-homogeneous graph is either ultrahomogeneous or MB-homogeneous, and thus all the IB-homogeneous graphs are known up to bimorphism-equivalence.
Meyniel Extremal Families of Abelian Cayley Graphs
Published
• View Publication
• BIB
We study the game of Cops and Robbers, where cops try to capture a robber on the vertices of a graph. Meyniel's conjecture states that for every connected graph $G$ on $n$ vertices, the cop number of $G$ is upper bounded by $O(\sqrt{n})$, i.e., that $O(\sqrt{n})$ suffice to catch the robber. We present several families of abelian Cayley graphs that are Meyniel extremal, i.e., graphs whose cop number is $O(\sqrt{n})$. This proves that the $O(\sqrt{n})$ upper bound for Cayley graphs proved by Bradshaw is tight up to a multiplicative constant. In particular, this shows that Meyniel's conjecture, if true, is tight to a multiplicative constant even for abelian Cayley graphs.
In order to prove the result, we construct Cayley graphs on $n$ vertices with $Ω(\sqrt{n})$ generators that are $K_{2,3}$-free. This shows that the Kövári, Sós, and Turán theorem, stating that any $K_{2,3}$-free graph of $n$ vertices has at most $O(n^{3/2})$ edges, is tight up to a multiplicative constant even for abelian Cayley graphs.
Upper Tail For Homomorphism Counts In Constrained Sparse Random Graphs
Published
• View Publication
• BIB
Consider the upper tail probability that the homomorphism count of a fixed graph $H$ within a large sparse random graph $G_n$ exceeds its expected value by a fixed factor $1+δ$. Going beyond the Erdős-Rényi model, we establish here explicit, sharp upper tail decay rates for sparse random $d_n$-regular graphs (provided $H$ has a regular $2$-core), and for sparse uniform random graphs. We further deal with joint upper tail probabilities for homomorphism counts of multiple graphs $H_1,\ldots, H_k$ (extending the known results for $k=1$), and for inhomogeneous graph ensembles (such as the stochastic block model), we bound the upper tail probability by a variational problem analogous to the one that determines its decay rate in the case of sparse Erdős-Rényi graphs.
On Validity of Reed Conjecture for Classes of Graphs with Two Forbidden Subgraphs
Reed Conjecture is open for more than 20 years now. Here we prove that Reed Conjecture is valid for (1) {P4UnionK1, Kite}-free graphs (2) {Chair, Kite}-free graphs (3) {K2UnionK2complement , H}-free graphs and (4) {2K2, M}-free graphs where H and M are graphs on six vertices each. Reed conjecture is still open in general.