A note on the extremal bodies of constant width for the Minkowski measure

In a previous paper, we showed that for all convex bodies K of constant width in ${\mathbb{R}^n, 1 \leq {\rm as}_\infty(K) \leq \frac{n+\sqrt{2n(n+1)}}{n+2}}$ , where as_∞(·) denotes the Minkowski measure of asymmetry, with the equality holding on the right-hand side if K is a completion of a regular simplex, and asked whether or not the completions of regular simplices are the only bodies for the equality. A positive answer is given in this short note.     

On a measure of asymmetry for Reuleaux polygons

In a previous paper, we showed that for regular Reuleaux polygons R _n the equality ${{\rm as}_\infty(R_n) = 1/(2\cos \frac\pi{2n} -1)}$ holds, where ${{\rm as}_\infty(\cdot)}$ denotes the Minkowski measure of asymmetry for convex bodies, and ${{\rm as}_\infty(K)\leq \frac 12(\sqrt{3}+1)}$ for all convex domains K of constant width, with equality holds iff K is a Reuleaux triangle. In this paper, we investigate the Minkowski measures of asymmetry among all Reuleaux polygons of order n and show that regular Reuleaux polygons of order n (n ?? 3 and odd) have the minimal Minkowski measure of asymmetry.     

On the average volume of sections of convex bodies

The average section functional as(K) of a star body in Rn is the average volume of its central hyperplane sections: \(as\left( k \right) = \int_{{S^{n - 1}}} {\left| {K \cap {\xi ^ \bot }} \right|} d\sigma \left( \xi \right)\). We study the question whether there exists an absolute constantC > 0 such that for every n, for every centered convex body K in R ⁿ and for every 1 ≤ k ≤ n ? 2,

$$as\left( K \right) \leqslant {C^k}{\left| K \right|^{\frac{k}{n}}}\mathop {\max }\limits_{|E \in G{r_{n - k}}} {\kern 1pt} as\left( {K \cap E} \right)$$

. We observe that the case k = 1 is equivalent to the hyperplane conjecture. We show that this inequality holds true in full generality if one replaces C by CL _K orCd_ovr(K, BP _k ⁿ ), where L _K is the isotropic constant of K and dovr(K, BP _k ⁿ ) is the outer volume ratio distance of K to the class BP _k ⁿ of generalized k-intersection bodies. We also compare as(K) to the average of as(K ∩ E) over all k-codimensional sections of K. We examine separately the dependence of the constants on the dimension when K is in some classical position. Moreover, we study the natural lower dimensional analogue of the average section functional.

     

On the extremal distance between two convex bodies

We consider the following modified version of the Banach-Mazur distance of convex bodies in \(\mathbb{R}^n :d\left( {K,L} \right) = \inf \left\{ {\left| \lambda \right|:\lambda \in \mathbb{R},\tilde K \subset \tilde L \subset \lambda \tilde K} \right\}\), where the infimum is taken over all non-degenerate affine images \(\tilde K\) and \(\tilde L\) of K and L. Gordon, Litvak, Meyer and Pajor in 2004 showed that for any two convex bodies d(K,L) ≤ n, moreover, if K is a simplex and L = ?L then d(K,L) = n. The following question arises naturally: Is equality only attained when one of the sets is a simplex? Leichtweiss in 1959, and later Palmon in 1992 proved that if d(K,B ₂ ⁿ ) = n, where B ₂ ⁿ is the Euclidean ball, then K is the simplex. We prove the affirmative answer to the question in the case when one of the bodies is strictly convex or smooth, thus obtaining a generalization of the result of Leichtweiss and Palmon.     

On coherent families of uniformizing elements in some towers of Abelian extensions of local number fields

For a local number field K with the ring of integers \( {\mathcal{O}_K} \), the residue field \( {\mathbb{F}_q} \), and uniformizing π, we consider the Lubin–Tate tower \( {K_\pi } = \bigcap\limits_{n \geqslant 0} {{K_n}} \), where K _n = K(π _n ), f(π0) = 0, and f(π _n +1) = π _n . Here f(X) defines the endomorphism [π] of the Lubin–Tate group. If q ≠ 2, then for any formal power series \( g(X) \in {\mathcal{O}_K}\left[ {\left[ X \right]} \right] \) the following equality holds: \( \sum\limits_{n = 0}^\infty {{\text{SP}}{{{K_n}} \mathord{\left/{\vphantom {{{K_n}} K}} \right.} K}} g\left( {{\pi_n}} \right) = - g(0) \). One has a similar equality in the case q = 2.     

