Related papers: An abstract Coifman-Rochberg-Weiss commutator theo…
We prove an index theorem for the quotient module of a monomial ideal. We obtain this result by resolving the monomial ideal by a sequence of Bergman space like essentially normal Hilbert modules.
Let $W$ be a Coxeter group, and for $u,v\in W$, let $R_{u,v}(q)$ be the Kazhdan-Lusztig $R$-polynomial indexed by $u$ and $v$. In this paper, we present a combinatorial proof of the inversion formula on $R$-polynomials due to Kazhdan and…
In this paper we provide a short proof of the Riemann Hypothesis for Drinfeld modules which uses only basic notions from the theory of global function fields and of Drinfeld modules.
The goal of this paper is to formalize the notion of The Compositional Integral in The Complex Plane. We prove a convergence theorem guaranteeing its existence. We prove an analogue of Cauchy's Integral Theorem--and suggest an approach at…
We show that a recent interpolative new proof of the Bohnenblust--Hille inequality, when suitably handled, recovers its best known constants. This seems to be unexpectedly surprising since the known interpolative approaches only provide…
We give a complete characterization of limiting interpolation spa\-ces for the real method of interpolation using extrapolation theory. For this purpose the usual tools (e.g., Boyd indices or the boundedness of Hardy type operators) are not…
We present a pathwise proof of the HWI inequality which is based on en-tropic interpolations rather than displacement ones. Unlike the latter, entropic interpolations are regular both in space and time. Consequently, our approach is closer…
We present an explicit formula for Witten-Kontsevich tau-function.
Almost uniform version of noncommutative Wiener-Wintner ergodic theorem and its extension to Besicovitch weights are proved.
We prove a covariant version of the Stinespring theorem for Hilbert C*-modules.
An technically interesting proof of a known theorem.
We present a formalization of convex polyhedra in the proof assistant Coq. The cornerstone of our work is a complete implementation of the simplex method, together with the proof of its correctness and termination. This allows us to define…
In the current paper, we generalize the "compact operator" part of the Voiculescu's non-commutative Weyl-von Neumann theorem on approximate equivalence of unital $*$-homomorphisms of an commutative C$^*$ algebra $\mathcal{A}$ into a…
We extend the Marsden-Weinstein reduction theorem and the Darboux-Moser-Weinstein theorem to symplectic Lie algebroids. We also obtain a coisotropic embedding theorem for symplectic Lie algebroids.
We use the connection between automata and logic to prove that a wide class of coalgebraic fixpoint logics enjoys uniform interpolation. To this aim, first we generalize one of the central results in coalgebraic automata theory, namely…
In the paper we complete a case by case proof of Reeder's Conjecture started in our previous work, proving the conjecture for simple Lie algebras of type $D$ and for the exceptional cases.
The aim of this paper is to study the cohomology theory of Reynolds Lie algebras equipped with derivations and to explore related applications. We begin by introducing the concept of Reynolds LieDer pairs. Subsequently, we construct the…
We introduce the notion of Rota-Baxter coalgebra which can be viewed as the dual notion of Rota-Baxter algebra. We provide some concrete examples and establish various properties of this new object. We also consider comodules over…
We present algorithms for computing the reduced Gr\"{o}bner basis of the vanishing ideal of a finite set of points in a frame of ideal interpolation. Ideal interpolation is defined by a linear projector whose kernel is a polynomial ideal.…
Motivated by the multivariate wavelet theory, and by the spectral theory of transfer operators, we construct an abstract affine structure and a multiresolution associated to a matrix-valued weight. We describe the one-to-one correspondence…