On p-tuples of the Grassmann manifolds

We provide a matrix invariant for isometry classes of p-tuples of points in the Grassmann manifold ${G_{n}\left(\mathbb{K}^{d}\right) }$ ( ${\mathbb{K=\mathbb{R}}}$ or ${\mathbb{C}}$ ). This invariant fully characterizes the p-tuple. We use it to classify the regular p-tuples of ${G_{2}\left(\mathbb{R}^{d}\right) }$ , ${G_{3}\left( \mathbb{R}^{d}\right) }$ and ${G_{2}\left( \mathbb{C}^{d}\right) }$ .     

Gamma-convergence of nonlocal perimeter functionals

Given ${\Omega\subset\mathbb{R}^{n}}$ open, connected and with Lipschitz boundary, and ${s\in (0, 1)}$ , we consider the functional $$\mathcal{J}_s(E,\Omega)\,=\, \int_{E\cap \Omega}\int_{E^c\cap\Omega}\frac{dxdy}{|x-y|^{n+s}}+\int_{E\cap \Omega}\int_{E^c\cap \Omega^c}\frac{dxdy}{|x-y|^{n+s}}\,+ \int_{E\cap \Omega^c}\int_{E^c\cap \Omega}\frac{dxdy}{|x-y|^{n+s}},$$ where ${E\subset\mathbb{R}^{n}}$ is an arbitrary measurable set. We prove that the functionals ${(1-s)\mathcal{J}_s(\cdot, \Omega)}$ are equi-coercive in ${L^1_{\rm loc}(\Omega)}$ as ${s\uparrow 1}$ and that $$\Gamma-\lim_{s\uparrow 1}(1-s)\mathcal{J}_s(E,\Omega)=\omega_{n-1}P(E,\Omega),\quad \text{for every }E\subset\mathbb{R}^{n}\,{\rm measurable}$$ where P(E, ??) denotes the perimeter of E in ?? in the sense of De Giorgi. We also prove that as ${s\uparrow 1}$ limit points of local minimizers of ${(1-s)\mathcal{J}_s(\cdot,\Omega)}$ are local minimizers of P(·, ??).     

The Left Hilbert BVP for h-Regular Functions in Clifford Analysis

