Showing papers in "arXiv: Combinatorics in 2010"

Concentration of the adjacency matrix and of the Laplacian in random graphs with independent edges

Abstract: Consider any random graph model where potential edges appear independently, with possibly different probabilities, and assume that the minimum expected degree is !(lnn). We prove that the adjacency matrix and the Laplacian of that random graph are concentrated around the corresponding matrices of the weighted graph whose edge weights are the probabilities in the random model. We apply this result to two different settings. In bond percolation, we show that, whenever the minimum expected degree in the random model is not too small, the Laplacian of the percolated graph is typically close to that of the original graph. As a corollary, we improve upon a bound for the spectral gap of the percolated graph due to Chung and Horn.

A counterexample to the Hirsch conjecture

Abstract: The Hirsch Conjecture (1957) stated that the graph of a $d$-dimensional polytope with $n$ facets cannot have (combinatorial) diameter greater than $n-d$. That is, that any two vertices of the polytope can be connected by a path of at most $n-d$ edges. This paper presents the first counterexample to the conjecture. Our polytope has dimension 43 and 86 facets. It is obtained from a 5-dimensional polytope with 48 facets which violates a certain generalization of the $d$-step conjecture of Klee and Walkup.

A Survey of Alternating Permutations

Abstract: A permutation a1a2 ···an of 1,2,...,n is alternating if a1 > a2 a4 < ···. We survey some aspects of the theory of alternating permu- tations, beginning with the famous result of Andre that if En is the number of alternating permutations of 1,2,...,n, then P n�0 En x n n! = secx + tanx. Topics include refinements and q-analogues of En, various occurrences of En in mathematics, longest alternating subsequences of permutations, umbral enu- meration of special classes of alternating permutations, and the connection between alternating permutations and the cd-index of the symmetric group. Dedicated to Reza Khosrovshahi on the occasion of his 70th birthday

Zero forcing parameters and minimum rank problems

Abstract: The zero forcing number Z(G), which is the minimum number of vertices in a zero forcing set of a graph G, is used to study the maximum nullity / minimum rank of the family of symmetric matrices described by G. It is shown that for a connected graph of order at least two, no vertex is in every zero forcing set. The positive semidefinite zero forcing number Z_+(G) is introduced, and shown to be equal to |G|-OS(G), where OS(G) is the recently defined ordered set number that is a lower bound for minimum positive semidefinite rank. The positive semidefinite zero forcing number is applied to the computation of positive semidefinite minimum rank of certain graphs. An example of a graph for which the real positive symmetric semidefinite minimum rank is greater than the complex Hermitian positive semidefinite minimum rank is presented.

An inverse theorem for the Gowers U^{s+1}[N]-norm

Abstract: We prove the inverse conjecture for the Gowers U^{s+1}[N]-norm for all s >= 3; this is new for s > 3, and the cases s [-1,1] is a function with || f ||_{U^{s+1}[N]} > \delta then there is a bounded-complexity s-step nilsequence F(g(n)\Gamma) which correlates with f, where the bounds on the complexity and correlation depend only on s and \delta. From previous results, this conjecture implies the Hardy-Littlewood prime tuples conjecture for any linear system of finite complexity.

On the Erdos distinct distance problem in the plane

Abstract: In this paper, we prove that a set of $N$ points in ${\bf R}^2$ has at least $c{N \over \log N}$ distinct distances, thus obtaining the sharp exponent in a problem of Erd\"os. We follow the set-up of Elekes and Sharir which, in the spirit of the Erlangen program, allows us to study the problem in the group of rigid motions of the plane. This converts the problem to one of point-line incidences in space. We introduce two new ideas in our proof. In order to control points where many lines are incident, we create a cell decompostion using the polynomial ham sandwich theorem. This creates a dichotomy: either most of the points are in the interiors of the cells, in which case we immediately get sharp results, or alternatively the points lie on the walls of the cells, in which case they are in the zero set of a polynomial of suprisingly low degree, and we may apply the algebraic method. In order to control points where only two lines are incident, we use the flecnode polynomial of the Rev. George Salmon to conclude that most of the lines lie on a ruled surface. Then we use the geometry of ruled surfaces to complete the proof.

A new proof of the graph removal lemma

Abstract: Let H be a fixed graph with h vertices. The graph removal lemma states that every graph on n vertices with o(n^h) copies of H can be made H-free by removing o(n^2) edges. We give a new proof which avoids Szemer\'edi's regularity lemma and gives a better bound. This approach also works to give improved bounds for the directed and multicolored analogues of the graph removal lemma. This answers questions of Alon and Gowers.

An Arithmetic Regularity Lemma, An Associated Counting Lemma, and Applications

