sequence
6845 papers tagged with this keyword
Binary Signed-Digit Integers and the Stern Diatomic Sequence
Published in Des. Codes Cryptogr. 89 (2021) 1-10
• View Publication
• BIB
Stern's diatomic sequence is a well-studied and simply defined sequence with many fascinating characteristics. The binary signed-digit representation of integers is an alternative representation of integers with much use in efficient computation, coding theory and cryptography. We link these two ideas here, showing that the number of $i$-bit binary signed-digit representations of an integer $n$ with $n<2^i$ is the $(2^i-n)^\text{th}$ element in Stern's diatomic sequence. This correspondence makes the vast range of results known for Stern's diatomic sequence available for consideration in the study of binary signed-digit integers.
Walking in the OEIS: From Motzkin numbers to Fibonacci numbers. The "shadows" of Motzkin numbers
In this paper, we consider nine OEIS sequences, the analysis of which allows us to find a connection between Motzkin numbers and Fibonacci numbers. In each Motzkin number, we distinguish an even component and an odd component, the difference of these two components is called the shadow of the Motzkin number. Reverse of the Motzkin shadows give us a sequence from the family of Fibonacci numbers.
An ensemble of high rank matrices arising from tournaments
Published in Linear Algebra Appl. 658 (2023), 310-318
• View Publication
• BIB
Suppose $\mathbb{F}$ is a field and let $\mathbf{a} := (a_1, a_2, \dotsc)$ be a sequence of non-zero elements in $\mathbb{F}$. For $\mathbf{a}_n := (a_1, \dotsc, a_n)$, we consider the family $\mathcal{M}_n(\mathbf{a})$ of $n \times n$ symmetric matrices $M$ over $\mathbb{F}$ with all diagonal entries zero and the $(i, j)$th element of $M$ either $a_i$ or $a_j$ for $i < j$. In this short paper, we show that all matrices in a certain subclass of $\mathcal{M}_n(\mathbf{a})$ -- which can be naturally associated with transitive tournaments -- have rank at least $\lfloor 2n/3 \rfloor - 1$. We also show that if $\operatorname{char}(\mathbb{F}) \neq 2$ and $M$ is a matrix chosen uniformly at random from $\mathcal{M}_n(\mathbf{a})$, then with high probability $\operatorname{rank}(M) \geq \bigl(\frac{1}{2} - o(1)\bigr)n$.
Shotgun assembly of unlabeled Erdos-Renyi graphs
Published
• View Publication
• BIB
Given a positive integer $n$, an unlabeled graph $G$ on $n$ vertices, and a vertex $v$ of $G$, let $N_G(v)$ be the subgraph of $G$ induced by vertices of $G$ of distance at most one from $v$. We show that there are universal constants $C,c>0$ with the following property. Let the sequence $(p_n)_{n=1}^\infty$ satisfy $n^{-1/2}\log^C n\leq p_n\leq c$. For each $n$, let $Γ_n$ be an unlabeled $G(n,p_n)$ Erdös-Rényi graph. Then with probability $1-o_n(1)$, any unlabeled graph $\tilde Γ_n$ on $n$ vertices with $\{N_{\tilde Γ_n}(v)\}_{v}=\{N_{Γ_n}(v)\}_{v}$ must coincide with $Γ_n$. This establishes $\tilde Θ(n^{-1/2})$ as the transition range for the density parameter $p_n$ between reconstructability and non-reconstructability of Erdös-Rényi graphs from their $1$-neighborhoods, and resolves a problem of Gaudio and Mossel.
A Simple Approach to the Tiling Problem Using Recursive Sequence
The tiling problem has been a famous problem that has appeared in many Mathematics problems. Many of its solutions are rooted in high-level Mathematics. Thus we hope to tackle this problem using more elementary Mathematics concepts. In this report, we start with the simplest cases, with the smaller numbers: the number of ways to tile a $2 \times n$, $3 \times n$, $4 \times n$ rectangular board using $2 \times 1$ domino tiles, where the number of rows is fixed and we present a recursive formula based on $m$ and the earlier terms. This allows us to deduce the non-recursive formula for each case that is only dependent on $m$. For each case, we also expand and generalize the problem, not just for $2$, $3$, $4$ but for any positive integer $k$, for certain types of configurations of the board. We also focus on one of the famous variations of the tiling problem: tatami tiling, and present a solution for simple cases: $2 \times n$, $3 \times n$, $4 \times n$. In the end, we have managed to find a simpler solution for three different configurations of the board, with some we even deduced the non-recursive formula. We have also solved simple cases of the tatami tiling problem, with the hope to tackle the general case in the future. We realized that our method only works on a case-by-case basis, with little success in solving the general case. This approach is also applicable in many other counting problems which we wish to pursue for further research.
On balanced sequences and their critical exponent
Published
• View Publication
• BIB
We study aperiodic balanced sequences over finite alphabets. A sequence vv of this type is fully characterised by a Sturmian sequence u and two constant gap sequences y and y'. We show that the language of v is eventually dendric and we focus on return words to its factors. We develop a method for computing the critical exponent and asymptotic critical exponent of balanced sequences, provided the associated Sturmian sequence u has a quadratic slope. The method is based on looking for the shortest return words to bispecial factors in v. We illustrate our method on several examples; in particular we confirm a conjecture of Rampersad, Shallit and Vandomme that two specific sequences have the least critical exponent among all balanced sequences over 9-letter (resp., $0-letter) alphabets.
Arbitrary-length analogs to de Bruijn sequences
Published in CPM 2022
• View Publication
• BIB
Let $\widetildeα$ be a length-$L$ cyclic sequence of characters from a size-$K$ alphabet $\mathcal{A}$ such that the number of occurrences of any length-$m$ string on $\mathcal{A}$ as a substring of $\widetildeα$ is $\lfloor L / K^m \rfloor$ or $\lceil L / K^m \rceil$. When $L = K^N$ for any positive integer $N$, $\widetildeα$ is a de Bruijn sequence of order $N$, and when $L \neq K^N$, $\widetildeα$ shares many properties with de Bruijn sequences. We describe an algorithm that outputs some $\widetildeα$ for any combination of $K \geq 2$ and $L \geq 1$ in $O(L)$ time using $O(L \log K)$ space. This algorithm extends Lempel's recursive construction of a binary de Bruijn sequence. An implementation written in Python is available at https://github.com/nelloreward/pkl.
Restricted Dyck Paths on Valleys Sequence
In this paper we study a subfamily of a classic lattice path, the \emph{Dyck paths}, called \emph{restricted $d$-Dyck} paths, in short $d$-Dyck. A valley of a Dyck path $P$ is a local minimum of $P$; if the difference between the heights of two consecutive valleys (from left to right) is at least $d$, we say that $P$ is a restricted $d$-Dyck path. The \emph{area} of a Dyck path is the sum of the absolute values of $y$-components of all points in the path. We find the number of peaks and the area of all paths of a given length in the set of $d$-Dyck paths. We give a bivariate generating function to count the number of the $d$-Dyck paths with respect to the the semi-length and number of peaks. After that, we analyze in detail the case $d=-1$. Among other things, we give both, the generating function and a recursive relation for the total area.
On the minimum size of subset and subsequence sums in integers
Published in Comptes Rendus Mathematique, Volume 360 (2022), pp. 1099-1111
• View Publication
• BIB
Let $\mathcal{A}$ be a sequence of $rk$ terms which is made up of $k$ distinct integers each appearing exactly $r$ times in $\mathcal{A}$. The sum of all terms of a subsequence of $\mathcal{A}$ is called a subsequence sum of $\mathcal{A}$. For a nonnegative integer $α\leq rk$, let $Σ_α (\mathcal{A})$ be the set of all subsequence sums of $\mathcal{A}$ that correspond to the subsequences of length $α$ or more. When $r=1$, we call the subsequence sums as subset sums and we write $Σ_α (A)$ for $Σ_α (\mathcal{A})$. In this article, using some simple combinatorial arguments, we establish optimal lower bounds for the size of $Σ_α (A)$ and $Σ_α (\mathcal{A})$. As special cases, we also obtain some already known results in this study.
Peak Sidelobe Level and Peak Crosscorrelation of Golay-Rudin-Shapiro Sequences
Published
• View Publication
• BIB
Sequences with low aperiodic autocorrelation and crosscorrelation are used in communications and remote sensing. Golay and Shapiro independently devised a recursive construction that produces families of complementary pairs of binary sequences. In the simplest case, the construction produces the Rudin-Shapiro sequences, and in general it produces what we call Golay-Rudin-Shapiro sequences. Calculations by Littlewood show that the Rudin-Shapiro sequences have low mean square autocorrelation. A sequence's peak sidelobe level is its largest magnitude of autocorrelation over all nonzero shifts. Høholdt, Jensen, and Justesen showed that there is some undetermined positive constant $A$ such that the peak sidelobe level of a Rudin-Shapiro sequence of length $2^n$ is bounded above by $A(1.842626\ldots)^n$, where $1.842626\ldots$ is the positive real root of $X^4-3 X-6$. We show that the peak sidelobe level is bounded above by $5(1.658967\ldots)^{n-4}$, where $1.658967\ldots$ is the real root of $X^3+X^2-2 X-4$. Any exponential bound with lower base will fail to be true for almost all $n$, and any bound with the same base but a lower constant prefactor will fail to be true for at least one $n$. We provide a similar bound on the peak crosscorrelation (largest magnitude of crosscorrelation over all shifts) between the sequences in each Rudin-Shapiro pair. The methods that we use generalize to all families of complementary pairs produced by the Golay-Rudin-Shapiro recursion, for which we obtain bounds on the peak sidelobe level and peak crosscorrelation with the same exponential growth rate as we obtain for the original Rudin-Shapiro sequences.
Limits of Jensen polynomials for partitions and other sequences
It was discovered recently by Griffin, Ono, Rolen and Zagier that the Jensen polynomials associated to many sequences have Hermite polynomial limits. We develop this theory in detail, based on the log-polynomial property which is a refinement of log-concavity and log-convexity. Applications to various partition sequences are given. An application to the sequence of factorials leads naturally to evaluating limits of generalized Laguerre polynomials.
Fibonacci colored compositions and applications
Published in Integers 21 (2021), Paper A91
• Search Publication
We study compositions whose parts are colored by subsequences of the Fibonacci numbers. We give explicit bijections between Fibonacci colored compositions and several combinatorial objects, including certain restricted ternary and quaternary words, spanning trees in the ladder graph, unimodal sequences covering an initial interval, and ordered-consecutive partition sequences. Our approach relies on the basic idea of representing the colored compositions as tilings of an $n$-board whose tiles are connected, and sometimes decorated, according to a suitable combinatorial interpretation of the given coloring sequence.
Enumeration of binary trees compatible with a perfect phylogeny
Published
• View Publication
• BIB
Evolutionary models used for describing molecular sequence variation suppose that at a non-recombining genomic segment, sequences share ancestry that can be represented as a genealogy--a rooted, binary, timed tree, with tips corresponding to individual sequences. Under the infinitely-many-sites mutation model, mutations are randomly superimposed along the branches of the genealogy, so that every mutation occurs at a chromosomal site that has not previously mutated; if a mutation occurs at an interior branch, then all individuals descending from that branch carry the mutation. The implication is that observed patterns of molecular variation from this model impose combinatorial constraints on the hidden state space of genealogies. In particular, observed molecular variation can be represented in the form of a perfect phylogeny, a tree structure that fully encodes the mutational differences among sequences. For a sample of n sequences, a perfect phylogeny might not possess n distinct leaves, and hence might be compatible with many possible binary tree structures that could describe the evolutionary relationships among the n sequences. Here, we investigate enumerative properties of the set of binary ranked and unranked tree shapes that are compatible with a perfect phylogeny, and hence, the binary ranked and unranked tree shapes conditioned on an observed pattern of mutations under the infinitely-many-sites mutation model. We provide a recursive enumeration of these shapes. We consider both perfect phylogenies that can be represented as binary and those that are multifurcating. The results have implications for computational aspects of the statistical inference of evolutionary parameters that underlie sets of molecular sequences.
The chromatic symmetric function of a graph centred at a vertex
Published
• View Publication
• BIB
We discover new linear relations between the chromatic symmetric functions of certain sequences of graphs and apply these relations to find new families of e-positive unit interval graphs. Motivated by the results of Gebhard and Sagan, we revisit their ideas and reinterpret their equivalence relation in terms of a new quotient algebra of NCSym. We investigate the projection of the chromatic symmetric function $Y_G$ in noncommuting variables in this quotient algebra, which defines $y_{G : v}$, the chromatic symmetric function of a graph G centred at a vertex v. We then apply our methods to $y_{G :v}$ and find new families of unit interval graphs that are (e)-positive, a stronger condition than classical e-positivity, thus confirming new cases of the (3+1)-free conjecture of Stanley and Stembridge.
In our study of $y_{G : v}$, we also describe methods of constructing new e-positive graphs from given $(e)$-positive graphs and classify the (e)-positivity of trees and cut vertices. We moreover construct a related quotient algebra of NCQSym to prove theorems relating the coefficients of $y_{G : v}$ to acyclic orientations of graphs, including a noncommutative refinement of Stanley's sink theorem.
A Combinatorial Interpretation for Sequence A345973 in OEIS
We give a combinatorial interpretation in terms of bicolored ordered trees for the sequence (a_n)_{n>=1}=(1, 1, 1, 2, 3, 6, 10, 20, 36, 73,... ), A345973 in OEIS, whose generating function satisfies the defining identity Sum_{n>=1}a_n x^n = x + x^2/Product_{n>=1}(1 - a_n x^n).
Automatic Generation of Convolution Identities for C-finite sequences
In a recent insightful article, Helmut Prodinger uses sophisticated complex analysis, with residues, to derive convolution identities for Fibonacci, Tribonacci, and k-bonacci numbers. Here we use a naive, "experimental mathematics" (yet fully rogorous!) approach, using the C-finite ansatz, that can derive such identities in a few seconds, but not just for the above-mentioned sequences, but for every C-finite sequence (i.e. a sequence satisfying a linear recurrence with constant coefficients), and even for a pair of these.
Constructing orientable sequences
Published
• View Publication
• BIB
This paper describes new, simple, recursive methods of construction for orientable sequences, i.e. periodic binary sequences in which any n-tuple occurs at most once in a period in either direction. As has been previously described, such sequences have potential applications in automatic position-location systems, where the sequence is encoded onto a surface and a reader needs only examine n consecutive encoded bits to determine its location and orientation on the surface. The only previously described method of construction (due to Dai et al.) is somewhat complex, whereas the new techniques are simple to both describe and implement. The methods of construction cover both the standard `infinite periodic' case, and also the aperiodic, finite sequence, case. Both the new methods build on the Lempel homomorphism, first introduced as a means of recursively generating de Bruijn sequences.
Cycles of even-odd drop permutations and continued fractions of Genocchi numbers
Published
• View Publication
• BIB
Recently, Lazar and Wachs (arXiv:1910.07651) showed that the (median) Genocchi numbers play a fundamental role in the study of the homogenized Linial arrangement and obtained two new permutation models (called D-permutations and E-permutations) for (median) Genocchi numbers. They further conjecture that the distributions of cycle numbers over the two models are equal. In a follow-up, Eu et al. (arXiv:2103.09130) further proved the gamma-positivity of the descent polynomials of even-odd descent permutations, which are in bijection with E-permutations by Foata's fundamental transformation. This paper merges the above two papers by considering a general moment sequence which encompasses the number of cycles and number of drops of E-permutations. Using the combinatorial theory of continued fraction, the moment connection enables us to confirm Lazar-Wachs' conjecture and obtain a natural $(p,q)$-analogue of Eu et al's descent polynomials. Furthermore, we show that the $γ$-coefficients of our $(p,q)$-analogue of descent polynomials have the same factorization flavor as the $γ$-coeffcients of Brändén's $(p,q)$-Eulerian polynomials.
Mutations of reflections and existence of pseudo-acyclic orderings for type $A_n$
In a recent paper by K.-H. Lee, K. Lee and M. Mills, a mutation of reflections in the universal Coxeter group is defined in association with a mutation of a quiver. A matrix representation of these reflections is determined by a linear ordering on the set of vertices of the quiver. It was conjectured that there exists an ordering (called a pseudo-acyclic ordering in this paper) such that whenever two mutation sequences of a quiver lead to the same labeled seed, the representations of the associated reflections also coincide. In this paper, we prove this conjecture for every quiver mutation-equivalent to an orientation of a type $A_n$ Dynkin diagram by decomposing a mutation sequence into a product of elementary swaps and checking relations studied by Barot and Marsh.
Spectral extrema of $K_{s,t}$-minor free graphs--On a conjecture of M. Tait
Published
• View Publication
• BIB
Minors play an important role in extremal graph theory and spectral extremal graph theory. Tait [The Colin de Verdière parameter, excluded minors, and the spectral radius, J. Combin. Theory Ser. A 166 (2019) 42--58] determined the maximum spectral radius and characterized the unique extremal graph for $K_r$-minor free graphs of sufficiently large order $n$, he also made great progress on $K_{s,t}$-minor free graphs and posed a conjecture: Let $2\leq s\leq t$ and $n-s+1=pt+q$, where $n$ is sufficiently large and $1\leq q\leq t.$ Then $K_{s-1}\nabla (pK_t\cup K_q)$ is the unique extremal graph with the maximum spectral radius over all $n$-vertex $K_{s,t}$-minor free graphs. In this paper, Tait's conjecture is completely solved. We also determine the maximum spectral radius and its extremal graphs for $n$-vertex $K_{1,t}$-minor free graphs. To prove our results, some spectral and structural tools, such as, local edge maximality, local degree sequence majorization, double eigenvectors transformation, are used to deduce structural properties of extremal graphs.