Consider the real Clifford algebra ${\mathbb{R}_{0,n}}$ generated by e ₁, e ₂, . . . , e _n satisfying ${e_{i}e_{j} + e_{j}e_{i} = -2\delta_{ij} , i, j = 1, 2, . . . , n, e_{0}}$ is the unit element. Let ${\Omega}$ be an open set in ${\mathbb{R}^{n+1}}$ . u(x) is called an h-regular function in ${\Omega}$ if $$D_{x}u(x) + \widehat{u}(x)h = 0, \quad\quad (0.1)$$ where ${D_x = \sum\limits_{i=0}^{n} e_{i}\partial_{xi}}$ is the Dirac operator in ${\mathbb{R}^{n+1}}$ , and ${\widehat{u}(x) = \sum \limits_{A} (-1)^{\#A}u_{A}(x)e_{A}, \#A}$ denotes the cardinality of A and ${h = \sum\limits_{k=0}^{n} h_{k}e_{k}}$ is a constant paravector. In this paper, we mainly consider the Hilbert boundary value problem (BVP) for h-regular functions in ${\mathbb{R}_{+}^{n+1}}$ .     

Euclidean hypersurfaces with genuine deformations in codimension two

We classify hypersurfaces of rank two of Euclidean space ${\mathbb{R}^{n+1}}$ that admit genuine isometric deformations in ${\mathbb{R}^{n+2}}$ . That an isometric immersion ${\hat{f}\colon M^n \to \mathbb{R}^{n+2}}$ is a genuine isometric deformation of a hypersurface ${f\colon M^n\to\mathbb{R}^{n+1}}$ means that ${\hat f}$ is nowhere a composition ${\hat f=\hat F\circ f}$ , where ${\hat{F} \colon V\subset \mathbb{R}^{n+1} \to\mathbb{R}^{n+2}}$ is an isometric immersion of an open subset V containing the hypersurface.     

Lower bounds on Ricci curvature and quantitative behavior of singular sets

Let Y ⁿ denote the Gromov-Hausdorff limit $M^{n}_{i}\stackrel{d_{\mathrm{GH}}}{\longrightarrow} Y^{n}$ of v-noncollapsed Riemannian manifolds with ${\mathrm{Ric}}_{M^{n}_{i}}\geq-(n-1)$ . The singular set $\mathcal {S}\subset Y$ has a stratification $\mathcal {S}^{0}\subset \mathcal {S}^{1}\subset\cdots\subset \mathcal {S}$ , where $y\in \mathcal {S}^{k}$ if no tangent cone at y splits off a factor ? ^k+1 isometrically. Here, we define for all η>0, 0<r≤1, the k-th effective singular stratum $\mathcal {S}^{k}_{\eta,r}$ satisfying $\bigcup_{\eta}\bigcap_{r} \,\mathcal {S}^{k}_{\eta,r}= \mathcal {S}^{k}$ . Sharpening the known Hausdorff dimension bound $\dim\, \mathcal {S}^{k}\leq k$ , we prove that for all y, the volume of the r-tubular neighborhood of $\mathcal {S}^{k}_{\eta,r}$ satisfies ${\mathrm {Vol}}(T_{r}(\mathcal {S}^{k}_{\eta,r})\cap B_{\frac{1}{2}}(y))\leq c(n,{\mathrm {v}},\eta)r^{n-k-\eta}$ . The proof involves a quantitative differentiation argument. This result has applications to Einstein manifolds. Let $\mathcal {B}_{r}$ denote the set of points at which the C ²-harmonic radius is ≤r. If also the $M^{n}_{i}$ are Kähler-Einstein with L ₂ curvature bound, $\| Rm\|_{L_{2}}\leq C$ , then ${\mathrm {Vol}}( \mathcal {B}_{r}\cap B_{\frac{1}{2}}(y))\leq c(n,{\mathrm {v}},C)r^{4}$ for all y. In the Kähler-Einstein case, without assuming any integral curvature bound on the $M^{n}_{i}$ , we obtain a slightly weaker volume bound on $\mathcal {B}_{r}$ which yields an a priori L _p curvature bound for all p<2. The methodology developed in this paper is new and is applicable in many other contexts. These include harmonic maps, minimal hypersurfaces, mean curvature flow and critical sets of solutions to elliptic equations.     

Ricci Flow on Open 4-Manifolds with Positive Isotropic Curvature

In this note we prove the following result: Let X be a complete, connected 4-manifold with uniformly positive isotropic curvature, with bounded geometry, and with no essential incompressible space form. Then X is diffeomorphic to $\mathbb{S}^{4}$ , or $\mathbb{RP}^{4}$ , or $\mathbb{S}^{3}\times\mathbb {S}^{1}$ , or $\mathbb{S}^{3}\widetilde{\times} \mathbb{S}^{1}$ , or a possibly infinite connected sum of them. This extends work of Hamilton and Chen–Zhu to the noncompact case. The proof uses Ricci flow with surgery on complete 4-manifolds, and is inspired by recent work of Bessières, Besson, and Maillot.     

On the Linear Dependence of a Finite Set of Additive Functions

In this note we prove the following: Let n?≥ 2 be a fixed integer. A system of additive functions ${A_{1},A_{2},\ldots,A_{n}:\mathbb{R} \to\mathbb{R}}$ is linearly dependent (as elements of the ${\mathbb{R}}$ vector space ${\mathbb{R}^{\mathbb{R}}}$ ), if and only if, there exists an indefinite quadratic form ${Q:\mathbb{R}^{n}\to\mathbb{R} }$ such that ${Q(A_{1}(x),A_{2}(x),\ldots,A_{n}(x))\geq 0}$ or ${Q(A_{1}(x),A_{2}(x),\ldots,A_{n}(x))\leq 0}$ holds for all ${x\in\mathbb{R}}$ .     

Real Clifford Algebras as Tensor Products over Centers

Denote by ${\mathcal{C}\ell_{p,q}}$ the Clifford algebra on the real vector space ${\mathbb{R}^{p,q}}$ . This paper gives a unified tensor product expression of ${\mathcal{C}\ell_{p,q}}$ by using the center of ${\mathcal{C}\ell_{p,q}}$ . The main result states that for nonnegative integers p, q, ${\mathcal{C}\ell_{p,q} \simeq \otimes^{\kappa-\delta}\mathcal{C}_{1,1} \otimes Cen(\mathcal{C}\ell_{p,q}) \otimes^{\delta} \mathcal{C}\ell_{0,2},}$ where ${p + q \equiv \varepsilon}$ mod 2, ${\kappa = ((p + q) - \varepsilon)/2, p - |q - \varepsilon| \equiv i}$ mod 8 and ${\delta = \lfloor i / 4 \rfloor}$ .     

A problem of Carlitz and its generalizations

Let ${\mathbb{F}_q}$ be the finite field of characteristic p > 2 with q elements. Carlitz proposed the problem of finding an explicit formula for the number of solutions to the equation $$(x_1+ x_2+\cdots+x_n)^2=a\, x_1x_2\cdots x_n,$$ where ${a\in \mathbb{F}_q^*}$ and n ≥ 3. By using the augmented degree matrix and Gauss sums, we consider the generalizations of the above equation and partially solve Carlitz’s problem. Moreover, the technique developed in this paper may be applied to other equations of the form ${h_1^\lambda=h_2}$ with ${h_1, h_2 \in \mathbb{F}_q[x_1,\ldots,x_n]}$ and ${\lambda \in \mathbb{N}}$ .     

A decomposition of the universal embedding space for the near polygon {{\mathbb H}_n}

Let ${{\mathbb H}_n, n \geq 1}$ , be the near 2n-gon defined on the 1-factors of the complete graph on 2n?+?2 vertices, and let e denote the absolutely universal embedding of ${{\mathbb H}_n}$ into PG(W), where W is a ${\frac{1}{n+2} \left(\begin{array}{c}2n+2 \\ n+1\end{array}\right)}$ -dimensional vector space over the field ${{\mathbb F}_2}$ with two elements. For every point z of ${{\mathbb H}_n}$ and every ${i \in {\mathbb N}}$ , let Δ _i (z) denote the set of points of ${{\mathbb H}_n}$ at distance i from z. We show that for every pair {x, y} of mutually opposite points of ${{\mathbb H}_n, W}$ can be written as a direct sum ${W_0 \oplus W_1 \oplus \cdots \oplus W_n}$ such that the following four properties hold for every ${i \in \{0,\ldots,n \}}$ : (1) ${\langle e(\Delta_i(x) \cap \Delta_{n-i}(y)) \rangle = {\rm PG}(W_i)}$ ; (2) ${\left\langle e \left( \bigcup_{j \leq i} \Delta_j(x) \right) \right\rangle = {\rm PG}(W_0 \oplus W_1 \oplus \cdots \oplus W_i)}$ ; (3) ${\left\langle e \left( \bigcup_{j \leq i} \Delta_j(y) \right) \right\rangle = {\rm PG}(W_{n-i}\oplus W_{n-i+1} \oplus \cdots \oplus W_n)}$ ; (4) ${\dim(W_i) = |\Delta_i(x) \cap \Delta_{n-i}(y)| = \left(\begin{array}{c}n \\ i\end{array}\right)^2 - \left(\begin{array}{c}n \\ i-1\end{array}\right) \cdot \left(\begin{array}{c}n \\ i+1\end{array}\right)}$ .     

Decomposable functions and representations of topological semigroups

Let a representation T of a unital topological semigroup G on a topological linear space X be given. We call ${x \in X}$ a finite vector if its orbit T(G)x is contained in a finite dimensional subspace. In this paper some statements on finite vectors will be proved and applied to the functional equation $$ f(g_1g_2\cdots g_n) = \sum_{E}\sum_{j=1}^{N_E}u^E_jv^E_j $$ where E runs through all proper non-empty subsets of ${\{1,2,\ldots,n\}, N_E \in \mathbb{N}}$ , and for each E, the functions ${u^E_j}$ only depend on variables g _i with ${i\in E}$ , while the ${v^E_j}$ only depend on g _i with ${i\notin E}$ .     

The topology of parabolic character varieties of free groups

Let $G$ be a complex affine algebraic reductive group, and let $K\,\subset \, G$ be a maximal compact subgroup. Fix h $\,:=\,(h_{1}\,,\ldots \,,h_{m})\,\in \, K^{m}$ . For $n\, \ge \, 0$ , let $\mathsf X _{\mathbf{{h}},n}^{G}$ (respectively, $\mathsf X _{\mathbf{{h}},n}^{K}$ ) be the space of equivalence classes of representations of the free group on $m+n$ generators in $G$ (respectively, $K$ ) such that for each $1\le i\le m$ , the image of the $i$ -th free generator is conjugate to $h_{i}$ . These spaces are parabolic analogues of character varieties of free groups. We prove that $\mathsf X _{\mathbf{{h}},n}^{K}$ is a strong deformation retraction of $\mathsf X _{\mathbf{{h}},n}^{G}$ . In particular, $\mathsf X _{\mathbf{{h}},n}^{G}$ and $\mathsf X _{\mathbf{{h}},n}^{K}$ are homotopy equivalent. We also describe explicit examples relating $\mathsf X _{\mathbf{{h}},n}^{G}$ to relative character varieties.     

Full regularity of a free boundary problem with two phases

Let ?? be a bounded domain in ${\mathbb{R}^{n}, n\geq2}$ . We use ${\mathcal{M}_{\Omega}}$ to denote the collection of all pairs of (A, u) such that ${A\subset\Omega}$ is a set of finite perimeter and ${u\in H^{1}\left( \Omega\right)}$ satisfies $$u\left( x\right) =0\quad\text{a.e.}x\in A.$$ We consider the energy functional $$E_{\Omega}\left( A,u\right) =\int\limits_{\Omega}\left\vert\triangledown u\right\vert ^{2}+P_{\Omega}\left( A\right)$$ defined on ${\mathcal{M}_{\Omega}}$ , where P _??(A) denotes the perimeter of A inside ??. Let ${\left( A,u\right)\in\mathcal{M}_{\Omega}}$ be a minimizer with volume constraint. Our main result is that when n????7, u is locally Lipschitz and the free boundary ?A is analytic in ??.     

Global injectivity conditions for planar maps

We prove that a planar $C^1$ -smooth map $f:D\longrightarrow \mathbb{R }^{2n}$ , where $D\subseteq \mathbb{R }^{2n}$ is a convex open set, is injective if $\mathbb{R }\cap \mathrm{Spec}(df)_z=\emptyset $ for all $z\in D$ . We continue by showing that the triangulability of the differentials $(df)_z$ , $z\in D$ , ensure the global injectivity as well.     

Mean Value Properties for the Weinstein Equation Using the Hyperbolic Metric

In this paper we consider solutions of the Weinstein equation $$\begin{aligned} \Delta u-\frac{k}{x_{n}}\frac{\partial u}{\partial x_{n}}+\frac{\ell }{ x_{n}^{2}}u=0, \end{aligned}$$ on some open subset $\Omega \subset \mathbb R ^{n}\cap \{x_{n}>0\}$ subject to the conditions $4\ell \le (k+1)^{2}$ . If $l=0$ , the operator $x_{n}^{2k/n-2}\left( \Delta u-\frac{k}{x_{n}}\frac{\partial u}{\partial x_{n}}\right) $ is the Laplace–Beltrami operator with respect to the Riemannian metric $ds^{2}=x_{n}^{-2k/n-2}\left( \sum _{i=1}^{n}dx_{i} ^{2}\right) $ . In case $k=n-2$ the Riemannian metric is the hyperbolic distance of Poincaré upper half space. The Weinstein equation is connected to the axially symmetric potentials. The solutions of of the Weinstein equation form a so-called Brelot harmonic space and therefore it is known they satisfy the mean value properties with respect to the harmonic measure. We present the explicit mean value properties which give a formula for a harmonic measure evaluated in the center point of the hyperbolic ball. The key idea is to transform the solutions to the eigenfunctions of the Laplace–Beltrami operator in the Poincaré upper half-space model.     

A note on da Costa-Doria “exotic formalizations”

We analyze N. C. A. da Costa and F. A. Doria’s “exotic formalization” of the conjecture P = NP [3–7]. For any standard axiomatic PA extension T and any number-theoretic sentence ${\varphi }$ , we let ${\varphi ^{\star} := \varphi \vee \lnot \mathsf{Con}\left( \mathsf{T}\right)}$ and prove the following “exotic” inferences 1–3. 1. ${\mathsf{T}+\varphi ^{\star}}$ is consistent, if so is T, 2. ${\mathsf{T}+\varphi}$ is consistent, provided that ${\mathsf{T}+\varphi ^{\star}}$ is ω-consistent, 3. ${\mathsf{T}+\varphi}$ is consistent, provided that T is consistent and has the same provably total recursive functions as ${\mathsf{T}+\left( \varphi \leftrightarrow \varphi ^{\star }\right) }$ . Furthermore we show that 1–3 continue to hold for ${\varphi ^{\star} := \varphi _{S} :=\varphi \vee \lnot S}$ , where ${S=\forall x\exists yR\left( x,y\right)}$ is any ${\Pi _{2}^{0}}$ sentence satisfying: 4. ${\left( \forall n\in \omega \right) \left( \mathsf{T}\vdash S_{x}\left[ \underline{n}\right] \right) }$ , 5. ${\mathsf{Con}\left( \mathsf{T}\right) \Rightarrow \mathsf{T}\nvdash S}$ . We observe that if ${\varphi :=\left[ \mathsf{P}=\mathsf{NP}\right] }$ and ${S:= \left[\digamma total\right] }$ , where ${\digamma=\digamma _{\mathsf{T}}}$ is da Costa-Doria “exotic” function with respect to T, then 4, 5 are satisfied for most familiar (presumably) consistent T in question, while ${\varphi _{S}}$ becomes equivalent to da Costa-Doria “exotic formalization” ${\left[ \mathsf{P}=\mathsf{NP}\right]^{\digamma}}$ . Moreover, the corresponding “exotic” inferences 1–3 generalize analogous da Costa-Doria results. Hence these “exotic” inferences are universal for all number-theoretic sentences and not characteristic to the conjecture P = NP. Nor do they infer relative consistency of P = NP (see Conclusion 15 in the text).     

Averaged Pointwise Bounds for Deformations of Schrödinger Eigenfunctions

Let (M,g) be an n-dimensional, compact Riemannian manifold and ${P_0(\hbar) = -\hbar{^2} \Delta_g + V(x)}$ be a semiclassical Schrödinger operator with ${\hbar \in (0,\hbar_0]}$ . Let ${E(\hbar) \in [E-o(1),E+o(1)]}$ and ${(\phi_{\hbar})_{\hbar \in (0,\hbar_0]}}$ be a family of L ²-normalized eigenfunctions of ${P_0(\hbar)}$ with ${P_0(\hbar) \phi_{\hbar} = E(\hbar) \phi_{\hbar}}$ . We consider magnetic deformations of ${P_0(\hbar)}$ of the form ${P_u(\hbar) = - \Delta_{\omega_u}(\hbar) + V(x)}$ , where ${\Delta_{\omega_u}(\hbar) = (\hbar d + i \omega_u(x))^*({\hbar}d + i \omega_u(x))}$ . Here, u is a k-dimensional parameter running over ${B^k(\epsilon)}$ (the ball of radius ${\epsilon}$ ), and the family of the magnetic potentials ${(w_u)_{u\in B^k(\epsilon)}}$ satisfies the admissibility condition given in Definition 1.1. This condition implies that k ≥ n and is generic under this assumption. Consider the corresponding family of deformations of ${(\phi_{\hbar})_{\hbar \in (0, \hbar_0]}}$ , given by ${(\phi^u_{\hbar})_{\hbar \in(0, \hbar_0]}}$ , where $$\phi_{\hbar}^{(u)}:= {\rm e}^{-it_0 P_u(\hbar)/\hbar}\phi_{\hbar}$$ for ${|t_0|\in (0,\epsilon)}$ ; the latter functions are themselves eigenfunctions of the ${\hbar}$ -elliptic operators ${Q_u(\hbar): ={\rm e}^{-it_0P_u(\hbar)/\hbar} P_0(\hbar) {\rm e}^{it_0 P_u(\hbar)/\hbar}}$ with eigenvalue ${E(\hbar)}$ and ${Q_0(\hbar) = P_{0}(\hbar)}$ . Our main result, Theorem1.2, states that for ${\epsilon >0 }$ small, there are constants ${C_j=C_j(M,V,\omega,\epsilon) > 0}$ with j = 1,2 such that $$C_{1}\leq \int\limits_{\mathcal{B}^k(\epsilon)} |\phi_{\hbar}^{(u)}(x)|^2 \, {\rm d}u \leq C_{2}$$ , uniformly for ${x \in M}$ and ${\hbar \in (0,h_0]}$ . We also give an application to eigenfunction restriction bounds in Theorem 1.3.     

Large deviations for the empirical mean of an M/M/1 queue

Let $(Q(k):k\ge 0)$ be an $M/M/1$ queue with traffic intensity $\rho \in (0,1).$ Consider the quantity $$\begin{aligned} S_{n}(p)=\frac{1}{n}\sum _{j=1}^{n}Q\left( j\right) ^{p} \end{aligned}$$ for any $p>0.$ The ergodic theorem yields that $S_{n}(p) \rightarrow \mu (p) :=E[Q(\infty )^{p}]$ , where $Q(\infty )$ is geometrically distributed with mean $\rho /(1-\rho ).$ It is known that one can explicitly characterize $I(\varepsilon )>0$ such that $$\begin{aligned} \lim \limits _{n\rightarrow \infty }\frac{1}{n}\log P\big (S_{n}(p)<\mu \left( p\right) -\varepsilon \big ) =-I\left( \varepsilon \right) ,\quad \varepsilon >0. \end{aligned}$$ In this paper, we show that the approximation of the right tail asymptotics requires a different logarithm scaling, giving $$\begin{aligned} \lim \limits _{n\rightarrow \infty }\frac{1}{n^{1/(1+p)}}\log P\big (S_{n} (p)>\mu \big (p\big )+\varepsilon \big )=-C\big (p\big ) \varepsilon ^{1/(1+p)}, \end{aligned}$$ where $C(p)>0$ is obtained as the solution of a variational problem. We discuss why this phenomenon—Weibullian right tail asymptotics rather than exponential asymptotics—can be expected to occur in more general queueing systems.