Some Results on the Optimal Matching Problem for the Jacobi Model

Potential Analysis - We establish some exact asymptotic results for a matching problem with respect to a family of beta distributions. Let X1,…,Xn be independent random variables with common...     

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.     

Maximum cross-correlated kurtosis-based unsaturated stochastic resonance and its application to bearing fault diagnosis

Considering the random impulses of mechanical noise and the limitations involved while identifying mechanical fault impulse signals via traditional measurement indices of signal-to-noise ratio, which require the characteristic frequency to be known in advance, this study proposes an adaptive unsaturated stochastic resonance method employing maximum cross-correlated kurtosis as the signal detection index. The proposed method combines the features of a cross-correlated coefficient to indicate periodic fault transients and those of spectrum kurtosis to locate these transients in the frequency domain. Actual vibration signals collected from motor and gear bearings subjected to heavy noise are used to demonstrate the effectiveness of the proposed method. Through a coarse tree-based machine learning method, the proposed method is verified to be more suitable for explaining the periodic impulse components of bearing signals, as compared to the ensemble empirical mode decomposition denoising method and unsaturated stochastic resonance using the kurtosis-intercorrelation index.     

Spectroscopic properties of the low-lying electronic states and laser cooling feasibility for the SrI molecule

Laser cooling of a molecule with heavy nuclei is often complicated because of the density distribution of the electronic states. Here, we evaluate the feasibility of the laser cooling of the SrI molecule by calculating the potential energy curves and transition dipole moments of the ground and low-lying excited states using the multi-reference configuration interaction plus Davidson corrections (MRCI + Q) and the all-electron basis sets of ANO-RCC. The relativistic effect and the spin-orbit coupling splits are included, because both Sr and I are heavy atoms. Based on the obtained potential energy curves, we solve the Schrödinger equation of nuclear motion to determine the rovibrational energy levels and the Franck-Condon factors. The spectroscopic parameters are obtained by fitting the rovibrational energy levels with the Dunham expression. The radiation lifetimes, the Doppler and recoil temperatures between the X²Σ⁺ and the ²Π_1/2/²Π_3/2/B²Σ⁺ states are calculated. 5-color laser cooling schemes for the molecule are proposed, which can lead to the total effective Franck-Condon factors being 0.99983, 0.99979, and 0.99941 for the three transitions, respectively. All the obtained results suggest that the SrI molecule is a feasible candidate for laser cooling.     

Dynamical analysis,circuit realization,and application in pseudorandom number generators of a fractional-order laser chaotic system

A new five-dimensional fractional-order laser chaotic system (FOLCS) is constructed by incorporating complex variables and fractional calculus into a Lorentz-Haken-type laser system. Dynamical behavior of the system, circuit realization and application in pseudorandom number generators are studied. Many types of multi-stable states are discovered in the system. Interestingly, there are two types of state transition phenomena in the system, one is the chaotic state degenerates to a periodical state, and the other is the intermittent chaotic oscillation. In addition, the complexity of the system when two parameters change simultaneously is measured by the spectral entropy algorithm. Moreover, a digital circuit is design and the chaotic oscillation behaviors of the system are verified on this circuit. Finally, a pseudo-random sequence generator is designed using the FOLCS, and the statistical characteristics of the generated pseudo-random sequence are tested with the NIST-800-22. This study enriches the research on the dynamics and applications of FOLCS.     

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.