The Origin of Solar Activity in the Tachocline

Solar active regions, produced by the emergence of tubes of strong magnetic field in the photosphere, are restricted to within 35 degrees of the solar equator. The nature of the dynamo processes that create and renew these fields, and are therefore responsible for solar magnetic phenomena, are not well understood. We analyze the magneto-rotational stability of the solar tachocline for general field geometry. This thin region of strong radial and latitudinal differential rotation, between the radiative and convective zones, is unstable at latitudes above 37 degrees, yet is stable closer to the equator. We propose that small-scale magneto-rotational turbulence prevents coherent magnetic dynamo action in the tachocline except in the vicinity of the equator, thus explaining the latitudinal restriction of active regions. Tying the magnetic dynamo to the tachocline elucidates the physical conditions and processes relevant to solar magnetism.Comment: 10 pages, 1 figure, accepted for publication in ApJ

The origin of grand minima in the sunspot cycle

One of the most striking aspects of the 11-year sunspot cycle is that there have been times in the past when some cycles went missing, a most well-known example of this being the Maunder minimum during 1645-1715. Analyses of cosmogenic isotopes (C14 and Be10) indicated that there were about 27 grand minima in the last 11,000 yr, implying that about 2.7% of the solar cycles had conditions appropriate for forcing the Sun into grand minima. We address the question how grand minima are produced and specifically calculate the frequency of occurrence of grand minima from a theoretical dynamo model. We assume that fluctuations in the poloidal field generation mechanism and the meridional circulation produce irregularities of sunspot cycles. Taking these fluctuations to be Gaussian and estimating the values of important parameters from the data of last 28 solar cycles, we show from our flux transport dynamo model that about 1-4% of the sunspot cycles may have conditions suitable for inducing grand minima.Comment: Accepted for publication in Physical Review Letter

The Making of New Powerguda: Community Empowerment and New Technologies Transform a Problem Village in Andhra Pradesh.Global Theme on Agroecosystems Report no. 11

Public participation in government programs and empowerment of women has been the corner stone of state policy in Andhra Pradesh, India. The creation of half a million hamlet-level thrift groups headed by women, known popularly as self-help groups (SHGs), has empowered local communities and served as an important social instrument in the fight against poverty. Public investment in watershed management and new agricultural technologies are helping to transform the livelihoods of poor farmers, and in particular indigenous communities. This case study documents the transformation of Powerguda, a village of 32 families in Adilabad district, Andhra Pradesh. As a result of watershed management, new agricultural technologies and community empowerment, average household income increased by 77% over three years. The report identifies the key drivers of economic, social and institutional growth in the village, which offer possibilities for replication in other parts of the semi-arid tropics where 350 million people live in poverty. The growth drivers include community empowerment, local government support and financial linkages to leverage community savings into productive public investmen

The Three-dimensional Evolution of Rising, Twisted Magnetic Flux Tubes in a Gravitationally Stratified Model Convection Zone

We present three-dimensional numerical simulations of the rise and fragmentation of twisted, initially horizontal magnetic flux tubes which evolve into emerging Omega-loops. The flux tubes rise buoyantly through an adiabatically stratified plasma that represents the solar convection zone. The MHD equations are solved in the anelastic approximation, and the results are compared with studies of flux tube fragmentation in two dimensions. We find that if the initial amount of field line twist is below a critical value, the degree of fragmentation at the apex of a rising Omega-loop depends on its three-dimensional geometry: the greater the apex curvature of a given Omega-loop, the lesser the degree of fragmentation of the loop as it approaches the photosphere. Thus, the amount of initial twist necessary for the loop to retain its cohesion can be reduced substantially from the two-dimensional limit. The simulations also suggest that as a fragmented flux tube emerges through a relatively quiet portion of the solar disk, extended crescent-shaped magnetic features of opposite polarity should form and steadily recede from one another. These features eventually coalesce after the fragmented portion of the Omega-loop emerges through the photosphere.Comment: 17 pages, 17 figures, uses AAS LaTeX macros v5.0. ApJ, in pres

Outstanding Issues in Solar Dynamo Theory

The magnetic activity of the Sun, as manifested in the sunspot cycle, originates deep within its convection zone through a dynamo mechanism which involves non-trivial interactions between the plasma and magnetic field in the solar interior. Recent advances in magnetohydrodynamic dynamo theory have led us closer towards a better understanding of the physics of the solar magnetic cycle. In conjunction, helioseismic observations of large-scale flows in the solar interior has now made it possible to constrain some of the parameters used in models of the solar cycle. In the first part of this review, I briefly describe this current state of understanding of the solar cycle. In the second part, I highlight some of the outstanding issues in solar dynamo theory related to the the nature of the dynamo $\alpha$-effect, magnetic buoyancy and the origin of Maunder-like minima in activity. I also discuss how poor constraints on key physical processes such as turbulent diffusion, meridional circulation and turbulent flux pumping confuse the relative roles of these vis-a-vis magnetic flux transport. I argue that unless some of these issues are addressed, no model of the solar cycle can claim to be ``the standard model'', nor can any predictions from such models be trusted; in other words, we are still not there yet.Comment: To appear in "Magnetic Coupling between the Interior and the Atmosphere of the Sun", eds. S.S. Hasan and R.J. Rutten, Astrophysics and Space Science Proceedings, Springer-Verlag, Heidelberg, Berlin, 200

