graph
35150 papers tagged with this keyword
A semi-exact degree condition for Hamilton cycles in digraphs
Published
• View Publication
• BIB
The paper is concerned with directed versions of Posa's theorem and Chvatal's theorem on Hamilton cycles in graphs.
We show that for each a>0, every digraph G of sufficiently large order n whose outdegree and indegree sequences d_1^+ \leq ... \leq d_n^+ and d_1^- \leq >... \leq d_n^- satisfy d_i^+, d_i^- \geq min{i + a n, n/2} is Hamiltonian. In fact, we can weaken these assumptions to
(i) d_i^+ \geq min{i + a n, n/2} or d^-_{n - i - a n} \geq n-i; (ii) d_i^- \geq min{i + a n, n/2} or d^+_{n - i - a n} \geq n-i; and still deduce that G is Hamiltonian. This provides an approximate version of a conjecture of Nash-Williams from 1975 and improves a previous result of Kühn, Osthus and Treglown.
The Asymptotic Distributions of 3-star factors in random d-regular graphs
Published
• View Publication
• BIB
The Small Subgraph Conditioning Method has been used to study the almost sure existence and the asymptotic distribution of the number of regular spanning subgraphs of various types in random \emph{d}-regular graphs. In this paper we use the method to determine the asymptotic distribution of the number of 3-star factors in random \emph{d}-regular graphs for $d \geq 4$
A local criterion for Tverberg graphs
The topological Tverberg theorem states that for any prime power q and continuous map from a (d+1)(q-1)-simplex to R}^d, there are q disjoint faces F_i of the simplex whose images intersect. It is possible to put conditions on which pairs of vertices of the simplex that are allowed to be in the same face F_i. A graph with the same vertex set as the simplex, and with two vertices adjacent if they should not be in the same F_i, is called a Tverberg graph if the topological Tverberg theorem still work.
These graphs have been studied by Hell, Schoneborn and Ziegler, and it is known that disjoint unions of small paths, cycles, and complete graphs are Tverberg graphs. We find many new examples by establishing a local criterion for a graph to be Tverberg. An easily stated corollary of our main theorem is that if the maximal degree of a graph is D, and D(D+1)<q, then it is a Tverberg graph.
We state the affine versions of our results and also describe how they can be used to enumerate Tverberg partitions.
Rumor Spreading on Random Regular Graphs and Expanders
Published
• View Publication
• BIB
Broadcasting algorithms are important building blocks of distributed systems. In this work we investigate the typical performance of the classical and well-studied push model. Assume that initially one node in a given network holds some piece of information. In each round, every one of the informed nodes chooses independently a neighbor uniformly at random and transmits the message to it.
In this paper we consider random networks where each vertex has degree d, which is at least 3, i.e., the underlying graph is drawn uniformly at random from the set of all d-regular graphs with n vertices. We show that with probability 1 - o(1) the push model broadcasts the message to all nodes within (1 + o(1))C_d ln n rounds, where C_d = 1/ ln(2(1-1/d)) - 1/(d ln(1 - 1/d)). In particular, we can characterize precisely the effect of the node degree to the typical broadcast time of the push model. Moreover, we consider pseudo-random regular networks, where we assume that the degree of each node is very large. There we show that the broadcast time is (1+o(1))C ln n with probability 1 - o(1), where C= 1/ ln 2 + 1, is the limit of C_d as d grows.
Spanning trees of 3-uniform hypergraphs
Published
• View Publication
• BIB
Masbaum and Vaintrob's "Pfaffian matrix tree theorem" implies that counting spanning trees of a 3-uniform hypergraph (abbreviated to 3-graph) can be done in polynomial time for a class of "3-Pfaffian" 3-graphs, comparable to and related to the class of Pfaffian graphs. We prove a complexity result for recognizing a 3-Pfaffian 3-graph and describe two large classes of 3-Pfaffian 3-graphs -- one of these is given by a forbidden subgraph characterization analogous to Little's for bipartite Pfaffian graphs, and the other consists of a class of partial Steiner triple systems for which the property of being 3-Pfaffian can be reduced to the property of an associated graph being Pfaffian. We exhibit an infinite set of partial Steiner triple systems that are not 3-Pfaffian, none of which can be reduced to any other by deletion or contraction of triples.
We also find some necessary or sufficient conditions for the existence of a spanning tree of a 3-graph (much more succinct than can be obtained by the currently fastest polynomial-time algorithm of Gabow and Stallmann for finding a spanning tree) and a superexponential lower bound on the number of spanning trees of a Steiner triple system.
Subgraphs of dense random graphs with specified degrees
Published
• View Publication
• BIB
Let d = (d1, d2, ..., dn) be a vector of non-negative integers with even sum. We prove some basic facts about the structure of a random graph with degree sequence d, including the probability of a given subgraph or induced subgraph. Although there are many results of this kind, they are restricted to the sparse case with only a few exceptions. Our focus is instead on the case where the average degree is approximately a constant fraction of n. Our approach is the multidimensional saddle-point method. This extends the enumerative work of McKay and Wormald (1990) and is analogous to the theory developed for bipartite graphs by Greenhill and McKay (arXiv:math/0701600, 2009).
Distribution of Relative Edge Density of the Graphs Based on a Random Digraph Family
The vertex-random graphs called proximity catch digraphs (PCDs) have been introduced recently and have applications in pattern recognition and spatial pattern analysis. A PCD is a random directed graph (i.e., digraph) which is constructed from data using the relative positions of the points from various classes. Different PCDs result from different definitions of the proximity region associated with each data point. We consider the underlying and reflexivity graphs based on a family of PCDs which is determined by a family of parameterized proximity maps called proportional-edge (PE) proximity map. The graph invariant we investigate is the relative edge density of the underlying and reflexivity graphs. We demonstrate that, properly scaled, relative edge density of these graphs is a $U$-statistic, and hence obtain the asymptotic normality of the relative edge density for data from any distribution that satisfies mild regulatory conditions. By detailed probabilistic and geometric calculations, we compute the explicit form of the asymptotic normal distribution for uniform data on a bounded region in the usual Euclidean plane. We also compare the relative edge densities of the two types of the graphs and the relative arc density of the PE-PCDs. The approach presented here is also valid for data in higher dimensions.
Non-unique factorizations, land surveying and electricity
Non-unique factorizations theory, which started in algebraic number theory, over the years has expanded into several areas of mathematics. Here, we propose yet another branching. We show that some concepts of factorizations theory, such as half factorial and weak half factorial properties can be translated via Cayley graphs into graph theory. It is proved, that subset S of abelian group G is half factorial, if and only if the Cayley digraph Cay(G; S) is geodetical, e.g., simple paths connecting a fixed pair of vertices have the same length. Further, it is shown that the voltage digraph naturally arising from subset S of group G satisfies Kirchoff's Voltage Law exactly when S is weakly half factorial. In the concluding remarks, some loosely formulated ideas for further research are presented..
Partial difference sets from quadratic forms and $p$-ary weakly regular bent functions
We generalize the construction of affine polar graphs in two different ways to obtain new partial difference sets and amorphic association schemes. The first generalization uses a combination of quadratic forms and uniform cyclotomy. In the second generalization we replace the quadratic form in the affine polar graph construction by higher degree homogeneous functions that are $p$-ary weakly regular bent. The negative Latin square type partial difference sets arising from the first generalization are new.
Mixed connectivity of Cartesian graph products and bundles
Mixed connectivity is a generalization of vertex and edge connectivity. A graph is $(p,0)$-connected, $p>0$, if the graph remains connected after removal of any $p-1$ vertices. A graph is $(p,q)$-connected, $p\geq 0$, $q>0$, if it remains connected after removal of any $p$ vertices and any $q-1$ edges. Cartesian graph bundles are graphs that generalize both covering graphs and Cartesian graph products. It is shown that if graph $F$ is $(p_{F},q_{F})$-connected and graph $B$ is $(p_{B},q_{B})$-connected, then Cartesian graph bundle $G$ with fibre $F$ over the base graph $B$ is $(p_{F}+p_{B},q_{F}+q_{B})$-connected. Furthermore, if $q_{F},q_{B}>0$, then $G$ is also $(p_{F}+p_{B}+1,q_{F}+q_{B}-1)$-connected. Finally, let graphs $G_i, i=1,...,n,$ be $(p_i,q_i)$-connected and let $k$ be the number of graphs with $q_i>0$. The Cartesian graph product $G=G_1\Box G_2\Box ... \Box G_n$ is $(\sum p_i,\sum q_i)$-connected, and, for $ k\geq 1$, it is also $(\sum p_i+k-1,\sum q_i-k+1)$-connected.
No Dense Subgraphs Appear in the Triangle-free Graph Process
Published
• View Publication
• BIB
Consider the triangle-free graph process, which starts from the empty graph on $n$ vertices and a random ordering of the possible ${n \choose 2}$ edges; the edges are added in this ordering provided the graph remains triangle free. We will show that there exists a constant $c$ such that no copy of any fixed finite triangle-free graph on $k$ vertices with at least $ck$ edges asymptotically almost surely appears in the triangle-free graph process.
Minimal generators of toric ideals of graphs
Published
• View Publication
• BIB
Let $I_G$ be the toric ideal of a graph $G$. We characterize in graph theoretical terms the primitive, the minimal, the indispensable and the fundamental binomials of the toric ideal $I_G$.
Linear equations for the number of intervals which are isomorphic with Boolean lattices and the Dehn--Sommerville equations
Let $P$ be a finite poset. Let $L:=J(P)$ denote the lattice of order ideals of $P$. Let $b_i(L)$ denote the number of Boolean intervals of $L$ of rank $i$. We construct a simple graph $G(P)$ from our poset $P$. Denote by $f_i(P)$ the number of the cliques $K_{i+1}$, contained in the graph $G(P)$. Our main results are some linear equations connecting the numbers $f_i(P)$ and $b_i(L)$. We reprove the Dehn--Sommerville equations for simplicial polytopes. In our proof we use free resolutions and the theory of Stanley--Reisner rings.
An arithmetic regularity lemma, associated counting lemma, and applications
Published
• View Publication
• BIB
Szemeredi's regularity lemma can be viewed as a rough structure theorem for arbitrary dense graphs, decomposing such graphs into a structured piece (a partition into cells with edge densities), a small error (corresponding to irregular cells), and a uniform piece (the pseudorandom deviations from the edge densities). We establish an arithmetic regularity lemma that similarly decomposes bounded functions f : [N] -> C, into a (well-equidistributed, virtual) -step nilsequence, an error which is small in L^2 and a further error which is miniscule in the Gowers U^{s+1}-norm, where s is a positive integer. We then establish a complementary arithmetic counting lemma that counts arithmetic patterns in the nilsequence component of f.
We provide a number of applications of these lemmas: a proof of Szemeredi's theorem on arithmetic progressions, a proof of a conjecture of Bergelson, Host and Kra, and a generalisation of certain results of Gowers and Wolf.
Our result is dependent on the inverse conjecture for the Gowers U^{s+1} norm, recently established for general s by the authors and T. Ziegler.
REVISED November 2020: This paper has been revised so that only systems of linear forms satisfying a condition called the flag property are covered by the counting lemma. Translation-invariant systems, as well as systems of Cauchy-Schwarz complexity 1 and some other naturally-occurring systems have this property. We thank Daniel Altman for drawing our attention to what appeared to be a minor technical issue in one of our proofs but which ultimately led us to realise that the the counting lemma fails quite badly (with rather simple examples, which we shall describe) without some assumption of this type.
Additionally, we supply a short appendix showing that the Gowers-Wolf complexity of a system is bounded by its Cauchy-Schwarz complexity.
Increasing the chromatic number of a random graph
Published
• View Publication
• BIB
What is the minimum number of edges that have to be added to the random graph $G=G_{n,0.5}$ in order to increase its chromatic number $χ=χ(G)$ by one percent ? One possibility is to add all missing edges on a set of $1.01 χ$ vertices, thus creating a clique of chromatic number $1.01 χ$. This requires, with high probability, the addition of $Ω(n^2/\log^2 n)$ edges. We show that this is tight up to a constant factor, consider the question for more general random graphs $G_{n,p}$ with $p=p(n)$, and study a local version of the question as well.
The question is motivated by the study of the resilience of graph properties, initiated by the second author and Vu, and improves one of their results.
On graph equivalences preserved under extensions
Published
• View Publication
• BIB
Let R be an equivalence relation on graphs. By the strengthening of R we mean the relation R' such that graphs G and H are in the relation R' if for every graph F, the union of the graphs G and F is in the relation R with the union of the graphs H and F. We study strengthenings of equivalence relations on graphs. The most important case that we consider concerns equivalence relations defined by graph properties. We obtain results on the strengthening of equivalence relations determined by the properties such as being a k-connected graph, k-colorable, hamiltonian and planar.
Irreducible pseudo 2-factor isomorphic cubic bipartite graphs
Published in Des. Codes Cryptogr. 64 1--2 (2012) 153--160
• View Publication
• BIB
A bipartite graph is {\em pseudo 2--factor isomorphic} if all its 2--factors have the same parity of number of circuits. In \cite{ADJLS} we proved that the only essentially 4--edge-connected pseudo 2--factor isomorphic cubic bipartite graph of girth 4 is $K_{3,3}$, and conjectured \cite[Conjecture 3.6]{ADJLS} that the only essentially 4--edge-connected cubic bipartite graphs are $K_{3,3}$, the Heawood graph and the Pappus graph.
There exists a characterization of symmetric configurations $n_3$ %{\bf decide notation and how to use it in the rest of the paper} due to Martinetti (1886) in which all symmetric configurations $n_3$ can be obtained from an infinite set of so called {\em irreducible} configurations \cite{VM}. The list of irreducible configurations has been completed by Boben \cite{B} in terms of their {\em irreducible Levi graphs}.
In this paper we characterize irreducible pseudo 2--factor isomorphic cubic bipartite graphs proving that the only pseudo 2--factor isomorphic irreducible Levi graphs are the Heawood and Pappus graphs. Moreover, the obtained characterization allows us to partially prove the above Conjecture.
Algebraic Combinatorics in Mathematical Chemistry. Methods and Algorithms. II. Program Implementation of the Weisfeiler-Leman Algorithm
The stabilization algorithm of Weisfeiler and Leman has as an input any square matrix A of order n and returns the minimal cellular (coherent) algebra W(A) which includes A.
In case when A=A(G) is the adjacency matrix of a graph G the algorithm examines all configurations in G having three vertices and, according to this information, partitions vertices and ordered pairs of vertices into equivalence classes. The resulting construction allows to associate to each graph G a matrix algebra W(G):= W(A(G))$ which is an invariant of the graph G. For many classes of graphs, in particular for most of the molecular graphs, the algebra W(G) coincides with the centralizer algebra of the automorphism group aut(G). In such a case the partition returned by the stabilization algorithm is equal to the partition into orbits of aut(G).
We give algebraic and combinatorial descriptions of the Weisfeiler--Leman algorithm and present an efficient computer implementation of the algorithm written in C. The results obtained by testing the program on a considerable number of examples of graphs, in particular on some chemical molecular graphs, are also included.
From the Coxeter graph to the Klein graph
Published
• View Publication
• BIB
We show that the 56-vertex Klein cubic graph $\G'$ can be obtained from the 28-vertex Coxeter cubic graph $\G$ by 'zipping' adequately the squares of the 24 7-cycles of $\G$ endowed with an orientation obtained by considering $\G$ as a $\mathcal C$-ultrahomogeneous digraph, where $\mathcal C$ is the collection formed by both the oriented 7-cycles $\vec{C}_7$ and the 2-arcs $\vec{P}_3$ that tightly fasten those $\vec{C}_7$ in $\G$. In the process, it is seen that $\G'$ is a ${\mathcal C}'$-ultrahomogeneous (undirected) graph, where ${\mathcal C}'$ is the collection formed by both the 7-cycles $C_7$ and the 1-paths $P_2$ that tightly fasten those $C_7$ in $\G'$. This yields an embedding of $\G'$ into a 3-torus $T_3$ which forms the Klein map of Coxeter notation $(7,3)_8$. The dual graph of $\G'$ in $T_3$ is the distance-regular Klein quartic graph, with corresponding dual map of Coxeter notation $(3,7)_8$.
The strong thirteen spheres problem
Published in Discrete & Computational Geometry, 48:1 (2012), 128-141
• View Publication
• BIB
The thirteen spheres problem is asking if 13 equal size nonoverlapping spheres in three dimensions can touch another sphere of the same size. This problem was the subject of the famous discussion between Isaac Newton and David Gregory in 1694. The problem was solved by Schutte and van der Waerden only in 1953.
A natural extension of this problem is the strong thirteen spheres problem (or the Tammes problem for 13 points) which asks to find an arrangement and the maximum radius of 13 equal size nonoverlapping spheres touching the unit sphere. In the paper we give a solution of this long-standing open problem in geometry. Our computer-assisted proof is based on a enumeration of the so-called irreducible graphs.