English
Related papers

Related papers: Algebraic independence and linear difference equat…

200 papers

We study real numbers defined by multidimensional automatic arrays weighted by multiplicatively independent bases. Let $a_1, \dots, a_r\geq 2$ be integers such that $\log a_1, \dots, \log a_r$ are $\mathbb Q$-linearly independent. Given…

Number Theory · Mathematics 2026-04-15 Aadrita Paul , Anwesh Ray

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…

Classical Analysis and ODEs · Mathematics 2015-11-23 David Blázquez-Sanz , Juan J. Morales-Ruiz , Jacques-Arthur Weil

We study the linear Pfaffian systems satisfied by a certain class of hypergeometric functions, which includes Gau\ss's ${}_2 F_{1}$, Thomae's ${}_L F_{L-1}$ and Appell-Lauricella's $F_D$. In particular, we present a fundamental system of…

Classical Analysis and ODEs · Mathematics 2014-08-05 Teruhisa Tsuda

We give another proof of a result of Adamczewski and Bell concerning Mahler equations: A formal power series satisfying a $p-$ and a $q-$Mahler equation over ${\mathbb C}(x)$ with multiplicatively independent positive integers $p$ and $q$…

Classical Analysis and ODEs · Mathematics 2017-03-27 Reinhard Schäfke , Michael F. Singer

Let C be an algebraically closed field and X a projective curve over C. Consider an ordinary linear differential equation, or a linear differ- ence equation, with coefficients in the field of rational functions of X, and assume that its…

Commutative Algebra · Mathematics 2010-09-15 Camilo Sanabria

It is known that one can construct non-parametric functions by assuming classical axioms. Our work is a converse to that: we prove classical axioms in dependent type theory assuming specific instances of non-parametricity. We also address…

Logic in Computer Science · Computer Science 2017-06-28 Auke Bart Booij , Martín Hötzel Escardó , Peter LeFanu Lumsdaine , Michael Shulman

We propose a systematic study of transformations of $A$-hypergeometric functions. Our approach is to apply changes of variables corresponding to automorphisms of toric rings, to Euler-type integral representations of $A$-hypergeometric…

Algebraic Geometry · Mathematics 2017-03-10 Jens Forsgård , Laura Felicia Matusevich , Aleksandra Sobieska

The problem of understanding whether two given function fields are isomorphic is well-known to be difficult, particularly when the aim is to prove that an isomorphism does not exist. In this paper we investigate a family of maximal function…

Number Theory · Mathematics 2024-04-23 Peter Beelen , Maria Montanucci , Jonathan Tilling Niemann , Luciane Quoos

We prove that if $\mathbb{F}$ is an algebraically closed field of zero characteristic which has infinite transcendence degree over $\mathbb{Q}$, then there exists a field automorphism $\varphi$ of ${\rm SL}_n(\mathbb{F})$ and ${\rm…

Group Theory · Mathematics 2017-10-12 Timur Nasybullov

In this paper, we explore a possibility to utilize harmonic analysis on $\GL_1$ to understand Langlands automorphic $L$-functions in general, as a vast generalization of the pioneering work of J. Tate. For a split reductive group $G$ over a…

Representation Theory · Mathematics 2024-01-10 Dihua Jiang , Zhilin Luo

Let $(X_{A},\sigma_{A})$ be a shift of finite type and $\text{Aut}(\sigma_{A})$ its corresponding automorphism group. Associated to $\phi \in \text{Aut}(\sigma_{A})$ are certain Lyapunov exponents $\alpha^{-}(\phi), \alpha^{+}(\phi)$ which…

Dynamical Systems · Mathematics 2018-03-13 Scott Schmieding

In [Appl. Comput. Harmon. Anal., 46(3):664-673, 2019], O. Christensen and M. Hasannasab observed that assuming the existence of an operator $T$ sending $e_n$ to $e_{n+1}$ for all $n \in \mathbb{N}$ (where $(e_n)_{n \in \mathbb{N}}$ is a…

Functional Analysis · Mathematics 2023-06-21 Nizar El Idrissi , Samir Kabbaj

We prove a new automorphy lifting theorem for l-adic representations where we impose a new condition at l, which we call `potential diagonalizability'. This result allows for `change of weight' and seems to be substantially more flexible…

Number Theory · Mathematics 2013-12-10 Thomas Barnet-Lamb , Toby Gee , David Geraghty , Richard Taylor

We study valued fields equipped with an automorphism $\sigma$ which is locally infinitely contracting in the sense that $\alpha\ll\sigma\alpha$ for all $0<\alpha\in\Gamma$. We show that various notions of valuation theory, such as Henselian…

Logic · Mathematics 2025-06-10 Yuval Dor , Ehud Hrushovski

We propose a Lagrangian path integral based on gauge symmetries generated by a symmetric higher-order $\Delta$-operator, and demonstrate that this path integral is independent of the chosen gauge-fixing function. No explicit change of…

High Energy Physics - Theory · Physics 2009-10-30 I. A. Batalin , K. Bering , P. H. Damgaard

We show that the globally nilpotent G-operators corresponding to the factors of the linear differential operators annihilating the multifold integrals $\chi^{(n)}$ of the magnetic susceptibility of the Ising model ($n \le 6$) are…

Mathematical Physics · Physics 2015-06-18 S. Boukraa , S. Hassani , J-M. Maillard

We develop a (largely conjectural) theory of p-adic L-functions interpolating square roots of central L-values for automorphic forms on GSp(4) x GL(2) x GL(2), and a relation between these p-adic L-functions and families of Galois…

Number Theory · Mathematics 2021-07-02 David Loeffler , Sarah Livia Zerbes

We introduce the notion of a twisted differential operator of given radius relative to an endomorphism $$\sigma$$ of an affinoid algebra A. We show that this notion is essentially independent of the choice of the endomorphism $$\sigma$$. As…

Algebraic Geometry · Mathematics 2020-02-12 Bernard Le Stum , Adolfo Quirós

The number of linear independent algebraic relations among elementary symmetric polynomial functions over finite fields is computed. An algorithm able to find all such relations is described. It is proved that the basis of the ideal of…

Symbolic Computation · Computer Science 2023-09-26 Mihai Prunescu

To a smooth and symmetric function $f$ defined on a symmetric open set $\Gamma\subset\mathbb{R}^{n}$ and a real $n$-dimensional vector space $V$ we assign an associated operator function $F$ defined on an open subset…

Representation Theory · Mathematics 2018-05-23 Julian Scheuer