Related papers: Linear independence of powers

We introduce an atomic formula intuitively saying that given variables are independent from given other variables if a third set of variables is kept constant. We contrast this with dependence logic. We show that our independence atom gives…

The independence number $\alpha(H)$ of a hypergraph $H$ is the maximum cardinality of a set of vertices of $H$ that does not contain an edge of $H$. Generalizing Shearer's classical lower bound on the independence number of triangle-free…

In this paper, we first discuss the linear independence of the complete elliptic integrals of the first, second and third kinds $K(k)$, $E(k)$ and $\Pi(\mu(k),k)$, and then obtain an upper bound for the number of zeros of a function of the…

We present an algebraic structure in modules over integer rings with cardinality prime powers, which allows to define bases. With such structure, we prove a similar version for the basis extension theorem of linear algebra over fields.…

We consider the linear combinations of elements of two sequences: the first one a priory given nonnegative sequence and the second random sequence from the unit interval. We investigate the expected value of the smallest natural number such…

We consider an homogeneous action of a finite group on a free linear category over a field in order to prove that the subcategory of invariants is still free. Moreover we show that the representation type is preserved when considering…

We give criteria for graded ideals to have the property that all their powers are componentwise linear. Typical examples to which our criteria can be applied include the vertex cover ideals of certain finite graphs.

In the present paper, we determine the algebraic relations among the tractable coordinates of logarithms of Anderson $t$-modules constructed by taking the tensor product of Drinfeld modules of rank $r$ defined over the algebraic closure of…

Let $S=K[x_1,\ldots,x_n]$ be the polynomial ring over a field and $A$ a standard graded $S$-algebra. In terms of the Gr\"obner basis of the defining ideal $J$ of $A$ we give a condition, called the x-condition, which implies that all graded…

For coprime positive integers $q$ and $e$, let $m(q,e)$ denote the least positive integer $t$ such that there exists a sum of $t$ powers of $q$ which is divisible by $e$. We prove an upper bound for $m(q.e)$ and investigate the case where…

Results are proved indicating that the Veronese map v_d often increases independence of both sets of points and sets of subspaces. For example, any d+1 Veronesean points of degree d are independent. Similarly, the dth power map on the space…

Let O be the ring of integers of a number field K. For an O-algebra R which is torsion free as an O-module we define what we mean by a Lambda_O-ring structure on R. We can determine whether a finite etale K-algebra E with Lambda_O-ring…

A Hamiltonian path (a Hamiltonian cycle) in a graph is a path (a cycle, respectively) that traverses all of its vertices. The problems of deciding their existence in an input graph are well-known to be NP-complete, in fact, they belong to…

We consider a space of complex polynomials of degree $n\ge 3$ with $n-1$ distinguished periodic orbits. We prove that the multipliers of these periodic orbits considered as algebraic functions on that space, are algebraically independent…

An integer linear system (ILS) is a linear system with integer constraints. The solution graph of an ILS is defined as an undirected graph defined on the set of feasible solutions to the ILS. A pair of feasible solutions is connected by an…

We introduce and study algebraic dynamical systems generated by triangular systems of rational functions. We obtain several results about the degree growth and linear independence of iterates as well as about possible lengths of…

We study the interpolation group whose elements are suitable pairs of formal power series. This group has a faithful representation into infinite lower triangular matrices and carries thus a natural structure as a Lie group. The matrix…

For any infinite field k and any positive integer r, we show constructively that the map sending each polynomial P $\in$ k[x] to its r-th iterate is dominant in various inductive limit topologies on the space of all polynomials.

For a graph $G$, its $k$-th power $G^k$ is constructed by placing an edge between two vertices if they are within distance $k$ of each other. The $k$-independence number $\alpha_k(G)$ is defined as the independence number of $G^k$. By using…

Let $R$ be a commutative integral unital domain and $L$ a free non-commutative Lie algebra over $R$. In this paper we show that the ring $R$ and its action on $L$ are 0-interpretable in $L$, viewed as a ring with the standard ring language…