Sequent Calculus in the Topos of Trees

Nakano's "later" modality, inspired by G\"{o}del-L\"{o}b provability logic, has been applied in type systems and program logics to capture guarded recursion. Birkedal et al modelled this modality via the internal logic of the topos of trees. We show that the semantics of the propositional fragment of this logic can be given by linear converse-well-founded intuitionistic Kripke frames, so this logic is a marriage of the intuitionistic modal logic KM and the intermediate logic LC. We therefore call this logic $\mathrm{KM}_{\mathrm{lin}}$. We give a sound and cut-free complete sequent calculus for $\mathrm{KM}_{\mathrm{lin}}$ via a strategy that decomposes implication into its static and irreflexive components. Our calculus provides deterministic and terminating backward proof-search, yields decidability of the logic and the coNP-completeness of its validity problem. Our calculus and decision procedure can be restricted to drop linearity and hence capture KM.Comment: Extended version, with full proof details, of a paper accepted to FoSSaCS 2015 (this version edited to fix some minor typos

Chandra survey in the AKARI North Ecliptic Pole Deep Field. I. X-ray data, point-like source catalog, sensitivity maps, and number counts

We present data products from the 300 ks Chandra survey in the AKARI North Ecliptic Pole (NEP) deep field. This field has a unique set of 9-band infrared photometry covering 2-24 micron from the AKARI Infrared Camera, including mid-infrared (MIR) bands not covered by Spitzer. The survey is one of the deepest ever achieved at ~15 micron, and is by far the widest among those with similar depths in the MIR. This makes this field unique for the MIR-selection of AGN at z~1. We design a source detection procedure, which performs joint Maximum Likelihood PSF fits on all of our 15 mosaicked Chandra pointings covering an area of 0.34 square degree. The procedure has been highly optimized and tested by simulations. We provide a point source catalog with photometry and Bayesian-based 90 per cent confidence upper limits in the 0.5-7, 0.5-2, 2-7, 2-4, and 4-7 keV bands. The catalog contains 457 X-ray sources and the spurious fraction is estimated to be ~1.7 per cent. Sensitivity and 90 per cent confidence upper flux limits maps in all bands are provided as well. We search for optical MIR counterparts in the central 0.25 square degree, where deep Subaru Suprime-Cam multiband images exist. Among the 377 X-ray sources detected there, ~80 per cent have optical counterparts and ~60 per cent also have AKARI mid-IR counterparts. We cross-match our X-ray sources with MIR-selected AGN from Hanami et al. (2012). Around 30 per cent of all AGN that have MID-IR SEDs purely explainable by AGN activity are strong Compton-thick AGN candidates.Comment: 23 pages, 20 figures; catalogs, sensitivity maps, and upper limit flux maps are available from the VizieR Servic

Applying System Dynamics Approach to the Fast Fashion Supply Chain: Case Study of an SME in Indonesia

The fashion industry is the biggest contributor among the 14 creative industries in Indonesia. Nowadays many apparel companies are shifting toward the vertical integration. Since speed is everything to be successful in the apparel industry, fast fashion retailers must quickly respond to the market demand. This papers aims to develop a model of the supply chain of a small and medium scale enterprise (SME) of an apparel company in Indonesia and to propose a decision support system using System Dynamics (SD) and helps the management to identify the best business strategy. Simulated scenarios can help the management to identify the most appropriate policy to be applied in the future. Case study method was used in this research where data were collected from a typical fast fashion firm in Indonesia that produces its own wares ranging from raw materials to be ready-to-wear clothes, has three stores, a warehouse and is running online sales system. We analyses the result of many simulations in a fashion company from an operational point of view and from them we derive suggestions about the future business strategy in a small and medium fashion company in Indonesia

Searches for New Milky Way Satellites from the First Two Years of Data of the Subaru/Hyper Suprime-Cam Survey: Discovery of Cetus~III

We present the results from a search for new Milky Way (MW) satellites from the first two years of data from the Hyper Suprime-Cam (HSC) Subaru Strategic Program (SSP) $\sim 300$~deg$^2$ and report the discovery of a highly compelling ultra-faint dwarf galaxy candidate in Cetus. This is the second ultra-faint dwarf we have discovered after Virgo~I reported in our previous paper. This satellite, Cetus~III, has been identified as a statistically significant (10.7$\sigma$) spatial overdensity of star-like objects, which are selected from a relevant isochrone filter designed for a metal-poor and old stellar population. This stellar system is located at a heliocentric distance of 251$^{+24}_{-11}$~kpc with a most likely absolute magnitude of $M_V = -2.4 \pm 0.6$~mag estimated from a Monte Carlo analysis. Cetus~III is extended with a half-light radius of $r_h = 90^{+42}_{-17}$~pc, suggesting that this is a faint dwarf satellite in the MW located beyond the detection limit of the Sloan Digital Sky Survey. Further spectroscopic studies are needed to assess the nature of this stellar system. We also revisit and update the parameters for Virgo~I finding $M_V = -0.33^{+0.75}_{-0.87}$~mag and $r_h = 47^{+19}_{-13}$~pc. Using simulations of $\Lambda$-dominated cold dark matter models, we predict that we should find one or two new MW satellites from $\sim 300$~deg$^2$ HSC-SSP data, in rough agreement with the discovery rate so far. The further survey and completion of HSC-SSP over $\sim 1,400$~deg$^2$ will provide robust insights into the missing satellites problem.Comment: 12 pages, 12 figures, accepted for publication in PASJ special issu

