sequence
7073 papers tagged with this keyword
Counting Numerical Semigroups
Published in Amer. Math. Monthly 124 (2017), no. 9, 862-875
• View Publication
• BIB
A numerical semigroup is an additive submonoid of the natural numbers with finite complement. The size of the complement is called the genus of the semigroup. How many numerical semigroups have genus equal to $g$? We outline Zhai's proof of a conjecture of Bras-Amorós that this sequence has Fibonacci-like growth. We now know that this sequence asymptotically grows as fast as the Fibonacci numbers, but it is still not known whether it is nondecreasing. We discuss this and other open problems. We highlight the many contributions made by undergraduates to problems in this area.
Bijections for inversion sequences, ascent sequences and 3-nonnesting set partitions
Published
• View Publication
• BIB
Set partitions avoiding $k$-crossing and $k$-nesting have been extensively studied from the aspects of both combinatorics and mathematical biology. By using the generating tree technique, the obstinate kernel method and Zeilberger's algorithm, Lin confirmed a conjecture due independently to the author and Martinez-Savage that asserts inversion sequences with no weakly decreasing subsequence of length 3 and enhanced 3-nonnesting partitions have the same cardinality. In this paper, we provide a bijective proof of this conjecture. Our bijection also enables us to provide a new bijective proof of a conjecture posed by Duncan and Steingrímsson, which was proved by the author via an intermediate structure of growth diagrams for $01$-fillings of Ferrers shapes.
Stanley sequences with odd character
Published
• View Publication
• BIB
Given a set of integers containing no 3-term arithmetic progressions, one constructs a Stanley sequence by choosing integers greedily without forming such a progression. Independent Stanley sequences are a "well-structured" class of Stanley sequences with two main parameters: the character $λ(A)$ and the repeat factor $ρ(A)$. Rolnick conjectured that for every $λ\in \mathbb{N}_0\backslash\{1, 3, 5, 9, 11, 15\}$, there exists an independent Stanley sequence $S(A)$ such that $λ(A) =λ$. This paper demonstrates that $λ(A) \not\in \{1, 3, 5, 9, 11, 15\}$ for any independent Stanley sequence $S(A)$.
The limit point of the pentagram map
Published
• View Publication
• BIB
The pentagram map is a discrete dynamical system defined on the space of polygons in the plane. In the first paper on the subject, R. Schwartz proved that the pentagram map produces from each convex polygon a sequence of successively smaller polygons that converges exponentially to a point. We investigate the limit point itself, giving an explicit description of its Cartesian coordinates as roots of certain degree three polynomials.
On a Generalization of the Bipartite Graph $D(k,q)$
In this paper, we deal with a generalization $Γ(Ω,q)$ of the bipartite graphs $D(k,q)$ proposed by Lazebnik and Ustimenko, where $Ω$ is a set of binary sequences that are adopted to index the entries of the vertices. A few sufficient conditions on $Ω$ for $Γ(Ω,q)$ to admit a variety of automorphisms are proposed. A sufficient condition for $Γ(Ω,q)$ to be edge-transitive is proposed further. A lower bound of the number of the connected components of $Γ(Ω,q)$ is given by showing some invariants for the components. For $Γ(Ω,q)$, paths and cycles which contain vertices of some specified form are investigated in details. Some lower bounds for the girth of $Γ(Ω,q)$ are then shown. In particular, one can give very simple conditions on the index set $Ω$ so as to assure the generalized graphs $Γ(Ω,q)$ to be a family of graphs with large girth.
Lattice paths with catastrophes
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 1, Analysis of Algorithms (September 29, 2017) dmtcs:3776
• View Publication
• BIB
In queuing theory, it is usual to have some models with a "reset" of the queue. In terms of lattice paths, it is like having the possibility of jumping from any altitude to zero. These objects have the interesting feature that they do not have the same intuitive probabilistic behaviour as classical Dyck paths (the typical properties of which are strongly related to Brownian motion theory), and this article quantifies some relations between these two types of paths. We give a bijection with some other lattice paths and a link with a continued fraction expansion. Furthermore, we prove several formulae for related combinatorial structures conjectured in the On-Line Encyclopedia of Integer Sequences. Thanks to the kernel method and via analytic combinatorics, we provide the enumeration and limit laws of these "lattice paths with catastrophes" for any finite set of jumps. We end with an algorithm to generate such lattice paths uniformly at random.
Polyhedra and parameter spaces for matroids over valuation rings
Published
• View Publication
• BIB
In this paper we address two of the major foundational questions in the theory of matroids over rings. First, we provide a cryptomorphic axiomatisation, by introducing an analogue of the base polytope for matroids. Second, we describe a parameter space for matroids over a valuation ring, which turns out to be a tropical version of the Bott-Samelson varieties for the full flag variety. Thus a matroid over a valuation ring is a sequence of flags of tropical linear spaces a.k.a. valuated matroids.
On the combinatorics of Riordan arrays and Sheffer polynomials: monoids, operads and monops
We introduce a new algebraic construction, {\em monop}, that combines monoids (with respect to the product of species), and operads (monoids with respect to the substitution of species) in the same algebraic structure. By the use of properties of cancellative set-monops we construct a family of partially ordered sets whose prototypical examples are the Dowling lattices. They generalize the partition posets associated to a cancellative operad, and the subset posets associated to a cancellative monoid. Their generalized Withney numbers of the first and second kind are the entries of a Riordan matrix and its inverse. Equivalently, they are the connecting coefficients of two umbral inverse Sheffer sequences with the family of powers $\{x^n\}_{n=0}^{\infty}$. We study algebraic monops, their associated algebras and the free monop-algebras, as part of a program in progress to develop a theory of Koszul duality for monops.
Higher Order Turán Inequalities for the Partition Function
Published
• View Publication
• BIB
The Turán inequalities and the higher order Turán inequalities arise in the study of Maclaurin coefficients of an entire function in the Laguerre-Pólya class. A real sequence $\{a_{n}\}$ is said to satisfy the Turán inequalities if for $n\geq 1$, $a_n^2-a_{n-1}a_{n+1}\geq 0$. It is said to satisfy the higher order Turán inequalities if for $n\geq 1$, $4(a_{n}^2-a_{n-1}a_{n+1})(a_{n+1}^2-a_{n}a_{n+2})-(a_{n}a_{n+1}-a_{n-1}a_{n+2})^2\geq 0$. A sequence satisfying the Turán inequalities is also called log-concave. For the partition function $p(n)$, DeSalvo and Pak showed that for $n>25$, the sequence $\{ p(n)\}_{n> 25}$ is log-concave, that is, $p(n)^2-p(n-1)p(n+1)>0$ for $n> 25$. It was conjectured by Chen that $p(n)$ satisfies the higher order Turán inequalities for $n\geq 95$. In this paper, we prove this conjecture by using the Hardy-Ramanujan-Rademacher formula to derive an upper bound and a lower bound for $p(n+1)p(n-1)/p(n)^2$. Consequently, for $n\geq 95$, the Jensen polynomials $g_{3,n-1}(x)=p(n-1)+3p(n)x+3p(n+1)x^2+p(n+2)x^3$ have only real zeros. We conjecture that for any positive integer $m\geq 4$ there exists an integer $N(m)$ such that for $n\geq N(m) $, the polynomials $\sum_{k=0}^m {m\choose k}p(n+k)x^k$ have only real zeros. This conjecture was independently posed by Ono.
Plane Graphs are Facially-non-repetitively $10^{4 \cdot10^7}$-Choosable
Published
• View Publication
• BIB
A sequence $\left(x_1,x_2,\ldots,x_{2n}\right)$ of even length is a repetition if $\left(x_1,\ldots,x_n\right) = \left(x_{n+1},\ldots,x_{2n}\right)$. We prove existence of a constant $C < 10^{4 \cdot 10^7}$ such that given any planar drawing of a graph $G$, and a list $L(v)$ of $C$ permissible colors for each vertex $v$ in $G$, there is a choice of a permissible color for each vertex such that the sequence of colors of the vertices on any facial simple path in $G$ is not a repetition.
A splitter theorem for 3-connected 2-polymatroids
Published
• View Publication
• BIB
Seymour's Splitter Theorem is a basic inductive tool for dealing with $3$-connected matroids. This paper proves a generalization of that theorem for the class of $2$-polymatroids. Such structures include matroids, and they model both sets of points and lines in a projective space and sets of edges in a graph. A series compression in such a structure is an analogue of contracting an edge of a graph that is in a series pair. A $2$-polymatroid $N$ is an s-minor of a $2$-polymatroid $M$ if $N$ can be obtained from $M$ by a sequence of contractions, series compressions, and dual-contractions, where the last are modified deletions. The main result proves that if $M$ and $N$ are $3$-connected $2$-polymatroids such that $N$ is an s-minor of $M$, then $M$ has a $3$-connected s-minor $M'$ that has an s-minor isomorphic to $N$ and has $|E(M)| - 1$ elements unless $M$ is a whirl or the cycle matroid of a wheel. In the exceptional case, such an $M'$ can be found with $|E(M)| - 2$ elements.
Numerical studies of Thompson's group F and related groups
Published in International Journal of Algebra and Computation 29.2 (2019): 179243
• View Publication
• BIB
We have developed polynomial-time algorithms to generate terms of the cogrowth series for groups $\mathbb{Z}\wr \mathbb{Z},$ the lamplighter group, $(\mathbb{Z}\wr \mathbb{Z})\wr \mathbb{Z}$ and the Navas-Brin group $B.$ We have also given an improved algorithm for the coefficients of Thompson's group $F,$ giving 32 terms of the cogrowth series. We develop numerical techniques to extract the asymptotics of these various cogrowth series. We present improved rigorous lower bounds on the growth-rate of the cogrowth series for Thompson's group $F$ using the method from \cite{HHR15} applied to our extended series. We also generalise their method by showing that it applies to loops on any locally finite graph. Unfortunately, lower bounds less than 16 do not help in determining amenability.
Again for Thompson's group $F$ we prove that, if the group is amenable, there cannot be a sub-dominant stretched exponential term in the asymptotics\footnote{ }. Yet the numerical data provides compelling evidence for the presence of such a term. This observation suggests a potential path to a proof of non-amenability: If the universality class of the cogrowth sequence can be determined rigorously, it will likely prove non-amenability.
We estimate the asymptotics of the cogrowth coefficients of $F$ to be $$ c_n \sim c \cdot μ^n \cdot κ^{n^σ\log^δ{n}} \cdot n^g,$$ where $μ\approx 15,$ $κ\approx 1/e,$ $σ\approx 1/2,$ $δ\approx 1/2,$ and $g \approx -1.$ The growth constant $μ$ must be 16 for amenability. These two approaches, plus a third based on extrapolating lower bounds, support the conjecture \cite{ERvR15, HHR15} that the group is not amenable.
On the Enumeration and Congruences for m-ary Partitions
Published
• View Publication
• BIB
Let $m\ge 2$ be a fixed positive integer. Suppose that $m^j \leq n< m^{j+1}$ is a positive integer for some $j\ge 0$. Denote $b_{m}(n)$ the number of $m$-ary partitions of $n$, where each part of the partition is a power of $m$. In this paper, we show that $b_m(n)$ can be represented as a $j$-fold summation by constructing a one-to-one correspondence between the $m$-ary partitions and a special class of integer sequences rely only on the base $m$ representation of $n$. It directly reduces to Andrews, Fraenkel and Sellers' characterization of the values $b_{m}(mn)$ modulo $m$. Moreover, denote $c_{m}(n)$ the number of $m$-ary partitions of $n$ without gaps, wherein if $m^i$ is the largest part, then $m^k$ for each $0\leq k<i$ also appears as a part. We also obtain an enumeration formula for $c_m(n)$ which leads to an alternative representation for the congruences of $c_m(mn)$ due to Andrews, Fraenkel, and Sellers.
A bijection of plane increasing trees with relaxed binary trees of right height at most one
Published
• View Publication
• BIB
Plane increasing trees are rooted labeled trees embedded into the plane such that the sequence of labels is increasing on any branch starting at the root. Relaxed binary trees are a subclass of unlabeled directed acyclic graphs. We construct a bijection between these two combinatorial objects and study the therefrom arising connections of certain parameters. Furthermore, we show central limit theorems for two statistics on leaves. We end the study by considering more than 20 subclasses and their bijective counterparts. Many of these subclasses are enumerated by known counting sequences, and thus enrich their combinatorial interpretation.
Refined restricted inversion sequences
Published
• View Publication
• BIB
Recently, the study of patterns in inversion sequences was initiated by Corteel-Martinez-Savage-Weselcouch and Mansour-Shattuck independently. Motivated by their works and a double Eulerian equidistribution due to Foata (1977), we investigate several classical statistics on restricted inversion sequences that are either known or conjectured to be enumerated by {\em Catalan}, {\em Large Schröder}, {\em Baxter} and {\em Euler} numbers. One of the two highlights of our results is a fascinating bijection between $000$-avoiding inversion sequences and Simsun permutations, which together with Foata's V- and S-codes, provide a proof of a restriced double Eulerian equdistribution. The other one is a refinement of a conjecture due to Martinez and Savage that the cardinality of $\I_n(\geq,\geq,>)$ is the $n$-th Baxter number, which is proved via the so-called {\em obstinate kernel method} developed by Bousquet-Mélou.
Restricted inversion sequences and enhanced $3$-noncrossing partitions
Published in European Journal of Combinatorics, 70 (2018), 202-211
• View Publication
• BIB
We prove a conjecture due independently to Yan and Martinez--Savage that asserts inversion sequences with no weakly decreasing subsequence of length $3$ and enhanced $3$-noncrossing partitions have the same cardinality. Our approach applies both the generating tree technique and the so-called obstinate kernel method developed by Bousquet-Mélou. One application of this equinumerosity is a discovery of an intriguing identity involving numbers of classical and enhanced $3$-noncrossing partitions.
Uniquely Pressable Graphs: Characterization, Enumeration, and Recognition
Published
• View Publication
• BIB
We consider "pressing sequences", a certain kind of transformation of graphs with loops into empty graphs, motivated by an application in phylogenetics. In particular, we address the question of when a graph has precisely one such pressing sequence, thus answering an question from Cooper and Davis (2015). We characterize uniquely pressable graphs, count the number of them on a given number of vertices, and provide a polynomial time recognition algorithm. We conclude with a few open questions.
Keywords: Pressing sequence, adjacency matrix, Cholesky factorization, binary matrix
A New Quantity Counted by OEIS Sequence A006012
We prove an existing conjecture that the sequence defined recursively by $a_1=1, a_2=2, a_n=4a_{n-1}-2a_{n-2}$ counts the number of length-$n$ permutations avoiding the four generalized permutation patterns 1-32-4, 1-42-3, 2-31-4, and 2-41-3.
An efficient Algorithm to partition a Sequence of Integers into Subsets with equal Sums
To partition a sequence of n integers into subsets with prescribed sums is an NP-hard problem in general. In this paper we present an efficient solution for the homogeneous version of this problem; i.e. where the elements in each subset add up to the same sum.
The Distribution of Knots in the Petaluma Model
Published in Algebr. Geom. Topol. 18 (2018) 3647-3667
• View Publication
• BIB
The representation of knots by petal diagrams (Adams et al. 2012) naturally defines a sequence of distributions on the set of knots. In this article we establish some basic properties of this randomized knot model. We prove that in the random n-petal model the probability of obtaining every specific knot type decays to zero as n, the number of petals, grows. In addition we improve the bounds relating the crossing number and the petal number of a knot. This implies that the n-petal model represents at least exponentially many distinct knots.
Past approaches to showing, in some random models, that individual knot types occur with vanishing probability, rely on the prevalence of localized connect summands as the complexity of the knot increases. However this phenomenon is not clear in other models, including petal diagrams, random grid diagrams, and uniform random polygons. Thus we provide a new approach to investigate this question.