Functional limit theorems for the maxima of perturbed random walk and divergent perpetuities in the <Emphasis Type="Italic">M</Emphasis><Subscript>1</Subscript>-topology

Let (ξ ₁, η ₁), (ξ ₂, η ₂),… be a sequence of i.i.d. two-dimensional random vectors. In the earlier article Iksanov and Pilipenko (2014) weak convergence in the J ₁-topology on the Skorokhod space of \(n^{-1/2}\underset {0\leq k\leq [n\cdot ]}{\max }\,(\xi _{1}+\ldots +\xi _{k}+\eta _{k+1})\) was proved under the assumption that contributions of \(\underset {0\leq k\leq n}{\max }\,(\xi _{1}+\ldots +\xi _{k})\) and \(\underset {1\leq k\leq n}{\max }\,\eta _{k}\) to the limit are comparable and that n ^?1/2(ξ ₁+… + ξ _[n?]) is attracted to a Brownian motion. In the present paper, we continue this line of research and investigate a more complicated situation when ξ ₁+… + ξ _[n?], properly normalized without centering, is attracted to a centered stable Lévy process, a process with jumps. As a consequence, weak convergence normally holds in the M ₁-topology. We also provide sufficient conditions for the J ₁-convergence. For completeness, less interesting situations are discussed when one of the sequences \(\underset {0\leq k\leq n}{\max }\,(\xi _{1}+\ldots +\xi _{k})\) and \(\underset {1\leq k\leq n}{\max }\,\eta _{k}\) dominates the other. An application of our main results to divergent perpetuities with positive entries is given.     

A Formula for the Partition Function That “Counts”

We derive a combinatorial multisum expression for the number D(n, k) of partitions of n with Durfee square of order k. An immediate corollary is therefore a combinatorial formula for p(n), the number of partitions of n. We then study D(n, k) as a quasipolynomial. We consider the natural polynomial approximation \({\tilde{D}(n, k)}\) to the quasipolynomial representation of D(n, k). Numerically, the sum \({\sum_{1\leq k \leq \sqrt{n}} \tilde{D}(n, k)}\) appears to be extremely close to the initial term of the Hardy-Ramanujan-Rademacher convergent series for p(n).     

Spherical bodies of constant width

The intersection L of two different non-opposite hemispheres G and H of the d-dimensional unit sphere \(S^d\) is called a lune. By the thickness of L we mean the distance of the centers of the \((d-1)\)-dimensional hemispheres bounding L. For a hemisphere G supporting a convex body \(C \subset S^d\) we define \(\mathrm{width}_G(C)\) as the thickness of the narrowest lune or lunes of the form \(G \cap H\) containing C. If \(\mathrm{width}_G(C) =w\) for every hemisphere G supporting C, we say that C is a body of constant width w. We present properties of these bodies. In particular, we prove that the diameter of any spherical body C of constant width w on \(S^d\) is w, and that if \(w < \frac{\pi }{2}\), then C is strictly convex. Moreover, we check when spherical bodies of constant width and constant diameter coincide.     

Minkowski Additive Operators Under Volume Constraints

We investigate Minkowski additive, continuous, and translation invariant operators \(\Phi :\mathcal {K}^n\rightarrow \mathcal {K}^n\) defined on the family of convex bodies such that the volume of the image \(\Phi (K)\) is bounded from above and below by multiples of the volume of the convex body K, uniformly in K. We obtain a representation result for an infinite subcone contained in the cone formed by this type of operators. Under the additional assumption of monotonicity or \({{\mathrm{SO}}}(n)\)-equivariance, we obtain new characterization results for the difference body operator.     

Oscillations of cusp form coefficients in exponential sums

