Functional Analysis (math.FA)

  • PDF
    Quantum Markov semigroups characterize the time evolution of an important class of open quantum systems. Studying convergence properties of such a semigroup, and determining concentration properties of its invariant state, have been the focus of much research. Quantum versions of functional inequalities (like the modified logarithmic Sobolev and Poincaré inequalities) and the so-called transportation cost inequalities, have proved to be essential for this purpose. Classical functional and transportation cost inequalities are seen to arise from a single geometric inequality, called the Ricci lower bound, via an inequality which interpolates between them. The latter is called the HWI-inequality, where the letters I, W and H are, respectively, acronyms for the Fisher information (arising in the modified logarithmic Sobolev inequality), the so-called Wasserstein distance (arising in the transportation cost inequality) and the relative entropy (or Boltzmann H function) arising in both. Hence, classically, all the above inequalities and the implications between them form a remarkable picture which relates elements from diverse mathematical fields, such as Riemannian geometry, information theory, optimal transport theory, Markov processes, concentration of measure, and convexity theory. Here we consider a quantum version of the Ricci lower bound introduced by Carlen and Maas, and prove that it implies a quantum HWI inequality from which the quantum functional and transportation cost inequalities follow. Our results hence establish that the unifying picture of the classical setting carries over to the quantum one.
  • PDF
    Using a representation of the discrete Hilbert transform in terms of martingales arising from Doob $h$-processes, we prove that its $l^p$-norm, $1<p<\infty$, is bounded above by the $L^p$-norm of the continuous Hilbert transform. Together with the already known lower bound, this resolves the long-standing conjecture that the norms of these operators are equal.
  • PDF
    The purpose of this paper is to establish an atomic decomposition for functions in the weighted mixed norm space $A^{p,q}_\omega$ induced by a radial weight $\omega$ in the unit disc admitting a two-sided doubling condition. The obtained decomposition is further applied to characterize Carleson measures for $A^{p,q}_\omega$, and bounded differentiation operators $D^{(n)}(f)=f^{(n)}$ acting from $A^{p,q}_\omega$ to $L^p_\mu$, induced by a positive Borel measure $\mu$, on the full range of parameters $0<p,q,s<\infty$.
  • PDF
    Locally $L^0$-convex modules were introduced in [D. Filipovic, M. Kupper, N. Vogelpoth. Separation and duality in locally $L^0$-convex modules. J. Funct. Anal. 256(12), 3996-4029 (2009)] as the analytic basis for the study of multi-period mathematical finance. Later, the algebra of conditional sets was introduced in [S. Drapeau, A. Jamneshan, M. Karliczek, M. Kupper. The algebra of conditional sets and the concepts of conditional topology and compactness. J. Math. Anal. Appl. 437(1), 561-589 (2016)]. By means of Boolean-valued models and its transfer principle we show that any known result on locally convex spaces has a transcription in the frame of locally $L^0$-convex modules which is also true, and that the formulation in conditional set theory of any theorem of classical set theory is also a theorem. We propose Boolean-valued analysis as an analytic framework for the study of multi-period problems in mathematical finance.
  • PDF
    Motivated by Gordan Žitković's idea of convex compactness for a convex set of a linear topological space, we introduce the concept of $L^0$--convex compactness for an $L^0$--convex set of a topological module over the topological algebra $L^0$, where $L^0$ is the algebra of equivalence classes of real--valued random variables on a given probability space $(\Omega,\mathcal{F},P)$ and endowed with the topology of convergence in probability. This paper continues to develop the theory of $L^0$--convex compactness by establishing various kinds of characterization theorems for $L^0$--convex subsets of a class of important topological modules--random reflexive random normed modules. As applications, we successfully generalize some basic theorems of classical convex optimization and variational inequalities from a convex function on a reflexive Banach space to an $L^0$--convex function on a random reflexive random normed module. Since the usual weak compactness method fails to be valid, we are forced to use the $L^0$--convex compactness method so that a series of new skills can be discovered. These new skills actually also provide a new proof for the corresponding classical case and thus they are of new interest themselves.
  • PDF
    Due to the existence of incompatible observables, the propositional calculus of a quantum system does not form a Boolean algebra but an orthomodular lattice. Such lattice can be realised as a lattice of subspaces on a real, complex or quaternionic Hilbert space, which motivated the formulation of real and quaternionic quantum mechanics in addition to the usual complex formulation. It was argued that any real quantum system admits a complex structure that turns it into a complex quantum system and hence real quantum mechanics was soon discarded. Several authors however developed a quaternionic version of quantum mechanics and this version did not seem to be equivalent its standard formulation on a complex Hilbert space. Motivated by some recently developed techniques from quaternionic operator theory, we conjecture in this article that this not correct and that any quaternionic quantum system is actually simply the quaternionification of a complex quantum system. We then show that this conjecture holds true for quaternionic relativistic elementary systems by applying some recent arguments that were used to show the equivalence of real and complex elementary relativistic systems. Finally, we conclude by discussing how the misconception that complex and quaternionic quantum mechanics are inequivalent arose from assuming the existence of a left multiplication on the Hilbert space, which is physically not justified.
  • PDF
    We prove a general version of the amenability conjecture in the unified setting of a Gromov hyperbolic group G acting properly cocompactly either on its Cayley graph, or on a CAT(-1)-space. Namely, for any subgroup H of G, we show that H is co-amenable in G if and only if their exponential growth rates (with respect to the prescribed action) coincide. For this, we prove a quantified, representation-theoretical version of Stadlbauer's amenability criterion for group extensions of a topologically transitive subshift of finite type, in terms of the spectral radii of the classical Ruelle transfer operator and its corresponding extension. As a consequence, we are able to show that, in our enlarged context, there is a gap between the exponential growth rate of a group with Kazhdan's property (T) and the ones of its infinite index subgroups. This also generalizes a well-known theorem of Corlette for lattices of the quaternionic hyperbolic space or the Cayley hyperbolic plane.
  • PDF
    Our paper begins with a revision of spectral theory for commutative Banach algebras, which enables us to prove the $L^p_{\omega}-$conjecture for locally compact abelian groups. We follow an alternative approach to the one known in the literature. In particular, we do not resort to any structural theorems for locally compact groups. Subsequently, we discuss solvable locally compact groups. The climax of the paper is the proof of the $L^p_{\omega}-$conjecture for these groups.
  • PDF
    Let $\mu$ be a compactly supported probability measure on the positive half-line and let $\mu^{\boxtimes t}$ be the free multiplicative convolution semigroup. We show that the support of $\mu^{\boxtimes t}$ varies continuously as $t$ changes. We also obtain the asymptotic length of the support of these measures.

Recent comments

Marco Tomamichel Jun 25 2013 05:41 UTC

This is a very nice solution to our (very recent) conjecture. We have in the meantime solved the remaining conjectures and will post an update soon.