graph
35396 papers tagged with this keyword
A common limit in large rank for Markov chains defined from representations of classical Lie algebras
From the datum of an integer partition and a classical Lie algebra, one can define a Markov chain on an associated multiplicative graph. For each classical family A, C, B, D, we thus obtain a sequence of Markov chain which is indexed by the rank of the considered algebra. In this article we show that, for each type, the transition kernel of the Markov chain has a limit when the rank tends to infinity. Moreover, the limit kernel does not depend on the considered type.
Bounds on metric dimension for families of planar graphs
The concept of metric dimension has applications in a variety of fields, such as chemistry, robotic navigation, and combinatorial optimization. We show bounds for graphs with $n$ vertices and metric dimension $β$. For Hamiltonian outerplanar graphs, we have $β\leq \left\lceil\frac{n}2\right\rceil$; for outerplanar graphs in general, we have $β\leq \left\lfloor\frac{2n}{3}\right\rfloor$; for maximal planar graphs, we have $β\leq \left\lfloor\frac{3n}{4}\right\rfloor$. We also show that bipyramids have a metric dimension of $\left\lfloor\frac{2n}{5}\right\rfloor + 1$. It is conjectured that the metric dimension of maximal planar graphs in general is on the order of $\left\lfloor\frac{2n}{5}\right\rfloor$.
Tight upper bound on the maximum anti-forcing numbers of graphs
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 3, Graph Theory (October 17, 2017) dmtcs:3267
• View Publication
• BIB
Let $G$ be a simple graph with a perfect matching. Deng and Zhang showed that the maximum anti-forcing number of $G$ is no more than the cyclomatic number. In this paper, we get a novel upper bound on the maximum anti-forcing number of $G$ and investigate the extremal graphs. If $G$ has a perfect matching $M$ whose anti-forcing number attains this upper bound, then we say $G$ is an extremal graph and $M$ is a nice perfect matching. We obtain an equivalent condition for the nice perfect matchings of $G$ and establish a one-to-one correspondence between the nice perfect matchings and the edge-involutions of $G$, which are the automorphisms $α$ of order two such that $v$ and $α(v)$ are adjacent for every vertex $v$. We demonstrate that all extremal graphs can be constructed from $K_2$ by implementing two expansion operations, and $G$ is extremal if and only if one factor in a Cartesian decomposition of $G$ is extremal. As examples, we have that all perfect matchings of the complete graph $K_{2n}$ and the complete bipartite graph $K_{n, n}$ are nice. Also we show that the hypercube $Q_n$, the folded hypercube $FQ_n$ ($n\geq4$) and the enhanced hypercube $Q_{n, k}$ ($0\leq k\leq n-4$) have exactly $n$, $n+1$ and $n+1$ nice perfect matchings respectively.
On a Class of Graphs with Large Total Domination Number
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 20 no. 1, Graph Theory (June 4, 2018) dmtcs:3304
• View Publication
• BIB
Let $γ(G)$ and $γ_t(G)$ denote the domination number and the total domination number, respectively, of a graph $G$ with no isolated vertices. It is well-known that $γ_t(G) \leq 2γ(G)$. We provide a characterization of a large family of graphs (including chordal graphs) satisfying $γ_t(G)= 2γ(G)$, strictly generalizing the results of Henning (2001) and Hou et al. (2010), and partially answering an open question of Henning (2009).
The distinguishing number and the distinguishing index of Cayley graphs
The distinguishing number (index) $D(G)$ ($D'(G)$) of a graph $G$ is the least integer $d$ such that $G$ has an vertex labeling (edge labeling) with $d$ labels that is preserved only by a trivial automorphism. In this paper, we investigate the distinguishing number and the distinguishing index of Cayley graphs.
Odd holes in bull-free graphs
Published
• View Publication
• BIB
The complexity of testing whether a graph contains an induced odd cycle of length at least five is currently unknown. In this paper we show that this can be done in polynomial time if the input graph has no induced subgraph isomorphic to the bull (a triangle with two disjoint pendant edges).
Diffusion on graphs is eventually periodic
Published
• View Publication
• BIB
We study a variant of the chip-firing game called \emph{diffusion}. In diffusion on a graph, each vertex of the graph is initially labelled with an integer interpreted as the number of chips at that vertex, and at each subsequent step, each vertex simultaneously fires one chip to each of its neighbours with fewer chips. Since this firing rule may result in negative labels, diffusion, unlike the parallel chip-firing game, is not obviously periodic. In 2016, Duffy, Lidbetter, Messinger and Nowakowski nevertheless conjectured that diffusion is always eventually periodic, and moreover, that the process eventually has period either 1 or 2. Here, we establish this conjecture.
Semidefinite Programming and Ramsey Numbers
Published
• View Publication
• BIB
Finding exact Ramsey numbers is a problem typically restricted to relatively small graphs. The flag algebra method was developed to find asymptotic results for very large graphs, so it seems that the method is not suitable for finding small Ramsey numbers. But this intuition is wrong, and we will develop a technique to do just that in this paper.
We find new upper bounds for many small graph and hypergraph Ramsey numbers. As a result, we prove the exact values $R(K_4^-,K_4^-,K_4^-)=28$, $R(K_8,C_5)= 29$, $R(K_9,C_6)= 41$, $R(Q_3,Q_3)=13$, $R(K_{3,5},K_{1,6})=17$, $R(C_3, C_5, C_5)= 17$, and $R(K_4^-,K_5^-;3)= 12$.
We hope that this technique will be adapted to address other questions for smaller graphs with the flag algebra method.
A Characterization of Oriented Hypergraphic Laplacian and Adjacency Matrix Coefficients
Published
• View Publication
• BIB
An oriented hypergraph is an oriented incidence structure that generalizes and unifies graph and hypergraph theoretic results by examining its locally signed graphic substructure. In this paper we obtain a combinatorial characterization of the coefficients of the characteristic polynomials of oriented hypergraphic Laplacian and adjacency matrices via a signed hypergraphic generalization of basic figures of graphs. Additionally, we provide bounds on the determinant and permanent of the Laplacian matrix, characterize the oriented hypergraphs in which the upper bound is sharp, and demonstrate that the lower bound is never achieved.
Tight embedding of modular lattices into partition lattices: progress and program
Published in Algebra Universalis 2018, volume 79
• View Publication
• BIB
Representing lattices L by equivalence relations amounts to embed them into the lattice Part(V) of all partitions of a set V, and has a long history. Here we are concerned with MODULAR lattices L and aim for sets V as small as possible, i.e. |V| = d(L)+1 where d(L) is the length of L. In other words, we strive for a tight (=cover-preserving) lattice homomorphism from L into Part(V). After a 24 year break the author offers progress, and outlines a program to finally fully characterize the lattices L that admit a tight embedding. Not just 'modular latticians' but also combinatorists are encouraged to contribute. Specifically, eight open questions are posed, four of which purely graph- and matroid-theoretic in nature.
Automorphisms of the subspace sum graphs on a vector space
The subspace sum graph $\mathcal{G}(\mathbb{V})$ on a finite dimensional vector space $\mathbb{V}$ was introduced by Das [Subspace Sum Graph of a Vector Space, arXiv:1702.08245], recently. The vertex set of $\mathcal{G}(\mathbb{V})$ consists of all the nontrivial proper subspaces of $\mathbb{V}$ and two distinct vertices $W_1$ and $W_2$ are adjacent if and only if $W_1+W_2=\mathbb{V}$. In that paper, some structural indices (e.g., diameter, girth, connectivity, domination number, clique number and chromatic number) were studied, but the characterization of automorphisms of $\mathcal{G}(\mathbb{V})$ was left as one of further research topics. Motivated by this, we in this paper characterize the automorphisms of $\mathcal{G}(\mathbb{V})$ completely.
Approximating the Largest Root and Applications to Interlacing Families
Published
• View Publication
• BIB
We study the problem of approximating the largest root of a real-rooted polynomial of degree $n$ using its top $k$ coefficients and give nearly matching upper and lower bounds. We present algorithms with running time polynomial in $k$ that use the top $k$ coefficients to approximate the maximum root within a factor of $n^{1/k}$ and $1+O(\tfrac{\log n}{k})^2$ when $k\leq \log n$ and $k>\log n$ respectively. We also prove corresponding information-theoretic lower bounds of $n^{Ω(1/k)}$ and $1+Ω\left(\frac{\log \frac{2n}{k}}{k}\right)^2$, and show strong lower bounds for noisy version of the problem in which one is given access to approximate coefficients.
This problem has applications in the context of the method of interlacing families of polynomials, which was used for proving the existence of Ramanujan graphs of all degrees, the solution of the Kadison-Singer problem, and bounding the integrality gap of the asymmetric traveling salesman problem. All of these involve computing the maximum root of certain real-rooted polynomials for which the top few coefficients are accessible in subexponential time. Our results yield an algorithm with the running time of $2^{\tilde O(\sqrt[3]n)}$ for all of them.
On graphs with $m(\partial^L_1)=n-3$
Let $\partial^L_1\ge\partial^L_2\ge\cdots\ge\partial^L_n$ be the distance Laplacian eigenvalues of a connected graph $G$ and $m(\partial^L_i)$ the multiplicity of $\partial^L_i$. It is well known that the graphs with $m(\partial^L_1)=n-1$ are complete graphs. Recently, the graphs with $m(\partial^L_1)=n-2$ have been characterized by Celso et al. In this paper, we completely determine the graphs with $m(\partial^L_1)=n-3$.
Recovering the Structure of Random Linear Graphs
Published in Linear Algebra and its Applications, Volume 559, 15 December 2018, Pages 95-113
• View Publication
• BIB
In a random linear graph, vertices are points on a line, and pairs of vertices are connected, independently, with a link probability that decreases with distance. We study the problem of reconstructing the linear embedding from the graph, by recovering the natural order in which the vertices are placed. We propose an approach based on the spectrum of the graph, using recent results on random matrices. We demonstrate our method on a particular type of random linear graph. We recover the order and give tight bounds on the number of misplaced vertices, and on the amount of drift from their natural positions.
Effective Resistances and Kirchhoff index of Prism Graphs
We explicitly compute the effective resistances between any two vertices of a prism graph by using circuit reductions and our earlier findings on a ladder graph. As an application, we derived a closed form formula for the Kirchhoff index of a prism graph. We show as a byproduct that an explicit sum formula involving trigonometric functions hold by comparing our formula for the Kirchhoff index and previously known results in the literature. We also expressed our formulas in terms of certain generalized Fibonacci numbers.
The rigidity of the graphs of homology spheres minus one edge
Published
• View Publication
• BIB
We prove that for any prime homology $(d-1)$-sphere $Δ$ of dimension $d-1\geq 3$ and any edge $e\in S$, the graph $G(Δ)-e$ is generically $d$-rigid. This confirms a conjecture of Nevo and Novinsky.
Largest regular multigraphs with three distinct eigenvalues
Published
• View Publication
• BIB
We deal with connected $k$-regular multigraphs of order $n$ that has only three distinct eigenvalues. In this paper, we study the largest possible number of vertices of such a graph for given $k$. For $k=2,3,7$, the Moore graphs are largest. For $k\ne 2,3,7,57$, we show an upper bound $n\leq k^2-k+1$, with equality if and only if there exists a finite projective plane of order $k-1$ that admits a polarity.
The Kth Traveling Salesman Problem is Pseudopolynomial when TSP is polynomial
Published
• View Publication
• BIB
Given an undirected graph $G=(V, E)$ with a weight function $c\in R^E$, and a positive integer $K$, the Kth Traveling Salesman Problem (KthTSP) is to find $K$ Hamilton cycles $H_1, H_2, , ..., H_K$ such that, for any Hamilton cycle $H\not \in \{H_1, H_2, , ..., H_K \}$, we have $c(H)\geq c(H_i), i=1, 2, ..., K$. This problem is NP-hard even for $K$ fixed. We prove that KthTSP is pseudopolynomial when TSP is polynomial.
Commutative Algorithms Approximate the LLL-distribution
Following the groundbreaking Moser-Tardos algorithm for the Lovasz Local Lemma (LLL), a series of works have exploited a key ingredient of the original analysis, the witness tree lemma, in order to: derive deterministic, parallel and distributed algorithms for the LLL, to estimate the entropy of the output distribution, to partially avoid bad events, to deal with super-polynomially many bad events, and even to devise new algorithmic frameworks. Meanwhile, a parallel line of work, has established tools for analyzing stochastic local search algorithms motivated by the LLL that do not fall within the Moser-Tardos framework. Unfortunately, the aforementioned results do not transfer to these more general settings. Mainly, this is because the witness tree lemma, provably, no longer holds. Here we prove that for commutative algorithms, a class recently introduced by Kolmogorov and which captures the vast majority of LLL applications, the witness tree lemma does hold. Armed with this fact, we extend the main result of Haeupler, Saha, and Srinivasan to commutative algorithms, establishing that the output of such algorithms well-approximates the LLL-distribution, i.e., the distribution obtained by conditioning on all bad events being avoided, and give several new applications. For example, we show that the recent algorithm of Molloy for list coloring number of sparse, triangle-free graphs can output exponential many list colorings of the input graph.
Topology in colored tensor models via crystallization theory
Published
• View Publication
• BIB
The aim of this paper is twofold. On the one hand, it provides a review of the links between random tensor models, seen as quantum gravity theories, and the PL-manifolds representation by means of edge-colored graphs (crystallization theory). On the other hand, the core of the paper is to establish results about the topological and geometrical properties of the Gurau-degree (or G-degree) of the represented manifolds, in relation with the motivations coming from physics. In fact, the G-degree appears naturally in higher dimensional tensor models as the quantity driving their 1/N expansion, exactly as it happens for the genus of surfaces in the two-dimensional matrix model setting.
In particular, the G-degree of PL-manifolds is proved to be finite-to-one in any dimension, while in dimension 3 and 4 a series of classification theorems are obtained for PL-manifolds represented by graphs with a fixed G-degree. All these properties have specific relevance in the tensor models framework, showing a direct fruitful interaction between tensor models and discrete geometry, via crystallization theory.