3,506 research outputs found
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
Recommended from our members
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
- …