Related papers: Non-regularity of floor(alpha + log_k(n))

Let $\overline{p}(n)$ denote the overpartition function. In this paper, we obtain an inequality for the sequence $\Delta^{2}\log \ \sqrt[n-1]{\overline{p}(n-1)/(n-1)^{\alpha}}$ which states that \begin{equation*} \log…

Non-normal modal logics, interpreted on neighbourhood models which generalise the usual relational semantics, have found application in several areas, such as epistemic, deontic, and coalitional reasoning. We present here preliminary…

This paper establishes a necessary and sufficient condition for the coincidence of non-commutative $\log$-algebras constructed from different exact normal semifinite traces. Consequently, we provide a criterion for the isomorphism of…

Rational transformations of polynomials are extensively studied in the context of finite fields, especially for the construction of irreducible polynomials. In this paper, we consider the factorization of rational transformations with…

Let $K$ be a field of characteristic 0, $f:\mathbb{N}\to K$ be a multiplicative function, and $F(z)=\sum_{n\geq 1} f(n)z^n\in K[[z]]$ be algebraic over $K(z)$. Then either there is a natural number $k$ and a periodic multiplicative function…

Let k be an algebraically closed field of characteristic zero. An element F from k(x_1,...,x_n) is called a closed rational function if the subfield k(F) is algebraically closed in the field k(x_1,...,x_n). We prove that a rational function…

Let $\xi$ be an irrational algebraic real number and $(p_k / q_k)_{k \ge 1}$ denote the sequence of its convergents. Let $(u_n)_{n \geq 1}$ be a non-degenerate linear recurrence sequence of integers, which is not a polynomial sequence. We…

This paper is devoted to the study of meromorphic solutions of nonlinear differential equations, specifically the equation \[ (f^n)^{(k)}(g^n)^{(k)} = \alpha^2, \] where $k$ and $n$ are positive integers with $n>2k$, and $\alpha$ is a…

We investigate the regularity of the positive roots of a non-negative function of one-variable. A modified H\"older space $\mathcal{F}^\beta$ is introduced such that if $f\in \mathcal{F}^\beta$ then $f^\alpha \in C^{\alpha \beta}$. This…

K3 surfaces with non-symplectic symmetry of order 3 are classified by open sets of twenty-four complex ball quotients associated to Eisenstein lattices. We show that twenty-two of those moduli spaces are rational.

It is a fundamental result in commutative algebra and invariant theory that a finitely generated graded module over a commutative finitely generated graded algebra has rational Hilbert series, and consequently the Hilbert series of the…

We present tableau calculi for some logics of nonmonotonic reasoning, as defined by Kraus, Lehmann and Magidor. We give a tableau proof procedure for all KLM logics, namely preferential, loop-cumulative, cumulative and rational logics. Our…

Let T_\alpha denote the rotation T_{\alpha}x=x+\alpha (mod 1) by an irrational number \alpha on the additive circle T=[0,1). Let \beta_1,..., \beta_d be d\geqslant 1 parameters in [0, 1). One of the goals of this paper is to describe the…

We show that the inhomogenous approximation spectrum, associated to an irrational number \alpha\ always has a Hall's Ray; that is, there is an \epsilon>0 such that [0,\epsilon) is a subset of the spectrum. In the case when \alpha\ has…

Let L contain only the equality symbol and let L^+ be an arbitrary finite symmetric relational language containing L . Suppose probabilities are defined on finite L^+ structures with ''edge probability'' n^{- alpha}. By T^alpha, the almost…

Given an irrational alpha and an x in the unit interval, the set of balanced times, for which the same number of (k*alpha+x) (modulo one) are less than or equal to one half as are larger than one half, is in general infinite, but sparse in…

In this paper the asymptotic stability of equilibria and periodic points of the following higher order rational difference Equation x_{n+1} =(alpha x_{n-k})/(1+x_{n}...x_{n-k}), k>=1, n=0,1,... is studied where the parameters ?alpha, betta,…

A regular language is $k$-piecewise testable if it is a finite boolean combination of languages of the form $\Sigma^* a_1 \Sigma^* \cdots \Sigma^* a_n \Sigma^*$, where $a_i\in\Sigma$ and $0\le n \le k$. Given a DFA $A$ and $k\ge 0$, it is…

Let F be a real quadratic field, and let R be an order in F. Suppose given a polarized abelian surface (A,\lambda) defined over a number field k with a symmetric action of R defined over k. This paper considers varying A within the…

Assuming the abundance conjecture in dimension $d$, we establish a non-algebraicity criterion of foliations: any log canonical foliation of rank $\le d$ with $\nu\neq\kappa$ is not algebraically integrable, answering question of…