Related papers: Generalized Browder's theorem for tensor product a…
Functional analysis, especially the theory of Hilbert spaces and of operators on these, form an important area in mathematics. We formalized the Isabelle/HOL library Complex_Bounded_Operators containing a large amount of theorems about…
We discuss a generalization of Clifford algebras known as generalized Clifford algebras (in particular, ternary Clifford algebras). In these objects, we have a fixed higher-degree form (in particular, a ternary form) instead of a quadratic…
We present an inequality for tensor product of positive operators on Hilbert spaces by considering the tensor product of operators as words on certain alphabets (i.e., a set of letters). As applications of the operator inequality and by a…
For a given length and a given degree and an arbitrary partition of the positive integers, there always is a cell containing a polynomial progression of that length and that degree; moreover, the coefficients of the generating polynomial…
We show that the product BMO space can be characterized by iterated commutators of a large class of Calder\'on-Zygmund operators. This result follows from a new proof of boundedness of iterated commutators in terms of the BMO norm of their…
A general deformation of the Heisenberg algebra is introduced with two deformed operators instead of just one. This is generalised to many variables, and permits the simultaneous existence of coherent states, and the transposition of…
We introduce the notion of generalized orbifold Euler characteristic associated to an arbitrary group, and study its properties. We then calculate generating functions of higher order (p-primary) orbifold Euler characteristic of symmetric…
We study unital operator spaces endowed with a partially defined product. We give a matrix-norm characterization of such products that allows for a representation theorem where the partial product is realized as composition of operators on…
In [8] a notion of generalized Hadamard product was introduced. We show that when certain kinds of tensors interact with the eigenvalues of symmetric matrices the resulting formulae can be nicely expressed using the generalized Hadamard…
We develop the theory of subproduct systems over the monoid $\mathbb{N}\times \mathbb{N}$, and the non-self-adjoint operator algebras associated with them. These are double sequences of Hilbert spaces $\{X(m,n)\}_{m,n=0}^\infty$ equipped…
We prove the invertibility of the relevant single and double layer potentials associated to some generalizations of the Stokes operator on bounded domains. In order to do that, we first develop an ``algebra tool kit'' to deal with limit and…
We generalize Barr's embedding theorem for regular categories to the context of enriched categories.
Browder (1960) proved that for every continuous function $F : X \times Y \to Y$, where $X$ is the unit interval and $Y$ is a nonempty, convex, and compact subset of $\dR^n$, the set of fixed points of $F$, defined by $C_F := \{ (x,y) \in X…
Aldous-Broder algorithm is a famous algorithm used to sample a uniform spanning tree of any finite connected graph $G$, but it is more general: given an irreducible and reversible Markov chain $M$ on $G$ started at $r$, the tree rooted at…
Computing the cohomology of the tensor product of two vector bundles is central in the study of their moduli spaces and in applications to representation theory, combinatorics and physics. These computations play a fundamental role in the…
The tensor-tensor product (t-product) [M. E. Kilmer and C. D. Martin, 2011] is a natural generalization of matrix multiplication. Based on t-product, many operations on matrix can be extended to tensor cases, including tensor SVD, tensor…
We prove a Tb Theorem that characterizes all Calderon-Zygmund operators that extend compactly on L^p(R^n), 1<p<\infty . The result, whose proof does not require the property of accretivity, can be used to prove compactness of the Double…
Let $M$ be a Riemannian manifold, $\tau: G \times M \to M$ an isometric action on $M$ of an $n$-torus $G$ and $V: M \to \mathbb R$ a bounded $G$-invariant smooth function. By $G$-invariance the Schr\"odinger operator, $P=-\hbar^2…
We derive Born's rule and the density-operator formalism for quantum systems with Hilbert spaces of dimension two or larger. Our extension of Gleason's theorem only relies upon the consistent assignment of probabilities to the outcomes of…
We say that a complex number $\lambda$ is an extended eigenvalueof a bounded linear operator T on a Hilbert space H if there exists anonzero bounded linear operator X acting on H, called extended eigen-vector associated to $\lambda$, and…