Lifting CDCL to template-based abstract domains for program verification

The success of Conflict Driven Clause Learning (CDCL) for Boolean satisfiability has inspired adoption in other domains. We present a novel lifting of CDCL to program analysis called Abstract Conflict Driven Learning for Programs (ACDLP). ACDLP alternates between model search, which performs over-approximate deduction with constraint propagation, and conflict analysis, which performs under-approximate abduction with heuristic choice. We instantiate the model search and conflict analysis algorithms with an abstract domain of template polyhedra, strictly generalizing CDCL from the Boolean lattice to a richer lattice structure. Our template polyhedra can express intervals, octagons and restricted polyhedral constraints over program variables. We have implemented ACDLP for automatic bounded safety verification of C programs. We evaluate the performance of our analyser by comparing with CBMC, which uses Boolean CDCL, and Astrée, a commercial abstract interpretation tool. We observe two orders of magnitude reduction in the number of decisions, propagations, and conflicts as well as a 1.5x speedup in runtime compared to CBMC. Compared to Astrée, ACDLP solves twice as many benchmarks and has much higher precision. This is the first instantiation of CDCL with a template polyhedra abstract domain

(E)-3-(4-Methyl­phen­yl)-1-(4-nitro­phenyl)prop-2-en-1-one

The asymmetric unit of the title compound, C16H13NO3, contains two independent mol­ecules related approximately by a pseudo-twofold rotation axis. The dihedral angle between the nitro­benzene and methyl­phenyl rings is 42.18 (6)° in one mol­ecule and 12.97 (6)° in the other. In both mol­ecules, the nitro group is slightly twisted away from the attached benzene ring. In the crystal structure, the mol­ecules are stacked along the b axis and are linked via C—H⋯O and C—H⋯π inter­actions

Proving Safety with Trace Automata and Bounded Model Checking

Loop under-approximation is a technique that enriches C programs with additional branches that represent the effect of a (limited) range of loop iterations. While this technique can speed up the detection of bugs significantly, it introduces redundant execution traces which may complicate the verification of the program. This holds particularly true for verification tools based on Bounded Model Checking, which incorporate simplistic heuristics to determine whether all feasible iterations of a loop have been considered. We present a technique that uses \emph{trace automata} to eliminate redundant executions after performing loop acceleration. The method reduces the diameter of the program under analysis, which is in certain cases sufficient to allow a safety proof using Bounded Model Checking. Our transformation is precise---it does not introduce false positives, nor does it mask any errors. We have implemented the analysis as a source-to-source transformation, and present experimental results showing the applicability of the technique

Interpolation Properties and SAT-based Model Checking

Craig interpolation is a widespread method in verification, with important applications such as Predicate Abstraction, CounterExample Guided Abstraction Refinement and Lazy Abstraction With Interpolants. Most state-of-the-art model checking techniques based on interpolation require collections of interpolants to satisfy particular properties, to which we refer as "collectives"; they do not hold in general for all interpolation systems and have to be established for each particular system and verification environment. Nevertheless, no systematic approach exists that correlates the individual interpolation systems and compares the necessary collectives. This paper proposes a uniform framework, which encompasses (and generalizes) the most common collectives exploited in verification. We use it for a systematic study of the collectives and of the constraints they pose on propositional interpolation systems used in SAT-based model checking

Solar Magnetic Field Signatures in Helioseismic Splitting Coefficients

Normal modes of oscillation of the Sun are useful probes of the solar interior. In this work, we use the even-order splitting coefficients to study the evolution of magnetic fields in the convection zone over solar cycle 23, assuming that the frequency splitting is only due to rotation and a large scale magnetic field. We find that the data are best fit by a combination of a poloidal field and a double-peaked near-surface toroidal field. The toroidal fields are centered at r=0.999R_solar and r=0.996R_solar and are confined to the near-surface layers. The poloidal field is a dipole field. The peak strength of the poloidal field is 124 +/- 17G. The toroidal field peaks at 380 +/- 30G and 1.4 +/- 0.2kG for the shallower and deeper fields respectively. The field strengths are highly correlated with surface activity. The toroidal field strength shows a hysteresis-like effect when compared to the global 10.7 cm radio flux. The poloidal field strength shows evidence of saturation at high activity.Comment: 10 pages, accepted for publication in Ap