Related papers: Power Series with Coefficients from a Finite Set

Let $b \geq 2$ be an integer and $S$ be a finite non-empty set of primes not containing divisors of $b$. For any non-dense set $A \subset [0,1)$ such that $A \cap \mathbb{Q}$ is invariant under $\times b$ operation, we prove the finiteness…

We present a rectilinearization theorem for p-adic semi-algebraic sets depending on parameters. As an application of our main theorem we present an alternative proof of a rationality result for parametric p-adic inte- grals, due to Denef.

Let $p$ be a prime, let $d \geq 1$ be an integer and $A$ be the algebra of square matrices of size $d$ over the field of order $p$. Let $P, Q \in A[x_1, \dots x_n]$ be polynomials in $n$ indeterminates with coefficients in $A$, such that…

We compute the $k$th power-sums (for all $k>0$) over an arbitrary finite unital ring $R$. This unifies and extends the work of Brawley, Carlitz, and Levine for matrix rings [Duke Math. J. 1974], with folklore results for finite fields and…

In this expository paper, we give a complete proof of van den Essen's theorem that the de Rham cohomology spaces of a holonomic D-module are finite-dimensional in the case of a formal power series ring over a field of characteristic zero.…

Recent results of Hassett, Kuznetsov and others pointed out countably many divisors $C_d$ in the open subset of $\mathbb{P}^{55}=\mathbb{P}(H^0(\mathcal{O}_{\mathbb{P}^5}(3)))$ parametrizing all cubic 4-folds and lead to the conjecture that…

We prove that the power series expansion of the rational function of Gillis, Reznick and Zeilberger (1983) has only nonnegative coefficients.

A result of Graber, Harris, and Starr shows that a rationally connected variety defined over the function field of a curve over the complex numbers always has a rational point. Similarly, a separably rationally connected variety over a…

Let $K$ be a field of characteristic zero and $k$ and $l$ be two multiplicatively independent positive integers. We prove the following result that was conjectured by Loxton and van der Poorten during the Eighties: a power series $F(z)\in…

If k is a field of characteristic 0, we prove that the motivic Poincare serie and the motivic Zeta functions associated to a k[[t]]-variety, flat and purely dimensional, are rational.

In this note we compute the Poincare Series of almost stretched Gorenstein local rings. It turns out that it is rational

Let $\{b(n):n\in\N\}$ be the sequence of coefficients in the Taylor expansion of a rational function $R(X)\in\Q(X)$ and suppose that b(n) is a perfect $d^{\rm th}$ power for all large n. A conjecture of Pisot states that one can choose a…

We prove an irreducibility criterion for polynomials with power series coefficients generalizing previous known results concerning quasi-ordinary polynomials.

Our overall goal is to unify and extend some results in the literature related to the approximation of generating functions of finite and infinite sequences over a field by rational functions. In our approach, numerators play a significant…

It is a classical fact that domains of convergence of power series of several complex variables are characterized as logarithmically convex complete Reinhardt domains; let $D \subsetneq \mathbb{C}^N$ be such a domain. We show that a…

Power series are introduced that are simultaneously convergent for all real and p-adic numbers. Our expansions are in some aspects similar to those of exponential, trigonometric, and hyperbolic functions. Starting from these series and…

We consider a generalization of the "Hadamard quotient theorem" of Pourchet and van der Poorten. A particular case of our conjecture states that if $f := \sum_{n \geq 0} a(n)x^n$ and $g := \sum_{n \geq 0} b(n)x^n$ represent, respectively,…

Let $K$ be a field of characteristic zero and suppose that $f:\mathbb{N}\to K$ satisfies a recurrence of the form $$f(n)\ =\ \sum_{i=1}^d P_i(n) f(n-i),$$ for $n$ sufficiently large, where $P_1(z),...,P_d(z)$ are polynomials in $K[z]$.…

Let $w$ be a finite word of length $n$. In this paper, we study the maximum possible number of distinct rational power factors in a finite word. A rational power is a word of the form $u=p^kp'$, where $p$ is a nonempty finite word, $k$ is…

We investigate multi-graded Gorenstein semigroup algebras associated with an infinite family of reflexive lattice simplices. For each of these algebras, we prove that their multigraded Poincar\'e series is rational. Our method of proof is…