Related papers: On the algebraic dependence of holonomic functions
A hyperbolic algebraic curve is a bounded subset of an algebraic set. We study the function theory and functional analytic aspects of these sets. We show that their function theory can be described by finite codimensional subalgebras of the…
We study the Galois groups of polynomials arising from a compatible family of representations with big orthogonal monodromy. We show that the Galois groups are usually as large as possible given the constraints imposed on them by a…
We give conditions on a finite set of series of rational numbers to ensure that they are algebraically independent. Specialising our results to polynomials of lower degree, we also obtain new results on irrationality and $mathbb{Q}$-linear…
We give sufficient conditions for a linear differential equation to have a given semisimple group as its Galois group. For any linear algebraic group G given as a semidirect product of a finite subgroup and a normal subgroup that is a…
In this paper we develop a general method to prove independence of algebraic monodromy groups in compatible systems of representations, and we apply it to deduce independence results for compatible systems both in automorphic and in…
We consider equations of the form Bf=g, where B is a Galois connection between lattices of functions. This includes the case where B is the Legendre-Fenchel transform, or more generally a Moreau conjugacy. We characterise the existence and…
In this paper we present an algorithmic procedure that transforms, if possible, a given system of ordinary or partial differential equations with radical dependencies in the unknown function and its derivatives into a system with polynomial…
We consider algebras with basis numerated by elements of a group $G.$ We fix a function $f$ from $G\times G$ to a ground field and give a multiplication of the algebra which depends on $f$. We study the basic properties of such algebras. In…
We develop techniques at the interface between differential algebra and model theory to study the following problems of exponential algebraicity: Does a given algebraic differential equation admits an exponentially algebraic solution, that…
We present an algorithm to determine the Galois group of an irreducible monic polynomial $f(x) \in \mathbb{Z}[x]$ of degree at most five. Following work of Conrad, Dummit, and Stauduhar this comes down to answering two questions: Is a given…
This article is interested in pullbacks under the logarithmic derivative of algebraic ordinary differential equations. In particular, assuming the solution set of an equation is internal to the constants, we would like to determine when its…
This paper introduces a novel approach to understanding Galois theory, one of the foundational areas of algebra, through the lens of machine learning. By analyzing polynomial equations with machine learning techniques, we aim to streamline…
We study the interplay between the differential Galois group and the Lie algebra of infinitesimal symmetries of systems of linear differential equations. We show that some symmetries can be seen as solutions of a hierarchy of linear…
In this paper we focus on functions of the form $A^n\rightarrow \mathcal{P}(B)$, for possibly different arbitrary non-empty sets $A$ and $B$, and where $\mathcal{P}(B)$ denotes the set of all subsets of $B$. These mappings are called…
This paper presents a connection between Galois points and rational functions over a finite field with small value sets. This paper proves that the defining polynomial of any plane curve admitting two Galois points is an irreducible…
We point out the relevance of the Differential Galois Theory of linear differential equations for the exact semiclassical computations in path integrals in quantum mechanics. The main tool will be a necessary condition for complete…
This paper shows that algebraic (in)dependence is encoded in Milnor K-theory of fields. As an application, we show that the isomorphism type of a field is determined by its Milnor K-theory, up to purely inseparable extensions, in most…
We give an explicit solution to the problem of differentiation of hyperelliptic functions in genus 4 case. We describe explicitly the polynomial Lie algebras and polynomial dynamical systems connected to this problem.
We study a planar polynomial differential system, given by \dot{x}=P(x,y), \dot{y}=Q(x,y). We consider a function I(x,y)=\exp \{h_2(x) A_1(x,y) \diagup A_0(x,y) \} h_1(x) \prod_{i=1}^{\ell} (y-g_i(x))^{\alpha_i}, where g_i(x) are algebraic…
A correspondence between a monogenic function in an arbitrary finite-dimensional commutative associative algebra and a finite set of monogenic functions in a special commutative associative algebra is established.