1: \begin{abstract}

2: We present a general framework to compute upper and lower bounds for linear-functional outputs of the exact solutions of the Poisson equation 

3: \Rem{%\sout{based on obtaining potential (primal variable) and flux reconstructions of both the original (primal) and adjoint problem. A novel approach is introduced using a generalization of the well known complementary energy principle, which allows rewriting the desired output as the supremum of a convex functional over an infinite dimensional space.}

4: based on reconstructions of the field variable and flux for both the primal and adjoint problems. The method is devised from a generalization of the complementary energy principle and the duality theory.}

5: Using duality \Rem{theory}, the computation of bounds is reduced to \Rem{finding} independent potential and equilibrated flux reconstructions. A generalization of this result is also introduced allowing to derive alternative guaranteed bounds from nearly-arbitrary $\mathcal{H}(\rm{div};\Omega)$ flux reconstructions (only zero-order equilibration is required). \Rem{%\sout{The strategy is valid for} 

6: This approach is applicable to} any numerical method used to compute the solution. In this work, the proposed approach is applied to derive bounds for the hybridizable discontinuous Galerkin (HDG) method.

7: An attractive feature of the proposed approach is that %\Rem{\sout{optimal}} 

8: superconvergence on the bound gap is achieved, yielding accurate bounds even for very coarse meshes. Numerical experiments are presented to illustrate the performance and convergence of the bounds for the HDG method in both uniform and adaptive mesh refinements.

9: \end{abstract}

10: