graph
34934 papers tagged with this keyword
Tutte polynomial of a small-world farey graph
Published
• View Publication
• BIB
In this paper, we find recursive formulas for the Tutte polynomial of a family of small-world networks: Farey graphs, which are modular and have an exponential degree hierarchy. Then, making use of these formulas, we determine the number of spanning trees, as well as the number of connected spanning subgraphs. Furthermore, we also derive exact expressions for the chromatic polynomial and the reliability polynomial of these graphs.
Ramanujan circulant graphs and the conjecture of Hardy-Littlewood and Bateman-Horn
In this paper, we determine the bound of the valency of the odd circulant graph which guarantees to be a Ramanujan graph for each fixed number of vertices. In almost of the cases, the bound coincides with the trivial bound, which comes from the trivial estimate of the largest non-trivial eigenvalue of the circulant graph. As exceptional cases, the bound in fact exceeds the trivial one by two. We then prove that such exceptionals occur only in the cases where the number of vertices has at most two prime factors and is represented by a quadratic polynomial in a finite family and, moreover, under the conjecture of Hardy-Littlewood and Bateman-Horn, exist infinitely many.
On r-equitable chromatic threshold of Kronecker products of complete graphs
Published
• View Publication
• BIB
A graph $G$ is $r$-equitably $k$-colorable if its vertex set can be partitioned into $k$ independent sets, any two of which differ in size by at most $r$. The $r$-equitable chromatic threshold of a graph $G$, denoted by $χ_{r=}^*(G)$, is the minimum $k$ such that $G$ is $r$-equitably $k'$-colorable for all $k'\ge k$. Let $G\times H$ denote the Kronecker product of graphs $G$ and $H$. In this paper, we completely determine the exact value of $χ_{r=}^*(K_m\times K_n)$ for general $m,n$ and $r$. As a consequence, we show that for $r\ge 2$, if $n\ge \frac{1}{r-1}(m+r)(m+2r-1)$ then $K_m\times K_n$ and its spanning supergraph $K_{m(n)}$ have the same $r$-equitable colorability, and in particular $χ_{r=}^*(K_m\times K_n)=χ_{r=}^*(K_{m(n)})$, where $K_{m(n)}$ is the complete $m$-partite graph with $n$ vertices in each part.
Self-Similar Graphs
For any graph $G$ on $n$ vertices and for any {\em symmetric} subgraph $J$ of $K_{n,n}$, we construct an infinite sequence of graphs based on the pair $(G,J)$. The First graph in the sequence is $G$, then at each stage replacing every vertex of the previous graph by a copy of $G$ and every edge of the previous graph by a copy of $J$ the new graph is constructed. We call these graphs {\em self-similar} graphs. We are interested in delineating those pairs $(G,J)$ for which the chromatic numbers of the graphs in the sequence are bounded. Here we have some partial results. When $G$ is a complete graph and $J$ is a special matching we show that every graph in the resulting sequence is an {\em expander} graph.
Four-connected triangulations of planar point sets
Published
• View Publication
• BIB
In this paper, we consider the problem of determining in polynomial time whether a given planar point set $P$ of $n$ points admits 4-connected triangulation. We propose a necessary and sufficient condition for recognizing $P$, and present an $O(n^3)$ algorithm of constructing a 4-connected triangulation of $P$. Thus, our algorithm solves a longstanding open problem in computational geometry and geometric graph theory. We also provide a simple method for constructing a noncomplex triangulation of $P$ which requires $O(n^2)$ steps. This method provides a new insight to the structure of 4-connected triangulation of point sets.
The rigidity of infinite graphs
Published
• View Publication
• BIB
A rigidity theory is developed for the Euclidean and non-Euclidean placements of countably infinite simple graphs in R^d with respect to the classical l^p norms, for d>1 and 1<p<\infty. Generalisations are obtained for the Laman and Henneberg combinatorial characterisations of generic infinitesimal rigidity for finite graphs in the Euclidean plane. Also Tay's multi-graph characterisation of the rigidity of generic finite body-bar frameworks in d-dimensional Euclidean space is generalised to the non-Euclidean l^p norms and to countably infinite graphs. For all dimensions and norms it is shown that a generically rigid countable simple graph is the direct limit of an inclusion tower of finite graphs for which the inclusions satisfy a relative rigidity property. For d>2 a countable graph which is rigid for generic placements in R^d may fail the stronger property of sequential rigidity, while for d=2 the equivalence with sequential rigidity is obtained from the generalised Laman characterisations. Applications are given to the flexibility of non-Euclidean convex polyhedra and to the infinitesimal and continuous rigidity of compact infinitely-faceted simplicial polytopes.
Graphs with the Fewest Matchings
Published
• View Publication
• BIB
In recent years there has been increased interest in extremal problems for "counting" parameters of graphs. For example, the Kahn-Zhao theorem gives an upper bound on the number of independent sets in a $d$-regular graph. In the same spirit, the Upper Matching Conjecture claims an upper bound on the number of $k$-matchings in a $d$-regular graph. Here we consider both matchings and matchings of fixed sizes in graphs with a given number vertices and edges. We prove that the graph with the fewest matchings is either the lex or the colex graph. Similarly, for fixed $k$, the graph with the fewest $k$-matchings is either the lex or the colex graph. To prove these results we first prove that the lex bipartite graph has the fewest matchings of all sizes among bipartite graphs with fixed part sizes and a given number of edges.
TSP Tours in Cubic Graphs: Beyond 4/3
Published
• View Publication
• BIB
After a sequence of improvements Boyd, Sitters, van der Ster, and Stougie proved that any 2-connected graph whose n vertices have degree 3, i.e., a cubic 2-connected graph, has a Hamiltonian tour of length at most (4/3)n, establishing in particular that the integrality gap of the subtour LP is at most 4/3 for cubic 2-connected graphs and matching the conjectured value of the famous 4/3 conjecture. In this paper we improve upon this result by designing an algorithm that finds a tour of length (4/3 - 1/61236)n, implying that cubic 2-connected graphs are among the few interesting classes of graphs for which the integrality gap of the subtour LP is strictly less than 4/3. With the previous result, and by considering an even smaller epsilon, we show that the integrality gap of the TSP relaxation is at most 4/3 - epsilon, even if the graph is not 2-connected (i.e. for cubic connected graphs), implying that the approximability threshold of the TSP in cubic graphs is strictly below 4/3. Finally, using similar techniques we show, as an additional result, that every Barnette graph admits a tour of length at most (4/3 - 1/18)n.
Containing Viral Spread on Sparse Random Graphs: Bounds, Algorithms, and Experiments
Viral spread on large graphs has many real-life applications such as malware propagation in computer networks and rumor (or misinformation) spread in Twitter-like online social networks. Although viral spread on large graphs has been intensively analyzed on classical models such as Susceptible-Infectious-Recovered, there still exits a deficit of effective methods in practice to contain epidemic spread once it passes a critical threshold. Against this backdrop, we explore methods of containing viral spread in large networks with the focus on sparse random networks. The viral containment strategy is to partition a large network into small components and then to ensure the sanity of all messages delivered across different components. With such a defense mechanism in place, an epidemic spread starting from any node is limited to only those nodes belonging to the same component as the initial infection node. We establish both lower and upper bounds on the costs of inspecting inter-component messages. We further propose heuristic-based approaches to partition large input graphs into small components. Finally, we study the performance of our proposed algorithms under different network topologies and different edge weight models.
Random Walk with Long-Range Constraints
Published in Electron. J. Probab 19, no. 52 (2014): 1-54
• View Publication
• BIB
We consider a model of a random height function with long-range constraints on a discrete segment. This model was suggested by Benjamini, Yadin and Yehudayoff and is a generalization of simple random walk. The random function is uniformly sampled from all graph homomorphisms from the graph P_{n,d} to the integers Z, where the graph P_{n,d} is the discrete segment {0,1,..., n} with edges between vertices of different parity whose distance is at most 2d+1. Such a graph homomorphism can be viewed as a height function whose values change by exactly one along edges of the graph P_{n,d}. We also consider a similarly defined model on the discrete torus.
Benjamini, Yadin and Yehudayoff conjectured that this model undergoes a phase transition from a delocalized to a localized phase when d grows beyond a threshold c*log(n). We establish this conjecture with the precise threshold log_2(n). Our results provide information on the typical range and variance of the height function for every given pair of n and d, including the critical case when d-log_2(n) tends to a constant.
In addition, we identify the local limit of the model, when d is constant and n tends to infinity, as an explicitly defined Markov chain.
Geodesic Rosen continued fractions
Published
• View Publication
• BIB
We describe how to represent Rosen continued fractions by paths in a class of graphs that arise naturally in hyperbolic geometry. This representation gives insight into Rosen's original work about words in Hecke groups, and it also helps us to identify Rosen continued fraction expansions of shortest length.
Upper bounds for domination related parameters in graphs on surfaces
Published
• View Publication
• BIB
In this paper we give tight upper bounds on the total domination number, the weakly connected domination number and the connected domination number of a graph in terms of order and Euler characteristic. We also present upper bounds for the restrained bondage number, the total restrained bondage number and the restricted edge connectivity of graphs in terms of the orientable/nonorientable genus and maximum degree.
An asymptotically tight bound on the Q-index of graphs with forbidden cycles
Published
• View Publication
• BIB
Let G be a graph of order n and let q(G) be that largest eigenvalue of the signless Laplacian of G. In this note it is shown that if k>1 and q(G)>=n+2k-2, then G contains cycles of length l whenever 2<l<2k+3. This bound is asymptotically tight. It implies an asymptotic solution to a recent conjecture about the maximum q(G) of a graph G with no cycle of a specified length.
Mantel's Theorem for Random Hypergraphs
Published
• View Publication
• BIB
A classical result in extremal graph theory is Mantel's Theorem, which states that every maximum triangle-free subgraph of $K_n$ is bipartite. A sparse version of Mantel's Theorem is that, for sufficiently large $p$, every maximum triangle-free subgraph of $G(n,p)$ is w.h.p. bipartite. Recently, DeMarco and Kahn proved this for $p > K \sqrt{\log n/n}$ for some constant $K$, and apart from the value of the constant this bound is best possible. We study an extremal problem of this type in random hypergraphs. Denote by $F_5$, which sometimes called as the generalized triangle, the 3-uniform hypergraph with vertex set {a,b,c,d,e} and edge set {abc, ade, bde}. One of the first extremal results in extremal hypergraph theory is by Frankl and Füredi, who proved that the maximum 3-uniform hypergraph on n vertices containing no copy of $F_5$ is tripartite for n>3000. A natural question is for what p is every maximum $F_5$-free subhypergraph of $G^3(n,p)$ w.h.p. tripartite. We show this holds for $p>K\log n/n$ for some constant K and does not hold for $p=0.1\sqrt{\log n}/n$.
Number of cycles in the graph of 312-avoiding permutations
Published in Journal of Combinatorial Theory, Series A 129 (2015) 1-18
• View Publication
• BIB
The graph of overlapping permutations is defined in a way analogous to the De Bruijn graph on strings of symbols. That is, for every permutation $π= π_{1} π_{2} ... π_{n+1}$ there is a directed edge from the standardization of $π_{1} π_{2} ... π_{n}$ to the standardization of $π_{2} π_{3} ... π_{n+1}$. We give a formula for the number of cycles of length $d$ in the subgraph of overlapping 312-avoiding permutations. Using this we also give a refinement of the enumeration of 312-avoiding affine permutations and point out some open problems on this graph, which so far has been little studied.
Almost Difference Sets, Normally Regular Digraphs and Cyclotomic Schemes from Cyclotomy of Order Twelve
Using cyclotomic classes of order twelve for certain finite fields, we construct an infinite family of almost difference sets and normally regular graphs applying the theory of cyclotomy. We show that in each of these fields neither the multiplicative cyclic subgroup $C$ of index twelve nor $C\cup \{0\}$ forms an almost difference set, but a union of cosets of $C$ provides us an almost difference set. We also calculate the intersection numbers and character tables of cyclotomic association schemes of class two, three and four obtained from these fields.
Euler tours and unicycles in the rotor-router model
Published
• View Publication
• BIB
A recurrent state of the rotor-routing process on a finite sink-free graph can be represented by a unicycle that is a connected spanning subgraph containing a unique directed cycle. We distinguish between short cycles of length 2 called "dimers" and longer ones called "contours". Then the rotor-router walk performing an Euler tour on the graph generates a sequence of dimers and contours which exhibits both random and regular properties. Imposing initial conditions randomly chosen from the uniform distribution we calculate expected numbers of dimers and contours and correlation between them at two successive moments of time in the sequence. On the other hand, we prove that the excess of the number of contours over dimers is an invariant depending on planarity of the subgraph but not on initial conditions. In addition, we analyze the mean-square displacement of the rotor-router walker in the recurrent state.
On the symmetric doubly stochastic matrices that are determined by their spectra
Published
• View Publication
• BIB
A symmetric doubly stochastic matrix A is said to be determined by its spectra if the only symmetric doubly stochastic matrices that are similar to A are of the form $P^TAP$ for some permutation matrix P. The problem of characterizing such matrices is considered here. An almost the same but a more difficult problem was proposed by [ M. Fang, A note on the inverse eigenvalue problem for symmetric doubly stochastic matrices, Lin. Alg. Appl., 432 (2010) 2925-2927] as follows: Characterize all n-tuples $λ= (1,λ_2,...,λ_n)$ such that up to a permutation similarity, there exists a unique symmetric doubly stochastic matrix with spectrum $λ.$ In this short note, some general results concerning our two problems are first obtained. Then, we completely solve these two problems for the case n = 3. Some connections with spectral graph theory are then studied. Finally, concerning the general case, two open questions are posed and a conjecture is introduced.
Games and Complexes I: Transformation via Ideals
Published
• View Publication
• BIB
Placement games are a subclass of combinatorial games which are played on graphs. We will demonstrate that one can construct simplicial complexes corresponding to a placement game, and this game could be considered as a game played on these simplicial complexes. These complexes are constructed using square-free monomials.
Domination subdivision and domination multisubdivision numbers of graphs
Published
• View Publication
• BIB
The \emph{domination subdivision number} sd$(G)$ of a graph $G$ is the minimum number of edges that must be subdivided (where an edge can be subdivided at most once) in order to increase the domination number of $G$. It has been shown \cite{vel} that sd$(T)\leq 3$ for any tree $T$. We prove that the decision problem of the domination subdivision number is NP-complete even for bipartite graphs. For this reason we define the \emph{domination multisubdivision number} of a nonempty graph $G$ as a minimum positive integer $k$ such that there exists an edge which must be subdivided $k$ times to increase the domination number of $G$. We show that msd$(G)\leq 3$ for any graph $G$. The domination subdivision number and the domination multisubdivision numer of a graph are incomparable in general case, but we show that for trees these two parameters are equal. We also determine domination multisubdivision number for some classes of graphs.