Optimal Sobolev Type Inequalities in Lorentz Spaces

It is well known that the classical Sobolev embeddings may be improved within the framework of Lorentz spaces L ^p,q : the space $\mathcal{D}^{1,p}(\mathbb R^n)$ , 1?<?p?<?n, embeds into $L^{p^*,q}(\mathbb R^n)$ , p?≤?q?≤?∞. However, the value of the best possible embedding constants in the corresponding inequalities is known just in the case $L^{p^*,p}(\mathbb R^n)$ . Here, we determine optimal constants for the embedding of the space $\mathcal{D}^{1,p}(\mathbb R^n)$ , 1?<?p?<?n, into the whole Lorentz space scale $L^{p^{\ast}, q}(\mathbb R^n)$ , p?≤?q?≤?∞, including the limiting case q?=?p of which we give a new proof. We also exhibit extremal functions for these embedding inequalities by solving related elliptic problems.     

Analytic Toeplitz algebras and the Hilbert transform associated with a subdiagonal algebra

Let M be aσ-finite von Neumann algebra and let AM be a maximal subdiagonal algebra with respect to a faithful normal conditional expectationΦ.Based on the Haagerup’s noncommutative Lpspace Lp(M)associated with M,we consider Toeplitz operators and the Hilbert transform associated with A.We prove that the commutant of left analytic Toeplitz algebra on noncommutative Hardy space H2(M)is just the right analytic Toeplitz algebra.Furthermore,the Hilbert transform on noncommutative Lp(M)is shown to be bounded for 1p∞.As an application,we consider a noncommutative analog of the space BMO and identify the dual space of noncommutative H1(M)as a concrete space of operators.     

On additive decompositions of the set of primitive roots modulo p

It is conjectured that the set ${\mathcal {G}}$ of the primitive roots modulo p has no decomposition (modulo p) of the form ${\mathcal {G}= \mathcal {A} +\mathcal {B}}$ with ${|\mathcal {A}|\ge 2}$ , ${|\mathcal {B} |\ge 2}$ . This conjecture seems to be beyond reach but it is shown that if such a decomposition of ${\mathcal {G}}$ exists at all, then ${|\mathcal {A} |}$ , ${|\mathcal {B} |}$ must be around p ^1/2, and then this result is applied to show that ${\mathcal {G}}$ has no decomposition of the form ${\mathcal {G} =\mathcal {A} + \mathcal {B} + \mathcal {C}}$ with ${|\mathcal {A} |\ge 2}$ , ${|\mathcal {B} |\ge 2}$ , ${|\mathcal {C} |\ge 2}$ .     

A construction for infinite families of semisymmetric graphs revealing their full automorphism group

We give a general construction leading to different non-isomorphic families $\varGamma_{n,q}(\mathcal{K})$ of connected q-regular semisymmetric graphs of order 2q ⁿ⁺¹ embedded in $\operatorname{PG}(n+1,q)$ , for a prime power q=p ^h , using the linear representation of a particular point set $\mathcal{K}$ of size q contained in a hyperplane of $\operatorname{PG}(n+1,q)$ . We show that, when $\mathcal{K}$ is a normal rational curve with one point removed, the graphs $\varGamma_{n,q}(\mathcal{K})$ are isomorphic to the graphs constructed for q=p ^h in Lazebnik and Viglione (J. Graph Theory 41, 249–258, 2002) and to the graphs constructed for q prime in Du et al. (Eur. J. Comb. 24, 897–902, 2003). These graphs were known to be semisymmetric but their full automorphism group was up to now unknown. For q≥n+3 or q=p=n+2, n≥2, we obtain their full automorphism group from our construction by showing that, for an arc $\mathcal{K}$ , every automorphism of $\varGamma_{n,q}(\mathcal{K})$ is induced by a collineation of the ambient space $\operatorname{PG}(n+1,q)$ . We also give some other examples of semisymmetric graphs $\varGamma _{n,q}(\mathcal{K})$ for which not every automorphism is induced by a collineation of their ambient space.     

The universal Glivenko–Cantelli property

