A Geometric Lower Bound Theorem

We resolve a conjecture of Kalai relating approximation theory of convex bodies by simplicial polytopes to the face numbers and primitive Betti numbers of these polytopes and their toric varieties. The proof uses higher notions of chordality. Further, for C ²-convex bodies, asymptotically tight lower bounds on the g-numbers of the approximating polytopes are given, in terms of their Hausdorff distance from the convex body.     

The relative Chebyshev centers of finite sets in geodesic spaces

In the present paper we estimate variation in the relative Chebyshev radius R _W (M), where M and W are nonempty bounded sets of a metric space, as the sets M and W change. We find the closure and the interior of the set of all N-nets each of which contains its unique relative Chebyshev center, in the set of all N-nets of a special geodesic space endowed by the Hausdorff metric. We consider various properties of relative Chebyshev centers of a finite set which lie in this set.     

An Analog of Titchmarsh’s Theorem for the Fourier–Walsh Transform

The space clos(X) of all nonempty closed subsets of an unbounded metric space X is considered. The space clos(X) is endowed with a metric in which a sequence of closed sets converges if and only if the distances from these sets to a fixed point θ are bounded and, for any r, the sequence of the unions of the given sets with the exterior balls of radius r centered at θ converges in the Hausdorff metric. The metric on clos(X) thus defined is not equivalent to the Hausdorff metric, whatever the initial metric space X. Conditions for a set to be closed, totally bounded, or compact in clos(X) are obtained; criteria for the bounded compactness and separability of clos(X) are given. The space of continuous maps from a compact space to clos(X) is considered; conditions for a set to be totally bounded in this space are found.     

Some dimensional results for a class of special homogeneous Moran sets

We construct a class of special homogeneous Moran sets, called {m_k}-quasi homogeneous Cantor sets, and discuss their Hausdorff dimensions. By adjusting the value of {m_k}_k?1, we constructively prove the intermediate value theorem for the homogeneous Moran set. Moreover, we obtain a sufficient condition for the Hausdorff dimension of ho- mogeneous Moran sets to assume the minimum value, which expands earlier works.     

Squares and their centers

We study the relationship between the size of two sets B, S ? R², when B contains either the whole boundary or the four vertices of a square with axes-parallel sides and center in every point of S. Size refers to cardinality, Hausdorff dimension, packing dimension, or upper or lower box dimension. Perhaps surprisingly, the results vary depending on the notion of size under consideration. For example, we construct a compact set B of Hausdorff dimension 1 which contains the boundary of an axes-parallel square with center in every point in [0, 1]², prove that such a B must have packing and lower box dimension at least 7/4, and show by example that this is sharp. For more general sets of centers, the answers for packing and box counting dimensions also differ. These problems are inspired by the analogous problems for circles that were investigated by Bourgain, Marstrand and Wolff, among others.     

Removable sets for homogeneous linear partial differential equations in Carnot groups

Let L be a homogeneous left-invariant differential operator on a Carnot group. Assume that both L and L^t are hypoelliptic. We study the removable sets for L-solutions. We give precise conditions in terms of the Carnot- Caratheodory Hausdorff dimension for the removability for L-solutions under several auxiliary integrability or regularity hypotheses. In some cases, our criteria are sharp on the level of the relevant Hausdorff measure. One of the main ingredients in our proof is the use of novel local self-similar tilings in Carnot groups.     

Necessary and Sufficient Conditions for the Solvability of the Neumann and the Regularity Problems in <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> of Some Schrödinger Equations on Lipschitz Domains

