Formal proofs of operator identities by a single formal computation

A formal computation proving a new operator identity from known ones is, in principle, restricted by domains and codomains of linear operators involved, since not any two operators can be added or composed. Algebraically, identities can be modelled by noncommutative polynomials and such a formal computation proves that the polynomial corresponding to the new identity lies in the ideal generated by the polynomials corresponding to the known identities. In order to prove an operator identity, however, just proving membership of the polynomial in the ideal is not enough, since the ring of noncommutative polynomials ignores domains and codomains. We show that it suffices to additionally verify compatibility of this polynomial and of the generators of the ideal with the labelled quiver that encodes which polynomials can be realized as linear operators. Then, for every consistent representation of such a quiver in a linear category, there exists a computation in the category that proves the corresponding instance of the identity. Moreover, by assigning the same label to several edges of the quiver, the algebraic framework developed allows to model different versions of an operator by the same indeterminate in the noncommutative polynomials.     

Versatile Near-Infrared Super-Resolution Imaging of Amyloid Fibrils with the Fluorogenic Probe CRANAD-2

CRANAD-2 is a fluorogenic curcumin derivative used for near-infrared detection and imaging in vivo of amyloid aggregates, which are involved in neurodegenerative diseases. We explore the performance of CRANAD-2 in two super-resolution imaging techniques, namely stimulated emission depletion (STED) and single-molecule localization microscopy (SMLM), with markedly different fluorophore requirements. By conveniently adapting the concentration of CRANAD-2, which transiently binds to amyloid fibrils, we show that it performs well in both techniques, achieving a resolution in the range of 45–55 nm. Correlation of SMLM with atomic force microscopy (AFM) validates the resolution of fine features in the reconstructed super-resolved image. The good performance and versatility of CRANAD-2 provides a powerful tool for near-infrared nanoscopic imaging of amyloids in vitro and in vivo.     

Extension of Laguerre polynomials with negative arguments

We consider the irreducibility of polynomial $L_n^{\left(\alpha \right)}\left(x\right)$ where $\alpha$ is a negative integer. We observe that the constant term of $L_n^{\left(\alpha \right)}\left(x\right)$ vanishes if and only if $n\ge \left|\alpha \right|=?\alpha$. Therefore we assume that $\alpha =?n?s?1$ where $s$ is a non-negative integer. Let $g\left(x\right)={(?1)}^n{L}_n^{(?n?s?1)}\left(x\right)=\sum _{j=0}^n{a}_j\frac{x^j}{j!}$ and more general polynomial, let $G\left(x\right)=\sum _{j=0}^n{a}_j{b}_j\frac{x^j}{j!}$ where $b_j$ with $0\le j\le n$ are integers such that $\left|b_0\right|=\left|b_n\right|=1$. Schur was the first to prove the irreducibility of $g\left(x\right)$ for $s=0$. It has been proved that $g\left(x\right)$ is irreducible for $0\le s\le 60$. In this paper, by a different method, we prove: Apart from finitely many explicitly given possibilities, either $G\left(x\right)$ is irreducible or $G\left(x\right)$ is linear factor times irreducible polynomial. This is a consequence of the estimate $s>1.9k$ whenever $G\left(x\right)$ has a factor of degree $k\ge 2$ and $(n,k,s)\ne (10,5,4)$. This sharpens earlier estimates of Shorey and Tijdeman and Nair and Shorey.     

Concentrated steady vorticities of the Euler equation on 2-d domains and their linear stability

We consider concentrated vorticities for the Euler equation on a smooth domain $\mathrm{\Omega }?{\mathbf{R}}^2$ in the form of

$\omega =\sum _{j=1}^N{\omega }_j{\chi }_{{\mathrm{\Omega }}_j},|{\mathrm{\Omega }}_j|=\pi r_j^2,\underset{{\mathrm{\Omega }}_j}{\int }{\omega }_{j}d\mu ={\mu }_j\ne 0,$

supported on well-separated vortical domains ${\mathrm{\Omega }}_j$, $j=1,\dots ,N$, of small diameters $O(r_j)$. A conformal mapping framework is set up to study this free boundary problem with ${\mathrm{\Omega }}_j$ being part of unknowns. For any given vorticities ${\mu }_1,\dots ,{\mu }_N$ and small $r_1,\dots ,r_N\in {\mathbf{R}}^{+}$, through a perturbation approach, we obtain such piecewise constant steady vortex patches as well as piecewise smooth Lipschitz steady vorticities, both concentrated near non-degenerate critical configurations of the Kirchhoff–Routh Hamiltonian function. When vortex patch evolution is considered as the boundary dynamics of $?{\mathrm{\Omega }}_j$, through an invariant subspace decomposition, it is also proved that the spectral/linear stability of such steady vortex patches is largely determined by that of the 2N-dimensional linearized point vortex dynamics, while the motion is highly oscillatory in the 2N-codim directions corresponding to the vortical domain shapes.     

A generalized super AKNS hierarchy associated with orthosymplectic Lie superalgebra OSP(2,2) and its super bi-Hamiltonian structures

For the orthosymplectic Lie superalgebra $\text{◂⋅▸}OSP(2,2)$, we choose a set of basis matrices. A linear combination of those basis matrices presents a spatial spectral matrix. The compatible condition of the spatial part and the corresponding temporal parts of the spectral problem leads to a generalized super AKNS (GSAKNS) hierarchy. By making use of the supertrace identity, the obtained GSAKNS hierarchy can be written as the super bi-Hamiltonian structures.     

A simple,rapid and sensitive method based on modified multiwalled carbon nanotube for preconcentration and determination of lead ions in aqueous media in natural pHs

In this study, multiwalled carbon nanotube (MWCNT) was modified by the pyridine group using a silane agent and characterized by infrared spectroscopy (IR), thermal analysis (TG/DTA), and elemental analysis (CHN) and scanning electron microscopy (SEM). The application of this sorbent was investigated in determination of lead ions in aqueous samples, using flame atomic absorption spectrometry (FAAS). Through this study, different parameters such as pH and sample flow rate on adsorption process and eluent concentration, volume and flow rate were optimized. The limit of detection (LOD), the relative standard deviation and the recovery of the method were 2 ng mL^?1, 1.3% and 99.7%, respectively. Two standard reference materials (NIST 1571 and NIST 1572) were used to verify accuracy of this method. Finally, the sorbent was successfully applied for extraction and determination of low levels of Pb(II) ions in aqueous samples.