Related papers: Ideal operators and higher indescribability
A full set of Casimir operators for the Lie superalgebra $gl(m/\infty)$ is constructed and shown to be well defined in the category $O_{FS}$ generated by the highest weight irreducible representations with only a finite number of non-zero…
As the decisions made or influenced by machine learning models increasingly impact our lives, it is crucial to detect, understand, and mitigate unfairness. But even simply determining what "unfairness" should mean in a given context is…
Given a right ideal $I$ in a ring $R$, the idealizer of $I$ in $R$ is the largest subring of $R$ in which $I$ becomes a two-sided ideal. In this paper we consider idealizers in the second Weyl algebra $A_2$, which is the ring of…
We extend in a natural way the operation of Turing machines to infinite ordinal time, and investigate the resulting supertask theory of computability and decidability on the reals. The resulting computability theory leads to a notion of…
In this paper the properties of right invertible row operators, i.e., of 1X2 surjective operator matrices are studied. This investigation is based on a specific space decomposition. Using this decomposition, we characterize the…
The classical $L^2$ estimate for the $\overline{\partial}$ operators is a basic tool in complex analysis of several variables. Naturally, it is expected to extend this estimate to infinite dimensional complex analysis, but this is a…
We provide a feasible necessary and sufficient condition for when an unknown quantum operation (quantum device) secretely selected from a set of known quantum operations can be identified perfectly within a finite number of queries, and…
The basic notions of quantum mechanics are formulated in terms of separable infinite dimensional Hilbert space $\mathcal{H}$. In terms of the Hilbert lattice $\mathcal{L}$ of closed linear subspaces of $\mathcal{H}$ the notions of state and…
A subideal is an ideal of an ideal of B(H) and a principal subideal is a principal ideal of an ideal of B(H). We determine necessary and sufficient conditions for a principal subideal to be an ideal of B(H). This generalizes to arbitrary…
As a result of 33 intercontinental Zoom calls, we characterise big Ramsey degrees of the generic partial order. This is an infinitary extension of the well known fact that finite partial orders endowed with linear extensions form a Ramsey…
We construct uncertainty relation for arbitrary finite dimensional PT invariant non-Hermitian quantum systems within a special inner product framework. This construction is led by good observables which are a more general class of…
We investigate weighted inequalities for fractional maximal operators and fractional integral operators. We work within the innovative framework of "entropy bounds" introduced by Treil--Volberg. Using techniques developed by Lacey and the…
Forgetting is an important concept in knowledge representation and automated reasoning with widespread applications across a number of disciplines. A standard forgetting operator, characterized in [Lin and Reiter'94] in terms of…
We establish a fundamental impossibility result for a `perfect hypervisor', one that (1) preserves every observable behavior of any program exactly as on bare metal and (2) adds zero timing or resource overhead. Within this model we prove…
There has been a long-standing conjecture in Banach algebra that every amenable operator is similar to a normal operator. In this paper, we study the structure of amenable operators on Hilbert spaces. At first, we show that the conjecture…
We introduce a natural two-cardinal version of Bagaria's sequence of derived topologies on ordinals. We prove that for our sequence of two-cardinal derived topologies, limit points of sets can be characterized in terms of a new iterated…
Kolmogorovs axiomatic framework is the best-known approach to describing probabilities and, due to its use of the Lebesgue integral, leads to remarkably strong continuity properties. However, it relies on the specification of a probability…
Using the general approach to invertibility for ideals in ring extensions given by Knebush-Zhang, we investigate about connections between faithfully flatness and invertibility for ideals in rings with zero divisors.
Recently the quantum Bayesian prediction problem was formulated by Tanaka and Komaki (2005). It is shown that Bayesian predictive density operators are the best predictive density operators when we evaluate them by using the averaged…
A general classification of linear differential and finite-difference operators possessing a finite-dimensional invariant subspace with a polynomial basis is given. The main result is that any operator with the above property must have a…