Let ${\mathcal{F}}$ be a separable uniformly bounded family of measurable functions on a standard measurable space ${(X, \mathcal{X})}$ , and let ${N_{[]}(\mathcal{F}, \varepsilon, \mu)}$ be the smallest number of ${\varepsilon}$ -brackets in L ¹(μ) needed to cover ${\mathcal{F}}$ . The following are equivalent:

1. ${\mathcal{F}}$ is a universal Glivenko–Cantelli class.
2. ${N_{[]}(\mathcal{F},\varepsilon,\mu) < \infty}$ for every ${\varepsilon > 0}$ and every probability measure μ.
3. ${\mathcal{F}}$ is totally bounded in L ¹(μ) for every probability measure μ.
4. ${\mathcal{F}}$ does not contain a Boolean σ-independent sequence.

It follows that universal Glivenko–Cantelli classes are uniformity classes for general sequences of almost surely convergent random measures.     

On the rational approximation of the sum of the reciprocals of the Fermat numbers

Let $\mathcal{G}(z):=\sum_{n\geqslant0} z^{2^{n}}(1-z^{2^{n}})^{-1}$ denote the generating function of the ruler function, and $\mathcal {F}(z):=\sum_{n\geqslant} z^{2^{n}}(1+z^{2^{n}})^{-1}$ ; note that the special value $\mathcal{F}(1/2)$ is the sum of the reciprocals of the Fermat numbers $F_{n}:=2^{2^{n}}+1$ . The functions $\mathcal{F}(z)$ and $\mathcal{G}(z)$ as well as their special values have been studied by Mahler, Golomb, Schwarz, and Duverney; it is known that the numbers $\mathcal {F}(\alpha)$ and $\mathcal{G}(\alpha)$ are transcendental for all algebraic numbers α which satisfy 0<α<1. For a sequence u, denote the Hankel matrix $H_{n}^{p}(\mathbf {u}):=(u({p+i+j-2}))_{1\leqslant i,j\leqslant n}$ . Let α be a real number. The irrationality exponent μ(α) is defined as the supremum of the set of real numbers μ such that the inequality |α?p/q|<q ^?μ has infinitely many solutions (p,q)∈?×?. In this paper, we first prove that the determinants of $H_{n}^{1}(\mathbf {g})$ and $H_{n}^{1}(\mathbf{f})$ are nonzero for every n?1. We then use this result to prove that for b?2 the irrationality exponents $\mu(\mathcal{F}(1/b))$ and $\mu(\mathcal{G}(1/b))$ are equal to 2; in particular, the irrationality exponent of the sum of the reciprocals of the Fermat numbers is 2.     

Transitive A 6-invariant k-arcs in PG(2, q)

For q = p ^r with a prime p ≥ 7 such that ${q \equiv 1}$ or 19 (mod 30), the desarguesian projective plane PG(2, q) of order q has a unique conjugacy class of projectivity groups isomorphic to the alternating group A ₆ of degree 6. For a projectivity group ${\Gamma \cong A_6}$ of PG(2, q), we investigate the geometric properties of the (unique) Γ-orbit ${\mathcal{O}}$ of size 90 such that the 1-point stabilizer of Γ in its action on ${\mathcal O}$ is a cyclic group of order 4. Here ${\mathcal O}$ lies either in PG(2, q) or in PG(2, q ²) according as 3 is a square or a non-square element in GF(q). We show that if q ≥ 349 and q ≠ 421, then ${\mathcal O}$ is a 90-arc, which turns out to be complete for q = 349, 409, 529, 601,661. Interestingly, ${\mathcal O}$ is the smallest known complete arc in PG(2,601) and in PG(2,661). Computations are carried out by MAGMA.     

An extension of Mercer’s theory to L p

Let X be a topological space, either locally compact or first countable, endowed with a strictly positive measure ?? and ${\mathcal{K}:L^2(X,\nu)\to L^2(X,\nu)}$ an integral operator generated by a Mercer like kernel K. In this paper we extend Mercer??s theory for K and ${\mathcal{K}}$ under the assumption that the function ${x\in X\to K(x,x)}$ belongs to some L ^p/2(X, ??), p??? 1. In particular, we obtain series representations for K and some powers of ${\mathcal{K}}$ , with convergence in the p-mean, and show that the range of certain powers of ${\mathcal{K}}$ contains continuous functions only. These results are used to estimate the approximation numbers of a modified version of ${\mathcal{K}}$ acting on L ^p (X, ??).     

