Showing 20 papers (Total: 82432 papers, 47671 authors in database)
On the exit time from a cone for random walks with drift
Published in Revista Matemática Iberoamericana 32 (2016) 511-532
• View Publication
• BIB
We compute the exponential decay of the probability that a given multi-dimensional random walk stays in a convex cone up to time $n$, as $n$ goes to infinity. We show that the latter equals the minimum, on the dual cone, of the Laplace transform of the random walk increments. As an example, our results find applications in the counting of walks in orthants, a classical domain in enumerative combinatorics.
Privileged Factors in the Thue-Morse Word - A Comparison of Privileged Words and Palindromes
Published in Discrete Applied Mathematics 193 (2015), 187--199
• View Publication
• BIB
In this paper we study the privileged complexity function of the Thue-Morse word. We prove a recursive formula describing this function, and using the formula we show that the function is unbounded and that the values of the function have arbitrarily large gaps of zeros. This demonstrates that the privileged complexity function of an infinite word can drastically differ from its palindromic complexity function, even though there are relations between these functions. Further we study the behavior of palindromes and privileged words in infinite words and the relation between rich words and privileged words.
Palindromic closures using multiple antimorphisms
Published in Theoret. Comput. Sci. 533 (2014), pp 37-45
• View Publication
• BIB
Generalized pseudostandard word $\bf u$, as introduced in 2006 by de Luca and De Luca, is given by a directive sequence of letters from an alphabet ${\cal A}$ and by a directive sequence of involutory antimorphisms acting on ${\cal A}^*$. Prefixes of $\bf u$ with increasing length are constructed using pseudopalindromic closure operator.
We show that generalized Thue--Morse words ${\bf t}_{b,m}$, with $b, m \in \N$ and $b, m \geq 2$, are generalized pseudostandard words if and only if ${\bf t}_{b,m}$ is a periodic word or $b \leq m$. This extends the result of de Luca and De Luca obtained for the classical Thue--Morse words.
Combinatorial operads from monoids
Published in Journal of Algebraic Combinatorics, 41, Issue 2, 493--538, 2015
• View Publication
• BIB
We introduce a functorial construction which, from a monoid, produces a set-operad. We obtain new (symmetric or not) operads as suboperads or quotients of the operads obtained from usual monoids such as the additive and multiplicative monoids of integers and cyclic monoids. They involve various familiar combinatorial objects: endofunctions, parking functions, packed words, permutations, planar rooted trees, trees with a fixed arity, Schröder trees, Motzkin words, integer compositions, directed animals, and segmented integer compositions. We also recover some already known (symmetric or not) operads: the magmatic operad, the associative commutative operad, the diassociative operad, and the triassociative operad. We provide presentations by generators and relations of all constructed nonsymmetric operads.
Splittings and Ramsey Properties of Permutation Classes
We say that a permutation p is 'merged' from permutations q and r, if we can color the elements of p red and blue so that the red elements are order-isomorphic to q and the blue ones to r. A 'permutation class' is a set of permutations closed under taking subpermutations. A permutation class C is 'splittable' if it has two proper subclasses A and B such that every element of C can be obtained by merging an element of A with an element of B.
Several recent papers use splittability as a tool in deriving enumerative results for specific permutation classes. The goal of this paper is to study splittability systematically. As our main results, we show that if q is a sum-decomposable permutation of order at least four, then the class Av(q) of all q-avoiding permutations is splittable, while if q is a simple permutation, then Av(q) is unsplittable.
We also show that there is a close connection between splittings of certain permutation classes and colorings of circle graphs of bounded clique size. Indeed, our splittability results can be interpreted as a generalization of a theorem of Gyárfás stating that circle graphs of bounded clique size have bounded chromatic number.
Bicircular signed-graphic matroids
Published in Discrete Mathematics, Volume 328, 6 August 2014, Pages 1-4
• View Publication
• BIB
Several matroids can be defined on the edge set of a graph. Although historically the cycle matroid has been the most studied, in recent times, the bicircular matroid has cropped up in several places. A theorem of Matthews from late 1970s gives a characterization of graphs whose bicircular matroids are graphic. We give a characterization of graphs whose bicircular matroids are signed-graphic.
Graph Derangements
Published
• View Publication
• BIB
We introduce the notion of a graph derangement, which naturally interpolates between perfect matchings and Hamiltonian cycles. We give a necessary and sufficient condition for the existence of graph derangements on a locally finite graph. This result was first proved by W.T. Tutte in 1953 by applying some deeper results on digraphs. We give a new, simple proof which amounts to a reduction to the (Menger-Egervary-Konig-)Hall(-Hall) Theorem on transversals of set systems. Finally, we consider the problem of classifying all cycle types of graph derangements on m x n checkerboard graphs. Our presentation does not assume any prior knowledge in graph theory or combinatorics: all definitions and proofs of needed theorems are given.
The tridendriform structure of a Magnus expansion
Published in Discrete and Continuous Dynamical Systems - Series A (DCDS-A), 34, Number 3, (2014), 1021-1040
• View Publication
• BIB
The notion of trees plays an important role in Butcher's B-series. More recently, a refined understanding of algebraic and combinatorial structures underlying the Magnus expansion has emerged thanks to the use of rooted trees. We follow these ideas by further developing the observation that the logarithm of the solution of a lihear first-order finite-difference equation can be written in terms of the Magnus expansion taking place in a pre-Lie algebra. By using basic combinatorics on planar reduced trees we derive a closed formula for the Magnus expansion in the context of free tridendriform algebra. The tridendriform algebra structure on word quasi-symmetric functions permits us to derive a discrete analogue of the Mielnik-Plebanski-Strichartz formula for this logarithm.
Generalized Fibonacci polynomials and Fibonomial coefficients
Published
• View Publication
• BIB
The focus of this paper is the study of generalized Fibonacci polynomials and Fibonomial coefficients. The former are polynomials {n} in variables s and t given by {0} = 0, {1} = 1, and {n} = s{n-1}+t{n-2} for n ge 2. The latter are defined by {n choose k} = {n}!/({k}!{n-k}!) where {n}! = {1}{2}...{n}. These quotients are also polynomials in s and t, and specializations give the ordinary binomial coefficients, the Fibonomial coefficients, and the q-binomial coefficients. We present some of their fundamental properties, including a more general recursion for {n}, an analogue of the binomial theorem, a new proof of the Euler-Cassini identity in this setting with applications to estimation of tails of series, and valuations when s and t take on integral values. We also study a corresponding analogue of the Catalan numbers. Conjectures and open problems are scattered throughout the paper.
Explicit bounds from the Alon-Boppana theorem
Published
• View Publication
• BIB
The purpose of this paper is to give explicit methods for bounding the number of vertices of finite $k$-regular graphs with given second eigenvalue. Let $X$ be a finite $k$-regular graph and $μ_1(X)$ the second largest eigenvalue of its adjacency matrix. It follows from the well-known Alon-Boppana Theorem, that for any $ε> 0$ there are only finitely many such $X$ with $μ_1(X) < (2 - ε) \sqrt{k - 1}$, and we effectively implement Serre's quantitative version of this result. For any $k$ and $ε$, this gives an explicit upper bound on the number of vertices in a $k$-regular graph with $μ_1(X) < (2 - ε) \sqrt{k - 1}$.
A More Complicated Hardness Proof for Finding Densest Subgraphs in Bounded Degree Graphs
We consider the Densest-Subgraph problem, where a graph and an integer k is given and we search for a subgraph on exactly k vertices that induces the maximum number of edges. We prove that this problem is NP-hard even when the input graph has maximum degree three.
Combinatorial Hopf algebra structure on packed square matrices
Published in Journal of Combinatorial Theory, Series A, 133, 139--182, 2015
• View Publication
• BIB
We construct a new bigraded Hopf algebra whose bases are indexed by square matrices with entries in the alphabet $\{0, 1, ..., k\}$, $k \geq 1$, without null rows or columns. This Hopf algebra generalizes the one of permutations of Malvenuto and Reutenauer, the one of $k$-colored permutations of Novelli and Thibon, and the one of uniform block permutations of Aguiar and Orellana. We study the algebraic structure of our Hopf algebra and show, by exhibiting multiplicative bases, that it is free. We moreover show that it is self-dual and admits a bidendriform bialgebra structure. Besides, as a Hopf subalgebra, we obtain a new one indexed by alternating sign matrices. We study some of its properties and algebraic quotients defined through alternating sign matrices statistics.
Generalizing and Implementing Michael Hirschhorn's Amazing Algorithm for Proving Ramanujan-Type Congruences
When Mike Hirschhorn showed us his lovely gem, that gives the simplest-to-date proof of Ramanujan's famous result that p(11n+6) is divisible by 11, we realized that his amazing method can be extended, and taught to a computer, and can prove even deeper identities. We would have done much more if not for the existence of Silviu Radu's powerful algorithm that handle any Ramanujan type congruence for any modular form (of a very general type), but it is still nice to know that in order to prove such simply stated results, that can be explained to a seven-year-old, one does not need the intimidating edifice of the "web of modularity", that Ramanujan never mastered, and probably would not have liked.
Lattice Points in Orthotopes and a Huge Polynomial Tutte Invariant of Weighted Gain Graphs
Published in Journal of Combinatorial Theory Ser. B, 118 (2016), 186--227. MR 3471850. Zbl 1332.05065
• View Publication
• BIB
A gain graph is a graph whose edges are orientably labelled from a group. A weighted gain graph is a gain graph with vertex weights from an abelian semigroup, where the gain group is lattice ordered and acts on the weight semigroup. For weighted gain graphs we establish basic properties and we present general dichromatic and forest-expansion polynomials that are Tutte invariants (they satisfy Tutte's deletion-contraction and multiplicative identities). Our dichromatic polynomial includes the classical graph one by Tutte, Zaslavsky's two for gain graphs, Noble and Welsh's for graphs with positive integer weights, and that of rooted integral gain graphs by Forge and Zaslavsky. It is not a universal Tutte invariant of weighted gain graphs; that remains to be found.
An evaluation of one example of our polynomial counts proper list colorations of the gain graph from a color set with a gain-group action. When the gain group is Z^d, the lists are order ideals in the integer lattice Z^d, and there are specified upper bounds on the colors, then there is a formula for the number of bounded proper colorations that is a piecewise polynomial function of the upper bounds, of degree nd where n is the order of the graph.
This example leads to graph-theoretical formulas for the number of integer lattice points in an orthotope but outside a finite number of affinographic hyperplanes, and for the number of n x d integral matrices that lie between two specified matrices but not in any of certain subspaces defined by simple row equations.
Symbolic dynamics for the piecewise rotations: Case of the bijective symmetric maps
We consider a specific %piecewise rotation of the plane that is continuous on two half-planes, class of piecewise rotations of the plane that are continuous on two half-planes, as studied in \cite{Bosh.Goet.03}, \cite{Goet.Quas.09} and \cite{Che.Goe.Qua.12}. %If Assuming that the angle belongs to the set $\{\fracπ{2},\fracπ{3},\fracπ{6},\fracπ{4}\} %$ $, we give a description of the symbolic dynamics of this map in the bijective symmetric case.
A solution to the 2/3 conjecture
Published
• View Publication
• BIB
We prove a vertex domination conjecture of Erd\H os, Faudree, Gould, Gyárfás, Rousseau, and Schelp, that for every n-vertex complete graph with edges coloured using three colours there exists a set of at most three vertices which have at least 2n/3 neighbours in one of the colours. Our proof makes extensive use of the ideas presented in "A New Bound for the 2/3 Conjecture" by Král', Liu, Sereni, Whalen, and Yilma.
Third-order phase transition in random tilings
Published in Phys. Rev. E 88 (2013), 042125 (11 pp.)
• View Publication
• BIB
We consider the domino tilings of an Aztec diamond with a cut-off corner of macroscopic square shape and given size, and address the bulk properties of tilings as the size is varied. We observe that the free energy exhibits a third-order phase transition when the cut-off square, increasing in size, reaches the arctic ellipse---the phase separation curve of the original (unmodified) Aztec diamond. We obtain this result by studying the thermodynamic limit of certain nonlocal correlation function of the underlying six-vertex model with domain wall boundary conditions, the so-called emptiness formation probability (EFP). We consider EFP in two different representations: as a tau-function for Toda chains and as a random matrix model integral. The latter has a discrete measure and a linear potential with hard walls; the observed phase transition shares properties with both Gross-Witten-Wadia and Douglas-Kazakov phase transitions.
Counting words with Laguerre series
Published
• View Publication
• BIB
We develop a method for counting words subject to various restrictions by finding a combinatorial interpretation for a product of weighted sums of Laguerre polynomials with parameter α= -1. We describe how such a series can be computed by finding an appropriate ordinary generating function and applying a certain transformation. We use this technique to find the generating function for the number of k-ary words avoiding any vincular pattern that has only ones, as well as words cyclically avoiding vincular patterns with only ones whose runs of ones between dashes are all of equal length.
From Alternating Sign Matrices to the Gaussian Unitary Ensemble
Published in Communications in Mathematical Physics, 332, no. 1 (2014)
• View Publication
• BIB
The aim of this note is to prove that fluctuations of uniformly random alternating sign matrices (equivalently, configurations of the six-vertex model with domain wall boundary conditions) near the boundary are described by the Gaussian Unitary Ensemble and the GUE-corners process.
Strong noise sensitivity and random graphs
Published in Annals of Probability 2015, Vol. 43, No. 6, 3239-3278
• View Publication
• BIB
The noise sensitivity of a Boolean function describes its likelihood to flip under small perturbations of its input. Introduced in the seminal work of Benjamini, Kalai and Schramm [Inst. Hautes Études Sci. Publ. Math. 90 (1999) 5-43], it was there shown to be governed by the first level of Fourier coefficients in the central case of monotone functions at a constant critical probability $p_c$. Here we study noise sensitivity and a natural stronger version of it, addressing the effect of noise given a specific witness in the original input. Our main context is the Erdős-Rényi random graph, where already the property of containing a given graph is sufficiently rich to separate these notions. In particular, our analysis implies (strong) noise sensitivity in settings where the BKS criterion involving the first Fourier level does not apply, for example, when $p_c\to0$ polynomially fast in the number of variables.