Anti-chiral edge states in an exciton polariton strip

We present a scheme to obtain anti-chiral edge states in an exciton-polariton honeycomb lattice with strip geometry, where the modes corresponding to both edges propagate in the same direction. Under resonant pumping the effect of a polariton condensate with nonzero velocity in one linear polarization is predicted to tilt the dispersion of polaritons in the other, which results in an energy shift between two Dirac cones and the otherwise flat edge states become tilted. Our simulations show that due to the spatial separation from the bulk modes the edge modes are robust against disorder.Comment: 6 pages, 5 figure

Thermal performance and energy savings of white and sedum-tray garden roof: A case study in a Chongqing office building

This study presents the experimental measurement of the energy consumption of three top-floor air-conditioned rooms in a typical office building in Chongqing, which is a mountainous city in the hot-summer and cold-winter zone of China, to examine the energy performance of white and sedum-tray garden roofs. The energy consumption of the three rooms was measured from September 2014 to September 2015 by monitoring the energy performance (temperature distributions of the roofs, evaporation, heat fluxes, and energy consumption) and indoor air temperature. The rooms had the same construction and appliances, except that one roof top was black, one was white, and one had a sedum-tray garden roof. This study references the International Performance Measurement and Verification Protocol (IPMVP) to calculate and compare the energy savings of the three kinds of roofs. The results indicate that the energy savings ratios of the rooms with the sedum-tray garden roof and with the white roof were 25.0% and 20.5%, respectively, as compared with the black-roofed room, in the summer; by contrast, the energy savings ratios were −9.9% and −2.7%, respectively, in the winter. Furthermore, Annual conditioning energy savings of white roof (3.9 kWh/m2) were 1.6 times the energy savings for the sedum-tray garden roof. It is evident that white roof is a preferable choice for office buildings in Chongqing. Additionally, The white roof had a reflectance of 0.58 after natural aging owing to the serious air pollution worsened its thermal performance, and the energy savings reduced by 0.033 kWh/m2·d. Evaporation was also identified to have a significant effect on the energy savings of the sedum-tray garden roof

[Colored solutions of Yang-Baxter equation from representations of U_{q}gl(2)]

We study the Hopf algebra structure and the highest weight representation of a multiparameter version of $U_{q}gl(2)$. The commutation relations as well as other Hopf algebra maps are explicitly given. We show that the multiparameter universal ${\cal R}$ matrix can be constructed directly as a quantum double intertwiner, without using Reshetikhin's transformation. An interesting feature automatically appears in the representation theory: it can be divided into two types, one for generic $q$, the other for $q$ being a root of unity. When applying the representation theory to the multiparameter universal ${\cal R}$ matrix, the so called standard and nonstandard colored solutions $R(\mu,\nu; {\mu}', {\nu}')$ of the Yang-Baxter equation is obtained.Comment: [14]pages, latex, no figure

The Design for a Nanoscale Single-Photon Spin Splitter

We propose using the effective spin-orbit interaction of light in Bragg-modulated cylindrical waveguides for the effcient separation of spin-up and spin-down photons emitted by a single photon emitter. Due to the spin and directional dependence of photonic stopbands in the waveguides, spin-up (down) photon propagation in the negative (positive) direction along the waveguide axis is blocked while the same photon freely propagates in the opposite direction.Comment: 5 pages, 3 figure

On the Renormalizability of Theories with Gauge Anomalies

We consider the detailed renormalization of two (1+1)-dimensional gauge theories which are quantized without preserving gauge invariance: the chiral and the "anomalous" Schwinger models. By regularizing the non-perturbative divergences that appear in fermionic Green's functions of both models, we show that the "tree level" photon propagator is ill-defined, thus forcing one to use the complete photon propagator in the loop expansion of these functions. We perform the renormalization of these divergences in both models to one loop level, defining it in a consistent and semi-perturbative sense that we propose in this paper.Comment: Final version, new title and abstract, introduction and conclusion rewritten, detailed semiperturbative discussion included, references added; to appear in International Journal of Modern Physics

PP-wave String Interactions from String Bit Model

We construct the string states $|O_{p}^J>_J$, $|O_{q}^{J_1}>_{{J_1}{J_2}}$ and $|O_{0}^{J_{1}J_{2}}>_{{J_1}{J_2}}$ in the Hilbert space of the quantum mechanical orbifold model so as to calculate the three point functions and the matrix elements of the light-cone Hamiltonian from the interacting string bit model. With these string states we show that the three point functions and the matrix elements of the Hamiltonian derived from the interacting string bit model up to $g^{2}_2$ order precisely match with those computed from the perturbative SYM theory in BMN limit.Comment: 20 pages, no figure, LaTeX, some changes made and references adde

An equatorial ultra iron-poor star identified in BOSS

We report the discovery of SDSS J131326.89-001941.4, an ultra iron-poor red giant star ([Fe/H] ~ -4.3) with a very high carbon abundance ([C/Fe]~ +2.5). This object is the fifth star in this rare class, and the combination of a fairly low effective temperature (Teff ~ 5300 K), which enhances line absorption, with its brightness (g=16.9), makes it possible to measure the abundances of calcium, carbon and iron using a low-resolution spectrum from the Sloan Digital Sky Survey. We examine the carbon and iron abundance ratios in this star and other similar objects in the light of predicted yields from metal-free massive stars, and conclude that they are consistent. By way of comparison, stars with similarly low iron abundances but lower carbon-to-iron ratios deviate from the theoretical predictions.Comment: 6 pages, 4 figures, accepted for publication in A&

Elastic effects on relaxation volume tensor calculations

Relaxation volume tensors quantify the effect of stress on diffusion of crystal defects. Continuum linear elasticity predicts that calculations of these parameters using periodic boundary conditions do not suffer from systematic deviations due to elastic image effects and should be independent of supercell size or symmetry. In practice, however, calculations of formation volume tensors of the interstitial in Stillinger-Weber silicon demonstrate that changes in bonding at the defect affect the elastic moduli and result in system-size dependent relaxation volumes. These vary with the inverse of the system size. Knowing the rate of convergence permits accurate estimates of these quantities from modestly sized calculations. Furthermore, within the continuum linear elasticity assumptions the average stress can be used to estimate the relaxation volume tensor from constant volume calculations.Comment: 31 pages, 6 figures, submitted to Phys. Rev.

Three dimensional rotational angiography imaging of double aortic arch vascular ring

Three dimensional (3D) rotational angiography is a technique used increasingly for imaging in congenital heart disease. Here the use of this technique for imaging of double aortic arch vascular ring is described and the advantages of this modality. are discussed. 3D rotational angiography is an excellent tool for imaging of various vascular anomalies. It provides high quality accurate images through a quick and safe procedure.peer-reviewe

On Deciding Local Theory Extensions via E-matching

Satisfiability Modulo Theories (SMT) solvers incorporate decision procedures for theories of data types that commonly occur in software. This makes them important tools for automating verification problems. A limitation frequently encountered is that verification problems are often not fully expressible in the theories supported natively by the solvers. Many solvers allow the specification of application-specific theories as quantified axioms, but their handling is incomplete outside of narrow special cases. In this work, we show how SMT solvers can be used to obtain complete decision procedures for local theory extensions, an important class of theories that are decidable using finite instantiation of axioms. We present an algorithm that uses E-matching to generate instances incrementally during the search, significantly reducing the number of generated instances compared to eager instantiation strategies. We have used two SMT solvers to implement this algorithm and conducted an extensive experimental evaluation on benchmarks derived from verification conditions for heap-manipulating programs. We believe that our results are of interest to both the users of SMT solvers as well as their developers