graph
34828 papers tagged with this keyword
Coloring Graphs to Produce Properly Colored Walks
Published
• View Publication
• BIB
For a connected graph, we define the proper-walk connection number as the minimum number of colors needed to color the edges of a graph so that there is a walk between every pair of vertices without two consecutive edges having the same color. We show that the proper-walk connection number is at most three for all cyclic graphs, and at most two for bridgeless graphs. We also characterize the bipartite graphs that have proper-walk connection number equal to two, and show that this characterization also holds for the analogous problem where one is restricted to properly colored paths.
A non-backtracking Polya's theorem
Published
• View Publication
• BIB
Pólya's random walk theorem states that a random walk on a $d$-dimensional grid is recurrent for $d=1,2$ and transient for $d\ge3$. We prove a version of Pólya's random walk theorem for non-backtracking random walks. Namely, we prove that a non-backtracking random walk on a $d$-dimensional grid is recurrent for $d=2$ and transient for $d=1$, $d\ge3$. Along the way, we prove several useful general facts about non-backtracking random walks on graphs. In addition, our proof includes an exact enumeration of the number of closed non-backtracking random walks on an infinite 2-dimensional grid. This enumeration suggests an interesting combinatorial link between non-backtracking random walks on grids, and trinomial coefficients.
Negative Circles in Signed Graphs: A Problem Collection
Published in Electronic Notes Discrete Math., 63 (2017), 41-47
• View Publication
• BIB
I propose that most problems about circles (cycles, circuits) in ordinary graphs that have odd or even length find their proper setting in the theory of signed graphs, where each edge has a sign, $+$ or $-$. Even-circle and odd-circle problems correspond to questions about positive and negative circles in signed graphs. (The sign of a circle is the product of its edge signs.) I outline questions about circles in signed graphs, that seem natural and potentially important.
Forbidden Induced Subgraphs
Published in Electronic Notes Discrete Math., 63 (2017), 3-10
• View Publication
• BIB
In descending generality I survey: five partial orderings of graphs, the induced-subgraph ordering, and examples like perfect, threshold, and mock threshold graphs. The emphasis is on how the induced subgraph ordering differs from other popular orderings and leads to different basic questions.
Drawing graphs using a small number of obstacles
Published
• View Publication
• BIB
An obstacle representation of a graph $G$ is a set of points in the plane representing the vertices of $G$, together with a set of polygonal obstacles such that two vertices of $G$ are connected by an edge in $G$ if and only if the line segment between the corresponding points avoids all the obstacles. The obstacle number ${\rm obs}(G)$ of $G$ is the minimum number of obstacles in an obstacle representation of $G$.
We provide the first non-trivial general upper bound on the obstacle number of graphs by showing that every $n$-vertex graph $G$ satisfies ${\rm obs}(G) \leq n\lceil\log{n}\rceil-n+1$. This refutes a conjecture of Mukkamala, Pach, and Pálvölgyi. For $n$-vertex graphs with bounded chromatic number, we improve this bound to $O(n)$. Both bounds apply even when the obstacles are required to be convex.
We also prove a lower bound $2^{Ω(hn)}$ on the number of $n$-vertex graphs with obstacle number at most $h$ for $h<n$ and a lower bound $Ω(n^{4/3}M^{2/3})$ for the complexity of a collection of $M \geq Ω(n\log^{3/2}{n})$ faces in an arrangement of line segments with $n$ endpoints. The latter bound is tight up to a multiplicative constant.
A zero-sum problem on graphs
Call a graph $G$ zero-forcing for a finite abelian group $\mathcal{G}$ if for every $\ell : V(G) \to \mathcal{G}$ there is a connected $A \subseteq V(G)$ with $\sum_{a \in A} \ell(a) = 0$. The problem we pose here is to characterise the class of zero-forcing graphs. It is shown that a connected graph is zero-forcing for the cyclic group of prime order $p$ if and only if it has at least $p$ vertices. When $|\mathcal{G}|$ is not prime, however, being zero-forcing is intimately linked to the structure of the graph. We obtain partial solutions for the general case, discuss computational issues and present several questions.
A Tutte polynomial for maps
Published
• View Publication
• BIB
We follow the example of Tutte in his construction of the dichromate of a graph (that is, the Tutte polynomial) as a unification of the chromatic polynomial and the flow polynomial in order to construct a new polynomial invariant of maps (graphs embedded in orientable surfaces). We call this the surface Tutte polynomial. The surface Tutte polynomial of a map contains the Las Vergnas polynomial, Bollobás-Riordan polynomial and Kruskhal polynomial as specializations. By construction, the surface Tutte polynomial includes among its evaluations the number of local tensions and local flows taking values in any given finite group. Other evaluations include the number of quasi-forests.
Ore and Chvátal-type Degree Conditions for Bootstrap Percolation from Small Sets
Published
• View Publication
• BIB
Bootstrap percolation is a deterministic cellular automaton in which vertices of a graph~$G$ begin in one of two states, "dormant" or "active". Given a fixed integer $r$, a dormant vertex becomes active if at any stage it has at least $r$ active neighbors, and it remains active for the duration of the process. Given an initial set of active vertices $A$, we say that $G$ $r$-percolates (from $A$) if every vertex in $G$ becomes active after some number of steps. Let $m(G,r)$ denote the minimum size of a set $A$ such that $G$ $r$-percolates from $A$.
Bootstrap percolation has been studied in a number of settings, and has applications to both statistical physics and discrete epidemiology. Here, we are concerned with degree-based density conditions that ensure $m(G,2)=2$. In particular, we give an Ore-type degree sum result that states that if a graph $G$ satisfies $σ_2(G)\ge n-2$, then either $m(G,2)=2$ or $G$ is in one of a small number of classes of exceptional graphs. We also give a Chvátal-type degree condition: If $G$ is a graph with degree sequence $d_1\le d_2\le\dots\le d_n$ such that $d_i \geq i+1$ or $d_{n-i} \geq n-i-1$ for all $1 \leq i < \frac{n}{2}$, then $m(G,2)=2$ or $G$ falls into one of several specific exceptional classes of graphs. Both of these results are inspired by, and extend, an Ore-type result in [D. Freund, M. Poloczek, and D. Reichman, Contagious sets in dense graphs, to appear in European J. Combin.]
Nowhere-zero $3$-flow and $\mathbb{Z}_3$-connectedness in Graphs with Four Edge-disjoint Spanning Trees
Published
• View Publication
• BIB
Given a zero-sum function $β: V(G) \rightarrow \mathbb{Z}_3$ with $\sum_{v\in V(G)}β(v)=0$, an orientation $D$ of $G$ with $d^+_D(v)-d^-_D(v)= β(v)$ in $\mathbb{Z}_3$ for every vertex $v\in V(G)$ is called a $β$-orientation. A graph $G$ is $\mathbb{Z}_3$-connected if $G$ admits a $β$- orientation for every zero-sum function $β$. Jaeger et al. conjectured that every $5$-edge-connected graph is $\mathbb{Z}_3$-connected. A graph is $\langle\mathbb{Z}_3\rangle$-extendable at vertex $v$ if any pre-orientation at $v$ can be extended to a $β$-orientation of $G$ for any zero-sum function $β$. We observe that if every $5$-edge-connected essentially $6$-edge-connected graph is $\langle\mathbb{Z}_3\rangle$-extendable at any degree five vertex, then the above mentioned conjecture by Jaeger et al. holds as well. Furthermore, applying the partial flow extension method of Thomassen and of Lovász et al., we prove that every graph with at least 4 edge-disjoint spanning trees is $\mathbb{Z}_3$-connected. Consequently, every $5$-edge-connected essentially $23$-edge-connected graph is $\langle\mathbb{Z}_3\rangle$-extendable at degree five vertex.
The Chow form of a reciprocal linear space
Published
• View Publication
• BIB
A reciprocal linear space is the image of a linear space under coordinate-wise inversion. These fundamental varieties describe the analytic centers of hyperplane arrangements and appear as part of the defining equations of the central path of a linear program. Their structure is controlled by an underlying matroid. This provides a large family of hyperbolic varieties, recently introduced by Shamovich and Vinnikov. Here we give a definite determinantal representation to the Chow form of a reciprocal linear space. One consequence is the existence of symmetric rank-one Ulrich sheaves on reciprocal linear spaces. Another is a representation of the entropic discriminant as a sum of squares. For generic linear spaces, the determinantal formulas obtained are closely related to the Laplacian of the complete graph and generalizations to simplicial matroids. This raises interesting questions about the combinatorics of hyperbolic varieties and connections with the positive Grassmannian.
Deletion of oldest edges in a preferential attachment graph
We consider a variation on the Barabási-Albert random graph process with fixed parameters $m\in \mathbb{N}$ and $1/2 < p < 1$. With probability $p$ a vertex is added along with $m$ edges, randomly chosen proportional to vertex degrees. With probability $1 - p$, the oldest vertex still holding its original $m$ edges loses those edges. It is shown that the degree of any vertex either is zero or follows a geometric distribution. If $p$ is above a certain threshold, this leads to a power law for the degree sequence, while a smaller $p$ gives exponential tails. It is also shown that the graph contains a unique giant component whp if and only if $m\geq 2$.
Short fans and the 5/6 bound for line graphs
Published in SIAM Journal on Discrete Math. Vol. 31(3), 2017, pp. 2039-2063
• View Publication
• BIB
In 2011, the second author conjectured that every line graph $G$ satisfies $χ(G)\le \max\{ω(G),\frac{5Δ(G)+8}{6}\}$. This conjecture is best possible, as shown by replacing each edge in a 5-cycle by $k$ parallel edges, and taking the line graph. In this paper we prove the conjecture. We also develop more general techniques and results that will likely be of independent interest, due to their use in attacking the Goldberg--Seymour conjecture.
1-well-covered graphs revisited
Published
• View Publication
• BIB
A graph is well-covered if all its maximal independent sets are of the same size (M. D. Plummer, 1970). A well-covered graph is 1-well-covered if the deletion of every vertex leaves a graph which is well-covered as well (J. W. Staples, 1975). A graph G belongs to class W_{n} if every n pairwise disjoint independent sets in G are included in $n$ pairwise disjoint maximum independent sets (J. W. Staples, 1975). Clearly, W_{1} is the family of all well-covered graphs. It turns out that G belongs to W_{2} if and only if it is a 1-well-covered graph without isolated vertices. We show that deleting a shedding vertex does not change the maximum size of a maximal independent set including a given independent set A in a graph G. Specifically, for well-covered graphs, it means that the vertex v is shedding if and only if G-v is well-covered. In addition, we provide new characterizations of 1-well-covered graphs, which we further use in building 1-well-covered graphs by corona, join, and concatenation operations.
Homomorphism bounds and edge-colourings of $K_4$-minor-free graphs
Published in Journal of Combinatorial Theory, Series B 124:128-164 (2017)
• View Publication
• BIB
We present a necessary and sufficient condition for a graph of odd-girth $2k+1$ to bound the class of $K_4$-minor-free graphs of odd-girth (at least) $2k+1$, that is, to admit a homomorphism from any such $K_4$-minor-free graph. This yields a polynomial-time algorithm to recognize such bounds. Using this condition, we first prove that every $K_4$-minor free graph of odd-girth $2k+1$ admits a homomorphism to the projective hypercube of dimension $2k$. This supports a conjecture of the third author which generalizes the four-color theorem and relates to several outstanding conjectures such as Seymour's conjecture on edge-colorings of planar graphs. Strengthening this result, we show that the Kneser graph $K(2k+1,k)$ satisfies the conditions, thus implying that every $K_4$-minor free graph of odd-girth $2k+1$ has fractional chromatic number exactly $2+\frac{1}{k}$. Knowing that a smallest bound of odd-girth $2k+1$ must have at least ${k+2 \choose 2}$ vertices, we build nearly optimal bounds of order $4k^2$. Furthermore, we conjecture that the suprema of the fractional and circular chromatic numbers for $K_4$-minor-free graphs of odd-girth $2k+1$ are achieved by a same bound of odd-girth $2k+1$. If true, this improves, in the homomorphism order, earlier tight results on the circular chromatic number of $K_4$-minor-free graphs. We support our conjecture by proving it for the first few cases. Finally, as an application of our work, and after noting that Seymour provided a formula for calculating the edge-chromatic number of $K_4$-minor-free multigraphs, we show that stronger results can be obtained in the case of $K_4$-minor-free regular multigraphs.
Barak-Erdős graphs and the infinite-bin model
Published in Ann. Inst. H. Poincaré Probab. Statist. 57 (4), 1940-1967, 2021
• View Publication
• BIB
A Barak-Erdős graph is a directed acyclic version of the Erdős-Rényi random graph. It is obtained by performing independent bond percolation with parameter $p$ on the complete graph with vertices $\{1,...,n\}$, in which the edge between two vertices $i<j$ is directed from $i$ to $j$. The length of the longest path in this graph grows linearly with the number of vertices, at rate $C(p)$. In this article, we use a coupling between Barak-Erdős graphs and infinite-bin models to provide explicit estimates on $C(p)$. More precisely, we prove that the front of an infinite-bin model grows at linear speed, and that this speed can be obtained as the sum of a series. Using these results, we prove the analyticity of $C$ for $p >1/2$, and compute its power series expansion. We also obtain the first two terms of the asymptotic expansion of $C$ as $p \to 0$, using a coupling with branching random walks.
On statistical learning via the lens of compression
This work continues the study of the relationship between sample compression schemes and statistical learning, which has been mostly investigated within the framework of binary classification. The central theme of this work is establishing equivalences between learnability and compressibility, and utilizing these equivalences in the study of statistical learning theory.
We begin with the setting of multiclass categorization (zero/one loss). We prove that in this case learnability is equivalent to compression of logarithmic sample size, and that uniform convergence implies compression of constant size.
We then consider Vapnik's general learning setting: we show that in order to extend the compressibility-learnability equivalence to this case, it is necessary to consider an approximate variant of compression.
Finally, we provide some applications of the compressibility-learnability equivalences:
(i) Agnostic-case learnability and realizable-case learnability are equivalent in multiclass categorization problems (in terms of sample complexity).
(ii) This equivalence between agnostic-case learnability and realizable-case learnability does not hold for general learning problems: There exists a learning problem whose loss function takes just three values, under which agnostic-case and realizable-case learnability are not equivalent.
(iii) Uniform convergence implies compression of constant size in multiclass categorization problems. Part of the argument includes an analysis of the uniform convergence rate in terms of the graph dimension, in which we improve upon previous bounds.
(iv) A dichotomy for sample compression in multiclass categorization problems: If a non-trivial compression exists then a compression of logarithmic size exists.
(v) A compactness theorem for multiclass categorization problems.
Smallest $C_{2l+1}$-critical graphs of odd-girth $2k+1$
Published in Discrete Applied Mathematics 319:564-575, 2022
• View Publication
• BIB
Given a graph $H$, a graph $G$ is called $H$-critical if $G$ does not admit a homomorphism to $H$, but any proper subgraph of $G$ does. Observe that $K_{k-1}$-critical graphs are the standard $k$-(colour)-critical graphs. We consider questions of extremal nature previously studied for $k$-critical graphs and generalize them to $H$-critical graphs. After complete graphs, the next natural case to consider for $H$ is that of the odd-cycles. Thus, given integers $\ell$ and $k$, $\ell\geq k$, we ask: what is the smallest order of a $C_{2\ell +1}$-critical graph of odd-girth at least $2k+1$? Denoting this value by $η(k,C_{2\ell+1})$, we show that $η(k,C_{2\ell+1})=4k$ for $1\leq\ell\leq k\leq\frac{3\ell+i-3}{2}$ ($2k=i\bmod 3$) and that $η(3,C_5)=15$. The latter means that a smallest graph of odd-girth~$7$ not admitting a homomorphism to the $5$-cycle is of order~$15$. Computational work shows that there are exactly eleven such graphs on $15$~vertices of which only two are $C_5$-critical.
Discovering Small Target Sets in Social Networks: A Fast and Effective Algorithm
Published
• View Publication
• BIB
Given a network represented by a graph $G=(V,E)$, we consider a dynamical process of influence diffusion in $G$ that evolves as follows: Initially only the nodes of a given $S\subseteq V$ are influenced; subsequently, at each round, the set of influenced nodes is augmented by all the nodes in the network that have a sufficiently large number of already influenced neighbors. The question is to determine a small subset of nodes $S$ (\emph{a target set}) that can influence the whole network. This is a widely studied problem that abstracts many phenomena in the social, economic, biological, and physical sciences. It is known that the above optimization problem is hard to approximate within a factor of $2^{\log^{1-ε}|V|}$, for any $ε>0$. In this paper, we present a fast and surprisingly simple algorithm that exhibits the following features: 1) when applied to trees, cycles, or complete graphs, it always produces an optimal solution (i.e, a minimum size target set); 2) when applied to arbitrary networks, it always produces a solution of cardinality which improves on the previously known upper bound; 3) when applied to real-life networks, it always produces solutions that substantially outperform the ones obtained by previously published algorithms (for which no proof of optimality or performance guarantee is known in any class of graphs).
Large subgraphs in pseudo-random graphs
We consider classes of pseudo-random graphs on $n$ vertices for which the degree of every vertex and the co-degree between every pair of vertices are in the intervals $(np - Cn^δ,np+Cn^δ)$ and $(np^2- C n^δ, np^2 +C n^δ)$ respectively, for some absolute constant $C$, and $p, δ\in (0,1)$. We show that for such pseudo-random graphs the number of induced isomorphic copies of subgraphs of size $s$ are approximately same as that of an Erdős-Réyni random graph with edge connectivity probability $p$ as long as $s \le (((1-δ)\wedge \frac{1}{2})-o(1))\log n/\log (1/p)$, when $p \in (0,1/2]$. When $p \in (1/2,1)$ we obtain a similar result. Our result is applicable for a large class of random and deterministic graphs including exponential random graph models (ERGMs), thresholded graphs from high-dimensional correlation networks, Erdős-Réyni random graphs conditioned on large cliques, random $d$-regular graphs and graphs obtained from vector spaces over binary fields. In the context of the last example, the results obtained are optimal. Straight-forward extensions using the proof techniques in this paper imply strengthening of the above results in the context of larger motifs if a model allows control over higher co-degree type functionals.
Lyndon word decompositions and pseudo orbits on q-nary graphs
Published
• View Publication
• BIB
A foundational result in the theory of Lyndon words (words that are strictly earlier in lexicographic order than their cyclic permutations) is the Chen-Fox-Lyndon theorem which states that every word has a unique non-increasing decomposition into Lyndon words. This article extends this factorization theorem, obtaining the proportion of these decompositions that are strictly decreasing. This result is then used to count primitive pseudo orbits (sets of primitive periodic orbits) on q-nary graphs. As an application we obtain a diagonal approximation to the variance of the characteristic polynomial coefficients q-nary quantum graphs.