We provide some characterizations for SOC-monotone and SOC-convex functions by using differential analysis. From these characterizations, we particularly obtain that a continuously differentiable function defined in an open interval is SOC-monotone (SOC-convex) of order <i>n</i> 3 if and only if it is 2-matrix monotone (matrix convex), and furthermore, such a function is also SOC-monotone (SOC-convex) of order <i>n</i> 2 if it is 2-matrix monotone (matrix convex). In addition, we also prove that Conjecture 4.2 proposed in Chen (Optimization 55:363385, 2006) does not hold in general. Some examples are included to illustrate that these characterizations open convenient ways to verify the SOC-monotonicity and the SOC-convexity of a continuously differentiable function defined on an open interval, which are often involved in the solution methods of the convex second-order cone optimization.

We analyze a family of singular Schrdinger operators describing a Neumann waveguide with a periodic array of singular traps of a delta\prime type. We show that in the limit when perpendicular size of the guide tends to zero and the delta\prime interactions are appropriately scaled, the first spectral gap is determined exclusively by geometric properties of the traps.

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.

An important goal in studying the relations between unitary VOAs and conformal nets is to prove the equivalence of their ribbon categories. In this article, we prove this conjecture for many familiar examples. Our main idea is to construct new structures associated to conformal nets: the categorical extensions.

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>.