Two graph isomorphism polytopes

The convex hull ψ_n,n of certain (n!)² tensors was considered recently in connection with graph isomorphism. We consider the convex hull ψ_n of the n! diagonals among these tensors. We show: 1. The polytope ψ_n is a face of ψ_n,n. 2. Deciding if a graph G has a subgraph isomorphic to H reduces to optimization over ψ_n. 3. Optimization over ψ_n reduces to optimization over ψ_n,n. In particular, this implies that the subgraph isomorphism problem reduces to optimization over ψ_n,n.     

Mean width inequalities for isotropic measures

In this paper, we establish Barthe’s mean width inequalities for continuous isotropic measures by a direct approach rather than using the Brascamp–Lieb inequality. The following results are obtained: among the convex hulls of the support of isotropic measures on S ^n–1, the regular simplex inscribed in the Euclidean unit ball has maximal ?-norm; in the dual situation, there is a reverse result for their polar bodies. Moreover, the case of even isotropic measures is also investigated.     

Isoperimetric inequality and the poincare inequality for distributions of polynomials on convex compact set

An isoperimetric inequality and a Poincare-type inequality are proved for probability measures on the line that are the images of a uniform distribution on a convex compact subset of R ⁿ under polynomial mappings of fixed degree d.     

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.     

Completions of convex families of convex bodies

The paper discusses the existence of a continuous extension of functions that are defined on subsets of ? ⁿ and whose values are convex bodies in ? ⁿ . This problem arose in convex geometry in connection with the notion, recently introduced in algebraic geometry, of convex Newton-Okounkov bodies.     

Contact points of convex bodies

LetB be a convex body in ? ⁿ and let ? be an ellipsoid of minimal volume containingB. By contact points ofB we mean the points of the intersection between the boundaries ofB and ?. By a result of P. Gruber, a generic convex body in ? ⁿ has (n+3)·n/2 contact points. We prove that for every ?>0 and for every convex bodyB ? ? ⁿ there exists a convex bodyK having $$m \leqslant C(\varepsilon ) \cdot n\log ^3 n$$ contact points whose Banach-Mazur distance toB is less than 1+?. We prove also that for everyt>1 there exists a convex symmetric body Γ ? ? ⁿ so that every convex bodyD ? ? ⁿ whose Banach-Mazur distance to Γ is less thant has at least (1+c ₀/t ²)·n contact points for some absolute constantc ₀. We apply these results to obtain new factorizations of Dvoretzky-Rogers type and to estimate the size of almost orthogonal submatrices of an orthogonal matrix.     

The Dirichlet problem for the minimal surface system in arbitrary dimensions and codimensions

Let Ω be a bounded C² domain in ?ⁿ and ? ?Ω → ?^m be a continuous map. The Dirichlet problem for the minimal surface system asks whether there exists a Lipschitz map f : Ω → ?^m with f|_?Ω = ? and with the graph of f a minimal submanifold in ?^n+m. For m = 1, the Dirichlet problem was solved more than 30 years ago by Jenkins and Serrin [12] for any mean convex domains and the solutions are all smooth. This paper considers the Dirichlet problem for convex domains in arbitrary codimension m. We prove that if ψ : ¯Ω → ?^m satisfies 8nδ sup_Ω |D²ψ| + √2 sup_?Ω |Dψ| < 1, then the Dirichlet problem for ψ|_?Ω is solvable in smooth maps. Here δ is the diameter of Ω. Such a condition is necessary in view of an example of Lawson and Osserman [13]. In order to prove this result, we study the associated parabolic system and solve the Cauchy‐Dirichlet problem with ψ as initial data. © 2003 Wiley Periodicals, Inc.     

The commutants of analytic Toeplitz operators for several complex variables

It is proved that if  is a nonconstant bounded analytic function on the unit ball B n and continuous on S n in C n , and ψ is a bounded measurable function on S n such that T * and T ψ commute, then ψ is the boundary value of an analytic function on B n . In addition, the commutants of two Toeplitz operators are also discussed.     

Convex bodies and multiplicities of ideals

