Spectral self-affine measures with prime determinant

The self-affine measure $\mu _{M,D}$ relating to an expanding matrix $M\in M_{n}(\mathbb Z )$ and a finite digit set $D\subset \mathbb Z ^n$ is a unique probability measure satisfying the self-affine identity with equal weight. In the present paper, we shall study the spectrality of $\mu _{M,D}$ in the case when $|\det (M)|=p$ is a prime. The main result shows that under certain mild conditions, if there are two points $s_{1}, s_{2}\in \mathbb R ^{n}, s_{1}-s_{2}\in \mathbb Z ^{n}$ such that the exponential functions $e_{s_{1}}(x), e_{s_{2}}(x)$ are orthogonal in $L^{2}(\mu _{M,D})$ , then the self-affine measure $\mu _{M,D}$ is a spectral measure with lattice spectrum. This gives some sufficient conditions for a self-affine measure to be a lattice spectral measure.     

The Roles Played by Order of Convexity or Starlikeness and the Bloch Condition in the Extension of Mappings from the Disk to the Ball

Let ${G: \mathbb {C}^{n-1} \rightarrow \mathbb {C}}$ be holomorphic such that G(0)?=?0 and DG(0)?=?0. When f is a convex (resp. starlike) normalized (f(0)?=?0, f??(0)?=?1) univalent mapping of the unit disk ${\mathbb {D}}$ in ${\mathbb {C}}$ , then the extension of f to the Euclidean unit ball ${\mathbb {B}}$ in ${\mathbb {C}^n}$ given by ${\Phi_G(f)(z)=(f(z_1)+G(\sqrt{f^{\prime}(z_1)} \, \hat{z}),\sqrt{f^{\prime}(z_1)}\, \hat{z})}$ , ${\hat{z}=(z_2,\dots,z_n) \in \mathbb {C}^{n-1}}$ , is known to be convex (resp. starlike) if G is a homogeneous polynomial of degree 2 with sufficiently small norm. Conversely, it is known that G cannot have terms of degree greater than 2 in its expansion about 0 in order for ${\Phi_G(f)}$ to be convex (resp. starlike), in general. We examine whether the restriction that f be either convex or starlike of a certain order ${\alpha \in (0,1]}$ allows, in general, for G to contain terms of degree greater than 2 and still have ${\Phi_G(f)}$ maintain the respective geometric property. Related extension results for convex and starlike Bloch mappings are also given.     

Continuity of solutions of a problem in the calculus of variations

We study the problem of minimizing ${\int_{\Omega} L(x,u(x),Du(x))\,{\rm d}x}$ over the functions ${u\in W^{1,p}(\Omega)}$ that assume given boundary values ${\phi}$ on ???. We assume that L(x, u, Du)?=?F(Du)?+?G(x, u) and that F is convex. We prove that if ${\phi}$ is continuous and ?? is convex, then any minimum u is continuous on the closure of ??. When ?? is not convex, the result holds true if F(Du)?=?f(|Du|). Moreover, if ${\phi}$ is Lipschitz continuous, then u is H?lder continuous.     

Starshapedness vs. Convexity

Starshapedness is a generalization of convexity. A set C is convex if ${\forall x\in C}$ and ${\forall y\in C}$ the segment ${[x:y]\subset C}$ . On the other hand, a set S is starshaped if ${\exists y\in S}$ such that ${\forall x\in S}$ the segment ${[x:y]\subset S}$ . Due to these closely related definitions, convex and starshaped sets have many similarities, but there are also some striking differences. In this paper we continue our studies of such similarities and differences. Our main goal is to get characterizations of starshapedness and, further on, to describe a starshaped set and its kernel by means of cones included in its complement.     

Null curves in {\mathbb{C}^3} and Calabi–Yau conjectures

For any open orientable surface M and convex domain ${\Omega\subset \mathbb{C}^3,}$ there exist a Riemann surface N homeomorphic to M and a complete proper null curve F : N → Ω. This result follows from a general existence theorem with many applications. Among them, the followings:

