Optimal lower eigenvalue estimates for Hodge-Laplacian and applications

We consider the eigenvalue problem for Hodge-Laplacian on a Riemannian manifold M isometrically immersed into another Riemannian manifold $\overline{M}$. We first assume the pull back Weitzenböck operator of $\overline{M}$ bounded from below, and obtain an extrinsic lower bound for the first eigenvalue of Hodge-Laplacian. As applications, we obtain some rigidity results. Second, when the pull back Weitzenböck operator of $\overline{M}$ bounded from both sides, we give a lower bound of the first eigenvalue by the Ricci curvature of M and some extrinsic geometry. As a consequence, we prove a weak Ejiri type theorem, that is, if the Ricci curvature bounded from below pointwisely by a function of the norm square of the mean curvature vector, then M is a homology sphere. In the end, we give an example to show that all the eigenvalue estimates are optimal when $\overline{M}$ is the space form.     

Even degree characters in principal blocks

We characterise finite groups such that for an odd prime p all the irreducible characters in its principal p-block have odd degree. We show that this situation does not occur in non-abelian simple groups of order divisible by p unless $p=7$ and the group is $M_{22}$. As a consequence we deduce that if $p\ne 7$ or if $M_{22}$ is not a composition factor of a group G, then the condition above is equivalent to $G/{\mathbf{O}}_{p^{\prime }}(G)$ having odd order.     

Translating solitons in Riemannian products

In this paper we study solitons invariant with respect to the flow generated by a complete parallel vector field in a ambient Riemannian manifold. A special case occurs when the ambient manifold is the Riemannian product $(\mathbb{R}\times P,\mathrm{d}{t}^2+g_0)$ and the parallel field is $X={?}_t$. Similarly to what happens in the Euclidean setting, we call them translating solitons. We see that a translating soliton in $\mathbb{R}\times P$ can be seen as a minimal submanifold for a weighted volume functional. Moreover we show that this kind of solitons appear in a natural way in the context of a monotonicity formula for the mean curvature flow in $\mathbb{R}\times P$. When $g_0$ is rotationally invariant and its sectional curvature is non-positive, we are able to characterize all the rotationally invariant translating solitons. Furthermore, we use these families of new examples as barriers to deduce several non-existence results.     

Arc-transitive digraphs with quasiprimitive local actions

Let Γ be a finite G-vertex-transitive digraph. The in-local action of $(\mathrm{\Gamma },G)$ is the permutation group $L_{?}$ induced by a vertex-stabiliser on the set of in-neighbours of the corresponding vertex. The out-local action$L_{+}$ is defined analogously. Note that $L_{?}$ and $L_{+}$ may not be isomorphic. We thus consider the problem of determining which pairs $(L_{?},L_{+})$ are possible. We prove some general results, but pay special attention to the case when $L_{?}$ and $L_{+}$ are both quasiprimitive. (Recall that a permutation group is quasiprimitive if each of its nontrivial normal subgroups is transitive.) Along the way, we prove a structural result about pairs of finite quasiprimitive groups of the same degree, one being (abstractly) isomorphic to a proper quotient of the other.     

Group-invariant solutions for the Ricci curvature equation and the Einstein equation

We consider the pseudo-Euclidean space $({\mathbb{R}}^n,g)$, $n\ge 3$, with coordinates $x=(x_1,\dots ,x_n)$ and metric $g_{ij}={\delta }_{ij}{?}_i$, ${?}_i=\pm 1$, where at least one ${?}_i$ is positive, and also tensors of the form $A={\sum }_{i,j}{A}_{ij}d{x}_{i}d{x}_j$, such that $A_{ij}$ are differentiable functions of x. For such tensors, we use Lie point symmetries to find metrics $\stackrel{￣}{g}=\frac{1}{u^2}g$ that solve the Ricci curvature and the Einstein equations. We provide a large class of group-invariant solutions and examples of complete metrics $\stackrel{￣}{g}$ defined globally in ${\mathbb{R}}^n$. As consequences, for certain functions $\stackrel{￣}{K}$, we show complete metrics $\stackrel{￣}{g}$, conformal to the pseudo-Euclidean metric g, whose scalar curvature is $\stackrel{￣}{K}$.     

