Lions-type compactness and Rubik actions on the Heisenberg group

In this paper we prove a Lions-type compactness embedding result for symmetric unbounded domains of the Heisenberg group. The natural group action on the Heisenberg group TeX is provided by the unitary group U(n) × {1} and its appropriate subgroups, which will be used to construct subspaces with specific symmetry and compactness properties in the Folland-Stein’s horizontal Sobolev space TeX. As an application, we study the multiplicity of solutions for a singular subelliptic problem by exploiting a technique of solving the Rubik-cube applied to subgroups of U(n) × {1}. In our approach we employ concentration compactness, group-theoretical arguments, and variational methods.

Modulus method and radial stretch map in the Heisenberg group

We develop a modulus method for surface families inside a domain in the Heisenberg group and we prove that the stretch map between two Heisenberg spherical rings is a minimiser for the mean distortion among the class of contact quasiconformal maps between these rings which satisfy certain boundary conditions.

The effect of projections on dimension in the Heisenberg group

We prove analogs of classical almost sure dimension theorems for Euclidean projection mappings in the first Heisenberg group, equipped with a sub-Riemannian metric.

Quantum and classical criticality in a dimerized quantum antiferromagnet

A quantum critical point (QCP) is a singularity in the phase diagram arising because of quantum mechanical fluctuations. The exotic properties of some of the most enigmatic physical systems, including unconventional metals and superconductors, quantum magnets and ultracold atomic condensates, have been related to the importance of critical quantum and thermal fluctuations near such a point. However, direct and continuous control of these fluctuations has been difficult to realize, and complete thermodynamic and spectroscopic information is required to disentangle the effects of quantum and classical physics around a QCP. Here we achieve this control in a high-pressure, high-resolution neutron scattering experiment on the quantum dimer material TlCuCl3. By measuring the magnetic excitation spectrum across the entire quantum critical phase diagram, we illustrate the similarities between quantum and thermal melting of magnetic order. We prove the critical nature of the unconventional longitudinal (Higgs) mode of the ordered phase by damping it thermally. We demonstrate the development of two types of criticality, quantum and classical, and use their static and dynamic scaling properties to conclude that quantum and thermal fluctuations can behave largely independently near a QCP.

Holes localized on a Skyrmion in a doped antiferromagnet on the honeycomb lattice: Symmetry analysis

Using the low-energy effective field theory for hole-doped antiferromagnets on the honeycomb lattice, we study the localization of holes on Skyrmions, as a potential mechanism for the preformation of Cooper pairs. In contrast to the square lattice case, for the standard radial profile of the Skyrmion on the honeycomb lattice, only holes residing in one of the two hole pockets can get localized. This differs qualitatively from hole pairs bound by magnon exchange, which is most attractive between holes residing in different momentum space pockets. On the honeycomb lattice, magnon exchange unambiguously leads to f-wave pairing, which is also observed experimentally. Using the collective-mode quantization of the Skyrmion, we determine the quantum numbers of the localized hole pairs. Again, f-wave symmetry is possible, but other competing pairing symmetries cannot be ruled out.

Real-time simulation of nonequilibrium transport of magnetization in large open quantum spin systems driven by dissipation

Using quantum Monte Carlo, we study the nonequilibrium transport of magnetization in large open strongly correlated quantum spin-12 systems driven by purely dissipative processes that conserve the uniform or staggered magnetization, disregarding unitary Hamiltonian dynamics. We prepare both a low-temperature Heisenberg ferromagnet and an antiferromagnet in two parts of the system that are initially isolated from each other. We then bring the two subsystems in contact and study their real-time dissipative dynamics for different geometries. The flow of the uniform or staggered magnetization from one part of the system to the other is described by a diffusion equation that can be derived analytically.

Heisenberg symmetry and hypermultiplet manifolds

We study the emergence of Heisenberg (Bianchi II) algebra in hyper-Kähler and quaternionic spaces. This is motivated by the rôle these spaces with this symmetry play in N = 2 hypermultiplet scalar manifolds. We show how to construct related pairs of hyper-Kähler and quaternionic spaces under general symmetry assumptions, the former being a zooming-in limit of the latter at vanishing scalar curvature. We further apply this method for the two hyper-Kähler spaces with Heisenberg algebra, which is reduced to U (1) × U (1) at the quaternionic level. We also show that no quaternionic spaces exist with a strict Heisenberg symmetry – as opposed to Heisenberg U (1). We finally discuss the realization of the latter by gauging appropriate Sp(2, 4) generators in N = 2 conformal supergravity.

Sharp comparison and maximum principles via horizontal normal mapping in the Heisenberg group

In this paper we solve a problem raised by Gutiérrez and Montanari about comparison principles for H−convex functions on subdomains of Heisenberg groups. Our approach is based on the notion of the sub-Riemannian horizontal normal mapping and uses degree theory for set-valued maps. The statement of the comparison principle combined with a Harnack inequality is applied to prove the Aleksandrov-type maximum principle, describing the correct boundary behavior of continuous H−convex functions vanishing at the boundary of horizontally bounded subdomains of Heisenberg groups. This result answers a question by Garofalo and Tournier. The sharpness of our results are illustrated by examples.

Steiner’s formula in the Heisenberg group

Steiner’s tube formula states that the volume of an ϵ-neighborhood of a smooth regular domain in Rn is a polynomial of degree n in the variable ϵ whose coefficients are curvature integrals (also called quermassintegrals). We prove a similar result in the sub-Riemannian setting of the first Heisenberg group. In contrast to the Euclidean setting, we find that the volume of an ϵ-neighborhood with respect to the Heisenberg metric is an analytic function of ϵ that is generally not a polynomial. The coefficients of the series expansion can be explicitly written in terms of integrals of iteratively defined canonical polynomials of just five curvature terms.

Uniqueness of minimisers for a Grötzsch-Belinskiĭ type inequality in the Heisenberg group

The modulus method introduced by H. Grötzsch yields bounds for a mean distortion functional of quasiconformal maps between two annuli mapping the respective boundary components onto each other. P. P. Belinskiĭ studied these inequalities in the plane and identified the family of all minimisers. Beyond the Euclidean framework, a Grötzsch-Belinskiĭ-type inequality has been previously considered for quasiconformal maps between annuli in the Heisenberg group whose boundaries are Korányi spheres. In this note we show that--in contrast to the planar situation--the minimiser in this setting is essentially unique.

Lipschitz extensions of maps between Heisenberg groups

Let $\H^n$ be the Heisenberg group of topological dimension 2n+1 . We prove that if n is odd, the pair of metric spaces $(\H^n, \H^n)$ does not have the Lipschitz extension property.