Browsing 2016 by Issue Date
Now showing items 21-26 of 26
-
Spherical Arc-Length as a Global Conformal Parameter for Analytic Curves in the Riemann Sphere
[OWP-2016-21] (Mathematisches Forschungsinstitut Oberwolfach, 2016-11-11)We prove that for every analytic curve in the complex plane $\mathbb{C}$, Euclidean and spherical arc-lengths are global conformal parameters. We also prove that for any analytic curve in the hyperbolic plane, hyperbolic ... -
On Weak Weighted Estimates of Martingale Transform
[OWP-2016-22] (Mathematisches Forschungsinstitut Oberwolfach, 2016-11-12)We consider several weak type estimates for singular operators using the Bellman function approach. We disprove the $A_1$ conjecture, which stayed open after Muckenhoupt-Wheeden's conjecture was disproved by Reguera-Thiele. -
The Berry-Keating Operator on a Lattice
[OWP-2016-23] (Mathematisches Forschungsinstitut Oberwolfach, 2016-11-17)We construct and study a version of the Berry-Keating operator with a built-in truncation of the phase space, which we choose to be a two-dimensional torus. The operator is a Weyl quantisation of the classical Hamiltonian ... -
Boundary Representations of Operator Spaces, and Compact Rectangular Matrix Convex Sets
[OWP-2016-24] (Mathematisches Forschungsinstitut Oberwolfach, 2016-12-13)We initiate the study of matrix convexity for operator spaces. We define the notion of compact rectangular matrix convex set, and prove the natural analogs of the Krein-Milman and the bipolar theorems in this context. We ... -
The Initial and Terminal Cluster Sets of an Analytic Curve
[OWP-2016-25] (Mathematisches Forschungsinstitut Oberwolfach, 2016-12-21)For an analytic curve $\gamma : (a,b) \to \mathbb{C}$, the set of values approaches by $\gamma(t)$, as $t ↘a$ and as $t↗b$ can be any two continuua of $\mathbb{C} \cup \{\infty\}$. -
Finitary Proof Systems for Kozen's μ
[OWP-2016-26] (Mathematisches Forschungsinstitut Oberwolfach, 2016-12-30)We present three finitary cut-free sequent calculi for the modal $μ$-calculus. Two of these derive annotated sequents in the style of Stirling’s ‘tableau proof system with names’ (2014) and feature special inferences that ...