Let f(z)=∑ _n=1 ^∞ λ(n)n ^(κ?1)/2 e(nz) be a holomorphic cusp form of weight κ for the full modular group SL ₂(?) and let μ(n) be the Möbius function. In this paper, we are concerned with the sum

$S(\alpha,X)=\sum _{n\leq X}\mu (n)\lambda(n)e(\alpha \sqrt{n}),\quad 0\neq \alpha \in \mathbb{R}.$

It is proved that, unconditionally, \(S(\alpha,X)\ll X^{\frac{5}{6}}(\log X)^{20}\), where the implied constant depends only on α and the cusp form f.

     

Coverings of random ellipsoids,and invertibility of matrices with i.i.d. heavy-tailed entries

Let A = (a_ij) be an n × n random matrix with i.i.d. entries such that Ea₁₁ = 0 and Ea ₁₁ ² = 1. We prove that for any δ > 0 there is L > 0 depending only on δ, and a subset N of B ₂ ⁿ of cardinality at most exp(δn) such that with probability very close to one we have

$$A\left( {B_2^n} \right)\subset\mathop \cup \limits_{y \in A\left( \mathcal{N} \right)} \left( {y + L\sqrt n B_2^n} \right)$$

. In fact, a stronger statement holds true. As an application, we show that for some L' > 0 and u ∈ [0, 1) depending only on the distribution law of a11, the smallest singular value sn of the matrix A satisfies

$$\mathbb{P}\left\{ {{s_n}\left( A \right) \leq \varepsilon {n^{ - 1/2}}} \right\} \leq L'\varepsilon + {u^n}$$

for all ε > 0. The latter result generalizes a theorem of Rudelson and Vershynin which was proved for random matrices with subgaussian entries.

     

Stability of volume comparison for complex convex bodies

We prove the stability of the affirmative part of the solution to the complex Busemann–Petty problem. Namely, if K and L are origin-symmetric convex bodies in \({{\mathbb C}^n}\), n = 2 or n = 3, \({\varepsilon >0 }\) and \({{\rm Vol}_{2n-2}(K\cap H) \le {\rm Vol}_{2n-2}(L \cap H) + \varepsilon}\) for any complex hyperplane H in \({{\mathbb C}^n}\) , then \({({\rm Vol}_{2n}(K))^{\frac{n-1}n}\le({\rm Vol}_{2n}(L))^{\frac{n-1}n} + \varepsilon}\) , where Vol_2n is the volume in \({{\mathbb C}^n}\) , which is identified with \({{\mathbb R}^{2n}}\) in the natural way.     

The Katchalski–Lewis transversal problem for regular polygons

If every k-membered subfamily of a family of plane convex bodies has a line transversal, then we say that this family has property T(k). We say that a family \({\mathcal{F}}\) has property \({T-m}\), if there exists a subfamily \({\mathcal{G} \subset \mathcal{F}}\) with \({|\mathcal{F} - \mathcal{G}| \le m}\) admitting a line transversal. Heppes [7] posed the problem whether there exists a convex body K in the plane such that if \({\mathcal{F}}\) is a finite T(3)-family of disjoint translates of K, then m = 3 is the smallest value for which \({\mathcal{F}}\) has property \({T-m}\). In this paper, we study this open problem in terms of finite T(3)-families of pairwise disjoint translates of a regular 2n-gon \({(n \ge 5)}\). We find out that, for \({5 \le n \le 34}\), the family has property \({T - 3}\) ; for \({n \ge 35}\), the family has property \({T - 2}\).     

Mean Square Estimates for Coefficients of Symmetric Power <Emphasis Type="Italic">L</Emphasis>-Functions

Let L(sym ^j f,s) be the jth symmetric power L-function attached to a holomorphic Hecke eigencuspform f(z) for the full modular group, and \(\lambda_{\mathrm{sym}^{j}f}(n)\) denote its nth coefficient. In this paper we are able to prove that

$\int_{1}^{x}\bigg|\sum_{n\leq y}\lambda_{\mathrm{sym}^{3}f}(n)\bigg|^{2}dy=O\bigl(x^{2}\bigr),$

and

$\int_{1}^{x}\bigg|\sum_{n\leq y}\lambda_{\mathrm{sym}^{4}f}(n)\bigg|^{2}dy=O\bigl(x^{\frac{11}{5}}\log x\bigr).$

     

