sequence
7073 papers tagged with this keyword
A permutation code preserving a double Eulerian bistatistic
Published
• View Publication
• BIB
Visontai conjectured in 2013 that the joint distribution of ascent and distinct nonzero value numbers on the set of subexcedant sequences is the same as that of descent and inverse descent numbers on the set of permutations. This conjecture has been proved by Aas in 2014, and the generating function of the corresponding bistatistics is the double Eulerian polynomial. Among the techniques used by Aas are the Möbius inversion formula and isomorphism of labeled rooted trees. In this paper we define a permutation code (that is, a bijection between permutations and subexcedant sequences) and show the more general result that two $5$-tuples of set-valued statistics on the set of permutations and on the set of subexcedant sequences, respectively, are equidistributed. In particular, these results give a bijective proof of Visontai's conjecture.
S-Restricted Compositions Revisited
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 1, Combinatorics (March 28, 2017) dmtcs:1522
• View Publication
• BIB
An S-restricted composition of a positive integer n is an ordered partition of n where each summand is drawn from a given subset S of positive integers. There are various problems regarding such compositions which have received attention in recent years. This paper is an attempt at finding a closed- form formula for the number of S-restricted compositions of n. To do so, we reduce the problem to finding solutions to corresponding so-called interpreters which are linear homogeneous recurrence relations with constant coefficients. Then, we reduce interpreters to Diophantine equations. Such equations are not in general solvable. Thus, we restrict our attention to those S-restricted composition problems whose interpreters have a small number of coefficients, thereby leading to solvable Diophantine equations. The formalism developed is then used to study the integer sequences related to some well-known cases of the S-restricted composition problem.
Syzygies over the Polytope Semiring
Published
• View Publication
• BIB
Tropical geometry and its applications indicate a "theory of syzygies" over polytope semirings. Taking cue from this indication, we study a notion of syzygies over the polytope semiring. We begin our exploration with the concept of Newton basis, an analogue of Gröbner basis that captures the image of an ideal under the Newton polytope map. The image ${\rm New}(I)$ of a graded ideal $I$ under the Newton polytope is a graded sub-semimodule of the polytope semiring. Analogous to the Hilbert series, we define the notion of Newton-Hilbert series that encodes the rank of each graded piece of ${\rm New}(I)$. We prove the rationality of the Newton-Hilbert series for sub-semimodules that satisfy a property analogous to Cohen-Macaulayness. We define notions of regular sequence of polytopes and syzygies of polytopes. We show an analogue of the Koszul property characterizing the syzygies of a regular sequence of polytopes.
Classification of families of pr- and epr-sequences
Published in Linear and Multilinear Algebra 65(8) (2017), 1581--1599
• View Publication
• BIB
This paper establishes new restrictions for attainable enhanced principal rank characteristic sequences (epr-sequences). These results are then used to classify two related families of sequences that are attainable by a real symmetric matrix: the family of principal rank characteristic sequences (pr-sequences) not containing three consecutive $1$s and the family of epr-sequences which contain an $\tt{N}$ in every subsequence of length $3$.
A New Twist on Wythoff's Game
Wythoff's Game is a game for two players playing alternately on two stacks of tiles. On her turn, a player can either remove a positive number of tiles from one stack, or remove an equal positive number of tiles from both stacks. The last player to move legally wins the game. We propose and study a new extension of this game to more than two stacks, which we call Twyst-off, inspired by the Reidemeister moves of knot theory. From an ordered sequence of stacks of tiles, a player may either remove a positive number of tiles from one of the two end stacks, or remove the same positive number of tiles from two consecutive stacks. Whenever an interior stack is reduced to 0, the two neighboring stacks are combined. In this paper, we prove several results about those Twyst-off positions that can be won by the second player (these are called P-positions). We prove an existence and uniqueness result that makes the visualization of data on three-stack P-positions possible. This shows that many such positions are symmetric, like the easy general examples (a,a,a) and (a,a+1,a). The main result establishes tight bounds on those three-stack P-positions that are not symmetric. We go on to prove one general structural result for positions with an arbitrary number of stacks. We also prove facts about the game when allowing stacks of infinite size, including classifying all positions with only infinite stacks in sequences of up to six stacks.
On the abelian complexity of the Rudin-Shapiro sequence
Published
• View Publication
• BIB
In this paper, we study the abelian complexity of the Rudin-Shapiro sequence and a related sequence. We show that these two sequences share the same complexity function $ρ(n)$ which satisfies certain recurrence relations. As a consequence, the abelian complexity function is $2$-regular. Further, we prove that the box dimension of the graph of the asymptotic function $λ(x)$ is $3/2$ where $λ(x)=\lim_{k\to\infty}ρ(4^{k}x)/\sqrt{4^{k}x}$ and $ρ(x)=ρ(\lfloor x\rfloor)$ for any $x> 0$.
Matching polytons
Published in Electronic Journal of Combinatorics, Volume 26, Issue 4 (2019), P4.38
• View Publication
• BIB
Hladky, Hu, and Piguet [Tilings in graphons, preprint] introduced the notions of matching and fractional vertex covers in graphons. These are counterparts to the corresponding notions in finite graphs.
Combinatorial optimization studies the structure of the matching polytope and the fractional vertex cover polytope of a graph. Here, in analogy, we initiate the study of the structure of the set of all matchings and of all fractional vertex covers in a graphon. We call these sets the matching polyton and the fractional vertex cover polyton.
We also study properties of matching polytons and fractional vertex cover polytons along convergent sequences of graphons.
As an auxiliary tool of independent interest, we prove that a graphon is $r$-partite if and only if it contains no graph of chromatic number $r+1$. This in turn gives a characterization of bipartite graphons as those having a symmetric spectrum.
Hyperfibonacci Sequences and Polytopic Numbers
We prove that the difference between the $n$-th hyperfibonacci number of $r$-th generation and its two consecutive predecessors is the $n$-th regular $(r-1)$-topic number. Using this fact we provide an equivalent recursive definition of hyperfibonacci sequences and derive an extension of the Binet formula. We also prove further identities involving both hyperfibonacci and hyperlucas sequences, in full generality.
On computing the total displacement number via weighted Motzkin paths
Published in 27th International Workshop on Combinatorial Algorithms, IWOCA'16, 423-434, 2016
• View Publication
• BIB
Counting the number of permutations of a given total displacement is equivalent to counting weighted Motzkin paths of a given area (Guay-Paquet and Petersen, 2014). The former combinatorial problem is still open. In this work, we show that this connection allows to construct efficient algorithms for counting and for sampling such permutations. These algorithms provide a tool to better understand the original combinatorial problem. A by-product of our approach is a different way of counting based on certain building sequences for Motzkin paths, which may be of independent interest.
A (human) proof of a triple binomial sum supercongruence
In the recent article arXiv:1606.03351, Apagodu and Zeilberger discuss some applications of an algorithm for finding and proving congruence identities (modulo primes) of indefinite sums of many combinatorial sequence. At the end they propose some supercongruences as conjectures. Here we prove one of them and we leave some remarks for the others.
Maximal green sequences for quivers of finite mutation type
Published
• View Publication
• BIB
In general, the existence of a maximal green sequence is not mutation invariant. In this paper we show that it is in fact mutation invariant for cluster quivers of finite mutation type. In particular, we show that a mutation finite cluster quiver has a maximal green sequence unless it arises from a once-punctured closed marked surface, or one of the two quivers in the mutation class of X7. We develop a procedure to explicitly find maximal green sequences for cluster quivers associated to arbitrary triangulations of closed marked surfaces with at least two punctures. As a corollary, it follows that any triangulation of a marked surface with boundary has a maximal green sequence. We also compute explicit maximal green sequences for exceptional quivers of finite mutation type.
General Edgeworth expansions with applications to profiles of random trees
Published
• View Publication
• BIB
We prove an asymptotic Edgeworth expansion for the profiles of certain random trees including binary search trees, random recursive trees and plane-oriented random trees, as the size of the tree goes to infinity. All these models can be seen as special cases of the one-split branching random walk for which we also provide an Edgeworth expansion. These expansions lead to new results on mode, width and occupation numbers of the trees, settling several open problems raised in Devroye and Hwang [Ann. Appl. Probab. 16(2): 886--918, 2006], Fuchs, Hwang and Neininger [Algorithmica, 46 (3--4): 367--407, 2006], and Drmota and Hwang [Adv. in Appl. Probab., 37 (2): 321--341, 2005]. The aforementioned results are special cases and corollaries of a general theorem: an Edgeworth expansion for an arbitrary sequence of random or deterministic functions $\mathbb L_n:\mathbb Z\to\mathbb R$ which converges in the mod-$φ$-sense. Applications to Stirling numbers of the first kind will be given in a separate paper.
Optimal packings of bounded degree trees
Published
• View Publication
• BIB
We prove that if $T_1,\dots, T_n$ is a sequence of bounded degree trees so that $T_i$ has $i$ vertices, then $K_n$ has a decomposition into $T_1,\dots, T_n$. This shows that the tree packing conjecture of Gyárfás and Lehel from 1976 holds for all bounded degree trees (in fact, we can allow the first $o(n)$ trees to have arbitrary degrees). Similarly, we show that Ringel's conjecture from 1963 holds for all bounded degree trees. We deduce these results from a more general theorem, which yields decompositions of dense quasi-random graphs into suitable families of bounded degree graphs. Our proofs involve Szemerédi's regularity lemma, results on Hamilton decompositions of robust expanders, random walks, iterative absorption as well as a recent blow-up lemma for approximate decompositions.
On sofic approximations of Property (T) groups
We prove Bowen's conjecture that every sequence of finite graphs that locally converges to the Cayley graph of a countably infinite group with Kazhdan Property (T) is essentially a vertex-disjoint union of expander graphs. We characterize graph sequences that are essentially a vertex-disjoint union of expander graphs in terms of the Markov operator.
Combinatorial proof of the transcendence of $L(1,χ_s)/Π$
We give a combinatorial proof of the transcendence of $L(1,χ_s)/Π$, where $L(1,χ_s)$ (resp. $Π$) is the analogue in characteristic $p$ of the function $L$ of Dirichlet (resp. $π$). This result has been proven by G. Damamme using the criteria of de Mathan. Our proof is based on the Theorem of Christol and another property of $k$-automatic sequences.
Using the "Freshman's Dream" to Prove Combinatorial Congruences
Published
• View Publication
• BIB
In a recent beautiful but technical article, William Y.C. Chen, Qing-Hu Hou, and Doron Zeilberger developed an algorithm for finding and proving congruence identities (modulo primes) of indefinite sums of many combinatorial sequences, namely those (like the Catalan and Motzkin sequences) that are expressible in terms of constant terms of powers of Laurent polynomials. We first give a leisurely exposition of their elementary but brilliant approach, and then extend it in two directions. The Laurent polynomials may be of several variables, and instead of single sums we have multiple sums. In fact we even combine these two generalizations! We conclude with some super-challenges.
In this version we report that Roberto Tauraso pointed out that all our conjectured super-congruences, at the end of our article are already known, except one, for which he supplied a beautiful proof that can be found here: arXiv:1606.05543.
Inverse Mellin Transform of Holonomic Sequences
We describe a method to compute the inverse Mellin transform of holonomic sequences, that is based on a method to compute the Mellin transform of holonomic functions. Both methods are implemented in the computer algebra package HarmonicSums.
A High Quartets Distance Construction
Published
• View Publication
• BIB
Given two binary trees on $N$ labeled leaves, the quartet distance between the trees is the number of disagreeing quartets. By permuting the leaves at random, the expected quartets distance between the two trees is $\frac{2}{3}\binom{N}{4}$. However, no strongly explicit construction reaching this bound asymptotically was known.
We consider complete, balanced binary trees on $N=2^n$ leaves, labeled by $n$ long bit sequences. Ordering the leaves in one tree by the prefix order, and in the other tree by the suffix order, we show that the resulting quartet distance is $\left(\frac{2}{3} + o(1)\right)\binom{N}{4}$, and it always exceeds the $\frac{2}{3}\binom{N}{4}$ bound.
Eplett's theorem for self-converse generalised tournaments
The converse of a tournament is obtained by reversing all arcs. If a tournament is isomorphic to its converse, it is called self--converse. Eplett provided a necessary and sufficient condition for a sequence of integers to be realisable as the score sequence of a self--converse tournament. In this paper we extend this result to generalised tournaments.
The numbers of distinct and repeated squares and cubes in the Tribonacci sequence
The Tribonacci sequence $\mathbb{T}$ is the fixed point of the substitution $σ(a,b,c)=(ab,ac,a)$. The main result is twofold: (1) we give the explicit expressions of the numbers of distinct squares and cubes in $\mathbb{T}[1,n]$ (the prefix of $\mathbb{T}$ of length $n$); (2) we give algorithms for counting the number of repeated squares and cubes in $\mathbb{T}[1,n]$ for all $n$; then get explicit expressions for some special $n$ such as $n=t_m$ (the Tribonacci number).