Related papers: Encoding algebraic power series
We study the divided power structures over a product of operads with distributive law. We give a systematic method to characterise the divided power algebras over such a product from the structures of divided power algebra coming from each…
This paper is a study of power series, where the coefficients are binomial expressions (iterated finite differences). Our results can be used for series summation, for series transformation, or for asymptotic expansions involving Stirling…
We propose new algorithms for the computation of the first N terms of a vector (resp. a basis) of power series solutions of a linear system of differential equations at an ordinary point, using a number of arithmetic operations which is…
We explore systems of polynomial equations where we seek complex solutions with absolute value 1. Geometrically, this amounts to understanding intersections of algebraic varieties with tori -- Cartesian powers of the unit circle. We study…
A power structure over a ring is a method to give sense to expressions of the form $(1+a_1t+a_2t^2+\ldots)^m$, where $a_i$, $i=1, 2,\ldots$, and $m$ are elements of the ring. The (natural) power structure over the Grothendieck ring of…
We obtain results bounding the degree of the series $\sum_{n=1}^{\infty} 1/\alpha_n$, where $\{\alpha_n\}$ is a sequence of algebraic integers satisfying certain algebraic conditions and growth conditions. Our results extend results of…
We represent vector bundles over a regular algebraic curve as pairs of lattices over the maximal orders of its function field and we give polynomial time algorithms for several tasks: computing determinants of vector bundles, kernels and…
We give conditions on a finite set of series of rational numbers to ensure that they are algebraically independent. Specialising our results to polynomials of lower degree, we also obtain new results on irrationality and $mathbb{Q}$-linear…
We determine the p-exponent in many of the coefficients in the power series (log(1+x)/x)^t, where t is any integer. In our proof, we introduce a variant of multinomial coefficients. We also characterize the power series x/log(1+x) by…
In this note, we show that the algebraicity of the Fourier coefficients of half-integral weight modular forms can be determined by checking the algebraicity of the first few of them. We also give a necessary and sufficient condition for a…
In a field of Laurent series, we construct a subring which has a module structure over a Weyl algebra. Identities of Bernoulli numbers and polynomials are obtained from these algebraic structures.
Let $f(x)=x^n+ax^2+bx+c \in \Z[x]$ be an irreducible polynomial with $b^2=4ac$ and let $K=\Q(\theta)$ be an algebraic number field defined by a complex root $\theta$ of $f(x)$. Let $\Z_K$ deonote the ring of algebraic integers of $K$. The…
We count various classes of algebraic integers of fixed degree by their largest absolute value. The classes of integers considered include all algebraic integers, Perron numbers, totally real integers, and totally complex integers. We give…
We are concerned with power series in 1/T over a finite field of 3 elements $\F_3$. In a previous article, Alain Lasjaunias investigated the existence of particular power series of elements algebraic over $\F_3[T]$, having all partial…
We associate to each $r$-multigraded, locally finitely generated ideal in the "large polynomial ring" on countably many indeterminates a power series in $r$ variables; this power series is the limit in the adic topology of the numerators of…
There is a bijection between odd prime dimensional qudit pure stabilizer states modulo invertible scalars and affine Lagrangian subspaces of finite dimensional symplectic $\mathbb{F}_p$-vector spaces. In the language of the stabilizer…
We study the computational model of polygraphs. For that, we consider polygraphic programs, a subclass of these objects, as a formal description of first-order functional programs. We explain their semantics and prove that they form a…
Given a prime $p$, and $v_p(a)$ stand for the $p$-adic valuation of the element $a$ in a finite extension $K$ of $\mathbf{Q}_p$, or more generally the field $\mathbf{C}_p$ which is the complete field of the algebraic closure $\mathbf{Q}_p$…
Denote by p_k the k-th power sum symmetric polynomial n variables. The interpretation of the q-analogue of the binomial coefficient as Hilbert function leads us to discover that n consecutive power sums in n variables form a regular…
A classification of all four-dimensional power-commutative real division algebras is given. It is shown that every four-dimensional power-commutative real division algebra is an isotope of a particular kind of a quadratic division algebra.…