Related papers: Primariness and the Primary Factorisation Property

While the theory of matrix-weighted function spaces is well established, the majority of previous results in the infinite-dimensional operator-valued setting deal with "no go" theorems, showing the impossibility of some prospective…

Let $X$ be a Banach space with a basis $(e_k)_k$ and biorthogonals $(e^\ast_k)_k$. An operator on $X$ is said to have a $\textit {large diagonal}$ if $\inf\limits_{k} |e_k^\ast(T(e_k))| > 0$. The basis $(e_k)_k$ is said to have the $\textit…

This paper discusses the extension of the Prototype Verification System (PVS) sub-theory for rings, part of the PVS algebra theory, with theorems related to the division algorithm for Euclidean rings and Unique Factorization Domains that…

We introduce a rigorous arithmetic--spectral construction associating planar geometric objects with additive prime factor statistics. Let $\mathrm{sopfr}(n)$ denote the sum of prime factors of $n$, counted with multiplicity, and define the…

This is a first stab at a mathematical framework in which one can study quantum field theories on spacetimes with quite general geometries. We will study these theories via their factorization algebras. The aim is to identify a minimalist…

This work presents a formalization of the theorem of existence of most general unifiers in first-order signatures in the higher-order proof assistant PVS. The distinguishing feature of this formalization is that it remains close to the…

Let $T:Y\to X$ be a bounded linear operator between two normed spaces. We characterize compactness of $T$ in terms of differentiability of the Lipschitz functions defined on $X$ with values in another normed space $Z$. Furthermore, using a…

We introduce a class of $f(t)$-factorials, or $f(t)$-Pochhammer symbols, that includes many, if not most, well-known factorial and multiple factorial function variants as special cases. We consider the combinatorial properties of the…

We study the factorization of the numbers $N = X^2+c$, where $c$ is a fixed constant, and this independently of the value of gcd$(X,c)$. We prove the existence of a family of sequences with arithmetic difference $(U_n, Z_n)$ generating…

Let $G_n= \prod_{k=0}^n \binom{n}{k},$ the product of the elements of the $n$-th row of Pascal's triangle. This paper studies the partial factorizations of $G_n$ given by the product $G(n,x)$ of all prime factors $p$ of $G_n$ having $p \le…

Frame multipliers are an abstract version of Toeplitz operators in frame theory and consist of a composition of a multiplication operator with the analysis and synthesis operators. Whereas the boundedness properties of frame multipliers on…

This note extends a recent result of Mendelson on the supremum of a quadratic process to squared norms of functions taking values in a Banach space. Our method of proof is a reduction by a symmetrization argument and observation about the…

We provide a new extension of Pitt's theorem for compact operators between quasi-Banach lattices, which permits to describe unconditional bases of finite direct sums of Banach spaces $\mathbb{X}_{1}\oplus\dots\oplus\mathbb{X}_{n}$ as direct…

In the article integer divisibility properties and related prime factors natural number representation concepts have been defined over the whole infinite hyperoperation hierarchy. The definitions have been made across and above of unique…

Interest in anti-unification, the dual problem of unification, is on the rise due to applications within the field of software analysis and related areas. For example, anti-unification-based techniques have found uses within clone detection…

In this paper it has been described how to use the unitary dynamics of quantum mechanics to solve the prime factorization problem on a spin ensemble without any quantum entanglement. The ensemble quantum computation for the prime…

Consider two continuous linear operators $T\colon X_1(\mu)\to Y_1(\nu)$ and $S\colon X_2(\mu)\to Y_2(\nu)$ between Banach function spaces related to different $\sigma$-finite measures $\mu$ and $\nu$. We characterize by means of weighted…

A Banach space is said to have the ball-covering property (abbreviated BCP) if its unit sphere can be covered by countably many closed, or equivalently, open balls off the origin. Let $K$ be a locally compact Hausdorff space and $X$ be a…

In 1994, M. M. Popov [On integrability in F-spaces, Studia Math. no 3, 205-220] showed that the fundamental theorem of calculus fails, in general, for functions mapping from a compact interval of the real line into the lp-spaces for 0<p<1,…

Let $E, F, E_0$ be Banach spaces, with $E_0$ a subspace of $E$. For a maximal Banach operator ideal $\mathcal{A}$, we show that a linear operator from $E_0$ to $F$ can be extended to a linear operator from $E$ to $F$ that belongs to…