Related papers: Criterion for linear independence of functions

We give a new and simple proof of the fact that a finite family of analytic functions has a zero Wronskian only if it is linearly dependent.

Let $\mathbb{F}$ be an infinite field. Let $n$ be a positive integer and let $1\leq d\leq n$. Let $\vec{f}_1, \vec{f}_2, \ldots, \vec{f}_{d-1} \in \mathbb{F}^{n}$ be $d-1$ linearly independent vectors. Let…

We call shifted power a polynomial of the form $(x-a)^e$. The main goal of this paper is to obtain broadly applicable criteria ensuring that the elements of a finite family $F$ of shifted powers are linearly independent or, failing that, to…

For $k\in\mathbb R$, we consider a $\mathbb C$-algebra $\mathcal A_k$ of holomorphic functions in the half plane $Re\; z>k$ with (at most) subexponential growth on the real line to $+\infty$. In the $\mathcal A_k$-algebra of sequences of…

Let $r,m$ be positive integers. Let $0\le x <1$ be a rational number. Let $\Phi_s(x,z)$ be the $s$-th Lerch function $\sum_{k=0}^{\infty}\tfrac{z^{k+1}}{(k+x+1)^s}$ with $s=1,2,\ldots ,r$. When $x=0$, this is the polylogarithmic function.…

We consider pairs of automorphisms $(\phi,\sigma)$ acting on fields of Laurent or Puiseux series: pairs of shift operators $(\phi\colon x\mapsto x+h_1, \sigma\colon x\mapsto x+h_2)$, of $q$-difference operators $(\phi\colon x\mapsto q_1x,\…

Consider a linear programming problem with n primal and m dual variables paired with n dual and m primal slack variables respectively, and aggregately denote these variables and slack variables as a vector z of length 2(n+m). Unlike…

We introduce the notion of $GL(n)$-dependence of matrices, which is a generalization of linear dependence taking into account the matrix structure. Then we prove a theorem, which generalizes, on the one hand, the fact that $n+1$ vectors in…

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…

Let $G$ be a locally compact group. We examine the problem of determining when nonzero functions in $L^2(G)$ have linearly independent translations. In particular, we establish some results for the case when $G$ has an irreducible, square…

Given $k \ge 2$ polynomials in $d \ge 1$ variables with coefficients in a field of characteristic $0$, such that no two are linearly dependent, we show that for any integer $r$ greater than $\max\left\{k {k-1 \choose 2}, 2\right\}$, the…

We give lower bounds for the degree of multiplicative combinations of iterates of rational functions (with certain exceptions) over a general field, establishing the multiplicative independence of said iterates. This leads to a…

Given a functor $F: \mathcal{C} \to \mathcal{D}$ and a model-theoretic independence relation on $\mathcal{D}$, we can lift that independence relation along $F$ to $\mathcal{C}$ by declaring a commuting square in $\mathcal{C}$ to be…

Having observed an $m\times n$ matrix $X$ whose rows are possibly correlated, we wish to test the hypothesis that the columns are independent of each other. Our motivation comes from microarray studies, where the rows of $X$ record…

We prove, in a quantitative form, linear independence results for values of a certain class of q-series, which generalize classical q-hypergeometric series. These results refine our recent estimates.

Given any two rational numbers $r_1$ and $r_2$, a necessary and sufficient condition is established for the three numbers $1$, $\cos (\pi r_1)$, and $\cos (\pi r_2)$ to be rationally independent. Extending a classical fact sometimes…

If n points B_1,---,B_n$ in the standard simplex \Delta_n are affinely independent, then they can span an (n-1)-simplex denoted by \Lambda=Con(B_1,---,B_n). Here \Lambda corresponds to an n*n matrix [\Lambda] whose columns are B_1,---,B_n.…

We study the problem of testing whether a function f:R^n->R is linear (i.e., both additive and homogeneous) in the distribution-free property testing model, where the distance between functions is measured with respect to an unknown…

Algebraic independence is an advanced notion in commutative algebra that generalizes independence of linear polynomials to higher degree. Polynomials {f_1, ..., f_m} \subset \F[x_1, ..., x_n] are called algebraically independent if there is…

We establish an invertibility criterion for free polynomials and free functions evaluated on some tuples of matrices. We show that if the derivative is nonsingular on some domain closed with respect to direct sums and similarity, the…