Related papers: Criterion for linear independence of functions

Let's consider a control system described by the implicit equation $F(x,\dot x) = 0$. If this system is differentially flat, then the following criterion is satisfied : For some integer $r$, there exists a function $\varphi(y_0, y_1,…

Within the framework of mappings between affine spaces, the notion of $n$-th polarization of a function will lead to an intrinsic characterization of polynomial functions. We prove that the characteristic features of derivations, such as…

Fix $N\in\mathbb N$ and assume that for every $n\in\{1,\ldots, N\}$ the functions $f_n\colon[0,1]\to[0,1]$ and $g_n\colon[0,1]\to\mathbb R$ are Lebesgue measurable, $f_n$ is almost everywhere approximately differentiable with…

From around 2010 onward, Elsner et al.,developed and applied a method in which the algebraic independence of n quantities x_1,...,x_n over a field is transferred to further n quantities y_1,...,y_n by means of a system of polynomials in 2n…

Mathematical models are sometime given as functions of independent input variables and equations or inequations connecting the input variables. A probabilistic characterization of such models results in treating them as functions with…

We prove that the unitriangular automorphism group of a free group of rank $n$ has a faithful representation by matrices over a field, or in other words, it is a linear group, if and only if $n \leq 3.$ Thus, we have completed a description…

We consider a homogeneous system of linear equations of the form $A_\alpha^{\otimes N} {\bf x} = 0$ arising from the distinguishability of two quantum operations by $N$ uses in parallel, where the coefficient matrix $A_\alpha$ depends on a…

If $A$ is in the $p$-Schatten class on $\mathbb{R}^n$, $1\leq p \leq \frac{4n}{2n-1}$, then the quantum translates of $A$ are linearly independent. Moreover, there exists a non-zero operator in the $p$-Schatten class on $\mathbb{R}^n$,…

Let f be a transcendental meromorphic function. Suppose that the finite part of the postsingular set of f is bounded, that f has no recurrent critical points or wandering domains, and that the degree of pre-poles of f is uniformly bounded.…

We consider decompositions of processes of the form $Y=f(t,X_t)$ where $X$ is a semimartingale. The function $f$ is not required to be differentiable, so It\^{o}'s lemma does not apply. In the case where $f(t,x)$ is independent of $t$, it…

We study the existence of homomorphisms between Out(F_n) and Out(F_m) for n > 5 and m < n(n-1)/2, and conclude that if m is not equal to n then each such homomorphism factors through the finite group of order 2. In particular this provides…

Every m by n matrix A with rank r has exactly r independent rows and r independent columns. The fact has become the most fundamental theorem in linear algebra such that we may favor it in an unconscious way. The sole aim of this paper is to…

We show that, for two non-trivial random variables X and Y under a sublinear expectation space, if X is independent from Y and Y is independent from X, then X and Y must be maximally distributed.

We demonstrate that any function $f$ from a finite set $Y$ to itself can be represented linearly. Specifically, we prove the existence of an injective map $j$ from $Y$ into a modular ring $\mathbb{Z}/m\mathbb{Z}$ and a constant $a \in…

The problem of finding independent components of an indexed object (e.g., a tensor) with arbitrary number of indices and arbitrary linear symmetries is discussed. It is proved that the number of independent components $f(k)$ is a polynomial…

We present a linear functional calculus with both the safety guarantees expressible with linear types and the rich language of combinators and composition provided by functional programming. Unlike previous combinations of linear typing and…

Let $n$ be a positive integer and $X = [x_{ij}]_{1 \leq i, j \leq n}$ be an $n \times n$\linebreak \noindent sized matrix of independent random variables having joint uniform distribution $$\hbox{Pr} {x_{ij} = k \hbox{for} 1 \leq k \leq n}…

We prove the following results: let x,y be (n,n) complex matrices such that x,y,xy have no eigenvalue in ]-infinity,0] and log(xy)=log(x)+log(y). If n=2, or if n>2 and x,y are simultaneously triangularizable, then x,y commute. In both cases…

Consider the product $X = X_{1}\cdots X_{m}$ of $m$ independent $n\times n$ iid random matrices. When $m$ is fixed and the dimension $n$ tends to infinity, we prove Gaussian limits for the centered linear spectral statistics of $X$ for…

A recently proposed axiom system for Andr\'e's central translation structures is improved upon. First, one of its axioms turns out to be dependent (derivable from the other axioms). Without this axiom, the axiom system is indeed…