On the Gomory–Hu Inequality

It was proved by R. Gomory and T. Hu in 1961 that, for every finite nonempty ultrametric space (X, d), the inequaliy \( \left| {\mathrm{Sp}(X)} \right|\leq \left| X \right|-1 \), where Sp(X) = {d(x, y) : x, y ∈ X, x ≠ y} , holds. We characterize the spaces X for which the equality is attained by the structural properties of some graphs and show that the set of isometric types of such X is dense in the Gromov–Hausdorff space of the isometric types of compact ultrametric spaces.     

Orthogonal Polynomials Associated with Equilibrium Measures on $\mathbb {R}$

Let K be a non-polar compact subset of \(\mathbb {R}\) and μ _K denote the equilibrium measure of K. Furthermore, let P _n (?;μ _K ) be the n-th monic orthogonal polynomial for μ _K . It is shown that \(\|P_{n}\left (\cdot ; \mu _{K}\right )\|_{L^{2}(\mu _{K})}\), the Hilbert norm of P _n (?;μ _K ) in L ²(μ _K ), is bounded below by Cap(K) ⁿ for each \(n\in \mathbb {N}\). A sufficient condition is given for\(\left (\|P_{n}\left (\cdot ;\mu _{K}\right )\|_{L^{2}(\mu _{K})}/\text {Cap}(K)^{n}\right )_{n=1}^{\infty }\) to be unbounded. More detailed results are presented for sets which are union of finitely many intervals.     

A reverse isoperimetric inequality for embedded starshaped plane curves

In this note, we present a reverse isoperimetric inequality for embedded starshaped closed plane curves, which states that if K is a starshaped domain with perimeter p(K) and area a(K), then one gets

$$\begin{aligned} p(K)^2 \le 4\pi \Big ((a(K)+\tilde{a}(K)\Big ), \end{aligned}$$

where \(\tilde{a}(K)\) denotes the oriented area of the domain enclosed by \(\beta \) (defined in Section 2), and equality holds if and only if K is a disc.

     

Lie n-derivatio ns o n $ {\mathcal {}}$-subspace lattice algebras

Let \(\mathcal {L}\) be a \(\mathcal {J}\)-subspace lattice on a Banach space X over the real or complex field \(\mathbb {F}\) with dimX ≥ 3 and let n ≥ 2 be an integer. Suppose that dimK ≠ 2 for every \(K\in \mathcal {J}{(\mathcal L)}\) and \(L: \text {Alg}\, \mathcal {L}\rightarrow \text {Alg}\,\mathcal {L}\) is a linear map. It is shown that L satisfies \({\sum }_{i=1}^{n}p_{n} (A_{1}, \ldots , A_{i-1}, L(A_{i}), A_{i+1}, \ldots , A_{n})=0\) whenever p _n (A ₁,A ₂,…,A _n ) = 0 for \(A_{1},A_{2},\ldots ,A_{n}\in \text {Alg}\,\mathcal {L}\) if and only if for each \(K\in \mathcal {J}(\mathcal {L})\), there exists a bounded linear operator \(T_{K}\in \mathcal {B}(K)\), a scalar λ _K and a linear functional \(h_{K}: \text {Alg}\,\mathcal {L}\rightarrow \mathbb {F}\) such that L(A)x = (T _K A ? A T _K + λ _K A + h _K (A)I)x for all x ∈ K and all \(A\in \text {Alg}\,\mathcal {L}\). Based on this result, a complete characterization of linear n-Lie derivations on \(\text {Alg}\,\mathcal {L}\) is obtained.     

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.     

Maximal Marcinkiewicz multipliers

Let \(\mathcal{M} =\{m_{j}\}_{j=1}^{\infty}\) be a family of Marcinkiewicz multipliers of sufficient uniform smoothness in \(\mathbb{R}^{n}\). We show that the L ^p norm, 1<p<∞, of the related maximal operator

$$M_Nf(x)= \sup_{1\leq j \leq N} |\mathcal{F}^{-1} ( m_j \mathcal{F} f)|(x) $$

is at most C(log(N+2)) ^n/2. We show that this bound is sharp.