Quantitative Stratification and the Regularity of Mean Curvature Flow

Let ${\mathcal{M}}$ be a Brakke flow of n-dimensional surfaces in ${\mathbb{R}^N}$ . The singular set ${\mathcal{S} \subset \mathcal{M}}$ has a stratification ${\mathcal{S}^0 \subset \mathcal{S}^1 \subset \cdots \mathcal{S}}$ , where ${X \in \mathcal{S}^j}$ if no tangent flow at X has more than j symmetries. Here, we define quantitative singular strata ${\mathcal{S}^j_{\eta, r}}$ satisfying ${\cup_{\eta>0} \cap_{0<r} \mathcal{S}^j_{\eta, r} = \mathcal{S}^j}$ . Sharpening the known parabolic Hausdorff dimension bound ${{\rm dim} \mathcal{S}^j \leq j}$ , we prove the effective Minkowski estimates that the volume of r-tubular neighborhoods of ${\mathcal{S}^j_{\eta, r}}$ satisfies ${{\rm Vol} (T_r(\mathcal{S}^j_{\eta, r}) \cap B_1) \leq Cr^{N + 2 - j-\varepsilon}}$ . Our primary application of this is to higher regularity of Brakke flows starting at k-convex smooth compact embedded hypersurfaces. To this end, we prove that for the flow of k-convex hypersurfaces, any backwards selfsimilar limit flow with at least k symmetries is in fact a static multiplicity one plane. Then, denoting by ${\mathcal{B}_r \subset \mathcal{M}}$ the set of points with regularity scale less than r, we prove that ${{\rm Vol}(T_r(\mathcal{B}_r)) \leq C r^{n+4-k-\varepsilon}}$ . This gives L ^p -estimates for the second fundamental form for any p < n + 1 ? k. In fact, the estimates are much stronger and give L ^p -estimates for the reciprocal of the regularity scale. These estimates are sharp. The key technique that we develop and apply is a parabolic version of the quantitative stratification method introduced in Cheeger and Naber (Invent. Math., (2)191 2013), 321–339) and Cheeger and Naber (Comm. Pure. Appl. Math, arXiv:1107.3097v1, 2013).     

Congruence modularity at 0

Given a variety ${\mathcal{V}}$ with a constant 0 in its type and a lattice identity p ?? q, we say that p ?? q holds for congruences in ${\mathcal{V}}$ at 0 if the p-block of 0 is included in the q-block of 0 for all substitutions of congruences of ${\mathcal{V}}$ -algebras for the variables of p and q. Varieties that are congruence modular at 0 are characterized by a Mal??tsev condition. This result generalizes the classical characterization of congruence modularity by Day terms.     

Colourful and Fractional (p,q)-theorems

Let p≥q≥d+1 be positive integers and let ${\mathcal{F}}$ be a finite family of convex sets in ${\mathbb{R}}^{d}$ . Assume that the elements of ${\mathcal{F}}$ are coloured with p colours. A p-element subset of ${\mathcal{F}}$ is heterochromatic if it contains exactly one element of each colour. The family ${\mathcal{F}}$ has the heterochromatic (p,q)-property if in every heterochromatic p-element subset there are at least q elements that have a point in common. We show that, under the heterochromatic (p,q)-condition, some colour class can be pierced by a finite set whose size we estimate from above in terms of d,p, and q. This is a colourful version of the famous (p,q)-theorem. (We prove a colourful variant of the fractional Helly theorem along the way.) A fractional version of the same problem is when the (p,q)-condition holds for all but an α fraction of the p-tuples in ${\mathcal{F}}$ . We show that, in the case that d=1, all but a β fraction of the elements of ${\mathcal{F}}$ can be pierced by p?q+1 points. Here β depends on α and p,q, and β→0 as α goes to zero.     

