graph
35175 papers tagged with this keyword
Graphs with two trivial critical ideals
Published in Discrete Applied Mathematics 167 (2014) 33-44
• View Publication
• BIB
The critical ideals of a graph are the determinantal ideals of the generalized Laplacian matrix associated to a graph. A basic property of the critical ideals of graphs asserts that the graphs with at most k trivial critical ideals, $Γ_{\leq k}$, are closed under induced subgraphs. In this article we find the set of minimal forbidden subgraphs for $Γ_{\leq 2}$, and we use this forbidden subgraphs to get a classification of the graphs in $Γ_{\leq 2}$. As a consequence we give a classification of the simple graphs whose critical group has two invariant factors equal to one. At the end of this article we give two infinite families of forbidden subgraphs.
Canonical representatives for divisor classes on tropical curves and the Matrix-Tree Theorem
Published in Forum Math. Sigma 2 (2014), 25
• View Publication
• BIB
Let $Γ$ be a compact tropical curve (or metric graph) of genus $g$. Using the theory of tropical theta functions, Mikhalkin and Zharkov proved that there is a canonical effective representative (called a break divisor) for each linear equivalence class of divisors of degree $g$ on $Γ$. We present a new combinatorial proof of the fact that there is a unique break divisor in each equivalence class, establishing in the process an "integral" version of this result which is of independent interest. As an application, we provide a "geometric proof" of (a dual version of) Kirchhoff's celebrated Matrix-Tree Theorem. Indeed, we show that each weighted graph model $G$ for $Γ$ gives rise to a canonical polyhedral decomposition of the $g$-dimensional real torus ${\rm Pic}^g(Γ)$ into parallelotopes $C_T$, one for each spanning tree $T$ of $G$, and the dual Kirchhoff theorem becomes the statement that the volume of ${\rm Pic}^g(Γ)$ is the sum of the volumes of the cells in the decomposition.
Minimum Vector Rank and Complement Critical Graphs
Published
• View Publication
• BIB
Given a graph G, a real orthogonal representation of G is a function from its set of vertices to R^d such that two vertices are mapped to orthogonal vectors if and only if they are not neighbors. The minimum vector rank of a graph is the smallest dimension d for which such a representation exists. This quantity is closely related to the minimum semidefinite rank of G, which has been widely studied. Considering the minimum vector rank as an analogue of the chromatic number, this work defines critical graphs as those for which the removal of any vertex decreases the minimum vector rank; and complement critical graphs as those for which the removal of any vertex decreases the minimum vector rank of either the graph or its complement. It establishes necessary and sufficient conditions for certain classes of graphs to be complement critical, in the process calculating their minimum vector rank. In addition, this work demonstrates that complement critical graphs form a sufficient set to prove the Graph Complement Conjecture, which remains open.
On extremal graphs with at most $\ell$ internally disjoint Steiner trees connecting any n-1 vertices
Published
• View Publication
• BIB
The concept of maximum local connectivity $\bar κ$ of a graph was introduced by Bollobás. One of the problems about it is to determine the largest number of edges $f(n;\barκ\leq \ell)$ for graphs of order $n$ that have local connectivity at most $\ell$. We consider a generalization of the above concept and problem. For $S\subseteq V(G)$ and $|S|\geq 2$, the \emph{generalized local connectivity} $κ(S)$ is the maximum number of internally disjoint trees connecting $S$ in $G$. The parameter $\barκ_k(G)=max\{κ(S)|S\subseteq V(G),|S|=k\}$ is called the \emph{maximum generalized local connectivity} of $G$. This paper it to consider the problem of determining the largest number $f(n;\barκ_k\leq \ell)$ of edges for graphs of order $n$ that have maximum generalized local connectivity at most $\ell$. The exact value of $f(n;\barκ_k\leq \ell)$ for $k=n,n-1$ is determined. For a general $k$, we construct a graph to obtain a sharp lower bound.
Solving the Tower of Hanoi with Random Moves
Published in In: The Mathematics of Various Entertaining Subjects: Research in Recreational Math, Princeton University Press, 2016, pp. 65-79. ISBN 978-0-691-16403-8
• View Publication
• BIB
We prove the exact formulae for the expected number of moves to solve several variants of the Tower of Hanoi puzzle with 3 pegs and n disks, when each move is chosen uniformly randomly from the set of all valid moves. We further present an alternative proof for one of the formulae that couples a theorem about expected commute times of random walks on graphs with the delta-to-wye transformation used in the analysis of three-phase AC systems for electrical power distribution.
Characterization of tricyclic graphs with exactly two $Q$-main eigenvalues
The signless Laplacian matrix of a graph $G$ is defined to be the sum of its adjacency matrix and degree diagonal matrix, and its eigenvalues are called $Q$-eigenvalues of $G$. A $Q$-eigenvalue of a graph $G$ is called a $Q$-main eigenvalue if it has an eigenvector the sum of whose entries is not equal to zero. Chen and Huang [L. Chen, Q.X. Huang, Trees, unicyclic graphs and bicyclic graphs with exactly two $Q$-main eigenvalues, submitted for publication] characterized all trees, unicylic graphs and bicyclic graphs with exactly two main $Q$-eigenvalues, respectively. As a continuance of it, in this paper, all tricyclic graphs with exactly two $Q$-main eigenvalues are characterized.
A notion of graph likelihood and an infinite monkey theorem
Published
• View Publication
• BIB
We play with a graph-theoretic analogue of the folklore infinite monkey theorem. We define a notion of graph likelihood as the probability that a given graph is constructed by a monkey in a number of time steps equal to the number of vertices. We present an algorithm to compute this graph invariant and closed formulas for some infinite classes. We have to leave the computational complexity of the likelihood as an open problem.
Decomposition into two trees with orientation constraints
Published
• View Publication
• BIB
We prove that deciding whether the edge set of a graph can be partitionned into two spanning trees with orientation constraints is NP-complete. If P $\neq$ NP then this disproves a conjecture of Recski.
Infinitesimal rigidity for non-Euclidean bar-joint frameworks
Published
• View Publication
• BIB
The minimal infinitesimal rigidity of bar-joint frameworks in the non-Euclidean spaces (R^2, ||.||_q) are characterised in terms of (2,2)-tight graphs. Specifically, a generically placed bar-joint framework (G,p) in the plane is minimally infinitesimally rigid with respect to a non-Euclidean l^q norm if and only if the underlying graph G = (V,E) contains 2|V|-2 edges and every subgraph H=(V(H),E(H)) contains at most 2|V(H)|-2 edges.
On the Average Number of Edges in Theta Graphs
Published
• View Publication
• BIB
Theta graphs are important geometric graphs that have many applications, including wireless networking, motion planning, real-time animation, and minimum-spanning tree construction. We give closed form expressions for the average degree of theta graphs of a homogeneous Poisson point process over the plane. We then show that essentially the same bounds---with vanishing error terms---hold for theta graphs of finite sets of points that are uniformly distributed in a square. Finally, we show that the number of edges in a theta graph of points uniformly distributed in a square is concentrated around its expected value.
Amenability and Unique Ergodicity of Automorphism Groups of Fraïssé Structures
Published
• View Publication
• BIB
In this paper we provide a necessary and sufficient condition for the amenability of the automorphism group of Fraïssé structures and apply it to prove the non-amenability of the automorphism groups of the directed graph $\mathbf{S}(3)$ and the Boron tree structure $\mathbf{T}$. Also, we provide a negative answer to the Unique Ergodicity-Generic Point problem of Angel-Kechris-Lyons [AKL]. By considering $\mathrm{GL}(\mathbf{V}_\infty)$, where $\mathbf{V}_\infty$ is the countably infinite dimensional vector space over a finite field $F_q$, we show that the unique invariant measure on the universal minimal flow of $\mathrm{GL}(\mathbf{V}_\infty)$ is not supported on the generic orbit.
Complements of nearly perfect graphs
Published in Journal of Combinatorics, 4(3):299-310, 2013
• View Publication
• BIB
A class of graphs closed under taking induced subgraphs is $χ$-bounded if there exists a function $f$ such that for all graphs $G$ in the class, $χ(G) \leq f(ω(G))$. We consider the following question initially studied in [A. Gy{á}rf{á}s, Problems from the world surrounding perfect graphs, {\em Zastowania Matematyki Applicationes Mathematicae}, 19:413--441, 1987]. For a $χ$-bounded class $\cal C$, is the class $\bar{C}$ $χ$-bounded (where $\bar{\cal C}$ is the class of graphs formed by the complements of graphs from $\cal C$)? We show that if $\cal C$ is $χ$-bounded by the constant function $f(x)=3$, then $\bar{\cal C}$ is $χ$-bounded by $g(x)=\lfloor\frac{8}{5}x\rfloor$ and this is best possible. We show that for every constant $c>0$, if $\cal C$ is $χ$-bounded by a function $f$ such that $f(x)=x$ for $x \geq c$, then $\bar{\cal C}$ is $χ$-bounded. For every $j$, we construct a class of graphs $χ$-bounded by $f(x)=x+x/\log^j(x)$ whose complement is not $χ$-bounded.
Geometric aspects of 2-walk-regular graphs
Published in Linear Algebra and its Applications 439 (2013), 2692-2710
• View Publication
• BIB
A $t$-walk-regular graph is a graph for which the number of walks of given length between two vertices depends only on the distance between these two vertices, as long as this distance is at most $t$. Such graphs generalize distance-regular graphs and $t$-arc-transitive graphs. In this paper, we will focus on 1- and in particular 2-walk-regular graphs, and study analogues of certain results that are important for distance regular graphs. We will generalize Delsarte's clique bound to 1-walk-regular graphs, Godsil's multiplicity bound and Terwilliger's analysis of the local structure to 2-walk-regular graphs. We will show that 2-walk-regular graphs have a much richer combinatorial structure than 1-walk-regular graphs, for example by proving that there are finitely many non-geometric 2-walk-regular graphs with given smallest eigenvalue and given diameter (a geometric graph is the point graph of a special partial linear space); a result that is analogous to a result on distance-regular graphs. Such a result does not hold for 1-walk-regular graphs, as our construction methods will show.
Mod-phi convergence I: Normality zones and precise deviations
Published
• View Publication
• BIB
In this paper, we use the framework of mod-$φ$ convergence to prove precise large or moderate deviations for quite general sequences of real valued random variables $(X_{n})_{n \in \mathbb{N}}$, which can be lattice or non-lattice distributed. We establish precise estimates of the fluctuations $P[X_{n} \in t_{n}B]$, instead of the usual estimates for the rate of exponential decay $\log( P[X_{n}\in t_{n}B])$. Our approach provides us with a systematic way to characterise the normality zone, that is the zone in which the Gaussian approximation for the tails is still valid. Besides, the residue function measures the extent to which this approximation fails to hold at the edge of the normality zone.
The first sections of the article are devoted to a proof of these abstract results and comparisons with existing results. We then propose new examples covered by this theory and coming from various areas of mathematics: classical probability theory, number theory (statistics of additive arithmetic functions), combinatorics (statistics of random permutations), random matrix theory (characteristic polynomials of random matrices in compact Lie groups), graph theory (number of subgraphs in a random Erdős-Rényi graph), and non-commutative probability theory (asymptotics of random character values of symmetric groups). In particular, we complete our theory of precise deviations by a concrete method of cumulants and dependency graphs, which applies to many examples of sums of "weakly dependent" random variables. The large number as well as the variety of examples hint at a universality class for second order fluctuations.
Non-Vertex-Balanced Factors in Random Graphs
Published
• View Publication
• BIB
We prove part of a conjecture by Johansson, Kahn and Vu \cite{JKV} regarding threshold functions for the existence of an $H$-factor in a random graph \gnp. We prove that the conjectured threshold function is correct for any graph $H$ which is not covered by its densest subgraphs. We also demonstrate that the main result of \cite{JKV} generalises to multigraphs, digraphs, and a multipartite model.
On oriented graphs with minimal skew energy
Published
• View Publication
• BIB
Let $S(G^σ)$ be the skew-adjacency matrix of an oriented graph $G^σ$. The skew energy of $G^σ$ is defined as the sum of all singular values of its skew-adjacency matrix $S(G^σ)$. In this paper, we first deduce an integral formula for the skew energy of an oriented graph. Then we determine all oriented graphs with minimal skew energy among all connected oriented graphs on $n$ vertices with $m \ (n\le m < 2(n-2))$ arcs, which is an analogy to the conjecture for the energy of undirected graphs proposed by Caporossi {\it et al.} [G. Caporossi, D. Cvetkovi$\acute{c}$, I. Gutman, P. Hansen, Variable neighborhood search for extremal graphs. 2. Finding graphs with external energy, J. Chem. Inf. Comput. Sci. 39 (1999) 984-996.]
Lexicographic identifying codes
An identifying code in a graph is a set of vertices which intersects all the symmetric differences between pairs of neighbourhoods of vertices. Not all graphs have identifying codes; those that do are referred to as twin-free. In this paper, we design an algorithm that finds an identifying code in a twin-free graph on n vertices in O(n^3) binary operations, and returns a failure if the graph is not twin-free. We also determine an alternative for sparse graphs with a running time of O(n^2d log n) binary operations, where d is the maximum degree. We also prove that these algorithms can return any identifying code with minimum cardinality, provided the vertices are correctly sorted.
New families of completely transitive codes and distance transitive graphs
Published
• View Publication
• BIB
In this paper new infinite families of linear binary completely transitive codes are presented. They have covering radius $ρ= 3$ and 4, and are a half part of the binary Hamming and the binary extended Hamming code of length $n=2^m-1$ and $2^m$, respectively, where $m$ is even. From these new completely transitive codes, in the usual way, i.e., as coset graphs, new presentations of infinite families of distance transitive coset graphs of diameter three and four, respectively, are constructed.
Adjoint functors in graph theory
We survey some uses of adjoint functors in graph theory pertaining to colourings, complexity reductions, multiplicativity, circular colourings and tree duality. The exposition of these applications through adjoint functors unifies the presentation to some extent, and also raises interesting questions.
Bootstrap percolation on Galton-Watson trees
Bootstrap percolation is a type of cellular automaton which has been used to model various physical phenomena, such as ferromagnetism. For each natural number $r$, the $r$-neighbour bootstrap process is an update rule for vertices of a graph in one of two states: `infected' or `healthy'. In consecutive rounds, each healthy vertex with at least $r$ infected neighbours becomes itself infected. Percolation is said to occur if every vertex is eventually infected.
Usually, the starting set of infected vertices is chosen at random, with all vertices initially infected independently with probability $p$. In that case, given a graph $G$ and infection threshold $r$, a quantity of interest is the critical probability, $p_c(G,r)$, at which percolation becomes likely to occur. In this paper, we look at infinite trees and, answering a problem posed by Balogh, Peres and Pete, we show that for any $b \geq r$ and for any $ε> 0$ there exists a tree $T$ with branching number $\br(T) = b$ and critical probability $p_c(T,r) < ε$. However, this is false if we limit ourselves to the well-studied family of Galton--Watson trees. We show that for every $r \geq 2$ there exists a constant $c_r>0$ such that if $T$ is a Galton--Watson tree with branching number $\br(T) = b \geq r$ then p_c(T,r) > \frac{c_r}{b} e^{-\frac{b}{r-1}}.
We also show that this bound is sharp up to a factor of $O(b)$ by giving an explicit family of Galton--Watson trees with critical probability bounded from above by $C_r e^{-\frac{b}{r-1}}$ for some constant $C_r>0$.