On Sizes of 1-Cross Intersecting Set Pair Systems

Siberian Mathematical Journal - Let $ \{(A_{i},B_{i})\}_{i=1}^{m} $ be a set pair system. Füredi, Gyárfás, and Király called it $ 1 $ -cross intersecting if $...     

Special John-Nirenberg-Campanato spaces via congruent cubes

Let p ∈ [1, ∞), q ∈ [1, ∞), α∈ R, and s be a non-negative integer. Inspired by the space JNp introduced by John and Nirenberg(1961) and the space B introduced by Bourgain et al.(2015), we introduce a special John-Nirenberg-Campanato space JN^con_(p,q,s) over Rⁿ or a given cube of R;with finite side length via congruent subcubes, which are of some amalgam features. The limit space of such spaces as p →∞ is just the Campanato space which coincides with the space BMO(the space of functions with bounded mean oscillations)when α = 0. Moreover, a vanishing subspace of this new space is introduced, and its equivalent characterization is established as well, which is a counterpart of the known characterization for the classical space VMO(the space of functions with vanishing mean oscillations) over Rⁿ or a given cube of Rⁿ with finite side length.Furthermore, some VMO-H¹-BMO-type results for this new space are also obtained, which are based on the aforementioned vanishing subspaces and the Hardy-type space defined via congruent cubes in this article. The geometrical properties of both the Euclidean space via its dyadic system and congruent cubes play a key role in the proofs of all these results.     

High-fidelity Recognition of Organotrifluoroborate Anions (R−BF3−) as Designer Guest Molecules

The recognition of boron compounds is well developed as boronic acids but untapped as organotrifluoroborate anions (R−BF₃⁻). We are exploring the development of these and other designer anions as anion-recognition motifs by considering them as substituted versions of the parent inorganic ion. To this end, we demonstrate strong and reliable binding of organic trifluoroborates, R−BF₃⁻, by cyanostar macrocycles that are size-complementary to the inorganic BF₄⁻ progenitors. We find that recognition is modulated by the substituent's sterics and that the affinities are retained using the common K⁺ salts of R−BF₃⁻ anions.     

On the Standard Conjecture for Compactifications of Néron Models of Three-Dimensional Abelian Varieties with Multiplications in an Imaginary Quadratic Field

Mathematical Notes -     

The Integrative Approach to Study of the Structure and Functions of Cardiac Voltage-Dependent Ion Channels

Crystallography Reports - Membrane proteins, including ion channels, became the focus of structural proteomics midway through the 20th century. Methods for studying ion channels are diverse and...     

Investigation of Relationships between Grain Structure and Inhomogeneous Deformation by Means of Laboratory-Based Multimodal X-Ray Tomography: Strain Accuracy Analysis

Experimental Mechanics - The internal strain distribution developing during plastic deformation is important for understanding the mechanical properties of polycrystalline materials. Such...     

Estimation of the Sorption Activity of Silver Nanoparticles on Biodegradable Fibers of Natural and Artificial Origin

Russian Physics Journal - The specific features of the sorption activity of silver nanoparticles (AgNPs) on biodegradable polymers of natural (collagen) and artificial (polyamide 6.6) origin have...     

从双层规划的角度看道德风险理论的一阶条件方法

本文首先对双层规划的一个特殊例子即道德风险模型中使用的一阶条件方法（FOA）做简要的梳理，然后提出一种更为一般的使FOA有效的原则与方法。新方法主要依赖于代理人对委托人设置的目标的最优反应映射是否存在不动点，这个性质不要求原问题与用一阶条件放松以后的问题之间的约束集等价，从而也不要求代理人的期望效用对行动具有全局凹性。在新方法下，可以用较为简单的方法证明FOA在以下两种情形之一有效，即如果分布函数是概率分布的凸组合或者分布函数来自某些特殊的指数族分布。     

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.     

Small-Angle Neutron Scattering at the Pulsed Reactor IBR-2: Current Status and Prospects

Crystallography Reports - Neutron diffraction studies on the small-angle neutron spectrometer YuMO (Joint Institute for Nuclear Research, Dubna), based on the IBR-2 pulsed reactor, have been...