An upper bound for a valence of a face in a parallelohedral tiling

Consider a face-to-face parallelohedral tiling of R^d${\mathbb{R}}^d$ and a (d−k)$(d-k)$-dimensional face F$F$ of the tiling. We prove that the valence of F$F$ (i.e. the number of tiles containing F$F$ as a face) is not greater than 2^k$2^k$. If the tiling is affinely equivalent to a Voronoi tiling for some lattice (the so called Voronoi case), this gives a well-known upper bound for the number of vertices of a Delaunay k$k$-cell. Yet we emphasize that such an affine equivalence is not assumed in the proof.     

The Morse–Sard theorem for Clarke critical values

The Morse–Sard theorem states that the set of critical values of a C^k$C^k$ smooth function defined on a Euclidean space R^d${\mathbb{R}}^d$ has Lebesgue measure zero, provided k≥d$k\ge d$. This result is hereby extended for (generalized) critical values of continuous selections over a compactly indexed countable family of C^k$C^k$ functions: it is shown that these functions are Lipschitz continuous and the set of their Clarke critical values is null.     

Linearly repetitive Delone sets are rectifiable

We show that every linearly repetitive Delone set in the Euclidean d  -space R^d${\mathbb{R}}^d$, with d?2$d?2$, is equivalent, up to a bi-Lipschitz homeomorphism, to the integer lattice Z^d${\mathbb{Z}}^d$. In the particular case when the Delone set X   in R^d${\mathbb{R}}^d$ comes from a primitive substitution tiling of R^d${\mathbb{R}}^d$, we give a condition on the eigenvalues of the substitution matrix which ensures the existence of a homeomorphism with bounded displacement from X   to the lattice βZ^d$\beta {\mathbb{Z}}^d$ for some positive β. This condition includes primitive Pisot substitution tilings but also concerns a much broader set of substitution tilings.     

On removable sets for convex functions

In the present article we provide a sufficient condition for a closed set F∈R^d$F\in {\mathbb{R}}^d$ to have the following property which we call c  -removability: Whenever a continuous function f:R^d→R$f:{\mathbb{R}}^d\to \mathbb{R}$ is locally convex on the complement of F  , it is convex on the whole R^d${\mathbb{R}}^d$. We also prove that no generalized rectangle of positive Lebesgue measure in R²${\mathbb{R}}^2$ is c-removable. Our results also answer the following question asked in an article by Jacek Tabor and Józef Tabor (2010) [5]: Assume the closed set F⊂R^d$F\subset {\mathbb{R}}^d$ is such that any locally convex function defined on R^d?F${\mathbb{R}}^d?F$ has a unique convex extension on R^d${\mathbb{R}}^d$. Is F   necessarily intervally thin (a notion of smallness of sets defined by their “essential transparency” in every direction)? We prove the answer is negative by finding a counterexample in R²${\mathbb{R}}^2$.     

Universal polynomials for Severi degrees of toric surfaces

The Severi variety parameterizes plane curves of degree d$d$ with δ$\delta$ nodes. Its degree is called the Severi degree. For large enough d$d$, the Severi degrees coincide with the Gromov–Witten invariants of CP²$\mathbb{C}{\mathbb{P}}^2$. Fomin and Mikhalkin (2010) [10] proved the 1995 conjecture that for fixed δ$\delta$, Severi degrees are eventually polynomial in d$d$.     

Asymptotic average shadowing property on compact metric spaces

We prove that if for a continuous map f$f$ on a compact metric space X$X$, the chain recurrent set, R(f)$R\left(f\right)$ has more than one chain component, then f$f$ does not satisfy the asymptotic average shadowing property. We also show that if a continuous map f$f$ on a compact metric space X$X$ has the asymptotic average shadowing property and if A$A$ is an attractor for f$f$, then A$A$ is the single attractor for f$f$ and we have A=R(f)$A=R\left(f\right)$. We also study diffeomorphisms with asymptotic average shadowing property and prove that if M$M$ is a compact manifold which is not finite with dimM=2$dimM=2$, then the C¹$C^1$ interior of the set of all C¹$C^1$ diffeomorphisms with the asymptotic average shadowing property is characterized by the set of Ω$\Omega$-stable diffeomorphisms.     

Regularity of semigroups generated by Lévy type operators via coupling

By adopting the coupling method, we obtain new verifiable sufficient conditions about the _Cb(R^d)$C_b\left({\mathbb{R}}^d\right)$-Feller continuity, the Lipschitz continuity and the strong Feller continuity of the semigroups associated with Lévy type operators. These results easily apply to jump–diffusion processes and stochastic differential equations driven by Lévy processes. Our results also yield the criterion for the e$e$-property (namely the characterization about the equi-continuity of semigroups acting on bounded Lipschitz functions) of Lévy type operators, and show that both genuine Lévy processes and the Ornstein–Uhlenbeck type processes are e$e$-processes.     

Hopf subalgebras and tensor powers of generalized permutation modules

By means of a certain module V$V$ and its tensor powers in a finite tensor category, we study a question of whether the depth of a Hopf subalgebra R$R$ of a finite-dimensional Hopf algebra H$H$ is finite. The module V$V$ is the counit representation induced from R$R$ to H$H$, which is then a generalized permutation module, as well as a module coalgebra. We show that if in the subalgebra pair either Hopf algebra has finite representation type, or V$V$ is either semisimple with R^∗$R^{\ast }$ pointed, projective, or its tensor powers satisfy a Burnside ring formula over a finite set of Hopf subalgebras including R$R$, then the depth of R$R$ in H$H$ is finite. One assigns a nonnegative integer depth to V$V$, or any other H$H$-module, by comparing the truncated tensor algebras of V$V$ in a finite tensor category and so obtains upper and lower bounds for depth of a Hopf subalgebra. For example, a relative Hopf restricted module has depth 1, and a permutation module of a corefree subgroup has depth less than the number of values of its character.     