The Lp dual Minkowski problem for p > 1 and q > 0

General $L_p$ dual curvature measures have recently been introduced by Lutwak, Yang and Zhang [24]. These new measures unify several other geometric measures of the Brunn–Minkowski theory and the dual Brunn–Minkowski theory. $L_p$ dual curvature measures arise from qth dual intrinsic volumes by means of Alexandrov-type variational formulas. Lutwak, Yang and Zhang [24] formulated the $L_p$ dual Minkowski problem, which concerns the characterization of $L_p$ dual curvature measures. In this paper, we solve the existence part of the $L_p$ dual Minkowski problem for $p>1$ and $q>0$, and we also discuss the regularity of the solution.     

Injective metrizability and the duality theory of cubings

Following his discovery that finite metric spaces have injective envelopes naturally admitting a polyhedral structure, Isbell, in his pioneering work on injective metric spaces, attempted a characterization of cellular complexes admitting the structure of an injective metric space. A bit later, Mai and Tang confirmed Isbell’s conjecture that a simplicial complex is injectively metrizable if and only if it is collapsible. Considerable advances in the understanding, classification and applications of injective envelopes have since been made by Dress, Huber, Sturmfels and collaborators, and most recently by Lang. Unfortunately a combination theory for injective polyhedra is still unavailable.Here we expose a connection to the duality theory of cubings –simply connected non-positively curved cubical complexes –which provides a more principled and accessible approach to Mai and Tang’s result, providing one with a powerful tool for systematic construction of locally-compact injective metric spaces:Main Theorem. Any complete pointed Gromov–Hausdorff limit of locally-finite piecewise-${?}_{\infty }$ cubings is injective. □This result may be construed as a combination theorem for the simplest injective polytopes, ${?}_{\infty }$-parallelopipeds, where the condition for retaining injectivity is the combinatorial non-positive curvature condition on the complex. Thus it represents a first step towards a more comprehensive combination theory for injective spaces.In addition to setting the earlier work on injectively metrizable complexes within its proper context of non-positively curved geometry, this paper is meant to provide the reader with a systematic review of the results – otherwise scattered throughout the geometric group theory literature – on the duality theory and the geometry of cubings, which make this connection possible.     

Induced saturation of P6

A graph $G$ is called $H$-induced-saturated if $G$ does not contain an induced copy of $H$, but removing any edge from $G$ creates an induced copy of $H$ and adding any edge of $G^c$ to $G$ creates an induced copy of $H$. Martin and Smith studied a related problem, and proved that there does not exist a $P_4$-induced-saturated graph, where $P_4$ is the path on 4 vertices. Axenovich and Csikós gave examples of families of graphs $H$ for which $H$-induced-saturated graph $G$ exists, and asked if there exists a $P_n$-induced-saturated graph when $n\ge 5$. Our aim in this short note is to show that there exists a $P_6$-induced-saturated graph.     

Recovery of signals under the condition on RIC and ROC via prior support information

In this paper, the sufficient condition in terms of the RIC and ROC for the stable and robust recovery of signals in both noiseless and noisy settings was established via weighted $l_1$ minimization when there is partial prior information on support of signals. An improved performance guarantee has been derived. We can obtain a less restricted sufficient condition for signal reconstruction and a tighter recovery error bound under some conditions via weighted $l_1$ minimization. When prior support estimate is at least 50% accurate, the sufficient condition is weaker than the analogous condition by standard $l_1$ minimization method, meanwhile the reconstruction error upper bound is provably to be smaller under additional conditions. Furthermore, the sufficient condition is also proved sharp.     

On the centre of mass of a random walk

