On the dimension of $H^{*}((\mathbb Z_2)^{\times t}, \mathbb Z_2)$ as a module over Steenrod ring

We write $\mathbb P$ for the polynomial algebra in one variable over the finite field $\mathbb Z_2$ and $\mathbb P^{\otimes t} = \mathbb Z_2[x_1, \ldots, x_t]$ for its $t$-fold tensor product with itself. We grade $\mathbb P^{\otimes t}$ by assigning degree $1$ to each generator. We are interested in determining a minimal set of generators for the ring of invariants $(\mathbb P^{\otimes t})^{G_t}$ as a module over Steenrod ring, $\mathscr A_2.$ Here $G_t$ is a subgroup of the general linear group $GL(t, \mathbb Z_2).$ An equivalent problem is to find a monomial basis of the space of "unhit" elements, $\mathbb Z_2\otimes_{\mathscr A_2} (\mathbb P^{\otimes t})^{G_t}$ in each $t$ and degree $n\geq 0.$ The structure of this tensor product is proved surprisingly difficult and has been not yet known for $t\geq 5,$ even for the trivial subgroup $G_t = \{e\}.$ In the present paper, we consider the subgroup $G_t = \{e\}$ for $t \in \{5, 6\},$ and obtain some new results on $\mathscr A_2$-generators of $(\mathbb P^{\otimes t})^{G_t}$ in some degrees. At the same time, some of their applications have been proposed. We also provide an algorithm in MAGMA for verifying the results. This study can be understood as a continuation of our recent works in [23, 25].

Computational method for solving weakly singular Fredholm integral equations of the second kind using an advanced barycentric Lagrange interpolation formula

In this study, we applied an advanced barycentric Lagrange interpolation formula to find the interpolate solutions of weakly singular Fredholm integral equations of the second kind. The kernel is interpolated twice concerning both variables and then is transformed into the product of five matrices; two of them are monomial basis matrices. To isolate the singularity of the kernel, we developed two techniques based on a good choice of different two sets of nodes to be distributed over the integration domain. Each set is specific to one of the kernel arguments so that the kernel values never become zero or imaginary. The significant advantage of thetwo presented techniques is the ability to gain access to an algebraic linear system equivalent to the interpolant solution without applying the collocation method. Moreover, the convergence in the mean of the interpolant solution and the maximum error norm estimation are studied. The interpolate solutions of the illustrated four examples are found strongly converging uniformly to the exact solutions.

Generalized Standard Triples for Algebraic Linearizations of Matrix Polynomials

We define generalized standard triples $\boldsymbol{X}$, $\boldsymbol{Y}$, and $L(z) = z\boldsymbol{C}_{1} - \boldsymbol{C}_{0}$, where $L(z)$ is a linearization of a regular matrix polynomial $\boldsymbol{P}(z) \in \mathbb{C}^{n \times n}[z]$, in order to use the representation $\boldsymbol{X}(z \boldsymbol{C}_{1}~-~\boldsymbol{C}_{0})^{-1}\boldsymbol{Y}~=~\boldsymbol{P}^{-1}(z)$ which holds except when $z$ is an eigenvalue of $\boldsymbol{P}$. This representation can be used in constructing so-called algebraic linearizations for matrix polynomials of the form $\boldsymbol{H}(z) = z \boldsymbol{A}(z)\boldsymbol{B}(z) + \boldsymbol{C} \in \mathbb{C}^{n \times n}[z]$ from generalized standard triples of $\boldsymbol{A}(z)$ and $\boldsymbol{B}(z)$. This can be done even if $\boldsymbol{A}(z)$ and $\boldsymbol{B}(z)$ are expressed in differing polynomial bases. Our main theorem is that $\boldsymbol{X}$ can be expressed using the coefficients of the expression $1 = \sum_{k=0}^\ell e_k \phi_k(z)$ in terms of the relevant polynomial basis. For convenience, we tabulate generalized standard triples for orthogonal polynomial bases, the monomial basis, and Newton interpolational bases; for the Bernstein basis; for Lagrange interpolational bases; and for Hermite interpolational bases.

Numerical differentiation on scattered data through multivariate polynomial interpolation

We discuss a pointwise numerical differentiation formula on multivariate scattered data, based on the coefficients of local polynomial interpolation at Discrete Leja Points, written in Taylor’s formula monomial basis. Error bounds for the approximation of partial derivatives of any order compatible with the function regularity are provided, as well as sensitivity estimates to functional perturbations, in terms of the inverse Vandermonde coefficients that are active in the differentiation process. Several numerical tests are presented showing the accuracy of the approximation.

Spline Approximation, Part 2: From Polynomials in the Monomial Basis to B-splines—A Derivation

In a series of three articles, spline approximation is presented from a geodetic point of view. In part 1, an introduction to spline approximation of 2D curves was given and the basic methodology of spline approximation was demonstrated using splines constructed from ordinary polynomials. In this article (part 2), the notion of B-spline is explained by means of the transition from a representation of a polynomial in the monomial basis (ordinary polynomial) to the Lagrangian form, and from it to the Bernstein form, which finally yields the B-spline representation. Moreover, the direct relation between the B-spline parameters and the parameters of a polynomial in the monomial basis is derived. The numerical stability of the spline approximation approaches discussed in part 1 and in this paper, as well as the potential of splines in deformation detection, will be investigated on numerical examples in the forthcoming part 3.

