Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Poset Entropy versus Number of Linear Extensions: the Width-$2$ Case
Published
• View Publication
• BIB
Kahn and Kim (J. Comput. Sci., 1995) have shown that for a finite poset $P$, the entropy of the incomparability graph of $P$ (normalized by multiplying by the order of $P$) and the base-$2$ logarithm of the number of linear extensions of $P$ are within constant factors from each other. The tight constant for the upper bound was recently shown to be $2$ by Cardinal, Fiorini, Joret, Jungers and Munro (STOC 2010, Combinatorica). Here, we refine this last result in case $P$ has width $2$: we show that the constant can be replaced by $2-\varepsilon$ if one also takes into account the number of connected components of size $2$ in the incomparability graph of $P$. Our result leads to a better upper bound for the number of comparisons in algorithms for the problem of sorting under partial information.
On the properties of even and odd sequences
Published
• View Publication
• BIB
In this paper we continue to investigate the properties of those sequences $\{a_n\}$ satisfying the condition $\sum_{k=0}^n\binom nk(-1)^ka_k=\pm a_n$ $(n\ge 0)$. As applications we deduce new recurrence relations and congruences for Bernoulli and Euler numbers.
Bilateral symmetry and modified Pascal triangles in Parsimonious games
We discuss the prominent role played by bilateral symmetry and modified Pascal triangles in self twin games, a subset of constant sum homogeneous weighted majority games. We show that bilateral symmetry of the free representations unequivocally identifies and characterizes this class of games and that modified Pascal triangles describe their cardinality for combinations of m and k, respectively linked through linear transforms to the key parameters n, number of players and h, number of types in the game. Besides, we derive the whole set of self twin games in the form of a genealogical tree obtained through a simple constructive procedure in which each game of a generation, corresponding to a given value of m, is able to give birth to one child or two children (depending on the parity of m), self twin games of the next generation. The breeding rules are, given the parity of m, invariant through generations and quite simple.
Dyck path triangulations and extendability
Published
• View Publication
• BIB
We introduce the Dyck path triangulation of the cartesian product of two simplices $Δ_{n-1}\timesΔ_{n-1}$. The maximal simplices of this triangulation are given by Dyck paths, and its construction naturally generalizes to produce triangulations of $Δ_{r\ n-1}\timesΔ_{n-1}$ using rational Dyck paths. Our study of the Dyck path triangulation is motivated by extendability problems of partial triangulations of products of two simplices. We show that whenever $m\geq k>n$, any triangulation of $Δ_{m-1}^{(k-1)}\timesΔ_{n-1}$ extends to a unique triangulation of $Δ_{m-1}\timesΔ_{n-1}$. Moreover, with an explicit construction, we prove that the bound $k>n$ is optimal. We also exhibit interesting interpretations of our results in the language of tropical oriented matroids, which are analogous to classical results in oriented matroid theory.
Forcing Posets with Large Dimension to Contain Large Standard Examples
The dimension of a poset $P$, denoted $\dim(P)$, is the least positive integer $d$ for which $P$ is the intersection of $d$ linear extensions of $P$. The maximum dimension of a poset $P$ with $|P|\le 2n+1$ is $n$, provided $n\ge2$, and this inequality is tight when $P$ contains the standard example $S_n$. However, there are posets with large dimension that do not contain the standard example $S_2$. Moreover, for each fixed $d\ge2$, if $P$ is a poset with $|P|\le 2n+1$ and $P$ does not contain the standard example $S_d$, then $\dim(P)=o(n)$. Also, for large $n$, there is a poset $P$ with $|P|=2n$ and $\dim(P)\ge (1-o(1))n$ such that the largest $d$ so that $P$ contains the standard example $S_d$ is $o(n)$. In this paper, we will show that for every integer $c\ge1$, there is an integer $f(c)=O(c^2)$ so that for large enough $n$, if $P$ is a poset with $|P|\le 2n+1$ and $\dim(P)\ge n-c$, then $P$ contains a standard example $S_d$ with $d\ge n-f(c)$. From below, we show that $f(c)=Ω(c^{4/3})$. On the other hand, we also prove an analogous result for fractional dimension, and in this setting $f(c)$ is linear in $c$. Here the result is best possible up to the value of the multiplicative constant.
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.
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".
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.
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}.
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.
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.
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.
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$.
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.
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.
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.
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$.