Reconstructing constant point heat sources from few temperature sensors: sparse selection and spatial resolution

Set \gamma_j(s)=z_j+s(\xi_j-z_j), 0\leq s\leq1. Convexity keeps the segment in the region where the derivative bound holds. The fundamental theorem of calculus gives

The induced operator-norm bound implies \left\|\boldsymbol g(\xi_j)-\boldsymbol g(z_j)\right\|_2\leq C_1|\xi_j-z_j|\leq C_1h_\Gamma. Multiply by a_j>0, sum, and apply the triangle inequality. If several true sources use the same node, their amplitudes are added, so total strength is preserved. The farthest point in a Cartesian cell is at distance \sqrt d\,h/2 from a nearest node.

Distance to a nonempty set is 1-Lipschitz, so |d_k(y)-d_k(f_*)|\leq\eta+b_{\rm mod}. Nestedness implies d_k(f_*)\geq d_{K_*-1}(f_*) for k<K_*; therefore every smaller model has residual greater than \epsilon. The true model has d_{K_*}(y)\leq\eta+b_{\rm mod}\leq\epsilon. An attempted fit cannot have a residual smaller than its global model distance. The additional local-fit assumption thus suffices for the sequential procedure.

Set x=r^2/(4\kappa)>0 and p=d/2-2. Changing variables v=1/s gives the ratio

On [1/t_2,\infty), normalize v^pe^{-xv} to a probability density and let V have that density. The threshold is \tau=1/t_1>1/t_2 and Q(x)=P_x(V\geq\tau). Differentiating the numerator and denominator gives Q'(x)=-\operatorname{Cov}_x(V,\boldsymbol1_{\{V\geq\tau\}}). If p_+=P_x(V\geq\tau), this covariance equals

Here P_x, E_x, and \operatorname{Cov}_x denote probability, expectation, and covariance under this normalized density. Both conditional events have positive probability, and all required moments are finite for x>0. Since x increases with r, the ratio is strictly decreasing in r.

At sensor i, the reading ratio cancels the strength and determines r_i=|b_i-z|. Subtracting |b_1-z|^2=r_1^2 from |b_i-z|^2=r_i^2 yields

Affine independence makes this system invertible. A nonzero reading then determines the strength.

Differentiation of q^Tq=1 gives q^TDq\,v=0 and q^TD^2q[v,v]=-\left\|Dq\,v\right\|_2^2. Taylor expansion of q(z+\delta v) and inner product with q(z) yield the result. Direct differentiation of \boldsymbol g/\left\|\boldsymbol g\right\|_2 gives the derivative identity. Standard uniform Taylor bounds give the compact-region statement.

The blocks of the joint information matrix are

where all responses and derivatives are evaluated at z. Substitution into the Schur complement yields the first equality in (5). The derivative identity in (4) yields the second.

For any v, the minimizing strength perturbation is

Substituting s_* proves the variational formula. Its value vanishes for a nonzero v exactly when aD\boldsymbol g\,v+s\boldsymbol g=0 for some s. Since \boldsymbol g\ne0, every nonzero vector in the null space of J_1 has a nonzero position component. Thus \mathcal I_z is positive definite exactly when J_1 has full column rank.

With v_j=z_j-c, Taylor’s formula with integral remainder gives

The first-order sum vanishes because \sum_ja_jv_j=0. Bounding the remaining integrals proves the inequality. For a pair, direct substitution of its weighted center gives \sum_ja_j|z_j-c|^2=a_1a_2\delta^2/A_c.

Cancellation of the first spatial moment gives the pair data

The stationary equation is

At (\theta,\delta)=(\theta_c,0), its derivative with respect to \theta is J_c^TJ_c, which is positive definite. The implicit function theorem yields a nearby stationary branch \theta_\delta. By continuity of the least-squares Hessian, this branch consists of strict local minimizers for sufficiently small \delta. Expansion of the stationary equation gives

Substitution yields

Taking norms proves (7). For equal strengths, the pair data satisfy

Since \theta_\delta-\theta_c=O(\delta^2), the same stationary-equation calculation improves both the parameter and residual remainders to O(\delta^4).

Set \varphi(s)=\boldsymbol g(c_{\rm mid}+sv) and h=\delta/2. Direct multiplication gives

Integration by parts twice yields

Hence

Testing the minimum gain with w_\delta/|w_\delta| and using |w_\delta|\geq\sqrt2 proves (8).

Write h=\widehat\theta-\theta_c. Since U is convex,

The derivative bound therefore implies

On the other hand, the triangle inequality and Proposition 6 give

Combining these inequalities proves (9).

Set y_0=f(\theta_c). The stationary equation for a one-source fit is

At (\theta,y)=(\theta_c,y_0), its derivative with respect to \theta is J_c^TJ_c, which is positive definite. The implicit function theorem therefore defines a twice continuously differentiable local parameter map \widehat\theta(y). By continuity of the least-squares Hessian, this map gives strict local minimizers for y sufficiently close to y_0.

The corresponding residual map

satisfies

The pair-response expansion gives

and hence

Since \delta^2/\sigma is bounded,

Also, \delta^3/\sigma\to0. Thus

Here O_p denotes boundedness in probability after scaling, and o_p(1) denotes convergence to zero in probability. The local fit is defined on a fixed neighborhood reached with probability tending to one; any extension outside that neighborhood leaves the limit unchanged.

The matrix P_c^\perp is an orthogonal projector of rank M-d-1. Therefore, the squared norm of the limiting vector has a noncentral chi-square distribution with noncentrality

This proves (10). The limiting distribution is continuous at T_M, which also proves convergence of the rejection probability.

At a fixed positive threshold, the noncentral chi-square upper-tail probability is continuous and strictly increasing in the noncentrality parameter, from its central value to one. Thus \lambda_\pi exists and is unique. Equation (11) gives

Proposition 10 then gives the stated limit.