To construct a no-arbitrage defaultable bond market, we work on the state price density framework. Using the heat kernel approach (HKA, shortly) with the killing of a Markov process, we construct a single defaultable bond market that enables explicit expressions of the defaultable bonds and the credit spreads under quadratic Gaussian settings. Some simulation results show that the model is not only tractable but realistic.
