graph
34995 papers tagged with this keyword
The solution of the $A_r$ T-system for arbitrary boundary
Published in Elec. Jour. of Comb. Vol. 17(1) (2010) R89
• View Publication
• BIB
We present an explicit solution of the $A_r$ $T$-system for arbitrary boundary conditions. For each boundary, this is done by constructing a network, i.e. a graph with positively weighted edges, and the solution is expressed as the partition function for a family of non-intersecting paths on the network. This proves in particular the positive Laurent property, namely that the solutions are all Laurent polynomials of the initial data with non-negative integer coefficients.
Recognizing Graph Theoretic Properties with Polynomial Ideals
Published
• View Publication
• BIB
Many hard combinatorial problems can be modeled by a system of polynomial equations. N. Alon coined the term polynomial method to describe the use of nonlinear polynomials when solving combinatorial problems. We continue the exploration of the polynomial method and show how the algorithmic theory of polynomial ideals can be used to detect k-colorability, unique Hamiltonicity, and automorphism rigidity of graphs. Our techniques are diverse and involve Nullstellensatz certificates, linear algebra over finite fields, Groebner bases, toric algebra, convex programming, and real algebraic geometry.
Cohomological Ramsey Theory
We show that the vanishing of certain cohomology groups of polyhedral complexes imply upper bounds on Ramsey numbers. Lovasz bounded the chromatic numbers of graphs using Hom complexes. Babson and Kozlov proved Lovasz conjecture and developed a Hom complex theory. We generalize the Hom complexes to Ramsey complexes.
The main theorem states that if certain cohomology groups of the Ramsey complex Ram(dDelta_{p^k}, Sigma) are trivial, then the vertices of the simplicial complex Sigma cannot be n-colored such that every color correspond to a face of Sigma. In a corollary, we give an explicit description of the Ramsey complexes used for upper bounds on Ramsey numbers.
Unique-maximum and conflict-free colorings for hypergraphs and tree graphs
Published
• View Publication
• BIB
We investigate the relationship between two kinds of vertex colorings of hypergraphs: unique-maximum colorings and conflict-free colorings. In a unique-maximum coloring, the colors are ordered, and in every hyperedge of the hypergraph the maximum color appears only once. In a conflict-free coloring, in every hyperedge of the hypergraph there is a color that appears only once. We define corresponding unique-maximum and conflict-free chromatic numbers and investigate their relationship in arbitrary hypergraphs. Then, we concentrate on hypergraphs that are induced by simple paths in tree graphs.
A computational approach to Conway's thrackle conjecture
Published
• View Publication
• BIB
A drawing of a graph in the plane is called a thrackle if every pair of edges meets precisely once, either at a common vertex or at a proper crossing. Let t(n) denote the maximum number of edges that a thrackle of n vertices can have. According to a 40 years old conjecture of Conway, t(n)=n for every n>2. For any eps>0, we give an algorithm terminating in e^{O((1/eps^2)ln(1/eps))} steps to decide whether t(n)<(1+eps)n for all n>2. Using this approach, we improve the best known upper bound, t(n)<=3/2(n-1), due to Cairns and Nikolayevsky, to 167/117n<1.428n.
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.