Notes on Schneider’s stability estimates for convex sets

In 2009 Schneider obtained stability estimates in terms of the Banach–Mazur distance for several geometric inequalities for convex bodies in an n-dimensional normed space ${\mathbb{E}^n}$ . A unique feature of his approach is to express fundamental geometric quantities in terms of a single function ${\rho:\mathfrak{B} \times \mathfrak{B} \to \mathbb{R}}$ defined on the family of all convex bodies ${\mathfrak{B}}$ in ${\mathbb{E}^n}$ . In this paper we show that (the logarithm of) the symmetrized ρ gives rise to a pseudo-metric d _D on ${\mathfrak{B}}$ inducing, from our point of view, a finer topology than Banach–Mazur’s d _BM . Further, d _D induces a metric on the quotient ${\mathfrak{B}/{\rm Dil}^+}$ of ${\mathfrak{B}}$ by the relation of positive dilatation (homothety). Unlike its compact Banach–Mazur counterpart, d _D is only “boundedly compact,” in particular, complete and locally compact. The general linear group ${{\rm GL}(\mathbb{E}^n)}$ acts on ${\mathfrak{B}/{\rm Dil}^+}$ by isometries with respect to d _D , and the orbit space is naturally identified with the Banach–Mazur compactum ${\mathfrak{B}/{\rm Aff}}$ via the natural projection ${\pi:\mathfrak{B}/{\rm Dil}^+\to\mathfrak{B}/{\rm Aff}}$ , where Aff is the affine group of ${\mathbb{E}^n}$ . The metric d _D has the advantage that many geometric quantities are explicitly computable. We show that d _D provides a simpler and more fitting environment for the study of stability; in particular, all the estimates of Schneider turn out to be valid with d _BM replaced by d _D .     

Zero asymptotic Lipschitz distance and finite Gromov-Hausdorff distance

We give an example which shows that the Burago's bounded distance theorem does not hold in a non-intrinsic metric case. The argument is based on the classical answer to the densest circle packing problem in R2.     

Wolff’s inequality in multi-parameter Morrey spaces

We prove Wolff inequalities for multi-parameter Riesz potentials and Wolff potentials in Lebesque spaces L ^p (R ^d ) and multi-parameter Morrey spaces ${L^p_\lambda (R^d)}$ , where ${R^d=R^{n_1} \times R^{n_2} \times \cdots \times R^{n_k},\, \lambda = (\lambda _1,\ldots ,\lambda _k})$ and 0?<?λ _i ≤ n _i , 1?≤ i ≤ k, in the dyadic case as well as in the non-dyadic (continuous) case.     

Extension sets,affine designs,and Hamada’s conjecture