A group theoretic characterization of classical unitals

Let G be the group of projectivities stabilizing a unital $\mathcal{U}$ in PG(2,q ²). In?this paper, we prove that $\mathcal{U}$ is a classical unital if and only if there are two points in $\mathcal{U}$ such that the stabilizer of these two points in G has order?q ²?1.     

Об аппроксимации свермками и баэисах иэ сдвигов функции

For 2π-periodic functions f ∈ L ^p ( $ \mathbb{T} $ ), 1 ≤ p < ∞, σ ∈ V ( $ \mathbb{T} $ ) and g ∈ L( $ \mathbb{T} $ ), we consider the convolutions $$ (f*d\sigma )_T (x) = \int_0^{2\pi } {f(x - t)d\sigma (t), } (f*g)_T (x) = \int_0^{2\pi } {f(x - t)g(t)dt.} $$ For fixed functions σ ∈ V ( $ \mathbb{T} $ ) and g ∈ L( $ \mathbb{T} $ ), necessary and sufficient conditions are obtained for the density of the ranges of these operators in L ^p . Similar result is proved for the dyadic convolution $$ (f*g)_2 (x) = \int_0^1 {f(x \oplus t)g(t)dt,} $$ where ⊕ is the operation of dyadic addition on [0, 1). Moreover, it is proved that in the spaces L ^p ( $ \mathbb{T} $ ), 1 ≤ p ∞, and C( $ \mathbb{T} $ ) there exist no bases of shifts of a function. Similar results are obtained for the spaces L ^p [0, 1]*, 1 ≤ p < ∞, and C[0, 1]* relative to dyadic shifts, where [0, 1]* is the modified segment [0, 1]. It is also proved that in the space L(?₊) there exists no basis of dyadic shifts of a function.     

On the unique representation of very strong algebraic geometry codes

This paper addresses the question of retrieving the triple ${(\mathcal X,\mathcal P, E)}$ from the algebraic geometry code ${\mathcal C = \mathcal C_L(\mathcal X, \mathcal P, E)}$ , where ${\mathcal X}$ is an algebraic curve over the finite field ${\mathbb F_q, \,\mathcal P}$ is an n-tuple of ${\mathbb F_q}$ -rational points on ${\mathcal X}$ and E is a divisor on ${\mathcal X}$ . If ${\deg(E)\geq 2g+1}$ where g is the genus of ${\mathcal X}$ , then there is an embedding of ${\mathcal X}$ onto ${\mathcal Y}$ in the projective space of the linear series of the divisor E. Moreover, if ${\deg(E)\geq 2g+2}$ , then ${I(\mathcal Y)}$ , the vanishing ideal of ${\mathcal Y}$ , is generated by ${I_2(\mathcal Y)}$ , the homogeneous elements of degree two in ${I(\mathcal Y)}$ . If ${n >2 \deg(E)}$ , then ${I_2(\mathcal Y)=I_2(\mathcal Q)}$ , where ${\mathcal Q}$ is the image of ${\mathcal P}$ under the map from ${\mathcal X}$ to ${\mathcal Y}$ . These three results imply that, if ${2g+2\leq m < \frac{1}{2}n}$ , an AG representation ${(\mathcal Y, \mathcal Q, F)}$ of the code ${\mathcal C}$ can be obtained just using a generator matrix of ${\mathcal C}$ where ${\mathcal Y}$ is a normal curve in ${\mathbb{P}^{m-g}}$ which is the intersection of quadrics. This fact gives us some clues for breaking McEliece cryptosystem based on AG codes provided that we have an efficient procedure for computing and decoding the representation obtained.     

Lower bounds on Ricci curvature and quantitative behavior of singular sets

