Refactoring, reengineering and evolution: paths to Geant4 uncertainty quantification and performance improvement

Ongoing investigations for the improvement of Geant4 accuracy and computational performance resulting by refactoring and reengineering parts of the code are discussed. Issues in refactoring that are specific to the domain of physics simulation are identified and their impact is elucidated. Preliminary quantitative results are reported.Comment: To be published in the Proc. CHEP (Computing in High Energy Physics) 201

Quantifying the unknown: issues in simulation validation and their experimental impact

The assessment of the reliability of Monte Carlo simulations is discussed, with emphasis on uncertainty quantification and the related impact on experimental results. Methods and techniques to account for epistemic uncertainties, i.e. for intrinsic knowledge gaps in physics modeling, are discussed with the support of applications to concrete experimental scenarios. Ongoing projects regarding the investigation of epistemic uncertainties in the Geant4 simulation toolkit are reported.Comment: To be published in the Proceedings of the 13th ICATPP Conference on Astroparticle, Particle, Space Physics and Detectors for Physics Applications, Villa Olmo, Como, 3-7 October 201

A Blow-Up Criterion for Classical Solutions to the Compressible Navier-Stokes Equations

In this paper, we obtain a blow up criterion for classical solutions to the 3-D compressible Naiver-Stokes equations just in terms of the gradient of the velocity, similar to the Beal-Kato-Majda criterion for the ideal incompressible flow. In addition, initial vacuum is allowed in our case.Comment: 25 page