We associate convex regions in ? ⁿ to m-primary graded sequences of subspaces, in particular m-primary graded sequences of ideals, in a large class of local algebras (including analytically irreducible local domains). These convex regions encode information about Samuel multiplicities. This is in the spirit of the theory of Gröbner bases and Newton polyhedra on the one hand, and the theory of Newton-Okounkov bodies for linear systems on the other hand. We use this to give a new proof as well as a generalization of a Brunn-Minkowski inequality for multiplicities due to Teissier and Rees-Sharp.     

Characterization of intermediate values of the triangle inequality II

In [Mineno K., Nakamura Y., Ohwada T., Characterization of the intermediate values of the triangle inequality, Math. Inequal. Appl., 2012, 15(4), 1019–1035] there was established a norm inequality which characterizes all intermediate values of the triangle inequality, i.e. C _n that satisfy 0 ≤ C _n ≤ Σ _j=1 ⁿ ‖x _j ‖ ? ‖Σ _j=1 ⁿ x _j ‖, x ₁,...,x _n ∈ X. Here we study when this norm inequality attains equality in strictly convex Banach spaces.     

Reverse Brunn–Minkowski and reverse entropy power inequalities for convex measures

We develop a reverse entropy power inequality for convex measures, which may be seen as an affine-geometric inverse of the entropy power inequality of Shannon and Stam. The specialization of this inequality to log-concave measures may be seen as a version of Milman?s reverse Brunn–Minkowski inequality. The proof relies on a demonstration of new relationships between the entropy of high dimensional random vectors and the volume of convex bodies, and on a study of effective supports of convex measures, both of which are of independent interest, as well as on Milman?s deep technology of M-ellipsoids and on certain information-theoretic inequalities. As a by-product, we also give a continuous analogue of some Plünnecke–Ruzsa inequalities from additive combinatorics.     

A two-dimensional inequality and uniformly continuous retractions

We prove a new inequality valid in any two-dimensional normed space. As an application, it is shown that the identity mapping on the unit ball of an infinite-dimensional uniformly convex Banach space is the mean of n uniformly continuous retractions from the unit ball onto the unit sphere, for every n?3. This last result allows us to study the extremal structure of uniformly continuous function spaces valued in an infinite-dimensional uniformly convex Banach space.     

Properties of P-sets and trapped compact convex sets

New properties of P-sets, which constitute a large class of convex compact sets in ? ⁿ that contains all convex polyhedra and strictly convex compact sets, are obtained. It is shown that the intersection of a P-set with an affine subspace is continuous in the Hausdorff metric. In this theorem, no assumption of interior nonemptiness is made, unlike in other known intersection continuity theorems for set-valued maps. It is also shown that if the graph of a set-valued map is a P-set, then this map is continuous on its entire effective set rather than only on the interior of this set. Properties of the so-called trapped sets are also studied; well-known Jung’s theorem on the existence of a minimal ball containing a given compact set in ? ⁿ is generalized. As is known, any compact set contains n + 1 (or fewer) points such that any translation by a nonzero vector takes at least one of them outside the minimal ball. This means that any compact set is trapped in the minimal ball. Compact sets trapped in any convex compact sets, rather than only in norm bodies, are considered. It is shown that, for any compact set A trapped in a P-set M ? ? ⁿ , there exists a set A ⁰ ? A trapped in M and containing at most 2n elements. An example of a convex compact set M ? ? ⁿ for which such a finite set A ⁰ ? A does not exist is given.     

Carleson embedding theorem on convex finite type domains

This paper concerns certain geometric aspects of function theory on smoothly bounded convex domains of finite type in Cn. Specifically, we prove the Carleson-Hörmander inequality for this class of domains and provide examples of Carleson measures improving a known result concerning such measures associated to bounded holomorphic functions.     

Symmetric multi-box splines for higher degree

We consider the space S _n =S _n (v ₀,…,v _n+r ) of compactly supported C ^n?1 piecewise polynomials on a mesh M of lines through ?² in directions v ₀,…,v _n+r . A sequence ψ=(ψ ₁,…,ψ _r ) of elements of S _n is called a multi-box spline if every element of S _n is a finite linear combination of shifts of (the components of) ψ. For the case n=2, 3 we give some examples for multi-box splines and show that they are not always stable. It is further shown that any C ^n?1 piecewise polynomial of degree n≥2 on M, is possibly a symmetric multi-box spline.     

