Duality of metric entropy in Euclidean space

Let K be a convex body in a Euclidean space, K° its polar body and D the Euclidean unit ball. We prove that the covering numbers N(K,tD) and N(D,tK°) are comparable in the appropriate sense, uniformly over symmetric convex bodies K, over t>0 and over the dimension of the space. In particular this verifies the duality conjecture for entropy numbers of linear operators, posed by Pietsch in 1972, in the central case when either the domain or the range of the operator is a Hilbert space. To cite this article: S. Artstein et al., C. R. Acad. Sci. Paris, Ser. I 337 (2003).     

A note on duality gaps in linear programming over convex sets

For certain types of mathematical programming problems, a related dual problem can be constructed in which the objective value of the dual problem is equal to the objective function of the given problem. If these two problems do not have equal values, a duality gap is said to exist. No such gap exists for pairs of ordinary dual linear programming problems, but this is not the case for linear programming problems in which the nonnegativity conditionx ? 0 is replaced by the condition thatx lies in a certain convex setK. Duffin (Ref. 1) has shown that, whenK is a cone and a certain interiority condition is fulfilled, there will be no duality gap. In this note, we show that no duality gap exists when the interiority condition is satisfied andK is an arbitrary closed convex set inR ⁿ .     

Uniform K-theory,and Poincaré duality for uniform K-homology

We revisit ?pakula's uniform K-homology, construct the external product for it and use this to deduce homotopy invariance of uniform K-homology.We define uniform K-theory and on manifolds of bounded geometry we give an interpretation of it via vector bundles of bounded geometry. We further construct a cap product with uniform K-homology and prove Poincaré duality between uniform K-theory and uniform K-homology on spin^c manifolds of bounded geometry.     

Projection problems for symmetric polytopes

Let K⊂Rn be a convex body (a compact, convex subset with non-empty interior), ΠK its projection body. Finding the least upper bound, as K ranges over the class of origin-symmetric convex bodies, of the affine-invariant ratio V(ΠK)/V(K)ⁿ⁻¹, being called Schneider's projection problem, is a well-known open problem in the convex geometry. To study this problem, Lutwak, Yang and Zhang recently introduced a new affine invariant functional for convex polytopes in Rn. For origin-symmetric convex polytopes, they posed a conjecture for the new functional U(P). In this paper, we give an affirmative answer to the conjecture in Rn, thereby, obtain a modified version of Schneider's projection problem.     

The distribution of reduced numbers in an ideal of a real cubic number field

Let K be a real but not totally real field of degree three over Q, and let A be an ideal in K. It is proved that the reduced numbers in A (i.e., numbers α with α > 1 and ?1 < Re α^(j) < 0 for all conjugates α^(j) ≠ α) are dense in a set of intervals of constant length, and no reduced numbers in A occur in the gaps between these intervals. In fact, the intervals are determined explicitly, and criteria are given for when the reduced numbers in A actually are dense in the whole of [1, ∞).     

Quantum convex support

Convex support, the mean values of a set of random variables, is central in information theory and statistics. Equally central in quantum information theory are mean values of a set of observables in a finite-dimensional C^∗-algebra A, which we call (quantum) convex support. The convex support can be viewed as a projection of the state space of A and it is a projection of a spectrahedron.Spectrahedra are increasingly investigated at least since the 1990s boom in semi-definite programming. We recall the geometry of the positive semi-definite cone and of the state space. We write a convex duality for general self-dual convex cones. This restricts to projections of state spaces and connects them to results on spectrahedra.Our main result is an analysis of the face lattice of convex support by mapping this lattice to a lattice of orthogonal projections, using natural isomorphisms. The result encodes the face lattice of the convex support into a set of projections in A and enables the integration of convex geometry with matrix calculus or algebraic techniques.     

Group duality with the topology of precompact convergence

The Pontryagin-van Kampen (P-vK) duality, defined for topological Abelian groups, is given in terms of the compact-open topology. Polar reflexive spaces, introduced by Köthe, are those locally convex spaces satisfying duality when the dual space is equipped with the precompact-open topology. It is known that the additive groups of polar reflexive spaces satisfy P-vK duality. In this note we consider the duality of topological Abelian groups when the topology of the dual is the precompact-open topology. We characterize the precompact reflexive groups, i.e., topological groups satisfying the group duality defined in terms of the precompact-open topology. As a consequence, we obtain a new characterization of polar reflexive spaces. We also present an example of a space which satisfies P-vK duality and is not polar reflexive. Some of our results respond to questions appearing in the literature.     