On the dimension of the "cohits" space $\mathbb Z_2\otimes_{\mathcal A_2} H^{*}((\mathbb RP(\infty))^{\times t}, \mathbb Z_2)$ and some applications

We denote by $\mathbb Z_2$ the prime field of two elements and by $P_t = \mathbb Z_2[x_1, \ldots, x_t]$ the polynomial algebra of $t$ generators $x_1, \ldots, x_t$ with the degree of each $x_i$ being one. Let $\mathcal A_2$ be the Steenrod algebra over $\mathbb Z_2.$ A central problem of homotopy theory is to determine a minimal set of generators for the $\mathbb Z_2$-graded vector space $\mathbb Z_2\otimes_{\mathcal A_2} P_t.$ This problem, which is called the "hit" problem for Steenrod algebra, has been systematically studied for $t\leq 4.$ The present paper is devoted to the investigation of the structure of the "cohits" space $\mathbb Z_2\otimes_{\mathcal A_2} P_t$ in some certain "generic" degrees. More specifically, we explicitly determine a monomial basis of $\mathbb Z_2\otimes_{\mathcal A_2} P_5$ in degree \mbox{$n_s=5(2^{s}-1) + 42.2^{s}$} for every non-negative integer $s.$ As a result, it confirms Sum's conjecture \cite{N.S2} for a relation between the minimal sets of $\mathcal A_2$-generators of the algebras $P_{t-1}$ and $P_{t}$ in the case $t=5$ and degree $n_s$. Based on Kameko's map \cite{M.K} and a previous result by Sum \cite{N.S1}, we obtain a inductive formula for the dimension of $\mathbb Z_2\otimes_{\mathcal A_2} P_t$ in a generic degree given. As an application, we obtain the dimension of $\mathbb Z_2\otimes_{\mathcal A_2} P_6$ in the generic degree $5(2^{s+5}-1) + n_0.2^{s+5}$ for all $s\geq 0,$ and show that the Singer's cohomological transfer \cite{W.S1} is an isomorphism in bidegree $(5, 5+n_s)$.

Computational Method for Solving Weakly Singular Fredholm Integral Equations of the Second Kind using an Advanced Barycentric Lagrange Interpolation Formula

In this study, we applied an advanced barycentric Lagrange interpolation formula to find the interpolate solutions of weakly singular ‎Fredholm integral equations of the ‎second kind. The kernel is ‎interpolated twice concerning ‎both variables and then is transformed into the product of five ‎matrices; two of them are monomial basis ‎matrices. To isolate the singularity of the kernel, we ‎developed two techniques based on a good choice of ‎different two sets of nodes to be distributed ‎over the integration domain. Each set is specific to one of the ‎kernel arguments so that the kernel ‎values never become zero or imaginary. The significant advantage of the ‎two presented ‎techniques is the ability to gain ‎‎access to an algebraic linear system equivalent to the interpolant solution without applying the collocation method. Moreover, the convergence in the ‎mean of the interpolant solution ‎and the maximum error norm estimation are studied. The ‎interpolate solutions of the illustrated four ‎examples are found strongly converging uniformly to the ‎exact solutions.

On the universal envelope of a Jordan triple system of n × n matrices

We study the universal (associative) envelope of the Jordan triple system of all [Formula: see text] [Formula: see text] matrices with the triple product [Formula: see text] over a field of characteristic 0. We use the theory of non-commutative Gröbner–Shirshov bases to obtain the monomial basis and the center of the universal envelope. We also determine the decomposition of the universal envelope and show that there exist only five finite-dimensional inequivalent irreducible representations of the Jordan triple system of all [Formula: see text] matrices.

Nonsparse companion Hessenberg matrices

In recent years, there has been a growing interest in companion matrices. Sparse companion matrices are well known: every sparse companion matrix is equivalent to a Hessenberg matrix of a particular simple type. Recently, Deaett et al. [Electron. J. Linear Algebra, 35:223--247, 2019] started the systematic study of nonsparse companion matrices. They proved that every nonsparse companion matrix is nonderogatory, although not necessarily equivalent to a Hessenberg matrix. In this paper, the nonsparse companion matrices which are unit Hessenberg are described. In a companion matrix, the variables are the coordinates of the characteristic polynomial with respect to the monomial basis. A PB-companion matrix is a generalization, in the sense that the variables are the coordinates of the characteristic polynomial with respect to a general polynomial basis. The literature provides examples with Newton basis, Chebyshev basis, and other general orthogonal bases. Here, the PB-companion matrices which are unit Hessenberg are also described.

Structured strong $\boldsymbol{\ell}$-ifications for structured matrix polynomials in the monomial basis

In the framework of Polynomial Eigenvalue Problems (PEPs), most of the matrix polynomials arising in applications are structured polynomials (namely, (skew-)symmetric, (skew-)Hermitian, (anti-)palindromic, or alternating). The standard way to solve PEPs is by means of linearizations. The most frequently used linearizations belong to general constructions, valid for all matrix polynomials of a fixed degree, known as companion linearizations. It is well known, however, that it is not possible to construct companion linearizations that preserve any of the previous structures for matrix polynomials of even degree. This motivates the search for more general companion forms, in particular companion $\ell$-ifications. In this paper, we present, for the first time, a family of (generalized) companion $\ell$-ifications that preserve any of these structures, for matrix polynomials of degree $k=(2d+1)\ell$. We also show how to construct sparse $\ell$-ifications within this family. Finally, we prove that there are no structured companion quadratifications for quartic matrix polynomials.