Abstract: To Endre Szemeredi on the occasion of his 70th birthday Szemeredi’s regularity lemma can be viewed as a rough structure theorem for arbitrary dense graphs, decomposing such graphs into a structured piece, a small error, and a uniform piece. We establish an arithmetic regularity lemma that similarly decomposes bounded functions f: [N] →ℂ, into a (well-equidistributed, virtual) s-step nilsequence, an error which is small in L2 and a further error which is minuscule in the Gowers Us+1-norm, where s ≥ 1 is a parameter. We then establish a complementary arithmetic counting lemma that counts arithmetic patterns in the nilsequence component of f.

On eccentric connectivity index

Abstract: The eccentric connectivity index, proposed by Sharma, Goswami and Madan, has been employed successfully for the development of numerous mathematical models for the prediction of biological activities of diverse nature. We now report mathematical properties of the eccentric connectivity index. We establish various lower and upper bounds for the eccentric connectivity index in terms of other graph invariants including the number of vertices, the number of edges, the degree distance and the first Zagreb index. We determine the n-vertex trees of diameter , d 3 th the minimum eccentric connectivity index,

Regularity Partitions and The Topology of Graphons

Abstract: Dedicated to Endre Szemeredi on the occasion of his 70th birthday In this paper we highlight a topological aspect of the graph limit theory. We introduce the representation of a graphon on a unique metric space and we relate the dimension of this metric space to the size of regularity partitions. We prove that if a graphon has an excluded induced sub-bigraph then the underlying metric space is compact and has finite packing dimension. It implies in particular that such graphons have regularity partitions of polynomial size.

Axioms for infinite matroids

Abstract: We give axiomatic foundations for non-finitary infinite matroids with duality, in terms of independent sets, bases, circuits, closure and rank. This completes the solution to a problem of Rado of 1966.

A Note on Elkin’s Improvement of Behrend’s Construction

Abstract: We provide a short proof of a recent result of Elkin in which large subsets of \(\{1,\ldots,N\}\) free of three-term progressions are constructed.

On Distance Spectral Radius and Distance Energy of Graphs

Abstract: For a connected graph, the distance spectral radius is the largest eigenvalue of its distance matrix, and the distance energy is defined as the sum of the absolute values of the eigenvalues of its distance matrix. We establish lower and upper bounds for the distance spectral radius of graphs and bipartite graphs, lower bounds for the distance energy of graphs, and characterize the extremal graphs. We also discuss upper bounds for the distance energy.

Matchings, coverings, and Castelnuovo-Mumford regularity

Abstract: We show that the co-chordal cover number of a graph G gives an upper bound for the Castelnuovo-Mumford regularity of the associated edge ideal. Several known combinatorial upper bounds of regularity for edge ideals are then easy consequences of covering results from graph theory, and we derive new upper bounds by looking at additional covering results.

Maximum Wiener Index of Trees with Given Degree Sequence

Abstract: The Wiener index of a connected graph is the sum of topological distances between all pairs of vertices. Wang in (28) gave a mistaken result on the maximum Wiener index of trees with given degree sequence. In this paper we investigate the maximum Wiener index of trees with given degree sequences and the extremal trees which attain the maximum value.

Rumor Spreading on Random Regular Graphs and Expanders

Abstract: 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.

Optimal Inverse Littlewood-Offord theorems

Abstract: Let eta_i be iid Bernoulli random variables, taking values -1,1 with probability 1/2. Given a multiset V of n integers v_1,..., v_n, we define the concentration probability as rho(V) := sup_{x} Pr(v_1 eta_1+...+ v_n eta_n=x). A classical result of Littlewood-Offord and Erdos from the 1940s asserts that if the v_i are non-zero, then rho(V) is O(n^{-1/2}). Since then, many researchers obtained improved bounds by assuming various extra restrictions on V. About 5 years ago, motivated by problems concerning random matrices, Tao and Vu introduced the Inverse Littlewood-Offord problem. In the inverse problem, one would like to give a characterization of the set V, given that rho(V) is relatively large. In this paper, we introduce a new method to attack the inverse problem. As an application, we strengthen a previous result of Tao and Vu, obtaining an optimal characterization for V. This immediately implies several classical theorems, such as those of Sarkozy-Szemeredi and Halasz. The method also applies in the continuous setting and leads to a simple proof for the beta-net theorem of Tao and Vu, which plays a key role in their recent studies of random matrices. All results extend to the general case when V is a subset of an abelian torsion-free group and eta_i are independent variables satisfying some weak conditions.

Graphons, cut norm and distance, couplings and rearrangements

Abstract: We give a survey of basic results on the cut norm and cut metric for graphons (and sometimes more general kernels), with emphasis on the equivalence problem. The main results are not new, but we add various technical complements, and a new proof of the uniqueness theorem by Borgs, Chayes and Lov\'asz. We allow graphons on general probability spaces whenever possible. We also give some new results for {0,1}-valued graphons and for pure graphons.

