Related papers: Effective noncommutative Nevanlinna-Pick interpola…

This is the second installment of an exposition of an ACL2 formalization of elementary linear algebra. It extends the results of Part I, which covers the algebra of matrices over a commutative ring, but focuses on aspects of the theory that…

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…

By viewing non-commutative polynomials, that is, elements in free associative algebras, in terms of linear representations, we generalize Horner's rule to the non-commutative (multivariate) setting. We introduce the concept of Horner…

It was proved by Maksimova in 1977 that exactly eight varieties of Heyting algebras have the amalgamation property, and hence exactly eight axiomatic extensions of intuitionistic propositional logic have the deductive interpolation…

We consider aggregation-diffusion equations with merely bounded nonlocal interaction potential $K$. We are interested in establishing their well-posedness theory when the nonlocal interaction potential $K$ is neither differentiable nor…

Let $I$ be an inner function in the unit disk $\mathbb D$ and let $\mathcal N$ denote the Nevanlinna class. We prove that under natural assumptions, Bezout equations in the quotient algebra $\mathcal N/I\mathcal N$ can be solved if and only…

The Szeg\"o-Dirichlet kernel of the right half-plane $\mathbb H_{1/2}$ is given by ${\varkappa}(s, u) = \zeta(s+\overline{u}),$ $s, u \in \mathbb H_{1/2},$ where $\zeta$ denotes the Riemann zeta function. We show that none of the positive…

We construct classes of von Neumann algebra modules by considering ``column sums" of noncommutative L^p spaces. Our abstract characterization is based on an L^{p/2}-valued inner product, thereby generalizing Hilbert C*-modules and…

In this article, we study the primary decomposition of some binomial ideals. In particular, we introduce the concept of polyocollection, a combinatorial object that generalizes the definitions of collection of cells and polyomino, that can…

We first consider the problem of approximating a few eigenvalues of a rational matrix-valued function closest to a prescribed target. It is assumed that the proper rational part of the rational matrix-valued function is expressed in the…

Theory of matrix factorizations is useful to study hypersurfaces in commutative algebra. To study noncommutative hypersurfaces, which are important objects of study in noncommutative algebraic geometry, we introduce a notion of…

In this paper we consider the problem of approximating vector-valued functions over a domain $\Omega$. For this purpose, we use matrix-valued reproducing kernels, which can be related to Reproducing kernel Hilbert spaces of vectorial…

The landmark quantum complexity result MIP$^*$=RE was used to prove the existence of a non Connes embeddable tracial von Neumann algebra. Recently, similar ideas were used to give a negative solution to the Aldous-Lyons conjecture: there is…

Let $M$ be a real $r\times c$ matrix and let $k$ be a positive integer. In the column subset selection problem (CSSP), we need to minimize the quantity $\|M-SA\|$, where $A$ can be an arbitrary $k\times c$ matrix, and $S$ runs over all…

The abstract interpolation problem (AIP) in the Schur class was posed V. Katznelson, A. Kheifets and P. Yuditskii in 1987 as an extension of the V.P. Potapov's approach to interpolation problems. In the present paper an analog of the AIP…

In this work we blend interpolation theory with numerical integration, constructing an interpolator based on integrals over $n$-dimensional balls. We show that, under hypotheses on the radius of the $n$-balls, the problem can be treated as…

As the virtualization of networks continues to attract attention from both industry and academia, the Virtual Network Embedding (VNE) problem remains a focus of researchers. This paper proposes a one-shot, unsplittable flow VNE solution…

We consider the problem of matrix column subset selection, which selects a subset of columns from an input matrix such that the input can be well approximated by the span of the selected columns. Column subset selection has been applied to…

The theorem on the existence of three commuting contractions on a Hilbert space and of a linear homogeneous matrix function of three independent variables for which the generalized von Neumann inequality fails is proved.

In this paper, we formally introduce the concept of a row-sum matrix over an arbitrary group $G$. When $G$ is cyclic, these types of matrices have been widely used to build uniform 2-factorizations of small Cayley graphs (or, Cayley…