graph
34828 papers tagged with this keyword
Total perfect codes in Cayley graphs
Published in Designs, Codes and Cryptography 81 (2016) 489-504
• View Publication
• BIB
A total perfect code in a graph $Γ$ is a subset $C$ of $V(Γ)$ such that every vertex of $Γ$ is adjacent to exactly one vertex in $C$. We give necessary and sufficient conditions for a conjugation-closed subset of a group to be a total perfect code in a Cayley graph of the group. As an application we show that a Cayley graph on an elementary abelian $2$-group admits a total perfect code if and only if its degree is a power of $2$. We also obtain necessary conditions for a Cayley graph of a group with connection set closed under conjugation to admit a total perfect code.
The $k$-proper index of graphs
Published
• View Publication
• BIB
A tree $T$ in an edge-colored graph is a \emph{proper tree} if any two adjacent edges of $T$ are colored with different colors. Let $G$ be a graph of order $n$ and $k$ be a fixed integer with $2\leq k\leq n$. For a vertex set $S\subseteq V(G)$, a tree containing the vertices of $S$ in $G$ is called an \emph{$S$-tree}. An edge-coloring of $G$ is called a \emph{$k$-proper coloring} if for every set $S$ of $k$ vertices in $G$, there exists a proper $S$-tree in $G$. The \emph{$k$-proper index} of a nontrivial connected graph $G$, denoted by $px_k(G)$, is the smallest number of colors needed in a $k$-proper coloring of $G$. In this paper, some simple observations about $px_k(G)$ for a nontrivial connected graph $G$ are stated. Meanwhile, the $k$-proper indices of some special graphs are determined, and for every pair of positive integers $a$, $b$ with $2\leq a\leq b$, a connected graph $G$ with $px_k(G)=a$ and $rx_k(G)=b$ is constructed for each integer $k$ with $3\leq k\leq n$. Also, the graphs with $k$-proper index $n-1$ and $n-2$ are respectively characterized.
The Randić index and signless Laplacian spectral radius of graphs
Published in Discrete Mathematics, 342 (2019), no.3, 643--653
• View Publication
• BIB
Given a connected graph $G$, the Randić index $R(G)$ is the sum of $\tfrac{1}{\sqrt{d(u)d(v)}}$ over all edges $\{u,v\}$ of $G$, where $d(u)$ and $d(v)$ are the degree of vertices $u$ and $v$ respectively. Let $q(G)$ be the largest eigenvalue of the singless Laplacian matrix of $G$ and $n=|V(G)|$. Hansen and Lucas (2010) made the following conjecture: \[ \frac{q(G)}{R(G)} \leq \begin{cases}
\frac{4n-4}{n} & 4 \leq n\leq 12
\frac{n}{\sqrt{n-1}} & n\geq 13
\end{cases} \] with equality if and only if $G=K_{n}$ for $4\leq n\leq 12$ and $G=S_n$ for $n\geq 13$, respectively. Deng, Balachandran, and Ayyaswamy (J. Math. Anal. Appl. 2014) verified this conjecture for $4 \leq n \leq 11$. In this paper, we solve this conjecture completely.
Similarity-First Search: a new algorithm with application to Robinsonian matrix recognition
Published
• View Publication
• BIB
We present a new efficient combinatorial algorithm for recognizing if a given symmetric matrix is Robinsonian, i.e., if its rows and columns can be simultaneously reordered so that entries are monotone nondecreasing in rows and columns when moving toward the diagonal. As main ingredient we introduce a new algorithm, named Similarity-First-Search (SFS), which extends Lexicographic Breadth-First Search (Lex-BFS) to weighted graphs and which we use in a multisweep algorithm to recognize Robinsonian matrices. Since Robinsonian binary matrices correspond to unit interval graphs, our algorithm can be seen as a generalization to weighted graphs of the 3-sweep Lex-BFS algorithm of Corneil for recognizing unit interval graphs. This new recognition algorithm is extremely simple and it exploits new insight on the combinatorial structure of Robinsonian matrices. For an $n\times n$ nonnegative matrix with $m$ nonzero entries, it terminates in $n-1$ SFS sweeps, with overall running time $O(n^2 +nm\log n)$.
On the Structure of the Graph of Unique Symmetric Base Exchanges of Bispanning Graphs
Bispanning graphs are undirected graphs with an edge set that can be decomposed into two disjoint spanning trees. The operation of symmetrically swapping two edges between the trees, such that the result is a different pair of disjoint spanning trees, is called an edge exchange or a symmetric base exchange. The graph of symmetric base exchanges of a bispanning graph contains a vertex for every valid pair of disjoint spanning trees, and edges between them to represent all possible edge exchanges. We are interested in a restriction of these graphs to only unique symmetric base exchanges, which are edge exchanges wherein selecting one edge leaves only one choice for selecting the other. In this thesis, we discuss the structure of the graph of unique symmetric edge exchanges, and the open question whether these are connected for all bispanning graphs. Our composition method classifies bispanning graphs by whether they contain a non-trivial bispanning subgraph, and by vertex- and edge-connectivity. For bispanning graphs containing a non-trivial bispanning subgraph, we prove that the unique exchange graph is the Cartesian graph product of two smaller exchange graphs. For bispanning graphs with vertex-connectivity two, we show that the bispanning graph is the 2-clique sum of two smaller bispanning graphs, and that the unique exchange graph can be built by joining their exchange graphs and forwarding edges at the join seam. And for all remaining bispanning graphs, we prove a composition method at a vertex of degree three, wherein the unique exchange graph is constructed from the exchange graphs of three reduced bispanning graphs.
Eigenvectors of random matrices: A survey
Eigenvectors of large matrices (and graphs) play an essential role in combinatorics and theoretical computer science. The goal of this survey is to provide an up-to-date account on properties of eigenvectors when the matrix (or graph) is random.
Rowmotion and generalized toggle groups
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 20 no. 1, Combinatorics (May 25, 2018) dmtcs:3962
• View Publication
• BIB
We generalize the notion of the toggle group, as defined in [P. Cameron-D. Fon-der-Flaass '95] and further explored in [J. Striker-N. Williams '12], from the set of order ideals of a poset to any family of subsets of a finite set. We prove structure theorems for certain finite generalized toggle groups, similar to the theorem of Cameron and Fon-der-Flaass in the case of order ideals. We apply these theorems and find other results on generalized toggle groups in the following settings: chains, antichains, and interval-closed sets of a poset; independent sets, vertex covers, acyclic subgraphs, and spanning subgraphs of a graph; matroids and convex geometries. We generalize rowmotion, an action studied on order ideals in [P. Cameron-D. Fon-der-Flaass '95] and [J. Striker-N. Williams '12], to a map we call cover-closure on closed sets of a closure operator. We show that cover-closure is bijective if and only if the set of closed sets is isomorphic to the set of order ideals of a poset, which implies rowmotion is the only bijective cover-closure map.
How to determine if a random graph with a fixed degree sequence has a giant component
Published
• View Publication
• BIB
For a fixed degree sequence $\mathcal{D}=(d_1,...,d_n)$, let $G(\mathcal{D})$ be a uniformly chosen (simple) graph on $\{1,...,n\}$ where the vertex $i$ has degree $d_i$. In this paper we determine whether $G(\mathcal{D})$ has a giant component with high probability, essentially imposing no conditions on $\mathcal{D}$. We simply insist that the sum of the degrees in $\mathcal{D}$ which are not 2 is at least $λ(n)$ for some function $λ$ going to infinity with $n$. This is a relatively minor technical condition, and when $\mathcal{D}$ does not satisfy it, both the probability that $G(\mathcal{D})$ has a giant component and the probability that $G(\mathcal{D})$ has no giant component are bounded away from $1$.
On the Long-Repetition-Free 2-Colorability of Trees
Published in Rose-Hulman Undergrad. Math. J. 18 (2017), no. 1, Art. 15, 262--269
• Search Publication
A word $\bar{w} = \bar{u}\bar{u}$ is a $long$ $square$ if $\bar{u}$ is of length at least 3; a word $\bar{w}$ is $long$-$square$-$free$ if $\bar{w}$ contains no sub-word that is a long square. We can use words to generate graph colorings; a graph coloring is called $long$-$repetition$-$free$ if the word formed by the coloring of each path in the graph is long-square-free. Our results show that every rooted tree of radius less than or equal to seven is long-repetition-free two-colorable. We also prove there exists a class of trees which are not long-repetition-free two-colorable.
Total monochromatic connection of graphs
Published
• View Publication
• BIB
A graph is said to be {\it total-colored} if all the edges and the vertices of the graph are colored. A path in a total-colored graph is a {\it total monochromatic path} if all the edges and internal vertices on the path have the same color. A total-coloring of a graph is a {\it total monochromatically-connecting coloring} ({\it TMC-coloring}, for short) if any two vertices of the graph are connected by a total monochromatic path of the graph. For a connected graph $G$, the {\it total monochromatic connection number}, denoted by $tmc(G)$, is defined as the maximum number of colors used in a TMC-coloring of $G$. These concepts are inspired by the concepts of monochromatic connection number $mc(G)$, monochromatic vertex connection number $mvc(G)$ and total rainbow connection number $trc(G)$ of a connected graph $G$. Let $l(T)$ denote the number of leaves of a tree $T$, and let $l(G)=\max\{ l(T) | $ $T$ is a spanning tree of $G$ $\}$ for a connected graph $G$. In this paper, we show that there are many graphs $G$ such that $tmc(G)=m-n+2+l(G)$, and moreover, we prove that for almost all graphs $G$, $tmc(G)=m-n+2+l(G)$ holds. Furthermore, we compare $tmc(G)$ with $mvc(G)$ and $mc(G)$, respectively, and obtain that there exist graphs $G$ such that $tmc(G)$ is not less than $mvc(G)$ and vice versa, and that $tmc(G)=mc(G)+l(G)$ holds for almost all graphs. Finally, we prove that $tmc(G)\leq mc(G)+mvc(G)$, and the equality holds if and only if $G$ is a complete graph.
Covering a cubic graph by 5 perfect matchings
Published
• View Publication
• BIB
Berge Conjecture states that every bridgeless cubic graph has 5 perfect matchings such that each edge is contained in at least one of them. In this paper, we show that Berge Conjecture holds for two classes of cubic graphs, cubic graphs with a circuit missing only one vertex and bridgeless cubic graphs with a 2-factor consisting of two circuits. The first part of this result implies that Berge Conjecture holds for hypohamiltonian cubic graphs.
Brooks's theorem for measurable colorings
Published in Forum of Math., Sigma, 4, 2016, E16
• View Publication
• BIB
We generalize Brooks's theorem to show that if $G$ is a Borel graph on a standard Borel space $X$ of degree bounded by $d \geq 3$ which contains no $(d+1)$-cliques, then $G$ admits a $μ$-measurable $d$-coloring with respect to any Borel probability measure $μ$ on $X$, and a Baire measurable $d$-coloring with respect to any compatible Polish topology on $X$. The proof of this theorem uses a new technique for constructing one-ended spanning subforests of Borel graphs, as well as ideas from the study of list colorings. We apply the theorem to graphs arising from group actions to obtain factor of IID $d$-colorings of Cayley graphs of degree $d$, except in two exceptional cases.
Nullspace embeddings for outerplanar graphs
Published in in: Journey Through Discrete Mathematics. A Tribute to Jiri Matousek, Springer (2017), 571-591
• Search Publication
We study relations between geometric embeddings of graphs and the spectrum of associated matrices, focusing on outerplanar embeddings of graphs. For a simple connected graph $G=(V,E)$, we define a "good" $G$-matrix as a $V\times V$ matrix with negative entries corresponding to adjacent nodes, zero entries corresponding to distinct nonadjacent nodes, and exactly one negative eigenvalue. We give an algorithmic proof of the fact that it $G$ is a 2-connected graph, then either the nullspace representation defined by any "good" $G$-matrix with corank 2 is an outerplanar embedding of $G$, or else there exists a "good" $G$-matrix with corank 3.
Coloring connections with counting mountain-valley assignments
Published in Origami6: Proceedings of the 6th International Meeting of Origami in Science, Mathematics, and Education, The American Mathematical Society, 2015, pp. 3-11
• View Publication
• BIB
We survey more recent attempts at enumerating the number of mountain-valley assignments that allow a given crease pattern to locally fold flat. In particular, we solve this problem for square twist tessellations and generalize the method used to a broader family of crease patterns. We also describe the more difficult case of the Miura-ori and a recently-discovered bijection with 3-vertex colorings of grid graphs.
The maximum multiplicity of an eigenvalue of symmetric matrices with a given graph
For a graph G, M(G) denotes the maximum multiplicity occurring of an eigenvalue of a symmetric matrix whose zero-nonzero pattern is given by edges of G. We introduce two combinatorial graph parameters T^-(G) and T^+(G) that give a lower and an upper bound for M(G) respectively, and we show that these bounds are sharp.
Stability of Depths of Powers of Edge Ideals
Published
• View Publication
• BIB
Let $G$ be a graph and let $I := I (G)$ be its edge ideal. In this paper, we provide an upper bound of $n$ from which $\depth R/ I(G)^n$ is stationary, and compute this limit explicitly. This bound is always achieved if $G$ has no cycles of length $4$ and every its connected component is either a tree or a unicyclic graph.
Linear time algorithm for computing the rank of divisors on cactus graphs
Rank of divisor on graph was introduced in 2007 and it quickly attracts many attentions. Recently, in 2015 the problem for computing this quantity was proved to be NP-hard. In this paper, we describe a linear time algorithm for this problem limited on cactus graphs.
Cycle bases of reduced powers of graphs
Published
• View Publication
• BIB
We define what appears to be a new construction. Given a graph $G$ and a positive integer $k$, the reduced $k$th power of $G$, denoted $G^{(k)}$, is the configuration space in which $k$ indistinguishable tokens are placed on the vertices of $G$, so that any vertex can hold up to $k$ tokens. Two configurations are adjacent if one can be transformed to the other by moving a single token along an edge to an adjacent vertex.
The reduced power $G^{(k)}$ is the transition graph of the master Markov chain for $k$ identical and indistinguishable stochastic automata with transition graph $G$. We present propositions related to the structural properties of reduced graph powers and, most significantly, provide a construction of minimum cycle bases of $G^{(k)}$. Minimum cycle bases of reduced graph powers are especially relevant to applications that do not allow state-dependent coupling of automata to introduce nonequilibrium steady states. This paper also demonstrates how our minimum cycle basis construction provides conditions that ensure against violations of microscopic reversibility. In addition, the minimum cycle basis construction is an interesting combinatorial problem in itself.
Connectivity and Centrality in Dense Random Geometric Graphs
Due to shorter range communication becoming more prevalent with the development of multiple-input, multiple-output antennas (MIMO) and millimeter wave communications, multi-hop, intra-cell communication is anticipated to play a major role in 5G. This is developed in this thesis. Our analysis involves a stochastic spatial network model called a random geometric graph, which we use to model a network of interconnected devices communicating wirelessly without any separate, pre-established infrastructure.
[The remaining abstract is available in the front matter of this thesis.]
Pairwise disjoint maximal cliques in random graphs and sequential motion planning on random right angled Artin groups
The clique number of a random graph in the Erdos-Renyi model G(n,p) yields a random variable which is known to be asymptotically (as n tends to infinity) almost surely within one of an explicit logarithmic (on n) function r(n,p). We extend this fact by showing that random graphs have, asymptotically almost surely, arbitrarily many pairwise disjoint complete subgraphs with as many vertices as r(n,p). The result is motivated by and applied to the sequential motion planning problem on random right angled Artin groups. Indeed, we give an asymptotical description of all the higher topological complexities of Eilenberg-MacLane spaces associated to random graph groups.