We show that there are 2^{2^{ℵ_0}} different closed ideals in the Banach algebra L(L_p(0,1)),1<p≠2<∞. This solves a problem in A. Pietsch’s 1978 book “Operator Ideals”. The proof is quite different from other methods of producing closed ideals in the space of bounded operators on a Banach space; in particular, the ideals are not contained in the strictly singular operators and yet do not contain projections onto subspaces that are non-Hilbertian. We give a criterion for a space with an unconditional basis to have 2^{2^{ℵ_0}} closed ideals in terms of the existence of a single operator on the space with some special asymptotic properties. We then show that for 1<q<2 the space Xq of Rosenthal, which is isomorphic to a complemented subspace of L_q(0,1), admits such an operator.

Kadison and Kastler introduced a natural metric on the collection of all$C$*-subalgebras of the bounded operators on a separable Hilbert space. They conjectured that sufficiently close algebras are unitarily conjugate. We establish this conjecture when one algebra is separable and nuclear. We also consider one-sided versions of these notions, and we obtain embeddings from certain near inclusions involving separable nuclear$C$*-algebras. At the end of the paper we demonstrate how our methods lead to improved characterisations of some of the types of algebras that are of current interest in the classification programme.

Let $ \gamma = \frac{1}{2}\left( {1 + \sqrt {5} } \right) $ denote the golden ratio. H. Davenport and W. M. Schmidt showed in 1969 that, for each non-quadratic irrational real number ξ, there exists a constant$c$> 0 with the property that, for arbitrarily large values of$X$, the inequalities $ \left| {{x_0}} \right| \leqslant X,\,\,\,\left| {{x_0}\xi - {x_1}} \right| \leqslant c{X^{{{{ - 1}} \left/ {\gamma } \right.}}}\,\,\,{\text{and}}\,\,\,\left| {{x_0}{\xi^2} - {x_2}} \right| \leqslant c{X^{{{{ - 1}} \left/ {\gamma } \right.}}} $ admit no non-zero solution $ \left( {{x_0},{x_1},{x_2}} \right) \in {\mathbb{Z}^3} $ . Their result is best possible in the sense that, conversely, there are countably many non-quadratic irrational real numbers ξ such that, for a larger value of c, the same inequalities admit a non-zero integer solution for each$X$≥ 1. Such$extremal$numbers are transcendental and their set is stable under the action of $ {\text{G}}{{\text{L}}_2}\left( \mathbb{Z} \right) $ on $ \mathbb{R}\backslash \mathbb{Q} $ by linear fractional transformations. In this paper, it is shown that there exist extremal numbers ξ for which the Lagrange constant ν(ξ) = liminf_{$q$→∞}$q$||$q$ξ|| is $ \frac{1}{3} $ , the largest possible value for a non-quadratic number, and that there is a natural bijection between the $ {\text{G}}{{\text{L}}_2}\left( \mathbb{Z} \right) $ -equivalence classes of such numbers and the non-trivial solutions of Markoff’s equation.

We calculate the local Fourier transforms for connections on the formal punctured disk, reproducing the results of J. Fang and C. Sabbah using a different method. Our method is similar to Fang’s, but more direct.

The tip multifractal spectrum of a 2-dimensional curve is one way to describe the behavior of the uniformizing conformal map of the complement near the tip. We give the tip multifractal spectrum for a Schramm–Loewner evolution (SLE) curve, we prove that the spectrum is valid with probability 1, and we give applications to the scaling of harmonic measure at the tip.

The analyticity of the Stokes semigroup with the Dirichlet boundary condition is established in spaces of bounded functions when the domain occupied with fluid is bounded or more generally admissible which admits a special estimate for the Helmholtz decomposition. The proof is based on a blow-up argument. This is the first proof of the analyticity in spaces of bounded functions which was left open more than thirty years.

Quon language is a 3D picture language that we can apply to simulate mathematical concepts. We introduce the surface algebras as an extension of the notion of planar algebras to higher genus surface. We prove that there is a unique one-parameter extension. The 2D defects on the surfaces are quons, and surface tangles are transformations. We use quon language to simulate graphic states that appear in quantum information, and to simulate interesting quantities in modular tensor categories. This simulation relates the pictorial Fourier duality of surface tangles and the algebraic Fourier duality induced by the S matrix of the modular tensor category. The pictorial Fourier duality also coincides with the graphic duality on the sphere. For each pair of dual graphs, we obtain an algebraic identity related to the S matrix. These identities include well-known ones, such as the Verlinde formula; partially known ones, such as the 6j-symbol self-duality; and completely new ones.

We aim to maximize the number of first-quadrant lattice points in a convex domain with respect to reciprocal stretching in the coordinate directions. The optimal domain is shown to be asymptotically balanced, meaning that the stretch factor approaches 1 as the “radius” approaches infinity. In particular, the result implies that among all p-ellipses (or Lamé curves), the p-circle encloses the most first-quadrant lattice points as the radius approaches infinity, for 1<p<∞. The case p=2 corresponds to minimization of high eigenvalues of the Dirichlet Laplacian on rectangles, and so our work generalizes a result of Antunes and Freitas. Similarly, we generalize a Neumann eigenvalue maximization result of van den Berg, Bucur and Gittins. Further, Ariturk and Laugesen recently handled 0<p<1 by building on our results here. The case p=1 remains open, and is closely related to minimizing energy levels of harmonic oscillators: which right triangles in the first quadrant with two sides along the axes will enclose the most lattice points, as the area tends to infinity?