For any convex domain Ω in ${\mathbb{C}^2}$ there exist a Riemann surface N homeomorphic to M and a complete proper holomorphic immersion F : N → Ω. Furthermore, if ${D \subset \mathbb{R}^2}$ is a convex domain and Ω is the solid right cylinder ${\{x \in \mathbb{C}^2 \,|\, \mbox{Re}(x) \in D\},}$ then F can be chosen so that Re(F) : N → D is proper.

There exist a Riemann surface N homeomorphic to M and a complete bounded holomorphic null immersion ${F:N \to {\rm SL}(2, \mathbb{C}).}$

There exists a complete bounded CMC-1 immersion ${X:M \to \mathbb{H}^3.}$

For any convex domain ${\Omega \subset \mathbb{R}^3}$ there exists a complete proper minimal immersion (X _j ) _j=1,2,3 : M → Ω with vanishing flux. Furthermore, if ${D \subset \mathbb{R}^2}$ is a convex domain and ${\Omega=\{(x_j)_{j=1,2,3} \in \mathbb{R}^3 \,|\, (x_1,x_2) \in D\},}$ then X can be chosen so that (X ₁, X ₂) : M → D is proper.

Any of the above surfaces can be chosen with hyperbolic conformal structure.     

Constructing metrics on a 2-torus with a partially prescribed stable norm

A result of Bangert states that the stable norm associated to any Riemannian metric on the 2-torus T ² is strictly convex. We demonstrate that the space of stable norms associated to metrics on T ² forms a proper dense subset of the space of strictly convex norms on ${{\mathbb R}^2}$ . In particular, given a strictly convex norm || · ||_∞ on ${{\mathbb R}^2}$ we construct a sequence ${\langle {\| \cdot \|}_j \rangle_{j=1}^{\infty}}$ of stable norms that converge to || · ||_∞ in the topology of compact convergence and have the property that for each r > 0 there is an ${N \equiv N(r)}$ such that || · || _j agrees with || · ||_∞ on ${{\mathbb Z}^2 \cap \{(a,b) : a^2 + b^2 \leq r \}}$ for all j ≥ N. Using this result, we are able to derive results on multiplicities which arise in the minimum length spectrum of 2-tori and in the simple length spectrum of hyperbolic tori.     

Conic volume ratio of the packing cone associate to a convex body

Given a convex body ${K\subset\mathbb{R}^n}$ (n??? 1) which contains o in its interior and ${{\bf u} \in S^{n-1}}$ , we introduce conic volume ratio r(K, u) of K in the direction of u by $$r(K, {\bf u})=\frac{vol(cone(K,{\bf u})\cap B_2^n)}{vol(B_2^n)},$$ where cone(K, u) is the packing cone of K in the direction of u. We prove that if K is an o-symmetric convex body in ${\mathbb{R}^n}$ and r(K, u) is a constant function of u, then K must be a Euclidean ball.     

Convex underestimators of polynomials

Convex underestimators of a polynomial on a box. Given a non convex polynomial ${f\in \mathbb{R}[{\rm x}]}$ and a box ${{\rm B}\subset \mathbb{R}^n}$ , we construct a sequence of convex polynomials ${(f_{dk})\subset \mathbb{R}[{\rm x}]}$ , which converges in a strong sense to the “best” (convex and degree-d) polynomial underestimator ${f^{*}_{d}}$ of f. Indeed, ${f^{*}_{d}}$ minimizes the L ₁-norm ${\Vert f-g\Vert_1}$ on B, over all convex degree-d polynomial underestimators g of f. On a sample of problems with non convex f, we then compare the lower bounds obtained by minimizing the convex underestimator of f computed as above and computed via the popular α BB method and some of its other refinements. In most of all examples we obtain significantly better results even with the smallest value of k.     

On the minimal volume of simplices enclosing a convex body

Let \({C \subset \mathbb{R}^n}\) be a compact convex body. We prove that there exists an n-simplex \({S\subset \mathbb{R}^n}\) enclosing C such that \({{\rm Vol}(S) \leq n^{n-1} {\rm Vol}(C)}\) .     

An isoperimetric deficit upper bound of the convex domain in a surface of constant curvature

