Related papers: Reverse Engineered Diophantine Equations over $\ma…

We deploy numerical semidefinite programming and conversion to exact rational inequalities to certify that for a positive semidefinite input polynomial or rational function, any representation as a fraction of sums-of-squares of polynomials…

We study systems of polynomial equations in infinite finitely generated commutative associative rings with an identity element. For each such ring $R$ we obtain an interpretation by systems of equations of a ring of integers $O$ of a finite…

We show that the higher Pythagoras numbers for the polynomial ring are infinite $p_{2s}(K[x_1,x_2,\dots,x_n])=\infty$ provided that $K$ is a formally real field, $n\geq2$ and $s\geq 1$. This almost fully solves an old question \cite[Problem…

We prove polynomial identities for the N=1 superconformal model SM(2,4\nu) which generalize and extend the known Fermi/Bose character identities. Our proof uses the q-trinomial coefficients of Andrews and Baxter on the bosonic side and a…

It is well known that algebraic power series are differentially finite (D-finite): they satisfy linear differential equations with polynomial coefficients. The converse problem, whether a given D-finite power series is algebraic or…

Let $K$ be a complete non-Archimedean field $K$ with separated power series, treated in the analytic Denef--Pas language. We prove the existence of definable retractions onto an arbitrary closed definable subset of $K^{n}$, whereby…

Let I be a finitely supported complete m-primary ideal of a regular local ring (R, m). A theorem of Lipman implies that I has a unique factorization as a *-product of special *-simple complete ideals with possibly negative exponents for…

The following refinement of the Higman embedding theorem is proved: A finitely generated group $R$ is recursively presented if and only if there exists a quasi-isometric malnormal embedding of $R$ into a finitely presented group $H$ such…

In this paper, we associate, to any submartingale of class $(\Sigma)$, defined on a filtered probability space $(\Omega, \mathcal{F}, \mathbb{P}, (\mathcal{F}_t)_{t \geq 0})$, which satisfies some technical conditions, a $\sigma$-finite…

A conjecture of Odoni stated over Hilbertian fields $K$ of characteristic zero asserts that for every positive integer $d$, there exists a polynomial $f\in K[x]$ of degree $d$ such that for every positive integer $n$, each iterate $f^{\circ…

Given $d,n \in \mathbb{N}$, we write a polynomial $F \in \mathbb{C}[x_1,\dots,x_n]$ to be degenerate if there exist $P\in \mathbb{C}[y_1, \dots, y_{n-1}]$ and $m_j = x_1^{v_{j,1}}\dots x_n^{v_{j,n}}$ with $v_{j,1}, \dots, v_{j,n} \in…

Given a subset $S=\{s_0, s_1\}$ of the complex plane with two points and an infinite subset ${\mathscr S}$ of $S\times {\mathbb N}$, where ${\mathbb N}=\{0,1,2,\dots\}$ is the set of nonnegative integers, we ask for a lower bound for the…

Let $P_{2k}$ be a homogeneous polynomial of degree $2k$ and assume that there exist $C>0$, $D>0$ and $\alpha \ge 0$ such that \begin{equation*} \left\langle P_{2k}f_{m},f_{m}\right\rangle_{L^2(\mathbb{S}^{d-1})}\geq \frac{1}{C\left(…

To prove that a polynomial is nonnegative on R^n one can try to show that it is a sum of squares of polynomials (SOS). The latter problem is now known to be reducible to a semidefinite programming (SDP) computation much faster than…

For a homomorphism f: A --> B of commutative rings, let D(A,B) denote Ker[Pic(A) --> Pic(B)]. Let k be a field and assume that A is a f.g. k-algebra. We prove a number of finiteness results for D(A,B). Here are four of them. 1: Suppose B is…

We prove that in every ring of generalised power series with non-positive real exponents and coefficients in a field of characteristic zero, every series admits a factorisation into finitely many irreducibles of infinite support, the number…

Can any element in a sufficiently large finite field be represented as a sum of two $d$th powers in the field? In this article, we recount some of the history of this problem, touching on cyclotomy, Fermat's last theorem, and diagonal…

In the first part of this paper, we give a new analytical proof of a theorem of C. Sabbah on integrable deformations of meromorphic connections on $\mathbb P^1$ with coalescing irregular singularities of Poincar\'e rank 1, and generalizing…

Let $F$ be a field of $q$ elements, where $q$ is a power of an odd prime. Fix $n = (q+1)/2$. For each $s \in F$, we describe all the irreducible factors over $F$ of the polynomial $g_s(y): = y^n + (1-y)^n -s$, and we give a necessary and…

Equational reasoning about circuits is central in quantum software for validation, optimisation, and verification. For qubits, the CNOT-dihedral fragment supports efficient rewriting via phase polynomials and layered normal forms, yielding…