Robust vanishing of all Lyapunov exponents for iterated function systems

Given any compact connected manifold $M$ , we describe $C^2$ -open sets of iterated functions systems (IFS’s) admitting fully-supported ergodic measures whose Lyapunov exponents along $M$ are all zero. Moreover, these measures are approximated by measures supported on periodic orbits. We also describe $C^1$ -open sets of IFS’s admitting ergodic measures of positive entropy whose Lyapunov exponents along $M$ are all zero. The proofs involve the construction of non-hyperbolic measures for the induced IFS’s on the flag manifold.     

Penrose Type Inequalities for Asymptotically Hyperbolic Graphs

In this paper, we study asymptotically hyperbolic manifolds given as graphs of asymptotically constant functions over hyperbolic space ${\mathbb{H}^n}$ . The graphs are considered as unbounded hypersurfaces of ${\mathbb{H}^{n+1}}$ which carry the induced metric and have an interior boundary. For such manifolds, the scalar curvature appears in the divergence of a 1-form involving the integrand for the asymptotically hyperbolic mass. Integrating this divergence, we estimate the mass by an integral over the inner boundary. In case the inner boundary satisfies a convexity condition, this can in turn be estimated in terms of the area of the inner boundary. The resulting estimates are similar to the conjectured Penrose inequality for asymptotically hyperbolic manifolds. The work presented here is inspired by Lam’s article (The graph cases of the Riemannian positive mass and Penrose inequalities in all dimensions. http://arxiv.org/abs/1010.4256, 2010) concerning the asymptotically Euclidean case. Using ideas developed by Huang and Wu (The equality case of the penrose inequality for asymptotically flat graphs. http://arxiv.org/abs/1205.2061, 2012), we can in certain cases prove that equality is only attained for the anti-de Sitter Schwarzschild metric.     

Existence of prescribed mean curvature graphs in hyperbolic space

In this paper we are concerned with questions of existence and uniqueness of graph-like prescribed mean curvature hypersurfaces in hyperbolic space ?ⁿ⁺¹. In the half-space setting, we will study radial graphs over the totally geodesic hypersurface . We prove the following existence result: Let be a bounded domain of class and let . If everywhere on , where denotes the hyperbolic mean curvature of the cylinder over , then for every there is a unique graph over with mean curvature attaining the boundary values on . Further we show the existence of smooth boundary data such that no solution exists in case of for some under the assumption that has a sign.     

The Average Eccentricity of Sierpiński Graphs

We determine the eccentricity of an arbitrary vertex, the average eccentricity and its standard deviation for all Sierpiński graphs ${S_p^n}$ . Special cases are the graphs ${S_2^{n}}$ , which are isomorphic to the state graphs of the Chinese Rings puzzle with n rings and the graphs ${S_3^{n}}$ isomorphic to the Hanoi graphs ${H_3^{n}}$ representing the Tower of Hanoi puzzle with 3 pegs and n discs.     

Complete intersection toric ideals of oriented graphs and chorded-theta subgraphs

Let G=(V,E) be a finite, simple graph. We consider for each oriented graph $G_{\mathcal{O}}$ associated to an orientation ${\mathcal{O}}$ of the edges of G, the toric ideal $P_{G_{\mathcal{O}}}$ . In this paper we study those graphs with the property that $P_{G_{\mathcal{O}}}$ is a binomial complete intersection, for all ${\mathcal{O}}$ . These graphs are called $\text{CI}{\mathcal{O}}$ graphs. We prove that these graphs can be constructed recursively as clique-sums of cycles and/or complete graphs. We introduce chorded-theta subgraphs and some of their properties. Also we establish that the $\text{CI}{\mathcal{O}}$ graphs are determined by the property that each chorded-theta has a transversal triangle. Finally we explicitly give the minimal forbidden induced subgraphs that characterize these graphs, these families of forbidden graphs are: prisms, pyramids, thetas and a particular family of wheels that we call θ-partial wheels.     

The Funk and Hilbert geometries for spaces of constant curvature

The goal of this paper is to introduce and to study analogues of the Euclidean Funk and Hilbert metrics on open convex subsets of the hyperbolic space $\mathbb H ^n$ H n and of the sphere $S^n$ S n . We highlight some striking similarities among the three cases (Euclidean, spherical and hyperbolic) which hold at least at a formal level. The proofs of the basic properties of the classical Funk metric on subsets of $\mathbb R ^n$ R n use similarity properties of Euclidean triangles which of course do not hold in the non-Euclidean cases. Transforming the side lengths of triangles using hyperbolic and circular functions and using some non-Euclidean trigonometric formulae, the Euclidean similarity techniques are transported into the non-Euclidean worlds. We start by giving three representations of the Funk metric in each of the non-Euclidean cases, which parallel known representations for the Euclidean case. The non-Euclidean Funk metrics are shown to be Finslerian, and the associated Finsler norms are described. We then study their geodesics. The Hilbert geometry of convex sets in the non-Euclidean constant curvature spaces $S^n$ S n and $\mathbb H ^n$ H n is then developed by using the properties of the Funk metric and by introducing a non-Euclidean cross ratio. In the case of Euclidean (respectively spherical, hyperbolic) geometry, the Euclidean (respectively spherical, hyperbolic) geodesics are Funk and Hilbert geodesics. This leads to a formulation and a discussion of Hilbert’s Problem IV in the non-Euclidean settings. Projection maps between the spaces $\mathbb R ^n, \mathbb H ^n$ R n , H n and the upper hemisphere establish equivalences between the Hilbert geometries of convex sets in the three spaces of constant curvature, but such an equivalence does not hold for Funk geometries.     

Sufficient conditions for Willmore immersions in \mathbb{R }^3 to be minimal surfaces

We provide two sharp sufficient conditions for immersed Willmore surfaces in $\mathbb{R }^3$ to be already minimal surfaces, i.e. to have vanishing mean curvature on their entire domains. These results turn out to be particularly suitable for applications to Willmore graphs. We can therefore show that Willmore graphs on bounded $C^4$ -domains $\overline{\varOmega }$ with vanishing mean curvature on the boundary $\partial \varOmega $ must already be minimal graphs, which in particular yields some Bernstein-type result for Willmore graphs on $\mathbb{R }^2$ . Our methods also prove the non-existence of Willmore graphs on bounded $C^4$ -domains $\overline{\varOmega }$ with mean curvature $H$ satisfying $H \ge c_0>0 \,{\text{ on }}\, \partial \varOmega $ if $\varOmega $ contains some closed disc of radius $\frac{1}{c_0} \in (0,\infty )$ , and they yield that any closed Willmore surface in $\mathbb{R }^3$ which can be represented as a smooth graph over $\mathbb{S }^2$ has to be a round sphere. Finally, we demonstrate that our results are sharp by means of an examination of some certain part of the Clifford torus in $\mathbb{R }^3$ .     

Discontinuous Galerkin method for hyperbolic equations involving \delta -singularities: negative-order norm error estimates and applications

In this paper, we develop and analyze discontinuous Galerkin (DG) methods to solve hyperbolic equations involving $\delta $ -singularities. Negative-order norm error estimates for the accuracy of DG approximations to $\delta $ -singularities are investigated. We first consider linear hyperbolic conservation laws in one space dimension with singular initial data. We prove that, by using piecewise $k$ th degree polynomials, at time $t$ , the error in the $H^{-(k+2)}$ norm over the whole domain is $(k+1/2)$ th order, and the error in the $H^{-(k+1)}(\mathbb R \backslash \mathcal R _t)$ norm is $(2k+1)$ th order, where $\mathcal R _t$ is the pollution region due to the initial singularity with the width of order $\mathcal O (h^{1/2} \log (1/h))$ and $h$ is the maximum cell length. As an application of the negative-order norm error estimates, we convolve the numerical solution with a suitable kernel which is a linear combination of B-splines, to obtain $L^2$ error estimate of $(2k+1)$ th order for the post-processed solution. Moreover, we also obtain high order superconvergence error estimates for linear hyperbolic conservation laws with singular source terms by applying Duhamel’s principle. Numerical examples including an acoustic equation and the nonlinear rendez-vous algorithms are given to demonstrate the good performance of DG methods for solving hyperbolic equations involving $\delta $ -singularities.     

On Maximally Inflected Hyperbolic Curves

In this note we study the distribution of real inflection points among the ovals of a real non-singular hyperbolic curve of even degree. Using Hilbert’s method we show that for any integers \(d\) and \(r\) such that \(4\le r \le 2d^2-2d\) , there is a non-singular hyperbolic curve of degree \(2d\) in \({\mathbb R}^2\) with exactly \(r\) line segments in the boundary of its convex hull. We also give a complete classification of possible distributions of inflection points among the ovals of a maximally inflected non-singular hyperbolic curve of degree \(6\) .     

{\mathcal{F}} -stability of self-similar solutions to harmonic map heat flow

Inspired by the work of Colding and Minicozzi II: ”Generic mean curvature flow I: generic singularities”, we explore the notion of generic singularities for the harmonic map heat flow. We introduce ${\mathcal{F}}$ -functional and entropy for maps from Euclidean spaces. The critical points of the ${\mathcal{F}}$ -functional are exactly the weakly self-similar solutions to the harmonic map heat flow. We define the notion of ${\mathcal{F}}$ -stability for weakly self-similar solutions. The ${\mathcal{F}}$ -stability can be characterized by the semi-positive definiteness of the Jacobi operator acting on a subspace of variation fields.     

Prime graphs of finite groups with a small number of triangles

The prime graph \(\Delta (G)\) of a finite group \(G\) is a graph whose vertices are the primes which divide the degrees of some irreducible complex characters of \(G\) and two distinct primes \(p\) and \(q\) are joined by an edge if the product \(pq\) divides some character degree of \(G\) . In this paper, we determine the upper bounds for the numbers of vertices of the prime graphs of finite groups which possess a small number of triangles. In some cases, we study the structure of such finite groups and their prime graphs in detail.     

A new graph parameter related to bounded rank positive semidefinite matrix completions

The Gram dimension $\mathrm{gd}(G)$ of a graph $G$ is the smallest integer $k\ge 1$ such that any partial real symmetric matrix, whose entries are specified on the diagonal and at the off-diagonal positions corresponding to edges of $G$ , can be completed to a positive semidefinite matrix of rank at most $k$ (assuming a positive semidefinite completion exists). For any fixed $k$ the class of graphs satisfying $\mathrm{gd}(G) \le k$ is minor closed, hence it can be characterized by a finite list of forbidden minors. We show that the only minimal forbidden minor is $K_{k+1}$ for $k\le 3$ and that there are two minimal forbidden minors: $K_5$ and $K_{2,2,2}$ for $k=4$ . We also show some close connections to Euclidean realizations of graphs and to the graph parameter $\nu ^=(G)$ of van der Holst (Combinatorica 23(4):633–651, 2003). In particular, our characterization of the graphs with $\mathrm{gd}(G)\le 4$ implies the forbidden minor characterization of the 3-realizable graphs of Belk (Discret Comput Geom 37:139–162, 2007) and Belk and Connelly (Discret Comput Geom 37:125–137, 2007) and of the graphs with $\nu ^=(G) \le 4$ of van der Holst (Combinatorica 23(4):633–651, 2003).     

Packing dimensions of the divergence points of self-similar measures with OSC

Let $\mu $ be the self-similar measure supported on the self-similar set $K$ with open set condition. In this article, we discuss the packing dimension of the set $\{x\in K: A(\frac{\log \mu (B(x,r))}{\log r})=I\}$ for $I\subseteq \mathbb R ,$ where $A(\frac{\log \mu (B(x,r))}{\log r})$ denotes the set of accumulation points of $\frac{\log \mu (B(x,r))}{\log r}$ as $r\searrow 0.$ Our main result solves the conjecture about packing dimension posed by Olsen and Winte (J London Math Soc, 67(2), pp 103–122, 2003) and generalizes the result in (Adv Math, 214, pp 267–287, (2007)).     

Vertex transitive graphs from injective linear mappings

Based on a motivation coming from the study of the metric structure of the category of finite dimensional vector spaces over a finite field \(\mathbb {F}\) , we examine a family of graphs, defined for each pair of integers \(1 \le k \le n\) , with vertex set formed by all injective linear transformations \(\mathbb {F}^k \rightarrow \mathbb {F}^n\) and edges corresponding to pairs of mappings, \(f\) and \(g\) , with \(\lambda (f,g)= \dim \mathrm{Im }(f-g)=1 \) . For \(\mathbb {F}\cong \mathrm{GF }(q)\) , this graph will be denoted by \(\mathrm{INJ }_q(k,n)\) . We show that all such graphs are vertex transitive and Hamiltonian and describe the full automorphism group of each \(\mathrm{INJ }_q (k,n)\) for \(k . Using the properties of line-transitive groups, we completely determine which of the graphs \(\mathrm{INJ }_q (k,n)\) are Cayley and which are not. The Cayley ones consist of three infinite families, corresponding to pairs \((1,n),\,(n-1,n)\) , and \((n,n)\) , with \(n\) and \(q\) arbitrary, and of two sporadic examples \(\mathrm{INJ }_{2} (2,5)\) and \(\mathrm{INJ }_{2}(3,5)\) . Hence, the overwhelming majority of our graphs is not Cayley.     

Harmonic functions of general graph Laplacians

We study harmonic functions on general weighted graphs which allow for a compatible intrinsic metric. We prove an \(L^{p}\) Liouville type theorem which is a quantitative integral \(L^{p}\) estimate of harmonic functions analogous to Karp’s theorem for Riemannian manifolds. As corollaries we obtain Yau’s \(L^{p}\) -Liouville type theorem on graphs, identify the domain of the generator of the semigroup on \(L^{p}\) and get a criterion for recurrence. As a side product, we show an analogue of Yau’s \(L^{p}\) Caccioppoli inequality. Furthermore, we derive various Liouville type results for harmonic functions on graphs and harmonic maps from graphs into Hadamard spaces.     

A note on stable Teichmüller quasigeodesics

In this note, we prove that for a cobounded, Lipschitz path $\gamma: I\to{\mathcal T}$ in the Teichmüller space ${\mathcal T}$ of a hyperbolic surface, if the pull back bundle $\mathcal{H}_{\gamma}\to I$ of the cannonical ?²-bundle ${\mathcal H}\to{\mathcal T}$ is a strongly relatively hyperbolic metric space then there exists a geodesic ξ of ${\mathcal T}$ such that γ(I) and ξ are close to each other.     

The Index Semigroup and K-Groups of Graph-Groupoid C^{*}-Algebras

In this paper, we consider the relation between index theory and $K$ -theory induced by directed graphs. In particular, we study index-morphism on finite trees, and classify the set of finite trees in terms of our index-morphism. Such a morphism generate certain semigroup, called the index semigroup. From the index semigroup, we find a ple, interesting connection between semigroup-elements and $K$ -group computations of groupoid $C^{*}$ -algebras generated by graphs. In conclusion, we show that the pure combinatorial data of graphs completely characterize and classify the elements of the index semigroup (or equivalently, graph-index on finite trees), Watatani’s Jones index on groupoid $C^{*}$ -algebras generated by finite trees, and $K$ -group computations of certain $C^{*}$ -algebras.     

A backward \lambda -lemma for the forward heat flow

The inclination or \(\lambda \) -lemma is a fundamental tool in finite dimensional hyperbolic dynamics. In contrast to finite dimension, we consider the forward semi-flow on the loop space of a closed Riemannian manifold \(M\) provided by the heat flow. The main result is a backward \(\lambda \) -lemma for the heat flow near a hyperbolic fixed point \(x\) . There are the following novelties. Firstly, infinite versus finite dimension. Secondly, semi-flow versus flow. Thirdly, suitable adaption provides a new proof in the finite dimensional case. Fourthly and a priori most surprisingly, our \(\lambda \) -lemma moves the given disk transversal to the unstable manifold backward in time, although there is no backward flow. As a first application we propose a new method to calculate the Conley homotopy index of \(x\) .     

Finite-state self-similar actions of nilpotent groups

Let G be a finitely generated torsion-free nilpotent group and ${\phi:H\rightarrow G}$ be a surjective homomorphism from a subgroup H < G of finite index with trivial ${\phi}$ -core. For every choice of coset representatives of H in G there is a faithful self-similar action of the group G associated with ${(G, \phi)}$ . We are interested in what cases all these actions are finite-state and in what cases there exists a finite-state self-similar action for ${(G, \phi)}$ . These two properties are characterized in terms of the Jordan normal form of the corresponding automorphism $\widehat{\phi}$ of the Lie algebra of the Mal’cev completion of G.