The generalized no-ghost theorem for N=2 SUSY critical strings

We prove the no-ghost theorem for the N=2 SUSY strings in (2,2) dimensional flat Minkowski space. We propose a generalization of this theorem for an arbitrary geometry of the N=2 SUSY string theory taking advantage of the N=4 SCA generators present in this model. Physical states are found to be the highest weight states of the N=4 SCA.Comment: 13

A New Description of the E_6 Singularity

We discuss a new type of Landau-Ginzburg potential for the E_6 singularity of the form $W=const+(Q_1(x)+P_1(x)\sqrt{P_2(x)})/x^3$ which featured in a recent study of heterotic/typeII string duality. Here $Q_1,P_1$ and $P_2$ are polynomials of degree 15,10 and 10, respectively. We study the properties of the potential in detail and show that it gives a new and consistent description of the E_6 singularity.Comment: LaTeX, 13 pages, no figure

Complexity Analysis of Precedence Terminating Infinite Graph Rewrite Systems

The general form of safe recursion (or ramified recurrence) can be expressed by an infinite graph rewrite system including unfolding graph rewrite rules introduced by Dal Lago, Martini and Zorzi, in which the size of every normal form by innermost rewriting is polynomially bounded. Every unfolding graph rewrite rule is precedence terminating in the sense of Middeldorp, Ohsaki and Zantema. Although precedence terminating infinite rewrite systems cover all the primitive recursive functions, in this paper we consider graph rewrite systems precedence terminating with argument separation, which form a subclass of precedence terminating graph rewrite systems. We show that for any precedence terminating infinite graph rewrite system G with a specific argument separation, both the runtime complexity of G and the size of every normal form in G can be polynomially bounded. As a corollary, we obtain an alternative proof of the original result by Dal Lago et al.Comment: In Proceedings TERMGRAPH 2014, arXiv:1505.06818. arXiv admin note: text overlap with arXiv:1404.619

Online monitoring system and data management for KamLAND

In January 22, 2002, KamLAND started the data-taking. The KamLAND detector is a complicated system which consists of liquid scintillator, buffer oil, spherical balloon and so on. In order to maintain the detector safety, we constructed monitoring system which collect detector status information such as balloon weight, liquid scintillator oil level and so on. In addition, we constructed continuous Rn monitoring system for the $^7$Be solar neutrino detection. The KamLAND monitoring system consists of various network, LON, 1-Wire, and TCP/IP, and these are indispensable for continuous experimental data acquisition.Comment: Submitted to Nucl.Instrum.Meth.

Transmutation of Pure 2-D Supergravity Into Topological 2-D Gravity and Other Conformal Theories

We consider the BRST and superconformal properties of the ghost action of 2-D supergravity. Using the background spin structure on the worldsheet, we show that this action can be transformed by canonical field transformations to reach other conformal models such as the 2-D topological gravity or the chiral models for which the gauge variation of the action reproduces the left or right conformal anomaly. Our method consists in using the gravitino and its ghost as fundamental blocks to build fields with different conformal weights and statistics. This indicates in particular that the twisting of a conformal model into another one can be classically interpreted as a change of "field representation" of the superconformal symmetry.Comment: 20 pages, PAR-LPTHE 92-2

"Employment Protection Regulations and New Hiring"

In the real world, there are various regulations concerned with the dismissal of employees. We consider the effects of dismissal regulations with a simple incomplete labor contract model. Under moral hazard, the existence of a regulation always increases wage level and decreases firms' profits. However, the regulation can improve social welfare if workers' outside option is sufficiently low. Furthermore, we will show that the regulation can enhance new hiring.