graph
34726 papers tagged with this keyword
More non-bipartite forcing pairs
We study pairs of graphs (H_1,H_2) such that every graph with the densities of H_1 and H_2 close to the densities of H_1 and H_2 in a random graph is quasirandom; such pairs (H_1,H_2) are called forcing. Non-bipartite forcing pairs were first discovered by Conlon, Han, Person and Schacht [Weak quasi-randomness for uniform hypergraphs, Random Structures Algorithms 40 (2012), 1-38]: they showed that (K_t,F) is forcing where F is the graph that arises from K_t by iteratively doubling its vertices and edges in a prescribed way t times. Reiher and Schacht [Forcing quasirandomness with triangles, Forum of Mathematics, Sigma 7, 2019] strengthened this result for t=3 by proving that two doublings suffice and asked for the minimum number of doublings needed for t>3. We show that (t+2)/2 doublings always suffice.
Efficient enumeration of non-isomorphic interval graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23 no. 1, Graph Theory (March 8, 2021) dmtcs:6164
• View Publication
• BIB
Recently, Yamazaki et al. provided an algorithm that enumerates all non-isomorphic interval graphs on $n$ vertices with an $O(n^4)$ time delay. In this paper, we improve their algorithm and achieve $O(n^3 \log n)$ time delay. We also extend the catalog of these graphs providing a list of all non-isomorphic interval graphs for all $n$ up to $15$.
Abelian tropical covers
Published
• View Publication
• BIB
Let $\mathfrak{A}$ be a finite abelian group. In this article, we classify harmonic $\mathfrak{A}$-covers of a tropical curve $Γ$ (which allow dilation along edges and at vertices) in terms of the cohomology group of a suitably defined sheaf on $Γ$. We give a realizability criterion for harmonic $\mathfrak{A}$-covers by patching local monodromy data in an extended homology group on $Γ$. As an explicit example, we work out the case $\mathfrak{A}=\mathbb{Z}/p\mathbb{Z}$ and explain how realizability for such covers is related to the nowhere-zero flow problem from graph theory.
Equitable factorizations of edge-connected graphs
Published
• View Publication
• BIB
In this paper, we show that every $(3k-3)$-edge-connected graph $G$, under a certain condition on whose degrees, can be edge-decomposed into $k$ factors $G_1,\ldots, G_k$ such that for each vertex $v\in V(G_i)$, $|d_{G_i}(v)-d_G(v)/k|< 1$, where $1\le i\le k$. As application, we deduce that every $6$-edge-connected graph $G$ can be edge-decomposed into three factors $G_1$, $G_2$, and $G_3$ such that for each vertex $v\in V(G_i)$, $|d_{G_i}(v)-d_{G}(v)/3|< 1$, unless $G$ has exactly one vertex $z$ with $d_G(z) \stackrel{3}{\not\equiv}0$. Next, we show that every odd-$(3k-2)$-edge-connected graph $G$ can be edge-decomposed into $k$ factors $G_1,\ldots, G_k$ such that for each vertex $v\in V(G_i)$, $d_{G_i}(v)$ and $d_G(v)$ have the same parity and $|d_{G_i}(v)-d_G(v)/k|< 2$, where $k$ is an odd positive integer and $1\le i\le k$. Finally, we give a sufficient edge-connectivity condition for a graph $G$ to have a parity factor $F$ with specified odd-degree vertices such that for each vertex $v$, $| d_{F}(v)-\varepsilon d_G(v)|< 2$, where $\varepsilon $ is a real number with $0< \varepsilon < 1$.
Concentration inequalities in spaces of random configurations with positive Ricci curvatures
Published
• View Publication
• BIB
In this paper, we prove an Azuma-Hoeffding-type inequality in several classical models of random configurations, including the Erdős-Rényi random graph models $G(n,p)$ and $G(n,M)$, the random $d$-out(in)-regular directed graphs, and the space of random permutations. The main idea is using Ollivier's work on the Ricci curvature of Markov chairs on metric spaces. Here we give a cleaner form of such concentration inequality in graphs. Namely, we show that for any Lipschitz function $f$ on any graph (equipped with an ergodic random walk and thus an invariant distribution $ν$) with Ricci curvature at least $κ>0$, we have \[ν\left( |f-E_νf| \geq t \right) \leq 2\exp\left( -\frac{t^2κ}{7} \right).\]
On the Leaders' Graphical Characterization for Controllability of Path Related Graphs
The problem of leaders location plays an important role in the controllability of undirected graphs.The concept of minimal perfect critical vertex set is introduced by drawing support from the eigenvector of Laplace matrix. Using the notion of minimal perfect critical vertex set, the problem of finding the minimum number of controllable leader vertices is transformed into the problem of finding all minimal perfect critical vertex sets. Some necessary and sufficient conditions for special minimal perfect critical vertex sets are provided, such as minimal perfect critical 2 vertex set, and minimal perfect critical vertex set of path or path related graphs. And further, the leaders location problem for path graphs is solved completely by the algorithm provided in this paper. An interesting result that there never exist a minimal perfect critical 3 vertex set is proved, too.
Extremal problems for convex geometric hypergraphs and ordered hypergraphs
An ordered hypergraph is a hypergraph whose vertex set is linearly ordered, and a convex geometric hypergraph is a hypergraph whose vertex set is cyclically ordered. Extremal problems for ordered and convex geometric graphs have a rich history with applications to a variety of problems in combinatorial geometry. In this paper, we consider analogous extremal problems for uniform hypergraphs, and determine the order of magnitude of the extremal function for various ordered and convex geometric paths and matchings. Our results generalize earlier works of Braß-Károlyi-Valtr, Capoyleas-Pach and Aronov-Dujmovič-Morin-Ooms-da Silveira. We also provide a new generalization of the Erd\H os-Ko-Rado theorem in the ordered setting.
Monochromatic paths and cycles in $2$-edge-colored graphs with large minimum degree
Published
• View Publication
• BIB
A graph $G$ arrows a graph $H$ if in every $2$-edge-coloring of $G$ there exists a monochromatic copy of $H$. Schelp had the idea that if the complete graph $K_n$ arrows a small graph $H$, then every "dense" subgraph of $K_n$ also arrows $H$, and he outlined some problems in this direction. Our main result is in this spirit. We prove that for every sufficiently large $n$, if $n = 3t+r$ where $r \in \{0,1,2\}$ and $G$ is an $n$-vertex graph with $δ(G) \ge (3n-1)/4$, then for every $2$-edge-coloring of $G$, either there are cycles of every length $\{3, 4, 5, \dots, 2t+r\}$ of the same color, or there are cycles of every even length $\{4, 6, 8, \dots, 2t+2\}$ of the same color.
Our result is tight in the sense that no longer cycles (of length $>2t+r$) can be guaranteed and the minimum degree condition cannot be reduced. It also implies the conjecture of Schelp that for every sufficiently large $n$, every $(3t-1)$-vertex graph $G$ with minimum degree larger than $3|V(G)|/4$ arrows the path $P_{2n}$ with $2n$ vertices. Moreover, it implies for sufficiently large $n$ the conjecture by Benevides, Łuczak, Scott, Skokan and White that for $n=3t+r$ where $r \in \{0,1,2\}$ and every $n$-vertex graph $G$ with $δ(G) \ge 3n/4$, in each $2$-edge-coloring of $G$ there exists a monochromatic cycle of length at least $2t+r$.
Sandwiching random regular graphs between binomial random graphs
Published
• View Publication
• BIB
Kim and Vu made the following conjecture (\textit{Advances in Mathematics}, 2004): if $d\gg \log n$, then the random $d$-regular graph $\mathcal G(n,d)$ can asymptotically almost surely be "sandwiched" between $\mathcal G(n,p_1)$ and $\mathcal G(n,p_2)$ where $p_1$ and $p_2$ are both $(1+o(1))d/n$. They proved this conjecture for $\log n\ll d\le n^{1/3-o(1)}$, with a defect in the sandwiching: $\mathcal G(n,d)$ contains $\mathcal G(n,p_1)$ perfectly, but is not completely contained in $\mathcal G(n,p_2)$. Recently, the embedding $\mathcal G(n,p_1) \subseteq \mathcal G(n,d)$ was improved by Dudek, Frieze, Ruciński and Šileikis to $d=o(n)$. In this paper, we prove Kim--Vu's sandwich conjecture, with perfect containment on both sides, for all $d\gg n/\sqrt{\log n}$. For $d=O(n/\sqrt{\log n})$, we prove a weaker version of the sandwich conjecture with $p_2$ approximately equal to $(d/n)\log n$, without any defect. In addition to sandwiching regular graphs, our results cover graphs whose degrees are asymptotically equal. The proofs rely on estimates for the probability that a random factor of a pseudorandom graph contains a given edge, which is of independent interest.
As applications, we obtain new results on the properties of random graphs with given near-regular degree sequences, including Hamiltonicity and universality in subgraph containment. We also determine several graph parameters in these random graphs, such as the chromatic number, small subgraph counts, the diameter, and the independence number. We are also able to characterise many phase transitions in edge percolation on these random graphs, such as the threshold for the appearance of a giant component.
The average cut-rank of graphs
Published in European J. Combin., 90(December 2020), 103183
• View Publication
• BIB
The cut-rank of a set $X$ of vertices in a graph $G$ is defined as the rank of the $ X \times (V(G)\setminus X)$ matrix over the binary field whose $(i,j)$-entry is $1$ if the vertex $i$ in $X$ is adjacent to the vertex $j$ in $V(G)\setminus X$ and $0$ otherwise. We introduce the graph parameter called the average cut-rank of a graph, defined as the expected value of the cut-rank of a random set of vertices. We show that this parameter does not increase when taking vertex-minors of graphs and a class of graphs has bounded average cut-rank if and only if it has bounded neighborhood diversity. This allows us to deduce that for each real $α$, the list of induced-subgraph-minimal graphs having average cut-rank larger than (or at least) $α$ is finite. We further refine this by providing an upper bound on the size of obstruction and a lower bound on the number of obstructions for average cut-rank at most (or smaller than) $α$ for each real $α\ge0$. Finally, we describe explicitly all graphs of average cut-rank at most $3/2$ and determine up to $3/2$ all possible values that can be realized as the average cut-rank of some graph.
Maximum nullity and zero forcing of circulant graphs
Published
• View Publication
• BIB
It is well-known that the zero forcing number of a graph provides a lower bound on the minimum rank of a graph. In this paper we bound and characterize the zero forcing number of certain circulant graphs, including some bipartite circulants, cubic circulants, and circulants which are torus products, to obtain bounds on the minimum rank and the maximum nullity. We also evaluate when the zero forcing number will give equality.
Invariant Schreier decorations of unimodular random networks
We prove that every $2d$-regular unimodular random network carries an invariant random Schreier decoration. Equivalently, it is the Schreier coset graph of an invariant random subgroup of the free group $F_d$. As a corollary we get that every $2d$-regular graphing is the local isomorphic image of a graphing coming from a p.m.p. action of $F_d$. The key ingredients of the analogous statement for finite graphs do not generalize verbatim to the measurable setting. We find a more subtle way of adapting these ingredients and prove measurable coloring theorems for graphings along the way.
Singularities and radical initial ideals
Published
• View Publication
• BIB
What kind of reduced monomial schemes can be obtained as a Gröbner degeneration of a smooth projective variety? Our conjectured answer is: only Stanley-Reisner schemes associated to acyclic Cohen-Macaulay simplicial complexes. This would imply, in particular, that only curves of genus zero have such a degeneration. We prove this conjecture for degrevlex orders, for elliptic curves over real number fields, for boundaries of cross-polytopes, and for leafless graphs. We discuss consequences for rational and F-rational singularities of algebras with straightening laws.
A conjecture of Verstraëte on vertex-disjoint cycles
Answering a question of Häggkvist and Scott, Verstraëte proved that every sufficiently large graph with average degree at least $k^2+19k+10$ contains $k$ vertex-disjoint cycles of consecutive even lengths. He further conjectured that the same holds for every graph $G$ with average degree at least $k^2+3k+2$. In this paper we prove this conjecture for $k\geq 19$ when $G$ is sufficiently large. We also show that for any $ε>0$ and large $k\geq k_ε$, average degree at least $k^2+3k-2+ε$ suffices, which is asymptotically tight for infinitely many graphs.
Manifold Matching Complexes
The matching complex of a graph is the simplicial complex whose vertex set is the set of edges of the graph with a face for each independent set of edges. In this paper we completely characterize the pairs (graph, matching complex) for which the matching complex is a homology manifold, with or without boundary. Except in dimension two, all of these manifolds are sphere or balls.
Partitioning ordered hypergraphs
An {\em ordered $r$-graph} is an $r$-uniform hypergraph whose vertex set is linearly ordered. Given $2\leq k\leq r$, an ordered $r$-graph $H$ is {\em interval} $k$-{\em partite} if there exist at least $k$ disjoint intervals in the ordering such that every edge of $H$ has nonempty intersection with each of the intervals and is contained in their union.
Our main result implies that for each $α> k - 1$ and $d>0$, every $n$-vertex ordered $r$-graph with $d \,n^α$ edges has for some $m\leq n$ an $m$-vertex interval $k$-partite subgraph with $Ω(d\, m^α)$ edges. This is an extension to ordered $r$-graphs of the observation by Erd\H os and Kleitman that every $r$-graph contains an $r$-partite subgraph with a constant proportion of the edges. The restriction $α> k-1$ is sharp. We also present applications of the main result to several extremal problems for ordered hypergraphs.
On Berge-Ramsey problems
Given a graph $G$, a hypergraph $\mathcal{H}$ is a Berge copy of $F$ if $V(G)\subset V(\mathcal{H})$ and there is a bijection $f:E(G)\rightarrow E(\mathcal{H})$ such that for any edge $e$ of $G$ we have $e\subset f(e)$. We study Ramsey problems for Berge copies of graphs, i.e. the smallest number of vertices of a complete $r$-uniform hypergraph, such that if we color the hyperedges with $c$ colors, there is a monochromatic Berge copy of $G$.
We obtain a couple results regarding these problems. In particular, we determine for which $r$ and $c$ the Ramsey number can be super-linear. We also show a new way to obtain lower bounds, and improve the general lower bounds by a large margin. In the specific case $G=K_n$ and $r=2c-1$, we obtain an upper bound that is sharp besides a constant term, improving earlier results.
Circular automata synchronize with high probability
In this paper we prove that a uniformly distributed random circular automaton $\mathcal{A}_n$ of order $n$ synchronizes with high probability (whp). More precisely, we prove that $$ \mathbb{P}\left[\mathcal{A}_n \text{ synchronizes}\right] = 1- O\left(\frac{1}{n}\right). $$ The main idea of the proof is to translate the synchronization problem into properties of a random matrix; these properties are then handled with tools of the probabilistic method. Additionally, we provide an upper bound for the probability of synchronization of circular automata in terms of chromatic polynomials of circulant graphs.
Tutte Polynomial Activities
Unlike Whitney's definition of the corank-nullity generating function $T(G;x+1,y+1)$, Tutte's definition of his now eponymous polynomial $T(G;x,y)$ requires a total order on the edges of which the polynomial is a posteriori independent. Tutte presented his definition in terms of internal and external activities of maximal spanning forests. Although Tutte's original definition may appear somewhat ad hoc upon first inspection, subsequent work by various researchers has demonstrated that activity is a deep combinatorial concept. In this survey, we provide an introduction to activities for graphs and matroids. Our primary goal is to survey several notions of activity for graphs which admit expansions of the Tutte polynomial. Additionally, we describe some fundamental structural theorems, and outline connections to the topological notion of shellability as well as several topics in algebraic combinatorics.
Quasi-automatic semigroups
Published
• View Publication
• BIB
A quasi-automatic semigroup is defined by a finite set of generators, a rational (regular) set of representatives, such that if a is a generator or neutral, then the graph of right multiplication by a on the set of representatives is a rational relation. This class of semigroups contains previously considered semigroups and groups (Sakarovitch, Epstein et al., Campbell et al.). Membership of a semigroup to this class does not depend on the choice of the generators. These semigroups are rationally presented. Representatives may be computed in exponential time. Their word problem is decidable in exponential time. They enjoy a property similar to the so-called Lipschitz property, or fellow traveler property. If graded, they are automatic. In the case of groups, they are finitely presented with an exponential isoperimetric inequality and they are characterized by the weak Lipschitz property.