33,078 research outputs found
Computing Haar Measures
According to Haar's Theorem, every compact group admits a unique
(regular, right and) left-invariant Borel probability measure . Let the
Haar integral (of ) denote the functional integrating any continuous function with
respect to . This generalizes, and recovers for the additive group
, the usual Riemann integral: computable (cmp. Weihrauch 2000,
Theorem 6.4.1), and of computational cost characterizing complexity class
#P (cmp. Ko 1991, Theorem 5.32). We establish that in fact every computably
compact computable metric group renders the Haar integral computable: once
asserting computability using an elegant synthetic argument, exploiting
uniqueness in a computably compact space of probability measures; and once
presenting and analyzing an explicit, imperative algorithm based on 'maximum
packings' with rigorous error bounds and guaranteed convergence. Regarding
computational complexity, for the groups and
we reduce the Haar integral to and from Euclidean/Riemann
integration. In particular both also characterize #P. Implementation and
empirical evaluation using the iRRAM C++ library for exact real computation
confirms the (thus necessary) exponential runtime
Measuring Multijet Structure of Hadronic Energy Flow Or What IS A Jet?
Ambiguities of jet algorithms are reinterpreted as instability wrt small
variations of input. Optimal stability occurs for observables possessing
property of calorimetric continuity (C-continuity) predetermined by kinematical
structure of calorimetric detectors. The so-called C-correlators form a basic
class of such observables and fit naturally into QFT framework, allowing
systematic theoretical studies. A few rules generate other C-continuous
observables. The resulting C-algebra correctly quantifies any feature of
multijet structure such as the "number of jets" and mass spectra of "multijet
substates". The new observables are physically equivalent to traditional ones
but can be computed from final states bypassing jet algorithms which reemerge
as a tool of approximate computation of C-observables from data with all
ambiguities under analytical control and an optimal recombination criterion
minimizing approximation errors.Comment: PostScript, 94 pp (US Letter), 18 PS files, [email protected]
A Function Space HMC Algorithm With Second Order Langevin Diffusion Limit
We describe a new MCMC method optimized for the sampling of probability
measures on Hilbert space which have a density with respect to a Gaussian; such
measures arise in the Bayesian approach to inverse problems, and in conditioned
diffusions. Our algorithm is based on two key design principles: (i) algorithms
which are well-defined in infinite dimensions result in methods which do not
suffer from the curse of dimensionality when they are applied to approximations
of the infinite dimensional target measure on \bbR^N; (ii) non-reversible
algorithms can have better mixing properties compared to their reversible
counterparts. The method we introduce is based on the hybrid Monte Carlo
algorithm, tailored to incorporate these two design principles. The main result
of this paper states that the new algorithm, appropriately rescaled, converges
weakly to a second order Langevin diffusion on Hilbert space; as a consequence
the algorithm explores the approximate target measures on \bbR^N in a number
of steps which is independent of . We also present the underlying theory for
the limiting non-reversible diffusion on Hilbert space, including
characterization of the invariant measure, and we describe numerical
simulations demonstrating that the proposed method has favourable mixing
properties as an MCMC algorithm.Comment: 41 pages, 2 figures. This is the final version, with more comments
and an extra appendix adde
Bounding stationary averages of polynomial diffusions via semidefinite programming
We introduce an algorithm based on semidefinite programming that yields
increasing (resp. decreasing) sequences of lower (resp. upper) bounds on
polynomial stationary averages of diffusions with polynomial drift vector and
diffusion coefficients. The bounds are obtained by optimising an objective,
determined by the stationary average of interest, over the set of real vectors
defined by certain linear equalities and semidefinite inequalities which are
satisfied by the moments of any stationary measure of the diffusion. We
exemplify the use of the approach through several applications: a Bayesian
inference problem; the computation of Lyapunov exponents of linear ordinary
differential equations perturbed by multiplicative white noise; and a
reliability problem from structural mechanics. Additionally, we prove that the
bounds converge to the infimum and supremum of the set of stationary averages
for certain SDEs associated with the computation of the Lyapunov exponents, and
we provide numerical evidence of convergence in more general settings
- …