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

Let $f(z) = \sum_{k=0}^\infty d_k z^k$, $d_k\in\mathbb{C}\backslash\{ 0 \}$, $d_0=1$, be a power series with a non-zero radius of convergence $\rho$: $0 <\rho \leq +\infty$. Denote by $f_n(z)$ the n-th partial sum of $f$, and $R_{2n}(z) =…

For a bridgeless graph $G$, its flow polynomial is defined to be the function $F(G,q)$ which counts the number of nonwhere-zero $\Gamma$-flows on an orientation of $G$ whenever $q$ is a positive integer and $\Gamma$ is an additive Abelian…

A class theorem is presented and proved: the complex Fourier transforms of a certain class of exponential functions have all their zeros on the real line. A class of basis functions is first considered, and the class is then extended via…

We consider goodness-of-fit tests with i.i.d. samples generated from a categorical distribution $(p_1,...,p_k)$. For a given $(q_1,...,q_k)$, we test the null hypothesis whether $p_j=q_{\pi(j)}$ for some label permutation $\pi$. The…

The action of the rotation group $SO(3)$ on systems of $n$ points in the $3$-dimensional Euclidean space $\mathbf{R}^3$ induces naturally an action of $SO(3)$ on $\mathbf{R}^{3n}$. In the present paper we consider the following question: do…

Let $K$ be a field of characteristic zero. We deal with the algebraic closure of the field of fractions of the ring of formal power series $K[[x_1,\ldots,x_r]]$, $r\geq 2$. More precisely, we view the latter as a subfield of an iterated…

The all Rota-Baxter algebra structures on the polynomial algebra $R={\bf k}[x]$ are well known. We study the finite dimensional modules of polynomial Rota-Baxter algebras $(\bfk[x],P)$ or $(x {\bf k} [x],P)$ of weight nonzero since some…

The $k$-QSAT problem is a quantum analog of the famous $k$-SAT constraint satisfaction problem. We must determine the zero energy ground states of a Hamiltonian of $N$ qubits consisting of a sum of $M$ random $k$-local rank-one projectors.…

A nonlinear generalization of convergence sets of formal power series, in the sense of Abhyankar-Moh, is introduced. Given a family y=\phi_{s}(t,x)=sb_{1}(x)t+b_{2}(x)t^{2}+... of analytic curves in C\timesC^{n} passing through the origin,…

Quantum signal processing is a framework for implementing polynomial functions on quantum computers. To implement a given polynomial $P$, one must first construct a corresponding complementary polynomial $Q$. Existing approaches to this…

We consider a differential algebra F of formal power series in infinitely many variables. We define the important notions of a normalized set of generators for an ideal of F and a regular quotient algebra. The concept of the passive…

For a complex number $x$, $\Vert x\Vert:=\min\{|x-m|:m\in\mathbb{Z}\}$. Let $k\geq 1$ be an integer, and $K$ be a number field. Let $\alpha_1,\ldots,\alpha_k$ be algebraic numbers with $|\alpha_i|\geq 1$ and let $d_i$ denotes the degree of…

A group $G$ has cube-free order if no prime to the third power divides $|G|$. We describe an algorithm that given two cube-free groups $G$ and $H$ of known order, decides whether $G\cong H$, and, if so, constructs an isomorphism $G\to H$.…

A recently developed technique to determine the order and strength of phase transitions by extracting the density of partition function zeroes (a continuous function) from finite-size systems (a discrete data set) is generalized to systems…

In this paper, we devise two algorithms for the problem of testing $q$-monomials of degree $k$ in any multivariate polynomial represented by a circuit, regardless of the primality of $q$. One is an $O^*(2^k)$ time randomized algorithm. The…

We introduce a concept of a fractional-derivatives series and prove that any linear partial differential equation in two independent variables has a fractional-derivatives series solution with coefficients from a differentially closed field…

In this paper we characterize the set of polynomials $f\in\mathbb F_q[X]$ satisfying the following property: there exists a positive integer $d$ such that for any positive integer $\ell$ less or equal than the degree of $f$, there exists…

For an analytic function $f(z)=\sum_{k=0}^\infty a_kz^k$ on a neighbourhood of a closed disc $D\subset {\bf C}$, we give assumptions, in terms of the Taylor coefficients $a_k$ of $f$, under which the number of intersection points of the…

We present a quantum algorithm for the f-conditioned phase transform which does not require any initialization of ancillary register. We also develop a quantum algorithm that can solve the generalized Deutsch-Jozsa problem by a single…

We study differential equations $F(y,...,y^{(n)})=0$ where $F(Y_0,...,Y_n)$ is a formal series in $Y_0,...,Y_n$ with coefficients in some field of \emph{generalized power series} $\mathds{K}_r$ with finite rank $r\in\mathbb{N}^*$. Our…