Related papers: Mahler's method and Carlitz logarithm
In 1994 Jech gave a model theoretic proof of G\"odel's second incompleteness theorem for Zermelo-Fraenkel set theory in the following form: ZF does not prove that ZF has a model. Kotlarski showed that Jech's proof can be adapted to Peano…
We investigate infinitary wellfounded systems for linear logic with fixed points, with transfinite branching rules indexed by some closure ordinal $\alpha$ for fixed points. Our main result is that provability in the system for some…
Let $A$ be a complex Banach algebra. If the spectrum of an invertible element $a\in A$ does not separate the plane, then $a$ admits a logarithm. We present two elementary proofs of this classical result which are independent of the…
Let $F=\mathbb{F}_q(T)$ be the field of rational functions with $\mathbb{F}_q$-coefficients, and $A=\mathbb{F}_q[T]$ be the subring of polynomials. Let $D$ be a division quaternion algebra over $F$ which is split at $1/T$. Given an…
We consider Knizhnik-Zamolodchikov system of linear differential equations. The coefficients of this system are rational functions. We prove that under some conditions the solution of KZ system is rational too. This assertion confirms…
A proof for a conjecture by Shadrin and Zvonkine, relating the entries of a matrix arising in the study of Hurwitz numbers to a certain sequence of rational numbers, is given. The main tools used are iteration matrices of formal power…
We generalize Carlitz' result on the number of self reciprocal monic irreducible polynomials over finite fields by showing that similar explicit formula hold for the number of irreducible polynomials obtained by a fixed quadratic…
We extend the algebra of local observables in topological conformal field theories by nonlocal operators. This allows to construct parameter-dependent operations realized via certain integrals over the compactified moduli spaces, satisfying…
In the Coxeter group W(R) generated by the root system R, let T(R) be the number of conjugacy classes having no eigenvalue 1 and let S(R) be the number of conjugacy classes having no eigenvalue -1. The algebra H{R) of observables of the…
A number of models of linear logic are based on or closely related to linear algebra, in the sense that morphisms are "matrices" over appropriate coefficient sets. Examples include models based on coherence spaces, finiteness spaces and…
We generalize the theory of logarithmic derivations through a self-contained study of modules here dubbed tangential idealizers. We establish reflexiveness criteria for such modules, provided the ring is a factorial domain. As a main…
Based on the notion of Stark units we present a new approach that obtains refinements of log-algebraic identities for Anderson t-modules. As a consequence, we establish a generalization of Chang's theorem on logarithmic interpretations for…
This paper describes a general framework for automatic termination analysis of logic programs, where we understand by ``termination'' the finitenes s of the LD-tree constructed for the program and a given query. A general property of…
Let $q$ be a prime power, let $\mathbb F_q$ be the finite field with $q$ elements and let $\theta$ be a generator of the cyclic group $\mathbb F_q^*$. For each $a\in \mathbb F_q^*$, let $\log_{\theta} a$ be the unique integer $i\in \{1,…
This paper contains two parts. The first is the solution of a challenge question, proposed by Etienne Ghys, on the determination of all maps from rational numbers to themselves such that the difference quotient (f(x)-f(y))/(x-y) is always a…
The aim of this paper is to give a precise proof of the completeness of Lamb modes and associated modes. This proof is relatively simple and short but relies on two powerful mathematical theorems. The first one is a theorem on elliptic…
We give the path model solution for the cluster algebra variables of the $A_r$ $T$-system with generic boundary conditions. The solutions are partition functions of (strongly) non-intersecting paths on weighted graphs. The graphs are the…
After H\"older proved his classical theorem about the Gamma function, there has been a whole bunch of results showing that solutions to linear difference equations tend to be hypertranscendental i.e. they cannot be solution to an algebraic…
This is a largely expository paper, providing a self-contained account on the results of [Sch-Si1, Sch-Si2], in the cases denoted there 2Q and 2M. These papers of Sch\"afke and Singer supplied new proofs to the main theorems of [Bez-Bou,…
The attempt is to give a formal concpet of system, and with this provide a definition of category, that will also satisfy the definition of a system. An axiomatic base is given, for constructing the group of integers. In the process, we…