Program schemes with deep pushdown storage.

Inspired by recent work of Meduna on deep pushdown automata, we consider the computational power of a class of basic program schemes, TeX, based around assignments, while-loops and non- deterministic guessing but with access to a deep pushdown stack which, apart from having the usual push and pop instructions, also has deep-push instructions which allow elements to be pushed to stack locations deep within the stack. We syntactically define sub-classes of TeX by restricting the occurrences of pops, pushes and deep-pushes and capture the complexity classes NP and PSPACE. Furthermore, we show that all problems accepted by program schemes of TeX are in EXPTIME

Electoral Reforms, Membership Stability and the Existence of Committee Property Rights in American State Legislatures

One of the most creative theories advanced about legislative organization in recent years is Katz and Sala\u27s linkage of the development of committee property rights in the US House of Representatives to the introduction of the Australian ballot. Katz and Sala argue that the Australian ballot – a government-printed ballot cast in secret that replaced a party-produced ballot that was cast in public – gave members of the House an incentive to pursue personal constituency votes. This, in turn, led to the rise of committee property rights as members sought to keep their committee assignments from term to term because of the potential electoral benefits they derived from them. In this Note we use the state legislative committee membership dataset collected by Hamm and Hedlund and their colleagues to test whether committee property rights appeared in American state legislatures at roughly the same time as Katz and Sala find they emerged in the US House. State legislatures were, of course, exposed to the same electoral innovation at the same time. But, while in some ways state legislatures were much like Congress as organizations, in other ways they were very different. Our cross-sectional data and the variance in important institutional variables they provide allow us to test a critical proposition about the importance of membership stability rates in mediating the rise of committee property rights. We also go beyond Katz and Sala\u27s analysis by testing to see if differences in Australian ballot design (office column and party bloc) across the states influenced the behaviour of legislators in the way their theory suggests

Index theory of one dimensional quantum walks and cellular automata

If a one-dimensional quantum lattice system is subject to one step of a reversible discrete-time dynamics, it is intuitive that as much "quantum information" as moves into any given block of cells from the left, has to exit that block to the right. For two types of such systems - namely quantum walks and cellular automata - we make this intuition precise by defining an index, a quantity that measures the "net flow of quantum information" through the system. The index supplies a complete characterization of two properties of the discrete dynamics. First, two systems S_1, S_2 can be pieced together, in the sense that there is a system S which locally acts like S_1 in one region and like S_2 in some other region, if and only if S_1 and S_2 have the same index. Second, the index labels connected components of such systems: equality of the index is necessary and sufficient for the existence of a continuous deformation of S_1 into S_2. In the case of quantum walks, the index is integer-valued, whereas for cellular automata, it takes values in the group of positive rationals. In both cases, the map S -> ind S is a group homomorphism if composition of the discrete dynamics is taken as the group law of the quantum systems. Systems with trivial index are precisely those which can be realized by partitioned unitaries, and the prototypes of systems with non-trivial index are shifts.Comment: 38 pages. v2: added examples, terminology clarifie

Repetitions in beta-integers

Classical crystals are solid materials containing arbitrarily long periodic repetitions of a single motif. In this paper, we study the maximal possible repetition of the same motif occurring in beta-integers -- one dimensional models of quasicrystals. We are interested in beta-integers realizing only a finite number of distinct distances between neighboring elements. In such a case, the problem may be reformulated in terms of combinatorics on words as a study of the index of infinite words coding beta-integers. We will solve a particular case for beta being a quadratic non-simple Parry number.Comment: 11 page

Applying causality principles to the axiomatization of probabilistic cellular automata

Cellular automata (CA) consist of an array of identical cells, each of which may take one of a finite number of possible states. The entire array evolves in discrete time steps by iterating a global evolution G. Further, this global evolution G is required to be shift-invariant (it acts the same everywhere) and causal (information cannot be transmitted faster than some fixed number of cells per time step). At least in the classical, reversible and quantum cases, these two top-down axiomatic conditions are sufficient to entail more bottom-up, operational descriptions of G. We investigate whether the same is true in the probabilistic case. Keywords: Characterization, noise, Markov process, stochastic Einstein locality, screening-off, common cause principle, non-signalling, Multi-party non-local box.Comment: 13 pages, 6 figures, LaTeX, v2: refs adde

Long-Lasting Science Returns from the Apollo Heat Flow Experiments

