Related papers: A zero-test for D-algebraic transseries

A generalized polymorphism of a predicate $P \subseteq \{0,1\}^m$ is a tuple of functions $f_1,\dots,f_m\colon \{0,1\}^n \to \{0,1\}$ satisfying the following property: If $x^{(1)},\dots,x^{(m)} \in \{0,1\}^n$ are such that…

We study a linear form in the values of Euler's series $F(t)=\sum_{n=0}^\infty n!t^n$ at algebraic integer points $\alpha_1, \ldots, \alpha_m \in \mathbb{Z}_{\mathbb{K}}$ belonging to a number field $\mathbb{K}$. Let $v|p$ be a…

The aim of this paper is to give two new algorithms, which are elimination free, to find polynomial and rational solutions for a given holonomic system associated to a set of linear differential operators in the Weyl algebra D = k<x_1, ...,…

Algebraic power series are formal power series which satisfy a univariate polynomial equation over the polynomial ring in n variables. This relation determines the series only up to conjugacy. Via the Artin-Mazur theorem and the implicit…

We propose the Cyclic Permutation Test (CPT) to test general linear hypotheses for linear models. This test is non-randomized and valid in finite samples with exact Type I error $\alpha$ for an arbitrary fixed design matrix and arbitrary…

Let $\mathrm{R}$ be a real closed field, and $\mathrm{D} \subset \mathrm{R}$ an ordered domain. We describe an algorithm that given as input a polynomial $P \in \mathrm{D} [ X_{1},\ldots,X_{k} ]$, and a finite set, $\mathcal{A}= \{ p_{1},…

Let $K$ be a finite extension of $\mathbb{Q}_p$ that is totally ramified over $\mathbb{Q}_p$. The set $\mathcal{M}\mathcal{F}(K)$ consists of power series in $1+zK[[z]]$ that are solutions of differential operators in $K(z)[d/dz]$ equipped…

Let $a_{i1}x_1+\cdots+a_{ik}x_k=0$, $i\in[m]$ be a balanced homogeneous system of linear equations with coefficients $a_{ij}$ from a finite field $\mathbb{F}_q$. We say that a solution $x=(x_1,\ldots, x_k)$ with $x_1,\ldots, x_k\in…

We consider a smooth system of the form $\dot q=f_0(q)+\sum\limits_{i=1}^k u_i f_i(q)$, $q\in M,\ u_i\in\mathbb R,$ and study controllability issues on the group of diffeomorphisms of $M$. It is well-known that the system can arbitrarily…

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…

Let ${\cal P}_n^c$ denote the set of all algebraic polynomials of degree at most $n$ with complex coefficients. Let $$D^+ := \{z \in \mathbb{C}: |z| \leq 1, \, \, \Im(z) \geq 0\}$$ be the closed upper half-disk of the complex plane. For…

We propose a framework to study models of computation of indeterministic data, represented by abstract "distributions". In these distributions, probabilities are replaced by "amplitudes" drawn from a fixed semi-ring $S$, of which the…

We study how well Fekete polynomials $$ F_p(X) = \sum_{n=0}^{p-1} \left(\frac{n}{p}\right) X^n \in {\mathbb Z}[X] $$ with the coefficients given by Legendre symbols modulo a prime $p$, can be approximated by power series representing…

Given $d_1,\ldots,d_k$ in the field $F$, there is a weighted trace function $F^k\rightarrow F$ given by $tr(x_1,\ldots,x_k)=\sum d_ix_i$. We prove that $F^k$ satisfies trace identities of the forms $\alpha(d_1,\ldots,d_k) x^N=$ a linear…

In compressed sensing problems, $\ell_1$ minimization or Basis Pursuit was known to have the best provable phase transition performance of recoverable sparsity among polynomial-time algorithms. It is of great theoretical and practical…

Consider a random system $\mathfrak{f}_1(x)=0,\ldots,\mathfrak{f}_n(x)=0$ of $n$ random real polynomials in $n$ variables, where each $\mathfrak{f}_k$ has a prescribed set of exponent vectors in a set $A_k\subseteq \mathbb{Z}^n$ of size…

We introduce the notion of a pre-sequence of matrix orthogonal polynomials to mean a sequence {F_n} of matrix orthogonal functions with respect to a weight function W, satisfying a three term recursion relation and such that det(F_0) is not…

Let F/F_q be an algebraic function field of genus g defined over a finite field F_q. We obtain new results on the existence, the number and the density of dimension zero divisors of degree g-k in F where k is a positive integer. In…

Several preconditioned AOR methods have been proposed to solve system of linear equations $Ax=b$, where $A \in \mathbb{R}^{n \times n}$ is a unit Z-matrix. The aim of this paper is to give a comparison result for a class of preconditioners…

Let $\{f_{\lambda; j}\}_{\lambda\in V; 1\le j\le k}$ be families of holomorphic functions in the open unit disk $\Di\subset\Co$ depending holomorphically on a parameter $\lambda\in V\subset \Co^n$. We establish a Rolle type theorem for the…