On the sum of two closed subspaces

If U,V$U,V$ are closed subspaces of a Fréchet space, then E$E$ is the direct sum of U$U$ and V$V$ if and only if E^′$E^{\prime }$ is the algebraic direct sum of the annihilators U^°$U^{°}$ and V^°$V^{°}$. We provide a simple proof of this (possibly well-known) result.     

Harness processes and harmonic crystals

In the Hammersley harness processes the R$\mathbb{R}$-valued height at each site i∈Z^d$i\in {\mathbb{Z}}^d$ is updated at rate 1 to an average of the neighboring heights plus a centered random variable (the noise). We construct the process “a la Harris” simultaneously for all times and boxes contained in Z^d${\mathbb{Z}}^d$. With this representation we compute covariances and show L²$L^2$ and almost sure time and space convergence of the process. In particular, the process started from the flat configuration and viewed from the height at the origin converges to an invariant measure. In dimension three and higher, the process itself converges to an invariant measure in L²$L^2$ at speed t^1−d/2$t^{1-d/2}$ (this extends the convergence established by Hsiao). When the noise is Gaussian the limiting measures are Gaussian fields (harmonic crystals) and are also reversible for the process.     

Ergodic behavior of diffusions with random jumps from the boundary

We consider a diffusion process on D⊂R^d$D\subset {\mathbb{R}}^d$, which upon hitting ∂D$\partial D$, is redistributed in D$D$ according to a probability measure depending continuously on its exit point. We prove that the distribution of the process converges exponentially fast to its unique invariant distribution and characterize the exponent as the spectral gap for a differential operator that serves as the generator of the process on a suitable function space.     

Stable extendibility of vector bundles over real projective spaces

Let F$\mathbb{F}$ be either the real number field R$\mathbb{R}$ or the complex number field C$\mathbb{C}$ and RPⁿ${\mathbb{RP}}^n$ the real projective space of dimension n. Theorems A and C in Hemmi and Kobayashi (2008) [2] give necessary and sufficient conditions for a given F$\mathbb{F}$-vector bundle over RPⁿ${\mathbb{RP}}^n$ to be stably extendible to RP^m${\mathbb{RP}}^m$ for every m?n$m?n$. In this paper, we simplify the theorems and apply them to the tangent bundle of RPⁿ${\mathbb{RP}}^n$, its complexification, the normal bundle associated to an immersion of RPⁿ${\mathbb{RP}}^n$ in R^n+r${\mathbb{R}}^{n+r}$(r>0)$(r>0)$, and its complexification. Our result for the normal bundle is a generalization of Theorem A in Kobayashi et al. (2000) [8] and that for its complexification is a generalization of Theorem 1 in Kobayashi and Yoshida (2003) [5].     

Convergence to Lévy stable processes under some weak dependence conditions

For a strictly stationary sequence of random vectors in R^d${\mathbb{R}}^d$ we study convergence of partial sum processes to a Lévy stable process in the Skorohod space with _J1$J_1$-topology. We identify necessary and sufficient conditions for such convergence and provide sufficient conditions when the stationary sequence is strongly mixing.     

Estimating the ground state energy of the Schrödinger equation for convex potentials

In 2011, the fundamental gap conjecture for Schrödinger operators was proven. This can be used to estimate the ground state energy of the time-independent Schrödinger equation with a convex potential and relative error ε$\epsilon$. Classical deterministic algorithms solving this problem have cost exponential in the number of its degrees of freedom d$d$. We show a quantum algorithm, that is based on a perturbation method, for estimating the ground state energy with relative error ε$\epsilon$. The cost of the algorithm is polynomial in d$d$ and ε⁻¹${\epsilon }^{-1}$, while the number of qubits is polynomial in d$d$ and logε⁻¹$log{\epsilon }^{-1}$. In addition, we present an algorithm for preparing a quantum state that overlaps within 1−δ,δ∈(0,1)$1-\delta ,\delta \in (0,1)$, with the ground state eigenvector of the discretized Hamiltonian. This algorithm also approximates the ground state with relative error ε$\epsilon$. The cost of the algorithm is polynomial in d$d$, ε⁻¹${\epsilon }^{-1}$ and δ⁻¹${\delta }^{-1}$, while the number of qubits is polynomial in d$d$, logε⁻¹$log{\epsilon }^{-1}$ and logδ⁻¹$log{\delta }^{-1}$.     

Intersection local times for interlacements

We define renormalized intersection local times for random interlacements of Lévy processes in R^d$R^d$ and prove an isomorphism theorem relating renormalized intersection local times with associated Wick polynomials.     

The spherical ergodic theorem revisited

In this paper, we give a new proof of a result of R. Jones showing almost everywhere convergence of spherical means of actions of R^d${\mathbb{R}}^d$ on L^p(X)$L^p(X)$-spaces are convergent for d?3$d?3$ and p>d/(d-1)$p>d/(d-1)$.     

The Helmholtz equation in a non-smooth inclusion

In this paper, we study the Helmholtz equation in a non-smooth inclusion, i.e., in a doubly connected bounded domain B$B$ in R²$R^2$ with boundary ∂B$\partial B$ that consists of two disjoint closed curves Γ$\Gamma$ and _Γ0${\Gamma }_0$. The existence and uniqueness of a solution to the Helmholtz equation for mixed boundary conditions on Γ$\Gamma$ are obtained by using Riesz–Fredholm theory.