Related papers: Algebraic independence of solutions to multiple Lo…
Let $(x_1,y_1),\ldots,(x_n,y_n)$ be distinct non-constant and non-degenerate solutions of the classical Lotka-Volterra system \begin{equation}\notag \begin{split} x'&= axy + bx\\ y'&= cxy + dy, \end{split} \end{equation} where…
We show that if any four distinct solutions of a rational difference equation are algebraically independent, then any number of distinct solutions to the equation are independent. A nontrivial variant of this result is given for autonomous…
Let $\theta_3(\tau)=1+2\sum_{\nu=1}^{\infty} q^{\nu^2}$ with $q=e^{i\pi \tau}$ denote the Thetanullwert of the Jacobi theta function \[\theta(z|\tau) \,=\,\sum_{\nu=-\infty}^{\infty} e^{\pi i\nu^2\tau + 2\pi i\nu z} \,.\] Moreover, let…
We prove a transcendence theorem concerning values of holomorphic maps from a disk to a quasi-projective variety over $\overline{\mathbf{Q}}$ that are integral curves of some algebraic vector field (defined over $\overline{\mathbf{Q}}$).…
Let $\theta_3(\tau)=1+2\sum_{\nu=1}^{\infty} q^{\nu^2}$ with $q=e^{i\pi \tau}$ and $\Im (\tau)>0$ denote the Thetanullwert of the Jacobi theta function \[\theta(z|\tau) \,=\,\sum_{\nu=-\infty}^{\infty} e^{\pi i\nu^2\tau + 2\pi i\nu z} \,.\]…
Let X be a set definable in a sharply o-minimal structure. We consider the problem of counting the number of points where X intersects algebraic varieties V over Q of dimension k < codim X, as a function of T := deg(V) + h(V), where h(V) is…
We classify all two-dimensional simple algebras (which may be non-associative) over an algebraically closed field. For each two-dimensional algebra $\mathcal{A}$, we describe a minimal (with respect to inclusion) generating set for the…
The aim of this paper is twofold. On one hand, the additive solvability of the system of functional equations \[d_{k}(xy)=\sum_{i=0}^{k}\Gamma(i,k-i) d_{i}(x)d_{k-i}(y) \qquad (x,y\in \R,\,k\in\{0,\ldots,n\}) \] is studied, where…
Given an algebraic differential equation of order greater than one, it is shown that if there is any nontrivial algebraic relation amongst any number of distinct nonalgebraic solutions, along with their derivatives, then there is already…
We introduce a notion of non-commutative joint independence for multiple algebras in a non-commutative probability space. The pairwise relationships between these algebras are encoded by a graph with two edge sets -- a combinatorial…
The path to the solution of Feder-Vardi dichotomy conjecture by Bulatov and Zhuk led through showing that more and more general algebraic conditions imply polynomial-time algorithms for the finite-domain Constraint Satisfaction Problems…
Using tools from the Siegel-Shidlovskii theory of transcendental numbers, we prove that a nontrivial solution of the Airy equation, its derivative, and an antiderivative are algebraically independent over the field of rational functions.…
Let $d,k$ be natural numbers and let $\mathcal{L}_1, \dots, \mathcal{L}_k \in \mathrm{GL}_d(\mathbb{Q})$ be linear transformations such that there are no non-trivial subspaces $U, V \subseteq \mathbb{Q}^d$ of the same dimension satisfying…
We construct a complex entire function with arbitrary number of variables which has the following property: The infinite set consisting of all the values of all its partial derivatives of any orders at all algebraic points, including zero…
We prove that if y"=f(y,y',t) is a generic Painlev\'e equation from the class III and VI, and if y_1,...,y_n are distinct solutions, then y_1,y_1',...,y_n,y_n' are algebraically independent over C(t). This improves the weaker results…
We prove analogs of the Bezout and the Bernstein-Kushnirenko-Khovanskii theorems for systems of algebraic differential conditions over differentially closed fields. Namely, given a system of algebraic conditions on the first $l$ derivatives…
We consider a polynomial $P\in \mathbb{R}[x_{1},\cdots, x_{d}]$ of degree $ \delta $ that depends non-trivially on each of $x_1,...,x_d$ with $d\geq 2$. For any integer $t$ with $2\leq t\leq d$, any natural number $n \in \mathbb{N}$, and…
In this paper we consider the general setting for constructing Action Principles for three-dimensional first order autonomous equations. We present the results for some integrable and non-integrable cases of the Lotka-Volterra equation, and…
The famous result of Lindemann and Weierstrass says that if $a_{1},a_{2},\ldots,a_{n}$ are distinct algebraic numbers, then $e^{a_{1}},e^{a_{2}},\ldots,e^{a_{n}}$ are linearly independent complex numbers over the field…
Let $\mathrm{R}$ be a real closed field. We prove that the number of semi-algebraically connected components of a real hypersurface in $\mathrm{R}^n$ defined by a multi-affine polynomial of degree $d$ is bounded by $2^{d-1}$. This bound is…