sequence
6845 papers tagged with this keyword
On the automaticity of the Hankel determinants of a family of automatic sequences
Published
• View Publication
• BIB
Hankel determinants and automatic sequences are two classical subjects widely studied in Mathematics and Theoretical Computer Science. However, these two topics were considered totally independently, until in 1998, when Allouche, Peyrière, Wen and Wen proved that all the Hankel determinants of the Thue-Morse sequence are nonzero. This property allowed Bugeaud to prove that the irrationality exponents of the Thue-Morse-Mahler numbers are exactly 2. Since then, the Hankel determinants of several other automatic sequences, in particular, the paperfolding sequence, the Stern sequence, the period-doubling sequence, are studied by Coons, Vrbik, Guo, Wu, Wen, Bugeaud, Fu, Han, Fokkink, Kraaikamp, and Shallit. On the other hand, it is known that the Hankel determinants of a rational power series are ultimately zero, and the Hankel determinants of a quadratic power series over finite fields are ultimately periodic. It is therefore natural to ask if we can obtain similar results about the Hankel determinants of algebraic series. In the present paper, we provide a partial answer to this question by establishing the automaticity of the reduced Hankel determinants modulo $2$ of $\pm 1$-automatic sequences with kernel of cardinality at most $2$.
Burning the plane: densities of the infinite Cartesian grid
Published
• View Publication
• BIB
Graph burning is a discrete-time process on graphs, where vertices are sequentially burned, and burned vertices cause their neighbours to burn over time. We consider extremal properties of this process in the new setting where the underlying graph is also changing at each time-step. The main focus is on the possible densities of burning vertices when the sequence of underlying graphs are growing grids in the Cartesian plane, centred at the origin. If the grids are of height and width $2cn+1$ at time $n$, then all values in $\left [ \frac{1}{2c^2} , 1 \right ]$ are possible densities for the burned set. For faster growing grids, we show that there is a threshold behaviour: if the size of the grids at time $n$ is $ω(n^{3/2})$, then the density of burned vertices is always $0$, while if the grid sizes are $Θ(n^{3/2})$, then positive densities are possible. Some extensions to lattices of arbitrary but fixed dimension are also considered.
The number of distinct adjacent pairs in geometrically distributed words
Published in Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 4, Analysis of Algorithms (January 28, 2021) dmtcs:5686
• View Publication
• BIB
A sequence of geometric random variables of length $n$ is a sequence of $n$ independent and identically distributed geometric random variables ($Γ_1, Γ_2, \dots, Γ_n$) where $\mathbb{P}(Γ_j=i)=pq^{i-1}$ for $1~\leq~j~\leq~n$ with $p+q=1.$ We study the number of distinct adjacent two letter patterns in such sequences. Initially we directly count the number of distinct pairs in words of short length. Because of the rapid growth of the number of word patterns we change our approach to this problem by obtaining an expression for the expected number of distinct pairs in words of length $n$. We also obtain the asymptotics for the expected number as $n \to \infty$.
On the $t$-adic Littlewood Conjecture
Published
• View Publication
• BIB
The $p$-adic Littlewood Conjecture due to De Mathan and Teulié asserts that for any prime number $p$ and any real number $α$, the equation $$\inf_{|m|\ge 1} |m|\cdot |m|_p\cdot |\langle mα\rangle|\, =\, 0 $$ holds. Here, $|m|$ is the usual absolute value of the integer $m$, $|m|_p$ its $p$-adic absolute value and $ |\langle x\rangle|$ denotes the distance from a real number $x$ to the set of integers. This still open conjecture stands as a variant of the well-known Littlewood Conjecture. In the same way as the latter, it admits a natural counterpart over the field of formal Laurent series $\mathbb{K}\left(\left(t^{-1}\right)\right)$ of a ground field $\mathbb{K}$. This is the so-called \emph{$t$-adic Littlewood Conjecture} ($t$-LC).
It is known that $t$--LC fails when the ground field $\mathbb{K}$ is infinite. This article is concerned with the much more difficult case when the latter field is finite. More precisely, a \emph{fully explicit} counterexample is provided to show that $t$-LC does not hold in the case that $\mathbb{K}$ is a finite field with characteristic 3. Generalizations to fields with characteristics different from 3 are also discussed.
The proof is computer assisted. It reduces to showing that an infinite matrix encoding Hankel determinants of the Paper-Folding sequence over $\mathbb{F}_3$, the so-called Number Wall of this sequence, can be obtained as a two-dimensional automatic tiling satisfying a finite number of suitable local constraints.
The block spectrum of RNA pseudoknot structures
Published
• View Publication
• BIB
In this paper we analyze the length-spectrum of blocks in $γ$-structures. $γ$-structures are a class of RNA pseudoknot structures that plays a key role in the context of polynomial time RNA folding. A $γ$-structure is constructed by nesting and concatenating specific building components having topological genus at most $γ$. A block is a substructure enclosed by crossing maximal arcs with respect to the partial order induced by nesting. We show that, in uniformly generated $γ$-structures, there is a significant gap in this length-spectrum, i.e., there asymptotically almost surely exists a unique longest block of length at least $n-O(n^{1/2})$ and that with high probability any other block has finite length. For fixed $γ$, we prove that the length of the longest block converges to a discrete limit law, and that the distribution of short blocks of given length tends to a negative binomial distribution in the limit of long sequences. We refine this analysis to the length spectrum of blocks of specific pseudoknot types, such as H-type and kissing hairpins. Our results generalize the rainbow spectrum on secondary structures by the first and third authors and are being put into context with the structural prediction of long non-coding RNAs.
On solid density of Cayley digraphs on finite Abelian groups
Let $Γ=$Cay$(G,T)$ be a Cayley digraph over a finite Abelian group $G$ with respect the generating set $T\not\ni0$. $Γ$ has order ord$(Γ)=|G|=n$ and degree deg$(Γ)=|T|=d$. Let $k(Γ)$ be the diameter of $Γ$ and denote $κ(d,n)=\min\{k(Γ):~\textrm{ord}(Γ)=n,\textrm{deg}(Γ)=d\}$.
We give a closed expression, $\ell(d,n)$, of a tight lower bound of $κ(d,n)$ by using the so called {\em solid density} introduced by Fiduccia, Forcade and Zito.
A digraph $Γ$ of degree $d$ is called {\em tight} when $k(Γ)=κ(d,|Γ|)=\ell(d,|Γ|)$ holds. Recently, the {\em Dilating Method} has been developed to derive a sequence of digraphs of constant solid density. In this work, we use this method to derive a sequence of tight digraphs $\{Γ_i\}_{i=1}^{\textrm{c}(Γ)}$ from a given tight digraph $Γ$. Moreover, we find a closed expression of the cardinality c$(Γ)$ of this sequence. It is perhaps surprising that c$(Γ)$ depends only on $n$ and $d$ and not on the structure of $Γ$.
On uniformity of $q$-multiplicative sequences
Published
• View Publication
• BIB
We show that any $q$-multiplicative sequence which is \emph{oscillating} of order $1$, i.e.\ does not correlate with linear phase functions $e^{2πi nα}$ ($α\in \mathbb{R})$, is Gowers uniform of all orders, and hence in particular does not correlate with polynomial phase functions $e^{2πi p(n)}$ ($p \in \mathbb{R}[x]$). Quantitatively, we show that any $q$-multiplicative sequence which is of Gelfond type of order 1 is automatically of Gelfond type of all orders. Consequently, any such $q$-multiplicative sequence is a good weight for ergodic theorems. We also obtain combinatorial corollaries concerning linear patterns in sets which are described in terms of sums of digits.
On the third-order Jacobsthal and third-order Jacobsthal-Lucas sequences and their matrix representations
Published in Mediterr. J. Math. (2019) 16: 32
• View Publication
• BIB
In this paper, we first give new generalizations for third-order Jacobsthal $\{J_{n}^{(3)}\}_{n\in \mathbb{N}}$ and third-order Jacobsthal-Lucas $\{j_{n}^{(3)}\}_{n\in \mathbb{N}}$ sequences for Jacobsthal and Jacobsthal-Lucas numbers. Considering these sequences, we define the matrix sequences which have elements of $\{J_{n}^{(3)}\}_{n\in \mathbb{N}}$ and $\{j_{n}^{(3)}\}_{n\in \mathbb{N}}$. Then we investigate their properties.
A fast algorithm for solving linearly recurrent sequences
Published
• View Publication
• BIB
We present an algorithm which computes the $D^{th}$ term of a sequence satisfying a linear recurrence relation of order $d$ over a field $K$ in $O( \mathsf{M}(\bar d)\log(D) + \mathsf{M}(d)\log(d))$ operations in $K$, where $\bar d \leq d$ is the degree of the squarefree part of the annihilating polynomial of the recurrence and $\mathsf{M}$ is the cost of polynomial multiplication in $K$. This is a refinement of the previously optimal result of $O( \mathsf{M}(d)\log(D) )$ operations, due to Fiduccia.
Peak positions of strongly unimodal sequences
Published
• View Publication
• BIB
We study combinatorial and asymptotic properties of the rank of strongly unimodal sequences. We find a generating function for the rank enumeration function, and give a new combinatorial interpretation of the ospt-function introduced by Andrews, Chan, and Kim. We conjecture that the enumeration function for the number of unimodal sequences of a fixed size and varying rank is log-concave, and prove an asymptotic result in support of this conjecture. Finally, we determine the asymptotic behavior of the rank for strongly unimodal sequences, and prove that its values (when appropriately renormalized) are normally distributed with mean zero in the asymptotic limit.
The $A_α$-spectral radius of graphs with given degree sequence
Published
• View Publication
• BIB
Let $G$ be a graph with adjacency matrix $A(G)$, and let $D(G)$ be the diagonal matrix of the degrees of $G$. For any real $α\in[0,1]$, write $A_α(G)$ for the matrix $$A_α(G)=αD(G)+(1-α)A(G).$$ This paper presents some extremal results about the spectral radius $ρ(A_α(G))$ of $A_α(G)$ that generalize previous results about $ρ(A_0(G))$ and $ρ(A_{\frac{1}{2}}(G))$. In this paper, we give some results on graph perturbation for $A_α$-matrix with $α\in [0,1)$. As applications, we characterize all extremal trees with the maximum $A_α$-spectral radius in the set of all trees with prescribed degree sequence firstly. Furthermore, we characterize the unicyclic graphs that have the largest $A_α$-spectral radius for a given unicycilc degree sequence.
Correlation bounds for fields and matroids
Published in Journal of the European Mathematical Society 24 (2022), 1335-1351
• View Publication
• BIB
Let $G$ be a finite connected graph, and let $T$ be a spanning tree of $G$ chosen uniformly at random. The work of Kirchhoff on electrical networks can be used to show that the events $e_1 \in T$ and $e_2 \in T$ are negatively correlated for any distinct edges $e_1$ and $e_2$. What can be said for such events when the underlying matroid is not necessarily graphic? We use Hodge theory for matroids to bound the correlation between the events $e \in B$, where $B$ is a randomly chosen basis of a matroid. As an application, we prove Mason's conjecture that the number of $k$-element independent sets of a matroid forms an ultra-log-concave sequence in $k$.
Maximum and minimum nullity of a tree degree sequence
The nullity of a graph is the multiplicity of the eigenvalue zero in its adjacency spectrum. In this paper, we give a closed formula for the minimum and maximum nullity among trees with the same degree sequence, using the notion of matching number and annihilation number. Algorithms for constructing such minimum-nullity and maximum-nullity trees are described.
Geometry and algorithms for upper triangular tropical matrix identities
Published
• View Publication
• BIB
We provide geometric methods and algorithms to verify, construct and enumerate pairs of words (of specified length over a fixed $m$-letter alphabet) that form identities in the semigroup $\ut{n}$ of $n\times n$ upper triangular tropical matrices. In the case $n=2$ these identities are precisely those satisfied by the bicyclic monoid, whilst in the case $n=3$ they form a subset of the identities which hold in the plactic monoid of rank $3$. To each word we associate a signature sequence of lattice polytopes, and show that two words form an identity for $\ut{n}$ if and only if their signatures are equal. Our algorithms are thus based on polyhedral computations and achieve optimal complexity in some cases. For $n=m=2$ we prove a Structural Theorem, which allows us to quickly enumerate the pairs of words of fixed length which form identities for $\ut{2}$. This allows us to recover a short proof of Adjan's theorem on minimal length identities for the bicyclic monoid, and to construct minimal length identities for $\ut{3}$, providing counterexamples to a conjecture of Izhakian in this case. We conclude with six conjectures at the intersection of semigroup theory, probability and combinatorics, obtained through analysing the outputs of our algorithms.
On sunlet graphs connected to a specific map on $\{1,2,\dots,p-1\}$
Published in Annales Mathematicae et Informaticae, 49 (2018) 101-107
• View Publication
• BIB
In this article, we study the structure of the graph implied by a given map on the set $S_p=\{1,2,\dots,p-1\}$, where $p$ is an odd prime. The consecutive applications of the map generate an integer sequence, or in graph theoretical context a walk, that is linked to the discrete logarithm problem.
On majorization of closed walks vector of trees with given degree sequences
Published
• View Publication
• BIB
Let $C_{v}(k;T)$ be the number of the closed walks of length $k$ starting at vertex $v$ in a tree $T$. We prove that for a given tree degree sequence $π$, then for any tree with degree sequence $π$, the sequence
$C(k;T)\equiv(C_{v}(k;T), v\in V(T))$ is weakly majorized by the sequence $C(k, T_π^*)\equiv C(k, T_π^*, v\in V(T^*))$, where $T_π^*$ is the greedy tree corresponding to $π$. In addition, for two trees degree sequences $π,~π'$, if $π$ is majorized by $π'$, then $C(k;T_π^*)$ is weakly majorized by $C(k;T_{π'}^*)$.
Some coefficient sequences related to the descent polynomial
Published
• View Publication
• BIB
The descent polynomial of a finite $I\subseteq \mathbb{Z}^+$ is the polynomial $d(I,n)$, for which the evaluation at $n>\max(I)$ is the number of permutations on $n$ elements, such that $I$ is the set of indices where the permutation is descending. In this paper we will prove some conjectures concerning coefficient sequences of $d(I,n)$. As a corollary we will describe some zero-free regions for the descent polynomial.
Comply/Constrain Subtraction
A comply/constrain game or a game with a Muller twist is a game where the next player is allowed to place constraints on opponent's next move. We develop a closed form formula for the Grundy value of the single-pile subtraction game where the next player may determine whether the previous player has to select a move from the set of some first k natural numbers or its complement. We also investigate the periodicity of Grundy values when the set of legal moves is from a set of finite arithmetic sequences.
Hamiltonicity of the Cross-Join Graph of de Bruijn Sequences
A generalized de Bruijn digraph generalizes a de Bruijn digraph to the case where the number of vertices need not be a pure power of an integer. Hamiltonian cycles in these digraphs thus generalize regular de~Bruijn cycles, and we will thus refer to them simply as de Bruijn cycles. We define the cross-join to be the graph with all de Bruijn cycles as vertices, there is an edge between two of these vertices if one can be obtained from the other via a cross-join operation. We show that the cross-join graph is connected. This in particular means that any regular de Bruijn cycle can be cross-joined repeatedly to reach any other de Bruijn cycle, generalizing a result about regular binary de Bruijn cycles by Mykkeltveit and Szmidt in 2014. Furthermore, we present an algorithm that produces a Hamiltonian path across the cross-join graph, one that we may call a de~Bruijn sequence of de Bruijn sequences.
A four vertex theorem for frieze patterns?
Published
• View Publication
• BIB
Given two Coxeter's frieze patterns with the same width and consisting of positive numbers, choose a row and consider the periodic sequence of the differences of the respective entries of the two friezes. We ask for which rows this sequence must change sign at least four times over the period. We prove that this is the case for the first and for the second non-trivial rows, and that this is true, for all rows, for an infinitesimal version of the question. The article also contains expository material on the four vertex theorem and on Coxeter's frieze patterns.