The Apollo astronauts deployed geothermal heat flow instruments at landing sites 15 and 17 as part of the Apollo Lunar Surface Experiments Packages (ALSEP) in July 1971 and December 1972, respectively. These instruments continuously transmitted data to the Earth until September 1977. Four decades later, the data from the two Apollo sites remain the only set of in-situ heat flow measurements obtained on an extra-terrestrial body. Researchers continue to extract additional knowledge from this dataset by utilizing new analytical techniques and by synthesizing it with data from more recent lunar orbital missions such as the Lunar Reconnaissance Orbiter. In addition, lessons learned from the Apollo experiments help contemporary researchers in designing heat flow instruments for future missions to the Moon and other planetary bodies. For example, the data from both Apollo sites showed gradual warming trends in the subsurface from 1971 to 1977. The cause of this warming has been debated in recent years. It may have resulted from fluctuation in insolation associated with the 18.6-year-cycle precession of the Moon, or sudden changes in surface thermal environment/properties resulting from the installation of the instruments and the astronauts' activities. These types of reanalyses of the Apollo data have lead a panel of scientists to recommend that a heat flow probe carried on a future lunar mission reach 3 m into the subsurface, approx 0.6 m deeper than the depths reached by the Apollo 17 experiment. This presentation describes the authors current efforts for (1) restoring a part of the Apollo heat flow data that were left unprocessed by the original investigators and (2) designing a compact heat flow instrument for future robotic missions to the Moon. First, at the conclusion of the ALSEP program in 1977, heat flow data obtained at the two Apollo sites after December 1974 were left unprocessed and not properly archived through NASA. In the following decades, heat flow data from January 1975 through February 1976, as well as the metadata necessary for processing the data (the data reduction algorithm, instrument calibration data, etc.), were somehow lost. In 2010, we located 450 original master archival tapes of unprocessed data from all the ALSEP instruments for a period of April through June 1975 at the Washington National Records Center. We are currently extracting the heat flow data packets from these tapes and processing them. Second, on future lunar missions, heat flow probes will likely be deployed by a network of small robotic landers, as recommended by the latest Decadal Survey of the National Academy of Science. In such a scenario, the heat flow probe must be a compact system, and that precludes use of heavy excavation equipment such as a rotary drill for reaching the 3-m target depth. The new heat flow system under development uses a pneumatically driven penetrator. It utilizes a stem that winds out of a reel and pushes its conical tip into the regolith. Simultaneously, gas jets, emitted from the cone tip, loosen and blow away the soil. Lab experiments have demonstrated its effectiveness in lunar vacuum

Characterisation of spatial network-like patterns from junctions' geometry

We propose a new method for quantitative characterization of spatial network-like patterns with loops, such as surface fracture patterns, leaf vein networks and patterns of urban streets. Such patterns are not well characterized by purely topological estimators: also patterns that both look different and result from different morphogenetic processes can have similar topology. A local geometric cue -the angles formed by the different branches at junctions- can complement topological information and allow to quantify the large scale spatial coherence of the pattern. For patterns that grow over time, such as fracture lines on the surface of ceramics, the rank assigned by our method to each individual segment of the pattern approximates the order of appearance of that segment. We apply the method to various network-like patterns and we find a continuous but sharp dichotomy between two classes of spatial networks: hierarchical and homogeneous. The first class results from a sequential growth process and presents large scale organization, the latter presents local, but not global organization.Comment: version 2, 14 page

The organisational and human resource challenges facing primary care trusts : protocol of a multiple case study

BACKGROUND: The study is designed to assess the organisational and human resource challenges faced by Primary Care Trusts (PCTs). Its objectives are to: specify the organisational and human resources challenges faced by PCTs in fulfilling the roles envisaged in government and local policy; examine how PCTs are addressing these challenges, in particular, to describe the organisational forms they have adopted, and the OD/HR strategies and initiatives they have planned or in place; assess how effective these structures, strategies and initiatives have been in enabling the PCTs to meet the organisational and human resources challenges they face; identify the factors, both internal to the PCT and in the wider health community, which have contributed to the success or failure of different structures, strategies and initiatives. METHODS: The study will be undertaken in three stages. In Stage 1 the key literature on public sector and NHS organisational development and human resources management will be reviewed, and discussions will be held with key researchers and policy makers working in this area. Stage 2 will focus on detailed case studies in six PCTs designed to examine the organisational and human resources challenges they face. Data will be collected using semi-structured interviews, group discussion, site visits, observation of key meetings and examination of local documentation. The findings from the case study PCTs will be cross checked with a Reference Group of up to 20 other PCG/Ts, and key officers working in organisational development or primary care at local, regional and national level. In Stage 3 analysis of findings from the preparatory work, the case studies and the feedback from the Reference Group will be used to identify practical lessons for PCTs, key messages for policy makers, and contributions to further theoretical development

Short GRB 130603B: Discovery of a jet break in the optical and radio afterglows, and a mysterious late-time X-ray excess

We present radio, optical/NIR, and X-ray observations of the afterglow of the short-duration 130603B, and uncover a break in the radio and optical bands at 0.5 d after the burst, best explained as a jet break with an inferred jet opening angle of 4-8 deg. GRB 130603B is only the third short GRB with a radio afterglow detection to date, and the first time that a jet break is evident in the radio band. We model the temporal evolution of the spectral energy distribution to determine the burst explosion properties and find an isotropic-equivalent kinetic energy of (0.6-1.7) x 10^51 erg and a circumburst density of 5 x 10^-3-30 cm^-3. From the inferred opening angle of GRB 130603B, we calculate beaming-corrected energies of Egamma (0.5-2) x 10^49 erg and EK (0.1-1.6) x 10^49 erg. Along with previous measurements and lower limits we find a median short GRB opening angle of 10 deg. Using the all-sky observed rate of 10 Gpc^-3 yr^-1, this implies a true short GRB rate of 20 yr^-1 within 200 Mpc, the Advanced LIGO/VIRGO sensitivity range for neutron star binary mergers. Finally, we uncover evidence for significant excess emission in the X-ray afterglow of GRB 130603B at >1 d and conclude that the additional energy component could be due to fall-back accretion or spin-down energy from a magnetar formed following the merger.Comment: Submitted to ApJ; emulateapj style; 10 pages, 1 table, 3 figure