sequence
6845 papers tagged with this keyword
Partition-theoretic Frobenius-type limit formulas
Published
• View Publication
• BIB
Using partition generating function techniques, we prove $q$-series analogues of a formula of Frobenius generalizing Abel's convergence theorem for complex power series. Frobenius' result states that for $|q|<1$, $\lim_{q\to 1}(1-q)\sum_{n\geq 1} f(n) q^n $ is equal to the average value $\lim_{N\to \infty}$ $\frac{1}{N}\sum_{k=1}^{N}f(k)$ of the sequence $\{f(n)\}$ as $n\to \infty$, if the average value exists.
A variational characterisation of projective spherical designs over the quaternions
We give an inequality on the packing of vectors/lines in quaternionic Hilbert space $\Hd$, which generalises those of Sidelnikov and Welch for unit vectors in $\Rd$ and $\Cd$. This has a parameter $t$, and depends only on the vectors up to projective unitary equivalence. The sequences of vectors in ${\mathbb{F}}^d={\mathbb{R}}^d,{\mathbb{C}}^d,{\mathbb{H}}^d$ that give equality, which we call spherical $(t,t)$-designs, are seen to satisfy a cubature rule on the unit sphere in ${\mathbb{F}}^d$ for a suitable polynomial space $\Hom_{\Fd}(t,t)$. Using this, we show that the projective spherical $t$-designs on the Delsarte spaces $\FF P^{d-1}$ coincide with the spherical $(t,t)$-designs of unit vectors in ${\mathbb{F}}^d$. We then explore a number of examples in quaternionic space. The unitarily invariant polynomial space ${\mathop{\rm Hom}\nolimits}_{\mathbb{H}^d}(t,t)$ and the inner product that we define on it so the reproducing kernel has a simple form are of independent interest.
A characterization of Sturmian sequences by indistinguishable asymptotic pairs
Published in European Journal of Combinatorics. Volume 95, June 2021
• View Publication
• BIB
We give a new characterization of biinfinite Sturmian sequences in terms of indistinguishable asymptotic pairs. Two asymptotic sequences on a full $\mathbb{Z}$-shift are indistinguishable if the sets of occurrences of every pattern in each sequence coincide up to a finitely supported permutation. This characterization can be seen as an extension to biinfinite sequences of Pirillo's theorem which characterizes Christoffel words. Furthermore, we provide a full characterization of indistinguishable asymptotic pairs on arbitrary alphabets using substitutions and biinfinite characteristic Sturmian sequences. The proof is based on the well-known notion of derived sequences.
Sequence Positivity Through Numeric Analytic Continuation: Uniqueness of the Canham Model for Biomembranes
Published
• View Publication
• BIB
We prove solution uniqueness for the genus one Canham variational problem arising in the shape prediction of biomembranes. The proof builds on a result of Yu and Chen that reduces the variational problem to proving non-negativity of a sequence defined by a linear recurrence relation with polynomial coefficients. We combine rigorous numeric analytic continuation of D-finite functions with classic bounds from singularity analysis to derive an effective index where the asymptotic behaviour of the sequence, which is positive, dominates the sequence behaviour. Positivity of the finite number of remaining terms is then checked computationally.
Flips on homologous orientations of surface graphs with prescribed forbidden facial circuits
Published
• View Publication
• BIB
Let $G$ be a graph embedded on an orientable surface. Given a class ${\cal C}$ of facial circuits of $G$ as a forbidden class, we give a sufficient-necessary condition for that an $α$-orientation (orientation with prescribed out-degrees) of $G$ can be transformed into another by a sequence of flips on non-forbidden circuits and further give an explicit formula for the minimum number of such flips. We also consider the connection among all $α$-orientations by defining a directed graph ${\bf D}({\cal C})$, namely the ${\cal C}$-forbidden flip graph. We show that if ${\cal C}\not=\emptyset$, then ${\bf D}({\cal C})$ has exactly $|O(G,{\cal C})|$ components, each of which is the cover graph of a distributive lattice, where $|O(G,{\cal C})|$ is the number of the $α$-orientations that has no counterclockwise facial circuit other than that in ${\cal C}$. If ${\cal C}=\emptyset$, then every component of ${\bf D}({\cal C})$ is strongly connected. This generalizes the corresponding results of Felsner and Propp for the case that ${\cal C}$ consists of a single facial circuit.
The sets of flattened partitions with forbidden patterns
The study of pattern avoidance in permutations, and specifically in flattened partitions is an active area of current research. In this paper, we count the number of distinct flattened partitions over [n] avoiding a single pattern, as well as a pair of two patterns. Several counting sequences, namely Catalan numbers, powers of two, Fibonacci numbers and Motzkin numbers arise. We also consider other combinatorial statistics, namely runs and inversions, and establish some bijections in situations where the statistics coincide.
On the free energy density of factor models on biregular graphs
Let $h(0),h(1),\dots,h(k)$ be a symmetric concave sequence. For a $(d,k)$-biregular factor graph $G$ and $x\in \{0,1\}^V$, we define the Hamiltonian \[H_G(x)=\sum_{f\in F} h\left(\sum_{v\in \partial f} x_v\right),\] where $V$ is the set of variable nodes, $F$ is the set of factor nodes. We prove that if $(G_n)$ is a large girth sequence of $(d,k)$-biregular factor graphs, then the free energy density of $G_n$ converges. The limiting free energy density is given by the Bethe-approximation.
Mastermind with a Linear Number of Queries
Published
• View Publication
• BIB
Since the 1960s Mastermind has been studied for the combinatorial and information theoretical interest the game has to offer. Many results have been discovered starting with Erdős and Rényi determining the optimal number of queries needed for two colors. For $k$ colors and $n$ positions, Chvátal found asymptotically optimal bounds when $k \le n^{1-ε}$. Following a sequence of gradual improvements for $k \geq n$ colors, the central open question is to resolve the gap between $Ω(n)$ and $\mathcal{O}(n\log \log n)$ for $k=n$.
In this paper, we resolve this gap by presenting the first algorithm for solving $k=n$ Mastermind with a linear number of queries. As a consequence, we are able to determine the query complexity of Mastermind for any parameters $k$ and $n$.
Dinv, Area, and Bounce for $\vec{k}$-Dyck paths
The well-known $q,t$-Catalan sequence has two combinatorial interpretations as weighted sums of ordinary Dyck paths: one is Haglund's area-bounce formula, and the other is Haiman's dinv-area formula. The zeta map was constructed to connect these two formulas: it is a bijection from ordinary Dyck paths to themselves, and it takes dinv to area, and area to bounce. Such a result was extended for $k$-Dyck paths by Loehr. The zeta map was extended by Armstrong-Loehr-Warrington for a very general class of paths.
In this paper, We extend the dinv-area-bounce result for $\vec{k}$-Dyck paths by: i) giving a geometric construction for the bounce statistic of a $\vec{k}$-Dyck path, which includes the $k$-Dyck paths and ordinary Dyck paths as special cases; ii) giving a geometric interpretation of the dinv statistic of a $\vec{k}$-Dyck path. Our bounce construction is inspired by Loehr's construction and Xin-Zhang's linear algorithm for inverting the sweep map on $\vec{k}$-Dyck paths. Our dinv interpretation is inspired by Garsia-Xin's visual proof of dinv-to-area result on rational Dyck paths.
The Extremals of the Alexandrov-Fenchel Inequality for Convex Polytopes
Published
• View Publication
• BIB
The Alexandrov-Fenchel inequality, a far-reaching generalization of the classical isoperimetric inequality to arbitrary mixed volumes, lies at the heart of convex geometry. The characterization of its extremal bodies is a long-standing open problem that dates back to Alexandrov's original 1937 paper. The known extremals already form a very rich family, and even the fundamental conjectures on their general structure, due to Schneider, are incomplete. In this paper, we completely settle the extremals of the Alexandrov-Fenchel inequality for convex polytopes. In particular, we show that the extremals arise from the combination of three distinct mechanisms: translation, support, and dimensionality. The characterization of these mechanisms requires the development of a diverse range of techniques that shed new light on the geometry of mixed volumes of nonsmooth convex bodies. Our main result extends further beyond polytopes in a number of ways, including to the setting of quermassintegrals of arbitrary convex bodies. As an application of our main result, we settle a question of Stanley on the extremal behavior of certain log-concave sequences that arise in the combinatorics of partially ordered sets.
On the maximum order complexity of Thue-Morse and Rudin-Shapiro sequences along polynomial values
Published
• View Publication
• BIB
Both the Thue-Morse and Rudin-Shapiro sequences are not suitable sequences for cryptography since their expansion complexity is small and their correlation measure of order 2 is large. These facts imply that these sequences are highly predictable despite the fact that they have a large maximum order complexity. Sun and Winterhof (2019) showed that the Thue-Morse sequence along squares keeps a large maximum order complexity. Since, by Christol's theorem, the expansion complexity of this rarefied sequence is no longer bounded, this provides a potentially better candidate for cryptographic applications. Similar results are known for the Rudin-Shapiro sequence and more general pattern sequences. In this paper we generalize these results to any polynomial subsequence (instead of squares) and thereby answer an open problem of Sun and Winterhof. We conclude this paper by some open problems.
An Efficient Scheme for the Generation of Ordered Trees in Constant Amortized Time
Published
• View Publication
• BIB
Trees are useful entities allowing to model data structures and hierarchical relationships in networked decision systems ubiquitously. An ordered tree is a rooted tree where the order of the subtrees (children) of a node is significant. In combinatorial optimization, generating ordered trees is relevant to evaluate candidate combinatorial objects. In this paper, we present an algebraic scheme to generate ordered trees with $n$ vertices with utmost efficiency; whereby our approach uses $\mathcal{O}(n)$ space and $\mathcal{O}(1)$ time in average per tree. Our computational studies have shown the feasibility and efficiency to generate ordered trees in constant time in average, in about one tenth of a millisecond per ordered tree. Due to the 1-1 bijective nature to other combinatorial classes, our approach is favorable to study the generation of binary trees with $n$ external nodes, trees with $n$ nodes, legal sequences of $n$ pairs of parentheses, triangulated $n$-gons, gambler's sequences and lattice paths. We believe our scheme may find its use in devising algorithms for planning and combinatorial optimization involving Catalan numbers.
Flip graphs for infinite type surfaces
Published
• View Publication
• BIB
We associate to triangulations of infinite type surface a type of flip graph where simultaneous flips are allowed. Our main focus is on understanding exactly when two triangulations can be related by a sequence of flips. A consequence of our results is that flip graphs for infinite type surfaces have uncountably many connected components.
Abelian Complexity and Synchronization
We present a general method for computing the abelian complexity $ρ^{\rm ab}_{\bf s} (n)$ of an automatic sequence $\bf s$ in the case where (a) $ρ^{\rm ab}_{\bf s} (n)$ is bounded by a constant and (b) the Parikh vectors of the length-$n$ prefixes of $\bf s$ form a synchronized sequence.
We illustrate the idea in detail, using the free software Walnut to compute the abelian complexity of the Tribonacci word ${\bf TR} = 0102010\cdots$, the fixed point of the morphism $0 \rightarrow 01$, $1 \rightarrow 02$, $2 \rightarrow 0$. Previously, Richomme, Saari, and Zamboni showed that the abelian complexity of this word lies in $\{ 3,4,5,6,7 \}$, and Turek gave a Tribonacci automaton computing it. We are able to "automatically" rederive these results, and more, using the method presented here.
One-pth Riordan Arrays in the Construction of Identities
For an integer $p\geq 2$ we construct vertical and horizontal one-pth Riordan arrays from a Riordan array. When $p=2$, one-pth Riordan arrays reduced to well known half Riordan arrays. The generating functions of the $A$-sequences of vertical and horizontal one-pth Riordan arrays are found. The vertical and horizontal one-pth Riordan arrays provide an approach to construct many identities. They can also be used to verify some well known identities readily.
Graphs containing finite induced paths of unbounded length
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23 no. 2, special issue in honour of Maurice Pouzet, Special issues (March 8, 2022) dmtcs:6915
• View Publication
• BIB
The age $\mathcal{A}(G)$ of a graph $G$ (undirected and without loops) is the collection of finite induced subgraphs of $G$, considered up to isomorphy and ordered by embeddability. It is well-quasi-ordered (wqo) for this order if it contains no infinite antichain. A graph is \emph{path-minimal} if it contains finite induced paths of unbounded length and every induced subgraph $G'$ with this property embeds $G$. We construct $2^{\aleph_0}$ path-minimal graphs whose ages are pairwise incomparable with set inclusion and which are wqo. Our construction is based on uniformly recurrent sequences and lexicographical sums of labelled graphs.
Diameters of Graphs on Reduced Words of 12 and 21-Inflations
Published
• View Publication
• BIB
It is a classical result that any permutation in the symmetric group can be generated by a sequence of adjacent transpositions. The sequences of minimal length are called reduced words, and in this paper we study the graphs of these reduced words, with edges determined by relations in the underlying Coxeter group. Recently, the diameter has been calculated for the longest permutation $n\ldots 21$ by Reiner and Roichman as well as Assaf. In this paper we find inductive formulas for the diameter of the graphs of 12-inflations and many 21-inflations. These results extend to the associated graphs on commutation and long braid classes. Also, these results give a recursive formula for the diameter of the longest permutation, which matches that of Reiner, Roichman and Assaf. Lastly, We make progress on conjectured bounds of the diameter by Reiner and Roichman, which are based on the underlying hyperplane arrangement, and find families of permutations that achieve the upper bound and lower bound of the conjecture. In particular permutations that avoid 312 or 231 have graphs that achieve the upper bound.
A solution to Erdős and Hajnal's odd cycle problem
Published
• View Publication
• BIB
In 1981, Erdős and Hajnal asked whether the sum of the reciprocals of the odd cycle lengths in a graph with infinite chromatic number is necessarily infinite. Let $\mathcal{C}(G)$ be the set of cycle lengths in a graph $G$ and let $\mathcal{C}_\text{odd}(G)$ be the set of odd numbers in $\mathcal{C}(G)$. We prove that, if $G$ has chromatic number $k$, then $\sum_{\ell\in \mathcal{C}_\text{odd}(G)}1/\ell\geq (1/2-o_k(1))\log k$. This solves Erdős and Hajnal's odd cycle problem, and, furthermore, this bound is asymptotically optimal.
In 1984, Erdős asked whether there is some $d$ such that each graph with chromatic number at least $d$ (or perhaps even only average degree at least $d$) has a cycle whose length is a power of 2. We show that an average degree condition is sufficient for this problem, solving it with methods that apply to a wide range of sequences in addition to the powers of 2.
Finally, we use our methods to show that, for every $k$, there is some $d$ so that every graph with average degree at least $d$ has a subdivision of the complete graph $K_k$ in which each edge is subdivided the same number of times. This confirms a conjecture of Thomassen from 1984.
The realizability of discs with ribbons on a Möbius strip
An hieroglyph on n letters is a cyclic sequence of the letters 1,2, . . . , n of length 2n such that each letter appears in the sequence twice.Take an hieroglyph H. Take a convex polygon with 2n sides. Put the letters in the sequence of letters of the hieroglyph on the sides of the convexpolygon in the same order. For each letter i glue the ends of a ribbon to thepair of sides corresponding to the letter i. Call the resulting surface a disk with ribbons corresponding to the hieroglyph H. An hieroglyph H is weakly realizable on the Möbius strip if some disk with ribbons corresponding to H can be cut out of the Möbius strip. We give a criterion for weak realizability, which gives a quadratic (in the number of letters) algorithm. Our criterion is based on the Mohar criterion for realizability of a disk with ribbons in the Möbius strip.
Trees and cycles
Let $T$ be a tree on $n$ vertices. We can regard the edges of $T$ as transpositions of the vertex set; their product (in any order) is a cyclic permutation. All possible cyclic permutations arise (each exactly once) if and only if the tree is a star. In this paper we find the number of realised cycles, and obtain some results on the number of realisations of each cycle, for other trees. We also solve the inverse problem of the number of trees which give rise to a given cycle. On the way, we meet some familiar number sequences including the Euler and Fuss--Catalan numbers.