In this paper, we give a reverse analog of the Bonnesen-style inequality of a convex domain in the surface $ \mathbb{X} $ _∈ of constant curvature ∈, that is, an isoperimetric deficit upper bound of the convex domain in $ \mathbb{X} $ _∈ . The result is an analogue of the known Bottema’s result of 1933 in the Euclidean plane $ \mathbb{E} $ ².     

Totally geodesic discs in strongly convex domains

We prove that every isometry from the unit disk Δ in ${\mathbb{C}}$ , endowed with the Poincaré distance, to a strongly convex bounded domain Ω of class ${\mathcal{C}^3}$ in ${\mathbb{C}^n}$ , endowed with the Kobayashi distance, is the composition of a complex geodesic of Ω with either a conformal or an anti-conformal automorphism of Δ. As a corollary we obtain that every isometry for the Kobayashi distance, from a strongly convex bounded domain of class ${\mathcal{C}^3}$ in ${\mathbb{C}^n}$ to a strongly convex bounded domain of class ${\mathcal{C}^3}$ in ${\mathbb{C}^m}$ , is either holomorphic or anti-holomorphic.     

Characteristic functions as distributional boundary values of analytic functions in tube domains

We propose necessary and sufficient conditions for a complex-valued function f on \( {{\mathbb{R}}^n} \) to be a characteristic function of a probability measure. Certain analytic extensions of f to tubular domains in \( {{\mathbb{C}}^n} \) are studied. In order to extend the class of functions under study, we also consider the case where f is a generalized function (distribution). The main result is given in terms of completely monotonic functions on convex cones in \( {{\mathbb{R}}^n} \) .     

A Characterization of Some Mixed Volumes via the Brunn–Minkowski Inequality

We consider a functional $\mathcal{F}$ on the space of convex bodies in ? ⁿ of the form $$ {\mathcal{F}}(K)=\int_{\mathbb{S}^{n-1}} f(u) \mathrm{S}_{n-1}(K,du), $$ where $f\in C(\mathbb{S}^{n-1})$ is a given continuous function on the unit sphere of ? ⁿ , K is a convex body in ? ⁿ , n≥3, and S _n?1(K,?) is the area measure of K. We prove that $\mathcal{F}$ satisfies an inequality of Brunn–Minkowski type if and only if f is the support function of a convex body, i.e., $\mathcal{F}$ is a mixed volume. As a consequence, we obtain a characterization of translation invariant, continuous valuations which are homogeneous of degree n?1 and satisfy a Brunn–Minkowski type inequality.     

The moment problem for continuous positive semidefinite linear functionals

Let τ be a locally convex topology on the countable dimensional polynomial ${\mathbb{R}}$ -algebra ${\mathbb{R} [\underline{X}] := \mathbb{R} [X_1, \ldots, X_{n}]}$ . Let K be a closed subset of ${\mathbb{R} ^{n}}$ , and let ${M := M_{\{g_1, \ldots, g_s\}}}$ be a finitely generated quadratic module in ${\mathbb{R} [\underline{X}]}$ . We investigate the following question: When is the cone Psd(K) (of polynomials nonnegative on K) included in the closure of M? We give an interpretation of this inclusion with respect to representing continuous linear functionals by measures. We discuss several examples; we compute the closure of ${M = \sum \mathbb{R} [\underline{X}]^{2}}$ with respect to weighted norm-p topologies. We show that this closure coincides with the cone Psd(K) where K is a certain convex compact polyhedron.     

Tiling Convex Polygons with Congruent Equilateral Triangles

We study the sets $\mathcal{T}_{v}=\{m \in\{1,2,\ldots\}: \mbox{there is a convex polygon in }\mathbb{R}^{2}\mbox{ that has }v\mbox{ vertices and can be tiled with $m$ congruent equilateral triangles}\}$ , v=3,4,5,6. $\mathcal{T}_{3}$ , $\mathcal{T}_{4}$ , and $\mathcal{T}_{6}$ can be quoted completely. The complement $\{1,2,\ldots\} \setminus\mathcal{T}_{5}$ of $\mathcal{T}_{5}$ turns out to be a subset of Euler’s numeri idonei. As a consequence, $\{1,2,\ldots\} \setminus\mathcal{T}_{5}$ can be characterized with up to two exceptions, and a complete characterization is given under the assumption of the Generalized Riemann Hypothesis.     