Integer cells in convex sets

Every convex body K in Rⁿ has a coordinate projection PK that contains at least cells of the integer lattice PZⁿ, provided this volume is at least one. Our proof of this counterpart of Minkowski's theorem is based on an extension of the combinatorial density theorem of Sauer, Shelah and Vapnik-Chervonenkis to Zⁿ. This leads to a new approach to sections of convex bodies. In particular, fundamental results of the asymptotic convex geometry such as the Volume Ratio Theorem and Milman's duality of the diameters admit natural versions for coordinate sections.     

Dualité pour les groupes de type multiplicatif sur certains corps de fonctions

Let K be the function field of a smooth projective curve X over a higher-dimensional local field k. We define Tate–Shafarevich groups of a commutative group scheme via cohomology classes locally trivial at each completion of K coming from a closed point of X. In this note, we state and sketch the proof of an arithmetic duality theorem for Tate–Shafarevich groups of groups of multiplicative type over K (and more generally of some two-term complexes of tori over K).     

Quaternionic structures

Any oriented 4-dimensional real vector bundle is naturally a line bundle over a bundle of quaternion algebras. In this paper we give an account of modules over bundles of quaternion algebras, discussing Morita equivalence, characteristic classes and K-theory. The results have been used to describe obstructions for the existence of almost quaternionic structures on 8-dimensional Spin^c manifolds in ?adek et al. (2008) [5] and may be of some interest, also, in quaternionic and algebraic geometry.     

On the duality operator of a convex cone

Let C be a convex set in Rⁿ. For each y?C, the cone of C at y, denoted by cone(y, C), is the cone {α(x ? y): α ? 0 and x?C}. If K is a cone in Rⁿ, we shall denote by $\text{K}{}^1$ its dual cone and by F(K) the lattice of faces of K. Then the duality operator of K is the mapping $\text{d}{}_{\mathrm{K}}\text{: F(K) → F(K}{}^1\text{)}$ given by $\text{d}{}_{\mathrm{K}}\text{(F) = (}\text{span}\text{F)}{}^{\mathrm{\perp }}\text{∩ K}{}^1$. Properties of the duality operator d_K of a closed, pointed, full cone K have been studied before. In this paper, we study d_K for a general cone K, especially in relation to d_{cone(y, K)}, where y?K. Our main result says that, for any closed cone K in Rⁿ, the duality operator d_K is injective (surjective) if and only if the duality operator d_{cone(y, K)} is injective (surjective) for each vector y?K ～ [K ∩ (? K)]. In the last part of the paper, we obtain some partial results on the problem of constructing a compact convex set C, which contains the zero vector, such that cone (0, C) is equal to a given cone.     

On strong reality of the unipotent Lie-type subgroups over a field of characteristic 2

A group G is called strongly real if its every nonidentity element is strongly real, i.e. conjugate with its inverse by an involution of G. We address the classical Lie-type groups of rank l, with l ≤ 4 and l ≤ 13, over an arbitrary field, and the exceptional Lie-type groups over a field K with an element η such that the polynomial X ² + X + η is irreducible either in K[X] or K ₀[X] (in particular, if K is a finite field). The following question is answered for the groups under study: What unipotent subgroups of the Lie-type groups over a field of characteristic 2 are strongly real?     

Dual Representations of Convex Sets and Gâteaux Differentiability Spaces

The duality of two kinds of representations of convex sets is studied: the tangential representation of a convex body and the representations of its polar or negative polar by means of their weak^* exposed points. The equivalence of the representations is proved and a condition for their validity is obtained for individual sets (the case of arbitrary locally convex space) and for classes of sets (the case of Gâteaux differentiability locally convex space). Properties of Gâteaux differentiability locally convex spaces are studied and some examples of such spaces are given.

     

Hessian measures of semi-convex functions and applications to support measures of convex bodies

