相关论文: An addendum to "The theory of implicit operations"

In the present paper we continue the project of systematic construction of invariant differential operators on the example of the non-compact algebra $so^*(12)$. We give the main multiplets of indecomposable elementary representations. Due…

We study self-adjoint extensions of operators which are the product of the multiplication operator by an analytic function and the analytic continuation in a strip. We compute the deficiency indices of the product operator for a wide class…

The aim of this paper is to establish a contravariant adjunction between the category of quasi-bialgebras and a suitable full subcategory of dual quasi-bialgebras, adapting the notion of finite dual to this framework. Various functorial…

There are three main results in this paper. First, we find an easily computable and simple condition which is necessary and sufficient for a commuting tuple of contractions to possess a non-zero Toeplitz operator. This condition is just…

We give examples for existence and non-existence of categorical quotients for algebraic group actions in the categories of algebraic varieties and prevarieties. All our examples are subtorus actions on toric varieties.

Let F be a non-archimedean local field of odd residual characteristic. Let W be a symplectic vector space over F. It is known that there are different Weil representations of a Meteplectic covering group Mp(W). By some twisted actions, we…

We investigate (quasi)varieties of lattices with complementation, i.e., complemented lattices equipped with a fixed complementation as a unary operation. We focus on subclasses satisfying additional conditions, such as the quasi-identity…

Complementable operators extend classical matrix decompositions, such as the Schur complement, to the setting of infinite-dimensional Hilbert spaces, thereby broadening their applicability in various mathematical and physical contexts. This…

We prove an operator inequality that extends strong subadditivity of entropy: after taking a trace, the operator inequality becomes the strong subadditivity of entropy.

In this paper, we prove that a pseudoexponential field has continuum many non-isomorphic countable real closed exponential subfields, each with an order preserving exponential map which is surjective onto the nonnegative elements. Indeed,…

We study the existence of global implicit functions for equations defined on open subsets of Banach spaces. The partial derivative with respect to the second variable is only required to have a left inverse instead of being invertible.…

In this paper, we study the structure of the complete asymptotic expansion of the probability that a large combinatorial object is connected or consists of a given number of connected components. For rapidly growing labeled families of…

The Weyl symbolic calculus of operators leads to the construction, if one takes for symbol a certain distribution decomposing over the zeros of the Riemann zeta function, of an operator with the following property: the Riemann hypothesis is…

We establish a compensated compactness theorem in the microlocal and geometric analytic framework. For a weakly $L^2_{\rm loc}$-convergent sequence of sections of a vector bundle over a semi-Riemannian manifold whose image under a…

Abstract convexity generalises classical convexity by considering the suprema of functions taken from an arbitrarily defined set of functions. These are called the abstract linear (abstract affine) functions. The purpose of this paper is to…

We propose a conjectural correspondence between the spectra of the Bethe algebra for the quantum toroidal $\mathfrak{gl}_2$ algebra on relaxed Verma modules, and $q$-hypergeometric opers with apparent singularities. We introduce alongside…

In [2] the author claims to provide a counterexample to a result in a recent paper [1]. In this note, we prove that the details of his example is false and this example is compatible with our result in [1] and so is not a countreexample.

We give a formal account of B\'enabou's theorem for peudoadjunctions in the context of Gray-categories. We prove that to give a pseudoadjunction $F \dashv U: A \to X$ with unit $\eta$ in a Gray-category K is precisely to give an absolute…

Let \Omega be a set of unsatisfiable clauses, an implicit resolution refutation of \Omega is a circuit \beta with a resolution proof {\alpha} of the statement "\beta describes a correct tree-like resolution refutation of \Omega". We show…

This document is our reply to the Comment (Miloslav Znojil 2023 J. Phys. A: Math. Theor. 56, 038001) on our recent work titled `The operational foundations of PT-symmetric and quasi-Hermitian quantum theory'. The original Comment consists…