Related papers: Effective MC-finiteness

We prove that the Smith forms of the powers of an integer square matrix behave in an eventually periodic manner. More precisely, if $\mathrm{SF}(M)$ denotes the Smith form of $M \in \Z^{m \times m}$, then for every $A \in \Z^{m \times m}$…

Following Boros--Moll, a sequence $(a_n)$ is $m$-log-concave if $\mathcal{L}^j (a_n) \geq 0$ for all $j = 0, 1, \ldots, m$. Here, $\mathcal{L}$ is the operator defined by $\mathcal{L} (a_n) = a_n^2 - a_{n - 1} a_{n + 1}$. By a criterion of…

Given a graded sequence of ideals (a_m) on a smooth variety $X$ having finite log canonical threshold, suppose that for every m we have a divisor E_m over X that computes the log canonical threshold of a_m, and such that the log…

Instruction sequence is a key concept in practice, but it has as yet not come prominently into the picture in theoretical circles. This paper concerns instruction sequences, the behaviours produced by them under execution, the interaction…

Let $q$ be a prime power and $\phi$ a rational function with coefficients in a finite field $\mathbb{F}_q$. For $n \geq 1$, each element of $\mathbb{P}^1(\F_{q^n})$ is either periodic or strictly preperiodic under iteration of $\phi$.…

Let the metric space $\mathbb R^n \setminus \sim$ be the metric space of $n$-sized unordered tuples of real numbers. In the following, it will be shown that if a function $\varphi: \mathbb R^m \to \mathbb R^n \setminus \sim$ is continuous,…

Let $A$ be a commutative noetherian ring, $\frak a$ be an ideal of $A$, $m,n$ be non-negative integers and let $M$ be an $A$-module such that $\Ext^i_A(A/\frak a,M)$ is finitely generated for all $i\leq m+n$. We define a class $\cS_n(\frak…

Denote by $M_n$ the set of $n\times n$ complex matrices. Let $f: M_n \rightarrow [0,\infty)$ be a continuous map such that $f(\mu UAU^*)= f(A)$ for any complex unit $\mu$, $A \in M_n$ and unitary $U \in M_n$, $f(X)=0$ if and only if $X=0$…

In this article we call a sequence $(a_n)_n$ of elements of a metric space nearly computably Cauchy if for every strictly increasing computable function $r:\mathbb{N}\to\mathbb{N}$ the sequence $(d(a_{r(n+1)},a_{r(n)}))_n$ converges…

Let $ G_n $ and $ H_m $ be two non-degenerate linear recurrence sequences defined over a function field $ F $ in one variable over $ \mathbb{C} $, and let $ \mu $ be a valuation on $ F $. We prove that under suitable conditions there are…

In this study, several interesting iterative sequences were investigated. First, we define the iterative sequences. We fix function f(n). An iterative sequence starts with a natural number n, and calculates the sequence f(n),f(f(n)),…

In the $(k,m)$-mappability problem, for a given sequence $T$ of length $n$, the goal is to compute a table whose $i$th entry is the number of indices $j \ne i$ such that the length-$m$ substrings of $T$ starting at positions $i$ and $j$…

Let $F_n$ be the $n$th Fibonacci number. Let $m, n$ be positive integers. Define a sequence $(G(k,n,m))_{k\geq 1}$ by $G(1,n,m) = F^m_n$, and $G(k+1,n,m) = F_{nG(k,n,m)}$ for all $k\geq 1$. We show that $F_n^{k+m-1}\mid G(k,n,m)$ for all…

In this note we show that if $(u_n)_{n\geqslant 1}$ is a simple linearly recurrent sequence of integers whose minimal recurrence of order $k$ involves only positive coefficients that has positive initial terms, then $(Mu_{n^s})_{n\geqslant…

We investigate the behavior of sequences $(f(c_nx))$ for Lebesgue integrable functions $f:\mathbb R^d\to\mathbb R$. In particular, we give a~description of classes of multipliers $(c_n)$ and $(d_n)$ such that $f(c_nx)\to0$ or…

Motivated by the convolutive behavior of the counting function for partitions with designated summands in which all parts are odd, we consider coefficient sequences $(a_n)_{n\ge 0}$ of primitive eta-products that satisfy the generic…

The paper studies different variants of almost periodicity notion. We introduce the class of eventually strongly almost periodic sequences where some suffix is strongly almost periodic (=uniformly recurrent). The class of almost periodic…

Let ${\mathcal F}=(F_i:i\ge 0)$ be the sequence of Fibonacci numbers, and $j$ and $e$ be non negative integers. We study the periodicity of the power Fibonacci sequences ${\mathcal F}^e(F_j)=(F_i^e\pmod{F_j}: i\ge 0)$. It is shown that for…

We consider iterations of integer-valued functions $\phi$, which have no fixed points in the domain of positive integers. We define a local function $\phi_n$, which is a sub-function of $\phi$ being restricted to the subdomain $\{0, ..., n…

We study systematically groups whose marked finite quotients form a recursive set. We give several definitions, and prove basic properties of this class of groups, and in particular emphasize the link between the growth of the depth…