On SAT representations of XOR constraints

We study the representation of systems S of linear equations over the two-element field (aka xor- or parity-constraints) via conjunctive normal forms F (boolean clause-sets). First we consider the problem of finding an "arc-consistent" representation ("AC"), meaning that unit-clause propagation will fix all forced assignments for all possible instantiations of the xor-variables. Our main negative result is that there is no polysize AC-representation in general. On the positive side we show that finding such an AC-representation is fixed-parameter tractable (fpt) in the number of equations. Then we turn to a stronger criterion of representation, namely propagation completeness ("PC") --- while AC only covers the variables of S, now all the variables in F (the variables in S plus auxiliary variables) are considered for PC. We show that the standard translation actually yields a PC representation for one equation, but fails so for two equations (in fact arbitrarily badly). We show that with a more intelligent translation we can also easily compute a translation to PC for two equations. We conjecture that computing a representation in PC is fpt in the number of equations.Comment: 39 pages; 2nd v. improved handling of acyclic systems, free-standing proof of the transformation from AC-representations to monotone circuits, improved wording and literature review; 3rd v. updated literature, strengthened treatment of monotonisation, improved discussions; 4th v. update of literature, discussions and formulations, more details and examples; conference v. to appear LATA 201

ENERGETIC PARTICLE DIFFUSION IN CRITICALLY BALANCED TURBULENCE

Observations and modeling suggest that the fluctuations in magnetized plasmas exhibit scale-dependent anisotropy, with more energy in the fluctuations perpendicular to the mean magnetic field than in the parallel fluctuations and the anisotropy increasing at smaller scales. The scale dependence of the anisotropy has not been studied in full-orbit simulations of particle transport in turbulent plasmas so far. In this paper, we construct a model of critically balanced turbulence, as suggested by Goldreich & Sridhar, and calculate energetic particle spatial diffusion coefficients using full-orbit simulations. The model uses an enveloped turbulence approach, where each two-dimensional wave mode with wavenumber k ⊥ is packed into envelopes of length L following the critical balance condition, Lk –2/3 ⊥, with the wave mode parameters changing between envelopes. Using full-orbit particle simulations, we find that both the parallel and perpendicular diffusion coefficients increase by a factor of two, compared to previous models with scale-independent anisotropy

SPARX: A modeling system for Solar Energetic Particle Radiation SpaceWeather forecasting

The capability to predict the parameters of an SEP event such as its onset, peak flux, and duration is critical to assessing any potential space weather impact. We present a new flexible modeling system simulating the propagation of Solar Energetic Particles (SEPs) from locations near the Sun to any given location in the heliosphere to forecast the SEP flux profiles. Solar Particle Radiation SWx (SPARX) uses an innovative methodology that allows implementation within an operational framework to overcome the time constraints of test particle modeling of SEP profiles, allowing the production of near-real-time SEP nowcasts and forecasts, when paired with appropriate near-real-time triggers. SPARX has the capability to produce SEP forecasts within minutes of being triggered by observations of a solar eruptive event. The model is based on the test particle approach and is spatially 3-D, thus allowing for the possibility of transport in the direction perpendicular to the magnetic field. The model naturally includes the effects of perpendicular propagation due to drifts and drift-induced deceleration. The modeling framework and the way in which parameters of relevance for Space Weather forecasting are obtained are described. The first results from the modeling system are presented. These resultsThese results demonstrate that corotation and drift of SEPtreams play an important role in shaping SEP flux profile

Drift induced perpendicular transport of solar energetic particles

Drifts are known to play a role in galactic cosmic ray transport within the heliosphere and are a standard component of cosmic ray propagation models. However, the current paradigm of solar energetic particle (SEP) propagation holds the effects of drifts to be negligible, and they are not accounted for in most current SEP modeling efforts. We present full-orbit test particle simulations of SEP propagation in a Parker spiral interplanetary magnetic field (IMF), which demonstrate that high-energy particle drifts cause significant asymmetric propagation perpendicular to the IMF. Thus in many cases the assumption of field-aligned propagation of SEPs may not be valid. We show that SEP drifts have dependencies on energy, heliographic latitude, and charge-to-mass ratio that are capable of transporting energetic particles perpendicular to the field over significant distances within interplanetary space, e.g., protons of initial energy 100 MeV propagate distances across the field on the order of 1 AU, over timescales typical of a gradual SEP event. Our results demonstrate the need for current models of SEP events to include the effects of particle drift. We show that the drift is considerably stronger for heavy ion SEPs due to their larger mass-to-charge ratio. This paradigm shift has important consequences for the modeling of SEP events and is crucial to the understanding and interpretation of in situ observations. © 2013. The American Astronomical Society. All rights reserved.

Strategies and barriers to achieving the goal of Finland’s tobacco endgame

