arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82432 papers, 47671 authors in database)
2013-08-27 v2
Large deviations of empirical neighborhood distribution in sparse random graphs
Published in Probability Theory and Related Fields 163, no. 1-2, 149-222, 2015 • View Publication • BIB
Consider the Erdős-Renyi random graph on n vertices where each edge is present independently with probability c/n, with c>0 fixed. For large n, a typical random graph locally behaves like a Galton-Watson tree with Poisson offspring distribution with mean c. Here, we study large deviations from this typical behavior within the framework of the local weak convergence of finite graph sequences. The associated rate function is expressed in terms of an entropy functional on unimodular measures and takes finite values only at measures supported on trees. We also establish large deviations for other commonly studied random graph ensembles such as the uniform random graph with given number of edges growing linearly with the number of vertices, or the uniform random graph with given degree sequence. To prove our results, we introduce a new configuration model which allows one to sample uniform random graphs with a given neighborhood distribution, provided the latter is supported on trees. We also introduce a new class of unimodular random trees, which generalizes the usual Galton Watson tree with given degree distribution to the case of neighborhoods of arbitrary finite depth. These generalized Galton Watson trees turn out to be useful in the analysis of unimodular random trees and may be considered to be of interest in their own right.
2013-08-27 v2
Introduction to Khovanov Homologies. III. A new and simple tensor-algebra construction of Khovanov-Rozansky invariants
Published in Nuclear Physics B878 (2014) 12-81 • View Publication • BIB
We continue to develop the tensor-algebra approach to knot polynomials with the goal to present the story in elementary and comprehensible form. The previously reviewed description of Khovanov cohomologies for the gauge group of rank N-1=1 was based on the cut-and-join calculus of the planar cycles, which are involved rather artificially. We substitute them by alternative and natural set of cycles, not obligatory planar. Then the whole construction is straightforwardly lifted from SL(2) to SL(N) and reproduces Khovanov-Rozansky (KR) polynomials, simultaneously for all values of N. No matrix factorization and related tedious calculations are needed in such approach, which can therefore become not only conceptually, but also practically useful.
On the construction of non-2-colorable uniform hypergraphs
Published • View Publication • BIB
The problem of 2-coloring uniform hypergraphs has been extensively studied over the last few decades. An n-uniform hypergraph is not 2-colorable if its vertices can't be colored with two colors, Red and Blue, such that every hyperedge contains Red as well as Blue vertices. The least possible number of hyperedges in an n-uniform hypergraph which is not 2-colorable is denoted by m(n). In this paper, we consider the problem of finding an upper bound on m(n) for small values of n. We provide constructions which improve the existing results for some such values of n. We obtain the first improvement in the case of n=8.
2013-08-27 v2
Neighborly inscribed polytopes and Delaunay triangulations
Published • View Publication • BIB
We construct a large family of neighborly polytopes that can be realized with all the vertices on the boundary of any smooth strictly convex body. In particular, we show that there are superexponentially many combinatorially distinct neighborly polytopes that admit realizations inscribed on the sphere. These are the first examples of inscribable neighborly polytopes that are not cyclic polytopes, and provide the current best lower bound for the number of combinatorial types of inscribable polytopes (which coincides with the current best lower bound for the number of combinatorial types of polytopes). Via stereographic projections, this translates into a superexponential lower bound for the number of combinatorial types of (neighborly) Delaunay triangulations.
Ramsey-type results on singletons, co-singletons and monotone sequences in large collections of sets
Published in Sylvain Gravier, Frédéric Maffray, Jérôme Renault, Nicolas Trotignon: Ramsey-type results on singletons, co-singletons and monotone sequences in large collections of sets. Eur. J. Comb. 25(5): 719-734 (2004) • View Publication • BIB
We say that a 0-1 matrix $N$ of size $a\times b$ can be found in a collection of sets $\mathcal{H}$ if we can find sets $H_{1}, H_{2}, \dots, H_{a}$ in $\mathcal{H}$ and elements $e_1, e_2, \dots, e_b$ in $\cup_{H \in \mathcal{H}} H$ such that $N$ is the incidence matrix of the sets $H_{1}, H_{2}, \dots, H_{a}$ over the elements $e_1, e_2, \dots, e_b$. We prove the following Ramsey-type result: for every $n\in \N$, there exists a number S(n) such that in any collection of at least S(n) sets, one can find either the incidence matrix of a collection of $n$ singletons, or its complementary matrix, or the incidence matrix of a collection of $n$ sets completely ordered by inclusion. We give several results of the same extremal set theoretical flavour. For some of these, we give the exact value of the number of sets required.
Random triangular groups at density 1/3
Published in Compositio Math. 151 (2015) 167-178 • View Publication • BIB
Let Γ(n,p) denote the binomial model of a random triangular group. We show that there exist constants c, C > 0 such that if p <= c/n^2, then a.a.s. Γ(n,p) is free and if p >= C log n/n^2 then a.a.s. Γ(n,p) has Kazhdan's property (T). Furthermore, we show that there exist constants C',c' > 0 such that if C'/n^2 <= p <= c' log n/n^2, then a.a.s. Γ(n,p) is neither free nor has Kazhdan's property (T).
2013-08-27
Graphs with Equal Chromatic Symmetric Functions
Published • View Publication • BIB
Stanley [9] introduced the chromatic symmetric function ${\bf X}_G$ associated to a simple graph $G$ as a generalization of the chromatic polynomial of $G$. In this paper we present a novel technique to write ${\bf X}_G$ as a linear combination of chromatic symmetric functions of smaller graphs. We use this technique to give a sufficient condition for two graphs to have the same chromatic symmetric function. We then construct an infinite family of pairs of unicyclic graphs with the same chromatic symmetric function, answering the question posed by Martin, Morin, and Wagner [7] of whether such a pair exists. Finally, we approach the problem of whether it is possible to determine a tree from its chromatic symmetric function. Working towards an answer to this question, we give a classification theorem for single-centroid trees in terms of data closely related to its chromatic symmetric function.
2013-08-26
Edgeless graphs are the only universal fixers
Published • View Publication • BIB
Given two disjoint copies of a graph $G$, denoted $G^1$ and $G^2$, and a permutation $π$ of $V(G)$, the graph $πG$ is constructed by joining $u \in V(G^1)$ to $π(u) \in V(G^2)$ for all $u \in V(G^1)$. $G$ is said to be a universal fixer if the domination number of $πG$ is equal to the domination number of $G$ for all $π$ of $V(G)$. In 1999 it was conjectured that the only universal fixers are the edgeless graphs. Since then, a few partial results have been shown. In this paper, we prove the conjecture completely.
2013-08-26 v2
Cyclic decomposition of k-permutations and eigenvalues of the arrangement graphs
Published • View Publication • BIB
The (n,k)-arrangement graph A(n,k) is a graph with all the k-permutations of an n-element set as vertices where two k-permutations are adjacent if they agree in exactly k-1 positions. We introduce a cyclic decomposition for k-permutations and show that this gives rise to a very fine equitable partition of A(n,k). This equitable partition can be employed to compute the complete set of eigenvalues (of the adjacency matrix) of A(n,k). Consequently, we determine the eigenvalues of A(n,k) for small values of k. Finally, we show that any eigenvalue of the Johnson graph J(n,k) is an eigenvalue of A(n,k) and that -k is the smallest eigenvalue of A(n,k) with multiplicity O(n^k) for fixed k.
2013-08-26
The infinite random simplicial complex
We study the Fraisse limit of the class of all finite simplicial complexes. Whilst the natural model-theoretic setting for this class uses an infinite language, a range of results associated with Fraisse limits of structures for finite languages carry across to this important example. We introduce the notion of a local class, with the class of finite simplicial complexes as an archetypal example, and in this general context prove the existence of a 0-1 law and other basic model-theoretic results. Constraining to the case where all relations are symmetric, we show that every direct limit of finite groups, and every metrizable profinite group, appears as a subgroup of the automorphism group of the Fraisse limit. Finally, for the specific case of simplicial complexes, we show that the geometric realisation is topologically surprisingly simple: despite the combinatorial complexity of the Fraisse limit, its geometric realisation is homeomorphic to the infinite simplex.
Notes on sets of first return
We prove in this note that, for an alphabet with three letters, the set of first return to a given word in a set satisfying the tree condition is a basis of the free group.
2013-08-26
Few distinct distances implies no heavy lines or circles
Published • View Publication • BIB
We study the structure of planar point sets that determine a small number of distinct distances. Specifically, we show that if a set P of n points determines o(n) distinct distances, then no line contains Ω(n^{7/8}) points of P and no circle contains Ω(n^{5/6}) points of P. We rely on the bipartite and partial variant of the Elekes-Sharir framework that was presented by Sharir, Sheffer, and Solymosi in \cite{SSS13}. For the case of lines we combine this framework with a theorem from additive combinatorics, and for the case of circles we combine it with some basic algebraic geometry and a recent incidence bound for plane algebraic curves by Wang, Yang, and Zhang \cite{WYZ13}. A significant difference between our approach and that of \cite{SSS13} (and other recent extensions) is that, instead of dealing with distances between two point sets that are restricted to one-dimensional curves, we consider distances between one set that is restricted to a curve and one set with no restrictions on it.
Number of lines in hypergraphs
Published in Discrete Applied Mathematics 171 (2014) 137-140 • View Publication • BIB
Chen and Chvátal introduced the notion of lines in hypergraphs; they proved that every 3-uniform hypergraph with $n$ vertices either has a line that consists of all $n$ vertices or else has at least $\log_2 n$ distinct lines. We improve this lower bound by a factor of $2-o(1)$.
Maximal bifix decoding
Published in Discrete Math. 338 (2015)725-742 • Search Publication
We introduce a class of sets of words which is a natural common generalization of Sturmian sets and of interval exchange sets. This class of sets consists of the uniformly recurrent tree sets, where the tree sets are defined by a condition on the possible extensions of bispecial factors. We prove that this class is closed under maximal bifix decoding. The proof uses the fact that the class is also closed under decoding with respect to return words.
2013-08-25
Stirling permutations on multisets
A permutation $σ$ of a multiset is called Stirling permutation if $σ(s)\ge σ(i)$ as soon as $σ(i)=σ(j)$ and $i<s<j.$ In our paper we study Stirling polynomials that arise in the generating function for descent statistics on Stirling permutations of any multiset. We develop generalizations of the classical Stirling numbers and present their combinatorial interpretations. Particularly, we apply the theory of $P$-partitions. Using certain specifications we also introduce the Stirling numbers of odd type and generalizations of the central factorial numbers.
2013-08-25 v2
Exhaustive generation of `Mrs Perkins's quilt' square dissections for low orders
Published • View Publication • BIB
Dissections of a square into smaller squares, with the smaller squares having relatively prime sizes, are known as Mrs Perkins's quilts. A representation of these dissections using graphs is presented. The edges are directed and coloured North-South or West-East, and the graph corresponds naturally to the dissection. This representation allowed the exhaustive generation of all dissections up to order 18, using the plantri software. The results were cross-checked by generating all dissections of small sizes using a direct approach. The results confirm, extend and introduce several integer sequences.
2013-08-25
A Bound for the Locating Chromatic Numbers of Trees
Let $f$ be a proper $k$-coloring of a connected graph $G$ and $Π=(V_1,V_2,\ldots,V_k)$ be an ordered partition of $V(G)$ into the resulting color classes. For a vertex $v$ of $G$, the color code of $v$ with respect to $Π$ is defined to be the ordered $k$-tuple $c_{{}_Π}(v)=(d(v,V_1),d(v,V_2),\ldots,d(v,V_k)),$ where $d(v,V_i)=\min\{d(v,x): x\in V_i\}, 1\leq i\leq k$. If distinct vertices have distinct color codes, then $f$ is called a locating coloring. The minimum number of colors needed in a locating coloring of $G$ is the locating chromatic number of $G$, denoted by $\Cchi_{{}_L}(G)$. In this paper, we study the locating chromatic numbers of trees. We provide a counter example to a theorem of Gary Chartrand et al. [G. Chartrand, D. Erwin, M.A. Henning, P.J. Slater, P. Zhang, The locating-chromatic number of a graph, Bull. Inst. Combin. Appl. 36 (2002) 89-101] about the locating chromatic numbers of trees. Also, we offer a new bound for the locating chromatic number of trees. Then, by constructing a special family of trees, we show that this bound is best possible.
Deploying robots with two sensors in $K_{1,6}$-free graphs
Published in J. Graph Theory 82 (2016), 236-252 • View Publication • BIB
Let $G$ be a graph of minimum degree at least two with no induced subgraph isomorphic to $K_{1,6}$. We prove that if $G$ is not isomorphic to one of eight exceptional graphs, then it is possible to assign two-element subsets of $\{1,2,3,4,5\}$ to the vertices of $G$ in such a way that for every $i\in\{1,2,3,4,5\}$ and every vertex $v\in V(G)$ the label $i$ is assigned to $v$ or one of its neighbors. It follows that $G$ has fractional domatic number at least $5/2$. This is motivated by a problem in robotics and generalizes a result of Fujita, Yamashita and Kameda who proved that the same conclusion holds for all $3$-regular graphs.
2013-08-25 v2
Whittaker functions, geometric crystals, and quantum Schubert calculus
Published • View Publication • BIB
This mostly expository article explores recent developments in the relations between the three objects in the title from an algebro-combinatorial perspective. We prove a formula for Whittaker functions of a real semisimple group as an integral over a geometric crystal in the sense of Berenstein-Kazhdan. We explain the connections of this formula to the program of mirror symmetry of flag varieties developed by Givental and Rietsch; in particular, the integral formula proves the equivariant version of Rietsch's mirror symmetry conjecture. We also explain the idea that Whittaker functions should be thought of as geometric analogues of irreducible characters of finite-dimensional representations.
2013-08-25 v2
Unseparated pairs and fixed points in random permutations
Published • View Publication • BIB
In a uniform random permutation Πof [n] := {1,2,...,n}, the set of elements k in [n-1] such that Π(k+1) = Π(k) + 1 has the same distribution as the set of fixed points of Πthat lie in [n-1]. We give three different proofs of this fact using, respectively, an enumeration relying on the inclusion-exclusion principle, the introduction of two different Markov chains to generate uniform random permutations, and the construction of a combinatorial bijection. We also obtain the distribution of the analogous set for circular permutations that consists of those k in [n] such that Π(k+1 mod n) = Π(k) + 1 mod n. This latter random set is just the set of fixed points of the commutator [ρ, Π], where ρis the n-cycle (1,2,...,n). We show for a general permutation ηthat, under weak conditions on the number of fixed points and 2-cycles of η, the total variation distance between the distribution of the number of fixed points of [η,Π] and a Poisson distribution with expected value 1 is small when n is large.