Related papers: Generalized recursive atom ordering and equivalenc…
The nucleation kinetics of the rotator phase in hard cuboctahedra, truncated octahedra, and rhombic dodecahedra is simulated via a combination of Forward Flux Sampling and Umbrella Sampling. For comparable degree of supersaturation, the…
A unified scheme for treating generalized superselection sectors is proposed on the basis of the notion of selection criteria to characterize states of relevance to each specific domain in quantum physics, ranging from the relativistic…
We present a new approach to termination analysis of logic programs. The essence of the approach is that we make use of general orderings (instead of level mappings), like it is done in transformational approaches to logic program…
The orientational correlation scheme introduced earlier for tetrahedral molecules is extended for being able to classify orientational correlations between pairs of high symmetry molecules. While in the original algorithm a given…
Let ${\cal H}(P,C_3)$ be the set of order homomorphisms from a poset $P$ to the chain $C_3 = 1 < 2 < 3$. We develop a recursive approach for the calculation of the cardinality of ${\cal H}(P,C_3)$, and we apply it on several types of…
We introduce a new class of graded rings extending the class of generalized Weyl algebras. These rings are orders in crossed products of the most general type, and we introduce their basic structure theory. We provide an extensive list of…
Coherent backscattering (CBS) of quasi-resonant light by cold atoms presents some specific features due to the internal structure of the atomic scatterers. We present the first quantitative comparison between the experimentally observed CBS…
The order complex of inclusion poset $PF_n$ of Borel orbit closures in skew-symmetric matrices is investigated. It is shown that $PF_n$ is an EL-shellable poset, and furthermore, its order complex triangulates a ball. The rank-generating…
The uniform boundary condition in a normed chain complex asks for a uniform linear bound on fillings of null-homologous cycles. For the $\ell^1$-norm on the singular chain complex, Matsumoto and Morita established a characterisation of the…
The representation theorem for odd or even involutive FLe-chains by bunches of layer groups, as discussed in [10], is redefined to demonstrate a more straightforward constructional relationship between odd or even involutive FLe-chains and…
S. Gudder and, later, S. Pulmanova and E. Vincekova, have studied in two recent papers a certain ordering of bounded self-adjoint operators on a Hilbert space. We present some further results on this ordering and show that some structure…
We prove that the posets of connected components of intersections of toric and elliptic arrangements defined by root systems are EL-shellable and we compute their homotopy type. Our method rests on Bibby's description of such posets by…
Packing problems have been of great interest in many diverse contexts for many centuries. The optimal packing of identical objects has been often invoked to understand the nature of low temperature phases of matter. In celebrated work,…
The notion of computability closure has been introduced for proving the termination of the combination of higher-order rewriting and beta-reduction. It is also used for strengthening the higher-order recursive path ordering. In the present…
We investigate the generalisation of quantum search of unstructured and totally ordered sets to search of partially ordered sets (posets). Two models for poset search are considered. In both models, we show that quantum algorithms can…
We propose the representation principle to study physical systems with a given symmetry. In the context of symmetry enriched topological orders, we give the appropriate representation category, the category of SET orders, which include SPT…
We introduce a novel definition of orientation on the triples of a family of pairwise intersecting planar convex sets and study its properties. In particular, we compare it to other systems of orientations on triples that satisfy a…
X-ray techniques have been used for more than a century to study the atomic and electronic structure in virtually any type of material. The advent of correlated electron systems, in particular complex oxides, brought about new scientific…
A new necessary separability criterion that relates the structures of the total density matrix and its reductions is given. The method used is based on the realignment method [K. Chen and L.A. Wu, Quant. Inf. Comput. 3, 193 (2003)]. The new…
We study $T$-linear schemes, a class of objects that includes spherical and Schubert varieties. We provide a localization theorem for the equivariant Chow cohomology of these schemes that does not depend on resolution of singularities.…