Related papers: Higher Divergence Functions for Heisenberg Groups

We give a criterion for bounding the homological finiteness length of certain HF-groups. This is used in two distinct contexts. Firstly, the homological finiteness length of a non-uniform lattice on a locally finite n-dimensional…

We investigate the group structure of center-preserving automorphisms of the finite Heisenberg group over $\mathbb Z_N$ with $U(1)$ extension, which arises in finite-dimensional quantum mechanics on a discrete phase space. Constructing an…

We give a short constructive proof for the existence of a Hamilton cycle in the subgraph of the $(2n+1)$-dimensional hypercube induced by all vertices with exactly $n$ or $n+1$ many 1s.

We observe that upper densities and spherical Federer densities may differ on all two dimensional surfaces of the sub-Riemannian Heisenberg group. This provides an entire class of intrinsic rectifiable sets having upper density strictly…

Let $H^n\cong \Bbb R^{2n}\ltimes \Bbb R$ be the Heisenberg group and let $\mu_t$ be the normalized surface measure for the sphere of radius $t$ in $\Bbb R^{2n}$. Consider the maximal function defined by $Mf=\sup_{t>0} |f*\mu_t|$. We prove…

In theories with extra dimensions the Standard Model Higgs field can be identified with the internal components of higher-dimensional gauge fields (Higgs-gauge unification). The higher-dimensional gauge symmetry prevents the Higgs mass from…

We prove the following variant of Helly's classical theorem for Hamming balls with a bounded radius. For $n>t$ and any (finite or infinite) set $X$, if in a family of Hamming balls of radius $t$ in $X^n$, every subfamily of at most…

In this paper, we study discrepancy questions for spanning subgraphs of $k$-uniform hypergraphs. Our main result is that, for any integers $k \ge 3$ and $r \ge 2$, any $r$-colouring of the edges of a $k$-uniform $n$-vertex hypergraph $G$…

Let $G$ be the multiplicative group generated by the gamma functions $\Gamma(ax+1)$ $(a=1,2,\dots)$, and $H$ be the subgroup of all elements of $G$ that converge to nonzero constants as $x\rightarrow\infty$. The quotient group $G/H$ is the…

Consider $\mathbb R^d\times \mathbb R^m$ with the group structure of a two-step nilpotent Lie group and natural parabolic dilations. The maximal function originally introduced by Nevo and Thangavelu in the setting of the Heisenberg group…

We consider the systems of diffusion-orthogonal polynomials, defined in the work [1] of D. Bakry, S. Orevkov and M. Zani and (particularly) explain why these systems with boundary of maximal possible degree should always come from the…

We show how a Heisenberg spin chain emerges from the two-dimensional ${\mathcal N}$=(2,2) gauge theory at an intermediate scale, which relies on the renormalization group flow guided by the global symmetries and the dynamics of domain…

We prove that the `Upper Matching Conjecture' of Friedland, Krop, and Markstr\"om and the analogous conjecture of Kahn for independent sets in regular graphs hold for all large enough graphs as a function of the degree. That is, for every…

We prove the existence of HK density function for a pair $(R, I)$, where $R$ is a ${\mathbb N}$-graded domain of finite type over a perfect field and $I\subset R$ is a graded ideal of finite colength. This generalizes our earlier result…

This paper establishes robust obstructions to representing Hamiltonian diffeomorphisms as $k$-th powers ($k \geq 2$) or embedding them in flows for certain higher-dimensional symplectic manifolds $(M,\omega)$, including surface bundles. We…

Let E be a modular elliptic curve defined over a rational function field k of odd characteristic. We construct a sequence of Heegner points on E, defined over a $Z_p^{\infty}$-tower of finite extensions of k, and show that these Heegner…

Let $\mbox{$\cal F$}\subseteq 2^{[n]}$ be a fixed family of subsets. Let $D(\mbox{$\cal F$})$ stand for the following set of Hamming distances: $$ D(\mbox{$\cal F$}):=\{d_H(F,G):~ F, G\in \mbox{$\cal F$},\ F\neq G\}. $$ $\mbox{$\cal F$}$ is…

We say that two graphs $H_1,H_2$ on the same vertex set are $G$-creating ($G$-different in other papers, this difference is explained in the introduction) if the union of the two graphs contains $G$ as a subgraph. Let $H(n,k)$ be the…

Given a finitely presented group $G$ and a surjective homomorphism $G\to \mathbb{Z}^n$ with finitely presented kernel $K$, we give an upper bound on the Dehn function of $K$ in terms of an area-radius pair for $G$. As a consequence we…

In this paper we prove an upper bound on the "size" of the set of multiplicatively $\psi$-approximable points in $\mathbb R^d$ for $d>1$ in terms of $f$-dimensional Hausdorff measure. This upper bound exactly complements the known lower…