Let Y ⁿ denote the Gromov-Hausdorff limit $M^{n}_{i}\stackrel{d_{\mathrm{GH}}}{\longrightarrow} Y^{n}$ of v-noncollapsed Riemannian manifolds with ${\mathrm{Ric}}_{M^{n}_{i}}\geq-(n-1)$ . The singular set $\mathcal {S}\subset Y$ has a stratification $\mathcal {S}^{0}\subset \mathcal {S}^{1}\subset\cdots\subset \mathcal {S}$ , where $y\in \mathcal {S}^{k}$ if no tangent cone at y splits off a factor ? ^k+1 isometrically. Here, we define for all η>0, 0<r≤1, the k-th effective singular stratum $\mathcal {S}^{k}_{\eta,r}$ satisfying $\bigcup_{\eta}\bigcap_{r} \,\mathcal {S}^{k}_{\eta,r}= \mathcal {S}^{k}$ . Sharpening the known Hausdorff dimension bound $\dim\, \mathcal {S}^{k}\leq k$ , we prove that for all y, the volume of the r-tubular neighborhood of $\mathcal {S}^{k}_{\eta,r}$ satisfies ${\mathrm {Vol}}(T_{r}(\mathcal {S}^{k}_{\eta,r})\cap B_{\frac{1}{2}}(y))\leq c(n,{\mathrm {v}},\eta)r^{n-k-\eta}$ . The proof involves a quantitative differentiation argument. This result has applications to Einstein manifolds. Let $\mathcal {B}_{r}$ denote the set of points at which the C ²-harmonic radius is ≤r. If also the $M^{n}_{i}$ are Kähler-Einstein with L ₂ curvature bound, $\| Rm\|_{L_{2}}\leq C$ , then ${\mathrm {Vol}}( \mathcal {B}_{r}\cap B_{\frac{1}{2}}(y))\leq c(n,{\mathrm {v}},C)r^{4}$ for all y. In the Kähler-Einstein case, without assuming any integral curvature bound on the $M^{n}_{i}$ , we obtain a slightly weaker volume bound on $\mathcal {B}_{r}$ which yields an a priori L _p curvature bound for all p<2. The methodology developed in this paper is new and is applicable in many other contexts. These include harmonic maps, minimal hypersurfaces, mean curvature flow and critical sets of solutions to elliptic equations.     

A remark on maximal functions for noncommutative martingales

Let ${\mathcal{M}}$ be a finite von Neumann algebra equipped with a normal tracial state τ. It is shown that if ${\{x_n\}_{n\geq1}}$ is a sequence of positive marginales that is bounded in ${L^1(\mathcal{M},\mathcal{T})}$ , then for every 0 < p < 1, there exists ${y \in L^p(\mathcal{M},\mathcal{T})}$ satisfying the property that ${x_n \leq y}$ for all ${n\geq 1}$ . Thus we obtain a noncommutative analogue of a maximal function theorem from classical martingale theory.     

On the Gagliardo-Nirenberg type inequality in the critical Sobolev-Morrey space

Our main purpose in this article is to establish a Gagliardo-Nirenberg type inequality in the critical Sobolev–Morrey space $H\mathcal{M}^{\frac{n}{p}}_{p,q}(\mathbb{R}^{n})$ with n∈? and 1<q≤p<∞, which coincides with the usual critical Sobolev space $H^{\frac{n}{p}}_{p}(\mathbb{R}^{n})$ in the case of q=p. Indeed, we shall show the following interpolation inequality. If q<p, there exists a positive constant C _p,q depending only on p and q such that GN $$ \|f\|_{{\mathcal{M}}_{r,\frac{q}{p}r}} \leq C_{p,q}r\|f \|_{{\mathcal{M}}_{p,q}}^{\frac{p}{r}}\bigl\|(-\Delta)^{\frac{n}{2p}} f\bigr\|_{{\mathcal{M}}_{p,q}}^{1-\frac{p}{r}} $$ for all $u\in H\mathcal{M}^{\frac{n}{p}}_{p,q}( \mathbb{R}^{n})$ and for all p≤r<∞. In the case of q=p, that is, the case of the critical Sobolev space $H^{\frac{n}{p}}_{p}(\mathbb{R}^{n})$ , the corresponding inequality was obtained in Ogawa (Nonlinear Anal. 14:765–769, 1990), Ogawa-Ozawa (J. Math. Anal. Appl. 155:531–540, 1991) and Ozawa (J. Func. Anal. 127:259–269, 1995) with the growth order $r^{1-\frac{1}{p}}$ as r→∞. The inequality (GN) implies that the growth order as r→∞ is linear, which might look worse compared to the case of the critical Sobolev space. However, we investigate the optimality of the growth order and prove that this linear order is best-possible. Furthermore, as several applications of the inequality (GN), we shall obtain a Trudinger-Moser type inequality and a Brézis-Gallouët-Wainger type inequality in the critical Sobolev-Morrey space.     

