Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Structural Properties of the Cambrian Semilattices -- Consequences of Semidistributivity
The $γ$-Cambrian semilattices $\mathcal{C}_γ$ defined by Reading and Speyer are a family of meet-semilattices associated with a Coxeter group $W$ and a Coxeter element $γ\in W$, and they are lattices if and only if $W$ is finite. In the case where $W$ is the symmetric group $\mathfrak{S}_{n}$ and $γ$ is the long cycle $(1\;2\;\ldots\;n)$ the corresponding $γ$-Cambrian lattice is isomorphic to the well-known Tamari lattice $\mathcal{T}_{n}$. Recently, Kallipoliti and the author have investigated $\mathcal{C}_γ$ from a topological viewpoint, and showed that many properties of the Tamari lattices can be generalized nicely. In the present article this investigation is continued on a structural level using the observation of Reading and Speyer that $\mathcal{C}_γ$ is semidistributive. First we prove that every closed interval of $\mathcal{C}_γ$ is a bounded-homomorphic image of a free lattice (in fact it is a so-called $\mathcal{H\!H}$-lattice). Subsequently we prove that each closed interval of $\mathcal{C}_γ$ is trim, we determine its breadth, and we characterize the closed intervals that are dismantlable.
Permutations sortable by two stacks in parallel and quarter plane walks
Published in Europ. J. Combin. 43 (2015) p. 131-164
• View Publication
• BIB
At the end of the 1960s, Knuth characterised the permutations that can be sorted using a stack in terms of forbidden patterns. He also showed that they are in bijection with Dyck paths and thus counted by the Catalan numbers. Subsequently, Even \& Itai, Pratt and Tarjan studied permutations that can be sorted using two stacks in parallel. This problem is significantly harder. In particular, a sortable permutation can now be sorted by several distinct sequences of stack operations. Moreover, in order to be sortable, a permutation must avoid infinitely many patterns. The associated counting question has remained open for 40 years. We solve it by giving a pair of functional equations that characterise the generating function of permutations that can be sorted with two parallel stacks. The first component of this system describes the generating function Q(a,u) of square lattice loops confined to the positive quadrant, counted by the length and the number of North-West and East-South factors. Our analysis of the asymptotic number of sortable permutations relies at the moment on two intriguing conjectures dealing with the series Q(a,u). We prove that they hold for loops confined to the upper half plane, or not confined at all. They remain open for quarter plane loops. Given the recent activity on walks confined to cones, we believe them to be attractive per se.
The densest subgraph problem in sparse random graphs
Published in Annals of Applied Probability 2016, Vol. 26, No. 1, 305-327
• View Publication
• BIB
We determine the asymptotic behavior of the maximum subgraph density of large random graphs with a prescribed degree sequence. The result applies in particular to the Erdős-Rényi model, where it settles a conjecture of Hajek [IEEE Trans. Inform. Theory 36 (1990) 1398-1414]. Our proof consists in extending the notion of balanced loads from finite graphs to their local weak limits, using unimodularity. This is a new illustration of the objective method described by Aldous and Steele [In Probability on Discrete Structures (2004) 1-72 Springer].
A distributed prime sieving algorithm based on Scheduling by Multiple Edge Reversal
This paper presents a new distributed approach for generating all prime numbers in a given interval of integers. From Eratosthenes, who elaborated the first prime sieve (more than 2000 years ago), to the current generation of parallel computers, which have permitted to reach larger bounds on the interval or to obtain previous results in a shorter time, prime numbers generation still represents an attractive domain of research and plays a central role in cryptography. We propose a fully distributed algorithm for finding all primes in the interval $[2\ldots, n]$, based on the \emph{wheel sieve} and the SMER (\emph{Scheduling by Multiple Edge Reversal}) multigraph dynamics. Given a multigraph $\mathcal{M}$ of arbitrary topology, having $N$ nodes, a SMER-driven system is defined by the number of directed edges (arcs) between any two nodes of $\mathcal{M}$, and by the global period length of all "arc reversals" in $\mathcal{M}$. The new prime number generation method inherits the distributed and parallel nature of SMER and requires at most $n + \lfloor \sqrt{n}\rfloor$ time steps. The message complexity achieves at most $nΔ_N + \lfloor \sqrt{n}\rfloor Δ_N$, where $1\le Δ_N\le N - 1$ is the maximal multidegree of $\mathcal{M}$, and the maximal amount of memory space required per process is $\mathcal{O}(n)$ bits.
On the genericity of Whitehead minimality
Published in Journal of Group Theory 19 (2016) 137-159
• View Publication
• BIB
We show that a finitely generated subgroup of a free group, chosen uniformly at random, is strictly Whitehead minimal with overwhelming probability. Whitehead minimality is one of the key elements of the solution of the orbit problem in free groups. The proofs strongly rely on combinatorial tools, notably those of analytic combinatorics. The result we prove actually depends implicitly on the choice of a distribution on finitely generated subgroups, and we establish it for the two distributions which appear in the literature on random subgroups.
Harmonic functions on the lattice: Absolute monotonicity and propagation of smallness
Published in Duke Math. J. 164, no. 13 (2015), 2577-2595
• View Publication
• BIB
In this work we establish a connection between two classical notions, unrelated so far: Harmonic functions on the one hand and absolutely monotonic functions on the other hand. We use this to prove convexity type and propagation of smallness results for harmonic functions on the lattice.
A Simple Proof of the Cayley Formula using Random Graphs
We present a nice result on the probability of a cycle occurring in a randomly generated graph. We then provide some extensions and applications, including the proof of the famous Cayley formula, which states that the number of labeled trees on $n$ vertices is $n^{n-2}.$
Trees and co-trees with constant maximum degree in planar 3-connected graphs
Published
• View Publication
• BIB
This paper considers the conjecture by Grünbaum that every planar 3-connected graph has a spanning tree $T$ such that both $T$ and its co-tree have maximum degree at most 3. Here, the co-tree of $T$ is the spanning tree of the dual obtained by taking the duals of the non-tree edges. While Grünbaum's conjecture remains open, we show that every planar 3-connected graph has a spanning tree $T$ such that both $T$ and its co-tree have maximum degree at most 5. It can be found in linear time.
On transversals of quasialgebraic families of sets
Published in Journal of Combinatorial Theory, Series A Volume 125, July 2014, Pages 194-213
• View Publication
• BIB
The main results of this paper are generalizations some classical theorems about transversals for families of finite sets to some cases of families of infinite sets.
An extension of Motzkin-Straus Theorem to non-uniform hypergraphs and its applications
Published
• View Publication
• BIB
In 1965, Motzkin and Straus established a remarkable connection between the order of a maximum clique and the Lagrangian of a graph and provided a new proof of Turán's theorem using the connection. The connection of Lagrangians and Turán densities can be also used to prove the fundamental theorem of Erdös-Stone-Simonovits on Turán densities of graphs. Very recently, the study of Turán densities of non-uniform hypergraphs have been motivated by extremal poset problems. In this paper, we attempt to explore the applications of Lagrangian method in determining Turán densities of non-uniform hypergraphs. We first give a definition of the Lagrangian of a non-uniform hypergraph, then give an extension of Motzkin-Straus theorem to non-uniform hypergraphs whose edges contain 1 or 2 vertices. Applying it, we give an extension of Erdös-Stone-Simonovits theorem to non-uniform hypergraphs whose edges contain 1 or 2 vertices.
The Identifying Code problem on $P_4$-tidy graphs
In this paper we first analyze the behaviour of the identifying code number under union and join operations in graphs. This study forced us to analyze three new parameters related to identifying codes, dominating sets and total dominating sets of the complementary graph. We obtain closed formulas for these parameters on spider and quasi-spider graphs. These results easily derive in a linear dynamic programming-based algorithm for the Identifying Code problem for $P_4$-tidy graphs.
Crossing numbers and combinatorial characterization of monotone drawings of $K_n$
Published in Discrete and Computational Geometry 53 (2015), Issue 1, 107-143
• View Publication
• BIB
In 1958, Hill conjectured that the minimum number of crossings in a drawing of $K_n$ is exactly $Z(n) = \frac{1}{4} \lfloor\frac{n}{2}\rfloor \left\lfloor\frac{n-1}{2}\right\rfloor \left\lfloor\frac{n-2}{2}\right\rfloor\left\lfloor\frac{n-3}{2}\right\rfloor$. Generalizing the result by Ábrego et al. for 2-page book drawings, we prove this conjecture for plane drawings in which edges are represented by $x$-monotone curves. In fact, our proof shows that the conjecture remains true for $x$-monotone drawings of $K_n$ in which adjacent edges may cross an even number of times, and instead of the crossing number we count the pairs of edges which cross an odd number of times. We further discuss a generalization of this result to shellable drawings, a notion introduced by Ábrego et al. We also give a combinatorial characterization of several classes of $x$-monotone drawings of complete graphs using a small set of forbidden configurations. For a similar local characterization of shellable drawings, we generalize Carathéodory's theorem to simple drawings of complete graphs.
Characterizing 2-crossing-critical graphs
Published
• View Publication
• BIB
It is very well-known that there are precisely two minimal non-planar graphs: $K_5$ and $K_{3,3}$ (degree 2 vertices being irrelevant in this context). In the language of crossing numbers, these are the only 1-crossing-critical graphs: they each have crossing number at least one, and every proper subgraph has crossing number less than one. In 1987, Kochol exhibited an infinite family of 3-connected, simple 2-crossing-critical graphs. In this work, we: (i) determine all the 3-connected 2-crossing-critical graphs that contain a subdivision of the Möbius Ladder $V_{10}$; (ii) show how to obtain all the not 3-connected 2-crossing-critical graphs from the 3-connected ones; (iii) show that there are only finitely many 3-connected 2-crossing-critical graphs not containing a subdivision of $V_{10}$; and (iv) determine all the 3-connected 2-crossing-critical graphs that do not contain a subdivision of $V_{8}$.
Positivity of rational functions and their diagonals
Published in J. Approximation Theory 195 (2015), 57--69
• View Publication
• BIB
The problem to decide whether a given rational function in several variables is positive, in the sense that all its Taylor coefficients are positive, goes back to Szegő as well as Askey and Gasper, who inspired more recent work. It is well known that the diagonal coefficients of rational functions are $D$-finite. This note is motivated by the observation that, for several of the rational functions whose positivity has received special attention, the diagonal terms in fact have arithmetic significance and arise from differential equations that have modular parametrization. In each of these cases, this allows us to conclude that the diagonal is positive.
Further inspired by a result of Gillis, Reznick and Zeilberger, we investigate the relation between positivity of a rational function and the positivity of its diagonal.
Algebraic matroids with graph symmetry
This paper studies the properties of two kinds of matroids: (a) algebraic matroids and (b) finite and infinite matroids whose ground set have some canonical symmetry, for example row and column symmetry and transposition symmetry.
For (a) algebraic matroids, we expose cryptomorphisms making them accessible to techniques from commutative algebra. This allows us to introduce for each circuit in an algebraic matroid an invariant called circuit polynomial, generalizing the minimal poly- nomial in classical Galois theory, and studying the matroid structure with multivariate methods.
For (b) matroids with symmetries we introduce combinatorial invariants capturing structural properties of the rank function and its limit behavior, and obtain proofs which are purely combinatorial and do not assume algebraicity of the matroid; these imply and generalize known results in some specific cases where the matroid is also algebraic. These results are motivated by, and readily applicable to framework rigidity, low-rank matrix completion and determinantal varieties, which lie in the intersection of (a) and (b) where additional results can be derived. We study the corresponding matroids and their associated invariants, and for selected cases, we characterize the matroidal structure and the circuit polynomials completely.
Some best approximation formulas and inequalities for Wallis ratio
Published in Applied Mathematics and Computation 253 (2015), 363--368
• View Publication
• BIB
In the paper, the authors establish some best approximation formulas and inequalities for Wallis ratio. These formulas and inequalities improve an approximation formula and a double inequality for Wallis ratio recently presented in ``S. Guo, J.-G. Xu, and F. Qi, \textit{Some exact constants for the approximation of the quantity in the Wallis' formula}, J. Inequal. Appl. 2013, \textbf{2013}:67, 7 pages; Available online at \url{http://dx.doi.org/10.1186/1029-242X-2013-67}''.
Thoughts on Barnette's Conjecture
We prove a new sufficient condition for a cubic 3-connected planar graph to be Hamiltonian. This condition is most easily described as a property of the dual graph. Let $G$ be a planar triangulation. Then the dual $G^*$ is a cubic 3-connected planar graph, and $G^*$ is bipartite if and only if $G$ is Eulerian. We prove that if the vertices of $G$ are (improperly) coloured blue and red, such that the blue vertices cover the faces of $G$, there is no blue cycle, and every red cycle contains a vertex of degree at most 4, then $G^*$ is Hamiltonian.
This result implies the following special case of Barnette's Conjecture: if $G$ is an Eulerian planar triangulation, whose vertices are properly coloured blue, red and green, such that every red-green cycle contains a vertex of degree 4, then $G^*$ is Hamiltonian. Our final result highlights the limitations of using a proper colouring of $G$ as a starting point for proving Barnette's Conjecture. We also explain related results on Barnette's Conjecture that were obtained by Kelmans and for which detailed self-contained proofs have not been published.
Tables of parameters of symmetric configurations $v_{k}$
Tables of the currently known parameters of symmetric configurations are given. Formulas for parameters of the known infinite families of symmetric configurations are presented as well. The results of the recent paper [18] are used. This work can be viewed as an appendix to [18], in the sense that the tables given here cover a much larger set of parameters.
Möbius Polynomials
Published in Mathematics Magazine 85 (2012), no. 5, 376-383
• View Publication
• BIB
We introduce the Möbius polynomial $ M_n(x) = \sum_{d|n} μ\left( \frac nd \right) x^d $, which gives the number of aperiodic bracelets of length $n$ with $x$ possible types of gems, and therefore satisfies $M_n(x) \equiv 0$ (mod $n$) for all $x \in \mathbb Z$. We derive some key properties, analyze graphs in the complex plane, and then apply Möbius polynomials combinatorially to juggling patterns, irreducible polynomials over finite fields, and Euler's totient theorem.
Cyclotomy of Weil Sums of Binomials
Published
• View Publication
• BIB
The Weil sum $W_{K,d}(a)=\sum_{x \in K} ψ(x^d + a x)$ where $K$ is a finite field, $ψ$ is an additive character of $K$, $d$ is coprime to $|K^\times|$, and $a \in K^\times$ arises often in number-theoretic calculations, and in applications to finite geometry, cryptography, digital sequence design, and coding theory. Researchers are especially interested in the case where $W_{K,d}(a)$ assumes three distinct values as $a$ runs through $K^\times$. A Galois-theoretic approach, combined with $p$-divisibility results on Gauss sums, is used here to prove a variety of new results that constrain which fields $K$ and exponents $d$ support three-valued Weil sums, and restrict the values that such Weil sums may assume.