The freezing of water typically proceeds through impurity-mediated heterogeneous nucleation. Although non-planar geometry generically exists on the surfaces of ice nucleation centres, its role in nucleation remains poorly understood. Here we show that an atomically sharp, concave wedge can further promote ice nucleation with special wedge geometries. Our molecular analysis shows that significan...

In this paper, an α-resolution method for a set of lattice-valued Horn generalized clauses is established in lattice-valued propositional logic systemL P(X) based on lattice implication algebra. Firstly, the notions of lattice-valued Horn generalized clause, normal lattice-valued Horn generalized clause and unit latticevalued Horn generalized clause are given in L P(X). Then, the α-resolution o...

Non-Hermitian skin effects and exceptional points are topological phenomena characterized by integer winding numbers. In this study, we give methods to theoretically detect generalizing inversion symmetry. The generalization of symmetry is unique non-Hermitian systems. We show that parities the numbers can be determined from energy eigenvalues on inversion-invariant momenta when generalized pre...

Topological flat band (TFB) has been proposed theoretically in various lattice models, to exhibit a rich spectrum of intriguing physical behaviors. However, the experimental demonstration (FB) properties severely hindered by lack materials realization. Here, screening from first-principles database, we identify group 2D with TFBs near Fermi level, covering some simple line-graph and generalized...

In this paper, the denition of net-theoretical L-generalized convergencespaces is proposed. It is shown that, for L a frame, the category ofenriched L-fuzzy topological spaces can be embedded in that of L-generalizedconvergence spaces as a reective subcategory and the latter is a cartesianclosedtopological category.

Let G be a simple connected graph and {v_1,v_2,..., v_k} be the set of pendent (vertices of degree one) vertices of G. The reduced distance matrix of G is a square matrix whose (i,j)-entry is the topological distance between v_i and v_j of G. In this paper, we compute the spectrum of the reduced distance matrix of the generalized Bethe trees.

Rough set theory is a powerful mathematical tool for dealing with inexact, uncertain or vague information. The core concept of rough set theory are information systems and approximation operators of approximation spaces. In this paper, we study the relationships between mset relations and mset topology. Moreover, this paper concerns generalized mset approximation spaces via topological methods ...