For a random walk $S_n$ on ${\mathbb{R}}^d$ we study the asymptotic behaviour of the associated centre of mass process $G_n=n^{?1}{\sum }_{i=1}^n{S}_i$. For lattice distributions we give conditions for a local limit theorem to hold. We prove that if the increments of the walk have zero mean and finite second moment, $G_n$ is recurrent if $d=1$ and transient if $d\ge 2$. In the transient case we show that $G_n$ has a diffusive rate of escape. These results extend work of Grill, who considered simple symmetric random walk. We also give a class of random walks with symmetric heavy-tailed increments for which $G_n$ is transient in $d=1$.     

Cube-complements of generalized Fibonacci cubes

The generalized Fibonacci cube $Q_h\left(f\right)$ is the graph obtained from the $h$-cube $Q_h$ by removing all vertices that contain a given binary string $f$ as a substring. If $G$ is an induced subgraph of $Q_h$, then the cube-complement of $G$ is the graph induced by the vertices of $Q_h$ which are not in $G$. In particular, the cube-complement of a generalized Fibonacci cube $Q_h\left(f\right)$ is the subgraph of $Q_h$ induced by the set of all vertices that contain $f$ as a substring. The questions whether a cube-complement of a generalized Fibonacci cube is (i) connected, (ii) an isometric subgraph of a hypercube or (iii) a median graph are studied. Questions (ii) and (iii) are completely solved, i.e. the sets of binary strings that allow a graph of this class to be an isometric subgraph of a hypercube or a median graph are given. The cube-complement of a daisy cube is also studied.     

On eigenvectors,approximations and the Feynman propagator

Trying to interpret B. Zilber's project on model theory of quantum mechanics we study a way of building limit models from finite-dimensional approximations. Our point of view is that of metric model theory, and we develop a method of taking ultraproducts of unbounded operators. We first calculate the Feynman propagator for the free particle as defined by physicists as an inner product $〈x_0|K^t|x_1〉$ of the eigenvector $|x_0〉$ of the position operator with eigenvalue $x_0$ and $K^t(|x_1〉)$, where $K^t$ is the time evolution operator. However, due to a discretising effect, the eigenvector method does not work as expected, and straightforward calculations give the wrong value. We look at this phenomenon, and then complement this by showing how to instead correctly calculate the kernel of the time evolution operator (for both the free particle and the harmonic oscillator) in the limit model. We believe that our method of calculating these is new.     

On a problem of Specker about Euclidean representations of finite graphs

Say that a graph $G$ is representable in ${\mathbb{R}}^n$ if there is a map $f$ from its vertex set into the Euclidean space ${\mathbb{R}}^n$ such that $6f\left(x\right)?f\left(x^{\prime }\right)6=6f\left(y\right)?f\left(y^{\prime }\right)6$ iff $\{x,x^{\prime }\}$ and$\{y,y^{\prime }\}$ are both edges or both non-edges in $G$. The purpose of this note is to present the proof of the following result, due to Einhorn and Schoenberg in Einhorn and Schoenberg (1966): if $G$ finite is neither complete nor independent, then it is representable in ${\mathbb{R}}^{\left|G\right|?2}$. A similar result also holds in the case of finite complete edge-colored graphs.     

Applications and homological properties of local rings with decomposable maximal ideals

We construct a local Cohen–Macaulay ring R with a prime ideal $\mathfrak{p}\in \mathrm{Spec}(R)$ such that R satisfies the uniform Auslander condition (UAC), but the localization $R_{\mathfrak{p}}$ does not satisfy Auslander's condition (AC). Given any positive integer n, we also construct a local Cohen–Macaulay ring R with a prime ideal $\mathfrak{p}\in \mathrm{Spec}(R)$ such that R has exactly two non-isomorphic semidualizing modules, but the localization $R_{\mathfrak{p}}$ has $2^n$ non-isomorphic semidualizing modules. Each of these examples is constructed as a fiber product of two local rings over their common residue field. Additionally, we characterize the non-trivial Cohen–Macaulay fiber products of finite Cohen–Macaulay type.