graph
34995 papers tagged with this keyword
Searching for partial Hadamard matrices
Three algorithms looking for pretty large partial Hadamard matrices are described. Here "large" means that hopefully about a third of a Hadamard matrix (which is the best asymptotic result known so far, [dLa00]) is achieved. The first one performs some kind of local exhaustive search, and consequently is expensive from the time consuming point of view. The second one comes from the adaptation of the best genetic algorithm known so far searching for cliques in a graph, due to Singh and Gupta [SG06]. The last one consists in another heuristic search, which prioritizes the required processing time better than the final size of the partial Hadamard matrix to be obtained.
In all cases, the key idea is characterizing the adjacency properties of vertices in a particular subgraph G_t of Ito's Hadamard Graph Delta (4t) [Ito85], since cliques of order m in G_t can be seen as (m+3)*4t partial Hadamard matrices.
Global sum on symmetric networks
We are interested in the following problem we call global sum. Each processor starts with a single real value. At each time step, every directed edge in the graph can simultaneously be used to transmit a single (bounded) number between the processors (vertices). How many time steps s are required to ensure that every processor acquires the global sum? We know that s is bounded below by the diameter and above by two times the diameter. We conjecture that for vertex symmetric graphs, s is equal to the diameter. We show this is true if the diameter is 2.
The minimal size of a graph with given generalized 3-edge-connectivity
For $S\subseteq V(G)$ and $|S|\geq 2$, $λ(S)$ is the maximum number of edge-disjoint trees connecting $S$ in $G$. For an integer $k$ with $2\leq k\leq n$, the \emph{generalized $k$-edge-connectivity} $λ_k(G)$ of $G$ is then defined as $λ_k(G)= min\{λ(S) : S\subseteq V(G) \ and \ |S|=k\}$. It is also clear that when $|S|=2$, $λ_2(G)$ is nothing new but the standard edge-connectivity $λ(G)$ of $G$. In this paper, graphs of order $n$ such that $λ_3(G)=n-3$ is characterized. Furthermore, we determine the minimal number of edges of a graph of order $n$ with $λ_3=1,n-3,n-2$ and give a sharp lower bound for $2\leq λ_3\leq n-4$.
Packing of Rigid Spanning Subgraphs and Spanning Trees
Published
• View Publication
• BIB
We prove that every (6k + 2l, 2k)-connected simple graph contains k rigid and l connected edge-disjoint spanning subgraphs. This implies a theorem of Jackson and Jordán [4] and a theorem of Jordán [6] on packing of rigid spanning subgraphs. Both these results are generalizations of the classical result of Lovász and Yemini [9] saying that every 6-connected graph is rigid for which our approach provides a transparent proof. Our result also gives two improved upper bounds on the connectivity of graphs that have interesting properties: (1) every 8-connected graph packs a spanning tree and a 2-connected spanning subgraph; (2) every 14-connected graph has a 2-connected orientation.
Finding Weighted Graphs by Combinatorial Search
We consider the problem of finding edges of a hidden weighted graph using a certain type of queries. Let $G$ be a weighted graph with $n$ vertices. In the most general setting, the $n$ vertices are known and no other information about $G$ is given. The problem is finding all edges of $G$ and their weights using additive queries, where, for an additive query, one chooses a set of vertices and asks the sum of the weights of edges with both ends in the set. This model has been extensively used in bioinformatics including genom sequencing. Extending recent results of Bshouty and Mazzawi, and Choi and Kim, we present a polynomial time randomized algorithm to find the hidden weighted graph $G$ when the number of edges in $G$ is known to be at most $m\geq 2$ and the weight $w(e)$ of each edge $e$ satisfies $\ga \leq |w(e)|\leq \gb$ for fixed constants $\ga, \gb>0$. The query complexity of the algorithm is $O(\frac{m \log n}{\log m})$, which is optimal up to a constant factor.
A note on heterochromatic cycles of length 4 in edge-colored graphs
Let $G$ be an edge-colored graph. A heterochromatic cycle of $G$ is one in which every two edges have different colors. For a vertex $v\in V(G)$, let $CN(v)$ denote the set of colors which are assigned to the edges incident to $v$. In this note we prove that $G$ contains a heterochromatic cycle of length 4 if $G$ has $n\geq 60$ vertices and $|CN(u)\cup CN(v)|\geq n-1$ for every pair of vertices $u$ and $v$ of $G$. This extends a result of Broersma et al. on the existence of heterochromatic cycles of length 3 or 4.
Benjamini-Schramm convergence and the distribution of chromatic roots for sparse graphs
We define the chromatic measure of a finite simple graph as the uniform distribution on its chromatic roots. We show that for a Benjamini-Schramm convergent sequence of finite graphs, the chromatic measures converge in holomorphic moments.
As a corollary, for a convergent sequence of finite graphs, we prove that the normalized log of the chromatic polynomial converges to an analytic function outside a bounded disc. This generalizes a recent result of Borgs, Chayes, Kahn and Lovász, who proved convergence at large enough positive integers and answers a question of Borgs.
Our methods also lead to explicit estimates on the number of proper colorings of graphs with large girth.
Detecting Tampering in a Random Hypercube
Published
• View Publication
• BIB
Consider the random hypercube $H_2^n(p_n)$ obtained from the hypercube $H_2^n$ by deleting any given edge with probabilty $1-p_n$, independently of all the other edges. A diameter path in $H_2^n$ is a longest geodesic path in $H_2^n$. Consider the following two ways of tampering with the random graph $H_2^n(p_n)$: (i) choose a diameter path at random and adjoin all of its edges to $H_2^n(p_n)$; (ii) choose a diameter path at random from among those that start at $0=(0,..., 0)$, and adjoin all of its edges to $H_2^n(p_n)$. We study the question of whether these tamperings are detectable asymptotically as $n\to\infty$.
Sharkovsky's Theorem and one-dimensional combinatorial dynamics
A proof of Sharkovsky's Theorem is given. It is shown how this proof naturally generalizes to looking at maps on graphs and to Sharkovsky-type theorems for these maps. The paper is written at an elementary level and is meant as an introduction to one-dimensional combinatorial dynamics.
Spanning trees and even integer eigenvalues of graphs
Published
• View Publication
• BIB
For a graph $G$, let $L(G)$ and $Q(G)$ be the Laplacian and signless Laplacian matrices of $G$, respectively, and $τ(G)$ be the number of spanning trees of $G$. We prove that if $G$ has an odd number of vertices and $τ(G)$ is not divisible by $4$, then (i) $L(G)$ has no even integer eigenvalue, (ii) $Q(G)$ has no integer eigenvalue $λ\equiv2\pmod4$, and (iii) $Q(G)$ has at most one eigenvalue $λ\equiv0\pmod4$ and such an eigenvalue is simple. As a consequence, we extend previous results by Gutman and Sciriha and by Bapat on the nullity of adjacency matrices of the line graphs. We also show that if $τ(G)=2^ts$ with $s$ odd, then the multiplicity of any even integer eigenvalue of $Q(G)$ is at most $t+1$. Among other things, we prove that if $L(G)$ or $Q(G)$ has an even integer eigenvalue of multiplicity at least $2$, then $τ(G)$ is divisible by $4$. As a very special case of this result, a conjecture by Zhou et al. [On the nullity of connected graphs with least eigenvalue at least $-2$, Appl. Anal. Discrete Math. 7 (2013), 250--261] on the nullity of adjacency matrices of the line graphs of unicyclic graphs follows.
On graphs with a large chromatic number containing no small odd cycles
Published in Journal of Mathematical Sciences. 2012, V. 184 (5), pp 573-578
• View Publication
• BIB
In this paper, we present the lower bounds for the number of vertices in a graph with a large chromatic number containing no small odd cycles.
On Order and Rank of Graphs
Published
• View Publication
• BIB
The rank of a graph is defined to be the rank of its adjacency matrix. A graph is called reduced if it has no isolated vertices and no two vertices with the same set of neighbors. Akbari, Cameron, and Khosrovshahi conjectured that the number of vertices of every reduced graph of rank r is at most $m(r)=2^{(r+2)/2}-2$ if r is even and $m(r) = 5\cdot2^{(r-3)/2}-2$ if r is odd. In this article, we prove that if the conjecture is not true, then there would be a counterexample of rank at most $46$. We also show that every reduced graph of rank r has at most $8m(r)+14$ vertices.
Graphs with large generalized 3-connectivity
Let $S$ be a nonempty set of vertices of a connected graph $G$. A collection $T_1,..., T_\ell$ of trees in $G$ is said to be internally disjoint trees connecting $S$ if $E(T_i)\cap E(T_j)= \emptyset$ and $V(T_i)\cap V(T_j)=S$ for any pair of distinct integers $i, j$, where $1 \leq i, j \leq r$. For an integer $k$ with $2 \leq k \leq n$, the generalized $k$-connectivity $κ_k(G)$ of $G$ is the greatest positive integer $r$ such that $G$ contains at least $r$ internally disjoint trees connecting $S$ for any set $S$ of $k$ vertices of $G$. Obviously, $κ_2(G)$ is the connectivity of $G$. In this paper, sharp upper and lower bounds of $κ_3(G)$ are given for a connected graph $G$ of order $n$, that is, $1 \leq κ_3(G) \leq n - 2$. Graphs of order $n$ such that $κ_3(G) = n - 2, n - 3$ are characterized, respectively.
5-choosability of graphs with crossings far apart
Published
• View Publication
• BIB
We give a new proof of the fact that every planar graph is 5-choosable, and use it to show that every graph drawn in the plane so that the distance between every pair of crossings is at least 15 is 5-choosable. At the same time we may allow some vertices to have lists of size four only, as long as they are far apart and far from the crossings.
Infinite graphs in systematic biology, with an application to the species problem
Published in Acta Biotheoretica 61(2), pp.181--201, 2013
• View Publication
• BIB
We argue that C. Darwin and more recently W. Hennig worked at times under the simplifying assumption of an eternal biosphere. So motivated, we explicitly consider the consequences which follow mathematically from this assumption, and the infinite graphs it leads to. This assumption admits certain clusters of organisms which have some ideal theoretical properties of species, shining some light onto the species problem. We prove a dualization of a law of T.A. Knight and C. Darwin, and sketch a decomposition result involving the internodons of D. Kornet, J. Metz and H. Schellinx. A further goal of this paper is to respond to B. Sturmfels' question, "Can biology lead to new theorems?"
h-Vectors of matroids and logarithmic concavity
Published
• View Publication
• BIB
Let M be a matroid on E, representable over a field of characteristic zero. We show that h-vectors of the following simplicial complexes are log-concave: 1. The matroid complex of independent subsets of E. 2. The broken circuit complex of $M$ relative to an ordering of E. The first implies a conjecture of Colbourn on the reliability polynomial of a graph, and the second implies a conjecture of Hoggar on the chromatic polynomial of a graph. The proof is based on the geometric formula for the characteristic polynomial of Denham, Garrousian, and Schulze.
The HIM glocal metric and kernel for network comparison and classification
Published
• View Publication
• BIB
Due to the ever rising importance of the network paradigm across several areas of science, comparing and classifying graphs represent essential steps in the networks analysis of complex systems. Both tasks have been recently tackled via quite different strategies, even tailored ad-hoc for the investigated problem. Here we deal with both operations by introducing the Hamming-Ipsen-Mikhailov (HIM) distance, a novel metric to quantitatively measure the difference between two graphs sharing the same vertices. The new measure combines the local Hamming distance and the global spectral Ipsen-Mikhailov distance so to overcome the drawbacks affecting the two components separately. Building then the HIM kernel function derived from the HIM distance it is possible to move from network comparison to network classification via the Support Vector Machine (SVM) algorithm. Applications of HIM distance and HIM kernel in computational biology and social networks science demonstrate the effectiveness of the proposed functions as a general purpose solution.
Fork-forests in bi-colored complete bipartite graphs
Published
• View Publication
• BIB
Motivated by the problem in [6], which studies the relative efficiency of propositional proof systems, 2-edge colorings of complete bipartite graphs are investigated. It is shown that if the edges of $G=K_{n,n}$ are colored with black and white such that the number of black edges differs from the number of white edges by at most 1, then there are at least $n(1-1/\sqrt{2})$ vertex-disjoint forks with centers in the same partite set of $G$. Here, a fork is a graph formed by two adjacent edges of different colors. The bound is sharp. Moreover, an algorithm running in time $O(n^2 \log n \sqrt{n α(n^2,n) \log n})$ and giving a largest such fork forest is found.
Positive margins and primary decomposition
Published in J. Commut. Algebra, Volume 6, Number 2 (2014), 173-208
• View Publication
• BIB
We study random walks on contingency tables with fixed marginals, corresponding to a (log-linear) hierarchical model. If the set of allowed moves is not a Markov basis, then there exist tables with the same marginals that are not connected. We study linear conditions on the values of the marginals that ensure that all tables in a given fiber are connected. We show that many graphical models have the positive margins property, which says that all fibers with strictly positive marginals are connected by the quadratic moves that correspond to conditional independence statements. The property persists under natural operations such as gluing along cliques, but we also construct examples of graphical models not enjoying this property. We also provide a negative answer to a question of Engström, Kahle, and Sullivant by demonstrating that the global Markov ideal of the complete bipartite graph K_(3,3) is not radical.
Our analysis of the positive margins property depends on computing the primary decomposition of the associated conditional independence ideal. The main technical results of the paper are primary decompositions of the conditional independence ideals of graphical models of the $N$-cycle and the complete bipartite graph $K_(2,N-2)$, with various restrictions on the size of the nodes.
Combinatorial Reciprocity Theorems
Published in Jahresbericht der DMV 114, no. 1 (2012), 3-22
• View Publication
• BIB
A common theme of enumerative combinatorics is formed by counting functions that are polynomials evaluated at positive integers. In this expository paper, we focus on four families of such counting functions connected to hyperplane arrangements, lattice points in polyhedra, proper colorings of graphs, and $P$-partitions. We will see that in each instance we get interesting information out of a counting function when we evaluate it at a \emph{negative} integer (and so, a priori the counting function does not make sense at this number). Our goals are to convey some of the charm these "alternative" evaluations of counting functions exhibit, and to weave a unifying thread through various combinatorial reciprocity theorems by looking at them through the lens of geometry, which will include some scenic detours through other combinatorial concepts.