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 ...