Related papers: Criterion for linear independence of functions

We investigate the arithmetic nature of special values of Thakur's function field Gamma function at rational points. Our main result is that all linear independence relations over the field of algebraic functions are consequences of the…

Given a function $f: (a,b) \rightarrow \mathbb{R},$ L\"owner's theorem states $f$ is monotone when extended to self-adjoint matrices via the functional calculus, if and only if $f$ extends to a self-map of the complex upper half plane. In…

We construct a complex entire function with arbitrary number of variables which has the following property: The infinite set consisting of all the values of all its partial derivatives of any orders at all algebraic points, including zero…

The eigenvalue problem for a linear function L centers on solving the eigen-equation Lx = rx. This paper generalizes the eigenvalue problem from a single linear function to an iterated function system F consisting of possibly an infinite…

The HRT conjecture states that any finite collection of time-frequency shifts of a non-zero square-integrable function on the real line is linearly independent. In this paper, we establish the linear independence of finite systems of…

We consider a $G$-function $F(z)=\sum_{k=0}^{\infty} A_k z^k \in \mathbb{K}[[z]]$, where $\mathbb{K}$ is a number field, of radius of convergence $R$ and annihilated by the $G$-operator $L \in \mathbb{K}(z)[\mathrm{d}/\mathrm{d}z]$, and a…

Let K be a field of characteristic 0 and let n be a natural number. Let Gamma be a subgroup of the multiplicative group $(K^\ast)^n$ of finite rank r. Given $A_2,...,a_n\in K^\ast$ write $A(a_1,...,a_n,\Gamma)$ for the number of solutions…

Suppose $F$ is an infinite field and let $f \in F\{X_1, \dots,X_m\}$ be a noncommutative polynomial. Partially answering a query of Makar-Limanov, we show that there are numbers $d$ and $m'$ such that, if $F$ is closed under taking $d$th…

In this paper, we establish the linear independence of values of the $q$-analogue of the exponential function, $E_q(x)$ and its derivatives at specified algebraic arguments, when $q$ is a Pisot-Vijayraghavan number. We also deduce similar…

We develop a new method for proving algebraic independence of $G$-functions. Our approach rests on the following observation: $G$-functions do not always come with a single linear differential equation, but also sometimes with an infinite…

We generalize a result by Alberti, showing that, if a first-order linear differential operator $\mathcal{A}$ belongs to a certain class, then any $L^1$ function is the absolutely continuous part of a measure $\mu$ satisfying…

Given any non-polynomial $G$-function $F(z)=\sum\_{k=0}^\infty A\_k z^k$ of radius of convergence $R$, we consider the $G$-functions $F\_n^{[s]}(z)=\sum\_{k=0}^\infty \frac{A\_k}{(k+n)^s}z^k$ for any integers $s\geq 0$ and $n\geq 1$. For…

Adopting the approach of [7] we study rational function carrying invariant line fields on the Julia set. In particular, we show that under certain weak conditions all possible measurable invariant line fields of a rational function on its…

A fully irreducible outer automorphism phi of the free group F_n of rank n has an expansion factor which often differs from the expansion factor of the inverse of phi. Nevertheless, we prove that the ratio between the logarithms of the…

We present simple, self-contained proofs of correctness for algorithms for linearity testing and program checking of linear functions on finite subsets of integers represented as n-bit numbers. In addition we explore a generalization of…

We prove that the linear combinations of functions $f_0,...,f_n$ in $H^\infty$ have "few" singular inner factors, provided that the $f_j$'s are suitably smooth up to the boundary, while in general this is no longer true.

We prove that if the system of integer translates of a square integrable function is $\ell^2$-linear independent then its periodization function is strictly positive almost everywhere. Indeed we show that the above inference is true for any…

If $f$ is a symmetric complex-valued function on the $m$-fold Cartesian product of the set of non-negative reals and $A$ is a positive semi-definite $m\times m$ matrix with eigenvalues $\lambda_j$, we set…

In this short note we prove that a matrix $A\in\mathbb{R}^{n,n}$ is self-adjoint if and only if it is equivariant with respect to the action of a group $\Gamma\subset {\bf O}(n)$ which is isomorphic to $\otimes_{k=1}^n\mathbf{Z}_2$.…

The main result of the paper is the following generalization of Forelli's theorem: Suppose F is a holomorphic vector field with singular point at p, such that F is linearizable at p and the matrix is diagonalizable with the eigenvalues…