The Speed of Convergence in a Two-Sector Growth Model with Health Capital

In this paper we will show that for empirically plausible parameter values, a two-sector growth model contained health capital can yield a slow speed adjustment process. Calibrating the model, we demonstrate that in the case of a capital deepening externality in the health sector has relatively weak impact on additional health capital production and income tax rates which finance public health expenditure are at realistically reasonable levels, a slower speed of convergence occurs. Such slower adjustment process is consistent with the standard empirics on convergence. Consequently, we stress the good harmonization between a calibration-based theoretical prediction and the corresponding evidence.Capital deepening externality, Health capital accumulation, Speed of convergence

Non-separable utility, wealth effects, and economic growth in a monetary economy

This paper investigates the effects of wealth-enhanced social status using an optimizing monetary growth model with non-separable utility function between consumption and wealth. Within this framework, we first arrive a conclusion that, in the case of no wealth effects, an increase in the rate of money growth does not stimulate the steady-state growth rate. Moreover, in the case of existing wealth effects, we show that an increase in the rate of money growth has a negative effect on the long-run growth rate of the economy. This result is in sharp contrast with the typical conclusion of the relevant field.AK model

Tax financed government health expenditure and growth with capital deepening externality

This paper develops a two-sector endogenous growth model with health capital and examines the impact tax financed health expenditure has on long-run growth. In this model, health capital is accumulated through government spending as a flow channel and a capital deepening externality as a stock channel. When arguing about the problem of growth maximizing flat tax, the latter channel plays a significant role for determining tax rate.

Towards Practical Typechecking for Macro Tree Transducers

Macro tree transducers (mtt) are an important model that both covers many useful XML transformations and allows decidable exact typechecking. This paper reports our first step toward an implementation of mtt typechecker that has a practical efficiency. Our approach is to represent an input type obtained from a backward inference as an alternating tree automaton, in a style similar to Tozawa's XSLT0 typechecking. In this approach, typechecking reduces to checking emptiness of an alternating tree automaton. We propose several optimizations (Cartesian factorization, state partitioning) on the backward inference process in order to produce much smaller alternating tree automata than the naive algorithm, and we present our efficient algorithm for checking emptiness of alternating tree automata, where we exploit the explicit representation of alternation for local optimizations. Our preliminary experiments confirm that our algorithm has a practical performance that can typecheck simple transformations with respect to the full XHTML in a reasonable time

Carmichael Numbers on a Quantum Computer

We present a quantum probabilistic algorithm which tests with a polynomial computational complexity whether a given composite number is of the Carmichael type. We also suggest a quantum algorithm which could verify a conjecture by Pomerance, Selfridge and Wagstaff concerning the asymptotic distribution of Carmichael numbers smaller than a given integer.Comment: 7 pages, Latex/REVTEX fil