arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 83657 papers, 48289 authors in database)
On a Cohen-Lenstra Heuristic for Jacobians of Random Graphs
Published in J. Algebraic Combin. 42 (2015), no. 3, 701-723 • View Publication • BIB
In this paper, we make specific conjectures about the distribution of Jacobians of random graphs with their canonical duality pairings. Our conjectures are based on a Cohen-Lenstra type heuristic saying that a finite abelian group with duality pairing appears with frequency inversely proportional to the size of the group times the size of the group of automorphisms that preserve the pairing. We conjecture that the Jacobian of a random graph is cyclic with probability a little over .7935. We determine the values of several other statistics on Jacobians of random graphs that would follow from our conjectures. In support of the conjectures, we prove that random symmetric matrices over the p-adic integers, distributed according to Haar measure, have cokernels distributed according to the above heuristic. We also give experimental evidence in support of our conjectures.
2014-02-20 v2
The distribution of sandpile groups of random graphs
Published • View Publication • BIB
We determine the distribution of the sandpile group (a.k.a. Jacobian) of the Erdős-Rényi random graph G(n,q) as n goes to infinity. Since any particular group appears with asymptotic probability 0 (as we show), it is natural ask for the asymptotic distribution of Sylow p-subgroups of sandpile groups. We prove the distributions of Sylow p-subgroups converge to specific distributions conjectured by Clancy, Leake, and Payne. These distributions are related to, but different from, the Cohen-Lenstra distribution. Our proof involves first finding the expected number of surjections from the sandpile group to any finite abelian group (the "moments" of a random variable valued in finite abelian groups). To achieve this, we show a universality result for the moments of cokernels of random symmetric integral matrices that is strong enough to handle dependence in the diagonal entries. We then show these moments determine a unique distribution despite their p^{k^2}-size growth.
The major index generating function of standard Young tableaux of shapes of the form "staircase minus rectangle"
Published in Contemporary Math. 627 (2014), 111-122 • View Publication • BIB
A specialisation of a transformation formula for multi-dimensional elliptic hypergeometric series is used to provide compact, non-determinantal formulae for the generating function with respect to the major index of standard Young tableaux of skew shapes of the form "staircase minus rectangle".
2014-02-19 v3
The Moufang's theorem for non-Moufang loops
Published in Aequationes mathematicae, 90 (2016), 329-333 • View Publication • BIB
We introduce a class of non-Moufang loops satisfying the Moufang's theorem.
2014-02-19
Spatial Mixing of Coloring Random Graphs
Published • View Publication • BIB
We study the strong spatial mixing (decay of correlation) property of proper $q$-colorings of random graph $G(n, d/n)$ with a fixed $d$. The strong spatial mixing of coloring and related models have been extensively studied on graphs with bounded maximum degree. However, for typical classes of graphs with bounded average degree, such as $G(n, d/n)$, an easy counterexample shows that colorings do not exhibit strong spatial mixing with high probability. Nevertheless, we show that for $q\geαd+β$ with $α>2$ and sufficiently large $β=O(1)$, with high probability proper $q$-colorings of random graph $G(n, d/n)$ exhibit strong spatial mixing with respect to an arbitrarily fixed vertex. This is the first strong spatial mixing result for colorings of graphs with unbounded maximum degree. Our analysis of strong spatial mixing establishes a block-wise correlation decay instead of the standard point-wise decay, which may be of interest by itself, especially for graphs with unbounded degree.
Resolvable 3-star designs
Let Kv be the complete graph of order v and F be a set of 1-factors of Kv. In this article we study the existence of a resolvable decomposition of Kv - F into 3-stars when F has the minimum number of 1-factors. We completely solve the case in which F has the minimum number of 1- factors, with the possible exception of v in {40, 44, 52, 76, 92, 100, 280, 284, 328, 332, 428, 472, 476, 572}.
2014-02-19 v3
Gaussian fluctuations of Young diagrams and structure constants of Jack characters
Published in Duke Math. J. 165, no. 7 (2016), 1193-1282 • View Publication • BIB
In this paper, we consider a deformation of Plancherel measure linked to Jack polynomials. Our main result is the description of the first and second-order asymptotics of the bulk of a random Young diagram under this distribution, which extends celebrated results of Vershik-Kerov and Logan-Shepp (for the first order asymptotics) and Kerov (for the second order asymptotics). This gives more evidence of the connection with Gaussian $β$-ensemble, already suggested by some work of Matsumoto. Our main tool is a polynomiality result for the structure constant of some quantities that we call Jack characters, recently introduced by Lassalle. We believe that this result is also interested in itself and we give several other applications of it.
2014-02-19
Maximally connected and super arc-connected Bi-Cayley digraphs
Let X=(V, E) be a digraph. X is maximally connected, if κ(X)=δ(X). X is maximally arc-connected, if λ(X)=δ(X). And X is super arc-connected, if every minimum arc-cut of X is either the set of inarcs of some vertex or the set of outarcs of some vertex. In this paper, we will prove that the strongly connected Bi-Cayley digraphs are maximally connected and maximally arc-connected, and the most of strongly connected Bi-Cayley digraphs are super arc-connected.
2014-02-19
On the number of real roots of random polynomials
Published • View Publication • BIB
Roots of random polynomials have been studied exclusively in both analysis and probability for a long time. A famous result by Ibragimov and Maslova, generalizing earlier fundamental works of Kac and Erdos-Offord, showed that the expectation of the number of real roots is $\frac{2}π \log n + o(\log n)$. In this paper, we determine the true nature of the error term by showing that the expectation equals $\frac{2}π\log n + O(1)$. Prior to this paper, such estimate has been known only in the gaussian case, thanks to works of Edelman and Kostlan.
On the Isomorphism Problem for Helly Circular-Arc Graphs
Published in Information and Computation 247 (2016), pp. 266-277 • View Publication • BIB
The isomorphism problem is known to be efficiently solvable for interval graphs, while for the larger class of circular-arc graphs its complexity status stays open. We consider the intermediate class of intersection graphs for families of circular arcs that satisfy the Helly property. We solve the isomorphism problem for this class in logarithmic space. If an input graph has a Helly circular-arc model, our algorithm constructs it canonically, which means that the models constructed for isomorphic graphs are equal.
2014-02-19 v4
Linear pencils encoded in the Newton polygon
Published • View Publication • BIB
Let $C$ be an algebraic curve defined by a sufficiently generic bivariate Laurent polynomial with given Newton polygon $Δ$. It is classical that the geometric genus of $C$ equals the number of lattice points in the interior of $Δ$. In this paper we give similar combinatorial interpretations for the gonality, the Clifford index and the Clifford dimension, by removing a technical assumption from a recent result of Kawaguchi. More generally, the method shows that apart from certain well-understood exceptions, every base-point free pencil whose degree equals or slightly exceeds the gonality is 'combinatorial', in the sense that it corresponds to projecting $C$ along a lattice direction. We then give an interpretation for the scrollar invariants associated to a combinatorial pencil, and show how one can tell whether the pencil is complete or not. Among the applications, we find that every smooth projective curve admits at most one Weierstrass semi-group of embedding dimension $2$, and that if a non-hyperelliptic smooth projective curve $C$ of genus $g \geq 2$ can be embedded in the $n$th Hirzebruch surface $\mathcal{H}_n$, then $n$ is actually an invariant of $C$.
2014-02-19 v2
The lattice size of a lattice polygon
Published • View Publication • BIB
We give upper bounds on the minimal degree of a model in $\mathbb{P}^2$ and the minimal bidegree of a model in $\mathbb{P}^1 \times \mathbb{P}^1$ of the curve defined by a given Laurent polynomial, in terms of the combinatorics of the Newton polygon of the latter. We prove in various cases that this bound is sharp as soon as the polynomial is sufficiently generic with respect to its Newton polygon.
2014-02-19 v2
Three-coloring triangle-free graphs on surfaces III. Graphs of girth five
We show that the size of a 4-critical graph of girth at least five is bounded by a linear function of its genus. This strengthens the previous bound on the size of such graphs given by Thomassen. It also serves as the basic case for the description of the structure of 4-critical triangle-free graphs embedded in a fixed surface, presented in a future paper of this series.
2014-02-19 v3
Counting Integer Points in Multi-Index Transportation Polytopes
We expand on a result of Barvinok and Hartigan to derive asymptotic formulas for the number of integer and binary integer points in a wide class of multi-index $k_1\times k_2\times \ldots \times k_ν$ transportation polytopes. A simple closed form approximation is given as the $k_j$s go to infinity.
2014-02-19 v7
Sum of many dilates
Published in Combinator. Probab. Comp. 25 (2016) 460-469 • View Publication • BIB
We show that for any coprime integers $λ_1 , \ldots , λ_k$ and any finite $A \subset \mathbb{Z}$, one has $$|λ_1 \cdot A + \ldots + λ_k \cdot A| \geq (|λ_1| + \ldots + |λ_k|)|A|- C,$$ where $C$ only depends on $λ_1 , \ldots , λ_k$.
Finite Products Sets and Minimally Almost Periodic Groups
Published in J. Funct. Anal. 270.6 (2016), pp. 2126-2176 • View Publication • BIB
We construct, in locally compact, second countable, amenable groups, sets with large density that fail to have certain combinatorial properties. For the property of being a shift of a set of measurable recurrence we show that this is possible when the group does not have cocompact von Neumann kernel. For the stronger property of being piecewise-syndetic we show that this is always possible. For minimally almost periodic, locally compact, second countable, amenable groups, we prove that any dilation of a positive density set by an open neighborhood of the identity contains a set of measurable recurrence, and that the same result holds, up to a shift, when the von Neumann kernel is cocompact. This leads to a trichotomy for locally compact, second countable, amenable groups based on combinatorial properties of large sets. We also prove, using a two-sided Furstenberg correspondence principle, that any two-sided dilation of a positive density set contains a two-sided finite products set.
2014-02-19 v2
Solution to a problem of Bollobás and Häggkvist on Hamilton cycles in regular graphs
We prove that, for large $n$, every $3$-connected $D$-regular graph on $n$ vertices with $D \geq n/4$ is Hamiltonian. This is best possible and confirms a conjecture posed independently by Bollobás and Häggkvist in the 1970s. The proof builds on a structural decomposition result proved recently by the same authors.
Noncommutative Bell polynomials, quasideterminants and incidence Hopf algebras
Published in International Journal of Algebra and Computation, Volume 24, Issue 05, August 2014 • View Publication • BIB
Bell polynomials appear in several combinatorial constructions throughout mathematics. Perhaps most naturally in the combinatorics of set partitions, but also when studying compositions of diffeomorphisms on vector spaces and manifolds, and in the study of cumulants and moments in probability theory. We construct commutative and noncommutative Bell polynomials and explain how they give rise to Faà di Bruno Hopf algebras. We use the language of incidence Hopf algebras, and along the way provide a new description of antipodes in noncommutative incidence Hopf algebras, involving quasideterminants. We also discuss Möbius inversion in certain Hopf algebras built from Bell polynomials.
2014-02-18
Some Centrally Symmetric Manifolds
We show existence of centrally symmetric maps on surfaces all of whose faces are quadrangles and pentagons for each orientable genus $g \geq 0$. We also show existence of centrally symmetric maps on surfaces all of whose faces are hexagons for each orientable genus $g = 2k-1$, $k\in \mathbb{N}$. We enumerate centrally symmetric triangulated manifolds of dimensions 2 and 3 with few vertices.
2014-02-18 v3
Hamilton cycles in graphs and hypergraphs: an extremal perspective
As one of the most fundamental and well-known NP-complete problems, the Hamilton cycle problem has been the subject of intensive research. Recent developments in the area have highlighted the crucial role played by the notions of expansion and quasi-randomness. These concepts and other recent techniques have led to the solution of several long-standing problems in the area. New aspects have also emerged, such as resilience, robustness and the study of Hamilton cycles in hypergraphs. We survey these developments and highlight open problems, with an emphasis on extremal and probabilistic approaches.