Related papers: Code-Verification Techniques for Hypersonic Reacti…
Context. The study of linear waves and instabilities is necessary to understand the physical evolution of an atmosphere, and can provide physical interpretation of the complex flows found in simulations performed using Global Circulation…
Unlike fluids at thermal equilibrium, biomolecular mixtures in living systems can sustain nonequilibrium steady states, in which active processes modify the conformational states of the constituent molecules. Despite qualitative…
While the particle-in-cell (PIC) method is quite mature, verification and validation of both newly developed methods and individual codes has largely focused on an idiosyncratic choice of a few test cases. Many of these test cases involve…
A high-order scheme for direct numerical simulations of turbulent combustion is discussed. Its implementation in the massively parallel and publicly available Pencil Code is validated with the focus on hydrogen combustion. Ignition delay…
Validation and verification of plasma kinetics codes requires the development of quantitative methods and techniques for code comparisons. We describe two parameters that can be used for characterization of differences between such codes.…
Radiation hydrodynamics describes the interaction between high-temperature hypersonic plasmas and the radiation they emit or absorb, a coupling that plays a central role in many astrophysical phenomena related to accretion and ejection…
We provide a description of the SNSPH code--a parallel 3-dimensional radiation hydrodynamics code implementing treecode gravity, smooth particle hydrodynamics, and flux-limited diffusion transport schemes. We provide descriptions of the…
This paper presents a new code for performing multidimensional radiation hydrodynamic (RHD) simulations on parallel computers involving anisotropic radiation fields and nonequilibrium effects. The radiation evolution modules described here…
We simulate the space-time dynamics of high-energy collisions based on a microscopic kinetic description, in order to determine the range of applicability of an effective description in relativistic viscous hydrodynamics. We find that…
We describe here a model for inelastic collisions for electronic excitation and deexcitation processes in a general, multifluid plasma. The model is derived from kinetic theory, and applicable to any mixture and mass ratio. The principle of…
Two particle correlations have been used extensively to study hydrodynamic flow patterns in heavy-ion collisions. In small collision systems, such as $p$$+$$p$ and $p$$+$$A$, where particle multiplicities are much smaller than in $A$$+$$A$…
Numerous codes are being developed to solve Shallow Water equations. Because there are used in hydraulic and environmental studies, their capability to simulate properly flow dynamics is critical to guarantee infrastructure and human…
Surface codes$\unicode{x2014}$leading candidates for quantum error correction (QEC)$\unicode{x2014}$and entanglement phases$\unicode{x2014}$a key notion for many-body quantum dynamics$\unicode{x2014}$have heretofore been unrelated. Here, we…
We address the task of verifying whether a quantum computer, designed to be protected by a specific stabilizer code, correctly encodes the corresponding logical qubits. To achieve this, we develop a general framework for subspace…
Collaborative robots could transform several industries, such as manufacturing and healthcare, but they present a significant challenge to verification. The complex nature of their working environment necessitates testing in realistic…
We consider the problem of a generic stabilizer Hamiltonian under local, incoherent Pauli errors. Using two different approaches -- (i) Haah's polynomial formalism arXiv:1204.1063 and (ii) the homological perspective on CSS codes -- we…
Under rocket-relevant conditions, real-gas effects and thermodynamic non-idealities are prominent features of the flow field. Experimental investigations indicate that phase separation can occur depending on the operating conditions and on…
An overset grid method was used to investigate the interaction between a particle-laden flow and a circular cylinder. The overset grid method was implemented in the Pencil Code , a high-order finite-difference code for compressible flow…
We present a decode-and-forward transmission scheme based on spatially-coupled low-density parity-check (SC-LDPC) codes for a network consisting of two (possibly correlated) sources, one relay, and one destination. The links between the…
In High Energy Physics experiments Particle Flow (PFlow) algorithms are designed to provide an optimal reconstruction of the nature and kinematic properties of the particles produced within the detector acceptance during collisions. At the…