ObjectivesFinland boldly legislated the end of tobacco use in its 2010 Tobacco Act, and subsequently expanded the goal in 2016 to eradicate other nicotine-containing products. This study explored stakeholders' perceptions about the strengths, barriers, solutions and rationale for Finland's comprehensive but conventional strategy to achieve its nicotine-free goal.DesignStudy participants were selected based on expertise in policy or practice of tobacco control (n=32). Semi-structured interviews, conducted in 2017 and 2018, covered topics ranging from consensus among stakeholders to Finland's ranking on the 2016 Tobacco Control Scale. The framework method was chosen for analysing interview transcripts.ResultsA perceived strength of Tobacco-Free Finland 2030 was the consensus and cooperation among members of the tobacco control community. The objective of becoming a nicotine- versus smoke-free society had almost unanimous support, challenged by a small minority who argued for greater discussion of harm reduction approaches. The need for maintaining legitimacy and historical successes in tobacco control were reasons for using a conventional strategy. Barriers to achieving the endgame goal included insufficient funding and over-reliance on non-governmental organisations, political/legal constraints, impact of institutional practices on tobacco disparities, ambivalence about the role of mass media and lack of prioritising smoking cessation.ConclusionsStakeholders' broad confidence in reaching the goal of Finland's tobacco endgame suggests that future policy initiatives will reflect the current, conventional strategy. If the Finnish government chooses to continue this approach, then it should designate separate funds for Tobacco-Free Finland 2030 and implement structural changes that will facilitate tobacco control initiatives

CT imaging of dogs with perineal hernia reveals large prostates with morphological and spatial abnormalities

The etiology of canine perinea) hernia (PH) remains unclear, although as a disease of older male dogs, it is likely to be hormonal. The role of the prostate in the formation of PH has been questioned; however, prospective and systematic evaluation of prostates in these dogs is absent in the literature. In this prospective case-control study, CT imaging was used to assess prostatic changes in dogs with PH (n = 46) and compare these findings with those of intact age-matched male dogs (n = 23). Using the OsiriX (R) DICOM viewer, we measured prostatic volume and correlated it with the size of the dog by using the length of the sixth lumbar vertebra. In addition, we recorded spatial and morphological changes of the prostate, such as heterogenicity, intra- and paraprostatic cysts, and mineralizations, as well as prostatic location and rotation. We found that dogs with PH had larger prostates (P < .001) that more often contained cysts (P < .001) and had larger cyst diameters (P = .013) than age-matched controls. Prostates of PH dogs also contained paraprostatic cysts (17.4%) and focal mineralizations (32.6%), which were absent in the control group. Abnormal rotation and location of the prostate were common in dogs with PH. In conclusion, these findings support the use of CT as an adjunct diagnostic imaging modality for the evaluation of the prostate in dogs with PH. Further studies are needed to evaluate nonprostatic CT findings in the pelvic cavity of PH dogs.Peer reviewe

Time dependence of Fe/O ratio within a 3D solar energetic particle propagation model including drift

Context. The intensity profiles of iron and oxygen in Solar Energetic Particle (SEP) events often display differences that result in a decreasing Fe/O ratio over time. The physical mechanisms behind this behaviour are not fully understood, but these observational signatures provide important tests of physical modelling efforts. Aims. In this paper we study the propagation of iron and oxygen SEP ions using a 3D model of propagation which includes the effect of guiding centre drift in a Parker spiral magnetic field. We derive time intensity profiles for a variety of observer locations and study the temporal evolution of the Fe/O ratio. Methods. We use a 3D full orbit test particle model which includes scattering. The configuration of the interplanetary magnetic field is a unipolar Parker spiral. Particles are released instantaneously from a compact region at two solar radii and allowed to propagate in 3D. Results. Both Fe and O experience significant transport across the magnetic field due to gradient and curvature drifts. We find that Fe ions drift more than O ions due to their larger mass-to-charge ratio, so that an observer that is not magnetically well connected to the source region will observe Fe arriving before O, for particles within the same range in energy per nucleon. As a result, for the majority of observer locations, the Fe/O ratio displays a decrease in time. Conclusions. We conclude that propagation effects associated with drifts produce a decay over time of the Fe/O ratio, qualitatively reproducing that observed in SEP event profiles

Evolution of kinklike fluctuations associated with ion pickup within reconnection outflows in the Earth's magnetotail

Magnetic reconnection (MR) in Earth's magnetotail is usually followed by a systemwide redistribution of explosively released kinetic and thermal energy. Recently, multispacecraft observations from the THEMIS mission were used to study localized explosions associated with MR in the magnetotail so as to understand subsequent Earthward propagation of MR outbursts during substorms. Here we investigate plasma and magnetic field fluctuations/structures associated with MR exhaust and ion-ion kink mode instability during a well documented MR event. Generation, evolution and fading of kinklike oscillations are followed over a distance of 70 000 km from the reconnection site in the midmagnetotail to the more dipolar region near the Earth. We have found that the kink oscillations driven by different ion populations within the outflow region can be at least 25 000 km from the reconnection site.Comment: 11 pages, 4 figure