Related papers: BCR algorithm and the $T(b)$ theorem
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 introduce a wider class of bounded Hartogs domains, which contains some generalizations of the classical Hartogs triangle. A sharp criteria for the $L^p-L^q$ boundedness of the Toeplitz operator with symbol $K^{-t}$ is obtained on these…
Let $\mathcal{M}\subset B(\mathcal{H})$ be a semifinite von Neumann algebra, where $B(\mathcal{H})$ denotes the algebra of all bounded linear operators on a Hilbert space $\mathcal{H}$, and let $\tau$ be a fixed faithful normal semifinite…
We develop a compact version of $T1$ theorem for singular integrals of Zygmund type on $\mathbb{R}^3$. More specifically, if a $(D_{\theta}, \delta_1, \delta_{2, 3})$-Calder\'{o}n-Zygmund operator $T$ associated with Zygmund dilations…
We prove L^p estimates for a large class of multi-linear operators, which includes the multi-linear paraproducts studied by Coifman and Meyer, as well as the bilinear Hilbert transform.
In this paper, we will introduce a new notion, that of $K$-Integral operator frames in the set of all bounded linear operators noted $\mathcal{B}(H)$, where $H$ is a separable Hilbert space. Also, we prove some results of integral…
Assume that $A$ is a closed linear operator defined on all of a Hilbert space $H$. Then $A$ is bounded. A new short proof of this classical theorem is given on the basis of the uniform boundedness principle. The proof can be easily extended…
We state several equivalent noncommutative versions of the Cauchy-Riemann equations and characterize the unbounded operators on L^2(R) which satisfy them. These operators arise from the creation operator via a functional calculus involving…
Let $b$ be a $BMO$-function. It is well-known that the linear commutator $[b, T]$ of a Calder\'on-Zygmund operator $T$ does not, in general, map continuously $H^1(\mathbb R^n)$ into $L^1(\mathbb R^n)$. However, P\'erez showed that if…
In this paper, we show how under the continuum hypothesis one can obtain an integral representation for elements of the topological dual of the space of functions of bounded variation in terms of Lebesgue and Kolmogorov-Burkill integrals.
This note considers the strictly singular mapping, denoted by $B$, from $\ell^1$ onto $\ell^2$ of an example by Goldberg and Thorp from 1963 as a typical hybrid-type operator in the context of the classification of ill-posed linear…
We introduce a notion of maximal potentials and we prove that they form bounded operators from $L^p$ to the homogeneous Sobolev space $\dot{W}^{1,p}$ for all $n/(n-1)<p<n$. We apply this result to the problem of boundedness of the spherical…
We develop a correspondence between the structure of Turing machines and the structure of singularities of real analytic functions, based on connecting the Ehrhard-Regnier derivative from linear logic with the role of geometry in Watanabe's…
It is shown that if $X$ is a unitary operator so that a singular subspace of~$U$ is unitarily equivalent to a singular subspace of~$UX$ (or $XU$), for each unitary operator~$U$, then $X$ is the identity operator. In other words, there is no…
We establish two results regarding the query complexity of bounded-error randomized algorithms. * Bounded-error separation theorem. There exists a total function $f : \{0,1\}^n \to \{0,1\}$ whose $\epsilon$-error randomized query complexity…
We show that, for suitable enumerations, the multivariate Haar system is a Schauder basis in the classical Sobolev spaces on $\mathbb R^d$ with integrability $1<p<\infty$ and smoothness $1/p-1<s<1/p$. This complements earlier work by the…
In order to study the Toeplitz algebras related to a Dirac operators in a neighborhood of a closed bounded domain D with smooth boundary in C^n we introduce a singular Cauchy type integral. We compute its principal symbol, thus initiating…
We give again a proof of non-homogeneous T1 theorem. Our proof consists of three main parts: a construction of a random dyadic lattice; an estimate of matrix coefficients of a Calder\'on--Zygmund operator with respect to random Haar basis…
We define the domain of a linear fractional transformation in a space of operators and show that both the affine automorphisms and the compositions of symmetries act transitively on these domains. Further, we show that Liouville's theorem…
Standard integration-by-parts (IBP) reduction methods typically yield Feynman integral bases where the reduction of some integrals gives rise to coefficients singular as the dimensional regulator $\epsilon\rightarrow 0$. These singular…