graph
34995 papers tagged with this keyword
Cofinite Induced Subgraphs of Impartial Combinatorial Games: An Analysis of CIS-Nim
Published
• View Publication
• BIB
Given an impartial combinatorial game G, we create a class of related games (CIS-G) by specifying a finite set of positions in G and forbidding players from moving to those positions (leaving all other game rules unchanged). Such modifications amount to taking cofinite induced subgraphs (CIS) of the original game graph. Some recent numerical/heuristic work has suggested that the underlying structure and behavior of such "CIS-games" can shed new light on, and bears interesting relationships with, the original games from which they are derived. In this paper we present an analytical treatment of the cofinite induced subgraphs associated with the game of (three-heap) Nim. This constitutes one of the simplest nontrivial cases of a CIS game. Our main finding is that although the structure of the winning strategies in games of CIS-Nim can differ greatly from that of Nim, CIS-Nim games inherit a type of period-two scale invariance from the original game of Nim.
Notions of Möbius inversion
Published in Bulletin of the Belgian Mathematical Society 19 (2012), 911-935
• View Publication
• BIB
Möbius inversion, originally a tool in number theory, was generalized to posets for use in group theory and combinatorics. It was later generalized to categories in two different ways, both of which are useful. We provide a unifying abstract framework. This allows us to compare and contrast the two theories of Möbius inversion for categories, and advance each of them. Among several side benefits is an improved understanding of the following fact: the Euler characteristic of the classifying space of a (suitably finite) category depends only on its underlying graph.
Spectral gaps of random graphs and applications
Published in International Mathematics Research Notices (IMRN) 2019
• View Publication
• BIB
We study the spectral gap of the Erdős--Rényi random graph through the connectivity threshold. In particular, we show that for any fixed $δ> 0$ if $$p \ge \frac{(1/2 + δ) \log n}{n},$$ then the normalized graph Laplacian of an Erdős--Rényi graph has all of its nonzero eigenvalues tightly concentrated around $1$. We estimate both the decay rate of the spectral gap to $1$ and the failure probability, up to a constant factor. We also show that the $1/2$ in the above is optimal, and that if $p = \frac{c \log n}{n}$ for $c < 1/2,$ then there are eigenvalues of the Laplacian restricted to the giant component that are separated from $1.$
We then describe several applications of our spectral gap results to stochastic topology and geometric group theory. These all depend on Garland's "p-adic curvature" method, a kind of spectral geometry for simplicial complexes. These can all be considered to be high-dimensional expander properties.
Automorphism Groups of the Pancake Graphs
Published in Information Processing Letters, 2012
• View Publication
• BIB
It is well-known that the pancake graphs are widely used as models for interconnection networks \cite{Akers}. In this paper, some properties of the pancake graphs are investigated. We first prove that the pancake graph, denoted by $P_n (n\geq 4),$ is super-connected and hyper-connected. Further, we study the symmetry of $P_n$ and completely determine its full automorphism group,which shows that $P_n (n\geq 5)$ is a graphical regular representation of $S_n.$
Faber-Krahn type inequality for unicyclic graphs
Published
• View Publication
• BIB
The Faber-Krahn inequality states that the ball has minimal first Dirichlet eigenvalue among all bounded domains with the fixed volume in $\mathbb{R}^n$. In this paper, we investigate the similar inequality for unicyclic graphs. The results show that the Faber-Krahn type inequality also holds for unicyclic graphs with a given graphic unicyclic degree sequence with minor conditions.
Colouring the Sphere
Let $G$ be the graph with the points of the unit sphere in $\mathbb{R}^3$ as its vertices, by defining two unit vectors to be adjacent if they are orthogonal as vectors. We present a proof, based on work of Hales and Straus chromatic number of this graph is four. We also prove that the subgraph of G induced by the unit vectors with rational coordinates is 3-colourable.
On a family of strongly regular graphs with λ=1
Published
• View Publication
• BIB
In this paper, we give a complete description of strongly regular graphs with parameters ((n^2+3n-1)^2,n^2(n+3),1,n(n+1)). All possible such graphs are: the lattice graph $L_{3,3}$ with parameters (9,4,1,2), the Brouwer-Haemers graph with parameters (81,20,1,6), and the Games graph with parameters (729,112,1,20).
Bounds on Shannon Capacity and Ramsey Numbers from Product of Graphs
Published in IEEE Transactions on Information Theory, 59(8) (2013) 4767-4770
• View Publication
• BIB
In this note we study Shannon capacity of channels in the context of classical Ramsey numbers. We overview some of the results on capacity of noisy channels modelled by graphs, and how some constructions may contribute to our knowledge of this capacity.
We present an improvement to the constructions by Abbott and Song and thus establish new lower bounds for a special type of multicolor Ramsey numbers. We prove that our construction implies that the supremum of the Shannon capacity over all graphs with independence number 2 cannot be achieved by any finite graph power. This can be generalized to graphs with any bounded independence number.
Positive definite completion problems for directed acyclic graphs
Published
• View Publication
• BIB
A positive definite completion problem pertains to determining whether the unspecified positions of a partial (or incomplete) matrix can be completed in a desired subclass of positive definite matrices. In this paper we study an important and new class of positive definite completion problems where the desired subclasses are the spaces of covariance and inverse-covariance matrices of probabilistic models corresponding to directed acyclic graph models (also known as Bayesian networks). We provide fast procedures that determine whether a partial matrix can be completed in either of these spaces and thereafter proceed to construct the completed matrices. We prove an analog of the positive definite completion result for undirected graphs in the context of directed acyclic graphs, and thus proceed to characterize the class of DAGs which can always be completed. We also proceed to give closed form expressions for the inverse and the determinant of a completed matrix as a function of only the elements of the corresponding partial matrix.
On the game chromatic number of sparse random graphs
Published
• View Publication
• BIB
Given a graph G and an integer k, two players take turns coloring the vertices of G one by one using k colors so that neighboring vertices get different colors. The first player wins iff at the end of the game all the vertices of $G$ are colored. The game chromatic number χ_g(G) is the minimum k for which the first player has a winning strategy. The paper \cite{BFS} began the analysis of the asymptotic behavior of this parameter for a random graph G_{n,p}. This paper provides some further analysis for graphs with constant average degree i.e. np=O(1) and for random regular graphs.
Bicyclic graphs with exactly two main signless Laplacian eigenvalues
A signless Laplacian eigenvalue of a graph $G$ is called a main signless Laplacian eigenvalue if it has an eigenvector the sum of whose entries is not equal to zero. In this paper, all connected bicyclic graphs with exactly two main eigenvalues are determined.
The diameter of weighted random graphs
Published in Annals of Applied Probability 2015, Vol. 25, No. 3, 1686-1727
• View Publication
• BIB
In this paper we study the impact of random exponential edge weights on the distances in a random graph and, in particular, on its diameter. Our main result consists of a precise asymptotic expression for the maximal weight of the shortest weight paths between all vertices (the weighted diameter) of sparse random graphs, when the edge weights are i.i.d. exponential random variables.
A load balancing strategy for parallel computation of sparse permanents
Published
• View Publication
• BIB
The research in parallel machine scheduling in combinatorial optimization suggests that the desirable parallel efficiency could be achieved when the jobs are sorted in the non-increasing order of processing times. In this paper, we find that the time spending for computing the permanent of a sparse matrix by hybrid algorithm is strongly correlated to its permanent value. A strategy is introduced to improve a parallel algorithm for sparse permanent. Methods for approximating permanents, which have been studied extensively, are used to approximate the permanent values of sub-matrices to decide the processing order of jobs. This gives an improved load balancing method. Numerical results show that the parallel efficiency is improved remarkably for the permanents of fullerene graphs, which are of great interests in nanoscience.
Primer for the algebraic geometry of sandpiles
Published
• View Publication
• BIB
The Abelian Sandpile Model (ASM) is a game played on a graph realizing the dynamics implicit in the discrete Laplacian matrix of the graph. The purpose of this primer is to apply the theory of lattice ideals from algebraic geometry to the Laplacian matrix, drawing out connections with the ASM. An extended summary of the ASM and of the required algebraic geometry is provided. New results include a characterization of graphs whose Laplacian lattice ideals are complete intersection ideals; a new construction of arithmetically Gorenstein ideals; a generalization to directed multigraphs of a duality theorem between elements of the sandpile group of a graph and the graph's superstable configurations (parking functions); and a characterization of the top Betti number of the minimal free resolution of the Laplacian lattice ideal as the number of elements of the sandpile group of least degree. A characterization of all the Betti numbers is conjectured.
Answer to a question of Alon and Lubetzky about the ultimate categorical independence ratio
Brown, Nowakowski and Rall defined the ultimate categorical independence ratio of a graph G as A(G)=\lim_{k\to \infty} i(G^{\times k}), where i(G)=\frac{α(G)}{|V(G)|} denotes the independence ratio of a graph G, and G^{\times k} is the k-th categorical power of G. Let a(G)=\max{\frac{|U|}{|U|+|N_G(U)|}: U is an independent set of G}}, where N_G(U) is the neighborhood of U in G. In this paper we answer a question of Alon and Lubetzky, namely we prove that if a(G)\le 1/2 then A(G)=a(G), and if a(G)>1/2 then A(G)=1. We also discuss some other open problems related to A(G) which are immediately settled by this result.
Competitively tight graphs
Published in Annals of Combinatorics 17 (2013) 733-741
• View Publication
• BIB
The competition graph of a digraph $D$ is a (simple undirected) graph which has the same vertex set as $D$ and has an edge between two distinct vertices $x$ and $y$ if and only if there exists a vertex $v$ in $D$ such that $(x,v)$ and $(y,v)$ are arcs of $D$. For any graph $G$, $G$ together with sufficiently many isolated vertices is the competition graph of some acyclic digraph. The competition number $k(G)$ of a graph $G$ is the smallest number of such isolated vertices. Computing the competition number of a graph is an NP-hard problem in general and has been one of the important research problems in the study of competition graphs. Opsut [1982] showed that the competition number of a graph $G$ is related to the edge clique cover number $θ_E(G)$ of the graph $G$ via $θ_E(G)-|V(G)|+2 \leq k(G) \leq θ_E(G)$. We first show that for any positive integer $m$ satisfying $2 \leq m \leq |V(G)|$, there exists a graph $G$ with $k(G)=θ_E(G)-|V(G)|+m$ and characterize a graph $G$ satisfying $k(G)=θ_E(G)$. We then focus on what we call \emph{competitively tight graphs} $G$ which satisfy the lower bound, i.e., $k(G)=θ_E(G)-|V(G)|+2$. We completely characterize the competitively tight graphs having at most two triangles. In addition, we provide a new upper bound for the competition number of a graph from which we derive a sufficient condition and a necessary condition for a graph to be competitively tight.
The Gram dimension of a graph
Published
• View Publication
• BIB
The Gram dimension $\gd(G)$ of a graph is the smallest integer $k \ge 1$ such that, for every assignment of unit vectors to the nodes of the graph, there exists another assignment of unit vectors lying in $\oR^k$, having the same inner products on the edges of the graph. The class of graphs satisfying $\gd(G) \le k$ is minor closed for fixed $k$, so it can characterized by a finite list of forbidden minors. For $k\le 3$, the only forbidden minor is $K_{k+1}$. We show that a graph has Gram dimension at most 4 if and only if it does not have $K_5$ and $K_{2,2,2}$ as minors. We also show some close connections to the notion of $d$-realizability of graphs. In particular, our result implies the characterization of 3-realizable graphs of Belk and Connelly \cite{Belk,BC}.
On the Dimension and Euler characteristic of random graphs
The inductive dimension dim(G) of a finite undirected graph G=(V,E) is a rational number defined inductively as 1 plus the arithmetic mean of the dimensions of the unit spheres dim(S(x)) at vertices x primed by the requirement that the empty graph has dimension -1. We look at the distribution of the random variable "dim" on the Erdos-Renyi probability space G(n,p), where each of the n(n-1)/2 edges appears independently with probability p. We show here that the average dimension E[dim] is a computable polynomial of degree n(n-1)/2 in p. The explicit formulas allow experimentally to explore limiting laws for the dimension of large graphs. We also study the expectation E[X] of the Euler characteristic X, considered as a random variable on G(n,p). We look experimentally at the statistics of curvature K(v) and local dimension dim(v) = 1+dim(S(v)) which satisfy the Gauss-Bonnet formula X(G) = sum K(v) and by definition dim(G) = sum dim(v)/|V|. We also look at the signature functions f(p)=E[dim], g(p)=E[X] and matrix values functions A(p) = Cov[{dim(v),dim(w)], B(p) = Cov[K(v),K(w)] on the probability space G(p) of all subgraphs of a host graph G=(V,E) with the same vertex set V, where each edge is turned on with probability p. If G is the complete graph or a union of cyclic graphs with have explicit formulas for the signature polynomials f and g.
Nonrepetitive Colouring via Entropy Compression
Published in Combinatorica, 36/6:661--686, 2016
• View Publication
• BIB
A vertex colouring of a graph is \emph{nonrepetitive} if there is no path whose first half receives the same sequence of colours as the second half. A graph is nonrepetitively $k$-choosable if given lists of at least $k$ colours at each vertex, there is a nonrepetitive colouring such that each vertex is coloured from its own list. It is known that every graph with maximum degree $Δ$ is $cΔ^2$-choosable, for some constant $c$. We prove this result with $c=1$ (ignoring lower order terms). We then prove that every subdivision of a graph with sufficiently many division vertices per edge is nonrepetitively 5-choosable. The proofs of both these results are based on the Moser-Tardos entropy-compression method, and a recent extension by Grytczuk, Kozik and Micek for the nonrepetitive choosability of paths. Finally, we prove that every graph with pathwidth $k$ is nonrepetitively $O(k^{2})$-colourable.
Results and open problems in matchings in regular graphs
Published
• View Publication
• BIB
This survey paper deals with upper and lower bounds on the number of $k$-matchings in regular graphs on $N$ vertices.
For the upper bounds we recall the upper matching conjecture which is known to hold for perfect matchings.
For the lower bounds we first survey the known results for bipartite graphs, and their continuous versions as the van der Waerden and Tverberg permanent conjectures and its variants. We then discuss non-bipartite graphs. Little is known beyond the recent proof of the Lovász-Plummer conjecture on the exponential growth of perfect matchings in cubic bridgeless graphs.
We discuss the problem of the minimum of haffnians on the convex set of matrices, whose extreme points are the adjacency matrices of subgraphs of the complete graph corresponding to perfect matchings.
We also consider infinite regular graphs. The analog of $k$-matching is the $p$-monomer entropy, where $p\in [0,1]$ is the density of the number of matchings.