Related papers: Encoding algebraic power series

Given a square matrix with elements in the group-ring of a group, one can consider the sequence formed by the trace (in the sense of the group-ring) of its powers. We prove that the corresponding generating series is an algebraic…

The centralizer algebra of the action of the unitary group on the real tensor powers of its natural module, is described by means of a modification in the multiplication of the signed Brauer algebras. The relationships of this algebra with…

Matrix Code gives imperative programming a mathematical semantics and heuristic power comparable in quality to functional and logic programming. A program in Matrix Code is developed incrementally from a specification in pre/post-condition…

We study two types of series over a real alternative $^*$-algebra $A$. The first type are series of the form $\sum_{n} (x-y)^{\punto n}a_n$, where $a_n$ and $y$ belong to $A$ and $(x-y)^{\punto n}$ denotes the $n$--th power of $x-y$ w.r.t.\…

Let $f(z)={}_nF_{n-1}(\mathbf{\alpha},\mathbf{\beta})$ be the hypergeometric series with parameters $\mathbf{\alpha} = (\alpha_1,\ldots,\alpha_n)$ and $\mathbf{\beta} = (\beta_1,\ldots,\beta_{n-1},1)$ in $(\mathbb{Q}\cap(0,1])^n$, let…

The integral representation of the Hadamard product of two functions is used to prove several Euler-type series transformation formulas. As applications we obtain three binomial identities involving harmonic numbers and an identity for the…

A class number formula is proved for extended ring class fields $L_{\mathcal{O},9}$ over imaginary quadratic fields $K_d = \mathbb{Q}(\sqrt{-d})$, in which the prime $p = 3$ splits, by determining the fields generated by the periodic points…

We consider a generalization of polynomial programs: algebraic programs, which are optimization or feasibility problems with algebraic objectives or constraints. Algebraic functions are defined as zeros of multivariate polynomials. They are…

Given positive real numbers, we prove two inequalities involving their potential energy and their power sums. We also prove an inequality involving the energy and the discriminant and apply it to deduce a result on totally positive…

A new class of structured codes called Quasi Group Codes (QGC) is introduced. A QGC is a subset of a group code. In contrast with group codes, QGCs are not closed under group addition. The parameters of the QGC can be chosen such that the…

We study partitions of complex numbers as sums of non-negative powers of a fixed algebraic number $\beta$. We prove that if $\beta$ is real quadratic, then the number of partitions is always finite if and only if some conjugate of $\beta$…

A power dominating set of a graph is a set of vertices that observes every vertex in the graph by combining classical domination with an iterative propagation process arising from electrical circuit theory. In this paper, we study the power…

We propose a novel encoding scheme for algebraic codes such as codes on algebraic curves, multidimensional cyclic codes, and hyperbolic cascaded Reed-Solomon codes and present numerical examples. We employ the recurrence from the Gr\"obner…

Systems of cooperation and interaction are usually studied in the context of real or complex vector spaces. Additional insight, however, is gained when such systems are represented in vector spaces with multiplicative structures, i.e., in…

Given a $n$-dimensional Lie algebra $g$ over a field $k \supset \mathbb Q$, together with its vector space basis $X^0_1,..., X^0_n$, we give a formula, depending only on the structure constants, representing the infinitesimal generators,…

Proofs of the fundamental theorem of algebra can be divided up into three groups according to the techniques involved: proofs that rely on real or complex analysis, algebraic proofs, and topological proofs. Algebraic proofs make use of the…

A bracket is a function that assigns a number to each monomial in variables \tau_0, \tau_1, ... We show that any bracket satisfying the string and the dilaton relations gives rise to a power series lying in the algebra A generated by the…

The classical number system encodes magnitude using a single scalar value whose sign positive or negative has remained conceptually unchanged for centuries. This work introduces Multisign Algebra, a mathematical generalization of the sign…

We introduce and study coordinate-wise powers of subvarieties of $\mathbb{P}^n$, i.e. varieties arising from raising all points in a given subvariety of $\mathbb{P}^n$ to the $r$-th power, coordinate by coordinate. This corresponds to…

Given $b=-A\pm i$ with $A$ being a positive integer, we can represent any complex number as a power series in $b$ with coefficients in $\mathcal A=\{0,1,\ldots, A^2\}$. We prove that, for any real $\tau\geq 2$ and any non-empty proper…