Dual equivalence graphs and a combinatorial proof of LLT and Macdonald positivity

Abstract: We make a systematic study of a new combinatorial construction called a dual equivalence graph. We axiomatize these graphs and prove that their generating functions are symmetric and Schur positive. By constructing a graph on ribbon tableaux which we transform into a dual equivalence graph, we give a combinatorial proof of the symmetry and Schur positivity of the ribbon tableaux generating functions introduced by Lascoux, Leclerc and Thibon. Using Haglund's formula for the transformed Macdonald polynomials, this also gives a combinatorial formula for the Schur expansion of Macdonald polynomials.

Collapsibility and vanishing of top homology in random simplicial complexes

Abstract: Let Y be a random d-dimensional subcomplex of the (n-1)-dimensional simplex S obtained by starting with the full (d-1)-dimensional skeleton of S and then adding each d-simplex independently with probability p=c/n. We compute an explicit constant gamma_d=Theta(log d) so that for c c_d and a fixed field F, asymptotically almost surely H_d(Y;F) eq 0.

Variations on Cops and Robbers

Abstract: We consider several variants of the classical Cops and Robbers game. We treat the version where the robber can move R > 1 edges at a time, establishing a general upper bound of N / \alpha ^{(1-o(1))\sqrt{log_\alpha N}}, where \alpha = 1 + 1/R, thus generalizing the best known upper bound for the classical case R = 1 due to Lu and Peng. We also show that in this case, the cop number of an N-vertex graph can be as large as N^{1 - 1/(R-2)} for finite R, but linear in N if R is infinite. For R = 1, we study the directed graph version of the problem, and show that the cop number of any strongly connected digraph on N vertices is at most O(N(log log N)^2/log N). Our approach is based on expansion.

An approximate version of Sidorenko's conjecture

Abstract: A beautiful conjecture of Erd\H{o}s-Simonovits and Sidorenko states that if H is a bipartite graph, then the random graph with edge density p has in expectation asymptotically the minimum number of copies of H over all graphs of the same order and edge density. This conjecture also has an equivalent analytic form and has connections to a broad range of topics, such as matrix theory, Markov chains, graph limits, and quasirandomness. Here we prove the conjecture if H has a vertex complete to the other part, and deduce an approximate version of the conjecture for all H. Furthermore, for a large class of bipartite graphs, we prove a stronger stability result which answers a question of Chung, Graham, and Wilson on quasirandomness for these graphs.

When can perfect state transfer occur

Abstract: Let $X$ be a graph on $n$ vertices with with adjacency matrix $A$ and let $H(t)$ denote the matrix-valued function $\exp(iAt)$. If $u$ and $v$ are distinct vertices in $X$, we say perfect state transfer from $u$ to $v$ occurs if there is a time $\tau$ such that $|H({\tau})_{u,v}| = 1$. Our chief problem is to characterize the cases where perfect state transfer occurs. We show that if perfect state transfer does occur in a graph, then the spectral radius is an integer or a quadratic irrational; using this we prove that there are only finitely many graphs with perfect state transfer and with maximum valency at most 4K4. We also show that if perfect state transfer from $u$ to $v$ occurs, then the graphs $X\setminus u$ and $X\setminus v$ are cospectral and any automorphism of $X$ that fixes $u$ must fix $v$ (and conversely).

A compositional shuffle conjecture specifying touch points of the Dyck path

Abstract: We introduce a $q,t$-enumeration of Dyck paths which are forced to touch the main diagonal at specific points and forbidden to touch elsewhere and conjecture that it describes the action of the Macdonald theory $ abla$ operator applied to a Hall-Littlewood polynomial. Our conjecture refines several earlier conjectures concerning the space of diagonal harmonics including the "shuffle conjecture" (Duke J. Math. $\mathbf {126}$ (2005), pp. 195-232) for $ abla e_n[X]$. We bring to light that certain generalized Hall-Littlewood polynomials indexed by compositions are the building blocks for the algebraic combinatorial theory of $q,t$-Catalan sequences and we prove a number of identities involving these functions.

A new combinatorial identity for unicellular maps, via a direct bijective approach

Abstract: A unicellular map, or one-face map, is a graph embedded in an orientable surface such that its complement is a topological disk. In this paper, we give a new viewpoint to the structure of these objects, by describing a decomposition of any unicellular map into a unicellular map of smaller genus. This gives a new combinatorial identity for the number $\epsilon_g(n)$ of unicellular maps of size $n$ and genus $g$. Contrarily to the Harer-Zagier recurrence formula, this identity is recursive in only one parameter (the genus). Iterating the construction gives an explicit bijection between unicellular maps and plane trees with distinguished vertices, which gives a combinatorial explanation (and proof) of the fact that $\epsilon_g(n)$ is the product of the $n$-th Catalan number by a polynomial in $n$. The combinatorial interpretation also gives a new and simple formula for this polynomial. Variants of the problem are considered, like bipartite unicellular maps, or unicellular maps with cubic vertices only.

