The Lambek calculus with iteration: two variants

Formulae of the Lambek calculus are constructed using three binary connectives, multiplication and two divisions. We extend it using a unary connective, positive Kleene iteration. For this new operation, following its natural interpretation, we present two lines of calculi. The first one is a fragment of infinitary action logic and includes an omega-rule for introducing iteration to the antecedent. We also consider a version with infinite (but finitely branching) derivations and prove equivalence of these two versions. In Kleene algebras, this line of calculi corresponds to the *-continuous case. For the second line, we restrict our infinite derivations to cyclic (regular) ones. We show that this system is equivalent to a variant of action logic that corresponds to general residuated Kleene algebras, not necessarily *-continuous. Finally, we show that, in contrast with the case without division operations (considered by Kozen), the first system is strictly stronger than the second one. To prove this, we use a complexity argument. Namely, we show, using methods of Buszkowski and Palka, that the first system is $\Pi_1^0$-hard, and therefore is not recursively enumerable and cannot be described by a calculus with finite derivations

Giant Anharmonic Phonon Scattering in PbTe

Understanding the microscopic processes affecting the bulk thermal conductivity is crucial to develop more efficient thermoelectric materials. PbTe is currently one of the leading thermoelectric materials, largely thanks to its low thermal conductivity. However, the origin of this low thermal conductivity in a simple rocksalt structure has so far been elusive. Using a combination of inelastic neutron scattering measurements and first-principles computations of the phonons, we identify a strong anharmonic coupling between the ferroelectric transverse optic (TO) mode and the longitudinal acoustic (LA) modes in PbTe. This interaction extends over a large portion of reciprocal space, and directly affects the heat-carrying LA phonons. The LA-TO anharmonic coupling is likely to play a central role in explaining the low thermal conductivity of PbTe. The present results provide a microscopic picture of why many good thermoelectric materials are found near a lattice instability of the ferroelectric type

Ultrafast Hole Trapping and Relaxation Dynamics in p-Type CuS Nanodisks

CuS nanocrystals are potential materials for developing low-cost solar energy conversion devices. Understanding the underlying dynamics of photoinduced carriers in CuS nanocrystals is essential to improve their performance in these devices. In this work, we investigated the photoinduced hole dynamics in CuS nanodisks (NDs) using the combination of transient optical (OTA) and X-ray (XTA) absorption spectroscopy. OTA results show that the broad transient absorption in the visible region is attributed to the photoinduced hot and trapped holes. The hole trapping process occurs on a subpicosecond time scale, followed by carrier recombination (~100 ps). The nature of the hole trapping sites, revealed by XTA, is characteristic of S or organic ligands on the surface of CuS NDs. These results not only suggest the possibility to control the hole dynamics by tuning the surface chemistry of CuS but also represent the first time observation of hole dynamics in semiconductor nanocrystals using XTA

Magnetic Catalysis and Quantum Hall Ferromagnetism in Weakly Coupled Graphene

We study the realization in a model of graphene of the phenomenon whereby the tendency of gauge-field mediated interactions to break chiral symmetry spontaneously is greatly enhanced in an external magnetic field. We prove that, in the weak coupling limit, and where the electron-electron interaction satisfies certain mild conditions, the ground state of charge neutral graphene in an external magnetic field is a quantum Hall ferromagnet which spontaneously breaks the emergent U(4) symmetry to U(2)XU(2). We argue that, due to a residual CP symmetry, the quantum Hall ferromagnet order parameter is given exactly by the leading order in perturbation theory. On the other hand, the chiral condensate which is the order parameter for chiral symmetry breaking generically obtains contributions at all orders. We compute the leading correction to the chiral condensate. We argue that the ensuing fermion spectrum resembles that of massive fermions with a vanishing U(4)-valued chemical potential. We discuss the realization of parity and charge conjugation symmetries and argue that, in the context of our model, the charge neutral quantum Hall state in graphene is a bulk insulator, with vanishing longitudinal conductivity due to a charge gap and Hall conductivity vanishing due to a residual discrete particle-hole symmetry.Comment: 35 page

The effect of internal pressure on the tetragonal to monoclinic structural phase transition in ReOFeAs: the case of NdOFeAs

We report the temperature dependent x-ray powder diffraction of the quaternary compound NdOFeAs (also called NdFeAsO) in the range between 300 K and 95 K. We have detected the structural phase transition from the tetragonal phase, with P4/nmm space group, to the orthorhombic or monoclinic phase, with Cmma or P112/a1 (or P2/c) space group, over a broad temperature range from 150 K to 120 K, centered at T0 ~137 K. Therefore the temperature of this structural phase transition is strongly reduced, by about ~30K, by increasing the internal chemical pressure going from LaOFeAs to NdOFeAs. In contrast the superconducting critical temperature increases from 27 K to 51 K going from LaOFeAs to NdOFeAs doped samples. This result shows that the normal striped orthorhombic Cmma phase competes with the superconducting tetragonal phase. Therefore by controlling the internal chemical pressure in new materials it should be possible to push toward zero the critical temperature T0 of the structural phase transition, giving the striped phase, in order to get superconductors with higher Tc.Comment: 9 pages, 3 figure

Limits on Light Weakly Interacting Massive Particles from the First 102.8 kg ×{\times} day Data of the CDEX-10 Experiment

We report the first results of a light weakly interacting massive particles (WIMPs) search from the CDEX-10 experiment with a 10 kg germanium detector array immersed in liquid nitrogen at the China Jinping Underground Laboratory with a physics data size of 102.8 kg day. At an analysis threshold of 160 eVee, improved limits of 8 $\times 10^{-42}$ and 3 $\times 10^{-36}$ cm$^{2}$ at a 90\% confidence level on spin-independent and spin-dependent WIMP-nucleon cross sections, respectively, at a WIMP mass ($m_{\chi}$) of 5 GeV/${c}^2$ are achieved. The lower reach of $m_{\chi}$ is extended to 2 GeV/${c}^2$.Comment: 5 pages, 4 figure