Let n ≥? 3and Ω be a bounded Lipschitz domain in \(\mathbb {R}^{n}\). Assume that the non-negative potential V belongs to the reverse Hölder class \(RH_{n}(\mathbb {R}^{n})\) and p ∈ (2, ∞). In this article, two necessary and sufficient conditions for the unique solvability of the Neumann and the Regularity problems of the Schrödinger equation ? Δu + V u =? 0 in Ω with boundary data in L ^p , in terms of a weak reverse Hölder inequality with exponent p and the unique solvability of the Neumann and the Regularity problems with boundary data in some weighted L ² space, are established. As applications, for any p ∈ (1, ∞), the unique solvability of the Regularity problem for the Schrödinger equation ? Δu + V u =?0 in the bounded (semi-)convex domain Ω with boundary data in L ^p is obtained.     

An Implicit Function Theorem for Inclusions Defined by Close Mappings

The paper deals with the question of the solvability of inclusions F(x, σ) ∈ Q for mappings F close, in some metrics, to a given mapping ?F.     

On solvability of f(p(x)) = q(f(x)) for given real functions p,q

We investigate the solvability of functional equations f(p(x)) =  q(f(x)) for given functions p and q which are partially or completely defined on the set of all real numbers. For these investigations, we use methods for constructions of homomorphisms of mono-unary algebras. We can present a simple characterisation of solvability of the above equation in the case that p, q are strictly increasing and continuous functions. It gives, on the one hand, a practical use for a class of functional equations. On the other hand, it is a contribution to questions on topological conjugacy of monotonous real functions.     

Affine embeddings of Cantor sets and dimension of <Emphasis Type="Italic">αβ</Emphasis>-sets

Let E,F ? R^d be two self-similar sets, and suppose that F can be affinely embedded into E. Under the assumption that E is dust-like and has a small Hausdorff dimension, we prove the logarithmic commensurability between the contraction ratios of E and F. This gives a partial affirmative answer to Conjecture 1.2 in [9]. The proof is based on our study of the boxcounting dimension of a class of multi-rotation invariant sets on the unit circle, including the αβ-sets initially studied by Engelking and Katznelson.     

Unions of Fat Convex Polytopes Have Short Skeletons

The skeleton of a polyhedral set is the union of its edges and vertices. Let \(\mathcal {P}\) be a set of fat, convex polytopes in three dimensions with n vertices in total, and let f _max be the maximum complexity of any face of a polytope in \(\mathcal {P}\). We prove that the total length of the skeleton of the union of the polytopes in \(\mathcal {P}\) is at most O(α(n)?log^? n?logf _max) times the sum of the skeleton lengths of the individual polytopes.     

Complete intersections in spherical varieties

Let G be a complex reductive algebraic group. We study complete intersections in a spherical homogeneous space G / H defined by a generic collection of sections from G-invariant linear systems. Whenever nonempty, all such complete intersections are smooth varieties. We compute their arithmetic genus as well as some of their \(h^{p,0}\) numbers. The answers are given in terms of the moment polytopes and Newton–Okounkov polytopes associated to G-invariant linear systems. We also give a necessary and sufficient condition on a collection of linear systems so that the corresponding generic complete intersection is nonempty. This criterion applies to arbitrary quasi-projective varieties (i.e., not necessarily spherical homogeneous spaces). When the spherical homogeneous space under consideration is a complex torus \((\mathbb {C}^*)^n\), our results specialize to well-known results from the Newton polyhedra theory and toric varieties.     

Consistent Digital Rays

Given a fixed origin o in the d-dimensional grid, we give a novel definition of digital rays dig(op) from o to each grid point p. Each digital ray dig(op) approximates the Euclidean line segment \(\overline {op}\) between o and p. The set of all digital rays satisfies a set of axioms analogous to the Euclidean axioms. We measure the approximation quality by the maximum Hausdorff distance between a digital ray and its Euclidean counterpart and establish an asymptotically tight Θ(log?n) bound in the n×n grid. The proof of the bound is based on discrepancy theory and a simple construction algorithm. Without a monotonicity property for digital rays the bound is improved to O(1). Digital rays enable us to define the family of digital star-shaped regions centered at o, which we use to design efficient algorithms for image processing problems.     