A unified approach for minimizing composite norms

We propose a first-order augmented Lagrangian algorithm (FALC) to solve the composite norm minimization problem $$\begin{aligned} \begin{array}{ll} \min \limits _{X\in \mathbb{R }^{m\times n}}&\mu _1\Vert \sigma (\mathcal{F }(X)-G)\Vert _\alpha +\mu _2\Vert \mathcal{C }(X)-d\Vert _\beta ,\\ \text{ subject} \text{ to}&\mathcal{A }(X)-b\in \mathcal{Q }, \end{array} \end{aligned}$$ where $\sigma (X)$ denotes the vector of singular values of $X \in \mathbb{R }^{m\times n}$ , the matrix norm $\Vert \sigma (X)\Vert _{\alpha }$ denotes either the Frobenius, the nuclear, or the $\ell _2$ -operator norm of $X$ , the vector norm $\Vert .\Vert _{\beta }$ denotes either the $\ell _1$ -norm, $\ell _2$ -norm or the $\ell _{\infty }$ -norm; $\mathcal{Q }$ is a closed convex set and $\mathcal{A }(.)$ , $\mathcal{C }(.)$ , $\mathcal{F }(.)$ are linear operators from $\mathbb{R }^{m\times n}$ to vector spaces of appropriate dimensions. Basis pursuit, matrix completion, robust principal component pursuit (PCP), and stable PCP problems are all special cases of the composite norm minimization problem. Thus, FALC is able to solve all these problems in a unified manner. We show that any limit point of FALC iterate sequence is an optimal solution of the composite norm minimization problem. We also show that for all $\epsilon >0$ , the FALC iterates are $\epsilon $ -feasible and $\epsilon $ -optimal after $\mathcal{O }(\log (\epsilon ^{-1}))$ iterations, which require $\mathcal{O }(\epsilon ^{-1})$ constrained shrinkage operations and Euclidean projection onto the set $\mathcal{Q }$ . Surprisingly, on the problem sets we tested, FALC required only $\mathcal{O }(\log (\epsilon ^{-1}))$ constrained shrinkage, instead of the $\mathcal{O }(\epsilon ^{-1})$ worst case bound, to compute an $\epsilon $ -feasible and $\epsilon $ -optimal solution. To best of our knowledge, FALC is the first algorithm with a known complexity bound that solves the stable PCP problem.     

Complemented modular lattices with involution and orthogonal geometry

With each orthogeometry (P, ⊥) we associate ${{\mathbb {L}}(P, \bot)}$ , a complemented modular lattice with involution (CMIL), consisting of all subspaces X and X ^⊥ such that dim X < ?₀, and we study its rôle in decompositions of (P, ⊥) as directed (resp., disjoint) union. We also establish a 1–1 correspondence between ?-varieties ${\mathcal {V}}$ of CMILs with ${\mathcal {V}}$ generated by its finite dimensional members and ‘quasivarieties’ ${\mathcal {G}}$ of orthogeometries: ${\mathcal {V}}$ consists of the CMILs representable within some geometry from ${\mathcal {G}}$ and ${\mathcal {G}}$ of the (P, ⊥) with ${{\mathbb {L}}(P, \bot) \in {\mathcal {V}}}$ . Here, ${\mathcal {V}}$ is recursively axiomatizable if and only if so is ${\mathcal {G}}$ . It follows that the equational theory of ${\mathcal {V}}$ is decidable provided that the equational theories of the ${\{{\mathbb {L}}(P, \bot)\, |\, (P, \bot) \in \mathcal {G}, {\rm{dim}} P = n\}}$ are uniformly decidable.