We consider the U(1) problem within the AdS/CFT framework. We explain how the Witten–Veneziano formula for the η mass is related to a generalized Green–Schwarz mechanism. The closed string mode, that cancels the anomaly of the gauged U(1) axial symmetry, is identified with the η meson. In a particular set-up of D3-branes on a C/(Z3 ⊗ Z3) orbifold singularity, the η ′ meson is a twisted-sector R...

Based on the generalized gauge theory on M4 ×Z2 ×Z3, we reconstructed the realistic SU(5) Grand Unified model by a suitable assignment of fermion fields. The action of group elements Z2 on fermion fields is the charge conjugation while the action of Z3 elements represent generation translation. We find that to fit the spontaneous symmetry breaking and gauge hierarchy of SU(5) model a linear ter...

We present a way of tiling the plane with a regular hexagonal network of defects. The network is stable and follows in consequence of the three-junctions that appear in a model of two real scalar fields that presents Z3 symmetry. The Z3 symmetry is effective in both the vacuum and defect sectors, and no supersymmetry is required to build the network.

Yuri Gurevich and Itay Neeman proposed the Distributed Knowledge Authorization Language, DKAL, as an expressive, yet very succinctly expressible logic for distributed authorization. DKAL uses a combination of modal and intuitionistic propositional logic. Modalities are used for qualifying assertions made by different principals and intuitionistic logic captures very elegantly assertions about b...

The area of software analysis, testing and verification is now undergoing a revolution thanks to the use of automated and scalable support for logical methods. A well-recognized premise is that at the core of software analysis engines is invariably a component using logical formulas for describing states and transformations between system states. One can thus say that symbolic logic is the calc...

Abstract We characterize the energy transport in a one dimensional Z 3 chiral clock model. The model generalizes ${\mathbb{Z}}_{2}$?> 2 sy...

Three new baffle flow constructed wetlands (CWs), namely the baffle horizontal flow CW (Z1), baffle vertical flow CW (Z2) and baffle hybrid flow CW (Z3), along with one traditional horizontal subsurface flow CW (Z4) were designed to test the removal efficiency of nitrogen (N) and phosphorus (P) from the septic tank effluent under varying hydraulic retention times (HRTs). Results showed that the...