Descendants of the first stars: the distinct chemical signature of second generation stars

Extremely metal-poor (EMP) stars in the Milky Way (MW) allow us to infer the properties of their progenitors by comparing their chemical composition to the metal yields of the first supernovae. This method is most powerful when applied to mono-enriched stars, i.e. stars that formed from gas that was enriched by only one previous supernova. We present a novel diagnostic to identify this subclass of EMP stars. We model the first generations of star formation semi-analytically, based on dark matter halo merger trees that yield MW-like halos at the present day. Radiative and chemical feedback are included self-consistently and we trace all elements up to zinc. Mono-enriched stars account for only $\sim 1\%$ of second generation stars in our fiducial model and we provide an analytical formula for this probability. We also present a novel analytical diagnostic to identify mono-enriched stars, based on the metal yields of the first supernovae. This new diagnostic allows us to derive our main results independently from the specific assumptions made regarding Pop III star formation, and we apply it to a set of observed EMP stars to demonstrate its strengths and limitations. Our results may provide selection criteria for current and future surveys and therefore contribute to a deeper understanding of EMP stars and their progenitors.Comment: 18 pages, 20 figures, published in MNRA

Heavy-Fermion Formation at the Metal-to-Insulator Transition in Gd1−x_{1-x}Srx_xTiO3_3

The perovskite-like transition-metal oxide Gd$_{1-x}$Sr$_x$TiO$_3$ is investigated by measurements of resistivity, specific-heat, and electron paramagnetic resonance (EPR). Approaching the metal-to-insulator transition from the metallic regime ($x \geq 0.2$), the Sommerfeld coefficient $\gamma$ of the specific heat becomes strongly enhanced and the resistivity increases quadratically at low temperatures, which both are fingerprints of strong electronic correlations. The temperature dependence of the dynamic susceptibility, as determined from the Gd$^{3+}$-EPR linewidth, signals the importance of strong spin fluctuations, as observed in heavy-fermion compounds.Comment: 4pages, 3 figure

Galactic Wind in the Nearby Starburst Galaxy NGC 253 Observed with the Kyoto3DII Fabry-Perot Mode

We have observed the central region of the nearby starburst galaxy NGC 253 with the Kyoto Tridimensional Spectrograph II (Kyoto3DII) Fabry-Perot mode in order to investigate the properties of its galactic wind. Since this galaxy has a large inclination, it is easy to observe its galactic wind. We produced the Ha, [N II]6583, and [S II]6716,6731 images, as well as those line ratio maps. The [N II]/Ha ratio in the galactic wind region is larger than those in H II regions in the galactic disk. The [N II]/Ha ratio in the southeastern filament, a part of the galactic wind, is the largest and reaches about 1.5. These large [N II]/Ha ratios are explained by shock ionization/excitation. Using the [S II]/Ha ratio map, we spatially separate the galactic wind region from the starburst region. The kinetic energy of the galactic wind can be sufficiently supplied by supernovae in a starburst region in the galactic center. The shape of the galactic wind and the line ratio maps are non-axisymmetric about the galactic minor axis, which is also seen in M82. In the [N II]6583/[S II]6716,6731 map, the positions with large ratios coincide with the positions of star clusters found in the Hubble Space Telescope (HST) observation. This means that intense star formation causes strong nitrogen enrichment in these regions. Our unique data of the line ratio maps including [S II] lines have demonstrated their effectiveness for clearly distinguishing between shocked gas regions and starburst regions, determining the extent of galactic wind and its mass and kinetic energy, and discovering regions with enhanced nitrogen abundance.Comment: 22 pages, 5 figures, 1 table, accepted for publication in Ap

Heavy-Fermions in LiV2O4: Kondo-Compensation vs. Spin-Liquid Behavior?

7Li NMR measurements were performed in the metallic spinel LiV2O4. The temperature dependencies of the line width, the Knight shift and the spin-lattice relaxation rate were investigated in the temperature range 30 mK < T < 280 K. For temperatures T < 1 K we observe a spin-lattice relaxation rate which slows down exponentially. The NMR results can be explained by a spin-liquid behavior and the opening of a spin gap of the order 0.6 K