A minor change to the standard epistemic logical language, replacing Ki with K〈i,t〉 where t is a time instance, gives rise to a generalized and more expressive form of knowledge and common knowledge operators. We investigate the communication structures that are necessary for such generalized epistemic states to arise, and the inter-agent coordination tasks that require such knowledge. Previous...

Two results on palindromicity of bi-infinite words in a finite alphabet are presented. The first is a simple, but efficient criterion to exclude palindromicity of minimal sequences and applies, in particular, to the Rudin-Shapiro sequence. The second provides a constructive method to build palindromic minimal sequences based upon regular, generic model sets with centro-symmetric window. These g...

An electronic orbital of a dihedral angle of a molecular chain is introduced. A tight-binding Hamiltonian on the basis of the dihedral orbitals is defined. This yields the Green’s function between two dihedral angles of the chain. It is revealed that the Green’s function, which we refer to as the electronic communicability, is useful in differentiating protein molecules of different types of co...

We consider energy-minimizing divergence-free eigenfields of the curl operator in dimension three from the perspective of contact topology. We give a negative answer to a question of Etnyre and the first author by constructing curl eigenfields which minimize L energy on their co-adjoint orbit, yet are orthogonal to an OVERTWISTED contact structure. We conjecture that K-contact structures on S-b...