Related papers: Twisted Mahler discrete residues
Intuitionistic modal logics (IMLs) extend intuitionistic propositional logic with modalities such as the box and diamond connectives. Advances in the study of IMLs have inspired several applications in programming languages via the…
Following K. Mahler's suggestion for further research on intrinsic approximation on the Cantor ternary set, we obtain a Dirichlet type theorem for the limit sets of rational iterated function systems. We further investigate the behavior of…
We discuss when and how the Verlinde dimensions of a rational conformal field theory can be expressed as correlation functions in a topological LG theory. It is seen that a necessary condition is that the RCFT fusion rules must exhibit an…
We prove a Burgess-like subconvex bound for twisted L-functions of a fixed irreducible cuspidal automorphic representation of GL(2) over a totally real number field. The proof is based on a spectral decomposition of shifted convolution sums…
In multicentric calculus one takes a polynomial $p$ with distinct roots as a new variable and represents complex valued functions by $\mathbb C^d$-valued functions, where $d$ is the degree of $p$. An application is e.g. the possibility to…
Let $V$ be a vertex operator algebra and $g$ an automorphism of finite order. We construct an associative algebra $A_g(V)$ and a pair of functors between the category of $A_g(V)$-modules and a certain category of admissible $g$-twisted…
We introduce new concepts in order to develop a general formalism for twisted differential operators in several variables. We investigate the notion of twisted coordinates on Huber rings that allows us to build various rings of twisted…
N. Katz introduced the notion of the middle convolution on local systems. This can be seen as a generalization of the Euler transform of Fuchsian differential equations. In this paper, we consider the generalization of the Euler transform,…
We return to Takagi's variational principle, generalized after forty years to two complex variables by Pfister. Both isolating some extremal rational functions associated to a bounded holomorphic function in the unit disk, respectively the…
We prove that the pattern matching problem is undecidable in polymorphic lambda-calculi (as Girard's system F) and calculi supporting inductive types (as G{\"o}del's system T) by reducing Hilbert's tenth problem to it. More generally…
In this paper we construct an entire function of two variables having the property that its values and its partial derivatives of any order at any distinct algebraic points are algebraically independent. Such an entire function is generated…
A family of $q$-difference-differential equations in two complex variables is studied, under the action of a so-called Mahler transform on time variable. The appearance of a leading formal $q$-difference operator of irregular type in the…
A twisted ring is a ring endowed with a family of endomorphisms satisfying certain relations. One may then consider the notions of twisted module and twisted differential module. We study them and show that, under some general hypothesis,…
This work explores the tensor and combinatorial constructs underlying the linearised higher-order variational equations of a generic autonomous system along a particular solution. The main result of this paper is a compact yet explicit and…
We investigate the twisting of motivic $L$-functions by a family of multiplicative characters $\psi$, defined on prime ideals $\mathfrak{p}$ via $\psi(\mathfrak{p})=\alpha^{N(\mathfrak{p})}$ for a fixed $\alpha \in \mathbb{C}$. One can…
Using a result of M. Hochster and C. Huneke on $F$-rational rings a criterion for complete intersection rings of characteristic $p>0$ is presented. As an application, we give a completely different proof for an algebraic result of G.…
This paper derives a discrete dual problem for a prototypical hybrid high-order method for convex minimization problems. The discrete primal and dual problem satisfy a weak convex duality that leads to a priori error estimates with…
Dynamical systems are abstract models of interaction between space and time. They are often used in fields such as physics and engineering to understand complex processes, but due to their general nature, they have found applications for…
We prove a theorem that allows one to count solutions to determinant equations twisted by a periodic weight with high uniformity in the modulus. It is obtained by using spectral methods of $\operatorname{SL}_2(\mathbb{R})$ automorphic forms…
In this paper, we study the exceptional sets $S_f$ of $p$-adic transcendental analytic functions $f$ with rational and algebraic coefficients. We establish a necessary condition for a subset $S \subseteq \overline{\mathbb{Q}} \cap B(0,…