Approximation of Gaussian Random Fields: General Results and Optimal Wavelet Representation of the Lévy Fractional Motion

We investigate the approximation rate for certain centered Gaussian fields by a general approach. Upper estimates are proved in the context of so–called Hölder operators and lower estimates follow from the eigenvalue behavior of some related self–adjoint integral operator in a suitable L ₂(μ)–space. In particular, we determine the approximation rate for the Lévy fractional Brownian motion X _H with Hurst parameter H∈(0,1), indexed by a self–similar set T?? ^N of Hausdorff dimension D. This rate turns out to be of order n ^?H/D (log?n)^1/2. In the case T=[0,1] ^N we present a concrete wavelet representation of X _H leading to an approximation of X _H with the optimal rate n ^?H/N (log?n)^1/2.     

One-sided approximation in <Emphasis Type="Italic">L</Emphasis> of the characteristic function of an interval by trigonometric polynomials

The value of the best one-sided integral approximation of the characteristic function of the interval (?h, h) by trigonometric polynomials of given degree is found for any 0 < h ≤ π.     

Removable singularities of solutions of linear uniformly elliptic second order equations

Let L be a uniformly elliptic linear second order differential operator in divergence form with bounded measurable real coefficients in a bounded domain G ? ?ⁿ (n ? 2). We define classes of continuous functions in G that contain generalized solutions of the equation L? = 0 and have the property that the compact sets removable for such solutions in these classes can be completely described in terms of Hausdorff measures.     

On the Exact Maximum Complexity of Minkowski Sums of Polytopes

We present a tight bound on the exact maximum complexity of Minkowski sums of polytopes in ?³. In particular, we prove that the maximum number of facets of the Minkowski sum of k polytopes with m ₁,m ₂,…,m _k facets, respectively, is bounded from above by \(\sum_{1\leq i. Given k positive integers m ₁,m ₂,…,m _k , we describe how to construct k polytopes with corresponding number of facets, such that the number of facets of their Minkowski sum is exactly \(\sum_{1\leq i. When k=2, for example, the expression above reduces to 4m ₁ m ₂?9m ₁?9m ₂+26.     

On the curve of critical exponents for nonlinear elliptic problems in the case of a zero mass

For semilinear elliptic equations ?Δu = λ|u| ^p?2 u?|u| ^q?2 u, boundary value problems in bounded and unbounded domains are considered. In the plane of exponents p × q, the so-called curves of critical exponents are defined that divide this plane into domains with qualitatively different properties of the boundary value problems and the corresponding parabolic equations. New solvability conditions for boundary value problems, conditions for the stability and instability of stationary solutions, and conditions for the existence of global solutions to parabolic equations are found.     

One-Sided Integral Approximations of the Generalized Poisson Kernel by Trigonometric Polynomials

We consider the generalized Poisson kernel Π _q,α = cos(απ/2)P + sin(απ/2)Q with q ∈ (?1, 1) and α ∈ ?, which is a linear combination of the Poisson kernel \(P(t) = 1/2 + \sum\nolimits_{k = 1}^\infty {{q^k}} \cos kt\)and the conjugate Poisson kernel \(Q(t) = \sum\nolimits_{k = 1}^\infty {{q^k}} \sin kt\). The values of the best integral approximation to the kernel Π _q,α from below and from above by trigonometric polynomials of degree not exceeding a given number are found. The corresponding polynomials of the best one-sided approximation are obtained.     

Random cutout sets with spatially inhomogeneous intensities

We study the Hausdorff dimension of Poissonian cutout sets defined via inhomogeneous intensity measures on Q-regular metric spaces. Our main results explain the dependence of the dimension of the cutout sets on the multifractal structure of the average densities of the Q-regular measure. As a corollary, we obtain formulas for the Hausdorff dimension of such cutout sets in self-similar and self-conformal spaces using the multifractal decomposition of the average densities for the natural measures.