Modelling binary alloy solidification with adaptive mesh refinement

The solidification of a binary alloy results in the formation of a porous mushy layer, within which spontaneous localisation of fluid flow can lead to the emergence of features over a range of spatial scales. We describe a finite volume method for simulating binary alloy solidification in two dimensions with local mesh refinement in space and time. The coupled heat, solute, and mass transport is described using an enthalpy method with flow described by a Darcy-Brinkman equation for flow across porous and liquid regions. The resulting equations are solved on a hierarchy of block-structured adaptive grids. A projection method is used to compute the fluid velocity, whilst the viscous and nonlinear diffusive terms are calculated using a semi-implicit scheme. A series of synchronization steps ensure that the scheme is flux-conservative and correct for errors that arise at the boundaries between different levels of refinement. We also develop a corresponding method using Darcy's law for flow in a porous medium/narrow Hele-Shaw cell. We demonstrate the accuracy and efficiency of our method using established benchmarks for solidification without flow and convection in a fixed porous medium, along with convergence tests for the fully coupled code. Finally, we demonstrate the ability of our method to simulate transient mushy layer growth with narrow liquid channels which evolve over time

Three-field block preconditioners for models of coupled magma/mantle dynamics

For a prescribed porosity, the coupled magma/mantle flow equations can be formulated as a two-field system of equations with velocity and pressure as unknowns. Previous work has shown that while optimal preconditioners for the two-field formulation can be obtained, the construction of preconditioners that are uniform with respect to model parameters is difficult. This limits the applicability of two-field preconditioners in certain regimes of practical interest. We address this issue by reformulating the governing equations as a three-field problem, which removes a term that was problematic in the two-field formulation in favour of an additional equation for a pressure-like field. For the three-field problem, we develop and analyse new preconditioners and we show numerically that they are optimal in terms of problem size and less sensitive to model parameters, compared to the two-field preconditioner. This extends the applicability of optimal preconditioners for coupled mantle/magma dynamics into parameter regimes of physical interest

The Drinfel'd twisted XYZ model

We construct a factorizing Drinfel'd twist for a face type model equivalent to the XYZ model. Completely symmetric expressions for the operators of the monodromy matrix are obtained.Comment: 15 pages, 4 figures, second preprint no. added, reference [14] added, typos correcte

Speciesistic Veganism: An Anthropocentric Argument

The paper proposes an anthropocentric argument for veganism based on a speciesistic premise that most carnists likely affirm: human flourishing should be promoted. I highlight four areas of human suffering promoted by a carnistic diet: (1) health dangers to workers (both physical and psychological), (2) economic dangers to workers, (3) physical dangers to communities around slaughterhouses, and (4) environmental dangers to communities-at-large. Consequently, one could ignore the well-being of non-human animals and nevertheless recognize significant moral failings in the current standard system of meat production

Unforgeable Quantum Encryption

We study the problem of encrypting and authenticating quantum data in the presence of adversaries making adaptive chosen plaintext and chosen ciphertext queries. Classically, security games use string copying and comparison to detect adversarial cheating in such scenarios. Quantumly, this approach would violate no-cloning. We develop new techniques to overcome this problem: we use entanglement to detect cheating, and rely on recent results for characterizing quantum encryption schemes. We give definitions for (i.) ciphertext unforgeability , (ii.) indistinguishability under adaptive chosen-ciphertext attack, and (iii.) authenticated encryption. The restriction of each definition to the classical setting is at least as strong as the corresponding classical notion: (i) implies INT-CTXT, (ii) implies IND-CCA2, and (iii) implies AE. All of our new notions also imply QIND-CPA privacy. Combining one-time authentication and classical pseudorandomness, we construct schemes for each of these new quantum security notions, and provide several separation examples. Along the way, we also give a new definition of one-time quantum authentication which, unlike all previous approaches, authenticates ciphertexts rather than plaintexts.Comment: 22+2 pages, 1 figure. v3: error in the definition of QIND-CCA2 fixed, some proofs related to QIND-CCA2 clarifie

The Castro AMR Simulation Code: Current and Future Developments

We describe recent developments to the Castro astrophysics simulation code, focusing on new features that enable our simulations of X-ray bursts. Two highlights of Castro's ongoing development are the new integration technique to couple hydrodynamics and reactions to high order and GPU offloading. We discuss how these features will help offset some of the computational expense in X-ray burst models

How Do Galaxies Get Their Gas?

Not the way one might have thought. In hydrodynamic simulations of galaxy formation, some gas follows the traditionally envisioned route, shock heating to the halo virial temperature before cooling to the much lower temperature of the neutral ISM. But most gas enters galaxies without ever heating close to the virial temperature, gaining thermal energy from weak shocks and adiabatic compression, and radiating it just as quickly. This ``cold mode'' accretion is channeled along filaments, while the conventional, ``hot mode'' accretion is quasi-spherical. Cold mode accretion dominates high redshift growth by a substantial factor, while at z<1 the overall accretion rate declines and hot mode accretion has greater relative importance. The decline of the cosmic star formation rate at low z is driven largely by geometry, as the typical cross section of filaments begins to exceed that of the galaxies at their intersections.Comment: 7 pages, 1 figure. To be published in the proceedings of the IGM/Galaxy Connection- The Distribution of Baryons at z=0 conferenc

Jet Dipolarity: Top Tagging with Color Flow

A new jet observable, dipolarity, is introduced that can distinguish whether a pair of subjets arises from a color singlet source. This observable is incorporated into the HEPTopTagger and is shown to improve discrimination between top jets and QCD jets for moderate to high pT.Comment: 8 pages, 6 figures (updated to JHEP version