Related papers: On the algebraic non-integrability of the Halphen …
We give an elementary proof of the Gel'fand-Kapranov-Zelevinsky theorem that non-resonant A-hypergeometric systems are irreducible. We also provide a proof of a converse statement In this second version we have removed the condition of…
We define the principal divisor of a free noncommuatative function. We use these divisors to compare the determinantal singularity sets of free noncommutative functions. We show that the divisor of a noncommutative rational function is the…
In this paper, we discuss on the linearized stability of the trivial solution for a class of nonlinear Caputo fractional differential systems of order $\alpha\in(1,2)$. We show that some recent existing results in this direction are wrong.…
The present work is the first of a serie of two papers, in which we analyse the higher variational equations associated to natural Hamiltonian systems, in their attempt to give Galois obstruction to their integrability. We show that the…
We characterize analytic curves that contain non-trivial self-affine sets. We also prove that compact algebraic surfaces cannot contain non-trivial self-affine sets.
We present the first complete axiomatisation for quantifier-free separation logic. The logic is equipped with the standard concrete heaplet semantics and the proof system has no external feature such as nominals/labels. It is not possible…
Let $b \ge 2$ be an integer. We prove that the $b$-adic expansion of every irrational algebraic number cannot have low complexity. Furthermore, we establish that irrational morphic numbers are transcendental, for a wide class of morphisms.…
We prove the algebraicity of the Hilbert functor, the Hilbert stack, the Quot functor and the stack of coherent sheaves on an algebraic stack X with (quasi-)finite diagonal without any finiteness assumptions on X. We also give similar…
We prove the following form of the Clemens conjecture in low degree. Let $d\le9$, and let $F$ be a general quintic threefold in $\IP^4$. Then (1)~the Hilbert scheme of rational, smooth and irreducible curves of degree $d$ on $F$ is finite,…
In this paper, we find some exotic fusion systems which have non-trivial strongly closed subgroups, and we prove these fusion systems are also not realizable by p-blocks of finite groups.
Here we present an algorithm to find elementary first integrals of rational second order ordinary differential equations (SOODEs). In \cite{PS2}, we have presented the first algorithmic way to deal with SOODEs, introducing the basis for the…
We present some gauge conditions to eliminate all second time derivative terms in the vierbein forms of the ten Einstein equations of general relativity; at the same time, we present the corresponding Lagrangian in which there is not any…
The main result of the paper establishes the irreducibility of a large family of nonzero central charge induced modules over Affine Lie algebras for any non standard parabolic subalgebra. It generalizes all previously known partial results…
In this paper an equation means a homogeneous linear partial differential equation in $n$ unknown functions of $m$ variables which has real or complex polynomial coefficients. The solution set consists of all $n$-tuples of real or complex…
It is proved in this paper that for any finite-dimensional nonsemisimple Hopf algebra $A$ there exists a Hopf algebra $H$ containing $A$ as a Hopf subalgebra such that $H$ is not flat over $A$. On the other hand, there is a class of…
The superintegrability of a rational harmonic oscillator (non-central harmonic oscillator with rational ratio of frequencies) with non-linear "centrifugal" terms is studied. In the first part, the system is directly studied in the Euclidean…
We prove a non-integrability result concerning iterative derivations on projective line, where the iterative rule is given by a non-algebraic formal group.
A special class of autonomous algebraic differential equations is studied. No equations in the class have any entire transcendental solutions. In a sense, for almost all equations in the class, transcendental meromorphic solutions can also…
New integrability properties of a family of sequences of ordinary differential equations, which contains the Riccati and Abel chains as the most simple sequences, are studied. The determination of n generalized symmetries of the nth-order…
Equations are ubiquitous in most mathematical activities. Nevertheless, in this paper it is shown how to do standard mathematics without any equation at all. More than that, it is proven there is a foundational framework for standard…