Reverse Bonnesen style inequalities in a surface \mathbb{X}_\varepsilon ^2 of constant curvature

We investigate the isoperimetric deficit upper bound, that is, the reverse Bonnesen style inequality for the convex domain in a surface $\mathbb{X}_\varepsilon ^2$ of constant curvature ? via the containment measure of a convex domain to contain another convex domain in integral geometry. We obtain some reverse Bonnesen style inequalities that extend the known Bottema’s result in the Euclidean plane $\mathbb{E}^2$ .     

Boundary parametrization of planar self-affine tiles with collinear digit set

We consider a class of planar self-affine tiles T = M-1 a∈D(T + a) generated by an expanding integral matrix M and a collinear digit set D as follows:M =(0-B 1-A),D = {(00),...,(|B|0-1)}.We give a parametrization S1 →T of the boundary of T with the following standard properties.It is H¨older continuous and associated with a sequence of simple closed polygonal approximations whose vertices lie on T and have algebraic preimages.We derive a new proof that T is homeomorphic to a disk if and only if 2|A| |B + 2|.     

Monotonicity and logarithmic convexity relating to the volume of the unit ball

Let Ω _n denote the volume of the unit ball in ${\mathbb{R}^n}$ for ${n\in\mathbb{N}}$ . In the present paper, the authors prove that the sequence ${\Omega_{n}^{1/(n\,{\rm ln}\,n)}}$ is logarithmically convex and that the sequence ${\frac{\Omega_{n}^{1/(n\,{\rm ln}\,n)}}{\Omega_{n+1}^{1/[(n+1)\,{\rm ln}(n+1)]}}}$ is strictly decreasing for n ≥ 2. In addition, some monotonic and concave properties of several functions relating to Ω _n are extended and generalized.     

Decomposition of Minkowski–Rådström–Hörmander Space to the Direct Sum of Symmetric and Asymmetric Subspaces

Any abstract convex cone S with a uniformity satisfying the law of cancellation can be embedded in a topological vector space $\widetilde{S}$ (Urbański, Bull Acad Pol Sci, Sér Sci Math Astron Phys 24:709–715, 1976). We introduce a notion of a cone symmetry and decompose in Theorem 2.12 a quotient vector space $\widetilde{S}$ into a topological direct sum of its symmetric subspace $\widetilde{S}_s$ and asymmetric subspace $\widetilde{S}_a$ . In Theorem 2.19 we prove a similar decomposition for a normed space $\widetilde{S}$ . In section 3 we apply decomposition to Minkowski–Rådström–Hörmander (MRH) space with three best known norms and four symmetries. In section 4 we obtain a continuous selection from a MRH space over ?² to the family of pairs of nonempty compact convex subsets of ?².     

Approximating the maximum size of a k-regular induced subgraph by an upper bound on the co-k-plex number

Let ?? _k and $ {\hat{\alpha }_k} $ denote respectively the maximum cardinality of a k-regular induced subgraph and the co-k-plex number of a given graph. In this paper, we introduce a convex quadratic programming upper bound on $ {\hat{\alpha }_k} $ , which is also an upper bound on ?? _k . The new bound denoted by $ {\hat{\upsilon }_k} $ improves the bound ?? _k given in [3]. For regular graphs, we prove a necessary and sufficient condition under which $ {\hat{\upsilon }_k} $ equals ?? _k . We also show that the graphs for which $ {\hat{\alpha }_k} $ equals $ {\hat{\upsilon }_k} $ coincide with those such that ?? _k equals ?? _k . Next, an improvement of $ {\hat{\upsilon }_k} $ denoted by $ {\hat{\vartheta }_k} $ is proposed, which is not worse than the upper bound ? _k for ?? _k introduced in [8]. Finally, some computational experiments performed to appraise the gains brought by $ {\hat{\vartheta }_k} $ are reported.