Working on a model involving some GP regression, coupled with a horseshoe prior for variable selection. In an attempt at counting the number of effective parameters of my model, the following quantity pops out quite naturally. Is this a well known quantity? 1/2