This paper originates from the investigation of support measures of convex bodies (sets of positive reach), which form a central subject in convex geometry and also represent an important tool in related fields. We show that these measures are absolutely continuous with respect to Hausdorff measures of appropriate dimensions, and we determine the Radon-Nikodym derivatives explicitly on sets of σ-finite Hausdorff measure. The results which we obtain in the setting of the theory of convex bodies (sets of positive reach) are achieved as applications of various new results on Hessian measures of convex (semi-convex) functions. Among these are a Crofton formula, results on the absolute continuity of Hessian measures, and a duality theorem which relates the Hessian measures of a convex function to those of the conjugate function. In particular, it turns out that curvature and surface area measures of a convex body K are the Hessian measures of special functions, namely the distance function and the support function of K. Received: 15 July 1999     

Differential analysis of polarity: Polar Hamilton-Jacobi,conservation laws,and Monge Ampère equations

We develop a differential theory for the polarity transform parallel to that of the Legendre transform, which is applicable when the functions studied are “geometric convex”, namely, convex, non-negative, and vanish at the origin. This analysis establishes basic tools for dealing with this duality transform, such as the polar subdifferential map, and variational formulas. Another crucial step is identifying a new, non-trivial, sub-class of C ² functions preserved under this transform. This analysis leads to a new method for solving many new first order equations reminiscent of Hamilton–Jacobi and conservation law equations, as well as some second order equations of Monge–Ampère type. This article develops the theory of strong solutions for these equations which, due to the nonlinear nature of the polarity transform, is considerably more delicate than its counterparts involving the Legendre transform. As one application, we introduce a polar form of the homogeneous Monge–Ampère equation that gives a dynamical meaning to a new method of interpolating between convex functions and bodies. A number of other applications, e.g., to optimal transport and affine differential geometry are considered in sequels.     

Conjugate cone characterization of positive definite and semidefinite matrices

Positive definite and semidefinite matrices are characterized in terms of positive definiteness and semidefiniteness on arbitrary closed convex cones in Rⁿ. These results are obtained by generalizing Moreau's polar decomposition to a conjugate decomposition. Some typical results are: The matrix A is positive definite if and only if for some closed convex cone K, A is positive definite on K and (A+A^T)^?1 exists and is semidefinite on the polar cone K°. The matrix A is positive semidefinite if and only if for some closed convex cone K such that either K is polyhedral or (A+A^T)(K) is closed, A is positive semidefinite on both K and the conjugate cone K^A={s∣x^T(A+ A^T)s?0?x∈K}, and (A+A^T)x=0 for all x in K such that x^TAx=0.     

Equidistribution over function fields

We prove equidistribution of a generic net of small points in a projective variety X over a function field K. For an algebraic dynamical system over K, we generalize this equidistribution theorem to a small generic net of subvarieties. For number fields, these results were proved by Yuan and we transfer here his methods to function fields. If X is a closed subvariety of an abelian variety, then we can describe the equidistribution measure explicitly in terms of convex geometry.     

Minkowski's successive minima and the zeros of a convexity-function

For a convex bodyK?E ^d letV _i (K),i=0, 1,...,d denote its normalized quermassintegrals. We show that there are various inequalities between the zeros of the polynomial W(?μ K) = ∑ _i=0 ^d V_i(K)(?μ)ⁱ and Minkowski's successive minima in geometry of numbers.     

Polar Transform of Conformally Flat Metrics

In the theory of convex subsets in a Euclidean space, an important role is played by Minkowski duality (the polar transform of a convex set, or the Legendre transform of a convex set). We consider conformally flat Riemannian metrics on the n-dimensional unit sphere and their embeddings into the isotropic cone of the Lorentz space. For a given class of metrics, we define and carry out a detailed study of the Legendre transform.     

K-Theory of Surfaces at the Prime 2

We prove that for smooth surfaces over real closed fields, and a class of smooth projective surfaces over a real number field, the map between mod 2 algebraic and étale K-theory is an isomorphism in sufficiently large degrees. For a class of smooth projective surfaces over a real closed field, including rational surfaces, complete intersections and K3-surfaces over the real numbers, we explicate the abutment of the mod 2 motivic cohomology to algebraic K-theory spectral sequence.