More Like this

1. The factorisation property of l ^∞ ( X_k )

   https://doi.org/10.1017/s0305004120000304  

   LECHNER, RICHARD; MOTAKIS, PAVLOS; MÜLLER, PAUL F.X.; SCHLUMPRECHT, THOMAS (September 2021, Mathematical Proceedings of the Cambridge Philosophical Society)

   Abstract In this paper we consider the following problem: let X k , be a Banach space with a normalised basis ( e (k, j) ) j , whose biorthogonals are denoted by $${(e_{(k,j)}^*)_j}$$ , for $$k\in\N$$ , let $$Z=\ell^\infty(X_k:k\kin\N)$$ be their l ∞ -sum, and let $$T:Z\to Z$$ be a bounded linear operator with a large diagonal, i.e. , $$\begin{align*}\inf_{k,j} \big|e^*_{(k,j)}(T(e_{(k,j)})\big|>0.\end{align*}$$ Under which condition does the identity on Z factor through T ? The purpose of this paper is to formulate general conditions for which the answer is positive. 

   more » « less
2. On the Convolution Inequality f ≥ f ⋆ f

   https://doi.org/10.1093/imrn/rnaa350  

   Carlen, Eric A; Jauslin, Ian; Lieb, Elliott H; Loss, Michael P (January 2021, International Mathematics Research Notices)

   null (Ed.)

   Abstract We consider the inequality $$f \geqslant f\star f$$ for real functions in $$L^1({\mathbb{R}}^d)$$ where $$f\star f$$ denotes the convolution of $$f$$ with itself. We show that all such functions $$f$$ are nonnegative, which is not the case for the same inequality in $L^p$ for any $$1 < p \leqslant 2$$, for which the convolution is defined. We also show that all solutions in $$L^1({\mathbb{R}}^d)$$ satisfy $$\int _{{\mathbb{R}}^{\textrm{d}}}f(x)\ \textrm{d}x \leqslant \tfrac 12$$. Moreover, if $$\int _{{\mathbb{R}}^{\textrm{d}}}f(x)\ \textrm{d}x = \tfrac 12$$, then $$f$$ must decay fairly slowly: $$\int _{{\mathbb{R}}^{\textrm{d}}}|x| f(x)\ \textrm{d}x = \infty $$, and this is sharp since for all $r< 1$, there are solutions with $$\int _{{\mathbb{R}}^{\textrm{d}}}f(x)\ \textrm{d}x = \tfrac 12$$ and $$\int _{{\mathbb{R}}^{\textrm{d}}}|x|^r f(x)\ \textrm{d}x <\infty $$. However, if $$\int _{{\mathbb{R}}^{\textrm{d}}}f(x)\ \textrm{d}x =: a < \tfrac 12$$, the decay at infinity can be much more rapid: we show that for all $$a<\tfrac 12$$, there are solutions such that for some $$\varepsilon>0$$, $$\int _{{\mathbb{R}}^{\textrm{d}}}e^{\varepsilon |x|}f(x)\ \textrm{d}x < \infty $$. 

   more » « less
3. THERE IS NO FINITELY ISOMETRIC KRIVINE'S THEOREM

   Kilbane, James; Ostrovskii, Mikhail I (January 2018, Houston journal of mathematics)

   null (Ed.)

   We prove that for every p in (1, infinity) different from 2, there exist a Banach space X isomorphic to l_p and a fin ite subset U in l_p, such that U is not isometric to a subset of X. This result shows that the fi nite isometric version of the Krivine theorem (which would be a strengthening of the Krivine theorem (1976)) does not hold. 

   more » « less
4. A New Family of Algebraically Defined Graphs with Small Automorphism Group

   https://doi.org/10.37236/10707  

   Lazebnik, Felix; Taranchuk, Vladislav (January 2022, The Electronic Journal of Combinatorics)

   Let $$p$$ be an odd  prime, $q=p^e$, $$e \geq 1$$, and $$\mathbb{F} = \mathbb{F}_q$$ denote the finite field of $$q$$ elements.  Let $$f: \mathbb{F}^2\to \mathbb{F}$$ and  $$g: \mathbb{F}^3\to \mathbb{F}$$  be functions, and  let $$P$$ and $$L$$ be two copies of the 3-dimensional vector space $$\mathbb{F}^3$$. Consider a bipartite graph $$\Gamma_\mathbb{F} (f, g)$$ with vertex partitions $$P$$ and $$L$$ and with edges defined as follows: for every $$(p)=(p_1,p_2,p_3)\in P$$ and every $$[l]= [l_1,l_2,l_3]\in L$$, $$\{(p), [l]\} = (p)[l]$$ is an edge in $$\Gamma_\mathbb{F} (f, g)$$ if $$p_2+l_2 =f(p_1,l_1) \;\;\;\text{and}\;\;\; p_3 + l_3 = g(p_1,p_2,l_1).$$The following question  appeared in Nassau: Given $$\Gamma_\mathbb{F} (f, g)$$,  is it always possible to find a function $$h:\mathbb{F}^2\to \mathbb{F}$$ such that the graph $$\Gamma_\mathbb{F} (f, h)$$  with the same vertex set as $$\Gamma_\mathbb{F} (f, g)$$ and with edges $(p)[l]$  defined in a similar way  by the system $$p_2+l_2 =f(p_1,l_1) \;\;\;\text{and}\;\;\; p_3 + l_3 = h(p_1,l_1),$$ is isomorphic to $$\Gamma_\mathbb{F} (f, g)$$ for infinitely many $$q$$?  In this paper we show that the  answer to the question is negative and the graphs $$\Gamma_{\mathbb{F}_p}(p_1\ell_1, p_1\ell_1p_2(p_1 + p_2 + p_1p_2))$$ provide such an example for $$p \equiv 1 \pmod{3}$$. Our argument is based on proving that the automorphism group of these graphs has order $$p$$, which is the smallest possible order of the automorphism group of graphs of the form $$\Gamma_{\mathbb{F}}(f, g)$$. 

   more » « less
5. On Matoušek-like embedding obstructions of countably branching graphs

   https://doi.org/10.1016/j.jmaa.2024.128896  

   Malthaner, Ryan (March 2025, Journal of Mathematical Analysis and Applications)

   In this paper we present new proofs of the non-embeddability of countably branching trees into Banach spaces satisfying property beta_p and of countably branching diamonds into Banach spaces which are l_p-asymptotic midpoint uniformly convex (p-AMUC) for p>1. These proofs are entirely metric in nature and are inspired by previous work of Jiří Matoušek. In addition, using this metric method, we succeed in extending these results to metric spaces satisfying certain embedding obstruction inequalities. Finally, we give Tessera-type lower bounds on the compression for a class of Lipschitz embeddings of the countably branching trees into Banach spaces containing l_p-asymptotic models for p>=1. 

   more » « less