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

We provide an irreducibility test and factoring algorithm (with some qualifications) for formal power series in the unique factorization domain $R[[X]]$, where $R$ is any principal ideal domain. We also classify all integral domains arising…

Based on various types of semi-tensor products of matrices, the corresponding equivalences of matrices are proposed. Then the corresponding vector space structures are obtained as the quotient spaces under equivalences, which are called the…

Let $f(x)\in \mathbb{Z}[x]$ be an irreducible polynomial of degree $d\ge 1$. Let $k\ge2$ be an integer. The number of integers $n$ such that $f(n)$ is $k$-free is widely studied in the literature. In principle, one expects that $f(n)$ is…

Let $\mathscr{P}_\mathbb{Q}=\{ \alpha^n \; : \; \alpha \in \mathbb{Q}, \; n \ge 2\}$ be the set of rational perfect powers, and let $S \subseteq \mathscr{P}_\mathbb{Q}$ be a finite subset. We prove the existence of a polynomial $f_S \in…

We investigate polynomial sets {P n } n$\ge$0 with generating power series of the form F (xt -- R(t)) and satisfying, for n $\ge$ 0, the (d + 1)-order recursion xP\_ n (x) = P\_{ n+1 }(x) +\sum\_{ l=0}^{d} \gamma^{l}\_{n} P\_{ n--l} (x),…

We suggest a new approach to hypothesis testing for ergodic and stationary processes. In contrast to standard methods, the suggested approach gives a possibility to make tests, based on any lossless data compression method even if the…

We give efficient algorithms for finding power-sum decomposition of an input polynomial $P(x)= \sum_{i\leq m} p_i(x)^d$ with component $p_i$s. The case of linear $p_i$s is equivalent to the well-studied tensor decomposition problem while…

We present a simple null test of a dimension of a quantum system, using a single repeated operation in the method of delays, assuming that each instance is identical and independent. The test is well-suited to current feasible quantum…

The classical problem of whether $m$th-powers with or without zero in a finite field $\mathbb{F}_q$ form a difference set has been extensively studied, and is related to many topics, such as flag transitive finite projective planes. In this…

This paper proposes a novel non-iterative method to solve power system differential algebraic equations (DAEs) using the differential transformation, a mathematical tool that can obtain power series coefficients by transformation rules…

We develop algorithms for writing a polynomial as sums of powers of low degree polynomials. Consider an $n$-variate degree-$d$ polynomial $f$ which can be written as $$f = c_1Q_1^{m} + \ldots + c_s Q_s^{m},$$ where each $c_i\in…

A generic method to construct zero-difference functions (ZDFs) on algebraic rings is proposed in this paper. Then this method is used over some rings $\mathbb{Z}_{p^k}$, where $p$ is a prime number and $k\ge 2$ is a positive integer, and…

We analyze a class of quantum operations based on a geometrical representation of $d-$level quantum system (or qudit for short). A sufficient and necessary condition of complete positivity, expressed in terms of the quantum Fourier…

We give a deterministic polynomial-time algorithm to check whether the Galois group $\Gal{f}$ of an input polynomial $f(X) \in \Q[X]$ is nilpotent: the running time is polynomial in $\size{f}$. Also, we generalize the Landau-Miller…

If a function $f:\mathbb{R}\to\mathbb{R}$ can be represented as the sum of $n$ periodic functions as $f=f_1+\dots+f_n$ with $f(x+\alpha_j)=f(x)$ ($j=1,\dots,n$), then it also satisfies a corresponding $n$-order difference equation…

We consider a family of pairs of m-by-p and m-by-q matrices, in which some entries are required to be zero and the others are arbitrary, with respect to transformations (A,B)--> (SAR,SBL) with nonsingular S, R, L. We prove that almost all…

In this work we prove a version of the Sylvester-Gallai theorem for quadratic polynomials that takes us one step closer to obtaining a deterministic polynomial time algorithm for testing zeroness of $\Sigma^{[3]}\Pi\Sigma\Pi^{[2]}$…

Tensor networks are a central tool in condensed matter physics. In this paper, we study the task of tensor network non-zero testing (TNZ): Given a tensor network T, does T represent a non-zero vector? We show that TNZ is not in the…

Assume that $n$ is a positive integer, $p_{j}$ ($j=1,2, \cdots, 6)$ are polynomials, $p$ is an irreducible polynomial, and $f$ is an entire function on $\mathbb{C}^{n}.$ Let $ L(f)=\sum_{j=1}^s q_{t_j}f_{z_{t_j}}$ and…

A new differential test for series of positive terms is proved. Let f(x) be a positive continuous function corresponded to a series of positive terms f(k), and g(x) is a derivative of reciprocal of f(x). Then, the convergence and divergence…