We characterize mappings$S$_{$i$}and$T$_{$i$}, not necessarily linear, from sets $\mathcal {J}_{i}$ ,$i$=1,2, onto multiplicative subsets of function algebras, subject to the following conditions on the peripheral spectra of their products:$σ$_{$π$}($S$_{1}($a$)$S$_{2}($b$))⊂$σ$_{$π$}($T$_{1}($a$)$T$_{2}($b$)) and$σ$_{$π$}($S$_{1}($a$)$S$_{2}($b$))∩$σ$_{$π$}($T$_{1}($a$)$T$_{2}($b$))≠∅, $a\in \mathcal {J}_{1}$ , $b\in \mathcal {J}_{2}$ . As a direct consequence we obtain a large number of previous results about mappings subject to various spectral conditions.

We study the multiplicative Hilbert matrix, i.e. the infinite matrix with entries (mn−−−√log(mn))−1 for m,n≥2. This matrix was recently introduced within the context of the theory of Dirichlet series, and it was shown that the multiplicative Hilbert matrix has no eigenvalues and that its continuous spectrum coincides with [0,π]. Here we prove that the multiplicative Hilbert matrix has no singular continuous spectrum and that its absolutely continuous spectrum has multiplicity one. Our argument relies on spectral perturbation theory and scattering theory. Finding an explicit diagonalisation of the multiplicative Hilbert matrix remains an interesting open problem.

The main purpose of this paper is to classify exchange relation planar algebras with 4 dimensional 2-boxes. Besides its skein theory, we emphasize the positivity of subfactor planar algebras based on the Schur product theorem. We will discuss the lattice of projections of 2-boxes, specifically the rank of the projections. From this point, several results about biprojections are obtained. The key break of the classification is to show the existence of a biprojection. By this method, we also classify another two families of subfactor planar algebras: subfactor planar algebras generated by 2-boxes with 4 dimensional 2-boxes and at most 23 dimensional 3-boxes; subfactor planar algebras generated by 2-boxes, such that the quotient of 3-boxes by the basic construction ideal is abelian. They extend the classification of singly generated planar algebras obtained by Bisch, Jones and the author.

We present a 3D topological picture-language for quantum information. Our approach combines charged excitations carried by strings, with topological properties that arise from embedding the strings in the interior of a 3D manifold with boundary. A quon is a composite that acts as a particle. Specifically, a quon is a hemisphere containing a neutral pair of open strings with opposite charge. We interpret multiquons and their transformations in a natural way. We obtain a type of relation, a string–genus “joint relation,” involving both a string and the 3D manifold. We use the joint relation to obtain a topological interpretation of the C* Hopf algebra relations, which are widely used in tensor networks. We obtain a 3D representation of the controlled NOT (CNOT) gate that is considerably simpler than earlier work, and a 3D topological protocol for teleportation.

In this paper, we generalize Young's inequality for locally compact quantum groups and obtain some results for extremal pairs of Young's inequality and extremal functions of Hausdorff-Young inequality.

We consider the convolution operators in spaces of functions which are holomorphic in a bounded convex domain in ℂ^{$n$}and have a polynomial growth near its boundary. A characterization of the surjectivity of such operators on the class of all domains is given in terms of low bounds of the Laplace transformation of analytic functionals defining the operators.

We study the control systems governed by abstract Volterra equations without uniqueness in a Banach space. By using the technique of the theory of condensing maps and multivalued analysis tools, we obtain the existence result, investigate the topological structure of the solution set, and prove the invariance of a reachability set of the control system under nonlinear perturbations. Examples concerning fractional order differential equations and first order evolution equations with multiple delays are proposed to demonstrate the applications to approximate controllability results.

In this paper we consider various aspects of generalized invertibility of the operator matrixacting on a Banach space$X$⊕$Y$.

This paper resolves a number of problems in the perturbation theory of linear operators, linked with the 45-year-old conjecure of M. G. Kreĭn. In particular, we prove that every Lipschitz function is operator-Lipschitz in the Schatten–von Neumann ideals$S$^{$α$}, 1 <$α$< ∞. Alternatively, for every 1 <$α$< ∞, there is a constant$c$_{$α$}> 0 such that $$ {\left\| {f(a) - f(b)} \right\|_{\alpha }} \leqslant {c_{\alpha }}{\left\| f \right\|_{{{\text{Lip}}\,{1}}}}{\left\| {a - b} \right\|_{\alpha }}, $$ where$f$is a Lipschitz function with $$ {\left\| f \right\|_{{{\text{Lip}}\,{1}}}}: = \mathop{{\sup }}\limits_{{_{{\lambda \ne \mu }}^{{\lambda, \mu \in \mathbb{R}}}}} \left| {\frac{{f\left( \lambda \right) - f\left( \mu \right)}}{{\lambda - \mu }}} \right| < \infty, $$ $$ {\left\| \cdot \right\|_{\alpha }} $$ is the norm is$S$^{$α$}, and$a$and$b$are self-adjoint linear operators such that $$ a - b \in {S^{\alpha }} $$ .

