Simplifying Random Satisfiability Problem by Removing Frustrating Interactions

How can we remove some interactions in a constraint satisfaction problem (CSP) such that it still remains satisfiable? In this paper we study a modified survey propagation algorithm that enables us to address this question for a prototypical CSP, i.e. random K-satisfiability problem. The average number of removed interactions is controlled by a tuning parameter in the algorithm. If the original problem is satisfiable then we are able to construct satisfiable subproblems ranging from the original one to a minimal one with minimum possible number of interactions. The minimal satisfiable subproblems will provide directly the solutions of the original problem.Comment: 21 pages, 16 figure

Detection Techniques of Microsecond Gamma-Ray Bursts using Ground-Based Telescopes

Gamma-ray observations above 200 MeV are conventionally made by satellite-based detectors. The EGRET detector on the Compton Gamma Ray Observatory (CGRO) has provided good sensitivity for the detection of bursts lasting for more than 200 ms. Theoretical predictions of high-energy gamma-ray bursts produced by quantum-mechanical decay of primordial black holes (Hawking 1971) suggest the emission of bursts on shorter time scales. The final stage of a primordial black hole results in a burst of gamma-rays, peaking around 250 MeV and lasting for a tenth of a microsecond or longer depending on particle physics. In this work we show that there is an observational window using ground-based imaging Cherenkov detectors to measure gamma-ray burst emission at energies E greater than 200 MeV. This technique, with a sensitivity for bursts lasting nanoseconds to several microseconds, is based on the detection of multi-photon-initiated air showers.Comment: accepted for publication in the Astrophysical Journa

Stability and collapse of rapidly rotating, supramassive neutron stars: 3D simulations in general relativity

We perform 3D numerical simulations in full general relativity to study the stability of rapidly rotating, supramassive neutron stars at the mass-shedding limit to dynamical collapse. We adopt an adiabatic equation of state with $\Gamma = 2$ and focus on uniformly rotating stars. We find that the onset of dynamical instability along mass-shedding sequences nearly coincides with the onset of secular instability. Unstable stars collapse to rotating black holes within about one rotation period. We also study the collapse of stable stars which have been destabilized by pressure depletion (e.g. via a phase transition) or mass accretion. In no case do we find evidence for the formation of massive disks or any ejecta around the newly formed Kerr black holes, even though the progenitors are rapidly rotating.Comment: 16 pages, to appear in Phys. Rev.

Innermost stable circular orbits around relativistic rotating stars

We investigate the innermost stable circular orbit (ISCO) of a test particle moving on the equatorial plane around rotating relativistic stars such as neutron stars. First, we derive approximate analytic formulas for the angular velocity and circumferential radius at the ISCO making use of an approximate relativistic solution which is characterized by arbitrary mass, spin, mass quadrupole, current octapole and mass $2^4$-pole moments. Then, we show that the analytic formulas are accurate enough by comparing them with numerical results, which are obtained by analyzing the vacuum exterior around numerically computed geometries for rotating stars of polytropic equation of state. We demonstrate that contribution of mass quadrupole moment for determining the angular velocity and, in particular, the circumferential radius at the ISCO around a rapidly rotating star is as important as that of spin.Comment: 12 pages, 2 figures, accepted for publication in Phys. Rev.

An On-Farm experimental philosophy for farmer-centric digital innovation

In this paper, we review learnings gained from early On-Farm Experiments (OFE) conducted in the broad acre Australian grain industry from the 1990s to the present day. Although the initiative was originally centered around the possibilities of new data and analytics in precision agriculture, we discovered that OFEs could represent a platform for engaging farmers around digital technologies and innovation. Insight from interacting closely with farmers and advisors leads us to argue for a change in the ways we approach OFE research. Acknowledging that conditions have changed and drawing from business and social sciences, we suggest that OFE approaches today should develop aspects related to skill development, value generation and value sharing, the social dimension of change, and a renewed focus on farmer-centric research to better bridge industry requirements and scientist inputs

Binary Neutron Stars in General Relativity: Quasi-Equilibrium Models

We perform fully relativistic calculations of binary neutron stars in quasi-equilibrium circular orbits. We integrate Einstein's equations together with the relativistic equation of hydrostatic equilibrium to solve the initial value problem for equal-mass binaries of arbitrary separation. We construct sequences of constant rest mass and identify the innermost stable circular orbit and its angular velocity. We find that the quasi-equilibrium maximum allowed mass of a neutron star in a close binary is slightly larger than in isolation.Comment: 4 pages, 3 figures, RevTe

Can a combination of the conformal thin-sandwich and puncture methods yield binary black hole solutions in quasi-equilibrium?

We consider combining two important methods for constructing quasi-equilibrium initial data for binary black holes: the conformal thin-sandwich formalism and the puncture method. The former seeks to enforce stationarity in the conformal three-metric and the latter attempts to avoid internal boundaries, like minimal surfaces or apparent horizons. We show that these two methods make partially conflicting requirements on the boundary conditions that determine the time slices. In particular, it does not seem possible to construct slices that are quasi-stationary and avoid physical singularities and simultaneously are connected by an everywhere positive lapse function, a condition which must obtain if internal boundaries are to be avoided. Some relaxation of these conflicting requirements may yield a soluble system, but some of the advantages that were sought in combining these approaches will be lost.Comment: 8 pages, LaTeX2e, 2 postscript figure

Correspondence between solar fine-scale structures in the corona, transition region, and lower atmosphere from collaborative observations

The Soft X-Ray Imaging Payload and the High Resolution Telescope and Spectrograph (HRTS) instrument were launched from White Sands on 11 December 1987 in coordinated sounding rocket flights to investigate the correspondence of coronal and transition region structures, especially the relationship between X-ray bright points (XBPs) and transition region small spatial scale energetic events. The coaligned data from X-ray images are presented along with maps of sites of transition region energetic events observed in C IV (100,000 K), HRTS 1600 A spectroheliograms of the T sub min region and ground based magnetogram and He I 10830 A images