Surfaces of revolution in the Heisenberg group and the spectral generalization of the Willmore functional

We study the generalization of the Willmore functional for surfaces in the three-dimensional Heisenberg group. Its construction is based on the spectral theory of the Dirac operator entering into theWeierstrass representation of surfaces in this group. Using the surfaces of revolution we demonstrate that the generalization resembles the Willmore functional for the surfaces in the Euclidean space in many geometrical aspects. We also observe the relation of these functionals to the isoperimetric problem.     

On the cut‐off phenomenon for the transitivity of randomly generated subgroups

Consider K ≥ 2 independent copies of the random walk on the symmetric group S_N starting from the identity and generated by the products of either independent uniform transpositions or independent uniform neighbor transpositions. At any time $n\in \mathbb{N}$, let G_n be the subgroup of S_N generated by the K positions of the chains. In the uniform transposition model, we prove that there is a cut‐off phenomenon at time N ln(N)/(2K) for the non‐existence of fixed point of G_n and for the transitivity of G_n, thus showing that these properties occur before the chains have reached equilibrium. In the uniform neighbor transposition model, a transition for the non‐existence of a fixed point of G_n appears at time of order $N^{1+\frac{2}{K}}$ (at least for K ≥ 3), but there is no cut‐off phenomenon. In the latter model, we recover a cut‐off phenomenon for the non‐existence of a fixed point at a time proportional to N by allowing the number K to be proportional to ln(N). The main tools of the proofs are spectral analysis and coupling techniques. © 2011 Wiley Periodicals, Inc. Random Struct. Alg., 2012     

Polynomial Dehn Functions and the Length of Asynchronously Automatic Structures

We extend the range of observed behaviour among length functionsof optimal asynchronously automatic structures. We do so bymeans of a construction that yields asynchronously automaticgroups with finite aspherical presentations where the Dehn functionof the group is polynomial of arbitrary degree. Many of thesegroups can be embedded in the automorphism group of a free group.Moreover, the fact that the groups have aspherical presentationsmakes them useful tools in the search to determine the spectrumof exponents for second order Dehn functions. We contributeto this search by giving the first exact calculations of groupswith quadratic and superquadratic exponents. 2000 Mathematical Subject Classification: 20F06, 20F65, 20F69.     

Filling Length in Finitely Presentable Groups

We study the filling length function for a finite presentation of a group , and interpret this function as an optimal bound on the length of the boundary loop as a van Kampen diagram is collapsed to the basepoint using a combinatorial notion of a null-homotopy. We prove that filling length is well behaved under change of presentation of . We look at 'AD-pairs' (f,g) for a finite presentation : that is, an isoperimetric function f and an isodiametric function g that can be realised simultaneously. We prove that the filling length admits a bound of the form [g+1][log (f+1)+1] whenever (f,g) is an AD-pair for . Further we show that (up to multiplicative constants) if is an isoperimetric function ( ) for a finite presentation then ( ) is an AD-pair. Also we prove that for all finite presentations filling length is bounded by an exponential of an isodiametric function.Partially supported by NSF grant DMS-9800158Supported by EPSRC Award No. 98001683 and Corpus Christi College, Oxford.     

Solvable groups with polynomial Dehn functions

Given a finitely presented group , finitely generated subgroup of , and a monomorphism , we obtain an upper bound of the Dehn function of the corresponding HNN-extension in terms of the Dehn function of and the distortion of in . Using such a bound, we construct first examples of non-polycyclic solvable groups with polynomial Dehn functions. The constructed groups are metabelian and contain the solvable Baumslag-Solitar groups. In particular, this answers a question posed by Birget, Ol'shanskii, Rips, and Sapir.

     

The vertex isoperimetric problem for the powers of the diamond graph

We introduce a new graph for all whose cartesian powers the vertex isoperimetric problem has nested solutions. This is the fourth kind of graphs with this property besides the well-studied graphs like hypercubes, grids, and tori. In contrast to the mentioned graphs, our graph is not bipartite. We present an exact solution to the vertex isoperimetric problem on our graph by introducing a new class of orders that unifies all known isoperimetric orders defined on the cartesian powers of graphs.     

A variant of the isoperimetric problem,PartⅠ

This paper deals with the following isoperimetric problem in the plane:Among all regions with prescribed perimeter and covering a given line segment,what is the region that has the greatest area?     

常曲率平面上一域包含另一域的充分条件

本文研究了常曲率平面X^κ中一域包含另一域的包含问题.利用积分几何中包含测度理论及对称等周亏格,得到了X^κ中一域包含另一域的充分条件,并给出X^κ中等周不等式的一个简化证明.     

Métriques de révolution d'un disque et invariance par rotation de la longueur des géodésiques

We give a geometrical proof of a Muhometov type inequality, for a single Riemannian metric defined on a closed disc in the plane. We mainly study the case of equality which is achieved if and only if the distance between points on the boundary is invariant under rotation along the boundary. We show that this implies that the metric itself must be invariant under rotation, at least when the metric is analytic or of nonpositive curvature.