We define the notions of strong and strict recurrency for actions of countable ordered groups on $\sigma$-finite non atomic measure spaces with quasi-invariant measures. We show that strong recurrency is equivalent to non existence of weakly wandering sets of positive measure. We also show that for certain p.m.p ergodic actions the system is not strictly recurrent, which shows that strong and strict recurrency are not equivalent.

In a previous paper we defined the Black-and-White SAT problem which has exactly two solutions, where each variable is either true or false. We showed that Black-and-White $2$-SAT problems represent strongly connected directed graphs. We presented also the strong model of communication graphs. In this work we introduce two new models, the weak model, and the Balatonbogl\'{a}r model of communication graphs. A communication graph is a directed graph, where no self loops are allowed. In this work we show that the weak model of a strongly connected communication graph is a Black-and-White SAT problem. We prove a powerful theorem, the so called Transitions Theorem. This theorem states that for any model which is between the strong and the weak model, we have that this model represents strongly connected communication graphs as Blask-and-White SAT problems. We show that the Balatonbogl\'{a}r model is between the strong and the weak model, and it generates $3$-SAT problems, so the Balatonbogl\'{a}r model represents strongly connected communication graphs as Black-and-White $3$-SAT problems. Our motivation to study these models is the following: The strong model generates a $2$-SAT problem from the input directed graph, so it does not give us a deep insight how to convert a general SAT problem into a directed graph. The weak model generates huge models, because it represents all cycles, even non-simple cycles, of the input directed graph. We need something between them to gain more experience. From the Balatonbogl\'{a}r model we learned that it is enough to have a subset of a clause, which represents a cycle in the weak model, to make the Balatonbogl\'{a}r model more compact. We still do not know how to represent a SAT problem as a directed graph, but this work gives a strong link between two prominent fields of formal methods: SAT problem and directed graphs.

The energy E takes the place of the gravitational mass m_G to produce gravity [1]. We wonder whether the inertial mass m_i in the inertial force is also replaced by E. The experiments to measure the inertial force and weight of a carrier are presented. Now we can test the principle of equivalence and study foundations of physics in condensed matter.

Spatially uniform optical excitations can induce Floquet topological band structures within insulators which can develop similar or equal characteristics as are known from three-dimensional topological insulators. We derive in this article theoretically the development of Floquet topological quantum states for electromagnetically driven semiconductor bulk matter and we present results for the lifetime of these states and their occupation in the non-equilibrium. The direct physical impact of the mathematical precision of the Floquet-Keldysh theory is evident when we solve the driven system of a generalized Hubbard model with our framework of dynamical mean field theory (DMFT) in the non-equilibrium for a case of ZnO. The physical consequences of the topological non-equilibrium effects in our results for correlated systems are explained with their impact on optoelectronic applications.

We review the latest developments in the field of the metal-insulator transition in strongly-correlated two-dimensional electron systems. Particular attention is given to recent discoveries of a sliding quantum electron solid and interaction-induced spectrum flattening at the Fermi level in high-quality silicon-based structures.