Using Galois theory, we explicitly construct (in all complex dimensions $$g\ge 2$$ ) an infinite family of simple $$g$$ -dimensional tori $$T$$ that enjoy the following properties: $$\bullet$$ Picard number is $$0;$$ in particular, algebraic dimension $$0$$ ; if $$T^\vee$$ dual , then $$\mathrm{Hom}(T,T^\vee)=\{0\}$$ automorphism group $$\mathrm{Aut}(T)$$ isomorphic to $$\{\pm 1\} \times \mathb...

The object of this paper is to study $(epsilon)$-Lorentzian para-Sasakian manifolds. Some typical identities for the curvature tensor and the Ricci tensor of $(epsilon)$-Lorentzian para-Sasakian manifold are investigated. Further, we study globally $phi$-Ricci symmetric and weakly $phi$-Ricci symmetric $(epsilon)$-Lorentzian para-Sasakian manifolds and obtain interesting results.

This paper aims is to introduce states, Bosbach states and state-morphism operators on BI-algebras. We define state ideals BI-algebras give a characterization of the least ideal BI-algebra. It proved that kernel BI-algebra X an X. Further, by these concepts, we notions The notion complement pairs defined, proves under suitable conditions, there one-to-one correspondence between

We establish analytically the interactions of electromagnetic wave with a general class of spherical cloaks based on a full wave Mie scattering model. We show that for an ideal cloak the total scattering cross section is absolutely zero, but for a cloak with a specific type of loss, only the backscattering is exactly zero, which indicates the cloak can still be rendered invisible with a monosta...

This paper describes a technique for generating diagnostic information for the timed bisimulation equivalence and the timed simulation preorder. More precisely, given two (parallel) networks of regular real–time processes, the technique will provide a logical formula that differentiates them in case they are not timed (bi)similar. Our method may be seen as an extension of the algorithm by Čerān...

In the 1920s, Ackermann and von Neumann, in pursuit of Hilbert’s Programme, were working on consistency proofs for arithmetical systems. One proposed method of giving such proofs is Hilbert’s epsilon-substitution method. There was, however, a second approach which was not reflected in the publications of the Hilbert school in the 1920s, and which is a direct precursor of Hilbert’s first epsilon...

We examine energy spectra, fluxes, and transfers of two-dimensional forced incompressible turbulence with linear drag in the energy range, and find marked departures from 5/3 law and the idea of locality. Any attempt to bring the system into the "ideal cascade state" would result either in spectral (bulge) or flux distortion. We corroborate this observation by DNS (spectral code) and eddy-dampe...