Improved gradient method for monotone and lipschitz continuous mappings in banach spaces

Let C be a nonempty closed convex subset of a 2-uniformly convex and uniformly smooth Banach space E and {A_n}_(n∈N) be a family of monotone and Lipschitz continuos mappings of C into E~*. In this article, we consider the improved gradient method by the hybrid method in mathematical programming [10] for solving the variational inequality problem for{A_n} and prove strong convergence theorems. And we get several results which improve the well-known results in a real 2-uniformly convex and uniformly smooth Banach space and a real Hilbert space.     

Boundary Crossing Probabilities for General Exponential Families

We consider parametric exponential families of dimension K on the real line. We study a variant of boundary crossing probabilities coming from the multi-armed bandit literature, in the case when the real-valued distributions form an exponential family of dimension K. Formally, our result is a concentration inequality that bounds the probability that B ^ψ (θ? _n , θ*) ≥ f(t/n)/n, where θ* is the parameter of an unknown target distribution, θ? _n is the empirical parameter estimate built from n observations, ψ is the log-partition function of the exponential family and B ^ψ is the corresponding Bregman divergence. From the perspective of stochastic multi-armed bandits, we pay special attention to the case when the boundary function f is logarithmic, as it is enables to analyze the regret of the state-of-the-art KL-ucb and KL-ucb+ strategies, whose analysis was left open in such generality. Indeed, previous results only hold for the case when K = 1, while we provide results for arbitrary finite dimension K, thus considerably extending the existing results. Perhaps surprisingly, we highlight that the proof techniques to achieve these strong results already existed three decades ago in the work of T. L. Lai, and were apparently forgotten in the bandit community. We provide a modern rewriting of these beautiful techniques that we believe are useful beyond the application to stochastic multi-armed bandits.     

Capacities, surface area, and radial sums

A dual capacitary Brunn-Minkowski inequality is established for the (n−1)-capacity of radial sums of star bodies in Rn. This inequality is a counterpart to the capacitary Brunn-Minkowski inequality for the p-capacity of Minkowski sums of convex bodies in Rn, 1?p<n, proved by Borell, Colesanti, and Salani. When n?3, the dual capacitary Brunn-Minkowski inequality follows from an inequality of Bandle and Marcus, but here a new proof is given that provides an equality condition. Note that when n=3, the (n−1)-capacity is the classical electrostatic capacity. A proof is also given of both the inequality and a (different) equality condition when n=2. The latter case requires completely different techniques and an understanding of the behavior of surface area (perimeter) under the operation of radial sum. These results can be viewed as showing that in a sense (n−1)-capacity has the same status as volume in that it plays the role of its own dual set function in the Brunn-Minkowski and dual Brunn-Minkowski theories.     

Scaling properties of functionals and existence of constrained minimizers

In this paper we develop a new method to prove the existence of minimizers for a class of constrained minimization problems on Hilbert spaces that are invariant under translations. Our method permits to exclude the dichotomy of the minimizing sequences for a large class of functionals. We introduce family of maps, called scaling paths, that permits to show the strong subadditivity inequality. As byproduct the strong convergence of the minimizing sequences (up to translations) is proved. We give an application to the energy functional I associated to the Schrödinger-Poisson equation in R³

iψt+Δψ−(|x|⁻¹?²|ψ|)ψ+|ψ|^p−2ψ=0     

Uniform convexity of ψ-direct sums of Banach spaces

Let X and Y be Banach spaces and ψ a continuous convex function on the unit interval [0,1] satisfying certain conditions. Let X⊕_ψY be the direct sum of X and Y equipped with the associated norm with ψ. We show that X⊕_ψY is uniformly convex if and only if X,Y are uniformly convex and ψ is strictly convex. As a corollary we obtain that the ?_p,q-direct sum (not p=q=1 nor ∞), is uniformly convex if and only if X,Y are, where ?_p,q is the Lorentz sequence space. These results extend the well-known fact for the ?_p-sum . Some other examples are also presented.