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$.     

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].     

Hadwiger’s Theorem for definable functions

Hadwiger’s Theorem states that _En${\mathbb{E}}_n$-invariant convex-continuous valuations of definable sets in Rⁿ${\mathbb{R}}^n$ are linear combinations of intrinsic volumes. We lift this result from sets to data distributions over sets, specifically, to definable R$\mathbb{R}$-valued functions on Rⁿ${\mathbb{R}}^n$. This generalizes intrinsic volumes to (dual pairs of) non-linear valuations on functions and provides a dual pair of Hadwiger classification theorems.     

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$.     

The topological structure of fuzzy sets with sendograph metric

For a non-degenerate convex subset Y of the n  -dimensional Euclidean space Rⁿ${\mathbb{R}}^n$, let F(Y)$\mathbb{F}(Y)$ be the family of all fuzzy sets of Rⁿ${\mathbb{R}}^n$ which are upper semicontinuous, fuzzy convex and normal with compact supports contained in Y  . We show that the space F(Y)$\mathbb{F}(Y)$ with the topology of sendograph metric is homeomorphic to the separable Hilbert space ?²${?}^2$ if Y   is compact; and the space F(Rⁿ)$\mathbb{F}({\mathbb{R}}^n)$ is also homeomorphic to ?²${?}^2$.     

Existence and boundary stabilization of solutions for the coupled semilinear system

We investigate the global existence of both strong and weak solutions for a semilinear coupled system with homogeneous feedback boundary conditions in bounded open domain Ω$\Omega$ in Rⁿ${\mathbb{R}}^n$ with n∈N$n\in \mathbb{N}$. We also prove the exponential decay of total energy associated with weak solutions.     

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.     

Multidimensional extension of the Morse–Hedlund theorem

A celebrated result of Morse and Hedlund, stated in 1938, asserts that a sequence x$x$ over a finite alphabet is ultimately periodic if and only if, for some n$n$, the number of different factors of length n$n$ appearing in x$x$ is less than n+1$n+1$. Attempts to extend this fundamental result, for example, to higher dimensions, have been considered during the last fifteen years. Let d≥2$d\ge 2$. A legitimate extension to a multidimensional setting of the notion of periodicity is to consider sets of Z^d${\mathbb{Z}}^d$ definable by a first order formula in the Presburger arithmetic 〈Z;<,+〉$〈\mathbb{Z};<,+〉$. With this latter notion and using a powerful criterion due to Muchnik, we exhibit a complete extension of the Morse–Hedlund theorem to an arbitrary dimension d$d$ and characterize sets of Z^d${\mathbb{Z}}^d$ definable in 〈Z;<,+〉$〈\mathbb{Z};<,+〉$ in terms of some functions counting recurrent blocks, that is, blocks occurring infinitely often.     

Multi-tiling and Riesz bases

Let S   be a bounded, Riemann measurable set in R^d${\mathbb{R}}^d$, and Λ be a lattice. By a theorem of Fuglede, if S   tiles R^d${\mathbb{R}}^d$ with translation set Λ, then S has an orthogonal basis of exponentials. We show that, under the more general condition that S multi-tiles  R^d${\mathbb{R}}^d$ with translation set Λ, S has a Riesz basis of exponentials. The proof is based on Meyer?s quasicrystals.     

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.     

A general expression for the distribution of the maximum of a Gaussian field and the approximation of the tail

We study the probability distribution F(u)$F\left(u\right)$ of the maximum of smooth Gaussian fields defined on compact subsets of R^d${\mathbb{R}}^d$ having some geometric regularity.     

A simple condition for bounded displacement

We study separated nets Y   that arise from primitive substitution tilings of R^d${\mathbb{R}}^d$. We show that the question whether Y   is a bounded displacement of Z^d${\mathbb{Z}}^d$ or not can be reduced, in many cases, to a simple question on the eigenvalues and eigenspaces of the substitution matrix.     

Analysis of symmetric matrix valued functions I

For any symmetric function f:Rⁿ?Rⁿ$f:{\mathbb{R}}^n?{\mathbb{R}}^n$, one can define a corresponding function on the space of n×n$n\times n$ real symmetric matrices by applying f$f$ to the eigenvalues of the spectral decomposition. We show that this matrix valued function inherits from f$f$ the properties of continuity, Lipschitz continuity, strict continuity, directional differentiability, Frechet differentiability, continuous differentiability.     

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.     

Energy decay for the linear Klein–Gordon equation and boundary control

In this work we study the asymptotic behavior of the solutions of the linear Klein–Gordon equation in R^N${\mathbb{R}}^N$, N?1$N?1$. We prove that local energy of solutions to the Cauchy problem decays polynomially. Afterwards, we use the local decay of energy to study exact boundary controllability for the linear Klein–Gordon equation in general bounded domains of R^N${\mathbb{R}}^N$, N?1$N?1$.