We introduce the notion of an extension set for an affine plane of order q to study affine designs \({\mathcal {D}}'\) with the same parameters as, but not isomorphic to, the classical affine design \({\mathcal {D}} = \mathrm {AG}_2(3,q)\) formed by the points and planes of the affine space \(\mathrm {AG}(3,q)\) which are very close to this geometric example in the following sense: there are blocks \(B'\) and B of \({\mathcal {D}'}\) and \({\mathcal {D}}\), respectively, such that the residual structures \({\mathcal {D}}'_{B'}\) and \({\mathcal {D}}_B\) induced on the points not in \(B'\) and B, respectively, agree. Moreover, the structure \({\mathcal {D}}'(B')\) induced on \(B'\) is the q-fold multiple of an affine plane \({\mathcal {A}}'\) which is determined by an extension set for the affine plane \(B \cong AG(2,q)\). In particular, this new approach will result in a purely theoretical construction of the two known counterexamples to Hamada’s conjecture for the case \(\mathrm {AG}_2(3,4)\), which were discovered by Harada et al. [7] as the result of a computer search; a recent alternative construction, again via a computer search, is in [23]. On the other hand, we also prove that extension sets cannot possibly give any further counterexamples to Hamada’s conjecture for the case of affine designs with the parameters of some \(\mathrm {AG}_2(3,q)\); thus the two counterexamples for \(q=4\) might be truly sporadic. This seems to be the first result which establishes the validity of Hamada’s conjecture for some infinite class of affine designs of a special type. Nevertheless, affine designs which are that close to the classical geometric examples are of interest in themselves, and we provide both theoretical and computational results for some particular types of extension sets. Specifically, we obtain a theoretical construction for one of the two affine designs with the parameters of \(\mathrm {AG}_2(3,3)\) and 3-rank 11 and for an affine design with the parameters of \(\mathrm {AG}_2(3,4)\) and 2-rank 17 (in both cases, just one more than the rank of the classical example).     

New estimates in Voronovskaja’s theorem

In the present article we establish pointwise variant of E. V. Voronovskaja’s 1932 result, concerning the degree of approximation of Bernstein operator, applied to functions f ∈ C ³[0, 1].     

On Aubry sets and Mather’s action functional

We study Lagrangian systems on a closed manifoldM. We link the differentiability of Mather’sβ-function with the topological complexity of the complement of the Aubry set. As a consequence, whenM is a closed, orientable surface, the differentiability of theβ-function at a given homology class is forced by the irrationality of the homology class. This allows us to prove the two-dimensional case of a conjecture by Mañé.     

On dilworth’s theorem in the in finite case

The following theorem is proved: Letc be an infinite cardinal. There exists a partially ordered set of cardinalc, which contains no infinite independent subset, and which is not decomposable into less thanc chains.     

The largest Erdős-Ko-Rado sets of planes in finite projective and finite classical polar spaces

Erd?s-Ko-Rado sets of planes in a projective or polar space are non-extendable sets of planes such that every two have a non-empty intersection. In this article we classify all Erd?s-Ko-Rado sets of planes that generate at least a 6-dimensional space. For general dimension (projective space) or rank (polar space) we give a classification of the ten largest types of Erd?s-Ko-Rado sets of planes. For some small cases we find a better, sometimes complete, classification.     

Transseries and Todorov–Vernaeve’s asymptotic fields

We study the relationship between fields of transseries and residue fields of convex subrings of non-standard extensions of the real numbers. This was motivated by a question of Todorov and Vernaeve, answered in this paper.     

Normal systems over ANR’s, rigid embeddings and nonseparable absorbing sets

Most of results of Bestvina and Mogilski [Characterizing certain incomplete infinite-di-mensional absolute retracts. Michigan Math. J., 33, 291-313 (1986)] on strong Z-sets in ANR's and absorbing sets is generalized to nonseparable case. It is shown that if an ANR X is locally homotopy dense embeddable in infinite-dimensional Hilbert manifolds and w(U ) = w(X ) (where "w"is the topological weight) for each open nonempty subset U of X , then X itself is homotopy dense embeddable in a Hilbert manifold. It is also demonstrated that whenever X is an AR, its weak product W (X, ) = {(x n ) ∞ n=1 ∈ X ω : x n = for almost all n} is homeomorphic to a pre-Hilbert space E with E ～ = ΣE. An intrinsic characterization of manifolds modelled on such pre-Hilbert spaces is given.     

Piecewise periodicity structure estimates in Shirshov’s height theorem

The Gelfand-Kirillov dimension of l-generated general matrices is equal to (l ? 1)n ² + 1. Due to the Amitzur-Levitsky theorem, the minimal degree of the identity of this algebra is 2n. That is why the essential height of A being an l-generated PI-algebra of degree n over every set of words is greater than (l ? 1)n ²/4 + 1. In this paper we prove that if A has a finite Gelfand-Kirillov dimension, then the number of lexicographically comparable subwords with the period (n ? 1) in each monoid of A is not greater than (l ? 2)(n ? 1). The case of subwords with the period 2 can be generalized to the proof of Shirshov’s height theorem.     

Regular subsets of valued fields and Bhargava’s v-orderings

We generalize notions and results obtained by Amice for regular compact subsets S of a local field K and extended by Bhargava to general compact subsets of K. Considering any ultrametric valued field K and subsets S that are regular in a generalized sense (but not necessarily compact), we show that they still have strong properties such as having v-orderings ${\{a_n\}_{n\geq0}}$ which satisfy a generalized Legendre formula, which are very well ordered and well distributed sequences in the sense of Helsmoortel and which remain v-orderings when a finite number of the initial terms of the sequence are deleted.     

Optimality conditions and finite convergence of Lasserre’s hierarchy

Lasserre’s hierarchy is a sequence of semidefinite relaxations for solving polynomial optimization problems globally. This paper studies the relationship between optimality conditions in nonlinear programming theory and finite convergence of Lasserre’s hierarchy. Our main results are: (i) Lasserre’s hierarchy has finite convergence when the constraint qualification, strict complementarity and second order sufficiency conditions hold at every global minimizer, under the standard archimedean condition; the proof uses a result of Marshall on boundary hessian conditions. (ii) These optimality conditions are all satisfied at every local minimizer if a finite set of polynomials, which are in the coefficients of input polynomials, do not vanish at the input data (i.e., they hold in a Zariski open set). This implies that, under archimedeanness, Lasserre’s hierarchy has finite convergence generically.     

Hölder estimates for Green’s functions on convex polyhedral domains and their applications to finite element methods

A model second-order elliptic equation on a general convex polyhedral domain in three dimensions is considered. The aim of this paper is twofold: First sharp Hölder estimates for the corresponding Green’s function are obtained. As an applications of these estimates to finite element methods, we show the best approximation property of the error in \({W^1_{\infty}}\) . In contrast to previously known results, \({W_p^{2}}\) regularity for p > 3, which does not hold for general convex polyhedral domains, is not required. Furthermore, the new Green’s function estimates allow us to obtain localized error estimates at a point.     

Two-sided estimates for essential height in Shirshov’s Height Theorem

The paper is focused on two-sided estimates for the essential height in Shirshov??s Height Theorem. The concepts of the selective height and strong n-divisibility directly related to the height and n-divisibility are introduced. We prove lower and upper bounds for the selective height over nonstrongly n-divisible words of length 2. For any n and sufficiently large l these bounds differ at most twice. The case of words of length 3 is also studied. The case of words of length 2 can be generalized to the proof of an upper exponential estimate in Shirshov??s Height Theorem. The proof uses the idea of V.N. Latyshev related to the application of Dilworth??s theorem to the study of non n-divisible words.     

A note on Stone’s,Baire’s,Ky Fan’s and Dugundji’s theorem in tvs-cone metric spaces

Recently, Ayse Sonmez [A. Sonmez, On paracompactness in cone metric spaces, Appl. Math. Lett. 23 (2010) 494–497] proved that a cone metric space is paracompact when the underlying cone is normal. Also, very recently, Kieu Phuong Chi and Tran Van An [K.P. Chi, T. Van An, Dugundji’s theorem for cone metric spaces, Appl. Math. Lett. (2010) doi:10.1016/j.aml.2010.10.034] proved Dugundji’s extension theorem for the normal cone metric space. The aim of this paper is to prove this in the frame of the tvs-cone spaces in which the cone does not need to be normal. Examples are given to illustrate the results.