Diamond-free Families

Abstract: Given a finite poset P, we consider the largest size La(n,P) of a family of subsets of $[n]:=\{1,...,n\}$ that contains no subposet P. This problem has been studied intensively in recent years, and it is conjectured that $\pi(P):= \lim_{n\rightarrow\infty} La(n,P)/{n choose n/2}$ exists for general posets P, and, moreover, it is an integer. For $k\ge2$ let $\D_k$ denote the $k$-diamond poset $\{A< B_1,...,B_k < C\}$. We study the average number of times a random full chain meets a $P$-free family, called the Lubell function, and use it for $P=\D_k$ to determine $\pi(\D_k)$ for infinitely many values $k$. A stubborn open problem is to show that $\pi(\D_2)=2$; here we make progress by proving $\pi(\D_2)\le 2 3/11$ (if it exists).

Multitriangulations, pseudotriangulations and primitive sorting networks

Abstract: We study the set of all pseudoline arrangements with contact points which cover a given support. We define a natural notion of flip between these arrangements and study the graph of these flips. In particular, we provide an enumeration algorithm for arrangements with a given support, based on the properties of certain greedy pseudoline arrangements and on their connection with sorting networks. Both the running time per arrangement and the working space of our algorithm are polynomial. As the motivation for this work, we provide in this paper a new interpretation of both pseudotriangulations and multitriangulations in terms of pseudoline arrangements on specific supports. This interpretation explains their common properties and leads to a natural definition of multipseudotriangulations, which generalizes both. We study elementary properties of multipseudotriangulations and compare them to iterations of pseudotriangulations.

An explicit incidence theorem in F_p

Abstract: Let $P = A\times A \subset \mathbb{F}_p \times \mathbb{F}_p$, $p$ a prime. Assume that $P= A\times A$ has $n$ elements, $n

Improved bounds on coloring of graphs

Abstract: Given a graph $G$ with maximum degree $\Delta\ge 3$, we prove that the acyclic edge chromatic number $a'(G)$ of $G$ is such that $a'(G)\le\lceil 9.62 (\Delta-1)\rceil$. Moreover we prove that: $a'(G)\le \lceil 6.42(\Delta-1)\rceil$ if $G$ has girth $g\ge 5\,$; $a'(G)\le \lceil5.77 (\Delta-1)\rc$ if $G$ has girth $g\ge 7$; $a'(G)\le \lc4.52(\D-1)\rc$ if $g\ge 53$; $a'(G)\le \D+2\,$ if $g\ge \lceil25.84\D\log\D(1+ 4.1/\log\D)\rceil$. We further prove that the acyclic (vertex) chromatic number $a(G)$ of $G$ is such that $a(G)\le \lc 6.59 \Delta^{4/3}+3.3\D\rc$. We also prove that the star-chromatic number $\chi_s(G)$ of $G$ is such that $\chi_s(G)\le \lc4.34\Delta^{3/2}+ 1.5\D\rc$. We finally prove that the $\b$-frugal chromatic number $\chi^\b(G)$ of $G$ is such that $\chi^\b(G)\le \lc\max\{k_1(\b)\D,\; k_2(\b){\D^{1+1/\b}/ (\b!)^{1/\b}}\}\rc$, where $k_1(\b)$ and $k_2(\b)$ are decreasing functions of $\b$ such that $k_1(\b)\in[4, 6]$ and $k_2(\b)\in[2,5]$. To obtain these results we use an improved version of the Lov\'asz Local Lemma due to Bissacot, Fern\'andez, Procacci and Scoppola \cite{BFPS}.

Constructing Extended Formulations from Reflection Relations

Abstract: There are many examples of optimization problems whose associated polyhedra can be described much nicer, and with way less inequalities, by projections of higher dimensional polyhedra than this would be possible in the original space. However, currently not many general tools to construct such extended formulations are available. In this paper, we develop a framework of polyhedral relations that generalizes inductive constructions of extended formulations via projections, and we particularly elaborate on the special case of reflection relations. The latter ones provide polynomial size extended formulations for several polytopes that can be constructed as convex hulls of the unions of (exponentially) many copies of an input polytope obtained via sequences of reflections at hyperplanes. We demonstrate the use of the framework by deriving small extended formulations for the G-permutahedra of all finite reflection groups G (generalizing both Goeman's extended formulation of the permutahedron of size O(n log n) and Ben-Tal and Nemirovski's extended formulation with O(k) inequalities for the regular 2^k-gon) and for Huffman-polytopes (the convex hulls of the weight-vectors of Huffman codes).