It is proved that the natural embedding of a separable Banach space$X$into the corresponding Bourgain–Pisier space extends $\mathcal{L}_{\infty}$ -valued operators.

The first two authors classified subfactor planar algebra generated by a non-trivial 2-box subject to the condition that the dimension of 3-boxes is at most 12 in Part I; 13 in Part II of this series. They are the group planar algebra for , the Fuss-Catalan planar algebra, and the group/subgroup planar algebra for Z_2 ⊂ Z_5 \rtimes Z_2.. In the present paper, we extend the classification to 14 dimensional 3-boxes. They are all Birman-Murakami-Wenzl algebras. Precisely it contains a depth 3 one from quantum O(3), and a one-parameter family from quantum S_p(4).

In this article, we classify all standard invariants that can arise from a composed inclusion of an A3with an A4subfactor. More precisely, if N⊂P is an A3subfactor and P⊂M is an A4subfactor, then only four standard invariants can arise from the composed inclusion N⊂M. We answer a question posed by Bisch and Haagerup in 1994. The techniques of this paper also show that there are exactly four standard invariants for the composed inclusion of two A4subfactors.

We discuss the boundary behavior of functions in star-invariant subspaces ($BH$^{2})^{⊥}, where$B$is a Blaschke product. Extending some results of Ahern and Clark, we are particularly interested in the growth rates of functions at points of the spectrum of$B$where$B$does not admit a derivative in the sense of Carathéodory.

A time-dependent HermiteGalerkin spectral method (THGSM) is investigated in this paper for the nonlinear convectiondiffusion equations in the unbounded domains. The time-dependent scaling factor and translating factor are introduced in the definition of the generalized Hermite functions (GHF). As a consequence, the THGSM based on these GHF has many advantages, not only in theoretical proofs, but also in numerical implementations. The stability and spectral convergence of our proposed method have been established in this paper. The Kortewegde VriesBurgers (KdVB) equation and its special cases, including the heat equation and the Burgers equation, as the examples, have been numerically solved by our method. The numerical results are presented, and it surpasses the existing methods in accuracy. Our theoretical proof of the spectral convergence has been supported by the numerical results.

If$X$is a closed subset of the real line, denote by$G$_{$X$}the supremum of the size of the gap in the Fourier spectrum of a measure, taken over all non-trivial finite complex measures supported on$X$. In this paper we attempt to find$G$_{$X$}in terms of$X$.

We analyze spectral properties of the operator <i>H</i> = <i></i>²/<i>x</i>² <i></i>²/<i>y</i>² + <i></i>²<i>y</i>² <i>y</i>²<i>V</i>(<i>xy</i>) in <i>L</i>²(²), where <i></i> 0 and <i>V </i> 0 is a compactly supported and sufficiently regular potential. It is known that the spectrum of <i>H</i> depends on the one-dimensional Schrdinger operator <i>L</i> = <i>d</i>²/<i>dx</i>² + <i></i>² <i>V</i>(<i>x</i>) and it changes substantially as inf(<i>L</i>) switches sign. We prove that in the critical case, inf(<i>L</i>) = 0, the spectrum of <i>H</i> is purely essential and covers the interval [0, ). In the subcritical case, inf <i></i>(<i>L</i>) &gt; 0, the essential spectrum starts from <i></i> and there is a nonvoid discrete spectrum in the interval [0, <i></i>). We also derive a bound on the corresponding eigenvalue moments.

For an arbitrary nonempty, open set ^<i>n</i>, <i>n</i> of finite (Euclidean) volume, we consider the minimally defined higher-order Laplacian (-\Delta)^m|_{{C^\infty_0}(\Omega)}, <i>m</i> , and its Kreinvon Neumann extension <i>A</i>_{<i>K</i>,,<i>m</i>} in <i>L</i>²(). with <i>N</i>(, <i>A</i>_{<i>K</i>,,<i>m</i>)}, (-\Delta)^m|_{{C^\infty_0}(\Omega)}, denoting the eigenvalue counting function corresponding to the strictly positive eigenvalues of <i>A</i>_{<i>K</i>,,<i>m</i>}, we derive the bound <i>N</i>(, <i>A</i>_{<i>K</i>,,<i>m</i>}) (2<i></i>)^-<i>n</i><i></i>_n||{1 + [2<i>m</i>/(2<i>m</i> + <i>n</i>)]}^{<i>n</i>/(2<i>m</i>)}^{<i>n</i>/(2<i>m</i>)}, &gt; 0, where <i>_n</i> <i></i>^<i>n</i>/2 /((<i>n</i> + 2)/2) denotes the (Euclidean) volume of the unit ball in ^<i>n</i>.