Related papers: Factorization properties for unbounded local posit…
A graph is probe diamond-free if its vertex set admits a partition into probes and nonprobes, where the set of nonprobes is independent, such that adding edges only between pairs of nonprobes yields a diamond-free graph. Although this class…
We identify and characterize unital completely positive (UCP) maps on finite dimensional $C^*$-algebras for which the Choi-Effros product extended to the space generated by peripheral eigenvectors matches with the original product. We…
This work is concerned with the prime factor decomposition (PFD) of strong product graphs. A new quasi-linear time algorithm for the PFD with respect to the strong product for arbitrary, finite, connected, undirected graphs is derived.…
Rigorous mathematical foundations of density functional theory are revisited, with some use of infinitesimal (nonstandard) methods. A thorough treatment is given of basic properties of internal energy and ground-state energy functionals…
Given an element $f$ in a regular local ring, we study matrix factorizations of $f$ with $d \ge 2$ factors, that is, we study tuples of square matrices $(\varphi_1,\varphi_2,\dots,\varphi_d)$ such that their product is $f$ times an identity…
In this work we study a class of nonlocal quadratic forms given by \[ \mathcal{E}_j(u,v)=\frac{1}{2}\int_{\mathbb{R}^N}\int_{\mathbb{R}^N}(u(x)-u(y))(v(x)-v(y))j(x-y)\ dxdy, \] where $j:\mathbb{R}^N\to[0,\infty]$ is a measurable even…
Suppose a map $\phi$ on the set of positive definite matrices satisfies $\det(A+B)=\det(\phi(A)+\phi(B))$. Then we have $${\rm tr}(AB^{-1}) = {\rm tr}(\phi(A){\phi(B)}^{-1}).$$ Through this viewpoint, we show that $\phi$ is of the form…
Let $A$ be a ring and $R$ be a polynomial or a power series ring over $A$. When $A$ has dimension zero, we show that the Bass numbers and the associated primes of the local cohomology modules over $R$ are finite. Moreover, if $A$ has…
Quantum operations that are perfectly admissible in non-relativistic quantum theory can enable signalling between spacelike separated regions when naively imported into quantum field theory (QFT). Prominent examples of such "impossible…
We study local tabularity (local finiteness) in some extensions of $\mathsf{MS4}$ (monadic $\mathsf{S4}$). Our main result is a semantic characterization of local finiteness in varieties of $\mathsf{M^{+}S4}$-algebras, where…
Let $\Phi$ be a concave function on $(0,\infty)$ of strictly lower type $p_{\Phi}\in(0,1]$ and $\omega\in A^{\mathop\mathrm{loc}}_{\infty}(\mathbb{R}^n)$. We introduce the weighted local Orlicz-Hardy space $h^{\Phi}_{\omega}(\mathbb{R}^n)$…
The prototype of mutually independent systems are systems which are localized in spacelike separated regions. In the framework of locally covariant quantum field theory we show that the commutativity of observables in spacelike separated…
Let f be a function from the set of rational numbers into itself. We call f a global power map if f(n) = n^k for some integer exponent k. We call f a local power map at the prime number p if f induces a well-defined group homomorphism on…
Motivated by the problem of compressing point sets into as few bits as possible while maintaining information about approximate distances between points, we construct random nonlinear maps $\varphi_\ell$ that compress point sets in the…
The end compactification |\Gamma| of the locally finite graph \Gamma is the union of the graph and its ends, endowed with a suitable topology. We show that \pi_1(|\Gamma|) embeds into a nonstandard free group with hyperfinitely many…
In this paper, we consider an arbitrary matrix-valued, rational spectral density $\Phi(z)$. We show with a constructive proof that $\Phi(z)$ admits a factorization of the form $\Phi(z)=W^\top (z^{-1})W(z)$, where $W(z)$ is stochastically…
The paper is devoted to the problem of classification of extremal positive maps acting between $B(K)$ and $B(H)$ where $K$ and $H$ are Hilbert spaces. It is shown that every positive map with the property that $\rank \phi(P)\leq 1$ for any…
A locally convex space (lcs) $E$ is said to have an $\omega^{\omega}$-base if $E$ has a neighborhood base $\{U_{\alpha}:\alpha\in\omega^\omega\}$ at zero such that $U_{\beta}\subseteq U_{\alpha}$ for all $\alpha\leq\beta$. The class of lcs…
We provide examples of nonseparable compact spaces with the property that any continuous image which is homeomorphic to a finite product of spaces has a maximal prescribed number of nonseparable factors.
Let $0<\alpha<1$. We obtain the boundedness of the discrete fractional Hardy-Littlewood maximal operators ${\mathcal M}_\alpha$ on discrete weighted Lebesgue spaces. From this and a discrete version of Whitney decomposition theorem, we…